Short-time asymptotics of heat kernels of hypoelliptic Laplacians on unimodular Lie groups (Q418707): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: H. S. Yoon / rank | |||
Normal rank | |||
Property / review text | |||
This paper uses the observation that the non-commutative harmonic analysis approach proposed by \textit{A. Agrachev}, \textit{U. Boscain}, \textit{J.-P. Gauthier} and \textit{F. Rossi} in [J. Funct. Anal. 256, No. 8, 2621--2655 (2009; Zbl 1165.58012)] may be used to compute hypoelliptic heat kernel short-time asymtotics even in situations where the exact expression of the heat kernel is impossible to compute due to intractable operator equations. The main result of the paper gives such short-time asymptotics for a unimodular type I Lie group \( G \) and a left invariant hypoelliptic sub-Laplacian \( \Delta \) satisfying the following conditions. For every irreducible unitary representation \( (\lambda,\mathcal H^\lambda) \) of \( G \) let \( \hat \Delta^\lambda:=d\lambda (\Delta) \), which is a selfadjoint operator on \(\mathcal H_\lambda \). Then it is assumed that \( \mathcal H^\lambda =L^2(\Omega_\lambda) \) for some measure space \( \Omega_\lambda \), where \( \Omega_\lambda \) is a smooth variety, and \( \hat \Delta^\lambda \) can be written as a sum \( A^\lambda + B^\lambda\), both generating strongly semigroups \( (T^\lambda (t))_{t\geq 0} \) and \( (S^\lambda (t))_{t\geq 0} \). It is supposed furthermore that for every compact subset \( K\subset \Omega_\lambda \) there exists a constant \( \alpha_{K,\lambda} \), such that for every \( f\in C_c^\infty (K) \) and for every operator \( E \) which is a composition of the operators \( B^\lambda,T^\lambda(t) \) and \( S^\lambda (t) \) one has that \( \| E(f)\|_1\leq \alpha^{k}_{K,\lambda}\| f\|_1 \), where \( k \) is the number of times the operator \(B\) appears in \( E \). For each \( t\geq 0, \) \(T^\lambda(t) \) is an integral operator with kernel \( k^\lambda_t(s,r) \) and there exists an integrable function \( K^\lambda_{t/n}(s,r) \) uniformly bounded in \( s \) by an integrable function \( G^\lambda_t(s,r) \) for all \( n\geq 1 \) such that \[ \begin{multlined} (t/n)[T^\lambda(t/n)^nB^\lambda+T^\lambda(t/n)^{n-1}B^\lambda T^\lambda (t/n)+\cdots T^\lambda(t/n) B^\lambda T^\lambda(t/n)^{n-1}]f(s) =\\ t\int_{\Omega_{\lambda}}K^\lambda_{t/n}(s,r)f(r)dr. \end{multlined} \] Under these conditions, the authors use Trotter's product formula and Kato's strong Trotter product formula to show that \[ [e^{t \Delta^\lambda}f] (s)=\int_{\Omega_\lambda}[k^\lambda_t(s,r)+t \lim_{n\to\infty}K^\lambda_{t/n}(s,r)] f(r)dr +[\mathcal O(t^2)f] (s) \] where the symbol \(\mathcal O(t^2) \) means an operator \( D_t \) acting on \( f \), such that \( \| D_t(f)\| _1\leq M t^2 \| f \|_1 \) for a constant \( M \) and for \( t \) small enough. The authors finally show that this theorem can be applied to the hypoelliptic sub-Laplacians on the Heisenberg, Engel and Cartan groups. | |||
Property / review text: This paper uses the observation that the non-commutative harmonic analysis approach proposed by \textit{A. Agrachev}, \textit{U. Boscain}, \textit{J.-P. Gauthier} and \textit{F. Rossi} in [J. Funct. Anal. 256, No. 8, 2621--2655 (2009; Zbl 1165.58012)] may be used to compute hypoelliptic heat kernel short-time asymtotics even in situations where the exact expression of the heat kernel is impossible to compute due to intractable operator equations. The main result of the paper gives such short-time asymptotics for a unimodular type I Lie group \( G \) and a left invariant hypoelliptic sub-Laplacian \( \Delta \) satisfying the following conditions. For every irreducible unitary representation \( (\lambda,\mathcal H^\lambda) \) of \( G \) let \( \hat \Delta^\lambda:=d\lambda (\Delta) \), which is a selfadjoint operator on \(\mathcal H_\lambda \). Then it is assumed that \( \mathcal H^\lambda =L^2(\Omega_\lambda) \) for some measure space \( \Omega_\lambda \), where \( \Omega_\lambda \) is a smooth variety, and \( \hat \Delta^\lambda \) can be written as a sum \( A^\lambda + B^\lambda\), both generating strongly semigroups \( (T^\lambda (t))_{t\geq 0} \) and \( (S^\lambda (t))_{t\geq 0} \). It is supposed furthermore that for every compact subset \( K\subset \Omega_\lambda \) there exists a constant \( \alpha_{K,\lambda} \), such that for every \( f\in C_c^\infty (K) \) and for every operator \( E \) which is a composition of the operators \( B^\lambda,T^\lambda(t) \) and \( S^\lambda (t) \) one has that \( \| E(f)\|_1\leq \alpha^{k}_{K,\lambda}\| f\|_1 \), where \( k \) is the number of times the operator \(B\) appears in \( E \). For each \( t\geq 0, \) \(T^\lambda(t) \) is an integral operator with kernel \( k^\lambda_t(s,r) \) and there exists an integrable function \( K^\lambda_{t/n}(s,r) \) uniformly bounded in \( s \) by an integrable function \( G^\lambda_t(s,r) \) for all \( n\geq 1 \) such that \[ \begin{multlined} (t/n)[T^\lambda(t/n)^nB^\lambda+T^\lambda(t/n)^{n-1}B^\lambda T^\lambda (t/n)+\cdots T^\lambda(t/n) B^\lambda T^\lambda(t/n)^{n-1}]f(s) =\\ t\int_{\Omega_{\lambda}}K^\lambda_{t/n}(s,r)f(r)dr. \end{multlined} \] Under these conditions, the authors use Trotter's product formula and Kato's strong Trotter product formula to show that \[ [e^{t \Delta^\lambda}f] (s)=\int_{\Omega_\lambda}[k^\lambda_t(s,r)+t \lim_{n\to\infty}K^\lambda_{t/n}(s,r)] f(r)dr +[\mathcal O(t^2)f] (s) \] where the symbol \(\mathcal O(t^2) \) means an operator \( D_t \) acting on \( f \), such that \( \| D_t(f)\| _1\leq M t^2 \| f \|_1 \) for a constant \( M \) and for \( t \) small enough. The authors finally show that this theorem can be applied to the hypoelliptic sub-Laplacians on the Heisenberg, Engel and Cartan groups. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jean Ludwig / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 43A80 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 22E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58J35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6039128 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
SubRiemannian geometry | |||
Property / zbMATH Keywords: SubRiemannian geometry / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hypoelliptic heat kernel. Non-commutative harmonic analysis | |||
Property / zbMATH Keywords: Hypoelliptic heat kernel. Non-commutative harmonic analysis / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Trotter-Kato product formula | |||
Property / zbMATH Keywords: Trotter-Kato product formula / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jfa.2012.02.004 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1971911267 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The intrinsic hypoelliptic Laplacian and its heat kernel on unimodular Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Trace heat kernel asymptotics in 3D contact sub-Riemannian geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hamilton-Jacobi theory and the heat kernel on Heisenberg groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Développement asymptotique du noyau de la chaleur hypoelliptique hors du cut-locus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic expansion of the hypoelliptic heat kernel on the diagonal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypoelliptic heat kernel over \(3\)-step nilpotent Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4062252 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3941958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Short-time asymptotics of heat kernels for a class of hypoelliptic operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heat kernels for elliptic and sub-elliptic operators. Methods and techniques / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Principles of harmonic analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur Les Représentations Unitaires Des Groupes De Lie Nilpotents. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Precise estimates for the subelliptic heat kernel on H-type groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A short course on operator semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some formulas for sums of binomial coefficients and gamma functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Least action principle, heat propagation and subelliptic estimates on certain nilpotent groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3244654 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypoelliptic second order differential equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The distribution of energy in the Brownian motion in the Gaussian field and analytic-hypoellipticity of certain subelliptic operators on the Heisenberg group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3910982 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Développement asymptotique de la densité d’une diffusion dégénérée / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2784274 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The small-time asymptotics of the heat kernel at the cut locus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3160539 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypoelliptic differential operators and nilpotent groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diffusion processes in a small time interval / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4002250 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The heat kernel on H-type groups / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:21, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Short-time asymptotics of heat kernels of hypoelliptic Laplacians on unimodular Lie groups |
scientific article |
Statements
Short-time asymptotics of heat kernels of hypoelliptic Laplacians on unimodular Lie groups (English)
0 references
30 May 2012
0 references
This paper uses the observation that the non-commutative harmonic analysis approach proposed by \textit{A. Agrachev}, \textit{U. Boscain}, \textit{J.-P. Gauthier} and \textit{F. Rossi} in [J. Funct. Anal. 256, No. 8, 2621--2655 (2009; Zbl 1165.58012)] may be used to compute hypoelliptic heat kernel short-time asymtotics even in situations where the exact expression of the heat kernel is impossible to compute due to intractable operator equations. The main result of the paper gives such short-time asymptotics for a unimodular type I Lie group \( G \) and a left invariant hypoelliptic sub-Laplacian \( \Delta \) satisfying the following conditions. For every irreducible unitary representation \( (\lambda,\mathcal H^\lambda) \) of \( G \) let \( \hat \Delta^\lambda:=d\lambda (\Delta) \), which is a selfadjoint operator on \(\mathcal H_\lambda \). Then it is assumed that \( \mathcal H^\lambda =L^2(\Omega_\lambda) \) for some measure space \( \Omega_\lambda \), where \( \Omega_\lambda \) is a smooth variety, and \( \hat \Delta^\lambda \) can be written as a sum \( A^\lambda + B^\lambda\), both generating strongly semigroups \( (T^\lambda (t))_{t\geq 0} \) and \( (S^\lambda (t))_{t\geq 0} \). It is supposed furthermore that for every compact subset \( K\subset \Omega_\lambda \) there exists a constant \( \alpha_{K,\lambda} \), such that for every \( f\in C_c^\infty (K) \) and for every operator \( E \) which is a composition of the operators \( B^\lambda,T^\lambda(t) \) and \( S^\lambda (t) \) one has that \( \| E(f)\|_1\leq \alpha^{k}_{K,\lambda}\| f\|_1 \), where \( k \) is the number of times the operator \(B\) appears in \( E \). For each \( t\geq 0, \) \(T^\lambda(t) \) is an integral operator with kernel \( k^\lambda_t(s,r) \) and there exists an integrable function \( K^\lambda_{t/n}(s,r) \) uniformly bounded in \( s \) by an integrable function \( G^\lambda_t(s,r) \) for all \( n\geq 1 \) such that \[ \begin{multlined} (t/n)[T^\lambda(t/n)^nB^\lambda+T^\lambda(t/n)^{n-1}B^\lambda T^\lambda (t/n)+\cdots T^\lambda(t/n) B^\lambda T^\lambda(t/n)^{n-1}]f(s) =\\ t\int_{\Omega_{\lambda}}K^\lambda_{t/n}(s,r)f(r)dr. \end{multlined} \] Under these conditions, the authors use Trotter's product formula and Kato's strong Trotter product formula to show that \[ [e^{t \Delta^\lambda}f] (s)=\int_{\Omega_\lambda}[k^\lambda_t(s,r)+t \lim_{n\to\infty}K^\lambda_{t/n}(s,r)] f(r)dr +[\mathcal O(t^2)f] (s) \] where the symbol \(\mathcal O(t^2) \) means an operator \( D_t \) acting on \( f \), such that \( \| D_t(f)\| _1\leq M t^2 \| f \|_1 \) for a constant \( M \) and for \( t \) small enough. The authors finally show that this theorem can be applied to the hypoelliptic sub-Laplacians on the Heisenberg, Engel and Cartan groups.
0 references
SubRiemannian geometry
0 references
Hypoelliptic heat kernel. Non-commutative harmonic analysis
0 references
Trotter-Kato product formula
0 references
0 references