Lipschitz continuity – Serlo

Zur Navigation springen Zur Suche springen

Lipschitz continuity is an even stronger form of uniform continuity and is often used in the theory of differential equations.

Derivation

By introducing the notion of Lipschitz continuity, we will be able to say more about the rate at which a function changes. As we already know, continuous functions have the neat property that sufficiently small changes in the arguments will result in arbitrary small changes in the function value. On top of that, Lipschitz continuity allows us give an estimate of that change. We can thus talk very precisely about how "fast" the changes of the output become smaller. For better understanding, let us first recap what we mean by changes of a function. Let ${\displaystyle f:D\to \mathbb {R} }$ be an function with domain ${\displaystyle D}$.

Let's take two arbitrary points ${\displaystyle {\tilde {x}}}$ and ${\displaystyle x}$ from the domain of ${\displaystyle f}$ and form the straight line through the points ${\displaystyle ({\tilde {x}},f({\tilde {x}}))}$ und ${\displaystyle (x,f(x))}$. The slope of the line increases, as the difference between the values ${\displaystyle f({\tilde {x}})}$ and ${\displaystyle f(x)}$ gets bigger. The mean rate of change between function values is equal to the slope ${\textstyle {\frac {f(x)-f({\tilde {x}})}{x-{\tilde {x}}}}}$ of the secant through those points and can be calculated with the so-called slope triangle:

Let's assume now that the rate of change is bounded, i.e. the slopes of the secants cannot get arbitrary large or small. Thus the absolute value ${\textstyle \left|{\frac {f(x)-f({\tilde {x}})}{x-{\tilde {x}}}}\right|}$ has an upper bound (because the absolute value is bounded, both positive and negative values are bounded). There exists a constant ${\displaystyle L\in \mathbb {R} }$, so that for all ${\displaystyle {\tilde {x}},x\in D}$ with ${\displaystyle x\neq {\tilde {x}}}$ the inequality ${\textstyle \left|{\frac {f(x)-f({\tilde {x}})}{x-{\tilde {x}}}}\right|\leq L}$ holds: This number ${\displaystyle L}$ is called the Lipschitz constant. By multiplying both sides of the equation with ${\displaystyle |x-{\tilde {x}}|}$, we get:

{\displaystyle {\begin{aligned}&&\left|{\frac {f(x)-f({\tilde {x}})}{x-{\tilde {x}}}}\right|&\leq L\\[0.3em]&\iff &\left|f(x)-f({\tilde {x}})\right|&\leq L|x-{\tilde {x}}|\end{aligned}}}

This inequality ${\displaystyle \left|f(x)-f({\tilde {x}})\right|\leq L|x-{\tilde {x}}|}$ is the basis for the definition of Lipschitz continuity. If we can find such a constant ${\displaystyle L}$ that satisfies this inequality for all ${\displaystyle x,{\tilde {x}}\in R}$, then we have also found an absolute bound for the rate of change of the function. Because the inequality ${\displaystyle \left|f(x)-f({\tilde {x}})\right|\leq L|x-{\tilde {x}}|}$ is still true even for ${\displaystyle x={\tilde {x}}}$ this will result in a nice simplification of the definition, because we can drop the assumption that ${\displaystyle x\neq {\tilde {x}}}$, which we otherwise would have needed, had we tried to work with the original mean rate of change ${\textstyle {\frac {f(x)-f({\tilde {x}})}{x-{\tilde {x}}}}}$.

Definition

Definition (Lipschitz continuity)

Let ${\displaystyle D\subseteq \mathbb {R} }$ be a subset of ${\displaystyle \mathbb {R} }$ and let ${\displaystyle f:D\rightarrow \mathbb {R} }$ be a function. Then we say ${\displaystyle f}$ is Lipschitz continuous in ${\displaystyle D}$, if and only if there exists a constant ${\displaystyle L\geq 0}$, which satisfies ${\displaystyle |f(x)-f({\tilde {x}})|\leq L\cdot |x-{\tilde {x}}|}$ for all ${\displaystyle x,{\tilde {x}}\in D}$.

More formally the definition could be written using quantifiers:

${\displaystyle {\begin{array}{cc}&f:D\rightarrow \mathbb {R} {\text{ is Lipschitz continuous }}\\[1em]\iff &\exists L\geq 0\,\forall x,{\tilde {x}}\in D:|f(x)-f({\tilde {x}})|\leq L\cdot |x-{\tilde {x}}|\end{array}}}$

The right-hand side of the above equivalence can be translated as follows:

${\displaystyle \underbrace {\exists L\geq 0} _{{\text{There exists }}L\geq 0}\underbrace {\forall x,{\tilde {x}}\in D:} _{{\text{, so that for all }}x,{\tilde {x}}{\text{ following is true: }}}\underbrace {|f(x)-f({\tilde {x}})|\leq L\cdot |x-{\tilde {x}}|} _{|f(x)-f({\tilde {x}})|{\text{ is smaller than }}L\cdot |x-{\tilde {x}}|}}$

Why do we need Lipschitz continuity?

The Lipschitz constant of a Lipschitz continuous functions gives us an absolute upper bound for the rate of change. This is useful if we want to estimate function values.

Let us assume we are given a point ${\displaystyle x\in D}$ from the domain and the corresponding function value ${\displaystyle f(x)}$. Now imagine you want to estimate the value ${\displaystyle f(y)}$ for a new point ${\displaystyle y\in D}$. We can obtain such an estimate if we use our Lipschitz constant to find an upper and lower bound for ${\displaystyle f(y)}$. From Lipschitz continuity it follows that:

${\displaystyle \left|f(y)-f(x)\right|\leq L\left|y-x\right|\iff -L\left|y-x\right|\leq f(y)-f(x)\leq L\left|y-x\right|}$

By adding ${\displaystyle f(x)}$ we obtain:

${\displaystyle f(x)-L|y-x|\leq f(y)\leq f(x)+L|y-x|}$

This way we have found a lower and upper bound and know that ${\displaystyle f(y)}$ must be located somewhere in between.

Intuition

Picturing Lipschitz continuity with cones

Let's try to visualize the Lipschitz condition: Given a Lipschitz continuous function ${\displaystyle f:D\to \mathbb {R} }$ we draw the straight lines ${\displaystyle g_{1}}$ and ${\displaystyle g_{2}}$ through the point ${\displaystyle ({\tilde {x}},f({\tilde {x}}))}$ and make their slope be equal to our Lipschitz constant ${\displaystyle L}$ and ${\displaystyle -L}$ respectively. Above we already have seen that the Lipschitz condition is given by ${\textstyle {\frac {f(x)-f({\tilde {x}})}{x-{\tilde {x}}}}\leq L}$, which means that the slope of all secants through ${\displaystyle ({\tilde {x}},f({\tilde {x}}))}$ is bounded. This means that the graph of the function must run between those two lines:

This constraints is true for all ${\displaystyle {\tilde {x}}}$ in the domain. In the picture we could let the lines move along the graph of ${\displaystyle f}$ and in turn the graph of ${\displaystyle f}$ will always lie between those two lines:

If the function is differentiable the derivative of the function taken at a point will match the slope of the tangent at that point. Using this visualization we can see that the derivative of a Lipschitz continuous function cannot get bigger than ${\displaystyle L}$ (or less than ${\displaystyle -L}$). This means that the absolute value of the derivative is bounded by the Lipschitz constant.

Difference between Lipschitz and uniform continuity

With uniform continuous functions to every ${\displaystyle \epsilon >0}$ we can find a ${\displaystyle \delta >0}$, so that the function values lie in the ${\displaystyle \epsilon }$-${\displaystyle \delta }$-rectangle. But this rectangle only allows for a worse estimation compared to the Lipschitz inequality.

Both the Lipschitz and uniform continuity are so-called global properties of a function (normal continuity is only a local property!). In contrast to Lipschitz continuity, uniform continuity gives no information about the rate of change. This could be a disadvantage if you are trying to estimate a value ${\displaystyle f(y)}$ from another value ${\displaystyle f(x)}$ .

Lipschitz continuity implies a linear relationship between the distance of the arguments ${\displaystyle y-x}$ and the output values ${\displaystyle f(y)-f(x)}$. This is not the case with uniform continuity because the constraint ${\displaystyle \left|f(y)-f(x)\right|\leq \epsilon }$ is the same for all ${\displaystyle x,y}$ with ${\displaystyle \left|y-x\right|\leq \delta }$. Hence the cones of Lipschitz continuity that become progressively smaller as we approach ${\displaystyle x}$ give us a much better estimate than the „${\displaystyle \epsilon }$-${\displaystyle \delta }$-rectangle“ of uniform continuity. We could try choose ${\displaystyle \epsilon }$ arbitrary small, to improve the approximation of ${\displaystyle f(y)}$. But this could mean that our ${\displaystyle \delta }$ values must become really small too, i.e. we have to be really close the the original point ${\displaystyle x}$. You can observe this phenomenon by studying the behaviour of the square-root function near ${\displaystyle x=0}$.

How is this new notion of Lipschitz continuity linked to the old concepts of normal and uniform continuity? We already made the claim that Lipschitz continuity is stronger than uniform continuity: Every Lipschitz continuous function is also uniform continuos. But the converse is not generally true.

Lipschitz continuous functions are uniformly continuous

Theorem (Lipschitz continuity implies uniform continuity)

Let ${\displaystyle D\subseteq \mathbb {R} }$ and ${\displaystyle f:D\rightarrow \mathbb {R} }$ be a function which is Lipschitz continuous in ${\displaystyle D}$. Then ${\displaystyle f}$ is also uniformly continuous in ${\displaystyle D}$.

Proof (Lipschitz continuity implies uniform continuity)

Let's recall the definition of uniform continuity: A function ${\displaystyle f}$ is uniformly continuous, if and only if for all ${\displaystyle \epsilon >0}$ we can find a ${\displaystyle \delta >0}$, so that for all ${\displaystyle x,y\in D}$ with ${\displaystyle |x-y|<\delta }$, it follows that ${\displaystyle |f(x)-f(y)|<\epsilon }$.

Thus let ${\displaystyle \epsilon >0}$. Our job is to find a ${\displaystyle \delta >0}$, so that for all arguments ${\displaystyle x,y\in D}$ that are less than ${\displaystyle \delta }$ apart from one another, i.e. ${\displaystyle |x-y|<\delta }$, also the distance of the outputs is smaller than ${\displaystyle \epsilon }$, so ${\displaystyle |f(x)-f(y)|<\epsilon }$ should be satisfied. Our starting point is that ${\displaystyle f}$ is Lipschitz continuous, and we are trying to show that ${\displaystyle f}$ must be uniformly continuous also. We remember that being Lipschitz continuous means, that there exists a constant ${\displaystyle L\geq 0}$, so that ${\displaystyle |f(x)-f(y)|\leq L\cdot |x-y|}$ for all ${\displaystyle x,y\in D}$.

The question we need to ask ourself is: How large can the distance between the arguments ${\displaystyle x,y\in D}$ be, so that the outputs still satisfy ${\displaystyle |f(x)-f(y)|<\epsilon }$? Maybe you will soon realize that we can choose the distance ${\displaystyle |x-y|}$ to be smaller than ${\displaystyle {\tfrac {\epsilon }{L}}}$. So we choose our ${\displaystyle \delta ={\tfrac {\epsilon }{L}}}$. But be wary! The Lipschitz constant ${\displaystyle L}$ could be zero (we would divide by zero). Here we need a case-by-case analysis:

Fall 1: ${\displaystyle L=0}$

If ${\displaystyle L=0}$, then the Lipschitz condition tells us that ${\displaystyle |f(x)-f(y)|\leq 0}$ for all ${\displaystyle x,y\in D}$. But this implies that ${\displaystyle |f(x)-f(y)|=0}$ and thus ${\displaystyle f(x)=f(y)}$ for all ${\displaystyle x,y\in D}$. That means ${\displaystyle f}$ must be a constant function, and is therefore uniformly continuous. For an arbitrary ${\displaystyle \epsilon >0}$ you could choose any ${\displaystyle \delta >0}$.

Fall 2: ${\displaystyle L\neq 0}$

The interesting case is ${\displaystyle L\neq 0}$. We already hinted at the solution. Choose ${\displaystyle \delta ={\tfrac {\epsilon }{L}}}$. Let ${\displaystyle x,y\in D}$ with ${\displaystyle |x-y|\leq \delta }$. Now everything will follow from our Lipschitz condition:

{\displaystyle {\begin{aligned}|f(x)-f(y)|&\leq L\cdot |x-y|

Not all uniformly continuous functions are Lipschitz continuous

To show this fact we only need to find a counterexample, i.e. a function which we know is uniformly continuous, but not Lipschitz continuous. We will see that the square root function in ${\displaystyle \mathbb {R} _{0}^{+}}$ is such a counterexample. It was already proven previously that this function is uniformly continuous. We now will show that it is not Lipschitz continuous. Thus consider the function:

{\displaystyle {\begin{aligned}f:\mathbb {R} _{0}^{+}&\to \mathbb {R} \\x&\mapsto {\sqrt {x}}\end{aligned}}}

We will give a prove by contradiction. Let's assume this function is Lipschitz continuous. By definition there must be a constant ${\displaystyle L\geq 0}$, so that for all ${\displaystyle x,y\in \mathbb {R} _{0}^{+}}$ the following holds: ${\displaystyle |{\sqrt {x}}-{\sqrt {y}}|. But this would have further implications for all ${\displaystyle x,y\in \mathbb {R} _{0}^{+}}$ with ${\displaystyle x>0}$ or ${\displaystyle y>0}$:

{\displaystyle {\begin{aligned}&&|{\sqrt {x}}-{\sqrt {y}}|&

But by choosing ${\textstyle x={\frac {1}{4L^{2}}}>0}$ and ${\displaystyle y=0}$, we see that:

{\displaystyle {\begin{aligned}{\frac {1}{|{\sqrt {x}}+{\sqrt {y}}|}}&={\frac {1}{{\frac {1}{\sqrt {4L^{2}}}}+0}}\\[0.5em]&={\frac {1}{\frac {1}{2L}}}=2L>L\end{aligned}}}

This is a contradiction! Therefore the assumption that ${\displaystyle f}$ is Lipschitz continuous in ${\displaystyle \mathbb {R} _{0}^{+}}$ must be false.

Lipschitz continuity implies (normal) continuity

From the previous section we see that Lipschitz continuity implies (normal) continuity: Since Lipschitz continuous functions are uniformly continuous, they are also continuous (remember that uniform continuity is stronger than normal continuity). To view it from a different angle, we can ask ourself why a discontinuous function cannot be Lipschitz continuous:

Let's re-evoke the first intuitive image we had about continuity: A function is continuous if there aren't any "jumps" or "gaps":

The pictured function is discontinuous at ${\displaystyle {\tilde {x}}=1}$. Imagine tracing a straight line through the point at the ${\displaystyle {\tilde {x}}}$-value of the graph, and through another point ${\displaystyle x>{\tilde {x}}}$. This line is a secant of that graph.

If you imagine moving the right intersection point of that secant closer and closer to the point ${\displaystyle x}$ which is the jump point, you will observe that the slope of the secant gets bigger and bigger and will eventually reach infinity. This means that there cannot be any constant ${\displaystyle L\in \mathbb {R} }$ that will bound the absolute value of the slope of the secant. If you think you have found such a constant ${\displaystyle L}$ just move the intersection point of the secant even closer to ${\displaystyle x}$, until you will eventually reach a point where the slope ${\textstyle {\frac {f(x)-f({\tilde {x}})}{x-{\tilde {x}}}}}$ will be greater than ${\displaystyle L}$.

So now it should be clear why every discontinuous function cannot be Lipschitz continuous. You can reverse this proposition logically by contraposition and obtain the original proposition that Lipschitz continuity implies (normal) continuity. In summary, functions which rate of change is bounded are Lipschitz continuous and cannot have any points of discontinuity.

Examples

Example (The identity is Lipschitz continuous)

The identity ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$ with ${\displaystyle f(x)=x}$ is Lipschitz continuous on all of ${\displaystyle \mathbb {R} }$ with Lipschitz constant ${\displaystyle L=1}$, because for all ${\displaystyle x,y\in \mathbb {R} }$ it follows that:

${\displaystyle |f(x)-f(y)|=|x-y|\leq 1\cdot |x-y|}$

Example (The restricted Square function is Lipschitz continuous)

Consider the Square function on the closed interval ${\displaystyle [a,b]}$:

{\displaystyle {\begin{aligned}f:[a,b]&\to \mathbb {R} \\x&\mapsto x^{2}\end{aligned}}}

The values ${\displaystyle a,b\in \mathbb {R} }$ are chosen at will, but with ${\displaystyle a. We claim that this function is Lipschitz continuous because for all ${\displaystyle x,y\in [a,b]}$ it follows that:

{\displaystyle {\begin{aligned}|f(x)-f(y)|&=|x^{2}-y^{2}|\\[0.3em]&=|(x+y)\cdot (x-y)|\\[0.3em]&=|x+y|\cdot |x-y|\\[0.3em]&\leq \left(\left|x\right|+\left|y\right|\right)\cdot \left|x-y\right|\\[0.3em]&\leq 2\cdot \max\{\left|x\right|,\left|y\right|\}\cdot \left|x-y\right|\\[0.3em]&\leq 2\cdot \max\{|a|,|b|\}\cdot |x-y|\end{aligned}}}

Thus we can choose ${\displaystyle L=2\cdot \max\{|a|,|b|\}}$ as our Lipschitz constant.

Example (The (unrestricted) Square function is not Lipschitz continuous)

In contrast consider the unrestricted Square function ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$ with ${\displaystyle f(x)=x^{2}}$. By dropping the condition that the interval must be closed, we lose the Lipschitz continuity. Assume that there is a Lipschitz constant ${\displaystyle L>0}$ with ${\displaystyle |f(x)-f(y)|\leq L\cdot |x-y|}$ for all ${\displaystyle x,y\in \mathbb {R} }$. We start by observing that:

{\displaystyle {\begin{aligned}|f(x)-f(y)|&=|x^{2}-y^{2}|\\&=|(x+y)(x-y)|\\&=|x+y|\cdot |x-y|\end{aligned}}}

Because of ${\displaystyle |f(x)-f(y)|\leq L\cdot |x-y|}$ the inequality ${\displaystyle |x+y|\leq L}$ must be true for all ${\displaystyle x,y\in \mathbb {R} }$. But it's clear that such a Lipschitz constant cannot possibly exist. We easily find that by setting ${\displaystyle x=0}$ and ${\displaystyle y=L+1}$ (after trying to choose a fixed ${\displaystyle L}$) the inequality doesn't hold. By this contradiction we see that the Square function ${\displaystyle f}$ cannot be Lipschitz continuous on all of ${\displaystyle \mathbb {R} }$

Exercises

Lineare Funktionen sind Lipschitz-stetig

Exercise (Linear functions are Lipschitz continuous)

Show that every linear function ${\displaystyle f:\mathbb {R} \to \mathbb {R} :x\mapsto a\cdot x+b}$ with ${\displaystyle a,b\in \mathbb {R} }$ is Lipschitz continuous.

Solution (Linear functions are Lipschitz continuous)

Let ${\displaystyle x,y\in \mathbb {R} }$ be at will. Then we see:

{\displaystyle {\begin{aligned}|f(x)-f(y)|&=|a\cdot x+b-(a\cdot y+b)|\\[0.3em]&=|a\cdot (x-y)|=|a|\cdot |x-y|\end{aligned}}}

The linear function ${\displaystyle f}$ is therefore Lipschitz continuous with Lipschitz constant ${\displaystyle L=|a|}$.

Zeige, dass jede quadratische Funktion ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$ mit ${\displaystyle f(x)=a\cdot x^{2}+b\cdot x+c}$ für ${\displaystyle a,b,c\in \mathbb {R} }$ und ${\displaystyle a\neq 0}$ auf dem abgeschlossenen Intervall ${\displaystyle [-2,2]\subseteq \mathbb {R} }$ Lipschitz-stetig ist und auf ganz ${\displaystyle \mathbb {R} }$ nicht Lipschitz-stetig ist.

Mit einer binomischen Formel bekommen wir:

{\displaystyle {\begin{aligned}|f(x)-f(y)|&=|ax^{2}+bx+c-(ay^{2}+by+c)|\\[0.3em]&=|a(x^{2}-y^{2})+b(x-y)|\\[0.3em]&=|a(x+y)(x-y)+b(x-y)|\\[0.3em]&=|a(x+y)+b|\cdot |x-y|\end{aligned}}}

Sei nun zuerst ${\displaystyle x,y\in [-2,2]}$. Dort gilt dann mit der Dreiecksungleichung:

{\displaystyle {\begin{aligned}|f(x)-f(y)|&=|a(x+y)+b|\cdot |x-y|\\[0.3em]&\leq (|a(x+y)|+|b|)\cdot |x-y|\\[0.3em]&\leq (|a|\cdot |x+y|+|b|)\cdot |x-y|\\[0.3em]&\leq (|a|\cdot (|x|+|y|)+|b|)\cdot |x-y|\\[0.3em]&\leq (4|a|+|b|)\cdot |x-y|\end{aligned}}}

Eine geeignete Lipschitz-Konstante ist damit gegeben durch ${\displaystyle L=(4|a|+|b|)}$.

Dann sehen wir uns noch den Fall des Definitionsbereichs ${\displaystyle D=\mathbb {R} }$ an. Angenommen, ${\displaystyle f}$ wäre Lipschitz-stetig. Dann würde ein ${\displaystyle L\geq 0}$ mit ${\displaystyle |f(x)-f(y)|\leq L\cdot |x-y|}$ für alle ${\displaystyle x,y\in \mathbb {R} }$ existieren. Mit der obigen Rechnung folgt dann:

{\displaystyle {\begin{aligned}|f(x)-f(y)|&=|a(x+y)+b|\cdot |x-y|\\[0.3em]&\leq L\cdot |x-y|\end{aligned}}}

Also müsste ${\displaystyle |a(x+y)+b|\leq L}$ für alle ${\displaystyle x,y\in \mathbb {R} }$ gelten. Wählt man beispielsweise ${\displaystyle y=0}$ und ${\textstyle x={\frac {L-b+1}{a}}\in \mathbb {R} }$, dann erhält man:

{\displaystyle {\begin{aligned}|a(x+y)+b|&=\left|a\left({\frac {L-b+1}{a}}+0\right)+b\right|\\[0.3em]&=|L+1|>L\end{aligned}}}

Das liefert uns einen Widerspruch zu der Aussage oben, also ist ${\displaystyle f}$ auf ${\displaystyle \mathbb {R} }$ nicht Lipschitz-stetig.

Lipschitz-Stetigkeit und die Hyperbelfunktion

Exercise

Es sei ${\displaystyle f:(0,\infty )\to \mathbb {R} }$ mit ${\textstyle f(x)={\frac {1}{x}}}$.

1. Zeige, dass ${\displaystyle f|_{[1,\infty )}}$ Lipschitz-stetig ist, und bestimme eine Lipschitzkonstante für diese Funktion.
2. Untersuche, ob auch ${\displaystyle f|_{(0,1]}}$ Lipschitzstetig ist.

Solution

Solution sub-exercise 1:

Seien ${\displaystyle x,y\in [1,\infty )}$. Dann gilt:

{\displaystyle {\begin{aligned}|f(x)-f(y)|&=\left|{\frac {1}{x}}-{\frac {1}{y}}\right|=\left|{\frac {y-x}{xy}}\right|\\[0.3em]&={\frac {1}{xy}}\cdot |x-y|\\[0.3em]&{\color {OliveGreen}\left\downarrow \ x,y\geq 1\right.}\\[0.3em]&\leq 1\cdot |x-y|\end{aligned}}}

${\displaystyle f}$ ist daher auf ${\displaystyle [1,\infty )}$ Lipschitz-stetig mit Lipschitz-Konstante ${\displaystyle L=1}$.

Solution sub-exercise 2:

Angenommen ${\displaystyle f|_{(0,1]}}$ ist Lipschitzstetig, dann gibt es ein ${\displaystyle L\geq 0}$ mit ${\textstyle |f(x)-f(y)|={\frac {1}{xy}}|x-y|\leq L|x-y|}$ für alle ${\displaystyle x,y\in (0,1]}$. Für ${\displaystyle x\neq y}$ ist dies äquivalent zu ${\textstyle {\frac {1}{xy}}\leq L}$. Nun unterscheiden wir die Fälle ${\textstyle L>{\frac {1}{2}}}$ und ${\textstyle L\leq {\frac {1}{2}}}$:

Fall 1: ${\textstyle L>{\frac {1}{2}}}$

Für ${\textstyle x={\frac {1}{2L}}\in (0,1]}$ und ${\displaystyle y=1}$ ist ${\textstyle {\frac {1}{xy}}=2L>L}$. ↯

Fall 2: ${\textstyle L\leq {\frac {1}{2}}}$

Für ${\displaystyle x=2L\in (0,1]}$ und ${\displaystyle y=1}$ erhalten wir den Widerspruch:

${\displaystyle {\frac {1}{xy}}={\frac {1}{2L}}\ {\overset {L\leq {\frac {1}{2}}}{\geq }}\ {\frac {1}{2\cdot {\frac {1}{2}}}}=1>L}$

Praktisches Kriterium für Lipschitz-Stetigkeit: Der Schrankensatz

Wir werden später mit Hilfe des Mittelwertsatzes ein praktisches Kriterium für die Lipschitz-Stetigkeit einer differenzierbaren Funktion herleiten, den Schrankensatz. Dieser lautet:

Theorem (Schrankensatz (Lipschitz-Variante))

Sei ${\displaystyle f:[a,b]\to \mathbb {R} }$ stetig und in ${\displaystyle (a,b)}$ differenzierbar. Weiter sei die Ableitungsfunktion ${\displaystyle f':(a,b)\to \mathbb {R} }$ beschränkt. Dann ist ${\displaystyle f}$ Lipschitz-stetig mit Lipschitz-Konstante ${\displaystyle L=\sup _{x\in (a,b)}|f'(x)|}$. Insbesondere ist jedes auf ${\displaystyle [a,b]}$ stetig-differenzierbare ${\displaystyle f}$ Lipschitz-stetig.