Skip to main content
Mathematics LibreTexts

2.3.1: Initial Value Problem of Cauchy

  • Page ID
    2258
  • \( \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}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Let

    \begin{equation}
    \label{initial}\tag{2.3.1.1}
    x=x_0(s),\ y=y_0(s),\ z=z_0(s),\ p=p_0(s),\ q=q_0(s),\ s_1<s<s_2,
    \end{equation}

    be a given initial strip such that the strip condition

    \begin{equation}
    \label{strip}\tag{2.3.1.2}
    z_0'(s)=p_0(s)x_0'(s)+q_0(s)y_0'(s)
    \end{equation}

    is satisfied. Moreover, we assume that the initial strip satisfies the nonlinear equation, that is,

    \begin{equation}
    \label{nonl}\tag{2.3.1.3}
    F(x_0(s),y_0(s),z_0(s),p_0(s),q_0(s))=0.
    \end{equation}

    Initial value problem of Cauchy: Find a \(C^2\)-solution \(z=u(x,y)\) of \(F(x,y,z,p,q)=0\) such that the surface \(\mathcal{S}\) defined by \(z=u(x,y)\) contains the above initial strip.

    Similar to the quasilinear case we will show that the set of strips defined by the characteristic system which are fixed onto the initial strip, see Figure 2.3.1.1, fit together and define the surface for which we are looking at.

    alt

    Figure 2.3.1.1: Construction of the solution

    Definition. A strip \((x(\tau),y(\tau),z(\tau),p(\tau),q(\tau))\), \(\tau_1<\tau<\tau_2\), is said to be non-characteristic if

    $$x'(\tau)F_q(x(\tau),y(\tau),z(\tau),p(\tau),q(\tau))-y'(\tau)F_p(x(\tau),y(\tau),z(\tau),p(\tau),q(\tau))\not=0.\]

    Theorem 2.2. For a given non-characteristic initial strip (\ref{initial}), \(x_0,\ y_0,\ z_0\in C^2\) and \(p_0,\ q_0\in C^1\) which satisfies the strip condition (\ref{strip}) and the differential equation (\ref{nonl}) there exists exactly one solution \(z=u(x,y)\) of the Cauchy initial value problem in a neighborhood of the initial curve \((x_0(s),y_0(s),z_0(s))\), i. e., \(z=u(x,y)\) is the solution of the differential equation (2.3.1) and
    \begin{eqnarray*}
    u(x_0(s),y_0(s))&=&z_0(s)\\
    u_x(x_0(s),y_0(s))&=&p_0(s)\\
    u_y(x_0(s),y_0(s))&=&q_0(s).
    \end{eqnarray*}

    Proof. Consider the system (2.7)--(2.11) with initial data

    \begin{eqnarray*}
    x(s,0)&=&x_0(s),\ y(s,0)=y_0(s),\ z(s,0)=z_0(s)\\
    p(s,0)&=&p_0(s),\ q(s,0)=q_0(s).
    \end{eqnarray*}

    We will show that the surface defined by \(x=x(s,t),\ y(s,t)\) is the surface defined by \(z=u(x,y)\), where \(u\) is the solution of the Cauchy initial value problem. It turns out that \(u(x,y)=z(s(x,y),t(x,y))\), where \(s=s(x,y)\), \(t=t(x,y)\) is the inverse of \(x=x(s,t)\), \(y=y(s,t)\) in a neighborhood of \(t=0\). This inverse exists since the initial strip is non-characteristic by assumption:

    $$\det\frac{\partial(x,y)}{\partial(s,t)}\Big|_{t=0}=x_0F_q -y_0F_q\not=0.\]

    Set

    $$P(x,y)=p(s(x,y),t(x,y)),\ \ Q(x,y)=q(s(x,y),t(x,y)).\]

    From Proposition 2.3 and Proposition 2.4 it follows \(F(x,y,u,P,Q)=0\). We will show that \(P(x,y)=u_x(x,y)\) and \(Q(x,y)=u_y(x,y)\). To see this, we consider the function

    $$h(s,t)=z_s-px_s-qy_s.\]

    One has

    $$h(s,0)=z_0'(s)-p_0(s)x_0'(s)-q_0(s)y_0'(s)=0\]

    since the initial strip satisfies the strip condition by assumption. In the following we will find that for fixed \(s\) the function \(h\) satisfies a linear homogeneous ordinary differential equation of first order. Consequently, \(h(s,t)=0\) in a neighborhood of \(t=0\). Thus the strip condition is also satisfied along transversal strips to the characteristic strips, see Figure 2.3.1.1.
    Then the set of ''scales'' fit together and define a surface like the scales of a fish.

    From the definition of \(h(s,t)\) and the characteristic equations we get

    \begin{eqnarray*}
    h_t(s,t)&=&z_{st}-p_tx_s-q_ty_s-px_{st}-qy_{st}\\
    &=&\frac{\partial}{\partial s}(z_t-px_t-qy_t)+p_sx_t+q_sy_t-q_ty_s-p_tx_s\\
    &=&(px_s+qy_s)F_z +F_xx_s+F_yz_s+F_pp_s+F_qq_s.
    \end{eqnarray*}

    Since \(F(x(s,t),y(s,t),z(s,t),p(s,t),q(s,t))=0\), it follows after differentiation of this equation with respect to \(s\) the differential equation

    $$h_t=-F_zh.\]

    Hence \(h(s,t)\equiv0\), since \(h(s,0)=0\).

    Thus we have

    \begin{eqnarray*}
    z_s&=&px_s+qy_s\\
    z_t&=&px_t+qy_t\\
    z_s&=&u_xx_s+u_yy_s\\
    z_t&=&u_xy_t+u_yy_t.
    \end{eqnarray*}

    The first equation was shown above, the second is a characteristic equation and the last two follow from \(z(s,t)=u(x(s,t),y(s,t))\). This system implies

    \begin{eqnarray*}
    (P-u_x)x_s+(Q-u_y)y_s&=&0\\
    (P-u_x)x_t+(Q-u_y)y_t&=&0.
    \end{eqnarray*}

    It follows \(P=u_x\) and \(Q=u_y\).

    The initial conditions

    \begin{eqnarray*}
    u(x(s,0),y(s,0))&=&z_0(s)\\
    u_x(x(s,0),y(s,0))&=&p_0(s)\\
    u_y(x(s,0),y(s,0))&=&q_0(s)
    \end{eqnarray*}

    are satisfied since

    \begin{eqnarray*}
    u(x(s,t),y(s,t))&=&z(s(x,y),t(x,y))=z(s,t)\\
    u_x(x(s,t),y(s,t))&=&p(s(x,y),t(x,y))=p(s,t)\\
    u_y(x(s,t),y(s,t))&=&q(s(x,y),t(x,y))=q(s,t).
    \end{eqnarray*}

    The uniqueness follows as in the proof of Theorem 2.1.

    \(\Box\)

    Example 2.3.1.1:

    A differential equation which occurs in the geometrical optic is

    $$u_x^2+u_y^2=f(x,y),\]

    where the positive function \(f(x,y)\) is the index of refraction. The level sets defined by \(u(x,y)=const.\) are called {\it wave fronts}. The characteristic curves \((x(t),y(t))\) are the rays of light. If \(n\) is a constant, then the rays of light are straight lines. In \(\mathbb{R}^3\) the equation is

    $$u_x^2+u_y^2+u_z^2=f(x,y,z).\]

    Thus we have to extend the previous theory from \(\mathbb{R}^2\) to \(\mathbb{R}^n\), \(n\ge3\).

    Contributors and Attributions


    This page titled 2.3.1: Initial Value Problem of Cauchy is shared under a not declared license and was authored, remixed, and/or curated by Erich Miersemann.

    • Was this article helpful?