Lipschitz continuity is an even stronger form of uniform continuity and is often used in the theory of differential equations.
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 be an function with domain .
Let's take two arbitrary points and from the domain of and form the straight line through the points und . The slope of the line increases, as the difference between the values and gets bigger. The mean rate of change between function values is equal to the slope 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 has an upper bound (because the absolute value is bounded, both positive and negative values are bounded). There exists a constant , so that for all with the inequality holds: This number is called the Lipschitz constant. By multiplying both sides of the equation with , we get:
This inequality is the basis for the definition of Lipschitz continuity. If we can find such a constant that satisfies this inequality for all , then we have also found an absolute bound for the rate of change of the function. Because the inequality is still true even for this will result in a nice simplification of the definition, because we can drop the assumption that , which we otherwise would have needed, had we tried to work with the original mean rate of change .
Definition (Lipschitz continuity)
Let be a subset of and let be a function. Then we say is Lipschitz continuous in , if and only if there exists a constant , which satisfies for all .
More formally the definition could be written using quantifiers:
The right-hand side of the above equivalence can be translated as follows:
Why do we need Lipschitz continuity?[Bearbeiten]
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 from the domain and the corresponding function value . Now imagine you want to estimate the value for a new point . We can obtain such an estimate if we use our Lipschitz constant to find an upper and lower bound for . From Lipschitz continuity it follows that:
By adding we obtain:
This way we have found a lower and upper bound and know that must be located somewhere in between.
Picturing Lipschitz continuity with cones[Bearbeiten]
Let's try to visualize the Lipschitz condition: Given a Lipschitz continuous function we draw the straight lines and through the point and make their slope be equal to our Lipschitz constant and respectively. Above we already have seen that the Lipschitz condition is given by , which means that the slope of all secants through is bounded. This means that the graph of the function must run between those two lines:
This constraints is true for all in the domain. In the picture we could let the lines move along the graph of and in turn the graph of 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 (or less than ). This means that the absolute value of the derivative is bounded by the Lipschitz constant.
Difference between Lipschitz and uniform continuity[Bearbeiten]
With uniform continuous functions to every
we can find a
, so that the function values lie in the
-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 from another value .
Lipschitz continuity implies a linear relationship between the distance of the arguments and the output values . This is not the case with uniform continuity because the constraint is the same for all with . Hence the cones of Lipschitz continuity that become progressively smaller as we approach give us a much better estimate than the „--rectangle“ of uniform continuity. We could try choose arbitrary small, to improve the approximation of . But this could mean that our values must become really small too, i.e. we have to be really close the the original point . You can observe this phenomenon by studying the behaviour of the square-root function near .
Link to uniform continuity[Bearbeiten]
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[Bearbeiten]
Theorem (Lipschitz continuity implies uniform continuity)
Let and be a function which is Lipschitz continuous in . Then is also uniformly continuous in .
Proof (Lipschitz continuity implies uniform continuity)
Let's recall the definition of uniform continuity: A function is uniformly continuous, if and only if for all we can find a , so that for all with , it follows that .
Thus let . Our job is to find a , so that for all arguments that are less than apart from one another, i.e. , also the distance of the outputs is smaller than , so should be satisfied. Our starting point is that is Lipschitz continuous, and we are trying to show that must be uniformly continuous also. We remember that being Lipschitz continuous means, that there exists a constant , so that for all .
The question we need to ask ourself is: How large can the distance between the arguments be, so that the outputs still satisfy ? Maybe you will soon realize that we can choose the distance to be smaller than . So we choose our . But be wary! The Lipschitz constant could be zero (we would divide by zero). Here we need a case-by-case analysis:
If , then the Lipschitz condition tells us that for all . But this implies that and thus for all . That means must be a constant function, and is therefore uniformly continuous. For an arbitrary you could choose any .
The interesting case is . We already hinted at the solution. Choose . Let with . Now everything will follow from our Lipschitz condition:
Not all uniformly continuous functions are Lipschitz continuous[Bearbeiten]
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 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:
We will give a prove by contradiction. Let's assume this function is Lipschitz continuous. By definition there must be a constant , so that for all the following holds: . But this would have further implications for all with or :
But by choosing and , we see that:
This is a contradiction! Therefore the assumption that is Lipschitz continuous in must be false.
Lipschitz continuity implies (normal) continuity[Bearbeiten]
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 . Imagine tracing a straight line through the point at the -value of the graph, and through another point . 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 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 that will bound the absolute value of the slope of the secant. If you think you have found such a constant just move the intersection point of the secant even closer to , until you will eventually reach a point where the slope will be greater than .
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.
Example (The identity is Lipschitz continuous)
The identity with is Lipschitz continuous on all of with Lipschitz constant , because for all it follows that:
Example (The restricted Square function is Lipschitz continuous)
Consider the Square function on the closed interval :
The values are chosen at will, but with . We claim that this function is Lipschitz continuous because for all it follows that:
Thus we can choose as our Lipschitz constant.
Example (The (unrestricted) Square function is not Lipschitz continuous)
In contrast consider the unrestricted Square function with . By dropping the condition that the interval must be closed, we lose the Lipschitz continuity. Assume that there is a Lipschitz constant with for all . We start by observing that:
Because of the inequality must be true for all . But it's clear that such a Lipschitz constant cannot possibly exist. We easily find that by setting and (after trying to choose a fixed ) the inequality doesn't hold. By this contradiction we see that the Square function cannot be Lipschitz continuous on all of
Lineare Funktionen sind Lipschitz-stetig[Bearbeiten]
Exercise (Linear functions are Lipschitz continuous)
Show that every linear function with is Lipschitz continuous.
Solution (Linear functions are Lipschitz continuous)
Let be at will. Then we see:
The linear function is therefore Lipschitz continuous with Lipschitz constant .
Quadratische Funktionen und Lipschitz-Stetigkeit[Bearbeiten]
Exercise (Quadratische Funktionen und Lipschitz-Stetigkeit)
Zeige, dass jede quadratische Funktion mit für und auf dem abgeschlossenen Intervall Lipschitz-stetig ist und auf ganz nicht Lipschitz-stetig ist.
Solution (Quadratische Funktionen und Lipschitz-Stetigkeit)
Mit einer binomischen Formel bekommen wir:
Sei nun zuerst . Dort gilt dann mit der Dreiecksungleichung:
Eine geeignete Lipschitz-Konstante ist damit gegeben durch .
Dann sehen wir uns noch den Fall des Definitionsbereichs an. Angenommen, wäre Lipschitz-stetig. Dann würde ein mit für alle existieren. Mit der obigen Rechnung folgt dann:
Also müsste für alle gelten. Wählt man beispielsweise und , dann erhält man:
Das liefert uns einen Widerspruch zu der Aussage oben, also ist auf nicht Lipschitz-stetig.
Lipschitz-Stetigkeit und die Hyperbelfunktion[Bearbeiten]
Es sei mit .
- Zeige, dass Lipschitz-stetig ist, und bestimme eine Lipschitzkonstante für diese Funktion.
- Untersuche, ob auch Lipschitzstetig ist.
Solution sub-exercise 1:
Seien . Dann gilt:
ist daher auf Lipschitz-stetig mit Lipschitz-Konstante .
Solution sub-exercise 2:
Angenommen ist Lipschitzstetig, dann gibt es ein mit für alle . Für ist dies äquivalent zu . Nun unterscheiden wir die Fälle und :
Für und ist . ↯
Für und erhalten wir den Widerspruch:
Praktisches Kriterium für Lipschitz-Stetigkeit: Der Schrankensatz[Bearbeiten]
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 stetig und in differenzierbar. Weiter sei die Ableitungsfunktion beschränkt. Dann ist Lipschitz-stetig mit Lipschitz-Konstante . Insbesondere ist jedes auf stetig-differenzierbare Lipschitz-stetig.