# Lipschitz Questions

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

-

Hint: Use the Mean Value Theorem in functions $y\mapsto \sup_{x} f(x,y)$. – Elias Dec 9 '12 at 16:09
This is a hint for which problem? What is $\sup_x$ – Joyeuse Saint Valentin Dec 9 '12 at 16:23
The Lipschitz condition is on $f$, not on $f_y$. $-$ What it is all about is the following: A $\sup$ condition on $f_y$ is equivalent with a Lipschitz condition on $f$. – Christian Blatter Dec 9 '12 at 16:26
bump.................... – Joyeuse Saint Valentin Dec 11 '12 at 16:33
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 28, "mathjax_display_tex": 4, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9297582507133484, "perplexity_flag": "head"}