As we had seen, there are no methods to solve a general equation of the form
The answers to the above two questions are not simple. But there are partial answers if some additional restrictions on the function are imposed. The details are discussed in this section.
For with we define
Further, we assume that and are finite. Let
Such an exists since is a closed and bounded set and is a continuous function and let The ensuing proposition is simple and hence the proof is omitted.
In the absence of any knowledge of a solution of IVP (7.6.2), we now try to find an approximate solution. Any solution of the IVP (7.6.2) must satisfy the initial condition Hence, as a crude approximation to the solution of IVP (7.6.2), we define
Now the Equation (7.6.3) appearing in Proposition 7.6.2, helps us to refine or improve the approximate solution with a hope of getting a better approximate solution. We define
and for we inductively define
As yet we have not checked a few things, like whether the point or not. We formalise the theory in the latter part of this section. To get ourselves motivated, let us apply the above method to the following IVP.
We have and
So,
By induction, one can easily verify that
Note: The solution of the given IVP is
This example justifies the use of the word approximate solution for the 's.
We now formalise the above procedure.
Then are called Picard's successive approximations to the IVP (7.6.2).
Whether (7.6.4) is well defined or not is settled in the following proposition.
So, whenever
The rest of the proof is by the method of induction. We have established the result for namely
Assume that for whenever Now, by definition of we have
But then by induction hypotheses and hence
This shows that whenever Hence for holds and therefore the proof of the proposition is complete. height6pt width 6pt depth 0pt
Let us again come back to Example 7.6.3 in the light of Proposition 7.6.2.
By Proposition 7.6.2, on this set
Therefore, the approximate solutions 's are defined only for the interval if we use Proposition 7.6.2.
Observe that the exact solution and the approximate solutions 's of Example 7.6.3 exist on But the approximate solutions as seen above are defined in the interval
That is, for any IVP, the approximate solutions 's may exist on a larger interval as compared to the interval obtained by the application of the Proposition 7.6.2.
We now consider another example.
A similar argument implies that for all and Also, it can be easily verified that is a solution of the IVP (7.6.6).
Also is a solution of (7.6.6) and the 's do not converge to Note here that the IVP (7.6.6) has at least two solutions.
The following result is about the existence of a unique solution to a class of IVPs. We state the theorem without proof.
Let Then the sequence of successive approximations (defined by (7.6.4)) for the IVP (7.6.2) uniformly converges on to a solution of IVP (7.6.2). Moreover the solution to IVP (7.6.2) is unique.
Whenever we talk of the Picard's theorem, we mean it in this local sense.
is
has solutions as well as Why does the existence of the two solutions not contradict the Picard's theorem?
for any