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*x2=c*(1+x2)
y2=c+∫0x2*t*c*(1+t2)dt=c+c*∫0x (2t+2t3)dt=c+c*(x2+1/2*x4)=c*(1+x2+1/2*x4)
Vermutung ist dann yn=c*∑n=0 ∞ x2n/(n!) was man mit Induktion beweisen kann.
c*∑n=0 ∞ x2n/(n!) ist die Reihendarstellung von c*ex^2, was die Differentialgleichung auch erfüllt, da d/dx c*ex^2=2x*c*ex^2