Consider the following differential equations with initial conditions at time $t_0$ specified:(adsbygoogle = window.adsbygoogle || []).push({});

[tex]\dot{x}_1 = f_1(x_1,t) ; \,\,\,x_1: [t_0,T]\to\mathbb{R}^n, f_1:\mathbb{R}^n\times[t_0,T]\to\mathbb{R}^n \\ \vdots \\[/tex]

[tex]\dot{x}_k = f_k(x_k,t); \,\,\,x_1: [t_0,T]\to\mathbb{R}^n, f_1:\mathbb{R}^n\times[t_0,T]\to\mathbb{R}^n \\[/tex]

Let [itex]C(p,t)[/itex] denote the convex hull of [itex]\{f_1(p,t), f_2(p,t),...,f_k(p,t) \}[/itex], where [itex]p\in\mathbb{R}^n,t\in[t_0,T] [/itex]

Let [itex]C_t(t)[/itex] denote the convex hull of trajectories, that is, the convex hull of [itex]\{x_1(t),...x_k(t)\} [/itex]

Then every solution [itex]z(t)[/itex] to the differential inclusion:

[tex]\dot{y}(t) \in C(y,t); \,\,\, y: [t_0,T]\to\mathbb{R}^n[/tex]

satisfies the following property: If [itex]z(t_0)\in C_t(t_0)$, then $z(t)\in C_t(t)\forall t \in[t_0,T][/itex]

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

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

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

# How can I prove this theorem on differential inclusions?

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - prove theorem differential | Date |
---|---|

I Proving Hermite polynomials satisfy Hermite's equation | Nov 6, 2016 |

I I can't understand the fact | Jun 17, 2016 |

Prove cos^2(x)+sin^2(x)=1 using IVP's | Apr 14, 2015 |

Picards Existence and Uniqueness theorem doesn't prove anything | Jun 20, 2011 |

How do i prove this theorem? | Mar 30, 2008 |

**Physics Forums - The Fusion of Science and Community**