Intereting Posts

Is the set of all valid C++ programs countably infinite?
If a number can be expressed as a product of n unique primes…
Why does the ideal $(a+bi)$ have index $a^2+b^2$ in $\mathbb{Z}$?
Proving the so-called “Well Ordering Principle”
Irrationality of Two Series
Where does the theory of Banach space-valued holomorphic functions differ from the classical treatment?
Has the polynomial distinct roots? How can I prove it?
Product of connected spaces
Covariant Derivative
Open set as a countable union of open bounded intervals
Why $2\frac{X_1}{X_1+X_2}-1$ and $X_1+X_2$ are independent if $X_1$ and $X_2$ are i.i.d. exponential?
Why do we need an integral to prove that $\frac{22}{7} > \pi$?
Pathologies in module theory
Differentiation wrt parameter $\int_0^\infty \sin^2(x)\cdot(x^2(x^2+1))^{-1}dx$
When does gradient flow not converge?

**The question is as follows:**

Givena function $f$, 2 known information:

(1) $f'(x)$ exist

(2) $f'(x)$ are continuous

Goal:function $f$ satisfies Lipschitz condition on any bounded interval $[a,b]$

- Proving a set of numbers has arithmetic progressions of arbitrary length, but none infinite
- How prove that $\lim\limits_{x\to+\infty}f(x)=\lim\limits_{x\to+\infty}f'(x)=0$ if $\lim\limits_{x\to+\infty}(^2+f^3(x))=0$?
- The concept of negative numbers in the $4^{th}$ field axiom
- Deciding whether two metrics are topologically equivalent in the space $C^1()$
- Closure of a connected set is connected
- Open Cover for a Compact Subset

**Here is my attempt:**

**1/** Recall Lipschitz condition: a function $f$ satisfies Lipschitz if there is a real number $N$ such that $|f(x) – f(y)| \leq N |x – y|$

**2/** First, I plan to show this :

(*) Knowing $f'(x)$ is continuous at any point $x \implies f'(x)$ is

bounded at some neighborhood about $x$

Using definition of continuity on $f'(x)$, I say that for any $\epsilon > 0$, there is $\delta > 0$ such that for any $y$, we have $|x – y| < \delta => |f'(x) – f'(y)| < \epsilon$.

After some works, I realize that $f'(y)$ is in the neighborhood of $(f'(x) – \epsilon, f'(x) + \epsilon)$.

So if I let my $N = max${$f'(x) + \epsilon, -f'(x) + \epsilon$}, I reach the conclusion that $f'(x)$ is bounded (at least below)

3/ Then, I plan to use (*) to say this :

If function $f$ has a derivative $f’$ such that $f’$ is bounded by

some number K $ \implies f$ satisfies Lipschitz condition on any interval

[a,b]

I plan to use the Mean Value Theorem, provided that by (*), there is a derivative $f'(x) < K$ where $x$ is in between some $x_1$ and $x_2$ in $[a,b]$

Would someone please check if my ideas are correct?

I feel very shaky about part 2 of my work. If the derivative is bounded, then I think the proof will be way easier. But to conclude that continuous $\implies $ bounded, I’m not sure if I can claim such thing .

Thank you in advance.

- Distance between a point and a closed set in metric space
- Evaluating $ \int_{-\pi /2014}^{\pi /2014}\frac{1}{2014^{x}+1}\left( \frac{\sin ^{2014}x}{\sin ^{2014}x+\cos ^{2014}x}\right) dx $
- Convergence of Integral Implies Uniform convergence of Equicontinuous Family
- Accumulation points of the set $S=\{(\frac {1} {n}, \frac {1} {m}) \space m, n \in \mathbb N\}$
- How to evaluate $\int _{-\infty }^{\infty }\!{\frac {\cos \left( x \right) }{{x}^{4}+1}}{dx}$
- How can I sum the infinite series $\frac{1}{5} - \frac{1\cdot4}{5\cdot10} + \frac{1\cdot4\cdot7}{5\cdot10\cdot15} - \cdots\qquad$
- Indefinite Integral for $\cos x/(1+x^2)$
- Limit. $\lim_{x \to \infty}{\sin{\sqrt{x+1}}-\sin{\sqrt{x}}}.$
- Proof that the limit of the square root is the square root of the limit
- Estimating the volume of a tumor from x-ray scans

1) Continuous function $g$ in a compact interval $[a,b]$ implies $g$ bounded in $[a,b]$. (This part I make a bit more general than yours)

Consider the set $X=\{x\in[a,b]: g|[a,x] \text{ is bounded }\}$. Show that $a\in X$ and $\sup X\in X$ then $b=\sup X$ so $b\in X$.

2) Bounded derivative implies Lipschitz.

If $|f'(x)|\leq K$ for all $x\in[a,b]$, in particular for any $x,y\in[a,b]$ such that $x\neq y$ we have

$$\left|\dfrac{f(x)-f(y)}{x-y}\right|=|f'(c)|\leq K$$

for some $c\in[x,y]$ by MVT. Then $|f(x)-f(y)|\leq K|x-y|$.

- Solve the equation $(2^m-1) = (2^n-1)k^2$
- Finding all possible $n\times n$ matrices with non-negative entries and given row and column sums.
- How do I resolve a recurrence relation when the characteristic equation has fewer roots than terms?
- How much faster is the Trachtenberg system?
- If $f\in L^1(\mathbb{R})$, then $\sum_{n\ge 1}f(x+n)$ Converges for a.e. $x$.
- Triangulation of Torus
- Famous uses of the inclusion-exclusion principle?
- Is there any general formula for the sequence $S_n=\sum_{k=1}^n k^k$?
- Given $A^2$ where A is matrix, how find A?
- Why can't we use implication for the existential quantifier?
- Prove that $\sqrt{7}^{\sqrt{8}}>\sqrt{8}^{\sqrt{7}}$
- Four fractions of certain factorials give another factorial
- test convergence of improper integrals 4
- Chinese Remainder Theorem and linear congruences
- Can we use analytic continuation to obtain $\sum_{n=1}^\infty n = b, b\neq -\frac{1}{12}$