Fouier series from the sign function

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
14 replies · 12K views
Susanne217
Messages
311
Reaction score
0

Homework Statement



If I have the standard sign function defined on R is the corresponding Fourier series the standard Fourier series with plus/minus in front respectively?


Homework Equations





The Attempt at a Solution

 
Physics news on Phys.org
Can you write down exactly what you mean by "standard sign function"? To me, it means

[tex]f(x) = \left\{\begin{array}{ll}1, & \textrm{if }x > 0 \\<br /> -1, & \textrm{if }x < 0 \end{array}\right.[/tex]

and [itex]f(0)[/itex] is typically defined as either 0 or 1, though its value doesn't make any difference with regard to Fourier series.

There is no Fourier series defined for this function unless you restrict the domain to a finite interval. And the series will depend on which interval you choose.
 
jbunniii said:
Can you write down exactly what you mean by "standard sign function"? To me, it means

[tex]f(x) = \left\{\begin{array}{ll}1, & \textrm{if }x > 0 \\<br /> -1, & \textrm{if }x < 0 \end{array}\right.[/tex]

and [itex]f(0)[/itex] is typically defined as either 0 or 1, though its value doesn't make any difference with regard to Fourier series.

There is no Fourier series defined for this function unless you restrict the domain to a finite interval. And the series will depend on which interval you choose.

Is says find the Fourier series

[tex]f(x) = sign(x)[/tex] where [tex]x \in ]-\pi,\pi[[/tex]

But since my interval is finite. How do I then go about finding the Fourier series for that f(x)??
 
Can you write down the formula for finding the Fourier coefficients of [itex]f(x)[/itex], and then try plugging in this particular [itex]f(x)[/itex], so we can see how far you are able to get on your own?
 
jbunniii said:
Can you write down the formula for finding the Fourier coefficients of [itex]f(x)[/itex], and then try plugging in this particular [itex]f(x)[/itex], so we can see how far you are able to get on your own?

Yes if f(x) is even defined on the interval [-n,n]

then the Fourier series is [tex]n_0 + \sum_{k=1}^{\infty} n_k cos(k\pi x / n)[/tex]


and

[tex]n_0 = \frac{1}{n} \int_{0}^{n} f(x) dx[/tex]

[tex]n_k = \frac{1}{n} \int_{0}^{n} f(x) \cdot cos(k \pi x /n) dx[/tex]


if f(x) is odd

then [tex]f(x) = \sum_{k=1}^{\infty} n_k \cdot sin(k \pi x /n)[/tex]

where [tex]b_k = \frac{2}{n} \int_{0}^{n} f(x) \cdot sin(k \pi x /n)[/tex]

Is this what you mean?
 
Last edited:
Yes, let's work with that. Your function is clearly odd, so use the formula for [itex]b_k[/itex]. (By the way, there's a typo in your formula for [itex]f(x)[/itex]: surely [itex]n_k[/itex] should be [itex]b_k[/itex].)

Now plug in [itex]f(x)[/itex] for this particular function. What is [itex]n[/itex] in this case?
 
jbunniii said:
Yes, let's work with that. Your function is clearly odd, so use the formula for [itex]b_k[/itex]. (By the way, there's a typo in your formula for [itex]f(x)[/itex]: surely [itex]n_k[/itex] should be [itex]b_k[/itex].)

Now plug in [itex]f(x)[/itex] for this particular function. What is [itex]n[/itex] in this case?

am I stupid or is n = 1 ??

and I then end up with two version of [tex]b_k[/tex]

where [tex]b_{k_1} = \frac{2}{n=1} \int_{0}^{1} sin(kx) dx[/tex]

and [tex]b_{k_2} = \frac{2}{n=-1} \int_{0}^{-1} sin(-kx) dx[/tex] ?
 
No, [itex]n[/itex] is the (one-sided) interval over which the function is defined.

Your function is defined on [itex][-\pi, \pi][/itex], so [itex]n = \pi[/itex].

The formula for [itex]b_k[/itex] tells you to integrate only over [itex][0,\pi][/itex]. Your function is equal to ONE over that entire interval, so you simply end up with

[tex]b_k = 2 \int_{0}^{\pi} sin(kx) dx[/tex]

You don't have to worry about the negative half of the function, because this formula for [itex]b_k[/itex] assumes that the function is odd.

There is a more general formula for Fourier coefficients which does not assume that the function is even OR odd:

[tex]a_k = \int_{-\pi}^{\pi} f(x) \cos(kx) dx[/tex]
[tex]b_k = \int_{-\pi}^{\pi} f(x) \sin(kx) dx[/tex]

Note that in the special case where [itex]f(x)[/itex] is odd, [itex]a_k = 0[/itex] (can you see why?), and the formula for [itex]b_k[/itex] can be simplified as follows:

[tex]\begin{align*}b_k &= \int_{-\pi}^{\pi} f(x) \sin(kx) dx \\<br /> &= \int_{-\pi}^0 f(x) \sin(kx) dx + \int_{0}^{\pi} f(x) \sin(kx) dx \\<br /> &= 2 \int_{0}^{\pi} f(x) \sin(kx) dx \end{align*}[/tex]

which matches the formula you are using. Thus if the function is odd, this simplified formula allows you to integrate only over the positive half, [itex][0,\pi][/itex].
 
jbunniii said:
No, [itex]n[/itex] is the (one-sided) interval over which the function is defined.

Your function is defined on [itex][-\pi, \pi][/itex], so [itex]n = \pi[/itex].

The formula for [itex]b_k[/itex] tells you to integrate only over [itex][0,\pi][/itex]. Your function is equal to ONE over that entire interval, so you simply end up with

[tex]b_k = 2 \int_{0}^{\pi} sin(kx) dx[/tex]

You don't have to worry about the negative half of the function, because this formula for [itex]b_k[/itex] assumes that the function is odd.

There is a more general formula for Fourier coefficients which does not assume that the function is even OR odd:

[tex]a_k = \int_{-\pi}^{\pi} f(x) \cos(kx) dx[/tex]
[tex]b_k = \int_{-\pi}^{\pi} f(x) \sin(kx) dx[/tex]

Note that in the special case where [itex]f(x)[/itex] is odd, [itex]a_k = 0[/itex] (can you see why?), and the formula for [itex]b_k[/itex] can be simplified as follows:

[tex]\begin{align*}b_k &= \int_{-\pi}^{\pi} f(x) \sin(kx) dx \\<br /> &= \int_{-\pi}^0 f(x) \sin(kx) dx + \int_{0}^{\pi} f(x) \sin(kx) dx \\<br /> &= 2 \int_{0}^{\pi} f(x) \sin(kx) dx \end{align*}[/tex]

which matches the formula you are using. Thus if the function is odd, this simplified formula allows you to integrate only over the positive half, [itex][0,\pi][/itex].

So basically my Fourier series for the sign function over the finite is with that b_k above?
 
LCKurtz said:
Hey Susanne217, I have missed you in your other thread:

https://www.physicsforums.com/showthread.php?p=2371059#post2371059

Just when I thought we were getting close, you disappeared. Did you get that problem solved?

Hi I had some family troubles so I didn't get arround to finishing it.

I did the intermediate calculations for the b_k but how was suppose to compare that result to find the some for the second series that I didn't?

Is it some obvious theorem that I overlooked maybe? Compare two series?
 
Susanne217 said:
Is says find the Fourier series

[tex]f(x) = sign(x)[/tex] where [tex]x \in ]-\pi,\pi[[/tex]

But since my interval is finite. How do I then go about finding the Fourier series for that f(x)??

Did you mean "sign" or --sine--?
 
ramsey2879 said:
Did you mean "sign" or --sine--?

sign function!
 
Susanne217 said:
Hi I had some family troubles so I didn't get arround to finishing it.

I did the intermediate calculations for the b_k but how was suppose to compare that result to find the some for the second series that I didn't?

Is it some obvious theorem that I overlooked maybe? Compare two series?

Reply in that other thread and we can continue there.
 
Susanne217 said:
So basically my Fourier series for the sign function over the finite is with that b_k above?

Yes, that's right. Just evaluate the integral and simplify and that gives you the [itex]b_k[/itex] values. Then you can plug those into the formula for the Fourier series.