Heat equation bounds - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T03:55:42Z http://mathoverflow.net/feeds/question/81842 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/81842/heat-equation-bounds Heat equation bounds Matt Cooper 2011-11-25T00:00:25Z 2012-05-17T06:22:01Z <p>I am interested in the following damped heat equation on $\mathbf{R}$, $u_t = u_{xx} - 1_{x \in [-1,1]} u$ with initial data $u(0,x) = \delta(x-x_0)$ for some $x_0 \in \mathbf{R}$.</p> <p>In particular I am interested in obtaining non-trivial bounds on $u(t,0)$. Of course the heat kernel gives a trivial bound on $u(t,0)$ but I am struggling to obtain anything stronger.</p> <p>Perhaps the equation has a closed form solution from which it is easy to read such information off?</p> <p><strong>Added later:</strong> Of course appropriate growth conditions at infinity are assumed to ensure a unique solution.</p> <p><strong>Correction:</strong> The indicator function is a function of the $x$ variable only.</p> http://mathoverflow.net/questions/81842/heat-equation-bounds/81872#81872 Answer by Jon for Heat equation bounds Jon 2011-11-25T12:09:22Z 2011-11-30T21:16:36Z <p>Let us assume that $1_{[-1,1]}$ is the identity function for $t$ but here I consider a generic function $f(t)$. Let us consider the Dirichlet problem on a bounded domain $D$</p> <p>$$\Delta\phi_n+\lambda_n\phi_n=0 \qquad \phi=0\ on\ \partial D$$</p> <p>You can write down the exact solution to your equation as</p> <p>$$u(t,x,y)=\sum_n a_n(t)\phi_n(x)\phi_n(y)$$</p> <p>so that $u(0,x,y)=\delta(x-y)$ implies $a_n(0)=1$. By a direct substitution you get the equations to be solved</p> <p>$$\dot a_n+\lambda_na_n(t)+f(t)a_n(t)=0$$</p> <p>that admits the solution</p> <p>$$a_n(t)=e^{-\lambda_n t-\int_0^t dt'f(t')}.$$</p> <p>In this way you should be able to get a better bound on the solution.</p> <p>Now, let us assume that $1_{[-1,1]}$ is the identity function for $x$. The problem is reduced to the one of a Schroedinger equation for a rectangular potential barrier. Let us search for eigenfunctions to the problem</p> <p>$$\partial^2\phi_E(x)-1_{[-1,1]}\phi_E(x)=-E\phi_E(x)$$</p> <p>We expect a continuous spectrum in this case and will get</p> <p>$$\phi^L_E(x)=A_1e^{ik_0x}+A_2e^{-ik_0x}\qquad x&lt;-1$$ $$\phi^C_E(x)=B_1e^{ik_1x}+B_2e^{-ik_1x}\qquad x\in [-1,1]$$ $$\phi^R_E(x)=C_1e^{ik_0x}+C_2e^{-ik_0x}\qquad x>1$$</p> <p>being $k_1=\sqrt{E-1}$ for $x\in [-1,1]$ and $k_0=\sqrt{E}$ otherwise. You now impose a continuity condition on the derivative and the eigenfunctions to get the coefficients. The final solution will take an integral form as</p> <p>$$u(t,x,x_0)=\int_C dEe^{-Et}\phi_E(x)\phi_E(x_0)$$</p> <p>with a properly chosen contour $C$. Please, note that is also $1_{[-1,1]}=\theta(x+1)-\theta(x-1)$ being $\theta(x)$ the Heaviside function.</p>