1. Introduction
Denote by the space of finite Borel measures on . Suppose that is an even Schwartz function such that . Consider the finite measure
|
|
|
Its characteristic function is the nonnegative definite function
|
|
|
(1.1) |
Clearly is an -invariant, real valued Schwartz function. Then is the covariance kernel of a real valued, smooth isotropic Gaussian function on with spectral measure .
A box is a subset of of the form , , . For any box we denote by the number of critical points of in . Then has no critical points on and all the critical points of in are nondegenerate; see [1, 3].
There exists a universal explicit constant such that for any box we have
|
|
|
Fix numbers and denote by the box . For we denote by the box
|
|
|
For we denote by the box
|
|
|
The main goal of this paper is to prove the following strong law of large numbers.
Theorem 1.1.
As , the random variable
|
|
|
converges and to the (deterministic) constant
|
|
|
Let us offer a different perspective on this result. For we set
|
|
|
Consider the finite Borel measure
|
|
|
Its characteristic function is the nonnegative definite function
|
|
|
(1.2) |
We set in (1.2) and we deduce
|
|
|
so that
|
|
|
We deduce that is the covariance kernel of the Gaussian function
|
|
|
We want to investigate the behavior of as . Using the Fourier inversion formula we deduce
|
|
|
This implies that the measures converge weakly to the Dirac measure . To use a terminology favored by physicists, we have
|
|
|
where is Dirac’s mysterious Delta function. In particular,
|
|
|
In other words, as , the Gaussian random function converges in some sense to a Gaussian random “function” whose covariance kernel is . This is a Gaussian white noise.
Note that
|
|
|
Consider the random measure
|
|
|
Then
|
|
|
Now let . In this case . Theorem 1.1 shows that in the white noise limit () the random measure converges to the deterministic measure , the Lebesgue measure on . In other words, the critical points of will equidistribute as .
In the earlier work [7] we proved that the random variable is highly concentrated around its mean. More precisely we showed that we have
|
|
|
where is a positive constant and the renormalized random variables
|
|
|
converge in distribution to a normal random variable with nonzero standard deviation.
The strategy we use to prove Theorem 1.1 is very simple. Set .
|
|
|
Since the Gaussian function is stationary, the family of random variables is stationary. Using the multiparametric ergodic theorem [6, Chap.6, Thm.2.5] we conclude that converge and to some random variable . To show that is constant we prove that
|
|
|
We achieve this by observing that
|
|
|
The above sum consists of terms, but the terms that are far from the diagonal contribute very little. More precisely, using the Kac-Rice formula we will prove that for any there exists such that
|
|
|
where
|
|
|
According to Lemma 3.1, this implies that
|
|
|
Theorem 1.1 is valid for a wider family of homogeneous Gaussian functions on with fewer constraints on their spectral functions. We chose to work in this more restrictive context for two reasons. First, relaxing the assumptions on the Gaussian function would have added a few more technical complications that would have blurred the main arguments.
The second reason is that the class of Gaussian functions discussed in this paper is exactly the class of function that arises when studying critical points of certain random Fourier series of eigenvalues on Riemann manifolds.
More precisely given a Riemann manifold with Laplacian we denote by the Schwartz kernel of the smoothing operator . This the the covariance kernel of a smooth random function on that can be represented as a random Fourier series. Upon rescaling the metric we have and, as , the kernel converges in a precise sense to the kernel in (1.1).
The paper is organized as follows. In Section 2 we describe some basic properties of . Section 3 describes an abstract weak law of large numbers for families of mean zero random variables such that , are weakly correlated if and are far apart. The main theorem is an immediate consequence of this result.
2. Some properties of the function
We collect in this section several useful properties of the random function used throughout the paper. For we denote by the -th order differential of
Proposition 2.1.
Let . Then the following hold.
-
(i)
The function is -ample, i.e., for any are distinct points , the Gausian vector
|
|
|
is nondegenerate.
-
(ii)
The function is -ample, i.e., the Gaussian vector
|
|
|
is nondegenerate for any .
Proof.
(i) Since is positive on an open neighborhood of we deduce from [8, Thm. 6.8] that if are distinct points, then the symmetric matrix
|
|
|
is positive definite. This matrix is the variance matrix of the Gaussian vector
|
|
|
(ii) Observe that for any multi-indices , we have
|
|
|
|
|
|
This shows that for any and any the variance the Gaussian vector is the Gramian matrix of the functions with respect to the inner product in . Since we deduce that the functions are linearly independent in so the determinant of their Gramian matrix is nonzero. Hence the Gaussian vector
|
|
|
is nondegenerate, for any and any .
We deduce from the above proposition and the results of Ancona-Letendre [2] or Gass-Stecconi [4] that for any box the random variable has finite moments of any order. To compute the expectation of we rely on the Kac-Rice formula [1, 3]
Theorem 2.2.
Let be a finite dimensional Euclidean space, an open set and a Gaussian random function that is and such that the Gaussian vector is nondegenerate for any . We denote by is probability density. For a subset we denote by the number of critical points of in . Then for any box , the function has no critical points on , all the critical points are nondegenerate and
|
|
|
(2.1) |
We want to apply the above result to the function . Prooposition 2.1 shows that the Gaussian vector is nondegenerate for any .
For any multi-indices we have
|
|
|
(2.2) |
For any multi-index we set
|
|
|
We say that the multi-index is even if is even for any . The multi-index is called odd if it is not even. The radial symmetry of implies that
|
|
|
(2.3) |
Using spherical coordinates on we deduce that for any we have
|
|
|
(2.4) |
Note that is independent of . If we let , then
|
|
|
where denotes the Gaussian measure on with mean zero and variance . If is even, , then
|
|
|
On the other hand, using (2.4) we deduce
|
|
|
|
|
|
Hence
|
|
|
(2.5) |
For every we set
|
|
|
We deduce
|
|
|
(2.6) |
We set
|
|
|
(2.7) |
Then
|
|
|
(2.8) |
|
|
|
(2.9) |
|
|
|
(2.10) |
|
|
|
(2.11) |
Using (2.2) and (2.3) we deduce that for any the Gaussian vectors and are independent.
Using (2.2)and (2.9) we deduce that the variance matrix of is
|
|
|
(2.12) |
where denotes the identity matrix.
The space of real symmetric matrices is equipped with an inner product . Moreover the linear functions , ,
|
|
|
(2.13) |
define coordinates on that are orthonormal with respect to the above inner product. We set
|
|
|
(2.14) |
Then
|
|
|
Note that if , then the above integral is nonzero iff in which case
|
|
|
|
|
|
If , then the above integral is nonzero iff , in which case we deduce from (2.10) and (2.11)
|
|
|
The above equalities can be rewritten in the more compact form
|
|
|
(2.15) |
These equalities show that the off diagonal entries of are , and also independent of the diagonal entries. The diagonal entries have identical distributions but are dependent. The parameter describes the various variances and covariances.
The Gaussian measure on determined by these covariance equalities is invariant with respect to the action of by conjugation on . For denote by the space equipped with the -invariant Gaussian measure on determined by the covariances
|
|
|
For any box we denote by the number of critical points of in . We deduce from the Kac-Rice formula (2.1) that
|
|
|
|
|
|
()
|
|
|
Hence
|
|
|
(2.16) |
4. Proof of Theorem 1.1
We have
|
|
|
since the probability that has a critical point on the boundary of some is zero.
The Gaussian function is a stationary is stationary, so the collection is stationary as well, i.e., for any and any the random vectors
|
|
|
have the same distribution. We deduce from the ergodic theorem [6, Chap.6, Thm.2.5] that the averages
|
|
|
converge and in to some random variable .
Set
|
|
|
We need to prove that the limit is the constant
|
|
|
To achieve this
|
|
|
We will deduce this from Corollary 3.3. We set
|
|
|
Notice that since is a stationary Gaussian function we have
|
|
|
and we deduce that
|
|
|
(4.1) |
To proceed further we define
|
|
|
and we set
|
|
|
Denote for any Borel subset by the number of critical points of in .
Note that if , then
|
|
|
so
|
|
|
We want to compute using the Kac-Rice formula. We first need to verify that is nondegenerate for any .
Lemma 4.1.
For any , , the Gaussian vector is nondegenerate.
Proof.
We have
|
|
|
As shown in(2.12), for any we have
|
|
|
We have
|
|
|
and
|
|
|
(4.2) |
Since is stationary it suffice to consider only the case . On the other hand, is -invariant so, up to a rotation we can assume that , , where is the canonical basis of . Hence
|
|
|
Let us observe that if , then either , or . Suppose . The function is odd with respect to the reflection so
|
|
|
If , then
|
|
|
and we deduce
|
|
|
After a reordering
|
|
|
we see that
|
|
|
Note that, for each , the symmetric matrix is positive definite since
|
|
|
Suppose that . We deduce from Lemma 4.1 that , is nondegenerate for any . We can the apply the Kac-Rice formula to deduce that
|
|
|
(4.3) |
For we denote by the sup-norm of
|
|
|
Note that
|
|
|
and if . Hence,
|
|
|
Hence
|
|
|
(4.4) |
Let us now express as an integral over . Choose an independent copy of . We set
|
|
|
Then
|
|
|
|
|
|
Thus
|
|
|
(4.5) |
To proceed further, we need to describe technical results that seems to be part of the mathematical folklore.
Digression 4.2.
Suppose that is an -dimensional real Euclidean space with inner product . Denote by the unit sphere in and by the space of symmetric operators and by the cone of nonnegative ones. For we denote by the centered Gaussian measure with variance .
The space is equipped with an inner product
|
|
|
We denote by the associated norm.
We have a natural map , . We will need the following result, [5, Prop.2.1]
|
|
|
(4.6) |
This ends the digression.
Lemma 4.3.
Fix and such that . Suppose that is a locally Lipschitz function that is homogeneous of degree . For we set
|
|
|
where denotes the centered Gaussian measure on with variance . Then for any there exists a constant such that, ,
|
|
|
(4.7) |
Proof.
The function is Lipschitz on the ball
|
|
|
so there exists such that
|
|
|
(4.8) |
Note that
|
|
|
so
|
|
|
|
|
|
|
|
|
Note that
|
|
|
Note that since is stationary, is independent of and . We have
|
|
|
|
|
|
For every we set
|
|
|
Since is a Schwartz function we deduce that
|
|
|
This means that
|
|
|
We deduce
|
|
|
(4.9) |
Observe next that
|
|
|
and
|
|
|
|
|
|
We deduce
|
|
|
(4.10) |
We denote by the Gaussian random matrix obtained from by conditioning on . Similarly, we denote by the Gaussian random matrix obtained from by conditioning on . The distributions of and are determined by the Gaussian regression formula.
Since and are independent we deduce
|
|
|
From the Gaussian regression formula we deduce we deduce
|
|
|
|
|
|
Now observe that
|
|
|
|
|
|
|
|
|
Since is independent of and we deduce
|
|
|
and
|
|
|
(4.11) |
Since is independent of we deduce that
|
|
|
and we deduce from (4.7) that
|
|
|
(4.12) |
We can now estimate the right-hand-side of (4.5). Note that if we have
|
|
|
Since
|
|
|
we deduce from (4.11) and (4.12) that
|
|
|
Hence
|
|
|
The above estimate coupled with (4.1) implies that, for any ,there exists a constant such that
|
|
|
Theorem 1.1 now follows from the above estimate and Corollary 3.3.