Lecture 7. Heat kernels of subelliptic semigroups

In this Lecture, we use the local regularity theory of subelliptic operators, to prove the existence of heat kernels.

Proposition: Let L be a locally  subelliptic diffusion operator with smooth coefficients that is essentially self-adjoint with respect to a measure \mu. Denote by (\mathbf{P}_t)_{t \ge 0} the corresponding semigroup on \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}).

  • If K is a compact set of \mathbb{R}^n, there exists a positive constant C such that for f \in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}), \sup_{x \in K} |\mathbf{P}_t f(x)| \le C \left( 1 +\frac{1}{t^{\kappa}} \right) \| f \|_{\mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R})}, where \kappa is the smallest integer larger than \frac{n}{4\varepsilon} and \varepsilon >0.
  • For f \in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}), the function (t,x)\rightarrow \mathbf{P}_tf (x) is smooth on (0,+\infty)\times \mathbb{R}^n.

Proof: Let us first observe that from the spectral theorem that if f \in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}) then for every k \ge 0, L^k \mathbf{P}_t f \in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}) and \|L^k \mathbf{P}_t f \|_{ \mathbf{L}_\mu^2 (\Omega,\mathbb{R})} \le \left(\sup_{\lambda \ge 0} \lambda^k e^{-\lambda t}\right) \|f \|_{ \mathbf{L}_\mu^2 (\Omega,\mathbb{R})}. Now, let K be a compact set of \mathbb{R}^n. From the proposition in, there exists therefore a positive constant C such that \left(\sup_{x \in K} | \mathbf{P}_t f(x) | \right)^2 \le C \left( \sum_{k=0}^{\kappa} \|L^k \mathbf{P}_t f \|^2_{ \mathbf{L}_\mu^2 (\Omega,\mathbb{R})} \right). Since it is immediately checked that \sup_{\lambda \ge 0} \lambda^k e^{-\lambda t}=\left( \frac{k}{t}\right)^k e^{-k}, the bound \sup_{x \in K} |\mathbf{P}_t f(x)| \le C \left( 1 +\frac{1}{t^{\kappa}} \right) \| f \|_{\mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R})} easily follows. We now turn to the second part. Let f \in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}). First, we fix t > 0. As above, from the spectral theorem, for every k \ge 0, L^k \mathbf{P}_t f \in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}), for any bounded open set \Omega. By hypoellipticity of L, we deduce therefore that \mathbf{P}_t f is a smooth function.

Next, we prove joint continuity in the variables (t,x)\in (0,+\infty)\times \mathbb{R}^n. It is enough to prove that if t_0 >0 and if K is a compact set in \mathbb{R}^n, \sup_{x \in K} | \mathbf{P}_{t} f(x) - \mathbf{P}_{t_0} f(x) | \rightarrow_{t \to t_0} 0. From the previous proposition, there exists a positive constant C such that \sup_{x \in K} | \mathbf{P}_{t} f(x) - \mathbf{P}_{t_0} f(x) | \le C \left( \sum_{k=0}^{\kappa} \|L^k \mathbf{P}_t f-L^k \mathbf{P}_{t_0} f \|^2_{ \mathbf{L}_\mu^2 (\Omega,\mathbb{R})} \right). Now, again from the spectral theorem, it is checked that \lim_{t \to t_0} \sum_{k=0}^{\kappa} \|L^k \mathbf{P}_t f-L^k \mathbf{P}_{t_0} f \|^2_{ \mathbf{L}_\mu^2 (\Omega,\mathbb{R})}=0. This gives the expected joint continuity in (t,x). The joint smoothness in (t,x) is a consequence of the second part of the previous proposition and the details are let to the reader \square

Remark: If the bound \sup_{x \in K} |\mathbf{P}_t f(x)| \le C(t) \| f \|_{\mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R})} uniformly holds on \mathbb{R}^n, that is if \| \mathbf{P}_t \|_{ \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}) \rightarrow \mathbf{L}_{\mu}^\infty (\mathbb{R}^n,\mathbb{R})} < \infty, then the semigroup (\mathbf{P}_t)_{t \ge 0} is said to be ultracontractive.

Exercise: Let L be an elliptic diffusion operator with smooth coefficients that is essentially self-adjoint with respect to a measure \mu . Let \alpha be a multi-index. If K is a compact set of \mathbb{R}^n, show that there exists a positive constant C such that for f \in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}), \sup_{x \in K} |\partial^{\alpha} \mathbf{P}_t f(x)| \le C \left( 1 +\frac{1}{t^{|\alpha|+\kappa}} \right) \| f \|_{\mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R})}, where \kappa is the smallest integer larger than \frac{n}{4\varepsilon}.

We are now in position to prove the following fundamental theorem:

Theorem: Let L be a locally subelliptic and essentially self-adjoint diffusion operator. Denote by (\mathbf{P}_t)_{t \ge 0} the corresponding semigroup on \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}). There is a smooth function p(t,x,y), t \in (0,+\infty), x,y \in \mathbb{R}^n, such that for every f \in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}) and x \in \mathbb{R}^n , \mathbf{P}_t f (x)=\int_{\mathbb{R}^n} p(t,x,y) f(y) d\mu (y). The function p(t,x,y) is called the heat kernel associated to (\mathbf{P}_t)_{t \ge 0}. It satisfies furthermore:

  • (Symmetry) p(t,x,y)=p(t,y,x);
  • (Chapman-Kolmogorov relation) p(t+s,x,y)=\int_{\mathbb{R}^n} p(t,x,z)p(s,z,y)d\mu(z).

Proof: Let x\in \mathbb{R}^n and t > 0. From the previous proposition, the linear form f \rightarrow \mathbf{P}_t f (x) is continuous on \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}), therefore from the Riesz representation theorem, there is a function p(t,x,\cdot)\in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}), such that for f \in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}), \mathbf{P}_t f (x)=\int_{\mathbb{R}^n} p(t,x,y) f(y) d\mu (y). From the fact that \mathbf{P}_t is self-adjoint on \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}), \int_{\mathbb{R}^n} (\mathbf{P}_t f) g d\mu=\int_{\mathbb{R}^n} f(\mathbf{P}_t g) d\mu, we easily deduce the symmetry property p(t,x,y)=p(t,y,x). And the Chapman-Kolmogorov relation p(t+s,x,y)=\int_{\mathbb{R}^n} p(t,x,z)p(s,z,y)d\mu(z) stems from the semigroup property \mathbf{P}_{t+s} =\mathbf{P}_t \mathbf{P}_s. Finally, from the previous proposition the map (t,x) \rightarrow p(t,x,\cdot) \in \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}) is smooth on (0,+\infty) \times \mathbb{R}^n for the weak topology of \mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}). This implies that it is also smooth on (0,+\infty) \times \mathbb{R}^n for the norm topology. Since, from the Chapman-Kolmogorov relation p(t,x,y)=\langle p(t/2,x,\cdot), p(t/2,y.\cdot) \rangle_{\mathbf{L}_{\mu}^2 (\mathbb{R}^n,\mathbb{R}) }, we conclude that (t,x,y)\rightarrow p(t,x,y) is smooth on (0,+\infty) \times \mathbb{R}^n \times \mathbb{R}^n \square

This entry was posted in Diffusions on manifolds. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s