Searcharxiv⌕ Search

arXiv · 2609.12722

Littlewood-Paley theory for orthogonal expansions associated with root systems

Abstract

We introduce the non-symmetric heat and Poisson semigroups associated with the Heckman-Opdam Laplacian in the compact setting. Based on the Poisson semigroup, we study several Littlewood-Paley $g$-functions in the spirit of Stein's work for compact Lie groups and prove their $L^{p}$-boundedness for $1<p\leq 2$ and for some of them also for $1<p<\infty$. As an application, we define associated Riesz transforms and imaginary powers and prove their $L^{p}$-continuity for $1<p<\infty$. Passing to the average with respect to the action of the associated reflection group, we obtain $L^{p}$-boundedness of $g$-functions for the symmetric Poisson semigroup for all $1<p<\infty$. In particular, our framework covers the Littlewood-Paley-Stein theory for Jacobi polynomial expansions and corresponding direct product settings as special cases.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lukas Langen, Margit Rösler. 2026-09-19. Littlewood-Paley theory for orthogonal expansions associated with root systems. https://arxiv.org/abs/2609.12722

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

KEEP EXPLORING

Related papers

Bounded lattice tiles that pack with another lattice

Suppose $L, M$ are full-rank lattices in Euclidean space, such that ${\mathrm{vol}} L < {\mathrm{vol}} M$. Answering a question of Han and Wang from 2001, we show how to construct a bounded measurable set $F$ (we can even take $F$ to be a finite union of polytopes) such that $F+L$ is a tiling and $F+M$ is a packing. In the related problem of finding a common fundamental domain for two lattices $L$ and $M$ we show that no such common fundamental domain exists if the volumes are different even, if we do not require measurability of this domain.

math.CA↗

Parallelepipeds of maximal facet area and total edge length in ellipsoids, through prescribed boundary points

Let \[ \mathcal{E}_A=\{x\in\mathbb{R}^n:x^{\top}A^{-1}x\le 1\},\qquad n\ge2, \] where $A$ is real symmetric positive definite. We study full-dimensional parallelepipeds whose $2^n$ vertices lie on $\partial\mathcal{E}_A$. First we show that such parallelepipeds are necessarily centred at the origin and are precisely the images, under $A^{1/2}$, of orthotopes inscribed in the Euclidean unit sphere. This reduces the extremal questions to finite-dimensional linear algebra. For the total length $L$ of the one-skeleton we prove \[ L_{\max}(\mathcal{E}_A)=2^n\sqrt{\operatorname{tr} A}. \] Moreover, the prescribed-vertex problem for $L$ has the same answer in every dimension: for every $x_0\in\partial\mathcal{E}_A$ there is an inscribed parallelepiped with vertex $x_0$ and total edge length $2^n\sqrt{\operatorname{tr} A}$. The proof uses the Schur--Horn theorem applied to the trace-zero matrix $A-\operatorname{tr}(A)y_0y_0^{\top}$, where $y_0=A^{-1/2}x_0$. For the total $(n-1)$-dimensional measure $S$ of the facets we prove \[ S_{\max}(\mathcal{E}_A)=2^n n^{-(n-2)/2}\sqrt{\det A}\,\sqrt{\operatorname{tr}(A^{-1})}. \] For $n\ge3$ the maximisers are more rigid: on the sphere they are orthotopes with all edge lengths equal and with a Schur--Horn equal diagonal condition for $A^{-1}$. The prescribed-vertex facet-area problem is therefore equivalent to a restricted Schur--Horn problem with a prescribed barycentric basis. In dimension two this recovers the Connes--Zagier property for ellipses. In dimension three, however, the direct higher-dimensional analogue fails for triaxial ellipsoids at principal-axis vertices; an exact obstruction is given.

math.CA↗

The manufacture of examples: the $(-1)$-classical orthogonal polynomials

The big $(-1)$-Jacobi, Bannai-Ito, and $(-1)$-Meixner-Pollaczek polynomials have appeared in the mathematical physics literature through differential- or difference-reflection eigenvalue problems. We show that these three families are governed by a single alternating mechanism, formulated at the level of orthogonality functionals, transpose operators, and structural identities. Starting from an ordinary orthogonal polynomial sequence in the quadratic variable, the resulting algorithm constructs the direct alternating family and transfers its moments, squared norms, and recurrence coefficients. One regular Geronimus inversion then produces the big $(-1)$-Jacobi and Bannai-Ito families, whereas the $(-1)$-Meixner-Pollaczek family is obtained directly.

math.CA↗