f, continuous, piecewise differentiable with f ' bounded ... fourier series



If f is 2pi periodic, continuous, piecewise differentiable and f ' is
bounded, the how can I show:

c_n(f ') = i*n*c_n(f ) for nonzero n

Where c_n denotes nth Fourier coefficient.


Immediately when looking at this, it seems obvious that I "just" have
to differentiable both sides of:

f(t) = SUM(n=-inf to inf) c_n(f ) e^(int)

which gives

f '(t) = SUM(n=-inf to inf) i*n*c_n(f ) e^(int)

And by uniqueness of fourier series representation, c_n(f ') = i*n*c_n
(f )

I believe this would be a perfectly good proof if the SUM was a finite
SUM, correct?

But in this case I have to justify differentiating inside a infinite
sum, correct?
What is the theorem that can allow me to justify moving
differentiation operator inside infinite sums (or infinite limits)?

Thank you
.



Relevant Pages

  • Re: fourier series of f relative to f
    ... Where c_n denotes nth Fourier coefficient. ... SUM, correct? ... But in this case I have to justify differentiating inside a infinite ...
    (sci.math)
  • Re: fourier series of f relative to f
    ... Where c_n denotes nth Fourier coefficient. ... SUM, correct? ... But in this case I have to justify differentiating inside a infinite ... differentiation operator inside infinite sums? ...
    (sci.math)
  • Re: (Discrete Math - Induction) Formula Differentiation
    ... Estabilish by differentiating the expansion of the ... I've been thinkering with this one all day, no clue on how to start. ... ANY hints on how the derivative of the sum of terms of a G.P will get ... Based on the answer to, use a known formula to simplify the ...
    (sci.math)
  • fourier series of f relative to f
    ... Where c_n denotes nth Fourier coefficient. ... SUM, correct? ... But in this case I have to justify differentiating inside a infinite ...
    (sci.math)
  • Re: (Discrete Math - Induction) Formula Differentiation
    ... Estabilish by differentiating the expansion of the ... Well, you can be 'tinkering' or 'thinking', but 'thinkering' is a new ... ANY hints on how the derivative of the sum of terms of a G.P will get ...
    (sci.math)

Loading