Sharp estimates of the Jacobi heat kernel

DOI10.4064/SM218-3-2MaRDI QIDQ2859336zbMATH OpenOpenAlexFDO

Authors Adam Nowak, Peter Sjögren

Publication date 7 November 2013

Published in Studia Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1111.3145

zbMATH Keywords

Jacobi expansionJacobi heat kernelJacobi polynomialJacobi semigroupmaximal operatorPoisson-Jacobi kernel

Mathematics Subject Classification ID

Heat kernel (35K08) Orthogonal functions and polynomials, general theory of nontrigonometric harmonic analysis (42C05)

Abstract: The heat kernel associated with the setting of the classical Jacobi polynomials is defined by an oscillatory sum which cannot be computed explicitly, in contrast to the situation for the two other classical systems of orthogonal polynomials. We deduce sharp estimates giving the order of magnitude of this kernel, for type parameters $$. As an application of the upper bound obtained, we show that the maximal operator of the multi-dimensional Jacobi heat semigroup satisfies a weak type $(1,1)$ inequality. We also obtain sharp estimates of the Poisson-Jacobi kernel.

Review text

Given the type parameters \(\alpha,\beta>-1\) let \(P^{\alpha,\beta}_n\), \(n=0,1,2,\ldots\), be the classical Jacobi polynomials. The Jacobi heat kernel is then defined by NEWLINE\[NEWLINE G_t^{\alpha,\beta}(x,y)=\sum_{n=0}^\infty \exp\big(-tn(n+\alpha+\beta+1)\big)\frac{P^{\alpha,\beta}_n(x)P^{\alpha,\beta}_n(y)}{h^{\alpha,\beta}_n}, NEWLINE\]NEWLINE where \(t>0\), \(x,y\in[-1,1]\), and \(h^{\alpha,\beta}_n=\int_{-1}^1P^{\alpha,\beta}_n(x)^2(1-x)^\alpha(1+x)^\beta\,dx\) are normalizing constants. The numbers \(n(n+\alpha+\beta+1)\) are the eigenvalues of the Jacobi differential operator.NEWLINENEWLINEThe explicit expressions of heat kernels associated with two other families of classical orthogonal polynomials, the Hermite and Laguerre polynomials, are easily derived by using the Mehler and the Hille-Hardy formulas. An analogue of these formulas in the Jacobi setting is Bailey's formula. However, in contrast with the Hermite and Laguerre cases, Bayley's formula is not helpful in computing a closed formula for the Jacobi heat kernel. This is because the eigenvalues \(n(n+\alpha+\beta+1)\) occuring in the defining series are not linear in \(n\).NEWLINENEWLINEThe main result of the paper provides a qualitatively sharp description of the behavior of \(G_t^{\alpha,\beta}(x,y)\) for \(\alpha,\beta\geq-1/2\); the restriction on \(\alpha\) and \(\beta\) is caused by the used method. Since the multi-dimensional Jacobi heat kernel is a tensor product of one-dimensional kernels, the estimates of \(G_t^{\alpha,\beta}(x,y)\) provide similar bounds also in the multi-dimensional setting. It is worth mentioning that recently analogous estimates of \(G_t^{\alpha,\beta}(x,y)\) have been independently obtained for \(\alpha,\beta>-1\) by \textit{T. Coulhon} et al. [J. Fourier Anal. Appl. 18, No. 5, 995--1066 (2012; Zbl 1270.58015)] by means of Dirichlet spaces and other tools.NEWLINENEWLINEThe proof of the main result is insightful and quite involved and uses several ingredients. These are, among others, the product formula due to \textit{A. Dijksma} and \textit{T. H. Koornwinder} [Indag. Math. 33, 191--196 (1971; Zbl 0209.09302)] and a resulting double integral representation of \(G_t^{\alpha,\beta}(\cos\theta,\cos\varphi)\), \(\theta,\varphi\in[0,\pi]\), a transference of heat kernel estimates from a sphere, a comparison principle relating heat kernels for different type parameters and, finally, a rough estimate of the series defining \(G_t^{\alpha,\beta}(x,y)\).NEWLINENEWLINEAs a natural application of the estimates of \(G_t^{\alpha,\beta}(x,y)\), a weak type \((1,1)\) estimate for the maximal operator associated to the multi-dimensional Jacobi semigroup is proved. Finally, sharp estimates for the Poisson-Jacobi kernel are derived. Although the Poisson-Jacobi kernel is essentially the sum occurring in Bailey's formula, the representation of this sum in terms of Appell's function \(F_4\) is not used. Instead, the already mentioned double integral representation formula is again employed.

Recommendations

• Heat kernel and Hardy's theorem for Jacobi transform
• Analysis related to all admissible type parameters in the Jacobi setting
• Discrete harmonic analysis associated with Jacobi expansions. I: The heat semigroup
• Genuinely sharp heat kernel estimates on compact rank-one symmetric spaces, for Jacobi expansions, on a ball and on a simplex
• Sharp heat kernel estimates in the Fourier-Bessel setting for a continuous range of the type parameter

Cited in

(33)

• Heat kernel and Hardy's theorem for Jacobi transform
• Harmonic analysis operators related to symmetrized Jacobi expansions for all admissible parameters
• Heat kernel estimates on Julia sets
• Discrete diffusion semigroups associated with Jacobi-Dunkl and exceptional Jacobi polynomials
• Some results on the optimal matching problem for the Jacobi model
• On derivatives, Riesz transforms and Sobolev spaces for Fourier-Bessel expansions
• Sharp Hardy's inequality for Jacobi and symmetrized Jacobi trigonometric expansions
• Sharp estimates of the spherical heat kernel
• Gaussian bounds for the weighted heat kernels on the interval, ball, and simplex
• Analysis related to all admissible type parameters in the Jacobi setting
• Maximal operators of exotic and non-exotic Laguerre and other semigroups associated with classical orthogonal expansions
• Lusin area integrals related to Jacobi expansions
• Sharp heat kernel estimates in the Fourier-Bessel setting for a continuous range of the type parameter
• A solution space for a system of null-state partial differential equations. II
• Riesz-Jacobi transforms as principal value integrals
• SHARP HEAT KERNEL BOUNDS FOR SOME LAPLACE OPERATORS
• Sobolev spaces associated with Jacobi expansions
• A SHARP COMPARISON RESULT CONCERNING SCHRÖDINGER HEAT KERNELS
• Dimension free \(L^p\) estimates for single Riesz transforms via an \(H^\infty\) joint functional calculus
• Potential operators associated with Jacobi and Fourier-Bessel expansions
• On sharp heat and subordinated kernel estimates in the Fourier-Bessel setting
• On potential spaces related to Jacobi expansions
• Sharp estimates for Jacobi heat kernels in conic domains
• Harmonic analysis associated with the Jacobi-Dunkl operator on \((-\pi, \pi)\): exotic cases
• On sharp heat kernel estimates in the context of Fourier-Dini expansions
• Exactly solvable stochastic spectator
• On the construction of bases and frames with applications
• New sharp bounds for the Jacobi heat kernel via an extension of the Dijksma-Koornwinder formula
• Rigidity of the subelliptic heat kernel on \(\mathrm{SU}(2)\)
• An operational approach to Jacobi polynomials and Beckner-type inequalities
• Heat kernels of the discrete Laguerre operators
• Genuinely sharp heat kernel estimates on compact rank-one symmetric spaces, for Jacobi expansions, on a ball and on a simplex
• Weighted Riemannian 1-manifolds for classical orthogonal polynomials and their heat kernel

This page was built for publication: Sharp estimates of the Jacobi heat kernel

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2859336)