5.7: Problems
( \newcommand{\kernel}{\mathrm{null}\,}\)
Consider the set of vectors (−1,1,1),(1,−1,1),(1,1,−1).
- Use the Gram-Schmidt process to find an orthonormal basis for R3 using this set in the given order.
- What do you get if you do reverse the order of these vectors?
Use the Gram-Schmidt process to find the first four orthogonal polynomials satisfying the following:
- Interval: (−∞,∞) Weight Function: e−x2.
- Interval: (0,∞) Weight Function: e−x.
In Equations (5.3.18)-(5.3.25) we provide several identities for Legendre polynomials. Derive the results in Equations (5.3.19)-(5.3.25) as described in the text. Namely,
- Differentiating Equation (5.3.18) with respect to x, derive Equation (5.3.19).
- Derive Equation (5.3.20) by differentiating g(x,t) with respect to x and rearranging the resulting infinite series.
- Combining the last result with Equation (5.3.18), derive Equations (5.3.21)-(5.3.22).
- Adding and subtracting Equations (5.3.21)-(5.3.22), obtain Equations (5.3.23)-(5.3.24).
- Derive Equation (5.3.25) using some of the other identities.
Use the recursion relation (5.3.5) to evaluate ∫1−1xPn(x)Pm(x)dx,n≤m.
Expand the following in a Fourier-Legendre series for x∈(−1,1).
- f(x)=x2.
- f(x)=5x4+2x3−x+3.
- f(x)={−1,−1<x<0,1,0<x<1.
- f(x)={x,−1<x<0,0,0<x<1.
Use integration by parts to show Γ(x+1)=xΓ(x).
Prove the double factorial identities:
(2n)!!=2nn!
and
(2n−1)!!=(2n)!2nn!.
Express the following as Gamma functions. Namely, noting the form Γ(x+1)=∫∞0txe−tdt and using an appropriate substitution, each expression can be written in terms of a Gamma function.
- ∫∞0x2/3e−xdx.
- ∫∞0x5e−x2dx
- ∫10[ln(1x)]ndx
The coefficients Cpk in the binomial expansion for (1+x)p are given by
Cpk=p(p−1)⋯(p−k+1)k!.
- Write Cpk in terms of Gamma functions.
- For p=1/2 use the properties of Gamma functions to write C1/2k in terms of factorials.
- Confirm you answer in part b by deriving the Maclaurin series expansion of (1+x)1/2.
The Hermite polynomials, Hn(x), satisfy the following:
- ⟨Hn,Hm⟩=∫∞−∞e−x2Hn(x)Hm(x)dx=√π2nn!δn,m.
- H′n(x)=2nHn−1(x).
- Hn+1(x)=2xHn(x)−2nHn−1(x).
- Hn(x)=(−1)nex2dndxn(e−x2).
Using these, show that
- H′′n−2xH′n+2nHn=0. [Use properties ii. and iii.]
- ∫∞−∞xe−x2Hn(x)Hm(x)dx=√π2n−1n![δm,n−1+2(n+1)δm,n+1]. [Use properties i. and iii.]
- Hn(0)={0,n odd, (−1)m(2m)!m!,n=2m. [Let x=0 in iii. and iterate. Note from iv. that H0(x)=1 and H1(x)=2x. ]
In Maple one can type simplify(LegendreP (2∗n−2,0)-LegendreP (2∗n,0) ); to find a value for P2n−2(0)−P2n(0). It gives the result in terms of Gamma functions. However, in Example 5.3.8 for Fourier-Legendre series, the value is given in terms of double factorials! So, we have
P2n−2(0)−P2n(0)=√π(4n−1)2Γ(n+1)Γ(32−n)=(−1)n(2n−3)!!(2n−2)!!4n−12n.
You will verify that both results are the same by doing the following:
- Prove that P2n(0)=(−1)n(2n−1)!!(2n)!! using the generating function and a binomial expansion.
- Prove that Γ(n+12)=(2n−1)!!2n√π using Γ(x)=(x−1)Γ(x−1) and iteration.
- Verify the result from Maple that P2n−2(0)−P2n(0)=√π(4n−1)2Γ(n+1)Γ(32−n).
- Can either expression for P2n−2(0)−P2n(0) be simplified further?
A solution Bessel’s equation, x2y′′+xy′+(x2−n2)y=0,, can be found using the guess y(x)=∑∞j=0ajxj+n. One obtains the recurrence relation aj=−1(2n+i)aj−2. Show that for a0=(n!2n)−1 we get the Bessel function of the first kind of order n from the even values j=2k :
Jn(x)=∞∑k=0(−1)kk!(n+k)!(x2)n+2k.
Prove the following identities based on those in the last problem.
- Jp−1(x)+Jp+1(x)=2pxJp(x).
- Jp−1(x)−Jp+1(x)=2J′p(x).
Use the generating function to find Jn(0) and J′n(0).
Bessel functions Jp(λx) are solutions of x2y′′+xy′+(λ2x2−p2)y=0. Assume that x∈(0,1) and that Jp(λ)=0 and Jp(0) is finite.
- This is the standard Sturm-Liouville form for Bessel’s equation.
- by considering
∫10[Jp(μx)ddx(xddxJp(λx))−Jp(λx)ddx(xddxJp(μx))]dx.
We can rewrite Bessel functions, Jv(x), in a form which will allow the order to be non-integer by using the gamma function. You will need the results from Problem 5.7.12b for Γ(k+12).
- Extend the series definition of the Bessel function of the first kind of order v,Jv(x), for v≥0 by writing the series solution for y(x) in Problem 5.7.13 using the gamma function.
- Extend the series to J−v(x), for v≥0. Discuss the resulting series and what happens when v is a positive integer.
- Use the results in part c with the recursion formula for Bessel functions to obtain a closed form for J3/2(x).
In this problem you will derive the expansion
x2=c22+4∞∑j=2J0(αjx)α2jJ0(αjc),0<x<c,
where the α′js are the positive roots of J1(αc)=0, by following the below steps.
- List the first five values of α for J1(αc)=0 using the Table 5.5.1 and Figure 5.5.1. [Note: Be careful determining α1.]
- Show that ‖J0(αjx)‖2=c22[J0(αjc)]2,j=2,3,…. (This is the most involved step.) First note from Problem 5.7.18 that y(x)=J0(αjx) is a solution of
x2y′′+xy′+α2jx2y=0.
- Verify the Sturm-Liouville form of this differential equation: (xy′)′=−α2jxy.
- Noting that y(x)=J0(αjx), integrate the left hand side by parts and use the following to simplify the resulting equation.
- Now you should have enough information to complete this part.
- in order to obtain the desired expansion.