Harmonic analysis on SL(2,R) and smoothness of the density of states in the one-dimensional Anderson model (Q1065462): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Barry Simon / rank
 
Normal rank
Property / author
 
Property / author: Michael E. Taylor / rank
 
Normal rank

Revision as of 01:07, 12 February 2024

scientific article
Language Label Description Also known as
English
Harmonic analysis on SL(2,R) and smoothness of the density of states in the one-dimensional Anderson model
scientific article

    Statements

    Harmonic analysis on SL(2,R) and smoothness of the density of states in the one-dimensional Anderson model (English)
    0 references
    1985
    0 references
    Let \(h_{\omega}\) be a random operator in \(\ell^ 2({\mathbb{Z}})\) (one- dimensional Anderson model according to physical terminology) defined as \[ (1)\quad (h_{\omega}u)(n)=u(n+1)+u(n-1)+v_{\omega}(n)u(n),\quad n\in {\mathbb{Z}}, \] where \(v_{\omega}(n)\) are independent identically distributed random variables with distribution \(d\eta (v)=F(v)dv\). If \({\mathcal E}(n,m,\lambda)\) is the matrix of the resolution of identity of the selfadjoint operator \(h_{\omega}\), then the integrated density of states (ids) \(k(\lambda)\equiv E\{{\mathcal E}(0,0,\lambda)\}\) (\(E\{...\}\) denotes mathematical expectation). Another definition of ids is \(k(y)=\lim_{\ell \to \infty}\ell^{-1}S_ p{\mathcal E}_{\ell}(\lambda)\), where \({\mathcal E}_{\ell}(\lambda)\) is the resolution of identity of the restriction of \(h_{\omega}\) to \(\ell^ 2([0,\ell -1])\) with \(u(-1)=u(\ell)=0.\) Ids plays an important role in the Spectral analysis of random operators [see e.g. the reviewer, Spectral properties of random and almost periodic differential and finite-difference operators. Statistical physics and dynamical systems. Rigorous results, Pap. 2nd Colloq. Workshop, Köszeg/Hung. 1984, Prog. Phys. 10, 49-68 (1985); \textit{S. Kotani}, Proc. AMS Conf. Random matrices (1984)]. The function f(v) belongs to the space \(L^ P_{\alpha}\), \(1\leq p\leq \infty\), \(\alpha\geq 0\), iff there is a \(g(v)\in L^ P\) with the Fourier transform \(\hat g(\)k)\(=(1+k^ 2)^{\alpha /2}\hat f(k)\). The simple example of \(f\in L^ 1_{\alpha}\), \(0\leq \alpha <\), is the characteristic function of an interval. Theorem 1.1. If the density F(v) of the distribution of i.i.d. \(V_{\omega}(n)\) in (1) has compact support and belongs \(L^ 1_{\alpha}\) for some \(\alpha >0\), then ids k(\(\lambda)\) is a \(C^{\infty}\) function of \(\lambda\). The authors discuss also examples which show that the conditions of the theorem are close to be necessary. The proof is based on the known connection between k(\(\lambda)\) and the invariant measure of some Markov process on SL(2,\({\mathbb{R}})\) and on a subtle analysis of the increase of smoothness of convolution powers of the probability measures on SL(2,\({\mathbb{R}})\).
    0 references
    random Jacobi matrices
    0 references
    difference operators
    0 references
    integrated density of
    0 references
    states
    0 references
    Spectral analysis of random operators
    0 references
    invariant measure
    0 references
    convolution powers
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references