Real Analysis Function defined as sum

Click For Summary
SUMMARY

The discussion focuses on extending the function h(x) = |x| over the interval [-1, 1] to create a periodic sawtooth function defined as h(x + 2) = h(x). The sequence hn(x) = (1/2^n)h(2nx) is introduced, leading to the definition of g(x) as g(x) = Σ(1/2^n)h(2nx) for n from 0 to infinity. The goal is to prove that (g(xm) - g(0)) / (xm - 0) = m + 1, demonstrating that g'(0) does not exist, where xm = 1/2^m.

PREREQUISITES
  • Understanding of periodic functions and their properties
  • Familiarity with series and summation notation
  • Knowledge of limits and derivatives in real analysis
  • Basic understanding of the absolute value function
NEXT STEPS
  • Study the properties of periodic functions in real analysis
  • Learn about convergence of infinite series and their applications
  • Explore the concept of differentiability and points of non-differentiability
  • Investigate the behavior of piecewise functions and their derivatives
USEFUL FOR

Students and educators in mathematics, particularly those focusing on real analysis, calculus, and function theory. This discussion is beneficial for anyone looking to deepen their understanding of periodic functions and their derivatives.

Lazerlike42
Messages
20
Reaction score
0
First, apologies for the notation.. the computer I am currently using does not support the various buttons to create proper notation.

Homework Statement



Given h(x)=|x| over [-1,1], extend the definition such that h(x+2)=h(x). That is, make h(x) be a periodic sawtooth function.

Now let hn(x)=(1/2n)h(2nx).

Then define g(x)=sigma[hn(x)]=sigma[(1/2n)h(2nx)] as n goes from 0 to infinity.

Define the sequence xm=1/2m, where m=0, 1, 2, ...

Prove that [g(xm)-g(0)]/[xm-0]=m+1 and use this to prove that g'(0) does not exist.

Homework Equations





The Attempt at a Solution



I really have no idea. The best I have been able to do is to write the function as:

g(x)=sigma[(1/2n)|2nx|] as n goes from 0 to infinity

and then substitute xm for x to yield:

g(x)=sigma[(1/2n)|2n*(1/2m)|] as n goes from 0 to infinity

and simplify it to:

g(x)=sigma[(1/2)n|2n-m|] as n goes from 0 to infinity. Otherwise, I have no idea.
 
Physics news on Phys.org
If it's helpful, now that I am home I can post these things with better notation:

h(x) = |x|

hn(x)=[tex]\frac{1}{2^{n}}[/tex]h(2nx)

g(x)=[tex]\sum^{\infty}_{n=0}[/tex]hn(x)=[tex]\sum^{\infty}_{n=0}[/tex][tex]\frac{1}{2^{n}}[/tex]h(2nx)

Let the sequence xm=[tex]\frac{1}{2^{m}}[/tex], where m=0, 1, 2, ...

Prove that [tex]\frac{g(x_{m})-g(0)}{x_{m}-0}[/tex] = m + 1
and use this to show that g'(0) does not exist.

My Attempt at a Solution

Rewrite as:

g(x)=[tex]\sum^{\infty}_{n=0}\frac{1}{2^{n}}[/tex]|2nx|

Then [tex]\frac{g(x_{m})-g(0)}{x_{m}-0}[/tex]= [tex]\frac{\sum^{\infty}_{n=0}\frac{1}{2^{n}}|2^{n}\frac{1}{2^{m}}|}{\frac{1}{2^{m}}}[/tex]=[tex]\frac{\sum^{\infty}_{n=0}\frac{1}{2^{n}}|2^{n-m}|}{\frac{1}{2^{m}}}[/tex]=[tex]{2^{m}}{\sum^{\infty}_{n=0}\frac{1}{2^{n}}|2^{n-m}|}[/tex]
That's about it...
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K