Sturm-Liouville eigenvalue problems with Mathematica 221

-a λ y’’[x0]-y(4)[x0]) (x-x0)2+1/6 (3 y’’[x0]+x0 y(3)[x0]

-a λ y(3)[x0]-y(5)[x0]) (x-x0)3+1/24 (4 y(3)[x0]+x0 y(4)[x0]
-a λ y(4)[x0]-y(6)[x0]) (x-x0)4+1/120 (5 y(4)[x0]+x0 y(5)[x0]
-a λ y(5)[x0]-y(7)[x0]) (x-x0)5+O[x-x0]6
In[8] syseqs=LogicalExpand[sereq 0]
Out[8] x0 y[x0]-a λ y[x0]-y’’[x0] 0&&
y[x0]+x0 y′[x0]-a λ y′[x0]-y(3)[x0] 0&&
1/2 (2 y′[x0]+x0 y′′[x0]-a λ y′′[x0]-y(4)[x0]) 0&&
1/6 (3 y′′[x0]+x0 y(3)[x0]-a λ y(3)[x0]-y(5)[x0]) 0&&
1/24 (4 y(3)[x0]+x0 y(4)[x0]-a λ y(4)[x0]-y(6)[x0]) 0&&
1/120 (5 y(4)[x0]+x0 y(5)[x0]-a λ y(5)[x0]-y(7)[x0]) 0
In[9] deriv0=Table[D[y[x],{x,i}]/.x→x0,{i,2,n+2}]
Out[9] {y′′[x0],y(3)[x0],y(4)[x0],y(5)[x0],y(6)[x0],y(7)[x0]}
In[10] sol=Solve[syseqs,deriv0]
Out[10] {{y(6)[x0]→4 y[x0]+x03 y[x0]-3 a x02 λ y[x0]
+3 a2 x0 λ2 y[x0]-a3 λ3 y[x0]+6 x0 y’[x0]
-6 a λ y′[x0],y(7)[x0]→9 x02 y[x0]-18 a x0 λ y[x0]
+9 a2 λ2 y[x0]+10 y’[x0]+x03 y’[x0]-3 a x02 λ y’[x0]
+3 a2 x0 λ2 y’[x0]-a3 λ3 y’[x0],y(5)[x0]→4 x0 y[x0]
-4 a λ y[x0]+x02 y’[x0]-2 a x0 λ y’[x0]
+a2 λ2 y’[x0],y(4)[x0]→(-x0+a λ) (-x0 y[x0]+a λ y[x0])
+2 y’[x0],y’’[x0]→x0 y[x0]-a λ y[x0],y(3)[x0]→y[x0]
+x0 y’[x0]-a λ y’[x0]}}
In[11] sery=Series[y[x],{x,x0,n}]/.sol[[1]]
Out[11] y[x0]+y’[x0] (x-x0)+1/2 (x0 y[x0]-a λ y[x0]) (x-x0)2
+1/6 (y[x0]+x0 y’[x0]-a λ y’[x0]) (x-x0)3
+1/24 ((-x0+a λ) (-x0 y[x0]+a λ y[x0])
+2 y’[x0]) (x-x0)4+1/120 (4 x0 y[x0]
-4 a λ y[x0]+x02 y’[x0]-2 a x0 λ y’[x0]
+a2 λ2 y’[x0]) (x-x0) 2 + O[x-x0]6