Lipschitzkontinuitet

Bild av en Lipschitzkontinuerlig funktion som innesluts av två koner. Eftersom det går att placera konernas skärningspunkt var som helst på funktionen utan att någon del av funktionen hamnar i det vita området, är den Lipschitzkontinuerlig.

Funktionen $f(x)={\sqrt {x}}$ på intervallet [0,1] är inte Lipschitzkontinuerlig eftersom lutningen är obegränsad när x närmar sig 0.

Lipschitzkontinuitet är ett villkor inom matematisk analys utvecklat av och namngett efter den tyske matematikern Rudolf Otto Sigismund Lipschitz. Grafiskt kan villkoret ses som ett ”mjukhetsvillkor” för funktioner, där funktionens lutning måste vara begränsad i alla punkter för att uppfylla villkoret.

Begreppet Lipschitz-kontinuitet ligger mellan begreppen kontinuitet och deriverbarhet. En deriverbar funktion är alltid Lipschitzkontinuerlig, och en Lipschitzkontinuerlig funktion är alltid kontinuerlig. Dock gäller inte omvändningen. En kontinuerlig funktion behöver inte vara Lipschitzkontinuerlig, samtidigt som en Lipschitzkontinuerlig funktion inte behöver vara deriverbar.

Definitioner

Givet två metriska rum $(X,d_{X})$ och $(Y,d_{Y})$, där $d_{X}$ är avståndsfunktionen för mängden $X$ och $d_{Y}$ avståndsfunktionen för $Y$, kallas en funktion $f:X\to Y$ Lipschitzkontinuerlig om det existerar en reell konstant $k\geq 0$ sådan att för alla $x,y\in X$,

$d_{Y}(f(x),f(y))\leq kd_{X}(x,y)$.

Lipschitzkontinuitet i en variabel

Funktionen $f:\mathbb {R} \rightarrow \mathbb {R}$ är Lipschitzkontinuerlig på intervallet $I$ om det finns en lipschitzkonstant $k\geq 0$ sådan att för alla för alla $x,y\in I$ så gäller $|f(x)-f(y)|\leq k|x-y|$.

Lipschitzkontinuitet i flera variabler

Funktionen $f:\mathbb {R} ^{m}\rightarrow \mathbb {R} ^{n}$ är Lipschitzkontinuerlig på mängden $I$ om det finns en lipschitzkonstant $k\geq 0$ sådan att för alla ${\vec {x}},{\vec {y}}\in I$ så gäller $|f({\vec {x}})-f({\vec {y}})|\leq k|{\vec {x}}-{\vec {y}}|$

Lokal Lipschitzkontinuitet

En funktion $f({\vec {x}})$ sägs vara lokalt Lipschitzkontinuerlig i en punkt ${\vec {a}}$ om och endast om det finns någon omgivning kring punkten ${\vec {x}}={\vec {a}}$ där funktionen $f({\vec {x}})$ är Lipschitzkontinuerlig.

Egenskaper

Att en funktion är Lipschitzkontinuerlig betyder att dess lutning måste vara begränsad. För en variabel kan man grafiskt tänka sig att en Lipschitzkontinuerlig funktion f kan inneslutas i två koner med axlarna längs x-axeln, vars toppar ligger i en gemensam punkt $x$ på funktionen $f$ (se bilden). Ifall det för varje punkt på $f$ finns ett $k$, där $k$ är lutningen på konernas sidor, så att $f$ är helt innesluten av konen, så har vi en lokalt Lipschitzkontinuerlig funktion. Om det dessutom finns ett och samma k för alla punkter på funktionen som gör att $f$ alltid ligger inom konen, så kan vi säga att $f$ är globalt Lipschitzkontinuerlig.

Då en funktion har en Lipschitzkonstant 0 < k < 1 sägs funktionen vara en sammandragning.

Villkoret för Lipschitzkontinuitet används i Picards sats, som nyttjas för att avgöra existensen för lösningar till differentialekvationer med begynnelsevärden.

Samband mellan kontinuitet, Lipschitzkontinuitet samt deriverbarhet

Lipschitzkontinuitet och deriverbarhet

$f(x)=|x|$ är Lipschitzkontinuerlig överallt, men inte deriverbar i x=0.

• En funktion $f$ som är deriverbar är också lokalt Lipschitz-kontinuerlig. Då derivatan av $f$ är begränsad, är $f$ även globalt Lipschitzkontinuerlig.

Enligt definitionen av riktningsderivata kan riktningsderivatan av funktionen $f({\vec {x}})$ skrivas som

$f'_{\vec {v}}({\vec {x}})\to {f({\vec {x}}+h{\vec {v}})-f({\vec {x}}) \over h},\ h\to 0,\ |{\vec {v}}|=1$

Omskrivning ger

$f({\vec {x}}+h{\vec {v}})-f({\vec {x}})\to f'_{\vec {v}}({\vec {x}})h,\ h\to 0\quad \Rightarrow \quad |f({\vec {x}}+h{\vec {v}})-f({\vec {x}})|\to |f'_{\vec {v}}({\vec {x}})||h|,\ h\to 0$

Detta medför att $f$ är lokalt Lipschitzkontinuerlig för alla punkter på definitionsmängden, eftersom det finns en omgivning kring varje punkt $x$ där

$|f({\vec {x}}+h{\vec {v}})-f({\vec {x}})|\to k|h|,\ h\to 0,\ k=|f'_{\vec {v}}({\vec {x}})|$

Detta innebär dock inte att $f$ är globalt Lipschitzkontinuerlig, eftersom $f'_{\vec {v}}({\vec {x}})$ inte behöver vara obegränsad överallt även om den existerar. Ett exempel är funktionen $g(x)={\sqrt {x}},\ x>0$, vars derivata existerar på hela definitionsmängden och därför är lokalt Lipschitzkontinuerlig överallt, men som däremot inte är globalt Lipschitzkontinuerlig eftersom $f'(x)\to \infty \$ då $\ x\to 0$.

Men då $f'_{\vec {v}}({\vec {x}})$ är begränsad på hela definitionsmängden kan man se att

$|f({\vec {x}}+h{\vec {v}})-f({\vec {x}})|\to |f'_{\vec {v}}({\vec {x}})||h|,\ h\to 0\quad \Rightarrow \quad |f({\vec {x}}+g{\vec {v}})-f({\vec {x}})|\leq |f'_{\vec {v}}|_{max}|g|\quad \Longleftrightarrow \quad |f(x+g)-f(x)|\leq k|g|,\ k=|f'_{\vec {v}}|_{max}$

vilket är ekvivalent med att $f({\vec {x}})$ är globalt Lipschitzkontinuerlig.

• Att en funktion är Lipschitzkontinuerlig medför inte att den samtidigt är deriverbar.

Detta visas enklast genom ett exempel på en funktion som är Lipschitzkontinuerlig men inte deriverbar. Ett sådant exempel är $f(x)=|x|$. I punkten $x=0$ saknas derivata, men funktionen är fortfarande Lipschitzkontinuerlig, eftersom funktionen är kontinuerlig och dess lutning är begränsad.

Lokal och global Lipschitzkontinuitet

• En funktion som är globalt Lipschitzkontinuerlig är även lokalt Lipschitzkontinuerlig i alla punkter. Däremot gäller i allmänhet inte det omvända.

Detta samband kan utläsas direkt ur definitionerna. För en globalt Lipschitzkontinuerlig funktion gäller att för alla punkter ${\vec {x}}$ på funktionen så är lutningen till alla punkter ${\vec {x}}+h{\vec {v}}$ på funktionen begränsad. Därav följer även att det finns någon omgivning kring alla punkter ${\vec {x}}$ där lutningen mellan punkten $x$ och alla punkter i den omgivningen är begränsad.

Funktionen $f(x)=x^{2}$ är ett exempel på en funktion som är lokalt Lipschitzkontinuerlig, men inte globalt. Kring varje enskild punkt $x$ kan vi hitta en omgivning där lutningen är begränsad, vilket medför att $f$ är lokalt Lipschitzkontinuerlig för alla $x$. Däremot kommer lutningen att växa oändligt för stora positiva och negativa $x$. Därför finns ingen Lipschitzkonstant k så att $|f(x+h)-f(x)|\leq k|h|$ för alla $x$, och funktionen är därför inte globalt Lipschitzkontinuerlig.

Kontinuitet och Lipschitzkontinuitet

• Lipschitzkontinuerliga funktioner är även kontinuerliga.

För en Lipschitzkontinuerlig funktion $f$ gäller enligt definitionen att

$|f({\vec {x}}+{\vec {h}})-f({\vec {x}})|\leq k|{\vec {h}}|$

detta uttryck ska gälla för alla $h$ och $x$ där $x$ och $x+h$ ligger i definitionsmängden, vilket ger att det även gäller då $h$ går mot 0.

Då $h$ går mot 0 får vi direkt

$|f({\vec {x}}+{\vec {h}})-f({\vec {x}})|\to 0\quad \Longrightarrow \quad f({\vec {x}}+{\vec {h}})-f({\vec {x}})\to {\vec {0}}$

vilket är definitionen för kontinuitet.

• Att en funktion är kontinuerlig medför inte att den även är Lipschitzkontinuerlig

Detta visas enklast genom att hitta en kontinuerlig funktion som inte är Lipschitzkontinuerlig. Ett exempel på detta är $f(x)={\sqrt {|x|}}$. Derivatan till denna funktion existerar i alla punkter utom $x=0$. Däremot är $\lim _{x\to 0^{-}}f(x)=\lim _{x\to 0^{+}}f(x)=f(0)=0$, vilket medför att $f$ är kontinuerlig.

Då vi låter $x\to 0^{+}$ kommer vi få att $f'(x)={1 \over 2{\sqrt {x}}}\to \infty$. Det saknas alltså en omgivning kring punkten $x=0$ där vi har en begränsad lutning på funktionen $f$, vilket innebär att funktionen inte är lokalt Lipschitzkontinuerlig, och därmed inte heller globalt Lipschitzkontinuerlig.

Källor

• PlanetMath.org - Lipschitz condition and differentiability
• University of Sussex - Spring 2006 Handout 3: Lipschitz condition and Lipschitz continuity
• Åbo Akademi - 8. Residykalkyl
• Michael Björklund, KTH - Existens och entydighet för ordinära differentialekvationer
• Analys i flera variabler, Arne Persson, Lars-Christer Böiers
• Matematisk Analys en variabel, Göran Forsling, Mats Neymark

Se även

• Kontinuitet
• Deriverbarhet
• Hölderkontinuitet
• Picards sats