User:Egm6321.f09.Team1/HW7
Problem 1: Odd and Even Solutions of Legendre DE [edit]
From Lecture Slide 37-1.
Given [edit]
From lecture slide 31-3, general expression for Legendre Polynomial is given by,
and from lecture slide 37-1, the general expression for the second solution of Legendre Differential Equation is given as,
where
is given by,
Find [edit]
Using Equation (2), to show when
is even or odd, depending on whether "
" is even or odd.
Solution [edit]
We know, from Odd and Even property of
, that
is odd, when
is odd and even, when
is even and the fact that
is odd.
(i). When
is odd.
When
is odd,
is odd and so,
is even.
-
So, when
is odd, first term in Equation (2) is even.
When
is odd, value of
is even since
values are odd, and so,
is even.
-
So, when
is odd, all the terms in the summation of Equation (2) are even.
And so,
-
So, when
is odd,
is even.
(ii). When
is even.
When
is even,
is even and so,
is odd.
-
So, when
is even, first term in Equation (2) is odd.
When
is even, value of
is odd since
values are odd, and so,
is odd.
-
So, when
is even, all the terms in the summation of Equation (2) are odd.
And so,
-
So, when
is even,
is odd.
Problem 2: Legendre Solutions Plot [edit]
From Lecture Slide 37-1.
Given [edit]
From lecture slide 31-3, general expression for Legendre Polynomial is given by,
and from lecture slide 37-1, the general expression for the second solution of Legendre Differential Equation is given as,
where
is given by,
Find [edit]
Plot {
} and {
} using Matlab.
Solution [edit]
Please refer Problem 6 Solution of HW6, for
.
Please refer [1], p. 33, for expressions of
.
The expression for
is given by,
-
.![\displaystyle
\Rightarrow Q_4= \left[\frac{35}{8} x ^ 4 - \frac{15}{4} x ^ 2 + \frac{3}{8}\right] \tanh^{-1}(x) - \frac{7}{8} \left[ 5 x ^ 3 - 3 x\right] - \frac{1}{3} x](//upload.wikimedia.org/math/1/7/e/17ea8294c1590b8709eb766fa8e1b67b.png)
Matlab Code:
clear all; x = -1:0.01:1; P_0 = 1*ones(1,length(x)); P_1 = x; P_2 = (1/2)*(3*x.^2 - 1); P_3 = (1/2)*(5*x.^3 - 3*x); P_4 = (35/8)*x.^4 - (15/4)*x.^2 + (3/8); Q_0 = atanh(x); Q_1 = x.*atanh(x) - 1; Q_2 = (1/2)*(3*x.^2 - 1).*atanh(x) - (3/2)*x; Q_3 = (1/2)*(5*x.^3 - x).*atanh(x) - (5/2)*x.^2 + (2/3); Q_4 = ((35/8)*x.^4 - (15/4)*x.^2 + (3/8)).*atanh(x) -(7/8)*(5*x.^3 - 3*x) - (1/3)*x; figure(1); plot(x,P_0,'--r',x,P_1,'--b',x,P_2,'--g',x,P_3,'--c',x,P_4,'--m'); legend('P_0','P_1','P_2','P_3','P_4'); figure(2); plot(x,Q_0,'--r',x,Q_1,'--b',x,Q_2,'--g',x,Q_3,'--c',x,Q_4,'--m'); legend('Q_0','Q_1','Q_2','Q_3','Q_4');
Plots:
The plots for
with
are shown below:
The plots for
with
are shown below:
Problem 3: Orthogonality of Legendre Solutions [edit]
From Lecture Slide 37-2.
Given [edit]
From lecture slide 31-3, general expression for Legendre Polynomial is given by,
and from lecture slide 37-1, the general expression for the second solution of Legendre Differential Equation is given as,
where
is given by,
Find [edit]
Show that,
.
Solution [edit]
From lecture slide 33-1, the inner (scalar) product is given by,
and Equation (4) becomes zero, when
is even and
is odd or when
is odd and
is even.
For
and
using Equation (4),
From Solution to Problem 1 above,
is odd and
is even, when
is even. When
is odd,
is even and
is odd.
So, for all values of
,
is opposite to
in oddness and evenness, which means,
And so,
Problem 4: Integration by Parts: Legendre Solutions [edit]
From lecture slide 37-3.
Given [edit]
From lecture slide 37-2,
where
and
are solutions to the Legendre differential equation.
Find [edit]
Show that
after integration by parts of
in Equation (1).
Solution [edit]
Let,
and,
We know,
and so, with
and 
For values of
and
,
Substituting Equation (7) in first term of Equation (6), first term becomes zero.
So,
Problem 5: Attraction of Spheres [edit]
From lecture slide 38-2.
Given [edit]
From lecture slide 38-2,
where,

and,

given by,
and,
Find [edit]
Show that,
where,
Solution [edit]
Equation (1) can be written as,
Substituting Equations (2) and (3) in (6),
And so,
Problem 6: Binomial Series [edit]
From lecture note slide 38-4.
Given [edit]
The binomial series expansion is
where
Find [edit]
Use Eqs. 1 and 2 to show that
where
Solution [edit]
Using Eq. 3, we can rewrite the LHS of Eq. 1 as
We can expand this
The number of factors in the numerator is
, hence we can rewrite this as
Change
, and cancel two minus signs
The denominator can then be expanded
So that
where
Problem 7: Generating Functon for Legendre Polynomials [edit]
From lecture note slide 39-2.
Given [edit]
We have that
and the binomial expansion
where
Using Eqs. 1 and 2, we can expand the expression
Find [edit]
Continue the expansion given by Eq. 4 to yield
,
, and
, and compare the result to that obtained by Eq. 7 on lecture note slide 31-3
Solution [edit]
We need the first 6 terms of the expansion
Using Eq. 3, we have that
we can substitute this into Eq. 6
From the above, we can extract
Using Eq. 5, we get
We have confirmed that the methods are equivalent, at least for terms up to
.
Notes and References [edit]
- ↑ King et al., "Differential Equations (Linear, Nonlinear, Ordinary, Partial)", Cambridge University Press, 2003
Contributing Team Members [edit]
Egm6321.f09.Team1.andy 12:03, 29 November 2009 (UTC)
Egm6321.f09.Team1.sallstrom 18:48, 2 December 2009 (UTC)
Egm6321.f09.Team1.vasquez 05:09, 5 December 2009 (UTC)
Egm6321.f09.Team1.AH 15:59, 8 December 2009 (UTC)









So, when 
![\displaystyle
\Rightarrow Q_4= \left[\frac{35}{8} x ^ 4 - \frac{15}{4} x ^ 2 + \frac{3}{8}\right] \tanh^{-1}(x) - 2 \left[ \frac{2(4)-2+1}{(2(4)-1+1)1} P_{3}(x) \right] - 2 \left[ \frac{2(4)-2(3)+1}{(2(4)-3+1)3} P_{1}(x) \right]](http://upload.wikimedia.org/math/5/9/0/59046d91fb9c96c6b491106855a82768.png)
![\displaystyle
\Rightarrow Q_4= \left[\frac{35}{8} x ^ 4 - \frac{15}{4} x ^ 2 + \frac{3}{8}\right] \tanh^{-1}(x) - \frac{7}{8} \left[ 5 x ^ 3 - 3 x\right] - \frac{1}{3} x](http://upload.wikimedia.org/math/1/7/e/17ea8294c1590b8709eb766fa8e1b67b.png)






![\displaystyle
\alpha = \int_{-1}^{+1} L_m \left[ (1-x^2) L'_n \right]' dx](http://upload.wikimedia.org/math/7/4/0/740ff0dfe1b6677470b398e47cf9c115.png)


![\displaystyle
dv = \left[ (1-x^2) L'_n \right]' dx.](http://upload.wikimedia.org/math/8/e/f/8ef6a9ae10918e71a8d9eee0cd326540.png)
![\displaystyle
\Rightarrow \int dv = \int\left[ (1-x^2) L'_n \right]' dx \Rightarrow v = \left[ (1-x^2) L'_n \right].](http://upload.wikimedia.org/math/d/d/5/dd55c8003afae3f85c4ad1a0eeea04bc.png)
![\displaystyle
\int_{a}^{b} udv = \left[uv \right]_{a}^{b} - \int_{a}^{b} vdu ,](http://upload.wikimedia.org/math/7/d/c/7dc7052bb45a39ca59c30d18d04966e0.png)
![\displaystyle
\alpha = \int_{-1}^1 L_m \left[ (1-x^2) L'_n \right]' dx = \left[ L_m(1-x^2) L'_n\right]_{-1}^{+1} - \int_{-1}^{+1} (1-x^2) L'_n L'_m dx ,](http://upload.wikimedia.org/math/6/b/9/6b92b28a93299d100932decd83e127f3.png)



![\displaystyle
\alpha = \cancelto{0}{\left[ L_m(1-x^2) L'_n\right]_{-1}^{+1}} - \int_{-1}^{+1} (1-x^2) L'_n L'_m dx.](http://upload.wikimedia.org/math/1/5/e/15e604b00f17fb517a3e9ae70bda757d.png)







![\displaystyle
\begin{align}
\Rightarrow (r_{PQ})^2 = & \left[r_Q \cos(\theta_Q) \cos(\psi_Q) - r_P \cos(\theta_P) \cos(\psi_P)\right]^2 + \\
& \left[r_Q \cos(\theta_Q) \sin(\psi_Q) - r_P \cos(\theta_P) \sin(\psi_P)\right]^2 + \\
& \left[r_Q \sin(\theta_Q) - r_P \sin(\theta_P)\right]^2
\end{align}](http://upload.wikimedia.org/math/7/2/2/7228484b3449493c9c44d4b91e2e16a5.png)
![\displaystyle
\begin{align}
\Rightarrow (r_{PQ})^2 = & \left[r_Q^2 \cos^2(\theta_Q) \cos^2(\psi_Q) + r_P^2 \cos^2(\theta_P) \cos^2(\psi_P) - 2 r_P r_Q \cos(\theta_Q) \cos(\psi_Q) \cos(\theta_P) \cos(\psi_P) \right] + \\
& \left[r_Q^2 \cos^2(\theta_Q) \sin^2(\psi_Q) + r_P^2 \cos^2(\theta_P) \sin^2(\psi_P) - 2 r_P r_Q \cos(\theta_Q) \sin(\psi_Q) \cos(\theta_P) \sin(\psi_P)\right] + \\
& \left[r_Q^2 \sin^2(\theta_Q) + r_P^2 \sin^2(\theta_P) - 2 r_P r_Q \sin(\theta_Q) \sin(\theta_P)\right]
\end{align}](http://upload.wikimedia.org/math/2/2/3/223fdc7e07afe057817e436a3b60299d.png)
![\displaystyle
\begin{align}
\Rightarrow (r_{PQ})^2 = &\ r_Q^2 \cos^2(\theta_Q) \cancelto{1}{\left[ \cos^2(\psi_Q) + \sin^2(\psi_Q) \right]} + r_Q^2 \sin^2(\theta_Q) - 2 r_P r_Q \cos(\theta_Q) \cos(\theta_P) \left [\cos(\psi_Q) \cos(\psi_P) \right] + \\
&\ r_P^2 \cos^2(\theta_P) \cancelto{1}{\left[ \cos^2(\psi_P) + \sin^2(\psi_P) \right]} + r_P^2 \sin^2(\theta_P) - 2 r_P r_Q \cos(\theta_Q)\cos(\theta_P) \left [\sin(\psi_Q) \sin(\psi_P)\right] - 2 r_P r_Q \sin(\theta_Q) \sin(\theta_P)
\end{align}](http://upload.wikimedia.org/math/f/6/6/f664d690fbb7b463c4b4350a36b2c1f8.png)
![\displaystyle
\begin{align}
\Rightarrow (r_{PQ})^2 = &\ r_Q^2 \cancelto{1}{\left[\cos^2(\theta_Q) + \sin^2(\theta_Q) \right]} - 2 r_P r_Q \cos(\theta_Q) \cos(\theta_P) \underbrace{\left [\cos(\psi_Q) \cos(\psi_P) + \sin(\psi_Q) \sin(\psi_P)\right]}_{=\ \cos(\psi_Q-\psi_P)} + \\
&\ r_P^2 \cancelto{1}{\left[ \cos^2(\theta_P) + \sin^2(\theta_P) \right]} - 2 r_P r_Q \sin(\theta_Q) \sin(\theta_P)
\end{align}](http://upload.wikimedia.org/math/5/7/c/57c13c103b293ba7de752f49d7b4dd7a.png)
![\displaystyle
\begin{align}
\Rightarrow (r_{PQ})^2 = &\ r_Q^2 + r_P^2 - 2 r_P r_Q \left[\underbrace{\cos(\theta_Q) \cos(\theta_P) {\cos(\psi_Q-\psi_P)} + \sin(\theta_Q)\sin(\theta_P)}_{=\ \cos\gamma} \right]
\end{align}](http://upload.wikimedia.org/math/8/a/1/8a1a347110fc36ac97d9a7593c02987f.png)
















![\displaystyle
[A(\mu,\rho)]^{-1/2}
= \alpha_0
+ \alpha_1(2\mu \rho- \rho^2)
+ \alpha_2(2\mu \rho- \rho^2)^2
+ ...](http://upload.wikimedia.org/math/6/0/4/604a42c8b458a78858f2aad3777796f6.png)

![\displaystyle
P_n(x) = \sum_{i=0}^{[n/2]} =
\frac{1 \cdot 3 \cdot ... \cdot (2n - 2i - 1)}{2^i i! (n-2i)!} (-1)^i x^{n-2i}](http://upload.wikimedia.org/math/e/c/4/ec4251547c98c44cb386a5913a501ec7.png)
![\displaystyle
[A(\mu,\rho)]^{-1/2}
= \alpha_0
+ \alpha_1(2\mu \rho- \rho^2)
+ \alpha_2(2\mu \rho- \rho^2)^2
+ \alpha_3(2\mu \rho- \rho^2)^3
+ \alpha_4(2\mu \rho- \rho^2)^4
+ \alpha_5(2\mu \rho- \rho^2)^5
+ ...](http://upload.wikimedia.org/math/2/1/6/2168e09c6395cffdf2edfa876bde3e76.png)




































