Fourier series: $hat f(n)=O(1/n)$ and $f$ continuous implies uniform convergence?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite
2













Littlewood's Tauberian theorem: Let $a_n=O(1/n)$. (In particular, given any $0<r<1$, the power series $sum a_nr^n$ converges.) If the function defined by the power series $$f(r)=sum a_nr^n$$ has a limit when $r$ tends to $1$ from below, then the power series also converges at $r=1$, and $f$ is continuous at $r=1$. That is, the series $sum a_n$ is convergent, and its sum is $$sum a_n = lim_rnearrow 1 sum a_nr^nmbox.$$




I'm reading Stein & Shakarchi's Fourier Analysis. Given the above theorem, it is an exercise to prove the following:




(Problem 3iii, on chapter 2) If $f:mathbb Rtomathbb R$ is $2pi$-periodic, continuous, and satisfies $hat f(n)=O(1/n)$, then the Fourier series of $f$ converges uniformly to $f$.




Well, using:



  1. the fact that the Abel means of $f$ are given by the convolution of $f$ with the Poisson kernel $$P_r(x)=sum_ninmathbb Zr^e^inx;$$

  2. the fact that the Poisson kernels form an approximation to the identity; and

  3. the continuity of $f$,

I can show that the Abel means $$P_r * f$$ converge uniformly to $f$ when $rnearrow 1$. Therefore, the Abel means also converge pointwise, and then using Littlewood's theorem, I can show that the Fourier series of $f$ also converges pointwise. The problem is that I "lost" the information about the uniform convergence of the Abel means, since Littlewood's theorem is only concerned about the pointwise convergence of the series for each $x$, independently.



I know that the result in Problem 3iii, as stated above, does hold (that is, the exercise is not "mistaken" in any way). However, I can't see how this result could follow from Littlewood's theorem (I believe it must be a simple argument, but I can't see it). Any tips?







share|cite|improve this question















  • 2




    Could it be that the proof of Littlewood's theorem gives a bound on the tail of $sum a_n$ that depends only on the rate of convergence of Abel sums and the constant in $O(1/n)$? If so, that would be enough.
    – user357151
    Jul 16 at 21:22










  • I'll investigated it, but I was ruling out this option, because the textbook doesn't provide the proof of the theorem. Instead, there's some notes hidden at the end of the book, referencing Titchmarsh's The Theory of Functions. I did read through the proof, but it's veeery lengthy.
    – fonini
    Jul 16 at 22:17














up vote
4
down vote

favorite
2













Littlewood's Tauberian theorem: Let $a_n=O(1/n)$. (In particular, given any $0<r<1$, the power series $sum a_nr^n$ converges.) If the function defined by the power series $$f(r)=sum a_nr^n$$ has a limit when $r$ tends to $1$ from below, then the power series also converges at $r=1$, and $f$ is continuous at $r=1$. That is, the series $sum a_n$ is convergent, and its sum is $$sum a_n = lim_rnearrow 1 sum a_nr^nmbox.$$




I'm reading Stein & Shakarchi's Fourier Analysis. Given the above theorem, it is an exercise to prove the following:




(Problem 3iii, on chapter 2) If $f:mathbb Rtomathbb R$ is $2pi$-periodic, continuous, and satisfies $hat f(n)=O(1/n)$, then the Fourier series of $f$ converges uniformly to $f$.




Well, using:



  1. the fact that the Abel means of $f$ are given by the convolution of $f$ with the Poisson kernel $$P_r(x)=sum_ninmathbb Zr^e^inx;$$

  2. the fact that the Poisson kernels form an approximation to the identity; and

  3. the continuity of $f$,

I can show that the Abel means $$P_r * f$$ converge uniformly to $f$ when $rnearrow 1$. Therefore, the Abel means also converge pointwise, and then using Littlewood's theorem, I can show that the Fourier series of $f$ also converges pointwise. The problem is that I "lost" the information about the uniform convergence of the Abel means, since Littlewood's theorem is only concerned about the pointwise convergence of the series for each $x$, independently.



I know that the result in Problem 3iii, as stated above, does hold (that is, the exercise is not "mistaken" in any way). However, I can't see how this result could follow from Littlewood's theorem (I believe it must be a simple argument, but I can't see it). Any tips?







share|cite|improve this question















  • 2




    Could it be that the proof of Littlewood's theorem gives a bound on the tail of $sum a_n$ that depends only on the rate of convergence of Abel sums and the constant in $O(1/n)$? If so, that would be enough.
    – user357151
    Jul 16 at 21:22










  • I'll investigated it, but I was ruling out this option, because the textbook doesn't provide the proof of the theorem. Instead, there's some notes hidden at the end of the book, referencing Titchmarsh's The Theory of Functions. I did read through the proof, but it's veeery lengthy.
    – fonini
    Jul 16 at 22:17












up vote
4
down vote

favorite
2









up vote
4
down vote

favorite
2






2






Littlewood's Tauberian theorem: Let $a_n=O(1/n)$. (In particular, given any $0<r<1$, the power series $sum a_nr^n$ converges.) If the function defined by the power series $$f(r)=sum a_nr^n$$ has a limit when $r$ tends to $1$ from below, then the power series also converges at $r=1$, and $f$ is continuous at $r=1$. That is, the series $sum a_n$ is convergent, and its sum is $$sum a_n = lim_rnearrow 1 sum a_nr^nmbox.$$




I'm reading Stein & Shakarchi's Fourier Analysis. Given the above theorem, it is an exercise to prove the following:




(Problem 3iii, on chapter 2) If $f:mathbb Rtomathbb R$ is $2pi$-periodic, continuous, and satisfies $hat f(n)=O(1/n)$, then the Fourier series of $f$ converges uniformly to $f$.




Well, using:



  1. the fact that the Abel means of $f$ are given by the convolution of $f$ with the Poisson kernel $$P_r(x)=sum_ninmathbb Zr^e^inx;$$

  2. the fact that the Poisson kernels form an approximation to the identity; and

  3. the continuity of $f$,

I can show that the Abel means $$P_r * f$$ converge uniformly to $f$ when $rnearrow 1$. Therefore, the Abel means also converge pointwise, and then using Littlewood's theorem, I can show that the Fourier series of $f$ also converges pointwise. The problem is that I "lost" the information about the uniform convergence of the Abel means, since Littlewood's theorem is only concerned about the pointwise convergence of the series for each $x$, independently.



I know that the result in Problem 3iii, as stated above, does hold (that is, the exercise is not "mistaken" in any way). However, I can't see how this result could follow from Littlewood's theorem (I believe it must be a simple argument, but I can't see it). Any tips?







share|cite|improve this question












Littlewood's Tauberian theorem: Let $a_n=O(1/n)$. (In particular, given any $0<r<1$, the power series $sum a_nr^n$ converges.) If the function defined by the power series $$f(r)=sum a_nr^n$$ has a limit when $r$ tends to $1$ from below, then the power series also converges at $r=1$, and $f$ is continuous at $r=1$. That is, the series $sum a_n$ is convergent, and its sum is $$sum a_n = lim_rnearrow 1 sum a_nr^nmbox.$$




I'm reading Stein & Shakarchi's Fourier Analysis. Given the above theorem, it is an exercise to prove the following:




(Problem 3iii, on chapter 2) If $f:mathbb Rtomathbb R$ is $2pi$-periodic, continuous, and satisfies $hat f(n)=O(1/n)$, then the Fourier series of $f$ converges uniformly to $f$.




Well, using:



  1. the fact that the Abel means of $f$ are given by the convolution of $f$ with the Poisson kernel $$P_r(x)=sum_ninmathbb Zr^e^inx;$$

  2. the fact that the Poisson kernels form an approximation to the identity; and

  3. the continuity of $f$,

I can show that the Abel means $$P_r * f$$ converge uniformly to $f$ when $rnearrow 1$. Therefore, the Abel means also converge pointwise, and then using Littlewood's theorem, I can show that the Fourier series of $f$ also converges pointwise. The problem is that I "lost" the information about the uniform convergence of the Abel means, since Littlewood's theorem is only concerned about the pointwise convergence of the series for each $x$, independently.



I know that the result in Problem 3iii, as stated above, does hold (that is, the exercise is not "mistaken" in any way). However, I can't see how this result could follow from Littlewood's theorem (I believe it must be a simple argument, but I can't see it). Any tips?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 16 at 20:34









fonini

1,7531936




1,7531936







  • 2




    Could it be that the proof of Littlewood's theorem gives a bound on the tail of $sum a_n$ that depends only on the rate of convergence of Abel sums and the constant in $O(1/n)$? If so, that would be enough.
    – user357151
    Jul 16 at 21:22










  • I'll investigated it, but I was ruling out this option, because the textbook doesn't provide the proof of the theorem. Instead, there's some notes hidden at the end of the book, referencing Titchmarsh's The Theory of Functions. I did read through the proof, but it's veeery lengthy.
    – fonini
    Jul 16 at 22:17












  • 2




    Could it be that the proof of Littlewood's theorem gives a bound on the tail of $sum a_n$ that depends only on the rate of convergence of Abel sums and the constant in $O(1/n)$? If so, that would be enough.
    – user357151
    Jul 16 at 21:22










  • I'll investigated it, but I was ruling out this option, because the textbook doesn't provide the proof of the theorem. Instead, there's some notes hidden at the end of the book, referencing Titchmarsh's The Theory of Functions. I did read through the proof, but it's veeery lengthy.
    – fonini
    Jul 16 at 22:17







2




2




Could it be that the proof of Littlewood's theorem gives a bound on the tail of $sum a_n$ that depends only on the rate of convergence of Abel sums and the constant in $O(1/n)$? If so, that would be enough.
– user357151
Jul 16 at 21:22




Could it be that the proof of Littlewood's theorem gives a bound on the tail of $sum a_n$ that depends only on the rate of convergence of Abel sums and the constant in $O(1/n)$? If so, that would be enough.
– user357151
Jul 16 at 21:22












I'll investigated it, but I was ruling out this option, because the textbook doesn't provide the proof of the theorem. Instead, there's some notes hidden at the end of the book, referencing Titchmarsh's The Theory of Functions. I did read through the proof, but it's veeery lengthy.
– fonini
Jul 16 at 22:17




I'll investigated it, but I was ruling out this option, because the textbook doesn't provide the proof of the theorem. Instead, there's some notes hidden at the end of the book, referencing Titchmarsh's The Theory of Functions. I did read through the proof, but it's veeery lengthy.
– fonini
Jul 16 at 22:17















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2853832%2ffourier-series-hat-fn-o1-n-and-f-continuous-implies-uniform-convergenc%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2853832%2ffourier-series-hat-fn-o1-n-and-f-continuous-implies-uniform-convergenc%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?