Solutions Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

Solutions Manual Brent J. Lewis, E. Nihan Onder and Andrew A. Prudil

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

Copyright c⃝

2022 Brent J. Lewis, E. Nihan Onder and Andrew A. Prudil All rights reserved

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

Problems Chapter 2 2.1 Consider the nonhomogeneous system of first-order, linear differential equations y1J = y2 + cosh t and y2J = y1, with boundary conditions y1(0) = 0 and y2(0) = − 12 . Solve this initial value problem by the following three methods: (a) Matrix methods. Use the method of variation of parameters to determine the particular solution. (b) Laplace transform methods. (c) Convert the two first-order differential equations into a single secondorder differential equation and solve this latter equation.

Solution (a) y1J =0 · y1 + 1 · y2 + cosh t y2J =1 · y1 + 0 · y2 + 0 y 1J 0 1 y1 cosh t y1(0) 0 Therefore, = + and = . y2J y2(0) − 21 1 0 y2 0 0 1 Homogeneous equation: yJ = y⇒ 1 0 −λ 1 Characteristic equation: det(A — λI) = = λ2 − 1 = 0.

1 −λ Therefore, λ2 = 1 ⇒ Eigenvalues: λ1 = +1 and λ2 = −1.

The eigenvectors are obtained from: −λ x1 + x2 = 0.

1 For λ 1 = 1 ⇒ x 1 = x2 and we can take .

1 1 .

For λ2 = −1 ⇒ x1 = −x2 and we can take −1 The homogeneous solution is: y(h) = c1x(1)et + c2x(2)e—t, where the eigenvec1 1 tors are: x(1) = and x(2) = .

1 −1 Method of Variation of Parameters for y(p): et e—t cosh t .

Y = [y (1) y(2)] = et −e—t and g = 0 t t 1 1 −e— −e— 1 y22 −y12 —1 Y = = = − −e t et 2 detY −y21 y11 2 2-1

e—t

e—t

et

−et

.

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

—1

=

Check: Y Y

et

1

et

2

e—t e—t 2 et −e t

1 Y —1g =

Therefore, u(t) =

1∫ t 4

1 4

et+e−t 2

0

e—t e—t = et −et

1 0 0 1

1 1 + e—2t = 4 1 + e2t

.

1 + e—2tˆ 1 + e2tˆ

1 dtˆ = 4

e—2t − 1 −2 2t e −1 t+ 2

t+

e—2t − 1 −2 2t − 1 e 4 t+ 2 —t t t e e e e—t + + te—t + — tet − 1 2 2 2 2—t = —t t t e e e e 2 + — te—t − + tet − 2 2 2 2

y(p) = Y u =

=

0

e—t −e—t

1

et e—t et −e—t

.

t+

t cosh t + sinh t t sinh t

.

The last expression is obtained after factoring. The general solution is thus: 1 t cosh t + sinh t 1 1 e—t + 2 y(g) = c1 et + c2 t sinh t 1 −1 y1(0) 0 Now, = so that: — 12 y2(0) c1 + c2 = 0 y1(0) 1 +c2 1 + 0 = 01 which yields: 1 . = c1 1 −1 0 −2 y2(0) c1 − c2 = − 2 1 1 Thus, c1 = − and c2 = . Therefore: 1 4 1 t 4 s i n h/t t y (t) = − et + e—t + cosh t + = cosh t 1 / 2 2 4 4 / 2 ` ˛¸ x s i nh/t =— / 2 1 / 1 1 t y2(t) = − et − e—t + sinh t = [t sinh t − cosh t] [answer] 4 4 2 ` ˛ ¸ x 2 c o sh t =— 2

2-2

(b) Using a Laplace Transform method: s s sY1 = Y2 + 2 ⇒ Y2 = sY1 − 2 s −1 s −1 1 1 sY2 + = Y1 ⇒ sY2 = Y1 − 2 2

(2.1)

Multiplying the first equation through by (−s): s2 −sY2 = −s Y1 + 2 s —1 1 sY2 = Y1 − 2 Adding the above two equations and solving for Y1: s2 1 1 Y1 = 2 − 2 2 (s − 1) 2 (s − 1) Taking the inverse Laplace transform of Y1: sinh t + t cosh t 1 t cosh t y1(t) = L —1{Y 1} = − sinh t = 2 2 2 2

[answer].

Rewriting eq. (2.1): sY1 = Y2 +

s s2 — 1 1

Y1 = sY2 +

2 Multiplying the second equation through by (−s): sY1 = Y2 +

s

s2 −s1 −sY1 = −s Y2 − 2 Adding the above two equations and solving for Y2: s s Y2 = 2 − (s − 1)2 2(s2 − 1) Taking the inverse Laplace transform of Y2: t sinh t 1 y2 (t) = L —1{Y 2} = − cosh t [answer].

2 2 The solutions for y1(t) and y2(t) are identical to those in part (a).

2

2-3

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

(c) Given y2J = y1 ⇒ y2JJ = y1J = y2 + cosh ` ˛¸ t.x The homogeneous equation is =r

therefore: y2JJ − y2J = 0 ⇒ characteristic equation: λ2 − 1 = 0 so that λ = ±1.

Homogeneous solution (Case I) : y2h = c1et + c2e—t. et e—t = −1 − 1 = Particular solution (Variation of Parameters): W = et −e—t −2 /= 0 (linearly independent). Therefore: ∫ h ∫ h y2 r y1 r (p) h h dt + y2 dt y2 = −y1 W W ∫ —t ∫ et et + e—t e et + e—t —t t = −e dt + e dt 2 2 (−2) (−2) ∫ ∫ et e—t et e—2t e—t e2t —2t = (1 + e ) dt − t— t + (1 + e2t ) dt = — 4 4 2 2 4 4 t t — te t 1 e—t et te = − − − = sinh t − cosh t 4 8 8 4 2 4 Hence, the general solution is: t 1 y2 (t) = y(h) + y(p)2 = c e1t + c e2—t + sinh t − cosh t 2 2 4 Using the boundary conditions: y2(0) = 2− 1 ⇒ c1 + c2 −1 4 = − 12 ⇒ 1 . Given y2J = y1 ⇒ y2J (0) = y 1 (0) = 0. Hence y2J (t) = t 1 1 c1et − c 2e—t + cosh t + sinh t − sinh t ⇒ y2J (0) = c1 − c 2 = 0 ⇒ c1 = c2 .

2 2 4 Thus, c1 = c2 = − 18 .

1 et + e−t t 1 t 1 The solution is: y2(t) = − + sinh t− cosh t = sinh t − cosh t.

2 4 2 4 2 2 ` ˛¸ x =c o sht

t 1 // 1 // t Also y1 (t) = yJ2(t) = cosh t + / sinh t − / sinh t = cosh t 2 2 2 /2 / Same answer as given in parts ( a ) and ( b ) .

2-4

[answer]

2.2 Consider the following problems: (a) State the differential equation for the Sturm-Liouville problem where r(x) = x, p(x) = x—1, and q(x) = 0. (b) Using the transformation x = et, show that this differential equation d2y reduces to: + λy = 0. dt2 (c) Given the boundary conditions, y(1) = 0 and y(e) = 0 for the differential equation in (a), what are the corresponding eigenvalues and eigenfunctions?

Solution (a) The differential equation for the Sturm-Liouville problem is: 1 (r(x)yJ)J + (q(x) + λp(x))y = 0 where r(x) = x, p(x) = and q(x) = 0 ⇒ x dy d x λ dx + λy = 0. [answer] (xyJ)J + y = 0 or dx x x dx (b) Let x = et ⇒ dt = et or dx = etdt. Substituting this latter relation into dy d e/t t e/dt + λ y = 0. the differential equation yields: e/tdt et / 2 dy Therefore, + λy = 0. [answer] dt2 (c) For the boundary conditions y(1) = 0 and y(e) = 0, the solution of the differential equation in part (b) is: y(t) = A cos νt + B sin νt where λ = ν2.

But x = et ⇒ t = ln x. Thus, the solution to the differential equation in part (a) is: y(x) = A cos(ν ln x) + B sin(ν ln x).

The boundary condition y(1) = 0⇒ y(1) = A = 0. The boundary condition y(e) = 0 ⇒ y(e) = B sin ν = 0 ⇒ ν = ±π, ±2π, ±3π... or ν = nπ for n = 1, 2, ....

Eigenfunctions are: yn(x) = sin(nπ ln| x| ) and eigenvalues are: λ = ν2 = (nπ)2 for n = 1, 2, ... [answer]

2-5

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

2.3 Using the transformation x = cosh t, show that the following differential d2y dy equation: 2 +coth t −20y = 0 reduces to Legendre’s differential equation dt dt and give the expression for the Legendre Polynomial which is a solution to this transformed equation.

Solution dx d2y d dy = and dt2 = dt dt sinh t d sinh t dy = sinh t d dy dy d sinh t = sinh 2 d2y dy + · t 2 + cosh t . Thus, dt dx dt dx dt dx dx dx the differential equation becomes: 2 2 dy cosh t dy dy 2 d y 2 d y sinh t +cosh t + −20y = 0 or sinh t +2 cosh t − c c dx2 dx c s inch t ( d x / c s i nch t ) dx2 dx 2 2 2 2 20y = 0. But cosh t − sinh t = 1 =⇒ sinh t = x − 1 so that the differential dy d2y equation reduces to: (1 − x2) dx2 — 2x + 20y = 0. This equation is in the dx form of Legendre’s differential equation where n(n + 1) = 20 =⇒ n = 4 so that P4(x) is a solution.

If x = cosh t ⇒ dx = sinh tdt. Therefore: dt =

Hence with M =

n 2

= 2, P4(x) =

which yields: (−1)0(8 − 0)!x4

2 Σ m=0

( −1)m

(8 − 2m)! x4—2m, 16m!(4 − m)!(4 − 2m)!

(−1)1(8 − 2)!x4—2

(−1)2(8 − 4)!x4—4

+ + 16 · 0!4!4!

16 · 1!(4 − 1)!(4 − 2)! 16 · 2!(4 − 2)!(4 − 4)!

8!

6!

4! = x4 − x2 + 16 · 4!4!

16 · 1!3!2!

16 · 2!2!0!

8/ · 7 · 6 · 5 · / 4! 4 6 · 5 · / 4! 2 4! · 3 7 · 6/ · 5 4 30 2 3 / = x − x + = x − x + ( 8/ · 2) · 4! · / 4!

4 · 4/! · 2!

4 · 4/! · 2 2/ · 4 · 3/ · 2 8 8 1 Therefore: P4 (x) = [35x4 − 30x2 + 3]. [answer] 8 P4(x) =

2-6

2.4 Consider the hypergeometric equation: x(1 − x)yJJ +[b− (2+b)x]yJ −by = 0, where b is a constant larger than unity. Using a Frobenius method, show that the series solution about x = 0 is the geometric series such that y1(x) = 1 + x + x2 + . . . ..

Solution The expanded hypergeometric equation is: xyJJ − x2yJJ +byJ − (2+b)xyJ − by = 0.∞ Therefore, using a Frobenius method: ∞ ∞ Σ Σ Σ m+r 1 m+r (m + r)(m + r − 1)amx — − (m + r)(m + r − 1)amx + b (m + m=0

m=0

∞

r)amxm+r—1 − (2 + b)

Σ

m=0

∞

(m + r)amxm+r − b

m=0

Σ

amxm+r = 0

m=0

or∞ ∞ Σ Σ (m+r)[m+r+b−1]a m x m+r — 1 − {(m+r)[m+r+b+1]+b}a m x m+r = 0 m=0

m=0

The indicial equation for the coefficient of xr—1 is: r(r + b − 1) = 0 ⇒ r = 0 or r = 1 − b.

Letting m = s + 1 in the first series and m = s in the second series, on relabelling: ∞ ∞ Σ Σ r+s (s + r + 1)[s + r + b]as+1x − {(s + r)[s + r + b + 1] + b}asxr+s = 0 s=—1

Σ ∞

Choosing r = 0:

s=0

(s + 1)[s + b]as+1xs −

∞ Σ

s=0

s=—1

{(s)[s + b + 1] + b} asxs = 0 ˛¸ x `

` + ˛¸ 1) x ·(b − 1) = 0 (Nothing new) For s = −1: (−1

=(s+ 1 )(s+b)

=0

For s = 0, 1, 2 ... c +c1c)(csc +cbc)a =c (sc +c1c)c (sc +cbc)a or a =a. :c (s s+1 s s+1 s Therefore a0 = a1 = a2 = ... so that ∞ Σ 0 y=x amxm = a0 + a1x + a2x2 + ... = a0[1 + x + x2 + x3 + ...]. m=0

Hence: y1(x) = 1 + x + x2 + x3 + ...

(a0 = 1)

2-7

[answer]

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

2.5 Find a general solution, in terms of Bessel functions, for the differential equation: 4x2yJJ + 4xyJ + (x — n2)y = 0, where n is an integer by using either the substitution or the generalized form for the solution of the Bessel’s Equation. What is the solution that satisfies the condition |y(0)| < ∞?

Solution

1 1 2 4 2 Let z = x ⇒ = √ = . Also z = x and z = x . dx 2 x 2z Using the chain rule for 4x2yJJ + 4xyJ + (x − n2)y = 0 yields: dz dy dz d dy dz 2 4x2 · · + 4x · + (x − n )y = 0 dz dz dx dx dz dx Therefore substituting in the previous expressions into the differential equation gives: 4z4 d dy 1 1 2 dy 2 2 · + 4z · + (z − n )y = 0 2z dz dz 2z dz 2z 1 d2y 1 dy + 2zdy + (z2 − n2)y = 0 which reduces to: 2z3 — 2z dz2 2z2 dz dz 2 2 2d y 2 dy ⇒z +z + (z − n )y = 0 2 dz dz The solution√to Bessel’s d√ifferential equation is: y(z) = c1Jn(z) + c2Yn(z) or y(x) = c1Jn( x) + c2Yn( x). [answer] 1/2

dz

An alternative derivation can be obtained by comparing to the general equation: x2yJJ + x(a + 2bxr)yJ + [c + dx2s − b(1 − a − r)xr + b2x2r]y = 0 to the x n2 2 JJ J − given problem: x y + xy + y = 0. Hence on inspection: 4 4 a + 2bxr = 1 ⇒ a = 1, b = 0 2 n2 x 1 1 c + dx2s = − + ⇒ c = − n ,d = ,s = .

4 s4 4 s 4 2 1 1−a 2 1 − 1 2 n2 = n (integer). Also Therefore ν = + —c = 2 √ s 2 2 r 4 d 1 = 2 = 1 (real). Therefore, case b) applies: s 4√ √ y(x) = c1Jn( x) + c2Yn( x). [answer] √ For |y(0)| < ∞ ⇒ c2 = 0 and therefore y(x) = c1Jn( x).

2-8

[answer]

2.6 Using Jo for a series expansion, show that the coefficients of the FourierBessel series for f (x) = 1 over the interval 0 ≤ x ≤ 1 are given as am = 2/ {αm0J1 (αm0)}, where αm0 are the zeros of J0.

Solution ∫∞ Here the series expansion for f (x) is: f (x) = amJ0(km0x) where f (x) = m=1 αmn 1 for 0 ≤ x ≤ 1. Thus, kmn = ⇒ km0 = αm0 (since R = 1). The R Fourier-Bessel coefficients are therefore given as: ∫ R 2 am = 2 2 xf (x)Jn(kmnx) dx R J n+1(αmn ) 0 ∫ 1 = 2 2 xJ0(αm0x) dx J 1(α m0 ) 0 Letting ξ = αm0x ⇒ x = ξ/αm0 and dx = dξ/αm0. Also as x → 0 to 1, ξ∫ → 0 to αm0. Thus, the integral can be written as: 1 1 ∫ αm0 xJ0(αm0x) dx = 2 ξJ0 (ξ) dξ α m0 0 0 d Integrating the recurrence relation: [ξνJν (ξ)] = ξνJν—1 (ξ), the integral dξ ∫ αm0

on the right hand side can be evaluated as (with ν = 1): αm0

ξJ1(ξ) am =

ξJ0(ξ) dξ = 0

. Hence, the Fourier-Bessel coefficient becomes:

0

2

1 2 . αm0 J1(αm0) = · 2 2 J 1(αm0 ) αm0 α m0 J1(αm0 ) ·

2-9

[answer]

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

2.7

Consider the function:

f (x) =

0 if − 1 ≤ x ≤ 0 2 if 0 ≤ x ≤ 1

Calculate the first two terms of the Fourier-Legendre series of f (x) over the interval –1≤x 1. ≤ What is the value of the complete Fourier-Legendre series of f (x) at x = 0?

Solution ∞ Σ f (x) = amPm(x) = a0Po(x) + a1P1(x) + ..., where P0(x) = 1, P1(x) = x ∫ 2m + 1 1 and am = f (x)Pm(x) dx.

2 ∫—11 ∫ 1 1 1 1 For m = 0: a0 = 2 ∫—1 f (x)P0(x) dx = 2 0 2 dx = x 0 = 1.

For m = 1: a1 = 2 · xdx = x2 1 = .

3 1 3 3 2 0 2 0 2 3 x + ... [answer] Therefore: f (x) = 1 + 2 f (x + 0) + f (x − 0) From the Dirichlet condition: at x = 0, therefore 2 0+2 f (x) = = 1 at x = 0. [answer] 2 m=0

2-10

2.8 Consider the differential equation: 16x2 yJJ + 3y = 0. (a) Calculate the two basis functions using a Frobenius method and give the general solution. (b) Derive the second basis function from y1(x) using a method of reduction of order.

Solution (a) Let y =

∞ Σ

amxm+r, yJ =

m=0

∞ Σ

am(m + r)xm+r—1 and yJJ =

m=0

∞ Σ

am(m +

m=0

4)(m + r — 1)xm+r—2. Substituting these expressions into the differential equation yields: ∞ ∞ Σ Σ m+r 16 am(m + r)(m + r − 1)x +3 amxm+r = 0 ⇒

m=0 ∞ Σ

m=0

am[16(m + r)(m + r − 1) + 3]xm+r = 0.

m=0

Equating the smallest power to zero: a0[16r(r —1)+3] = 0 ⇒ 16r2 − 16r+3 = 0. The roots of √ the latter equation are: √ 16 ± 162 − (4 × 16 × 3) 2± 4−3 2±1 3 1 = = = or . r1 , r2 = 43 4 4 2 × 16 1 4 ∞ Letting m = s with r = 3 : Σ a [16(s s − ) + 3]xs+r = 0 + )( 1 s 4 4 4 s=0

3 1 For s = 0 : a0[16( )(− ) + 3] = 0 (already satisfied) 4 ∞4 Σ 3 1 For s = 1, 2, 3 : as [16(s + )(s − ) + 3] = 0 ⇒ a1 = a2 = a3 = ... = 0 4˛¸ 4 ` x s=0 just a n umber

Therefore y1 (x) = xr

∞ Σ

3

am xm = x 4[a 0]

m=0

With a0 = 1, the first basis function is: y1(x) = x4

3

∞ 1 3 1 Σ s+r With r2 = : as [16(s + )(s − ) + 3]x = 0 4 4 s=0 4

2-11

[answer]

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

1 3 For s = 0 : a0[16( )(− ) + 3] = 0 (already satisfied) 4 ∞4 Σ 1 3 For s = 1, 2, 3 : as [16(s + )(s − ) + 3] = 0 ⇒ a1 = a2 = a3 = ... = 0 4˛¸ 4 ` x s=0 just a n umber 1

Therefore y2 (x) = x4

∞ Σ

1

am xm = x 4[a 0]

m=0

With a0 = 1, the second basis function is: y2(x) = x 4

1

[answer]

(b) Method of reduction of order for second basis function: , 0 J 3 Given yJJ + y + y = 0 ⇒ p(x) = 0 so that e— p dx = e—0 = 1. ,16x2 1 16x21 Therefore U = e— p dx = = (x— 3 )2 = x— 3.

4 2 2 2 y y 1 1 ∫ ∫ 3 1 1 3 — 2 dx = −2x— 2 so that y2 = uy1 = (−2x— 2 )(x4 ) = Hence, u = x U dx = 1 −2x4 .

1 Therefore y2 = x 4 and the general solution is: 3

1

y = c1y1(x) + c2y2(x) = c1x4 + c2x4 .

[answer]

2-12

2.9 Give the Legendre polynomial Pn(x) which is a solution to the differential 1 equation: (1 − x2) yJJ − xyJ + 3y = 0.

2 Solution Compare (1 − x2) yJJ − 2xyJ + 6y = 0 with (1 − x2) yJJ − 2xyJ + n(n + 1)y = 0 ⇒ n(n + 1) = 6 or n = 2. Therefore: 1 P 2 (x) = (3x2 − 1) [answer] 2

2-13

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

2.10 Find a general solution, in terms of Bessel functions, for the differential d2y dy equation: x2 2 + x — (1 + 4x4 ) y = 0 by using the transformation (i) dx dx z = x2 and (ii) employing the inspection method for the generalized form of Bessel’s equation.

Solution (i) dz √ Letting z = x2 ⇒ dx = 2x = 2 z. Using the chain rule: d dy dz dz dy dz · +x · − (1 + 4x4) y = 0 dz dz dx dx dz dx √ √ dy √ d dy √ ⇒z 2 z 2 z + z 2 z − (1 + 4z2) y = 0 dz dz dz √ √ d2y dy 1 dy ⇒ 4z z √ z + + 2z — (1 + 4z2 ) y = 0 2 dz dz 2 z dz 2 d2 y 2 dy ⇒ 4z + 4z − (1 + 4z ) y = 0, which implies the modified Bessel equa2 dz dz 1 tion (with ν = 2 ): " # 2 dy dy — z2 + 1 2 2 y = 0. z +z 2 dz2 dz Hence, the solution is: y = c1I1/2(z) + c2I—1/2(z) or y = c1I1/2(x2) + c2I—1/2(x2) [answer] x2

d2y dy +x — (1 + 4x4) y = 0 with the general form: x2yJJ + 2 dx dx x(a + 2bxr)yJ + [c + dx2s − b(1 − a − r)xr + b2x2r]y = 0, which yields: (ii) Compare x2

a + 2bxr = 1 =⇒ a = 1, b = 0 c + dx2s = −s (1 + 4x4) =⇒ d = −4, s = 2 and c = −1.

0 + 1 = (= integer) and √ = √ = 1 1 1 − a 2 — c = 21 √ d −4 2 2 2 Thus, ν = s 2 imaginary. Hence, these two conditions imply case c) where Zν ≡ Iν, Z—ν ≡ I—ν . The solution is therefore the same answer as in part (i): y = c1I1/2(1 · x2) + c2I—1/2(1 · x2)

[answer]

2-14

2.11 The steady-state temperature distribution for a fin of cross-sectional area A, constant perimeter P , constant conductivity k and length L can be determined from the following differential equation: d dT kA − hP (T − T∞ ) = 0, dx dx where h is the heat transfer coefficient for the fin surrounded by a fluid with a constant temperature T∞. (a) Is this differential equation homogeneous or nonhomogeneous? With a change of variable θ = T –T∞, find the general solution for the variable θ(x) by putting m2 = hP/(kA). (b) Find a solution to the boundary value problem for the boundary conditions: θ(0) = θ0 and θJ(L) = 0.

Solution

dθ dT (a) The differential equation is homogeneous. Let θ = T − T∞ =⇒ = .

Substituting in these expressions, the differential equation becomes:dx dx d dθ d2θ hP kA — hPθ = 0 or − θ=0 dx dx dx2 kA Therefore: d2θ hP 2 2 = . − m θ = 0 where m kA dx2 The general solution is: θ = A sinh mx + B cosh mx [answer] (b) From the boundary conditions θ(0) = θ0 =⇒ θ(0) = 0 + B = θ0 so that B = θ0. Therefore θ(x) = A sinh mx + θ0 cosh mx =⇒ θJ(x) = Am cosh mx + θ0 m sinh mx.

Hence, with θJ(L) = 0 for the second boundary condition: θJ(L) = Am cosh mL+ sinh mL θ0 m sinh mL = 0 =⇒ A = −θ0 = −θ0 tanh mL. cosh mL The solution is: θ(x) = θ0[cosh mx − tanh mL sinh mx]

2-15

[answer]

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

2.12 Given the periodic function f (x) = x for –2 < x < 2 and f (x + 4) = f (x). (a) Sketch this function over the interval –6 ≤ x ≤ 6. (b) Find the Fourier series of this function. (c) What is the value of f (x) that one would compute from the Fourier series solution at the discontinuity of x = 2.

Solution (a)

(b) Since the function is odd, therefore the Fourier series will involve just a ∞ Σ nπ sine series such that: f (x) = bn sin x, where p = 2L = 4 =⇒ L = 2.

L n=1 ∫ nπx 2 L The Fourier coefficients are evaluated as: bn = L 0 f (x) sin L dx = sin nπx/ x cos nπx 2 4 2 / / 2 2 cos nπ. Therefore: 2 / 2 0 f (x) sin 2 dx = / n2 0= − π 2 − nπ nπ nπx Σ 4 nπx 4 Σ n+1 f (x) = — cos nπ sin = (−1) sin . [answer] ∞ ∞ nπ 2 π n=1 2 n=1 ∫ 2

nπx

(c) From the Dirichlet condition at the point of discontinuity: f (2 + 0) + f (2 − 0) −2 + 2 f (2) = = = 0. [answer] 2 2

2-16

2.13 Given the differential equation: xyJJ + (1 − x)yJ + ny = 0. (a) Determine one of the basis solutions for this differential equation, when n = 2, using a Frobenius method. (b) The Laguerre Polynomial Ln(x) is in fact a solution of this differential dn equation as given by the Rodrigue’s formula: Ln(x) = ex n (xne—x). Using dx this formula, specify the Laguerre polynomial L2(x). What is the value of the arbitrary constant in part (a) to obtain the Laguerre Polynomial solution L2(x)?

Solution

∞

(a) Given xyJJ + (1 − x)yJ + 2y = 0. Let y = r)xm+r—1 and yJJ =

∞ Σ

Σ

∞

amxm+r, yJ =

m=0

Σ

am(m +

m=0

am(m + r)(m + r − 1)xm+r—2. Substituting these

m=0

expressions into the differential equation yields: ∞ ∞ ∞ Σ Σ Σ am(m+r)(m+r−1)x m+r —1 + (m+r)am x m+r —1 − (m+r)amxm+r + m=0 ∞ Σ

2

m=0

amxm+r = 0

m=0 ∞

⇒

m=0

Σ

∞

Σ

am(m + r)2xm+r—1 −

m=0

(m + r − 2)amxm+r = 0

m=0

Equating the smallest power to zero: r2 = 0. The roots of the latter equation are: r = 0 (double root) Letting m + r —1 = r + s =⇒ m = s + 1 in the first expression and m = s in∞the second expression: ∞ Σ Σ 2 s+r as+1(s + r + 1) x − (s + r − 2)asxs+r = 0 s=—1

With r = 0 :

∞ Σ

s=0

as+1(s + 1)2xs −

s=—1

∞

Σ

(s − 2)asxs = 0

s=0

For s = −1 : (−1 + 1)2a0 = 0 (already satisfied) For s = 0, 1, 2... : (s + 1)2a s+1 — (s − 2)as = 0 =⇒ as+1 = s = 0 : a1 =

(−2)a0 = −2a0 1 2-17

(s − 2)as (s + 1)2

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

1 a0 s = 1 : a = (−1)a1 = − (−2a ) = 0 2 22 4 2 0 · a2 s = 2 : a3 = =0 32 s = 3 : a4 = 1 · a3 = 0 and so on a3 = a4 = a5... = 0.

42 ∞ Σ x2 Therefore y(x) = a xm = a + a x + a x2 = 0 =⇒ y(x) = a [1 − 2x + ] 0 1 2 0 m 2 m=0 [answer] (b) For n = 22 =⇒ d d d d L2(x) = ex 2 (x2e—x) = ex (x2e—x) = ex (−x2e—x + 2xe—x)) = dx dx dx dx x e/ [−2x e— x + x2 e— x + 2 e— x − 2x e— x] = 2 − 4x + x2 / Therefore with a0 = 2 =⇒ y(x) = 2 − 4x + x2 (same answer as part (a)). [answer]

2-18

d2y

2.14 Consider the differential equation: 2 − xy = 0. Using the transfordx √ √ 2 mations y = u x and ix3/2 = z, where i = 1, — show that this differential equation reduces to the3 Bessel’s differential equation: d2u 1 du 1 +z +u 1− = 0.

2 dz dz (3z)2 What is the solution for u(z) and y(x)?

Solution d2y √ dy = √xdu + 1 —1/2 1 —1/2 du √ d2u x u and y = u x =⇒ = x + x + dx2 2 dx 2 dx dx2 1 —1/2 du 1 —dx 3/2 x − x u. Hence, the differential equation becomes: 2 2 dx 4 √ du 1 du 1 —3/2 3/2 √ x 2+ − x u − ù x˛ ¸ x = 0. ` ˛dx ¸ x ` x˛ ¸dxx 4 ` ˛¸ x IV I

II

I I I

√ 2 dz 2 3 1/2 √ Letting z = ix3/2 =⇒ = ·i· x = i x so that dz = i xdx.

3 can be dx 3 Thus, each term transformed as: 2 √ d2u √ d du dz √ d du √ · I : x 2 = x =i x x = dx dz dx dx dz dx √ √ √ 1 du d2u d2u i x du d x + √ x d du · dz = i x √ + ix = i du — x 3/2 . dx dz dx dz dz √ 2 x dz dz2 2 dz dz2 / x du 1 du 1 du dz du / II : √ = √ · = i√ / = i . x dx x dz dx / x dz dz 1 —3/2 1 2 i iu III : − x u=− u=− .

6z 4 4 3z 3z IV : −ux3/2 = −u .

2i i du d2u du iu 3z The above expressions yield: = 0.

— x 3/2 + i − − u 2 dz dz2 dz 6z 2i 2i Multiplying by − , the Bessel differential equation is: 3z d2u 1 du 1 1 = 0. Thus, ν = and the solution is: + +u 1− 2 2 dz z dz (3z) 3 √ 2 (z) or using y = u x with z = 3 ix3/2 gives: u(z) = AJ1/3 (z) + BJ —1/3 √ y(x) = x AJ1/3(23ix3/2) + BJ—1/3(23ix3/2) [answer] 2-19

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

2.15 Determine the particular solution for the nonhomogeneous, secondorder, ordinary differential equation: yJJ+yJ — 2y = 4 sin 2x using the following methods: (a) Undetermined Coefficients (b) Variation of Parameters (c) Fourier Transforms (see problem 3.10).

Solution (a) Let yp = K cos wx + M sin wx =⇒ ypJ = −Kw sin wx + Mw cos wx and ypJJ = −Kw2 cos wx − Mw2 sin wx.

Substituting in these expressions into the differential equation yields: −Kw 2 cos wx−Mw 2 sin wx−Kw sin wx+Mw cos wx−2K cos wx−2M sin wx = 4 sin 2x =⇒ ( −Kw2 + Mw − 2K) cos wx + ( −Mw 2 − Kw − 2M ) sin wx = 4 sin 2x On comparing the left and right hand sides of the equation, yields: −Kw 2 + Mw − 2K = 0 and −Mw 2 − Kw − 2M = 4 with w = 2. Hence, 1 3 K = − and M = − . Thus, the particular solution is: 51 35 yp = − cos 2x − sin 2x [answer] 5 5 ∫ h ∫ h y2 r y1 r h h dx + y2 dx where y1 and y2 are solutions of the (b) yp(x) = −y 1 W W J homogeneous equation, r = 4 sin 2x and W = y1y2J y— 1 y2. The homogeneous equation yJJ + yJ − 2y = 0 (with a = 1 and b = −2) yields the characteristic equation: λ2 + λ − 2 = 0. Here a2 − 4b = 1 + 8 = 9 > 0 = ⇒ 2 implies real roots:1 √ √ 1 λ = ( —1 + 9) = 1 and λ = (−1 − 9) = −2. Therefore y1 = ex and 1 2 2 2 y2 = e—2x and W = −2exe—2x − exe—2x = −3e—x.

The particular solution is evaluated from: ∫ —2x ∫ e 4 sin 2x dx + e —2x ex4 sin 2x dx yp = −ex —x 4 —2x ∫−3e—x 4 x ∫−3e —x sin 2xdx e e2x sin 2xdx — e =⇒ yp = e 3 3 ∫ eax(a sin bx — b cos bx) ax But e sin bx dx = . Hence: a2 + b2 2-20

" # x 2/ — x(− sin 2x − 2 cos 2x) 4/ e 4 e ( 2 sin 2x − 2 cos 2x) x —2x / yp = / e − e 3 5 3 8 4 − sin 2x − 2 cos 2x −2 sin 2x + 2 cos 2x = + 3 5 8 1 1 = [−18 sin 2x − 6 cos 2x] = [−3 sin 2x − cos 2x] 30 5 Thus, one obtains the same solution as in part (a): 1 3 yp = − cos 2x − sin 2x [answer] 5 5

2-21

Problems Chapter 3 3.1 Find L —1

s (s2 − a2)2

using the property for differentiation of a trans-

form. ∫ Solution s sds dF = =⇒ F (s) = . Let u = s2 − a2 =⇒ Let F J(s) = ds (s2 — a2)2 ∫ (s2 — a2)2 1 du 1 1 du = 2sds. Hence, F (s) = = − = − . Using Laplace 2 u2 2u 2(s2 − a2) 1 sinh at transform tables: f (t) = − .

2 a dF Using the property for differentiation of a transform L —1 = −tf (t), ds s t sinh at L —1 = . [answer] (s2 − a2)2 2a

3-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

3.2 Find L form.

cos at − cos bt using the property for integration of a transt

Solution

∫ ∞ f (t) and L = F (u) du.

Given f (t) = cos ξt =⇒ F (s) = 2 s + ∫ξ2∞ t∫ ∞ s cos at − cos bt udu udu Therefore L = − . Letting z = u2 ∫+ a2 u2 + b2 t ∫∞ s s ∞ udu 1 1 1 dz 2 2 u2 + ξ2 =⇒ dz = 2u du, = ln z = ln(u + ξ ) s . = u2 + ξ2 2 z 2 2 s Hence: " K# ∫∞ ∫ ∞ K 1 udu udu 2 2 — = lim ln(u + a ) − ln(u2 + b2 ) 2 + a2 2 + b2 K→∞ u u 2 s s s s 1 = lim ln(K2 + a2) − ln(s2 + a2) − ln(K2 + b2) + ln(s2 + b2) 2 K→∞ K2 + a2 1 s2 + b2 1 = lim ln + ln 2 s2 + a2 2 `K→∞ ˛K ¸ 2 + b2 x 1 1 + (a/Kcc)2cc lim ln cc c 1 + (b/K )2 2 K→∞ ccc Therefore: L

s

cos at − cos bt t

=

1 2

ln

3-2

s2 + b2 s2 + a2

.

[answer]

1

3.3 Find L —1

s4 − 1

using the convolution theorem.

Solution 1 a2 1 a2 4 1 4 s2 − s2 + L —1 s − a = L —1 1 1 If F (s) = =⇒ f (t) = sinh at s2 − a2 a 1 sin at a Thus, using the convolution theorem: If G(s) =

1

=⇒ g(t) =

s2 + a2

L —1 {F (s)G(s)} =

1 ∫ t

sinh a(t — u) sin au du ∫ ∫ t 1 at t —au —at = e eau sin au du sin au du − e e 2 2a 0 0 1 = eat{e—at( −a sin at − a cos at) − 1(0 − a) } − e—at{eat(a sin at − a cos at) − 1(0 − a) } 4a4 1 = −a sin at − , a c, os,a,t + aeat − a sin at + , a c, os,a,t − ae—at 4a4 1 = 3 [sinh at − sin at] 2a a2

0

Thus, with a = 1 =⇒ L —1

1

s4 − 1

=

1

2

3-3

[sinh t − sin at] . [answer]

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

e—πss using the second (s2 + 1) shifting theorem, and sketch the resultant function.

Solution e—πss Using the second shifting theorem, L —1 = U (t − π) cos(t − π). (s2 + 1) c c But cos(t − π) = cos t cos sin π = − cos t. `˛¸ π x + sin t c 3.4 Find the inverse Laplace transform L —1

=—1

Therefore f (t) = −U (t − π) cos t.

[answer]

3-4

3.5 Find the inverse Laplace transform L —1

1 (s2 − 1)

using the property

for the differentiation of a transform.

Solution Using the property for differentiation of a tra∫nsform L —1 {F J( s)} = −tf (t).

1 ds 1 dF s−1 Therefore, F J(s) = ds = s2 − 1 =⇒ F (s) = s2 − 1 = 2 ln s + 1 .

Hence, f (t) = L —1 {F (s)} = 1 L —1 ln s − 1 = 1 e—t − et .

2 s+1 2 t et − e—t Thus, −tf (t) = = sinh t.

2 1 The solution is therefore: L —1 = sinh t. [answer] (s2 − 1)

3-5

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

3.6 Find the inverse Laplace transform L —1

Γ(2)

s

s2

s2 + 1

using the

convolution theorem where Γ is the gamma function.

Solution

L —1

Γ(2)

= t ∗ cos t

s s2

` ˛¸ x` F ( s)

s2 + 1 ˛¸

G ( s)

x ∫ t (t − u) cos u du ∫ t ∫ t =t cos u du — u cos u du

=

0

0

0 t

t

= t sin u — (cos u + u sin u) 0

0

=c t sc inct − [cost + c t sc inct − 1] Therefore the solution is: L —1

Γ(2)

s

s2

s2 + 1

3-6

= 1 − cos t.

[answer]

3.7

Consider the function:

0 if − 1 ≤ x ≤ 0

f (x) =

2 if 0 ≤ x ≤ 1

(a) Sketch this function and write it in terms of Heaviside step functions. (b) What is the Laplace transform of f (x)?

Solution (a)

e—as , therefore: s L {f (x)} = L {2U (x − 0)} − L {2U (x − 1)} . (b) Given that L {U (x − a)} =

Hence, the solution is: e—0·s e—s 2 = [1 — e—s] .

L {f (x)} = 2 −2 s s s

3-7

[answer]

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

3.8 Find the Fourier Transform F {f (x) } by direct integration where f (x) ex if x < 0 is given by: f (x) = 0 if x > 0.

Solution 1 F (w) = √ 2π

∫ ∞

1 2π

∫ 0

1 ex—iwx 0

ex e—iwx dx = √

f (x) e—iwx dx = √

2π 1 − iw —∞ Note: e—iwx = cos x − i sin x =⇒ |e—iwx|2 = cos2 wx + sin2 wx = 1 (where by √ definition| a + ib| = a2 + b2) and lim ex = 0.

—∞

—∞

x→—∞

Thus, lim ex[1—iw] = 0 and the solution is: x→—∞ 1 1 F (w) = √ [answer] 2π 1 − iw

3-8

3.9 Show that the Fourier Sine Transform pair as given in mathematical handbooks (for example, [Spiegel, 1973]): r 2 Γ(a) aπ f (x) = xa—1 (0 < a < 1) and F (w) ≡ F {f (x)} = sin π wa 2 reduces to the following transform pair for an appropriate choice of a: 1 1 f (x) = √ and F (w) ≡ F {f (x)} = √ . x w r

Solution

1 Let a = 1/2 =⇒ f (x) = √ . Hence F {f (x)} = x √ π 1 1 Γ(2 ) = π and sin = √ , therefore: 4 2 r r 2/ π/ 1 1 F {f (x)} = / / √ = √ [answer] w / π/ 2 w

3-9

2 Γ(1 ) π 2 √ sin . But π w 4

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

3.10 Determine the particular solution for the non-homogeneous, secondorder, ordinary differential equation: yJJ + yJ— 2y = 4 sin 2x using a Fourier Transform method (compare your answer to the solution in problem 2.15 (a) and (b)).

Solution Consider the Fourier transform in eq. (3.24) and its derivatives: 1 ∫ ∞ f (x) e—iwx dx, F (w) = F {f J(x)} = iwF {f (x)} F (w) = F {f (x)} = √ 2π —∞ and F (w) = F {f JJ(x) }= −w 2F {f (x)}. Taking the transform of the differential equation yields: 2 −w Y + iwY − 2Y = F {4 sin 2x} where Y = F {y(x)}. Solving for Y : 1 Y = F {4 sin 2x} = G(w) F (w) where from the convolu2 −w + iw − 2 tion theorem F (w) is the Fourier transform of f (x) and G(w) is the Fourier ∫ ∞ √ transform of g(x). Thus, H(w) = 2πG(w)F (w) implies h(x) = g(x − —∞ ∫ ∞ y) f (y) dy = g(y) f (x − y) dy. Taking the inverse transform of Y , the —∞

solution for y(x) is: ∫ ∞ y(x) = g(y) 4 sin 2(x − y) dy —∞

1 One needs to find g(x), which is the inverse transform of such −w2 + iw − 2 that: ∫ ∞ ∫ ∞ −1 −1 √1 eiwx dw. iwx dw = √1 e 2 − iw + 2 w 2π —∞ 2π —∞ (w − 2i)(w + i) This integral is solved in problem 10.9 using contour integration and the residue theorem: √ — 2π x e for x < 0 3 √ g(x) = − 2π —2x e for x > 0.

3 Thus, inserting g(x) into the solution for y(x): 3-10

∫ ∞ 1 y 1 − e—2y 4 sin 2(x − y) dy y(x) = — e 4 sin 2(x − y) dy + 3 3 0 —∞ Letting y → −y in the first integral: ∫ ∫ 4 ∞ —y 4 ∞ —2y y(x) = − e sin 2(x + y) dy − e sin 2(x − y) dy 3 0 ∫ 3 0 ∫ ∞ ∞ 4 4 y — = − sin 2x e cos 2y dy − cos 2x e—y sin 2y dy 3 3 0 ∫ ∞0 ∫ ∞ 4 4 — sin 2x e—2y cos 2y dy + cos 2x e—2y sin 2y dy 3 3 0 0 ∫ ∞ ∫ ∞ a b ay — But 0 e cos by dy = a2 + b2 and 0 e—ay sin by dy = a2 + b2 . ∫ 0

Therefore: 4

1 4 2 4 2 4 − cos 2x − sin 2x + cos 2x 3 1+4 3 4+4 3 1+4 3 4 1 2 4 2 2 = − sin 2x + − cos 2x − 3 5 8 3 5 8 4 18 4 6 — sin 2x − cos 2x 3 40 3 40 3 1 The solution is: y(x) = − sin 2x − cos 2x. [answer] 5 5 y(x) = −

sin 2x

This is the same answer as in Problems 2.15(a) and (b).

3-11

2 4+4

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

e—(x/a) 3.11 Show that the normal distribution reduces to: f (x) = √ if it is a π √ centred at the origin where a = 2σ. The maximum of this function occurs 1 at f (0) = √ , where a is the width of the curve at half the maximum value. a π 2

(a) Show that the Fourier transform of this function is: F (w) = F {f (x)} = 1 √ e(—w/b)2 . This function is also a Gaussian function, where b = 2/a is the 2π corresponding width of the transformed curve at half-maximum. (b) Recover f (x) by evaluating the inverse Fourier transform F —1 {F (w) } for the function F (w) given in part (a).

Solution

−(x−µ)2

e 2σ2 Consider the normal distribution in eq. (8.1): f (x) = σ√ 2π . If this √ distribution is centred at the origin (µ = 0) and letting a = 2σ then: 2 e—(x/a) f (x) = √ . Here the maximum of this Gaussian function occurs at a π 1 f (0) = √ . The parameter a is the width of the curve at half-maximum a π value. (a) From eq. (3.24):

∫ ∞ 1 1 —(x/a)2 —iwx f (x) e e e dx. √ dx = √ —∞ 2π, a π2 !—2∞ ∫ ∞ — x+ iwa2 2 2 w a a2 1 Completing the square: F (w) = √1 √ e— 4 dx. e 2π a π —∞ 1 F (w) = F {f (x)} = √ 2π

, —

Note: e

x+

iwa 2 2 a2

!2 2 2

—w a

e

4

∫ ∞

—iwx

h 2 2 2 4i w a — x + 2a xiw 2 — 2

=e

4a

2a

a2

— x +xiw— wa/ 2

=e

/4

a2 x2

22

—xiw

= e— a 2 e

3-12

e—

2 2 w a 4

/

2 2

w a e—/ 4

2

Letting u =

x+ iwa 2

a

w2a2 1 1 — 4 , yields: F (w) = e √ √ =⇒ du = a 2π a π

dx

∫ ∞ —u

`

—∞

ae ˛√ ¸

=a w2a2 Therefore: F (w) = √1 e— 4 and with b = 2 yields: a 2π 1 . [answer] 2π

Thus, the Fourier transform is also a Gaussian of width b at half-maximum.

2 The width of f (x) and F (w) are inversely proportional (b = ). As such, a a general feature of a Fourier transform is that a “narrow” function f (x)gives a “broad” Fourier transform function F (w) and vice-versa. (b) From eq. ∫(3.25): ∫ ∞ ∞ w2a2 iwx dw = √1 √1 f (x) = √1 e— 4 eiwx dw.

F (w) e 2π —∞ ∫2π 2π —∞ 2 ix x2 1 ∞ —( wa Completing the square: f (x) = e 2 — a ) e— a2 dw.

2π —∞ a wa ix —(x/a)2 ∫ ∞ 2 —u2 e du .

Letting u = — =⇒ du = dw. Therefore f (x) = e 2 a 2 2π a x ` —∞ ˛¸ 2√ =

Therefore f (x) = 1 a π

e

1 2/ √ — x2 πe a2 and the solution is: 2/ π a . [answer]

3-13

π

a

π

2

du . x

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

3.12 Given the function: f (x) =

1 —|x|/a e = a a

1 —x/a e a

for x > 0

1 e x/a

for x < 0

Show that the Fourier transform of this function f (x) is: F (w) = r (a) 2 1 . π 1 + (wa)2 (b) Recover f (x) by evaluating the inverse Fourier transform F —1 F { (w) } for the function F (w) given in part (a) based on a contour integration method (see also chapter 10).Hint: Consider the contour integral: I eizx 1 dz, πa2 C z + ai z − ai where the contours C1 and C2 are given in fig. 3.7(a) and fig. 3.7(b) for (x > 0) and (x < 0), respectively, in the limit that R −→ ∞.

Figure 3.7: Contours for the integral (a) for the case that x > 0, and (b) for the case that x < 0.

Solution

3-14

(a) From eq. (3.24): 1

∫ ∞

—iwx

f (x) e dx F (w) = F {f (x)} = √ 2π —∞ ∫ ∞ ∫ 0 x/a —iwx = √1 1 e e dx + e—x/a e—iwx dx 2π a —∞ 0 ∫ ∞ 1 1 ∫ 0 x 1 —iw —x[ 1 +iw] = √ e [ a ] dx + dx e a 2π a " —∞ 0 1 —x[ 1 +iw] x[ 1 —iw] 0 1 1 1 — 1 e a =√ e a ( + iw) 2π a ( 1 − iw) —∞ a

a

#

∞ 0

1 1 1 = √ + 2π (1 − iwa) (1 + iwa) r 2 1 Therefore F (w) = . [answer] π 1 + (wa)2 (b) From eq. ∫(3.25): ∫ ∞ ∞ eiwx 1 iwx dw = 1 dw.

F (w) e f (x) = √ π —∞ 1 + (wa)2 2π —∞ 1∫ ∞ eiwx Therefore f (x) = dw. πa2 —∞ (w + i/a)(w − i/a) The poles of the above equation are w = ± i/a. One can then take a contour along the real axis and close by a semi-circle. The semi-circle will close in the upper-half plane or lower-half plane depending on the sign of x as shown in fig. 3.7(a) and fig. 3.7(b) for (x > 0) and (x < 0), respectively. The choice is made so that the integral around the semi-circle vanishes in the limit that the radius R of the semi-circle goes to infinity (that is, R → ∞).

I I 1 1 eizx eizx Consider the contour integral: dz = πa2 C z + ai z − ai dz. π C 1 + z2a2 The exponential factor in the integral eizx = eix[Re(z) + Im(z)] where Re(z) and Im(z) are the real and imaginary parts of z. This exponential factor can be written using Euler’s identity: eizx = e—xIm(z)eixRe(z) = e—xIm(z)[cos(Re(z))+i sin(Re(z))] Since sin and cos are bounded by +1 and -1, one only needs to concentrate on the factor e—xIm(z) → 0 as Im(z) → ∞ for x > 0, which corresponds to 3-15

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

the upper-half plane for the contour in this case. Likewise, e—xIM(z) → 0 as Im(z) → −∞ for x < 0, corresponding to the lower-half plane. Thus, there are two contours of interest for the upper- and lower-half planes with the requirement that the integral goes to zero as R → ∞. Hence, using the residue theorem in eq. (10.22) for these two cases yields: I 1 eizx 1 (i) x > 0: dz = 2πa .

—1(at z = i/a) × i i π π C a2 z + a z − a The residue for the simple pole at z = i/a is calculated from eq. (10.20): ic i z x ( z c−c )e ei(i/a)x e—x/a c a a—1 = lim 2 = = c i 2 2i z cci 2ia →i/a a (z +izx ) ( z − ) a c a I 1 ea 2πie—x/aa e—x/a = .

Hence, dz = a 2π ia π C 1 1 + z2a2 Doing the integral explicitly using polar coordinates where z = Reiθ = ⇒ dz = iReiθ dθ: I iθ ∫ ∫ e—x/a = 1 eizx dz = 1 R eiwx dw+ 1 π eixRe iReiθdθ a π C 1 + z2a2 π —R 1 + w2a2 π 0 1 + R2a2ei2θ 1 ` ˛¸ x I

where we have substituted w for z in the first integral since it is a dummy variable. Examining the second integral as R → ∞ yields: ∫ π ixR cos θ —xR sin θ e e ieiθdθ. Here the first term in the numerator eixR cos θ is 2ei2θ (1/R) + Ra 0 bounded and the second term in the numerator e—xR sin θ goes to zero since ieiθ 2 i2θ = x > 0 and sin θ is positive over 0 to π. Also the term: lim R→∞ (1/R) + Ra e 0. Hence I → 0 as R → ∞ so that: f (x) = lim

∫ R

∫ ∞

eiwx

2 2

R→∞ —R (1 + w a ) e—x/a

Therefore: f (x) =

a

=

e—x/a eiwx 2 2 = a —∞ (1 + w a )

(x > 0).

(x > 0)

(ii)I Similarly for the case x < 0, one uses the contour in the lower-half plane: 1 1 eizx 2 i i dz = (−1) 2πb—1(at z = −i/a) × . ` ˛¸ x π C a z+a z− a π cl oc k w ise The residue for the simple pole at z = −i/a is: ic i z x ( z c+c )e ei(—i/a)x ex/a c a b—1 = lim 2 = = − c i 2 —2i z cci 2ia →—i/a a c (z + a )(z − a ) a a 3-16

From the residue theorem,

1I

2πi −e—x/a eizx ex/a . = dz = (−1) 2π ia π C2 1 + z2a2 a

Doing the integral: iθ ∫ ex/a = 1 ∫ R eiwx dw + 1 π eixRe iθ Examining the secπ ` 2π 1 + R2a˛2¸ei2θ iRe dθ. a π —R 1 + w2a2 x I I

ond integral as R → ∞ yields: ∫ π ixR cos θ —xR sin θ e e ieiθdθ. Similarly the first term in the numerator is bounded 2 i2θ 0 (1/R) + Ra e and the term e—xR sin θ goes to zero since x < 0 and sin θ is negative over 2π ieiθ to π. Also the term: lim 2 i2θ = 0. Hence II → 0 as R → ∞ R→∞ (1/R) + Ra e so that:

a

.

Thus from parts (i) and (ii): 1 e a 1 —|x|/a e = a 1 a

[answer]

3-17

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

3.13 Consider the Laplace transform F (s) =

1 s−2

.

M (a) Show that this transform satisfies the condition |F (s)| < k in eq.

R (3.12) by finding the values of M and k. Hint: Given the relation |a + b| ≤ |a|+|b|, and letting a = z1 −z2 and b = z2, it follows that |z1 −z2| ≥ |z1|−|z2| 1 1 or ≤ . Using this latter relation, with z1 = s = Reiθ and |z1 − z2| |z1| − |z2| 1 1 z2 = 2, one obtains the required result: ≤ . s−2 R−2 est at the simple pole s = 2? s−2 1 (c) From parts (a) and (b), calculate L —1 using the complex ins—2 version formula. Compare your result to that given in table 3.1 for a = 2. (b) What is the residue of

Solution 1 2 1 1 1 = ≤ ≤ < for large s−2 |Reiθ| − |2| R−2 R Reiθ − 2 M enough R (R > 4). Hence, the condition |F (s)| < k is satisfied by k = 1 R and M = 2. [answer] (a) For s = Reiθ:

(b) The residue at the simple pole s = 2: est = e2t [answer] lim c (sc −c2c) c c s→2 ( sc− 2) c (c) From parts (a) and (b), calculate L —1 estF (s) = e2t.

1 s−2

= sum of residues of

[answer]

From table 3.1: If f (t) = eat then L {f (t)} = with a = 2, f (t) = e2t (same answer)

3-18

1 s−a

(s > a). Therefore

3.14 Solve the system of chemical kinetic equations in Example 2.4.3 using Laplace transforms.

Solution The system under consideration is: N1J = −.02N1 + .01N2 N2J = .02N1 − .01N2 with initial conditions N1(0) = 300 and N2(0) = 0.

Taking Laplace transforms of the system: sN̂ 1 − 300 = −.02N̂1 + .01N̂ 2 sN̂ 2 − 0 = .02N̂ 1 − .01N̂ 2 Adding these two equations yields: s N̂ 1 + s N̂ 2 = 300 or N̂ 2 = 300 − sN̂ 1 . s Substituting this result into the first equation for Nˆ 2 gives: !

3 300 − sN̂1 sN̂ 1 − 300 = −.02N̂ 1 + .01 =⇒ (s + .02 + .01)N̂ 1 = 300 + s s 300 3 + or Nˆ 1 = . By partial fractions the last term can be (s + .03) s(s + .03) B 3 A = + written as: . Therefore: A(s + .03) + Bs = 3. s(s + .03) s (s + .03) For s = 0, A(.03) = 3 =⇒ A = 100.

For s = −.03, B(−.03) = 3 =⇒ B = −100.

300 100 100 200 100 Hence, N̂ 1 = + − = + . Taking the (s + .03) s (s + .03) (s + .03) s inverse Laplace transform gives: N1(t) = 200 —.03t + 100 or: N1(t) = 100 1 + 2e—.03t From the original transformed equation sN̂ 2 = .02N̂ 1 − .01N̂ 2 with the pre200 100 + vious result: N̂1 = gives: s 4(s + .03) 2 (s + .01)N̂ = N̂ : + . Solving for 2 2 (s + .03) s 4 2 Nˆ 2 = (s + .01)(s + .03) + s(s + .01) . ` ˛¸ x ` ˛ ¸ x I

II

3-19

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

Using partial fractions again: A1 B1 I : + = 4. Therefore: A (s + .03) + B (s + .01) = 4.

1

1 (s + .01) (s + .03) For s = −.03, B1(−.02) = 4 =⇒ B1 = −200.

For s = —.01, A1(.02) = 4 = ⇒ A1 = 200.

B2 II : A2 + = 2. Therefore: A (s + .01) + B2 s = 2.

2 s (s + .01) For s = −.01, B2 = −200.

For s = 0, A2(.01) = 2 =⇒ A2 = 200.

ThereforeˆN2 =

200 200 200 200 200 200 − + − = − . (s + .01) (s + .03) s (s + .01) s (s + .03)

Taking the inverse Laplace transform gives: N2(t) = 200 1 − e—.03t The final result is: N1(t) = 100 1 + 2e—.03t and N2(t) = 200 1 − e—.03t [answer] Same result as Example 2.4.3 using matrix methods.

3-20

Problems Chapter 4 4.1 Given the following system of equations: 3y + 2x = z + 1 3x + 2z = 8 − 5y 3z − 1 = x − 2y solve for x, y, and z using the following methods: (a) Inverse Method; (b) Cramer’s Rule; (c) Gauss Elimination; (d) Maple software package.

Solution

4-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

4-1 4.1(a)

4-2

4.1(b)

4-2

4-3

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 4-3

4.1(c)

4-4

4-4 4.1(d)

4-5

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

4.2 Find the directional derivative of φ = x2y +xz at (1,2,-1) in the direction − → − → A = 2ˆi − 2 ĵ + k̂ . Hint: (i) determine the vector û = A , (ii) find ∇φ at |A| dφ from eq. (4.10).

(1,2,-1) and then calculate ds Solution

4-6

4-5 4.2

4-7

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

− → − → 4.3 What is the work done if F = xy ˆi— y2 ĵ and dr = ˆidx + ĵ dy assuming the path is: (a) A straight line where y = 21 x from A = (0, 0) to B = (2, 1)? (b) Parabolic where y = 41 x2 from A = (0, 0) to B = (2, 1)? (c) Comment if the evaluated work is the same or different in (a) and (b).

Solution

4-8

4-6 4.3

4-9

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

− → 4.4 Let the force F = (2xy − z 3 ) î + x 2 ĵ − (3xz2 + 1) kˆ . − → (a) Show that F is conservative. (b) Find φ(x, y, z) —φ(0, 0, 0). Note that from (a), since the force is conservative, any path can be taken to evaluate the line integral. Therefore, use simple straight line paths along the same directions as the axes starting from the origin (0, 0, 0) to (x, 0, 0), then from (x, 0, 0) to (x, y, 0), and finally up to the final end point from (x, y, 0) to (x, y, z).

Solution

4-10

4-7

4.4

4-11

Problems Chapter 5 5.1 Consider a solid ball of radius R, with a constant thermal diffusivity κ. Initially, the ball has a uniform temperature uo. If this ball is dropped into an ice-water bath of temperature zero, show that the temperature distribution u(r, t) in the ball can be described by the following partial differen∂u tial equation (PDE) when only radial heat conduction is considered: ∂t = 1 ∂ ∂u κ 2 r2 with the initial condition: u(r, t) = uo , 0 < r < R, t = 0, r ∂r ∂r and boundary conditions: u(r, t) is finite at r = 0, t > 0, and u(r, t) = 0, r = R, t > 0. ∂ξ ∂2ξ Using the transformation ξ = ur, show that the PDE becomes: = κ 2 ∂t ∂r subject to an initial condition: ξ(r, t) = uor, 0 < r < R, t = 0 and boundary conditions: ξ(r, t) = 0, r = 0, t > 0, and ξ(r, t) = 0, r = R, t > 0. Solve this transformed problem for ξ(r, t). What is the corresponding solution for u(r, t)?

Solution

5-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-1 5.1

5-2

5-2

5-3

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-3

5-4

5.2 A chemical pollutant is released into the atmosphere where it diffuses radially with a constant diffusion coefficient D. It can be assumed that the initial concentration of the pollutant is zero, where the pollutant is a point source of strength S (atom s—1). The diffusion equation (DE) for the pollutant concentration C(r, t) (atom m—3) is given by: ∂C 1 ∂ ∂C =D 2 r2 . ∂r ∂t r ∂r The source condition can be represented as a boundary condition at r = 0. ∂C Using the Fick’s First Law of Diffusion, where the flux F = −D , the ∂r release rate of the pollutant (at r = 0) is equal to the source strength such that: lim (4πr2F ) = S. The other conditions follow for the given physical r→0

problem: C = 0 as r → ∞, t > 0 and C = 0, 0 < r < ∞, t = 0. (a) As proved in problem 5.1, with the transformation ξ = Cr, the DE ∂ξ ∂2ξ reduces to: = D 2 . Using this transformation, show that the initial ∂t ∂r and boundary conditions become: ξ(r, t) = 0, 0 < r < R, t = 0 and S ξ(r, t) = , r = 0, t > 0, and ξ(r, t) is finite as r → ∞, t > 0. Using 4πD a Laplace Transform Method, show that the solution, subject to the given r S conditions, is given by ξ(r, t) = erfc √ where the latter function 4πD 2 Dt is the complementary error function. (b) What is the corresponding solution for C(r, t)? (c) Briefly mention why the Method of Separation of Variables is inappropriate for this given problem. (d) Assuming a diffusivity D = 10—2 m—2 s—1, and a source strength S = 100 atom s—1, what is the concentration at a distance of 100 m from the point source at a time of 104 s?

Solution

5-5

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-4 5.2

5-6

5-5 (b)

(c)

(d) (c)

5-7

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5.3 Consider the radial diffusion of material in a sphere of radius a, with a concentration distribution C(r, t) and constant diffusivity D. It is assumed that: (i) the concentration at the centre of the sphere is finite for t > 0, (ii) the surface of the sphere is maintained at a zero concentration for t > 0, and (iii) initially there is a uniform concentration Co throughout the sphere 0 < r < a.

Dt C C r ,τ = x, the trans= and u = 2 a Co a Co a ∂u ∂2u formed problem is: = with conditions: u(x, τ ) = x, 0 < x < 1, τ = ∂τ ∂x2 0, u(x, τ ) = 0, x = 0, τ > 0, and u(x, τ ) = 0, x = 1, τ > 0.

Defining the variables: x =

r

Using the Laplace Transform Method with respect to the variable τ , such th at U (x, s) =√L {u(x, τ )}, show that the transformed solution is: U (x, s) = 1 sinh x s √ . What are the corrsponding solutions for u(x, τ ) and x− sinh s s C(r, t)? (a) The release fraction F (t) can be defined as the total amount of material which has diffused through the surface of the sphere at time ∫ t divided t

4πa2 J(t)dt = 4 03 by the initial amount of material in the sphere: F (t) = πa C o 3 ∫ t 3 J(t)dt. The flux of material J(t) is evaluated from the Fick’s law of aCo 0 ∂C(r, t) diffusion: J(t) = −D . ∂r r=∫a ∫ τ τ 3a du Hence, show that: F (τ ) = J(τ )dτ = — 3 dτ, and definDCo 0 dx x=1 0 3 dU (x, s) . ing the Laplace Transform F (s) = L {F (τ )}, show that: F (s) = − s dx x=1 (b) Using the solution for U (x, s), and √ the latter expression for F (s) from coth s 1 part (a), show that: F (s) = 3 − . s3/2 s2 (c) An infinite series will eventually result for the release fraction F (t) which is more difficult to evaluate. However, an analytical form for F (t) is possible 5-8

by considering a “short-time” approximation for the condition that: τ << 1.

Show that this condition is equivalent to s >> 1 in Laplace transform space.

Determine an analytic expression for F (t) by applying the condition s >> 1 and taking the inverse transform of this resultant expression.

Solution

5-9

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-6 5.3 (a)

5-10

5-7

5-11

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-8

(a)

5-12

5-9 (b)

(c)

5-13

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-10

5-14

5.4 A standard model for describing the dispersion of chemical pollutants in the atmosphere is the Gaussian plume model. In this model it is assumed that the wind carries the pollutant in the x-direction with an average wind speed u, while the material diffuses in the other directions. In the case of a plane source of pollutant at x = 0, assuming only diffusion in the y-direction (with a diffusivity D), the steady-state transport equation for the concentra∂C ∂2C tion C is: u = D 2 . Using the transformation τ = xD/u, this equation ∂x ∂y ∂C ∂2C can be written as: = , subject to the conditions: ∂τ ∂y2 C = Sδ(y), −∞ < y < ∞, τ = 0 C is finite at y = 0, which implies ∂C = 0, y = 0, τ > 0, ∂y C = 0, y = ±∞, τ > 0.

The condition at τ = 0 accounts for the plane source S of material being released into the atmosphere (that is, at x = τ = 0).∫Here δ(y) is a so-called dis∞

tribution function which has the property that: δ(y − a) f (y) dy = f (a) —∞ ∫ ∞ and Sδ(y) dy = S. —∞

(a) Using a Fourier Cosine Transform method such that Ĉ c (w, τ ) = Fc{ C(y, τ ) }, show that the transformed partial differential equation is: r ∂Ĉ c (w, τ ) 2 ∂C 2 = −w Ĉc (w, τ ) − . π ∂y y=0 ∂τ (b) Using the given conditions, and the property of the distribution S func—w2τ ˆ tion, show that the transformed solution in part (a) is: C(w, τ ) = √ e .

2π (c) Taking the inverse Fourier cosine transform of the expression in part S 2 e—y /(4τ ). Why , show that the final solution is given by: C(y, τ ) = √ (b) 4πτ is the Method of Separation of Variables inappropriate for this problem?

5-15

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

Solution ∂2C

∂C ∂τ

=

∂y2

, subject to the conditions:

(i) C = Sδ(y), −∞ < y < ∞, τ = 0 (ii) C is finite at y = 0, which implies ∂C = 0, y = 0, τ > 0, ∂y (iii) C = 0, y = ±∞, τ > 0. r 2 JJ (a) Let Ĉc (w, τ ) = Fc {C(y, τ )} =⇒ F c {f (x)} = −w Fc {f (x)}−

Thus, transforming the differential equation gives: r ∂ Ĉ c (w, τ ) 2 ∂C c (w , τ ) 2 = −w Cˆ (w, τ ) − ∂τ

c

π `

∂˛τ̧

x

2 J f (0). π

[answer]

y=0

=0 condition (ii)

∂ Ĉ c

= −w2 Ĉ c =⇒ Ĉ c(w, τ ) = A(w)e—w τ . Using condition (i): Ĉ c(w, τ = r ∂τr ∫ ∞ ∫ ∞ 2 2 S 0) = S δ(y) cos wy dy = δ(y) cos wy dy. Using the π ∫ 0∞ π 2 —∞ property δ(y) f (y) dy = f (0) yields: r —∞ r S 2 S cos(0) = .

Ĉ c (w, τ = 0) = π 2 r 2π r S S —w2τ Hence, Ĉ (w, τ = 0) = A(w) = . Therefore: Ĉ (w, τ ) = e . c c 2π 2π [answer] (b)

2

—1 (c) Takingrthe inverse transform r: C(y, τ ) = Fc {Ĉc (w, τ )}. Thus: S S √ 1 e —y2/4τ 2 C(y, τ ) = .

Fc —1{e —w τ} = 2τ 2π r2π S 2 The final solution is: C(y, τ ) = e—y /4τ . [answer] 4πτ By inspection of the solution, this problem is not separable into Y (y) τ (τ ).

5-16

5.5 The model in problem 5.4 can be generalized further to account for diffusion in both the y and z directions, with a time-dependent diffusiveconvective equation for the concentration of the pollutant in the atmosphere C(x, y, z) (atom m—3) and point source of pollutant S (atom s—1). If the movement of the effluent in the x-direction from the wind (with a constant speed u m/s) is much greater than that of diffusion, the following isotropic ∂C ∂2C ∂2C ∂C =D + −u diffusion equation applies: where D is the 2 2 ∂y ∂z ∂x ∂t diffusion coefficient (m2 s—1). For steady-state conditions, and assuming ∂C ∂2C ∂2C 2 1 — = D = 1 m s and u = 1 m/s, this equation simplifies to: ∂x ∂y2 + ∂z2 . (a) Separating the variables where C(x, y, z) = C1(x, y)·C2(x, z), show that ∂2C1 ∂2C2 ∂C1 ∂C2 = = . two partial differential equations result: and ∂z2 ∂x ∂x ∂y2 (b) Because of the similarity of these two equations, one need only consider a solution for one (since the other follows by symmetry). The boundary conditions for the given y-region are: C1(x, y) < M at y = 0, where M is a constant since the C1 concentration must remain finite at y = 0, = 0, x > 0. The second boundary condition which implies that ∂C1 ∂y y=0 C1(x, y) = 0, y = ∞, x > 0, follows since far away from the source, the concentration must approach zero. Using a Fourier Cosine Transform method, such that c(x, w) = Fc{ C1(x, y )}, show that the solution of this A1 y2 problem is: C1(x, y) = √ exp −4x , where A1 is an arbitrary conx stant. Note the following definite integral has been used in this derivation: r ∫ ∞ 1 π —b2 —aw2 cos (bw) dw = e 4a . e 2 a —∞ (c) The solution for the z-direction follows on replacing the variable y with z in the solution of part (b) because of the symmetry of the probA2 z2 lem: C2(x, z) = √ exp − 4x x

. The final solution for C(x, y, z) therefore

A 1 2 exp − [y + z2] , where x 4x A = A1 ·A2. The arbitrary constant A follows from a conservation of mass using the source condition for the pollutant at x = 0. Hence, evaluate A by integrating the flux of material [u · C(x, y, z)] (where u = 1 m/s) over all

follows as: C(x, y, z) = C 1(x, y) · C 2(x, z) =

5-17

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

space∫ in the ∫ ∞ y and z-direction and equating this result to the quantity S: ∞ lim [1 · C(x, y, z)] dydz = S. Hint: note the definite integral result x→ ∫ ∞0 —∞ —∞ r π 2 e—aξ dξ = . This analysis therefore yields the steady-state Gaussian a —∞ plume model for the dispersal of a pollutant with diffusion in the y and z-direction and convective transport by the wind in the x-direction.

Solution

5-18

5-12 5.5(a)

5-19

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-13

5-20

5.6 Consider heat conduction in a semi-infinite slab where the slab is initially (t = 0) at a constant temperature um, and the end of the slab (at x = 0) is maintained at the constant temperature uw. The partial differential equation for the temperature distribution u(x, t) for thermal diffusivity κ is: ∂2u

∂u ∂t

=κ

∂x 2

,

x > 0, t > 0

with u(x, 0) = um, x > 0, u(0, t) = uw, t > 0, |u(x, t)| < M (that is u is finite as x → ∞, t > 0). Using a Laplace Transform Method: √ um — κs x e + . (a) Show that the transformed solution is: U (x, s) = (u −u ) w m s s √ e—a s 1 — a , (b) Using the inverse Laplace Transform L √ = erfc 2 t s show that the solution is: x √ u(x, t) = L —1{U (x, s)} = (uw − um)erfc + um.

2 κt Solution

5-21

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-14 5.6

(a)

(b)

5-22

5.7 A problem of interest to chemical and material engineers is the melting of a material. This problem can be solved as a moving-boundary heat conduction problem as a so-called “Stefan problem,” where the melt front (that is, the liquid/solid interface) progresses with time. Consider a slab of material which is initially at the constant temperature um at t = 0. At time t > 0, the temperature at the wall (x = 0) is raised to a value above the melting temperature of the material, uw. At the liquid/solid interface, x = s(t), the temperature is equal to um. These boundary conditions can written mathematically as: u(0, t) = uw, t > 0, u(x, t)|x=s(t) = um, t > 0.

As shown in problem 5.6, the general solution of the heat conduction equation x √ is of the form: A + B erfc , where A and B are constants determined 2 κt from the boundary conditions. (a) Show that by applying the boundary conditions, the solution of this x erf √ u(x, t) − uw 2 κt moving boundary problem is: = , where s(t) = um − uw erf(γ) √ 2γ κt. The relation for s(t) indicates the position of the moving liquid front. (b) Assuming that heat transfer occurs in the liquid phase by conduction only, the constant γ can be determined from an energy balance across the du ds = τL . Using the definition of the thermal coninterface:—K dx x=s(t) dt du ds =L . ductivity K, show that this energy balance becomes: —κσ dx x=s(t) dt Here τ is the density, κ is the thermal diffusivity, σ is the specific heat for the liquid phase and L is the latent heat of melting/solidification. Show that by applying this condition with the solution for u(x, t) one obtains the followσ ( u w − um) 2 √ ing transcendental equation for γ: γeγ erf(γ) = . As shown in L π problem 9.2, various approximate methods can be used to numerically solve this transcendental equation. (c) To numerically solve for γ in part (b), one requires that the error func5-23

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

2 ∫ γ —u2 tion erf(γ) = √ du be evaluated. Using a Gaussian integration e π 0 rule (with n = 2 terms) (Section 9.4.3), derive an analytic relation for erf(γ).

Solution

5-24

5-15 5.7

(a)

5-25

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 5-16 (b)

5-26

5-17 (c)

5-27

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5.8 Give a brief physical interpretation of the following partial differential equations. Classify each equation as elliptic, hyperbolic or parabolic by comparing it to the general form of a linear partial differential equation with two independent variables. ∂2u ∂2u (a) + =0 ∂x2 ∂y2 ∂u ∂2u (b) =κ ∂t ∂x2 2 ∂2u ∂u = α2 2 (c) ∂x ∂t2 Solution

5-28

5-18

5.8 (a)

(b)

(c)

5-29

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5.9 Consider the heat conduction in a thin insulated bar of length 3 m where the initial temperature at t = 0 is f (x) = 15— 10x oC, and the ends of the bar are kept at 0 oC. The partial differential equation for the temperature distribution u(x, t) at the distance x and time t in the bar ∂u ∂2u is therefore given by: = . Here the thermal diffusivity is simply ∂t ∂x2 2 1 equal to 1 m s— . The boundary conditions for this problem are given mathematically by: u(0, t) = 0, t > 0 u(3, t) = 0, t > 0, and the initial condition is: u(x, 0) = 15— 10x, for 0 < x < 3, t = 0. Solve this problem using a Separation of Variable Technique.

Solution

5-30

5-19 5.9

5-31

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5.10 Solve problem 5.9 using a Laplace Transform Method with the variable transformation U (x, s) = L {u(x, t)}, where: (a) The transformed solution for U (x, s) is given by: √ √ sinh (x s) sinh ((x 3) s) 15 − 10x —√ √ + + .

U (x, s) = 15 s sinh (3 s) s sinh (3 s) s (b) By taking the inverse Laplace transform of U (x, s) in part (a), what is the solution for u(x, t)?

Solution

5-32

5-20 5.10

(a)

5-33

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-21

(b)

5-34

5.11 Consider the heat conduction in a thin insulated bar of length 3 m where the initial temperature at t = 0 is 25oC, and the ends of the bar are kept at 10oC at x = 0 and 40oC at x = 3. The partial differential equation for the temperature distribution u(x, t) at the distance x and time ∂u ∂2u t in the bar is given by: = . Here the thermal diffusivity is simply ∂t ∂x2 2 1 equal to 1 m s— . The boundary conditions for this problem are given by: u(0, t) = 10, t > 0, u(3, t) = 40, t > 0, and the initial condition is: u(x, 0) = 25, for 0 < x < 3, t = 0. To solve this complicated boundaryvalue problem, assume that u(x, t) = v(x, t) + ψ(x), where ψ(x) is to be suitably determined in part (a). (a) Explain why u(x, t) can be written as two separate functions. Show that the boundary value problem can be rewritten as two separate problems: ∂v ∂2v JJ = ψ (x) = 0, ψ(0) = 10, ψ(3) = 40, and with v(0, t) = 0, v(3, t) = ∂t ∂x2 0, v(x, 0) = 15 − 10x. (b) What is the solution for ψ(x)? The solution for ψ(x) is in fact needed to obtain the initial condition for v(x, 0). (c) The partial differential equation problem for the function v(x, t) is in fact the same boundary-value problem as given in problems 5.9 and 5.10.

Using this solution for v(x, t), give the complete solution for u(x, t). (d) What is the physical significance of the solution for ψ(x)?

Solution

5-35

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-22 5.11

(a) (b)

5-36

5-23 (c)

(d)

5-37

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5.12 The slowing down of neutrons in the moderator of a nuclear reactor can be described by the slowing down density q (neutron m—3 s—1) in accordance ∂q ∂2q with the so-called “Fermi age” equation: = , where τ is the “age” of ∂τ ∂x2 the neutron (in this theory, the units of τ are in m2). This equation can be solved assuming a plane source of neutrons S (neutrons m—2 s—1) in the y— z plane at the origin of the coordinate system where x is the distance from the plane source. The boundary conditions for this equation consider symmetry ∂q = 0, τ > 0, at x = 0 and require that: (i) q remains finite such that: ∂x x=0 and (ii) q is finite as x → ∞, τ > 0. (a) Using a Fourier cosine transform on defining Q(w, τ ) = Fc{q(x, τ )}, 2 show that this problem yields the transformed solution: Q(w, τ ) = A1 e—w τ , where A1 is an arbitrary constant. (b) Taking the inverse Fourier cosine transform, show that the solution for A —x2/(4τ ) , where A is a constant. q(x, τ ) is: q(x, τ ) = √ e τ (c) ∫Using a source condition that follows from the conservation of mass ∞

S =

q(x, τ )dx, evaluate the constant A. This source condition replaces

— ∞

the ini t i a l condition for τ = 0.

Solution

5-38

5-24 5.12

(a)

(b)

5-39

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-25 (c)

5-40

5.13 Consider the solution of D’Alembert’s for the wave equation as mentioned in section 1.1.1. Here a solution to the wave equation: ∂2u(x, t) ∂x2

=

1 ∂2u(x, t) c2

∂t2

is given by: u(x, t) = F (x + ct) + G(x − ct) where F (x + ct) and G(x − ct) are arbitrary functions. This solution is obtained by changing the variable x and t to w = x + ct and z = x − ct, respectively, considering that u(x, t) = ū ( w , z) for the partial differential equation.

Solution

5-41

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

5-26 5.13

5-42

Problems Chapter 6 6.1 Explain the advantages and disadvantages of the Adam-Moulton, RungeKutta and Euler Methods for the numerical solution of first-order ordinary differential equations.

Solution Euler method is first-order whereas Runge-Kutta and Adam-Moulton method is fourth-order. Therefore the latter methods have significantly better accuracy. Adam-Moulton is faster since it is a predictor-corrector type (two equations) where as Runge-Kutta needs four axillary equations plus the timestep equation. However, because Adam-Moulton is a multi-step method, it requires the Runge-Kutta method to start (for the first three time steps).

The Euler method is a simple one-step (explicit) method.

6-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

6.2

Consider the first-order ordinary differential equation yJ =

dy

= f (x, y). dx Derive the predictor and corrector equations for the Heun’s Method by using a truncated Taylor series for yn+1.

Solution

6-2

6-2 6.2

6-3

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

6.3 Given the initial value problem: yJ = y − y2, y(0) = 0.5: (a) Solve the problem exactly using standard analytical methods for firstorder ordinary differential equations. (b) Apply the Runge-Kutta method (of fourth-order), and solve the problem for 0 ≤ x ≤ 1, with a step size of h = 0.2. Compute the error, using the exact values in part (a).

Solution

6-4

6-3 6.3(a)

6-5

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 6-4

6-6

6-5

6-7

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

6.4 Using the Maple software package: (a) Consider the square plate in Example 6.2.1 for a mesh spacing of h = 4 cm (that is, h = a/n where a = 12 cm and n = 3). However, the bottom and side boundaries each have a temperature of 100 oC and the top boundary is at 0oC. Therefore show that u11 = u21 = 87.5oC and u12 = u22 = 62.5oC. (b) Repeat the calculation for a mesh spacing of h = 3 cm (that is, n = 4) and find the steady-state temperature at the internal mesh points. Hint: The number of mesh points can be reduced if symmetry is considered. (c) The analytical solution is given by: u(x, y) =

∞ 400 Σ

1 π n=0,1... (2n + 1) sinh(2n + 1)π

sin(2n + 1)πx (2n + 1)π(a − y) sinh a a

sin(2n + 1)πy (2n + 1)π(a − x) (2n + 1)πx sinh + sinh . a a a Show that this analytical solution yields the values u11 = u21 = 88.1oC and u12 = u22 = 61.9oC for the given mesh in part (a). Compare the numerical results of part (b) with the values obtained from the analytical solution. +

Solution

6-8

6-6

6.4

6-9

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

6-7

6-10

6-8

6-11

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

6-9

6-12

6-10

6-13

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

6.5 Write the steady-state heat conduction equation (that is, the Laplace equation) for a Cartesian coordinate system for 2-spatial dimensions. During the winter (in which the air has an ambient temperature of— 10oC), a thin car window with dimensions 1 m high by 1.5 m wide is completely covered with ice. A poor quality electric heater is only able to apply heat to the bottom edge of the window at 23oC. The other edges of the window remain at the ambient temperature of the air. Determine if one can see through the middle third of the bottom half of the window if one waits for a long enough time by performing a numerical solution of the steady-state heat conduction equation with stated boundary conditions (that is, calculate the temperature at the mesh points u11 and u21 with a given mesh-size of h = 0.5 m).

Solution

6-14

6-11

6.5

6-15

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

6.6 Consider the temperature distribution u(x, t) in an insulated bar of ∂2u ∂u length L as governed by the heat conduction equation: ∂t˜ = κ ∂x 2 , sub∂u = 0 t > 0, u(L, t) = 0 t > 0 and ject to the boundary conditions: ∂x x=0 initial condition: u(x, 0) = uo, 0 < x < L, t = 0. (a) Consider the transformation of the above parabolic heat conduction u x , η = and τ = equation. Using the non-dimensional variables: ν = uo L κt , give the transformed partial differential equation for ν(η, τ )) with the L2 corresponding boundary and initial conditions. (b) Consider the Direct Method for the numerical solution of the parabolic partial differential equation. Show that with κ = 1 and L = 1, with a reflexive boundary condition at i = 0, the following formula results: u0,j+1 = (1 − 2r)u0,j + 2ru1,j, where r = k/h2.

Solution

6-16

6-12

6.6 (a)

6-17

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

6-13

6-18

6.7 Explain what methodology could be used to determine if a numerical solution for a given problem is correct and accurate.

Solution Benchmark against an analytical solution (with constant coefficients) or experimental data.

6-19

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

6.8 Consider the heat conduction in a thin thermally-insulated bar of length L which is initially at a temperature of 0oC. At t > 0, heat is applied to the ends of the bar, which are kept at a constant temperature of 55oC. The temperature distribution is therefore described by the partial differential ∂u ∂2u ˜ ˜ ˜ equation: = κ 2 with boundary conditions: u(0, t) = u(L, t) = 55, t > ∂ x̃ ∂t˜ 0, and initial condition: u(x̃ , 0) = 0, for 0 < x̃ < L, t˜ = 0. (a) What transformation can be applied to the independent variables in ∂u ∂2u order to reduce the problem to: = or ut = uxx with the corre∂t ∂x2 sponding boundary and initial conditions: u(0, t) = u(1, t) = 55, t > 0, and u(x, 0) = 0, for 0 < x < 1, t = 0? (b) Using a Crank-Nicolson method, solve the two resulting finite-difference equations for the first time step for the unknowns u11 and u21 with r = k/h2 = 1 and h = 0.2. What is the advantage of the Crank-Nicolson method over the conventional direct method? (c) By transforming the dependent variable, and using the more general solution in Example 5.2.4, give the analytical solution for the problem in part (a).

Solution

6-20

6-15

6.8 (a)

6-21

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

6-16 (b)

6-22

6-17 (c)

6-23

Problems Chapter 7 7.1 Solve the time-independent Laplace heat conduction equation in example 6.2.1 with the COMSOL software package.

Solution 7.1 See the methodology in example 7.1.1.

7.2 Solve the Poisson equation in example 6.2.2 with the COMSOL software package.

Solution 7.2 See the methodology in example 7.1.2.

7.3 Solve the time-dependent heat conduction equation in example 6.2.3 with the COMSOL software package.

Solution 7.3 See the methodology in example 7.1.3.

7.4 Solve the wave equation in example 6.2.4 with the COMSOL software package.

Solution 7.4 See the methodology in example 7.1.4.

7.5 Solve the first-order ordinary differential equation in example 6.1.4 with the COMSOL software package.

Solution 7.5 See the methodology in example 7.1.5.

7.6 Solve the second-order ordinary differential equation in example 6.1.5 with the COMSOL software package.

Solution 7.6 See the methodology in example 7.1.6.

7-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7.7 A time-dependent fission product diffusion model in the nuclear fuel matrix can be coupled with a mass balance in the fuel-to-sheath gap and coolant to predict the coolant activity behaviour from a defective fuel element for variable power operation in a nuclear reactor. 1 The diffusion equation for the fission product concentration C in an idealized fuel grain sphere of radius a, accounting for radioactive decay λ with a time-dependent diffusion coefficient D and fission product generation rate B (= fission rate F times the fission product yield Y ), is: ∂C(r, t) ∂t

=

D(t) ∂ r2 ∂r

r2

∂C(r, t) ∂r

− λC(r, t) +

F (t)Y V

(7.19)

Defining the dimensionless variable, x = r/a, and multiplying through by the volume V yields: ∂u(x, t) ∂t

=

DJ(t) ∂ x2 ∂x

x2

∂u(x, t) ∂x

− λu(x, t) + F (t)Y

(7.20)

where u = CV and DJ = D/a2. The initial and boundary conditions are given as:

u(x, 0) = 0, 0 < x < 1, t = 0 ∂u = 0, x = 0, t > 0 ∂x u(1, t) = 0 = 0, x = 1, t > 0

(7.21a) (7.21b) (7.21c)

A zero concentration is assumed at time zero. For the boundary conditions, symmetry is assumed at the centre of the sphere (i.e., a zero flux) and a zero concentration at the fuel grain surface with fission product release from the grain surface. The diffusional release to-birth rate (R/B) ratio derived from the Fick’s law of diffusion is: R B

=

4πa2 FY (4πa3/3)

−D

∂CV ∂r r=a

1B.J.

=−

3DJ ∂u FY ∂x x=1

(7.22)

Lewis, P. K. Chan, A. El-Jaby, F.C. Iglesias and A. Fitchett, ”Fission product release modelling for application of fuel-failure monitoring and detection - An overview,” J. Nucl. Mater. 489 (2017) 64-83.

7-2

Equivalently, the release rate R (atom s—1) from the fuel matrix is: R = −3D

J

∂u ∂x x=1

(7.23)

Thus, the time-dependent diffusion equation in eq. (7.20) can be solved by numerical methods subject to the conditions in eq. (7.21a) to eq. (7.21c).

The derivative of this solution (at x = 1) is subsequently used in eq. (7.23), which is the source release rate from the fuel matrix into the fuel-to-sheath gap. As such, the mass balance for the number of atoms Ng in the gap is: dNg (t)

= R(t) − (λ + ν(t))N (t)

(7.24a)

g

dt with initial condition Ng(t) = 0,

t = 0.

(7.24b)

A first-order loss rate process is assumed from the gap characterized by an escape rate coefficient ν(s—1) which can also be considered as a function of time with element deterioration. The mass balance in the coolant is similarly given by: dNc(t)

= ν(t)N (t) − (λ + β(t))N (t) g

dt

c

(7.25a)

with initial condition Nc(t) = 0,

t = 0.

(7.25b)

Here a time-dependent coolant purification rate constant β(t) for the coolant is considered. For this problem, the empirical diffusion coefficient DJ(s—1) as a function of the element linear power P (kW m—1) is derived from historical coolant activity data in the commercial stations as: J

D = 8.6 × 10

—12

10(0.114·P ) P2

(7.26)

In addition, assuming 180 MeV fission—1 and a fuel stack length of 0.48 m, the fission rate F (fission s—1) = 1.489 × 1013 P (kW m—1).

7-3

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

(a) The solution of the coupled eq. (7.20) to eq. (7.26) provides a prediction of both the number of atoms in the gap and coolant as a function of time for a variable fuel element linear rating and coolant purification history. Solve the time-dependent governing transport equations using the commercial COMSOL software package (Version 5.4) employing a finite-element technique following the methodology in section 7.1. For this calculation, evaluate the I-131 activity concentration Ac(t)(µCi kg—1) = λNc(t) / (3.7 × 10—4 Bq µCi—1) / 244,000 kg in the reactor coolant over an irradiation period of 30 days at a constant linear power rating of P = 40 kW m—1. For I-131, the following data apply: Y = 0.0288 atom fission—1 and λ = 9.98 × 10—7 s—1.

One can take ν = 3 × 10—6 s—1 as a typical escape rate coefficient for iodine with a reactor coolant purification constant of β = 5 × 10—5 s—1.

Solution

7-4

7-1 7-2 The governing equations are solved in a one-dimensional space ranging from 0 to 1 with the finite mesh distribution shown in Figure 1, consisting of 3003 degrees of freedom (using a maximum element size of 0.001 and mesh growth rate of 1.1).

7.1 7.7

(a)

Neumann Boundary Condition (center of grain)

Dirichlet Boundary Condition (surface of grain)

x

Figure 1.

Finite element distribution for radial diffusion in an idealized fuel grain model.

The three-coupled equations are solved by adding the “stabilized convection-diffusion equation” of the form:

d a u +   (− cu − u +  ) + a  u +  u = f

in 

(7.27)

three times into the COMSOL “multiphysics” environment (see Figure 2).

Figure 2.

Comsol multiphysics environment for the problem.

Here Ω represents the subdomains in which the equations are applied. The vector u corresponds to the dependent variables u, Ng and Nc and the independent variables are the time t, and the dimensionless

7-5

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-3 7-2 axial position x. The da term is a time-dependent coefficient. Hence, on inspection of Eqs. (7.20), (7.24a) and (7.25a), the variable coefficients can be defined as given in Table 1. Here Eq. (7.20) has been multiplied through by x2/D in order to remove the singularity at the point x = 0 (i.e., for the spherical geometry). Furthermore, the boundary settings are obtained from the general form:

n  (cu + u −  ) + q  u = g − hT ;

hu = r

on 

(7.28)

where  is the boundary on which the conditions are applied. Here n is a unit normal vector and  is a Lagrange multiplier. For a Neumann-type boundary condition (which is used when the flux on the boundary is known), Eq. (7.28) takes the form: (7.29a)

n  (cu + u −  ) + q  u = g

If the boundary condition is reflexive (where there is a zero flux across the boundary), q and g are set to zero. For a Dirichlet-type condition, Eq. (7.28) takes the form: (7.29b)

hu = r

For a zero quantity on a given boundary, then h = 1 and r = 0. The given boundary conditions and initial conditions are summarized in Table 2 and labeled on Figure 1. Initial conditions are also presented in Table 2.

Table 1: Dependent Variable U u

Multiphysics Subdomain Quantities for Transport Equations

Subdomain Component Quantity da x2/ D





0

0

0

Ng

x 0

f F Y x2/ D



2

a x2/D

(R/B) FY

1

0

0

0

Nc

0

 +  +p

Ng

1

0

0

0

c

Table 2: Dependent Variable

u Ng Nc

Initial and Boundary Conditions for the Defected Fuel Model

Defining Equation No.

Condition Type

(7.21a) (7.21b) (7.21c) (7.24b) (7.25b)

Initial Neumann Dirichlet Initial Initial

Initial Condition Representation u(t0) Ng(t0) Nc(t0) 0 0 0

Boundary Condition Representation q g h 0 0 1 -

r 0 -

The source release term from the fuel to the gap, R, in the gap mass balance of Eq. (7.24a) is applied in Table 1 as a coupling variable (see the “f” quantity for Ng) where (R/B) is evaluated via Eq. (7.22). This coupling is obtained by right clicking on “Definitions” under “Component 1” and selecting “Probes” ->

7-6

7-4 7-3 “Global Variable Probe” with the variable coupling for the probe point expression as shown in Figure 2.

The x: Coordinate: 1 is selected as the point at x =1 for the “Domain Point Probe 1”. The source term from the gap to the coolant in the coolant mass balance of Eq. (7.25a) is further given as Ng (see the “f” quantity for Nc in Table 1) for the coupling into the coolant.

The output calculation (see Figure 3) for “Study 1” -> “Step 1: Time Dependent” is set to “Time Unit:” d, “Times:” range (0, 2, 30), and a user controlled “Relative Tolerance:” 0.1. The output coolant activity concentration Ac result for I-131 is shown in Figure 4. .

Figure 3.

Time solver choice and relative error tolerance for the problem.

7-7

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-57-4

Figure 4.

Output results of coolant activity concentration versus time.

7-8

7.8 Find the weak form of ∇ · ∇u + 2u + exp(x) = 0.

Solution

7-9

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7.8

7-6

7.

7.

7-10

7.9 Starting with the weak from problem 7.8 use the Galerkin method to find the contribution to the element load vector from each shape function for a 1D linear Lagrange finite-element on the range x1 to x2.

Solution

7-11

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7.97.7.

7-7

7-12

7.10 Evaluate the contributions to the load vector from problem 7.9 for a mesh consisting of 1D linear Lagrange finite-elements with four elements with nodes positioned at x = 0, 1, 1.5, 1.75, and 2.

Solution

7-13

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

77.10

7-14

7.11 Assemble the global load vector from problem 7.10.

Solution

7-15

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

77.11

7-16

7.12 Starting from the weak form from problem 7.8 use the Galerkin method to find the contribution to the element stiffness matrix from each shape function for a 1D linear Lagrange finite-element on the range x1 to x2.

Solution

7-17

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-10 7.12

7-18

7.13 Evaluate the contributions to the stiffness matrix from problem 7.12 for the mesh described in problem 7.10.

Solution

7-19

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-11 7.13

7-20

7.14 Assemble the global stiffness matrix from problem 7.13.

Solution

7-21

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-12 7.14

7-22

7.15 Solve the linear system Ku = F for the unknown nodal values of u using K from problem 7.14 and F from problem 7.11.

7.16 Graph the approximate solution from problem 7.15 for u(x) over the range x = 0 to 2. Also graph du over the range x = 0 to 2. dx 7.17 Repeat the step found in problems 7.8 to 7.16 for the same mesh using second-order Lagrange elements with the internal node placed at the centre of each element. Compare with the approximate solution obtained using linear finite-elements.

7.18 Solve the differential equation in problem 7.8 with the COMSOL software package with a fine mesh and compare to the results obtained in problems 7.16 and 7.17.

Solutions using Maple to Questions 7.9 to 7.18

7-23

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-13 7.

7.1

Question 7.9) Calculate the contributions to the element load vector FE for a general element The shape functions for a linear 1D element are:

(1)

(2) The element contributions are: (3)

(4)

(5)

(6) Question 7.10) Evaluate the contributions form each element using the mesh provided (7) (8) (9) (10) (11) (12) (13) (14) Question 7.11) Assemble the global load vector F. Using the FE1 and FE2 functions defined above which require the location of nodes 1 and 2 for each element

7-24

7-14

(15)

Question 7.12) Calculate the contributions to the element stiffness vector FE for a general element

(16)

(17)

(18)

(19)

(20)

(21)

7-25

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-15

(22) Question 7.13) Evaluate the contribtution on to the stiffness from each element Start by converting the KE expressions to functions of nodal positions to easily evalute on different elements.

(23)

(24)

(25) From element#1 from x=0 to 1 (26) 4 3

(27)

(28) From element#2 from x=1 to 1.5 (29) 2.166666667

(30) (31)

From element#3 from 1.5 to 1.75 (32) 4.083333333

(33) (34)

From element#4 from 1.75 to 2 (35) 4.083333333

7-26

(36)

7-16

(37) Question 7.14) Assemble the global stiffness matrix

(38)

Question 7.15) Solve the linear system Ku=F for unknow nodal values of u

(39)

Question 7.16) Plot the approximate solution of u and du/dx.

Create the vector of shape functions for the mesh using piecewise to restrict them to the appropriate element.

(40)

7-27

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-17

The approximate solution is:

(41)

7-28

7-1

Finally we plot the derivative of the apprximate solution with respect to x.

7-29

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-1

7.17 Question Question7.17 7.16) Repeat the process for quadratic lagrange elements Weak form doesn't change with finite-element order. Therefore this remains the same.

The new shape functions assuming x2 is located halfway between x1 and x3:

(42)

(43)

(44)

7-30

7-20 The new contributions to the load vector are (45)

(46)

(47)

(48)

(49)

(50) For element#1 from 0-1 (51) (52) (53) For element#2 from 1-1.5 (54) (55) (56) For element#3 from 1.5-1.75 (57) (58) (59) For element#4 from 1.75-2 (60) (61)

7-31

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-21 (62) Now the global load vector is

(63)

Now calculate stiffness matrix contribution from an arbitary element. Here are the indefinite integrals: KE2_11

(64)

KE2_12

(65)

KE2_13

7-32

7-22

(66)

KE2_22

(67)

KE2_23

(68)

KE2_33

(69)

Calculate the definite integrals:

(70)

(71)

7-33

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-23

(72)

(73)

(74)

(75)

(76)

7-34

7-24 (77)

Show the subblocks from each element for reference

(78)

(79)

(80)

(81)

Now we combine the subblocks into the global matrix. Start with an empty global matrix, then add the subblocks one at a time.

(82)

7-35

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-25

Now solve the linear system as before.

(83)

Create a vector of the shape functions on each element using piecewise to restrict each shape function to the correct element.

The solution 2nd order approximation for u on this mesh is:

(84)

7-36

7-26

7-37

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

7-27

Finally, we can plot the derivate with respect to x.

7-38

7-2

7-39

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

Question 7.18) Plot of u with fine mesh. 7 -2

7-40

Question 7.18) Plot of du/dx with fine mesh. 7-30

7-41

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

Problems Chapter 8 8.1 Given the function, y = ab/c, where a, b and c are independent variables with random errors of sa, sb and sc, show that using the qgeneral error propagation formula one obtains the specific result: (sy) = (sa)2 + (sb)2 + (sc)2. r

r

Solution y = ab/c. In general sy =

s

∂y ∂a sa

2

+

∂y ∂b sb

2

+

∂y ∂c sc

r

2

r

.

s 2 2 b ∂y ∂y a ∂y ab absc bsa + asb + Thus, = , = , = − 2 . Hence: sy = — c c ∂a c ∂b c ∂c c c2 s b2 2 a2 2 a2b2 sy c2 s + s + 2 . Therefore: = (sy)r = c4 sc a2b2 c2 a c2 b y r q sa 2 sb 2 sc 2 (sy )r = + + = (sa )r2 + (sb )2r + (s c)2r. [answer] a b c

2

=⇒

8.2 What is the expression for calculating the standard error of the intercept (yo) of a linear regression line (Hint: use the confidence interval relation to determine this expression)?

Solution r 1 (x̄ − x∗)2 1 + + The prediction interval for y is y ± tse . For the stann rA2 1 x̄ 2 dard error of the interval (that is at x∗ = 0): se 1 + + 2 . Hownr A 1 x̄ 2 ever, for the regression limit, omit the unit quantity =⇒ se + or n A2 s 1 x̄ 2 se 1 + + Σ 2 . [answer] n x i − nx̄

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

8.3 For the logarithmic expression y = log x, show that the standard deviation sy is given by sy = 0.434(sx)r.

Solution dy s . Given y = log x = 0.434 ln x, hence: x dx sx dy d ln x 0.434 = 0.434 = . Therefore sy = 0.434 or sy = 0.434 (sx )r. x dx dx x [answer]

y = log x. In general, sy =

8.4 A concentration measurement (in ppm) was made consisting of the following values: 21, 15, 23, 21 and 24. Should the anomalously low value be refused based on a Q critical value at a 90% confidence?

Solution For ppm measurements:

15, ` ˛¸ x

21, 21, 23, 24.

an om ol ous

The difference from the next nearest neighbour is: 21 — 15 = 6.

Data spread: 24 — 15 = 9.

6 Therefore Qexp = = 0.67.

9 At 90% confidence for 5 observations Qcrit = 0.64.

Reject if Qexp > Qcrit, that is: 0.67 > 0.64 =⇒ reject data point.

[answer]

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

8.5 What is the difference between a t distribution and a normal distribution as used for confidence interval prediction?

Solution A t-distribution has a flatter distribution. This implies more area under the tail of the t-distribution. In the limit, as the number of degrees of freedom become infinite, the t-distribution approaches that of the z-distribution.

Problems Chapter 9 9.1 Solve x = cosx by: (a) Fixed-Point Iteration (x0 = 1, 20 steps, 6 significant figures) (b) Newton’s Method (x0 = 1, 6 decimal places). Sketch the function first. (c) Secant Method (x0 = 0.5, x1 = 1, 6 decimal places).

Solution

9-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

9-1 9.1

9-2

9-2

9-3

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

9-3

9-4

9.2 As shown in the moving-boundary problem 5.7 with a liquid front during the melting of a material, the following transcendental equation arises for the σ ( u w − um) 2 √ variable γ: γeγ erf(γ) = . To numerically solve this transcendenL π tal equation (if all of the other constants and material property values were known), define the function f (γ) to be used and give the iteration scheme for each of the following methods: (i) fixed point iteration, (ii) Newton’s method and (iii) secant method. For application of the Newton’s method what is the expression for f J(x)?

Solution

9-5

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 9-4 9.2

9-6

9.3 Consider the following tabular data: ln 9.0 = 2.1972, ln 9.5 = 2.2513 and ln 11.0 = 2.3979. (a) Calculate the Lagrange interpolation polynomial p2(x) and compute approximations of ln 9.4, ln 10, ln 10.5, ln 11.5, ln 12. Evaluate the errors by using exact values to four decimal places. (b) Comment on the effect of extrapolation. (c) Set up Newton’s divided difference formula for the same data, and derive from it p2(x).

Solution

9-7

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

9-5 9.3

9-8

9-6

9-9

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

9-7 (c)

9-10

9.4 Find the cubic spline to the given data with k0 = −2 and k2 = −14.

Data: f0 = f (−2) = 1, f1 = f (0) = 5, f2 = f (2) = 17. (a) What is the advantage of a spline fit compared to a Lagrange polynomial for interpolation?

Solution

9-11

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

9-8

9.4

(a)

9-12

∫ 1 9.5 Given the definite integral: J =

dx

. Evaluate this integral using: 1 + x2 (a) An exact analytic formula obtained from calculus.

0

(b) Approximate methods: (i) Trapezoidal rule (n = 4); (ii) Simpson’s rule (2m = 4); and (iii) Gaussian integration formula (n = 4). (c) Compute the error bounds for the Trapezoidal rule in part (b). (d) Compare the results obtained in parts (a) and (b).

Solution 9.5 (a)

∫ 1

From calculus: 0

swer]

1

dx c = tan—1 x = tan—1 1 − c tac n—c1 0 = 0.785398. [an2 1+x 0

9-13

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 9-10 (b) (i)

(ii)

(iii)

9-14

9-11

(c)

9-15

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

9-12

(d)

9-16

9.6 The probability P that a measurement will fall within t standard devi−(x − µ)2 ∫ µ+tσ exp 2σ2 ations is given by: P = √ dx. µ—tσ σ 2π (a) Show how this probability expression reduces to the normal error intez2 1 ∫ t — gral: P = √ e 2 dz.

2π —t (b) Using the normal error integral and Gaussian integration formula (for n = 2), calculate the probability that a measurement will fall within one standard deviation (that is, t = 1). What is the relative error for this estimation?

Solution

9-17

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 9-13 9.6

(a)

(b)

9-18

∫x

sin u du. Evaluate the quanu 0 tity Si(1) (that is, for x = 1) using a Gaussian integration formula to 4 significant digits using the zeros of the Legendre polynomial P2(x). Using the actual value from a mathematical handbook (for example, [Spiegel, 1973]), estimate the relative and absolute error for the estimate.

9.7 The Sine Integral is defined as: Si(x) =

Solution

9-19

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 9-14 9.7

9-20

9.8 For application of the Gauss integration method, show that using eq.

(9.31) the following integral can be transformed as: ∫ 1 ∫ 1 1 1 2 exp − (t + 1)2 dt. e—x dx = 2 —1 4 0 .

Solution

9-21

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

9-15

9.8

9-22

Problems Chapter 10 10.1 Expand the functionf (z) =

1 (z + 1)(z + 3)

in a Laurent series, which

is valid for 1 < |z| < 3.

Hint: Use partial fractions and a binomial series expansion: (1 + x)—1 = 1 − x + x2 − x3... for x values in the interval of convergence of −1 < x < 1.

Solution

10-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

10-1 10.1

10-2

I

10.2

2 dz where C is a circle of radius 1/2 and 2 C z − 1 centred at 1, and positively oriented.

2 1 1 = . (a) Using a partial fraction method, show that: 2 — z −1 z−1 z+1 (b) Evaluate the integral using Cauchy’s Integral Formula and Cauchy’s Theorem with these partial fractions, respectively.

Consider the integral

Solution

10-3

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

10-2

10.2

10-4

10.3 The complex inversion formula in eq. (3.9) with a branch point s = 0 √

e—a s a a √ = erfc √ . = 1−erf s 2 t 2 t This transform is used in Example 5.2.10. a √ } 2 (a) Show that L —1 e—a s = √ t —3/2 e—a /(4t) . To find this transform, 2 π use the Laplace transform of a derivative L {f J(t)} = sF (s) (that is, fo r a √ f (0) = 0), with the previous result: f (t) = L —1{F (s)} = erfc 2 t √ —a s e where F (s) = . s Solution yields [Spiegel, 1971]: f (t) = L —1

10-5

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

10-3 10.3

(a)

10-6

10.4 Given the function u(x, y) = x2 − y2. (a) Prove that this equation satisfies the Laplace’s equation. (b) Find the function v(x, y) such that f (z) = u+iv is an analytic function.

Solution

10-7

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

10-4 10.4

10-8

10.5 Show that f (z) = sin z is analytic in the following steps: (a) Find the real and imaginary parts of f (z). (b) Show that u(x, y) and v(x, y) from part (a) satisfy the Cauchy-Reimann conditions.

Solution

10-9

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 10-5 10.5

10-10

10.6 Evaluate the integral

H C

z2 dz along the path shown in fig. 10.6.

Figure 10.6: Schematic of a closed semi-circle contour C.

Solution

10-11

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

10-6 10.6

10-12

H

10.7

dz dz where C is a circle of radius b 2 C (z − a ) centred at the origin with b > a.

Evaluate the integral

2

Solution

10-13

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

10.7

10-7

10-14

∫

+∞

dx 10.8 Evaluate the definite integral where the contour runs along (1 + x2) —∞ the x -axis from −ρ to +ρ , and then closes by a semi-circle in the upper half plane of radius ρ centred at the origin.

Solution

10-15

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

10-8 10.8

10-16

∫

10.9 Show that using contour integration and the residue theorem, the def+∞

−e iwx dw is evaluated as: (w2 — iw + 2) — √∞ — 2π x e for x < 0 3 √ g(x) = − 2π —2x e for x > 0.

3 This result is used in the solution of problem 3.10. inite integral

Solution

10-17

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

10.

10-

10.

10.9

10-18

11-1

228 Chapter 11 Problems

CHAPTER 11.

ADVANCED CONCEPTS

the “Method of Repeating Variables” is discussed here. While using the 11.1 Determine the variables on which a pendulum’s amplitude (or somethe following steps are appliedupon (see fig. 11.2). (Hint: times calledtheorem, the pendulum position) depend use the Buckingham’s π theorem; the relevant dimensional variables can be • List relevant variables/parameters: Clearly define the problem, identify listed as: pendulum’s mass, m, length of the rigid rod, l, pendulum’s period, all the variables that are important, and determine which is the main τ , time, t, gravitational acceleration, g, and initial position of the pendulum, variable of interest (i.e., dependent variable). Indicate the total number φ0 = φ(0)). of independent and dependent variable and parameters, n • Indicate basic dimensions of each parameter: Express fundamental dimensions of each of n variables/parameters, and hence determine the number of basic dimensions, m • Determine the number of Π groups, which is expressed by (n-m) • Choose repeating variables: While choosing the repeating variables, the following considerations need to be taken into account – Never pick the dependent variable

Motion that of aare pendulum.

–Figure Never 11.2: pick variables already dimensionless – Never pick two variables with the same dimensions – Chosen variables must represent all the primary dimensions – Chose common variables as they may appear in each of the Π groups – Chose simple variables over complex ones • Form dimensionless Π groups and check that they are actually all dimensionless: Combine repeating parameters into products with each of the remaining parameters, one at a time, to create the Π groups

Solution 11.1

Example 6: Determine the variables on which pendelum’s amplittude (or sometimes called as the pendulum’s position) depends.

The motion of the pendulum is confined to a vertical plane, and the position of the pendulum can be indicated by the angle, φ, with the vertical (see Figure 11.2). In this example, the pendulum’s amplitude, φ, is the dependent variable. Independent variables and parameters, with their dimensions in capital letters, are :

11-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

11-2

11.6. NONDIMENSIONALIZATION

229

• (variable) pendulum’s mass, [m], M • (variable) length of the rigid rod, [l], L • (variable) pendulum’s period, [τ ], T • (variable) time, [t], T • (parameter) gravitational acceleration, [g], L·T−2 • (parameter) initial position of the pendulum, [φ0 = φ(0)], -

Figure 11.2: Pendulum.

In order to simplify the terminology, instead of indicating each time “variable” and “parameters” separately, the term “variables” will be used onword to indicate both.

The model is of the form f (φ, m, l, t, τ, g, φ0) = 0

(11.9)

This is written as a relation, but not as a function. The following relationship expresses the pendulum’s amplitude, φ, which is dependent variable, in terms of a complete set of independent variables: φ = f (m, l, t, τ, g, φ0)

(11.10)

In this equation, φ and φ0 are already dimensionless and no need to apply any nondimensionalization; they have already formed the Π groups. There

11-2

11-3

230

CHAPTER 11.

ADVANCED CONCEPTS

are (m=) 3 basic physical dimensions in this equation: time, T, mass, M and length, L; and (n=) 5 dimensional variables: t, τ , m, l, and g. Consequently, there will be two [i.e., (=5-3)] more dimensionless Π parameters, besides the Π groups formed for φ and φ0. As discussed earlier, t and τ cannot be choosen at the same time, because two parameters with the same dimensions should not be picked to form Π groups. Consequently, one of the dimesional variables that appears in the Π group is t and the other one should be τ .

Given that all the rest (i.e., m, l, and g) have basic dimensions, they can be picked as repeating variables. Based on this analysis, the form of the model is Π0 = f (Π1, Π2, Π3)

(11.11)

where • Π0 = φ • Π1 = φ0 With m, l, and g being the repeating variables, Π2 and Π3 can be formed as Π2 = ta1 ma2 la3 ga4

(11.12)

Π3 = τb1 mb2 lb3 gb4

(11.13)

For the dimensionless Π2 parameter, the dimensional D matrix, where the rows correspond to the basis dimensions T, M, and L, and the columns to the dimensional variables t, m, l, and g, is given by t m l g T 1 0 0 —2 M 0 1 0 0 L 0 0 1 1 or

⎡ ⎤ 1 0 0 −2 D = ⎣0 1 0 0 ⎦ 0 0 1 1

11-3

(11.14)

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

11-4

11.6. NONDIMENSIONALIZATION

231

The elements of the dimensional D matrix correspond to the powers to which the respective dimensions are to be raised.

For a dimensionless constant Π2 = ta1 ma2 la3 ga4 , a vector in the form of a = [a1, a2, a3, a4] is sought so that the matrix-vector product Da equals the zero vector [0,0,0]. In linear algebra, the set of vectors with this property is known as the kernel (or nullspace) of (the linear map represented by) the dimensional matrix. In this particular case its kernel is one-dimensional. The matrix-vector multiplication is shown below ⎡ ⎤ ⎡ ⎤ a1 D D D D 14 11 12 13 ⎣D21 D22 D23 D24 ⎦ ⎢a2 ⎥ = [0, 0, 0] (11.15) ⎣a3 ⎦ D31 D32 D33 D34 a4 which leads to the following linear equations: a1 − 2a4 = 0 a2 = 0 a3 + a4 = 0

(11.16)

Taking the index of the prime quantity, which is a1 (for the prime quantity t), to be equal to 1 (i.e., a1 = 1), the other indexes become a3 = −1/2 and a4 = 1/2. With a2 = 0, the vector, a, becomes ⎡

⎤ 1 0 ⎢ ⎥ a =⎣ −1/2⎦ 1/2

(11.17)

Substituting the values of the vector a as exponents in Equation 11.12, Π2 = t1m0l−1/2g1/2

(11.18)

or in basic dimensions terms Π2 = (T )1(M )0(L)−1/2(L/T 2)1/2 = 1 Rearranging Equation 11.18, r g Π2 = t l

(11.19)

11-4

11-5

232

CHAPTER 11.

ADVANCED CONCEPTS

or expressing it in terms of dimensionless time parameter, t∗, as rg Π = t∗ = t (11.20) 2 l Given that τ has exactly the same dimension as time, t, the results obtained for Π2 hold true for Π3, which therefore can be written as Π3 = τ 1m0l−1/2g1/2 or Π =τ

rg

3

l

(11.21)

Assuming the zeroes of F (in Equation 11.7) are discrete, it can be stated √ that τ g/L = Cn, w √ h e r e Cn is the nth zero of the function F. If there is only one zero, then τ g/L = C. It requires more physical insight or an experiment to show that there is indeed only one zero and that the constant is in fact given by C = 2π. If it is the case, Equation 11.21 can be rewritten as Π3 = τ ∗ =

2π √g

τ L ∗ where τ is the dimensionless pendulum period.

(11.22)

Note that the mass, m, is not present in any of the dimensionless quantities φ, φ0, t∗ and τ ∗. This implies that pendulum motion is independent from m. This conclusion is deduced directly from the Buckingham π theorem.

Therefore, the movement of the pendulum is given by a relation between φ and φ0, t∗ and τ ∗. One should realize that the number of independent variables are reduced from 6 in the dimensional form to 3 in the nondimensional form.

Inserting Πs into Equation 11.11 , the relationship between pendulum’s amplitude and the independent variables, in the form of dimensionless parameters, is given by φ = f (φ0, t ∗ ,τ ∗)

11-5

(11.23)

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

11-6

11.6.11.2 NONDIMENSIONALIZATION 243 Apply the nondimensionalization technique to the Navier–Stokes equa-

tion for the x-direction component; the incompressible Navier–Stokes moInsering Equation intoby: Equation 11.52, mentum equation11.53 is given ∂u 2 ρ[ ∂t + (u · ∇)u] = −∇P x0 dξ + µ∇ u + ρg, + (bx )ξ + (cx 0µ2)ξis2 the dynamic(11.54) where ρ is the density, P =isathe pressure, viscosity, u is the 0 t0 dτand g is the gravitational acceleration. flow velocity, t is time • Divide through by the coefficient of the highest order polynomial or derivative term The coefficient of the highest ordered term is in front of the first derivative term. Dividing by this gives dξ dτ

=

at0 x0

+ (bt0)ξ + (cx0t0)ξ2

(11.55)

• Choose the characteristic unit for each variable to make the coefficients of as many terms as possible to become 1 By choosing the constant term (i.e., the first term in the right hand side of Equation 11.55) and the coefficient in front of ξ (i.e., the second term in the right hand side of 11.55) to become equal to 1, bt0 = 1 ⇒ t0 =

1 b

at0 ;

x0

= 1 ⇒ x0 =

a b

(11.56)

The coefficient of ξ2 becomes (i.e., the last term in 11.55) κ = ca/b2 Finally, the nondimensional equation can be expressed as: dξ

= 1 + ξ + κξ2 (11.57) dτ Solution Instead of three undetermined parameters (a, b, c) in the dimensional version (i.e., 11.52), the nondimensional version has only one parameter, κ.

11.2 Example 10: Apply the nondimensionalization technique to the Navier–Stokes equation for the x-direction component.

Besides that nondimensionalization of the Navier–Stokes equation helps to reduce the number of parameters, it helps to gain a greater insight into the relative size of various terms present in the equation. Neglecting the smaller terms against the larger ones allows the simplification of the phenomena. In most of the cases (e.g., without density variations due to concentration and

11-6

11-7

244

CHAPTER 11.

ADVANCED CONCEPTS

temperature or with the negligence of the gravity term), the nondimensionalized Navier–Stokes equation depend only on the Reynolds number and hence all physical realizations of the related experiment will have the same value of non-dimensionalized variables for the same Reynolds number.

The incompressible Navier–Stokes momentum equation is written as ρ[

∂u + (u · ∇)u] = −∇P + μ∇2u + ρg ∂t

(11.58)

where ρ is the density,P is the pressure, μ is the dynamic viscosity, u is the flow velocity, t is time and g is the gravitational acceleration. Writing Equation 11.58 for the x-direction component and dividing by ρ gives ∂ux ∂ux ∂ux ∂ux + ux + uy + uz = ∂t ∂x ∂y ∂x 1 ∂P ∂2ux ∂2ux ∂2ux + — + ν( 2 + ∂y2 ) + gx ρ ∂x ∂x ∂z2 (11.59) Given that the gravitational acceleration vector is (0,-9.81,0) [ i.e., the gravitational acceleration has no impact on the x-direction but on the ymomentum equation], and hence the last term in Equation 11.59 becomes nil.

• Identify all the independent and dependent variables: ux and P are dependent variables; and t, x, y and z, uy, uz, ρ (i.e., in the case of no dependency on concentration and temperature in the x direction) and ν are independent variables or parameters.

• List primary dimensions of all dimensional variables and parameters/constants: [x]=L; [t]=T; [ux]=L·T−1; [uy]=L·T−1; [uz]=L·T−1; [ρ]=M·L−3; [ν]=L2·T−1; [P]=M·L−1· T−2 Dimensional homogeneity can be verified by checking if each term in Equation 11.59 has a dimension equal to ms.2 • Select characteristic units (i.e., scaling parameters) to nondimensionalize variables: Nondimensional variables and parameters are: ux∗, uy∗, uz∗, P ∗, t∗, x∗, y∗ and z∗

11-7

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

11-8

11.6. NONDIMENSIONALIZATION

245

Characteristic units which have the same dimensions as the original variables and parameters are: U is the flow velocity in L· T−1, L is the lenght in L and T is the time in T. • Replace each of dimensional variables with a quantity scaled relative to a characteristic unit (See Equation 11.34 in Example 7 for nondimensionalization of the pressure term): ux = ux∗U ;

uy = uy∗U ;

x = x∗L;

uz = uz∗U ;

P = P ∗U 2ρ

z = z∗L;

t = t∗T

y = y∗L;

Substituting the terms defined in nondimensional form in Equation 11.59 ∗ ∗ ∗ ∂ux∗U ∗ ∂ux U ∗ ∂ux U ∗ ∂ux U + u U +u U + u U = x y z ∂t∗T ∂x∗L ∂y∗L ∂z∗L

—

1 ∂P ∗U 2ρ ρ ∂x∗L

+ ν(

∂2ux∗U

∂2ux∗U ∂2ux∗U + + ) ∂x∗2L2 ∂y∗2L2 ∂z∗2L2 (11.60)

With T=L/U and dividing Equation 11.60 by U2/L, ∗ ∗ ∗ ∂ux∗ ∗ ∂ux ∗ ∂ux ∗ ∂ux + u +u + u = x ∂t∗ ∂x∗ y ∂y∗ z ∂z∗

(11.61) ∂P ∗ ν ∂2ux∗ ∂2ux∗ ∂2ux∗ — ∗+ + ) ( + ∂x ∂y∗2 ∂z∗2 UL ∂x∗2 Rearranging Equation 11.61 for the Reynold’s number defined as UL/ν (where ν = μ/ρ) ∂ux∗ ∂ux∗ ∂ux∗ ∂ux∗ + u x∗ +u y∗ + u z∗ ∗ = ∗ ∗ ∗ ∂t ∂x ∂y ∂z (11.62) ∂P ∗

1 ∂2ux∗ ∂2ux∗ ∂2ux∗ — + ( ∗2 + + ) ∗ ∗2 ∂x Re ∂x ∂y ∂z∗2

11-8

11.3 Consider a simplification of the problem in Example 11.2.1 for the pressure drop ∆p in a straight pipe of diameter D. Here, in an experiment, it is observed that with laminar flow conditions in the pipe, the pressure drop is observed to depend on three parameters: the distance l along the pipe between the pressure sampling points, the velocity v of the fluid and the fluid viscosity µ. For this problem, using the Buckingham’s π theorem, determine how the pressure drop varies with the pipe diameter.

Solution

11-9

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 1111.3

11-10

11-10

11-11

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

11-11

11-12

11.4 As shown in [Lewis et al., 2017], fuel swelling in nuclear fuel is caused by the presence of fission gases in small bubbles. Consider a gas bubble of radius R embedded in a solid medium with no hydrostatic stress, where the pressure p acting to expand the bubble is balanced by the surface tension γ of the solid (see fig. 11.3). Using the Buckingham’s π theorem, determine the dependence of the pressure on the bubble radius and solid surface tension.

Hint: for this analysis, use the basic physical dimensions for the system of: force (F), length (L) and time (T).

Figure 11.3: Gas-filled bubble in mechanical equilibrium with a solid (adapted from fig. 4.61 in [Lewis et al., 2017]).

Solution

11-13

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

11-12

11.4

11-14

Problems Chapter 12 12.1 Discuss the finite difference solution(s) to the Navier-Stokes equations.

Solution

12-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

12-1

12.1

Since the Navier-Stokes equations find a wide range of applications in modelling from weather, ocean currents, water flow in a pipe to air flow around a wing, many numerical schemes have been proposed to solve the Navier-Stokes equations.

The following articles have been suggested for discussions on the finite difference schemes for the Navier-Stokes equations with students: • •

•

A.J. Chorin, “Numerical Solution of the Navier-Stokes Equations”, Mathematics of Computation, 22, pp. 745-762, 1968.

M. Yanwen, F. Dexun, T. Kobayashi and N. Taniguchi, “Numerical Solution of the Incompressible Navier-Stokes Equations with an Upwind Compact Difference Scheme”, International Journal for Numerical Methods in Fluids, 50, pp. 509-521, 1999.

B. Seibold1, “A compact and fast Matlab code solving the incompressible Navier-Stokes equations on rectangular domains”, http://math.mit.edu/~gs/cse/, March 31, 2008.

A documentation for the Matlab program mit18086 navierStokeS.m, aS it iS uSed for Course 18.086: Computational Science and Engineering II at the Massachusetts Institute of Technology. The code can be downloaded from the Computational Science and Engineering web page http://wwwmath.mit.edu/cSe . It iS alSo linked on the courSe web page http://www-math.mit.edu/18086. ThiS code Shall be uSed for teaching and learning about incompreSSible, viScouS flowS. It iS an example of a Simple numerical method for Solving the Navier-StokeS equationS. It containS fundamental componentS, Such aS diScretization on a Staggered grid, an implicit viScoSity Step, a projection Step, aS well aS the viSualization of the Solution over time.

1

12-2

12.2 Obtain the solution for the KdV equation given in eq. 12.39 by assuming a travelling wave of the form: u(x, t) = f (ξ) where ξ = (x− ct− xo).

Solve this problem with direct integration by explicitly separating the differentials and using anti-derivatives. Use Maple to solve the resulting integral df √ . that arises in this derivation, f c + 2f Solution

∫

12-3

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

12-2 12.2

12-4

12-3

12-5

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

∂u ∂u +c = 0, with u = ∂t ∂x u(x, t), can be reproduced with the Lax operator pair: 12.3 Show that the classical advection equation:

∂2 L= − uI ∂x2 M = −c where I is the identity operator.

Solution

12-6

∂ ∂x

12-4 12.3

12-7

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

12.4 Classify the following equations as linear or nonlinear: (a) utt = c2uxx. (b) σ ρ ut = ∇ · (K(u) ∇u) where σ and ρ are constants. (c) uJ = f (u, t). (d) ∇2u = λ sin(u) where λ is a constant. ∂u ∂u +u (e) = 0. ∂t ∂x Solution

12-8

12-5 12.4

12-9

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

12.5 Consider the nonlinear ordinary differential equation: uJ(t) = au(t) + b(u(t))2, where a and b are constants. The time derivative for this equation can be discretized as: uJ(t) = un+1 — un , ∆t where un and un+1 are the values of the function u(t) at the respective nth and n + 1st mesh points. (a) What is the iteration scheme for this nonlinear equation using the Forward Euler discretization method in eq. 6.4? (b) Consider a Crank-Nicolson discretization method for this ordinary differential equation with a central difference approach given by: h i2 un+1 − un = a un+ 1 + b un+ 1 .

2 2 ∆t What is the resulting iteration scheme if un+ 1 is approximated by a standard 2 1 arithmetic mean: un+ 1 = [un + un+1] but linearized with a geometric mean 2 h 2 i2 for the nonlinear term: un+ 12 ~ un · un+1?

Solution

12-10

12.5

12-6

12-11

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

12.6 A well-known model for population growth involves the nonlinear ordinary differential equation: uJ = a(u) u,

u(0) = 1

where the growth term is given by: u a(u) = ρ 1 − M

r

and r is a constant. Here the growth rate factor a(u) ~ ρ to allow the population to grow initially with unlimited access while the population u is small but tails off where a(t) approaches zero as the population u approaches a maximum M that the environment can sustain.

The standard Crank-Nicolson approach for the iteration scheme for this differential equation from section 6.2.2 would be: un+1 − un = 1 a(u n )un + a(u n+1 )un+1 . ∆t 2 However, this equation is nonlinear. Thus, linearize the iteration scheme using a geometric mean as presented in problem 12.5.

Solution

12-12

12-7 12.6

12-13

Problems Chapter 13 13.1 Solve the∫ following integral equation using a Laplace transform method: t

y(τ ) sin(t — τ ) dτ

y(t) = sin t + 0

Solution

13-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 13-1 13.1

13-2

13.2 Consider the Sturm-Liouville problem in Example 13.2.1. This problem can be recast as the second-order ordinary differential equation yJJ(x) = f (x) with boundary conditions y(0) = y(1) = 0 on letting λ = — 1, p(x) = 1 and f (x) = y(x) in eq. (13.8). Thus, the solution follows from eq. 13.11 as: ∫ 1 y(x) = G(x, s) f (s) ds.

0

Here the Green’s function is symmetric (that is, G(x, s) = G(s, x)) and is defined as the negative quantity of eq. (13.10) (which satisfies the boundary conditions): s(x − 1), 0 ≤ s < x .

G(x, s) = x(s − 1), x < s ≤ 1 (a) Show that for f (x) = x2, the solution using the Green’s function forx malism is: y(x) = (x3 − 1) .

12 (b) Show that: x − 1, 0 ≤ s < x ∂G(x, s) = ∂s x, x < s ≤ 1 so that: (∂G(x, s)/∂s) = x − 1 + U (s − x), where U (s − x) is the unitary step function (or Heaviside function) (see section 3.1.3): 0 if s < x 1 if s > x. (c) Given that the derivative of the Heaviside function is the Dirac delta ∂2G(x, s) = δ(s − x) = δ(x − s). Hence, function, show that from part (b): ∂s2 ∫ x+є using the property of the Dirac delta function: δ(s − x)f (s) ds = f (x), U (s — x) =

x—є

d2y = dx2

show that one obtains the original ordinary differential equation: ∫ 1 ∂2G ∫ 1 G(x, s) f (s) ds is a solution 2 (x, s) f (s) ds = f (x). Thus, y(x) = 0 0 ∂x of the nonhomogeneous boundary value problem. Moreover, the Green’s function can be thought of as a response function to a unit impulse at s = x.

13-3

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

13-2 13.2

Solution

13-4

13.3 Consider Example 5.2.10 for heat conduction in a semi-infinite solid but where the temperature is initially zero in the solid, and at t > 0 a constant temperature of uo is applied and maintained at the face x = 0. The initial and boundary conditions for this problem become: u(x, 0) = 0, u(0, t) = uo and |u(x, t)| < M . (a) Using a Laplace transform method with L {u(x, t)} = U (x, s), and transformed boundary condition: U (0 , s) = L√{u(0, t)} = uo/s, show that uo — s/k x e . Thus, using the inverse the transformed solution is: U (x, s) = s transform f r√o m problem 10.3, the final solution is: u(x, t) = L —1{U (x, s)} = uo erfc[x/(2 kt)]. (b) If the boundary condition, u(0, t) = uo is replaced by the more general conditio√n u(0, t) = g(t), show that the transformed solution is: U (x, s) = G(s) e— s/k x. √ x —1 — s/k x —3/2 —x2/(4κt) (c) From problem 10.3, L {e . Hence, } = √ t e 2 πκ show that using the convolution theorem (see section 3.1.4) for the inverse transform∫of part (b), the solution for u(x, t) is given by the integral equation: t x 2 —3/2 —x /(4κu) u(x, t) = u e g(t− u) du. √ 0 2 πκ Solution

13-5

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

13-3 13.3

13-6

13.4 Prove that eq. (13.16) is a general solution of the Helmholtz equation in eq. (13.14).

Solution

13-7

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 13-4 13.4

13-8

13.5 Classify each of the following integral equations as a Fredholm or Volterra type integral equation, linear or non-linear, homogeneous or nonhomogeneous, and identify the parameter λ abd the kernel K(x, y): (a) u(x) = x +

∫1

xy u(y) dy

0

(b) u(x) = 1 + x2 +

∫x

(x — y) u(y) dy

0

(c) u(x) = ex +

∫x

y u2(y) dy

0

(d) u(x) =

∫1

(x — y)2 u(y) dy

0

1 ∫1 1 (e) u(x) = 1 + x dy 4 0 (x + y u(y) Solution

13-9

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

13-5 13.5

13-10

13.6 Convert the following Volterra integral equation into an initial value ∫x problem: u(x) = x + (y — x) u(y) dy.

0

Solution

13-11

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 13-6 13.6

13-12

13.7 Convert the following initial value problem into a Volterra integral equation: uJJ(x) + u(x) = cos x, subject to the initial conditions u(0) = 0 and uJ(0) = 1.

Solution

13-13

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

13-7 13.7

13-14

13.8 Convert the following boundary value problem into a Fredholm integral equation: yJJ(x)+y(x) = x, for x (0, ∈ 1), subject to the boundary conditions y(0) = 1 and y(1) = 0.

Solution

13-15

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

13-8

13.8

13-16

13-9

13-17

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

13.9 Given the Fredholm integral equation: u(x) = x+λ

∫1

(xy) u(y) dy, solve

0

this equation using (i) the successive approximation method, (ii) a Neumann series and (iii) the resolvent method.

Solution

13-18

13.9

13-10

13-19

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 13-11

13-20

13-12

13-21

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

Check: ∫1

λ u(x) = x + λ (xy) u(y) dy = x + 1 − λ/3 0 u(x) = x +

λx 1 − λ/3

∫ 1 0

xy · y dy. Thus, integrating:

!

1 / y3 1 =x + 3λx 3 − λ 3/ 3 0 λ =x 1 + 3−λ 3x = 3— λ x = 1 − λ/3

Thus, one recovers the solution.

13-22

13.10 Given the Volterra integral equation: u(x) = 1 +

∫x

(x — y) u(y) dy,

0

solve this equation using the successive approximation method.

Solution

13-23

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 13-14

13.10

13-24

Problems Chapter 14 14.1 Consider a bead on a rotating wheel as shown in fig. 14.4. Here F = mv2 is the centrifugal force, m is the mass of the bead, v is the tangential r velocity at the radius r of the wheel and n is the number of rotations per second such than ω = 2πn.

Figure 14.4: Schematic of a bead on a rotating wheel.

1 (a) Show that the kinetic energy in the problem is: T = mr˙2. Given that 2 dV mω2r2 . v = ωr and using eq. (14.11) such that: F = − , show that V = − 2 dr (b) Using the Euler-Lagrange equation, show that the equation of motion is r¨ = ω2r, which has the solution: r(t) = Ae—ωt + Beωt.

Solution

14-1

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew 14-1 14.1

(a)

(b)

14-2

14.2 Consider a pendulum shown in fig. 14.5 of mass m and length l. The angle of the pendulum from the vertical is φ with a velocity of v = l dφ/dt.

Using the Euler-Lagrange equation in eq. (14.8), with the Lagrangian L defined by eq. (14.9) as the difference between the kinetic energy (T = 21 m v2) and the potential energy (V = m g h), show that the equation of motion for the pendulum is given by: d2φ

g sin φ

dt

l

+ 2

= 0.

Hint: the state variable for this problem is the angle φ that the pendulum makes from the vertical.

Figure 14.5: Schematic of the pendulum for an Euler-Lagrange analysis.

Solution

14-3

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

4-5 114-2 14.3 14.2

14-4

14.3 Consider a small block of mass m sliding a distance s down a moving wedge of mass M as shown in fig. 14.6. The wedge is also sliding a distance x along the floor. Neglecting frictional effects, calculate the following:

Figure 14.6: Schematic of a sliding block on a moving wedge.

(a) Given that the velocity of the wedge is simply ẋ , show that the x and y components of the velocity of the small block are: vx = x˙ − s˙ cos θ and vy = −s˙ sin θ, respectively. (b) Show that the total kinetic energy of the combined system is: T = 1 1 M ẋ 2 + m(ẋ 2 + s˙2 − 2ẋ ṡ cos θ). Also show that the potential energy for the 2 2 small block is: V = −m g s sin θ where g is the acceleration due to gravity. (c) Determine the Euler-Lagrange equations for this problem for the two variables s and x and their derivatives. (d) Solving the Euler-Lagrange equations in part (c), show that the two accelerations s̈ and ẍ are given by: (M + m) s̈ =

(M + m sin2 θ)

M g sin θ = c1 and ẍ =

where c1 and c2 are simply constants.

Solution

14-5

(M + m sin2 θ)

g sin θ cos θ = c2,

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

14-3 14.3

(a)

(b)

(c)

14-6

14-4

(d)

14-7

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

14.4 Show that the shortest curve that has an area A below it is a circular arc: (λx − c)2 + (λy − d)2 = 1 as shown in fig. 14.7. Here λ is a Lagrange multiplier constant, and c and d are constants ∫ 1 of integration. For this constrained problem: y(0) = a, y(1) = b and A = 0 y(x) dx.

Hint: use the Euler-Lagrange equation in eq. (14.47) with the constraint ϕ = A. From Example 14.1.2, the Lagrangian under consideration is given by eq. (14.17).

Figure 14.7: Schematic of a circular arc for the optimal shape of a curve with an area under it.

Solution

14-8

14-5 14-3 1414.4 14.3 14.4

14-9

Solution Manual for Advanced Mathematics for Engineering Students The Essential Toolbox 1st Edition By Brent J. Lewis, Nihan Onder, Andrew

14-4 14-6 14-7

14-10

Bibliography [Lewis et al., 2017] Lewis, B. J., Onder, E. N., and Prudil, A. A. (2017).

Fundamentals of Nuclear Engineering. Wiley international editions: Nuclear engineering. Wiley.

[Spiegel, 1971] Spiegel, M. (1971). Advanced Mathematics for Engineers and Scientists. Schaum’s outline series. McGraw-Hill.

[Spiegel, 1973] Spiegel, M. (1973). Mathematical Handbook of Formulas and Tables. Schaum’s outline series. McGraw-Hill.