1 (load("contrib_ode"),0);
4 /* ODE tests - Second order linear equations 101-200
7 E Kamke, Differentialgleichungen Losungsmethoden und Losungen,
8 Vol 1, Geest & Portig, Leipzig, 1961
12 (pn_(n_):=print("Kamke ODE 2.",n_),true);
16 (pn_(101),ans:contrib_ode(eqn:x*'diff(y,x,2)+2*'diff(y,x,1)+a*x*y,y,x));
17 [y = %k2*%e^(sqrt(-a)*x)/x+%k1*%e^-(sqrt(-a)*x)/x];
18 [method, ode_check(eqn,ans[1])];
22 (pn_(102),ans:contrib_ode(eqn:x*'diff(y,x,2)+2*'diff(y,x,1)+a*x^2*y,y,x),0);
25 [y = bessel_y(1/3,2*sqrt(a)*x^(3/2)/3)*%k2/sqrt(x)
26 +bessel_j(1/3,2*sqrt(a)*x^(3/2)/3)*%k1/sqrt(x)];
28 [method,ode_check(eqn,ans[1])];
32 (pn_(103),ans:contrib_ode(eqn:x*'diff(y,x,2)-2*'diff(y,x,1)+a*y,y,x));
33 [y = -bessel_y(3,2*sqrt(a)*sqrt(x))*%k2*x^(3/2)
34 -bessel_j(3,2*sqrt(a)*sqrt(x))*%k1*x^(3/2)];
35 [method,ode_check(eqn,ans[1])];
39 (pn_(104),ans:contrib_ode(eqn:x*'diff(y,x,2)+v*'diff(y,x,1)+a*y,y,x));
40 [y = %k2*bessel_y(v-1,2*sqrt(a)*sqrt(x))/x^(v/2-1/2)
41 +%k1*bessel_j(v-1,2*sqrt(a)*sqrt(x))/x^(v/2-1/2)];
42 [method,ode_check(eqn,ans[1])];
46 (pn_(105),ans:contrib_ode(eqn:x*'diff(y,x,2)+a*'diff(y,x,1)+b*x*y,y,x),0);
49 [y = %k2*bessel_y(1/2-(a/2),-sqrt(b)*x)*x^(1/2-(a/2))
50 +%k1*bessel_j(1/2-(a/2),-sqrt(b)*x)*x^(1/2-(a/2))];
52 [method,ode_check(eqn,ans[1])];
56 (pn_(106),ans:contrib_ode(eqn:x*'diff(y,x,2)+a*'diff(y,x,1)+b*x^a1*y,y,x));
60 (pn_(107),ans:contrib_ode(eqn:x*'diff(y,x,2)+(x+b)*'diff(y,x,1)+a*y,y,x));
61 [y = %k2*kummer_u(a,b,-x)+%k1*kummer_m(a,b,-x)];
62 [method, ode_check(eqn,ans[1])];
66 (pn_(108),ans:contrib_ode(eqn:x*'diff(y,x,2)+(x+b+a)*'diff(y,x,1)+a*y,y,x));
67 [y = %k2*kummer_u(a,b+a,-x)+%k1*kummer_m(a,b+a,-x)];
68 [method, ode_check(eqn,ans[1])];
72 (pn_(109),ans:contrib_ode(eqn:x*'diff(y,x,2)-x*'diff(y,x,1)-y-x*(x+1)*%e^x,y,x));
73 [y = x*%e^x*'integrate((gamma_incomplete(-1,x)*x^2+gamma_incomplete(-1,x)*x)*%e^x,x)
74 +(-gamma_incomplete(-1,x)*x^3+gamma_incomplete(-1,x)*x^2-gamma_incomplete(-1,x)*x)
75 *%e^(2*x)+%k2*x*%e^x-gamma_incomplete(-1,x)*%k1*x*%e^x];
76 ode_check(eqn,ans[1]);
79 variationofparameters;
84 (pn_(110),ans:contrib_ode(eqn:x*'diff(y,x,2)-x*'diff(y,x,1)-a*y,y,x));
85 [y = %k2*kummer_u(-a,0,-x)*%e^x+%k1*kummer_m(-a,0,-x)*%e^x];
86 [method,ode_check(eqn,ans[1])];
92 (pn_(111),ans:contrib_ode(eqn:x*'diff(y,x,2)-(x+1)*'diff(y,x,1)+y,y,x));
93 [y = %k2*%e^x+%k1*(x+1)];
94 [method,ode_check(eqn,ans[1])];
98 (pn_(112),ans:contrib_ode(eqn:x*'diff(y,x,2)-(x+1)*'diff(y,x,1)-2*(x-1)*y,y,x));
99 [y = %k2*%e^(2*x)+%k1*(3*x+1)*%e^-x]$
100 [method, ode_check(eqn,ans[1])];
104 assume(x^2+(4*a-2*b)*x+b^2>0);
105 [x^2+(4*a-2*b)*x+b^2>0];
106 (pn_(113),ans:contrib_ode(eqn:x*'diff(y,x,2)+(b-x)*'diff(y,x,1)-a*y,y,x));
107 [y = %k2*kummer_u(b-a,b,-x)*%e^x+%k1*kummer_m(b-a,b,-x)*%e^x];
108 [method,ode_check(eqn,ans[1])];
110 forget(x^2+(4*a-2*b)*x+b^2>0);
111 [x^2+(4*a-2*b)*x+b^2>0];
114 (pn_(114),ans:contrib_ode(eqn:x*'diff(y,x,2)-2*(x-1)*'diff(y,x,1)-y,y,x));
115 [y = kummer_u(1/2,0,-2*x)*%k2*%e^(2*x)/x
116 +kummer_m(1/2,0,-2*x)*%k1*%e^(2*x)/x];
117 [method, ode_check(eqn,ans[1])];
121 (pn_(115),ans:contrib_ode(eqn:x*'diff(y,x,2)-(3*x-2)*'diff(y,x,1)+(3-2*x)*y,y,x));
122 [y = kummer_u(6*17^-(1/2),0,-sqrt(17)*x)*%k2*%e^(sqrt(17)*x/2+3*x/2)/x
123 +kummer_m(6*17^-(1/2),0,-sqrt(17)*x)*%k1*%e^(sqrt(17)*x/2+3*x/2)/x];
124 [method, ode_check(eqn,ans[1])];
128 (pn_(116),ans:contrib_ode(eqn:x*'diff(y,x,2)+(a*x+n+b)*'diff(y,x,1)+a*n*y,y,x));[y = %k2*kummer_u(n,n+b,-a*x)+%k1*kummer_m(n,n+b,-a*x)];
129 [method, ode_check(eqn,ans[1])];
133 (pn_(117),ans:contrib_ode(eqn:x*'diff(y,x,2)-(b+a)*(x+1)*'diff(y,x,1)+a*b*x*y,y,x),0);
136 [y = %k2*kummer_u(-(b^2/(b-a))-(a*b/(b-a)),-b-a,a*x-b*x)*%e^(b*x)
137 +%k1*kummer_m(-(b^2/(b-a))-(a*b/(b-a)),-b-a,a*x-b*x)*%e^(b*x)];
139 [method, ode_check(eqn,ans[1])];
143 (pn_(118),ans:contrib_ode(eqn:x*'diff(y,x,2)+((b+a)*x+n+m)*'diff(y,x,1)+(a*b*x+a*n+b*m)*y,y,x),0);
146 [y = %k2*kummer_u(m,n+m,a*x-b*x)*%e^-(a*x)
147 +%k1*kummer_m(m,n+m,a*x-b*x)*%e^-(a*x)];
149 [method, ode_check(eqn,ans[1])];
153 /* This causes 2.160 to fail for no obvious reason. Result is OK */
155 assume(notequal(b,-1/2));
157 (pn_(119),ans:contrib_ode(eqn:x*'diff(y,x,2)-2*(a*x+b)*'diff(y,x,1)+(a^2*x+2*a*b)*y,y,x));
158 [y = %k2*x^(2*b+1)*%e^(a*x)+%k1*%e^(a*x)];
159 [method,ode_check(eqn,ans[1])];
161 forget(notequal(b,-1/2));
166 (pn_(120),ans:contrib_ode(eqn:x*'diff(y,x,2)+(a*x+b)*'diff(y,x,1)+(c*x+d)*y,y,x),0);
169 [y = %k2*kummer_u(-(2*sqrt(a^2-4*c)*d/(8*c-2*a^2))
170 +4*b*c/(8*c-2*a^2)+a*b*sqrt(a^2-4*c)/(8*c-2*a^2)
171 -(a^2*b/(8*c-2*a^2)),b,-sqrt(a^2-4*c)*x)
172 *%e^(sqrt(a^2-4*c)*x/2-(a*x/2))
173 +%k1*kummer_m(-(2*sqrt(a^2-4*c)*d/(8*c-2*a^2))
174 +4*b*c/(8*c-2*a^2)+a*b*sqrt(a^2-4*c)/(8*c-2*a^2)
175 -(a^2*b/(8*c-2*a^2)),b,-sqrt(a^2-4*c)*x)
176 *%e^(sqrt(a^2-4*c)*x/2-(a*x/2))] ;
178 [method, ode_check(eqn,ans[1])];
182 (pn_(121),ans:contrib_ode(eqn:x*'diff(y,x,2)-(x^2-x)*'diff(y,x,1)+(x-1)*y,y,x));
183 [y = %k2*x*'integrate(%e^(x^2/2-x)/x^2,x)+%k1*x];
184 [method, ode_check(eqn,ans[1])];
188 (pn_(122),ans:contrib_ode(eqn:x*'diff(y,x,2)-(x^2-x-2)*'diff(y,x,1)-x*(x+3)*y,y,x));
189 [y = %k2*%e^(x^2/2)*'integrate(%e^(-x^2/2-x)/x^2,x)+%k1*%e^(x^2/2)];
190 [method, ode_check(eqn,ans[1])];
196 (pn_(123),ans:contrib_ode(eqn:x*'diff(y,x,2)-(2*a*x^2+1)*'diff(y,x,1)+b*x^3*y,y,x));
197 [y=%e^(a*x^2/2)*(%k1*sin(sqrt(4-4*a^2/b)*sqrt(b)*x^2/4)+%k2*cos(sqrt(4-4*a^2/b)*sqrt(b)*x^2/4))];
198 ode_check(eqn,ans[1]);
206 (pn_(124),ans:contrib_ode(eqn:x*'diff(y,x,2)-2*(x^2-a)*'diff(y,x,1)+2*n*x*y,y,x),0);
209 [y = %k2*kummer_u(-(n/2),a+1/2,x^2)+%k1*kummer_m(-(n/2),a+1/2,x^2)];
211 [method, ode_check(eqn,ans[1])];
215 (pn_(125),ans:contrib_ode(eqn:x*'diff(y,x,2)+(4*x^2-1)*'diff(y,x,1)-4*x^3*y-4*x^5,y,x));
216 [y=%e^-x^2*(%i*%k1*sinh(sqrt(2)*x^2)+%k2*cosh(sqrt(2)*x^2))-%e^-(sqrt(2)*x^2)*((((sqrt(2)-2)*x^2+3*sqrt(2)-4)*%e^(2*sqrt(2)*x^2)+(sqrt(2)+2)*x^2+3*sqrt(2)+4)*sinh(sqrt(2)*x^2)+(((2-sqrt(2))*x^2-3*sqrt(2)+4)*%e^(2*sqrt(2)*x^2)+(sqrt(2)+2)*x^2+3*sqrt(2)+4)*cosh(sqrt(2)*x^2))/4];
217 [method,ode_check(eqn,ans[1])];
218 [variationofparameters,0];
221 /* CHECKME: Takes a long time
222 (pn_(126),ans:contrib_ode(eqn:x*'diff(y,x,2)+(2*a*x^3-1)*'diff(y,x,1)+(a^2*x^3+a)*y,y,x));
227 (pn_(127),ans:contrib_ode(eqn:x*'diff(y,x,2)+(2*a*x*log(x)+1)*'diff(y,x,1)+(a^2*x*log(x)^2+a*log(x)+a)*y,y,x));
231 (pn_(128),ans:contrib_ode(eqn:x*'diff(y,x,2)+(x*f(x)+2)*'diff(y,x,1)+f(x)*y,y,x));
235 (pn_(129),ans:contrib_ode(eqn:(x-3)*'diff(y,x,2)-(4*x-9)*'diff(y,x,1)+(3*x-6)*y,y,x));
236 [y = %k2*(4*x^3-42*x^2+150*x-183)*%e^(3*x)+%k1*%e^x]$
237 [method, ode_check(eqn,ans[1])];
241 (pn_(130),ans:contrib_ode(eqn:2*x*'diff(y,x,2)+'diff(y,x,1)+a*y,y,x));
242 [y=%k1*sin(2*sqrt(a)*sqrt(x)/sqrt(2))+%k2*cos(2*sqrt(a)*sqrt(x)/sqrt(2))];
243 ode_check(eqn,ans[1]);
249 (pn_(131),ans:contrib_ode(eqn:2*x*'diff(y,x,2)-(x-1)*'diff(y,x,1)+a*y,y,x));
250 [y = %k2*kummer_u(a+1,3/2,-x/2)*sqrt(x)*%e^(x/2)
251 +%k1*kummer_m(a+1,3/2,-x/2)*sqrt(x)*%e^(x/2)];
252 [method, ode_check(eqn,ans[1])];
256 assume(4*x^2+(-8*a-4)*x+1>0);
257 [4*x^2+(-8*a-4)*x+1>0];
258 (pn_(132),ans:contrib_ode(eqn:2*x*'diff(y,x,2)-(2*x-1)*'diff(y,x,1)+a*y,y,x),0);
261 [y = %k2*kummer_u(a/2+1,3/2,-x)*sqrt(x)*%e^x
262 +%k1*kummer_m(a/2+1,3/2,-x)*sqrt(x)*%e^x];
264 [method, ode_check(eqn,ans[1])];
266 forget(4*x^2+(-8*a-4)*x+1>0);
267 [4*x^2+(-8*a-4)*x+1>0];
270 (pn_(133),ans:contrib_ode(eqn:(2*x-1)*'diff(y,x,2)-(3*x-4)*'diff(y,x,1)+(x-3)*y,y,x));
271 [y = %k2*%e^x+gamma_incomplete(-1/4,(2*x-1)/4)*%k1*%e^(x-1/4)];
272 [method, ode_check(eqn,ans[1])];
276 (pn_(134),ans:contrib_ode(eqn:4*x*'diff(y,x,2)-(x+a)*y,y,x));
277 [y = %k2*kummer_u(-a/4,0,-x)*%e^(x/2)+%k1*kummer_m(-a/4,0,-x)*%e^(x/2)];
278 [method, ode_check(eqn,ans[1])];
282 (pn_(135),ans:contrib_ode(eqn:4*x*'diff(y,x,2)+2*'diff(y,x,1)-y,y,x));
283 [y=%i*%k1*sinh(sqrt(x))+%k2*cosh(sqrt(x))];
284 ode_check(eqn,ans[1]);
290 (pn_(136),ans:contrib_ode(eqn:4*x*'diff(y,x,2)+4*'diff(y,x,1)+(-x-2)*y,y,x));
291 [y = gamma_incomplete(0,x)*%k2*%e^(x/2)+%k1*%e^(x/2)];
292 [method, ode_check(eqn,ans[1])];
296 (pn_(137),ans:contrib_ode(eqn:4*x*'diff(y,x,2)+(-x-2)*y+L*y+4*y,y,x),0);
299 [y = %k2*kummer_u(L/4+1/2,0,-x)*%e^(x/2)
300 +%k1*kummer_m(L/4+1/2,0,-x)*%e^(x/2)];
302 [method, ode_check(eqn,ans[1])];
306 (pn_(138),ans:contrib_ode(eqn:4*x*'diff(y,x,2)+4*m*'diff(y,x,1)+(-x+4*n+2*m)*y,y,x));
307 [y = %k2*kummer_u(n+m,m,-x)*%e^(x/2)+%k1*kummer_m(n+m,m,-x)*%e^(x/2)];
308 [method, ode_check(eqn,ans[1])];
312 (pn_(139),ans:contrib_ode(eqn:16*x*'diff(y,x,2)+8*'diff(y,x,1)+(-x-a)*y,y,x),0);
315 [y = %k2*kummer_u(3/4-(a/8),3/2,-(x/2))*sqrt(x)*%e^(x/4)
316 +%k1*kummer_m(3/4-(a/8),3/2,-(x/2))*sqrt(x)*%e^(x/4)];
318 [method, ode_check(eqn,ans[1])];
322 (pn_(140),ans:contrib_ode(eqn:a*x*'diff(y,x,2)+b*'diff(y,x,1)+c*y,y,x),0);
325 [y = %k2*bessel_y(b/a-1,2*sqrt(c)*sqrt(x)/sqrt(a))*x^(1/2-(b/(2*a)))
326 +%k1*bessel_j(b/a-1,2*sqrt(c)*sqrt(x)/sqrt(a))*x^(1/2-(b/(2*a)))];
328 [method, ode_check(eqn,ans[1])];
332 (pn_(141),ans:contrib_ode(eqn:a*x*'diff(y,x,2)+(b*x+3*a)*'diff(y,x,1)+3*b*y,y,x));
333 [y = gamma_incomplete(-2,-b*x/a)*%k2*%e^-(b*x/a)+%k1*%e^-(b*x/a)];
334 [method, ode_check(eqn,ans[1])];
338 (pn_(142),ans:contrib_ode(eqn:5*(a*x+b)*'diff(y,x,2)+8*a*'diff(y,x,1)+c*(a*x+b)^(1/5)*y,y,x));
342 (pn_(143),ans:contrib_ode(eqn:2*a*x*'diff(y,x,2)+(b*x+a)*'diff(y,x,1)+c*y,y,x));
343 [y = %k2*kummer_u(c/b,1/2,-b*x/(2*a))+%k1*kummer_m(c/b,1/2,-b*x/(2*a))];
344 [method, ode_check(eqn,ans[1])];
348 (pn_(144),ans:contrib_ode(eqn:2*a*x*'diff(y,x,2)+(b*x+3*a)*'diff(y,x,1)+c*y,y,x));
349 [y = %k2*kummer_u(c/b,3/2,-b*x/(2*a))+%k1*kummer_m(c/b,3/2,-b*x/(2*a))];
350 [method, ode_check(eqn,ans[1])];
354 (pn_(145),ans:contrib_ode(eqn:(a2*x+b2)*'diff(y,x,2)+(a1*x+b1)*'diff(y,x,1)+(a0*x+b0)*y,y,x),0);
357 [y = %k2*kummer_u(2*a0*a2*sqrt(a1^2-4*a0*a2)*b2/(8*a0*a2^3-2*a1^2*a2^2)
358 -(a1^2*sqrt(a1^2-4*a0*a2)*b2/(8*a0*a2^3-2*a1^2*a2^2))
359 -(4*a0*a1*a2*b2/(8*a0*a2^3-2*a1^2*a2^2))
360 +a1^3*b2/(8*a0*a2^3-2*a1^2*a2^2)
361 +a1*a2*sqrt(a1^2-4*a0*a2)*b1/(8*a0*a2^3-2*a1^2*a2^2)
362 +4*a0*a2^2*b1/(8*a0*a2^3-2*a1^2*a2^2)
363 -(a1^2*a2*b1/(8*a0*a2^3-2*a1^2*a2^2))
364 -(2*a2^2*sqrt(a1^2-4*a0*a2)*b0
365 /(8*a0*a2^3-2*a1^2*a2^2)),b1/a2-(a1*b2/a2^2),
366 -(sqrt(a1^2-4*a0*a2)*x/a2)-(sqrt(a1^2-4*a0*a2)*b2/a2^2))
367 *%e^(sqrt(a1^2-4*a0*a2)*x/(2*a2)-(a1*x/(2*a2))
368 +sqrt(a1^2-4*a0*a2)*b2
370 +%k1*kummer_m(2*a0*a2*sqrt(a1^2-4*a0*a2)*b2/(8*a0*a2^3-2*a1^2*a2^2)
371 -(a1^2*sqrt(a1^2-4*a0*a2)*b2/(8*a0*a2^3-2*a1^2*a2^2))
372 -(4*a0*a1*a2*b2/(8*a0*a2^3-2*a1^2*a2^2))
373 +a1^3*b2/(8*a0*a2^3-2*a1^2*a2^2)
374 +a1*a2*sqrt(a1^2-4*a0*a2)*b1/(8*a0*a2^3-2*a1^2*a2^2)
375 +4*a0*a2^2*b1/(8*a0*a2^3-2*a1^2*a2^2)
376 -(a1^2*a2*b1/(8*a0*a2^3-2*a1^2*a2^2))
377 -(2*a2^2*sqrt(a1^2-4*a0*a2)*b0
378 /(8*a0*a2^3-2*a1^2*a2^2)),b1/a2-(a1*b2/a2^2),
379 -(sqrt(a1^2-4*a0*a2)*x/a2)-(sqrt(a1^2-4*a0*a2)*b2/a2^2))
380 *%e^(sqrt(a1^2-4*a0*a2)*x/(2*a2)-(a1*x/(2*a2))
381 +sqrt(a1^2-4*a0*a2)*b2
384 [method, ode_check(eqn,ans[1])];
390 (pn_(146),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-6*y,y,x));
391 [y=%e^(log(x)/2)*(%i*%k1*sinh(5*log(x)/2)+%k2*cosh(5*log(x)/2))];
392 ode_check(eqn,ans[1]);
402 (pn_(147),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-12*y,y,x));
403 [y=%e^(log(x)/2)*(%i*%k1*sinh(7*log(x)/2)+%k2*cosh(7*log(x)/2))];
404 ode_check(eqn,ans[1]);
414 (pn_(148),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+a*y,y,x));
415 [y=%e^(log(x)/2)*(%k1*sin(sqrt(4-1/a)*sqrt(a)*log(x)/2)+%k2*cos(sqrt(4-1/a)*sqrt(a)*log(x)/2))];
416 ode_check(eqn,ans[1]);
424 (pn_(149),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(a*x+b)*y,y,x));
425 [y = %k2*bessel_y(sqrt(1-4*b),2*sqrt(a)*sqrt(x))*sqrt(x)
426 +%k1*bessel_j(sqrt(1-4*b),2*sqrt(a)*sqrt(x))*sqrt(x)];
427 [method,ode_check(eqn,ans[1])];
431 (pn_(150),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(x^2-2)*y,y,x));
432 [y = bessel_y(-3/2,-x)*%k2*sqrt(-x)+bessel_j(-3/2,-x)*%k1*sqrt(-x)];
433 [method,ode_check(eqn,ans[1])];
437 (pn_(151),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-(a*x^2+2)*y,y,x));
438 [y = bessel_y(-3/2,-sqrt(-a)*x)*%k2*sqrt(-x)
439 +bessel_j(-3/2,-sqrt(-a)*x)*%k1*sqrt(-x)];
440 [method, ode_check(eqn,ans[1])];
444 (pn_(152),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(a^2*x^2-6)*y,y,x));
445 [y = bessel_y(5/2,-a*x)*%k2*sqrt(-x)+bessel_j(5/2,-a*x)*%k1*sqrt(-x)];
446 [method, ode_check(eqn,ans[1])];
450 (pn_(153),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(a*x^2-(v-1)*v)*y,y,x),0);
453 [y = %k2*bessel_y(1/2-v,-sqrt(a)*x)*sqrt(-x)
454 +%k1*bessel_j(1/2-v,-sqrt(a)*x)*sqrt(-x)];
456 [method, ode_check(eqn,ans[1])];
460 (pn_(154),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(a*x^2+b*x+c)*y,y,x),0);
463 [y = %k2*kummer_u(sqrt(1-4*c)/2-(sqrt(-a)*b/(2*a))+1/2,sqrt(1-4*c)+1,
464 -2*sqrt(-a)*x)*(-x)^(sqrt(1-4*c)/2+1/2)
466 +%k1*kummer_m(sqrt(1-4*c)/2-(sqrt(-a)*b/(2*a))+1/2,sqrt(1-4*c)+1,
467 -2*sqrt(-a)*x)*(-x)^(sqrt(1-4*c)/2+1/2)
470 [method, ode_check(eqn,ans[1])];
474 (pn_(155),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(a*x^k-(b-1)*b)*y,y,x));
478 (pn_(156),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+y/log(x)-x*%e^x*(x*log(x)+2),y,x));
482 (pn_(157),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+a*'diff(y,x,1)-x*y,y,x));
486 (pn_(158),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+a*'diff(y,x,1)+(-b^2*x^2-a*b)*y,y,x));
487 [y = %k2*%e^(b*x)*'integrate(%e^(a/x-2*b*x),x)+%k1*%e^(b*x)];
488 [method, ode_check(eqn,ans[1])];
492 (pn_(159),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x*'diff(y,x,1)-y-a*x^2,y,x));
493 [y=a*x^2/3+%k2*x-%k1/(2*x)];
494 ode_check(eqn,ans[1]);
497 variationofparameters;
502 (pn_(160),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x*'diff(y,x,1)+a*y,y,x));
503 [y=%k1*sin(sqrt(4*a)*log(x)/2)+%k2*cos(sqrt(4*a)*log(x)/2)];
504 ode_check(eqn,ans[1]);
512 (pn_(161),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x*'diff(y,x,1)+(-x-a)*y,y,x));
513 [y=%k2*bessel_y(2*sqrt(a),2*sqrt(-x))+%k1*bessel_j(2*sqrt(a),2*sqrt(-x))];
514 [method, ode_check(eqn,ans[1])];
520 (pn_(162),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x*'diff(y,x,1)+(x^2-v^2)*y,y,x));
521 [y = %k2*bessel_y(v,x)+%k1*bessel_j(v,x)];
522 [method,ode_check(eqn,ans[1])];
527 /* Kamke 2. 163 Note: this is still correct for f(x)=0 */
530 (pn_(163),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x*'diff(y,x,1)+(x^2-v^2)*y-f(x),y,x));
531 [y = 2*bessel_j(v,x)*'integrate(bessel_y(v,x)*f(x)
532 /((bessel_j(v,x)*bessel_y(v+1,x)-bessel_y(v,x)*bessel_j(v+1,x)
533 +bessel_j(v-1,x)*bessel_y(v,x)-bessel_y(v-1,x)*bessel_j(v,x))*x^2),x)
534 -2*bessel_y(v,x)*'integrate(bessel_j(v,x)*f(x)
535 /((bessel_j(v,x)*bessel_y(v+1,x)-bessel_y(v,x)*bessel_j(v+1,x)
536 +bessel_j(v-1,x)*bessel_y(v,x)-bessel_y(v-1,x)*bessel_j(v,x))*x^2),x)
537 +%k2*bessel_y(v,x)+%k1*bessel_j(v,x)];
538 [method,ode_check(eqn,ans[1])];
539 [variationofparameters,0];
544 (pn_(164),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x*'diff(y,x,1)+(l*x^2-v^2)*y,y,x));
545 [y = %k2*bessel_y(v,-sqrt(l)*x)+%k1*bessel_j(v,-sqrt(l)*x)];
546 [method, ode_check(eqn,ans[1])];
550 (pn_(165),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(x+a)*'diff(y,x,1)-y,y,x));
551 [y = gamma_incomplete(2,a/x)*%k1*x*%e^(a/x)/a^2+%k2*x*%e^(a/x)];
552 ode_check(eqn,ans[1]);
558 (pn_(166),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-x*'diff(y,x,1)+y-3*x^3,y,x));
559 [y=x*(%k2*log(x)+%k1)+3*x^3/4];
560 ode_check(eqn,ans[1]);
563 variationofparameters;
566 (pn_(167),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-x*'diff(y,x,1)+(a*x^m+b)*y,y,x));
570 (pn_(168),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+2*x*'diff(y,x,1),y,x));
572 ode_check(eqn,ans[1]);
578 (pn_(169),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+2*x*'diff(y,x,1)+(a*x-b^2)*y,y,x));
579 [y = %k2*bessel_y(sqrt(4*b^2+1),2*sqrt(a)*sqrt(x))/sqrt(x)
580 +%k1*bessel_j(sqrt(4*b^2+1),2*sqrt(a)*sqrt(x))/sqrt(x)];
581 [method,ode_check(eqn,ans[1])];
585 (pn_(170),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+2*x*'diff(y,x,1)+(a*x^2+b)*y,y,x));
586 [y = %k2*bessel_y(sqrt(1-4*b)/2,-sqrt(a)*x)*sqrt(-x)/x
587 +%k1*bessel_j(sqrt(1-4*b)/2,-sqrt(a)*x)*sqrt(-x)/x];
588 [method, ode_check(eqn,ans[1])];
592 (pn_(171),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+2*x*'diff(y,x,1)+(L*x^2+a*x-n*(n+1))*y,y,x),0);
595 [y = %k2*kummer_u(-n-(a*sqrt(-L)/(2*L)),-2*n,-2*sqrt(-L)*x)
596 *%e^(sqrt(-L)*x)/((-x)^n*x)
597 +%k1*kummer_m(-n-(a*sqrt(-L)/(2*L)),-2*n,-2*sqrt(-L)*x)
598 *%e^(sqrt(-L)*x)/((-x)^n*x)];
600 [method, ode_check(eqn,ans[1])];
604 (pn_(172),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+2*(x-1)*'diff(y,x,1)+a*y,y,x),0);
607 [y = %k2*bessel_y(sqrt(1-4*a)/2,-%i/x)*%e^-(1/x)/sqrt(-x)
608 +%k1*bessel_j(sqrt(1-4*a)/2,-%i/x)*%e^-(1/x)/sqrt(-x)];
610 [method, ode_check(eqn,ans[1])];
614 (pn_(173),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+2*(x+a)*'diff(y,x,1)-(b-1)*b*y,y,x),0);
617 [y = %k2*bessel_y(1/2-b,-(%i*a/x))*%e^(a/x)/sqrt(-x)
618 +%k1*bessel_j(1/2-b,-(%i*a/x))*%e^(a/x)/sqrt(-x)];
620 [method, ode_check(eqn,ans[1])];
624 (pn_(174),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-2*x*'diff(y,x,1)+2*y-x^5*log(x),y,x));
625 [y=(12*x^5*log(x)-7*x^5)/144+%k1*x^2+%k2*x];
626 ode_check(eqn,ans[1]);
629 variationofparameters;
632 (pn_(175),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-2*x*'diff(y,x,1)-4*y-x*sin(x)+(-a*x^2-12*a-4)*cos(x),y,x),0);
635 [y=-(((2*a+1)*sin(x)+a*x*cos(x))/x)+%k2*x^4-%k1/(5*x)];
637 ode_check(eqn,ans[1]);
640 variationofparameters;
643 (pn_(176),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-2*x*'diff(y,x,1)+(x^2+2)*y,y,x));
644 [y = %k2*x*%e^(%i*x)+%k1*x*%e^-(%i*x)];
645 [method, ode_check(eqn,ans[1])];
649 (pn_(177),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(x^2+2)*'diff(y,x,1)-2*x*'diff(y,x,1)-x^2/cos(x),y,x));
650 [y='integrate(%e^-x*(x^2*%e^(2/x)*'integrate(%e^(x-2/x)/(x^2*cos(x)),x)+%k1*x^2*%e^(2/x)),x)+%k2];
651 ode_check(eqn,ans[1]);
657 (pn_(178),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-2*x*'diff(y,x,1)+(x^2+2)*y-x^3/cos(x),y,x));
658 [y=x*cos(x)*log(cos(x))+x^2*sin(x)+%k2*x*sin(x)+%k1*x*cos(x)];
659 [method,ode_check(eqn,ans[1])];
663 (pn_(179),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-2*x*'diff(y,x,1)+(a^2*x^2+2)*y,y,x));
664 [y = %k2*x*%e^(%i*a*x)+%k1*x*%e^-(%i*a*x)];
665 [method, ode_check(eqn,ans[1])];
669 (pn_(180),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+3*x*'diff(y,x,1)+(x^2-v^2+1)*y-f(x),y,x));
673 (pn_(181),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(3*x-1)*'diff(y,x,1)+y,y,x));
674 [y = %k2*%e^-(1/x)/x+gamma_incomplete(0,-1/x)*%k1*%e^-(1/x)/x];
675 ode_check(eqn,ans[1]);
681 (pn_(182),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-3*x*'diff(y,x,1)+4*y-5*x,y,x));
682 [y=x^2*(%k2*log(x)+%k1)+5*x];
683 ode_check(eqn,ans[1]);
686 variationofparameters;
689 (pn_(183),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-3*x*'diff(y,x,1)-5*y-x^2*log(x),y,x));
690 [y=-x^2*log(x)/9+%k2*x^5-%k1/(6*x)];
691 ode_check(eqn,ans[1]);
694 variationofparameters;
697 (pn_(184),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-4*x*'diff(y,x,1)+6*y-x^4+x^2,y,x));
698 [y=(2*x^2*log(x)+x^4+2*x^2)/2+%k1*x^3+%k2*x^2];
699 ode_check(eqn,ans[1]);
702 variationofparameters;
705 (pn_(185),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+5*x*'diff(y,x,1)+(4-2*x^3)*y,y,x),0);
708 [y = bessel_y(0,-2*sqrt(2)*sqrt(-x)*x/3)*%k2/x^2
709 +bessel_j(0,-2*sqrt(2)*sqrt(-x)*x/3)*%k1/x^2];
711 [method,ode_check(eqn,ans[1])];
715 (pn_(186),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-5*x*'diff(y,x,1)+8*y-x^3*sin(x),y,x));
716 [y = (2*x^2*cos(x)+(gamma_incomplete(-1,%i*x)
717 +gamma_incomplete(-1,-%i*x))
720 ode_check(eqn,ans[1]);
723 variationofparameters;
726 assume(4*b-a^2+2*a-1>0);
728 (pn_(187),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+a*x*'diff(y,x,1)+b*y,y,x));
729 [y=(%k1*sin(sqrt(4*b-a^2+2*a-1)*log(x)/2)+%k2*cos(sqrt(4*b-a^2+2*a-1)*log(x)/2))/x^((a-1)/2)];
730 ode_check(eqn,ans[1]);
734 forget(4*b-a^2+2*a-1>0);
738 (pn_(188),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(a*x+b)*'diff(y,x,1)+c*y,y,x),0);
741 [y = %k2*kummer_u(-(sqrt(-4*c+a^2-2*a+1)/2)-(a/2)+3/2,
742 1-sqrt(-4*c+a^2-2*a+1),-(b/x))
743 *x^(sqrt(-4*c+a^2-2*a+1)/2-(a/2)+1/2)*%e^(b/x)
744 +%k1*kummer_m(-(sqrt(-4*c+a^2-2*a+1)/2)-(a/2)+3/2,
745 1-sqrt(-4*c+a^2-2*a+1),-(b/x))
746 *x^(sqrt(-4*c+a^2-2*a+1)/2-(a/2)+1/2)*%e^(b/x)];
748 [method,ode_check(eqn,ans[1])];
752 (pn_(189),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+a*x*'diff(y,x,1)+(b*x^m+c)*y,y,x));
756 (pn_(190),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x^2*'diff(y,x,1)+(a*x+b)*y,y,x),0);
759 [y = %k2*kummer_u(sqrt(1-4*b)/2+a+1/2,sqrt(1-4*b)+1,-x)
760 *(-x)^(sqrt(1-4*b)/2+1/2)
761 +%k1*kummer_m(sqrt(1-4*b)/2+a+1/2,sqrt(1-4*b)+1,-x)
762 *(-x)^(sqrt(1-4*b)/2+1/2)];
764 [method, ode_check(eqn,ans[1])];
768 (pn_(191),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x^2*'diff(y,x,1)-2*y,y,x),0);
771 [y = bessel_y(-3/2,-%i*x/2)*%k2*sqrt(-x)*%e^-(x/2)
772 +bessel_j(-3/2,-%i*x/2)*%k1*sqrt(-x)*%e^-(x/2)];
774 [method, ode_check(eqn,ans[1])];
778 (pn_(192),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+(x^2-1)*'diff(y,x,1)-y,y,x));
779 [y = %k2*%e^-x*'integrate(%e^(x-1/x),x)+%k1*%e^-x];
780 [method, ode_check(eqn,ans[1])];
784 (pn_(193),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x*(x+1)*'diff(y,x,1)+(x-9)*y,y,x));
785 [y = kummer_u(-2,-5,-x)*%k2/x^3+kummer_m(-2,-5,-x)*%k1/x^3];
786 [method, ode_check(eqn,ans[1])];
790 (pn_(194),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x*(x+1)*'diff(y,x,1)+(3*x-1)*y,y,x));
791 [y = kummer_u(4,3,-x)*%k2*x+kummer_m(4,3,-x)*%k1*x];
792 [method, ode_check(eqn,ans[1])];
796 (pn_(195),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+x*(x+3)*'diff(y,x,1)-y,y,x));
797 [y = kummer_u(sqrt(2)-1,2*sqrt(2)+1,-x)*%k2*x^(sqrt(2)-1)
798 +kummer_m(sqrt(2)-1,2*sqrt(2)+1,-x)*%k1*x^(sqrt(2)-1)];
799 [method, ode_check(eqn,ans[1])];
804 (pn_(196),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-(x-1)*x*'diff(y,x,1)+(x-1)*y,y,x));
805 [y = gamma_incomplete(-2,-x)*%k2*x+%k1*x];
806 [method, ode_check(eqn,ans[1])];
810 (pn_(197),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-(x^2-2*x)*'diff(y,x,1)+(-x-a)*y,y,x),0);
813 [y = %k2*bessel_y(sqrt(4*a+1)/2,-%i*x/2)*sqrt(-x)*%e^(x/2)/x
814 +%k1*bessel_j(sqrt(4*a+1)/2,-%i*x/2)*sqrt(-x)*%e^(x/2)/x];
816 [method, ode_check(eqn,ans[1])];
820 (pn_(198),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-(x^2-2*x)*'diff(y,x,1)+(-3*x-2)*y,y,x));
821 [y = gamma_incomplete(-3,x)*%k2*x*%e^x+%k1*x*%e^x];
822 [method, ode_check(eqn,ans[1])];
826 (pn_(199),ans:contrib_ode(eqn:x^2*'diff(y,x,2)-x*(x+4)*'diff(y,x,1)+4*y,y,x));
827 [y = gamma_incomplete(-3,x)*%k2*x^4*%e^x+%k1*x^4*%e^x];
828 [method, ode_check(eqn,ans[1])];
832 (pn_(200),ans:contrib_ode(eqn:x^2*'diff(y,x,2)+2*x^2*'diff(y,x,1)-(v-1)*v*y,y,x),0);
835 [y = %k2*bessel_y(1/2-v,-%i*x)*sqrt(-x)*%e^-x
836 +%k1*bessel_j(1/2-v,-%i*x)*sqrt(-x)*%e^-x];
838 [method, ode_check(eqn,ans[1])];