Arnold ODEs, definitions

In summary, the conversation discusses the definition of an integral curve, which can either be defined as the graph of a motion or the graph of a solution to a differential equation. The extended phase space is defined as a strip in the direct product of the t-axis and x-axis, rather than a rectangle. The Wikipedia article on dynamical systems suggests that the domain of the evolution function may not be equal to the extended phase space, and Arnold's definition takes this into account by using a subset. The concept of a one-parameter group is also discussed, and it is noted that Arnold's definition may differ from other sources. The conversation also touches on the topic of when a solution to a differential equation is defined for all "time", and sections
  • #1
I'm reading Arnold: Ordinary Differential Equations, Chapter 1. In section 1.2, an integral curve was defined as the graph, in the extended phase space, [itex]\mathbb{R} \times M[/itex], of the motion [itex]\phi : \mathbb{R} \rightarrow M[/itex] of a phase point in M. In 2.2, an integral curve is defined as the graph of a solution, [itex]\phi : I \rightarrow U[/itex], to a differential equation [itex]\dot{x} = \mathbf{v}(x)[/itex], where I and U are open intervals.

Now the extended phase space is said to be "a strip [itex]\mathbb{R} \times U[/itex] in the direct product of the t-axis and the x-axis". Why is it not a rectangle [itex]I \times U[/itex]? What if [itex]I \neq \mathbb{R}[/itex]?

I see the Wikipedia article Dynamical systems, in defining a dynamical system in general, makes the domain of the evolution function a subset of what Arnold calls the "extended phase space", and suggests that I(x) is not necessarily equal to T (in the notation of this page). Is I(x) always equal to T = R for a real dynamical system, a.k.a. flow? And is that why Arnold's extended phase space has to be [itex]\mathbb{R} \times U[/itex] rather than IxU?

Is "the integral curve of a differential equation" (being the graph of a solution) not necessarily defined for all of the extended phase space of the equation, and therefore not an integral curve in the sense of Arnold Ch. 1, section 1.2?
Physics news on
  • #2
you have identified a crucial property in differential equations, namely when is the solution defined for all "time"? I agree with your reading that arnol'd has designated the words "phase space", or "one parameter group" for the case where the solution IS defined for all real numbers. Check out sections 3.5 and 3.6 of chapter 1, where he discusses when this may not happen. as i recall it holds when the manifold is compact, and maybe the equation is linear?? I am not an expert, but it is usual for different authors to make their own conventions as to the use of language. Whatever they call it, it is important to know when the solution is defined for all t.
  • #3
Thanks for the pointer, mathwonk. In sections 3.4 and 3.5, he says that not every differential equation on the line has an associated one-parameter group (=phase flow). In 3.6, he says the reason there is no phase flow in the case of the example in 3.5 is that the t-advance mappings gt are not defined for all x, that is, I think, the domain is not the whole of R for all (any?) of them. And yes, he says in 3.6, that "every differentiable velocity field on a compact manifold is the phase velocity field of a one-parameter group of diffeomorphisms. The example he gave in 3.5 was nonlinear in x. 3.3 talks about linearity--but I'll hold off paraphrasing for now till I've got some of these definitions straight in my head.

A couple of incidental ponderings on glancing ahead to section 3:

In section 3, "the phase flow associated with a differential equation" is the family (i.e. set?) of mappings {gt : t is in R} : M --> M, where M is a set called the phase space. In section 1, a phase flow was a tuple (M,{gt : t is in R}). I thought when I read section 1 that this definition seemed a bit superfluous, since M is already part of the definition of each gt. Maybe this is why the M has been dropped in section 3.

Wikipedia defines a "one-parameter group" as a continuous group homomorphism from R (with addition) to G, where G is the underlying set of another topological group. It says that a "one-parameter group", so defined, is not a group. But Arnold's one-parameter group maps a set (the phase space) to itself, and composition follows the same rules as addition of real numbers, which makes me think that Arnold's one-paramater group is indeed a group.

Suggested for: Arnold ODEs, definitions