Can You Prove the Series Is Periodic?

  • Context: Graduate 
  • Thread starter Thread starter physics1000
  • Start date Start date
  • Tags Tags
    Periodic Series
Click For Summary
SUMMARY

The discussion centers on proving the periodicity of the series ##\sum _{n=0}^{\infty }\:\frac{sin\left(2^nx\right)}{2^n}##, with a focus on establishing a period of ##2\pi##. Participants emphasize that if each term in the series is periodic with period ##2\pi##, then the entire series must also be periodic. Key insights include the use of trigonometric identities and the properties of sine functions to demonstrate periodicity. The conversation highlights the importance of formal proofs and the relationship between the periodicity of individual terms and the overall series.

PREREQUISITES
  • Understanding of Fourier series and their properties
  • Knowledge of trigonometric functions, specifically sine and their periodicity
  • Familiarity with convergence of series, particularly geometric series
  • Basic skills in mathematical proof techniques
NEXT STEPS
  • Study the properties of Fourier series and their convergence criteria
  • Learn about the periodicity of trigonometric functions, focusing on sine and cosine
  • Explore formal proof techniques in mathematical analysis
  • Investigate the relationship between series convergence and the periodicity of their terms
USEFUL FOR

Mathematics students, particularly those studying analysis and Fourier series, educators teaching calculus and series convergence, and anyone interested in the formal proof of periodic functions.

  • #31
DaveE said:
Anyway, now I'm confused. Can you explain, regardless of how many values T can take (because it's value wasn't specified), why it isn't iff in either interpretation? Is it the "if" part you don't like, or the "only if" part?
If you define T as the smallest value, then if T is "the" period, we know f(x)=f(x+T) for all x, but if some value T satisfies f(x)=f(x+T) for all x, that doesn't imply T is "the" period but rather just "a" period. So it comes down to how one defines T. I've always seen it defined as the smallest value that satisfies f(x)=f(x+T) for all x, but apparently, not everyone defines it that way.
 
  • Like
Likes   Reactions: DaveE and topsquark
Physics news on Phys.org
  • #32
vela said:
If you define T as the smallest value, then if T is "the" period, we know f(x)=f(x+T) for all x, but if some value T satisfies f(x)=f(x+T) for all x, that doesn't imply T is "the" period but rather just "a" period. So it comes down to how one defines T. I've always seen it defined as the smallest value that satisfies f(x)=f(x+T) for all x, but apparently, not everyone defines it that way.
In this case, can you prove that ##2\pi## is the fundamental period of the function in question? It's easy to see that it does not have period ##\pi##. But, it might be tricky to show that it can't be anything else less than ##2\pi##.
 
  • Like
Likes   Reactions: topsquark
  • #33
PeroK said:
In this case, can you prove that ##2\pi## is the fundamental period of the function in question? It's easy to see that it does not have period ##\pi##. But, it might be tricky to show that it can't be anything else less than ##2\pi##.
I'd offer the physicist's proof: Look at the graph. ;)
 
  • Love
  • Haha
Likes   Reactions: topsquark and PeroK
  • #34
PeroK said:
In this case, can you prove that ##2\pi## is the fundamental period of the function in question? It's easy to see that it does not have period ##\pi##. But, it might be tricky to show that it can't be anything else less than ##2\pi##.
I believe it's a theorem that either the fundamental period is ##2\pi/n## for some ##n##, or the function has arbitrarily small periods. The second one can't be true because the function is continuous and not constant (probably? Maybe this is a trick question haha). The first one doesn't feel impossible to manage but I agree isn't easy.

Edit to add: it is not constant, since ##f(0)=0## and ##f(\pi/2)=1##
 
Last edited:
  • Like
Likes   Reactions: PeroK and topsquark

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 23 ·
Replies
23
Views
6K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K