Proving/Disproving Equicontinuity of F_n(x) = sin nx

  • Context: MHB 
  • Thread starter Thread starter Amer
  • Start date Start date
  • Tags Tags
    Sin
Click For Summary
SUMMARY

The family of functions F_n(x) = sin(nx) is proven to be not equicontinuous at x_0 = 0. The definition of equicontinuity requires that for every ε > 0, there exists a δ > 0 such that if d(x_0, x) < δ, then d(f(x_0), f(x)) < ε. By choosing n such that π/(2n) < δ and evaluating at x = π/(2n), it is shown that |sin(nx)| = 1, which contradicts the equicontinuity condition. Similarly, the family F_n(x) = cos(nx) is also demonstrated to be not equicontinuous.

PREREQUISITES
  • Understanding of equicontinuity in the context of real analysis
  • Familiarity with the properties of sine and cosine functions
  • Knowledge of limits and continuity in mathematical analysis
  • Basic proficiency in mathematical notation and inequalities
NEXT STEPS
  • Study the definition and implications of equicontinuity in functional analysis
  • Explore examples of equicontinuous and non-equicontinuous families of functions
  • Learn about the Arzelà-Ascoli theorem and its applications
  • Investigate the behavior of oscillatory functions and their continuity properties
USEFUL FOR

Mathematics students, educators, and researchers interested in real analysis, particularly those studying continuity and convergence of function families.

Amer
Messages
259
Reaction score
0
Prove or disprove
F_n(x) = sin nx is equicontinuous

I know the definition of equicontinuous at x_0 it says for all \epsilon &gt;0 there exist \delta&gt;0 such that if d ( f(x_0),f(x) ) &lt; \epsilon then
d(x_0 , x) &lt; \delta

trying if it is equicontinuous at x_0 = 0
Given \epsilon &gt; 0

| f(x) | &lt; \epsilon \Rightarrow |\sin n x | &lt; \epsilon
delta depends on epsilon and x just how i can continue

any hints or any directions
 
Physics news on Phys.org
Amer said:
Prove or disprove
F_n(x) = \sin nx is equicontinuous

I know the definition of equicontinuous at x_0 it says for all \epsilon &gt;0 there exist \delta&gt;0 such that if d ( f(x_0),f(x) ) &lt; \epsilon then
d(x_0 , x) &lt; \delta

trying if it is equicontinuous at x_0 = 0
Given \epsilon &gt; 0

| f(x) | &lt; \epsilon \Rightarrow |\sin n x | &lt; \epsilon
delta depends on epsilon and x just how i can continue

any hints or any directions
You have written the definition of equicontinuity the wrong way round. It should say that the family $\{f_n(x)\}$ is equicontinuous if for all \epsilon &gt;0 there exists \delta&gt;0 such that if d(x_0 , x) &lt; \delta then d ( f(x_0),f(x) ) &lt; \epsilon .

If the family $\{\sin nx\}$ is equicontinuous, then the definition of equicontinuity should hold with $\epsilon = 1/2.$ Thus there should exist $\delta>0$ such that if $|x|<\delta$ then $|\sin nx < \epsilon$ for all $n.$ Now choose $n$ so that $\frac{\pi}{2n}<\delta$ and let $x = \frac{\pi}{2n}.$ Then $|x|<\delta$ but $|\sin nx| = 1$, contradicting the definition. Thus the family cannot be equicontinuous.
 
Opalg said:
You have written the definition of equicontinuity the wrong way round. It should say that the family $\{f_n(x)\}$ is equicontinuous if for all \epsilon &gt;0 there exists \delta&gt;0 such that if d(x_0 , x) &lt; \delta then d ( f(x_0),f(x) ) &lt; \epsilon .
Should be "... then for all n, d ( f_n(x_0),f_n(x) ) &lt; \epsilon."
 
Thanks very much Opalg,
 
Last edited:
at the same way i can prove that the family F_n (x) = \cos nx is not equicontinuous

Suppose that F_n is equicontinuous at x=0 so for any \epsilon &lt; 1 there exist \delta &gt;0 such that if |x| &lt; \delta then |\cos nx - 1 | &lt; \epsilon
choose n so that \frac{\pi}{2n } &lt; \delta let x = \frac{\pi}{2n}
|\cos n\left(\frac{\pi}{2n} \right) - 1 | = |1| = 1 &gt; \epsilon
Is it Ok
Thank you again (Smile)
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
Replies
2
Views
2K
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K