Zum Inhalt springen

Picard-Lindelöf/Zeitunabhängig/Bemerkung

Aus Wikiversity

Zu einem ortsunabhängigen Vektorfeld

F:I×nn,(t,v)F(t,v)=F(t),

und der Anfangsbedingung  v(t0)=w  führt die erste Picard-Lindelöf-Iteration auf

φ1(t)=w+t0tF(s,w)ds=w+t0tF(s)ds=w+G(t),

wobei G(t) eine Stammkurve zu F(t) mit  G(t0)=0  sei. Die erste Iteration liefert hier also direkt die Lösung. Die kontrahierende Abbildung im Beweis zu Fakt ist in dieser Situation konstant.