MHB How Do I Interpret This Proposition on Differential Equations and Invertibility?

  • Thread starter Thread starter kalish1
  • Start date Start date
Click For Summary
The proposition discusses the invertibility of the function B, defined as an integral involving a solution γ of a differential equation. It states that if γ is a solution with a specific initial condition, then B is invertible on its range, leading to an inverse function ρ. The relationship between the derivatives of these functions is established, indicating that the time scale of the original ODE can be changed without altering the geometric properties of the trajectories. The discussion emphasizes that the derivative of the composition of γ and ρ can be manipulated, allowing for flexibility in the parametrization. Overall, the proposition illustrates the application of the inverse function theorem in the context of differential equations.
kalish1
Messages
79
Reaction score
0
Could someone help me interpret the following proposition? I've been struggling to comprehend it. Thanks in advance.

Proposition: If $J \subset \mathbb{R}$ is an open interval containing the origin and $\gamma:J \rightarrow \mathbb{R^n}$ is a solution of the differential equation $\dot{x}=f(x)$ with $\gamma(0) = x_0 \in U$, then the function $B:J \rightarrow \mathbb{R}$ given by $$B(t) = \int_0^t\frac{1}{g(\gamma(s))}ds$$ is invertible on its range $K \subseteq \mathbb{R}$. If $\rho:K \rightarrow J$ is the inverse of $B$, then the identity $$\rho'(t) = g(\gamma(\rho(t)))$$ holds for all $t\in K$, and the function $\sigma:K \rightarrow \mathbb{R^n}$ given by $\sigma(t) = \gamma(\rho(t))$ is the solution of the differential equation $\dot{x}=g(x)f(x)$ with initial condition $\sigma(0) = x_0$.

I have crossposted this on: differential equations - Interpreting a proposition - Mathematics Stack Exchange
 
Physics news on Phys.org
And you received an answer on SE:
This is about changing the time scale of the ODE. The trajectories as geometric objects stay the same, only the parametrization changes. That is, if ##γ(t)## is a solution of the ODE, then ##γ(ρ(s))## reaches the same points provided that ##ρ## is bijective.

Assuming that the parametrization is differentiable, the derivative of the composition is ##\frac d{ds}γ(ρ(s))=γ'(ρ(s))ρ'(s)##, and one can prescribe any rule to ##ρ'(s)##, for instance ##ρ'(s)=g(γ(ρ(s)))##.

The statement involving ##B## is then an application of the inverse function theorem, if ##B(ρ(s))=s##, then ##1=B'(ρ(s))ρ'(s)=B'(ρ(s))g(γ(ρ(s)))##, and with ##t=ρ(s)##, ##1=B'(t)g(γ(t))##.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
8
Views
4K
Replies
1
Views
2K
  • · Replies 65 ·
3
Replies
65
Views
7K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K