Compact support

646 Views Asked by At

From PDE Evans, 2nd edition, page 204

Example 9 (Wave equation from the heat equation). Next we employ some Laplace transform ideas to provide a new derivation of the solution for the wave equation, based--surprisingly--upon the initial-value problem.

$\quad$ Suppose $u$ is a bounded, smooth solution of the initial-value problem: \begin{cases} u_{tt}-\Delta u = 0 & \text{in }\mathbb{R}^n \times (0,\infty) \\ u=g,u_t=0 &\text{on }\mathbb{R}^n \times \{t=0\} \tag{46} \end{cases} where $n$ is odd and $g$ is smooth, with compact support. We extend $u$ to negative times by writing \begin{align} u(x,t)=u(x,-t) & \quad\text{if }x\in \mathbb{R}^n, t < 0. \tag{47} \end{align} Then $$u_{tt}-\Delta u = 0 \quad\text{in }\mathbb{R}^n \times \mathbb{R}.$$ $\quad$ Next define $$v(x,t) := \frac{1}{(4\pi t)^{1/2}} \int_{-\infty}^{\infty} e^{-s^2/4t} u(x,s) \, ds \quad (x \in \mathbb{R}^n, t > 0) \tag{48}$$ Hence $$\lim_{t \rightarrow 0} v = g \quad \text{uniformly on } \mathbb{R}^n.$$ In addition \begin{align} \Delta v(x,t) &= \frac{1}{(4\pi t)^{1/2}} \int_{-\infty}^{\infty} e^{-s^2/4t} \Delta u(x,s) \, ds \\ &= \frac{1}{(4\pi t)^{1/2}} \int_{-\infty}^{\infty} e^{-s^2/4t} u_{ss} \, ds \\ &= \frac{1}{(4\pi t)^{1/2}} \left[-\int_{-\infty}^{\infty} e^{-s^2/4t} u_{s} \left(-\frac{s}{2t} \right) \, ds + \require{cancel} \color{blue}{\cancelto{0}{e^{-\frac{s^2}{4t}} u_s \vert_{-\infty}^{\infty}}}\right] \\ &= \frac{1}{(4\pi t)^{1/2}} \left[ -\int_{-\infty}^{\infty} e^{-s^2/4t} u(x,s) \left(\frac{s^2}{4t^2}-\frac{1}{2t} \right) \, ds + \require{cancel} \color{blue}{\cancelto{0}{\frac{s}{2t}e^{-\frac{s^2}{4t}} u(x,s) \vert_{-\infty}^{\infty}}} \right] \\ &= \frac{1}{(4\pi t)^{1/2}} \int_{-\infty}^{\infty} e^{-s^2/4t} u(x,s) \left(\frac{1}{2t}-\frac{s^2}{4t^2} \right) \, ds \\ &= v_t(x,t) \end{align}

Consequently $v$ solves this initial-value problem for the heat equation: \begin{cases}v_t - \Delta v = 0 & \text{in } \mathbb{R}^n \times (0,\infty) \\ \qquad \quad v=g &\text{on } \mathbb{R}^n \times \{t=0\} \end{cases}

The proof in the textbook actually does not stop here; it continues on for a good two whole pages. I only provided the beginning part of the proof for context.

My question concerns the terms above, which I highlighted in $\color{blue}{\textbf{blue}}$, that cancel to $0$. (By the way, those lines are due to integration by parts.) I realize this cancellation to $0$ is due to the fact that the function $g$ has compact support. But how is this so exactly?