6
$\begingroup$

Is it legitimate to show the Lipshitz continuity of $f(x)=x^2$ as I did below?

$$|x^2-y^2| \leq L|x-y| $$ w.l.o.g. $x>y.$

$$\Rightarrow x^2-y^2 \leq L|x-y|$$

$$\Leftrightarrow \ \dfrac {x^2-y^2}{x-y} \leq L\\ \Leftrightarrow \ \dfrac {(x-y) \cdot (x+y) }{x-y} \leq L\\ \Leftrightarrow \ x+y \leq L.$$

Define $n=x+y$, then we get: $n \leq L$. After Archimedes' principle we are able to find an $n$ which violates the relation between $n$ and $L$.

EDIT: The function isn't Lipschitz continous after my calculation.

Greetings.

  • 0
    Yes, it's good (modulo some inaccuracies). You are doing proof by way of contradiction, so it's better if you start by saying suppose $f$ is Lipschitz, then ... . Your statements are true for all $x$ and $y$, and as you pointed out there are $x$ and $y$ such that $x+y>L$ (e.g. $x=L+1$ and $y=L$), a contradiction.2012-11-22
  • 0
    Thanks for the fast response. Am I allowed to unfold the abs of x² - y² like I did by assuming that x > y w.l.o.g or do I have to prove it for both cases (x>y, x2012-11-22
  • 0
    $|x^2-y^2|=|x-y||x+y|$, this is all you need.2012-11-22
  • 0
    haha, silly me! Thank you very much.2012-11-22
  • 0
    To divide though you assume $x\neq y$.2012-11-22
  • 0
    oh right and that would violate against the arbitrariness of x and y2012-11-22
  • 0
    It just means that everything that comes after holds true for all $x$ and $y$ such that $x \neq y$, this is more than enough to get a contradiction.2012-11-22
  • 0
    Alright I proved it this way: $|f(x)-f(y)| = |x²-y²| = |x-y| \cdot |x+y| \leq L \cdot |x-y| \overset{x \neq y} \Leftrightarrow |x+y| \leq L$ Define x:= L and y:= L we get $2\cdot L \leq L$ which is a contradiction.2012-11-22
  • 0
    The way you have written it is inaccurate. Why do you need $\Leftrightarrow$? You just need $\Rightarrow$. Also at the end, to find a contradiction you chose exactly what you cannot choose. Remember $x\neq y$, so just pick something else.2012-11-22
  • 0
    I shouldn't have rushed. Thanks @Cantor.2012-11-22
  • 0
    Btw, try not to use "wlog", also in your proof use more words, math is not about lining up symbols. As I mentioned before, proofs by contradiction often start by saying: Suppose . In your case: "Suppose $f$ is Lipschitz continuous, then for every $x$ and $y$, $x\neq y$, ..." then write your calculations as you did.2012-11-22
  • 0
    Okay I will try to improve till my next question. I appreciate your criticism, thanks @Cantor.2012-11-22

1 Answers 1

8

The function $f(x)=x^2$ is Lipschitz continuous on compact sets. For example, on $[-L,L]$, we have $$ \begin{align} |x^2-y^2| &=|x+y|\,|x-y|\\ &\le2L|x-y| \end{align} $$ $f$ is not Lipschitz continuous on all of $\mathbb{R}$: $$ |(x+1)^2-x^2|=|2x+1|\,|(x+1)-x| $$ shows that there is no single bound that works over all $\mathbb{R}$.