i have dy/dx=x+y
what is the limit of the series yn
1. It looks an awful lot like the exponential series.
2. Theoretically, assuming certain smoothness conditions are met, which it looks like they are, the series should converge to the solution of the DE. You're essentially doing Picard iterations there, if I'm not mistaken.
Ok. So y(0) = 1 implies that
That's what you got, I believe. The sequence converges to To convince yourself of that fact, just expand in a Taylor series about 0, and you'll see that it's the exact same series as you're getting here.
How rigorous a proof does this require?
... and we have 'forgotten' the procedure to solve it... no problem because we can use an alternative approach!...
Let's suppose that y(x) is analytic in x=0 so that is...
But the can be derived from (1) as follows...
... so that is...