## Conformal transformations and harmonic analysis on the sphere

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Consider the $n$-dimensional sphere $S^n$. I'm especially interested in the $n=4$ case. The Hilbert space $L^2(S^n)$ can be decomposed into a direct sum of eigenspaces of the Laplacian, which are finite dimensional. I'm looking for non-isometric conformal transformations

$$f: S^n \to S^n$$

s.t. for some $\lambda, \mu > 0$ if $\psi$ is an eigenvector of the Laplacian with eigenvalue $\alpha < \lambda$ then $f(\psi)$ is a sum of eigenvectors with eigenvalues $< \mu$.

Do such $f$ exist? If so, is it possibly to classify them?

-

## 2 Answers

The only possibility is the trivial one when $\lambda$ is so small that the only eigenfunctions with eigenvalue less than $\lambda$ are constants (eigenvalue zero). Otherwise the eigenfunctions with eigenvalue less than $\lambda$ span the space of polynomials of degree at most $d$ for some positive integer $d$, and then composition with a non-isometric conformal transformation takes it outside the space of polynomials, and thus outside the span of eigenfunctions of eigenvalue less than $\mu$ for any finite $\mu$.

P.S. In case you've not seen this yet: the group of conformal transformations is described by this theorem of Liouville, identifying it with the group of Möbius transformations.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Let me add some remarks... The group of conformal transformations of $S^n$ is generated by isometries, scalings ( $x \to \lambda x$ conjugated by stereographical projection and it's inverse) and spherical inversions $x\to \frac{x}{\|x\|}$. As Noam Elkies indicated in his answer - the eigenfunctions of the Laplace equation (the so called spherical harmonics) are restrictions of harmonic polynomials on $\mathbb{R}^{n+1}$.

Also there's a modification of the Laplace-Beltrami operator by a scalar term which is called Yamabe operator. This Yamabe operator is conformally invariant when acting on densities of certain conformal weight. Maybe this operator will be more useful for theorems you want to prove...

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 21, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9032723307609558, "perplexity_flag": "head"}