0
Hier geht aufgrund von Ungenauigkeiten einiges durcheinander.
Das, was Du als Def. von Fixpunkt genannt hast, ist gar keine Def., sondern eine Möglichkeit die Existenz eines Fixpunkts nachzuweisen (über den Banachschen Fixpunktsatz).
Die Def. lautet hier: $f$ ist Fixpunkt von $\Phi$, wenn $\Phi(f)=f$, d.h. $\Phi(f)(x)=f(x)$ für alle $x$.
Um Kontraktion nachzuweisen musst Du $\|\Phi(f)-\Phi(g)\|$ abschätzen, das geht über $|\Phi(f)(x)-\Phi(g)(x)|\le ...$.
Deine Def. mit x und y geht so nicht, da völlig unklar ist, was x und y sein soll.
Also, fang die Abschätzung mal richtig an und schau wie weit Du kommst. Falls Du stecken bleibst, poste Deinen geänderten Rechenweg.
Der richtige Weg ist auch kürzer und einfacher als Dein bisheriger.
Einzelne Elemente Deiner Abschätzung sind durchaus ok, nicht aber das mit x und y. Es kommt in der Abschätzung nur das $x\in [0,1]$ vor, kein anderer Wert aus diesem Intervall.
Das, was Du als Def. von Fixpunkt genannt hast, ist gar keine Def., sondern eine Möglichkeit die Existenz eines Fixpunkts nachzuweisen (über den Banachschen Fixpunktsatz).
Die Def. lautet hier: $f$ ist Fixpunkt von $\Phi$, wenn $\Phi(f)=f$, d.h. $\Phi(f)(x)=f(x)$ für alle $x$.
Um Kontraktion nachzuweisen musst Du $\|\Phi(f)-\Phi(g)\|$ abschätzen, das geht über $|\Phi(f)(x)-\Phi(g)(x)|\le ...$.
Deine Def. mit x und y geht so nicht, da völlig unklar ist, was x und y sein soll.
Also, fang die Abschätzung mal richtig an und schau wie weit Du kommst. Falls Du stecken bleibst, poste Deinen geänderten Rechenweg.
Der richtige Weg ist auch kürzer und einfacher als Dein bisheriger.
Einzelne Elemente Deiner Abschätzung sind durchaus ok, nicht aber das mit x und y. Es kommt in der Abschätzung nur das $x\in [0,1]$ vor, kein anderer Wert aus diesem Intervall.
Diese Antwort melden
Link
geantwortet
mikn
Lehrer/Professor, Punkte: 38.93K
Lehrer/Professor, Punkte: 38.93K
hmm ok, wie kann ich denn eine Norm kleiner machen, ohne die Dreiecksungleichung zu verwenden? Da bleibt ja höchsten noch die Möglichkeit, dass ich den Ausdruck durch zusätzliche Elemente vergrößere. Die Idee ist mir noch gekommen:
$$ \|\Phi(f)-\Phi(g)\|=\left\|1+\int \limits_{0}^{x} t^{2} f(t) d t-1-\int \limits_{0}^{x} t^{2} g(t) d t\right\|=\left\|\int \limits_{0}^{x} t^{2} f(t) d t-\int \limits_{0}^{x} t^{2} g(t) d t\right\|
\leqslant\left\|\int \limits_{0}^{1} t^{2} f(t) d t-\int \limits_{0}^{1} t^{2} g(t) d t\right\|=\left\|\int \limits_{0}^{1} t^{2}(f(t)-g(t)) d t\right\| $$
Aber von hier an komme ich auch nicht wirklich weiter... :/ ─ ella. 25.05.2022 um 15:44
$$ \|\Phi(f)-\Phi(g)\|=\left\|1+\int \limits_{0}^{x} t^{2} f(t) d t-1-\int \limits_{0}^{x} t^{2} g(t) d t\right\|=\left\|\int \limits_{0}^{x} t^{2} f(t) d t-\int \limits_{0}^{x} t^{2} g(t) d t\right\|
\leqslant\left\|\int \limits_{0}^{1} t^{2} f(t) d t-\int \limits_{0}^{1} t^{2} g(t) d t\right\|=\left\|\int \limits_{0}^{1} t^{2}(f(t)-g(t)) d t\right\| $$
Aber von hier an komme ich auch nicht wirklich weiter... :/ ─ ella. 25.05.2022 um 15:44
Ich verstehe nicht wirklich, was du mit einem "richtigen Anfang" meinst. Du sagst ja, dass es eine Abschätzung $|\Phi(f)(x)-\Phi(g)(x)| \leq....$ gibt, die anscheinend ohne das Zusammenfassen des Ausdrucks und ohne Dreiecksungleichung auskommt. Diese Abschätzung scheint mir nicht so offentsichtlich wie dir, sonst hätte ich sie ja direkt in meiner letzen Antwort verwendet.
Warum genau ersetzt du die Norm durch einen Betrag? Die Definition zur Existenz eines Fixpunktes arbeitet doch auch mit der Norm?
x durch 1 zu ersetzen erzeugt zwar die größte Schranke, ob der Ausdruck da wirklich größer wird, kann ich gar nicht wissen, da haste natürlich vollkommen recht, das war unsinnig. ─ ella. 25.05.2022 um 17:11
Warum genau ersetzt du die Norm durch einen Betrag? Die Definition zur Existenz eines Fixpunktes arbeitet doch auch mit der Norm?
x durch 1 zu ersetzen erzeugt zwar die größte Schranke, ob der Ausdruck da wirklich größer wird, kann ich gar nicht wissen, da haste natürlich vollkommen recht, das war unsinnig. ─ ella. 25.05.2022 um 17:11
Leider scheint diese Antwort Unstimmigkeiten zu enthalten und muss korrigiert werden.
Mikn wurde bereits informiert.
Ich weiß nicht, ob ich das hier schon wieder zu kompliziert denke, aber so komme ich tatsächlich auch dahin wo ich hin möchte.
Sei $q:=\frac{1}{3}$, dann gilt:
$$ \|\Phi(f)-\Phi(g)\|=\left\|1+\int \limits_{0}^{x} t^{2} f(t) d t-1-\int \limits_{0}^{x} t^{2} g(t) d t\right\| \leq\left\|\int \limits_{0}^{x} t^{2} f(t) d t\right\|+\left\|\int \limits_{0}^{x} t^{2} g(t) d t\right\| $$
$$ \leq \int \limits_{0}^{x}\left\|t^{2} f(t) d t\right\|+\int \limits_{0}^{x}\left\|t^{2} g(t) d t\right\|\substack{?\\=}\int \limits_{0}^{x} t^{2}\|f(t) d t\|+\int \limits_{0}^{x} t^{2}\|g(t) d t\|=\frac{1}{3} x^{3} \cdot (\sup _{x \in[0,1]}|f(x)|+\sup _{x \in[0,1]}|g(x)|)$$$$ \leq \frac{1}{3}(\sup _{x \in[0,1]}|f(x)|+\sup _{x \in[0,1]}|g(x)|) = \frac{1}{3}(||f||+||g||) = q(||f||+||g||)$$
Es gilt: $\|\Phi(f)-\Phi(g)\| \leq q(||f||+||g||)$
Da: $q||f-g|| \leq q(||f||+||-g||)=q(||f||+||g||)$, ist insbesondere auch $\|\Phi(f)-\Phi(g)\| \leq q||f-g||$ q.e.d
Ich habe beim (?) die selbe Stelle wie oben markiert. Ich weiß nicht, ob ich hier das $t^2$ aus der Norm herausziehen darf. ─ ella. 25.05.2022 um 14:22