1.II.29A

Partial Differential Equations
Part II, 2007

(i) Consider the problem of solving the equation

j=1naj(x)uxj=b(x,u)\sum_{j=1}^{n} a_{j}(\mathbf{x}) \frac{\partial u}{\partial x_{j}}=b(\mathbf{x}, u)

for a C1C^{1} function u=u(x)=u(x1,,xn)u=u(\mathbf{x})=u\left(x_{1}, \ldots, x_{n}\right), with data specified on a C1C^{1} hypersurface SRn\mathcal{S} \subset \mathbb{R}^{n}

u(x)=ϕ(x),xSu(\mathbf{x})=\phi(\mathbf{x}), \quad \forall \mathbf{x} \in \mathcal{S}

Assume that a1,,an,ϕ,ba_{1}, \ldots, a_{n}, \phi, b are C1C^{1} functions. Define the characteristic curves and explain what it means for the non-characteristic condition to hold at a point on S\mathcal{S}. State a local existence and uniqueness theorem for the problem.

(ii) Consider the case n=2n=2 and the equation

ux1ux2=x2u\frac{\partial u}{\partial x_{1}}-\frac{\partial u}{\partial x_{2}}=x_{2} u

with data u(x1,0)=ϕ(x1,0)=f(x1)u\left(x_{1}, 0\right)=\phi\left(x_{1}, 0\right)=f\left(x_{1}\right) specified on the axis {xR2:x2=0}\left\{\mathbf{x} \in \mathbb{R}^{2}: x_{2}=0\right\}. Obtain a formula for the solution.

(iii) Consider next the case n=2n=2 and the equation

ux1ux2=0\frac{\partial u}{\partial x_{1}}-\frac{\partial u}{\partial x_{2}}=0

with data u(g(s))=ϕ(g(s))=f(s)u(\mathbf{g}(s))=\phi(\mathbf{g}(s))=f(s) specified on the hypersurface S\mathcal{S}, which is given parametrically as S{xR2:x=g(s)}\mathcal{S} \equiv\left\{\mathbf{x} \in \mathbb{R}^{2}: \mathbf{x}=\mathbf{g}(s)\right\} where g:RR2\mathbf{g}: \mathbb{R} \rightarrow \mathbb{R}^{2} is defined by

g(s)=(s,0),s<0g(s)=(s,s2),s0\begin{aligned} &\mathbf{g}(s)=(s, 0), \quad s<0 \\ &\mathbf{g}(s)=\left(s, s^{2}\right), \quad s \geqslant 0 \end{aligned}

Find the solution uu and show that it is a global solution. (Here "global" means uu is C1C^{1} on all of R2\mathbb{R}^{2}.)

(iv) Consider next the equation

ux1+ux2=0\frac{\partial u}{\partial x_{1}}+\frac{\partial u}{\partial x_{2}}=0

to be solved with the same data given on the same hypersurface as in (iii). Explain, with reference to the characteristic curves, why there is generally no global C1C^{1} solution. Discuss the existence of local solutions defined in some neighbourhood of a given point yS\mathbf{y} \in \mathcal{S} for various y\mathbf{y}. [You need not give formulae for the solutions.]