User:Egm6322.s12.team2/HW9
Contents
 1 R 9.1  Coefficients for heat conduction on a sphere
 2 R 9.2  Coefficients for general solution of heat conduction on a sphere
 3 R*9.3 Identities of Legendre Equation
 4 R 9.4 Verify the second homogeneous solutions of Legendre equation
 5 R 9.5  Legendre Function
 6 R 9.6  Equalities in spherical coordinates
 7 R9.7 Identities of Binomial Theorem
 8 R* 9.8 Generating Legendre polynomials
 9 Contributing Members
 10 References for Report 9
R 9.1  Coefficients for heat conduction on a sphere[edit]
Given[edit]

(9.1.1)

(9.1.2)

(9.1.3)

(9.1.4)
Find[edit]
1. Find
2. Compute the first 5 nonzero coefficients
3. Plot Exact Function, FourierLegendre series with 3 Terms and 5 Terms
Solution[edit]
Problem 1.

(9.1.5)

(9.1.6)
Converting to

(9.1.7)

(9.1.8)

(9.1.9)

(9.1.10)

(9.1.11)
Therefore,

(9.1.12)

(9.1.13)

(9.1.14)

(9.1.15)
Problem 2.
Substitute j into Eq 9.1.11 to Eq 9.1.15
Problem 3.
Use Equation(9.1.10),Expand the fourierlegendre function
Egm6322.s12.sungsik 01:54, 7 February 2012 (UTC) Egm6322.s12.sungsik 02:05, 10 February 2012 (UTC)
R 9.2  Coefficients for general solution of heat conduction on a sphere[edit]
Given[edit]
Boundary condition on the surface of the sphere:

(9.2.1)
FourierLegendre series for the boundary condition in 9.2.1:

(9.2.2)
General solution for heat conduction on a sphere:

(9.2.3)
Find[edit]
Show that

(9.2.4)
Solution[edit]
Solved on my own 
The purpose of this problem is to show that the coefficients of the general formulation of the heat conduction problem on a sphere (obtained through solving the Laplace equation via separation of variables) are equal to the coefficients obtained from expanding the FourierLegendre series subject to the boundary condition of Eq. 9.2.1. As this condition is valid when r=1, Eq. 9.2.3 becomes:

(9.2.5)
Applying the boundary conditions and comparing to the FourierLegendre expansion of 9.2.2:

(9.2.6)
Recall from class notes that the only nonzero indices of are j=0,2,4. This is due to the orthogonality and oddness/eveness of the Legendre polynomials. This is covered in the lecture notes but will be reviewed here for clarity.
We know that the Legendre polynomials, by definition, are a subset of all polynomials:

(9.2.7)
Any set of polynomials of degree n are spanned by the same number of orthogonal polynomials (for our purposes, Legendre polynomials will suffice). This also indicates that a polynomial of degree m > n is orthogonal to the subspace as no linear combination of degree n polynomials can produce a new polynomial of a higher order. This is written as:

(9.2.8)
The boundary condition of the problem, given in Eq. 9.2.1, is a 4th order polynomial; thus, when computing the coefficients of the FourierLegendre expansion in Eq. 9.2.2 according to the formula

(9.2.9)
the numerator on right hand side will be zero for j>4 due to the orthogonality of the polynomials (the inner product of orthogonal functions is zero). Thus,

(9.2.10)
It should also be noted that the boundary condition is an even function whereas Legendre polynomials of order 2k+1 for k = 0,1,2,... are odd functions; thus, since the inner product of odd and even functions are zero,

(9.2.11)
From Eq. 9.2.10 and 9.2.11, the only surviving coefficients are . Thus, after evaluating these coefficients using Eq. 9.2.9, Eq. 9.2.6 becomes:

(9.2.12)
As the expansion of the left hand side of Eq. 9.2.12 is in terms of the same Legendre polynomials as the right hand side, it is clear that the coefficients must be identical. For , the values of are zero and for the coefficients must be the same as given in the class notes. Thus,

(9.2.13)
R*9.3 Identities of Legendre Equation[edit]
Given[edit]
We are given the 1st and 2nd homogeneous solutions of the Legendre Equation from p.414, 415, 71, and 374.
Find[edit]
Derive the following identities for the 2nd homogeneous solutions of the Legendre Equation.
Also find the expression for the in terms of the inverse hyperbolic tangent of x
From lecture notes Mtg 43b
Solution[edit]
Solved on our own 
The Legendre differential equation was defined in lecture page 71 for EGM 6321.
King (2003) very clearly derives the solutions for these equations in pages 56 and 3133. First assert the method of Frobenius. Choose a power series solution of the form below.
Substitute the term above into Legendre's equation to get a series representation.
Rearrange the equation to simplify the grouping of terms below.
Further simplification gives a form that allows derivation of homogeneous solutions.
The series definitions gives an indicial equation of the form c(c1) = 0. Apply Frobenius General Rule 1 on p. 14 of King (2003)  "If the indicial quation has two distinct roots, whose difference is an integer, and one of the coefficients of becomes indeterminate on putting , both solutions can be generated by putting in the recurrence relation." Therefore, the solution of Legendre's equation is given in expanded form below.
The simplified form of the soltuion is given below. This equation gives rise to the Legendre polynomials.
In the solution, the Legendre polynomials are given by the following summation.
The first three terms are listed as .
These terms provide the basis for finding the Legendre functions: . The key is to utilize the reduction of order formula. For a homogeneous differential equation, we have the definition below.
If a solution exists, then a 2nd solution is given by this integral.
If we apply this equation to Legendre polynomials, then the following form is given for the differential equation.
The astute mathematician must note that the integral for the inner integral must be derived first in the reduction of order formula.
So the Legendre function can be derived by using substitution variables of t. In general, the equation below gives the nth Legendre function for the nth Legendre polynomial.
For n=0, the following derivation occurs for .
Similarly, for n=1, can be derived.
Lastly, for n=2, the integration gives .
Note that in each Legendre function there exists a term that can be simplified into the inverse hyperbolic tangent. Apply the definition from Wolfram for inverse hyperbolic tangent at http://mathworld.wolfram.com/InverseHyperbolicTangent.html.
Therefore, the following definitions are derived for 9.3.
Note 4 tilde command by Manuel Steele below.
Egm6322.s12.team2.steele.m2 08:24, 10 February 2012 (UTC)
R 9.4 Verify the second homogeneous solutions of Legendre equation[edit]
Given[edit]
Given the following equations
(9.4.1)
(9.4.2)
Find[edit]
Verify the expressions for as shown on the following equations
(9.4.3)
(9.4.4)
(9.4.5)
Solution[edit]
Solved on my own 
The Legendre polynomial is as follows:
(9.4.6)
where .
Thus
Then from 9.4.1 we have
Although , the fact that 11=0 makes this term meaningless. We'd better define , if
R 9.5  Legendre Function[edit]
Given[edit]
Show that

(9.5.1)
Show that

(9.5.2)
Find[edit]
is odd or even depending on the index n
Solution[edit]

(9.5.3)

(9.5.4)

(9.5.4)
When n=even
From Eq(9.5.1)
when n=Odd
Hence,
Egm6322.s12.sungsik 02:22, 7 February 2012 (UTC)
R 9.6  Equalities in spherical coordinates[edit]
Given[edit]
Definition of : Boundary condition on the surface of the sphere:

(9.6.1)
Cosine law:

(9.6.2)
Find[edit]
Show the following equalities:

(9.6.3)

(9.6.4)
Solution[edit]
Solved on my own 
The first inequality in Eq. 9.6.3 can be shown trivially simply by substituting the definition of from Eq. 9.6.1 into the equation. This immediately yields the solution.

(9.6.5)
Showing the equality in Eq. 9.6.4 requires somewhat more effort. It is first necessary to define the coordinates of points P and Q in spherical coordinates, as shown in the class notes:

(9.6.6)
The distance d between two points in Cartesian space is given by the threedimensional Pythagorean theorem:

(9.6.7)
Substituting the spherical coordinates in Eq. 9.6.6 into Eq. 9.6.7 yields an expression for :

(9.6.8)
where

(9.6.9)
Expanding and collecting like terms yields:

(9.6.10)
Again collecting like terms in the term on the far right yields:

(9.6.11)
Recognizing the term inside the parenthesis as the sum of cosines identity shown in Eq. 9.6.12:

(9.6.12)
Eq. 9.6.11 can now be written as:

(9.6.13)
Comparing this expression for with the one given by the law of cosines in Eq. 9.6.2 indicates that the term in the brackets must be equal to cos for the equality to hold true:

(9.6.14)
R9.7 Identities of Binomial Theorem[edit]
Given[edit]
We are given the following Binomial Equation from 4321.
Find[edit]
Derive the following identities for the Binomial Theorem.
From lecture notes Mtg 43c
Solution[edit]
Solved on our own 
The first step is to write the general equation of the Binomial Theorem.
Note that the Binomial Theorem can be extended to infinity when .
The biniomial coefficent can be expanded as follows.
Note that if we set y=1 then the equation can be simplified.
The Binomial Equation was adapted by Isaac Newton for real numbers beyond nonnegative integers. The key is to factor (nk)! from the binomial coefficient. Then if r=s, we get the following form of the Binomial Equation.
Note that if s = 1/2, then the equation can be further simplified.
Realize that the binomial coefficient is a fraction, so the numerator and denominator can be multiplied by 2. This will give us the form for the solution.
Therefore, the given steps derive the desired form below where we let i=k.
Manuel Steele 4 tilde command signature
Egm6322.s12.team2.steele.m2 08:26, 10 February 2012 (UTC)
R* 9.8 Generating Legendre polynomials[edit]
Given[edit]
Part 1
Recurrence relation RR2:
(9.8.1)
with and
Part 2
Define:
(9.8.2)
and the binomial theorem:
(9.8.3)
(9.8.4)
Find[edit]
Finding
in terms of condition 1, and 2 respectively. and compare the result
Solution[edit]
Solved on my own 
Part 1
From 9.8.1, we have
(9.8.5)
with and then
Part 2
Since
From the 9.8.3 and 9.8.4 we have
when computing for , we can see that the highest order is ，thus
Since the highest order we consider is 6，then
Therefore
So, using two different methods, we obtained the same result.
Contributing Members[edit]


Problem Number  Assigned To  Solved By  Typed By  Proofread By  
9.1  sungsik  sungsik  sungsik  Matt Shields  
9.2  Matt Shields  Matt Shields  Matt Shields  Lang Xia  
9.3  Manuel Steele  Manuel Steele  Manuel Steele  
9.4  Lang Xia  Lang Xia  Lang Xia  Manuel Steele  
9.5  sungsik  sungsik  sungsik  Manuel Steele  
9.6  Matt Shields  Matt Shields  Matt Shields  Lang Xia  
9.7  Manuel Steele  Manuel Steele  Manuel Steele  
9.8  Lang Xia  Lang Xia  Lang Xia 
Members Signatures[edit]
Egm6322.s12.team2.Xia, I solved R9.4 and R*9.8 without others assistance and proofread R9.2 and R9.6. 10:55, 10 February 2012 (UTC)
Egm6322.s12.sungsik 02:07, 10 February 2012 (UTC)
References for Report 9[edit]
King, A.C., J. Billingham and S.R. Otto. "Differential Equations: Linear, Nonlinear, Ordinary, Partial." New York, NY: Cambridge University Press, 2003.
VuQuoc, L. Class Lecture: Principles of Engineering Analysis. University of Florida, Gainesville, FL, (Meeting 43a) Mtg 43a 24 Jan 2011.
VuQuoc, L. Class Lecture: Principles of Engineering Analysis. University of Florida, Gainesville, FL, (Meeting 43a) Mtg 43b 24 Jan 2011.
VuQuoc, L. Class Lecture: Principles of Engineering Analysis. University of Florida, Gainesville, FL, (Meeting 43c) Mtg 43c 31 Jan 2012.
VuQuoc, L. Class Lecture: Principles of Engineering Analysis. University of Florida, Gainesville, FL, (Meeting 43a) Mtg 43d 31 Jan 2011.
http://en.wikipedia.org/wiki/Binomial_theorem
http://mathworld.wolfram.com/InverseHyperbolicTangent.html