Differential Equations, Operational Calculussome theories notions with applications

Constantin Calin

1

2

Introduction

The notion of differential equations is necessary to solve different practical

problems and also in the theoretical problems from different branches (

physic, biology, mechanics, etc.) The main purpose of dissertation is to

discuss some of the properties of solutions of differential equations, and to

describe some of the methods that have proved effective in finding solutions,

or in some cases approximating them. To provide a framework for our

presentation we describe here several useful ways of classifying differential

equations.

Ordinary and Partial Differential Equations.

One of the more obvious classifications is based on whether the unknown

function depends on a single independent variable or on several independent

variables. In the first case, only ordinary derivatives appear in the differ-

ential equation, and it is said to be an ordinary differential equation. In

the second case, the derivatives are partial derivatives, and the equation is

called a partial differential equation.

Definition 1.1 A differential equation is a relationship between a un-

known function, its independent variable and its derivative of hight order.

If the unknown function have a single independent variable then the differ-

ential equation is called the ordinary differential equation and contrary it is

called partial differential equation.

An example of an ordinary differential equation is

Ld2Q(t)

dt2+R

dQ(t)

dt+

1

CQ(t) = E(t), (1.1)

for the charge Q(t) on a capacitor in a circuit with capacitance C, resistance

R, and inductance L. Typical examples of partial differential equations are

the heat conduction equation

α2∂2u(x, t)

∂x2=∂u(x, t)

∂t, (1.2)

3

and the wave equation

a2∂2u(x, t)

∂x2=∂2u(x, t)

∂t2, (1.3)

Here, α2 and a2 are certain physical constants. The heat conduction

equation describes the conduction of heat in a solid body and the wave

equation arises in a variety of problems involving wave motion in solids or

fluids. Note that in both Eqs. (1.2) and (1.3) the dependent variable u

depends on the two independent variables x and t.

Systems of Differential Equations. Another classification of differential

equations depends on the number of unknown functions that are involved.

If there is a single function to be determined, then one equation is sufficient.

However, if there are two or more unknown functions, then a system of

equations is required. For example, the LotkaVolterra, or predatorprey,

equations are important in ecological modeling. They have the form

{dxdt = ax− αxydydt = −cy + νxy,

(1.4)

where x(t) and y(t) are the respective populations of the prey and predator

species. The constants a, α, c, and ν are based on empirical observations and

depend on the particular species being studied. Systems of equations are

discussed later. It is not unusual in some areas of application to encounter

systems containing a large number of equations.

Order. The order of a differential equation is the order of the highest

derivative that appears in the equation. The equations in the preceding

sections are all first order equations, while Eq. (1.1) is a second order

equation. Equations (1.2) and (1.3) are second order partial differential

equations. More generally, the equation

F [t, u(t), u′(t), ..., u(n)(t)] = 0 (1.5)

is an ordinary differential equation of the n-th order. Equation (1.5) ex-

presses a relation between the independent variable t and the values of the

function u and its first n derivatives u′, u′′, , ..., u(n)(t). It is convenient and

4

customary in differential equations to write y for u(t), with y′, y′′, , ..., y(n)

standing for u′(t), u′′(t), ..., u(n)(t). Thus Eq. (1.5) is written as

F (t, y, y′, ..., y(n)) = 0. (1.6)

For example,

y′′′ + 2ety′′ + yy′ = t4 (1.7)

is a third order differential equation. Occasionally, other letters will be used

instead of t and y for the independent and dependent variables; the meaning

should be clear from the context. We assume that it is always possible

to solve a given ordinary differential equation for the highest derivative,

obtaining

y(n) = f(t, y, y′, y′′, ..., y(n−1)). (1.8)

We study only equations of the form (1.8). This is mainly to avoid the

ambiguity that may arise because a single equation of the form (1.6) may

correspond to several equations of the form (1.8).

A crucial classification of differential equations is whether they are linear

or nonlinear. The ordinary differential equation

F [t, u(t), u′(t), ..., u(n)(t)] = 0

is said to be linear if F is a linear function of the variables y, y′, ..., y(n); a

similar definition applies to partial differential equations. Thus the general

linear ordinary differential equation of order n is

a0(t)y(n) + a1(t)y

(n−1) + · · ·+ an(t)y = g(t). (1.9)

Solutions. Let us consider a function φ : (α, β)→ R which admit admit

derivate of hight order.

5

Definition 1.2. A solution of the ordinary differential equation (1.8) on

the interval α < t < β is a function φ such that φ, φ′, φ′′, · · · , φ(n) exist

and satisfy

φ(n)(t) = f(t, φ(t), φ′(t), · · · , φ(n−1)(t)), (1.10)

for every t in α < t < β.

Unless stated otherwise, we assume that the function f of Eq. (1.8) is a

real-valued function, and we are interested in obtaining real-valued solutions

y = φ(t).

Definition 1.3 A general solution of the ordinary differential equation

(1.8), the set of solution y = ψ(x, c1, · · · , cn) where c1, · · · , cn are real ar-

bitrary constant. A particular solution of equation (1.8) is obtained from

general solution for a given value of c1, · · · , cn. A singular solution of equa-

tion (1.8) can not be obtain from the general solution.

First Order Differential Equations. This chapter deals with differential

equations of first order,

dy

dt= f(t, y),

where f is a given function of two variables. Any differentiable function

y = φ(t) that satisfies this equation for all t in some interval is called a solu-

tion, and our object is to determine whether such functions exist and, if so, to

develop methods for finding them. Unfortunately, for an arbitrary function f

, there is no general method for solving the equation in terms of elementary

functions. Instead, we will describe several methods, each of which is appli-

cable to a certain subclass of first order equations. The most important of

these are linear equations, separable equations, and exact equations. Other

sections of this chapter describe some of the important applications of first

order differential equations, introduce the idea of approximating a solution

by numerical computation, and discuss some theoretical questions related

to existence and uniqueness of solutions. The final section deals with first

order difference equations, which have some important points of similarity

with differential equations and are in some respects simpler to investigate.

6

Here, we consider a subclass of first order equations for which a direct

integration process can be used, called equation with separable variable.

Definition 1.4 Let f1, f2 defined on a ≤ x ≤ b and g1, g2 defined on

c ≤ y ≤ d, continue, such that f2(x) 6= 0, g2(y) 6= 0. A differential equation

of the form

f1(x)g1(y) + f2(x)g2(y)y′ = 0⇔ f1(x)g1(y)dx+ f2(x)g2(y)dy = 0. (1.11)

called equation with separable variable.

For this equation we have the next result

Proposition 1.1 The general solution of the equation (1.11) is given by

an implicit function in the following form

∫f1(x)

f2(x)dx+

∫g1(y)

g2(y)dy = C, C ∈ R

Proof. It is easy to see that the equation (1.11) can be rewrite as follows

f1(x)

f2(x)= −g1(y)

g2(y),

and by integrating each side of the above equation we obtain the desired

result.

Example. Integrate the next equation

(1 + x2)dy + ydx = 0

Solution. The equation above is of the separable variable, and thus we

have

(1+x2)dy+ydx = 0, → dx

1 + x2= −dy

y→

∫dx

1 + x2= −

∫dy

y→

arctgx = − ln y + C → arctgx+ ln y = C

Exercises. Solve the next differential equations

1. yy′ = −2xcosecy, 2. y′ + cos(x+ 2y) = cos(x− 2y),

3. 2x(2 cos y − 1)dx = (x2 − 2x+ 3)dy, 4. y′ =cos y − sin y − 1

cosx− sinx− 1

7

5. yy′ + xey = 0, y(1) = 0, 6. y′ = ex+y + ex−y, y(0) = 0

7.dx

x(y − 1)+

dy

y(x+ 2), y(1) = 1, 8.

y2 + 4√x2 + 4x+ 13

=3y + 2

x+ 1y′, y(1) = 2

Homogeneous Equations. First we recall some properties of a homo-

geneous function.

Definition 1.5 A function f(x, y) is called homogeneous of degree α if

the we have

f(tx, ty) = tαf(x, y)

An important case is α = 0 because the above relation is of the form

f(tx, ty) = f(x, y). This property is equivalent with

f(x, y) = f(1,y

x) = f(

x

y, 1)

Definition 1.6 A differential equation of the first order is called homoge-

neous zero degree if it is of the form

y′ = f(x, y), (1.12)

where f is a function of zero degree.

To integrate the equation (1.12) it is interesting to see that it can allways

be transformed into separable equation by change of the dependent variable.

More exactly we put y(x) = xu(x) where u(x) is a unknown function. Thus

we have

y = xu ⇒ y′ = xu′ + u.

Replace y and y′ in th eq. (1.12) we obtain

xu′ + u = f(1, u) = g(u), ⇒ dx

x=

du

g(u)− u, g(u) 6= u.

The last equation is a separable equation and its solution it can be deduce.

Find the general solution of the equations

1. x2dy = (x2 + xy + y2)dy 2. 2xydy = (x2 + 3y2)dx

3. (2x− y)dy + (3x− 4y)dx = 0, 4. (2x+ y)dy + (4x− 3y)dx = 0,

8

5. (x+ 3y)dx− (x−y)dy = 0, 6.(x2 + 3xy+y2)dx− (x2−xy+ 2y2)dy = 0,

7. (x2 − 3y2)dx = 2xydy 8. 2xydy = (3y2 − x2)dx

9. xy′ − y =√x2 + y2 10) xy′ − y =

x

arctg yx,

11) ydx+ (2√xy − x)dx = 0.

Reductible equations to the homogeneous equations.

A differentiable equation of the form

y′ = f(a1x+ b1y + c1a2x+ b2y + c2

) (1.13)

is called reductible equation to homogeneous equations.

For to find the general solution we can follow the next steps:

a) solve the next system{a1x+ b1y + c1 = 0a2x+ b2y + c2 = 0

(1.14)

Suppose that x0, y0 is a unique solution of the system (1.14). Then if we put

y(x) − y0 = (x − x0)u(x) where u(x) is a unknown function, the equation

(1.13) come a separable equation.

If the system (1.14) is incompatible then a1a2

= b1b26= c1

c2the by substitution

u(x) = a1x+ b1y + c1, the equation (1.13) become a separable equation.

Solve the next differentiable homogeneous equations

1) 2x+ 2y+ 1 + (x+ 2y− 1)y′ = 0, 2) 2x+ 2y− 1 + (x− 2y+ 3)y′ = 0,

3) (2x−y+5)dx+(2x−y+4)dy = 0, 4) (x+y−1)dx+(−x+y+1)dy = 0,

5) (2x+2y+5)dx+(2x+2y−6)dy = 0 6) (3x−4y+10)dx+(x+y+2)dy = 0.

Exact Equations and Integrating Factors

For first order equations there are a number of integration methods that

are applicable to various classes of problems. The most important of these

are linear equations and separable equations, which we have discussed pre-

viously. Here, we consider a class of equations known as exact equations

for which there is also a well-defined method of solution. Keep in mind,

however, that those first order equations that can be solved by elementary

9

integration methods are rather special; most first order equations cannot

be solved in this way. Now we present another of integrable differential

equation

Definition 1.6 Let D ⊆ R2 be a connex set and P,Q the differential

equations so that∂P

∂y=∂Q

∂x(1.15)

then the equation

P (x, y)dx+Q(x, y)dy = 0 (1.16)

is called the exact differential equation, and its solution is implicitely defined

by the next equation∫ x

x0

P (t, y0)dt+

∫ y

y0

P (x, t)dt = C, or equivalently∫ y

y0

Q(x0, t)dt+

∫ x

x0

Q(t, y)dt = C

Remark. We now show that if P and Q satisfy relation (1.15) then we

can find the solution of differentiable (1.16). More exactly let ψ(x, y) = C

(this fact is ensured by condition (1.15)), so that

∂ψ

∂x= P and

∂ψ

∂y= Q. (1.17)

Next we have

∂ψ

∂x= P → ψ(x, y) =

∫P (x, y)dx+ f(y) (1.18)

Taking into account the second relation of (1.17), is obtain

∂ψ

∂y= Q → Q(x, y) =

∂

∂y(

∫P (x, y)dx)+f ′(y) =

∫(∂

∂yP (x, y)dx)+f ′(y).

This above relation determine the function ψ as follows

f ′(y) = Q(x, y)−∫

(∂

∂yP (x, y)dx.

To determine h(y), it is essential that, despite its appearance, the right

side of above equation be a function of y only. This fact, is ensured by

condition (1.15), and it can by proved by direct calculation. It should be

noted that this proof contains a method for the computation of ψ(x, y) and

thus for solving the original differential equation (1.16). Note also that the

10

solution is obtained in implicit form; it may or may not be feasible to find

the solution explicitly.

Example Solve the differential equation

(y cosx+ 2xey) + (sinx+ x2ey − 1)y′ = 0. (1.19)

It is easy to see that

(y cosx+ 2xey)dx+ (sinx+ x2ey − 1)dy = 0,

and thus

P (x, y) = cosx+ 2xey = y cosx+ 2xey, Q(x, y) = sinx+ x2ey − 1 →

∂P

∂y= 2xyey =

∂Q

∂x

so the given equation is exact. Thus there is a ψ(x, y) such that

ψx(x, y) = y cosx+ 2xey,

ψy(x, y) = sinx+ x2ey − 1

Integrating the first of these equations, we obtain

ψ(x, y) = ysinx+ x2ey + h(y)

Setting ψy = Q(x, y) gives

ψy(x, y) = sinx+x2ey+h′(y) = sinx+x2ey−1, → h′(y) = −1 → h(y) = −y.

The constant of integration can be omitted since any solution of the preced-

ing differential equation is satisfactory; we do not require the most general

one. Substituting for h(y) gives ψ(x, y) = y sinx+x2ey−y. Hence solutions

of Eq. (1.19) are given implicitly by

y sinx+ x2ey − y = c.

Example Solve the differential equation

(3xy + y2)dx+ (x2 + xy)dy = 0.

Here,

11

P (x, y) = 3xy + y2, Q(x, y) = x2 + xy; → ∂P

∂y= 3x+ 2y 6= ∂Q

∂x,

the the given equation is not exact and it can not determine is solution

by using the described method.

Integrating Factors. It is sometimes possible to convert a differen-

tial equation that is not exact into an exact equation by multiplying the

equation by a suitable integrating factor. To investigate the possibility of

implementing this idea more generally, let us multiply the equation

P (x, y)dx+Q(x, y)dy = 0 (1.20)

by a function µ(x, y) and then try to choose µ(x, y) so that the resulting

equation

µ(x, y)P (x, y)dx+ µ(x, y)Q(x, y)dy = 0 (1.21)

is exact, that is taking into account (1.15),eq. (23) is exact if and only if

∂(µP )

∂y=∂(µQ)

∂x. (1.22)

Since P and Q are given functions, Eq. (1.22) states that the integrating

factor µ must satisfy the first order partial differential equation

Pµy −Qµx + (Py −Qx)µ = 0. (1.23)

If a function µ satisfying Eq. (1.25) can be found, then Eq. (1.21) will be

exact.

A partial differential equation of the form (1.23) may have more than one

solution; if this is the case, any such solution may be used as an integrating

factor of Eq. (1.20). This possible non uniqueness of the integrating factor

is illustrated in further example.

Unfortunately, Eq. (1.23), which determines the integrating factor µ,

is ordinarily at least as difficult to solve as the original equation (1.20).

Therefore, while in principle integrating factors are powerful tools for solving

differential equations, in practice they can be found only in special cases.

The most important situations in which simple integrating factors can be

12

found occur when µ is a function of only one of the variables x or y, instead

of both. Let us determine necessary conditions on P and Q so that Eq.

(1.20) has an integrating factor µ that depends on x only. Assuming that µ

is a function of x only, we have

(µP )y = µPy, (µQ)x = µQx +Qdµ

dx.

Thus, if (µP )y is to equal (µQ)x, it is necessary that

dµ

dx=Py −Qx

Qµ. (1.24)

IfPy−QxQ is a function of x only, then there is an integrating factor µ that

also depends only on x; further, µ(x) can be found by solving Eq. (26),

which is both linear and separable.

A similar procedure can be used to determine a condition under which

Eq. (1.20) has an integrating factor depending only on y.

Example. Find an integrating factor for the equation

(3xy + y2) + (x2 + xy)y′ = 0 (1.25)

and then solve the equation. We showed that this equation is not exact. Let

us determine whether it has an integrating factor that depends on x only.

On computing the quantityPy−QxQ , we find that

Py(x, y)−Qx(x, y)

Q(x, y)=

(3x+ 2y)− (2x+ y)

x2 + xy=

1

x.

Thus there is an integrating factor µ that is a function of x only, and it

satisfies the differential equation

dµ

dx=µ

x.

Hence µ(x) = x. Multiplying Eq. (1.25) by this integrating factor, we obtain

(3x2y + xy2) + (x3 + x2y)y′ = 0.

The latter equation is exact and it is easy to show that its solutions are

given implicitly by

x3y + 12x2y2 = C.

13

You may also verify that a second integrating factor of Eq. (1.25) is µ(x, y) =

1xy(2x+y) , and that the same solution is obtained, though with much greater

difficulty, if this integrating factor is used.

Determine whether or not each of the next equations is exact. If it is

exact, find the solution.

1. (2x+ 3) + (2y − 2)y′ = 0, 2. (2x+ 4y) + (2x− 2y)y′ = 0,

3. (3x2−2xy+2)dx+(6y2−x2+3)dy = 0, 4. (2xy2+2y)+(2x2y+2x)y′ = 0,

5. (ex sin y − 2y sinx)dx+ (ex cos y + 2 cosx)dy = 0

6.dy

dx=ax+ by

bx+ cy, 7.

dy

dx= −ax− by

bx− cy8. (ex sin y+3y)dx−(3x−ex sin y)dy = 0,

9. (yexy cos 2x− 2exy sin 2x+ 2x)dx+ (xexy cos 2x− 3)dy = 0,

10. (y

x+ 6x)dx+ (lnx− 2)dy = 0, x > 0,

11. (x ln y + xy)dx+ (y lnx+ xy)dy = 0;x > 0, y > 0.

In each of the next equation solve the given initial value problem and deter-

mine at least approximately where the solution is valid.

(2x−y)dx+(2y−x)dy = 0, y(1) = 3, (9x2+y−1)dx−(4y−x)dy = 0, y(1) = 0.

In each of the next problems find the value of b for which the given equation

is exact and then solve it using that value of b.

(xy2 + bx2y)dx+ (x+ y)x2dy = 0, (ye2xy + x)dx+ bxe2xydy = 0.

Show that the next equations are not exact, but become exact when multi-

plied by the given integrating factor. Then solve the equations.

1. x2y3 + x(1 + y2)y′ = 0, µ(x, y) =1

xy3,

2. (sin y

y− 2e−x sinx)dx+ (

cos y + 2e−x cosx

y)dy = 0, µ(x, y) = yex,

3. ydx+ (2x− yey)dy = 0, µ(x, y) = y,

4. (x+ 2) sin ydx+ x cos ydy = 0, µ(x, y) = xex

14

Show that the equation

y′ + f(x)y = 0

has an integrating factor of the form

µ(x) = e−∫f(x)dx

Show that if (Qx − Py)/(xP − yQ) = R, where R depends on the quantity

xy only, then the differential equation

P (x, y) +Q(x, y)y′ = 0

has an integrating factor of the form µ(xy). A general formula for this inte-

grating factor is of the form

µ(xy) = e∫R(xy)d(xy).

In each of the next problems find an integrating factor and solve the given

equation.

1. (3x2y + 2xy + y3)dx+ (x2 + y2)dy = 0, 2. y′ = e2x + y − 1,

3.dx+ (x/y − sin y)dy = 0,

4.ydx+ (2xy − e−2y)dy = 0,

5.exdx+(ex cot y+2ycosecy)dy = 0, 6. (4(x3/y2)+3/y)dx+3x/y2+4y)dy = 0,

7. (3x+ 6/y) + (x2/y + 3y/x)(dy/dx) = 0

First order differential and linear equations with variable

coefficients

Now we want to consider the most general first order linear equation,

which is obtained from (1.18). We will usually write the general first order

linear equation in the form

dy

dt+ p(t)y = g(t), (2.1)

where p and g are given functions of the independent variable t. To solve

the general equation (2.1), we need to use a different method of solution for

it. The first method is due to Leibniz; it involves multiplying the differential

15

equation (2.1) by a certain function µ(t), chosen so that the resulting equa-

tion is readily integrable. The function µ(t) is called an integrating factor

and the main difficulty is to determine how to find it. If we multiply Eq.

(2.1) by an as yet undetermined function µ(t), we obtain

µ(t)dy

dt+ µ(t)p(t)y = µ(t)g(t), (2.2)

next we desire that the left side of Eq. (2.2) is the derivative of the product

µ(t)y provided that µ(t) satisfies the equation

dµ(t)

dt= p(t)µ(t). (2.3)

If we assume temporarily that µ(t) is positive, then we have

dµ(t)

µ(t)= p(t)dt

and consequently

lnµ(t) =

∫p(t)dt+ k.

By choosing the arbitrary constant k to be zero, we obtain the simplest

possible function for µ(t), namely,

µ(t) = e∫p(t)dt. (2.4)

Note that µ(t) is positive for all t, as we assumed. Returning to Eq. (2.2),

we haved

dt[µ(t)y] = µ(t)g(t). (2.5)

Hence

µ(t)y =

∫µ(s)g(s)ds+ c,

so the general solution of Eq. (2.1) is

y(t) = (

∫g(t)e

∫p(t)dtdt+ c)e−

∫p(t)dt, c ∈ R. (2.6)

Observe that, to find the solution given by Eq. (2.6), two integrations are

required: one to obtain µ(t) from Eq. (2.4) and the other to obtain y from

eq. (2.6)

Remark 1. The formulas (2.6) sometimes it called the general solution

of the eq.(2.1) and it can be use be find the solution of the eq.(2.1).

16

2. It is easy to see that (2.1) is a differential equation that is not exact

but it admit an integrating factor of the form µ(x).

Example. Solve the initial value problem{ty′ + 2y = 4t2,

y(1) = 2(2.7)

Rewriting Eq. (2.7) in the standard form, we have

y′ +2

ty = 4t (2.8)

so p(t) = 2/t and g(t) = 4t. To solve Eq. (2.8) we first compute the

integrating factor µ(t):

µ(t) = e∫

2tdt = e2ln|t| = t2.

On multiplying Eq. (2.8) by µ(t) = t2, we obtain

t2y′ + 2ty = (t2y)′ = 4t3,

and therefore

t2y = t4 + c,

where c is an arbitrary constant. It follows that the general solution of

equation (2.7) is

y = t2 +c

t2, c ∈ R

If we want that the general solution to satisfy the initial condition y(1) = 2

it is necessary that 1 + c = 1 → c = 1 and thus

y = t2 +1

t2,

is the solution of the initial value problem (2.7).

Variation of Parameters. Consider the following method of solving

the general linear equation of first order:

y′ + p(t)y = g(t). (2.9)

(a) If g(t) is identically zero, then the equation

y′ + p(t)y = 0, (2.10)

is called the homogeneous equation and is is easy to show that the solution

is

y = Ae−∫p(t)dt, (2.11)

17

where A is a constant.

(b) If g(t) is not identically zero, assume that the solution is of the form

y = A(t)e−∫p(t)dt, (2.12)

where A is now a function of t. By substituting for y in the given differential

equation, show that A(t) must satisfy the condition By substituting for y in

the given differential equation, show that A(t) must satisfy the condition

A′(t) = g(t)e∫p(t)dt. (2.13)

(c) Find A(t) from Eq. (2.13), and substitute for A(t) in Eq. (2.12) we

determine y, that the solution obtained in this manner agrees with that of

Eq. (2.6) in the text. This technique is known as the method of variation

of parameters.

Example In each of the next Problems use the method of variation of

parameters to solve the given differential equation.

a) y′ − 2y = t2e2t b) y′ +1

ty = 3 cos 2t, t > 0.

a) First we find the general solution of the homogeneous equation

y′ − 2y = 0, → dy

y= 2dt → ln y = 2t+ ln c → y0(t) = ce2t

Next, assume that the solution of non-homogeneous equation is of the form

y = A(t)e2t,

and by substituting for y in the given differential equation, we obtain that

A(t) must satisfy the condition

A′(t)e2t = t2e2t → A′(t) = t2 → A(t) = C +t3

3

Substitute for A(t) we determine the general solution for the given equation

y = (C +t3

3)e2t, C ∈ R

b) In the same manner as of the example a) we deduce: We find the general

solution of the homogeneous equation

y′ +1

ty = 0 → dy

y= −dt

t→ y0(t) =

C

t, C ∈ R

18

Now we find the general solution of the non-homogeneous equation, of the

form y(t) = C(t)t , and assuming that it is the solution of the equation b) we

obtain

C ′(t)

t= 3 cos 2t → C ′(t) = 3t cos 2t C(t) =

3

2t sin 2t+

3

4cos 2t+ C

Substituting the function C(t) it is obtain the general solution for the eq.

(b)

y(t) =32 t sin 2t+ 3

4 cos 2t+ C

tC ∈ R.

Find the general solution of the given differential equation

1. y′ + (1/t)y = 3 cos 2t, t > 0, 2. ty′ + 2y = sin t, t > 0,

3. y′ + 2ty = 2te−t2, 4. (1 + t2)y′ + 4ty = (1 + t2)−2

5. ty′ − y = t2e−t 6. ty′ + 2y = t2 − t+ 1, y(1) = 12, t > 07. y′ + (2/t)y = (cos t)/t2 y(π) = 0, t > 0, 8. y′ − 2y = e2t, y(0) = 29. ty′ + 2y = sin t, y(π/2) = 1, 10. t3y′ + 4t2y = e−t, y(−1) = 011. ty′ + (t+ 1)y = t, y(ln 2) = 1, 12. ty′ + (t+ 1)y = 2te−t, y(1) = a13. ty′ + 2y = (sin t)/t, y(−π/2) = a, 14. (x+ y2)y′ = y15. y′ − y/(x lnx) = x lnx, y(e) = (e2)/2,

16. y′ + 3y tan 3x = sin 6x, y(0) = 1/3.

Bernoulli Equations. Sometimes it is possible to solve a nonlinear

equation by making a change of the dependent variable that converts it into

a linear equation. The most important such equation has the form

y′ + p(t)y = q(t)yn, n ∈ R,

and is called a Bernoulli equation after Jakob Bernoulli. When n = 0 or n =

1 it is obtained the homogeneous respectively non homogeneous equation of

first order. To solve the Bernoulli’s equation for n 6= 0, 1, then it can reduces

Bernoullis equation to a linear equations follows: we rewrite the equation of

the formy′

yn+

p(t)

yn−1= q(t), n ∈ R. (2.14)

Next we make the substitution

y1−n(t) = z(t) → (1− n)y′y−n = z′ → y′y−n =z′

1− nsubstitute this expressions in the eq.(2.14) we obtain

z′ + (1− n)p(t)z = q(t)

19

which is a equation of first order and it can by solved. This method of

solution was found by Leibniz in 1696.

Exercises. Solve the next given Bernoulli’s equations.

1) t2y′ + 2ty − y3 = 0, t > 0, 2). y′ = ry − ky2, r > 0 andk > 0.

This equation is important in population dynamics.

3) y′ = εy − σy3, ε > 0and σ > 0.

This equation occurs in the study of the stability of fluid flow.

4)dy

dt= (Γ cos t+ T )y − y3, where Γ and T are constants.

This equation also occurs in the study of the stability of fluid flow.

5.) 4xy′ + 3y = −e−xx4y5, 6). y′ + y = e0,5x√y,

7) y′ +3x2

1 + x3y = y3(x3 + 1) sinx, y(0) = 1,

8) (y2 + 2y + x2)y′ + 2x = 0, y(0) = 1, 9) y′x3 sin y = xy′ − 2y,

10) ydx+ (x+ x2y2)dy = 0.

Hint. We solve only one equation 1). This equation can it rewrite as the

form

y′

y3+

2

ty−2 = t−2

Now we make the substitution y−2(t) = z(t) → −2y′y−3 = z′(t) and

the given equation have the form

z′ − 4

tz = −2t−2

This equation is of first order linear non homogeneous equation, which can

be integrate. For example it is easy to see that the integrating factor of

equation is t−4 and the equation have the form

(zt−4)′ = −2t−6 → z(t) = Ct4 − 1

t3, C ∈ R

Finally the general solution for the equation 1) is given implicitely as follows

y2 =3t3

3Ct7 − 1

20

Discontinuous Coefficients. Linear differential equations sometimes oc-

cur in which one or both of the functions p and g have jump discontinuities.

If t0 is such a point of discontinuity, then it is necessary to solve the equation

separately for t < t0 and t > t0. Afterward, the two solutions are matched

so that y is continuous at t0; this is accomplished by a proper choice of the

arbitrary constants. The following two problems illustrate this situation.

Note in each case that it is impossible also to make y′ continuous at t0.

1. Solve the initial value problem

y′ + 2y = g(t), y(0) = 0, where g(t) =

{1, 0 ≤ t ≤ 1,

0, t > 1.

2. Solve the initial value problem

y′ + p(t)y = 0, y(0) = 1, where p(t) =

{2, 0 ≤ t ≤ 1,1, t > 1.

We solve only the first equation

y′ + 2y = g(t) → (ye2t)′ = g(t)e2t → ye2t =

∫g(t)e2tdt

Thus for each case we obtain

g(t) = 1 → ye2t =

∫e2tdt = C1 +

1

2e2t → y(t) = C1e

−2t +1

2

g(t) = 0 → y(t) = C2e−2t.

From the continuity of obtained solution in t = 1 it follows that C1e−2+ 1

2 =

C2e−2, → C1 + 1

2e2 = C2. Therefore the general solution of equation 1) is

y(t) =

{C1e

−2t + 12 , 0 ≤ t ≤ 1,

(C1e−2 + 1

2)e−2t, t > 1.

Next we present some of practical situation which involve the differential

equation

Epidemics. The use of mathematical methods to study the spread of

contagious diseases goes back at least to some work by Daniel Bernoulli in

1760 on smallpox. In more recent years many mathematical models have

been proposed and studied for many different diseases.9 Problems 22 through

24 deal with a few of the simpler models and the conclusions that can be

drawn from them. Similar models have also been used to describe the spread

of rumors and of consumer products. 22. Suppose that a given population

21

can be divided into two parts: those who have a given disease and can

infect others, and those who do not have it but are susceptible. Let x be

the proportion of susceptible individuals and y the proportion of infectious

individuals; then x + y = 1. Assume that the disease spreads by contact

between sick and well members of the population, and that the rate of spread

dy/dt is proportional to the number of such contacts. Further, assume that

members of both groups move about freely among each other, so the number

of contacts is proportional to the product of x and y. Since x = 1 - y, we

obtain the initial value problem

dy

dt= ay(1− y), y(0) = y0, (2.15)

where a is a positive proportionality factor, and y0 is the initial proportion of

infectious individuals. (a) Find the equilibrium points for the differential

equation (2.15) and determine whether each is asymptotically stable, semi

stable, or unstable. (b) Solve the initial value problem (2.15) and verify

that the conclusions you reached in part (a) are correct. Show that y(t)→ 1

as t→∞,which means that ultimately the disease spreads through the entire

population.

Some diseases (such as typhoid fever) are spread largely by carriers, indi-

viduals who can transmit the disease, but who exhibit no overt symptoms.

Let x and y, respectively, denote Order Differential Equations the propor-

tion of susceptible and carriers in the population. Suppose that carriers are

identified and removed from the population at a rate b, so

dy

dt= −by. (2.16)

Suppose also that the disease spreads at a rate proportional to the product

of x and y; thus

dx

dt= axy. (2.17)

(a) Determine y at any time t by solving Eq. (2.16) subject to the initial

condition y(0) = y0. (b) Use the result of part (a) to find x at any time t

by solving Eq. (2.17) subject to the initial condition x(0) = x0. (c) Find

22

the proportion of the population that escapes the epidemic by finding the

limiting value of x as t→∞.

Daniel Bernoullis work in 1760 had the goal of appraising the effectiveness

of a controversial inoculation program against smallpox, which at that time

was a major threat to public health. His model applies equally well to

any other disease that, once contracted and survived, confers a lifetime

immunity. Consider the cohort of individuals born in a given year (t = 0),

and let n(t) be the number of these individuals surviving t years later. Let

x(t) be the number of members of this cohort who have not had smallpox

by year t, and who are therefore still susceptible. Let b be the rate at which

susceptible contract smallpox, and let ν be the rate at which people who

contract smallpox die from the disease. Finally, let µ(t) be the death rate

from all causes other than smallpox. Then dx/dt, the rate at which the

number of susceptible declines, is given by

dx

dt= −[b+ µ(t)]x; (2.18)

the first term on the right side of Eq. (2.18) is the rate at which susceptible

contract smallpox, while the second term is the rate at which they die from

all other causes. Also

dn

dt= −νbx− µ(t)n, (2.19)

where dndt is the death rate of the entire cohort, and the two terms on the right

side are the death rates due to smallpox and to all other causes, respectively.

(a) Let z = x/n and show that z satisfies the initial value problem

dz

dt= −bz(1− νz), z(0) = 1. (2.20)

Observe that the initial value problem (2.20) does not depend on µ(t). (b)

Find z(t) by solving Eq. (2.20). (c) Bernoulli estimated that ν = b = 18.

Using these values, determine the proportion of 20-year-olds who have not

had smallpox.

Note: Based on the model just described and using the best mortality

data available at the time, Bernoulli calculated that if deaths due to smallpox

23

could be eliminated (ν = 0), then approximately 3 years could be added to

the average life expectancy (in 1760) of 26 years 7 months. He therefore

supported the inoculation program.

Next we recall some special class of differential equations.

Differential equation of type Clairaut.

Definition 2.1 A differential equation is of the Clairaut type if it is of

the form

y = xy′ + f(y′) (2.21)

where f is a given differentiable function.

To solve tis equation,we make the substitution y′(x) = p(x) and equation

(2.21) can by rewrite as the form

y = xp+ f(p) → y′ = p+ xp′ + f ′(p)p′ → (x+ f ′(p))p′ = 0

Next we have the next situation: a) p′ = 0 → p = C and the general

solution of equation (2.21) is of the form y = xC + f(C), C ∈ Rb) The singular solution of the equation (2.21) is{

x+ f ′(p) = 0y = xp+ f(p)

, p ∈ R

The Lagrange differential equation

Definition 2.2 A Lagrange differential equation is of the form

y = xf(y′) + g(y′) (2.22)

where f and g are differentiable functions

Remark The Clairaut equations are the singular case of the Lagrange

equations.

To find the general solution of (2.22) we follow the same method as in the

case of Clairaut Equation: we make the substitution y′(x) = p(x) and the

equation (2.22) can be rewrite as follows

y = xf(y′)+g(y′ ⇒ y = xf(p)+g(p) ⇒ y′ = f(p)+(xf ′(p)+g′(p))p′ ⇒

24

p = f(p) + (xf ′(p) + g′(p))p′ ⇒ p−f(p) = (xf ′(p) + g′(p))(dp)/(dx) ⇒

(p− f(p))(dx)/(dp) = xf ′(p) + g′(p) (2.23)

In case f(p) = p we obtain the Clairaut equation. If f(p) 6= p we obtain

a differential and linear equation of first order. Denote by h(p) the general

solution of equation (2.23). The general solution of the Lagrange differential

equation is given by

{x = h(p)y = xf(p) + g(p)

, p ∈ R

Example. Solve the next equation y = (x+ 1)y′ − (y′)2.

Hint. We make the substitution y′(x) = p(x) and the differential

equation are the form y = (2x+ 1)p+ p2. We derive this relation by x and

obtain

y′ = 2p+ (2x+ 1 + 2p)p′ ⇒ pdx

dp+ 2x = −1− 2p ⇒

(xp2)′ = −p− 2p2 ⇒ xp2 = −p− p2 + C ⇒ x = −p−1 − 1 +C

p2.

The general solution of the given equation is{x = −p−1 − 1 + C

p2

y = (2x+ 1)p+ p2.p ∈ R

Solve the next equations

1. 2yy′ = (y′)4−3(y′)2+x(1+(y′)2), 2. 2y = x(y′+1

y′)+(y′)3/3−y′+1,

3. x(y′)2 + (y − 3x)y′ + y = 0 4. ((y′)2 + 1) sin3(xy′ − y = 1.

Differential equations of Ricci type

A special class of differential equation of first order, is the Ricci equations.

In general it can not solve this equation.

Definition 2.3 A differential equation of Ricci type is of the form

y′ + f(x)y + g(x)y2 = h(x) (2.24)

where f, g, h are continuous functions.

For find the general solution of the Ricci differential equation we have the

next situations:

25

a) we know a particular solution y1(x) of a equation (2.24). Then by

substitution y(x) = y1(x) + 1z(x) , where z(x) is a unknown function and the

equation (2.24) have the form

z′ − (f(x) + 2y1(x)g(x))z = g(x)

which is of differential linear equation of first order.

b) If is know two solutions y1(x), y2(x) then by substitution z(x) =

(y(x)− y1(x))/(y(x)− y2(x)) it is obtained a separable equation.

Example. Find the general solution

(1− x3)y′ + x2y − y2 + 2x = 0

with particular solution of the form yp(x) = axn. Because yp(x) must be

verify the given equation we find y1(x) = −x2 and y2(x) = −1/x. We make

the substitution z(x) = (y(x)+x2)/(y(x)+1/x) that is y = (x3−x)/(xz−x)

and the given equation are the form z′ − z/x = 0 with the general solution

z = xC and therefore y = (x2 − C)/(xC − 1), C ∈ R.

Exercises Solve the next differential equations of Ricci type

1. y′− 3y

x+y2

x2−x4 = 0, yp(x) = ax3, 2. (1+x3)y′+2xy2 +x2y+1 = 0,

yp(x) = axλ, 3. y′ = y2 − y sinx+ cosx, yp(x) = sinx,

4. (1 + x2)y′ = 4xy2 + 2x(4x2 + 3)y + 4x2(1 + x2), yp(x) = ax2 + bx+ c,

5. y′ + y2 sinx = (2 sinx)/(cos2 x), yp(x) = a/(cosx),

6. x2(y′ + y2) + 2(xy − 1) = 0, yp(x) = a/x.

Equations with the Dependent Variable Missing. For a second

order differential equation of the form y′′ = f(t, y′), the substitution v = y′,

v′ = y′′ leads to a first order equation of the form v′ = f(t, v). If this equation

can be solved for v, then y can be obtained by integrating dy/dt = v. Note

that one arbitrary constant is obtained in solving the first order equation

for v, and a second is introduced in the integration for y. In each of the next

problems, use this substitution to solve the given equation.

1. t2y′′+ 2ty′− 1 = 0, t > 0, 2. ty′′+ y′ = 1, t > 0, 3. y′′+ t(y′)2 = 0,

4. 2t2y′′ + (y′)3 = 2ty′, t > 0, 5. y′′ + y′ = e−t, 6. t2y′′ = (y′)2 t > 0.

26

Equations with the Independent Variable Missing. If a second order

differential equation has the form y′′ = f(y, y′), then the independent vari-

able t does not appear explicitly, but only through the dependent variable y.

If we let v = y′, then we obtain dv/dt = f(y, v). Since the right side of this

equation depends on y and v, rather than on t and v, this equation is not

of the form of the first order. However, if we think of y as the independent

variable, then by the chain rule dv/dt = (dv/dy)(dy/dt) = v(dv/dy). Hence

the original differential equation can be written as v(dv/dy) = f(y, v). Pro-

vided that this first order equation can be solved, we obtain v as a function

of y. A relation between y and t results from solving dy/dt = v(y). Again,

there are two arbitrary constants in the final result. In each of the next

problem use this method to solve the given differential equation.

1. yy′′+(y′)2 = 0, 2. y′′+y = 0, 3. y′′+y(y′)3 = 0, 4. 2y2y′′+2y(y′)2 = 1,

5. yy′′ − (y′)3 = 0, 6. y′′ + (y′)2 = e−y.

In each of Problems which follow solve the given initial value problem

using the methods described above

1. y′y′′ = 2, y(0) = 1, y′(0) = 2, 2. (1 + t2)y′′+ 2ty′+ t−2 = 0, y(0) = 2,

y′(0) = 4, 3. y′y′′ = 2, y(0) = 1, y′(0) = 2,

4. y′y′′ = t, y(1) = 2, y′(1) = 1.

Differential equations of the form F (x, y, y′, ..., y(n)) = 0, where F is

a homogeneous with respect to y, y′, ..., y(n). In this case it is indicate to use

the substitution y′(x) = y(x)z(x).

Example Solve the equation: 3(y′)2 − 4yy′′ = y2 .

Solution The given equation is homogeneous of degree 2, and we consider

the given substitution y′(x) = y(x)z(x). By direct calculation we deduce

y′′(x) = y(x)z′(x) + y′(x)z(x) and by substituting it in the given equation

27

we derive 3z2− 4(z2 + z′ = 1 → z′ = −z2− 1 and the last equation can be

integrate.

Higher Order Linear Equations

Definition An n-th linear differential equation is an equation of the form

P0(t)dny

dtn+ P1(t)

dn−1y

dtn−1+ · · ·+ Pn−1(t)

dy

dt+ Pn(t)y = G(t) (3.1)

We assume that the functions P0, ..., Pn and G are continuous real-valued

functions on some interval I : α < t,< β, and that P0 is nowhere zero in

this interval. Then, dividing Eq. (3.1) by P0(t), we obtain

dny

dtn+ p1(t)

dn−1y

dtn−1+ · · ·+ pn−1(t)

dy

dt+ pn(t)y = g(t) (3.2)

In developing the theory of linear differential equations, it is helpful to intro-

duce a differential operator notation. Let p1, · · · pn be continuous functions

on an open interval I , that is, for α < t < β. The cases α = −∞, or β =∞,or both, are included. Then, for any function f that is n-th differentiable on

I , we define the differential operator L by the equation

L[y](t) =dny

dtn+ p1(t)

dn−1y

dtn−1+ · · ·+ pn−1(t)

dy

dt+ pn(t)y.

First by direct calculation it can prove the next assertion

Proposition 3.1 The differential operator L is linear transform, that is

L[ay1 + by2] = aL[y1] + bL[y2]

where a, b ∈ R and y1, y2 are continuous functions.

Since Eq. (3.2) involves the n-th derivative of y with respect to t, it

will, so to speak, require n integrations to solve Eq. (3.2). Each of these

integrations introduces an arbitrary constant. Hence we can expect that, to

obtain a unique solution, it is necessary to specify n initial conditions,

y(t0) = y0, y′(t0) = y′0, ..., y(n−1)(t0) = y

(n−1)0 , (3.3)

where t0 may be any point in the interval I and y0, y′0, ..., y

(n−1)0 is any set

of prescribed real constants. That there does exist such a solution and that

28

it is unique are assured by the following existence and uniqueness theorem.

Theorem 3.1 If the functions p1, p2, ..., pn, and g are continuous on

the open interval I, then there exists exactly one solution y = ψ(t) of the

differential equation (3.2) that also satisfies the initial conditions (3.3). This

solution exists throughout the interval I .

We will not give a proof of this theorem here. However, if the coefficients

p1, ..., pn are constants, then we can construct the solution of the initial value

problem (3.2), (3.3).

The Homogeneous Equation. We first discuss the homogeneous equa-

tion

L[y] = y(n) + p1(t)y(n−1) + + pn−1(t)y

′ + pn(t)y = 0. (3.4)

If we denote by V0 the set of all solution of the eq.(3.4) then it is easy to

see that V0 is subset of the set V of n-th differentiable function which is a

linear space. By direct calculation it can prove

Proposition 3.2 V0 is a real linear subspace of V of dimension n.

If the functions y1, y2, ..., yn are solutions of Eq. (3.4), then it follows by

direct computation that the linear combination

y = c1y1(t) + c2y2(t) + + cnyn(t), (3.5)

where c1, ..., cn are arbitrary constants, is also a solution of Eq. (3.4). It is

then natural to ask whether every solution of Eq. (3.4) can be expressed

as a linear combination of y1, ..., yn. This will be true if, regardless of the

initial conditions (3.3) that are prescribed, it is possible to choose the con-

stants c1, ..., cn so that the linear combination (3.5) satisfies the initial con-

ditions. Specifically, for any choice of the point t0 in I, and for any choice of

y0, y′0, ..., y

(n−1)0 , we must be able to determine c1, ..., cn so that the equations

29

c1y1(t0) + + cnyn(t0) = y0c1y′1(t0) + + cny

′n(t0) = y′0

......

c1y(n−1)1 (t0) + + cny

(n−1)n (t0) = y

(n−1)0 .

(3.6)

are satisfied. Equations (3.6) can be solved uniquely for the constants

c1, ..., cn, provided that the determinant of coefficients is not zero. On the

other hand, if the determinant of coefficients is zero, then it is always pos-

sible to choose values of y0, y′0, ..., y

(n−1)0 such that Eqs. (3.6) do not have

a solution. Hence a necessary and sufficient condition for the existence of

a solution of Eqs. (3.6) for arbitrary values of y0, y′0, ..., y

(n−1)0 is that the

Wronskian

W (y1, ..., yn) =

∣∣∣∣∣∣∣∣∣y1 y2 · · · yny′1 y′2 · · · y′n...

......

y(n−1)1 y

(n−1)2 · · · y

(n−1)n

∣∣∣∣∣∣∣∣∣ (3.7)

is not zero at t = t0. Since t0 can be any point in the interval I , it is

necessary and sufficient that W (y1, y2, ..., yn) be nonzero at every point in

the interval. It can be shown that if y1, y2, ..., yn are solutions of Eq. (3.4),

then W (y1, y2, ..., yn) is either zero for every t in the interval I or else is

never zero there. Hence we have the following theorem.

Theorem 3.2 If the functions p1, p2, ..., pn are continuous on the open

interval I , if the functions y1, y2, ..., yn are solutions of Eq. (3.4), and if for

at least W (y1, y2, ..., yn) 6= 0 one point in I , then every solution of Eq. (3.4)

can be expressed as a linear combination of the solutions y1, y2, ..., yn. )

A set of solutions y1, y2, ..., yn of Eq. (3.4) whose Wronskian is nonzero is

referred to as a fundamental set of solutions. Since all solutions of Eq. (3.4)

are of the form (3.5), we use the term general solution to refer to an arbitrary

linear combination of any fundamental set of solutions of Eq. (3.4).

The discussion of linear dependence and independence can also be gener-

alized. The functions f1, f2, ..., fn are said to be linearly dependent on I if

30

there exists a set of constants k1, k2, ..., kn, not all zero, such that

k1f1 + k2f2 + · · ·+ knfn = 0 (3.8)

for all t in I . The functions f1, f2, ..., fn are said to be linearly independent

on I if they are not linearly dependent there. If y1, ..., yn are solutions of Eq.

(4), then it can be shown that a necessary and sufficient condition for them

to be linearly independent is that W (y1, y2, ..., yn)(t0) 6= 0 for some t0 in I.

Hence a fundamental set of solutions of Eq. (3.4) is linearly independent, and

a linearly independent set of n solutions of Eq. (3.4) forms a fundamental

set of solutions.

The Non homogeneous Equation.

Now consider the non homogeneous equation (3.2),

L[y] = y(n) + p1(t)y(n−1) + + pn−1(t)y

′ + pn(t)y = g(t).

If Y1 and Y2 are any two solutions of Eq. (3.2), then it follows immediately

from the linearity of the operator L that

L[Y1 − Y2](t) = L[Y1](t)− L[Y2](t) = g(t)− g(t) = 0.

Hence the difference of any two solutions of the non homogeneous equation

(3.2) is a solution of the homogeneous equation (3.4). Since any solution

of the homogeneous equation can be expressed as a linear combination of a

fundamental set of solutions y1, y2, ..., yn it follows that any solution of Eq.

(3.2) can be written as

y(t) = c1y1(t) + c2y2(t) + + cnyn(t) + Y (t), (3.9)

where Y is some particular solution of the non homogeneous equation (3.2).

The linear combination (3.9) is called the general solution of the non homo-

geneous equation (3.2). Thus the primary problem is to determine a funda-

mental set of solutions y1, y2, ..., yn, of the homogeneous equation (3.4). If

the coefficients are constants, this is a fairly simple problem.

Homogeneous Equations with Constant Coefficients

31

Consider the nth order linear homogeneous differential equation

L[y] = a0y(n) + a1y

(n−1) + + an−1y′ + any = 0, (3.10)

where a0, a1, ..., an are real constants. By using the Euler’s method we find

a solution of the equations with constant coefficients of the form y = eλt,

for suitable values of λ. Indeed,

L[eλt] = eλt(a0λn + a1λ

n−1 + + an−1λ+ an) = eλtP (λ) (3.11)

for all t, where

P (λ) = a0λn + a1λ

n−1 + + an−1λ+ an. (3.12)

For those values of λ for which P (λ) = 0, it follows that L[eλt] = 0 and

y = eλt is a solution of Eq. (3.10). The polynomial P (λ) is called the

characteristic polynomial, and the equation P (λ) = 0 is the characteristic

equation of the differential equation (3.10). Next we have the next situation:

Real and Unequal Roots. If the roots of the characteristic equation are

real and no two are equal, then we have n distinct solutions eλ1t, eλ2t, · · · , eλnt

of Eq. (3.10). If these functions are linearly independent, then the general

solution of Eq. (3.10) is

y = c1eλ1t + c2e

λ2t + · · ·+ cneλnt. (3.13)

One way to establish the linear independence of eλ1t, eλ2t, · · · , eλnt is to

evaluate their Wronskian determinant.

Example Find the general solution of

y(4) + y(3) − 7y′′ − y′ + 6y = 0. (3.14)

Also find the solution that satisfies the initial conditions

y(0) = 1, y′(0) = 0, y′′(0) = −2, y′′′(0) = −1 (3.15)

The characteristic equation of the differential equation (3.16) is the polyno-

mial equation

r4 + r3 − 7r2 − r + 6 = 0. (3.16)

The roots of this equation are r1 = 1, r2 = −1, r3 = 2, r4 = −3. Therefore

the general solution of Eq. (3.15) is

y = c1et + c2e

−t + c3e2t + c4e

−3t. (3.17)

32

The initial conditions (3.15) require that c1, ..., c4 satisfy the four equationsc1 + c2 + c3 + c4 = 1,c1 − c2 + 2c3 − 3c4 = 0,c1 + c2 + 4c3 + 9c4 = −2,c1 − c2 + 8c3 − 27c4 = −1.

(3.18)

By solving this system of four linear algebraic equations, we find that c1 =

11/8, c2 = 5/12, c3 = −2/3, c4 = −1/8. Therefore the solution of the initial

value problem is

y =11

8et +

5

12e−t − 23e2t − 18e−3t. (3.19)

Complex Roots. If the characteristic equation has complex roots, they

must occur in conjugate pairs, λ ± jµ, j2 = −1, since the coefficients

a0, · · · , an are real numbers. Provided that none of the roots is repeated,

the general solution of Eq. (3.10) is still of the form (3.15). However, we can

replace the complex-valued solutions e(λ+jµ)t and e(λ−jµ)t by the real-valued

solutions

eλt cosµt, eλt sinµt (3.20)

obtained as the real and imaginary parts of e(λ+jµ)t. Thus, even though some

of the roots of the characteristic equation are complex, it is still possible to

express the general solution of Eq. (3.10) as a linear combination of real-

valued solutions.

Example. Find the general solution of

y(iv) − y = 0. (3.21)

Also find the solution that satisfies the initial conditions

y(0) = 7/2, y′(0) = −4, y′′(0) = 5/2, y′′′(0) = −2 (3.22)

We find that the characteristic equation of the differential equation (3.21)

r4 − 1 = (r2 − 1)(r2 + 1) = 0.

Therefore the roots are r = 1,−1, j,−j, and the general solution of Eq.

(3.22)

y = c1et + c2e

−t + c3 cos t+ c4 sin t.

33

If we impose the initial conditions (3.22), we find that c1,= 0, c2 = 3, c3 =

1/2, c4 = −1, thus the solution of the given initial value problem is

y = 3e−t + 12 cos t− sin t. (3.23)

Observe that the initial conditions (3.22) cause the coefficient c1 of the

exponentially growing term in the general solution to be zero. Therefore

this term is absent in the solution (3.23), which describes an exponential

decay to a steady oscillation. However, if the initial conditions are changed

slightly, then c1 is likely to be nonzero and the nature of the solution changes

enormously. For example, if the first three initial conditions remain the

same, but the value of y′′′(0) is changed from -2 to -15/8, then the solution

of the initial value problem becomes

y =1

32et +

95

32e−t +

1

2cos t− 17

16sin t. (3.24)

Repeated Roots. If the roots of the characteristic equation are not dis-

tinct, that is, if some of the roots are repeated, then the solution (3.13) is

clearly not the general solution of Eq. (3.10). Recall that if r1, has multiplic-

ity s (where s ≤ n), then etr1 , tetr1 , t2etr1 , · · · , ts−1etr1(18) are corresponding

solutions of Eq. (3.10). If a complex root λ + jµ is repeated s times, the

complex conjugate λ+jµ is also repeated s times. Corresponding to these 2s

complex-valued solutions, we can find 2s real-valued solutions by noting that

the real and imaginary parts of e(λ+jµ)t, te(λ+jµ)t, t2e(λ+jµ)t, · · · , ts−1e(λ+jµ)t, e(λ−jµ)t,te(λ−jµ)t, t2e(λ−jµ)t, · · · , ts−1e(λ+jµ)t, ts−1e(λ−jµ)t, are also linearly indepen-

dent solutions: eλt cosµt, eλ sinµt, teλt cosµt, teλt sinµt, t2eλt cosµt,

t2eλt sinµt, · · · , ts−1eλt cosµt, ts−1eλt sinµt. Hence the general solution of

Eq. (3.10) can always be expressed as a linear combination of n real-valued

solutions. Consider the following example.

Example. Find the general solution of

yiv + 2y′′ + y = 0. (3.25)

The characteristic equation is r4 + 2r2 + 1 = (r2 + 1)2 = 0. The roots are

r = j, j,−j,−j, and the general solution of Eq. (19) is

y = c1 cos t+ c2 sin t+ c3t cos t+ c4t sin t.

34

Exercises. Find the general solution of the given differential equation.

1. y′′′ − y′′ − y′ + y = 0, 2. y′′′ − 3y′′ + 3y′ + y = 0,3. 2y′′′ − 4y′′ − 4y′ + 4y = 0, 4. y′′′ − y′′ − y′ + y = 0,

5. y(iv) − 4y′′′ + 4y′′ = 0 6. y(vi) + y = 0

7. y(iv) − 5y′′ + 4y = 0 8. y(vi) − 3y(iv) + 3y′′ − y = 0 9. y(vi)− y′′ = 0

10. y(v) − 3y(iv) + 3y′′′ − 3y′′ + 2y′ = 0 11. y(iv) − 8y′ = 0

12. y(6) + 8y(4) + 16y = 0. 13. 18y′′′ + 21y′′ + 14y′ + 4y = 0,

14. y(4) − 7y′′′ + 6y′′ + 30y′ − 36y = 0,

15. 12y(4) + 31y′′′ + 75y′′ + 37y′ + 5y = 0.

In each of the given initial value problem, find the particular solution.

1. y′′′ + y′ = 0; y(0) = 0, y′(0) = 1, y′′(0) = 2

2. y(4) + y = 0; y(0) = 0, y′(0) = 0, y′′(0) = −1, y′′′(0) = 0

3. y(4) − 4y′′′ + 4y′′ = 0; y(1) = −1, y′(1) = 2, y′′(1) = 0, y′′′(1) = 0,4. y′′′ − y′′ + y′ − y = 0; y(0) = 2, y′(0) = −1, y′′(0) = −2

5. 2y(4) − y′′′ − 9y′′ + 4y′ + 4y = 0; y(0) = −2, y′(0) = 0, y′′(0) = −2,y′′′(0) = 0 6. 4y′′′ + y′ + 5y = 0; y(0) = 2, y′(0) = 1, y′′(0) = −17. 6y′′′ + 5y′′ + y′ = 0; y(0) = −2, y′(0) = 2, y′′(0) = 0

8. y(4) + 6y′′′ + 17y′′ + 22y′ + y = 0; y(0) = 1, y′(0) = −2, y′′(0) = 0,

y(3)(0) = 0,

The Method of Undetermined Coefficients

A particular solution y of the non homogeneous nth order linear equation

with constant coefficients

L[y] = a0y(n) + a1y

(n−1) + + an−1y′ + any = g(t) (4.1)

can be obtained by the method of undetermined coefficients, provided that

g(t) is of an appropriate form. While the method of undetermined coeffi-

cients is not as general as the method of variation of parameters described

in the next section, it is usually much easier to use when applicable.

When the constant coefficient linear differential operator L is applied to

a polynomial A0tm + A1t

m−1 + + Am, an exponential function eαt, a sine

function sinβt, or a cosine function cosβt, the result is a polynomial, an

exponential function, or a linear combination of sine and cosine functions,

respectively. Hence, if g(t) is a sum of polynomials, exponentials, sines,

and cosines, or products of such functions, we can expect that it is possible

35

to find Y(t) by choosing a suitable combination of polynomials, exponen-

tials, and so forth, multiplied by a number of undetermined constants. The

constants are then determined so that Eq. (4.1) is satisfied. More exactly

if g(t) = eat(Pn(t) cos bt + Qm(t) sin bt) and if r = a + jb is a root of the

characteristic polinom of the eq. 4.1, of multiplicity s then it can be deter-

mine a particular solution of the form y(t) = tseat(Pu(t) cos bt+Qu(t) sin bt),

where u = max{m,n} and Pu, Qu are the undetermined polinoms which

are determinate if y(t) is a solution of eq.1

Example Find the general solution of

y′′′ − 3y′′ + 3y′ − y = 4et. (4.2)

The characteristic polynomial for the homogeneous equation corresponding

to Eq. (4.2) is P (r) = r3 − 3r2 + 3r − 1 = (r − 1)3, so the general solution

of the homogeneous equation is

y0(t) = c1et + c2te

t + c3t2et. (4.3)

To find a particular solution Y(t) of Eq. (4.2), we start by assuming that

Y (t) = Aet. However, since et, tet, t2et are all solutions of the homogeneous

equation, we must multiply this initial choice by t3. Thus our final assump-

tion is that Y (t) = At3et, where A is an undetermined coefficient. To find

the correct value for A, we differentiate Y(t) three times, substitute for y

and its derivatives in Eq. (4.2), and collect terms in the resulting equation.

In this way we obtain 6Aet = 4et. Thus A = 2/3 and the particular solution

is

Yp(t) =2

3t3et. (4.4)

The general solution of Eq. (4.2) is the sum of y0(t) from Eq. (4.3) and

Y(t) from Eq. (4.4), that is

y(t) = Y0(t) + yp(t) = c1et + c2te

t + c3t2et +

2

3t3et.

Example Find a particular solution of the equation

y(4) + 2y′′ + y = 3sint− 5cost. (4.5)

The characteristic polynomial for the homogeneous equation corresponding

to eq. 4.5 is r4 + 2r2 + 1 = (r2 + 1)2, and the general solution of the

36

homogeneous equation is

y0(t) = c1 cos t+ c2 sin t+ c3t cos t+ c4t sin t, (4.6)

corresponding to the roots r = j, j,−j,−j of the characteristic equation.

Our initial assumption for a particular solution is yp(t) = A sin t + B cos t,

but we must multiply this choice by t2 to make it different from all solutions

of the homogeneous equation. Thus our final assumption is

yp(t) = At2 sin t+Bt2 cos t.

Next, we differentiate yp(t) four times, substitute into the differential equa-

tion (4.5), and collect terms, obtaining finally −8A sin t−8B cos t = 3 sin t−5 cos t. Thus A = −38, B = 58, and the particular solution of Eq. (4.5) is

yp(t) = −38t2 sin t+ 58t2 cos t. (4.7)

The general solution of Eq. (4.5) is the sum of y0(t) from Eq. (4.6) and Y

(t) from Eq. (4.6), that is

y(t) = Y0(t)+yp(t) = c1 cos t+c2 sin t+c3t cos t+c4t sin t−38t2 sin t+58t2 cos t.

If g(t) is a sum of several terms, it is often easier in practice to compute

separately the particular solution corresponding to each term in g(t). As for

the second order equation, the particular solution of the complete problem

is the sum of the particular solutions of the individual component problems.

This is illustrated in the following example.

Example Find a particular solution of

y′′′ − 4y′ = t+ 3 cos t+ e−2t. (4.8)

First we solve the homogeneous equation. The characteristic equation is

r3 − 4r = 0, and the roots are 0,±2, hence

y0(t) = c1 + c2e2t + c3e

−2t.

We can write a particular solution of Eq. (4.8) as the sum of particular

solutions of the differential equations

y′′′ − 4y′ = t, y′′′ − 4y′ = 3 cos t, y′′′ − 4y′ = e−2t.

Our initial choice for a particular solution y1(t) of the first equation is A0t+

A1, but since a constant is a solution of the homogeneous equation, we

37

multiply by t. Thus y1(t) = t(A0t+A1). For the second equation we choose

y2(t) = B cos t+C sin t, and there is no need to modify this initial choice since

cos t and sin t are not solutions of the homogeneous equation. Finally, for

the third equation, since e−2t is a solution of the homogeneous equation, we

assume that y3(t) = Ete−2t. The constants are determined by substituting

into the individual differential equations; they are A0 = −18 , A1 = 0, B =

0, C = −35 , E = 1

8 . Hence a particular solution of Eq. (4.8) is

yp(t) = −1

8t2 − 3

5sin t+

1

8te−2t.

Exercises In each of the next problems determine the general solution of

the given differential equation.

1. y′′′ − y′′ − y′ + y = 2e−t + 3 2. y(4) − y = 3t+ cos t

3. y′′′ + y′′ + y′ + y = e−t + 4t 4. y′′′ − y′ = 2 sin t 5.y(4) − 4y′′ = t2 + et

6. y(4) + 2y′′ + y = 3 + cos2t 7. y(4) + y(3) = t 8.y(4) + y(3) = sin2t

In each of Problems which follows find the solution of the given initial value

problem.

9. y(3) + 4y′ = t, y(0) = y′(0) = 0, y′′(0) = 1

10. y(4) + 2y′′ + y = 3t+ 4, y(0) = y′(0) = 0, y′′(0) = y(3)(0) = 1

11. y(3) − 3y′′ + 2y′ = t+ et, y(0) = 1, y′(0) = −1/4, y′′(0) = −32

12. y(4) + 2y′′′ + y′′ + 8y′ − 12y = 12 sin t− e−t y(0) = 3, y′(0) = 0,y′′(0) = −1, y′′′(0) = 2

The Method of Undetermined Coefficients In each of Problems

determine a suitable form for y(t) if the method of undetermined coefficients

is to be used. Do not evaluate the constants.

13. y(3) − 2y′′ + y′ = t3 + 2et 14. y(3) − y′ = te−t + 2 cos t

15. y(4) − 2y′′ + y′ = et + sin t 16. y(4) + 4y′′ = sin 2t+ tet + 4

17. y(4) − y(3) − y′′ + y′ = t2 + 4 + t sin t

18. y(4) + 2y′′ = 3et + 2te−t + e−t sin t

The Method of Variation of Parameters

The method of variation of parameters for determining a particular solu-

tion of the non homogeneous n-th order linear differential equation

L[y] = y(n) + p1(t)y(n−1) + · · ·+ pn−1(t)y

′ + pn(t)y = g(t) (4.9)

is known as the Lagrange method. As before, to use the method of variation

of parameters, it is first necessary to solve the corresponding homogeneous

38

differential equation. In general, this may be difficult unless the coefficients

are constants. However, the method of variation of parameters is still more

general than the method of undetermined coefficients in that it leads to an

expression for the particular solution for any continuous function g, whereas

the method of undetermined coefficients is restricted in practice to a limited

class of functions g. Suppose then that we know a fundamental set of solu-

tions y1, y2, ..., yn of the homogeneous equation. Then the general solution

of the homogeneous equation is

y0(t) = c1y1(t) + c2y2(t) + · · ·+ cnyn(t). (4.10)

The method of variation of parameters for determining a particular solution

of Eq. (4.9) rests on the possibility of determining n functions u1, u2, ..., un

such that y(t) is of the form

y(t) = u1(t)y1(t) + u2(t)y2(t) + · · ·+ un(t)yn(t). (4.11)

Since we have n functions to determine, we will have to specify n conditions.

One of these is clearly that y satisfy Eq. (4.9). The other n - 1 conditions

are chosen so as to make the calculations as simple as possible. Since we

can hardly expect a simplification in determining y if we must solve high

order differential equations for u1, · · · , un, it is natural to impose conditions

to suppress the terms that lead to higher derivatives of u1, · · · , un. From

Eq. (4.11) we obtain

y′ = (u1y′1 + u2y

′2 + · · · ,+uny′n) + (u′1y1 + u′2y2 + · · · ,+u′nyn), (4.12)

where we have omitted the independent variable t on which each function

in Eq. (4.12) depends. Thus the first condition that we impose is that

u′1y1 + u′2y2 + · · · ,+u′nyn = 0. (4.13)

Continuing this process in a similar manner through n - 1 derivatives of Y

gives

y(m) = u1y(m)1 + u2y

(m)2 + · · · ,+uny(m)

n , m = 0, 1, 2, · · · , n− 1, (4.14)

and the following n - 1 conditions on the functions u1, · · · , un,

u′1y(m−1)1 + u′2y

(m−1)2 + · · · ,+u′ny(m−1)n = 0, m = 1, 2, · · · , n− 1. (4.15)

39

The n-th derivative of y is

y(n) = (u1y(n)1 + · · ·+ uny

(n)n ) + (u′1y

(n−1)1 + · · ·+ u′ny

(n−1)n ). (4.16)

Finally, we impose the condition that y must be a solution of Eq. (4.9). On

substituting for the derivatives of y from Eqs. (4.14) and (4.16), collecting

terms, and making use of the fact that L[yi] = 0, i = 1, 2, · · · , n, we obtain

u′1y(n−1)1 + u′2y

(n−1)2 + · · ·+ u′ny

(n−1)n = g. (4.17)

Equation (4.17), coupled with the n - 1 equations (4.15), gives n simultane-

ous linear non homogeneous algebraic equations for u′1, u′2, · · · , u′n :

u′1y1 + u′2y2 + · · · ,+u′nyn = 0u′1y′′ + u′2y

′′2 + · · · ,+u′ny′′n = 0

u′1y(3)1 + u′2y

(3)2 + · · · ,+u′ny

(3)n = 0

...

u′1y(n−1)1 + u′2y

(n−1)2 + · · · ,+u′ny

(n−1)n = g

(4.18)

The system (4.18) is a linear algebraic system for the unknown quantities

u′1, u′2, · · · , u′n. By solving this system and then integrating the resulting

expressions, you can obtain the coefficients u1, · · · , un, . A sufficient condi-

tion for the existence of a solution of the system of equations (4.18) is that

the determinant of coefficients is nonzero for each value of t. However, the

determinant of coefficients is precisely W (y1, y2, ..., yn), and it is nowhere

zero since y1, ..., yn are linearly independent solutions of the homogeneous

equation. Hence it is possible to determine u′1, u′2, · · · , u′n. Using Cramers

rule, we find that the solution of the system of equations (4.18).

Remark. If when we determine, by integrating, the functions ui it is

considered and the additional arbitrary constants, then we obtain the general

solution of non homogeneous equation (4.9).

Example Find the general solution for the next equation

y(3) − y′′ − y′ + y = 4et, (4.19)

First we determine the general solution for the homogeneous equation cor-

responding to the eq.(4.19)

y(3) − y′′ − y′ + y = 0 (4.20)

40

The characteristic algebraic equation is r3 − r2 − r + 1 = 0, and its roots

are r1 = −1, r2 = r3 = 1. The fundamental system of solutions is y1(t) =

et, y2(t) = tet, y3(t) = e−t. The general solution of eq.(4.20) is

y0(t) = c1et + c2te

t + c3e−t.

Next we find the particular (general ) solution of eq (4.19) of the form

yp(t) = u1(t)et + u2(t)te

t + u3(t)e−t, (4.21)

where the unknown functions ui are solutions of the algebraic system

u′1(t)et + u′2(t)te

t + u′3(t)e−t = 0

u′1(t)et + u′2(t)(t+ 1)et − u′3(t)e−t = 0

u′1(t)et + u′2(t)(t+ 2)et + u′3(t)e

−t = 4et.

By solving this system we find

u′1(t) = −2t− 1, u′2(t) = 2, u′3(t) = e2t.

Now we integrate the resulting expressions and obtain the coefficients

u1(t) = −∫

(2t+ 1)dt = −t2 − t+ c1, u2(t) = 2t+ c2, u3(t) =1

2e2t + c3.

Now from eq.(4.21) we obtain the general solution of non homogeneous equa-

tion (4.19)

y(t) = (−t2−t+c1)et+(2t+c2)tet+

1

2e2t+c3)e

−t = c1et+c2te

t+c3e−t+(t2−t+3/2)et.

Exercises In each of the next problems use the method of variation of pa-

rameters to determine the general solution of the given differential equation.

1. y′′′+y′ = tan t, 0 < t < π, 2. y′′′−y′ = t, 3. y′′′−2y′′+y′+2y = e4t,

4. y′′′ + y′ = sec t, −π2< t <

π

25. y′′′ − y′′ + y′ − y = e−t sin t,

6. y(4) + 2y′′ + y = sin t

Find the solution of the given initial value problem.

7. y′′′ + y′ = sec t, y(0) = 2, y′(0) = 1, y′′(0) = .2

8. y(4) + 2y′′ + y = sin t, y(0) = 2, y′(0) = 0, y′′(0) = −1, y′′′(0) = 1

9. y′′′ − y′′ + y′ − y = sec t, y(0) = 2, y′(0) = −1, y′′(0) = 1

10. y′′′ − y′ = csc t, y(π/2) = 2, y′(π/2) = 1, y′′(π/2) = −1

41

Euler’s differential equations.

A class differential equations of hight order for which it is can determinate

the general solution, is Euler’s Equation.

Definition A differential equation of type

a0xny(n) + a1x

n−1y(n−1) + · · ·+ an−1xy + any = g(t),

is called the Euler’s equation.

To solve this equation it is necessary to find the next change of variable:

x = et, x > 0 Next we find the expression of hight derivative of function y

in rapport with the new variable t. More exactly let y(et) = u(t) we have

y′ =dy

dx=dy

dt

dt

dx=du

dt:dx

dt= u′e−t, y′′ =

dy′

dx=dy′

dt

dt

dx=du′

dt:dx

dt=

(u′′ − u′)e−2t, y′′′ =dy′′

dx=dy′′

dt

dt

dx=du′′

dt:dx

dt= (u′′′ − 3u′′ + 2u′)e−2t,

and so on. By substituting it in the given equation one obtain a equation

with constant coefficients.

Systems of First Order Linear Equations

There are many physical problems that involve a number of separate

elements linked together in some manner. For example, electrical networks

have this character, as do some problems in mechanics or in other fields. In

these and similar cases the corresponding mathematical problem consists of

a system of two or more differential equations, which can always be written

as first order equations. In this chapter we focus on systems of first order

linear equations, utilizing some of the elementary aspects of linear algebra

to unify the presentation.

Introduction

Systems of simultaneous ordinary differential equations arise naturally in

problems involving several dependent variables, each of which is a function

of a single independent variable. We will denote the independent variable by

t, and let x1, x2, x3, · · · represent dependent variables that are functions of t.

Differentiation with respect to t will be denoted by a prime. For example,

consider the springmass system. The two masses move on a frictionless

42

surface under the influence of external forces F1(t) and F2(t), and they are

also constrained by the three springs whose constants are k1, k2, and k3,

respectively. Using theoretical arguments, we find the following equations

for the coordinates x1 and x2 of the two masses:{m1

d2x1dt2

= k2(x2 − x1)− k1x1 + F1(t) = −(k1 + k2)x1 + k2x2 + F1(t),

m2d2x2dt2

= −k3x2 − k2(x2 − x1) + F2(t) = k2x1 − (k2 + k3)x2 + F2(t).(5.1)

Next, consider the parallel LRC circuit. Let V be the voltage drop across

the capacitor and I the current through the inductor. Then, we can show

that the voltage and current are described by the system of equations{dIdt = V

L ,

dVdt = − I

C −VRC ,

(5.2)

where L is the inductance, C the capacitance, and R the resistance.

As a final example, we mention the predatorprey problem, one of the

fundamental problems of mathematical ecology. Let H(t) and P(t) denote

the populations at time t of two species, one of which (P) preys on the other

(H). For example, P(t) and H(t) may be the number of foxes and rabbits,

respectively, in a woods, or the number of bass and reader (which are eaten

by bass) in a pond. Without the prey the predators will decrease, and

without the predator the prey will increase. A mathematical model showing

how an ecological balance can be maintained when both are present was

proposed about 1925 by Lokta and Volterra. The model consists of the

system of differential equations{dHdt = a1H − b1HP,dPdt = −a2P − b2HP,

(5.3)

known as the predatorprey equations. In Eqs. (5.3) the coefficient a1 is

the birth rate of the population H; similarly, a2 is the death rate of the

population P. The HP terms in the two equations model the interaction of

the two populations. The number of encounters between predator and prey

is assumed to be proportional to the product of the populations. Since any

such encounter tends to be good for the predator and bad for the prey, the

sign of the HP term is negative in the first equation and positive in the

43

second. The coefficients b1 and b2 are the coefficients of interaction between

predator and prey.

A system of differential equations of first order, in the more general form

is x′1 = F1(t, x1, x2, · · · , xn),x′2 = F2(t, x1, x2, · · · , xn),

...x′n = Fn(t, x1, x2, · · · , xn).

(5.4)

In fact, systems of the form (5.4) include almost all cases of interest, so

much of the more advanced theory of differential equations is devoted to

such systems. The system (5.4) is said to have a solution on the interval

I : α < t < β if there exists a set of n functions

x1 = φ1(t), x2 = φ2(t), · · · , xn = φn(t), (5.5)

that are differentiable at all points in the interval I and that satisfy the sys-

tem of equations (5.4) at all points in this interval. In addition to the given

system of differential equations there may also be given initial conditions of

the form

x1(t0) = x01, x2(t0) = x02, · · · , xn(t0) = x0n, (5.6)

where t0 is a specified value of t in I, and x01, · · · , x0n are prescribed numbers.

The differential equations (5.4) and initial conditions (5.5) together form an

initial value problem (the Cauchy’s problem).

A solution (5.5) can be viewed as a set of parametric equations in an

n-dimensional space. For a given value of t, Eqs. (5.6) give values for the

coordinates x01, · · · , x0n of a point in the space. As t changes, the coordinates

in general also change. The collection of points corresponding to α < t < β

form a curve in the space. It is often helpful to think of the curve as the

trajectory or path of a particle moving in accordance with the system of dif-

ferential equations (5.4). The initial conditions (5.6) determine the starting

point of the moving particle. The following conditions on F1, F2, · · · , Fn,which are easily checked in specific problems, are sufficient to assure that the

initial value problem (5.4), (5.6) has a unique solution. The next theorem

44

give the sufficient conditions for the existence and uniqueness theorem for a

single first order equation.

Theorem. Let each of the functions F1, · · · , Fn and the partial deriva-

tives ∂F1∂x1

, · · · , ∂F2∂x1

, · · · , ∂Fn∂x1, · · · , ∂Fn

∂xn, be continuous in a region R of tx1x2 · · ·xn-

space defined by α < t < β, α1 < t < β1, · · · , αn < t < βn, and let the point

(t0, x01, x

02, · · · , x0n) be in R. Then there is an interval |t − t0| < h in which

there exists a unique solution x1 = f1(t), · · · , xn = fn(t) of the system of

differential equations (5.4) that also satisfies the initial conditions (5.6).

The proof of this theorem we do not give it here. However, note that

in the hypotheses of the theorem nothing is said about the partial deriva-

tives of F1, · · · , Fn with respect to the independent variable t. Also, in the

conclusion, the length 2h of the interval in which the solution exists is not

specified exactly, and in some cases may be very short. Finally, the same

result can be established on the basis of somewhat weaker, but more com-

plicated hypotheses, so the theorem as stated is not the most general one

known, and the given conditions are sufficient, but not necessary, for the

conclusion to hold.

If each of the functions F1, · · · , Fn in Eqs. (5.4) is a linear function of

the dependent variables x1, · · · , xn, then the system of equations is said to

be linear; otherwise, it is nonlinear. Thus the most general system of n first

order linear equations has the form

x′1 = a11(t)x1 + · · ·+ a1n(t)xn + g1(t),x′2 = a21(t)x1 + · · ·+ a2n(t)xn + g2(t),

...x′n = an1(t)x1 + · · ·+ ann(t)xn + gn(t),

(5.7)

If each of the functions g1(t), · · · , gn(t) is zero for all t in the interval I

, then the system (5.7) is said to be homogeneous; otherwise, it is non

homogeneous. Observe that the systems (5.1) and (5.2) are both linear, but

the system (5.3) is nonlinear. The system (5.1) is non homogeneous unless

F1(t) = F2(t) = 0, while the system (5.2) is homogeneous. For the linear

45

system (5.7) the existence and uniqueness theorem is simpler and also has

a stronger conclusion.

Theorem. If the functions p11, p12, · · · , pnn, g1, · · · , gn are continuous

on an open interval I : α < t < β, then there exists a unique solution

x1 = f1(t), · · · , xn = fn(t) of the system (5.7) that also satisfies the initial

conditions (5.6), where t0 is any point in I and x01, · · · , x0n are any prescribed

numbers. Moreover, the solution exists throughout the interval I.

Note that in contrast to the situation for a nonlinear system the existence

and uniqueness of the solution of a linear system are guaranteed through-

out the interval in which the hypotheses are satisfied. Furthermore, for a

linear system the initial values x01, · · · , x0n at t = t0 are completely arbi-

trary, whereas in the nonlinear case the initial point must lie in the region

R defined in Theorem 1.

Basic Theory of Systems of First Order Linear Equations

The general theory of a system of n first order linear equationsx′1 = a11(t)x1 + · · ·+ a1n(t)xn + g1(t),x′2 = a21(t)x1 + · · ·+ a2n(t)xn + g2(t),

...x′n = an1(t)x1 + · · ·+ ann(t)xn + gn(t),

(5.8)

closely parallels that of a single linear equation of n-th order. To discuss

the system (5.8) most effectively, we write it in matrix notation. That

is, we consider x1 = f1(t), · · · , xn = fn(t) to be components of a vector

x = φ(t); similarly, g1(t), · · · , gn(t) are components of a vector g(t), and

a11(t), · · · , ann(t) are elements of an n n matrix P(t). Equation (5.8) then

takes the form

x′ = P (t)x+ g(t). (5.9)

The use of vectors and matrices not only saves a great deal of space and

facilitates calculations but also emphasizes the similarity between systems

of equations and single (scalar) equations.

46

A vector x = φ(t) is said to be a solution of Eq. (5.9) if its components

satisfy the system of equations (5.8). Throughout this section we assume

that P and g are continuous on some interval α < t < β, that is, each of

the scalar functions a11, · · · , ann, g1, · · · , gn is continuous there. According

to Theorem 2, this is sufficient to guarantee the existence of solutions of

Eq. (5.9) on the interval α < t < β. It is convenient to consider first the

homogeneous equation

x′ = P (t)x (5.10)

obtained from Eq. (5.9) by setting g(t) = 0. Once the homogeneous equation

has been solved, there are several methods that can be used to solve the non

homogeneous equation (5.9).

x(1)(t) =

x11(t)x21(t)

...xn1(t)

, · · · , x(k)(t) =

x1k(t)x2k(t)

...xnk(t)

(5.11)

to designate specific solutions of the system (5.10). Note that xij(t) = x(j)i (t)

refers to the i-th component of the j th solution x(j)(t). The main facts about

the structure of solutions of the system (5.10) are stated in the following

result.

Theorem 1. If the vector functions x(1), · · · , x(k) are solutions of the

system (5.10), then the linear combination c1x(1) + · · · + ckx

(k) is also a

solution for any constants c1, · · · , ck.

This is the principle of superposition; it is proved simply by differentiating

c1x(1) + · · ·+ ckx

(k) and using the fact that x(1), · · · , x(k) satisfy Eq. (5.10).

As we indicated previously, by repeatedly applying Theorem 1, it follows

that every finite linear combination of solutions of Eq. (5.10) is also a

solution. The question now arises as to whether all solutions of Eq. (5.10)

can be found in this way. By analogy with previous cases it is reasonable

to expect that for a system of the form (5.10) of n-th order it is sufficient

to form linear combinations of n properly chosen solutions. Therefore let

47

x(1), · · · , x(n) be n solutions of the nth order system (5.10), and consider the

matrix X(t) whose columns are the vectors x(1)(t), · · · , x(n)(t), that is

X(t) =

x11(t) · · · x1n(t)...

...xn1(t) · · · xnn(t)

(5.12)

Recall that the columns of X(t) are linearly independent for a given value

of t if and only if detX 6= 0 for that value of t. This determinant is

called the Wronskian of the n solutions x(1), · · · , x(n) and is also denoted

by W [x(1), · · · , x(n)], that is,

W [x(1), · · · , x(n)](t) = detX(t). (5.13)

The solutions x(1), · · · , x(n) are then linearly independent at a point if and

only if W [x(1), · · · , x(n)] is not zero there.

Theorem 2. If the vector functions x(1), · · · , x(n) are linearly indepen-

dent solutions of the system (3) for each point in the interval α < t < β,

then each solution x = φ(t) of the system (3) can be expressed as a linear

combination of x(1), · · · , x(n),

φ(t) = c1x(1)(t) + · · ·+ cnx

(n)(t), (5.14)

Before proving Theorem 2, note that according to Theorem 1 all expressions

of the form (5.14) are solutions of the system (5.10), while by Theorem 2 all

solutions of Eq. (5.10) can be written in the form (5.14). If the constants

c1, · · · , cn are thought of as arbitrary, then Eq. (5.14) includes all solutions

of the system (5.10), and it is customary to call it the general solution. Any

set of solutions x(1), · · · , x(n) of Eq. (5.10), which is linearly independent at

each point in the interval α < t < β, is said to be a fundamental set of

solutions for that interval. To prove Theorem 2, we will show, given any

solution φ(t) of Eq. (5.10), that φ(t) = c1x(1)(t)+ · · ·+cnx

(n)(t) for suitable

values of c1, · · · , cn. Let t = t0 be some point in the interval α < t < β and

let ξ = φ(t0). We now wish to determine whether there is any solution of

the form x = c1x(1)(t) + · · · + cnx

(n)(t) that also satisfies the same initial

48

condition x(t0) = ξ. That is, we wish to know whether there are values of

c1, · · · , cn such that

c1x(1)(t0) + · · ·+ cnx

(n)(t0) = ξ, (5.15)

or in scalar form c1x11(t0) + · · ·+ cnx1n(t0) = ξ1,· · ·

c1xn1(t0) + · · ·+ cnxnn(t0) = ξn

(5.16)

The necessary and sufficient condition that Eqs. (5.16) possess a unique

solution c1, · · · , cn is precisely the non vanishing of the determinant of co-

efficients, which is the Wronskian W [x(1), · · · , x(n)] evaluated at t = t0. The

hypothesis that x(1), · · · , x(n) are linearly independent throughout α < t < β

guarantees that W [x(1), · · · , x(n)] is not zero at t = t0, and therefore there is

a (unique) solution of Eq. (5.10) of the form x = c1x(1)(t) + · · ·+ cnx

(n)(t),

that also satisfies the initial condition (5.15). By the uniqueness part of

Theorem 2 this solution is identical to φ(t), and hence φ(t) = c1x(1)(t) +

· · ·+ cnx(n)(t), as was to be proved.

Theorem 3 If x(1), · · · , x(n) are solutions of Eq. (5.10) on the interval

α < t < β, then in this interval W [x(1), · · · , x(n)] either is identically zero

or else never vanishes.

The significance of Theorem 3 lies in the fact that it relieves us of the ne-

cessity of examining W [x(1), · · · , x(n)] at all points in the interval of interest,

and enables us to determine whether x(1), · · · , x(n) form a fundamental set

of solutions merely by evaluating their Wronskian at any convenient point

in the interval.

Theorem 3 is proved by first establishing that the Wronskian of x(1), · · · , x(n)

satisfies the differential equation

dW

dt= (a11 + a22 + · · ·+ ann)W. (5.17)

49

Hence W is an exponential function, and the conclusion of the theorem

follows immediately. The expression for W obtained by solving Eq. (5.17)

is known as Abels formula.

Now we present a method for solving the differential system with constant

coefficients x′1 = a11x1 + · · ·+ a1nxn + g1(t),x′2 = a21x1 + · · ·+ a2nxn + g2(t),

...x′n = an1x1 + · · ·+ annxn + gn(t),

, (5.18)

which is known as ”reduction to the hight order equation with constant

coefficients”. For this we choose an convenient equation, for example the

first equation; after that we calculate all hight derivative of x1 to x(n)1 and

for all other unknown we calculate all hight derivative upon to n− 1 order.

Finally we eliminate all x(j)k , 2 ≤ n, 1 ≤ n−1 and it is obtain a differential

equation of hight order with constant coefficients. By solving the obtained

equation we find x1 and after that is can determine the system solutions.

We illustrate this method in the next example.

Find the general solution for the next integral system x′1 = x1 + x2 + x3 + tx′2 = 2x1 + x2 − x3x′3 = −3x1 + 2x2 + 4x3 + et,

(5.19)

We choose the first equation and calculate x′′1 and x′′′1

x′′1 = x′1 + x′2 + x′3 + 1 → x′′′1 = x′′1 + x′′2 + x′′3

Now we calculate x′′2 and x′′3

x′′2 = 2x′1 + x′2 − x′3, x′′3 = −3x′1 + 2x′2 + 4x′3 + et

Next we consider the next system

x′1 = x1 + x2 + x3 + tx′′1 = x′1 + x′2 + x′3 + 1x′′′1 = x′′1 + x′′2 + x′′3x′2 = 2x1 + x2 − x3x′′2 = 2x′1 + x′2 − x′3x′3 = −3x1 + 2x2 + 4x3 + et

x′′3 = −3x′1 + 2x′2 + 4x′3 + et

50

By eliminate x′′2, x′2, x

′′3, x

′3 we obtain the next differential equation

x′′1 − 4x′1 + 4x1 = et − 3t+ 1

with the general solution x1(t) = (C1 + tC2)e2t + et − (3t)/4− 1/2 by sub-

stituting it in the first two equation of the system one obtain the general

solution of the system.

Remark . It is more convenient to eliminate the first derivative of the

functions after each derivative of hight order. and also this method can by

applied as in the case when we have the derivative of hight order or the

coefficients are not constant. This fact is proved in the next example.

x′1 = −x1 + x2 + x3 + et

x′2 = x1 − x2 + x3 + e3t

x′3 = x1 + x2 + x3 + 4and x1(0) = x2(0) = x3(0) = 0.

We consider the third equation and calculate the hight derivative and after

the each derivative, we eliminate the first derivative of unknown involved in

system

x′′3 = x′1 + x′2 + x′3 = (−x1 + x2 + x3 + et) + (x1 − x2 + x3 + e3t)+

(x1 + x2 + x3 + 4) = x1 + x2 + 3x3 + et + e3t + 4.

x′′′3 = x′1 +x′2 + 3x′3 + et+ 3e3t = (−x1 +x2 +x3 + et) + (x1−x2 +x3 + e3t)+

3(x1 + x2 + x3 + 4) + et + 3e3t = 3x1 + 3x2 + 5x3 + 12 + 2et + 4e3t.

Thus we obtain the system x′1 = −x1 + x2 + x3 + et

x′′1 = x1 + x2 + 3x3 + e3t + et + 4x′′′1 = 3x1 + 3x2 + 5x3 + 12 + 2et + 4e3t.

Next by eliminate x1 and x2 one obtained the equation of degree 3

x′′′3 − 3x′′3 + 4x3 = e3t − et

with general solution x3(t) = C1e−t + (C2 + tC3)e

2t + (1/4)e3t− (1/5)et and

from the first two equations of system we obtain x1 and x2.

51

Exercises By using the elimination method solve the next system{−3x′′1 + x′′2 = te−t − 3 cos ttx′′1 − x′2 = sin t,

and

{x′1(0) = 2, x1(0) = −1x′2(0) = 0 x2(0) = 4 3tx′1 = 2x1 + x2 + x3 + t

2tx′2 = 2x1 + 3x2 + x36tx′3 = −x1 + 7x2 + 5x3,

and x1(1) = x2(1) = x3(t).

tx′1 = −x1 + x2 + x3 + ttx′2 = x1 − x2 + x3 + t3

tx′3 = x1 + x2 + x3 + 4,and x(1) = y(1)z(1) = 0.

x′′1 − 3x′1 + 2x1 + x′2 − x2 = 0x′′2 − x′1 − 5x′2 + 4x2 − x′1 + x1 = 0 andx1(0) = x′1(0) = x′2(0) = 0, x2(0) = 1

Homogeneous Linear Systems with Constant Coefficients

We will concentrate most of our attention on systems of homogeneous

linear equations with constant coefficients; that is, systems of the form

x′ = Ax, (6.1)

where A is a constant n×n matrix. Unless stated otherwise, we will assume

further that all the elements of A are real numbers. To construct the general

solution of the system (6.1) we seek solutions of Eq. (6.1) of the form

x = Cert, (6.2)

where the exponent r and the constant vector C are to be determined. Sub-

stituting from Eq. (6.2) for x in the system (6.1) gives

rCert = ACert.

Upon canceling the nonzero scalar factor ert we obtain AC = rC, or

(A− rIn)C = 0, (6.3)

where In is the n×n identity matrix. Thus, to solve the system of differen-

tial equations (6.1), we must solve the system of algebraic equations (6.3).

Therefore the vector x given by Eq. (6.2) is a solution of Eq. (6.1) provided

that r is an eigenvalue and C an associated eigenvector of the coefficient

52

matrix A. The eigenvalues r1, · · · , rn (which need not all be different) are

roots of the n-th degree polynomial equation

det(A− rIn) = 0. (6.4)

The nature of the eigenvalues and the corresponding eigenvectors determines

the nature of the general solution of the system (6.1). If we assume that A

is a real-valued matrix, there are three possibilities for the eigenvalues of A:

1. All eigenvalues are real and different from each other.

2. Some eigenvalues occur in complex conjugate pairs.

3. Some eigenvalues are repeated.

1. If the eigenvalues are all real and different, then associated with

each eigenvalue ri is a real eigenvector V (i) and the set of n eigenvectors

V (1), · · · , V (n) is linearly independent. The corresponding solutions of the

differential system (6.1) are

x(1)(t) = V (1)er1t, · · · , x(n)(t) = V (n)ernt. (6.5)

To show that these solutions form a fundamental set, we evaluate their

Wronskian:

W [x(1), · · · , x(n)] =

∣∣∣∣∣∣∣V

(1)1 er1t · · · V

(n)1 ernt

· · · · · · · · ·V

(1)n ernt · · · V

(n)n ernt

∣∣∣∣∣∣∣ =

e(r1+···+rn)t

∣∣∣∣∣∣∣V

(1)1 · · · V

(n)1

· · · · · · · · ·V

(1)n · · · V

(n)n

∣∣∣∣∣∣∣ 6= 0,

because the eigenvectors V (1), · · · , V (n) are linearly independent. Thus

the general solution of Eq. (6.1) is

x = c1V(1)er1t + · · ·+ cnV

(n)ernt. (6.6)

If A is real and symmetric, recall that all the eigenvalues r1, · · · , rn must be

real. Further, even if some of the eigenvalues are repeated, there is always a

full set of n eigenvectors V (1), · · · , V (n) that are linearly independent. Hence

the corresponding solutions of the differential system (6.1) given by Eq. (6.5)

53

again form a fundamental set of solutions and the general solution is again

given by Eq. (6.6). The following example illustrates this case.

Example Find the general solution of the differential system

X ′ =

0 1 11 0 11 1 0

X, (6.7)

Observe that the coefficient matrix is real and symmetric. The eigenvalues

and eigenvectors of this matrix are:

r1 = 2, V (1) =

111

, r2 = −1 = r3, V(2) =

10−1

, V (3) =

01−1

,

Hence a fundamental set of solutions of Eq. (6.7) is

X(t) = C1

111

e2t + C2

10−1

e−t + C3

01−1

e−t.

This example illustrates the fact that even though an eigenvalue (r = -1)

has multiplicity 2, it may still be possible to find two linearly independent

eigenvectors and, as a consequence, to construct the general solution.

2. If some of the eigenvalues occur in complex conjugate pairs, then there

are still n linearly independent solutions, provided that all the eigenvalues

are different. Of course, the solutions arising from complex eigenvalues are

complex valued. However, it is possible to obtain a full set of real-valued

solutions. This occur from the Euler’s formula: ejx = cosx+ sinx.

For example, if r1 = a+ jb, where a and b are real, is an eigenvalue of A,

then so is r2 = a−jb. Further, the corresponding eigenvectors V (1) and V (2)

are also complex conjugates. The the corresponding solutions x(1)(t) and

x(2)(t) to the complex conjugate eigenvalue are complex conjugate functions

x(1)(t) = V (1)er1t, x(2)(t) = V (2)er21t. Therefore, we can find two real-

valued solutions of Eq. (6.1) corresponding to the eigenvalues r1 and r2

by taking the real and imaginary parts of x(1)(t) or x(2)(t), which are also

solution of the eq. (6.1) and more these solution are linearly independent.

First let us write V (1) = A1+jB1 → V (2) = A1−jB1 where A1, B1 are real;

then we have x(1)(t) = (A1 + B1)e(a+jb) = (A1 + B1)e

a(cos at + j sin bt) =

(A1 cos bt−B1 sin bt) + j(A1 sin t+B1 cos bt).

54

Then the vectors

u(t) = eat(A1 cos bt−B1 sin bt) = (x(1) + x(1))/2,

v(t) = eat(A1 sin bt+B2 cos bt) = (x(1) − x(1))/(2j),

are real-valued solutions of Eq. (6.1). To show that u and v are linearly

independent solutions we use some of the property of determinants. More

exactly we have

W [x(1), x(2), · · · , x(n)] = W [x(1), x(1), · · · , x(n)] =

W [x(1) + x(1), [x(1) − x(1), · · · , x(n)] = W [2re(x(1)), 2jim(x(1)), · · · , x(n)].

which prove that the system of functions x(1), x(2), · · · , x(n) are linearly in-

dependent, so it is x(1) + x(2), x(1) − x(2), · · · , x(n). Finally if r1 = a+ jb is

an eigenvalue of the matrix A, so it is and r2 = a − jb and instead of the

set of solution corresponding to these eigenvalue we consider the real and

imaginary part these solutions.

3. Next, suppose that r = ρ is a k-fold root of the determinant equation

det(A− rIn) = 0. (6.8)

Then ρ is an eigenvalue of multiplicity k of the matrix A. In this event,

there are two possibilities: either there are k linearly independent eigenvec-

tors corresponding to the eigenvalue ρ, or else there are fewer than k such

eigenvectors.

In the first case, let ξ(1), · · · , ξ(k), be k linearly independent eigenvec-

tors associated with the eigenvalue ρ of multiplicity k. Then x(1)(t) =

ξ(1)eρt, · · · , x(k)(t) = ξ(k)eρt are k linearly independent solutions of Eq. (6.1).

Thus in this case it makes no difference that the eigenvalue r = ρ is repeated;

there is still a fundamental set of solutions of Eq. (6.1) of the form ξert. This

case always occurs if the coefficient matrix A is Hermitian (symmetric, that

is A = At.) However, if the coefficient matrix is not Hermitian, then there

may be fewer than k independent eigenvectors corresponding to an eigen-

value ρ of multiplicity k, and if so, there will be fewer than k solutions of

55

Eq. (6.1) of the form ξeρt associated with this eigenvalue. Therefore, to con-

struct the general solution of Eq. (6.1) it is necessary to find other solutions

of a different form. By analogy with previous results for linear equations

of order n, it is natural to seek additional solutions involving products of

polynomials and exponential functions. Thus we must determine a solution

of the form X(t) = (C1 + C2t + · · ·Ck−1tk−1)eρt with C1, · · · ), Ck−1 are

unknown constant vectors. by substituting it in the eq.(6.1) we deduce

(A− ρIn)Ci = Ci+1, 1 ≤ k − 2, (A− ρIn)Ck−1 = 0. (6.9)

Therefore by solving the system (6.9) we determine the constant vectors

Ci and we find the set sf solutions linearly independent corresponding to

eigenvalue ρ.

Undetermined Coefficients. A second way to find a particular solution

of the non homogeneous system (6.1) is the method of undetermined coef-

ficients. To make use of this method, one assumes the form of the solution

with some or all of the coefficients unspecified, and then seeks to determine

these coefficients so as to satisfy the differential equation. As a practical

matter, this method is applicable only if the coefficient matrix P is a con-

stant matrix, and if the components of g are polynomial, exponential, or

sinusoidal functions, or sums or products of these. In these cases the correct

form of the solution can be predicted in a simple and systematic manner.

The main difference is illustrated by the case of a non homogeneous term of

the form ueλt, where λ is a simple root of the characteristic equation. In this

situation, rather than assuming a solution of the form ateλt, it is necessary

to use (at + b)eλt, where a and b are determined by substituting into the

differential equation.

Variation of Parameters. Now let us turn to more general problems

in which the coefficient matrix is not constant or not diagonalizable. Let

x′ = P (t)x+ g(t), (6.10)

56

where P(t) and g(t) are continuous on α < t < β. Assume that a general

solution for the corresponding homogeneous system

x′ = P (t)x (6.11)

has been found. Suppose that x(1)(t), · · · , x(n)(t) form a fundamental set of

solutions for the homogeneous equation (6.11) on some interval α < t < β.

Then the matrix

Ψ(t) =

x(1)1 (t) · · · x

(n)1 (t)

......

...

x(1)n (t) · · · x

(n)n (t)

whose columns are the vectors x(1)(t), · · · , x(n)(t), is said to be a fundamen-

tal matrix. We use the method of variation of parameters to construct a

particular solution, and hence the general solution, of the non homogeneous

system (6.10). Since the general solution of the homogeneous system (6.11)

is Ψ(t)c, it is natural to seek a solution of the non homogeneous system

(6.10) by replacing the constant vector c by a vector function u(t). Thus,

we assume that

x = Ψ(t)u(t), (6.12)

where u(t) is a vector to be found. Upon differentiating x as given by Eq.

(6.12) and requiring that Eq. (6.10) be satisfied, we obtain

Ψ′(t)u(t) + Ψ(t)u′(t) = P (t)Ψ(t)u(t) + g(t). (6.13)

Since Ψ(t) is a fundamental matrix, Ψ′(t)u(t) = P (t)Ψ(t)u(t). hence Eq.

(6.13) reduces to

Ψ(t)u′(t) = g(t). (6.14)

Recall that Ψ(t) is nonsingular on any interval where P is continuous. Hence

Ψ−1(t) exists, and therefore

u′(t) = Ψ−1(t)g(t). (6.15)

57

Thus for u(t) we can select any vector from the class of vectors that satisfy

Eq. (6.15); these vectors are determined only up to an arbitrary additive

constant (vector); therefore we denote u(t) by

u(t) =

∫Ψ−1(s)g(s)ds+ c, (6.16)

where the constant vector c is arbitrary. Finally, substituting for u(t) in Eq.

(6.12) gives the solution x of the system (6.10):

x = Ψ(t)c+ Ψ(t)

∫Ψ−1(s)g(s)ds. (6.17)

Since c is arbitrary, any initial condition at a point t = t0 can be satisfied

by an appropriate choice of c. Thus, every solution of the system (6.10) is

contained in the expression given by Eq. (6.17); it is therefore the general

solution of Eq. (6.10). Note that the first term on the right side of Eq. (6.17)

is the general solution of the corresponding homogeneous system (6.11), and

the second term is a particular solution of Eq. (6.10) itself.

Example Use the method of variation of parameters to find the general

solution of the system

x′ =

(−2 11 −2

)x+

(2e−t

3t

)(6.18)

The general solution of the corresponding homogeneous system is

Ψ(t) =

(e−3t e−t

−e−3t e−t

)(6.19)

is a fundamental matrix. Then the solution x of Eq. (6.18) is given by

x = Ψ(t)u(t), where u(t) satisfies Ψ(t)u′(t) = g(t), or

Ψ(t) =

(e−3t e−t

−e−3t e−t

)(u′1u′2

)=

(2e−t

3t

)(6.30)

Solving Eq. (6.30) by row reduction, we obtain

u′1 = e2t − 32 te

3t,u′2 = 1 + 3

2 tet.

Henceu1(t) = 1

2e2t + (16 −

12 t)e

3t + c1,u2(t) = t+ (3t−32 et + c2,

58

and

x = Ψ(t)u(t) = c1

(1−1

)e−3t+(c2+t+

1

2)

(11

)e−t+

(12

)t− 1

3

(45

).

Each of the methods for solving non homogeneous equations has some advan-

tages and disadvantages. The method of undetermined coefficients requires

no integration, but is limited in scope and may entail the solution of several

sets of algebraic equations. The method of diagonalization requires finding

the inverse of the transformation matrix and the solution of a set of uncou-

pled first order linear equations, followed by a matrix multiplication. Its

main advantage is that for Hermitian coefficient matrices the inverse of the

transformation matrix can be written down without calculation, a feature

that is more important for large systems. Variation of parameters is the

most general method. On the other hand, it involves the solution of a set

of linear algebraic equations with variable coefficients, followed by an inte-

gration and a matrix multiplication, so it may also be the most complicated

from a computational viewpoint. For many small systems with constant

coefficients, such as the one in the examples in this section, there may be

little reason to select one of these methods over another.Keep in mind, how-

ever, that the method of diagonalization is slightly more complicated if the

coefficient matrix is not diagonalizable, but only reducible to a Jordan form,

and the method of undetermined coefficients is practical only for the kinds

of non homogeneous terms mentioned earlier.

Problems. In each of the next problems find the general solution of the

given system of equations.

1. x′ =

(2 −13 −2

)x+

(et

t

)2. x′ =

(2√

3√3 −1

)x+

(et√3e−t

)3. x′ =

(2 −51 −2

)x+

(cos tsin t

)4. x′ =

(1 14 −2

)x+

(e−2t

−2et

)

5. x′ =

(4 −28 −4

)x+

(t−3

−t−2), t > 0, 6. x′ =

(−4 22 −1

)x+

(t−1

2t−1 + 4

)7. x′ =

−1 1 11 −1 11 1 1

x+

et

e3t

4

59

8. x′ =

0 1 13 0 13 1 0

x+

et

t0

9. x′ =

6 −12 −11 −3 −1−4 12 3

x+

e−t

2t−1

10. x′ =

2 −1 −13 −2 −3−1 1 2

x+

sin tcos 2t

0

11. x′ =

4 −1 03 1 −11 0 1

x+

−2t2t2

−1

12. x′ =

−2 1 −21 −2 23 −3 5

x+

sin te2t

0

13. x′ =

4 −18 9−1 5 −2−3 14 −6

x+

4 + 18t− 9t2

−5t+ 2t2

−2− 12t+ t2

14. x′ =

2 1 −11 2 −13 3 −1

x+

sin 2tcos 2tt

Series Solutions of Second Order Linear Equations

Finding the general solution of a linear differential equation rests on de-

termining a fundamental set of solutions of the homogeneous equation. So

far, we have given a systematic procedure for constructing fundamental so-

lutions only if the equation has constant coefficients. To deal with the much

larger class of equations having variable coefficients it is necessary to extend

our search for solutions beyond the familiar elementary functions of calcu-

lus. The principal tool that we need is the representation of a given function

by a power series. The basic idea is similar to that in the method of un-

determined coefficients:We assume that the solutions of a given differential

equation have power series expansions, and then we attempt to determine

the coefficients so as to satisfy the differential equation.

Series Solutions near an Ordinary Point

We described methods of solving second order linear differential equations

with constant coefficients. We now consider methods of solving second or-

der linear equations when the coefficients are functions of the independent

variable. In this chapter we will denote the independent variable by x. It is

sufficient to consider the homogeneous equation

60

P (x)d2y

dx2+Q(x)

dy

dx+R(x)y = 0, (7.1)

since the procedure for the corresponding non homogeneous equation is sim-

ilar. A wide class of problems in mathematical physics leads to equations

of the form (7.1) having polynomial coefficients; for example, the Bessel

equation

x2y′′ + xy + (x2 − ν2)y = 0,

where ν is a constant, and the Legendre equation

(1− x2)y′′ − 2xy + α(α+ 1)y = 0,

where α is a constant. For this reason, as well as to simplify the algebraic

computations, we primarily consider the case in which the functions P, Q,

and R are polynomials. However, as we will see, the method of solution is

also applicable when P, Q, and R are general analytic functions. For the

present, then, suppose that P, Q, and R are polynomials, and that they

have no common factors. Suppose also that we wish to solve Eq. (7.1) in

the neighborhood of a point x0. The solution of Eq. (7.1) in an interval

containing x0 is closely associated with the behavior of P in that interval.

A point x0 such that P (x0) 6= 0 is called an ordinary point. Since P is

continuous, it follows that there is an interval about x0 in which P(x) is

never zero. In that interval we can divide Eq. (7.1) by P(x) to obtain

y′′ + p(x)y′ + q(x)y = 0, (7.2)

where p(x) = Q(x)/P(x) and q(x) = R(x)/P(x) are continuous functions.

Hence, according to the existence and uniqueness Theorem, there exists in

that interval a unique solution of Eq. (7.1) that also satisfies the initial

conditions y(x0) = y0, y′(x0) = y′0. For arbitrary values of y0 and y′0. In

this and the following section we discuss the solution of Eq. (7.1) in the

neighborhood of an ordinary point. On the other hand, if P (x0) = 0, then

x0 is called a singular point of Eq. (7.1). In this case at least one of Q(x0)

and R(x0) is not zero. Consequently, at least one of the coefficients p and

61

q in Eq. (7.2) becomes unbounded as x → x0, and therefore the existence

and uniqueness Theorem does not apply in this case. In a further sections

we deal with finding solutions of Eq. (7.1) in the neighborhood of a singular

point. We now take up the problem of solving Eq. (7.1) in the neighborhood

of an ordinary point x0. We look for solutions of the form

y = a0 + a1(x− x0) + · · ·+ an(x− x0)n + · · · =∞∑n=0

an(x− x0)n, (7.3)

and assume that the series converges in the interval |x − x0| < ρ for some

ρ > 0. While at first sight it may appear an attractive to seek a solution

in the form of a power series, this is actually a convenient and useful form

for a solution.Within their intervals of convergence power series behave very

much like polynomials and are easy to manipulate both analytically and

numerically. Indeed, even if we can obtain a solution in terms of elementary

functions, such as exponential or trigonometric functions, we are likely to

need a power series or some equivalent expression if we want to evaluate them

numerically or to plot their graphs. The most practical way to determine

the coefficients an is to substitute the series (7.3) and its derivatives for

y, y′′ and y′ in Eq. (7.1). The following examples illustrate this process.

The operations, such as differentiation, that are involved in the procedure

are justified so long as we stay within the interval of convergence. The

differential equations in these examples are also of considerable importance

in their own right.

Example 1 Find a series solution of the equation

y′′ + y = 0,−∞ < x <∞. (7.4)

As we know, two linearly independent solutions of this equation are sin x

and cos x, so series methods are not needed to solve this equation. However,

this example illustrates the use of power series in a relatively simple case.

For Eq. (7.4), P(x) = 1, Q(x) = 0, and R(x) = 1; hence every point is an

ordinary point. We look for a solution in the form of a power series about

62

x0 = 0,

y = a0 + a1x+ a2x2 + · · ·+ anx

n + · · · =∞∑n=0

anxn, (7.5)

and assume that the series converges in some interval |x| < ρ Differentiating

term by term yields

y′ = a1 + 2a2x+ · · ·+ nanxn−1+ =

∞∑n=1

nanxn−1, (7.6)

y′′ = 2a2 + · · ·+ n(n− 1)anxn−2 + · · · =

∞∑n=2

n(n− 1)anxn−2. (7.7)

Substituting the series (7.5) and (7.7) for y and y′′ in Eq. (7.4) gives

∞∑n=2

n(n− 1)anxn−2 +

∞∑n=1

nanxn−1 = 0.

To combine the two series we need to rewrite at least one of them so that

both series display the same generic term. Thus, in the first sum, we shift

the index of summation by replacing n by n + 2 and starting the sum at 0

rather than 2. We obtain∞∑n=0

(n+ 2)(n+ 1)an+2xn +

∞∑n=0

nanxn = 0.

or∞∑n=0

[(n+ 2)(n+ 1)an+2 + an]xn = 0.

For this equation to be satisfied for all x, the coefficient of each power of

x must be zero; hence, we conclude that

(n+ 2)(n+ 1)an+2 + an = 0, n = 0, 1, 2, 3, .... (7.8)

Equation (7.8) is referred to as a recurrence relation. The successive coeffi-

cients can be evaluated one by one by writing the recurrence relation first for

n = 0, then for n = 1, and so forth. In this example Eq. (7.8) relates each

coefficient to the second one before it. Thus the even-numbered coefficients

(a0, a2, a4, ...) and the odd-numbered ones (a1, a3, a5, ...) are determined sep-

arately. For the even-numbered coefficients we have in general, if n = 2k,

then

63

an = a2k =(−1)k

(2k)!a0, k = 1, 2, 3, .... (7.9)

Similarly, for the odd-numbered coefficients

an = a2k+1 =(−1)k

(2k + 1)!a1, k = 1, 2, 3, .... (7.10)

Substituting these coefficients into Eq. (7.5), we have

y =∞∑n=0

[xn(−1)n

(2n)!a0 + xn+1 (−1)n

(2n+ 1)!a1]. (7.11)

Now that we have formally obtained two series solutions of Eq. (7.4), we can

test them for convergence. Using the ratio test, it is easy to show that each

of the series in Eq. (7.11) converges for all x, and this justifies retroactively

all the steps used in obtaining the solutions. Indeed, we recognize that the

first series in Eq. (7.11) is exactly the Taylor series for cos x about x = 0

and the second is the Taylor series for sin x about x = 0. Thus, as expected,

we obtain the solution y = a0cosx + a1sinx. Notice that no conditions are

imposed on a0 and a1; hence they are arbitrary. From Eqs. (7.5) and (7.6)

we see that y and y′ evaluated at x = 0 are a0 and a1, respectively. Since

the initial conditions y(0) and y′(0) can be chosen arbitrarily, it follows that

a0 and a1 should be arbitrary until specific initial conditions are stated.

Many other functions that are important in mathematical physics are

also defined as solutions of certain initial value problems. For most of these

functions there is no simpler or more elementary way to approach them.

Example 2 Find a series solution in powers of x of Airys equation

y′′ − xy = 0,−∞ < x <∞. (7.12)

For this equation P(x) = 1, Q(x) = 0, and R(x) = -x; hence every point is

an ordinary point. We assume that

y =∞∑n=0

anxn, (7.13)

and that the series converges in some interval |x| < ρ. The series for y is

given by Eq. (7.7) as explained in the preceding example, we can rewrite it

64

as

y′′ =∞∑n=0

(n+ 2)(n+ 1)an+2xn. (7.14)

Substituting the series (7.13) and (7.14) for y and y′′ in Eq. (7.12), we

obtain

∞∑n=0

(n+ 2)(n+ 1)an+2xn = x

∞∑n=0

anxn =

∞∑n=0

anxn+1 (7.15)

Next, we shift the index of summation in the series on the right side of this

equation by replacing n by n - 1 and starting the summation at 1 rather

than zero. Thus we have

2 · 1a2 +

∞∑n=1

(n+ 2)(n+ 1)an+2xn =

∞∑n=1

an−1xn

Again, for this equation to be satisfied for all x it is necessary that the

coefficients of like powers of x be equal; hence a2 = 0, and we obtain the

recurrence relation

(n+ 2)(n+ 1)an+2 = an−1 for n = 1, 2, 3, .... (7.16)

Since an+2 is given in terms of an−1, the as are determined in steps of three.

Thus a0 determines a3, which in turn determines a6, . . . ; a1 determines

a4, which in turn determines a7, . . . ; and a2 determines a5, which in

turn determines a8, . . . . Since a2 = 0, we immediately conclude that

a5 = a8 = a11 = = 0. From the recurrence relation we find the general

formula

a3n =a0

2 · 3 · 5 · 6 · · · (3n− 4)(3n− 3)(3n− 1)(3n), n = 1, 2, ....

In the same way as before we find that

a3n+1 =a1

3 · 4 · 6 · 7 · · · (3n− 3)(3n− 2)(3n)(3n+ 1), n = 1, 2, 3, ....

The general solution of Airys equation is

y = a0[1 +

∞∑n=1

x3n

2 · 3 · · · (3n− 1)(3n)] + a1[x+

∞∑n=1

x3n+1

3 · 4 · · · (3n)(3n+ 1)].

(7.17)

65

Having obtained these two series solutions,we can now investigate their con-

vergence. Because of the rapid growth of the denominators of the terms

in the series (7.17), we might expect these series to have a large radius of

convergence. Indeed, it is easy to use the ratio test to show that both these

series converge for all x. Assuming for the moment that the series do con-

verge for all x, let y1 and y2 denote the functions defined by the expressions

in the first and second sets of brackets, respectively, in Eq. (7.17). Then, by

first choosing a0 = 1, a1 = 0 and then a0 = 0, a1 = 1, it follows that y1 and

y2 are individually solutions of Eq. (7.12). Notice that y1 satisfies the initial

conditions y1(0) = 1, y′1(0) = 0 and that y2 satisfies the initial conditions

y2(0) = 0, y′2(0) = 1. Thus W (y1, y2)(0) = 1 6= 0, and consequently y1 and

y2 are linearly independent. Hence the general solution of Airys equation is

y = a0y1(x) + a1y2(x),−∞ < x <∞.

Observe that both y1 and y2 are monotone for x > 0 and oscillatory for x <

0. One can also see from the figures that the oscillations are not uniform, but

decay in amplitude and increase in frequency as the distance from the origin

increases. In contrast to Example 1, the solutions y1 and y2 of Airys equation

are not elementary functions that you have already encountered in calculus.

However, because of their importance in some physical applications, these

functions have been extensively studied and their properties are well known

to applied mathematicians and scientists.

Series Solutions near an Ordinary Point

In the preceding section we considered the problem of finding solutions of

P (x)y′′ +Q(x)y′ +R(x)y = 0, (7.18)

where P, Q, and R are polynomials, in the neighborhood of an ordinary

point x0. Assuming that Eq. (7.18) does have a solution y = f(x), and that

f has a Taylor series

y = f(x) =∞∑n=0

an(x− x0)n, (7.19)

66

which converges for |x− x0| < ρ, where ρ > 0, we found that the an can be

determined by directly substituting the series (7.19) for y in Eq. (7.18). Let

us now consider how we might justify the statement that if x0 is an ordinary

point of Eq. (7.18), then there exist solutions of the form (7.19). We also

consider the question of the radius of convergence of such a series. In doing

this we are led to a generalization of the definition of an ordinary point: If

the functions p = Q/P and q = R/P are analytic at x0, then the point x0

is said to be an ordinary point of the differential equation (7.18); otherwise,

it is a singular point. Now let us turn to the question of the interval of

convergence of the series solution. One possibility is actually to compute

the series solution for each problem and then to apply one of the tests

for convergence of an infinite series to determine its radius of convergence.

However, the question can be answered at once for a wide class of problems

by the following theorem.

Theorem If x0 is an ordinary point of the differential equation (7.18),

P (x)y′′ +Q(x)y′ +R(x)y = 0,

that is, if p = Q/P and q = R/P are analytic at x0, then the general solution

of Eq. (7.18) is

y =

∞∑n=0

an(x− x0)n = a0y1(x) + a1y2(x), (7.20)

where a0 and a1 are arbitrary, and y1 and y2 are linearly independent series

solutions that are analytic at x0. Further, the radius of convergence for each

of the series solutions y1 and y2 is at least as large as the minimum of the

radii of convergence of the series for p and q.

Notice from the form of the series solution that y1(x) = 1+b2(x−x0)2+· · ·and y2(x) = (x−x0) + c2(x−x0)2 + · · · . Hence y1 is the solution satisfying

the initial conditions y1(x0) = 1, y′1(x0) = 0, and y2 is the solution satis-

fying the initial conditions y2(x0) = 0, y′2(x0) = 1. Also note that while the

calculation of the coefficients by successively differentiating the differential

equation is excellent in theory, it is usually not a practical computational

67

procedure. Rather, one should substitute the series (7.19) for y in the differ-

ential equation (7.18) and determine the coefficients so that the differential

equation is satisfied, as in the examples in the preceding section. We will not

prove this theorem, which in a slightly more general form is due to Fuchs.

What is important for our purposes is that there is a series solution of the

form (7.19), and that the radius of convergence of the series solution cannot

be less than the smaller of the radii of convergence of the series for p and q;

hence we need only determine these.

This can be done in one of two ways. Again, one possibility is simply to

compute the power series for p and q, and then to determine the radii of con-

vergence by using one of the convergence tests for infinite series. However,

there is an easier way when P, Q, and R are polynomials. It is shown in the

theory of functions of a complex variable that the ratio of two polynomials,

say Q/P, has a convergent power series expansion about a point x = x0 if

P (x0) 6= 0. Further, if we assume that any factors common to Q and P have

been canceled, then the radius of convergence of the power series for Q/P

about the point x0 is precisely the distance from x0 to the nearest zero of

P. In determining this distance we must remember that P(x) = 0 may have

complex roots, and these must also be considered.

Example Determine a lower bound for the radius of convergence of series

solutions of the differential equation

(1 + x2)y′′ + 2xy′ + 4x2y = 0 (7.21)

about the point x = 0; about the point x = -1/2.

Again P, Q, and R are polynomials, and P has zeros at x = ±i . The

distance in the complex plane from 0 to ±i is 1, and from -1/2 to i is√1 + 1/4 =

√5/2. Hence in the first case the series

∑∞n=0 anx

n converges

at least for |x| < 1, and in the second case the series∑∞

n=0 an(x + 1/2)n

converges at least for |x + 1/2| <√

5/2. Suppose that initial conditions

y(0) = y0 and y′(0) = y0 are given. Since 1 + x2 6= 0 for all x, we know that

there exists a unique solution of the initial value problem on −∞ < x <∞.On the other hand, it is known that only guarantees a series solution of the

68

form∑∞

n=0 anxn (with a0 = y0, a1 = y′(0) for -1 ¡ x ¡ 1. The unique solution

on the interval −∞ < x <∞ may not have a power series about x = 0 that

converges for all x.

Example . Can we determine a series solution about x = 0 for the

differential equation

y′′ + (sinx)y′ + (1 + x2)y = 0,

and if so, what is the radius of convergence? For this differential equation,

p(x) = sin x and q(x) = 1 + x2. Recall from calculus that sin x has a Taylor

series expansion about x = 0 that converges for all x. Further, q also has a

Taylor series expansion about x = 0, namely, q(x) = 1 + x2, that converges

for all x. Thus there is a series solution of the form y =∑∞

n=0 anxn with a0

and a1 arbitrary, and the series converges for all x.

Regular Singular Points

In this section we will consider the equation

P (x)y′′ +Q(x)y′ +R(x)y = 0 (7.13)

in the neighborhood of a singular point x0. Recall that if the functions P,

Q, and R are polynomials having no common factors, the singular points of

Eq. (7.13) are the points for which P(x) = 0.

Example Determine the singular points and ordinary points of the Bessel

equation of order.

x2y′′ + xy′ + (x2 − ν2)y = 0. (7.14)

The point x = 0 is a singular point since P(x) = x2 is zero there. All other

points are ordinary points of Eq. (7.14).

Example Determine the singular points and ordinary points of the Le-

gendre equation

(1− x2)y′′ − 2xy′ + α(α+ 1)y = 0, (7.15)

where α is a constant.

69

The singular points are the zeros of P(x) = 1 − x2, namely, the points

x = ±1. All other points are ordinary points. Unfortunately, if we attempt

to use the methods of the preceding two sections to solve Eq. (7.13) in

the neighborhood of a singular point x0, we find that these methods fail.

This is because the solution of Eq. (7.13) is often not analytic at x0, and

consequently cannot be represented by a Taylor series in powers of x − x0.Instead, we must use a more general series expansion. Since the singular

points of a differential equation are usually few in number, we might ask

whether we can simply ignore them, especially since we already know how

to construct solutions about ordinary points. However, this is not feasible

because the singular points determine the principal features of the solution to

a much larger extent than one might at first suspect. In the neighborhood of

a singular point the solution often becomes large in magnitude or experiences

rapid changes in magnitude. Thus the behavior of a physical system modeled

by a differential equation frequently is most interesting in the neighborhood

of a singular point. Often geometrical singularities in a physical problem,

such as corners or sharp edges, lead to singular points in the corresponding

differential equation. Thus, while at first we might want to avoid the few

points where a differential equation is singular, it is precisely at these points

that it is necessary to study the solution most carefully.

As an alternative to analytical methods, one can consider the use of nu-

merical methods, which are discussed in Chapter 8. However, these methods

are illustrated for the study of solutions near a singular point. Thus, even

if one adopts a numerical approach, it is advantageous to combine it with

the analytical methods of this chapter in order to examine the behavior of

solutions near singular points. Without any additional information about

the behavior of Q/P and R/P in the neighborhood of the singular point, it

is impossible to describe the behavior of the solutions of Eq. (7.13) near

x = x0. It may be that there are two linearly independent solutions of Eq.

(7.13) that remain bounded as x → x0, or there may be only one with the

other becoming unbounded as x→ x0, or they may both become unbounded

as x→ x0. To illustrate these possibilities consider the following examples.

70

Example The differential equation

x2y′′ − 2y = 0 (7.16)

has a singular point at x = 0. It can be easily verified by direct substitution

that y1(x) = x2 and y2(x) = 1/x are linearly independent solutions of Eq.

(7.16) for x > 0 or x < 0. Thus in any interval not containing the origin

the general solution of Eq. (7.16) is y = c1x2 + c2x

−1. The only solution of

Eq. (7.16) that is bounded as x → 0 is y = c1x2. Indeed, this solution is

analytic at the origin even though if Eq. (7.16) is put in the standard form,

y′′ − (2/x2)y = 0, the function q(x) = −2/x2 is not analytic at x = 0. On

the other hand, notice that the solution y2(x) = x−1 does not have a Taylor

series expansion about the origin (is not analytic at x = 0).

Example The differential equation

x2y′′ − 2xy′ + 2y = 0 (7.17)

also has a singular point at x = 0. It can be verified that y1(x) = x and

y2(x) = x2 are linearly independent solutions of Eq. (7.17), and both are

analytic at x = 0. Nevertheless, it is still not proper to pose an initial value

problem with initial conditions at x = 0. It is impossible to satisfy arbitrary

initial conditions at x = 0, since any linear combination of x and x2 is zero

at x = 0.

It is also possible to construct a differential equation with a singular point

x0 such that every (nonzero) solution of the differential equation becomes

unbounded as x → x0. Even if Eq. (7.13) does not have a solution that

remains bounded as x → x0, it is often important to determine how the

solutions of Eq. (1) behave as x → x0 ; for example, does y → ∞ in the

same manner as (x− x0)−1 or |x− x0|−1/2, or in some other manner?

Our goal is to extend the method already developed for solving Eq. (7.13)

near an ordinary point so that it also applies to the neighborhood of a

singular point x0. To do this in a reasonably simple manner, it is necessary

to restrict ourselves to cases in which the singularities in the functions Q/P

and R/P at x = x0 are not too severe, that is, to what we might call ”weak

singularities”. At this point it is not clear exactly what is an acceptable

71

singularity. However, as we develop the method of solution you will see that

the appropriate conditions to distinguish ”weak singularities” are

limx→x0

(x− x0)Q(x)

P (x)is finite (7.18)

and

limx→x0

(x− x0)2R(x)

P (x)is finite (7.19)

This means that the singularity in Q/P can be no worse than (x− x0)−1

and the singularity in R/P can be no worse than (x−x0)−2. Such a point is

called a regular singular point of Eq. (7.13). For more general functions than

polynomials, x0 is a regular singular point of Eq. (7.13) if it is a singular

point, and if both

(x− x0)Q(x)

P (x)and (x− x0)2

R(x)

P (x)(7.20)

have convergent Taylor series about x0, that is, if the functions in Eq. (7.20)

are analytic at x = x0. Equations (7.18) and (7.19) imply that this will be

the case when P, Q, and R are polynomials. Any singular point of Eq. (7.13)

that is not a regular singular point is called an irregular singular point of

Eq. (7.13).

In the following sections we discuss how to solve Eq. (7.13) in the neigh-

borhood of a regular singular point. A discussion of the solutions of dif-

ferential equations in the neighborhood of irregular singular points is more

complicated and may be found in more advanced books.

Example We observed that the singular points of the Legendre equation

(1− x2)y′′ − 2xy′ + α(α+ 1)y = 0

are x = ±1. Determine whether these singular points are regular or irregular

singular points.

We consider the point x = 1 first and also observe that on dividing by

1− x2 the coefficients of y′′ and y′ are −2x/(1− x2) and α(α+ 1)/(1− x2),respectively. Thus we calculate

limx→1

(x− 1)−2x

1− x2= 1, and lim

x→1(x− 1)2

α(α+ 1)

1− x2= 0.

72

Since these limits are finite, the point x = 1 is a regular singular point. It

can be shown in a similar manner that x = -1 is also a regular singular point.

Example Determine the singular points of the differential equation

2x(x− 2)2y′′ + 3xy′ + (x− 2)y = 0

and classify them as regular or irregular.

Dividing the differential equation by 2x(x− 2)2, we have

2y′′ +3

2(x− 2)2y′ +

1

2x(x− 2)y = 0

so p(x) = Q(x)P (x) = 3

2(x−2)2 and q(x) = R(x)P (x) = 1

2x(x−2) . The singular points

are x = 0 and x = 2. Consider x = 0. We have

limx→0

xp(x) = limx→0

3x

2(x− 2)2= 0, lim

x→0xq(x) = lim

x→0

x2

2(x− 2)2= 0.

Since these limits are finite, x = 0 is a regular singular point. For x = 2 we

have

limx→2

xp(x) = limx→0

3

2(x− 2)= 0.

so the limit does not exist; hence x = 2 is an irregular singular point.

Example determine the singular points of

(x− π

2)2y′′ + (cosx)y + (sinx)y = 0

and classify them as regular or irregular.

The only singular point is x = π2 . To study it we consider the functions

(x− π

2)p(x) =

cosx

x− π2

, and (x− π

2)q(x) = sinx.

Starting from the Taylor series for cos x about x = π2 , we find that

cosx

x− π2

= −1 +(x− π

2 )2

3!−

(x− π2 )4

5!+ · · · ,

which converges for all x. Similarly, sin x is analytic at x = π2 . Therefore,

we conclude that π2 is a regular singular point for this equation.

Singularities at Infinity. The definitions of an ordinary point and

a regular singular point given in the preceding sections apply only if the

point x0 is finite. In more advanced work in differential equations it is often

73

necessary to discuss the point at infinity. This is done by making the change

of variable ξ = 1/x and studying the resulting equation at ξ = 0. Show that

for the differential equation P (x)y′′+Q(x)y′+R(x)y = 0 the point at infinity

is an ordinary point if

1

P (1/ξ)[2P (1/ξ)

ξ− Q(1/ξ)

ξ2] and

R(1/ξ)

ξ4P (1/ξ)

have Taylor series expansions about ξ = 0. Show also that the point at

infinity is a regular singular point if at least one of the above functions does

not have a Taylor series expansion, but both

ξ

P (1/ξ)[2P (1/ξ)

ξ− Q(1/ξ)

ξ2] and

R(1/ξ)

ξ2P (1/ξ)

do have such expansions.

Exact Equations.

The equation P (x)y′′ + Q(x)y′ + R(x)y = 0 is said to be exact if it can

be written in the form

[P (x)y′]′ + [f(x)y]′ = 0, where f (x) is to be determined in terms of P(x),

Q(x), and R(x). The latter equation can be integrated once immediately,

resulting in a first order linear equation for y that can be solved. By equating

the coefficients of the preceding equations and then eliminating f (x), show

that a necessary condition for exactness is P ′′(x) − Q′(x) + R(x) = 0. It

can be shown that this is also a sufficient condition. In each of Problems

which follows use the above result to determine whether the given equation

is exact. If so, solve the equation.

1. y′′+xy′+y = 0, 2. y′′+3x2y′+xy = 0, 3. xy′′−cosxy′+sinxy = 0, x > 0

4. xy′′ + xy′ − y = 0, x > 0.

The Adjoint Equation. If a second order linear homogeneous equation

is not exact, it can be made exact by multiplying by an appropriate inte-

grating factor µ(x). Thus we require that µ(x) be such that µ(x)P (x)y′′ +

µ(x)Q(x)y′ + µ(x)R(x)y = 0 can be written in the form [µ(x)P (x)y′]′ +

74

[f(x)y]′ = 0. By equating coefficients in these two equations and eliminating

f(x), show that the function µ(x) must satisfy

P (x)µ′′(x) + (2P ′ −Q′)µ′(x) + (P ′′ −Q′ +R)µ(x) = 0.

This equation is known as the adjoint of the original equation and is im-

portant in the advanced theory of differential equations. In general, the

problem of solving the adjoint differential equation is as difficult as that of

solving the original equation, so only occasionally is it possible to find an

integrating factor for a second order equation.

In each of the next problems use the result of the above result to find the

adjoint of the given differential equation.

1. x2y′′ + xy′ + (x2 − ν2)y = 0, Bessel’s equation

2. (1− x2)y′′ − 2xy′ + α(α− 1)y = 0, Legendre’s equation

3. y′′ − xy = 0, Airy’s equation

For the second order linear equation P (x)y′′ +Q(x)y′ +R(x)y = 0, show

that the adjoint of the adjoint equation is the original equation.

A second order linear equation P (x)y′′+Q(x)y′+R(x)y = 0 is said to be

self-adjoint if its adjoint is the same as the original equation. Show that a

necessary condition for this equation to be self-adjoint is that P ′(x) = Q(x).

Determine whether each of the above equations is self-adjoint.

Bessel’s Equation

In this section we consider three special cases of Bessels equation,

x2y′′ + xy′ + (x2 − ν2)y = 0, (8.1)

where ν is a constant. It is easy to show that x = 0 is a regular singular

point. For simplicity we consider only the case x > 0.

Bessel Equation of Order Zero. This example illustrates the situation

in which the roots of the indicial equation are equal. Setting ν = 0in Eq.

(8.1) gives

75

L[y] = x2y′′ + xy′ + x2y = 0, (8.2)

Substituting

y = f(r, x) = a0xr +

∞∑n=1

anxr+n, (8.3)

we obtain

L[f ](r, x) =∞∑n=0

an[(r + n)(r + n− 1) + (r + n)]xr+n +∞∑n=0

anxr+n+2 =

a0[r(r − 1) + r]xr + a1[(r + 1)r + (r + 1)]xr+1+

∞∑n=2

{an[(r + n)(r + n− 1) + (r + n)] + an−2}xr+n = 0. (8.4)

The roots of the coefficient of a0 F(r ) = r (r - 1) + r = 0 are r1 = 0 and

r2 = 0; hence we have the case of equal roots. The recurrence relation is

an(r) = − an−2(r)

(r + n)(r + n− 1) + (r + n)= − an−2(r)

(r + n)2, n ≥ 2. (8.5)

To determine y1(x) we set r equal to 0. Then from Eq. (8.4) it follows

that for the coefficient of xr+1 to be zero we must choose a1 = 0. Hence from

Eq. (8.5), a3 = a5 = a7 = · · · = 0. Further, an(0) = −an−2(0)/n2, n =

2, 4, 6, 8, · · · , or letting n = 2m, we obtain a2m(0) = −a2m−2(0)/(2m)2, m =

1, 2, 3, · · · . Thus

a2(0) = −a022, a4(0) =

a02422

, a6(0) = − a026(3.2)2

,

and, in general,

a2m(0) = (−1)ma0

22m(m!)2, m = 1, 2, 3, · · · . (8.6)

Hence

y1(x) = a0[1 +

∞∑m=1

(−1)ma0x

2m

22m(m!)2], , x > 0. (8.7)

76

The function in brackets is known as the Bessel function of the first kind of

order zero and is denoted by J0(x). It follows by direct calculation that the

series converges for all x, and that J0 is analytic at x = 0.

To determine y2(x) we will calculate a′n(0). First we note from the coef-

ficient of xr+1 in Eq. (8.4) that (r + 1)2a1(r) = 0. It follows that not only

does a1(0) = 0 but also a′1(0) = 0. It is easy to deduce from the recurrence

relation (8.5) that a′3(0) = a′5(0) = a′7(0) = · · · = a′2n+1(0) = · · · = 0; hence

we need only compute a2m(0), m = 1, 2, 3, · · · . From Eq. (8.5) we have

a2m(r) = −a2m−2(r)/(r + 2m)2, m = 1, 2, 3, · · ·

By solving this recurrence relation we obtain

a2m(r) =(−1)ma0

(r + 2)2(r + 4)2 · · · (r + 2m− 2)2(r + 2m)2,m = 1, 2, 3, .... (8.8)

By direct computation we derive that

a′2m(r)

a2m(r)= −2(

1

r + 2+

1

r + 4+ · · ·+ 1

r + 2m)

and, setting r equal to 0, we obtain

a′2m(0)

a2m(0)= −(1 +

1

2+ · · ·+ 1

m)

Substituting for a2m(0) from Eq. (6), and letting

Hm = 1 +1

2+ · · ·+ 1

m) (8.9)

we obtain, finally,

a2m(0) = −Hm(−1)ma022m(m!)2

, m = 1, 2, 3, ....

The second solution of the Bessel equation of order zero is found by setting

a0 = 1 and substituting for y1(x), we obtain

y2(x) = J0(x) lnx+

∞∑m=1

(−1)m+1Hm

22m(m!)2x2m, x > 0. (8.10)

77

Instead of y2, the second solution is usually taken to be a certain linear

combination of J0 and y2. It is known as the Bessel function of the second

kind of order zero and is denoted by Y0. For practical considerents the Bessel

function of the second kind of order zero, is defined as follows

Y0(x) =2

π(J0(x)(ln

x

2+ ν) +

∞∑m=1

(−1)m+1Hm

22m(m!)2x2m), x > 0. (8.11)

where ν = 0, 5772..... is a constant, known as the EulerMascheroni (1750 -

1800) constant. The general solution of the Bessel equation of order zero for

x > 0 is

y = c1J0(x) + c2Y0(x).

Note that J0(x)→ 1 as x→ 0 and that Y0(x) has a logarithmic singularity

at x = 0; that is, Y0(x) behaves as (2/π) lnx when x → 0 through positive

values. Thus if we are interested in solutions of Bessel’s equation of order

zero that are finite at the origin, which is often the case, we must discard

Y0. If we divide Eq. (8.1) by x2, we obtain

y′′ +1

xxy′ + (1− ν2

x2)y = 0.

For x very large it is reasonable to suspect that the terms (1/x)y′ and

(−2/x2)y are small and hence can be neglected. If this is true, then the

Bessel equation of order ν can be approximated by

y′′ + y = 0.

The solutions of this equation are sinx and cosx thus we might anticipate

that the solutions of Bessel’s equation for large x are similar to linear com-

binations of sinx and cosx. This is correct in so far as the Bessel functions

are oscillatory; however, it is only partly correct. For x large the functions

J0 and Y0 also decay as x increases; thus the equation y′′ + y = 0 does not

provide an adequate approximation to the Bessel equation for large x, and

a more delicate analysis is required. In fact, it is possible to show that

78

J0(x)=√

2πx cos(x− π

4), as x→∞, (8.12)

and that

Y0(x)=√

2πx sin(x− π

4), as x→∞, (8.13

These asymptotic approximations, as →∞ are actually very good. For ex-

ample the asymptotic approximation (8.12) to J0(x) is reasonably accurate

for all x ≥ 1. Thus to approximate J0(x) over the entire range from zero to

infinity, one can use two or three terms of the series (8.7) for x ≤ 1 and the

asymptotic approximation (8.12) for x ≥ 1.

Bessel Equation of Order One-Half. This example illustrates the

situation in which the roots of the indicial equation differ by a positive

integer, but there is no logarithmic term in the second solution. Setting

ν = 1/2 in Eq. (8.1) gives

L[y] = x2y′′ + xy′ + (x2 − 1

4)y = 0. (8.14)

If we substitute the series (3) for y = φ(r, x), we obtain

L[φ](r, x) =∞∑n=0

[(r + n)(r + n− 1) + (r + n)− 1

4]anx

r+n +∞∑n=0

anxr+n+2

= (r2− 1

4)a0x

r+[(r+1)2− 1

4]a1x

r+1+∞∑n=2

{[(r+n)2− 1

4]an+an−2}xr+n = 0.

(8.15)

The roots of the coefficient a0 are r1 = 12 , r2 = −1

2 , hence the roots differ

by an integer. The recurrence relation is

[(r + n)2 − 1

4]an = −an−2, n ≥ 2. (8.16)

Corresponding to the larger root r1 = 12 we find from the coefficient of xr+1

in Eq. (8.15) that a1 = 0. Hence, from Eq. (8.16), a3 = a5 = · · · = a2n+1 =

· · · = 0. Further, for r = 12

an = − an−2n(n+ 1)

, n = 2, 4, 6...,

79

or letting n = 2m, we obtain

a2m = − a2m−22m(2m+ 1)

, m = 1, 2, 3...,

By solving this recurrence relation we find that

a2m = (−1)ma0

(2m+ 1)!, m = 1, 2, 3, ....

Hence, taking a0 = 1, we obtain

y1(x) =√x[1 +

∞∑m=1

(−1)mx2m

(2m+ 1)!] =

1√x

(∞∑m=0

(−1)mx2m+1

(2m+ 1)!), x > 0.

(8.17)

The power series in Eq. (8.17) is precisely the Taylor series for sinx, hence

one solution of the Bessel equation of order one-half is x−1/2 sinx. The Bessel

function of the first kind of order one-half, J1/2, is defined as (2/π)1/2y1.

Thus

J1/2(x) =

√2

πxsinx, x > 0. (8.18)

Corresponding to the root r2 = −1/2 it is possible that we may have dif-

ficulty in computing a1 since r1 − r2 = 1. However, from Eq. (8.15) for

r = −1/2 the coefficients of xr and xr+1 are both zero regardless of the

choice of a0 and a1. Hence a0 and a1 can be chosen arbitrarily. From the

recurrence relation (8.16) we obtain a set of even-numbered coefficients cor-

responding to a0 and a set of even-numbered coefficients corresponding to

a1. Thus no logarithmic term is needed to obtain a second solution in this

case. It is left as an exercise to show that, for r = −1/2,

a2n =(−1)na0

(2n)!, a2n+1 =

(−1)na1(2n+ 1)!

, n = 1, 2, ....

Hence

y2(x) = x−1/2a0

∞∑n=0

(−1)nx2n

(2n)!+a1

∞∑n=0

(−1)nx2n+1

(2n+ 1)!=a0 cosx+ a1 sinx√

x, x > 0.

(8.19)

80

The constant a1 simply introduces a multiple of y1(x). The second linearly

independent solution of the Bessel equation of order one-half is usually taken

to be the solution for which a0 = (2/π)1/2 and a1 = 0. It is denoted by J−1/2.

Then

J−1/2(x) =

√2

πxcosx, x > 0. (8.20)

The general solution of Eq. (8.14) is y = c1J1/2(x)+c2J−1/2(x). By compar-

ing Eqs. (8.18) and (8.20) with Eqs. (8.12) and (8.13) we see that, except

for a phase shift of π/4, the functions J−1/2 and J1/2 resemble J0 and Y0,

respectively, for large x.

Bessel Equation of Order One. This example illustrates the situation

in which the roots of the indicial equation differ by a positive integer and

the second solution involves a logarithmic term. Setting ν = 1 in Eq. (8.1)

gives

L[y] = x2y′′ + xy′ + (x2 − 1)y = 0. (8.21)

If we substitute the series (8.3) for y = f(r, x) and collect terms as in the

preceding cases, we obtain

L[φ](r, x) = (r2−1)a0xr+[(r+1)2−1]a1x

r+1+

∞∑n=2

{[(r+n)2−1]an+an−2}xr+n = 0.

(8.22)

The roots of the coefficient of a0 are r1 = 1 and r2 = −1. The recurrence

relation is

[(r + n)2 − 1]an(r) = −an−2(r), n ≥ 2. (8.23)

Corresponding to the larger root r = 1 the recurrence relation becomes

an = − an−2(n+ 2)n

, n = 2, 3, 4, ....

We also find from the coefficient of xr+1 in Eq. (8.22) that a1 = 0, hence

from the recurrence relation a2n+1 = 0. For even values of n, let n = 2m;

then

a2m = − a2m−2(2m+ 2)2m

, m = 1, 2, 3, ....

81

By solving this recurrence relation we obtain

a2m =(−1)ma0

22m(m+ 1)!m!, m = 1, 2, 3, .... (8.24)

The Bessel function of the first kind of order one, denoted by J1, is obtained

by choosing a0 = 1/2. Hence

J1(x) =x

2

∞∑m=0

(−1)mx2m

22m(m+ 1)!m!, (8.25)

The series converges absolutely for all x, so the function J1 is analytic ev-

erywhere. In determining a second solution of Bessel’s equation of order

one, we illustrate the method of direct substitution. The calculation of the

general term in Eq. (8.24) below is rather complicated, but the first few

coefficients can be found fairly easily. Next we assume that

y2(x) = aJ1(x) lnx+ x−1(1 +

∞∑n=1

cnxn], x > 0. (8.26)

Computing y′′2(x), y′2(x), substituting in Eq. (8.21), and making use of the

fact that J1 is a solution of Eq. (8.21) give

2axJ ′1(x)+∞∑n=0

[(n−1)(n−2)cn+(n−1)cn−cn]xn−1+∞∑n=0

cnxn+1 = 0, (8.27)

where c0 = 1. Substituting for J1(x) from Eq. (27), shifting the indice of

summation in the two series, and carrying out several steps of algebra give

−c1+[0·c2+c0]x+

∞∑n=2

[(n2−1)cn+1+cn−1]xn = −a(x+

∞∑m=1

(−1)m(2m+ 1)x2m+1

22m(m+ 1)!m!].

(8.28)

From Eq. (8.28) we observe first that c1 = 0, and a = −c0 = −1. Further,

since there are only odd powers of x on the right, the coefficient of each even

power of x on the left must be zero. Thus, since c1 = 0, we have c2n+1 = 0.

Corresponding to the odd powers of x we obtain the recurrence relation let

n = 2m + 1 in the series on the left side of Eq. (8.28)

[(2m+ 1)2 − 1]c2m+2 + c2m =(−1)m(2m+ 1)

22m(m+ 1)!m!, m = 1, 2, 3, .... (8.29)

82

When we set m = 1 in Eq. (8.29), we obtain (32−1)c4 +c2 = (−1)3/(22.2!).

Notice that c2 can be selected arbitrarily, and then this equation determines

c4. Also notice that in the equation for the coefficient of x, c2 appeared

multiplied by 0, and that equation was used to determine a. That c2 is

arbitrary is not surprising, since c2 is the coefficient of x in the expression

x−1[1 +∑∞ n = 1cnx

n]. Consequently, c2 simply generates a multiple of J1,

and y2 is only determined up to an additive multiple of J1. In accord with

the usual practice we choose c2 = 1/22. Then it is possible to show that the

solution of the recurrence relation (8.29) is

c2m =(−1)m+1(Hm +Hm−1)

22mm!(m− 1)!, m = 1, 2, ...

with the understanding that H0 = 0. Thus

y2(x) = −J1(x) lnx+1

x(1−

∞∑m=1

(−1)m+1(Hm +Hm−1)

22mm!(m− 1)!x2m, x > 0 (8.30)

The second solution of Eq. (8.21), the Bessel function of the second kind

of order one, Y1, is usually taken to be a certain linear combination of J1

and y2. Next Y1 is defined as

Y1(x) =2

π[−y2(x) + (ν − ln2)J1(x)], (8.31)

where ν is the Euler’s constant. The general solution of Eq. (8.21) for x > 0

is

y = c1J1(x) + c2Y(x).

Notice that while J1 is analytic at x = 0, the second solution Y1 becomes

unbounded in the same manner as 1/x as x→ 0.

Consider the Bessel equation of order ν,

x2y′′ + xy′ + (x2 − ν2)y = 0, x > 0.

Take ν real and greater than zero. As in the above example it can be to

show that the solutions of the Bessel equation are

y1(x) = xν(1 +

∞∑m=1

(−1)m

m!(1 + ν)(2 + ν)(m− 1 + ν)(m+ ν)(x

2)2m).

83

If 2ν is not an integer, the second solution is

y2(x) = x−ν(1 +∞∑m=1

(−1)m

m!(1− ν)(2− ν)(m− 1− ν)(m− ν)(x

2)2m).

Note that y1(x) → 0 as x → 0, and that y2(x) is unbounded as x → 0.

By direct methods it can prone that the power series in the expressions for

y1(x) and y2(x) converge absolutely for all x. Also verify that y2 is a solution

provided only that ν is not an integer.

Other type of the second order of differential equations involved in some

different practical domains are:

1. The Legendre equation are the form

(1− x2)y′′ − 2xy′ + α(α+ 1)y = 0

If n is a natural number, then the next polynomial functions Pn(x) =

12nn!((x

2 − 1)n)(n) are solution of the Legendre equation and these are or-

thogonal each on other.

2. The Chebyshev equation

(1− x2)y′′ − xy′ + λy = 0

The functions Pλ(x) = cos(λ arccosx) are the solutions of the Chebyshev

equation and∫ 1−1 xPn(x)Pk(x)dx = 0 for n 6= k, n and k are the natural

number.

3. The Hermite equation is of the form

y′′ − 2xy′ + λy = 0

with applications in physics.

4. The Airy’s equation is of the form

y′′ − xy = 0

also with application in physics.

5. The Laguerre equation are the form

xy′′ + (1− x)y′ + λy = 0

6. The Schrodinger equation for the hydrogen atom

x(1− x)y′′ + (ν − (1 + α+ β)x)y′ − αβy = 0.

84

Fourier Series

Later in this chapter you will find that you can solve many important

problems involving partial differential equations provided that you can ex-

press a given function as an infinite sum of sines and/or cosines. In this and

the following two sections we explain in detail how this can be done. These

trigonometric series are called Fourier series; they are somewhat analogous

to Taylor series in that both types of series provide a means of expressing

quite complicated functions in terms of certain liar elementary functions.

We begin with a series of the form

a02

+∞∑n=1

(an cosnπx

L+ bn sin

nπx

L), (9.1)

On the set of points where the series (9.1) converges, it defines a function f

, whose value at each point is the sum of the series for that value of x. In

this case the series (9.1) is said to be the Fourier series for f. Our immediate

goals are to determine what functions can be represented as a sum of a

Fourier series and to find some means of computing the coefficients in the

series corresponding to a given function. The first term in the series (9.1) is

written as a0/2 rather some their association with the method of separation

of variables and partial differential equations, Fourier series are also useful

in various other ways, such as in the analysis of mechanical or electrical

systems acted on by periodic external forces. Periodicity of the Sine and

Cosine Functions. To discuss Fourier series it is necessary to develop certain

properties of the trigonometric functions sin mpxL and cos mpxL , where m is a

positive integer. The first is their periodic character. A function f is said to

be periodic with period T > 0 if the domain of f contains x + T whenever

it contains x, and if

f(x+ T ) = f(x) (9.2)

for every value of x. It follows immediately from the definition that if T

is a period of f , then 2T is also a period, and so indeed is any integral

multiple of T . The smallest value of T for which Eq. (9.2) holds is called

85

the fundamental period of f . In this connection it should be noted that a

constant may be thought of as a periodic function with an arbitrary period,

but no fundamental period. If f and g are any two periodic functions with

common period T , then their product < f, g > and any linear combination

c1f + c2g are also periodic with period T . The latter statement it can be

proved by direct calculation. Moreover, it can be shown that the sum of any

finite number, or even the sum of a convergent infinite series, of functions of

period T is also periodic with period T. In particular, the functions sin mπxL

and cos mπxL , m = 1, 2, 3, . . . , are periodic with fundamental period

T = 2Lm . To see this, recall that Note also that, since every positive integral

multiple of a period is also a period, each of the functions sin mπxL and

cos mπxL , has the common period 2L.

Orthogonality of the Sine and Cosine Functions. To describe a

second essential property of the functions sin mπxL and cos mπxL , we generalize

the concept of orthogonality of vectors. The standard inner product < u, v >

of two real-valued functions u and v on the interval a ≤ x ≤ b is defined by

< u, v >=

∫ b

au(x)v(x)dx. (9.3)

The functions u and v are said to be orthogonal on a ≤ x ≤ b if their inner

product is zero, that is, if

< u, v >=

∫ b

au(x)v(x)dx = 0. (9.4)

A set of functions is said to be mutually orthogonal if each distinct pair of

functions in the set is orthogonal. The functions sin mπxL and cos mπxL , m =

1, 2, 3, . . . , form a mutually orthogonal set of functions on the interval

−L ≤ x ≤ L. In fact, These results can be obtained by direct integration.

The EulerFourier Formulas. Now let us suppose that a series of the

form (9.1) converges, and let us call its sum, f(x):

f(x) =a02

+

∞∑n=1

(an cosnπx

L+ bn sin

nπx

L), (9.5)

86

The coefficients an and bn can be related to f(x) as a consequence of the

orthogonality of functions sin mpxL and cos mπxL , m = 1, 2, 3, . . . , . First

multiply Eq. (9.5) by cosmπxL , where m is a fixed positive integer (m ¿ 0),

and integrate with respect to x from -L to L. Assuming that the integration

can be legitimately carried out term by term, we obtain

∫ L

−Lf(x) cos

mπx

Ldx =

a02

∫ L

−Lcos

mπx

Ldx+

∞∑n=1

(an

∫ L

−Lcos

nπx

Lcos

mπx

Ldx+

bn

∫ L

−Lcos

mπx

Lsin

nπx

Ldx) (9.6)

Keeping in mind that n is fixed whereas m ranges over the positive integers,

it follows from the orthogonality relations that the only nonzero term on the

right side of Eq. (9.6) is the one for which m = n in the first summation.

Hence

∫ L

−Lf(x) cos

nπx

Ldx = Lan (9.7)

To determine a0 we can integrate Eq. (9.5) from -L to L, since each integral

involving a trigonometric function is zero, we obtain

∫ L

−Lf(x)dx = La0.

Thus

an =1

L

∫ L

−Lf(x) cos

nπx

Ldx, n = 0, 1, 2, .... (9.8)

A similar expression for bn may be obtained by multiplying Eq. (9.5)

by sin mπxL , integrating termwise from - to L, and using the orthogonality

cos mπxL , and sin mπxL , thus

bn =1

L

∫ L

−Lf(x) sin

nπx

L, n = 1, 2, 3, .... (9.9)

Equations (9.8) and (9.9) are known as the Euler-Fourier formulas for the

coefficients in a Fourier series. Hence, if the series (9.5) converges to f(x),

and if the series can be integrated term by term, then the coefficients must

be given by Eqs. (9.8) and (9.9). Note that Eqs. (9.8) and (9.9) are explicit

87

formulas for an and bn in terms of f, and that the determination of any

particular coefficient is independent of all the other coefficients. Of course,

the difficulty in evaluating the integrals in Eqs. (9.8) and (9.9) depends very

much on the particular function f involved. Note also that the formulas (9.8)

and (9.9) depend only on the values of f(x) in the interval −L ≤ x ≤ L.

Since each of the terms in the Fourier series (9.5) is periodic with period 2L,

the series converges for all x whenever it converges in −L ≤ x ≤ L, and its

sum is also a periodic function with period 2L. Hence f (x) is determined for

all x by its values in the interval −L ≤ x ≤ L. It is possible to show that if g

is periodic with period T , then every integral of g over an interval of length

T has the same value. If we apply this result to the Euler-Fourier formulae

(9.8) and (9.9), it follows that the interval of integration, −L ≤ x ≤ L, can

be replaced, if it is more convenient to do so, by any other interval of length

2L. More exactly if f (x) is determined for all x by its values in the interval

a ≤ x ≤ a+ T, and f(x) = f(x + T) then the formulae (9.8) and (9.9) have

the form

an =2

T

∫ a+T

af(x) cos

2nπx

Tdx, bn =

2

T

∫ a+T

af(x) sin

2nπx

T, m = 1, 2, 3, ....

(9.10)

The Fourier Convergence Theorem

In the preceding section we showed that if the Fourier series

a02

+

∞∑n=1

(an cosnπx

L+ bn sin

nπx

L), (9.11)

converges and thereby defines a function f , then f is periodic with period

2L, and the coefficients am and bm are related to f(x) by the EulerFourier

formulae:

an =1

L

∫ L

−Lf(x) cos

nπx

Ldx, n = 0, 1, 2, .... (9.12)

bn =1

L

∫ L

−Lf(x) sin

nπx

L, n = 1, 2, 3, .... (9.13)

88

In this section we adopt a somewhat different point of view. Suppose that a

function f is given. If this function is periodic with period 2L and integrable

on the interval [-L, L], then a set of coefficients am and bm can be computed

from Eqs. (9.12) and (9.13), and a series of the form (9.11) can be formally

constructed. The question is whether this series converges for each value of x

and, if so, whether its sum is f (x). Examples have been discovered showing

that the Fourier series corresponding to a function f may not converge to f

(x), or may even diverge. Functions whose Fourier series do not converge

to the value of the function at isolated points are easily constructed, and

examples will be presented later in this section. Functions whose Fourier

series diverge at one or more points are more pathological, and we will not

consider them in this book. To guarantee convergence of a Fourier series

to the function from which its coefficients were computed it is essential to

place additional conditions on the function. From a practical point of view,

such conditions should be broad enough to cover all situations of interest,

yet simple enough to be easily checked for particular functions. Through

the years several sets of conditions have been devised to serve this purpose.

Before stating a convergence theorem for Fourier series, we define a term

that appears in the theorem. A function f is said to be piecewise continuous

on an interval a ≤ x ≤ b if the interval can be partitioned by a finite number

of points a = x0 < x1 < < xn = b so that

1. f is continuous on each open subinterval xi−1 < x < xi.

2. f approaches a finite limit as the endpoints of each subinterval are

approached from within the subinterval.

The notation f(c+) is used to denote the limit of f(x) as x→ c from the

right; similarly, f(c−) denotes the limit of f (x) as x approaches c from the

left. Note that it is not essential that the function even be defined at the

partition points xi. For example, in the following theorem we assume that

f ′ is piecewise continuous; but certainly f ′ does not exist at those points

where f itself is discontinuous. It is also not essential that the interval be

closed; it may also be open, or open at one end and closedat the other.

89

Theorem 1. Suppose that f and f ′ are piecewise continuous on the

interval −L ≤ x < L. Further, suppose that f is defined outside the interval

−L ≤ x < L so that it is periodic with period 2L. Then f has a Fourier

series

f(x) =a02

+∞∑n=1

(an cosnπx

L+ bn sin

nπx

L), (9.14)

whose coefficients are given by Eqs. (9.2) and (9.3). The Fourier series

converges to f(x) at all points where f is continuous, and to [ f (x+) + f

(x-)]/2 at all points where f is discontinuous.

Note that [ f (x+) + f (x-)]/2 is the mean value of the right- and left-hand

limits at the point x. At any point where f is continuous, f (x+) = f (x-) =

f (x). Thus it is correct to say that the Fourier series converges to [ f (x+)

+ f (x-)]/2 at all points. Whenever we say that a Fourier series converges

to a function f , we always mean that it converges in this sense.

It should be emphasized that the conditions given in this theorem are

only sufficient for the convergence of a Fourier series; they are by no means

necessary. Neither are they the most general sufficient conditions that have

been discovered. In spite of this, the proof of the theorem is fairly difficult

and is not given here.

To obtain a better understanding of the content of the theorem it is

helpful to consider some classes of functions that fail to satisfy the assumed

conditions. Functions that are not included in the theorem are primarily

those with infinite discontinuities in the interval [-L, L], such as 1x2

as x →0, or ln |x − L| as x → L. Functions having an infinite number of jump

discontinuities in this interval are also excluded; however, such functions

are rarely encountered.

It is noteworthy that a Fourier series may converge to a sum that is not

differentiable, or even continuous, in spite of the fact that each term in the

series (9.4) is continuous, and even differentiable infinitely many times. The

example below is an illustration of this, example

90

Example 1. Let

f(x) =

{0, −L < x < 0,L, 0 < x < L,

, (9.15)

and let f be defined outside this interval so that f (x + 2L) = f (x) for all x.

We will temporarily leave open the definition of f at the points x = 0,±L,

except that its value must be finite. Find the Fourier series for this function

and determine where it converges.

The function f (x), can by extend to infinity in both directions. It can

be thought of as representing a square wave. The interval [-L, L] can be

partitioned to give the two open subintervals (-L, 0) and (0, L). In (0, L), f

(x) = L and f ′(x) = 0. Clearly, both f and f ′ are continuous and furthermore

have limits as x→ 0 from the right and as x→ L from the left. The situation

in (-L, 0) is similar. Consequently, both f and f ′ are piecewise continuous on

[-L, L), so f satisfies the conditions of Theorem 1. If the coefficients am and

bm are computed from Eqs. (9.2) and (9.3), the convergence of the resulting

Fourier series to f(x) is assured at all points where f is continuous. Note

that the values of am and bm are the same regardless of the definition of f

at its points of discontinuity. This is true because the value of an integral

is unaffected by changing the value of the integrand at a finite number of

points. By direct calculation we deduce

a0 =1

L

∫ L

−Lf(x)dx,=

1

L

∫ 0

−L(0)dx+

1

L

∫ L

0(L)dx = L

an =1

L

∫ 0

−L0 cos

nπx

Ldx+

1

L

∫ L

0L cos

nπx

Ldx = 0, n ≥ 1

bn =1

L

∫ L

0L sin

nπx

L=

L

mπ(1− cosmπ) =

{0, m even;2Lmπ , m odd.

Hence

f(x) =L

2+

2L

π(sin

πx

L+

1

3sin

3πx

L+

1

5sin

5πx

L+

1

7sin

7πx

L+ · · ·

+1

2n− 1sin

(2n− 1)πx

L+ · · · ) =

L

2+

∞∑n=1

1

2n− 1sin

(2n− 1)πx

L.

At the points x = 0,±nL, where the function f in the example is not contin-

uous, all terms in the series after the first vanish and the sum is L/2. This is

91

the mean value of the limits from the right and left, as it should be. Thus we

might as well define f at these points to have the value L/2. If we choose to

define it otherwise, the series still gives the value L/2 at these points, since

none of the preceding calculations is altered in any detail; it simply does

not converge to the function at those points unless f is defined to have this

value. This illustrates the possibility that the Fourier series corresponding

to a function may not converge to it at points of discontinuity unless the

function is suitably defined at such points.

Even and Odd Functions

Before looking at further examples of Fourier series it is useful to distin-

guish two classes of functions for which the EulerFourier formulae can be

simplified. These are even and odd functions, which are characterized geo-

metrically by the property of symmetry with respect to the y-axis and the

origin, respectively. Analytically, f is an even function if its domain contains

the point -x whenever it contains the point x, and if

f(−x) = f(x) (9.16)

for each x in the domain of f . Similarly, f is an odd function if its domain

contains -x whenever it contains x, and if

f(−x) = −f(x) (9.17)

If f is an even function, then∫ L

−Lf(x)dx = 2

∫ L

0f(x)dx. (9.18)

If f is an odd function, then ∫ L

−Lf(x)dx = 0. (9.19)

Cosine Series. Suppose that f and f ′ are piecewise continuous on −L ≤x < L, and that f is an even periodic function with period 2L. Then it

follows from properties 1 and 3 that f(x) cos nπxL is even and f(x) sin nπxL

is odd. As a consequence of Eqs. (9.8) and (9.9), the Fourier coefficients of

f are then given by

92

an =2

L

∫ L

0f(x) cos

nπx

Ldx, n = 0, 1, 2, ... and bn = 0, n = 1, 2, .... (9.20)

Thus f has the Fourier series

f(x) =a02

+∞∑n=1

an cosnπx

L.

In other words, the Fourier series of any even function consists only of the

even trigonometric functions cos nπxL and the constant term; it is natural to

call such a series a Fourier cosine series. From a computational point of

view, observe that only the coefficients an, for n = 0, 1, 2, . . . , need to be

calculated from the integral formula (9.10). Each of the bn, for n = 1, 2, . .

. , is automatically zero for any even function, and so does not need to be

calculated by integration.

Sine Series. Suppose that f and f ′ are piecewise continuous on −L ≤x < L, and that f is an odd periodic function of period 2L. Then it follows

from properties 2 and 3 that f(x) cos nπxL is odd and f(x) sin nπxL is even.

this case the Fourier coefficients of f are

bn =2

L

∫ L

0f(x) cos

nπx

Ldx, n = 1, 2, ... and an = 0, n = 0, 1, 2, .... (9.21)

and the Fourier series for f is of the form

f(x) =∞∑n=1

bn sinnπx

L.

Thus the Fourier series for any odd function consists only of the odd trigono-

metric functions sin nπxL such a series is called a Fourier sine series. Again

observe that only half of the coefficients need to be calculated by integration,

since each an, for n = 0, 1, 2, . . . , is zero for any odd function.

In solving problems in differential equations it is often useful to expand

in a Fourier series of period 2L a function f originally defined only on the

interval [0, L].

93

1. Define a function g of period 2L so that

g(x) =

{f(x), 0 ≤ x ≤ L,f(−x),−L < x < 0.

(9.22)

The function g is thus the even periodic extension of f . Its Fourier series,

which is a cosine series, represents f on [0, L].

2. Define a function h of period 2L so that

h(x) =

f(x), 0 < x < L,0, x = 0, L,−f(−x),−L < x < 0.

(9.23)

The function h is thus the odd periodic extension of f . Its Fourier series,

which is a sine series, also represents f on (0, L).

Example. Find the Fourier series for the extended function

1)f(x) = |x|, x ∈ (−π, π), 2) f(x) = x, x ∈ (−π, π),

3) f(x) = x2, x ∈ (−π, π), 4) f(x) = ex − 1, x ∈ (0, 2π),

5) f(x) =

x, x ∈ (0, a),ax ∈ (a, π − a),

π − x, x ∈ (π − a, π)6) f(x) =

πx2√3, x ∈ (0, π3 ),

πx2

6√3, x ∈ (π3 ,

2π3 ),

π(π−x)2√3, x ∈ (2π3 , π)

Find the Fourier sine series for the extended function

1)f(x) = x3, x ∈ (0, π), 2) f(x) = x2, x ∈ (0, π),

3) f(x) = x(π − x), x ∈ (0, π), 4) f(x) = x sinx, x ∈ (0, π),

5) f(x) =

x, x ∈ (0, a),ax ∈ (a, π − a),

π − x, x ∈ (π − a, π)6) f(x) =

{x4 , x ∈ (0, π2 ),π−x4 , x ∈ (π2 , π)

Find the Fourier sine series for the extended function

1)f(x) =π − 2x

4, x ∈ (0, π), 2) f(x) = sin ax, x ∈ (0, π),

3) f(x) = x sinx, x ∈ (0, π), 4) f(x) = eax, x ∈ (0, π),

5) f(x) =

{1, x ∈ (0, T ),0 ∈ (T, π)

6) f(x) =

{x4 , x ∈ (0, π2 ),π−x4 , x ∈ (π2 , π)

How to extend the integrable function f(x) for x ∈ (0, π2 ) to the (−π, π)

interval so that the Fourier series of its can be of the form

f(x) = an cos(2n− 1)x

94

Hint. We extend the function f(x) in the following way

g(x) =

f(π + x), x ∈ (−π,−π

2 )f(−x), x ∈ (−π

2 , 0)f(x), x ∈ (0, π2 )f(π − x), x ∈ (π2 , π)

It is easy to see that g is a even function and therefore the Fourier coef-

ficient bn = 0. Next we have

an =1

π

∫ π

−πg(x) cosnxdx =

2

π

∫ π2

0f(x) cosnxdx+

2

π

∫ π

π2

f(π−x) cosnxdx =

(1 + (−1)n)2

π

∫ π2

0f(x) cosnxdx

and therefore

a2n = 0, a2n−1 =4

π

∫ π2

0f(x) cos(2n− 1)xdx

The Fourier transform and the Fourier integral.

Let f be a real function defined on the set (a, a + 2L), and also f satisfy

f(x) = f( x + 2L), x ∈ (a, a + 2L). Then the Fourier series corresponding

to the function f is

a02

+

∞∑n=1

(an cosnπx

L+ bn sin

nπx

L,

where

an =1

L

∫ L

−Lf(x) cos

nπx

Ldx, n = 0, 1, 2, ....

bn =1

L

∫ L

−Lf(x) sin

nπx

L, n = 1, 2, 3, ....

By using the Euler’s formulae, ejx = cosx+ j sinx in the Fourier series we

obtain

a02

+∞∑n=1

(an cosnπx

L+ bn sin

nπx

L=a02

+1

2

∞∑n=1

(an(ejnπxL + e−j

nπxL )−

jbn(ejnπxL − ej

nπxL )) =

1

2L

∫ L

−Lf(t)dt+

1

2L

∞∑n=1

ejnπxL

∫ L

−Lf(t)e−j

nπtL dt+

1

2L

∞∑n=1

e−jnπxL

∫ L

−Lf(t)ej

nπtL dt =

95

1

2L

∞∑−∞

ejnπxL

∫ L

−Lf(t)e−j

nπtL dt =

1

2L

∞∑−∞

∫ L

−Lf(t)ej

nπx−nπtL dt

More suppose that f is piecewise continuous on the interval −L ≤ x < L.

Then the above formulae can express as follows

f(x) =1

2L

∞∑−∞

∫ L

−Lf(t)ej

nπx−nπtL dt (9.24)

Next we suppose that for the function f, the Fourier series is convergent,

and more ∫ ∞−∞|f(t)|dt

is convergent, then we have the Fourier formula

f(ξ) =1

2π

∫ ∞−∞

(

∫ ∞−∞

f(t)e−jtxdt)ejxξdx,

called the Fourier integral formula.

For to prove the Fourier formula, first we denote xn = nπL and therefore

xn+1−xn = πL . Thus the relation (9.24) can be express in the following way

f(x) =1

2π

∞∑−∞

∫ L

−L(xn+1 − xn)f(t)ejxn(x−t)dt (9.25)

Next it easy to see that if L→∞ then xn → 0 and the equation (9.25) have

the form

f(ξ) =1

2π

∫ ∞−∞

(

∫ ∞−∞

f(t)e−jtxdt)ejxξdx.

The proof is complete.

The real form of the Fourier integral. The case when the func-

tion f is odd or even

Next in the Fourier integral formula, we consider the Euler’s formula

ej(x−t) = cos(x− y) + j sin(x− t)

f(ξ) =1

2π

∫ ∞−∞

(

∫ ∞−∞

f(t)e−jtxdt)ejxξdx =1

2π

∫ ∞−∞

(

∫ ∞−∞

f(t) cosx(ξ− t)dt+

j

∫ ∞−∞

f(t) sinx(ξ − t)dt)dx =1

2π

∫ ∞−∞

(

∫ ∞−∞

f(t) cosx(ξ − t)dt)dx+

j1

2π

∫ ∞−∞

(

∫ ∞−∞

f(t) sinx(ξ − t)dt)dx.

Next we denote

96

g(x, ξ) =

∫ ∞−∞

f(t) cosx(ξ − t)dt, h(x, ξ) =

∫ ∞−∞

f(t) sinx(ξ − t)dt

It is east to verify that g is a even function, that is g(x, ξ) = g(−x, ξ) and h

is a odd function that is h(−x, ξ) = −h(x, ξ). By using these properties of

the functions g and h, we deduce that

∫ ∞∞

g(x, ξ)dx = 2

∫ ∞0

g(x, ξ)dx,

∫ ∞∞

h(x, ξ)dx = 0

and the real Fourier integral formula have the form

f(ξ) =1

π

∫ ∞0

(

∫ ∞−∞

f(t) cosx(ξ − t)dt)dx,

called the real Fourier integral.

Now by using the formula cosx(ξ− t) = cosxξ cosxt+ sinxξ sinxt in the

real Fourier integral formula, we obtain

f(ξ) =1

π

∫ ∞0

cosxξ(

∫ ∞−∞

f(t) cosxtdt)dx+1

π

∫ ∞0

sinxξ(

∫ ∞−∞

f(t) sinxtdt)dx,

(9.26)

Next if f(t) is a even function so it is and f(t) cos tξ and f(t) sin tξ is a odd

function, and therefore the formula (9.25) have the form

f(ξ) =2

π

∫ ∞0

cosxξ(

∫ ∞0

f(t) cosxtdt)dx

In the same way, if f(t) is a odd function so it is and f(t) cos tξ and f(t) sin tξ

is a even function, and we obtain the next real Fourier integral formula

f(ξ) =2

π

∫ ∞0

sinxξ(

∫ ∞0

f(t) sinxtdt)dx

If we denote

g(t) =1√2π

∫ ∞∞

G(x)e−jxtdx, and G(ξ) =1√2π

∫ ∞∞

g(t)ejtξdx,

then g(t) is called the Fourier transform of G(ξ) and converse. In the case

of the real Fourier integral formula of a even function we obtain

97

g(t) =2√π

∫ ∞0

G(x) cosxtdx, and G(ξ) =2√π

∫ ∞0

g(t) cos tξdx,

then the function g(t) is called the Fourier transform of G(ξ) with help of

function cos and converse.

In a similar case when the function g(t) is odd it can obtain

g(t) =2√π

∫ ∞0

G(x) sinxtdx, and G(ξ) =2√π

∫ ∞0

g(t) sin tξdx,

and the function g(t) is called the Fourier transform of G(ξ) with help of

function sin and converse.

Properties. For a good understanding of the properties of the Fourier

transform we denote

G(ξ) =1√2π

∫ ∞∞

g(t)ejtξdt,

and also we denote by F [f ](ξ) the Fourier transform of the function f.

Proposition 1. If |f(t)| and |tf(t)| are integrable on R then F [f ](ξ) is

a derivable function, and

F ′[f ](ξ) = F [jxf(x)](ξ)

Proof. Taking into account that |f(x)ejxξ| ≤ |f(x)| it follows that there

exist the Fourier transform of the function f(x)ejxξ. Also it well known that

there exist ∂∂x(f(x)ejxξ) then by direct calculation it follows that

F ′[f ](ξ) =1√2π

∫ ∞∞

jtf(t)ejtξdt = F [jtf(t)](ξ)

and the assertion is proved.

Proposition 2. If there exist f ′(x) and |f(x)| is integrable on the set R,

and limx→∞ f(x) = 0 then

F [f ′](ξ) = −jξF [f(x)](ξ)

The proof it follows by direct calculation.

98

Proposition 3. If there exist f ′(x) and |f(x)| is integrable on the set R,

and limx→∞ f(x) = 0 then

F [

∫ t

0f(x)dx](ξ) =

j

ξF [f(t)](ξ)

Example Solve the next equation

∫ ∞0

F (t) cos txdt =

{1− x, if x ∈ [0, 1],0, if x > 1.

Hint. It is easy to see that the above function is a Fourier transform by the

cos function. Then we have

f(t) =1√2π

{1− x, if x ∈ [0, 1],0, if x > 1.

and therefore by direct calculation we obtain

F (t) =

√2

π

∫ ∞0

f(x) cos txdx =

√2

π

∫ 1

0f(x) cos txdx =

2

π

∫ 1

0(1− x) cos txdx =

2(1− cos t)

πt2

Example. Calculate the Fourier transform for the next functions

1. f(x) =

0, ∞ < x < −d/2,cosωt, −d/2 < x < d/2,0, d/2 < x <∞

2. f(x) =

0, ∞ < x < 0,1, 0 < x < d,0, d < x <∞.

3. f(x) =

0, ∞ < x < 0,t/d, 0 < x < d,0, d < x <∞

4. f(x) =

0, ∞ < x < 0,1, 0 < x < d,0, d < x <∞.

Calculate the Fourier integral for the functions

4. f(x) =

{0, −∞ < x < 0,e−at, 0 < |x| 5. f(x) =

{h(1− |x|a ), |x| < a,0, a < |x| <∞

6. f(x) = e−α|x| cosβx, 7. f(x) = xe−x2.

Solve the next equations

1.

∫ ∞0

f(x) sin axda = e−x, 2.

∫ ∞0

f(x) cos axda =

{π cos au

2 , u ∈ (0, π)0, u > π.

3.

∫ ∞0

f(x) cos axda =1

1 + x2,

99

The Laplace Transform

Many practical engineering problems involve mechanical or electrical sys-

tems acted on by discontinuous or impulsive forcing terms. For such prob-

lems the methods described in the above Chapters are often rather award

to use. Another method that is especially well suited to these problems,

although useful much more generally, is based on the Laplace transform.

In this chapter we describe how this important method works, emphasizing

problems typical of those arising in engineering applications.

Definition of the Laplace Transform. Among the tools that are very

useful for solving linear differential equations are integral transforms. An

integral transform is a relation of the form

F (s) =

∫ b

aK(s, t)f(t)dt, (10.1)

where K(s, t) is a given function, called the kernel of the transformation,

and the limits of integration a and b are also given. It is possible that

a = −∞ or b = ∞, or both. The relation (10.1) transforms the function f

into another function F, which is called the transform of f . The general idea

in using an integral transform to solve a differential equation is as follows:

Use the relation (10.1) to transform a problem for an unknown function f

into a simpler problem for F, then solve this simpler problem to find F, and

finally recover the desired function f from its transform F. This last step is

known as ”inverting the transform.”

There are several integral transforms that are useful in applied mathe-

matics, but in this chapter we consider only the Laplace transform. This

transform is defined in the following way. Let f (t) be given for t ≥ 0, and

suppose that f satisfies certain conditions to be stated a little later. Then

the Laplace transform of f , which we will denote by L{f(t)} or by F(s), is

defined by the equation

L{f(t)} = F (s) =

∫ ∞0

e−stf(t)dt. (10.2)

100

The Laplace transform makes use of the kernel K(s, t) = e−st . Next we say

that the function f(t) is called the ”original” of the Laplace transform F (s)

if the integral (10.2) is convergent. Since the solutions of linear differential

equations with constant coefficients are based on the exponential function,

the Laplace transform is particularly useful for such equations. Since the

Laplace transform is defined by an integral over the range from zero to

infinity, it is useful to review some basic facts about such integrals. In the

first place, an integral over an unbounded interval is called an improper

integral, and is defined as a limit of integrals over finite intervals; thus

∫ ∞a

f(t)dt = lima→∞

∫ A

af(t)dt, (10.3)

where A is a positive real number. If the integral from a to A exists for each

A > a, and if the limit as A→∞ exists, then the improper integral is said

to converge to that limiting value. Otherwise the integral is said to diverge,

or to fail to exist. The following examples illustrate both possibilities.

Example. 1) Let f(t) = ect, t ≥ 0, where c is a real nonzero constant.

Then

∫ ∞0

ectdt = limA→∞

∫ A

0ectdt = lim

A→∞

eAc − 1

c.

It follows that the improper integral converges if c < 0, and diverges if c ≥ 0.

2) Let f(t) = t−p, t ≥ 1, where p is a real constant and p > 1. Then∫ ∞0

t−pdt = limA→∞

∫ A

0t−pdt = lim

A→∞

A1−p − 1

1− p

Hence∫∞0 t−pdt converges for p > 1, but diverges for p ≤ 1.

Before discussing the possible existence of∫∞0 f(t)dt, it is helpful to define

certain terms. A function f is said to be piecewise continuous on an interval

a < t < b if the interval can be partitioned by a finite number of points

a = t0 < t1 < < tn = b so that:

1. f is continuous on each open subinterval ti−1 < t < ti .

2. f approaches a finite limit as the endpoints of each subinterval are

approached from within the subinterval.

101

In other words, f is piecewise continuous on a < t < b if it is continuous

there except for a finite number of jump discontinuities. If f is piecewise

continuous on a < t < b for every b > a, then f is said to be piecewise

continuous on t > a.

If f is piecewise continuous on the interval a ≤ t ≤ A, then it can be

shown that∫ Aa f(t)dt exists. Hence, if f is piecewise continuous for t > a,

then∫ Aa f(t)dt exists for each A > a. However, piecewise continuity is not

enough to ensure convergence of the improper integral∫∞a f(t)dt as the pre-

ceding examples show. If f cannot be integrated easily in terms of elemen-

tary functions, the definition of convergence of∫∞a f(t)dt may be difficult

to apply. Frequently, the most convenient way to test the convergence or

divergence of an improper integral is by the following comparison theorem,

which is analogous to a similar theorem for infinite series.

Theorem 1 If f is piecewise continuous for t ≥ a, if |f(t)| ≤ g(t) when t ≥M for some positive constant M, and if

∫∞M g(t)dt converges, then

∫∞M f(t)dt

also converges. On the other hand, if f(t) > g(t) > 0, for t > M, and if∫∞M g(t)dt diverges, then

∫∞M f(t)dt also diverges.

The proof of this result from the calculus will not be given here. It is

made plausible, however, by comparing the areas represented by∫∞M g(t)dt

and∫∞M f(t)dt functions most useful for comparison purposes are ect and t−p,

which were considered in Examples 1, 2. We now return to a consideration

of the Laplace transform L f (t) or F(s), which is defined by Eq. (10.2)

whenever this improper integral converges. In general, the parameter s may

be complex, but for our discussion we need consider only real values of s.

The foregoing discussion of integrals indicates that the Laplace transform F

of a function f exists if f satisfies certain conditions, such as those stated in

the following theorem.

Theorem 2. Suppose that:

1. f is piecewise continuous on the interval 0 ≤ t ≤ A for any positive A.

102

2. |f(t)| ≤ Keat when t ≤ M. In this inequality K, a, and M are real

constants, K and M necessarily positive.

Then the Laplace transform L{f(t)} = F (s), defined by Eq. (10.2), exists

for s > a.

To establish this theorem it is necessary to show only that the integral

in Eq. (10.2) converges for s > a. Splitting the improper integral into two

parts, we have∫ ∞0

e−stf(t)dt =

∫ M

0e−stf(t)dt+

∫ ∞M

e−stf(t)dt (10.4)

The first integral on the right side of Eq. (10.4) exists by hypothesis (1) of

the theorem; hence the existence of F(s) depends on the convergence of the

second integral. By hypothesis (2) we have, for t ≥M,

|e−stf(t)| ≤ Ke−steat = Ke(a−s)t,

and thus, by Theorem 1, F(s) exists provided that∫∞M e−stf(t)dt converges.

Referring to Example 1 with c replaced by a - s, we see that this latter

integral converges when a− s < 0, which establishes Theorem 2. Unless the

contrary is specifically stated, in this chapter we deal only with functions

satisfying the conditions of Theorem 2. Such functions are described as

piecewise continuous, and of exponential order as t→∞.Now we give some of important properties, which can be proved by direct

calculation. In the next properties it is supposed that all function involved

in the text admit the Laplace transform .

1) Now let us suppose that f1 and f2 are two functions whose Laplace

transforms exist for s > a1 and s > a2, respectively. Then, for s greater

than the maximum of a1 and a2,

Lc1f1(t) + c2f2(t) = c1Lf1(t) + c2Lf2(t) (10.5)

Equation (10.5) is a statement of the fact that the Laplace transform is a

linear operator. This property is of paramount importance, and we make

frequent use of it later.

103

2) Suppose that f is continuous and f ′ is piecewise continuous on any

interval 0 ≤ t ≤ A. Suppose further that there exist constants K, a, and

M such that |f ′(t)| ≤ Keat for t ≥ M. Then L{f(t)} exists for s > a, and

moreover

L{f ′(t)} = sL{f(t)} − f(0).

3) Suppose that the functions f, f ′, · · · , f (n−1) are continuous, and that

f (n) is piecewise continuous on any interval 0 ≤ t ≤ A. Suppose further

that there exist constants K, a, and M such that |f(t)| ≤ Keat, |f ′(t)| ≤Keat, · · · , |f (n−1)(t)| ≤ Keat for t ≥ M. Then L{f (n)(t)} exists for s > a

and is given by

L{f (n)(t)} = snL{f(t)} − sn−1f(0)− · · · − sf (n−2)(0)− f (n−1)(0).

4) L{f(at)} = 1aF ( sa)

5) L{eatf(t)} = F (s− a)

6) L{tnf(t)} = (−1)nF (n)(s)

7) L{∫ t0 f(t)dt} = 1

sF (s) if f is a continuu function,

8) L{f(t)t } =∫∞s F (q)dq if f(t)

t admit the Laplace transform,

9) if (f ? g)(t) =∫ t0 f(τ)g(t − τ)dτ , then (f ? g)(t) = (g ? f)(t)

and if we denote

L{f(t)} = F (s), L{g(t)} = G(s) then L{(f ? g)(t)} = F (s)G(s)

10) L{f(t− a)} = e−paF (s).

11.) Let f satisfying f(t + T ) = f (t) for all t > 0 and for some fixed

positive number T; f is said to be periodic with period T on 0 < t < ∞.Show that

L{f(t)} =

∫ T0 e−stf(t)dt

1− e−sT.

12) If f(t) =∑∞

i=1 fi(t), is convergent then, L{f(t)} =∑∞

i=1 L{fi(t)}

13) If f(t, u) is a original function as a function of the vaiable t, and

F (s, u) = L{f(t, u)}, then

104

L{∫ b

af(t, u)du} =

∫ b

aF (s, u)du

14) If f(t, u) is a original function as a function of the vaiable t, and F (s, u) =

L{f(t, u)}, and if there exist ∂f(t,u)∂u , then

L{∂f(t, u)

∂u} =

∂F (s, u)

∂u

15) If f(t, u) is a original function as a function of the vaiable t, and

F (s, u) = L{f(t, u)}, and if there exist

lims→s0

f(t, u), and lims→s0

F (s, u),

then

L{ lims→s0

f(t, u)} = lims→s0

F (s, u).

16) If L{f(t)} = F (s) and L{f(t)t } exist, then∫ ∞0

f(t)

tdt =

∫ ∞0

F (s)ds.

17) If L{f(t)} = F (s) then

∫ ∞0

f(t)dt = −F (s) |∞0 .

18) If the functions f(t) and f ′(t) are the original functions and if there

exists

limt→0

f(t), t > 0

then

lims→∞

sL{f(t)} = limt→0

f(t).

19) If the functions f(t) and f ′(t) are the original functions ann if there

exists

limt→∞

f(t), t > 0

then

lims→0

sL{f(t)} = limt→∞

f(t).

Now we show that by using these properties it is sufficient to calculate only

the Laplacian transform for the function f(t) = 1 By direct calculation we

105

have

L{1} =

∫ ∞0

e−stdt = −e−st

s|∞0 =

1

s

Next if in the property 5) we put f(t) = 1, for a coplex number a = jα we

obtain

L{eat} =1

s− a⇒ L{cosαt+ j sinαt} =

1

s− jβ=

s+ jβ

s2 + β2

and therefore

L{cosαt} =s

s2 + α2, L{sinαt} =

α

s2 + α2

The property 6) implies

L{tn} = (−1)n(1

s)(n) =

n!

sn+1

true under less restrictive conditions, such as those of Theorem 2.

The Gamma Function. The gamma function is denoted by Γ(p) and

is defined by the integral

Γ(p+ 1) =

∫ ∞0

e−xxpdx.

The integral converges as x → ∞ for all p. For p < 0 it is also improper

because the integrand becomes unbounded as x→ 0. However, the integral

can be shown to converge at x = 0 for p > −1. It ca proved the next

properties of the Γ function:

(a) Show that for p > 0, Γ(p+ 1) = pΓ(p)

(b) Show that Γ(1) = 1.

(c) If p is a positive integer n, show that Γ(n+ 1) = n!.

Since Γ(p) is also defined when p is not an integer, this function provides

an extension of the factorial function to nonintegral values of the indepen-

dent variable. Note that it is also consistent to define 0! = 1.

(d) Show that for p > 0 then Γ(p+n) = (p+n−1)(p+n−2) · · · (p+1)pΓ(p).

Thus Γ(p) can be determined for all positive values of p if Γ(p) is known in

a single interval of unit length, say, 0 < p ≤ 1.

(d) Show that Γ(p)Γ(1 − p) = πsin(pπ) for −1 < p < 1. In a particular

case, for p = 12 we obtain that Γ(12) =

√π.

Consider the Laplace transform of tp, where p > −1. Show that

106

L{tp} =

∫ ∞0

e−sttpdt =1

sp+1

∫ ∞0

e−xxpdx =Γ(p+ 1)

sp+1, s > 0.

Seep functions

To deal effectively with functions having jump discontinuities, it is very

helpful to introduce a function known as the unit step function, or Heaviside

function. This function will be denoted by uc, and is defined by

uc(t) =

{0, t < c,1, t ≥ c c ≥ 0. (1)

The step can also be negative. For instance, it is suuficien to consider

y = 1− uc(t).

Example. Sketch the graph of y = h(t), where h(t) = uπ(t)−u2π(t), t >

0. From the definition of uc(t) in Eq. (1) we have

h(t) =

0− 0 = 0, 0 ≤ t < π,1− 0 = 1, π ≤ t < 2π,1− 1 = 0, 2π ≤ t <∞.

The Laplace transform of uc is easily determined:

L{uc(t)} =

∫ ∞0

e−stuc(t)dt =

∫ ∞0

e−stdt =e−cs

s, s > 0. (2)

For a given function f , defined for t ≥ 0, we will often want to consider the

related function g defined by

y = g(t) =

{0, t < c,

f(t− c), t ≥ c,which represents a translation of f a distance c in the positive t direction.

In terms of the unit step function we can write g(t) in the convenient form

g(t) = uc(t)f(t− c).

The unit step function is particularly important in transform use because of

the following relation between the transform of f(t) and that of its translation

uc(t)f(t− c).Theorem 1. If F (s) = L{f(t)} exists for s > a ≥ 0, and if c is a positive

constant, then

L{uc(t)f(t− c)} = e−csL{f(t)} = e−csF (s), s > a. (3)

107

Example If the function f is defined by

f(t) =

{sin t, 0 ≤ t < π

4 ,sin t+ cos(t− π

4 ), t ≥ π4 ,

find L{f(t)}. Note that f (t) = sin t + g(t), where

g(t) =

{0, 0 ≤ t < π

4 ,cos(t− π

4 ), t ≥ π4 ,

Thus g(t) = uπ4(t) cos(t− π

4 ), and

L{f(t)} = L{sin t}+ L{uπ4(t) cos(t− π

4)} = L{sin t}+ e

−ps4L {cos t}.

Introducing the transforms of sin t and cos t, we obtain

L{f(t)} =1

s2 + 1+ e

−πs4

s

s2 + 1=

1 + se−ps4

s2 + 1

You should compare this method with the calculation of L{f(t)} directly

from the definition. If we know L{f(t)} = F (s) then we denote by L−1 the

inverse of the Laplace transform, that is f(t) = L−1F (s). For the calculate

the inverse of the Laplace transform, we have the Mellin-Fourier theorem

f(t) =1

2jπ

∫ a+j∞

a−j∞F (s)estds.

We give some particular case wich are very hopefull

1) If F (s) = A(s)B(s) where A and B are polynomial function so that gradA+

1 ≤ gradB and the equation B(s) = 0 with the simple roots s1, s2, · · · sk,then

f(t) =

k∑i=1

A(si)

B′sietsi

2) If the roots of equation B(s) = 0 are si multiple of order αi, 1 ≤ i ≤ kthen

f(t) =

k∑i=1

1

(αi − 1)!((s− si)αiF (s)est)(αi−1).

3) If F (s) =∑∞

i=1aisi

for |s| > R > 0 converge, then

f(t) =

∞∑i=1

ai(i− 1)!

ti−1.

108

In the other case it can by use the direct Laplace transform or to be use the

residuum theorem.

Example. Find the Laplace transform of the next functions:

1. f(t) = tchωt; 2) f(t) = tetλ sinωt, 3) f(t) = teλtshωt, 4) f(t) =

shωtt ,

5) sinωtt 6)

∫ t0

sin ττ dτ, 7) f(t) = e−at sin bt

t , 8) f(t) = e−at−e−btt ,

9) f(t) = cos t√t, 10) f(t) = 1√

t, 11) f(t) = et(tne−t)(n).

Find the invese of Laplacean transform

1) F (s) = s2+3s+1(s+1)(s+2)(s+3) , 2) F (s) = 1

(s+13(s2−2s+2), 3) F (s) = 2s+3

s3+1, ,

4) F (s) = 1s4−a4 , 5) F (s) = 4a3

s4+4a4, 6) F (s) = ln(1 + 1

s2),

7) F (s) = ln(1− 1s2

), 8) F (s) = 1√s2+4

, 9) F (s) = ln s+√s2+12s ,

10) F (s) = arctg 1s , 11) F (s) = 1

s sin 1s 12) F (s) = ln s2+a2

s2+b2.

By using the Laplace transform, sovle the next differential equations:

1) x′′+4x = sin 2t, x(0) = 0, x′(0) = 1, 2) x′′+6x′+9x = 9e3t, x(0) =

x′(0) = 0, 3) x(4) + x(3) = et, x(0) = −1, x′(0) = x′′(0) = x′′′(0) = 0,

4) x′′+x′ = t2 + 2t, x(0) = 4, x′(0) = −2, 5) x′′− 3x′− 2x = 2et cost

2

6) x′′′ − 6x′′ + 11x′ − 6x = 12tte3t − e2t, x(0) = 1, x′(0) = −1, x′′(0) = 0,

7) x′′ + x =1

1 + cos2 t, x(0) = x′(0) = 0, 8) x′′ + 2x′ + x =

e−t

t+ 1,

x(0) = x′(0) = 0, 9) x′′′ + x′ =1

2 + sin t, x′(0) = x′′(0) = x(0) = 0,

10) x′′+tx′+x = 0, x(0) = 0, x′(0) = −1, 11) tx′′+2x′ = t−1, x(0) = 0,

12) (2t+1)x′′+(4t−2)x′−8x = 0, 13) tx′′+(1−2t)x′−2x = 0, x(0) = 1,

x′(0) = 2, 14) t2x′′ + tx′ + (t2 − 1)x = 0, x(1) = 2,

109

By using the Laplace transform, sovle the next differential system equa-

tions:

1)

x′ = y + zy′ = x+ zz′ = y + x

with

x(0) = −1,y(0) = 1,z(0) = 0

, 2)

x′ = −x+ y + z + et

y′ = x− y + z + e3t

z′ = y + x

with

x(0) = 0,y(0) = 0,z(0) = 0

3)

x′ = y + zy′ = 3x+ zz′ = y + 3x

with

x(0) = 0,y(0) = 2,z(0) = 3

4)

tx′ = −x+ y + z + tty′ = x− y + z + t3

tz′ = z + y + xwith

x(0) = 0,y(0) = 0,z(0) = 0

5)

{x′ = x+ 2y + ty′ = 2x+ y + t

with

{x(0) = 2,y(0) = 4,

6)

{x′ = 4x− 3y + sin ty′ = 2x− x− 2 cos t

with

{x(0) = 0,y(0) = 0,

,

7)

{x′′ + y′ + x = et

y′′ + x′ = 1with

x(0) = 1,x′(0) = 0y(0) = −1,y′(0) = 2

8)

{x′ + y′ − y = et

y′ + 2x′ + 2y = cos twith

{x(0) = 0,y(0) = 0

By using the Laplace transform, find the next functions:

1) f(t) =

∫ ∞0

cos tx

1 + x2dx, 2) f(t) =

∫ ∞0

cos tx2dx

By using the Laplace transform, calculate the next integrals:

1)

∫ ∞0

sin t

tdt, 2

∫ ∞0

e−atsin t

tdt, 3)

∫ ∞0

sin at cos t

tdt,

4)

∫ ∞0

sin t cos at

tdt, 5)

∫ ∞0

(e−at − e−bt

t)2dt, 6)

∫ ∞0

te−at sin tdt.

By using the Laplace transform, sovle the next integro-differential equa-

tions:

1) x(t) = 1+ t+

∫ t

0x(u) cos(t−u)du, 2) x(t) = t+2

∫ t

0x(u) cos(t−u)du,

3) x(t) +

∫ t

0x(u)(t−u)2du =

5

2t2 + t− 3, 4) x(t) +

∫ t

0x(u)du = 3et + 2t,

5) x(t) = e−2t+3

∫ t

0x(u) cos(t−u)du, 6) x′(t)−x(t)+

∫ t

0x(u) sin(t−u)du =

1− sin t, x(0) = 0, 7) x′(t) = 2

∫ t

0x(u)et−udu, x(0) = 1, 8) x′(t) =

110 ∫ t

0x(u)(t− u)du+ cos y, x(0) = 1.

By using the Laplace transform solve the next equations

1)∂2u

∂x2=∂u

∂t+ 4u, u(x, t) = 0, u(x, 0) = 6 sinx, u(π, t) = 0,

2) 2∂2u

∂x2=∂u

∂t, u(5, t) = 0, u(x, 0) = sin 4πx− 5 sin 6πx, u(0, t) = 0,

3)∂2u

∂x2=∂2u

∂t2, u(x, 0) = 0,

∂u

∂t(x, 0) = 0, u(0, t) = 10 sin 2t, lim

x→∞u(x, t) = 0

4)∂u

∂x− cosx

∂u

∂y= cosx cos y, u(x, 0) = sinx

5) (x+ y)∂u

∂x= u+ y, u(0, y) = y3 − y.

References

[1] Arnold V. I., Ecuatii diferentiale ordinare. Ed.st si Enciclopedica, Bucuresti, 1978.[2] Barbu V., Ecuatii diferentiale, Ed. Junimea, Iasi, 1985.[3] Corduneanu A., Pletea A., L.,Notiuni de teoria ecuatiilor diferentiale, Ed. Matrix

Rom, Bucuresit 1999.[4] Dodescu Gh., Toma M., it Metode numerice de calcul numeric. Ed. Didactica si

Pedagogica, Bucuresti 1976.[5] Halanay A., Ecuatii diferentiale Ed. Didactica si Pedagogica, Bucuresti 1972.[6] Morris I., Hirsch W., Smale S., Differential equations, dynamical system and linear

algebra. Academic Press, 1974.[7] Philippov A., Recueil de problemes d’equations differentielles. Editions Mir, Moscou

1976.