The Wronskian is defined by
for given functions and .
Let and be two solutions of the second-order linear differential equation
such that is not constant.
- Let be any solution of the given differential equation. Use the properties of the Wronskian proved in the previous two exercises (here and here) to prove that there exist constants and such that
- Prove that every solution of the differential equation has the form .
- Proof. By the previous exercise, since is not constant we know . So we may define,
This implies
and
- Proof. Let be the Wronskian of and . If is any solution then the Wronskian of any pair of is a solution of . Hence,
This implies,
and
Since is constant we know for any . Hence, . Therefore, by part (a),
Okay, one final attempt (sorry for all the posts). We started out needing to prove the existence of constants so that two solutions to a diff equation, of which the ratio is not constant, are in fact the basis for all solutions. These constants give us an equality at f(0). (I can’t explain why Apostol had us also find f'(0)). Then, using the properties of the Wronskian we find the existence of constants for arbitrary x, plug these into the equation in part a) for f and find a characterization for all solutions. I hope I haven’t missed something because then I would need to leave another post..
In the first part of the problem, what Apostol wanted was to solve the system of equations algebraically. It’s quite a bit of symbolic manipulation, but you don’t necessarily need any techniques from linear algebra here. Hence the reason for the two systems (one for f and one for f’), you solve for c1 in the first equation in terms of c2, plug it into the second, solve for c2, and then take c2 and plug it back into the equation for c1. It’s just an extension of the initial value problems that we would do earlier in the chapter. The constants c1 and c2 don’t change with x, the values f(0) and f'(0) were probably chosen for simplicity. It just as easily could have been f(a) and f'(a), where a is some arbitrary point on the interval we’re working with.
You had it right when you said that the Wronskian of v1 and v2 is not 0 since v2/v1 is not constant (the solution of a previous exercise), which is why constants c1 and c2 exist, since f, f’, v1, v1′, v2, and v2′ are all assumed to be continuous and differentiable on the interval of choice (i.e., c1 and c2 exist since there exist values for f(0), f'(0), v1(0), v1′(0), v2(0), and v2′(0), and that the denominator is never zero)
As for the second part of the problem, I did it a different (possibly wrong) way, as follows
And since y, v_1 and v_2 all satisfy the equation
Could be wrong, but there it is.
Some more thoughts: The problem asks to prove f(0) and f'(0) are equal to the corresponding values at zero of a linearly independent combination of solutions. Since f is a solution of y” + by = 0, it seems the problem then becomes only to prove the basis is also a solution of y” + by = 0. So the fact that we are asked to find f'(0) seems to be relevant yet your solution doesn’t seem to require that information. Also, since W(x) is guaranteed to not be zero, could we have not skipped part a) altogether and just found the constants with W(x) instead of W(0)? I have only briefly looked at linear algebra so I can wait for those studies to get a better proof of these matters, or perhaps Apostol will give me some clues in the next chapter. But I would very much appreciate it if you could elucidate the strategy you took; ie how the basis is proven to be a solution.
Correction: y = e^(-ax/2)*u, where u is a solution of y” + by = 0. And so the purpose of calculating y'(0) in part a) is even more confusing now.
Might need a hint for the general part where you stated ‘Therefore, by part (a),’. It appears you equated the constants c1 & c2, which use values at zero, with similar versions of themselves but with arbitrary x’s, ie W(x) in the denominator rather than W(0). Is this the crux of the proof?