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

2.3.1: Initial Value Problem of Cauchy

  • 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}}\)


    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,

    be a given initial strip such that the strip condition


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


    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, fit together and define the surface for which we are looking at.

    Figure 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


    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

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

    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).

    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.$$


    $$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


    One has


    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
    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

    &=&\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.

    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


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

    Thus we have


    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


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

    The initial conditions


    are satisfied since


    The uniqueness follows as in the proof of Theorem 2.1.



    A differential equation which occurs in the geometrical optic is


    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


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