Loading [MathJax]/extensions/TeX/newcommand.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

3.E: Classification (Exercises)

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

\newcommand{\vectorA}[1]{\vec{#1}}      % arrow

\newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow

\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } 

\newcommand{\vectorC}[1]{\textbf{#1}} 

\newcommand{\vectorD}[1]{\overrightarrow{#1}} 

\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} 

\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}

\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } 

\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}

\newcommand{\avec}{\mathbf a} \newcommand{\bvec}{\mathbf b} \newcommand{\cvec}{\mathbf c} \newcommand{\dvec}{\mathbf d} \newcommand{\dtil}{\widetilde{\mathbf d}} \newcommand{\evec}{\mathbf e} \newcommand{\fvec}{\mathbf f} \newcommand{\nvec}{\mathbf n} \newcommand{\pvec}{\mathbf p} \newcommand{\qvec}{\mathbf q} \newcommand{\svec}{\mathbf s} \newcommand{\tvec}{\mathbf t} \newcommand{\uvec}{\mathbf u} \newcommand{\vvec}{\mathbf v} \newcommand{\wvec}{\mathbf w} \newcommand{\xvec}{\mathbf x} \newcommand{\yvec}{\mathbf y} \newcommand{\zvec}{\mathbf z} \newcommand{\rvec}{\mathbf r} \newcommand{\mvec}{\mathbf m} \newcommand{\zerovec}{\mathbf 0} \newcommand{\onevec}{\mathbf 1} \newcommand{\real}{\mathbb R} \newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]} \newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]} \newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]} \newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]} \newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]} \newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]} \newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]} \newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]} \newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]} \newcommand{\laspan}[1]{\text{Span}\{#1\}} \newcommand{\bcal}{\cal B} \newcommand{\ccal}{\cal C} \newcommand{\scal}{\cal S} \newcommand{\wcal}{\cal W} \newcommand{\ecal}{\cal E} \newcommand{\coords}[2]{\left\{#1\right\}_{#2}} \newcommand{\gray}[1]{\color{gray}{#1}} \newcommand{\lgray}[1]{\color{lightgray}{#1}} \newcommand{\rank}{\operatorname{rank}} \newcommand{\row}{\text{Row}} \newcommand{\col}{\text{Col}} \renewcommand{\row}{\text{Row}} \newcommand{\nul}{\text{Nul}} \newcommand{\var}{\text{Var}} \newcommand{\corr}{\text{corr}} \newcommand{\len}[1]{\left|#1\right|} \newcommand{\bbar}{\overline{\bvec}} \newcommand{\bhat}{\widehat{\bvec}} \newcommand{\bperp}{\bvec^\perp} \newcommand{\xhat}{\widehat{\xvec}} \newcommand{\vhat}{\widehat{\vvec}} \newcommand{\uhat}{\widehat{\uvec}} \newcommand{\what}{\widehat{\wvec}} \newcommand{\Sighat}{\widehat{\Sigma}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \definecolor{fillinmathshade}{gray}{0.9}

These are homework exercises to accompany Miersemann's "Partial Differential Equations" Textmap. This is a textbook targeted for a one semester first course on differential equations, aimed at engineering students. Partial differential equations are differential equations that contains unknown multivariable functions and their partial derivatives. Prerequisite for the course is the basic calculus sequence.

Q3.1

Let \chi: {\mathbb{R}^n}\to {\mathbb{R}^1} in C^1, \nabla\chi\not=0. Show that for given x_0\in {\mathbb{R}^n} there is in a neighborhood of x_0 a local diffeomorphism \lambda=\Phi(x), \Phi:\ (x_1,\ldots,x_n)\mapsto(\lambda_1,\ldots,\lambda_n), such that \lambda_n=\chi(x).

Q3.2

Show that the differential equation

a(x,y)u_{xx}+2b(x,y)u_{xy}+c(x,y)u_{yy}+\mbox{lower order terms}=0

is elliptic if ac-b^2>0, parabolic if ac-b^2=0 and hyperbolic if ac-b^2<0.

Q3.3

Show that in the hyperbolic case there exists a solution of \phi_x+\mu_1\phi_y=0, see equation (3.9), such that \nabla\phi\not=0.

Hint: Consider an appropriate Cauchy initial value problem.

Q3.4

Show equation (3.4).

Q3.5

Find the type of

Lu:=2u_{xx}+2u_{xy}+2u_{yy}=0

and transform this equation into an equation with vanishing mixed derivatives by using the orthogonal mapping (transform to principal axis) x=Uy,\ U orthogonal.

Q3.6

Determine the type of the following equation at (x,y)=(1,1/2).

Lu:=xu_{xx}+2yu_{xy}+2xyu_{yy}=0.

Q3.7

Find all C^2-solutions of

u_{xx}-4u_{xy}+u_{yy}=0.

Hint: Transform to principal axis and stretching of axis lead to the wave equation.

Q3.8

Oscillations of a beam are described by

\begin{eqnarray*} w_x-{1\over E}\sigma_t&=& 0\\ \sigma_x-\rho w_t&=&0, \end{eqnarray*}

where \sigma stresses, w deflection of the beam and E,\ \rho are positive constants.

  1. Determine the type of the system.
  2. Transform the system into two uncoupled equations, that is, w,\ \sigma occur only in one equation, respectively.
  3. Find non-zero solutions.

Q3.9

Find nontrivial solutions (\nabla \chi\not=0) of the characteristic equation to

x^2u_{xx}-u_{yy}=f(x,y,u,\nabla u),

where f is given.

Q3.10

Determine the type of

u_{xx}-xu_{yx}+u_{yy}+3u_x=2x,

where u=u(x,y).

Q3.11

Transform equation

u_{xx}+(1-y^2)u_{xy}=0,

u=u(x,y), into its normal form.

Q3.12

Transform the Tricomi-equation

yu_{xx}+u_{yy}=0,

u=u(x,y), where y<0, into its normal form.

Q3.13

Transform equation

x^2u_{xx}-y^2u_{yy}=0,

u=u(x,y), into its normal form.

Q3.14

Show that

\lambda=\dfrac{1}{\left(1+|p|^2\right)^{3/2}},\ \ \Lambda=\dfrac{1}{\left(1+|p|^2\right)^{1/2}}.

are the minimum and maximum of eigenvalues of the matrix (a^{ij}), where

a^{ij}=\left(1+|p|^2\right)^{-1/2}\left(\delta_{ij}-\dfrac{p_ip_j}{1+|p|^2}\right).

Q3.15

Show that Maxwell equations are a hyperbolic system.

Q3.16

Consider Maxwell equations and prove that \text{div}\ E=0 and \text{div}\ H=0 for all t if these equations are satisfied for a fixed time t_0.

Hint. \text{div}\ \text{rot} \ A=0 for each C^2-vector field A=(A_1,A_2,A_3).

Q3.17

Assume a characteristic surface \mathcal{S}(t) in \mathbb{R}^3 is defined by \chi(x,y,z,t)=const. such that \chi_t=0 and \chi_z\not=0. Show that \mathcal{S}(t) has a nonparametric representation z=u(x,y,t) with u_t=0, that is \mathcal{S}(t) is independent of t.

Q3.18

Prove formula (3.22) for the normal on a surface.

Q3.19

Prove formula (3.23) for the speed of the surface \mathcal{S}(t).

Q3.20

Write the Navier-Stokes system as a system of type (3.4.1).

Q3.21

Show that the following system (linear elasticity, stationary case of (3.4.1.1) in the two-dimensional case) is elliptic
\mu\triangle u+(\lambda+\mu)\mbox{\ grad(div}\ u)+f=0,
where u=(u_1,u_2). The vector f=(f_1,f_2) is given and
\lambda,\ \mu are positive constants.

Q3.22

Discuss the type of the following system in stationary gas dynamics (isentrop flow) in \mathbb{R}^2.
\begin{eqnarray*} \rho u u_x+\rho v u_y+ a^2\rho_x&=&0\\ \rho u v_x+\rho v v_y+ a^2\rho_y&=&0\\ \rho (u_x+v_y)+u\rho_x+ v\rho_y&=&0. \end{eqnarray*}
Here are (u,v) velocity vector, \rho density and
a=\sqrt{p'(\rho)} the sound velocity.

Q3.23

Show formula 7. (directional derivative).

Hint: Induction with respect to m.

Q3.24

Let y=y(x) be the solution of:
\begin{eqnarray*} y'(x)&=&f(x,y(x))\\ y(x_0)&=&y_0, \end{eqnarray*}
where f is real analytic in a neighborhood of (x_0,y_0)\in \mathbb{R}^2.
Find the polynomial P of degree 2 such that
y(x)=P(x-x_0)+O(|x-x_0|^3)
as x\to x_0.

Q3.25

Let u be the solution of
\begin{eqnarray*} \triangle u&=&1\\ u(x,0)&=&u_y(x,0)=0. \end{eqnarray*}
Find the polynomial P of degree 2 such that
u(x,y)=P(x,y)+O((x^2+y^2)^{3/2})
as (x,y)\to(0,0).

Q3.26

Solve the Cauchy initial value problem
\begin{eqnarray*} V_t&=&{Mr\over r-s-NV}(1+N(n-1)V_s)\\ V(s,0)&=&0. \end{eqnarray*}

Hint: Multiply the differential equation with (r-s-NV).

Q3.27

Write \triangle^2 u=-u as a system of first order.

Hint: \triangle^2 u\equiv\triangle(\triangle u).

Q3.28

Write the minimal surface equation

{\partial\over\partial x}\left({u_x\over\sqrt{1+u_x^2+u_y^2}}\right)+{\partial\over\partial y}\left({u_y\over\sqrt{1+u_x^2+u_y^2}}\right)=0

as a system of first order.

Hint: v_1:= u_x/\sqrt{1+u_x^2+u_y^2},\ v_2:=u_y/\sqrt{1+u_x^2+u_y^2}.

Q3.29

Let f:\ \mathbb{R}^1\times\mathbb{R}^m\to\mathbb{R}^m be real analytic in (x_0,y_0). Show that a real analytic solution in a neighborhood of x_0 of the problem

\begin{eqnarray*} y'(x)&=&f(x,y)\\ y(x_0)&=&y_0 \end{eqnarray*}

exists and is equal to the unique C^1[x_0-\epsilon, x_0+\epsilon]-solution from the Picard-Lindel\"of theorem, \epsilon>0 sufficiently small.

Contributors and Attributions


3.E: Classification (Exercises) is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

  • Was this article helpful?

Support Center

How can we help?