3.3.1: Examples
( \newcommand{\kernel}{\mathrm{null}\,}\)
Example 3.3.1.1: Beltrami Equations
Wux−bvx−cvy=0Wuy+avx+bvy=0,
where W, a, b, c are given functions depending of (x,y), W≠0 and the matrix
$$
\left(abbc\right)
\]
is positive definite.
The Beltrami system is a generalization of Cauchy-Riemann equations. The function f(z)=u(x,y)+iv(x,y), where z=x+iy, is called a quasiconform mapping, see for example [9], Chapter 12, for an application to partial differential equations.
Set
$$
A^1=\left(W−b0a\right),\ \
A^2=\left(0−cWb\right).
\]
Then the system (3.3.1.1), (3.3.1.2) can be written as
$$
A^1\left(uxvx\right)+
A^2\left(uyvy\right)=\left(00\right).
\]
Thus,
C(x,y,ζ)=|Wζ1−bζ1−cζ2Wζ2aζ1+bζ2|=W(aζ21+2bζ1ζ2+cζ22),
which is different from zero if ζ≠0 according to the above assumptions. Thus the Beltrami system is elliptic.
Example 3.3.1.2: Maxwell Equations
The Maxwell equations in the isotropic case are
c rotx H=λE+ϵEtc rotx E=−μHt,
where
- E=(e1,e2,e3)T electric field strength, ei=ei(x,t), x=(x1,x2,x3),
- H=(h1,h2,h3)T magnetic field strength, hi=hi(x,t),
- c speed of light,
- λ specific conductivity,
- ϵ dielectricity constant,
- μ magnetic permeability.
Here c, λ, ϵ and μ are positive constants.
Set p0=χt, pi=χxi, i=1,…3, then the characteristic differential equation is
$$
\left|ϵp0/c000p3−p20ϵp0/c0−p30p100ϵp0/cp2−p100−p3p2μp0/c00p30−p10μp0/c0−p2p1000μp0/c\right|=0.
\]
The following manipulations simplifies this equation:
- multiply the first three columns with μp0/c,
- multiply the 5th column with −p3 and the the 6th column with p2 and add the sum to the 1st column,
- multiply the 4th column with p3 and the 6th column with −p1 and add the sum to the 2th column,
- multiply the 4th column with −p2 and the 5th column with p1 and add the sum to the 3th column,
- expand the resulting determinant with respect to the elements of the 6th, 5th and 4th row.
We obtain
$$
\left|q+p21p1p2p1p3p1p2q+p22p2p3p1p3p2p3q+p23\right|=0,
\]
where
$$
q:=\frac{\epsilon\mu}{c^2}p_0^2-g^2
\]
with g2:=p21+p22+p23. The evaluation of the above equation leads to q2(q+g2)=0, i. e.,
$$
\chi_t^2\left(\frac{\epsilon\mu}{c^2}\chi_t^2-|\nabla_x\chi|^2\right)=0.
\]
It follows immediately that Maxwell equations are a hyperbolic system, see an exercise.
There are two solutions of this characteristic equation. The first one are characteristic surfaces S(t), defined by χ(x,t)=0, which satisfy χt=0. These surfaces are called stationary waves The second type of characteristic surfaces are defined by solutions of
$$
\frac{\epsilon\mu}{c^2}\chi_t^2=|\nabla_x\chi|^2.
\]
Functions defined by χ=f(n⋅x−Vt) are solutions of this equation.
Here is f(s) an arbitrary function with f′(s)≠0, n is a unit vector and V=c/√ϵμ.
The associated characteristic surfaces S(t) are defined by
$$
\chi(x,t)\equiv f(n\cdot x-Vt)=0,
\]
here we assume that 0 is in he range of f: R1↦R1. Thus, S(t) is defined by n⋅x−Vt=c, where c is a fixed constant. It follows that the planes S(t) with normal n move with speed V in direction of n, see Figure 3.3.1.1.
Figure 3.3.1.1: d′(t) is the speed of plane waves
V is called speed of the plane wave S(t).
Remark. According to the previous discussions, singularities of a solution of Maxwell equations are located at most on characteristic surfaces.
A special case of Maxwell equations are the telegraph equations, which follow from Maxwell equations if \div E=0 and div H=0$ i. e., E and H are fields free of sources. In fact, it is sufficient to assume that this assumption is satisfied at a fixed time t0 only, see an exercise.
Since
$$
\text{rot}_x\ \text{rot}_x\ A=\mbox{grad}_x\ \text{div}_x\ A-\triangle_xA
\]
for each C2-vector field A, it follows from Maxwell equations the uncoupled system
△xE=ϵμc2Ett+λμc2Et△xH=ϵμc2Htt+λμc2Ht.
Example 3.3.1.3: Equations of Gas Dynamics
Consider the following quasilinear equations of first order.
$$
v_t+(v\cdot\nabla_x)\ v+\frac{1}{\rho} \nabla_x p =f\ \ \ \mbox{(Euler equations)}.
\]
Here is
- v=(v1,v2,v3) the vector of speed, vi=vi(x,t), x=(x1,x2,x3),
- p pressure, p=(x,t),
- ρ density, ρ=ρ(x,t),
- f=(f1,f2,f3) density of the external force, fi=fi(x,t),
(v⋅∇x)v≡(v⋅∇xv1,v⋅∇xv2,v⋅∇xv3))T.
The second equation is
$$
\rho_t+v\cdot\nabla_x\rho+\rho\ \text{div}_x\ v=0\ \ \ \mbox{(conservation of mass)}.
\]
Assume the gas is compressible and that there is a function (state equation)
$$
p=p(\rho),
\]
where p′(ρ)>0 if ρ>0. Then the above system of four equations is
vt+(v⋅∇)v+1ρp′(ρ)∇ρ=fρt+ρ div v+v⋅∇ρ=0,
where ∇≡∇x and div≡divx, i. e., these operators apply on the spatial variables only.
The characteristic differential equation is here
$$
\left|dχdt001ρp′χx10dχdt01ρp′χx200dχdt1ρp′χx3ρχx1ρχx2ρχx3dχdt\right|=0,
\]
where
$$\dfrac{d\chi}{dt}:=\chi_t+(\nabla_x\chi)\cdot v. \]
Evaluating the determinant, we get the characteristic differential equation
(dχdt)2((dχdt)2−p′(ρ)|∇xχ|2)=0.
This equation implies consequences for the speed of the characteristic surfaces as the following consideration shows.
Consider a family S(t) of surfaces in R3 defined by χ(x,t)=c, where
x∈R3 and c is a fixed constant. As usually, we assume that ∇xχ≠0.
One of the two normals on S(t) at a point of the surface S(t) is given by, see an exercise,
n=∇xχ|∇xχ|.
Let Q0∈S(t0) and let Q1∈S(t1) be a point on the line defined by Q0+sn, where n is the normal (3.3.1.8) on S(t0) at Q0 and t0<t1, t1−t0 small, see Figure 3.3.1.2.
3.3.1.2: Definition of the speed of a surface
Definition. The limit
P=limt1→t0|Q1−Q0|t1−t0
is called speed of the surface S(t).
Proposition 3.2. The speed of the surface S(t) is
P=−χt|∇xχ|.
Proof. The proof follows from χ(Q0,t0)=0 and χ(Q0+dn,t0+△t)=0, where d=|Q1−Q0| and △t=t1−t0.
◻
Set vn:=v⋅n which is the component of the velocity vector in direction n.
From ({3.3.1.8) we get
$$
v_n=\frac{1}{|\nabla_x\chi|}v\cdot \nabla_x\chi.
\]
Definition. V:=P−vn, the difference of the speed of the surface and the speed of liquid particles, is called relative speed.
Figure 3.3.1.3: Definition of relative speed
Using the above formulas for P and vn it follows
V=P−vn=−χt|∇xχ|−v⋅∇xχ|∇xχ|=−1|∇xχ|dχdt.
Then, we obtain from the characteristic equation (3.3.1.7) that
V2|∇xχ|2(V2|∇xχ|2−p′(ρ)|∇xχ|2)=0.
An interesting conclusion is that there are two relative speeds: V=0 or V2=p′(ρ).
Definition. √p′(ρ) is called speed of sound.
Contributors and Attributions
Integrated by Justin Marshall.