1
$\begingroup$

I want to ask one general question, and after that I would like to know if my method is correct (for determining whether a function is Lipschitz with respect to y)

Is the following statement true?

Suppose D is a convex domain, the function $f(x,y)$ is continuous and $f_y$ is continuous in D. Then $\sup|f_y|\le L \iff |f(x,y_1)-f(x,y_2)| \le L|y_1-y_2|$

(In other words: Iff $f$ and $f_y$ are continous in a convex domain D, then f is lipschitz, with Lipschitz constant L as defined in my theorem)

A few examples (supposing $|x| \le 1$)

$f_1(x,y)=x^4e^{-y^2}$ $f_2(x,y)=\frac{1}{1+y^2} $ $f_3(x,y)=x^2+y^2 $ $f_4(x,y)= |y| \text{ if |y|}\le1, f_4=1 \text{ if } |y|\ge 1 $

My work would be:

$f_1$ is continuous, $f_y=-2yx^4e^{-y^2} \le -2ye^{-y^2}$ is continous everywhere. $\sup|f_y|=\sqrt{2/e}$, so $f_1$ satisfies Lipschitz constant $L=\sqrt{2/e}$

$f_2$ is continuous, $\sup|f_y|=sup|\frac{-2y}{(1+y^2)^2}|=\frac{3\sqrt{3}}{8} $

$f_3$ is continous, $f_y=2y$, $\sup|2y|$ does not exists, because y is not bounded. Therefore $f(x,y)$ does not satisfy the Lipschitz condition. Another way to see this is that, for $y_2=0$ if $|f(x,y_1)-f(x,y_2)| =| y_1^2| \le L|y_1 - y_2|=L|y_1| \implies \frac{y_1^2}{y_1}=y_1\le L$, which is not true because y is not bounded.

I have some trouble understanding the Lipschitz condition for $f_4$. Maybe somebody can help me analysing this function?

Thank you in advance...

(Please give me hints, tips and tricks, because I want to do it all myself).

  • 0
    If I understand the question correctly it is immediate from Mean Value Theorem.2016-12-30

0 Answers 0