Skip to main content
\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)
Mathematics LibreTexts

4.2.2: Case n=2

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

    Consider the initial value problem

    \label{initial1} \tag{}
    \label{initial2} \tag{}

    where \(f\in C^3,\ g\in C^2\).

    Using the formula for the solution of the three-dimensional initial value problem we will derive a formula for the two-dimensional case. The following consideration is called Hadamard's method of decent.

    Let \(v(x,y,t)\) be a solution of (\ref{n2dgl})-(\ref{initial2}), then


    is a solution of the three-dimensional initial value problem with initial data \(f(x,y)\), \(g(x,y)\), independent of \(z\), since \(u\) satisfies (\ref{n2dgl})-(\ref{initial2}). Hence, since \(u(x,y,z,t)=u(x,y,0,t)+u_z(x,y,\delta z,t)z\), \(0<\delta<1\), and \(u_z=0\), we have


    Poisson's formula in the three-dimensional case implies

    v(x,y,t)&=&\frac{1}{4\pi c^2}\frac{\partial}{\partial t}\left(\frac{1}{t}\int_{\partial B_{ct}(x,y,0)}\ f(\xi,\eta)\ dS\right)\nonumber\\
    \label{poissonhilf1} \tag{}
    &&+\frac{1}{4\pi c^2 t} \int_{\partial B_{ct}(x,y,0)}\ g(\xi,\eta)\ dS.

    Figure Domains of integration

    The integrands are independent on \(\zeta\). The surface \(S\) is defined by \(\chi(\xi,\eta,\zeta):=(\xi-x)^2+(\eta-y)^2+\zeta^2-c^2 t^2=0\). Then the exterior normal \(n\) at \(S\) is \(n=\nabla\chi/|\nabla\chi|\) and the surface element is given by \(dS=(1/|n_3|)d\xi d\eta\), where the third coordinate of \(n\) is

    $$n_3=\pm\frac{\sqrt{c^2 t^2-(\xi-x)^2-(\eta-y)^2}}{ct}.$$

    The positive sign applies on \(S^+\), where \(\zeta>0\) and the sign is negative on \(S^-\) where \(\zeta<0\), see Figure We have \(S=S^+\cup\overline{S^-}\).

    Set \(\rho=\sqrt{(\xi-x)^2+(\eta-y)^2}\). Then it follows from (\ref{poissonhilf1})

    Theorem 4.3. The solution of the Cauchy initial value problem (\ref{n2dgl})-(\ref{initial2}) is given by

    v(x,y,t)&=&\frac{1}{2\pi c}\frac{\partial}{\partial t}\int_{B_{ct}(x,y)}\ \frac{f(\xi,\eta)}{\sqrt{c^2 t^2-\rho^2}}\ d\xi d\eta\\
    &&+\frac{1}{2\pi c}\int_{B_{ct}(x,y)}\ \frac{g(\xi,\eta)}{\sqrt{c^2 t^2-\rho^2}}\ d\xi d\eta. \end{eqnarray*}

    Figure Interval of dependence, case \(n=2\)

    Corollary. In contrast to the three dimensional case, the domain of dependence is here the disk \(B_{ct_o}(x_0,y_0)\) and not the boundary only. Therefore, see formula of Theorem 4.3, if \(f,\ g\) have supports in a compact domain \(D\subset\mathbb{R}^2\), then these functions have influence on the value \(v(x,y,t)\) for all time \(t>T\), \(T\) sufficiently large.