(16 intermediate revisions by 6 users not shown)
Line 1: Line 1:
 
== Homework 9 Collaboration Area ==
 
== Homework 9 Collaboration Area ==
  
Here are some
+
Click on
  
[[LegendreMA527Fall2010 |Hints from Bell]] about Legendre Polynomials.
+
[[LegendreMA527Fall2010 |Legendre hints from Bell]]  
 +
 
 +
for some hints about Legendre Polynomials.
  
 
Question Page 597, Problem 5:
 
Question Page 597, Problem 5:
Line 9: Line 11:
 
What do we do with the x in the first term of this problem?
 
What do we do with the x in the first term of this problem?
  
I don't understand what to do with this problem, either. Again, it would be fantastic if the book gave us harder examples.
+
Answer: When you do a Laplace transform wrt t, the x floats along like when you do d/dt(x*t).
  
Answer: When you do a Laplace transform wrt t, the x floats along like when you do d/dt(x*t). Then you can use formula 4 in section 1.5 to solve the 1st order ODE.
+
Additional question: I get to this point after taking the Laplace Transform:
  
Thank you!! Section 1.5 was VERY helpful!! :)
+
d/dx*W(x,s) + s/x*W(x,s) = 1/s^2.
  
Question Page 209 Problem 7:
+
Is this correct?
  
Where does the <math>\pi</math> come from in this solution?
+
Answer: Yes, that's what I got.  Check out lecture 23 around the 28 minute mark to see what to do next.
  
Answer: When you do the positive lambda case, you get A = 0 and let B = 1 => Sin(5*mu) = 0. If mu = m*pi/5, this equation is true. I let B=1 because we cannot have both A and B = 0.
+
Message from Bell: When you solve that ODE as a first order linear ODE in the x variable, you should get an integrating factor of  x^s. Remember that the arbitrary constant that you get in the solution might depend on  s. So I like
 +
to write  C(s)  for the arbitrary constant. You will need to show that  C(s)  must be zero by showing that
  
Here are some hints about the problems on Legendre Polynomials.
+
W(0,s)=0.
  
See p. 180 for a list of the first few Legendre Polynomials.
+
This follows from one of the boundary conditions given in the problem.
  
The even numbered Legendre Polynomials only involve even powers of x,
+
Page 209 Problem 5:
so they are even functions.
+
I've done this problem 5 times over, (yes, again after reading Prof. Bell's notes) and I keep getting 2/3 out of the integral rather than the necessary 0. Whether it's cos^3 or x^3, I don't see any way to get anything other than Pm*Pn/3*(-1 - 1) = 2/3 * PnPm rather than the 0 we're looking for. Or do I just not understand orthogonality??
 +
 +
New Question: How is everyone else "showing orthogonality?" Are you evaluating all the available (11) polynomials, doing just a few and making a statement, or have you figured out how to integrate (11) itself?
  
The odd numbered Legendre Polynomials only involve odd powers of x,
+
From Bell: My hint about p. 209, problem 5 was to make a change of variables,
so they are odd functions.
+
  
The Legendre Polynomials are orthogonal on the interval [-1,1].
+
x = cos theta.
  
p. 209, 5. asks you to show that
+
After that, you'll reduce the orthogonality of P_n(cos theta) with respect
 +
to the weight function Sin(theta) on [0,pi] to the orthogonality of the
 +
Legendre Polynomials on [-1,1]. The orthogonality of the Legendre Polynomials on the interval [-1,1] is a given fact, so you shouldn't be computing actual integrals to verify the orthogonality for the first few Legendre Polynomials listed on p. 180.
  
<math>P_n(\cos\theta)</math>
+
Question Page 209 Problem 7:
  
are orthogonal on [0,pi] with respect to the weight function
+
Where does the <math>\pi</math> come from in this solution?
  
<math>\sin\theta,</math>
+
Answer: When you do the positive lambda case, you get A = 0 and let B = 1 => Sin(5*mu) = 0. If mu = m*pi/5, this equation is true. I let B=1 because we cannot have both A and B = 0.
 
+
i.e., to show that
+
 
+
<math>\int_0^\pi P_n(\cos\theta)P_m(\cos\theta)\sin\theta\ d\theta=0
+
\qquad\text{if }n\ne m.</math>
+
 
+
The key here is to use the change of variables
+
 
+
<math>x=\cos\theta</math>
+
 
+
and convert the integral to one in  x  over the interval [-1,1], where you can use the orthogonality of the Legendre Polynomials.
+
 
+
p. 216, problems 1 and 3 ask you to expand a given function in terms of Legendre Polynomials.  Here, you will use the fact that if  Q(x)  is a polynomial of degree  N, then
+
 
+
<math>Q(x)=\sum_{n=0}^N c_nP_n(x)</math>
+
 
+
where the coefficients  c_n  are computed via orthogonality:
+
 
+
<math>\int_{-1}^1 Q(x)P_m(x)\ dx=c_m\int_{-1}^1 P_m(x)P_m(x)\ dx.
+
</math>
+
 
+
You will need to use the fact given on page 212 that
+
 
+
<math>\int_{-1}^1 P_m(x)^2\ dx=\frac{2}{2m+1}.</math>
+
 
+
p. 216, 5. asks you to show that if  f(x)  is even, then all the odd
+
coefficients in its Legendre expansion must vanish, i.e., that
+
 
+
<math>\int_{-1}^1 f(x)P_n(x)\ dx=0</math>
+
 
+
if  n  is odd.  Recall that if n is odd,  P_n  is odd.  An even times an odd is a ... etc.
+
  
 
Question: Page 209, Problem 17:
 
Question: Page 209, Problem 17:
Line 118: Line 93:
  
 
Hmmm.  I see what you mean.  I think the answer in the back of the book is wrong.--[[User:Bell|Steve Bell]] 12:07, 23 October 2010 (UTC)
 
Hmmm.  I see what you mean.  I think the answer in the back of the book is wrong.--[[User:Bell|Steve Bell]] 12:07, 23 October 2010 (UTC)
 
  
 
p. 216, #s 1 and 3:
 
p. 216, #s 1 and 3:
Line 124: Line 98:
 
I am using the hints given, but I'm still not sure I'm doing this correctly. For example, for #1, I've calculated c4 as c4 = [((2*4)+1)/2] * integral from -1 to 1 of (7x^4-6x^2)(P_4(x)) dx, where P_4= (1/8)(35x^4-30x^2+3), and then I would do something similar for C3, C2, C1, and C0. But if I find C4 this way, I'll get an answer where there's an x^9 term, and I don't see how to get an answer in terms for P_4 and P_1, like there is in the back of the book.
 
I am using the hints given, but I'm still not sure I'm doing this correctly. For example, for #1, I've calculated c4 as c4 = [((2*4)+1)/2] * integral from -1 to 1 of (7x^4-6x^2)(P_4(x)) dx, where P_4= (1/8)(35x^4-30x^2+3), and then I would do something similar for C3, C2, C1, and C0. But if I find C4 this way, I'll get an answer where there's an x^9 term, and I don't see how to get an answer in terms for P_4 and P_1, like there is in the back of the book.
  
I agree on problems 1 and 3.  I am trying to use the hints, but I can't make any sense out of it.
+
Answer: These are definite integrals carried out from -1 to 1, so you should get a numerical value for the solution, which will be the coefficient cm of the mth legendre polynomial. For instance, for m=0, you'll have c_0 =(2*0+1)/2 * integral from -1 to 1 of (7x^4-6x^2)*P_0(x)dx, where P_0(x)=1. The solution of that integral is -3/5, which matches the value for the coefficient of P_0(x) in the back of the book. --[[User:Jkusnick|Jkusnick]] 08:47, 25 October 2010 (UTC)
 
+
p. 209, #17
+
 
+
I don't understand how to solve for lamba. The examples in the book are WAAAAY easier! Help! Thank you!
+
 
+
  
 
p. 209 #7 & #17:
 
p. 209 #7 & #17:
  
To verify orthogonality, do you just use Theorem , or do you have to do the integral?
+
To verify orthogonality, do you just use the Theorem, or do you have to do the integral?
  
Answer: I cannot figure out how to solve 17 yet, but for 7, you can get down to <math>\int_a^b \! Sin(nx) *Sin(mx) \, \mathrm{d}x</math>. I think this is assumed to be zero and we don't need to work it out.
+
Answer: The theorem says the eigenfunctions are orthogonal.  However, to VERIFY that, you'll have to compute the integrals.
  
 
p. 209, #17
 
p. 209, #17
Line 141: Line 110:
 
Answer:  
 
Answer:  
 
   
 
   
You can solve for lambda in a way similar to the way Prof. Bell did it at the beginning of class on 10/20/10.  From the original problem you get:  r^2+8r=16 = -lamda.  Here r = sqrt(-lambda)-4.  As normal, the lambda >0 case gives you non-zero solutions.  Since our root is complex of the form -4 plus/minus i*sqrt(lambda), where mu = sqrt(lambda).  We can solve for lambda like in 7 by using the general form of:
+
You can solve for lambda in a way similar to the way Prof. Bell did it at the beginning of class on 10/20/10.  From the original problem you get:  r^2+8r+(16+lamda)=0So r = sqrt(-lambda)-4.  As usual, the lambda >0 case gives you non-zero solutions.  Since our root is complex of the form -4 plus/minus i*sqrt(lambda), where mu = sqrt(lambda).  We can find lambda that allow non-zero solutions like in 7 by using the general form of:
 
+
y = exp(-4*x)*(A*cos(mu*x)+B*sin(mu*x)).  Plug in boundary conditions and Ta-Da.  Oh and I conveniently pulled 'i' into B so I wouldn't have to worry about it.  Seemed to turn out ok...
+
 
+
  
 +
y = exp(-4*x)*(A*cos(mu*x)+B*sin(mu*x)).  Plug in boundary conditions and Ta-Da.
  
 
[[2010 MA 527 Bell|Back to the MA 527 start page]]  
 
[[2010 MA 527 Bell|Back to the MA 527 start page]]  

Latest revision as of 10:00, 27 October 2010

Homework 9 Collaboration Area

Click on

Legendre hints from Bell

for some hints about Legendre Polynomials.

Question Page 597, Problem 5:

What do we do with the x in the first term of this problem?

Answer: When you do a Laplace transform wrt t, the x floats along like when you do d/dt(x*t).

Additional question: I get to this point after taking the Laplace Transform:

d/dx*W(x,s) + s/x*W(x,s) = 1/s^2.

Is this correct?

Answer: Yes, that's what I got. Check out lecture 23 around the 28 minute mark to see what to do next.

Message from Bell: When you solve that ODE as a first order linear ODE in the x variable, you should get an integrating factor of x^s. Remember that the arbitrary constant that you get in the solution might depend on s. So I like to write C(s) for the arbitrary constant. You will need to show that C(s) must be zero by showing that

W(0,s)=0.

This follows from one of the boundary conditions given in the problem.

Page 209 Problem 5: I've done this problem 5 times over, (yes, again after reading Prof. Bell's notes) and I keep getting 2/3 out of the integral rather than the necessary 0. Whether it's cos^3 or x^3, I don't see any way to get anything other than Pm*Pn/3*(-1 - 1) = 2/3 * PnPm rather than the 0 we're looking for. Or do I just not understand orthogonality??

New Question: How is everyone else "showing orthogonality?" Are you evaluating all the available (11) polynomials, doing just a few and making a statement, or have you figured out how to integrate (11) itself?

From Bell: My hint about p. 209, problem 5 was to make a change of variables,

x = cos theta.

After that, you'll reduce the orthogonality of P_n(cos theta) with respect to the weight function Sin(theta) on [0,pi] to the orthogonality of the Legendre Polynomials on [-1,1]. The orthogonality of the Legendre Polynomials on the interval [-1,1] is a given fact, so you shouldn't be computing actual integrals to verify the orthogonality for the first few Legendre Polynomials listed on p. 180.

Question Page 209 Problem 7:

Where does the $ \pi $ come from in this solution?

Answer: When you do the positive lambda case, you get A = 0 and let B = 1 => Sin(5*mu) = 0. If mu = m*pi/5, this equation is true. I let B=1 because we cannot have both A and B = 0.

Question: Page 209, Problem 17: For the given equation, shouldn't p=1, q=16, r=1? These values differ from the textbook's values.

Answer: If that were the case, then the equation would be

[py']' + (q+ lambda r) y =

[1 y']' + (16 + lambda) y =

y" + (16 + lambda) y = 0

and it ain't. You need to use problem 6 in the same section to get p,q, and r.

Question: Why isn't q=pg=16*exp(8x)?

Answer: Here is the idea of problem 6. We have the equation

$ y'' + 8 y' + (\lambda + 16)y=0. $

Multiply that equation by p(x). You get

$ py'' + 8p y' + (\lambda p+ 16p)y=0. $

If this were in Sturm-Liouville form, it would look like

$ [py']'+ (q + \lambda r) y = $

$ py'' + p'y' + (q+ \lambda r) y = 0. $

By comparing those two, we see that we need

$ p'=8p $

and q=16p and r=p. Solving the ODE for p yields

$ p(x)=e^{8x}. $

(We can take the arbitrary constant in the solution to be a convenient value because we just want one p(x) that has this property.)

Finally, we get

$ p(x)=e^{8x},\quad q(x)=16e^{8x},\quad\text{and }r(x)=e^{8x}. $

Hmmm. I see what you mean. I think the answer in the back of the book is wrong.--Steve Bell 12:07, 23 October 2010 (UTC)

p. 216, #s 1 and 3:

I am using the hints given, but I'm still not sure I'm doing this correctly. For example, for #1, I've calculated c4 as c4 = [((2*4)+1)/2] * integral from -1 to 1 of (7x^4-6x^2)(P_4(x)) dx, where P_4= (1/8)(35x^4-30x^2+3), and then I would do something similar for C3, C2, C1, and C0. But if I find C4 this way, I'll get an answer where there's an x^9 term, and I don't see how to get an answer in terms for P_4 and P_1, like there is in the back of the book.

Answer: These are definite integrals carried out from -1 to 1, so you should get a numerical value for the solution, which will be the coefficient cm of the mth legendre polynomial. For instance, for m=0, you'll have c_0 =(2*0+1)/2 * integral from -1 to 1 of (7x^4-6x^2)*P_0(x)dx, where P_0(x)=1. The solution of that integral is -3/5, which matches the value for the coefficient of P_0(x) in the back of the book. --Jkusnick 08:47, 25 October 2010 (UTC)

p. 209 #7 & #17:

To verify orthogonality, do you just use the Theorem, or do you have to do the integral?

Answer: The theorem says the eigenfunctions are orthogonal. However, to VERIFY that, you'll have to compute the integrals.

p. 209, #17

Answer:

You can solve for lambda in a way similar to the way Prof. Bell did it at the beginning of class on 10/20/10. From the original problem you get: r^2+8r+(16+lamda)=0. So r = sqrt(-lambda)-4. As usual, the lambda >0 case gives you non-zero solutions. Since our root is complex of the form -4 plus/minus i*sqrt(lambda), where mu = sqrt(lambda). We can find lambda that allow non-zero solutions like in 7 by using the general form of:

y = exp(-4*x)*(A*cos(mu*x)+B*sin(mu*x)). Plug in boundary conditions and Ta-Da.

Back to the MA 527 start page

To Rhea Course List

Alumni Liaison

Ph.D. on Applied Mathematics in Aug 2007. Involved on applications of image super-resolution to electron microscopy

Francisco Blanco-Silva