I was wondering if there is a generalization of the following (roughly stated) theorem to n-dimensional systems:(adsbygoogle = window.adsbygoogle || []).push({});

Given some restrictions on the functions [itex]f[/itex] and [itex]g \in \Re[/itex], let [itex]y_s(t)[/itex] and [itex]x_s(t) \in \Re[/itex] be solutions to the initial value problems:

[tex]

\dot{x}(t) = f(x,t), x(t_0) = x_0\\

\dot{y}(t) = g(x,t), y(t_0) = y_0

[/tex]

Then if [itex]f(x,t) > g(x,t)[/itex] in some domain [itex]D[/itex] containing [itex]x_0[/itex] and [itex]y_0[/itex] and [itex]x_0 \geq y_0[/itex], [itex]x_s(t) > y_s(t) \forall t > t_0[/itex] when the trajectories stay in this domain [itex]D[/itex].

This is a rough statement of the theorem, but I was wondering: is there an analogous statement for n-dimensional systems? For instance, is the following true?

Given some restrictions on the functions [itex]f[/itex] and [itex]g \in \Re^n[/itex], let [itex]x_s(t)[/itex] and [itex]y_{s}(t) \in \Re^n[/itex] be solutions to the initial value problems:

[tex]

\dot{x}(t) = f(x,t), x(t_0) = x_0\\

\dot{y}_{1}(t) = g(x,t), y(t_0) = y_{0}

[/tex]

Then if [itex]f(x,t)[/itex] is in the convex hull of [itex]g(x,t)[/itex] in some domain [itex]D[/itex] containing [itex]x_0[/itex] and [itex]y_0[/itex] and [itex]x_0[/itex] is in the convex hull of [itex]y_0[/itex], [itex]x_s(t)[/itex] is in the convex hull of [itex]y_s(t) \forall t > t_0[/itex] when the trajectories stay in this domain [itex]D[/itex].

This result seems like it should be true, intuitively, but I'm having trouble finding a formal statement of it.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Generalization of Comparison Theorem

Loading...

Similar Threads for Generalization Comparison Theorem |
---|

A Spectral Theorem to Convert PDE into ODE |

A Intermediate Axis Theorem - Lyapunov's Indirect Method |

**Physics Forums | Science Articles, Homework Help, Discussion**