Professional Documents
Culture Documents
Publishers’ page
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Publishers’ page
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Publishers’ page
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Publishers’ page
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
vi
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Preface
For the second edition, I want to thank to Gustavo Montes for his help
for reviewing and typing much of the material of this new version. I ex-
panded the contain of each chapter adding new material which I considered
relevant for the students, I did a lot of typing corrections appearing on the
first edition, for which I apologize to the readers. Finally, I put several
exercises on each chapter which can help to master each topic.
vii
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
viii Preface
Mathematics is a gift. . .
for man to understand the laws of nature
which make up the whole Universe.
G. López
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Contents
Preface vii
3. Physical Applications I 53
3.1 Mechanics . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.2 Angular Momentum in Quantum Mechanics . . . . . . . . 60
3.3 Heat Propagation between Two Superconducting Cables . 67
ix
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
x Contents
Contents xi
Chapter 1
In this chapter we shall study some geometric concepts that are basic to
understand the geometric meaning of the partial differential equation in
R3 .
1
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Fig. 1.2 The intersection of the surfaces S1 and S2 generated the curve Γ.
δc
lim = 1. (1.7)
δs→0 δs
This means, for example that we will not be interested in such a curves
turn around and cross themselves in some point. The directions cosines of
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
From the relation (1.8) and (1.10) we see that the tangent to the curve Γ
at any point P on the surface S is perpendicular to the gradient of F
∂F ∂F ∂F
∇F = , , , (1.11)
∂x ∂y ∂z
and this is true for any curve Γ lying on S passing through P , then the
vector ∇F is normal to the surface S at the point P (see Fig. 1.6) , and the
normal vector at any point of the surface is given by this gradient, valued
at this point, divided by its magnitude. If the equation of the surface S is
given in the form z = f (x, y), defining p and q as
∂z ∂z
p= , and q= , (1.12)
∂x ∂y
and making F = f (x, y) − z, it follows that Fx = p, Fy = q, Fz = −1 and
the unitary vector n̂ normal to the surface in any point is
1
n̂ = 2 (p, q, −1). (1.13)
[p + q 2 + 1]1/2
Let P = (x, y, z) be a point on the surface S defined by F (x, y, z) = 0 and
let π1 be the tangent plane at this point, if (X, Y, Z) is any other point on
π1 then, from the above discussion, the vector (X − x, Y − y, Z − z) lying
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Fig. 1.6 Normal vector ∇F at the point P of the sphere, and the tangent T1 and
orthogonal T2 lines of to the curve Γ at this point.
Fig. 1.7 Tangent plane π of the surfaces S and S2 at point P = (x, y, z), and vector
joining this point with other point, (X, Y, Z), on the plane.
Fig. 1.8 Interception of the tangent planes π1 and π2 to the surfacesS1 and S2 at the
point P , generating the tangent line L.
of the planes at this point. Give the curve Γ generated by the intersection
of both surfaces.
In this case
F = x2 + y 2 + z 2 − 4 = 0
and
G = x2 + y 2 = 0.
The equations of the planes at the point P are according to Eq. (1.14) and
Eq. (1.15)
√ √
(2 17 − 2)1/2 Y + ( 17 − 1)Z = 8,
√ √
X 00 Y 00 − [( 17 − 1)/2]1/2 Z 00 − [( 17 − 1)/2]1/2
√ = = ,
−[34( 17 − 1)]1/2 0 0
(see Fig. 1.9) . The equation of the curve Γ, which is generated by the
intersection both surfaces and passes for the point P , is given by
√
17 − 1
x2 + y 2 = .
2
One of the important mathematical notion for the rest of the book is that
one of parallelism of vector fields.
and one will say that these vector fields are parallel on Ω if for any P ∈ Ω,
this relation is satisfied. In the case of a and b being constant, λ is just a
real number.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Fig. 1.9 Normal vectors n̂1 and n̂2 to the surfaces S1 and S2 and the tangent line L at
the point P of their interception.
Observation 1.2. Assume that one of the components of the vector filed
b is zero, says b3 . This means from expression (1.21b) that the component
a3 of the vector field a must be zero, a3 = 0. In terms of the system (3.256),
whenever appears something like
a1 a2 a3
= = , (1.25)
b1 b2 0
this means that a3 = 0 (not singularity of the system).
We pointed out in the last section that the integral curves of the set of
differential equations
dx dy dz
= = (1.26)
P Q R
form a two-parameter family of curves in three dimensional space. Suppose
we are able to derive from Eq. (1.26) two relations of the form
u1 (x, y, z) = c1 and u2 (x, y, z), (1.27)
where c1 and c2 are the constants of integration, then by varying these
constants, we obtained a two-parameter family of curves satisfying the dif-
ferential equations (1.26).
METHOD (I). Since any tangential direction (dx, dy, dz) at the point
(x, y, z) on the surface u1 (x, y, z) = c1 satisfies the relation
∂u1 ∂u1 ∂u1
dx + dy + dz = 0, (1.28)
∂x ∂y ∂z
and according with the relation (1.19) we also have
∂u1 ∂u1 ∂u1
P+ Q+ R = 0. (1.29)
∂x ∂y ∂z
To find u1 , we look for functions P 0 , Q0 and R0 such that
P 0 P + Q0 Q + Z 0 Z = 0, (1.30)
i.e. a vector field E0 = (P 0 , Q0 , R0 ) which is perpendicular to E = (P, Q, R)
at every point (x, y, z). Because of Eq. (1.29), this vector satisfies
∂u1 ∂u1 ∂u1
P0 = , Q0 = , R0 = . (1.31)
∂x ∂y ∂z
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
dW 00 = d log(λ2 x + µ2 y + ν2 z)1/ρ2 ,
and
dW 000 = d log(λ3 x + µ3 y + ν3 z)1/ρ3 .
According to Eq. (1.34), we have the integral curves
(λ1 x + µ1 y + ν1 z)1/ρ1 = c1 (λ2 x + µ2 y + ν2 z)1/ρ2
and
(λ1 x + µ1 y + ν1 z)1/ρ1 = c2 (λ3 x + µ3 y + ν3 z)1/ρ3 .
This method depends also on the intuition in determining the form of the
vector fields E0 , E00 .
METHOD (III). When one of the variables is absent from one the equa-
tions of the set (1.19), it is possible to make a partial separation of vari-
ables, an we can derive the integral curves in a simple way. Suppose that
the equation
dy dz
= ,
Q R
can be written in the form
dy
= f (y, z)
dz
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
φ1 (y, z, c1 ) = 0,
dx dy
= ,
P Q
we obtain an ordinary differential equation of the type
dy
= g(x, y, c1 ),
dx
whose solution
φ2 (x, y, c1 , c2 ) = 0
Using the first and third terms, we obtained the ordinary differential equa-
tion
dx
= xe−z ,
dz
which has the solution
−z
x = c1 e−e .
Substituting this in the second and third term of (1.37), we obtain the
ordinary differential equation
dy ey −z
= c21 e−2e .
dz y
This equation has the two parametric solution
Z
−z
(y + 1)e−y + c21 e−2e = c2 .
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Fig. 1.10 System of orthogonal trajectories on the sphere an their tangent vectors.
from the intersection of surface (1.38a) and the family of surfaces (1.38b),
the tangential direction of the curves Γ given by (dx, dy, dz) = dξ,~ at the
point, (x, y, z) is perpendicular to the gradients of these surface
∇F · dξ~ = ∇G · ξ~ = 0 (1.39)
at the point, or
∂F ∂F ∂F
dx = dy = dz = 0 (1.40)
∂x ∂y ∂z
and
∂G ∂G ∂G
dx = dy = dz = 0. (1.41)
∂x ∂y ∂z
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Hence, the vector dξ~ = (dx, dy, dz) is parallel to the vector ∇F × ∇G (see
Fig. 1.8) and must be such that
dx dy dz
= = , (1.42)
P Q R
where P, Q, and R are defined as
∂(F, G) ∂(F, G) ∂(F, G)
P = ,Q = ,R = . (1.43)
∂(y, z) ∂(z, x) ∂(x, y)
The tangent direction of the curves Γ0 , given by dξ~ = (dx0 , dy 0 , dz 0 ) at the
same point (x, y, z) is perpendicular to the gradient of the surface (1.38a)
and must be perpendicular to the vector field E = (P, Q, R) (i.e ∇F · dξ~0 =
E · dξ~0 = 0), then we have
∂F 0 ∂F 0 ∂F 0
dx = dy = dz = 0 (1.44)
∂x ∂y ∂z
and
P dx0 = Qdy 0 = Rdz 0 = 0. (1.45)
Hence, the vector dξ~0 = (dx0 , dy 0 , dz 0 ) is parallel to the vector ∇F × E and
must be such that
dx0 dy 0 dz 0
= = , (1.46)
P0 Q0 R0
where
∂F ∂F
P0 = R −Q , (1.47a)
∂y ∂z
∂F ∂F
Q0 = P −R , (1.47b)
∂z ∂x
∂F ∂F
R0 = Q −P . (1.47c)
∂x ∂y
The solution of Eq. (1.46) together with the relation (1.38a) give the system
of orthogonal trajectories Γ0 .
and
G = z − k = 0,
the functions (1.43) are P = 2y, Q = −2x, and R = 0. The equations for
the curve Γ are
dx dy dz
= = ,
2y −2x 0
which have solutions
x2 + y 2 = a2 − k 2 .
The functions (1.47) are P 0 = −4xz, Q0 = 4yz and R0 = −4(x2 + y 2 ).
The system {Γ0 } of orthogonal trajectories to Γ on the sphere is determined
by the equations
dx dy dz
= =
−4xz −4yz −4(x2 + y 2 )
and
x2 + y 2 = a 2 − z 2 .
The solutions can be written as
xy = c1 , y 2 (x2 + y 2 ) = c2 .
The expression
w = P dx + Qdy + Rdz, (1.48)
where (P, Q, R) = E form a vector field in the space, is called a Pfaffian
differential form a 1-form defined in R3 . The equation generated from Eq.
(1.48) (i.e. w = 0) as
P dx + Qdy + Rdz = 0 (1.49)
is called Pfaffian differential equation. This equation has the following
geometric interpretation; let U (x, y, z) = c a family of surfaces orthogonal
to the vector field E and let dξ~ = (dx, dy, dz) be the tangent direction to
a given curve on this surface at the point (x, y, z). The gradient of the
function U (∇U ) is then parallel to the vector field E and thus, equation
(1.49)
E · dξ~ = 0
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Equaling coefficients and using the fact that the variables qi and pi are
independent i = 1, ..., N , we obtain the Hamilton equations of motion
∂qi ∂H
= , i = 1, ..., N (1.65a)
∂t ∂pi
∂pi ∂H
=− , i = 1, ..., N (1.65b)
∂t ∂qi
and
∂L ∂H
=− . (1.65c)
∂t ∂t
Note that Eq. (1.65a) and Eq. (1.65b) can be written in the form (1.19) as
dq1 dq dp dp
= ... = N = 1 = ... = N . (1.66)
∂H ∂H ∂H ∂H
− −
∂p1 ∂pN ∂q1 ∂qN
In this way, the motion of the particle in N -dimensions can be described
by equations (1.58) or by equations (1.65). However, Eq. (1.65a) and
Eq. (1.65b) give us certain advantages to observe the dynamics of the
system. The solutions of equation (1.65) or (1.66) given us curves in a 2N -
dimensional space (q, p) called “Phase Space” whose tangent directions are
parallel to the vector field
∂H ∂H ∂H ∂H
E= , ..., ,− , ..., − .
∂p1 ∂pN ∂q1 ∂qN
We must notice that the existence of the Hamiltonian for system (1.58)
depends on the existence of the Lagrangian, through the Legendre trans-
formation (1.64) (see reference of D. Darboux for N = 1 and the reference of
J. Douglas for N = 2), and given the Hamiltonian, the problem of the direct
determination of the Lagrangian may be made using Eq. (1.63) and Eq.
(1.64) through the solution of the nonlinear (in general) partial differential
equation of first order
X N
∂L ∂L
H q, ,t − q̇ + L = 0. (1.67)
∂ q̇ i=1
∂ q̇
L=L e + dF . (1.72)
dt
This function F is called the “generating function” and once this one is
given, the transformations (1.68) are completely specified. F makes the
connection of the old variables (q, p) and the new ones (Q, P), thus F
is a function of the old and new variables. There are four possibilities
F1 (q, Q, t), S(q, P, t), F3 (p, Q, t), and F4 (p, P, t). Let us consider the sec-
ond possibility, from Eq. (1.64), Eq. (1.70) and Eq. (1.72), using the fact
PN
S(q, P, t) = F1 (q, Q, t) + i=1 Pi Qi and taking the total time differentia-
tion of F1 , we obtain
N N
X ∂S X ∂S ∂S
pi − q̇i + Qi − Ṗi + Ve − H + = 0,
i=1
∂q i i=1
∂Pi ∂t
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
In this way there are three possible ways to solve a physical problem
in Classical Mechanics using Eq. (1.58) (Newton’s equations), Eq. (1.65)
(Hamilton’s equations) or Eq. (1.76) (Hamilton-Jacobi’s equation). Con-
sider now a system of N particles moving in a three dimensional space, then
as a first approach we could use any of the above three ways to describe our
system, but it is almost impossible to be able to do this with the method
mentioned before (so called many bodies problem). An alternative way is
to use statical mechanics where “the state of a particle” is represented as a
point in the 6N -dimensional phase space (q, p), and “the state of the whole
system” is represented by density function ρ(q, p, t) (number of particles
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
per unit phase space volume, dN e /dV ). This density is called “ensemble”
or “representative set” of the system. To see the motion of ρ in the phase
space we take the total time derivative of ρ
3N
dρ X ∂ρ ∂ρ ∂ρ
= q̇i + ṗi + .
dt i=1
∂qi ∂pi ∂t
∂K 2 α ∂K
v − ω0 sin θ + v|v| = 0. (1.93)
∂θ m ∂v
The function sig(v) and the constant ω0 are defined as
+1, if v > 0
sig(v) =
−1, if v < 0
and
p
ω0 = l/g,
p2
H(θ, p) = exp (−2αθsig(v)/m)
2m
mω02 exp (2αθsig(v)/m) 2αsig(v)
+ sin θ − cos θ = 0. (1.97)
1 + (2α/m)2 m
Then, the Hamilton-Jacobi equation associated to this system is written as
2
mω02 exp (2αθsig(v)/m) 2αsig(v)
1 ∂S ∂S
+ + sin θ − cos θ = 0.
2m ∂θ ∂t 1 + (2α/m)2 m
(1.98)
He = H + dFi , (1.99)
dt
independently on which generatrix function is used, i = 1, 2, 3, 4. Therefore,
we can say that two Hamiltonian H(q, p, t) and H(Q, e P, t) are equivalents
if the above relation is satisfied for any generatrix function. Note that the
units of both Hamiltonians must be the same to be able to have this ex-
pression. Given the generatrix function Fi , there are differential relations
with its complementary variables, for example, for F1 (q, Q, t) its comple-
mentary variables are related by pj = ∂F1 /∂qj and Pj = −∂F1 /∂Qj . So,
the equivalence of the Hamiltonians brings about the following non-linear
partial differential equations
∂F1
H(Q,
e −∇Q F1 , t) = H(q, ∇q F1 , t) + , (1.100)
∂t
∂F2
H(∇
e
P
F2 , P, t) = H(q, ∇q F2 , t) + , (1.101)
∂t
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
∂F3
H(Q,
e −∇Q F3 , t) = H(−∇p F3 , p, t) + , (1.102)
∂t
∂F4
H(∇
e
P
F4 , P, t) = H(−∇p F4 , p, t) + , (1.103)
∂t
where ∇ξ represents the gradient with respect the variable ξ. Because of
the structure of these partial differential equations of first order, there may
be a solution of separable variables (depending of the Hamiltonian expres-
sions) , for example F1 (q, Q, t) = f1 (q, t) + g(Q, t). However, this type of
solution defines only a point-like transformation. Therefore, it is necessary
to look for different type of solution.
Of course, once we know a generatrix function, the other ones are de-
termined through a Legendre transformation, for example, assume that we
have determine the generatrix function F1 (q, Q, t), then, since the gener-
atrix function F2 (q, P, t) is related with F1 through the Legendre trans-
formation F1 (q, Q, t) = F2 (q, P, t) − Q · P, and since one has the relation
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Note from the Legendre transformation that there is always a variable which
is not involved in the differentiation, in our last example this variable is
”q.” This fact also happens for the Legendre transformation between the
Lagrangian, L(q, q̇, t), and the Hamiltonian, H(q, p, t),
X ∂L
q̇i − H(q, ∇q̇ L, t) = L(q, q̇, t) (1.114)
i
∂ q̇i
In fact, if this Legendre transformation is though as a function of q and
q̇ instead, and by calling K(q, q̇, t) = H q, p(q, q̇, t), t , one would have
instead the following linear partial differential equation of first order
X ∂L
q̇i = L(q, q̇, t) + K(q, q̇, t) (1.115)
i
∂ q̇
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
1.7 Problems
√
1.1 Find the tangent planes at the point P = (0, 3, 1) of the surfaces
x2 + y 2 + z 2 = 4 and z = 1. Find the normal vectors to these tangent
planes at the point, the line generated by intersection of these planes, and
the curve generated by the intersection of both surfaces.
1.2 Find the integral curves of the follows equations, using the method
(I) of the sec.1.3
dx dy dz
= = .
xz − y yz − x 1 − z2
1.3 Find the integral curves of the equations, using the method (II) of
the sec.1.3
dx dy dz
= = .
y + az z + bx x + cy
1.4 Find the integral curves of the equations, using the method (II) of
the sec.1.3
adx bdy cdz
= = .
(b − c)yz (c − a)zx (a − b)xy
1.5 Find the integral curves of the equations,using the method (III) of
the sec.1.3
dx dy dz
= = .
x+z y z + y2
1.6 Find the orthogonal trajectories on the cone x2 + y 2 = z 2 tan2 α of
its intersection with the family of planes parallel to z = 0.
1.8 Do the same as on the Exercise 6, but for the one dimensional oscil-
lator whose Lagrangian is given by
1 1
L = mq̇ 2 − kq 2 ,
2 2
where m is the mass of the particle and k is the spring constant.
1.9 Write down the non-linear partial differential equation to find the
Lagrangian directly if the Hamiltonian is given by (1.97).
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
1.7. Problems 31
1.10 Write the equation which would establish the equivalence between
the Hamiltonians H1 = p2 /2m + k/q and H2 = p2 /2m + mω 2 q 2 /2 (select
one Hamiltonian with variable Q and P ).
P2
1.11 Given the generatrix function F1 = i=1 (tan Qi − β̇i (t))x2i /2βi (t),
write down the partial differential equation of first order which helps to find
the generatrix function F2 (x1 , x2 , P1 , P2 , t).
3.14 Show that the Hamiltonian and Hamiton equations for the previous
exercise are given by
p2 −αt/m pi −αt/m ∂V αt/m
H= e + V (x)eαt/m , ẋi = e , e ṗi = −
,
2m m ∂xi
(1.116)
and write the Hamilton-Jacobi equation associated to this problem.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
1.8 References
1.2 F.H. Miller, Partial Differential Equations, John Wiley & Sons, Inc.
1941. Chap. II.
1.11 D. Darboux, Leçons sur la théorie général des surfaces et les appli-
cations géométriques du calcul infinetésimal, Gauthier-Villars, Paris, 1984.
IViéme partie,
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Chapter 2
2.1 Classification
33
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
the order k. It is not difficult to prove that C k (Ω) forms a vector space
over the real space R. The order of the partial differential equation is the
order of the highest derivative that occurs in (2.1), the natural number m.
∂z ∂z
F x, z, , ..., = g(x, z), (2.3)
∂x1 ∂xn
where the pure dependence on the x and z has been separated through
the function g(x, z). A solution z = f (x1 , ..., xn ) of Eq. (2.3), when inter-
preted as a n-dimensional surface, will be called an “integral surface” of
the differential equation.
The PDEFO (2.3) can be see, fixing the point x ∈ Ω, as a functional F
acting in the space C k (Ω) with values in the real space R. According
with this observation, we will say that a PDEFO is linear if for every
z1 , z2 ∈ C k (Ω) and α ∈ R, we have
∂(z1 + αz2 ) ∂z1 ∂z2
F x, z1 + αz2 , = F x, z1 , + αF x, z2 , (2.4)
∂xi ∂xi ∂xi
i.e., Eq. (2.3) is linear with respect to z and its partial derivatives. We will
say that a PDEFO is quasi-linear if instead of the relation (2.4), we have
∂(z1 + αz2 ) ∂z1
F x, z1 + αz2 , = F1 x, z1 + αz2 ,
∂xi ∂xi
∂z2
+ αF2 x, z1 + αz2 , , (2.5)
∂xi
where F1 and F2 could be different functions. That is, Eq. (2.3) is only
linear with respect to the partial derivatives. We will say that the PDEFO
is non-linear if neither relation (2.4) or (2.5) is satisfied.
n
X ∂z
ai (x) − c(x)z − d(x) = 0, (2.6)
i=1
∂xi
n
X ∂z
ai (x, z) − c(x, z) = 0. (2.7)
i=1
∂xi
An example of a non-linear PDEFO is the following equation
n 2
X ∂z
ai (x) =0. (2.8)
i=1
∂xi
∂z ∂z
a(x, y) + b(x, y) = c(x, y)z + d(x, y) (2.9)
∂x ∂y
We notice that the left hand side of this equation represents the deriva-
tive of z(x, y) in the direction
∂z ∂z
a(x, y) + b(x, y) = E · ∇z
∂x ∂y
thus, when we consider the curves in the x − y plane whose tangents (dξ)~
at each point have those directions (dξ~ ∼ E); that is, the one parametric
family of curves defined by the ordinary differential equations
dx dy
= a(x, y), = b(x, y) (2.10a)
dt dt
or the single equation
dx a(x, y)
= , (2.10b)
dy b(x, y)
is such that along this curve, z(x, y) will satisfy the ordinary differential
equation
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
dz
= c(x, y)z + d(x, y) (2.11a)
dx
or
dz c(x, y)z + d(x, y)
= . (2.11b)
dx a(x, y)
Let us prove this. Differentiating z with respect to the parameter t, we
have
dz ∂z dx ∂z dy
= + ,
dt ∂x dt ∂y dt
along the curves (2.10), this expression becomes
dz ∂z ∂z
= a(x, y) + b(x, y) ,
dt ∂x ∂y
but according to Eq. (2.9), we get Eq. (2.11). The one parametric family
of curves defined by Eq. (2.10) are called the “characteristic curves” of the
differential equation, which will be denoted by {cλ }.
z = z(z0 , x0 , y0 , t) (2.13)
will be uniquely determined by Eq. (2.11). That is, If z is given at a point,
it is determined along a whole characteristic curve through the point. This
suggests that if we were to assign initial values for z along some curve Γ
(Fig. 2.1), intersecting the characteristic cλ , we may determine a unique
solution z(x, y) in the whole region covered by the family cλ by means of
Eq. (2.12) and Eq. (2.13).
Fig. 2.1 The initial curve Γ determine an unique solution z(x, y), meanwhile z(x, y) is
not unique for Γ0 .
for curves like Γ0 shown in Fig. 2.1 because for several points of the char-
acteristic curve c0 , we have the same solution (2.13). The curve Γ, which
we may call the initial curve, may not be chosen quite arbitrary. Clearly, it
must not coincide with the characteristic curve since z must be determined
as a solution of an ordinary differential equation in unique form.
e−x
1 ∂z ∂z
+ = z
y ∂x ∂y x
with initial conditions z = φ(x) for y = 1. The equation for the character-
istic curve is given by
dy
=y
dx
having the solutions
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
y = cex .
Along such a curve, z satisfies Eq. (2.11b)
dz ye−x c
= z= z
dx x x
which has the solution
z = K(c)xc .
The constant K depends on c because it may differ from characteristic
to characteristic, then we have the general solution
−x
z(x, y) = K(ye−x )xye , (2.14)
where K is “arbitrary function”. If we apply the initial condition for y = 1,
we obtain
−x
φ(x) = K(e−x )xe
or
φ(log s−1 )
K(s) = ,
(log s−1 )s
hence, the functionality K(ye−x ) is determined, and the required solution
is
−x
φ(x − log y)xye
z(x, y) = .
(x − log y)ye−x
Let us see what happens if instead of having the above initial curve
y = 1, we choose the characteristic curve given by y = 2ex . With the initial
condition z = φ(x) at y = 2ex substituted in (2.14), we can not determine
the functionality of K because we get the following relation
φ(x) = K(2)x2 .
Thus, the Cauchy problem is not well posed on characteristic curves. We
need to take care that our initial curve be different from any characteristic
curve of the differential equation.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Fig. 2.2 For a surface z = f (x, y) the field E gives us the characteristic directions.
The integral surface is also called the vector surface because the tangent
of the curves lying on it have the same direction of the vector field E. If
the integral surface is given implicitly of the form
F (x, y, z) = 0. (2.17)
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
The normal vector n̂ at any point of the surface is given by the normal-
ization to unit of the vector
∂F ∂F ∂F
∇F = , , (2.18)
∂x ∂y ∂z
and the integral surface is determined by the condition of the vector field
E which is orthogonal to the normal vector of the surface (2.17)
∂F ∂F ∂F
E · ∇F = P (x, y, z) + Q(x, y, z) + R(x, y, z) = 0. (2.19)
∂x ∂y ∂z
The characteristic curves of Eq. (2.19) are determined by the same set of
equations (2.16). We must note that Eq. (2.19) is a linear PDEFO with
three variables (x, y, z).
The solution of the Cauchy initial problem will be given in the next theo-
rem.
Proof. From the existence and uniqueness theorem for ordinary differ-
ential equations we may solve equations (2.16b) for a unique family of
characteristic
x = x(x0 , y0 , z0 , t) = x(s, t), (2.23a)
y = y(x0 , y0 , z0 , t) = y(s, t), (2.23b)
z = z(x0 , y0 , z0 , t) = z(s, t) (2.23c)
whose derivatives with respect to the parameter s, t are continuous such
that they satisfy the initial conditions
x(s, 0) = x0 (s), y(s, 0) = y0 (s), z(s, 0) = z0 (s).
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
ii) Using the functionality of one characteristic with respect the other.
The equations for the characteristic curves are
dx dy dz
= =
−y x 0
whose solutions are
x 2 + y 2 = c1 , z = c2 . (2.32)
According with Eq.(2.21)
z = c2 (c1 ) = c2 (x2 + y 2 ),
and using the initial conditions (2.27), we obtain
s2 = c2 (s2 ) or c2 (x2 + y 2 ) = x2 + y 2
then, the solution is
z(x, y) = x2 + y 2 .
iii) Using the system (2.25) and (2.20).
We have the following set the equations
x = 0, z = y2 , x2 + y 2 = c1 and z = c2
where we obtain
c1 = y 2 = z = c2
then, the solution is again the same
z(x, y) = x2 + y 2 .
dx1 dxn dz
= ... = = (2.34a)
R1 Rn Q
or the parametric equations
dxi dz
= Ri (x, z) for i = 1, ..., n = Q(x, z), (2.34b)
dt dt
where 00 t“ is the parameter which characterizes these curves. If initial con-
ditions at t = 0 are characterized by the parameters s∗ = (s1 , ..., sn−1 ) ∈
Rn−1 ,
xi0 (s∗ ) = xi (0) for i = 1, ..., n z0 (s∗ ) = z(0), (2.35)
the solution of (2.34b) would be expressed as
xi = xi (s∗ , t) for i = 1, ..., n z = z(s∗ , t). (2.36)
Thus, choosing the condition that the Jacobian of the transformation
between x and (s∗ , t) to be different from zero,
∂(x1 , ..., xn−1 , xn )
6= 0 (2.37a)
∂(s1 , ..., sn−1 , t) t=0
(equivalent to the condition (2.22)), the inverse transformation,
s∗ = s∗ (x), t = t(x), (2.37b)
is gotten, and the solution of (2.33) with the conditions (2.35) is obtained
as
ψ(x) = z (s∗ (x), t(x)) . (2.38)
The theorem of existence and uniqueness (theorem 2.1) is extended im-
mediately to this case.
Therefore, the function Eq. (2.38) is a solution of the equation Eq. (2.33).
Now, this solution is unique since assume there is another one ψ 0 (x) sat-
isfying Eq. (2.33) which pass through the hypersurface Γo (s∗ ). Then,
since one must have that ψ 0 (x0 )|t=0 = ψ(x)|t=0 for any x0 , x ∈ <n and the
solutions are defined along the whole characteristics, one must have that
ψ 0 (x) = ψ(x) for any x ∈ <n .
2.5. Problems 49
2.5 Problems
2.4 Find the integral surfaces of the following PDEFO which pass through
the respective curve Γo , and determine whether or not Γo is a characteristic
curve of the equation:
∂z ∂z
i) x +y = αz , Γo : {y = x, z = x/2}
∂x ∂y
∂L
ii) − L = K(x, v), Γo : {x = v, L = 0}
∂v
∂z ∂z
iii) x −y = αz , Γo {x2 + y 2 = 4, z = x2 }
∂y ∂x
1 ∂u ∂u
iv) + = f (x)u , Γo : {t = 0, u = 0}
c ∂t ∂x
∂z ∂z p
v) x1/3 − =0, Γo (s) : {xo (s) = 1, yo (s) = s, zo (s) = 1 − s2 } .
∂y ∂x
2.5 Giving the curve of initial data, Γo , show that the following problems
have not solutions:
∂z 1 ∂z
i) − = 0 , Γo : {x + y 2 = 1, z = x2 }
∂x y ∂y
∂L
ii) v − L = K(x, v) , Γo : {x = 0, L = v 2 /2}
∂v
∂z ∂z
iii) x2 − y2 = x2 z , Γo : {y = (1 − x3 )1/3 , z = x2 e−x }
∂y ∂x
∂K ∂K
iv) v −x = 0 , Γo : {x2 + v 2 = 1/3, K = v 2 /2} .
∂x ∂v
2.6 Demonstrate that the solution of the PDEFO defined in <n by
n
X ∂z
xi = −αz , α≥0
i=1
∂xi
such that pass through the hyperplane Γo : {x1 = 1}, having the value there
as z = φ(x2 , . . . , xn ), with φ being any differentiable function, is given by
2.5. Problems 51
2.10 Find the solution in parametric form of the PDEFO defined in <3
by
∂z ∂z ∂z
x1 + x2 + x3 = z2
∂x1 ∂x2 ∂x3
which pass through the initial surface defined as Γo (s∗ ) : {x1o (s∗ ) =
1, x2o (s∗ ) = s1 , x3o (s∗ ) = s2 , zo (s∗ ) = s1 + s2 }, and show that the solu-
tion can be written as
x2 + x3
z(x) =
x1 − (x2 + x3 ) ln x1
2.11 Find the solution of the quasi-linear PDFEO
∂u ∂u ∂u
u +y +z = u2
∂x ∂y ∂z
such that it passes through the initial surface Γo : {x = 0, u = y + z}.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
2.6 References
Chapter 3
Physical Applications I
In this chapter we illustrate the uses of the linear partial differential equa-
tions of first order in several topics of Physics. The purpose of this chapter
is to motivate the importance of this branch of mathematics into the phys-
ical sciences. In most of the applications, it is not intended to fully develop
the consequences and the theory involved in the applications, but usually
we point out some reference where the physical theory can be seen.
3.1 Mechanics
E = (v, f ), (3.2)
53
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
54 Physical Applications I
where v = (v1 , ..., vN ) and f = (f1 , ..., fN ). That is, the function K satisfies
the linear partial differential equation
N
X ∂K ∂K
vi + fi (q, v) = 0, (3.3)
i=1
∂qi ∂vi
and the total time derivative operator along E is defined as
N
d X ∂ ∂
= vi + fi (q, v) . (3.4)
dt i=1
∂qi ∂vi
As we saw in chapter 2, the solution of Eq. (3.3) is given by
K = K(c1 , ..., c2N −1 ), (3.5)
where ci (i = 1, ..., 2N − 1) are the characteristic curves, which are solutions
of equations
dq1 dqN dv1 dvN
= ... = = = ... = . (3.6)
v1 vN f1 fN
Example 3.1. Find the constant of motion of one dimensional single par-
ticle of mass ”m” moving in a dissipative medium whose frictional force is
proportional to the velocity squared.
The equation of motion can be written as the following dynamical sys-
tem, Eq. (1.84),
dv α
= − v2
dt m
and
dq
= v,
dt
where α is the friction constant and m is the mass os the particle, and
v > 0. The equation of the characteristic curve is given by
dq dv
=
v −(α/m)v 2
whose solution gives us the characteristic curves
c = veα/mq . (3.7)
Thus, the constant of motion is given by an arbitrary function of “c”,
K = K(veα/mq ) • (3.8)
As we can see from Eq. (3.5) or Eq. (3.8), there exists a non-numerable
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
3.1. Mechanics 55
set of constants of motion for a given physical system. One possible way
to select a proper function is using the criteria of reducibility. It consists
in choosing the functionality K in such a way that we can get the known
form of the energy (E = mv 2 /2 + V (q)) or some other constant of motion
when the parameters, which characterize the nonconservative force, go to
zero. In the above example if we take
1 2 1
mc = mv 2 e2αq/m ,
K= (3.9)
2 2
we obtain the usual energy of a free particle for α going to zero. Thus, one
can use this constant of motion as the constant of motion which contains
the proper dissipative dynamics of the system.
56 Physical Applications I
An the second term on the right hand side of Eq. (3.14) represents the
solution of the inhomogeneous equation (3.10). The factor N appearing in
this term is necessary to accomplish this. The generalized linear momentum
(1.63) is
1 q̇j K(C, C1j , ..., Cj−1,j , ξ, Cj+1,j , ..., CjN )
Z
(i) K
pj = Aj (C, C ) + dξ +
N ξ2 N q̇j
and after making an integration by parts, we get
1 q̇j ∂K(C, C1j , ..., Cj−1,j , ξ, Cj+1,j , ..., CjN ) dξ
Z
pj = Aj + (3.16)
N ∂ξ ξ2
Example 3.2. Find the Lagrangian and the generalized linear momentum
for the system described in the Exam. (3.1) with the constant of motion
given by Eq. (3.9).
3.1. Mechanics 57
neglected •
Let us now apply the operator (3.4) to expression (3.10) to look for a
relation between expression (3.10) and Euler’s equation (1.62),
N X N N
∂2L ∂2L
X
dK X ∂L
= q̇i q̇n + fn q̇i − q̇i ,
dt i=1 n=1
∂ q̇i ∂qn ∂ q̇ i ∂ q̇ n i=1
∂ q̇i
and
d ∂L ∂L d ∂L ∂L
E= − , ..., − ,
dt ∂ q̇1 ∂q1 dt ∂ q̇n ∂qn
then, Eq. (3.20) expresses the fact that whenever K is a constant of motion
of the system, the orthogonality relation
V·E=0 (3.21)
is always satisfied. We must notice that this does not guarantee the ex-
istence of the Lagrangian except for the one-dimensional case. For q̇ 6= 0,
K in a one-dimensional case, K is a constant of the motion if and only if
L satisfies the Euler’s equation (1.62). This means that we can always find
the Lagrangian by using Eq. (3.17). For the n-dimensional case, we can use
expression (3.14) and Euler’s equation to find restrictions on the functions
Ai and the constant of motion K in order for the L function to represent
the Lagrangian of the system (3.1). Thus, developing the term
N
X ∂ ∂ ∂L ∂L
q̇n + fn − =0
n=1
∂qn ∂ q̇n ∂ q̇l ∂ql
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
58 Physical Applications I
N Z q̇i N
1 X ∂K dξ 1 X ∂Al ∂Al
− q̇i + q̇n + f n = 0,
N i=1 ∂ql ξ 2 N q̇l n=1 ∂qn ∂ q̇n
and using the fact that K is a constant of motion, being Ai an arbitrary
independent functions of K, we get
N
"Z #
q̇l Z q̇n
X ∂K dξ ∂K dξ
q̇n − =0 (3.22a)
n=1
∂qn ξ 2 ∂ql ξ 2
and
N X N
X ∂Al ∂An ∂Al
q̇n + + fn =0 (3.22b)
n=1
∂qn ∂ q̇l n=1
∂ q̇n
for every l = 1, ..., N . So, if the conditions (3.22) are satisfied, the function
(3.14) represents a Lagrangian for the system (3.1).
Example 3.3. Find a constant of the motion for a particle moving in three
dimensional space under a field of forces derivable from a potential function
φ = φ(q). Verify the relation (3.22) and find a Lagrangian.
3.1. Mechanics 59
60 Physical Applications I
L=r×p (3.30)
62 Physical Applications I
where dΩ = sin θdθdφ is the differential of the solid angle, Uλ† represents
the transpose conjugated operation with the properties: i) f † = f ∗ , ii)
(A + αB)† = A† + α∗ B † , and iii) (AB)† = B † A† for any linear operators A
and B, any complex number α, and ny complex function f . This expression
is usually written as hλm|λmi = 1. Using Eq. (3.33c), the solutions of
Eq. (3.47) in spherical coordinates is
Uλm = fλ (θ)eimφ ,
and in cartesian coordinates, using Eq. (3.32c), we have to solve the follow-
ing linear partial differential equation
∂Uλm ∂Uλm
x −y = imUλm
∂y ∂x
from which the equations for the characteristic curves are
dy dx dUλm
= = .
x −y imUλm
From the first two terms, we obtain the characteristic
c = x2 + y 2 ,
and using this expression in the third term, the resulting equation is
Z Z
dy dUλm
im =
(c − y 2 )1/2 Uλm
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
L+ Uλm = a+
λm Uλm+1 (3.50)
and
L− Uλm = a−
λm Uλm−1 . (3.51)
Since the quantity
Z
†
Uλm (L2x + L2y )Uλm dΩ ≥ 0
is a non-negative real number and using Eq. (3.35), Eq. (3.46), Eq. (3.47)
and the normalization condition (3.48), we have
Z Z
† †
Uλm (L2x + L2y )Uλm dΩ = Uλm (L2 − L2z )Uλm dΩ = ~2 (λ − m2 ) ≥ 0.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
64 Physical Applications I
On the other hand, since λ ≥ 0, one must have that j(j + 1) ≥ 0. So, one
finally gets its allowed values
j = 0, 1/2, ±1, ±3/2, ±2, ... (3.55c)
The function Uλm can be characterized as Ujm , where the maximum value
of m is m = j, and its minimum value is m = −j. Let us now calculate
−
the coefficients a+
jm and ajm appearing in Eq. (3.50) and Eq. (3.51). Using
Eq. (3.48) and Eq. (3.50), we have
Z Z
† 1
1 = Ujm+1 Ujm+1 dΩ = + 2 (L+ Ujm )† (L+ Ujm )dΩ
|ajm |
Z
1 †
= + 2 Ujm (L− L+ Ujm )dΩ.
|ajm |
Thus, the coefficient a+
jm can be calculated from the equation
Z
†
|a+
jm | 2
= Ujm (L− L+ Ujm )dΩ.
p
L+ Ujm = ~ (j − m)(j + m + 1)Ujm+1 , (3.57a)
p
L− Ujm = ~ (j + m)(j − m + 1)Ujm−1 , (3.57b)
~ p p
Lx Ujm = (j − m)(j + m + 1)Ujm+1 + ~ (j + m)(j − m + 1)Ujm−1 ,
2
(3.58a)
~ p p
Ly Ujm = (j − m)(j + m + 1)Ujm+1 − (j + m)(j − m + 1)Ujm−1 ,
2i
(3.58b)
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
66 Physical Applications I
68 Physical Applications I
surface the resistivity (ρ) of the scc is zero, and there is not dissipation of
energy (heat) generated by flow the current in the cable. Above this sur-
face, the scc behaves like a normal cable whit a very high resistivity value.
The surface is called the “critical surface of the scc”, and each point on this
surface (Tc , Ic , Hc ) is called a “critical point of the scc” (see Fig. 3.1).
When a region of a scc becomes normal (i.e. this region is above the
critical surface) because of some external perturbation, this normal zone
propagates along the scc, and the heat generated propagates transversely
to other scc. This phenomenon is known as “quenching (or quench)” on
the scc. Normally, a scc is made up of many superconducting wires (for
example NbTi) contained in a non superconducting matrix (usually Cu or
Al). The function of the non superconducting matrix is to make the current
flow within it when a quench occurs (because of its much lower resistivity
than that of superconducting wires at low temperature) in the scc, avoiding
the evaporation of the superconducting wires. Once the quench starts in a
scc, the increasing of the temperature where the normal zone first appeared
(which maybe the hottest point) as a function of time can be described by
the equation
dT1
(δcp ) = ρj 2 , (3.66)
dt
where (δcp ) is the average heat capacity of the scc, ρ is the average resis-
tivity, and j is the density of the current flowing in the cable. In between
two scc there is an insulation. For this reason the transversal propagation
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
70 Physical Applications I
or
(δcp )I (θ) 2
t− x = C2 (θ). (3.71)
2k(θ)
C2 can be determined through the boundary conditions, and this one can
be determined in the following way: we know through Eq. (3.66) how the
temperature varies in the first scc, that is, at x = 0. Therefore, we may
impose the boundary condition
θ(0, t) = T1 (t). (3.72)
Using this boundary condition in Eq. (3.71), we have
t = C2 (T1 (t)),
for all time t. But this implies that C2 is inverse function of T1 , and then
Eq. (3.71) looks like
(δcp )I (θ) 2
t− x = T1−1 (θ).
2k(θ)
Applying T1 to this equation, it follows that
(δcp )I (θ) 2
T1 t − x = θ. (3.73)
2k(θ)
The solution of Eq. (3.70) is given in the implicit form Eq. (3.73). If we
know the time at which the first scc quenches , it is of practical interest to
estimate the time that the heat will take to arrive to the other scc, inducing,
consequently, a quench. Suppose that these two scc are separated by a
distance L, and the temperature in the second scc as a function of time is
T2 (t), then, according to Eq. (3.73), this temperature is given by
(δcp )I (T2 (t)) 2
T1 t − L = T2 (t). (3.74)
2k(T2 (t))
If τ1 is the time taken for the first scc to reach the critical temperature
Tc1 and quench (T1 (τ1 ) = Tc1 ), and if τ2 is the time taken for the second
scc to reach the critical temperature Tc2 and quench (T2 (τ2 ) = Tc2 ). Thus,
evaluating Eq. (3.74) at the time τ2 , we get
(δcp )I (Tc2 ) 2
T1 τ2 − L = Tc2 ,
2k(Tc2 )
where, in general, Tc1 6= Tc2 since both scc are placed in regions where the
magnetic field may by different. However, normally both scc’s are close
enough to consider that the magnetic fields ere approximately the same,
then, we can consider Tc1 = Tc2 . In this way the right side of the above
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
equation represents the critical temperature of the first scc which happens
at the time τ1 . Therefore, it follows that
(δcp )I (Tc2 ) 2
τ2 − L = τ1
2k(Tc2 )
or
(δcp )I (Tc2 ) 2
τ2 = τ1 + L . (3.75)
2k(Tc2 )
The time τ1 can be estimated, integrating Eq. (3.66), as
1 Tc1 (δcp )c (T )
Z
τ1 = 2 dT,
j T0 ρ(T )
where T0 is the batch temperature.
72 Physical Applications I
and is given by
Z 3N
Y
Z= e−βH dpi dqi . (3.81)
i=1
Example 3.5. For the example 6 given in first chapter, integrate Eq. (1.89)
and corroborate the result (3.78).
Eq. (1.89) is given as
∂ρ αp ∂ρ
+ = 0. (3.83)
∂q m ∂p
The equations for its characteristics are
dp dρ
dq = = .
(α/m)p 0
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
If any field theory, a bare vertex is inevitably renormalized by higher order
correction diagrams (see Fig. 3.2), and these depend on the momentum of
the particle coming into the vertex.
+ + +· · ·
74 Physical Applications I
One way the renormalize the theory (i.e. to the eliminate all the infinite) is
introducing a momentum scale parameter, which depends on choice. Differ-
ent parameterizations are related by the renormalization group equations
dΓnB nF
µ = −(nB ΥB + nF ΥF )ΓR nB nF (pi , g, µ), (3.86)
dµ
where ΓRnB nF (pi , g, µ) is the renormalized Green function which is related
to the cut-off Green function ΓU nB nF (pi , g0 , Λ) as
nB nF
ΓR
nB nF (pi , g, µ) = [ZB (Λ/µ)] [ZF (Λ/µ)] ΓU
nB nF (pi , g0 , Λ), (3.87)
where ZB and ZF are dimensionless factors, nB and nF can be 0,1 or 2,
Λ is the cut-off momentum in all the integrations (like Eq. (3.85)) and is
introduced by hand to obtain finite quantities as ΓU nB nF (pi , g0 , Λ), g0 is
called the bare gauge coupling. The renormalized coupling constant g is
given by
g(µ) = ZB ZF ΓU
1,2 . (3.88)
ΥB and ΥF are defined as
∂ log ZB
ΥB (µ) = − lim µ
∆→∞ ∂µ
and
∂ log ZF
ΥF (µ) = − lim µ .
∆→∞ ∂µ
The Green function expresses the so called “propagator ” between two ver-
texes of a Feynman’s diagram. The effect of a change in the scale of external
momenta in the renormalized Green functions is expressed by
ΓR = ΓR D 2 2
nB nF (λ, pi , g, µ) = µ f (λ pi pj /µ ), (3.89a)
or equivalently by the scaling equation
∂ ∂
λ +µ ΓR = DΓR , (3.89b)
∂λ ∂µ
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
76 Physical Applications I
that is
GR pi , ψ −1 (s)
K(s) =
φ (ψ −1 (s))
or
GR pi , ψ −1 (λψ(g))
K(λψ(g)) = .
φ (ψ −1 (λψ(g)))
Using this expression in Eq. (3.95), it follows
φ(g)
ΓR (λ, g) = GR pi , ψ −1 (λψ(g))
. (3.97)
φ (ψ −1 (λψ(g)))
It is of particular interest for physicists to know what happens when λ → ∞.
According to Eq. (3.93) and Eq. (3.96a), we have
C
lim ψ(g) = lim = 0. (3.98a)
λ→∞ λ→∞ λ
Then, this implies from Eq. (3.96a) that
Z
dg
lim → −∞, (3.98b)
λ→∞ β(g)
for any g. In particular this must happen for g = 0. Therefore, Eq. (3.98b)
tell us that the function β(g) can be of the form
β(g) = an g n , (3.99)
where an is a constant and n can be 1, 2, 3, .... This happens for example to
the diagrams of Fig. 3.4, where β(g) is expressed as β(g)E − g 3 + O(> 3).
From left to right in this figure, the first loop corresponds to gluons, the
second one to ghosts, and the last one to quarks. This expresses what
is called “asymptotic freedom” for Quantum Cromo Dynamics (QCD). A
complete discussion about this can be found in reference of J.Ellis and C.T.
Sanchrajda.
3.6. Particle Multiplicity Distribution in High Energy Physics 77
+ +
Fig. 3.4
78 Physical Applications I
80 Physical Applications I
Note that the description is done taking the length of the accelerator ring
“s” as the independent parameter. It is convenient to make an action-angle
variables canonical transformation through the generating function
2
X x2i
F (x, φ, s) = − (tan(φi ) − βi0 (s)/2), for i = 1, 2 (3.119)
i=1
2βi (s)
where x is for i = 1 and y is for i = 2, βi0 (s) is the derivative with respect
to s of the beta function βi (s) which satisfies the differential equation
2βi βi00 − (βi0 )2 + 4Ki (s)βi2 = 4, (3.120a)
and the φi (s) is called the betatron phase which is related with the beta
function through
Z s
dσ
φi (s) = φi (0) + . (3.120b)
0 βi (σ)
The action, Ii , the coordinates, and the canonical linear momenta are given
by
∂F 1
Ii = − = [x2 + (βi x0i − βi0 xi /2)], (3.121a)
∂φi 2βi (s) i
p
xi = 2Ii βi cos(φi ), (3.121b)
and
s
2Ii 1 0
Pi = − sin(φi ) − βi cos(φi ) , for i = 1, 2. (3.121c)
βi 2
Therefore, Hamiltonian (3.117) written in terms of the action-angle vari-
ables (φ, I) is given by
2
X Ii
H(φ, I, s) = + V(φ, I, s), (3.122)
β
i=1 i
(s)
where the function V is defined as
V(φ, I, s) = V (x(φ, I), P(φ, I), s). (3.123)
One the most important parameters that the accelerator physicists are in-
terested in is the so called “tune” of the machine,
Z C
1 dσ
νi = , for i = 1, 2, (3.124)
2π 0 βi (σ)
which has the meaning of number of betatron oscillations performed by the
particle around the ring of length C. If the function V in Eq. (3.122) is dif-
ferent from zero, this tune is modified (the tune is shifted if the modification
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
is the same for all the particles, or there is “tune spread” if the modification
is different for different particles). To calculate this change at first order
in perturbation theory, the averages over the phases (φi ∈ [0, 2π], i = 1, 2)
and the integration over the length of the ring on the Hamiltonian (3.122)
is carried out
Z C Z 2π Z 2π
1
H(I)
e =< H(φ, I, s) >= ds dφi dφ2 H(φ, I, s). (3.125)
(2π)3 0 0 0
And the modified tune (νi0 ) is just the derivative of this averaged Hamilto-
nian with respect the action
∂ H(I)
e
νi0 = . (3.126)
∂Ii
To go to a second-order perturbation, a new canonical transformation close
to the identity can be made. This is achieved with the help of the generating
function
2
X
Fe(φ, J, s) = φi Ji + G(φ, J, s). (3.127)
i=1
The action between the new variables (Φ, J) and the old one (φ, I) is given
by the expressions
∂ Fe ∂G
Ii = = Ji + (3.128a)
∂φi ∂φi
and
∂ Fe ∂G
Φi = = φi + . (3.128b)
∂Ji ∂Ji
Hamiltonian (3.122) written in terms of these new variables is
2 2
X Ji X 1 ∂G ∂G e
H(Φ, J, s) = + + + V(Φ, J, s), (3.129)
β (s) i=1 βi (s) ∂φi
i=1 i
∂s
82 Physical Applications I
and neglecting terms of order higher than one, the Hamiltonian would be
written as
2 2
X Ji X ∂V ∂G ∂V ∂G
H(Φ, J, s) = + − , (3.132)
β (s) i=1 ∂Ji ∂Φi
i=1 i
∂Φi ∂Ji
if the function G satisfies the following linear partial differential equation
2
X 1 ∂G ∂G
+ + V(Φ, J, s) = 0, (3.133)
i=1 i
β (s) ∂φi ∂s
where it has been assumed φ ≈ Φ. The equation for the characteristics are
given by
dG
β1 (s)dφ1 = β2 (s)dφ2 = = ds. (3.134)
−V(φ, J, s)
From the first two terms and the last one of Eq. (3.134), two characteristic
curves follow
C1 = φ1 − ψ1 (s) and C2 = φ2 − ψ2 (s), (3.135)
where the function ψi (s) is defined as
Z s
dσ
ψi (s) = for i = 1, 2. (3.136)
0 βi (σ)
Using these equations in third term of Eq. (3.134), it follows that
Z s
G(φ, J, s) = − V(C1 + ψ1 (ξ), C2 + ψ2 (ξ), J, ξ)dξ + A(C1 , C2 ). (3.137)
0
Choosing the conditions G(φ, J, 0) = 0, the solution of Eq. (3.133) is given
by
Z s
G(φ, J, s) = − V(φ1 −ψ1 (s)+ψ1 (ξ), φ2 −ψ2 (s)+ψ2 (ξ), J, ξ)dξ. (3.138)
0
This solution is, then, substituted in Eq. (3.132) to be able to make the
average and calculate the modified tune of the machine through Eq. (3.126)
(for a explicit application see G. López and S. Chen). Assume the pertur-
bation function is periodic on the angles and distance variables. Then, this
function can be written in Fourier expansion as
(J) ei(m1 φ1 + m2 φ2 − lΩs) .
X
V(φ, J, s) = V m1 ,m2 , l
m1 ,m2 , l
Suppose now that ψ(s) ≈ ωi s, the integral of the right hand of (3.140) can
be expressed as
Z s Z s
ei[m1 ψ1 (ξ) + m2 ψ2 (ξ) − lΩξ] dξ = ei[m1 ω1 + m2 ω2 − lΩ]ξ dξ
0 0
1 − ei[m1 ω1 + m2 ω2 − lΩ]s if m1 w1 + m2 w2 6= lΩ,
i
m1 ω1 + m2 ω2 − lΩ
= (3.141)
s if m1 w1 + m2 w2 = lΩ.
The first case (m1 ω1 + m2 ω2 6= lΩ) is called non resonant case, and the
other one (m1 ω1 + m2 ω2 = lΩ) is called resonant case. In this latter sit-
uation one says that one has non linear resonances characterized by the
pair (m1 , m2 ). Because in the non linear resonant situation the function
G grows linearly with the parameter s, there will be a value s∗ for which
this approximation will not be valid any more since it will have a big value.
These non linear resonance are import, for example, for determine the life
time of a beam in a circular accelerator, the stability of a planetary system,
the chaotic behavior of a diatomic molecule. Given a non linear resonance
(m1 , m2 ), this defines a rational relation among the involved frequencies,
ω1 = − m l
m1 ω2 + m1 Ω, and since the rational numbers are dense in the real
2
number, any operational point in the space (ω1op , ω2op ) of the system will
be close enough of a non linear resonance which could make it unstable.
Of course, nobody is interested in having a non linear system which last
forever. So, one just try to operate the system away of the ” danger non
linearities ” for the machine to have the life time required. For natural
periodic systems, one first chooses their operation point, then one tries to
determine all non linearities, and finally one tries to make some estimation
of their stability lifetime.
84 Physical Applications I
86 Physical Applications I
Solving these equations, the constant of motion which the right limit for
the non-relativistic case (c → ∞) is given by
mc2 mωv mA
K(ξ, v) = p − mc2 − p + cos(kx − ωt). (3.155)
2
1 − v /c2 2
k 1 − v /c2 k
88 Physical Applications I
Both different constants of motion has the same expected ”physical” limit,
and this represents a strong ambiguity for Lagrangian, Hamiltonian and
applications on quantum and statistical mechanics.
∂K F (x, v) ∂K
v + =0, (3.164)
∂x m ∂v
associated to the constant of motion of the dynamical system
dx dv F (x, v)
=v , = , (3.165)
dt dt m
the solution will be unique determined (without the ambiguity mentioned
before).
Let us apply this idea to the above dynamical system. The general so-
lution is given by Eq. (3.157), and applying the initial condition of Eq.
(3.162), K(0, v) = mv 2 /2, it follows that
αv 2
1 mf
mv 2 = G − ln (1 − ) (3.166)
2 2α mf
Defining σ as
αv 2
mf
σ=− ln 1 − , (3.167)
2α mf
one has that
mf
v2 = 1 − e−2ασ/mf (3.168)
α
and
m2 f
G(σ) = 1 − e−2ασ/mf . (3.169)
2α
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
90 Physical Applications I
where aα has been defined as aα = αc2 /F . Note that this parameter has
the range 0 ≤ aα ≤ 1, and is singular for aα = 1. Note also that the
characteristic curve has the limit limα→0 C = γmc2 . Applying the initial
data to the solution, it follows that
√ r
γ aα 1 aα
(γ − 1)mc2 = G mc2 + arctan
1 − aα (1 − aα )3/2 γ 1 − aα
(3.186)
So, to find the functionality of G one proceeds as usual
√ r
γ aα 1 aα
σ = mc2 + arctan , (3.187)
1 − aα (1 − aα )3/2 γ 1 − aα
and from here it is clear
p that is not possible to get γ = γ(σ) in general but
for small values of aα /(1 − aα )/γ. For this particular weak dissipation
case, the above expression is given as
mc2
aα
σ= γ(1 − aα ) + (3.188)
(1 − aα )2 γ
which has the solution s 2
(1 − aα )σ (1 − aα )σ aα m2 c4
mc2 γ± = ± − . (3.189)
2 2 1 − aα
That is, even in this case the relationship between γ and σ corresponds to
two values function. In this way, G(σ) is given by
s 2
(1 − aα )σ (1 − aα )σ aα m2 c4
G(σ) = ± − − mc2 , (3.190)
2 2 1 − aα
and the constant of motion for this weak dissipation case would be given
by
1 − aα γ aα
K(x, v) = mc2 + − F x
2 1 − aα γ(1 − aα )2
s 2
mc2 aα m2 c4
aα (1 − aα )F x
± γ+ − − . (3.191)
2 γ(1 − aα ) 2 1 − aα
92 Physical Applications I
where ”t” is the parameter which describes the evolution of the system (non
autonomous system). The ensemble of N-particles is described by an scalar
function ψ(x, t) such that
Z
dψ
ψ(x, t)dx = N , and =0, (3.193)
<2n dt
that is, the function is normalized to the number of particles, and it is a
constant of motion where its explicit expression is
2n
X ∂ψ ∂ψ
fi (x, t) + =0. (3.194)
i=1
∂xi ∂t
There is not really a restriction for an even dimensional dynamical system
Eq. (3.192), one will take this case for the applications below. For the
particular case when Eq. (3.192) represents a Hamiltonian system, one has
that x = (q, p) with q, p ∈ <n and the dynamical system looks like
dq dp
= ∇q H , = −∇p H , (3.195)
dt dt
where H = H(q, p, t) is the Hamiltonian of the system, we will have the
function ψ = ψ(q, p, t), and the Vlasov equation will have the form
n
X ∂H ∂ψ ∂H ∂ψ ∂ψ
− + =0. (3.196)
j=1
∂pj ∂qj ∂qj ∂pj ∂t
If the system is autonomous (that is, F = F(x), or H = H(q, p), the term
∂ψ/∂t can be neglected on the Eq. (3.194) and Eq. (3.196).
account the damping and the wake field effect (function W (τ ) generated in
a structure of length L) on the beam,
Z ∞
ω2 e2 L
g(τ ) = s τ − h(τ 0 )W (τ 0 − τ )dτ 0 , (3.198)
αc ETo c τ
where ”e” is the charge of the particles, ωs is the synchrotron oscillation
frequency (ωs ≤ ωo ), and h(τ ) is the reduced density part associated to the
variable τ ,
Z
h(τ ) = ψ(τ, δ) dδ . (3.199)
<
94 Physical Applications I
where the normalization has taken equal to unit, and h(τ ) is the reduced
density defined as
Z τ
−c/ασ 2
h(τ ) = e g(τ 0 )dτ 0 . (3.207)
0
Substituting Eq. (3.198) in this expression, one gets an integral equation
for the determination of the reduced density
R∞
dτ 0 h(λ)W (λ−τ 0 ) dλ]
2 2
Rτ
/2α2 σ 2 −(e2 L/ασ 2 ETo )
h(τ ) = e−[ωs τ 0 τ0 (3.208)
which is normally solved by numerical methods. The solution brings about
the potential well distortion of an initial Gaussian bunch shape.
96 Physical Applications I
and solve it through successive approximations, {ψn }, such that the nth-
approximation satisfies the PDEFO
!
ωs2 τ ∂ψn αδ ∂ψn ∂ψn Fy ωβ2 ∂ψn ∂ψn
− + py + − 2y + = An−1 (x, s),
αc ∂δ c ∂τ ∂y E c ∂py ∂s
(3.229)
where An−1 has been defined as
y ∂Fy ∂ψ
An−1 (x, s) = − . (3.230)
cE ∂τ ∂δ
The equations for its characteristics are given by
dδ dτ dy dpy dψn
= = = = ds = . (3.231)
ωs2 τ /αc −αδ/c py Fy /E − ωβ2 y/c2 An−1 (x, s)
From the first two terms, we can see that we can still have the same char-
acteristics as before,
ωs2 2 α
a1 = τ + δ2 (3.232)
2αc 2c
and
s
ωs2
2αa2
a2 = arcsin τ ± s. (3.233)
2cαa1 ωs
r
2ca1 2αa1
δ(s) = ± cos s + a2 . (3.235)
α ωs
Now, third, fourth and fifth terms represent Eq. (3.226). So, making the
differentiation of y 0 , one gets
d2 y ωβ2
+ 2 y = Fy (τ (s), s)/E (3.236)
ds2 c
which has the solution
Z
ωβ ωβ s ωβ s ωβ s
y(s) = sin F̃ (s) cos ds + a3 sin
Ec c c c
Z
ωβ ωβ s ωβ s ωβ s
− cos F̃ (s) sin ds + a4 cos , (3.237)
Ec c c c
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
98 Physical Applications I
where the function F̃ has been defined as F̃ (s) = Fy (τ (s), s). Defining now
the functions f1 (s) and f2 (s) as
Z
ωβ ωβ s ωβ s
f1 (s) = sin F̃ (s) cos ds (3.238)
Ec c c
and
Z
ωβ ωβ s ωβ s
f2 (s) = cos F̃ (s) sin ds , (3.239)
Ec c c
Thus, the characteristics a3 and a4 have the following form
c n ωβ ωβ s ωβ s o
a3 = (y − f1 (s) + f2 (s)) sin + (py − f10 (s) − f20 (s)) cos
ωβ c c c
(3.240)
and
c n ωβ ωβ s ωβ s o
a4 = (y − f1 (s) + f2 (s)) cos − (py − f10 (s) − f20 (s)) sin ,
ωβ c c c
(3.241)
0 0
where f1 and f2 represent the differentiation of these function with resect
to ”s.” In addition, the explicit dependence of y and py on the variable ”s”
has the following form
ωβ s ωβ s
y(s) = f1 (s) − f2 (s) + a3 sin + a4 cos (3.242)
c c
and
ωβ h ωβ s ωβ s i
py (s) = f10 (s) − f20 (s) + a3 cos − a4 sin . (3.243)
c c c
In this way, from Eq. (3.230), one gets the function An−1 fully expressed
as a function of the parameter s,
Ãn−1 (s) = An−1 (x(s), s) , (3.244)
and the integration of the last two term of Eq. (3.229) can be done,
Z s
ψn (x, s) = Ãn−1 (s0 ) ds0 , (3.245)
0
or
Z s
1 0 ∂Fy ∂ψn−1
ψn (x, s) = − y(s ) ds0 (3.246)
Ec 0 ∂τ τ (s0 ),s0 ∂δ x(s0 ),s0
Since the equations for its characteristics are almost the same as before,
dδ dτ dy dpy dψ0
= = = 2 = ds = , (3.248)
ωs2 τ /αc −αδ/c py Fy /E − ωβ y/c2 0
its characteristics are the same (a1 , a2 , a3 , and a4 above), and the general
solution of this equation is given by
ψ0 (x, s) = G(a1 , a2 , a3 , a4 ) , (3.249)
where G is an arbitrary function of these characteristics. This functionality
is determined by the initial distribution of the particles. Suppose that at
s = 0 one has τ (0) = 0, py (0) = 0 and Fy (0, 0) = 0, and ψ0 (x(0), 0) is having
a Gaussian distribution in the variables δ and y with standard deviations σ
and σy . Then, from the above expression for the characteristics, it follows
that
1 2 2 1 2 2
ψ0 (x(0), 0) = G(αδ 2 /2c, 0, y, 0) = √ e−δ /2σ √ e−y /2σy (3.250)
σ 2π σy 2π
Thus, the functionality of G for any variables (ξ1 , ξ1 , ξ3 , ξ4 ) is written as
1 2 2 2
G(ξ1 , ξ2 , ξ3 , ξ4 ) = e−(cξ/2σ +ξ3 /2σy ) , (3.251)
2πσσy
and the solution is finally gotten as
1 2 2 2
ψ0 (x, s) = e−(ca1 /2σ +a3 /2σy ) , (3.252)
2πσσy
where a1 = a1 (δ, τ ) is given by Eq. (3.232), and a3 = a3 (y, py , s) is given
by Eq. (3.240). Since ∂ψ0 /∂δ = −(α/σ 2 )δψ0 , at first order approximation
the solution is given by the following integration
Z s !
α ∂ F̃ y
δ(s0 )y(s0 )ψ0 x(s0 ), s0 ds0 (3.253)
ψ1 (x, s) =
Ecσ 2 0 ∂τ 0 0 (x(s ),s )
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
A plasma is a set of heavy charged particles called ions together with very
light charged particles called electrons in some compact region Ω ⊂ <3
such that outside some finite length (Debye length)1 from this region the
set looks as neutral. Plasma covers a large region of temperatures and
densities, solar wind, solar corona, earth ionosphere, flames, fusion reactors,
laser, plasma, and so on. One could say that there are two ways to treat
the plasma depending on whether or not this one is enough diluted since
this characteristic determine the interaction behavior among the elements
of the plasma.
because non net charge or current must appear in the plasma (β = 1/kB T
with kB being the Boltzmann constant). The electric and magnetic fields
of Eq. 3.255 represent the outside field (homogeneous solution) and the
field produced by the charges (particular solutions). Eq. 3.254 represents
a non linear integro-partial-differential equation for the function f which is
the type of equation outside the topics of this book. However, we note that
the electromagnetic field is a linear operator acting on the function f , rep-
resented by the solution of the Eqs. 3.255 and 3.256. The solution is in fact
the retarded electromagnetic field (see reference J.D. Jackson and reference
J.R. Reitz), and let us call this vector operator F(x, v, t; f ), and note that
for our equilibrium distribution (if there is not external electromagnetic
field), one has F(x, v, t; f0 ) = 0,
e 1
F(x, v, t; f ) = E+ v×B . (3.259)
m c
In this way, one may propose an iterative method to solve this equation of
the form
∞
X
f (x, v, t) = fs (x, v, t) , (3.260)
s=0
If we see Eq. 3.261 as a linear PDEFO in <7 , this equation would have the
following equations for their characteristics
dv1 dv2 dv3 dx1 dx2 dx3 fs
dt = = = = = = = Ps
0 0 0 v1 v2 v3 − l=0 F x, v, t, fl · ∂f∂v
s−l
(3.264)
which would have the characteristics
ci = vi , di = xi − vi t i = 1, 2, 3 (3.265)
independently of s approximation.
R Now, writing explicitly the dependence
on the type of operator, f (x, v, t)dv, from the first and last terms of Eq.
3.264, and using these characteristics, one has that the density distribution
fs comes from the solution of the following equation
s Z
dfs X ∂fs−l
+ F d + ct, c, t; fl (d + ct, v, t)dv · =0,
dt <3 ∂v (d+ct,c,t)
l=1
(3.266)
and given the initial conditions fj (0) for j = 1, . . . , s the unique solution of
this equation can be determined. Since fs ≥ 0 for x, v ∈ <3 and t ∈ <, the
Laplace transform
Z ∞
f˜s (p) = L{fs (t)} = e−pt f (t) dt,
0
being p a complex number, can be used to to solve this equation. Due to
L is a linear operation and has the properties
Now, using the retarded fields in Eq. 3.259 and proceeding with Eq. 3.266
and Eq. 3.267 is one option to find fs . However, it is more convenient here
to use the representation of the equations in the Fourier space, where the
Fourier transformation
Z
ˆ 1
f (k) = F[f (x)] = eix·k f (x) dx (3.268)
(2π)3/2 <3
is a linear operation having the property F[∂f /∂xn ] = −ikn F[f ]. Using
this property in Eq. 3.255, it follows that
b =− 1 ∂B
b 4πµ µ ∂ E
b
ik· E
b = 4π ρ̂/, ik× E , ik· B
b =0, ik× B
b =
Ĵ+ .
c ∂t c c ∂t
(3.269)
Using the vector identity a × (b × c) = (a · c)b − (a · b)c in the second and
last terms and making some rearrangements, the following evolution equa-
tion are obtained in the Fourier space
∂2Eb
b = −i 4πcρ̂ k − 4π ∂ Ĵ
2
+ ω2 E (3.270)
∂t µ ∂t
∂2Bb
b = i 4πc k × Ĵ
+ ω2 B (3.271)
∂t2
√
where ω has been defined as ω = ck/ µ. Ignoring the homogeneous
solutions of these equations, their particular solutions are given by
Z t
4π t ∂ Ĵ(s)
Z
i4πc
Ep = −
b k ρ̂(s) sin ω(t − s)ds − sin ω(t − s)ds (3.272)
µω 0 ω 0 ∂s
Z t
b p = i4πc k ×
B Ĵ(s) sin ω(t − s)ds , (3.273)
ω 0
where the dependence only on time for the current and density has been
written for short writing. The Fourier transformation of the continuity
equation ∇ · J + ∂ρ/∂t = 0 brings about the relation
∂ ρ̂
ik · Ĵ + =0. (3.274)
∂t
Let us solve Eq. 3.262 using these tools and noting that ∂f0 /∂v depends
only on v. Applying the Fourier transformation to this equation, one gets
∂ fˆ1
e b 1 b · ∂f0
iv · kfˆ1 + =− E+ v×B (3.275)
∂t m c ∂v
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
or
∂ fˆ1 ∂f0 t
Z
ˆ i4πce
iv · k f1 + = k· ρ̂(s) sin ω(t − s)ds
∂t µωm ∂v 0
Z t
4πe ∂f0 ∂ Ĵ(s)
+ · sin ω(t − s)ds
ωm ∂v 0 ∂s
Z t
i4πce ∂f0
− v× k× Ĵ(s) sin ω(t − s)ds · (3.276)
ωm 0 ∂v
Using the same above vector identity, this equation can be written as
∂ fˆ1 ∂f0 t
Z
i4πce
iv · k fˆ1 + = k· ρ̂(s) sin ω(t − s)ds
∂t µωm ∂v 0
Z t
4πe ∂f0 ∂ Ĵ(s)
+ · sin ω(t − s)ds
ωm ∂v 0 ∂s
Z t
i4πce ∂f0
− k· v· Ĵ(s) sin ω(t − s)ds
ωm ∂v 0
Z t
i4πce ∂f0
+ v·k · Ĵ(s) sin ω(t − s)ds
ωm ∂v 0
(3.277)
Note that for the particular case when one considers Ĵ = 0, which is equiv-
alent to ignore the magnetic field contribution, the density ρ̂ must not
depend explicitly on time due to continuity equation ( Eq. 3.292), and the
above equation is reduced to the equation
∂ fˆ1
ˆ i4πce ∂f0
ik · v f1 + = v· ρ̂ , (3.278)
∂t µω 2 m ∂v
However from Eq. 3.256, one has an explicitly time dependence in the
density through the function f1 ,
Z
ρ̂(k, t) = −e fˆ1 (k, v, t)dv. (3.279)
<3
Therefore, to solve consistently Eq. 3.276, one needs to take into account
the dependence on time of the density. Ignoring this detail, the solution of
Eq. 3.278 leads to what is called ”Landau damping effect” (see reference
L. Landau and reference V. Maslo and M. Fedoryuk). With the above
properties of the Laplace transformation and knowing that L{sin ωt} =
ω/(p2 + ω 2 ), let us apply this transformation to Eq. 3.277 to get the
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
following expression
i4πce ∂f0 ρ̃ ω
(iv · k + p)f˜1 = fˆ1 (0) + k·
µωm ∂v p + ω 2
2
" #
4πe ∂f0 (pJ̃ − Ĵ(0)) ω
+ ·
ωm ∂v p2 + ω 2
" #
i4πce ∂f0 v · J̃ ω
− k·
ωm ∂v p2 + ω 2
" #
i4πce ∂f∂v · J̃ ω
0
+ v·k
ωm p2 + ω 2
(3.280)
where ρ̃ = ρ̃(k, v, p) and J̃ = J̃(k, v, p) are the corresponding expressions
in the Fourier-Laplace space. Rearranging terms on this expression, one
gets the solution
ifˆ1 (0) 4πce
f˜1 (k, v, p) = − + ×
(v · k − ip) µm(p2 + ω 2 )(v · k − ip)
∂f0 iµ ∂f0 ∂f0 ∂f0
× k· ρ̃ − · pJ̃ − Ĵ(0) − µ k · (v · J̃) + µ(v · k)
∂v c ∂v ∂v ∂v
(3.281)
The dispersion relation and other physical properties can be obtained by
substituting this expression into the definitions
Z Z
ρ̃ = e f˜1 (k, v, p)dv and J̃ = e vf˜1 (k, v, p)dv . (3.282)
<3 <3
ik · E
e = 4π ρ̃/˜, ik × E e = − 1 (pB e −Bb 0) (3.285)
c
and
ik · B
e =0, ik × Be = 4π µ̃ J̃ + µ̃˜
e b
(pE − E0 ). (3.286)
c c
where we have defined E b 0 = Ê(k, 0) in the Fourier space, similarly with
B0 . From Eq. 3.272 and Eq. 3.273, one has that E
b b0 = B
b 0 = 0. Now, using
the same vector identity a × (b × c) = (a · c)b − (a · b)c we used before, it
follows that
−1 4π ρ̃ 4π µ̃p
E(k,
e p) = 2 i k + J̃ (3.287)
k 2 + µ̃˜2p ˜ c2
c
4π µ̃/c
B(k, p) = i 2 k × J̃, (3.288)
e
k + µ̃˜c2p
2
Differentiating the fourth and fifth equations and using them again, one
gets the decoupled equations
d2 vx d 2 vy
2 e 2 e
+ ω vx = Ėx + Ey , and + ω vy = Ėy − Ex ,
dt2 m dt2 m
(3.298)
where ξ˙ means dξ/dt. Since the right hand side of these equation are
functions depending on time, the solutions of these equation are given by
1 t
Z
vx = c1 cos ωt + c2 sin ωt + g1 (s) sin ω(t − s) ds (3.299)
ω
and
Z t
1
vy = c3 cos ωt + c4 sin ωt + g2 (s) sin ω(t − s) ds , (3.300)
ω
where the functions g1 and g2 have been defined as
e e
g1 (t) = Ėx + Ey and g2 (t) = Ėy − Ex . (3.301)
m m
e t
Z Z Z t
e
vz = Ez (s) ds + c5 and z = dt Ez (s) ds + c5 t + c6 .
m m
(3.304)
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
e t
Z
c5 = vz − Ez (s)ds ,
m
Z t
et t
Z Z
e
c6 = z − dt Ez (s)ds − vz t + Ez (s)ds .
m m
(3.305)
Finally, the integration of the last equation in 3.297 can be expressed as
Z
df
= t + g c(x, v, t) , (3.306)
C(f )
where the vector c has been defined as c = (c1 , c2 , c3 , c4 , c5 , c6 ), and g is an
arbitrary function. For the Krook model we can write the general solution
as
f (x, v, t) = fα0 + G c(x, v, t) e−ναβ t ,
(3.307)
where G is an arbitrary function which is determined by initial conditions.
In the Schrödinger picture of the quantum mechanics one can solve a prob-
lem either with the Schrödinger equation for the wave function |Ψi,
∂|Ψi
i~ = H|Ψi
b , (3.308)
∂t
where |Ψi is a ket vector element of a finite or infinite Hilbert space (see
reference A. Messiah and reference P.A.M. Dirac), and H b is an Hermitian
operator associated to the Hamiltonian of the system, or we can solve a
problem with the von Neuman equation for the density matrix operator ρ,
∂ρ
i~ = [H,
b ρ] , (3.309)
∂t
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Diagonal elements: Let us deal with Eq. 3.317 which represents a linear
PDEFO defined in <3 . The equations for its characteristics in parametric
form are given by
dk dr dρs
=r, = βr − k + 2kηs , = −Dβr2 ρs . (3.319)
dτ dτ dτ
Making the differentiation of the first term and using the second one, one
gets
d2 k dk
+ (1 − 2ηs)k − β =0 (3.320)
dτ 2 dτ
which has the solution
k(τ ) = eβτ /2 a1 sin ωτ + a2 cos ωτ ,
(3.321)
where ω has been defined as
p
ω= 1 − β 2 /4 − 2ηs . (3.322)
Therefore, using the first term of 3.319, we also have
β β
r(τ ) = eβτ /2 a1 (ω cos ωτ + sin ωτ ) + a2 (−ω sin ωτ + cos ωτ ) . (3.323)
2 2
From these expressions we get the characteristics
e−βτ /2 β
a1 = k(ω sin ωτ − cos ωτ ) + r cos ωτ (3.324)
ω 2
e−βτ /2 β
a2 = k(ω cos ωτ + sin ωτ ) − r cos ωτ (3.325)
ω 2
Using Eq. 3.323 in the last equation of 3.319, making the integration and
the above characteristics, it follows that
2 2 2 2
ρ̂s (r, k.τ ) = G a1 (τ ), a2 (τ ) e−D[(β + 4ω )k + 4r ]/8 ,
(3.326)
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
2 2 2 2
ρ̂0 (r, k) = G (r − βk/2)/ω, k e−D[(β + 4ω )k + 4r ]/8 .
2 2 2 2
G(ξ1 , ξ2 ) = ρ̂0 ξ1 ω + βξ2 /2, ξ2 e−D[(β + 4ω )ξ2 + 4(ξ1 ω + βξ2 /2) ]/8 .
ρ̂s (r, k, τ ) = ρ̂0 a1 (τ )ω + βa2 (τ )/2, a2 (τ ) ×
2 2 2 2
e−D[(β + 4ω − p1 (τ ))k + (4 − p2 (τ ))r + p3 (τ )kr]/8 , (3.327)
e−βτ (β 2 + 4ω 2 ) 2
β + 4ω 2 − β 2 cos 2ωτ + 2βω sin 2ωτ (3.328)
p1 (τ ) = 2
4ω
e−βτ
4(β 2 + 4ω 2 ) − 4β 2 cos 2ωτ − 8βω sin 2ωτ
p2 (τ ) = (3.329)
4ω 2
e−βτ
−4β(β 2 + 4ω 2 ) + 4β(β 2 + 4ω 2 ) cos 2ωτ
p3 (τ ) = 2
(3.330)
4ω
Once we have gotten the solution in the Fourier space, the solution in the
normal space (R) is gotten by using the inverse Fourier transformation,
√ Z
ρs (r, R, τ ) = F −1 [ρs (r, k, τ )] = 2π e−ikR ρ̂s (r, k, τ )dk.
<
However, one can calculate some dynamical variables without doing this,
for example
Z
hzi(τ ) = tr(ρs z) = z ρ1/2 (z, z, τ ) + ρ−1/2 (z, z, τ ) dz. (3.331)
<
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
To see this, note that ρs (z, z, τ ) implies from 3.314 that r = 0 and R = z,
that is, it follows that
Z
hzi(τ ) = R ρ1/2 (0, R, τ ) + ρ−1/2 (0, R, τ ) dR
Z<
RF −1 ρ̂1/2 (0, k, τ ) + ρ−1/2 (0, k, τ ) dR
=
<
√ Z Z
e−ikR ρ̂1/2 (0, k, τ ) + ρ−1/2 (0, k, τ ) dk
= 2π R dR
< <
√ Z
∂ ρ̂1/2 (0, k, τ ) ∂ρ−1/2 (0, k, τ )
Z
= −i 2π dR e−ikR + dk
< < ∂k ∂k
√
∂ ρ̂1/2 (0, k, τ ) ∂ρ−1/2 (0, k, τ )
= −i 2π +
∂k ∂k k=0
Non diagonal elements: Let us write the non diagonal elements of the
reduced density matrix as ρ̂0s = fˆ + iĝ, and let us separate the real and
imaginary parts from the Eq. 3.318. The equations for f and g can be
written as
∂ 2 ĝ ∂ 2 fˆ
L(fˆ) = 2ηs 2 , L(ĝ) = −2ηs 2 , (3.341)
∂r ∂r
where L is the linear operator defined as
∂ ∂ ∂ sk 2
L= + (βr − k) +r + Dβr2 + . (3.342)
∂τ ∂r ∂k 2
Eq. 3.341 can be solved by iteration method in any compact set of <3 ,
related to the variables r, k and τ . Assuming one has this compact set, the
equations to be solved are
∂ 2 ĝn−1 ∂ 2 fˆn−1
L(fˆn ) = 2ηs 2
, L(ĝn ) = −2ηs , n ≥ 1, (3.343)
∂r ∂r2
and such that L(fˆ0 ) = L(ĝ0 ) = 0. The equation defined by L(u) = 0 is
given by
∂u ∂u ∂u sk 2
+ (βr − k) +r = − Dβr2 + u (3.344)
∂τ ∂r ∂k 2
and represents a linear PDEFO defined in <3 , u = u(r, k, τ ). The equations
for its characteristics in parametric form are given by
dk dr du sk 2
= r, = βr − k, and = − Dβr2 + u. (3.345)
dτ dτ dτ 2
Making the differentiation with respect to τ of the first two equations above,
one gets
d2 k dk
2
+k−β =0 (3.346)
dτ dτ
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
2 2
−2α3 ξ2 (ωo ξ1 +βξ2 /2)
G(ξ1 , ξ2 ) = uo (ωo ξ1 + βξ2 /2, ξ2 )eα1 ξ2 +α2 (ωo ξ1 +βξ2 /2) ,
where ξ1 and ξ2 are any variables. Therefore, the solution of Eq. 3.344 can
be written (after some arrangements) as
u r, k, τ = uo ωo b1 (τ ) + βb2 (τ )/2, b2 (τ ) ×
2 2
e{(α1 − q1 )k + (α2 − q2 )r − 2(α3 + q3 )kr} , (3.356)
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
e−βτ
16ωo2 α2 cos2 ωo τ + 16α1 + 4β 2 α2 − 16βα3 sin2 ωo τ
q2 (τ ) = 2
16ωo
+ 16ωo α3 − 8βωo α2 sin 2ωo τ (3.358)
e−βτ
−16ωo2 α3 cos2 ωo τ + −2β 2 α2 + 8β 2 α3 + 16ωo2 α3 − 8β(α1 + α2 ωo2 ) sin2 ωo τ
q3 (τ ) = 2
16ωo
−2ωo −β 2 α2 + 4(α1 − α2 ωo2 sin 2ωo τ .
(3.359)
Having solved the problem L(u) = 0, we can now proceed to solve Eq. 3.343
for any n ≥ 1. Let us solve first the case for n = 1, and the generalization
will be given straightforwardly. The equation defines by 3.343 is written as
dfˆ1 sk 2 ˆ ∂2u
= − Dβr2 + f1 + 2ηs 2 . (3.362)
dτ 2 ∂r
The solution for r and k is the same as Eq. 3.347 and Eq. 3.349, with the
same angular frequency 3.348 and the same characteristics 3.350 and 3.351.
The solution of Eq. 3.362 is readily given by
e 1 , b2 )e−[α1 k2 +α2 r2 −2α3 kr]
fˆ1 (r, k, τ ) = G(b
Z τ 2
2 2 ∂ u −[α1 k2 (σ)+α2 r2 (σ)−2α3 k(σ)r(σ)]
+2ηse−[α1 k +α2 r −2α3 kr] e dσ
0 ∂r2
(3.363)
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
3.14 Problems
3.2 Find the solution of the PDEFO found in exercise (12) of chapter 1,
assuming that the equation
dx dv
=
v F (x, v)
brings about the characteristic curve C = C(x, v), and show that the solu-
tion for L(x, v) (J = Lvv ) can be written as
Z v Z v0 R v00 Fṽ
0
L(x, v) = dv dv 00 A C(x, v 00 ) e− dṽ/F (x,ṽ)
+ B1 v + B2 ,
d2 x
m = −αv 2 (1 − v 2 /c2 )3/2 , c is the speed of light .
dt2
i) Find the constant of motion associated to this system by solving its as-
sociated PDEFO.
ii) Determine this constant of motion such that limc→∞ K = mv 2 /2.
iii) If it is possible, find the Lagrangian of the system by using Eq. (3.17a).
If it is not possible, determine the main difficulty.
iv) If it is possible, find the Hamiltonian of the system by using Eq. (3.29).
If it is not possible, determine the main difficulty.
v) Since v/c ≤ 1, write down the constant of motion in Taylor series expan-
sion around v/c = 0, and using this expression, repeat the steps (iii) and
(iv).
3.4 Show that the constant of motion associated to the dynamical system
dx dv α
=v , = −ω 2 x − v
dt dt m
can be given by the following expression
m 2
v + 2ωα xv + ω 2 x2 e−2ωα Gα (v/x,ω) ,
K(x, v) =
2
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
corresponding to the weak, critical, and strong dissipation cases. Show the
difficulty to find the Lagrangian and the Hamiltonian of the system, even
at first order in the parameter ωα (very weak dissipation).
3.5 Find the eigenvalues of the operator L+ ( Eq. (3.41a)), and look for
a polynomial solution.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
3.15 References
3.5 K. Huang, Statistical Mechanics, John Wiley & Sons, 1987. Chap.6-7.
3.9 G. López and S. Chen, Tune Shift Effect Due to Multipole Longitudi-
nal Periodic Structure in the Superconducting Dipole Magnets, SSCL-550,
October 1991.
3.15 A.N. Kolmogorov, Dokl. Akad. Nauk. SSSR, 98, (1954) 527.
3.25 A. Messiah, Quantum Mechanics, John Wiley & Sons, (1976), vol.
I, II.
3.28 A.O. Caldeira and A.J. Legget, Path integral approach to quantum
Brownian motion, Physica A, 121 (1983) 587.
3.29 G. Johanson, L. Tornberg, and C.M. Wilson, Phys. Rev. B., 74,
(2006) 100504(R).
Chapter 4
In this chapter we will developed the theory of the nonlinear PDEFO de-
fined on <2 and on <n .
The PDEFO for functions defined in the plane (x, y) have the general form
F (x, y, z, q, p) = 0, (4.1)
where z = z(x, y), and p and q are defined as
∂z ∂z
p= , q= . (4.2)
∂x ∂y
Let z = f (x, y) be the integral surface of Eq. (4.1), then at any point
P = (x, y, z) on this surface, Eq. (4.1) gives us a nonlinear relation between
p and q
φ(p, q) = 0 (4.3)
in such a way that there can exist more than one possible solution for p,
with q given (or the other way around), then the normal vector,
1
n̂ = (p, q, −1), (4.4)
(p2 + q 2 + 1)1/2
to the surface at this point is not unique defined (see Fig. 4.1). In this
way we obtain a one parameter family of normal-vectors to the surfaces at
the point P . Its envelope will be called the Monges’s cone of the normal
directions. As a consequence, a one parameter family of tangent planes
passing through the point P (x, y, z) is formed, Z − z = p(X − x) + q(Y − y),
and this envelope is called Monge’s cone of the tangent planes.
127
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Fig. 4.1 Family of normal vectors generated by (4.4), the envelope is generated by the
non linear relation between p and q (4.2).
Φ(x, y, z, a, b) = 0, (4.5)
where a and b are constants. The relation (4.5) defines a two parameters
family of surfaces. The envelope of this family will be also an integral
surface because the normal vector to the envelope surface coincides with the
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
normal vector to one of the integral surface of the family. The determination
of this envelope is given by
∂Φ ∂Φ
Φ(x, y, z, a, b) = 0, = 0, = 0. (4.6)
∂a ∂b
We can obtain a one parameter of integral surface if we make b = b(a) and
in this case the envelope will be determined by
∂
Φ(x, y, z, a, b(a)) = 0, Φ(x, y, z, a, b(a)) = 0 (4.7a)
∂a
or
∂Φ ∂Φ ∂b
Φ(x, y, z, a, b(a)) = 0, + = 0. (4.7b)
∂a ∂b ∂a
Because these last relation contain an arbitrary parameter, this allows us
to obtain an integral surface which satisfies the Cauchy initial conditions.
Example 4.1. Find the envelope to the family of surfaces given by the
equation
(x − a)2 + y 2 − z 2 = b2 .
The family of surfaces (4.5) is
Φ(x, y, z, a, b) = (x − a)2 + y 2 − z 2 − b2 = 0.
The set of equations (4.6) are then
(x − a)2 + y 2 − z 2 − b2 = 0, −2(x − a) = 0, −2b = 0,
which implies that the straight lines defined by
z = ±y
are the envelopes •
Let us see first some particular cases where Eq. (4.1) becomes simple to
solve.
Case (a): Suppose that the PDEFO is of the form
F (p, q) = 0 . (4.8a)
This expression implies that
p = φ(q). (4.8b)
Making q = a, where a in an arbitrary constant, we get from Eq. (4.8a)
p = φ(a),
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
F (z, p, q) = 0. (4.13)
z = Φ(ax + y, a, b).
dz = adx + bdy,
z = ax + by + a2 b •
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Let us see now the Lagrange-Charpit method for the solution of the PDEFO
given by Eq. (4.1). Suppose we find a function U (x, y, z, p, q) such that,
from the equations
F (x, y, z, p, q) = 0 (4.18a)
and
U (x, y, z, p, q) = a, (4.18b)
where “a” ia an arbitrary constant and ∂(F, U )/∂(p, q) 6= 0, we can have
p = p(x, y, z, a) (4.19a)
and
q = q(x, y, z, a). (4.19b)
Therefore we need only to integrate
dz = p(x, y, z, a)dx + q(x, y, z, a)dy (4.20)
to obtain the two parameters solution
Φ(x, y, z, a, b) = 0. (4.21)
The function U is determined from the integrability condition of the Pfaf-
fian equation (4.20),which defines the vector field E = (p, q, −1), and this
integrability (E · ∇ × E = 0), as it was already seen in Eq. (1.54), is given
by
∂q ∂p ∂p ∂q
p −q − + = 0. (4.22)
∂z ∂z ∂y ∂x
Thus, if we can find a function U satisfying Eq. (4.22), assuming we also
have relations (4.19), the integration of Eq. (4.20) can be made obtaining
the solution (4.21). As it was already pointed out, the existence of relations
(4.19) can be assured by asking that the following relation be satisfied
∂(F, U )
6= 0 (4.23)
∂(p, q)
and by the implicit function theorem (see reference T.M. Apostol). Let
us calculate the partial derivatives ∂q/∂z, ∂p/∂z, ∂p/∂y and ∂q/∂x using
relations (4.18). Doing the total derivation with respect x of Eq. (4.18), we
have
∂F ∂F ∂p ∂F ∂q
+ + =0
∂x ∂p ∂x ∂q ∂x
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
and
∂U ∂U ∂p ∂U ∂q
+ + =0
∂x ∂p ∂x ∂q ∂x
which can be written as
Fp Fq ∂p/∂x Fx
=− .
Up Uq ∂q/∂x Ux
Due to conditions (4.23), the matrix can be inverted. Solving this equation,
if follows
∂(U, F ) ∂(U, F )
∂p/∂x Uq Fx −Fq Ux − /
= −1 = ∂(q, x) ∂(q, p) .
∂(F, U )/∂(p, q) ∂(U, F ) ∂(U, F )
∂q/∂x −Up Fx Fp Ux /
∂(p, x) ∂(q, p)
(4.24)
In a similar way, after making the total derivation of Eq. (4.18) with respect
to y and z (the index ”x” changes to ”y” and ”z”), we obtain
∂p ∂(F, U ) ∂(F, U )
=− / , (4.25)
∂y ∂(y, q) ∂(p, q)
∂p ∂(F, U ) ∂(F, U )
=− / , (4.26a)
∂z ∂(z, q) ∂(p, q)
and
∂q ∂(F, U ) ∂(F, U )
=− / . (4.26b)
∂z ∂(p, z) ∂(p, q)
Substituting Eq. (4.24), Eq. (4.25) and Eq. (4.26) in Eq. (4.22) we get
∂(F, U ) ∂(F, U ) ∂(F, U ) ∂(F, U )
p − −q − + − =0
∂(p, z) ∂(z, q) ∂(y, q) ∂(p, x)
or
∂U ∂U ∂U
Fp + Fq + (pFp + qFq )
∂x ∂y ∂z
∂U ∂U
− (Fx + pFz )
− (Fy + qFz ) = 0, (4.27)
∂p ∂q
which is a homogeneous linear PDEFO. Thus, From the equations for this
characteristic curves
dx dy dz dp dq
= = = = , (4.28)
Fp Fq pFp + qF q −(Fx + pFz ) −(Fy + qFz )
we can derive at least one characteristic surface
U1 (x, y, z, p, q) = a, (4.29)
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
From Eq. (4.31),one gets q = yzp2 which can be used in the third term
above, and using the fourth term, we get
dz dp
2
=
yp z −p3 y
which has the solution
U1 = pz = a. (4.32)
With Eq. (4.31) and Eq. (4.32), we obtain
p = a/z
and
q = ya2 /z.
In this way, the Pfaffian equation (4.20) is
a ya2
dz = dx + dy
z z
and can be integrated, giving the solution
z 2 = 2ax + a2 y 2 + b.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Example 4.7. Find the integral surface of the Example (4.4) which passes
through the curve
x(t) = 1, y(t) = t and z(t) = t.
The two parameter family of integral surface is given by 4z = (a1/2 x +
a−1/2 y + b)2 , which defines Φ(x, y, z, a, b) = (a1/2 x + a−1/2 y + b)2 − 4z.
Then, the Eq. (4.35) and Eq. (4.37) are given on the initial curve as
2
a1/2 + a−1/2 t + b(a) − 4t = 0
and
2 a1/2 + a−1/2 t + b(a) a−1/2 − 4 = 0.
If the system (4.28) can be integrated, then the solve the Cauchy problems
the following method called “the Characteristics”, “Cauchy”, or sometimes
“First Jacobi” method is very useful. Taking s as the parameter for the
family curves Γs
x0 = x0 (s), y0 = y0 (s) and z0 = z0 (s), (4.41)
the integral surface z = z(x, y) passing through the curve can be imagined
as being formed by the set of point the certain monoparametric parameter
family of curves Γ, called characteristic (see Fig. 4.2)
This expression give us the first condition to find p0 (s) and q0 (s). To find
the other condition, let us assume that q0 (s) is given. Then, integrating
the system (4.50) such that Eq. (4.52) is satisfied, we obtain
x = x(s, t), y = y(s, t), z = z(s, t), p = p(s, t), q = q(s, t). (4.53a)
Fixing s, we obtain one the characteristic curves
x = x(s, t), y = y(s, t), z = z(s, t), (4.53b)
and taking the variation of s, we obtain a surface. At any point of this
surface, Eq. (4.53) and Eq. (4.45) satisfied. We still need to verify that
∂z ∂z
p= and q =
∂x ∂y
that is, the following expression must be satisfied
dz = pdx + qdy (4.54)
or, in terms of the variable s and t
∂x ∂x ∂y ∂y ∂z ∂z
dz = p ds + dt + q ds + dt = ds + dt
∂s ∂t ∂s ∂t ∂s ∂t
which is equivalent to the following conditions
∂x ∂y ∂z
p +q = (4.55)
∂s ∂s ∂s
and
∂x ∂y ∂z
p
+q = . (4.56)
∂t ∂t ∂t
The Eq. (4.56) is an identity since in Eq. (4.50) we already imposed the
condition (4.54) along the characteristics. However, Eq. (4.55) is not guar-
anteed by any expression. Let us find the conditions to satisfy Eq. (4.55).
Defining the function U as
∂x ∂y ∂z
U =p +q − (4.57)
∂s ∂s ∂s
and differentiating with respect to t, we have
∂U ∂p ∂x ∂2x ∂q ∂y ∂2y ∂2z
= +p + +q − . (4.58)
∂t ∂t ∂s ∂t∂s ∂t ∂s ∂t∂s ∂t∂s
Now, doing the differentiation of Eq. (4.56) with respect to s, we get
∂p ∂x ∂2x ∂q ∂y ∂2y ∂2z
+p + +q − =0
∂s ∂t ∂s∂t ∂s ∂t ∂s∂t ∂s∂t
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Note that this solution is the same as that of Example (4.7), Eq. (4.40b),
which was obtained using a different method. The use of particular method
depends on the skill of the individual.
Observation 1. The special cases (a), (b), (c) and (d) presented at the begin-
ning of this chapter can be deduced from the Lagrange-Charpit method by
solving Eq. (4.27) with the corresponding form F of the nonlinear PDEFO.
This is left as exercises at the end of this chapter.
We will show that with a suitable selection of values for pi0 (i = 1, ..., n),
the set of points determined by the characteristics (4.73) form the n-
dimensional integral surface of Eq. (4.63). These values must satisfy
F (x(s, t), z(s, t), p(s, t)) = 0 (4.74)
and
∂z
pi = i = 1, ..., n (4.75a)
∂xi
or equivalently
n
X
dz = pl dxl . (4.75b)
l=1
Differentiating the function F with respect to t, we have
n n
dF X dxi dz X dpi
= Fx i + Fz + Fpi ,
dt i=1
dt dt i=1 dt
and considering this equation along the integral curves of the system (4.71),
we get
n n n
dF X X X
= Fxi Fpi + Fz p i Fp i − Fpi (Fxi + pi Fz ) = 0.
dt i=1 i=1 i=1
Consequently, the function F is constant along these curves, that is
F (x, z, p) = F (x0 , z0 , p0 ). (4.76)
Thus, the values of pi0 (i = 1, ..., n) must be such that
F (x10 , ..., xn0 , z0 , p10 , ..., pn0 ) = 0. (4.77)
We still need to show that the expression
Xn
dz = pi dxi (4.78)
i=1
is satisfied for every t and sj (j = 1, ..., n − 1). Expressing Eq. (4.78) in
terms these parameters, it follows that
n−1 n n
∂z X ∂z X ∂xi
X ∂x i
dz = dt + dsj = pi dt + dsj ,
∂t j=1
∂sj i=1
∂t j=1
∂sj
and
n
∂z X ∂xi
− pi = 0. (4.79b)
∂sj i=1
∂sj
Eq. (4.79a) represents an identity along the integral curves of the system
(4.71) since on these curves we have
n
∂z X ∂xi
= p i Fp i and = Fp i i = 1, ..., n.
∂t i=1
∂t
However, Eq. (4.79b) will be true only for certain values of pi0 (i = 1, ..., n).
To see this, define the function Uj as
n
∂z X ∂xi
Uj = − pi j = 1, ..., n − 1, (4.80)
∂sj i=1
∂sj
and carrying out the differentiation of Eq. (4.79a) and Eq. (4.79b) with
respect to parameter t, we get the following two equations
n n
∂Uj ∂2z X ∂ 2 xi X ∂pi ∂xi
= − pi − (4.81a)
∂t ∂t∂sj i=1
∂t∂sj i=1
∂t ∂sj
and
n n
∂2z X ∂ 2 xi X ∂pi ∂xi
− pi − = 0. (4.81b)
∂t∂sj i=1
∂t∂sj i=1
∂sj ∂t
Using Eq. (4.81b) in Eq. (4.81a) and the assumption that x, y, z ∈ C 2 (<2 ),
we obtain for Eq. (4.81a)
n n
∂Uj X ∂pi ∂xi X ∂pi ∂xi
= − . (4.82)
∂t i=1
∂sj ∂t i=1
∂t ∂sj
Evaluating this expression along the integral curves of Eq. (4.71), we have
n n
∂Uj X ∂pi X ∂xi
= Fpi + (Fxi + pi Fz ) .
∂t i=1
∂sj i=1
∂sj
Taking into consideration Eq. (4.79b), it follows that ∂F/∂sj = 0, and the
solution of the above equation is
Z t
Uj = Uj0 (s) exp − Fz dt . (4.83)
0
Once we have the values pi0 for i = 1, ..., n satisfying the Eq. (4.77) and
Eq. (4.84), the solution (4.73) is completely determined.
Let us find first the parametric form of this initial conditions. Our function
F is
n
X
F = p2i − 4 = 0,
i=1
and
√
pn0 = ± 5 − n.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Note that real solutions are obtained for this problem for the dimension of
the space lower or equal to five, n ≤ 5.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
4.3 Problems
z = ax + a−1 y − (b − x)2 .
4.8 Find the solution of the problem 4.3, i.e. find the integral surface
(using cauchy’s method) of the equation
1
F = xp + yq + pq − z = 0
4
which passes through the curve y = a, z = x2 .
4.4 References
Chapter 5
Physical Applications II
In this chapter we will illustrate the use of the PDEFO in some problems of
Physics. We will not try to explain the full physical concepts or to develop
the full physical consequences of solution of the equations, this is not the
intention of this book, but we will give the proper references where the full
physical understanding of the solution can be found.
Following the ideas of Sec. 1.6, we will present some solutions for the non-
linear PDEFO appearing in that chapter.
153
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
dq dS dSt dSq
dt = = = = .
Sq /m St + Sq2 /m 0 −kq
From the second and last term, we get the equation
dq dSq
=
Sq /m −kq
and solving this one, we obtain the function U as
Sq2 1
U= + kq 2 = a , (5.4)
2m 2
where a is a constant of integration. From Eq. (5.3) and (5.4), we get
∂(F, U )
= Sq /m ,
∂(St , Sq )
then for every value such that Sq 6= 0, we can have
St = −a (5.5a)
and
1/2
√
2a
Sq = ± km − q2 (5.5b)
k
and integrating the expression
ds = St dt + Sq dq ,
we obtain the solution of Eq. (5.2) as
1/2
√ Z
2a 2
S = −at ± mk −q dq + b . (5.6)
k
The trajectory of the particle can be deduced from Eq. (1.78)
∂S
β= .
∂a
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
where a represents the energy of the particles and ω is the angular frequency
of oscillation given as
p
ω = k/m . (5.7b)
The constants a and β are determined by the initial conditions of the prob-
lem, (q0 , p0 ).
p22 p23
F (r, θ, φ, t, S, p1 , p2 , p3 , p4 ) = p1 + + −
r2 r2 sin2 θ
1 α 2
− 2 p4 + + κ2 = 0 . (5.20)
c r
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
which is the inverse matrix of that one formed with the coefficients of the
pseudo-metric in the four dimensional Minskowsky space (flat space). This
metric is
where the coefficients of our metric gµν (x) are functions determined by the
kind of energy, matter, and the symmetry of this one. These coefficients can
be calculated by the Einstein’s equation (see reference C. Møller). Thus,
we have passed from a pseudo-Euclidean space described by Eq. (5.30) to
a pseudo-Riemann space characterized by the metric (5.31). Taking the
inverse matrix (g µν (x)), we can calculate the free motion of a test particle
(it is assumed that the deformation caused in the space by the particle is
negligible) in this space with the equation
∂S ∂S
g µν (x) + κ2 = 0 . (5.32)
∂xµ ∂xν
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
dp1
= 2 =
p1 rg /r − 2p2 /r − 2p3 /r3 sin2 θ + p24 e−2ν rg /c2 r2
2 2 3 2
where a3 is a constant. Now, substituting Eq. (5.41a), Eq. (5.41b) and Eq.
(5.41c) in Eq. (5.39), we obtain
e−ν 2 e−2ν 2
p21 + a − 2 a2 + κ2 e−ν = 0 . (5.41d)
r2 3 c
We can use Eq. (5.41) to integrate the differential 1-form in <4
dS = p1 dr + p2 dθ + p3 dφ + p4 dt ,
obtaining the solution for Eq. (5.38) as
1/2
e−2ν 2 e−ν 2
Z
2 −ν
S=± a − a − κ e dr±
c2 2 r2 3
1/2
a21
Z
± a23 − dθ + a1 φ + a2 t + b , (5.42)
sin2 θ
where a3 and a2 represent the angular momentum and the energy of the
particle. The trajectory of the particle is obtained through the relation
resulting from
∂S
β= ,
∂a3
that is
Z Z
a3 dr a3 sin θdθ
β = ± ± . (5.43)
(a23 sin2 θ − a21 )1/2
h i1/2
a22 a23
r2 c2 − r2 + κ2 eν
A physical discussion of the above solution (for the particular case a1 = 0),
can be found in the last above mentioned reference.
and
√
r = (z + cT )/ 2 (5.45b)
where ω represents the amplitude of the wave, and ν is the wave number.
The matrix associated to this metric is
1 0 0 0
0 1 0 0
(gµν ) =
0
, (5.47)
0 0 1
0 0 1 −σ
2 2 2
∂S ∂S ∂S ∂S ∂S
+ +2 +σ + κ2 = 0 . (5.49)
∂x ∂y ∂r ∂t ∂r
Defining p1 , p2 , p3 and p4 as
∂S ∂S ∂S ∂S
p1 = , p2 = , p3 = , and p4 = ,
∂x ∂y ∂r ∂t
Fx = p23 σx ,
Fy = p23 σy ,
Fr = 0 ,
Ft = p23 σt ,
FS = 0 ,
Fp1 = 2p1 ,
Fp2 = 2p2 ,
Fp3 = 2p4 + 2σp3
and
Fp4 = 2p3 .
Using these expressions in the system of equation (4.71), we have
dx dy dr dt dS
= = = = 2 =
2p1 2p2 2p4 + 2σp3 2p3 2
2p1 + 2p2 + 4p3 p4 + 2σp23
dp1 dp2 dp3 dp4
= 2 = 2 = = . (5.51)
−p3 σx −p3 σy 0 −p23 σt
From the term containing dp3 , it follows
p3 = a = constant . (5.52)
Using this result in the terms of Eq. (5.51) containing dt, dp1 and dp2 , we
obtain the following equations
dx 1
= p1 , (5.53a)
dt a
dp1 a
= − σx , (5.53b)
dt 2
dy 1
= p2 (5.54a)
dt a
and
dp2 a
= − σy . (5.54b)
dt 2
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
Doing the differentiation of Eq. (5.53a) and Eq. (5.54a) with respect to
the variable t and using Eq. (5.53b), Eq. (5.54b), and the definition (5.46),
we obtain an equivalent system given by
d2 x
+ 2ωx cos(νt) = 0 (5.55)
dt2
and
d2 y
− 2ωy cos(νt) = 0 . (5.56)
dt2
From the terms of Eq. (5.51) having dS and dt, we obtain the equation
dS 1
= [p21 + p22 + 2p3 p4 + σp23 ] ,
dt a
but using Eq. (5.50) and Eq. (5.52) here, we get
dS
= −κ2 /a . (5.57)
dt
From the terms of Eq. (5.51) having dr and dt, we have
1
dr = (p4 + σp3 )dt ,
a
where we can use Eq. (5.50), Eq. (5.52) to integrate and to bring about
the expression
Z Z
1 2 2 2 2
r = − 2 [p1 + p2 + σa + κ ]dt + σdt + r0 . (5.58)
2a
The solution of Eq. (5.55) and Eq. (5.56) gives the evolution variables
x and y as a function of the parameter t. Then, from Eq. (5.46), Eq.
(5.53a) and Eq. (5.54a), the evolution of σ, p1 and p2 as a function of the
parameter t can be known. This allows us to integrate Eq. (5.58) to know
the evolution of r as a function of the parameter t. Finally, the evolution
of the variable z and T can be known using Eq. (5.45a) and Eq. (5.45b),
√
z = (t + r)/ 2 (5.59a)
and
√
cT = (t − r)/ 2 . (5.59b)
From Eq. (5.59b), we can calculate the term dT /dt, and since the compo-
nents of the velocity of the particle are given by
−1
dxi dxi dT
vi = = , (5.60)
dT dt dt
we are able to completely know the behavior of the particle under interac-
tion with this gravitational wave. A physical discussion about this solution
can be found in reference G. López.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
The solution of Eq. (5.66) provides us with the geometric surface which
makes up the front waves in a non-homogeneous medium characterized by
the refraction index n(x, y, z). Defining pi = ∂Ψ/∂xi for i = x, y, z on this
equation, this one can be written as
F = p21 + p22 + p23 − n2 = 0 ,
which has the following equations for its characteristics
dx dy dz dΨ dp1 dp2 dp3
= = = 2 = = = ,
2p1 2p2 2pz 2n 2nx n 2ny n 2nz n
where we have defined ni = ∂n/∂xi . Note that if n does not depend on
one particular variable, the associated p is automatically a constant (or a
characteristic).
and the light rays in such a medium are found after taking the partial
differentiations with respect the constant appearing in Eq. (5.71), that is
using Eq. (1.78). These partial differentiations are
Z z
∂Ψ dξ
=x−a 2 2 2 1/2
=α
∂a 0 (n (ξ) − a − b )
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
and Z z
∂Ψ dξ
=y−b 2 (ξ) − a2 − b2 )1/2
=β
∂b 0 (n
or Z z
dξ
x=α+a 2 (ξ) − a2 − b2 )1/2
=α (5.72a)
0 (n
and Z z
dξ
y =β+b =β. (5.72b)
0 (n2 (ξ)
− a2 − b2 )1/2
More discussion on this solution can be seen in reference K.R. Lunerburg
and reference M. Born and E. Wolft.
Let us see another example. Consider the parameter ”s” (length of a circu-
lar accelerator) as the parameter of evolution of of the transversal motion
of a bunch of charged particle in a circular accelerator. The equivalent
Hamiltonians which describe this transversal motion are given by
1 2 e s) = J ,
p + K(s)x2 , and H(J,
H(x, p, s) = (5.93)
2 β(s)
where the function β satisfies the equation 2ββ 00 − β 02 + 4K(s)β 2 = 4
(β 0 = dβ/ds), and K(s) describes the magnetic elements (lattice) in the
accelerator ring. Let us see this equivalence by looking a generatrix function
of the form F1 (x, Q, s), where p = ∂F1 /∂x, J = −∂F1 /∂Q and F1 must
satisfies the non linear PDEFO
2
1 ∂F1 1 ∂F1 1 ∂F1
− = + K(s)x2 + . (5.94)
β(s) ∂Q 2 ∂x 2 ∂s
Assuming now F1 of the form
F1 (x, Q, s) = λx2 ψ(Q, s) , (5.95)
and substituting this expression into our non linear PDEFO, one gets the
following quasi-linear PDEFO for ψ
1 ∂ψ ∂ψ 1
+ = −2λψ 2 − K(s) . (5.96)
2 ∂Q ∂s 2λ
The equations for its characteristics are given by
dψ
β(s)dQ = ds = . (5.97)
−2λψ 2 − K(s)/2λ
From the first two term, one can get the characteristic
Z
ds
c1 = Q − , (5.98)
β(s)
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
and from the last two term, one has the following non linear ordinary dif-
ferential equation
dψ
+ 2λψ 2 = −K(s)/2λ . (5.99)
ds
Let us propose a solution for this equation of the form
1
ψ(Q, s) = f (Q) + g(s) . (5.100)
β(s)
Then, since one has that df /ds = (df /dQ)/β(s), because of the character-
istic c1 and after some arrangements, the substitution of Eq. (5.100) into
Eq. (5.99) brings about the following equation for f (Q),
df
+ 2λf 2 = f (β 0 − 4λg) − 2λg 2 − βg 0 + gβ 0 − β 2 K(s)/2λ . (5.101)
dQ
Choosing the function g(s) of the form g = β 0 /4λ, this equation is written
as
1 β 02 ββ 00
df
+ 2λf 2 = − − β 2 K(s) (5.102)
dQ 2λ 4 2
In this way, choosing now the β function such that it satisfies the equation
β 02 ββ 00
− − β 2 K(s) = −1 , (5.103)
4 2
The equation for f is finally stablished as
df 1
+ 2λf 2 + =0. (5.104)
dQ 2λ
By selecting the λ value as λ = 1/2, the solution of this equation is just
written as
f (Q) = − tan Q . (5.105)
Thus, the generatrix function 5.95 is determined as
x2 β 0 (s)
F1 (x, Q, s) = − tan Q − , (5.106)
2β(s) 2
and the two Hamiltonian are equivalents. •
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
5.4 Problems
5.1 Find the solution of the Hamilton-Jacobi equation of the one dimen-
sional dissipative system of example 6 (Chap. 1, Sec. 1.6) which has the
Hamiltonian
p2
H= exp(−2αq/m) ,
2m
and find the trajectory of the particle.
5.2 Show, in general, that the equation L = vf (x, v) − H(x, f (x, v)) is
the envelope of the nonlinear partial differential equation
∂L ∂L
v − L = H x, ,
∂v ∂v
where a = f (x, v) is the solution of
∂H(x, a)
= v.
∂a
5.3 The magnetic field produced in the vacuum space between the two
conductor of a coaxial cable can be characterized by the following expression
for the potential A and φ
I
A= θ, 0, 0
2π
and
φ = 0,
where I is the current flowing in the conductors. Find the solution of the
Hamilton-Jacobi equation for a charged particle moving in this field.
5.6 Solve Eq. (5.66) in spherical coordinates for a refraction index de-
pending on the radius.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
5.7 Write the PDEFO defined in <5 for the generatrix function F1 (x, Q, s)
(see Eq. (1.100)) which establishes the equivalence between the Hamilto-
nians (”s” is the parameter of evolution of the system)
1 2 1 2
p + K1 (s)x2 + p + K2 (s)y 2
H=
2 1 2 2
and
e = 1 P1 + 1 P2
H
β1 (s) β2 (s)
ii) Propose a solution for this equation of the form
F = x2 f1 (Q1 , s) + y 2 f2 (Q2 , s) ,
and show (using the linearly independence of the variables x and y) that
the functions f1 and f2 satisfy the quasi-linear PDEFO given by
1 ∂fi ∂fi
+ + Ki (s)/2 + 2fi2 = 0 , i = 1, 2
βi ∂Qi ∂s
iii) Show that the function
βi0 (s)
1
fi (Qi , s) = − tan Qi −
2βi (s) 2
(where βi0 = dβi /ds) is a solution of this quasi-linear PDEFO, and the
function βi satisfies the non linear ordinary differential equation
2βi βi00 − (βi0 )2 + 4Ki (s)βi2 = 4 , i = 1, 2 .
5.5 References
5.2 L.C. Landau and E.M. Lifshitz, The Classical Theory of Fields, Perg-
amon Press, 1971. Cap. 7, pages 46-95.
5.5 G. López, Internal Report IFUG-1988, Apd. Postal E-143, León Gua-
najuato, México.
Chapter 6
In this chapter we will use the PDEFO to find the so called “characteristic
surfaces of a linear partial differential equation of second order,” and to see
the usual classification of these equations. In the theory of Partial Differ-
ential Equation Of Second Order (PDESO), the concept of “characteristic
surfaces” has an important role in understanding the type of solution and
its characteristics of existence.
177
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
and
n n
∂2 X ∂ 2 ξk X ∂ξk ∂ξl ∂ 2
= + (6.4b)
∂xj ∂xi ∂xj ∂xi ∂xi ∂xj ∂ξl ∂ξk
k=1 l,k=1
where ũ is defined as
ũ = u(x(ξ)).
Eq. (6.5), can be written as
n
X ∂ 2 ũ
αlk (ξ) = g(ξ, ũ, ∇ũ), (6.6)
∂ξl ∂ξk
l,k=1
and
n n
X ∂ξk ∂ ũ X ∂ξk ∂ ũ
g(ξ, ũ, ∇ξ ũ) = f ξ, ũ, , ..., −
∂x1 ∂ξk ∂xn ∂ξk
k=1 k=1
n n
X X ∂ 2 ξk
− aij (x) . (6.7b)
i,j=1
∂xj ∂xi
k=1
Now, due to (6.3) it is possible to choose the new variables such that all
the elements on the diagonal of the matrix (αlk ) to be nulls, that is, αll = 0
for l = 1, ..., n. From Eq. (6.7a), all of these elements satisfy the same
nonlinear PDEFO,
n
X ∂ω ∂ω
aij (x) = 0, (6.8)
i,j=1
∂xi ∂xj
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
dx1 dxn dω
n = ... = n = n =
X X X
2 a1i (x)pi 2 ani pi 2 aij (x)pi pj
i=1 i=1 i,j=1
dp1 dpn
= n = ... = n . (6.10)
X ∂aij X ∂aij
− pi pj − pi pj
i,j=1
∂x1 i,j=1
∂xn
3
X ∂2u 1 ∂2u
− = 0. (6.11)
i=1
∂x2i c2 ∂t2
According to (6.7a) and (6.8), the equation for the characteristic sur-
faces is given by
∂ω 2 ∂ω 2 ∂ω 2 ∂ω 2
+ + − = 0. (6.13)
∂x1 ∂x2 ∂x3 ∂x0
This nonlinear PDEFO is written as
Let us see what happens for linear PDESO defined in some domain Ω ⊂ R2 .
In this case, one gets for (6.1)
∂2 ∂2u ∂2u
a11 (x, y) + 2a12 (x, y) + a22 (x, y) = f (x, y, u, ux , uy ). (6.19)
∂x2 ∂x∂y ∂y 2
The new variables
∂ ∂ ∂
= ξx + ηx , (6.21a)
∂x ∂ξ ∂η
∂ ∂ ∂
= ξy + ηy , (6.21b)
∂y ∂ξ ∂η
∂2 ∂ ∂ ∂2 ∂2 ∂2
2
= ξxx + ηxx + ξx2 2 + 2ξx ηx + ηxx 2 , (6.22a)
∂x ∂ξ ∂η ∂ξ ∂ξ∂η ∂η
∂2 ∂ ∂ ∂2 ∂2 ∂2
2
= ξyy + ηyy + ξy2 2 + 2ξy ηy + ηyy 2 (6.22b)
∂y ∂ξ ∂η ∂ξ ∂ξ∂η ∂η
and
∂2 ∂ ∂ ∂2 ∂2 ∂2
= ξxy +ηyx +ξx ξy 2 +(ξx ηy +ξy ηx ) +ηx ηy 2 . (6.22c)
∂x∂y ∂ξ ∂η ∂ξ ∂ξ∂η ∂η
Eq. (6.19) can be written in terms of ξ and η as
∂ 2 ũ ∂ 2 ũ ∂ 2 ũ
α1 (ξ, η) 2
+ 2β(ξ, η) + α2 (ξ, η) 2 = g(ξ, η, ũ, ũξ , ũη ), (6.23)
∂ξ ∂η∂ξ ∂η
where the functions α1 , β, α2 , and g are defined as
α1 = a11 ξx2 + 2a12 ξx ξy + a22 ξyy (6.24a)
g = f˜(x(ξ, η), y(ξ, η), ũ, ξx ũξ + ηx ũη , ξy ũξ + ηy ũη ) − a11 (ξxx ũξ + ηxx ũη )−
− 2a12 (ξxy ũξ + ηxy ũη )a22 (ξyy ũξ + ηyy ũη ). (6.24d)
One can select α1 = α2 = 0, which brings about, for the functions ξ and η,
the following nonlinear PDEFO
2 2
∂ω ∂ω ∂ω ∂ω
a11 (x, y) +2a12 (x, y) +a22 (x, y) = 0. (6.25)
∂x ∂x ∂y ∂y
This equation cab be seen as a quadratic algebraic equation for the term
ωx (or for ωy ) whose roots are
p
(±) a12 ± a212 − a11 a22
ωx = − ωy . (6.26)
a11
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
a) if a212 > a11 a22 , the roots λ+ and λ− are reals and different, there-
fore there are two real characteristics curves. This is called hyperbolic case
and one says that Eq. (6.19) is hyperbolic.
b) if a212 = a11 a22 , the roots λ+ and λ− have the same expression (a12 /a11 )
which is real, therefor there is only one characteristic curve. This is called
parabolic case and one says that Eq. (6.19) is parabolic.
c) if a212 < a11 a22 , the roots λ+ and λ− are complex and λ+ = (λ− )∗ ,
therefor, there is not real characteristics. This is called elliptic case and
one says that Eq. (6.19) is elliptic.
6.3 Problems
6.1 find the characteristic surfaces of the second order linear equation
3
X ∂2u 1 ∂u
− = 0,
i=1
∂x2i D ∂t
where D is constant.
∂2u ∂2u
i) − 2 =0.
∂x2 ∂y
∂2u ∂2u
ii) + 2 =0.
∂x2 ∂y
∂ 2 u ∂u
iii) − =0.
∂x2 ∂y
6.4 Determine the regions of the real plane <2 where the following PDESO
∂2u ∂2u
x 2
−y 2 =0
∂x ∂y
is hyperbolic, elliptic, or parabolic, and find the characteristic surfaces and
the standard form for the hyperbolic case.
January 22, 2014 14:45 World Scientific Book - 9in x 6in ws-book9x6˙x˙x
6.4 References
6.1 F.H. Miller, Partial Differential Equations, John Wiley & Sons, 1941.
Chap. II.