Intereting Posts

Showing that $2 \Gamma(a) \zeta(a) \left(1-\frac{1}{2^{a}} \right) = \int_{0}^{\infty}\left( \frac{x^{a-1}}{\sinh x} – x^{a-2} \right) \, dx$
Show that $\int_0^\infty\frac{1}{x ((\ln x)^2+1)^p}dx$ converges for any $p\geq 1$ and find its value.
What exactly is the Probability Integral Transform?
In search of easier manipulation of an inequality to prove it
Integral $\int_0^1\frac{\ln x}{\left(1+x\right)\left(1+x^{-\left(2+\sqrt3\right)}\right)}dx$
If the tensor product of two modules is free of finite rank, then the modules are finitely generated and projective
Solving for $A$ in $Ax = b$
Does the Riemann tensor encode all information about the second derivatives of the metric?
Jordan Measure, Semi-closed sets and Partitions
Can someone explain these strange properties of $10, 11, 12$ and $13$?
Equicontinuity on a compact metric space turns pointwise to uniform convergence
$k$-element subsets of $$ that do not contain $2$ consecutive integers
Atoms in a tail $\sigma$-algebra as $\liminf C_n$
Points and maximal ideals in polynomial rings
$\sum a_i \ln(b_i) \leq \sum a_i \ln(a_i)$ with $\sum a_i = \sum b_i = 1$

**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]$

- Properties of $||f||_{\infty}$ - the infinity norm
- A limit about $a_1=1,a_{n+1}=a_n+$
- If $f$ is continuous and $\,f\big(\frac{1}2(x+y)\big) \le \frac{1}{2}\big(\,f(x)+f(y)\big)$, then $f$ is convex
- How prove this $f(a)\le f(b)$
- Determine the convergence of $ \sum_{n=1}^{\infty}\left $
- Measurable set of real numbers with arbitrarily small periods

**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.

- Example of a non measurable function!
- Closed subset of compact set is compact
- When adding zero really counts …
- Deciding whether two metrics are topologically equivalent in the space $C^1()$
- Increasing, continuous function implies connectivity and viceversa.
- How can I show this function is Weakly Sequentially Lower Semicontinuos?
- Intuitive explanation of Residue theorem in Complex Analysis
- How to solve for a variable that is only in exponents?
- $\forall\ x,y,z\in \mathbb{R}$ Show that: $|x+y|+|y+z|+|x+z|\leq |x+y+z|+|x|+|y|+|z|$
- When $\min \max = \max \min$?

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|$.

- Computing the local ring of an affine variety
- Best software to take math notes?
- Counting ways to exchange gifts so that nobody gets their own gift
- Homology groups of a tetrahedron
- When does locally irreducible imply irreducible?
- If $a\in R$ and the equation $-3(x-\lfloor x \rfloor)^2+2(x-\lfloor x \rfloor)+a^2=0$ has no integral solution,then all possible values of $a$
- New size of a rotated-then-cropped rectangle
- Determine the limit distribution
- Prove that a separable metric space is Lindelöf without proving it is second-countable
- How does handle attachment work in Morse Theory
- Scheduling a team based activity with 10 different teams and X different games. Every team must meet each other ONCE but never twice,
- $\sum x_{k}=1$ then, what is the maximal value of $\sum x_{k}^{2}\sum kx_{k} $
- Riemann-Stieltjes integral, integration by parts (Rudin)
- Does the Banach algebra $L^1(\mathbb{R})$ have zero divisors?
- Probability of two integers' square sum divisible by $10$