Condition on vector field to be a diffeomorphism.

Click For Summary

Discussion Overview

The discussion revolves around identifying conditions under which a vector field \( V(x) \) on a manifold, specifically \( \mathbb{R}^2 \), ensures that the function \( x^\mu \rightarrow x^\mu + V^\mu(x) \) is a diffeomorphism. Participants explore various approaches, including the flow and integral curves related to ordinary differential equations (ODEs), while seeking a generic condition to prevent the mapping from sending two points to the same coordinate.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • Clément initiates the discussion by seeking a condition on the vector field \( V(x) \) for the mapping to be a diffeomorphism, mentioning the relevance of flow and integral curves.
  • One participant suggests that if \( \sup_{x\in\mathbb{R}^2}\Big\|\frac{\partial V}{\partial x}\Big\| \) is sufficiently small, then the mapping could be a diffeomorphism, and mentions that monotonicity assumptions might also be beneficial.
  • Clément responds by noting that monotonicity applies only in one dimension and expresses interest in the problem, indicating that it may have been treated multiple times.
  • Another participant points out that while monotonicity is limited to one dimension, there exists a multidimensional version of monotonicity.

Areas of Agreement / Disagreement

Participants express differing views on the applicability of monotonicity in higher dimensions, with some suggesting it may not be sufficient while others indicate that a multidimensional version exists. The discussion remains unresolved regarding the best conditions for ensuring the mapping is a diffeomorphism.

Contextual Notes

There are limitations regarding the assumptions made about the vector field and the conditions necessary for the mapping to be a diffeomorphism. The discussion highlights the dependence on definitions and the potential non-local nature of certain conditions.

kroni
Messages
79
Reaction score
10
Hi everybody,

Let V(x) a vector field on a manifold (R^2 in my case), i am looking for a condition on V(x) for which the function x^µ \rightarrow x^µ + V^µ(x) is a diffeomorphism. I read some document speaking about the flow, integral curve for ODE solving but i fail to find a generic condition to avoid V to send two point on the same coordinate. I think about the generator of the diffeomorphism group but it's only defined infinitesimaly.

Thanks

Clément
 
Physics news on Phys.org
there are a lot of possible approaches to sufficient conditions. For example, if ##\sup_{x\in\mathbb{R}^2}\Big\|\frac{\partial V}{\partial x}\Big\|## is small enough then it is a diffeomorphism. monotonicity assumption can also help. Perhaps the book Topics in Nonlinear Functional Analysis by L Nirenberg would be of use
 
Monotonicity work only in 1D,
\sup_{x\in\mathbb{R}^2}\Big\|\frac{\partial V}{\partial x}\Big\|[\itex] is non local.<br /> I will look in the book you advise. I find this problem really interesting, may be treated and treated again, but interesting<br /> <br /> Thanks for your answer.<br /> <br /> Clément
 
kroni said:
Monotonicity work only in 1D,
there is multidimensional version of monotonicity, by the way:)
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 73 ·
3
Replies
73
Views
8K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 30 ·
2
Replies
30
Views
3K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 1 ·
Replies
1
Views
3K