# Lipschitz Continuity

*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 IVP

- ,

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 to also be negative.

For a Lipschitz continuous function the difference is small if is small, up to the constant , 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 is (Lipschitz or Hölder) continuous at . This is because if is an irrational number (not a rational number), then it is not known exactly to all its decimals, and thus has to be replaced by the value with a finite decimal approximation of , and in order for the replacement to make sense we must be able to guarantee that is close to if is small.

# Extension of a Lipschitz Continous Function

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.

# Read More

- \hyperref[lipschitzcon]{Lipschitz continuity.}

# 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 say, as , which in quantitative form expresses that

- is small if $\vert dt\vert$ 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 ?

## Leave a Reply