In mathematics, in the field of differential equations, an initial value problem (also called the Cauchy problem by some authors) is an ordinary differential equation together with a specified value, called the initial condition, of the unknown function at a given point in the domain of the solution. In physics 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.
Contents

Definition 1

Existence and uniqueness of solutions 2

Examples 3

See also 4

References 5
Definition
An initial value problem is a differential equation

y'(t) = f(t, y(t)) with f\colon \Omega \subset \mathbb{R} \times \mathbb{R}^n \to \mathbb{R}^n where \Omega is an open set of \mathbb{R} \times \mathbb{R}^n,
together with a point in the domain of f

(t_0, y_0) \in \Omega,
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

y(t_0) = y_0.
In higher dimensions, the differential equation is replaced with a family of equations y_i'(t)=f_i(t, y_1(t), y_2(t), \dotsc), and y(t) is viewed as the vector (y_1(t), \dotsc, y_n(t)). More generally, the unknown function y can take values on infinite dimensional spaces, such as Banach spaces or spaces of distributions.
Initial value problems are extended to higher orders by treating the derivatives in the same way as an independent function, e.g. y''(t)=f(t,y(t),y'(t)).
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 t_{0} if ƒ is continuous on a region containing t_{0} and y_{0} and satisfies 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 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 ƒ 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 ƒ.
Examples
A simple example is to solve y' = 0.85 y and y(0) = 19. We are trying to find a formula for y(t) that satisfies these two equations.
Start by noting that y' = \frac{dy}{dt}, so

\frac{dy}{dt} = 0.85 y
Now rearrange the equation so that y is on the left and t on the right

\frac{dy}{y} = 0.85dt
Now integrate both sides (this introduces an unknown constant B).

\ln  y  = 0.85t + B
Eliminate the \ln

 y  = e^Be^{0.85t}
Let C be a new unknown constant, C = \pm e^B, so

y = Ce^{0.85t}
Now we need to find a value for C. Use y(0) = 19 as given at the start and substitute 0 for t and 19 for y

19 = C e^{0.85 * 0}

C = 19
this gives the final solution of y(t) = 19e^{0.85t}.

Second example
The solution of

y'+3y=6t+5,\qquad y(0)=3
can be found to be

y(t)=2e^{3t}+2t+1. \,
Indeed,

\begin{align} y'+3y &= \tfrac{d}{dt} (2e^{3t}+2t+1)+3(2e^{3t}+2t+1) \\ &= (6e^{3t}+2)+(6e^{3t}+6t+3) \\ &= 6t+5. \end{align}
See also
References

Coddington, Earl A. and Levinson, Norman (1955). Theory of ordinary differential equations. New YorkTorontoLondon: McGrawHill Book Company, Inc.


Okamura, Hirosi (1942). "Condition nécessaire et suffisante remplie par les équations différentielles ordinaires sans points de Peano". Mem. Coll. Sci. Univ. Kyoto Ser. A. (in French) 24: 21–28.

Agarwal, Ravi P. and Lakshmikantham, V. (1993). Uniqueness and Nonuniqueness Criteria for Ordinary Differential Equations. Series in real analysis 6. World Scientific.

Polyanin, Andrei D. and Zaitsev, Valentin F. (2003). Handbook of exact solutions for ordinary differential equations (2nd ed.). Boca Raton, FL: Chapman & Hall/CRC.

Robinson, James C. (2001). Infinitedimensional dynamical systems: An introduction to dissipative parabolic PDEs and the theory of global attractors. Cambridge: Cambridge University Press.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.