- Initial value problem
In
mathematics , in the field ofdifferential equation s, an initial value problem is anordinary differential equation together with specified value, called the initial condition, of the unknown function at a given point in the domain of the solution. Inphysics or other sciences, modeling a system frequently amounts to solving an initial value problem; in this context, the differential equation is an evolution equation specifying how, given initial conditions, the system will evolve with time.Definition
An initial value problem is a differential equation:together with a point in the domain of "f":called the initial condition.
A solution to an initial value problem is a function "y" that is a solution to the differential equation and satisfies:
This statement subsumes problems of higher order, by interpreting "y" as a vector.For
derivative s of second or higher order, new variables (elements of the vector "y") are introduced.More generally, the unknown function "y" can take values on infinite dimensional spaces, such as
Banach space s or spaces of distributions.Existence and uniqueness of solutions
For a large class of initial value problems, the existence and uniqueness of a solution can be demonstrated.
The
Picard-Lindelöf theorem guarantees a unique solution on some interval containing "t"0 if "f" and itspartial derivative are continuous on a region containing "t"0 and "y"0. The proof of this theorem proceeds by reformulating the problem as an equivalentintegral equation . The integral can be considered an operator which maps one function into another, such that the solution is afixed point of the operator. TheBanach 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 anecessary and sufficient condition for the solution of an initial value problem to be unique. This condition has to do with the existence of aLyapunov function for the system.In some situations, the function "f" is not of class "C"1, 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 "f" 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).Example
The general solution of
can be found to be
Indeed,:
ee also
*
Boundary value problem
*Constant of integration
*Integral curve References
*
*
*
*
*External links
* [http://www.diptem.unige.it/patrone/differential_equations_intro.htm Introduction to modeling via differential equations] Introduction to modeling by means of differential equations, with critical remarks and special emphasis on the role of initial conditions.
Wikimedia Foundation. 2010.