Math 2.0

Real functions Definition

Lipschitz condition

Builds on Function

Definition

Let SS be a subset of ℝn\mathbb{R}^n, let f:S→ℝmf : S \to \mathbb{R}^m be a function, and let K≥0K \ge 0 be a real number. The function ff satisfies a Lipschitz condition on SS with constant KK, or is KK-Lipschitz on SS, if ∥f(x)−f(y)∥≤K ∥x−y∥for all x,y∈S.\| f(x) - f(y) \| \le K\, \| x - y \| \quad \text{for all } x, y \in S. Let D⊆ℝ×ℝnD \subseteq \mathbb{R} \times \mathbb{R}^n and f:D→ℝmf : D \to \mathbb{R}^m. The function ff is Lipschitz in xx on DD with constant KK if ∥f(t,x)−f(t,y)∥≤K∥x−y∥\| f(t, x) - f(t, y) \| \le K \| x - y \| whenever (t,x),(t,y)∈D(t, x), (t, y) \in D.

Remarks

A KK-Lipschitz function is uniformly continuous. A differentiable function on a convex set with ∥f′(x)∥≤K\| f'(x) \| \le K at each point is KK-Lipschitz, by the mean value inequality. For example, sin⁡\sin is 11-Lipschitz on ℝ\mathbb{R}. The function x↦∣x∣x \mapsto \sqrt{|x|} is continuous but not Lipschitz on any interval that contains 00. The non-uniqueness example uses a function of this kind. The Picard–Lindelöf theorem needs a Lipschitz condition in xx.

Reading path

To understand this page from the ground up, read these 2 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. Function concept
  2. Lipschitz condition definition

Where this leads

70 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Lipschitz_continuity, Definitions
About this page
Tag055VVSN00V
URIm2://055VVSN00V
Kinddefinition
WritingW1 stated
MSC26A16, 34A12
DefinesLipschitz condition
UsesFunction

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

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

What links here

Used by