Lipschitz Functions, Part 1
![](/static/dividerdecorator-c9420a9fac07ae4a2a454236916e50cd.png)
What is a Lipschitz Function?
This is the first post in a series of posts about Lipschitz functions. These are functions that fit right in-between the continuous functions and the differentiable functions. So, every Lipschitz function is continuous, but not necessarily differentiable. In time, we will go through the basic definitions of Lipschitz functions, how to put a Banach space structure onto the space of Lipschitz functions, and some cool uses of Lipschitz, but not differentiable, functions.
A function from to is called -Lipschitz if it satisfies the following bound for all .
If a function is called Lipschitz if it is -Lipschitz for some . The least such is called the Lipschitz constant of that function.
For example, take . This is a 1-Lipschitz function, since the slope between any two points on the graph of is at most 1. Other 1-Lipschitz functions include and . Lipschitzness can be interpreted as a bound on the regularity of a function, or how smooth it is. Differentiability is another condition on the regularity of a function, and it is interesting to note that is Lipschitz, but is not differentiable.
Broadly, there are two ways that a function can fail to be Lipschitz: either the Lipschitz condition fails when is large, or it fails when is small. For example, satisfies the Lispchitz condition with whenever . But, it fails when and get too close to each other. On the other hand, satisfies a Lipschitz condition in any bounded domain, but doesn't satisfy it when its domain is the entire real line. Focusing only on global Lipschitzness or local Lipschitzness leads to more general theories than just the theory of Lipschitz functions. There are a few different ways to approach functions that are Lipschitz on large scales, although I don't know much about them. This set of notes is more focused on the functions which satisfy Lipschitz conditions locally — that is, on small scales.
More specifically, define a function to be locally Lipschitz if its domain can be covered by intervals such that for some constant depending on , and all , the following holds.
We can see from this definition that is a locally Lipschitz function, although as noted, it is not globally Lipschitz. On the other hand, is not locally Lipscitz, as is not Lipschitz on any interval containing 0.
More generally, we will be interested in functions from to . Lipschitzness for functions from to is defined mutatis mutandis. In greatest generality, the defintion can be extended to maps between arbitrary metric spaces, but we will not deal with arbitrary metric spaces in this series of notes.
Exercise: Prove that every continuously differentiable function is locally Lipschitz.
Exercise: Prove that a continuously differentiable function with bounded derivative is globally Lipschitz.
Exercise: Prove that the composition of two Lipschitz functions is Lipschitz.
Exercise: Prove that the composition of two locally Lipcshitz functions is locally Lipschitz.