CHAPTER 19

FOUR SAMPLE FINAL EXAMINATIONS

These final examinations are actual exams held during the academic term, and each lasted 2 hours.

19.1 FINAL EXAM 1

Exercise 19.1

images

Assume that f(x) is absolutely integrable and a is a given real constant. Show that

images

where images is the Fourier transform of f.

Solution. Since |eiax| = 1 and f is absolutely integrable on (–∞, ∞), e iaxf(x) is also absolutely integrable on (–∞, ∞) and we have

images

for all ω∈images

Exercise 19.2.

images

Hermite’s differential equation reads

images

(a) Multiply by ex2 and bring the differential equation into Sturm-Liouville form. Decide if the resulting Sturm-Liouville problem is regular or singular.
(b) Show that the Hermite polynomials

images

are eigenfunctions of the Sturm-Liouville problem and find the corresponding eigenvalues.
(c) Use an appropriate weight function and show that H1 and H2 are orthogonal on the interval (–∞,∞) with respect to this weight function.

Solution.

(a) Multiplying the differential equation by ex2 , we have

images

that is,

images

This is the self-adjoint form of Hermite’s equation, with p(x) = σ(x) = ex2 and q(x) = 0. Even though p, p, q, and σ are all continuous on the interval (– ∞, ∞), this Sturm-Liouville problem is singular since the interval is infinite.
(b) The Hermite polynomial of degree n is denoted by Hn(x).

images

if and only if λ0 = 0, and the eigenvalue corresponding to the eigenfunction H0(x) is λ0 = 0.

images

if and only if –4x + 2λ1x = 0 for all x, that is, if and only if λ1 = 2, and the eigenvalue corresponding to the eigenfunction H1(x) is λ1 = 2.

images

for all x if and only if λ2 = 4, and the eigenvalue corresponding to the eigenfunction H/2(x) is λ2 = 4.

images

for all x if and only if λ3 = 6, and the eigenvalue corresponding to the eigenfunction H3(x) issλ3 = 6.
(c) There are two ways to answer this question. The more elegant method is as follows. We can show that the Hermite polynomials Hn, for n ≥ 0, are orthogonal on the interval (–∞,∞) with respect to the weight function r(x) = ex2 , by noting that

images

and subtracting, we have

images

Integration over the real line,we have

images

since the exponential kills off any polynomial as |x|→> ∞. Therefore, if mn, then

images

A more straightforward method is by integrating directly. For example,we note immediately that

images

since the integrand is an odd function of x and we are integrating between symmetric limits.

Exercise 19.3.

images

Find all functionsϕ for which μ(x, t)= ϕ{xct) is a solution of the heat equation

images

where k and c are constants.

Solution. If ϕ is a twice continuously differentiable function such that

images

is a solution of the heat equation, then

images

and ϕ satisfies the equation

images

for all –∞ < x ∞ and t > 0; that is,

images

for all simages

Therefore, the solution is given by

images

that is,

images

where A and B are arbitrary constants.

Exercise 19.4.

images

Consider the regular Sturm-Liouville problem

images

(a) Find the eigenvalues images and the corresponding eigenfunctions ϕn for this problem.
(b) Show directly, by integration, that eigenfunctions corresponding to distinct eigenvalues are orthogonal.
(c) Given the function f(x) = (π2x2)/2, 0 < x < π, find the eigenfunction expansion for f.
(d) Show that

images

Solution.

(a) Case(i): λ = 0. The general solution to the equation ϕ″ + λ2ϕ = 0 in this case is

images

and differentiating,ϕ′(x)=c1 and the condition ϕ′(0) = 0 implies that c2 = 0. The condition 0(7r) = 0 implies that c2 = 0, so there are no nontrivial solutions in this case.
Case(ii): λ ≠ 0. The general solution to the equation ϕ″ +λ2ϕ=0 in this case is

images

and differentiating, we get

images

The condition ϕ′(0) = 0 implies that c2 λ = 0, so c2 = 0. The solution is then

images

and the condition ϕ(π) = 0 implies that cos λπ = 0, and therefore the eigenvalues are

images

for n = 1,2,3,…. The corresponding eigenfunctions are

images

for n = 1,2,3,… .
(b) Letλn = (2n – l)/2 for n = 1,2,3,…. then for mn, we have

images

since (λm + λn)π = (m + n – 1)π and (λmλn)π = (mn)π. For n = m, we find

images

(c) Writing

images

the coefficients cn in the eigenfunction expansionare found using the orthogonality of the eigenfunctions on [0,π] :

images

Therefore, the eigenfunction expansion of f is given by

images

(d) In this particular problem, the eigenfunction expansion is actually the Fourier cosine series for f. Since the function F is piecewise smooth on the interval [0,π] and since the even extension of F to [–π, π] is continuous at x = 0, then by Dirichlet’s theorem the series converges to F(0) = π2/2 when x = 0, and therefore

images

Exercise 19.5.

images

Given the following boundary value-nitial value problem for the heat equation on [0,1]:

images

(a) Ifu(x, t) is the solution to this problem, find an initial boundary value problem satisfied by

images

(b) Solve the problem found in part (a) for w(x, t).
(c) Find the solution u(x, t) to the original problem.
(d) Find the time T1 such that u(x, t) < 1 for every x [0,1] and every t > T1.

Solution.

(a) If u(x,t) is the solution to the heat equation above and w(x, t) = e2tu(x, t), then

images

so that

images

for 0 < x<1, t > 0. Therefore, w(x, t) = e2tu(x, t) satisfies the boundary value-initial value problem

images

(b) Assuming a solution of the form w(x, t) = X (x).T(t) and separating variables, we get two ordinary differential equations,

images

where λ is the separation constant.We can satisfy the two boundary conditions by requiring that X(0)=X(1)=0, so that X satifies the boundary value problem

images

The only nontrivial solutions occur when λ > 0, say λ = μ2, where μ ≠ 0. In this case the general solution is

images

and from the boundary conditions, X(0) = 0 implies that A = 0, and since X(l) = 0, sin μ = 0. Thus, the eigenvalues are μn = , with corresponding eigenfunctions Xn(x) = sinnπx for n ≥ 1. For n ≥ 1, the corresponding solution to

images

is Tn(t) = images , and from the superposition principle, we write

images

for 0 < x < 1, t > 0. From the initial condition, we have

images

so that bn = 0 for n ≠ 3, whileb3 = 7. Therefore,

images

for 0 < x < 1, t > 0.
(c) The solution to the original problem is

images

for 0 <x < 1, t > 0.
(d) Since

images

for all x [0,1] and all t ≥ 0, we can make u(x, t) < 1 by requiring that

images

and this will be true if that is,

images

that is,if

images

or equivalently,if

images

so we may take

images

19.2 FINAL EXAM 2

Exercise 19.6.

images

Let 0 < a < π; given the function

images

find the Fourier series for f and use Dirichlet’s convergence theorem to show that

images

for 0 < a < π.

Solution. Since f(x) is an even function of the interval [–π,π], the Fourier series of f(x) is given by

images

where

images

and

images

for n ≥ 1, and therefore

images

forπ<x < π

Since f(x) is continuous on the interval –a < x < a, the Fourier series converges to f(x) for – a < x < a; that is,

images

for –a < x < a. In particular, when x = 0, we have

images

so that

images

for 0 < a < π.

Exercise 19.7.

images

Consider the heat equation with a steady source

images

subject to the initial and boundary conditions

images

Solve this problem using the method of eigenfunction expansions. Show that the solution approaches a steady-state solution as t → ∞.

Solution. Since the problem already has homogeneous boundary conditions, we consider the corresponding homogeneous problem:

images

The eigenvalues and eigenfunctions for this problem are

images

for n ≥ 1. We write the solution to the nonhomogeneous problem as an expansion in terms of these eigenfunctions:

images

and determine the coefficients an (t) which force this to be a solution to the nonhomogeneous problem. We will need the eigenfunction expansions for Q(x) = 7sin3x and f(x) = 5 sin3x:

images

Substituting these expansions into the nonhomogeneous equation

images

we obtain

images

and the coefficient a3(t) satisfiesthe initial value problem

images

The solution to this initial value problem is

images

that is,

images

Note that images For n ≠ 3, we obtain

images

which implies that

images

for n ≠ 3. The solution to the heat equation with a steady source is therefore

images

for 0≤ x ≤ π and t ≥ 0. For large values of t, this solution approaches r(x), where

images

for 0 ≤ x ≤ π. Differentiating this twice with respect to x, we see that

images

Since r(0) = r(π) =0, the function r(x) satisfies the boundary value problem

images

which is exactly the boundary value problem for the steady-state solution; that is, r(x) is the steady-state or equilibrium solution to the original heat flow problem.

Exercise 19.8.

images

(a) Using the method of characteristics, solve

images

(b) For which values of c does this initial value problem have a time-independent solution?

Solution.

(a) Let dx/dt = c; then along the characteristic curve x(t) = ct + a, where a = x(0), the partial differential equation becomes

images

so that

images

where K is a constant, and K = w(x(0), 0) – (l/2c)e2x(t)+k so that

images

that is,

images

Given the point (x, t), let x = ct + a be the unique characteristic curve passing through this point; then

images

for –∞ < x < ∞ and t > 0.
(b) Note that if c = 1, the solution is

images

which is time independent.

Exercise 19.9.

images

Consider torsional oscillations of a homogeneous cylindrical shaft. If ω(x, t) is the angular displacement at time t of the cross section at x, then

images

where the initial conditions are

images

and the ends of the shaft are fixed elastically:

images

with α a positive constant.
(a) Why is it possible to use separation of variables to solve this problem ?
(b) Use separation of variables and show that one of the resulting problems is a regular Sturm-Liouville problem.
(c) Show that all of the eigenvalues of this regular Sturm-Liouville problem are positive.

Note: You do not need to solve the initial value problem, just answer the questions (a), (b), and (c).

Solution.

(a) Since the partial differential equation is linear and homogeneous and the boundary conditions are linear and homogeneous, we can use separation of variables.
(b) Assuming a solution of the form

images

and separating variables, we have two ordinary differential equations:

images

where the ϕ-problem is a regular Sturm-Liouville problem with

images

and

images

(c) We use the Rayleigh quotient to show that λ > 0 for all eigenvalues λ. Let λ be an eigenvalue of the Sturm-Liouville problem, and let ϕ(x) be the corresponding eigenfunction; then

images

and since q(x)= 0 for all 0 ≤ ximages.Note that if λ=0, then

images

since p(x) = π(x) = 1 for 0 ≥ x ≥ ℓ. Note that if λ = 0, than

images

implies that

images

Since α > 0, this implies that ϕ(0) = 0 and ϕ(images) = 0, and since ϕ′ is continuous on [0, images], that ϕ′(x) = 0 for 0 ≤ ximages. Therefore, ϕ(x) is constant on [0,images ]so that ϕ(x) = ϕ(0) = 0 for 0 ≤ ximages, and λ = 0 is not an eigenvalue. Thus, all of the eigenvalues λ of this Sturm-Liouville problem satisfy λ> 0.

19.3 FINAL EXAM 3

Exercise 19.10.

images

Assume that f″(t) is absolutely integrable and

images

Show that

images

Solution. Assuming that limt f(t) = 0, and limtf′(t) = 0, and integrating by parts, we have

images

We used the fact that

images

and

images

Exercise 19.11.

images

Legendre’s differential equation reads

images

(a) Write the differential equation in Sturm-Liouville form. Decide if the resulting Sturm-Liouville problem is regular or singular.
(b) Show that the first four Legendre polynomials,

images

are eigenfunctions of the Sturm-Liouville problem and find the corresponding eigenvalues.
(c) Use an appropriate weight function and show that P1 and Pi are orthogonal on the interval (–1,1) with respect to this weight function.

Solution.

(a) Since

images

Legendre’s equation can be written as

(19.1) images

which is the classical Sturm-Liouville form

images

with

images

for a <x <b where a = –1 and b = 1.
For a regular Sturm-Liouville problem we require the regularity conditions

images

are continuous on the closed interval axb, and

images

for axb. We also require the boundary conditions

images

where at least one of α1 and β1 is nonzero and at least one of α2 and β2 is nonzero. Thus, it is clear that (19.1) is a singular Sturm-Liouville problem (no matter what the boundary conditions are) since one of the regularity conditions is violated, namely, p(–1) = p(1) = 0.
(b) • For P0(x) = 1, we have

images

for –1 < x < 1, so that

images

is satisfied for λ = 0, and the eigenvalue corresponding to the eigenfunction p0(x)=1 is λ0= 0.

images

for –1 < x < 1, so that

images

becomes

images

which is satisfied for λ = 2, and the eigenvalue corresponding to the eigen- function P1 (x) = x is λ1 =2.
• For P2(x) = images, we have

images

for – 1 < x < 1, so that

images

becomes

images

that is,

images

which is satisfied for λ = 6, and the eigenvalue corresponding to the eigenfunction P2(x) = imagesis λ2 = 6.
  • For P3(x) = images, we have

images

for –1 < x < 1, so that

images

becomes

images

that is,

images

which is satisfied for λ = 12, and the eigenvalue corresponding to the eigenfunction P3(x) = images is λ3 = 12.
(c) Using the weight function σ(x) = 1, for –1 < x < 1, we have

images

since the product P1 (x)P2 (x) is an odd function integrated between symmetric limits; thus, P1 (x) and P2(x) are orthogonal on the interval – 1 < x < 1 with respect to the weight function σ(x) = 1.

Exercise 19.12.

images

Find all functions ϕ for which u(x, t) = ϕ(x + ct) is a solution of the heat equation

images

where k and c are constants.

Solution. If u(x, t) = ϕ(x + ct) is a solution to the heat equation

images

let ξ = x + ct; then from the chain rule we have

images

Therefore, ϕ satisfies the ordinary differential equation

images

and the solution is given by

images

that is,

images

where A and B are arbitrary constants.

Exercise 19.13.

images

Let

images

(a) Find the Fourier integral of f.
(b) For which values of x does the integral converge to f(x)
(c) Evaluate the integral

images

for –∞ < x < ∞.

Solution.

(a) The Fourier integral representation of f is given by

images

where

images

for λ ≥ 0. Since f(t) is an even function on the interval – ∞ < t <∞, then B(λ) = 0 for all λ ≥ 0, and

images

for all λ ^ 0.
Now, for λ ≠ 1, we have

images

that is,

images

for λ ≥, λ≠.And for λ=1,we have

images

Therefore,

images

(b) Since f(x) is continuous for all x ≠ ±π, then from Dirichlet’s theorem, the Fourier integral representation converges to f(x) for all such x; that is,

images

for all x ≠ ±π.
When x = ±π, from Dirichlet’s theorem the Fourier integral representation converges to

images

and

images

(c) From part (b) we have

images

19.4 FINAL EXAM 4

Exercise 19.14.

images

A fluid occupies the half-plane y > 0 and flows past (left to right, approximately) a plate located near the x-axis. If the x and y components of the velocity are

images

respectively, where U0 is the constant free-stream velocity, then under certain assumptions, the equations of motion, continuity, and state can be reduced to

(19.2) images

valid for all –∞ < x <∞, 0 < y < ∞. Suppose that there exists a function ϕ (called the velocity potential) such that

images

(a) State a condition under which the first equation in (19.2) becomes an identity.
(b) Show that the second equation in (19.2) becomes (assuming that the freestream Mach number M is a constant) a partial differential equation for ϕ which is elliptic if M < 1 or hyperbolic if M > 1.

Solution.

(a) If the velocity potential ϕ exists, then

images

and

images

and the mixed partial derivatives are equal at all points where they are continuous. Therefore, the first equation in (19.2) is an identity provided that

images

for all –∞ < x < ∞, 0 < y < ∞. Another possible solution is then obtained by assuming that the velocity potential ϕ(x, y) is twice continuously differentiable.
(b) Again, assuming the existence of a velocity potential, the second equation in (19.2) becomes

images

which is elliptic if 1 – M2 > 0 and hyperbolic if 1 – M2 < 0, that is, elliptic if M < 1 and hyperbolic if M > 1.
Exercise 19.15.

images

Besides linear equations, some nonlinear equations can also result in traveling wave solutions of the form

images

Fisher’s equation, which models the spread of an advantageous gene in a population, where u(x, t) is the density of the gene in the population at time t and location x, is given by

images

Show that Fisher’s equation has a solution of this form if ϕ satisfies the nonlinear ordinary differential equation

images

Solution. If u(x, t) = ϕ(xct), then

images

and Fisher’s equation becomes

images

for all x and t, so that if ϕ satisfies the nonlinear ordinary differential equation

images

then u(x, t) = ϕ(xct) is a traveling wave solution to Fisher’s equation.

Exercise 19.16.

images

Given the regular Sturm-Liouville problem

images

(a) Find the eigenvalues images and corresponding eigenfunctions ϕn(x) for this problem.
(b) Show directly, by integration, that eigenfunctions corresponding to distinct eigenvalues are orthogonal on the interval [0,π].
(c) Use the method of eigenfunction expansions to find the solution to the boundary value problem

images

(d) Solve the problem in (c) by direct integration and use this result to show that

images

for –πxπ.

Solution.

(a) Since the parameter λ2 ≥ 0, we need consider only two cases:
(i) If λ = 0, the differential equation is ϕ″ = 0 and has general solution ϕ(x) = Ax + B. The boundary condition ϕ(0) = 0 implies that B = 0, while the boundary condition ϕ(π) = 0 implies that A = 0, and there are no nontrivial solutions in this case.
(ii) If λ ≠ 0, the differential equation + ϕ″+λ2ϕ = 0 has general solution ϕ(x) = A cos λx + B sin λx. The boundary condition ϕ(0) = 0 implies that B = 0, while the boundary condition ϕ(π) = 0 implies that λπ = nπ for some positive integer n. Therefore, the eigenvalues and corresponding eigenfunctions are

images

for n ≥ 1.
(b) If m and n are distinct positive integers, then

images

and eigenfunctions corresponding to distinct eigenvalue are orthogonal.
(c) Let u(x) be a solution to the specified boundary value problem on the interval [0,π]. Expanding u(x) in terms of the eigenfunctions of the Sturm-Liouville problem, we have

images

for 0 ≤ xπ. Differentiating this twice, we get

images

that is,

images

for 0 ≤ xπ. Multiplying by sinmx and integrating, we have

images

From the orthogonality conditions, we find that

images

and

images

so that

images

for m ≥ 1. Therefore,

images

for 0 ≤ xπ.
(d) The general solution to the differential equation u″(x) = –x is

images

where A and B are constants. Applying the boundary conditions, u(0) = 0 implies that B = 0, while u(π) = 0implies that A = π2/6, and the solution is

images

for 0 ≤ xπ. From part (c) we have

(19.3) images

for 0 ≤ xπ. The series on the right-hand side is the Fourier sine series for the odd function

images

on the interval [0,π], and since the odd extension is continuous on [–π, π], Dirichlet’s theorem says that (19.3) holds for all x with –πxπ.

Exercise 19.17.

images

Find the solution to Laplace’s equation on the rectangle:

images

using the method of separation of variables. Is your solution what you expected?

Solution. Writing u(x, y) = X(x).Y(y), we obtain

images

where λ is the separation constant, and hence we get the two ordinary differential equations

images

Solving the regular Sturm-Liouville problem for Y, for the eigenvalue images = 0 the corresponding eigenfunction is

images

and the corresponding solution to the first equation is

images

For the eigenvalues images = (nπ/b)2, the corresponding eigenfunctions are

images

and the corresponding solutions to the first equation are

images

for n = 1,2,3, … Using the superposition principle, we write

images

From the boundary condition u(0, y) = 1, we have

images

so that

images

while

images

for n = 1,2,3, From the boundary condition u(a, y) = 1, we have

images

and integrating this equation from 0 to b we get b0 a b = 0, and therefore b0 = 0, so that

images

To evaluate the bn’s, we multiply this equation by cos(mπ/b)y and integrate from 0 to b, to obtain bm sinh(mπ/b)a = 0; that is, bm = 0 for m= 1,2,3…. Therefore, the solution is u(x, y) = 1, which is not totally unexpected. The solution is unique and it is clear from the statement of the problem that u(x, y) = 1 satisfies Laplace’s equation on the rectangle and also satisfies all of the boundary conditions.

Exercise 19.18.

images

Solve the following initial value problem for the damped wave equation:

images

Hint: Do not use separation of variables; instead, solve the boundary value-i-initial value problem satisfied by w(x, t) = et . u(x, t).

Solution. Note that u(x, t) = e t . w(x, t), so that

images

and

images

so

images

therefore,

images

so that

images

thus,if u is a solution to the original partial differential equation,since et≠0,wsatisfies the initial value problem

images

from d’Alembert’s soulation to the wave equation,we have(since c=1)

images

so that

images

for –∞<X<∞,t>0