Research Group of Prof. Dr. M. Griebel
Institute for Numerical Simulation
maximize
next up previous contents
Next: Strenge Monotonie Up: Eindeutigkeit Previous: Maximumprinzip für

Eindeutigkeit der Lösung

 

Mit Hilfe der Resultate der vorangegangenen Abschnitte dieses Kapitels ist es nun nicht schwer, die Eindeutigkeit der Lösung zu zeigen, i.e. c=c' und u=u' bis auf Translation in tex2html_wrap_inline7801 -Richtung. tex2html_wrap_inline11507 bzw. u' erfüllen die Differentialgleichungen

eqnarray6485

Also erfüllt

equation6489

die Differentialungleichung

  equation6491

Der Verschiebungssatz 6.2 zeigt, daß wir ein s finden können, so daß z positiv ist. Verkleinere s nun soweit, bis z an mindestens einer Stelle den Wert 0 annimmt. Das Maximumprinzip Satz 6.7 zeigt tex2html_wrap_inline11789 , also tex2html_wrap_inline11813 , womit die Gleichheit der Funktionen u und u' bis auf Translation gezeigt ist. Die Differentialungleichung (6.40) reduziert sich nun zu

equation6499

Da tex2html_wrap_inline11507 für tex2html_wrap_inline11529 gegen 1 und für tex2html_wrap_inline11539 gegen 0 konvergiert, ist tex2html_wrap_inline11825 . Also folgt c=c'. Damit ist Satz 6.1 bewiesen.



Marcel Arndt
Tue Mar 28 09:56:06 MSZ 2000