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


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