# Series solutions of ordinary differential equations

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Series solutions of ordinary differential equations 1

2 Second-order linear ordinary differential equations Any homogeneous second-order linear ODE can be written in the form y + p(x)y + q(x)y = 0, (1) where y = dy/dx and p(x) and q(x) are given functions of x. The most general solution to Eq. (1) is y(x) = c 1 y 1 (x) + c 2 y 2 (x), (2) where y 1 (x) and y 2 (x) are linearly independent solutions of Eq. (1), and c 1 and c 2 are constants. Their linear independence may be verified by the evaluation of the Wronskian y W (x) = 1 y 2 y 1 y 2 = y 1y 2 y 2 y 1. (3) If W (x) 0 in a given interval, then y 1 and y 2 are linearly independent in that interval. 2

3 By differentiating Eq. (3) with respect to x, we obtain W = y 1 y 2 + y 1y 2 y 2 y 1 y 2y 1 = y 1 y 2 y 1 y 2. Since both y 1 and y 2 satisfy Eq. (1), we may substitute for y 1 and y 2, which yields W = y 1 (py 2 + qy 2 ) + (py 1 + qy 1 )y 2 Integrating, we find = p(y 1 y 2 y 1y 2 ) = pw. W (x) = C exp { x } p(u) du, (4) where C is a constant. If p(x) 0, we obtain W = constant. 3

4 Ordinary and singular points of an ODE Consider the second-order linear homogeneous ODE y + p(z)y + q(z) = 0, (5) where the functions are complex functions of a complex variable z. If at some point z = z 0 the functions p(z) and q(z) are finite, and can be expressed as complex power series p(z) = p n (z z 0 ) n, q(z) = q n (z z 0 ) n, then p(z) and q(z) are said to be analytic at z = z 0, and this point is called an ordinary point of the ODE. If, however, p(z) or q(z), or both, diverge at z = z 0, then it is called a singular point of the ODE. 4

5 Even if an ODE is singular at a given point z = z 0, it may still possess a non-singular (finite) solution at that point. The necessary and sufficient condition for such a solution to exist is that (z z 0 )p(z) and (z z 0 ) 2 q(z) are both analytic at z = z 0. Singular points that have this property are regular singular points, whereas any singular point not satisfying both these criteria is termed an irregular or essential singularity. 5

6 Example Legendre s equation has the form (1 z 2 )y 2zy + l(l + 1)y = 0. (6) where l is a constant. Show that z = 0 is an ordinary point and z = ±1 are regular singular points of this equation. Answer We first divide through by 1 z 2 to put the equation into our standard form, Eq. (5): y 2z 1 z 2 y + l(l + 1) 1 z 2 y = 0. Comparing with Eq. (5), we identify p(z) = q(z) = 2z 1 z 2 = 2z (1 + z)(1 z) l(l + 1) 1 z 2 = l(l + 1) (1 + z)(1 z). 6

7 By inspection, p(z) and q(z) are analytic at z = 0, which is therefore an ordinary point, but both diverge for z = ±1, which are thus singular points. However, at z = 1, we see that both (z 1)p(z) and (z 1) 2 q(z) are analytic, and hence z = 1 is a regular singular point. Similarly, z = 1 is a regular singular point. 7

8 Example Show that the Legendre s equation has a regular singularity at z. Answer Letting w = 1/z, the derivatives with respect to z become dy = dy dz dw d 2 y dz 2 = dw dz dw dz = 1 dy z 2 dw ( ) d dy dw dz = w2 dy dw, ( = w 2 2w dy dw w2 d2 y dw 2 ) = w 3 ( 2 dy dw + w d2 y dw 2 If we substitute these derivatives into Legendre s equation Eq. (6) we obtain (1 1w ) ( 2 w 3 2 dy ) dw + w d2 y dw w w2 dy dw + l(l + 1)y = 0,. ) 8

9 which simplifies to give w 2 (w 2 1) dy dy + 2w3 dw2 dw + l(l + 1)y = 0. Dividing through by w 2 (w 2 1), and comparing with Eq. (5), we identify p(w) = q(w) = 2w w 2 1, l(l + 1) w 2 (w 2 1). At w = 0, p(w) is analytic but q(w) diverges, and so the point z is a singular point of Legendre s equation. However, since wp and w 2 q are both analytic at w = 0, z is a regular singular point. 9

10 Equation Regular Essential singularities singularities Legendre (1 z 2 )y 2zy + l(l + 1)y = 0 Chebyshev (1 z 2 )y zy + n 2 y = 0 1, 1, 1, 1, Bessel z 2 y + zy +(z 2 ν 2 )y = 0 0 Laguerre zy + (1 z)y +αy = 0 0 Simple harmonic oscillator y + ω 2 y = 0 10

11 Series solutions about an ordinary point If z = z 0 is an ordinary point of Eq. (5), then every solution y(z) of the equation is also analytic at z = z 0. We shall take z 0 as the origin. If this is not the case, then a substitution Z = z z 0 will make it so. Then y(z) can be written as y(z) = a n z n. (7) Such a power series converges for z < R, where R is the radius of convergence. Since every solution of Eq. (5) is analytic at an ordinary point, it is always possible to obtain two independent solutions of the form, Eq. (7). 11

12 The derivatives of y with respect to z are given by y = y = = na n z n 1 = (n + 1)a n+1 z n, (8) n(n 1)a n z n 2 (n + 2)(n + 1)a n+2 z n. (9) By substituting Eqs. (7) (9) into the ODE, Eq. (5), and requiring that the coefficients of each power of z sum to zero, we obtain a recurrence relation expressing a n as a function of the previous a r (0 r n 1). 12

13 Example Find the series solutions, about z = 0, of Answer y + y = 0. z = is an ordinary point of the equation, and so we may obtain two independent solutions by making the substitution y = a nz n. Using Eq. (7) and (9), we find (n + 1)(n + 1)a n+1 z n + a n z n = 0, which may be written as [(n + 1)(n + 1)a n+2 + a n ]z n = 0. For this equation to be satisfied, we require that the coefficient of each power of z vanishes separately, and so we obtain the two-term recurrence relation a n a n+1 = (n + 2)(n + 1) for n 0. 13

14 Two independent solutions of the ODE may be obtained by setting either a 0 = 0 or a 1 = 0. If we first set a 1 = 0 and choose a 0 = 1, then we obtain the solution y 1 (z) = 1 z2 2! + z4 4! = ( 1) n (2n)! z2n. However, if we set a 0 = 0 and choose a 1 = 1, we obtain a second independent solution y 2 (z) = z z3 3! + z5 5! = ( 1) n (2n + 1)! z2n+1. Recognizing these two series as cos z and sin z, we can write the general solution as y(z) = c 1 cos z + c 2 sin z, where c 1 and c 2 are arbitrary constants. 14

15 Example Find the series solutions, about z = 0, of Answer y 2 (1 z) 2 y = 0. z = 0 is an ordinary point, and we may therefore find two independent solutions by substituting y = a nz n. Using Eq. (8) and (9), and multiplying through by (1 z) 2, we find (1 2z + z 2 ) n(n 1)a n z n 2 2 which leads to n(n 1)a n z n a n z n = 0, n(n 1)a n z n 1 n(n 1)a n z n 2 a n z n = 0. 15

16 In order to write all these series in terms of the coefficients of z n, we must shift the summation index in the first two sums to obtain (n + 2)(n + 1)a n+2 z n 2 (n + 1)na n+1 z n + (n 2 n 2)a n z n = 0, which can be written as (n+1)[(n+2)a n+2 2na n+1 +(n 2)a n ]z n = 0. By demanding that the coefficients of each power of z vanish separately, we obtain the recurrence relation (n + 2)a n+2 2na n+1 + (n 2)a n = 0 for n 0, which determines a n for n 2 in terms of a 0 and a 1. 16

17 One solution has a n = a 0 for all n, in which case (choosing a 0 = 1), we find y 1 (z) = 1 + z + z 2 + z 3 + = 1 1 z. The other solution to the recurrence relation is a 1 = 2a 0, a 2 = a 0 and a n = 0 for n > 2, so that we obtain a polynomial solution to the ODE: y 2 (z) = 1 2z + z 2 = (1 z) 2. The linear independence of y 1 and y 2 can be checked: W = y 1 y 2 y 1y 2 = 1 1 z [ 2(1 z)] 1 (1 z) 2 (1 z)2 = 3. The general solution of the ODE is therefore y(z) = c 1 1 z + c 2(1 z) 2. 17

18 Series solutions about a regular singular point If z = 0 is a regular singular point of the equation y + p(z)y + q(z)y = 0, then p(z) and q(z) are not analytic at z = 0. But there exists at least one solution to the above equation, of the form y = z σ a n z n, (10) where the exponent σ may be real or complex number, and where a 0 0. Such a series is called a generalized power series or Frobenius series. 18

19 Since z = 0 is a regular singularity of the ODE, zp(z) and z 2 q(z) are analytic at z = 0, so that we may write zp(z) = s(z) = z 2 q(z) = t(z) = s n z n t n z n. The original ODE therefore becomes y + s(z) z y + t(z) z 2 y = 0. Let us substitute the Frobenius series Eq. (10) into this equation. The derivatives of Eq. (10) with respect to x are given by y = y = (n + σ)a n z n+σ 1 (11) (n + σ)(n + σ 1)a n z n+σ 2, (12) 19

20 and we obtain +s(z) (n + σ)(n + σ 1)a n z n+σ 2 (n + σ)a n z n+σ 2 + t(z) a n z n+σ 2 = 0. Dividing this equation through by z σ 2 we find [(n+σ)(n+σ 1)+s(z)(n+σ)+t(z)]a n z n = 0. Setting z = 0, all terms in the sum with n > 0 vanish, so that [σ(σ 1) + s(0)σ + t(0)]a 0 = 0, which, since we require a 0 0, yields the indicial equation (13) σ(σ 1) + s(0)σ + t(0) = 0. (14) 20

21 This equation is a quadratic in σ and in general has two roots. The two roots of the indicial equation σ 1 and σ 2 are called the indices of the regular singular point. By substituting each of these roots into Eq. (13) in turn, and requiring that the coefficients of each power of z vanish separately, we obtain a recurrence relation (for each root) expressing each a n as a function of the previous a r (0 r n 1). Depending on the roots of the indicial equation σ 1 and σ 2, there are three possible general cases. 21

22 Distinct roots not differing by an integer If the roots of the indicial equation σ 1 and σ 2 differ by an amount that is not an integer, then the recurrence relations corresponding to each root lead to two linearly independent solutions of the ODE, y 1 (z) = z σ 1 a n z n, y 2 (z) = z σ 2 b n z n. The linear independence of these two solutions follows from the fact that y 2 /y 1 is not a constant since σ 1 σ 2 is not an integer. Since y 1 and y 2 are linearly independent we may use them to construct the general solution y = c 1 y 1 + c 2 y 2. We also note that this case includes complex conjugate roots where σ 2 = σ 1, since σ 1 σ 2 = σ 1 σ 1 = 2i Im σ 1 cannot be equal to a real integer. 22

23 Example Find the power series solutions about z = 0 of Answer 4zy + 2y + y = 0. Dividing through by 4z, we obtain y + 1 2z y + 1 y = 0, (15) 4z and on comparing with Eq. (5) we identify p(z) = 1/(2z) and q(z) = 1/(4z). Clearly z = 0 is a singular point of Eq. (15), but since zp(z) = 1/2 and z 2 q(z) = z/4 are finite there, it is a regular singular point. We therefore substitute the Frobenius series y = z σ a nz n into Eq. (15). Using Eq. (11) and (12), we obtain + 1 2z (n + σ)(n + σ 1)a n z n+σ 2 (n + σ)a n z n+σ z a n z n+σ = 0, 23

24 which on dividing through by z σ 2 gives [(n + σ)(n + σ 1) (n + σ) z]a nz n = 0. (16) If we set z = 0 then all terms in the sum with n > 0 vanish, and we obtain the indicial equation σ(σ 1) σ = 0, which has roots σ = 1/2 and σ = 0. Since these roots do not differ by an integer, we expect to find two independent solutions to Eq. (15), in the form of Frobenius series. Demanding that the coefficients of z n vanish separately in Eq. (16), we obtain the recurrence relation (n+σ)(n+σ 1)a n (n+σ)a n+ 1 4 a n 1 = 0. (17) 24

25 If we choose the larger root of the indicial equation, σ = 1/2, this becomes (4n 2 + 2n)a n + a n 1 = 0 a n = a n 1 2n(2n + 1). Setting a 0 = 1 we find a n = ( 1) n /(2n + 1)! and so the solution to Eq. (15) is y 1 (z) = ( 1) n z (2n + 1)! zn = z ( z) 3 + ( z) 5 = sin z. 3! 5! To obtain the second solution, we set σ = 0 in Eq. (17), which gives (4n 2 2n)a n + a n 1 = 0 a n = a n 1 2n(2n 1). Setting a 0 = 1 now gives a n = ( 1) n /(2n)!, and so the second solution to Eq. (15) is ( 1) n y 2 (z) = (2n)! zn = 1 ( z) 2 2! + ( z) 4 4! = cos z. 25

26 We may check that y 1 (z) and y 2 (z) are linearly independent by computing the Wronskian W = y 1 y 2 y 2 y 1 = sin ( z 1 2 z sin ) z cos ( 1 z 2 z cos ) z = 1 2 z (sin2 z + cos 2 z) = 1 2 z 0. Since W 0 the solutions y 1(z) and y 2 (z) are linearly independent. Hence the general solution to Eq. (15) is given by y(z) = c 1 sin z + c 2 cos z. 26

27 Repeated root of the indicial equation If the indicial equation has a repeated root, so that σ 1 = σ 2 = σ, then only one solution in the form of a Frobenius series Eq. (10) may be found y 1 (z) = z σ a n z n. 27

28 Distinct roots differing by an integer If the roots of the indicial equation differ by an integer, then the recurrence relation corresponding to the larger of the two roots leads to a solution of the ODE. For complex roots, the larger root is taken to be the one with the larger real part. 28

29 Example Find the power series solutions about z = 0 of z(z 1)y + 3zy + y = 0. (18) Answer Dividing through by z(z 1), we put y + 3 (z 1) y + 1 y = 0, (19) z(z 1) and on comparing with Eq. (5), we identify p(z) = 3/(z 1) and q(z) = 1/[z(z 1)]. We see that z = 0 is a singular point of Eq. (19), but since zp(z) = 3z/(z 1) and z 2 q(z) = z/(z 1) are finite there, it is a regular singular point. We substitute y = z σ a nz n into Eq. (19), and using Eq. (11) and (12), we obtain 29

30 (n + σ)(n + σ 1)a n z n+σ z 1 (n + σ)a n z n+σ z(z 1) a n z n+σ = 0, which on dividing through by z σ 2 gives [ (n + σ)(n + σ 1) + 3z (n + σ) z 1 + z ] a n z n = 0. z 1 Multiplying through by z 1, we obtain [(z 1)(n+σ)(n+σ 1)+3z(n+σ)+z]a n z n = 0. (20) 30

31 If we set z = 0, then all terms in the sum with n > 0 vanish, and we obtain the indicial eqaution σ(σ 1) = 0, which has the roots σ = 1 and σ = 0. Since the roots differ by an integer, it may not be possible to find two linearly independent solutions of Eq. (19) in the form of Frobenius series. We are guaranteed to find one such solution corresponding to the larger root, σ = 1. Demanding that the coefficients of z n vanish separately in Eq. (20), we obtain the recurrence relation (n 1 + σ)(n 2 + σ)a n 1 (n + σ)(n + σ 1)a n which may be simplified to give +3(n 1 + σ)a n 1 + a n 1 = 0, (n + σ 1)a n = (n + σ)a n 1. (21) 31

32 Substituting σ = 1 into this expression, we obtain ( ) n + 1 a n = a n 1, n and setting a 0 = 1 we find a n = n + 1, so one solution to Eq. (19) is y 1 (z) = z = (n + 1)z n = z(1 + 2z + 3z 2 + ) z (1 z) 2. (22) If we attempt to find a second solution (corresponding to the smaller root of the indicial equation) by setting σ = 0 in Eq. (21), we find ( ) n a n = a n 1, n 1 but we require a 0 0, so a 1 is formally infinite and the method fails. 32

33 Obtaining a second solution The Wronskian method If y 1 and y 2 are linearly independent solutions of the standard equation y + p(z)y + q(z)y = 0, then the Wronskian of these two solutions is given by W (x) = y 1 y 2 y 2 y 1. Dividing the Wronskian by y 2 1 we obtain = y 2 y 1 + [ d dz ( 1 y 1 W y1 2 = y 2 y 1 y 1 )] y 2 = d dz y1 2 y 2 ( ) y2 y 1, which integrates to give x W (u) y 2 (x) = y 1 (x) y1 2 du. (u) 33

34 Using the alternative expression for W (z) given in Eq. (4) with C = 1, we find z { 1 u } y 2 (z) = y 1 (z) y1 2 exp p(v) dv du. (u) (23) Hence, given y 1, we can calculate y 2. 34

35 Example Find a second solution to Eq. (19) using the Wronskian method. Answer For the ODE Eq. (19) we have p(z) = 3/(z 1), and from Eq. (22) we see that one solution to Eq. (19) is y 1 = z/(1 z) 2. Substituting for p and y 1 in Eq. (23) we have y 2 (z) = z z (1 u) 4 (1 z) 2 u 2 exp ( u 3 v 1 dv ) du = z z (1 u) 4 (1 z) 2 u 2 exp[ 3 ln(u 1)] du = z z u 1 (1 z) 2 u 2 du = z (1 z) 2 ( ln z + 1 z ). 35

36 The derivative method The method begins with the derivation of a recurrence relation for the coefficients a n in the Frobenius series solution. However, rather than putting σ = σ 1 in this recurrence relation to evaluate the first series solution, we instead keep σ as a variable parameter. This means that the computed a n are functions of σ and the computed solution is now a function of z and σ Let y(z, σ) = z σ a n (σ)z n. (24) L = d2 dx 2 + p(z) d dx + q(z), The series Ly(z, σ) will contain only a term in z σ, since the recurrence relation defining the a n (σ) is such that these coefficients vanish for higher powers of z. But the coefficients of z σ is simply the LHS of the indicial equation. 36

37 Therefore, if the roots of the indicial equation are σ = σ 1 and σ = σ 2, it follows that Ly(z, σ) = a 0 (σ σ 1 )(σ σ 2 )z σ. (25) Thus, for y(z, σ) to be a solution of the ODE Ly = 0, σ must equal σ 1 or σ 2. For simplicity, we shall set a 0 = 1 in the following discussion. Let us first consider the case in which the two roots of the indicial equation are equal, σ 1 = σ 2. From Eq. (25) we then have Ly(z, σ) = (σ σ 1 ) 2 z n. Differentiating this equation with respect to σ, we obtain σ [Ly(z, σ)] = (σ σ 1) 2 z σ ln z + 2(σ σ 1 )z σ, which equal zero if σ = σ 1. But since / σ and L are operators that differentiate with respect to different variables, we can reverse their order, so that [ ] L y(z, σ) = 0 at σ = σ 1. σ 37

38 Hence the function in square brackets, evaluated at σ = σ 1, and denoted by [ ] y(z, σ), (26) σ σ=σ 1 is also a solution of the original ODE Ly = 0, and is the second linearly independent solution. The case by which the roots of the indicial equation differ by an integer is now treated. In Eq. (25), since L differentiates with respect to z we may multiply Eq. (25) by any function of σ, say σ σ 2, and take this function inside L on the LHS to obtain L[(σ σ 2 )y(z, σ)] = (σ σ 1 )(σ σ 2 ) 2 z σ. (27) Therefore the function [(σ σ 2 )y(z, σ)] σ=σ2 is also a solution of the ODE Ly = 0. 38

39 Since this function is not linearly independent with y(z, σ 1 ), we must find another solution. Differentiating Eq. (27) with respect to σ, we find σ {L[(σ σ 2)y(z, σ)]} = (σ σ 2 ) 2 z σ +2(σ σ 1 )(σ σ 2 )z σ + (σ σ 1 )(σ σ 2 ) 2 z σ ln z, which is equal to zero if σ = σ 2. Therefore, { } L σ [(σ σ 2)y(z, σ)] = 0 at σ = σ 2, and so the function { } σ [(σ σ 2)y(z, σ)] (28) σ=σ 2 is also a solution of the original ODE Ly = 0, and is the second linearly independent solution. 39

40 Example Find a second solution to Eq. (19) using the derivative method. Answer From Eq. (21) the recurrence relation (with σ as a parameter) id given by (n + σ 1)a n = (n + σ)a n 1. Setting a 0 = 1 we find that the coefficients have the particularly simple form a n (σ) = (σ + n)/σ. We therefore consider the function y(z, σ) = z σ a n (σ)z n = z σ σ + n σ zn. The smaller toot of the indicial equation for Eq. (19) is σ 2 = 0, and so from Eq. (28) a second linearly independent solution to the ODE is { } [σy(z, σ)] σ σ=0 = { σ [ z σ n 0 (σ + n)z n ]} σ=0. 40

41 The derivative with respect to σ is given by [ ] z σ (σ + n)z n = z σ ln z (σ + n)z n σ +z σ z n, which on setting σ = 0 gives the second solution y 2 (z) = ln z = = nz n + z n z (1 z) 2 ln z z z (ln (1 z) 2 z + 1z ) 1. 41

42 Series form of the second solution Let us consider the case when the two solutions of the indicial equation are equal. In this case, a second solution is given by Eq. (26), y 2 (z) = [ ] y(z, σ) σ σ=σ 1 = (ln z)z σ 1 a n (σ 1 )z n +z σ 1 [ ] dan (σ) dσ = y 1 (z) ln z + z σ 1 where b n = [da n (σ)/dσ] σ=σ1. σ=σ 1 z n b n z n, n=1 42

43 In the case where the roots of the indicial equation differ by an integer, then from Eq. (28) a second solution is given by { } y 2 (z) = σ [(σ σ 2)y(z, σ)] σ=σ 2 [ ] = ln z (σ σ 2 )z σ a n (σ)z n +z σ 2 σ=σ 2 [ ] d dσ (σ σ 2)a n (σ) z n. σ=σ 2 But (σ σ 2 )y(z, σ)] at σ = σ 2 is just a multiple of the first solution y(z, σ 1 ). Therefore the second solution is of the form y 2 (z) = cy 1 (z) ln z + z σ 2 b n z n, where c is a constant. 43

44 Polynomial solutions Example Find the power series solutions about z = 0 of y 2zy + λy = 0. (29) For what values of λ does the equation possess a polynomial solution? Find such a solution for λ = 4. Answer z = 0 is an ordinary point of Eq. (29) and so we look for solutions of the form y = z nz n. Substituting this into the ODE and multiplying through by z 2, we find [n(n 1) 2z 2 n + λz 2 ]a n z n = 0. 44

45 By demanding that the coefficients of each power of z vanish separately we derive the recurrence relation n(n 1)a n 2(n 2)a n 2 + λa n 2 = 0, which may be rearranged to give a n = 2(n 2) λ a n 2 for n 2. (30) n(n 1) The odd and even coefficients are therefore independent of one another, and two solutions to Eq. (29) may be derived. We sither set a 1 = 0 and a 0 = 1 to obtain y 1 (z) = 1 λ z2 2! λ(4 λ)z4 4! λ(4 λ)(8 λ)z6 6!, or set a 0 = 0 and a 1 = 1 to obtain y 2 (z) = z (2 λ) z3 3! (2 λ)(6 λ)z5 5! (2 λ)(6 λ)(10 λ) z7 7!. (31) 45

46 Now from the recurrence relation Eq. (30) we see that for the ODE to possess a polynomial solution we require λ = 2(n 2) for n 2, or more simply λ = 2n for n 0, i.e. λ must be an even positive integer. If λ = 4 then from Eq. (31) the ODE has the polynomial solution y 1 (z) = 1 4z2 2! = 1 2z 2. ALTERNATIVE SOLUTION: We assume a polynomial solution to Eq. (29) of the form y = N a nz n. Substituting this form into Eq. (29) we find [n(n 1)a n z n 2 2zna n z n 1 + λna n z n ] = 0. Starting with the highest power of z, we demand that the coefficient of z N vanishes. We require 2N + λ = 0 or λ = 2N. 46

47 Legendre s equation Legendre s equation is (1 z 2 )y 2zy + l(l + 1)y = 0. (32) In normal usage, the variable z is the cosine of the polar angle in spherical polars, and thus 1 z 1. The parameter l is a given real number, and any solution of Eq. (32) is called a Legendre function. z = 0 is an ordinary point of Eq. (32), and so there are two linearly independent solutions of the form y = a nz n. Substituting we find [n(n 1)a n z n 2 n(n 1)a n z n 2na n z n + l(l + 1)a n z n ] = 0, which on collecting terms gives {(n + 2)(n + 1)a n+2 [n(n + 1) l(l + 1)]a n }z n = 0. 47

48 The recurrence relation is therefore a n+2 = [n(n + 1) l(l + 1)] a n, (33) (n + 1)(n + 2) for n = 0, 1, 2,.... If we choose a 0 = 1 and a 1 = 0 then we obtain the solution y 1 (z) = 1 l(l + 1) z2 2! +(l 2)l(l + 1)(l + 3) z4 4!,(34) whereas choosing a 0 = 0 and a 1 = 1, we find a second solution y 2 (z) = z (l 1)(l + 2) z3 3! +(l 3)(l 1)(l + 2)(l + 4) z5 5!. (35) Both series converge for z < 1, so their radius of convergence is unity. Since Eq. (34) contains only even powers of z and (35) only odd powers, we can write the general solution to Eq. (32) as y = c 1 y 1 + c 2 y 2 for z < 1. 48

49 General solution for integer l Now, if l is an integer in Eq. (32), i.e. l = 0, 1, 2,... then the recurrence relation Eq. (33) gives a l+2 = [l(l + 1) l(l + 1)] a l = 0, (l + 1)(l + 2) so that the series terminates and we obtain a polynomial solution of order l. These solutions are called Legendre polynomial of order l; they are written P l (z) and are valid for all finite z. It is convenient to normalize P l (z) in such a way that P l (1) = 1, and as a consequence P l ( 1) = ( 1) l. The first few Legendre polynomials are given by P 0 (z) = 1 P 1 (z) = z P 2 (z) = 1 2 (3z2 1) P 3 (z) = 1 2 (5z3 3z) P 4 (z) = 1 8 (35z4 30z 2 + 3) P 5 (z) = 1 8 (63z5 70z 3 +15z). 49

50 According to whether l is an even or odd integer respectively, either y 1 (z) in Eq. (34) or y 2 (z) in Eq. (35) terminates to give a multiple of the corresponding Legendre polynomial P l (z). In either case, however, the other series does not terminate and therefore converges only for z < 1. According to whether l is even or odd we define Legendre function of the second kind as Q l (z) = α l y 2 (z) or Q l (z) = β l y 1 (z) respectively, where the constants α l and β l are conventionally taken to have the values α l = ( 1)l/2 2 l [(l/2)!] 2 l! β l = ( 1)(l+1)/2 2 l 1 {[(l 1)/2]!} 2 l! for l even, (36) for l odd. (37) 50

51 These normalization factors are chosen so that the Q l (z) obey the same recurrence relations as the P l (z). The general solution of Legendre s equation for integer l is therefore y(z) = c 1 P l (z) + c 2 Q l (z), (38) where P l (z) is a polynomial of order l and so converges for all z, and Q l (z) is an infinite series that converges only for z < 1. 51

52 Example Use the Wronskian method to find a closed-form expression for Q 0 (z). Answer From Eq. (23) a second solution to Legendre s equation Eq. (32), with l = 0, is z ( 1 u ) y 2 (z) = P 0 (z) [P 0 (u)] 2 exp 2v 1 v 2 dv du = = z exp [ ln(1 u 2 ) ] du z du (1 u 2 ) = 1 ( ) 1 + z 2 ln. (39) 1 z Expanding the logarithm in Eq. (39) as a Maclaurin series we obtain y 2 (z) = z + z3 3 + z

53 Comparing this with the expression for Q 0 (z), using Eq. (35) with l = 0 and the normalization Eq. (36), we find that y 2 (z) is already correctly normalized, and so Q 0 (z) = 1 ( ) 1 + z 2 ln. 1 z 53

54 Properties of Legendre polynomials Rodrigues formula Rodrigues formula for the P l (z) is P l (z) = 1 2 l l! d l dz l (z2 1) l. (40) To prove that this is a representation, we let u = (z 2 1) l, so that u = 2lz(z 2 1) l 1 and (z 2 1)u 2lzu = 0. If we differentiate this expression l + 1 times using Leibnitz theorem, we obtain [(z 2 1)u (l+2) + 2z(l + 1)u (l+1) + l(l + 1)u (l)] which reduces to 2l [ zu (l+1) + (l + 1)u (l)] = 0, (z 2 1)u (l+2) + 2zu (l+1) l(l + 1)u (l) = 0. 54

55 Changing the sign all through, and comparing the resulting expression with Legendre s equation Eq. (32), we see that u (l) satisfies the same equation as P l (z), so that u (l) (z) = c l P l (z), (41) for some constant c l that depends on l. To establish the value of c l, we note that the only term in the expression for the lth derivative of (z 2 1) l that does not contain a factor z 2 1, and therefore does not vanish at z = 1, is (2z) l l!(z 2 1) 0. Putting z = 1 in Eq. (41) therefore shows that c l = 2 l l!, thus completing the proof of Eq. (40). 55

56 Example Use Rodrigues formula to show that I l = 1 1 P l (z)p l (z) dz = 2 2l + 1. (42) Answer This is obvious for l = 0, and so we assume l 1. Then, by Rodrigues formula 1 1 [ d l (z 2 1) l ] [ d l (z 2 1) l ] I l = 2 2l (l!) 2 dz l dz l dz. 1 Repeated integration by parts, with all boundary terms vanishing, reduces this to I l = ( 1)l 2 2l (l!) 2 = (2l)! 2 2l (l!) (z 2 1) l d2l dz 2l (z2 1) l dz (1 z 2 ) l dz. 56

57 If we write K l = 1 1 (1 z 2 ) l dz, then integration by parts (taking a factor 1 as the second part) gives K l = 1 1 2lz 2 (1 z 2 ) l 1 dz. Writing 2lz 2 as 2l 2l(1 z 2 ) we obtain K l = 2l 1 1 = 2lK l 1 2lK l (1 z 2 ) l 1 dz 2l 1 1 and hence the recurrence relation (2l + 1)K l = 2lK l 1. We therefore find K l = 2l 2l 2 2l + 1 2l K 0 = 2 l 2 l l! l! (2l + 1)! 2 = 22l+1 (l!) 2 (2l + 1)!. (1 z 2 ) l dz, 57

58 Another property of the P l (z) is their mutual orthogonality 1 1 P l (z)p k (z) dz = 0 if l k. (43) 58

59 Generating function for Legendre polynomials The generating function for, say, a series of functions f n (z) for n = 0, 1, 2,... is a function G(z, h), containing as well as z a dummy variable h, such that G(z, h) = f n (z)h n, i.e. f n (z) is the coefficient of h n in the expansion of G in powers of h. Let us consider the functions P n (z) defined by the equation G(z, h) = (1 2zh + h 2 ) 1/2 = P n (z)h n. (44) The functions so defined are identical to the Legendre polynomials and the function (1 2zh + h 2 ) 1/2 is the generating function for them. 59

60 In the following, dp n (z)/dz will be denoted by P n. First, we differentiate the defining equation Eq. (44) with respect to z to get h(1 2zh + h 2 ) 3/2 = P nh n. (45) Also. we differentiate Eq. (44) with respect to h to yield (z h)(1 2zh + h 2 ) 3/2 = np n h n 1. (46) Eq. (45) can be written suing Eq. (44) as h P n h n = (1 2zh + h 2 ) P nh n, and thus equating coefficients of h n+1 we obtain the recurrence relation P n = P n+1 2zP n + P n 1. (47) Eqs. (45) and (46) can be combined as (z h) P nh n = h np n h n 1, from which the coefficient of h n yields a second recurrence relation zp n P n 1 = np n. (48) 60

61 Eliminating P n 1 between Eqs. (47) and (48) gives the further result (n + 1)P n = P n+1 zp n. (49) If we now take the result Eq. (49) with n replaced by n 1 and add z times Eq. (48) to it, we obtain (1 z 2 )P n = n(p n 1 zp n ). Finally, differentiating both sides with respect to z and using Eq. (48) again, we find (1 z 2 )P n 2zP n = n[(p n 1 zp n) P n ] = n( np n P n ) = n(n + 1)P n, and so the P n defined by Eq. (44) satisfies Legendre s equation. It only remains to verify the normalization. This is easily done at z = 1 when G becomes G(1, h) = [(1 h) 2 ] 1/2 = 1 + h + h 2 +, and thus all the P n so defined have P n (1) = 1. 61

62 Bessel s equation Bessel s equation has the form z 2 y + zy + (z 2 ν 2 )y = 0, (50) where the parameter ν is a given number, which we may take as 0 with no loss of generality. In Bessel s equation, z is usually a multiple of a radial distance and therefore ranges from 0 to. Rewriting Eq. (50) we have y + 1 ) z y + (1 ν2 y = 0. (51) By inspection z = 0 is a regular singular point; hence we try a solution of the form y = z σ a nz n. Substituting this into Eq. (51) and multiplying the resulting equation by z 2 σ, we obtain [ (σ + n)(σ + n 1) + (σ + n) ν 2 ] a n z n z 2 + a n z n+2 = 0, 62

63 which simplifies to [(σ + n) 2 ν 2 ]a n z n + a n z n+2 = 0. Considering coefficients of z 0 we obtain the indicial equation σ 2 ν 2 = 0, so that σ = ±ν. For coefficients of higher powers of z we find [ (σ + 1) 2 ν 2] a 1 = 0, (52) [ (σ + n) 2 ν 2] a n + a n 2 = 0 for n 2. Substituting σ = ±ν into Eqs. (52) and (53) we obtain the recurrence relations (53) (1 ± 2ν)a 1 = 0, (54) n(n ± 2ν)a n + a n 2 = 0 for n 2. (55) 63

64 General solution for non-integer ν If ν is a non-integer, then in general the two roots of the indicial equation, σ 1 = ν and σ 2 = ν, will not differ by an integer, and we may obtain two linearly independent solutions. Special cases od arise, however, when ν = m/2 for m = 1, 3, 5,..., and σ 1 σ 2 = 2ν = m is an (odd positive) integer. For such cases, we may always obtain a solution in the form of Frobenius series corresponding to the larger root σ 1 = ν = m/2. For the smaller root σ 2 = ν = m/2, however, we must determine whether a second Frobenius series solution is possible by examining the recurrence relation Eq. (55), which reads n(n m)a n + a n 2 = 0 for n 2. Since m is an odd positive integer in this case, we can use this recurrence relation (starting with a 0 0) to calculate a 2, a 4, a 6,.... It is therefore possible to find a second solution in the form of a Frobenius series corresponding to the smaller root σ 2. 64

65 Therefore, in general, for non-integer ν we have from Eqs. (54) and (55) 1 a n = n(n ± 2ν) a n 2 for n = 2, 4, 6,..., = 0 for n = 1, 3, 5,.... Setting a 0 = 1 in each case, we obtain the two solutions We set y ±ν (z) = z ±ν [1 z 2 2(2 ± 2ν) + z 4 2 4(2 ± 2ν)(4 ± 2ν) a 0 = 1 2 ±ν Γ(1 ± ν), where Γ(x) is the gamma function. ]. 65

66 The two solutions of Eq. (50) are then written as J ν (z) and J ν (z), where 1 ( z ) [ ν J ν (z) = 1 1 ( z ) 2 Γ(ν + 1) 2 ν = 1 + (ν + 1)(ν + 2) 1 2! ( z 2 ( 1) n n!γ(ν + n + 1) ( z 2 ) 4 ] ) ν+2n ; (56) and replacing ν by ν gives J ν (z). The functions J ν (z) and J ν (z) are called Bessel functions of the first kind, of order ν. Since the first term of each series is a finite non-zero multiple of z ν and z ν respectively, if ν is not an integer, J ν (z) and J ν (z) are linearly independent. Therefore, for non-integer ν the general solution of Bessel s equation Eq. (50) is y(z) = c 1 J ν (z) + c 2 J ν (z). (57) 66

67 General solution for integer ν Let us consider the case when ν = 0, so that the two solutions to the indicial equation are equal, and we obtain one solution in the form of a Frobenius series. From Eq. (56), this is given by J 0 (z) = ( 1) n 2 2n 2 2n n!γ(1 + n) = 1 z z z In general, however, if ν is a positive integer then the solutions to the indicial equation differ by an integer. For the larger root, σ 1 = ν, we may find a solution J ν (z) for ν = 1, 2, 3,..., in the form of a Frobenius series given by Eq. (56). For the smaller root σ 2 = ν, however, the recurrence relation Eq. (55) becomes n(n m)a n + a n 2 = 0 for n 2, where m = 2ν is now an even positive integer, i.e. m = 2, 4, 6,

68 Starting with a 0 0, we may calculate a 2, a 4, a 6,..., but we see that when n = m the coefficient a n is infinite, and the method fails to produce a second solution. By replacing ν by ν in the definition of J ν (z), Eq. (56), we have, for integer ν, J ν (z) = ( 1) ν J ν (z) and hence that J ν (z) and J ν (z) are linearly dependent. One then defines the function Y ν (z) = J ν(z) cos νπ J ν (z), (58) sin νπ which is called a Bessel s function of the second kind or order ν. For non-integer ν, Y ν (z) is linearly independent of J ν (z). It may also be shown that the Wronskian of J ν (z) and Y ν (z) is non-zero for all values of ν. Hence J ν (z) and Y ν (z) always constitute a pair of independent solutions. The expression Eq. (58) does, however, become an indeterminate form 0/0 when ν is an integer. 68

69 This is so because for integer ν we have cos νπ = ( 1) ν and J ν (z) = ( 1) ν J ν (z). For integer ν, we set [ ] Jµ (z) cos µπ J µ (z) Y ν (z) = lim, (59) µ ν sin µπ which gives a linearly independent second solution for integer ν. Therefore, we may write the general solution of Bessel s equation, valid for all ν, as y(z) = c 1 J ν (z) + c 2 Y ν (z). (60) 69

70 Properties of Bessel functions Example Prove the recurrence relation Answer d dz [zν J ν (z)] = z ν J ν 1 (z). (61) From the power series definition Eq. (56) of J ν (z), we obtain d dz [zν J ν (z)] = d ( 1) n z 2ν+2n dz 2 ν+2n n!γ(ν + n + 1) = = z ν ( 1) n z 2ν+2n 1 2 ν+2n 1 n!γ(ν + n) = z ν J ν 1 (z). ( 1) n z (ν 1)+2n 2 (ν 1)+2n n!γ(ν 1 + n + 1) 70

71 Similarly, we have d dz [z ν J ν (z)] = z ν J ν+1 (z). (62) From Eqs. (61) and (62) the remaining recurrence relations may be derived. Expanding out the derivative on the LHS of Eq. (61) and dividing through by z ν 1, we obtain the relation zj ν(z) + νj ν (z) = zj ν 1 (z). (63) Similarly, by expanding out the derivative on the LHS of Eq. (62), and multiplying through by z ν+1, we find zj ν(z) νj ν (z) = zj ν+1 (z). (64) Adding Eq. (63) and Eq. (64) and dividing through by z gives J ν 1 (z) J ν+1 (z) = 2J ν(z). (65) Finally, subtracting Eq. (64) from Eq. (63) and dividing through by z gives J ν 1 (z) + J ν+1 (z) = 2ν z J ν(z). (66) 71

72 Mutually orthogonality of Bessel functions By definition, the function J ν (z) satisfies Bessel s equation Eq. (50), z 2 y + zy + (z 2 ν 2 )y = 0. Let us instead consider the functions f(z) = J ν (λz) and g(z) = J ν (µz), which respectively satisfy the equations z 2 f + zf + (λ 2 z 2 ν 2 )f = 0, (67) z 2 g + zg + (µ 2 z 2 ν 2 )g = 0. (68) 72

73 Example Show that f(z) = J ν (λz) satisfies Eq. (67). Answer If f(z) = J ν (λz) and we write w = λz, then df dz = λdj ν(w) dw and d2 f dz 2 = λ2 d2 J ν (w) dw 2. When these expressions are substituted, the LHS of Eq. (67) becomes z 2 λ 2 d2 J ν (w) dw 2 = w 2 d2 J ν (w) dw 2 + zλ dj ν(w) dw + w dj ν(w) dw + (λ2 z 2 ν 2 )J ν (w) + (w2 ν 2 )J ν (w). But, from Bessel s equation itself, this final expression is equal to zero, thus verifying that f(z) does satisfy Eq. (67). 73

74 Now multiplying Eq. (68) by f(z) and Eq. (67) by g(z) and subtracting gives d dz [z(fg gf )] = (λ 2 µ 2 )zfg, (69) where we have used the fact that d dz [z(fg gf )] = z(fg gf ) + (fg gf ). By integrating Eq. (69) over any given range z = a to z = b, we obtain b a zf(z)g(z) dz = 1 λ 2 µ 2 [zf(z)g (z) zg(z)f (z)] b a, which, on setting f(z) = J ν (λz) and g(z) = J ν (µz), becomes b a zj ν (λz)j ν (µz) dz = 1 λ 2 µ 2 [µzj ν(λz)j ν(µz) λzj ν (µz)j ν(λz)] b a. (70) 74

75 If λ µ and the interval [a, b] is such that the expression on the RHS of Eq. (70) equals zero we obtain the orthogonality condition b a zj ν (λz)j ν (µz) dz = 0. (71) 75

76 Generating function for Bessel functions The Bessel functions J ν (z), where ν is an integer, cab be described by a generating function, which is given by G(z, h) = exp [ z 2 ( h 1 )] h = n= J n (z)h n. (72) By expanding the exponential as a power series, it can be verified that the functions J n (z) defined by Eq. (72) are Bessel functions of the first kind. 76

77 Example Use the generating function Eq. (72) to prove, for integer ν, the recurrence relation Eq. (66), i.e. J ν 1 (z) + J ν+1 (z) = 2ν z J ν(z). Answer Differentiating G(z, h) with respect to h, we obtain G(z, h) = z (1 + 1h ) h 2 2 G(z, h) = nj n (z)h n 1, which can be written using Eq. (72) again as z 2 ( h 2 ) J n (z)h n = nj n (z)h n 1. Equating coefficients of h n we obtain z 2 [J n(z) + J n+2 (z)] = (n + 1)J n+1 (z), which on replacing n by ν 1 gives the required recurrence relation. 77

### LS.6 Solution Matrices

LS.6 Solution Matrices In the literature, solutions to linear systems often are expressed using square matrices rather than vectors. You need to get used to the terminology. As before, we state the definitions

### Introduction to Sturm-Liouville Theory

Introduction to Ryan C. Trinity University Partial Differential Equations April 10, 2012 Inner products with weight functions Suppose that w(x) is a nonnegative function on [a,b]. If f (x) and g(x) are

### 2 Complex Functions and the Cauchy-Riemann Equations

2 Complex Functions and the Cauchy-Riemann Equations 2.1 Complex functions In one-variable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)

### 5.3 Improper Integrals Involving Rational and Exponential Functions

Section 5.3 Improper Integrals Involving Rational and Exponential Functions 99.. 3. 4. dθ +a cos θ =, < a

### Legendre fractional differential equation and Legender fractional polynomials

International Journal of Applied Mathematical Research, 3 (3) (2014) 214-219 c Science Publishing Corporation www.sciencepubco.com/index.php/ijamr doi: 10.14419/ijamr.v3i3.2747 Research Paper Legendre

### a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4)

ROOTS OF POLYNOMIAL EQUATIONS In this unit we discuss polynomial equations. A polynomial in x of degree n, where n 0 is an integer, is an expression of the form P n (x) =a n x n + a n 1 x n 1 + + a 1 x

### SECOND-ORDER LINEAR DIFFERENTIAL EQUATIONS

SECOND-ORDER LINEAR DIFFERENTIAL EQUATIONS A second-order linear differential equation has the form 1 Px d y dx dy Qx dx Rxy Gx where P, Q, R, and G are continuous functions. Equations of this type arise

### 1 Review of complex numbers

1 Review of complex numbers 1.1 Complex numbers: algebra The set C of complex numbers is formed by adding a square root i of 1 to the set of real numbers: i = 1. Every complex number can be written uniquely

### A Brief Review of Elementary Ordinary Differential Equations

1 A Brief Review of Elementary Ordinary Differential Equations At various points in the material we will be covering, we will need to recall and use material normally covered in an elementary course on

### 6. Define log(z) so that π < I log(z) π. Discuss the identities e log(z) = z and log(e w ) = w.

hapter omplex integration. omplex number quiz. Simplify 3+4i. 2. Simplify 3+4i. 3. Find the cube roots of. 4. Here are some identities for complex conjugate. Which ones need correction? z + w = z + w,

### Some Notes on Taylor Polynomials and Taylor Series

Some Notes on Taylor Polynomials and Taylor Series Mark MacLean October 3, 27 UBC s courses MATH /8 and MATH introduce students to the ideas of Taylor polynomials and Taylor series in a fairly limited

### Solutions to Homework 10

Solutions to Homework 1 Section 7., exercise # 1 (b,d): (b) Compute the value of R f dv, where f(x, y) = y/x and R = [1, 3] [, 4]. Solution: Since f is continuous over R, f is integrable over R. Let x

### Second-Order Linear Differential Equations

Second-Order Linear Differential Equations A second-order linear differential equation has the form 1 Px d 2 y dx 2 dy Qx dx Rxy Gx where P, Q, R, and G are continuous functions. We saw in Section 7.1

### Polynomials and Vieta s Formulas

Polynomials and Vieta s Formulas Misha Lavrov ARML Practice 2/9/2014 Review problems 1 If a 0 = 0 and a n = 3a n 1 + 2, find a 100. 2 If b 0 = 0 and b n = n 2 b n 1, find b 100. Review problems 1 If a

### Matrix Norms. Tom Lyche. September 28, Centre of Mathematics for Applications, Department of Informatics, University of Oslo

Matrix Norms Tom Lyche Centre of Mathematics for Applications, Department of Informatics, University of Oslo September 28, 2009 Matrix Norms We consider matrix norms on (C m,n, C). All results holds for

### General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1

A B I L E N E C H R I S T I A N U N I V E R S I T Y Department of Mathematics General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1 Dr. John Ehrke Department of Mathematics Fall 2012 Questions

### HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

### Integrals of Rational Functions

Integrals of Rational Functions Scott R. Fulton Overview A rational function has the form where p and q are polynomials. For example, r(x) = p(x) q(x) f(x) = x2 3 x 4 + 3, g(t) = t6 + 4t 2 3, 7t 5 + 3t

### The General, Linear Equation

Chapter 2 The General, Linear Equation Let a 1 (x), a 2 (x),..., a n (x) be continuous functions defined on the interval a x b, and suppose u (x) is n-times differentiable there. We form from u the function

### Inner Product Spaces

Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

### M. Abu Hammad 1, R. Khalil 2. University of Jordan

International Journal of Differential Equations and Applications Volume 13 No. 3 014, 177-183 ISSN: 1311-87 url: http://www.ijpam.eu doi: http://dx.doi.org/10.173/ijdea.v13i3.1753 PA acadpubl.eu ABEL S

### Introduction to Partial Differential Equations. John Douglas Moore

Introduction to Partial Differential Equations John Douglas Moore May 2, 2003 Preface Partial differential equations are often used to construct models of the most basic theories underlying physics and

### 1 if 1 x 0 1 if 0 x 1

Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

### Joint Probability Distributions and Random Samples (Devore Chapter Five)

Joint Probability Distributions and Random Samples (Devore Chapter Five) 1016-345-01 Probability and Statistics for Engineers Winter 2010-2011 Contents 1 Joint Probability Distributions 1 1.1 Two Discrete

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

### 6.4 The Infinitely Many Alleles Model

6.4. THE INFINITELY MANY ALLELES MODEL 93 NE µ [F (X N 1 ) F (µ)] = + 1 i

### Application of Fourier Transform to PDE (I) Fourier Sine Transform (application to PDEs defined on a semi-infinite domain)

Application of Fourier Transform to PDE (I) Fourier Sine Transform (application to PDEs defined on a semi-infinite domain) The Fourier Sine Transform pair are F. T. : U = 2/ u x sin x dx, denoted as U

### Elementary Differential Equations

Elementary Differential Equations EIGHTH EDITION Earl D. Rainville Late Professor of Mathematics University of Michigan Phillip E. Bedient Professor Emeritus of Mathematics Franklin and Marshall College

### MITES Physics III Summer Introduction 1. 3 Π = Product 2. 4 Proofs by Induction 3. 5 Problems 5

MITES Physics III Summer 010 Sums Products and Proofs Contents 1 Introduction 1 Sum 1 3 Π Product 4 Proofs by Induction 3 5 Problems 5 1 Introduction These notes will introduce two topics: A notation which

### Lies My Calculator and Computer Told Me

Lies My Calculator and Computer Told Me 2 LIES MY CALCULATOR AND COMPUTER TOLD ME Lies My Calculator and Computer Told Me See Section.4 for a discussion of graphing calculators and computers with graphing

### Reducibility of Second Order Differential Operators with Rational Coefficients

Reducibility of Second Order Differential Operators with Rational Coefficients Joseph Geisbauer University of Arkansas-Fort Smith Advisor: Dr. Jill Guerra May 10, 2007 1. INTRODUCTION In this paper we

### COMPLEX NUMBERS AND SERIES. Contents

COMPLEX NUMBERS AND SERIES MIKE BOYLE Contents 1. Complex Numbers Definition 1.1. A complex number is a number z of the form z = x + iy, where x and y are real numbers, and i is another number such that

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

### 1.7. Partial Fractions. 1.7.1. Rational Functions and Partial Fractions. A rational function is a quotient of two polynomials: R(x) = P (x) Q(x).

.7. PRTIL FRCTIONS 3.7. Partial Fractions.7.. Rational Functions and Partial Fractions. rational function is a quotient of two polynomials: R(x) = P (x) Q(x). Here we discuss how to integrate rational

Introduction to Calculus for Business and Economics by Stephen J. Silver Department of Business Administration The Citadel I. Functions Introduction to Calculus for Business and Economics y = f(x) is a

### Equations and Inequalities

Rational Equations Overview of Objectives, students should be able to: 1. Solve rational equations with variables in the denominators.. Recognize identities, conditional equations, and inconsistent equations.

### Recitation 4. 24xy for 0 < x < 1, 0 < y < 1, x + y < 1 0 elsewhere

Recitation. Exercise 3.5: If the joint probability density of X and Y is given by xy for < x

### 6.8 Taylor and Maclaurin s Series

6.8. TAYLOR AND MACLAURIN S SERIES 357 6.8 Taylor and Maclaurin s Series 6.8.1 Introduction The previous section showed us how to find the series representation of some functions by using the series representation

### 3 Contour integrals and Cauchy s Theorem

3 ontour integrals and auchy s Theorem 3. Line integrals of complex functions Our goal here will be to discuss integration of complex functions = u + iv, with particular regard to analytic functions. Of

### Taylor Series and Asymptotic Expansions

Taylor Series and Asymptotic Epansions The importance of power series as a convenient representation, as an approimation tool, as a tool for solving differential equations and so on, is pretty obvious.

### Change of Continuous Random Variable

Change of Continuous Random Variable All you are responsible for from this lecture is how to implement the Engineer s Way (see page 4) to compute how the probability density function changes when we make

### Partial Fractions. Combining fractions over a common denominator is a familiar operation from algebra:

Partial Fractions Combining fractions over a common denominator is a familiar operation from algebra: From the standpoint of integration, the left side of Equation 1 would be much easier to work with than

### 1. First-order Ordinary Differential Equations

Advanced Engineering Mathematics 1. First-order ODEs 1 1. First-order Ordinary Differential Equations 1.1 Basic concept and ideas 1.2 Geometrical meaning of direction fields 1.3 Separable differential

### 2.3. Finding polynomial functions. An Introduction:

2.3. Finding polynomial functions. An Introduction: As is usually the case when learning a new concept in mathematics, the new concept is the reverse of the previous one. Remember how you first learned

### Solving DEs by Separation of Variables.

Solving DEs by Separation of Variables. Introduction and procedure Separation of variables allows us to solve differential equations of the form The steps to solving such DEs are as follows: dx = gx).

### CHAPTER 2. Eigenvalue Problems (EVP s) for ODE s

A SERIES OF CLASS NOTES FOR 005-006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 4 A COLLECTION OF HANDOUTS ON PARTIAL DIFFERENTIAL EQUATIONS

### PYTHAGOREAN TRIPLES PETE L. CLARK

PYTHAGOREAN TRIPLES PETE L. CLARK 1. Parameterization of Pythagorean Triples 1.1. Introduction to Pythagorean triples. By a Pythagorean triple we mean an ordered triple (x, y, z) Z 3 such that x + y =

### TOPIC 3: CONTINUITY OF FUNCTIONS

TOPIC 3: CONTINUITY OF FUNCTIONS. Absolute value We work in the field of real numbers, R. For the study of the properties of functions we need the concept of absolute value of a number. Definition.. Let

### DRAFT. Further mathematics. GCE AS and A level subject content

Further mathematics GCE AS and A level subject content July 2014 s Introduction Purpose Aims and objectives Subject content Structure Background knowledge Overarching themes Use of technology Detailed

### Core Maths C1. Revision Notes

Core Maths C Revision Notes November 0 Core Maths C Algebra... Indices... Rules of indices... Surds... 4 Simplifying surds... 4 Rationalising the denominator... 4 Quadratic functions... 4 Completing the

### Lecture Notes on Polynomials

Lecture Notes on Polynomials Arne Jensen Department of Mathematical Sciences Aalborg University c 008 Introduction These lecture notes give a very short introduction to polynomials with real and complex

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### In this lesson you will learn to find zeros of polynomial functions that are not factorable.

2.6. Rational zeros of polynomial functions. In this lesson you will learn to find zeros of polynomial functions that are not factorable. REVIEW OF PREREQUISITE CONCEPTS: A polynomial of n th degree has

### DEFINITION 5.1.1 A complex number is a matrix of the form. x y. , y x

Chapter 5 COMPLEX NUMBERS 5.1 Constructing the complex numbers One way of introducing the field C of complex numbers is via the arithmetic of matrices. DEFINITION 5.1.1 A complex number is a matrix of

### Understanding Poles and Zeros

MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF MECHANICAL ENGINEERING 2.14 Analysis and Design of Feedback Control Systems Understanding Poles and Zeros 1 System Poles and Zeros The transfer function

### Chapter 20. Vector Spaces and Bases

Chapter 20. Vector Spaces and Bases In this course, we have proceeded step-by-step through low-dimensional Linear Algebra. We have looked at lines, planes, hyperplanes, and have seen that there is no limit

### This is a square root. The number under the radical is 9. (An asterisk * means multiply.)

Page of Review of Radical Expressions and Equations Skills involving radicals can be divided into the following groups: Evaluate square roots or higher order roots. Simplify radical expressions. Rationalize

### Class XI Chapter 5 Complex Numbers and Quadratic Equations Maths. Exercise 5.1. Page 1 of 34

Question 1: Exercise 5.1 Express the given complex number in the form a + ib: Question 2: Express the given complex number in the form a + ib: i 9 + i 19 Question 3: Express the given complex number in

### Guide to SRW Section 1.7: Solving inequalities

Guide to SRW Section 1.7: Solving inequalities When you solve the equation x 2 = 9, the answer is written as two very simple equations: x = 3 (or) x = 3 The diagram of the solution is -6-5 -4-3 -2-1 0

### MATH 110 Spring 2015 Homework 6 Solutions

MATH 110 Spring 2015 Homework 6 Solutions Section 2.6 2.6.4 Let α denote the standard basis for V = R 3. Let α = {e 1, e 2, e 3 } denote the dual basis of α for V. We would first like to show that β =

### Quotient Rings and Field Extensions

Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

### 11.7 Polar Form of Complex Numbers

11.7 Polar Form of Complex Numbers 989 11.7 Polar Form of Complex Numbers In this section, we return to our study of complex numbers which were first introduced in Section.. Recall that a complex number

### 1.3 Polynomials and Factoring

1.3 Polynomials and Factoring Polynomials Constant: a number, such as 5 or 27 Variable: a letter or symbol that represents a value. Term: a constant, variable, or the product or a constant and variable.

### Differentiation and Integration

This material is a supplement to Appendix G of Stewart. You should read the appendix, except the last section on complex exponentials, before this material. Differentiation and Integration Suppose we have

### 4.5 Linear Dependence and Linear Independence

4.5 Linear Dependence and Linear Independence 267 32. {v 1, v 2 }, where v 1, v 2 are collinear vectors in R 3. 33. Prove that if S and S are subsets of a vector space V such that S is a subset of S, then

### On closed-form solutions to a class of ordinary differential equations

International Journal of Advanced Mathematical Sciences, 2 (1 (2014 57-70 c Science Publishing Corporation www.sciencepubco.com/index.php/ijams doi: 10.14419/ijams.v2i1.1556 Research Paper On closed-form

### Mathematics. (www.tiwariacademy.com : Focus on free Education) (Chapter 5) (Complex Numbers and Quadratic Equations) (Class XI)

( : Focus on free Education) Miscellaneous Exercise on chapter 5 Question 1: Evaluate: Answer 1: 1 ( : Focus on free Education) Question 2: For any two complex numbers z1 and z2, prove that Re (z1z2) =

### Mechanics 1: Conservation of Energy and Momentum

Mechanics : Conservation of Energy and Momentum If a certain quantity associated with a system does not change in time. We say that it is conserved, and the system possesses a conservation law. Conservation

### Introduction to Complex Numbers in Physics/Engineering

Introduction to Complex Numbers in Physics/Engineering ference: Mary L. Boas, Mathematical Methods in the Physical Sciences Chapter 2 & 14 George Arfken, Mathematical Methods for Physicists Chapter 6 The

### Lecture Notes on PDE s: Separation of Variables and Orthogonality

Lecture Notes on PDE s: Separation of Variables and Orthogonality Richard H. Rand Dept. Theoretical & Applied Mechanics Cornell University Ithaca NY 14853 rhr2@cornell.edu http://audiophile.tam.cornell.edu/randdocs/

### PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

### Stirling s formula, n-spheres and the Gamma Function

Stirling s formula, n-spheres and the Gamma Function We start by noticing that and hence x n e x dx lim a 1 ( 1 n n a n n! e ax dx lim a 1 ( 1 n n a n a 1 x n e x dx (1 Let us make a remark in passing.

### QUADRATIC EQUATIONS EXPECTED BACKGROUND KNOWLEDGE

MODULE - 1 Quadratic Equations 6 QUADRATIC EQUATIONS In this lesson, you will study aout quadratic equations. You will learn to identify quadratic equations from a collection of given equations and write

### Method of Green s Functions

Method of Green s Functions 8.303 Linear Partial ifferential Equations Matthew J. Hancock Fall 006 We introduce another powerful method of solving PEs. First, we need to consider some preliminary definitions

### A Second Course in Elementary Differential Equations: Problems and Solutions. Marcel B. Finan Arkansas Tech University c All Rights Reserved

A Second Course in Elementary Differential Equations: Problems and Solutions Marcel B. Finan Arkansas Tech University c All Rights Reserved Contents 8 Calculus of Matrix-Valued Functions of a Real Variable

### Problem Set 7 - Fall 2008 Due Tuesday, Oct. 28 at 1:00

18.781 Problem Set 7 - Fall 2008 Due Tuesday, Oct. 28 at 1:00 Throughout this assignment, f(x) always denotes a polynomial with integer coefficients. 1. (a) Show that e 32 (3) = 8, and write down a list

### r (t) = 2r(t) + sin t θ (t) = r(t) θ(t) + 1 = 1 1 θ(t) 1 9.4.4 Write the given system in matrix form x = Ax + f ( ) sin(t) x y 1 0 5 z = dy cos(t)

Solutions HW 9.4.2 Write the given system in matrix form x = Ax + f r (t) = 2r(t) + sin t θ (t) = r(t) θ(t) + We write this as ( ) r (t) θ (t) = ( ) ( ) 2 r(t) θ(t) + ( ) sin(t) 9.4.4 Write the given system

### Using Series to Solve Differential Equations

Using Series to Solve Differential Equations Many differential equations can t be solved explicitly in terms of finite combinations of simple familiar functions. This is true even for a simple-looking

### HOMEWORK 4 SOLUTIONS. All questions are from Vector Calculus, by Marsden and Tromba

HOMEWORK SOLUTIONS All questions are from Vector Calculus, by Marsden and Tromba Question :..6 Let w = f(x, y) be a function of two variables, and let x = u + v, y = u v. Show that Solution. By the chain

### Deriving character tables: Where do all the numbers come from?

3.4. Characters and Character Tables 3.4.1. Deriving character tables: Where do all the numbers come from? A general and rigorous method for deriving character tables is based on five theorems which in

### Limit processes are the basis of calculus. For example, the derivative. f f (x + h) f (x)

SEC. 4.1 TAYLOR SERIES AND CALCULATION OF FUNCTIONS 187 Taylor Series 4.1 Taylor Series and Calculation of Functions Limit processes are the basis of calculus. For example, the derivative f f (x + h) f

### South Carolina College- and Career-Ready (SCCCR) Pre-Calculus

South Carolina College- and Career-Ready (SCCCR) Pre-Calculus Key Concepts Arithmetic with Polynomials and Rational Expressions PC.AAPR.2 PC.AAPR.3 PC.AAPR.4 PC.AAPR.5 PC.AAPR.6 PC.AAPR.7 Standards Know

### 3.1. Solving linear equations. Introduction. Prerequisites. Learning Outcomes. Learning Style

Solving linear equations 3.1 Introduction Many problems in engineering reduce to the solution of an equation or a set of equations. An equation is a type of mathematical expression which contains one or

### Linear Algebra Notes for Marsden and Tromba Vector Calculus

Linear Algebra Notes for Marsden and Tromba Vector Calculus n-dimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of

### Course Notes for Math 162: Mathematical Statistics Approximation Methods in Statistics

Course Notes for Math 16: Mathematical Statistics Approximation Methods in Statistics Adam Merberg and Steven J. Miller August 18, 6 Abstract We introduce some of the approximation methods commonly used

### Numerical solution of the space-time tempered fractional diffusion equation. finite differences

Numerical solution of the space-time tempered fractional diffusion equation: Alternatives to finite differences Université catholique de Louvain Belgium emmanuel.hanert@uclouvain.be Which numerical method

### Vectors, Gradient, Divergence and Curl.

Vectors, Gradient, Divergence and Curl. 1 Introduction A vector is determined by its length and direction. They are usually denoted with letters with arrows on the top a or in bold letter a. We will use

### LIES MY CALCULATOR AND COMPUTER TOLD ME

LIES MY CALCULATOR AND COMPUTER TOLD ME See Section Appendix.4 G for a discussion of graphing calculators and computers with graphing software. A wide variety of pocket-size calculating devices are currently

### 3.2. Solving quadratic equations. Introduction. Prerequisites. Learning Outcomes. Learning Style

Solving quadratic equations 3.2 Introduction A quadratic equation is one which can be written in the form ax 2 + bx + c = 0 where a, b and c are numbers and x is the unknown whose value(s) we wish to find.

### Roots and Coefficients of a Quadratic Equation Summary

Roots and Coefficients of a Quadratic Equation Summary For a quadratic equation with roots α and β: Sum of roots = α + β = and Product of roots = αβ = Symmetrical functions of α and β include: x = and

### Representation of functions as power series

Representation of functions as power series Dr. Philippe B. Laval Kennesaw State University November 9, 008 Abstract This document is a summary of the theory and techniques used to represent functions

### Core Maths C3. Revision Notes

Core Maths C Revision Notes October 0 Core Maths C Algebraic fractions... Cancelling common factors... Multipling and dividing fractions... Adding and subtracting fractions... Equations... 4 Functions...

### Probability and Statistics Prof. Dr. Somesh Kumar Department of Mathematics Indian Institute of Technology, Kharagpur

Probability and Statistics Prof. Dr. Somesh Kumar Department of Mathematics Indian Institute of Technology, Kharagpur Module No. #01 Lecture No. #15 Special Distributions-VI Today, I am going to introduce

### 19.7. Applications of Differential Equations. Introduction. Prerequisites. Learning Outcomes. Learning Style

Applications of Differential Equations 19.7 Introduction Blocks 19.2 to 19.6 have introduced several techniques for solving commonly-occurring firstorder and second-order ordinary differential equations.

### Gradient, Divergence and Curl in Curvilinear Coordinates

Gradient, Divergence and Curl in Curvilinear Coordinates Although cartesian orthogonal coordinates are very intuitive and easy to use, it is often found more convenient to work with other coordinate systems.

### Zero: If P is a polynomial and if c is a number such that P (c) = 0 then c is a zero of P.

MATH 11011 FINDING REAL ZEROS KSU OF A POLYNOMIAL Definitions: Polynomial: is a function of the form P (x) = a n x n + a n 1 x n 1 + + a x + a 1 x + a 0. The numbers a n, a n 1,..., a 1, a 0 are called

### Dynamics at the Horsetooth, Volume 2A, Focussed Issue: Asymptotics and Perturbations

Dynamics at the Horsetooth, Volume A, Focussed Issue: Asymptotics and Perturbations Asymptotic Expansion of Bessel Functions; Applications to Electromagnetics Department of Electrical Engineering Colorado

### Constant Elasticity of Variance (CEV) Option Pricing Model:Integration and Detailed Derivation

Constant Elasticity of Variance (CEV) Option Pricing Model:Integration and Detailed Derivation Ying-Lin Hsu Department of Applied Mathematics National Chung Hsing University Co-authors: T. I. Lin and C.