A new basis for eigenmodes on the Sphere

The usual spherical harmonics $Y_{\ell m}$ form a basis of the vector space ${\cal V} ^{\ell}$ (of dimension $2\ell+1$) of the eigenfunctions of the Laplacian on the sphere, with eigenvalue $\lambda_{\ell} = -\ell ~(\ell +1)$. Here we show the existence of a different basis $\Phi ^{\ell}_j$ for ${\cal V} ^{\ell}$, where $\Phi ^{\ell}_j(X) \equiv (X \cdot N_j)^{\ell}$, the $\ell ^{th}$ power of the scalar product of the current point with a specific null vector $N_j$. We give explicitly the transformation properties between the two bases. The simplicity of calculations in the new basis allows easy manipulations of the harmonic functions. In particular, we express the transformation rules for the new basis, under any isometry of the sphere. The development of the usual harmonics $Y_{\ell m}$ into thee new basis (and back) allows to derive new properties for the $Y_{\ell m}$. In particular, this leads to a new relation for the $Y_{\ell m}$, which is a finite version of the well known integral representation formula. It provides also new development formulae for the Legendre polynomials and for the special Legendre functions.Comment: 6 pages, no figure; new version: shorter demonstrations; new references; as will appear in Journal of Physics A. Journal of Physics A, in pres

Orthogonal Homogeneous Polynomials

AbstractAn addition formula, Pythagorean identity, and generating function are obtained for orthogonal homogeneous polynomials of several real variables. Application is made to the study of series of such polynomials. Results include an analog of the Funk-Hecke theorem

On a factorization of second order elliptic operators and applications

We show that given a nonvanishing particular solution of the equation (divpgrad+q)u=0 (1) the corresponding differential operator can be factorized into a product of two first order operators. The factorization allows us to reduce the equation (1) to a first order equation which in a two-dimensional case is the Vekua equation of a special form. Under quite general conditions on the coefficients p and q we obtain an algorithm which allows us to construct in explicit form the positive formal powers (solutions of the Vekua equation generalizing the usual powers of the variable z). This result means that under quite general conditions one can construct an infinite system of exact solutions of (1) explicitly, and moreover, at least when p and q are real valued this system will be complete in ker(divpgrad+q) in the sense that any solution of (1) in a simply connected domain can be represented as an infinite series of obtained exact solutions which converges uniformly on any compact subset of . Finally we give a similar factorization of the operator (divpgrad+q) in a multidimensional case and obtain a natural generalization of the Vekua equation which is related to second order operators in a similar way as its two-dimensional prototype does

Laplacian eigenmodes for spherical spaces

The possibility that our space is multi - rather than singly - connected has gained a renewed interest after the discovery of the low power for the first multipoles of the CMB by WMAP. To test the possibility that our space is a multi-connected spherical space, it is necessary to know the eigenmodes of such spaces. Excepted for lens and prism space, and in some extent for dodecahedral space, this remains an open problem. Here we derive the eigenmodes of all spherical spaces. For dodecahedral space, the demonstration is much shorter, and the calculation method much simpler than before. We also apply to tetrahedric, octahedric and icosahedric spaces. This completes the knowledge of eigenmodes for spherical spaces, and opens the door to new observational tests of cosmic topology. The vector space V^k of the eigenfunctions of the Laplacian on the three-sphere S^3, corresponding to the same eigenvalue \lambda_k = -k (k+2), has dimension (k+1)^2. We show that the Wigner functions provide a basis for such space. Using the properties of the latter, we express the behavior of a general function of V^k under an arbitrary rotation G of SO(4). This offers the possibility to select those functions of V^k which remain invariant under G. Specifying G to be a generator of the holonomy group of a spherical space X, we give the expression of the vector space V_X^k of the eigenfunctions of X. We provide a method to calculate the eigenmodes up to arbitrary order. As an illustration, we give the first modes for the spherical spaces mentioned.Comment: 17 pages, no figure, to appear in CQ

Fourier coefficients and growth of harmonic functions

We consider Harmonic Functions, H of several variables. We obtain necessary and sufficient conditions on its Fourier coefficients so that H is an entire harmonic (that is, has no finite singularities) function; the radius of harmonicity in terms of its Fourier coefficients in case H is not entire. Further, we obtain, in terms of its Fourier coefficients, the Order and Type growth measures, both in case H is entire or non-entire

WAVE POLYNOMIALS

&#x0D; &#x0D; &#x0D; A generating function for homogeneous polynomial solutions of the wave equation in $n$-dimensions is obtained. Application is made to developing an integral operator for analytic solutions of the wave equation. &#x0D; &#x0D; &#x0D; </jats:p