# Existence of Solution to System of First Order ODEs

Jump to navigation
Jump to search

## Theorem

Consider the system of initial value problems:

- $\begin{cases} \dfrac {\d y} {\d x} = \map f {x, y, z} & : \map y {x_0} = y_0 \\ & \\ \dfrac {\d z} {\d x} = \map g {x, y, z} & : \map z {x_0} = z_0 \\ \end{cases}$

where $\map f {x, y, z}$ and $\map g {x, y, z}$ are continuous real functions in some region of space $x y z$ that contains the point $\tuple {x_0, y_0, z_0}$.

Then this system of equations has a unique solution which exists on some interval $\size {x - x_0} \le h$.

## Proof

This theorem requires a proof.In particular: Needs more work so as to state the problem more precisely.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |