Chaplygin's Theorem

In mathematical theory of differential equations the Chaplygin's theorem (Chaplygin's method) states about existence and uniqueness of the solution to an initial value problem for the first order explicit ordinary differential equation. This theorem was stated by Sergey Chaplygin. It is one of many comparison theorems.

Important definitions

Consider an initial value problem: differential equation

$y'\left ( t \right ) = f\left ( t, y\left ( t \right ) \right )$ in t \in \left t_0; \alpha \right /math>, $\alpha > t_$

with an initial condition

$y\left ( t_ \right ) = y_$.

For the initial value problem described above the upper boundary solution and the lower boundary solution are the functions $\overline\left ( t \right )$ and $\underline\left ( t \right )$ respectively, both of which are smooth in $t \in \left ( t_0; \alpha \right ]$ and Continuous function, continuous in t \in \left t_0; \alpha \right /math>, such as the following inequalities are true:

# $\underline\left ( t_0 \right ) < y\left ( t_0 \right ) < \overline\left ( t_0 \right )$;
# $\underline'\left ( t \right ) < f(t, \underline\left ( t \right ))$ and $\overline\ '\left ( t \right ) > f(t, \overline\left ( t \right ))$ for $t \in \left ( t_0; \alpha \right ]$.

Statement

Source:

Given the aforementioned initial value problem and respective upper boundary solution $\overline\left ( t \right )$ and lower boundary solution $\underline\left ( t \right )$ for t \in \left t_0; \alpha \right /math>. If the right part $f\left ( t, y\left ( t \right ) \right )$

# is continuous in t \in \left t_; \alpha \right /math>, y\left ( t \right ) \in \left \underline \left ( t \right ); \overline\left ( t \right ) \right ;
# satisfies the Lipschitz condition over variable $y$ between functions $\overline\left ( t \right )$ and $\underline\left ( t \right )$: there exists constant $K > 0$ such as for every t \in \left t_; \alpha \right /math>, y_1 \left ( t \right ) \in \left \underline \left ( t \right ); \overline\left ( t \right ) \right , y_2 \left ( t \right ) \in \left \underline \left ( t \right ); \overline\left ( t \right ) \right the inequality
$\left \vert f\left ( t, y_\left ( t \right ) \right ) - f\left ( t, y_\left ( t \right ) \right ) \right \vert \le K \left \vert y_\left ( t \right ) - y_\left ( t \right ) \right \vert$ holds,

then in t \in \left t_0; \alpha \right /math> there exists one and only one solution $y\left ( t \right )$ for the given initial value problem and moreover for all t \in \left t_0; \alpha \right /math>

$\underline\left ( t \right ) < y\left ( t \right ) < \overline\left ( t \right )$.

Remarks

Source:

Weakening inequalities

Inside inequalities within both of definitions of the upper boundary solution and the lower boundary solution signs of inequalities (all at once) can be altered to unstrict. As a result, inequalities sings at Chaplygin's theorem concusion would change to unstrict by $\overline\left ( t \right )$ and $\underline\left ( t \right )$ respectively. In particular, any of $\overline\left ( t \right ) = y\left( t \right)$, $\underline\left ( t \right ) = y\left( t \right)$ could be chosen.

Proving inequality only

If $y\left ( t \right )$ is already known to be an existent solution for the initial value problem in t \in \left t_0; \alpha \right /math>, the Lipschitz condition requirement can be omitted entirely for proving the resulting inequality. There exists applications for this method while researching whether the solution is stable or not ( pp. 7–9). This is often called "Differential inequality method" in literature and, for example, Grönwall's inequality can be proven using this technique.

Continuation of the solution towards positive infinity

Chaplygin's theorem answers the question about existence and uniqueness of the solution in t \in \left t_0; \alpha \right /math> and the constant $K$ from the Lipschitz condition is, generally speaking, dependent on $\alpha$: $K = K\left ( \alpha \right )$. If for $t \in \left [ t_0; +\infty \right )$ both functions $\overline\left ( t \right )$ and $\underline\left ( t \right )$ retain their smoothness and for $\alpha \in \left ( t_0; +\infty \right )$ a set $\left\$ is bounded, the theorem holds for all $t \in \left [ t_0; +\infty \right )$.

References

Further reading

* {{Cite journal , last=Komlenko , first=Yuriy , date=1967-09-01 , title=Chaplygin's theorem for a second-order linear differential equation with lagging argument , url=https://link.springer.com/article/10.1007/BF01094057 , journal=Mathematical Notes of the Academy of Sciences of the USSR , language=en , volume=2 , issue=3 , pages=666–669 , doi=10.1007/BF01094057 , issn=1573-8876, url-access=subscription

Theorems in mathematical analysis
Ordinary differential equations
Uniqueness theorems