Beschränkte Variation

Beispiele für Funktionen unbeschränkter Variation
Beispiele für Funktionen beschränkter Variation

In der Analysis ist eine Funktion von beschränkter Variation (beschränkter Schwankung), wenn ihre totale Variation (totale Schwankung) endlich ist, sie also in gewisser Weise nicht beliebig stark oszilliert. Diese Begriffe hängen eng mit der Stetigkeit und der Integrierbarkeit von Funktionen zusammen.

Der Raum aller Funktionen von beschränkter Variation auf dem Gebiet Ω {\displaystyle \Omega } wird mit B V ( Ω ) {\displaystyle BV(\Omega )} bezeichnet.

Das Konzept geht auf Camille Jordan zurück.[1][2]

Reelle Funktionen

Definition

Die totale Variation einer reellwertigen Funktion f : [ a , b ] → R {\displaystyle f\colon [a,b]\to \mathbb {R} } , die auf einem abgeschlossenen Intervall definiert ist, ist das Supremum

sup P ∑ i | f ( x i + 1 ) − f ( x i ) | , {\displaystyle \sup _{P}\sum _{i}|f(x_{i+1})-f(x_{i})|,}

wobei dieses Supremum über alle möglichen Partitionen P = { x 1 , … , x n ∣ x 1 < ⋯ < x n } {\displaystyle P=\{x_{1},\dotsc ,x_{n}\mid x_{1}<\dotsb <x_{n}\}} des Intervalls [ a , b ] {\displaystyle [a,b]} gebildet wird. Das hier angegebene n {\displaystyle n} hängt von P {\displaystyle P} ab.

Genau die stetigen Funktionen von beschränkter Variation sind Riemann-Stieltjes-integrierbar. Deshalb kann B V [ a , b ] {\displaystyle BV[a,b]} mit einer Halbnorm ausgestattet werden:

n ( f ) = sup φ ∫ a b f ( x ) φ ′ ( x ) d x {\displaystyle n(f)=\sup _{\varphi }\int _{a}^{b}f(x)\varphi '(x)\,\mathrm {d} x} .

Hierbei wird das Supremum über alle stetig differenzierbaren Funktionen φ {\displaystyle \mathrm {\varphi } } mit kompaktem Träger und Funktionswerten im Intervall [ − 1 , 1 ] {\displaystyle [-1,1]} gebildet.

Die Halbnorm stimmt mit dem Supremum, das die beschränkte Variation definiert, überein.

Beispiel

Beispiel für unbeschränkte Variation

Ein einfaches Beispiel für eine Funktion mit unbeschränkter Variation ist x ↦ sin ⁡ ( 1 x ) {\displaystyle \textstyle x\mapsto \sin({\frac {1}{x}})} in der Nähe von x = 0 {\displaystyle x=0} . Es ist anschaulich einsichtig, dass der Wert des Quotienten 1 x {\displaystyle {\tfrac {1}{x}}} für x → 0 {\displaystyle x\to 0} mit zunehmender Annäherung an 0 immer schneller gegen ∞ anwachsen wird und damit der Sinus dieses Werts dabei unendlich viele Schwingungen durchlaufen wird. Dies zeigt das Bild rechts.

Die Funktion

f ( x ) = { 0 , falls  x = 0 x sin ⁡ ( 1 / x ) , falls  x ≠ 0 {\displaystyle f(x)={\begin{cases}0,&{\text{falls }}x=0\\x\sin(1/x),&{\text{falls }}x\neq 0\end{cases}}}

ist ebenfalls nicht von beschränkter Schwankung im Intervall [0, 1], im Gegensatz zur Funktion:

g ( x ) = { 0 , falls  x = 0 x 2 sin ⁡ ( 1 / x ) , falls  x ≠ 0 {\displaystyle g(x)={\begin{cases}0,&{\text{falls }}x=0\\x^{2}\sin(1/x),&{\text{falls }}x\neq 0\end{cases}}} .

Hier wird die Variation des Sinusterms, die für x → 0 {\displaystyle x\to 0} stark zunimmt, durch die zusätzliche Potenz genug gedämpft.

Erweiterungen

Diese Definition kann auch für komplexwertige Funktionen oder Funktionen mit Werten in einem metrischen Raum ( Y , d ) {\displaystyle (Y,d)} verwendet werden (ersetze in letzterem Falle | f ( x i + 1 ) − f ( x i ) | {\displaystyle \vert f(x_{i+1})-f(x_{i})\vert } durch d ( f ( x i ) , f ( x i + 1 ) ) {\displaystyle d(f(x_{i}),f(x_{i+1}))} ).

BV-Funktionen in mehreren Variablen

Funktionen von beschränkter Variation, oder B V {\displaystyle BV} -Funktionen, sind Funktionen, deren distributionelle Ableitungen endliche vektorwertige Radonmaße sind. Genauer:

Definition

Sei Ω {\displaystyle \Omega } eine offene Teilmenge von R n {\displaystyle \mathbb {R} ^{n}} . Eine Funktion u ∈ L 1 ( Ω ) {\displaystyle u\in L^{1}(\Omega )} ist von beschränkter Variation oder Element von B V ( Ω ) {\displaystyle BV(\Omega )} , wenn ihre distributionelle Ableitung ein endliches, signiertes, vektorwertiges Radonmaß ist. D. h., es existiert D u ∈ M ( Ω , R n ) {\displaystyle Du\in {\mathcal {M}}(\Omega ,\mathbb {R} ^{n})} , so dass

∫ Ω u ( x ) div ⁡ φ ( x ) d x = − ∫ Ω ⟨ φ , D u ( x ) ⟩ für alle  φ ∈ C c 1 ( Ω , R n ) {\displaystyle \int _{\Omega }u(x)\,\operatorname {div} {\varphi }(x)\mathrm {d} x=-\int _{\Omega }\langle \varphi ,Du(x)\rangle \qquad {\text{für alle }}{\varphi }\in C_{c}^{1}(\Omega ,\mathbb {R} ^{n})}

gilt.

Zusammenhang mit rektifizierbaren Wegen

Eine stetige Funktion f : [ a , b ] → R {\displaystyle f\colon [a,b]\to \mathbb {R} } kann auch als Weg im metrischen Raum R {\displaystyle \mathbb {R} } aufgefasst werden. Es gilt, dass f {\displaystyle f} genau dann von beschränkter Variation ist, wenn f {\displaystyle f} ein rektifizierbarer Weg ist, also eine endliche Länge hat.

Zusammenhang mit der Maßtheorie

In der Maßtheorie sind die reell-/komplexwertigen Funktionen von beschränkter Variation genau die Verteilungsfunktionen von signierten/komplexen Borelmaßen auf R {\displaystyle \mathbb {R} } .

Literatur

  • Jürgen Elstrodt: Maß- und Integrationstheorie. 5. Auflage. Springer, Berlin 2007, ISBN 978-3-540-49977-0. 
  • Gerald Teschl: Topics in Real and Functional Analysis. 2011 (freie Onlineversion). 
  • Luigi Ambrosio, Nicola Fusco, Diego Pallara: Functions of Bounded Variation and Free Discontinuity Problems. Oxford 2000. 

Weblinks

  • Golubov, Function of bounded variation, Encyclopedia of Mathematics, Springer

Einzelnachweise

  1. ↑ Golubov, Variation of a function, Encyclopedia of Mathematics, Springer
  2. ↑ Golubov, Function of boundes variation, Encyclopedia of Mathematics, Springer