Proof of Nagumo's Theorem of invariance Given a continuous

Roy Roth

Roy Roth

Answered question

2022-03-30

Proof of Nagumo's Theorem of invariance
Given a continuous system x(t)=p(x(t)),t0 on Rn with initial data x(0)Rn and assuming that solutions exist and are unique in Rn, let SRn be a closed set. Then, S is positively invariant under the flow of the system x(t)S for all t0) if and only if p(x)Kx(S) for xS (the boundary of S) where Kx(S) is the set of all sub-tangential vectors to S at x, i.e.,
Kx(S)={zRn:limh0dd(x+hp(x);S)=0h},
where d(w;S) is the distance from the vector w to the subset S.

Answer & Explanation

Brennan Thompson

Brennan Thompson

Beginner2022-03-31Added 10 answers

Step 1
Here I have a proof for ** the necessary condition** which is more easier. That is, let xS, if we assume that the system x(t)=p(x(t)),;t0 with initial data x(0)=x has a unique solution such that
x(t)S  for all  t0.
Step 2
We prove that p(x)Kx(S). So, if x(0)(S), it is clear that Kx(S)=Rn (to prove that) so it is trivial. But, if x(0)S, then for h>0, we have
h1d(x(0)+hp(x(0));S)h1(x(0)+hp(x(0))x(h).
The right hand side of the last inequality goes to zero as h goes to zero, since x(0)=p(x(0)) and x(h)S by assumption.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?