Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

5.7: Problems

( \newcommand{\kernel}{\mathrm{null}\,}\)

Exercise 5.7.1

Consider the set of vectors (1,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.
  2. What do you get if you do reverse the order of these vectors?

Exercise 5.7.2

Use the Gram-Schmidt process to find the first four orthogonal polynomials satisfying the following:

  1. Interval: (,) Weight Function: ex2.
  2. Interval: (0,) Weight Function: ex.

Exercise 5.7.3

Find P4(x) using

  1. The Rodrigues’ Formula in Equation (5.3.3).
  2. The three term recursion formula in Equation (5.3.5).

Exercise 5.7.4

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,

  1. Differentiating Equation (5.3.18) with respect to x, derive Equation (5.3.19).
  2. Derive Equation (5.3.20) by differentiating g(x,t) with respect to x and rearranging the resulting infinite series.
  3. Combining the last result with Equation (5.3.18), derive Equations (5.3.21)-(5.3.22).
  4. Adding and subtracting Equations (5.3.21)-(5.3.22), obtain Equations (5.3.23)-(5.3.24).
  5. Derive Equation (5.3.25) using some of the other identities.

Exercise 5.7.5

Use the recursion relation (5.3.5) to evaluate 11xPn(x)Pm(x)dx,nm.

Exercise 5.7.6

Expand the following in a Fourier-Legendre series for x(1,1).

  1. f(x)=x2.
  2. f(x)=5x4+2x3x+3.
  3. f(x)={1,1<x<0,1,0<x<1.
  4. f(x)={x,1<x<0,0,0<x<1.

Exercise 5.7.7

Use integration by parts to show Γ(x+1)=xΓ(x).

Exercise 5.7.8

Prove the double factorial identities:

(2n)!!=2nn!

and

(2n1)!!=(2n)!2nn!.

Exercise 5.7.9

Express the following as Gamma functions. Namely, noting the form Γ(x+1)=0txetdt and using an appropriate substitution, each expression can be written in terms of a Gamma function.

  1. 0x2/3exdx.
  2. 0x5ex2dx
  3. 10[ln(1x)]ndx

Exercise 5.7.10

The coefficients Cpk in the binomial expansion for (1+x)p are given by

Cpk=p(p1)(pk+1)k!.

  1. Write Cpk in terms of Gamma functions.
  2. For p=1/2 use the properties of Gamma functions to write C1/2k in terms of factorials.
  3. Confirm you answer in part b by deriving the Maclaurin series expansion of (1+x)1/2.

Exercise 5.7.11

The Hermite polynomials, Hn(x), satisfy the following:

  1. Hn,Hm=ex2Hn(x)Hm(x)dx=π2nn!δn,m.
  2. Hn(x)=2nHn1(x).
  3. Hn+1(x)=2xHn(x)2nHn1(x).
  4. Hn(x)=(1)nex2dndxn(ex2).

Using these, show that

  1. Hn2xHn+2nHn=0. [Use properties ii. and iii.]
  2. xex2Hn(x)Hm(x)dx=π2n1n![δm,n1+2(n+1)δm,n+1]. [Use properties i. and iii.]
  3. 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. ]

Exercise 5.7.12

In Maple one can type simplify(LegendreP (2n2,0)-LegendreP (2n,0) ); to find a value for P2n2(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

P2n2(0)P2n(0)=π(4n1)2Γ(n+1)Γ(32n)=(1)n(2n3)!!(2n2)!!4n12n.

You will verify that both results are the same by doing the following:

  1. Prove that P2n(0)=(1)n(2n1)!!(2n)!! using the generating function and a binomial expansion.
  2. Prove that Γ(n+12)=(2n1)!!2nπ using Γ(x)=(x1)Γ(x1) and iteration.
  3. Verify the result from Maple that P2n2(0)P2n(0)=π(4n1)2Γ(n+1)Γ(32n).
  4. Can either expression for P2n2(0)P2n(0) be simplified further?

Exercise 5.7.13

A solution Bessel’s equation, x2y+xy+(x2n2)y=0,, can be found using the guess y(x)=j=0ajxj+n. One obtains the recurrence relation aj=1(2n+i)aj2. 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.

Exercise 5.7.14

Use the infinite series in the last problem to derive the derivative identities (5.5.15) and (5.5.5):

  1. ddx[xnJn(x)]=xnJn1(x).
  2. ddx[xnJn(x)]=xnJn+1(x).

Exercise 5.7.15

Prove the following identities based on those in the last problem.

  1. Jp1(x)+Jp+1(x)=2pxJp(x).
  2. Jp1(x)Jp+1(x)=2Jp(x).

Exercise 5.7.16

Use the derivative identities of Bessel functions, (5.5.15)-(5.5.5), and integration by parts to show that

x3J0(x)dx=x3J1(x)2x2J2(x)+C.

Exercise 5.7.17

Use the generating function to find Jn(0) and Jn(0).

Exercise 5.7.18

Bessel functions Jp(λx) are solutions of x2y+xy+(λ2x2p2)y=0. Assume that x(0,1) and that Jp(λ)=0 and Jp(0) is finite.

  1. This is the standard Sturm-Liouville form for Bessel’s equation.
  2. by considering

    10[Jp(μx)ddx(xddxJp(λx))Jp(λx)ddx(xddxJp(μx))]dx.

Exercise 5.7.19

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).

  1. Extend the series definition of the Bessel function of the first kind of order v,Jv(x), for v0 by writing the series solution for y(x) in Problem 5.7.13 using the gamma function.
  2. Extend the series to Jv(x), for v0. Discuss the resulting series and what happens when v is a positive integer.
  3. Use the results in part c with the recursion formula for Bessel functions to obtain a closed form for J3/2(x).

Exercise 5.7.20

In this problem you will derive the expansion

x2=c22+4j=2J0(αjx)α2jJ0(αjc),0<x<c,

where the αjs are the positive roots of J1(αc)=0, by following the below steps.

  1. 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.]
  2. 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.

    1. Verify the Sturm-Liouville form of this differential equation: (xy)=α2jxy.
    2. Noting that y(x)=J0(αjx), integrate the left hand side by parts and use the following to simplify the resulting equation.
      1. J0(x)=J1(x) from Equation (5.5.5).
      2. Equation (5.5.8).
      3. J2(αjc)+J0(αjc)=0 from Equation (5.5.6).
    3. Now you should have enough information to complete this part.
  3. in order to obtain the desired expansion.

This page titled 5.7: Problems is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Russell Herman via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?