a)
die Definition der Lipschitz Bedingung müsstet ihr ja in der Vorlesung oder im Script behandelt haben.
zu untersuchen ist für y'=f(x,y) dann |f(x,y1)-f(x,y2)|. Für Lipschitz Stetigkeit muss gelten:|f(x,y1)-f(x,y2)|<=L*|y1-y2|
wobei L>=0
Hier in deinem Beispiel ist f(x,y)=2*x*y
--> |f(x,y1)-f(x,y2)|=|2xy1-2xy2|=|2x|*|y1-y2| --> L=|2x|>=0 --> Lipschitz Bedingung für alle (x,y) erfüllt, also global.
b) Das Iterationsverfahren lautet:
yn+1=y0+∫x0xf(t,yn)dt
y0(x)=c
--> x=x0=0, y=c
y1=c+∫0x2*t*c*dt=c+c*x^2=c*(1+x^2)
y2=c+∫0x2*t*c*(1+t^2)dt=c+c*∫0x (2t+2t^3)dt=c+c*(x^2+1/2*x^4)=c*(1+x^2+1/2*x^4)
Vermutung ist dann yn=c*∑n=0 ∞ x^{2n}/(n!) was man mit Induktion beweisen kann.
c*∑n=0 ∞ x^{2n}/(n!) ist die Reihendarstellung von c*e^{x^2}, was die Differentialgleichung auch erfüllt, da d/dx c*e^{x^2}=2x*c*e^{x^2}