We study the statistics of Dirichlet eigenvalues of the random Schr "odinger operator @math , with @math the discrete Laplacian on @math and @math uniformly bounded independent random variables, on sets of the form @math for @math bounded, open and with a smooth boundary. If @math holds for some bounded and continuous @math , we show that, as @math , the @math -th eigenvalue converges to the @math -th Dirichlet eigenvalue of the homogenized operator @math , where @math is the continuum Dirichlet Laplacian on @math . Assuming further that @math for some positive and continuous @math , we establish a multivariate central limit theorem for simple eigenvalues centered by their expectation. The limiting covariance for a given pair of simple eigenvalues is expressed as an integral of @math against the product of squares of the corresponding eigenfunctions of @math .
As alluded to earlier, a result closely related to ours has been derived by Bal @cite_17 . There the operator of the form @math in @math with Dirichlet boundary condition is studied, where @math is a random centered stationary field. Note that this can naturally be regarded as a spatially scaled version of our model. (Bal in fact studied the more general situation where @math is replaced by a pseudo differential operator.) In dimensions @math and under the assumptions that either @math is bounded and has an integrable correlation function, or @math and a mixing condition holds ([H2] on page 683 of @cite_17 ), it is proved in Section 5.2 that the @math -th smallest eigenvalue @math of @math has Gaussian fluctuations around @math with @math , provided this eigenvalue is simple. This is slightly different from our result, which shows a CLT around the expectation. In the case @math , we know that @math by combining the result of Bal with ours, but we do not know how to prove this directly.
@cite_17
2962804622 2040550846 2951358417 2032049628
We consider the perturbation of elliptic pseudodifferential operators @math with more than square integrable Green's functions by random, rapidly varying, sufficiently mixing, potentials of the form @math . We analyze the source and spectral problems associated with such operators and show that the rescaled difference between the perturbed and unperturbed solutions may be written asymptotically as @math as explicit Gaussian processes. Such results may be seen as central limit corrections to homogenization (law of large numbers). Similar results are derived for more general elliptic equations with random coefficients in one dimension of space. The results are based on the availability of a rapidly converging integral formulation for the perturbed solutions and on the use of classical central limit results for random processes with appropriate mixing conditions. We consider a discrete elliptic equation with random coefficients @math , which (to fix ideas) are identically distributed and independent from grid point to grid point @math . On scales large w. r. t. the grid size (i. e. unity), the solution operator is known to behave like the solution operator of a (continuous) elliptic equation with constant deterministic coefficients. These symmetric ''homogenized'' coefficients @math are characterized by @math where the random field @math is the unique stationary solution of the ''corrector problem'' @math and @math denotes the ensemble average. It is known (''by ergodicity'') that the above ensemble average of the energy density @math , which is a stationary random field, can be recovered by a system average. We quantify this by proving that the variance of a spatial average of @math on length scales @math is estimated as follows: @math where the averaging function (i. e. @math , @math ) has to be smooth in the sense that @math . In two space dimensions (i. e. @math ), there is a logarithmic correction. In other words, smooth averages of the energy density @math behave like as if @math would be independent from grid point to grid point (which it is not for @math ). This result is of practical significance, since it allows to estimate the error when numerically computing @math . This text is about spiked models of non Hermitian random matrices. More specifically, we consider matrices of the type @math , where the rank of @math stays bounded as the dimension goes to infinity and where the matrix @math is a non Hermitian random matrix, satisfying an isotropy hypothesis: its distribution is invariant under the left and right actions of the unitary group. The macroscopic eigenvalue distribution of such matrices is governed by the so called Single Ring Theorem, due to Guionnet, Krishnapur and Zeitouni. We first prove that if @math has some eigenvalues out of the maximal circle of the single ring, then @math has some eigenvalues (called outliers) in the neighborhood of those of @math , which is not the case for the eigenvalues of @math in the inner cycle of the single ring. Then, we study the fluctuations of the outliers of @math around the eigenvalues of @math and prove that they are distributed as the eigenvalues of some finite dimensional random matrices. Such facts had already been noticed for Hermitian models. More surprising facts are that outliers can here have very various rates of convergence to their limits (depending on the Jordan Canonical Form of @math ) and that some correlations can appear between outliers at a macroscopic distance from each other (a fact already noticed by Knowles and Yin in the Hermitian case, but only in the case of non Gaussian models, whereas spiked Gaussian matrices belong to our model and can have such correlated outliers). Our first result generalizes a previous result by Tao for matrices with i.i.d. entries, whereas the second one (about the fluctuations) is new. Let (a>0, b>0, ab<1; ) and let (g L^2( R ). ) In this paper we investigate the relation between the frame operator (S:f L^2( R ) n,m ,(f,g_ na,mb ) ,g_ na,mb ) and the matrix (H ) whose entries (H_ k,l ,; ,k',l' ) are given by ((g_ k' b,l' a ,g_ k b,l a ) ) for (k,l,k',l' Z . ) Here (f_ x,y (t)= exp (2 iyt) ,f(t-x), ) (t R ), for any (f L^2( R ). ) We show that (S ) is bounded as a mapping of (L^2( R ) ) into (L^2( R ) ) if and only if (H ) is bounded as a mapping of (l^2( Z ^2) ) into (l^2( Z ^2). ) Also we show that (AI S BI ) if and only if (AI 1 ab ,H BI, ) where (I ) denotes the identity operator of (L^2( R ) ) and (l^2( Z ^2), ) respectively, and (A 0, ) (B< . ) Next, when (g ) generates a frame, we have that ((g_ k b,l a )_ k,l ) has an upper frame bound, and the minimal dual function (^ ) can be computed as (ab , k,l ,(H^ -1 )_ k,l ,; ,o,o ,g_ k b,l a . ) The results of this paper extend, generalize, and rigourize results of Wexler and Raz and of Qian, D. Chen, K. Chen, and Li on the computation of dual functions for finite, discrete-time Gabor expansions to the infinite, continuous-time case. Furthermore, we present a framework in which one can show that certain smoothness and decay properties of a (g ) generating a frame are inherited by (^ . ) In particular, we show that (^ S ) when (g S ) generates a frame (( S ) Schwartz space). The proofs of the main results of this paper rely heavily on a technique introduced by Tolimieri and Orr for relating frame bound questions on complementary lattices by means of the Poisson summation formula.