Fourier transform, Fourier integral

$\renewcommand{\Re}{\operatorname{Re}}$

$\newcommand{\dag}{\dagger}$ $\newcommand{\const}{\mathrm{const}}$

Wave equation

  1. $3D$-Wave equation: special case
  2. $3D$-Wave equation: general case
  3. Spherical means
  4. $2D$-wave equation: method of descent
  5. Remarks

$3D$-Wave equation: special case

Consider Cauchy problem for $3$-dimensional wave equation \begin{align} & u_{tt}-c^2\Delta u=f,\label{equ-28.1}\\[3pt] & u|_{t=0}=g,\label{equ-28.2}\\[3pt] & u_t|_{t=0}=h.\label{equ-28.3} \end{align}

Assume first that $f=g=0$. We claim that in this case as $t>0$ \begin{equation} u(x,t)= \frac{1}{4\pi c ^2 t} \iint _{S(x,ct)} h(y)\,d\sigma \label{equ-28.4} \end{equation} where we integrate along sphere $S(x,ct)$ with a center at $x$ and radius $ct$; $d\sigma$ is an area element.

Let us prove (\ref{equ-28.4}) first as $h(x)=e^{ix\cdot \xi}$ with $\xi\in \mathbb{R}^3\setminus 0$; we use the standard notation $x\cdot \xi=x_1\xi_1+x_2\xi_2+x_3\xi_3$. In this case \begin{equation} u(x,t)=e^{ix\cdot \xi}c^{-1}|\xi|^{-1}\sin (ct|\xi|) \label{equ-28.5} \end{equation} is obviously a solution to Cauchy problem (\ref{equ-28.1})--(\ref{equ-28.3}).

On the other hand, the right-hand expression of (\ref{equ-28.4}) becomes \begin{equation*} \frac{1}{4\pi c ^2 t}\iint _{S(x,ct)} e^{iy\cdot \xi}\,d\sigma= \frac{1}{4\pi c ^2 t}e^{ix\cdot \xi}\iint _{S(0,ct)} e^{iz\cdot \xi}\,d\sigma \end{equation*} where we changed variable $y=x+z$ with $z$ running $S(0,ct)$ (sphere with a center at $0$) and we need to calculate integral in the right-hand expression. Let us select coordinate system in which $\xi=(0,0,\omega)$ with $\omega =|\xi|$ and introduce corresponding spherical coordinates $(\rho,\phi,\theta)$; then on $S(0,ct)$ $\rho=ct$, $z\cdot \xi= z_3\omega= ct \omega \cos(\phi)$ and $d\sigma=c^2t^2 \sin(\phi)d\phi d\theta$; so integral becomes \begin{multline*} c^2t^2 \int_0^\pi e^{i ct \omega \cos(\phi)}\sin(\phi) \,d\phi \int_0^{2\pi} d\theta=\\ -2\pi c^2t^2 \int_0^\pi e^{i ct \omega \cos(\phi)} \,d\cos(\phi) = 2\pi c^2t^2 \frac{1}{ic t\omega} \Bigl( e^{i ct \omega }- e^{-i ct \omega } \Bigr)=\\ 4\pi ct \omega^{-1} \sin (ct\omega) \end{multline*} and multiplying by $e^{ix\cdot\xi}$ and dividing by $4\pi c^2t$ we get\ $e^{ix\cdot\xi} c^{-1}|\xi|^{-1} \sin (ct|\xi|)$ which is the right-hand expression of (\ref{equ-28.5}).

So, for $h(x)=e^{ix\cdot \xi}$ (\ref{equ-28.4}) has been proven. However the general function $h(x)$ could be decomposed into such special functions using multidimensional Fourier transform and multidimensional Fourier integral which is nothing but repeated $1$-dimensional Fourier transform and Fourier integral: \begin{gather} h(x)=\iiint \hat{h}(\xi) e^{ix\cdot\xi}\,d\xi,\label{equ-28.6}\\[3pt] \hat{h}(\xi)=(2\pi)^{-n}\iiint h(x) e^{-ix\cdot\xi}\,dx\label{equ-28.7} \end{gather} and therefore (\ref{equ-28.4}) extends to general functions as well.

Remark 1. We should deal with the fact that only decaying functions could be decomposed into Fourier integral, but this is easy due to the fact that integral in (\ref{equ-28.4}) is taken over bounded domain.

$3D$-Wave equation: general case

To cover $t<0$ we replace (\ref{equ-28.4}) by \begin{equation} u(x,t)= \frac{1}{4\pi c t} \iint _{S(x,c|t|)} h(y)\,d\sigma \label{equ-28.8} \end{equation} which is obvious as $u$ must be odd with respect to $t$.

Consider now $g\ne 0$. Let $v$ be given by (\ref{equ-28.8}) with $h$ replaced by $h$; then \begin{align*} & v_{tt}-c^2\Delta v=0,\\[3pt] & v|_{t=0}=0,\\[3pt] & v_t|_{t=0}=g. \end{align*} Then $\Delta v|_{t=0}=0$ and therefore $v_{tt}|_{t=0}=0$ and therefore differentiating equation with respect to $t$ we conclude that $u:=v_t$ solves \begin{align*} & u_{tt}-c^2\Delta u=0,\\[3pt] & u|_{t=0}=g,\\[3pt] & u_t|_{t=0}=0. \end{align*} Now \begin{equation} u(x,t)= \frac{\partial\ }{\partial t} \Bigl(\frac{1}{4\pi c^2 t} \iint _{S(x,c|t|)} g(y)\,d\sigma\Bigr). \label{equ-28.9} \end{equation} Therefore solving separately (\ref{equ-28.1})--(\ref{equ-28.3}) for $f=g=0$ (given by (\ref{equ-28.8})) and for $f=h=0$ (given by (\ref{equ-28.9}) and adding solutions due to linearity we arrive to \begin{equation} u(x,t)= \frac{\partial\ }{\partial t} \Bigl(\frac{1}{4\pi c^2 t} \iint_{S(x,c|t|)} g(y)\,d\sigma\Bigr)+ \frac{1}{4\pi c ^2 t} \iint _{S(x,c|t|)} h(y)\,d\sigma \label{equ-28.10} \end{equation} covering case $f=0$.

To cover case of arbitrary $f$ but $g=h=0$ we apply Duhanel integral formula (see Lecture 15). Consider problem \begin{align*} & U_{tt}-c^2\Delta U=0,\\[3pt] & U|_{t=\tau}=0,\\[3pt] & U_t|_{t=\tau}=f(x,\tau). \end{align*} Its solution is given by \begin{equation*} U(x,t,\tau) = \frac{1}{4\pi c^2(t-\tau)} \iint_{S(x,c|t-\tau|) } f(y,\tau)\,d\sigma \end{equation*} and therefore \begin{equation} u(x,t) = \int_0^t\frac{1}{4\pi c^2(t-\tau)} \iint_{S(x,c|t-\tau|)} f(y,\tau)\,d\sigma d\tau. \label{equ-28.11} \end{equation} Assembling (\ref{equ-28.10}) and (\ref{equ-28.11}) together we arrive to Kirchhoff formula \begin{multline} u(x,t)= \frac{\partial\ }{\partial t} \Bigl(\frac{1}{4\pi c^2 t} \iint _{S(x,c|t|)} g(y)\,d\sigma\Bigr)+ \frac{1}{4\pi c^2 t} \iint _{S(x,c|t|)} h(y)\,d\sigma +\\ \int_0^t \frac{1}{4\pi c^2(t-\tau)} \iint_{S(x,c|t-\tau|) } f(y,\tau)\,d\sigma d\tau. \qquad \label{equ-28.12} \end{multline} providing solution to (\ref{equ-28.1})--(\ref{equ-28.3}).

Remark 2. As $t>0$ one can rewrite the right-hand expression in (\ref{equ-28.11}) as \begin{equation} \iiint_{B(x,ct)} \frac{1}{4\pi c^2 |x-y|}f(y,t-c^{-1}|x-y|)\,dy \label{equ-28.13} \end{equation} where we we integrate over ball $B(x,ct)$ of radius $ct$ with the center at $x$.

Spherical means

Definition 1. $M_r(h, x)=\frac{1}{4\pi r^2} \int_{S(x,r)} h(y)\,d\sigma$ is a spherical mean of $h$. Recall that $4\pi r^2$ is an area of $S(x,r)$.

Therefore (\ref{equ-28.8}) is exactly $ u(x,t)= t M_{c|t|} (h,x)$ and all other formulae (\ref{equ-28.9})--(\ref{equ-28.13}) could be modified similarly.

$2D$-wave equation: method of descent

Consider now the same problem (\ref{equ-28.1})--(\ref{equ-28.3}) but in dimension $2$. To apply (\ref{equ-28.12}) we introduce a third spatial variable $x_3$ and take $f$, $g$, $h$ not depending on it; then $u$ also does not depend on $x_3$ and solves original $2D$-problem.

So, the right-hand expression in (\ref{equ-28.8}) becomes for $\pm t>0$ \begin{equation} \frac{1}{4\pi c^2t} \iint _{S(x,c|t|)} h(y)\,d\sigma= \pm \frac{1}{2\pi c} \iint _{B(x,c|t|)} \frac{h(y)}{\sqrt{c^2t^2-|x-y|^2}}\,dy \label{equ-28.14} \end{equation} where $y=(y_1,y_2)$ and we took into account that $S(x,ct)$ covers disk $B(x,c|t|)$ twice (so factor $2$ appears) and $d\sigma = \pm \frac{ct}{\sqrt{c^2t^2-|x-y|^2}}\,dy$, $dy=dy_1dy_2$.

Thus (\ref{equ-28.12}) implies that for $\pm t>0$ \begin{multline} u(x,t)= \pm\frac{\partial\ }{\partial t} \Bigl(\frac{1}{2\pi c} \iint _{B(x,c|t|)} \frac{g(y)}{\sqrt{c^2t^2-|x-y|^2}} \,d y\Bigr) \\ \pm \frac{1}{2\pi c } \iint _{B(x,c|t|)} \frac{h(y)}{\sqrt{c^2t^2-|x-y|^2}}\,dy \\ \pm \int_0^t \frac{1}{4\pi c } \iint_{B(x,c|t-\tau|) } \frac{f(y,\tau)}{\sqrt{c^2(t-\tau)^2-|x-y|^2}}\,dy d\tau. \qquad \label{equ-28.15} \end{multline}

Remarks

Remark 3. Formulae (\ref{equ-28.13}) and (\ref{equ-28.15}) could be generalized to the case of odd $n\ge 3$ and even $n\ge 2$ respectively. These formulae imply that

  1. $u(x,t)$ does not depend on $g(y),h(y)$ with $|y-x|>ct$ and on $f(y,\tau)$ with $|y-x|>c|t-\tau|$. This could be interpreted as "nothing propagates with a speed exceeding $c$". We will prove it again by completely different method in the next Lecture 29.

  2. As $n\ge 3$ is odd $u(x,t)$ does not depend on $g(y),h(y)$ with $|y-x|<ct$ and on $f(y,\tau)$ with $|y-x|<c|t-\tau|$. This could be interpreted as "no leftovers after front passed with a speed $c$". In mathematical literature this is called Huygens principle (there is another Huygens principle aka Huygens-Fresnel principle). This property is a rare commodity: adding lower-order terms to the equation breaks it.