AWP x` = x3 (4 + cos 2t) + t3 *e^(−2t),x(0) = 0.

Question

Aufgabe:

Gegeben sei das AWP x` = x³ (4 + cos 2t) + t³ *e^(−2t) , x(0) = 0.
Ist das AWP auf G = {(t, x)| |t| ≤ a, |x| ≤ b, a, b > 0} eindeutig lösbar? Beweisen Sie Ihre
Aussage zuerst mit dem Satz von Picard-Lindelöff