Past exam of the differential equations 2 course of the University of Oxford / 2014 / 2 / a

Work first on $0<x<1$. Divide by $x-1$ to put the equation in leading-coefficient-one form. Its first-derivative coefficient is $-x/(x-1)$, so the integrating factor for the self-adjoint differential operator isThe resulting coefficients areIndeed $p^{\prime }(x)=x{e}^{-x}/(1-x{)}^2$, and multiplying the original equation by $-e^{-x}/(1-x{)}^2$ gives $(p{y}^{\prime }{)}^{\prime }+qy=F$. These transformed coefficients are singular at the right endpoint; the boundary value there is understood as the endpoint limit.

Substituting $y=x$ and $y=e^x$ in the homogeneous original equation gives zero in both cases. Their Wronskian iswhich is nonzero for $0<x<1$. Thus they are linearly independent on the solution interval.

To construct a Dirichlet Green function, choose homogeneous solutions adapted to the two endpoints:Their Wronskian is again $(x-1)e^x$, and $pW=-1$. Therefore the Green function for $L=(pd/dx{)}^{\prime }+q$ with zero endpoint values isFor fixed $s\in (0,1)$ it is continuous in $x$, vanishes at both endpoints, and satisfies the unit-flux jump conditionConsequently $L_{x}G(x,s)=\delta (x-s)$ in the sense of distributions. This is a singular-endpoint Green function with a double-zero right solution.

The endpoint data are nonhomogeneous, so use the homogeneous lifting $2x$ and writeAlthough $F(s)$ is singular at one, the integral exists for each interior $x$: the right solution satisfies $v(s)\sim e(1-s{)}^2/2$, cancelling the $(1-s{)}^{-2}$ forcing when $s>x$.

Splitting the integral at $s=x$ giveswhere elementary antiderivatives yieldFor the second equality, an antiderivative is $(1-e^{1-s})/(1-s)$, whose endpoint limit at one is $-1$. Simplifying the Green representation givesIt has the prescribed endpoint values. Direct substitution gives $(x-1)y^{\prime \prime }-x{y}^{\prime }+y=1$, and at the degenerate endpoint it also obeys $-y^{\prime }(1)+y(1)=1$. The only homogeneous solution satisfying both zero endpoint conditions is zero, so this solution is unique in the corresponding classical class.