matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

For pupils, students, teachers.
Hello Guest!Log In | Register ]
Home · Forum · Knowledge · Courses · Members · Team · Contact
Navigation
 Home...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Tools...
 Agency for private tuition beta...
 Online Games beta
 Search
 Registered Society...
 Contact
Forenbaum
^ Tree of Forums
Status Maths
  Status School
    Status Grades 1-4
    Status Grades 5-7
    Status Grades 8-10
    Status Grades 11-12
    Status Mathematical Contest
    Status School maths - Miscellaneous
  Status University
    Status Uni-Calculus
    Status Uni-LinA u. Algebra
    Status Algebra and Number Theoriy
    Status Discrete Mathematics
    Status Teaching Methodology
    Status Financial Maths and Actuarial Theory
    Status Logic and Set Theory
    Status 
    Status Stochastic Theory
    Status Topology and Geometry
    Status Uni Maths - Miscellaneous
  Status Courses on maths
    Status 
    Status 
    Status Universität
  Status Software for maths
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Calculators

Only forums with an interest level bis zur Tiefe 2

Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
The project is organised by our team of coordinators.
Hundreds of members help out in our moderated forums.
Service provider for this webpage is the Registered Society "Vorhilfe.de e.V.".
Partnerseiten
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Integrationstheorie" - Integral Funktional
Integral Funktional < Integrationstheorie < Maß/Integrat-Theorie < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Integrationstheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Integral Funktional: Tipp, Idee
Status: (Frage) beantwortet Status 
Datum: 15:21 So 01.12.2019
Autor: TS85

Aufgabe
Sei X:= [mm] C([0,1],\IR^n) [/mm] der gewöhnliche Raum des stetigen Vektorfeldes auf [0,1] mit den Werten in [mm] \IR^n [/mm] ausgestattet mit der Supremum-Norm. Beachte, dass X ein reeller teilbarer Banach-Raum ist. Bedenke das folgende Integral Funktional für y [mm] \in [/mm] X und c [mm] \in \IR^n: [/mm]

[mm] I[y]:=\integral_{0}^{1}{max(0,c^Ty(t)) dt}. [/mm]

(1) Argumentiere dass I:X [mm] \to \IR [/mm] ein konvexes, stetiges Funktional ist.
(2) Leite eine Formel für die Richtungsableitungen von I her, d.h. für jedes y [mm] \in [/mm] X und jedes h [mm] \in [/mm] X, existiert eine Funktion I'[y;*]:X [mm] \to \IR [/mm] sodass gilt:

[mm] I'[y;h]=\limes_{t \to 0}{\bruch{I[y+th]-I[y]}{t}}. [/mm]



zur (1):
Mir ist nur die allgemeine Definition von Konvexität bekannt:

[mm] f:C\to \IR [/mm] konvex, wenn [mm] \forall [/mm] x,y [mm] \in [/mm] C und [mm] \forall \theta \in [/mm] [0,1] gilt:
[mm] f(\theta x+(1-\theta)y)< \theta f(x)+(1-\theta)f(y). [/mm]

Vermutlich gilt hier nun nach einer Proposition, dass das Integral konvex ist, wenn es der Integrand ist?
Ist hier somit zu zeigen, dass [mm] max(0,c^Tg(\theta t+(1-\theta)t_2))\le \theta max(0,c^Ty(t))+(1-\theta)max(0,c^Ty(t_2))) [/mm]

zur (2):
Der Differenzenquotient des Integrand:

[mm] f(1,0)=\bruch{f(1)-f(0)}{1-0}=max(0,c^Ty(1))-max(0,c^Ty(0)) [/mm]

Der Integrand müsste dann punktweise Lipschitzstetig sein,
d.h.
[mm] |max(0,c^Ty(1))-max(0,c^Ty(0))|\le [/mm] L*|1-0|=L.

Bekannt ist mir nun noch das Lebesgue's dominierte Konvergenztheorem:

[mm] \limes_{n\to \infty}\integral_{S}^{}{|f_n-f|d\mu=0} [/mm]

Wie lässt sich nun allerdings eine explizite Formel für I'[y;h] herleiten?



        
Bezug
Integral Funktional: Antwort
Status: (Antwort) fertig Status 
Datum: 16:05 So 01.12.2019
Autor: Gonozal_IX

Hiho,

> zur (1):
>  Mir ist nur die allgemeine Definition von Konvexität bekannt:

und hoffentlich auch zu Stetigkeit.

> Vermutlich gilt hier nun nach einer Proposition, dass das Integral konvex ist, wenn es der Integrand ist?

Naja, das folgt schon fast trivial aus der Linearität des Integrals, das dann als Proposition zu verkaufen… na gut.

>  Ist hier somit zu zeigen, dass [mm]max(0,c^Tg(\theta t+(1-\theta)t_2))\le \theta max(0,c^Ty(t))+(1-\theta)max(0,c^Ty(t_2)))[/mm]

Ja, aber auch das folgt fast schon trivial, wenn du beachtest: [mm] $\max\{0,y\} [/mm] = [mm] \frac{1}{2}\left(y + |y|\right)$. [/mm] Dann folgt das sofort aus der Dreiecksungleichung.


> zur (2):
>  Der Differenzenquotient des Integrand:
>  
> [mm]f(1,0)=\bruch{f(1)-f(0)}{1-0}=max(0,c^Ty(1))-max(0,c^Ty(0))[/mm]

Was soll denn plötzlich $f(1,0)$ sein?  

Und wieso wertest du den Integranden plötzlich nur noch an den Endpunkten des Integrals aus, das ist doch humbug.

Du sollst eine Formel herleiten für:
$ [mm] I'[y;h]=\limes_{t \to 0}{\bruch{I[y+th]-I[y]}{t}} [/mm] $

Dazu:
1.) Wie sieht denn [mm] ${\bruch{I[y+th]-I[y]}{t}}$ [/mm] aus? Schreibe das mal sauber auf und hin.
Kleine Stolperfalle: Das t in den Ausdruck hat nix mit der Integrationsvariable zu tun, da also aufpassen.
Heraus kommt sowas wie: [mm] $\int_0^1 \ldots [/mm] $

2.) Begründe, warum du Integration und Grenzwertbildung vertauschen kannst.
D.h. warum gilt:
$ I'[y;h]= [mm] \limes_{t \to 0} \int_0^1 \ldots [/mm] = [mm] \int_0^1 \limes_{t \to 0} \ldots$ [/mm]
Da warst du mit deiner dominierten Konvergenz schon nicht ganz verkehrt…

3.) Bestimme nun [mm] $\limes_{t \to 0} \ldots$, [/mm] dafür hilfreich ist dann wohl auch deine vorab bearbeitete Aufgabe hier im Forum, da sollst du den Ausdruck nämlich herleiten…

In diesem Sinne,
Gono

Bezug
                
Bezug
Integral Funktional: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:54 Mo 02.12.2019
Autor: TS85

Ok, die Konvexität konnte ich damit beweisen (Auflösen durch Umformung und Anwendung |a+b|<=|a|+|b|), allerdings fehlt mir in diesem Fall bisher die Definition der Stetigkeit von Funktionalen (welche kein Teil der Vorlesung sind).

Gefunden habe ich dazu bisher nur:
Für Funktionale f:M [mm] \to [/mm] C gilt für die Stetigkeit am Punkt [mm] x_0 \in [/mm] M,dass ein [mm] \epsilon [/mm] >0 in der Nachbarschaft U von [mm] x_0 [/mm] existieren muss, sodass [mm] |f(x)-f(x_0)|<\epsilon [/mm] für x [mm] \in [/mm] U gilt. Das Weierstrass Theorem wäre dazu additiv für die Begrenzung nach oben und unten.
Oder ist die
Stetigkeit beschränkter konvexer Funktionen in normierten Räumen zu zeigen?

zu (2):
[mm] \limes_{t \to 0}\bruch{I[y+th]-I[y]}{t} [/mm]
[mm] =\limes_{t \to 0}\bruch{\integral_{0}^{1}{max(0,c^T(y+th)(x))dx-\integral_{0}^{1}{max(0,c^Ty(x)) dx}}}{t} [/mm]
[mm] =\limes_{t \to 0}\bruch{\integral_{0}^{1}{max(0,c^T(y(x)+th(x)))dx-\integral_{0}^{1}{max(0,c^Ty(x)) dx}}}{t} [/mm]
[mm] =\limes_{t \to 0}\bruch{\integral_{0}^{1}{(max(0,c^T(y(x)+th(x)))-max(0,c^Ty(x))) dx}}{t} [/mm]

(Nebenbemerkung: Der Differenzenquotient des Integranden wäre dazu ähnlich (ohne Integral):
[mm] \bruch{max(0,c^Ty(z+x_0))-max(0,c^Ty(x_0))}{z} [/mm] mit [mm] z=x_1-x_0) [/mm]

Mein Problem hier:
Soll diese Darstellung weiter "vereinfacht" werden durch z.B. Entfernen der max-Fkt. wie bei (1).

Um ehrlich zu sein habe ich keine Ahnung warum hier der Grenzwert mit dem Integral tauschbar ist, ich könnte möglicherweise nur durch Research dazu eine Lösung bekommen (da dies im Allgemeinen nicht zu gelten scheint).

Leider ist die andere Aufgabe noch nicht bearbeitet und die Lösung auch nicht trivial (Mit der Anmerkung, dass das gesamte Aufgabenblatt auch nicht bearbeitet werden muss).

Bezug
                        
Bezug
Integral Funktional: Antwort
Status: (Antwort) fertig Status 
Datum: 15:38 Mo 02.12.2019
Autor: Gonozal_IX

Hiho,

> allerdings fehlt mir in diesem Fall bisher die Definition der Stetigkeit von Funktionalen (welche kein Teil der Vorlesung  sind).

Na das glaube ich nicht, das ist nämlich Erstsemestervorlesungsstoff, auch wenn dir das nicht klar ist.

Es ist ja bereits gegeben, dass [mm] $(X,||\cdot||_\infty)$ [/mm] ein Banachraum und damit insbesondere ein metrischer Raum ist, wobei für als Metrik die induzierte Metrik [mm] $d_X(a,b) [/mm] = [mm] ||a-b||_\infty$ [/mm] betrachten.

Nun ist das "Funktional" $I: X [mm] \to \IR$ [/mm] einfach eine Abbildung zwischen zwei metrischen Räumen… und wie ist da die Stetigkeit definiert?

Schlag einfach die Stetigkeit für [mm] $\IR$ [/mm] nach und ersetze die Norm [mm] $|\cdot|$ [/mm] auf [mm] $\IR$ [/mm] durch die Norm [mm] $||\cdot||_\infty$ [/mm] auf $X$.

> Mein Problem hier:
>  Soll diese Darstellung weiter "vereinfacht" werden

das scheint die Aufgabe zu sein

> Um ehrlich zu sein habe ich keine Ahnung warum hier der
> Grenzwert mit dem Integral tauschbar ist, ich könnte
> möglicherweise nur durch Research dazu eine Lösung
> bekommen (da dies im Allgemeinen nicht zu gelten scheint).

Du hast doch bereits einen Satz selbst angebracht, wann man Integral und Grenzwert vertauschen kann: Satz von der dominierten Konvergenz.
Zeige also: (in Übrigen kannst du das [mm] $\frac{1}{t}$ [/mm] auch noch ins Integral ziehen)

[mm] $\frac{\max\{0,c^T(y+th)(x)\} - \max\{0,y(x)\}}{t}$ [/mm] lässt sich nach oben durch eine integrierbare, nicht von t abhängige Funktion abschätzen.

Damit du ein Ziel hast:
1.) Zeige: Die Funktion ist durch $2h(x)$ beschränkt.
2.) Zeige: $2h(x)$ ist integrierbar ist.

> Leider ist die andere Aufgabe noch nicht bearbeitet und die
> Lösung auch nicht trivial (Mit der Anmerkung, dass das
> gesamte Aufgabenblatt auch nicht bearbeitet werden muss).

Ist dann aber schon seltsam, dass die Lösung hier anwendbar ist, oder?

Gruß,
Gono

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Integrationstheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.mathspace.org
[ Home | Forum | Knowledge | Courses | Members | Team | Contact ]