Long time behavior of the heat equation on R - MathOverflow most recent 30 from http://mathoverflow.net2013-05-22T20:57:58Zhttp://mathoverflow.net/feeds/question/69884http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/69884/long-time-behavior-of-the-heat-equation-on-rLong time behavior of the heat equation on RAnand2011-07-09T16:01:55Z2011-07-09T19:57:37Z
<p>Let $\mu\in\mathcal{S}'(R)$ be a Schwartz distribution. The solution of a heat equation with $\mu$ as the initial data is</p>
<p>$$
u(t,x)= \int_R \frac{e^{-\frac{(x-y)^2}{2t}}}{\sqrt{2\pi t}} \mu(d y)
$$</p>
<p>You can assume that $\mu$ is non-negative, i.e., a measure on $R$.</p>
<p>The problem is how $u(t,x)$ behaves for $x$ fixed as $t\rightarrow\infty$. I guess that it might not increase too fast for large $t$, e.g., it does not increase like $e^t$. Do anyone have any idea? </p>
<p>Thank you very much in advance!</p>
<p>EDIT:
Here is one try:
If we smooth $\mu$ by a test function to get say $\mu_n$, then $\mu_n$ is a smooth function with at most certain polynomial increase. However, the degree of the domination polynomial might depend on $n$...</p>
http://mathoverflow.net/questions/69884/long-time-behavior-of-the-heat-equation-on-r/69902#69902Answer by Andrew for Long time behavior of the heat equation on RAndrew2011-07-09T19:34:14Z2011-07-09T19:57:37Z<p>Denote $\Gamma(x,t)$ the fundamental solution of the heat equation form the integral. By the theorem of L. Schwarz for any $\mu\in S'(S)$ there is a number $m\in \mathbb N$ and $C>0$ such that $$|u(x,t)|=|(\mu,\Gamma(t,\cdot))|\le C\|\Gamma(t,\cdot)\|_m,$$ where
$
\|\varphi\|_m=$</p>
<p>$\sup_{\alpha \le m,\ x \in \mathbb R}(1+|x|)^m |\partial^\alpha \varphi(x)|.
$ </p>
<p>It is straightforward to obtain, as it is said in the comments, that the $u$ increases at most polynomially. Namely, it is known that $$|\partial_x^k \Gamma(t,x)|\le C_k t^{-(k+1)/2}e^{-c_k x^2/t}.\ $$ From here it is easy to get $$|x^m \partial_x^k \Gamma(t,x)|\le C_{k,m} t^{(m-k-1)/2}e^{-c_{k,m} x^2/t},$$ since $|y|^m e^{-c y} \le C_m$. Putting $y=x^2/t\ $ we have $|x|^m e^{-c x^2/t}\le t^{m/2}e^{-c x^2/2t}$.</p>