Search arXiv⌕ Search

arXiv · 2312.12931

Spectral synthesis of the invariant Laplacian and complexified spherical harmonics

Abstract

We show that the space $\mathcal{H}(Ω)$ of holomorphic functions $F:Ω\to\mathbb{C}$, where ${Ω=\{(z,w)\in\widehat{\mathbb{C}}^2\,:\, z\cdot w\neq 1\}}$, possesses an orthogonal Schauder basis consisting of distinguished eigenfunctions of the canonical Laplacian on $Ω$. Mapping $Ω$ biholomorphically onto the complex two-sphere, we use the Schauder basis result in order to identify the classical three-dimensional spherical harmonics as restrictions of the elements in $\mathcal{H}(Ω)$ to the real two-sphere analogue in $Ω$. In particular, we show that the zonal harmonics correspond to those functions in $\mathcal{H}(Ω)$ that are invariant under automorphisms of $Ω$ induced by Möbius transformations. The proof of the Schauder basis result is based on a curious combinatorial identity which we prove with the help of generalized hypergeometric functions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Annika Moucha. 2023-12-22. Spectral synthesis of the invariant Laplacian and complexified spherical harmonics. https://arxiv.org/abs/2312.12931

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hilbert metric and quasiconformal mappings

We prove a functional identity between the Hilbert metric and the visual angle metric in the unit disk. The proof utilizes the Poincaré hyperbolic metric in terms of which both metrics can be expressed. This identity then yields sharp distortion results for quasiregular mappings and analytic functions, expressed in terms of the Hilbert metric. We also prove that Hilbert circles are, in fact, Euclidean ellipses. The proof makes use of computer algebra methods. In particular, Gröbner bases are used.

math.CV↗

Cyclicity in Poletsky-Stessin Weighted Bergman Spaces

We study the cyclicity of polynomials in Poletsky-Stessin weighted Bergman spaces on various domains in $\mathbb{C}^2$, including the unit ball, the bidisk, and the complex ellipsoid. To this end, we introduce a natural extension of the parameter range for Poletsky-Stessin weighted Bergman spaces on complete Reinhardt domains, yielding a family of spaces that resemble Dirichlet-type spaces on the unit ball. We highlight the differences in the cyclicity behavior of polynomials in these spaces on the bidisk compared to those studied by Bénéteau et al. Finally, we propose several open problems concerning the structure of cyclic polynomials in these spaces.

math.CV↗

Weak Solutions to the complex Monge-Ampère flows on compact Kähler manifolds : general measures on the right-hand side

We show the existence of a bounded solution to the Cauchy problem for the complex Monge-Ampère flow on a compact Kähler manifold, with the right-hand side of the form $dt \wedge dμ$ where $dμ$ is either a Monge-Ampère measure with a bounded potential or dominated by a Monge-Ampère measure with a Hölder continuous potential. For the second case, we also prove that for a given semi-positive big from $θ$, the $t$-slice of the solution is locally Hölder continuous on $\rm{Amp(θ)}$ for all $t \in (0, T)$. Next, we prove a comparison principle when $dμ$ is dominated by a Monge-Ampère measure of a bounded quasi-plurisubharmonic function, which implies the uniqueness of the solution.

math.CV↗