Anwendungen der getrennt konvexen Funktionale in der Mechanik
Anwendungen der getrennt konvexen Funktionale in der Mechanik
Anwendungen der getrennt konvexen Funktionale in der Mechanik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
1.5 Monotonie 111. x ∗ ∈ (∂f)(x)2. x ∈ (∂f ∗ ) (x ∗ )3. f(x) + f ∗ (x ∗ ) = 〈x ∗ , x〉Als Beispiel wollen wir den Indikator I K e<strong>in</strong>er <strong>konvexen</strong> Menge K ⊆ X untersuchen. Daskonjugierte Funktional IK ∗ : X∗ −→ R heißt Stützfunktion <strong>der</strong> Menge K:IK ∗ (x ∗ ) = sup{〈x ∗ , x〉 | x ∈ K} (1.17)Die Stützfunktion ist positiv homogen und subadditiv.Ist die Menge K auch abgeschlossen, so gilt:x ∗ ∈ (∂I K )(x) ⇐⇒ x ∈ (∂IK) ∗ (x ∗ ) ⇐⇒ I K (x) + IK ∗ (x ∗ ) = 〈x ∗ , x〉 (1.18)1.5 MonotonieDieser Abschnitt führt den Begriff <strong>der</strong> Monotonie e<strong>in</strong>.Def<strong>in</strong>ition E<strong>in</strong>e Funktion f : R −→ R heißt monoton, wenn (f(y) − f(x)) (y − x) ≥ 0∀x, y ∈ R gilt.Die Def<strong>in</strong>ition lässt sich auf Operatoren und sogar mehrwertige Abbildungen verallgeme<strong>in</strong>ern.Def<strong>in</strong>ition E<strong>in</strong> Operator A : X −→ X ∗ heißt monoton, wenn 〈A(y) − A(x), y − x〉 ≥ 0∀x, y ∈ X gilt.Def<strong>in</strong>ition E<strong>in</strong>e mehrwertiger Operator A : X −→ P (X ∗ ) heißt monoton, wenn〈y ∗ − x ∗ , y − x〉 ≥ 0 ∀x, y ∈ X, ∀y ∗ ∈ A(y), ∀x ∗ ∈ A(x) gilt.Der folgende Satz stellt die Verb<strong>in</strong>dung zum Subdifferential her.Satz 1.5.1. Das Subdifferential ∂f e<strong>in</strong>es <strong>konvexen</strong>, nicht degenerierten Funktionals f,f : X −→ R, ist e<strong>in</strong> monotoner, mehrwertiger Operator.Die Menge <strong>der</strong> monotonen Operatoren ist (im S<strong>in</strong>ne <strong>der</strong> Inklusion <strong>der</strong> Graphen) <strong>in</strong>duktivgeordnet und besitzt hiermit maximale Elemente, die ”maximal monotone Operatoren“genannt werden.