- All my life as an artist I have asked myself: What pushes me continually to make sculpture? I have found the answer. art is an action against death. It is a denial of death…Imagination is a very precise thing, you know-it is not fantasy; the man who invented the wheel while he was observing another man walking-that is imagination!… I am the most curious of all to see what will be the next thing that I will do. (Jacques Lipchitz)
The Cubist sculptor Jacques Lipchitz (1891-1973) was not at all related to the German mathematician Rudolf Lipschitz (1832-1903), who is remembered for requiring the function in the initial value problem IVP
where , to be Lipschitz continuous in order to guarantee that a unique solution exists.
Definition: A function is said to be Lipschitz continuous if there is a constant , called the Lipschitz constant, such that
where we here allow dt to also be negative.
For a Lipschitz continuous function the difference is small if is small, up to the constant L, in the sense that
We may say that a Lipschitz continuous function is locally close to a constant value in the sense that deviates from less than . By this we don’t mean that is close to a constant over its entire span, just locally.
One can relax the concept of Lipschitz continuity to Hölder continuity requiring instead for some fixed constant
Hölder continuity also expresses local constancy, but with a different measure.
In order for a function value to be well defined for a given argument t, it is necessary that the function is (Lipschitz or Hölder) continuous at . This is because if t is an irrational number (not a rational number), then t it is not known exactly to all its decimals, and thus has to be replaced by the value with a finite decimal approximation of t, and in order for the replacement to make sense we must be able to guarantee that is close to if dt is small.
Extension of a Lipschitz Continous Function (optional)
The previous argument can be used to show that a Lipschitz continuous function $latex f:Q\rightarrow Q$ can uniquely be extended to a Lipschitz function . Can you write down the argument?
Hint: Is it sufficient to show that is close to if is small?
The concept of Lipschitz continuity is naturally extended to a function defined on some interval or union of intervals : A function is Lipschitz continuous with Lipschitz constant if
Two Lipschitz continuos functions defined on two adjoining intervals and can be definedas one function defined on the union of intervals with possibly a jump discontinuity at thecommon point . We can thus speak about such piecewise Lipschitz continuous functions, but not about discontinuos functions in general.
Extension to a Function u(x)
The concept of Lipschitz continuity is naturally extended to a function where is a space variable, or some other variable, as follows:
Definition: A function where is a domain in , is said to be Lipschitz continuous with Lipschitz constant , if
As above we understand that a Lipschitz continuous function can uniquely be extended to Lipschitz continuous function .
A Horrible Function which is a Non-Function
In math books you can find the following specification of values
Obviously, this is not a Lipschitz or Hölder continuous function, and in fact it is not a function at all,because you can not in general tell if a given argument $t$ has a finite/periodic decimal expansion or not.
To Think About
- Is the sum of two Lipschitz continuous functions, Lipschitz continuous?
- What about other combinations of functions?
A Lipschitz continuous function does not change more rapidly than a linear function.
Qualitative Definition of Continuity
The concept of Lipschitz continuity is a quantitative concept of continuity, with theLipschitz constant giving quantitative control of a difference in function value in terms of difference in argument dt say, as , which in quantitative form expresses that
- is small if is small.
In most standard Calculus books such a purely qualitative concept of continuity is used, which has advantage of being “more general” but at the cost of being “less precise”, since it does not connect smallness of to smallness of in any quantitative form.
Hölder continuity is also quantitative while allowing almost any generality.
The reason we use Lipschitz/Hölder continuity is that it is more precise than a purely qualitative concept and therefore easier to both understand and use, while the loss of generality does not have any real cost.
To Think About
- Can you give an example of a function which is not Lipschitz continuous?
- What about defined for ?