Research Article | Open Access
Roberto Paoletti, "Szegö Kernels and Asymptotic Expansions for Legendre Polynomials", Journal of Complex Analysis, vol. 2017, Article ID 7823545, 13 pages, 2017. https://doi.org/10.1155/2017/7823545
Szegö Kernels and Asymptotic Expansions for Legendre Polynomials
We present a geometric approach to the asymptotics of the Legendre polynomials , based on the Szegö kernel of the Fermat quadric hypersurface, leading to complete asymptotic expansions holding on expanding subintervals of .
The search for asymptotic expansions and approximations of special functions is a very classical vein of research and is of great relevance in pure mathematics, in numerical analysis, mathematical physics, and the applied sciences (see, for instance, of course with no pretence of completion [1–4]).
The goal of this paper is to develop a geometric approach to the asymptotics of the Legendre polynomial for , with and fixed; as is well-known, is the restriction to of the Legendre harmonic, expressed in polar coordinates on the sphere. For thorough discussions and terminology, see, for instance, [1, 3, 5–7]. We obtain an asymptotic expansion holding on expanding subintervals of , rather than on fixed subintervals of the form for some given , as one typically finds in the literature.
However, the actual point of this work is neither to present essentially new results nor to give an especially economic proof of Legendre asymptotics (the use of Szegö kernel machinery is arguably not more elementary than the traditional approaches). Rather, it is motivated by the following considerations. On the one hand, there is a conceptually very appealing view on spherical harmonics, due to Lebeau and Guillemin, based on the Szegö kernel of the Fermat quadric. On the other hand, in recent years, a considerable amount of work and attention has been devoted to algebro-geometric Szegö kernel asymptotics, which have played a fundamental role in complex geometry. Therefore, it seems per se very natural and interesting to illustrate the important conceptual juncture between spherical harmonics and Szegö kernels, by revisiting classical results on Legendre asymptotics in view of these recent developments. In a broader perspective, the application of Szegö kernels to spherical harmonics seems a very promising area; a revisitation of this kind is also instrumental to the development of computational techniques that might be useful in future developments in this direction.
Let us come to a closer description of the content of this paper. There is a tight relation between and the orthogonal projectorwhere is the space of level- spherical harmonics on ; equivalently, is the eigenspace of the (positive) Laplace-Beltrami operator on functions on , corresponding to its th eigenvalue .
Namely, for any choice of an orthonormal basis of the distributional kernel satisfieswhere (we think of and as columns vectors), and is the dimension of . By symmetry considerations, only depends on . In fact, with the normalization , Thus, it is equivalent to give asymptotic expansions for and for with .
Since for any we havewe may assume . Then there is a unique great circle parametrized by arc length going from to in a time and .
Our geometric approach uses, on the one hand, the specific relation between spherical harmonics on and the Hardy space of the Fermat quadric hypersurface in [8, 9] and, on the other hand, the off-diagonal scaling asymptotics of the level- Szegö kernel of polarized projective manifold [10, 11].
The following asymptotic expansions involve a sequence of constants with a precise geometric meaning . There is a natural algebraic isomorphism between the level- Szegö kernel of the Fermat quadric and , given by a push-forward operation; this isomorphism is however unitary only up to an appropriate rescaling, and is the corresponding scaling factor.
In the following, the symbol stands for “has the same asymptotics as.”
Theorem 1. There exist smooth functions and on such that the following holds. Let us fix and . Then, uniformly in satisfying with we have for an asymptotic expansion of the form where
At the th step, we have for some constant and a similar estimate holds for the error term. Hence, the previous is an asymptotic expansion for .
As mentioned, the same techniques yield an asymptotic expansion for (see (6.18) in ).
Proposition 2. For , we have an asymptotic expansion of the form:
If we insert the latter expansion in the one provided by Theorem 1, we obtain the following.
Corollary 3. With the assumptions and notation of Theorem 1, for , there is an asymptotic expansionwhere and admit asymptotic expansions similar to those of and , respectively (of course, with different functions and , ).
Corollary 4. In the same situation as in Theorem 1, for , there is an asymptotic expansionwhere again and admit asymptotic expansions similar to those of and , respectively.
Let us verify that Corollary 4 fits with the classical asymptotics. For example, when , we obtainso that the leading order term is the th Chebyshev polynomial. Since it is known that in this case the Legendre polynomial is the Chebyshev polynomial (, page 11), this is in fact the only term of the expansion.
For , we obtain the formula of Laplace (cfr , Section 4.6; , (8.01) of Ch. 4; , Theorem 8.21.2), but as a full asymptotic expansion holding uniformly on expanding subintervals converging to at a controlled rate, as above:
For arbitrary , is a multiple of a Gegenbauer polynomial (; , page 16):Given the standardization for (, section 10.8)where is of course the Gamma function. By (35.31) in , for , we haveTherefore,If we use the well-known formula (see, e.g., (2) of )we obtain for as asymptotic expansion with leading order termin agreement with on page 198 of .
2.1. The Geometric Picture
Let be the unit sphere, and let us identify the tangent and cotangent bundles of by means of the standard Riemannian metric. The unit (co)sphere bundle of is given by the incidence correspondence
The Fermat quadric hypersurface in complex projective space islet be the restriction to of the hyperplane line bundle. Given the standard Hermitian product on , is naturally a positive Hermitian line bundle, inherits a Kähler structure (the restriction of the Fubini-Study metric), and the spaces of global holomorphic sections of higher powers of , have an induced Hermitian structure.
The affine cone over is ; the intersection may be viewed as the unit circle bundle in the dual line bundle . More generally, for any , the intersectionwith the sphere of radius is naturally identified with the circle bundle of radius in . In particular, is diffeomorphic to by the map ; furthermore, is equivariant for the natural actions of on and defined by, respectively,
We shall identify and and denote the projection by
There is also a standard structure action of on , induced by fibrewise scalar multiplication in , or equivalently in . The latter action is intertwined by with the “reverse” geodesic flow on . The -orbits are the fibers of the circle bundle projection
This holds for any ; we shall denote by the projection for general .
2.2. The Metric on
Let us dwell on the metric aspect of (22); there are two natural choices of a Riemannian metric on , hence of a Riemannian density, and we need to clarify the relation between the two.
There is an obvious choice of a Riemannian metric on , induced by the standard Euclidean product on . With respect to , the orbits on have length of . Clearly, is homogeneous of degree with respect to the dilation , and therefore the corresponding volume form on is homogeneous of degree . That is,
An alternative and common choice of a Riemannian structure on comes from its structure of a unit circle bundle over . Let be the connection 1-form associated with the unique compatible covariant derivative on , so that . Also, let denote the horizontal and vertical tangent bundles for , respectively. There is a unique Riemannian metric on such that a Riemannian submersion and the -orbits on have unit length. The corresponding volume form on is given bywhere is the symplectic volume form on .
We wish to compare the two Riemannian metrics and , the corresponding volume forms, and , and densities, and .
Lemma 5. and .
Proof of Lemma 5. The connection 1-form for the Hopf map is thus, is the restriction of to . Let be the standard symplectic structure on . Since , we have (symplectic annihilator). In other words, where is the Hermitian orthocomplement of for the standard Hermitian product.
Thus, if , thenOn the other hand, . Thus, and are orthogonal with respect to both (by construction) and (by the previous considerations). Hence, we may compare and separately on and .
On the complex vector bundle , and are, respectively, the Euclidean scalar products associated with the restrictions of the -forms Given that and agree on , on .
On the other hand, both and are -invariant, but -orbits on have length for and for . Thus, on .
The claim follows directly from this.
2.3. The Szegö Kernel on
The following analysis is based on the equivariant asymptotics of the Szegö kernel of . We refer the reader to [10, 11, 15] for a thorough discussion of Szegö kernels in the algebro-geometric context and to [16, 17] for the basic microlocal theory that underlies the subject (see also the neat discussion of Hardy spaces in ). To put things into perspective, however, let us recall that if is the boundary of a pseudoconvex domain, its Hardy space is the Hilbert space of square summable boundary values of holomorphic functions. The Szegö projector is then the orthogonal projector ; with some abuse of notation, the Szegö kernel is the corresponding distributional kernel. A description of as a Fourier integral operator was given in .
In the special algebro-geometric case, where is the dual unit circle bundle of a positive line bundle on a complex projective manifold, is the orthogonal direct sum of its isotypical components , under the -action; correspondingly, , where is the orthogonal projector onto ; since is finite-dimensional, is a smoothing operator; therefore, its Schwartz kernel is a function on . Many local asymptotic properties of , for , were first discovered in [10, 11, 15] building on the theory of . We shall recall what is needed here shortly.
Let us now come to the specific case in point. For every , is the boundary of a strictly pseudoconvex domain, and as such it carries a CR structure, a Hardy space , and a Szegö projector . We aim to relate the various ’s.
Let be the ring of holomorphic functions on the conic complex manifold . Let be the subspace of holomorphic functions of degree of homogeneity .
For every and let be the finite-dimensional th isotypical component of with respect to the standard -action. Restriction induces an algebraic isomorphism ; with a slight abuse of language, we shall denote by the same symbol an element of and the corresponding element of .
Therefore, we have the following.
Lemma 6. If yields by restriction an orthonormal basis of with respect to , then for every yields by restriction an orthonormal basis of , with respect to .
Let now be the level- Szegö kernel on , that is, the orthogonal projectorBy Lemma 6, its Schwartz kernel is given by
When pulled back to , this is (here )
We shall make repeated use of the following asymptotic property of , which follows from the microlocal description of as an FIO (explicit exponential estimates are discussed in ).
Theorem 7. Let be the distance function on associated with the Kähler metric. Given any , uniformly for satisfyingwe havewhen .
2.4. Heisenberg Local Coordinates
There are two unit circle bundles in our picture: the Hopf fibration , and . Clearly, is the pull-back of under the inclusion . Both and are boundaries of strictly pseudoconvex domains and carry a CR structure.
On both and , we may consider privileged systems of coordinates called Heisenberg local coordinates (HLC). In these coordinates, Szegö kernel asymptotics exhibit a “universal” structure ; we refer to ibidem for a detailed discussion.
Given , a HLC system on centered at will be denoted in additive notation:Here is an “angular” coordinate measuring displacement along the -orbit through (the fiber through of ); instead, descends to a local coordinate on centered at , inducing a unitary isomorphism . We may thus think of as a tangent vector in .
Here this additive notation might be misleading, since . Therefore, we shall write for HLC on centered at . We shall generally abridge notation by writing for .
Similarly, will denote a system of Heisenberg local coordinates on centered at . There is in fact a natural choice of HLC on centered at any .
Namely, let be an orthonormal basis of the Hermitian orthocomplement , and for let us setSince there is a canonical unitary identification , we shall also write this as with .
If , HLC on centered at can be chosen so that they agree to second order with the former HLC on . More precisely, we may assume that for any we havewhere is a function vanishing to second order at the origin.
Given , let us definehere is the standard symplectic structure, and is the standard Euclidean norm. We shall make use of the following asymptotic expansion, for which we refer again to .
Theorem 8. Let us fix and . Then for any , and for any choice of HLC on centered at , there exist polynomials of degree and parity on , such that the following holds. Uniformly in with for , and , one has for the following asymptotic expansion:
In the given range, the above is an asymptotic expansion, since
As discussed in , the push-forward operator yields by restriction an algebraic isomorphism for every , and (49) yields by restriction an isomorphismwhich is unitary up to a dilation by a constant factor . Thus, we have
Therefore, if is an orthonormal basis of , thenis an orthonormal basis of . It follows that in (2) is given bywhere is the product projection.
More explicitly, for let be the unit sphere centered at the origin in the orthocomplement , and let be the Riemannian density on ; then
2.6. and Conjugation
Conjugation in leaves invariant the affine cone and every . Furthermore, it yields a Riemannian isometry of into itself. For , let us setIf , then .
Hence, if yields by restriction an orthonormal basis of , then so does . Thus, for any , we have
3. Proof of Theorem 1
Proof of Theorem 1. Given with , let be the unique unit speed geodesic on such that and for some . Then The reverse geodesic satisfies , and for a unique .
Although they project down to the same locus in , and correspond to distinct fibers of the circle bundle projection . Let us express the (co)tangent lift of the geodesics in complex coordinates, and set . ThenIn view of (26), we have On the other hand, , since and are linearly independent in .
Thus, we have the following.
Lemma 9. Suppose and . Then the only points such thatare
By Theorem 7, for fixed and and , we haveunless and . Therefore, for a fixed integration in (54) may be localized in a small neighborhood of , perhaps at the cost of disregarding a negligible contribution to the asymptotics.
Since however we are allowing to approach or at a controlled rate, we need to give a more precise quantitative estimate of how small the previous neighborhood may be chosen when .
To this end, let us introduce some further notation. Given linearly independent , let us setFurthermore, for , we shall set
A straightforward computation yields the following.
Lemma 10. Assume that and with . Then any with , respectively, , may be written uniquely in the form respectively where (the Euclidean orthocomplement) has norm ≤ and
Proposition 11. Let us fix , and . Then there exist constants such that the following holds. Suppose that (1);(2) for ;(3);(4) for ;(5);(6) for , where can be either one of (Lemma 10).Thenfor every .
Corollary 12. Uniformly in the range of Proposition 11, we have
Proof of Proposition 11. Let us set for Let be the restriction to of the distance function on . ThenThe factor in front is needed because while the Hopf map is a Riemannian submersion, the projection is so only after a constant rescaling of the metric.
We are reduced to proving that in the given range there exist constants such that for every and We have where Regarding the two summands on the last line of (73), we havewhere denotes the Hermitian orthocomplement. Hence,Since vanishes exactly to second order at , there exists such that for , we have