1. Not finding help here? Sign up for a free 30min 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!

Continuity and Differentiability of Infinite Series

  1. Mar 13, 2015 #1
    1. The problem statement, all variables and given/known data

    I came across a problem where f: (-π/2, π/2)→ℝ where f(x) = [itex]\sum\limits_{n=1}^\infty\frac{(sin(x))^n}{\sqrt(n)}[/itex]

    The problem had three parts.

    The first was to prove the series was convergent ∀ x ∈ (-π/2, π/2)

    The second was to prove that the function f(x) was continuous over the same interval

    The third was to prove that the function f(x) was differentiable over the interval

    2. Relevant equations


    3. The attempt at a solution

    The first part of the problem was simple using the comparison test with the infinite sum of (sin(x))^n, and noting that the geometric series produced converges as long as |sin(x)|<1. Since |sin(x)| = 1 at |π/2|, it is convergent in the interval.

    The second part of the problem, I ran into difficulty. I tried to show that f(x) is the limit of a series of continuous functions to prove the continuity of f(x), but then I remembered that for this to work, the series of continuous functions has to be uniformly convergent and not merely convergent.

    So, I tried to prove the series was uniformly convergent using the Weierstass M test, but failed because I couldn't find a convergent sequence of M terms that were always greater than the absolute value of the terms of the series.

    This same issue with convergent vs. uniformly convergent is what is plaguing me with the third part as well.

    Any advice on how to work around this convergent vs. uniformly convergent issue would be greatly appreciated. If I can prove that the series is uniformly convergent, the second and third part are quite easy to prove using the Uniform Limit Theorem for part 2, and then the related theorems about differentiability of series that converge uniformly on an open interval for part 3.
     
  2. jcsd
  3. Mar 13, 2015 #2

    RUber

    User Avatar
    Homework Helper

    Is there any reason this function would not be uniformly convergent? The convergence properties are based on n and not x.
    I think the wording is that for any epsilon>0, there exists an n such that |f_n(x) - f(x) | < epsilon for all x.
    Maybe you need to add a caveat in there, like for -pi/2+delta <x<pi/2-delta, but as you said, it should work out.
    If that doesn't work, you could take a Taylor expansion of sin(x) around x_0 and see if you can find that this relation is true:
    ## \| \sum _ {i=1}^{\infty} \frac{(\sin x_0)^n }{\sqrt{n}} - \sum _ {i=1}^{\infty} \frac{(\sin (x_0+\delta ) )^n }{\sqrt{n}}\| < \epsilon##
     
  4. Mar 13, 2015 #3
    Yes, your wording for uniform convergence is similar to the one in my book, with the minor exception that it is for any epsilon>0, there exists an N such that for all n>N etc

    I'm having some difficulty understanding how the convergence properties aren't based on x.

    If I take |f_n(x)-f(x)| < [itex]\sum\limits_{m=n+1}^\infty\frac{(\sin(x))^m}{\sqrt(m)} < \sum\limits_{m=n+1}^\infty(\sin(x))^m[/itex] = [itex] \frac{\sin^{n+1}(x)}{1-\sin(x)} [/itex].

    While [itex] \frac{\sin^{n+1}(x)}{1-\sin(x)} [/itex] can be made < episilon, doesn't its convergence depend on x?

    I can't think of a different way to do this, especially since [itex]\sum\limits_{n=1}^\infty\frac{1}{\sqrt(n)}[/itex] is divergent...
     
    Last edited: Mar 13, 2015
  5. Mar 13, 2015 #4

    RUber

    User Avatar
    Homework Helper

    You're right, I missed that part, so as x goes to pi/2 the n goes to infinity.
    Then I would recommend the epsilon delta style proof with the Taylor expansion.
     
  6. Mar 13, 2015 #5
    Trying this, it seems like the taylor expansion doesn't aid the convergence because the terms of the resultant series are either unchanged sine series (when they are even), or are slightly increased in amplitude when the exponential term is a product of two of 3 ,5 ,7 , 9, etc

    For example
    f(x) = (x - x^3/3! + x^5/5! + ... ) + (1/sqrt(2)) ( x - x^3/3! + x^5/5! + ... )^2 + (1/sqrt(3)) ( x - x^3/3! + x^5/5! + ...) +...

    [itex] = x + \frac{x^2}{\sqrt(2)} - x^3(\frac{1}{3!} + \frac{1}{\sqrt(3)}) + \frac{x^4}{\sqrt(4)} + \frac{x^5}{5!} + ... [/itex]

    This series is less than [itex] \sum\limits_{n=1}^\infty\frac{x^n}{\sqrt(n)}[/itex]

    I don't think this is convergent except for certain values of x, again ruling out uniform convergence. (Although I might just be frustrated with all of the terms)

    Could it be possible that the initial [itex] f(x) = \sum\limits_{n=1}^\infty\frac{\sin^n(x)}{\sqrt(n)} [/itex] is not uniformly convergent on the interval?
     
  7. Mar 14, 2015 #6

    RUber

    User Avatar
    Homework Helper

    I was thinking something on the lines of ##\sin(x_0+\delta)= \sum_{i=0}^\infty \frac{\delta^i}{i!}\frac{d^i}{dx^i}\sin(x_0)##
    Not for convergence, but to get straight at continuity.
    That should give you a problem that looks like
    ##\sum_{n=1}^\infty\sum_{i=1}^\infty \frac{\delta^i}{i!\sqrt{n}}<\epsilon##
    That too seems problematic.


    Perhaps you need to first fix x =x_0. Then x_0 is at least some delta from pi/2 or -pi/2 due to the open interval. For any individual x_0, you should be able to show continuity, therefore for all x you can.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Continuity and Differentiability of Infinite Series
Loading...