Existence and Uniqueness of Solutions
For a large class of initial value problems, the existence and uniqueness of a solution can be illustrated through the use of a calculator.
The Picard–Lindelöf theorem guarantees a unique solution on some interval containing t0 if ƒ is continuous on a region containing t0 and y0 and satifies the Lipschitz condition on the variable y. The proof of this theorem proceeds by reformulating the problem as an equivalent integral equation. The integral can be considered an operator which maps one function into another, such that the solution is a fixed point of the operator. The Banach fixed point theorem is then invoked to show that there exists a unique fixed point, which is the solution of the initial value problem.
An older proof of the Picard–Lindelöf theorem constructs a sequence of functions which converge to the solution of the integral equation, and thus, the solution of the initial value problem. Such a construction is sometimes called "Picard's method" or "the method of successive approximations". This version is essentially a special case of the Banach fixed point theorem.
Hiroshi Okamura obtained a necessary and sufficient condition for the solution of an initial value problem to be unique. This condition has to do with the existence of a Lyapunov function for the system.
In some situations, the function ƒ is not of class C1, or even Lipschitz, so the usual result guaranteeing the local existence of a unique solution does not apply. The Peano existence theorem however proves that even for ƒ merely continuous, solutions are guaranteed to exist locally in time; the problem is that there is no guarantee of uniqueness. The result may be found in Coddington & Levinson (1955, Theorem 1.3) or Robinson (2001, Theorem 2.6). An even more general result is the Carathéodory existence theorem, which proves existence for some discontinuous functions ƒ.
Read more about this topic: Initial Value Problem
Famous quotes containing the words existence, uniqueness and/or solutions:
“No other group in America has so had their identity socialized out of existence as have black women.... When black people are talked about the focus tends to be on black men; and when women are talked about the focus tends to be on white women.”
—bell hooks (b. c. 1955)
“Somehow we have been taught to believe that the experiences of girls and women are not important in the study and understanding of human behavior. If we know men, then we know all of humankind. These prevalent cultural attitudes totally deny the uniqueness of the female experience, limiting the development of girls and women and depriving a needy world of the gifts, talents, and resources our daughters have to offer.”
—Jeanne Elium (20th century)
“Football strategy does not originate in a scrimmage: it is useless to expect solutions in a political compaign.”
—Walter Lippmann (18891974)