using the series I calculated above (just take the derivative of y(x)) and obtained the system to solve for A and B:
Doing this, I obtain the particular solution:
I next ploted this particular solution and compared it against Mathematica's NDSolve for this initial-value problem. The superposition of both results are below; they are identical. This along with the results above, gives me confidence the series calculated are correct.
With [itex]y_1(x)[/itex] and [itex]y_2(x)[/tex] defined above.
This is interesting in that I can think of no other way of solving the non-homogeneous equation analytically for the general solution. The Laplace Transform in conjunction with the power-series approach are thus shown to be effective in accomplishing this task. Note that the general solution is not defined for x=0. I am thus further led to suspect that uniqueness is lost at any point where the general solution ceases to exist.
then there exists an interval [itex]|x-x_0|\leq h[/itex] AND a unique function [itex]\phi(x)[/itex] such that [itex]\phi(x)[/itex] is a solution of the differential equation for all x in the interval [itex]|x-x_0|\leq h[/itex] such that:
Obviously f and the partials aren't continuous at t=0 and is consistent with Arildno's analysis above.
However, that's not good enough. The theorem makes no mention of "if and only if". Are there some equations with discontinuities which still allow unique solutions? I really need to determine for myself at what specific point in the proof does the absence of continuity affects uniqueness. I'll first work on it myself and if I have problems, E.L. Ince, "Ordinary Differential Equations" has a complete proof. Or I can ask you guys.
I did, however say, that the non-existence of the partial derivative MIGHT indicate the lack of uniqueness..
I do not know the precise necessary and sufficient conditions for uniqueness, I'm only familiar (or rather, was, several years ago) with one particular uniqueness proof (in Marsden's "Real Analysis") which did rely upon the existence of the partial derivative.