Math 2.0

Approximations and expansions Definition

Lipschitz class

Builds on Lipschitz continuityHölder continuityModulus of continuity

Definition

Let I⊆ℝI \subseteq \R be an interval, let 0<α≤10 < \alpha \le 1, and let M>0M > 0. The class LipMα\mathrm{Lip}_M \alpha on II is the set of functions f ⁣:I→ℝf \colon I \to \R such that ∣f(x)−f(y)∣≤M∣x−y∣αfor all x,y∈I.\abs{f(x) - f(y)} \le M \abs{x - y}^\alpha \quad \text{for all } x, y \in I. The Lipschitz class Lip α\mathrm{Lip}\,\alpha on II is the union of the classes LipMα\mathrm{Lip}_M \alpha over all M>0M > 0.

Remarks

Example: f(x)=xf(x) = \sqrt{x} on [0,1][0, 1] lies in Lip112\mathrm{Lip}_1 \tfrac12. For 0≤y≤x0 \le y \le x one has x−y≤x−y\sqrt{x} - \sqrt{y} \le \sqrt{x - y}, since squaring gives x+y−2xy≤x−yx + y - 2\sqrt{xy} \le x - y, that is y≤xyy \le \sqrt{xy}.

Non-example: the same ff is not in Lip 1\mathrm{Lip}\,1, because ∣f(x)−f(0)∣/∣x−0∣=x−1/2\abs{f(x) - f(0)} / \abs{x - 0} = x^{-1/2} is unbounded as x→0x \to 0.

In terms of the modulus of continuity ω(f,δ)\omega(f, \delta), the condition f∈LipMαf \in \mathrm{Lip}_M \alpha says ω(f,δ)≤Mδα\omega(f, \delta) \le M \delta^\alpha for all δ>0\delta > 0. Lip 1\mathrm{Lip}\,1 is the class of Lipschitz continuous functions, and Lip α\mathrm{Lip}\,\alpha for α<1\alpha < 1 is the class of Hölder continuous functions of exponent α\alpha. The restriction α≤1\alpha \le 1 is natural: for α>1\alpha > 1 the condition forces f′=0f' = 0, so only constant functions remain.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Hölder continuity concept
  2. Lipschitz continuity definition
  3. Modulus of continuity concept
  4. Lipschitz class definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Lipschitz_continuity
About this page
TagJ39DGKG9A7
URIm2://J39DGKG9A7
Kinddefinition
WritingW0 stub
MSC41A25, 26A16
DefinesLipschitz class
UsesLipschitz continuity, Hölder continuity, Modulus of continuity

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.