Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford / 2012 / 7

Near $x=0$, separation of variables gives $dy/y=dx/(1-x)$, so $\log |y|=-\log (1-x)+C$. The initial condition selectsDirect substitution verifies both the ordinary differential equation and the initial condition. The endpoint $x=1$ is excluded because the coefficient and this solution are singular there; the displayed interval is the maximal connected real interval containing the initial point.

For $|x|\le h<1$ and any two admissible values $y,\tilde{y}$,This is a Lipschitz condition in the dependent variable, uniform in $x$, with Lipschitz constant $L=(1-h{)}^{-1}$. Also $|f(x,y)|\le (1+k)/(1-h)$ on the prescribed rectangle, so the usual local hypotheses of the Picard-Lindelöf theorem hold.

Integrating from the initial point gives the integral equationConversely, differentiating this equation using the fundamental theorem of calculus recovers the initial value problem. Start Picard iteration with the constant initial approximation $y_0(x)=1$ and setThe first three approximations areTo prove the general expression by mathematical induction, put $\ell (x)=\log (1-x)$. The initial approximation gives the formula for $n=0$. If it holds for $n$, then the substitution rulegivesThus the formula follows at every stage.

For every fixed real $x<1$, these are partial sums of the exponential series evaluated at the finite real number $-\log (1-x)$. ThereforeThis range is larger than $|x|<1$: the expansion is in powers of $\log (1-x)$, not a Taylor series in $x$. For example it converges at $x=-2$. It also converges uniformly on every compact interval contained in $(-\infty ,1)$, because $|\log (1-x)|$ is bounded there and the exponential series supplies a uniform summable bound. At $x=1$ the approximations are undefined, while for $x>1$ the real integral from zero crosses the singularity. This is Picard iteration for a simple-pole linear differential equation.