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

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-AnalysisMetrik
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Uni-Analysis" - Metrik
Metrik < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Metrik: Banach.Fixpkt.
Status: (Frage) beantwortet Status 
Datum: 14:53 Mi 04.05.2005
Autor: sachmeth

Hallo, brauch dringend eure Hilfe bei folgender Aufgabe.

Zum ersten Teil habe ich eine noch etwas lückenhafte Lösung, beim 2 Teil weiß ich leider gar nicht, wie ich anfangen soll. Bitte helft mir!!!



R... reele Zahlen
Sei G: R → R  global Lipschitzstetig.d.h. es existiert eine Konsatante C  >  0 oder C=0 mit      | G(x)-G(y)|    L* | x-y| für alle x,y,aus R . Sei b eine positive feste Zahl.

Zeige das für jedes feste s > 0

[mm] \parallel [/mm] f  [mm] \parallel [/mm] (max,s) := sup{|f(x)|e^(-s*x) : x ε [0,b]} eine Norm auf C([0,b]) ist .
Zeige das [mm] \parallel [/mm] . [mm] \parallel [/mm] (max,s) äquivalent zu  [mm] \parallel [/mm] . [mm] \parallel [/mm] (max) ist.
Das in Klammern angegebene nach der Norm ist Index der Norm, weiß nicht wie ich das anders aufschreiben könnte -sorry.


Hier nun meine Lösung:

Als Norm müssen 3 Eigenschaften erfüllt sein
i) die Norm muss positiv oder gleich Null im Fall x=0 sein.
[mm] ii) \parallel [/mm] f *c [mm] \parallel [/mm] (max,s)= [mm] \parallel [/mm] f  [mm] \parallel [/mm] (max,s) * ׀c׀
iii) Die Dreiecksungleichung muss erfüllt sein

iv) das [mm] \parallel [/mm] .  [mm] \parallel [/mm] (max,s) äquivalent  [mm] \parallel [/mm] .  [mm] \parallel [/mm] (max)

[mm] i) \parallel [/mm] f  [mm] \parallel [/mm] (max,s)> 0 da  e^(-s*x) eine Konstante ist die Werte zwischen 0 (für x=0) und e^(-s*b) annimmt, also immer positiv ist; somit bliebt nur noch sup {|f(x)} , das natürlich auch positiv ist, da der Betraf von f(x) pos.
Im Fall x=0 ist [mm] \parallel [/mm] f  [mm] \parallel [/mm] (max,s) =sup {|f(0)|*1}= 0

[mm] ii) \parallel [/mm] f c [mm] \parallel [/mm] (max,s)=  sup{|f(x)|e^(-s*x) *c]}= da c eine feste Konstante ist sup{|f(x)|e^(-s*x) }* ׀c׀ = [mm] \parallel [/mm] f  [mm] \parallel [/mm] (max,s) * ׀c׀

iii) weiß ich nicht wie man zeigen kann :((

iv) Die Normen sind äquivalent zueinander, da  [mm] \parallel [/mm] f. [mm] \parallel [/mm] (max) * eine feste Konstante s = [mm] \parallel [/mm] .  [mm] \parallel [/mm] (max,s). Diese Konstante lässt e^(-s*x) einen festen wert zwischen 1 und e^(-s*b) annehmen, je nachdem wie groß x ist.  



Sei k ε R fest. Zeige das die Abbildung T: C([0,b])→C([0,b]) für ein geeignetes s eine Kontraktion auf C ([0,b]) zgl der Norm (max,s) ist.

(Tf)(x):= k+   ∫ G(f(y)dy    (Das Integral verläuft von 0 bis x)

Zeige außerdem das f einen eindeutigen Fixpunkt F hat , das F differentierbar ist und Lösung des folgenden Anfangswertproblems:
f ’ (y)= G(f(y)) für y aus [0,b]
f(0)=k.


Ich weiß das ich irgendwie zeigen müsste, dass d(f(x),f(y)) < c*d(x,y) für c<1 und x,y aus R, hab aber keine Ahnung wie ich es auf dieses Bsp. Übertragen soll.

Vielen Dank das ihr eure Köpfe für mich rauchen laßt!!!

P.s: Habe diese Frage auf keinem anderen Forum gestellt
























        
Bezug
Metrik: Antwort
Status: (Antwort) fertig Status 
Datum: 16:32 Mi 04.05.2005
Autor: banachella

Hallo!

Sag doch gleich, dass du den Satz von Picard-Lindelöf mittels des Banchschen Fixpunktsatzes zeigen sollst! :-) Außerdem wäre es gut, wenn du dich ein wenig mit dem Formeleditor beschäftigen würdest, dass würde deine Fragen etwas lesbarer machen...

Die erste Frage hast du ja schon ganz gut bearbeitet. Ein paar Dinge sind allerdings noch ein wenig schief:

zu (i): Die Norm muss positiv definit sein, aber [mm] $\|f\|_{\infty,s}=0$ [/mm] genau dann, wenn $f=0$, also $f$ gleich der Nullfunktion ist. Das setzt sich dann so ähnlich auch in (iv) fort.

zu (iii): Du musst zwei Funktionen $f$ und $g$ wählen und [mm] $\|f+g\|_{\infty,s}$ [/mm] betrachten!


Jetzt zu deiner Funktion $T$:
Du musst zeigen, dass für zwei Funktionen $f,g$ [mm] $\|T(f)-T(g)\|_{\infty,s}\le c\|f-g\|_{\infty,s}$ [/mm] für  geeignetes $s,c$.

Hast du denn schon einen Ansatz?

Gruß, banachella

Bezug
        
Bezug
Metrik: Frage
Status: (Frage) für Interessierte Status 
Datum: 20:21 Mi 04.05.2005
Autor: sachmeth

Hallöle
Vielen Dank erst mal für deine schnelle Antwort- das bringt mich aber leider nicht wirklich viel weiter. Ich weiß zwar wie die Dreiecksgleichung hier aussehen muss, kann sie aber nicht beweisen. Wie mach ich das konkret?

Zu Teil 2: Auch hier bräucht ich bitte genauere Hinweise, auf die zu zeigende Gleichung bin ich zwar auch schon gekommen, weiß aber leider auch hier nicht wie ich es zeigen soll.
Vielen Dank schon mal!!!

Bezug
                
Bezug
Metrik: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 20:30 So 08.05.2005
Autor: matux

Hallo Sachmeth!

Wir bedauern, dass Deine Frage nicht in der von dir eingestellten Fälligkeitszeit beantwortet wurde.

Der wahrscheinlichste Grund dafür ist, dass ganz einfach niemand, der dir hätte helfen können, im Fälligkeitszeitraum online war. Bitte bedenke, dass jede Hilfe hier freiwillig und ehrenamtlich gegeben wird.

Wie angekündigt gehen wir nun davon aus, dass du an einer Antwort nicht mehr interessiert bist. Die Frage taucht deswegen nicht mehr in der Liste der offenen Fragen, sondern nur noch in der Liste der Fragen für Interessierte auf.
Falls du weiterhin an einer Antwort interessiert bist, stelle einfach eine weitere Frage in dieser Diskussion.

Wir wünschen dir beim nächsten Mal mehr Erfolg! [kleeblatt]

Viele Grüße,
Matux, der Foren-Agent

Allgemeine Tipps wie du dem Überschreiten der Fälligkeitsdauer entgegenwirken kannst findest du in den Regeln für die Benutzung unserer Foren.



Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]