Generalization of Comparison Theorem

  • Context: Graduate 
  • Thread starter Thread starter Only a Mirage
  • Start date Start date
  • Tags Tags
    Comparison Theorem
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 3K views
Only a Mirage
Messages
57
Reaction score
0
I was wondering if there is a generalization of the following (roughly stated) theorem to n-dimensional systems:

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\\<br /> \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\\<br /> \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.
 
Last edited:
Physics news on Phys.org
Sorry -- I was a little hasty in writing this and meant to say the functions [itex]f[/itex] and [itex]g[/itex] map [itex]\Re^2[/itex] to [itex]\Re[/itex], or, in the second possible theorem, map [itex]\Re^{n+1}[/itex] to [itex]\Re^n[/itex].