1
$\begingroup$

Where can I find a proof of the following estimate $$\|S(t)v\|_{L^p(\Omega)}\leq C_{N,p,q} t^{-\frac{N}{2}\left(\frac{1}{q}-\frac{1}{p}\right)}\|v\|_{L^q(\Omega)}, $$ where $1\leq p<q<+\infty$, $\Omega\subset \mathbb{R}^N$ is an open bounded set and $\{S(t)\}_{t\geq 0}$ is the semigroup generated by the heat equation with Dirichlet boundary condition ?

$\endgroup$

1 Answer 1

4
$\begingroup$

This is standard, but the argument is short enough to fit in an answer. It is not restrictive to assume that $0\in\Omega$. Denote by $Q(t,x,y)$ the heat kernel associated with the Dirichlet Laplacian on $\Omega$ (this is simply the solution to the heat equation on $\Omega$ with Dirichlet b.c. and the delta function as initial data) and by $P(t,x,y)=ct^{-n/2}\exp(-|x-y|^2/4t)$ the heat kernel on $\mathbb{R}^n$, which is known by Fourier transform. By the maximum principle one obtains easily that $0\le Q\le P$ for all $t>0$ and $x,y\in\Omega$. The estimate follows immediately from this gaussian bound for $Q$.

$\endgroup$
2
  • 1
    $\begingroup$ Carro Piero, it is a bit provocative to call the kernels $p$ and $q$, when these letters denote the indices of the Lebesgue norms. $\endgroup$ Mar 28, 2016 at 20:13
  • 1
    $\begingroup$ You are right, I noticed after I posted :). Let me change the names $\endgroup$ Mar 28, 2016 at 20:20

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .