2
$\begingroup$

This is my question :

Let $f$ be defined on an interval $I$, and suppose there exists an $M>0$ and $\alpha>0$ such that $$ |f(x) - f(y)| \leq M|x -y|^\alpha, $$ for $x,y \in I$. Prove that $f$ is uniformly continuous on $I$. If $\alpha>1$, prove that $f$ is constant on $I$.

Should I use the mean value theorem for this problem?

  • 0
    How do you hope to use the mean value theorem? Where are you going to get a differentiable function from?2012-11-22
  • 0
    For the first part: Given $\epsilon>0$, find a $\delta>0$ such that $M\delta^\alpha<\epsilon$ and see if it helps.2012-11-22
  • 0
    For the second part: I'll just interpret Chris Eagle's comment as I see it: There is a differentiable function here. Why is it differentiable?2012-11-22

2 Answers 2

1

I'll write my comments as an answer.

  1. For the first part: Given $\epsilon>0$, find a $\delta>0$ such that $M\delta^\alpha<\epsilon$ and see if it helps.

  2. Prove that if $\alpha>1$ then $f$ is differentiable by definition of being differentiable. You'll also get the value of the derivative. What do you expect it to be?

0

Given $\epsilon>0$, let $\delta = \left( \frac \epsilon M\right)^{\frac1\alpha}$. Then $|x-y|<\delta$ implies $$|f(x)-f(y)|\le M |x-y|^\alpha< M\delta^\alpha = M\frac \epsilon M=\epsilon$$ as was to be shown.

Assume $\alpha>1$ and $f(x)\ne f(y)$. For $n\in \mathbb N$ let $x_k=x+\frac kn (y-x)$, $0\le k\le n$ (so that $x_0=x$, $x_n=y$). Then $$|f(x_{k+1})-f(x_k)|\le M|x_{k-1}-x_k|^\alpha=M\left(\frac{|y-x|}n\right)^\alpha$$ for $0\le k\left(\frac{M|y-x|^\alpha}{|f(x)-f(y)|}\right)^{\frac1{\alpha-1}}$). But (1) and (2) together imply $|f(y)-f(x)|<|f(y)-f(x)|$, a contradiction. Hence $f(x)\ne f(y)$ is not possible if $\alpha>1$.