1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Uniform convergence of Fourier Series satisfying Lipschitz condition

  1. Nov 22, 2008 #1
    1. The problem statement, all variables and given/known data

    f is integrable on the circle and satisfies the Lipschitz condition (Holder condition with a=1). Show that the series converges absolutely (and thus uniformly). i literally spent about 20 hours on this problem today but i just could not figure it out. i have a feeling it's not that hard, but i am having a hell of a time estimating the sum that i need to show the fourier coefficients converge absolutely.

    2. Relevant equations
    |f(x) - f(y)| <= K |x-y| for all x, y.
    I have done up to and including this part of the problem (the easiest part).
    [tex]\sum[/tex] (|sin(nh)|^2) |a(n)|^2 [tex]\leq[/tex] (K^2)*(h^2)

    now take h = pi/(2^p+1) and show: (i'm going to call this inequality ***)
    [tex]\sum[/tex] |a(n)|^2 [tex]\leq[/tex] (K^2)(pi^2)/(2^2p+1)
    (2^p-1) < |n| <= 2^(p)

    where a(n) is the nth Fourier coefficient. No need to comment on the above.

    3. The attempt at a solution
    Here's the part i can't get: estimate the partial sums of the Fourier coefficients where the absolute value of the summation index n ranges over 2^(2p-1) to 2^p as above, in order to show that the Fourier series converges absolutely. Hint: Use the Cauchy Schwartz inequality.

    I applied the Cauchy Schwartz inequality to the inner product of f and the complex exponential to get a bound for this quantitiy which is the L^2 norm of f. this is ofcourse the inner product of f with itself square root. but the inner product of the partial sums of the fourier series must converge to the inner product of f with itself, and this inner product is akin to the left side of *** so that the fourier coefficients must converge to zero. anyway, this is not the answer that i need because i need to estimate the partial sums of the fourier coefficients in the given range. i tried lots of other stuff too, like moving various sums inside the inner product, but i feel there is something fundamental that i am missing. please give me hints or references but not solutions.

    PS: i also tried summing *** over 1 to N so that the left side of *** becomes the partial sums of the inner product of the two sided sequence of fourier coefficients in the little L over z (sorry don't really know how to say this) norm with itself [i mean the vector space of all two sided sequences whose infinite sum of absolute values of components converges]; the right side becomes a geometric series ofcourse. blah, sorry i am kind of lost in this course.
  2. jcsd
  3. Nov 23, 2008 #2
    hey everybody i solved it so don't worry, i will be posting the solution in a couple days here for those who are interested. i was allowing p to vary instead of keeping it fixed. The one thing i wasn't sure about was interchanging a finite sum with the infinite sum of an absolutely convergent series. however i think it's okay because with absolute convergence we can sum in which ever order we want... (i am talking about the inner product in the little L squared Z vector space.)
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook