Fourier Series - Will someone walk me through this

[FrogPad]

The book for the class that I'm currently taking is "Introduction to Applied Mathematics" by Gilbert Strang. Things have been good with this class until this chapter. If you have used this book, you will understand what I mean when I say it is different. Things have been ok, because I've been understanding it. But I seriously need someone to hand hold me through an example. Here is one of the two worked examples on this material. (pg 278)

EXAMPLE 2 u_0(\theta) = \theta,\,\,\,-\pi<\theta<\pi.

The Fourier series for u_0 was calculated in equation (12);
\theta = 2\left(\frac{\sin\theta}{1}-\frac{\sin 2\theta}{2}+\frac{\sin 3\theta}{3}- \ldots \right).

Therefore the Fourier series (21) for u is
u(r,\theta)=2\left(\frac{r \sin\theta}{1}-r^2 \frac{\sin2\theta}{2}+r^3 \frac{\sin3\theta}{3}-\ldots \right).

On the circle u has a sudden jump at \theta = \pi, but inside the circle that jump is gone. The powers r^k damp the high frequencies and Laplace's equation always has smooth solutions.If someone would please help me fill in the missing steps, I would be relieved.

I feel like someone has showed me: 5x^2 + 30x +2 =0 and asked me to solve it for x but I've never heard of the quadratic equation, or completing the square :)

I mean yes it would be nice if I could figure out those "in between steps". But, it is not coming to me... and we are moving quickly into the next chapter. So I need to know this. Thank you.

 

[HallsofIvy]

What you have given here, simply doesn't make sense. Given the Fourier series for u_0(\theta) does not automatically give a Fourier series for u(r,\theta) without some more information- for example the fact that u(r,\theta) satisfies some partial differential equation inside the circle r= 1.

I suspect, although you didn't say it, that this u(r,\theta) satisfies Laplace's[\b] equation inside the circle. Certainly any (reasonable) function of \theta can be written as a Fourier series. If it is also a function of r, then the coefficients may be functions or r. Assume a solution of the form
u(r,\theta)= u_1(r)\frac{sin \theta}{1}- u_2(r)\frac{sin 2\theta}{2}+ u_3(r)\frac{sin 3\theta}{3}- ...
, plug it into the partial differential equation and see what differential equations you get for u_n(r).

 

[FrogPad]

Sorry HallsofIvy. This example was under the section of Solution of Laplaces Equation.

Thank you by the way! It's how you worded it, but something clicked (I think, or hope anyways).

\nabla^2 = 0

Laplaces equation in polar coordinates:
\frac{1}{r} \frac{\partial}{\partial r}\left( r \frac{\partial u}{\partial r}\right)+\frac{1}{r^2}\frac{\partial^2 u}{\partial \theta^2}=0

Assume:
u(r,\theta) = a_0 + \sum_{n=1}^{\infty}a_n r^n \cos n\theta + \sum_{n=1}^{\infty} b_n r^n \sin n\theta

When r=1 then u(r=1,\theta) = u_0(\theta)

Thus:
u_0 = \theta

We rewrite this as a Fourier series:
u_0(\theta) = 2\left( \frac{\sin \theta}{1}-\frac{\sin 2\theta}{2}+\frac{\sin 3 \theta}{3} - \ldots \right) =\ldots

\ldots = a_0 + (a_1 r \cos \theta + a_2 r^2 \cos 2 \theta + \ldots) + (b_1 r \sin \theta + b_2 r^2 \sin 2\theta+\ldots)

Now u_0 = u when r=1 so:
a_n =0 and r=1 yields:

(b_1 r \sin \theta + b_2 r^2 \sin 2\theta + b_3 r^3 \sin 3 \theta + \ldots) which is close to u_0 but not it yet so, we have to solve for b_n

by inspection:
b_n = \frac{2\alpha}{n}\,\,\left|\,\,\alpha = \left\{\begin{array}{c} 1\,\,\,\,n=\{1,3,5,\ldots\} \\ -1\,\,\,\,n=\{2,4,6,\ldots\} \end{array}

Thus:
u(r,\theta) = \sum_{n=1}^{\infty} \frac{2 \alpha}{n}(r^n \sin n\theta )

plugging u_n(r,\theta) = \frac{2 \alpha}{n}(r^n \sin n\theta ) into Laplaces equation:
\nabla^2(u_n(r,\theta)) = 0

Thus satisfying the boundary condition, and Laplaces equation.