Professional Documents
Culture Documents
LECTURE 29
DIFFERENTIAL EQUATIONS 6
There are two independent solutions y1 (x) and y2 (x). The most general solution is a linear
combination of the two
y(x) = c1 y1 (x) + c2 y2 (x). (2)
We first looked at the Frobenius’ method to find the first solution y1 (x). In this method we
assumed a series solution of the form
∞
X
y(x) = aλ xk+λ (3)
λ=0
and proceeded to get the indicial equation, the recurrence relations for coefficients aλ , and then
found the solution y1 (x) in a series form.
Then we looked at the Wronskian double integral method to obtain the second solution in terms
of the first solution. The second solution has the form
Z x Rx
exp − 2 p(x1 )dx1
y2 (x) = y1 (x) dx2 . (4)
[y1 (x2 )]2
PHY310 - MATHEMATICAL METHODS FOR PHYSICISTS I Odd Term 2019
Let us look at a method to find the solution when the differential equation is non-homogeneous,
that is, of the form
y 00 + p(x)y 0 + q(x)y = f (x), (5)
and the form of yp (x) will depend on the choice for the forcing function f (x).
The method we are interested in is known as the Green’s functions method1 . The concept of
Green’s functions (or Green functions) was introduced by the British mathematician George Green
(1793 - 1841) in a mathematical essay in 1828.
As a warm up, let us first consider the following differential equation
y 00 + x2 y = 0. (8)
d2
L= + x2 (9)
dx2
and then the differential equation can be represented by such an operator acting on a function
L y(x) = 0. (10)
The Green’s function, in this case, can be considered as the analogue of the inverse of L
−1
d2
0 −1
G(x, x ) ∼ L ∼ + x2 . (11)
dx2
The idea is that the Green’s function inverts the operator, so the inhomogeneous version of the
above, L y(x) = f (x), can be solved by the analogue of
2 / 10
PHY310 - MATHEMATICAL METHODS FOR PHYSICISTS I Odd Term 2019
In electrodynamics and quantum field theory Green’s functions make an appearance often.
There, the relevant differential operators are often difficult or impossible to solve exactly. However,
we can solve them perturbatively using Green’s functions.
In classical and quantum field theory, the Green’s function is often called the propagator or
two-point correlation function. The reason is that it is related to the probability of measuring a
field at one point say, x given that it is sourced at a different point say, x0 .
We can consider a Green’s function formally as the inverse of an arbitrary linear differential operator
L. It is a function of two variables, G(x, x0 ), satisfying the equation
is given by Z
y(x) = G(x, x0 )f (x0 )dx0 . (16)
we have
Z
L y(x) = L G(x, x0 ) f (x0 )dx0
Z
= δ(x − x0 ) f (x0 )dx0
= f (x). (18)
Note that the Green’s functions, in general, are not functions but rather distributions. That
means that they can be integrated against functions. The integrals resulting from Green’s function
method may be difficult or impossible to compute analytically. However, they provide an immediate
solution to arbitrary linear differential equations when we may not be able to find a solution by
other methods.
3 / 10
PHY310 - MATHEMATICAL METHODS FOR PHYSICISTS I Odd Term 2019
We can express the solution to an arbitrary linear non-homogeneous differential equation in terms
of the Green’s function Z
y(x) = G(x, x0 )f (x0 )dx0 . (19)
and the delta function vanishes outside the point x = x0 , one method of constructing Green’s
functions is by solving the homogeneous linear differential equation
L G(x) = 0 (21)
and then imposing the correct boundary conditions at x = x0 to account for a delta function.
This process can be written more formally as follows. First step is to write down the general
form of the solutions on either side of x = x0
α y (x) + α y (x) if x < x0
1 1 2 2
G(x, x0 ) = (22)
β y (x) + β y (x) if x > x0 ,
1 1 2 2
where α1 , α2 , β1 , β2 are constants and y1 and y2 are the two solutions to the homogeneous version
of the given differential equation.
The second step is to impose the two boundary conditions. This fixes two of the constants
α1 , α2 , β1 , β2 in terms of the other two.
In the third step we impose continuity of G(x, x0 ) at x = x0 . This fixes one of the two remaining
constants.
In the fourth step we require that
dG 0
Change in slope at x is 1.
dx
That is, dG/dx increases by one at the delta function. This comes from integration of the
original differential equation around a small window on either side of x0 .
For example, in case of
y 00 + x2 y = f (x), (23)
4 / 10
PHY310 - MATHEMATICAL METHODS FOR PHYSICISTS I Odd Term 2019
This condition on the change in the derivative fixes the last constant and therefore solves for
the Green’s function.
Worked example 1
Let us consider the differential equation, which is the harmonic oscillator equation with a forcing
function f (t),
d2
y(t) + ω 2 y(t) = f (t), (26)
dt2
with the boundary conditions
dy
y(t = 0) = 0, and = 0. (27)
dt t=0
Let us write Z ∞
f (t) = f (t0 )δ(t − t0 )dt0 . (28)
0
That is, f (t) is made out of a sum of infinite number of delta functions with the weights f (t0 ) for
each t0 .
Suppose G(t, t0 ) is a solution of the differential equation Eq. (26)
d2
G(t, t0 ) + ω 2 G(t, t0 ) = δ(t − t0 ). (29)
dt2
5 / 10
PHY310 - MATHEMATICAL METHODS FOR PHYSICISTS I Odd Term 2019
Substituting Eq. (30) into the left hand side of Eq. (26) and using Eqs. (29) and (28) we find
d2
00 2 2
y (t) + ω y(t) = + ω y(t)
dt2
2 Z ∞
d
= +ω 2
G(t, t0 )f (t0 )dt0
dt2 0
Z ∞ 2
d 0
= 2
+ ω 2
G(t, t ) f (t0 )dt0
dt
Z0 ∞
= δ(t − t0 )f (t0 )dt0
0
= f (t). (31)
y(t) = 0, t = 0. (33)
This solution is certainly allowed since before we apply any force the oscillator is at rest.
When t > 0, there is again no force after t = 0, so we will have a solution of the form
This gives
1
A= . (37)
ω
Thus we have
1
y(t) = sin ωt, t > 0. (38)
ω
That is, the forcing function δ(t) acting on the oscillator [see Eq. (29)] at rest converts the
oscillator motion to y(t) = 1
ω sin ωt. Generalizing this to the forcing function δ(t − t0 ) acting on an
6 / 10
PHY310 - MATHEMATICAL METHODS FOR PHYSICISTS I Odd Term 2019
1
y(t) = sin ω(t − t0 ), t0 < t, and t0 > 0. (39)
ω
Then Eq. (30), through Eq. (40), gives the solution of Eq. (26)
Z ∞
y(t) = G(t, t0 )f (t0 )dt0
Z0 ∞ Z ∞
0 0 0 0 0 0
= G(t, t )f (t )dt + G(t, t )f (t )dt
0 t0 <t 0 t0 >t
Z ∞ Z ∞
1 0 0 0
0 0
= sin ω(t − t ) f (t )dt + 0 f (t )dt . (41)
0 ω t0 <t 0 t0 >t
The second term is zero since G(t, t0 ) = 0 when t0 > t. Thus we have the solution to the non-
homogeneous equation given in Eq. (26)
Z t
1
y(t) = sin ω(t − t0 )f (t0 )dt0 . (42)
0 ω
In Eq. (42) we have arbitrary forcing function f (t). We can think that f (t) is made of a linear
sum of delta functions with appropriate weights. Around a point t0 the delta function has strength
f (t0 ). Then, if we add up such delta functions, we should get the function f . That is,
Z ∞
f (t) = dt0 f (t0 )δ(t − t0 ). (43)
0
We should take the solution y(t) generated by each such delta function, and add them up. Since
the delta function at t0 has strength f (t0 ), instead of strength unity, we should multiply the solution
y(t) = 1
ω sin ω(t − t0 ) by f (t0 ). The solution y(t) at t should take into account the effect of all delta
functions at t0 < t, but not those at t0 > t. Taking all these into account we get the solution given
in Eq. (42).
Worked example 2
7 / 10
PHY310 - MATHEMATICAL METHODS FOR PHYSICISTS I Odd Term 2019
d2
G(x, x0 ) + G(x, x0 ) = δ(x − x0 ), (45)
dx2
satisfying G(0, x0 ) = G( π2 , x0 ) = 0. This solution is the Green’s function for our problem.
Then Z π/2
y(x) = G(x, x0 )f (x0 )dx0 (46)
0
d2
G(x, x0 ) + G(x, x0 ) = 0, x 6= x0 . (47)
dx2
The solutions of Eq. (47) are sin x and cos x. We observe that sin x = 0 at x = 0 and cos x = 0
at x = π/2.
Thus we try to find a Green’s function of the form
A(x0 ) sin x 0 < x < x0 < π
G(x, x0 ) = 2
(48)
B(x0 ) cos x 0 < x0 < x < π
2.
The next step may be clarified by thinking about the string problem.
If the string is oscillated by a concentrated force at x0 , then the amplitude of the vibration given
by Eq. (48). It is shown in Fig. 1.
At x = x0 , G(x, x0 ) is continuous, that is from Eq. (48)
Change in dG
dx at x0 is
−B(x0 ) sin x0 − A(x0 ) cos x0 .
8 / 10
PHY310 - MATHEMATICAL METHODS FOR PHYSICISTS I Odd Term 2019
G(x, x′)
0 x′ π
2
Figure 1: The vibrating string under a concentrated force imparted at the point x0 .
or letting → 0:
dG
Change in slope at x0 is 1.
dx
Computing the change in slope, and equating it to 1, we get
We solve Eq. (49) and Eq. (51) for A(x0 ) and B(x0 ) and get
Thus we have
− cos x0 sin x 0 < x < x0 < π
G(x, x0 ) = 2
(53)
− sin x0 cos x 0 < x0 < x < π
2.
9 / 10
PHY310 - MATHEMATICAL METHODS FOR PHYSICISTS I Odd Term 2019
Then from Eq. (46) the solution of Eq. (44) with y(0) = y( π2 ) = 0 is
π
Z x Z
2
0 0 0
y(x) = − cos x (sin x )f (x )dx − sin x (cos x0 )f (x0 )dx0 . (54)
0 x
Consider a one-dimensional lasing cavity of length L containing an active laser medium with current
density j(x), and electromagnetic waves polarized in the z-direction are propagating in it. Maxwell’s
equation for the z-component of the electric field of these waves then has the form
d2
2
− κ Ez (x) = j(x), (55)
dx2
where the constant κ = gω 2 /c2 , with c denoting the speed of light, ω the angular frequency of light,
and g a constant, called the gain coefficient. The cavity is walled by conducting mirrors and thus
the electric field Ex (x) obeys the Dirichlet boundary conditions: Ez (0) = Ez (L) = 0. Find the
general solution of the electric field between the mirrors using the Green’s function method.
10 / 10