Questions tagged [hamiltonian-mechanics]
The hamiltonian-mechanics tag has no usage guidance.
103 questions
0
votes
0
answers
110
views
Substitution of the old variable to a generating function
Assume that we have one of the 4 types of generating functions (say F(p, Q)) which defines a symplectomorphism $T$:
$(P,Q) = (u(p,q), v(p,q))$. Now we can make a substitution and get a function $G(p,q)...
- 728
1
vote
0
answers
77
views
Projecting phase space Liouville tori to configuration space in integrable systems
My question concerns whether or not the topology of a trajectory in the configuration space of an integrable system, or rather the area of configuration space accessible by trajectories can be ...
- 11
3
votes
0
answers
137
views
When the integrable system defines a moment map?
Assume $\mathcal{M}$ is a compact symplectic $2n$-dimensional manifold with a Hamiltonian action of the torus $\mathbb{T}^n$. Given a family of functions $F=(f_1,\ldots,f_n)$ defining an integrable ...
4
votes
2
answers
323
views
Generating function for composition of symplectomorphisms
Given two symplectomorphisms $T_1: (q_1, p_1):\longrightarrow (q_2, p_2)$ and
$T_2: (q_2, p_2):\longrightarrow (q_3, p_3)$ and corresponding generating functions $F_1(q_1, q_2)$ and $F_2(q_2, q_3)$, ...
- 728
1
vote
0
answers
79
views
Liouville-Arnold and fibration relative to a convex polytope
Liouville-Arnold's theorem indicates that given a Hamiltonian torus action on a manifold and a set of $n$ functions $F$ from the manifold to $\mathbb{R}^n$ defining an integrable system, the pre image ...
1
vote
0
answers
44
views
When lagrangian fibrations are equivalent?
Given a $2n$-dimensional symplectic manifold $\mathcal{M}$ and two different lagrangian fibrations $\pi_1:\mathcal{M}\rightarrow \Gamma_1$ and $\pi_2:\mathcal{M}\rightarrow \Gamma_2$, with $\Gamma_1, \...
1
vote
0
answers
108
views
Stability of rigid bodies spinning around $z$-axis under gravity
Consider the problem of a rigid body rotating in 3D space under gravity with one point fixed. I am particularly curious about the equilibrium state where the body is spinning at a constant angular ...
- 807
0
votes
1
answer
264
views
How to express the Euler-Lagrange equation in arbitrary coordinates where $\omega \neq \sum dp_i \wedge dq_i$
I posted my questions in a previous post MO, but it seems that a more refined version for question on the Euler-Lagrange equation is needed. So, I post my question again.
In standard symplectic ...
- 3,487
0
votes
1
answer
160
views
How does the symplectic form $\omega$ manifests itself in the Euler-Lagrange equation? + Extreme confusion with time
Let $\omega$ be a symplectic manifold on $\mathbb{R}^n$ and the smooth function $H : \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ be a Hamiltonian. For $p,q \in \mathbb{R}^n$ let us assume that
\...
- 3,487
2
votes
0
answers
153
views
Spectrum of an almost Hamiltonian matrix
I have a complex-valued block matrix $N=\begin{bmatrix}
A & B \\
C & -A^*
\end{bmatrix}$, where $A$ is diagonal, $B=B^*$, and $C$ is rank-1 but not Hermitian.
If $C$ were Hermitian, $N$ would ...
- 116
101
votes
5
answers
11k
views
Is there a high level reason why the inverse square law of gravitation yields periodic orbits without precession?
Given a spherically symmetric potential $V: {\bf R}^d \to {\bf R}$, smooth away from the origin, one can consider the Newtonian equations of motion
$$ \frac{d^2}{dt^2} x = - (\nabla V)(x)$$
for a ...
- 114k
8
votes
1
answer
351
views
From time-dependent Hamiltonians to time-dependent symplectic/Poisson structures
Let $(M,\{.,.\})$ be a smooth Poisson manifold, and let $H\in C^\infty(M\times\mathbb{R},\mathbb{R})$.
Question: Does there exist $H_0\in C^\infty(M,\mathbb{R})$ and smooth parameter-dependent Poisson ...
- 1,959
3
votes
1
answer
429
views
Integrability of Schroedinger's equation
Consider the periodic nonlinear Schrödinger equation
$$-i \partial_t u + \Delta u = f(|u|)u, \qquad u=u(t,x) \in \mathbb{C}, \; t\in \mathbb{R}, \; x\in \mathbb{T}^n,$$
where $\mathbb{T}:= \mathbb{R}/\...
- 191
0
votes
0
answers
52
views
How to prove a solution to Hamilton's equations on the tangent bundle is second order?
Let $Q$ be a manifold Let $q^\alpha$ for $\alpha \in 1 .. n$ be a chart of $Q$.
The tangent bundle $TQ$ has a chart $q^\alpha, \dot{q}^\alpha$. It has an almost-tangent structure:
$$
J = dq^\alpha ...
- 238
4
votes
1
answer
235
views
Dynamical analogue of Morse theory
Is there a Hamiltonian $H:\mathbb{R}^{2n} \to \mathbb{R}$ with the following property:
For two regular values $a<b$ for which $[a,b]$ consists of regular values, the dynamics of $X_H$ on $H^{...
- 366
6
votes
2
answers
3k
views
Poincaré recurrence and its implications for statistical physics and the arrow of time
A very important theorem in mathematical physics is Poincaré’s recurrence theorem.
As you recall, this theorem states that given a dynamical system $(M , \phi , \mu)$ with $ \mu M < +\infty$, for ...
- 1,514
0
votes
0
answers
90
views
Numerical detection of Cantori
It is known that as parameters vary in Hamiltonian system, KAM tori can break [1,2].
How to construct numerically the breaking tori?
The most relevant paper that I could find is [3,4].
But it uses ...
- 593
1
vote
0
answers
41
views
The boundedness of dynamical systems discretized from Hamiltonian systems
Let $H(p,q) = T(q) + U(p)$ be a Hamiltonian function that defines a Hamiltonian system, i.e.,
\begin{align}
&\frac{dp}{dt} = \frac{\partial H}{\partial q}(p,q) = \frac{dT}{dq},\\
&\frac{dq}{dt}...
- 47
1
vote
1
answer
90
views
Why is this Hamiltonian flow of the Vlasov equation well defined?
Lions and Paul claim in their 1993 paper "Sur les mesures de Wigner" that the Hamiltonian flow
$$\dot{x} = \xi, \quad \dot{\xi} = - \nabla V(x) $$
of the Vlasov equation
$$\partial_t f + \xi ...
- 469
0
votes
0
answers
157
views
Integral expression for the Poisson bracket
I already asked this in the physics forum but without much attention, so I thought it might attract more attention here.
Is there an integral expression for the Poisson bracket that can be derived ...
2
votes
0
answers
101
views
Persistence of KAM tori as a function of dimension
I have tried posting this question in MSE, but I think it might be too technical so I'm trying again here.
In KAM theory one tries to describe the persistence of quasi-periodic motion when an ...
- 121
2
votes
1
answer
308
views
Gradient descent relaxation dynamics of a Euler-Lagrange equation
I want to minimize the functional
$$
F=\int{L(u)}dx,
$$
where $L= u_x^2-u^2$ is the Lagrangian function of the functional. Even if its Euler-Lagrange equation is easily found and solved, I want to try ...
- 159
2
votes
2
answers
218
views
What is the motivation of contact Hamiltonian equation
I've just checked that this is constructed to mimic the ordinary Hamiltonian equation in symplectic geometry. There are several literatures, and they use
$$
\eta(X_H) = -H\\
\mathrm{d}\eta(X_H,-) = \...
- 285
1
vote
1
answer
82
views
Hamiltonian particle system and its frequency domain
I am interested in the following question.
So let suppose we have finite number of point particles on plane $\mathbb{R}^2$.
We can assume that every $j$ point is represented by Dirac delta function $\...
- 65
1
vote
0
answers
67
views
Poisson bracket on $T^*T\mathrm{SU}(1,1)$
Consider the cotangent bundle of the tangent bundle $T^*TG$ of a Lie group $G$. Denote its the Lie algebra by $\mathfrak{g}$. By left translations, we have the trivialization $T^*G \cong G \times \...
- 829
3
votes
1
answer
207
views
Uniform continuity of Hamiltonian flow
Let $h \in C^2_{\mathrm{ub}}(\mathbb{R}^{2n})$, where $C_{\mathrm{ub}}^k$ consists of $C^k$-functions that are bounded and uniformly continuous along with their derivatives up to $k$th-order.
It is ...
- 769
49
votes
5
answers
4k
views
are there natural examples of classical mechanics that happens on a symplectic manifold that isn't a cotangent bundle?
I'm curious about just how far the abstraction to a symplectic formalism can be justified by appeal to actual physical examples. There's good motivation, for example, for working over an arbitrary ...
- 1,189
3
votes
2
answers
369
views
Hamiltonian, energy, and conservation laws of nonlinear PDEs
In many PDEs, I see the papers mention the energy of the PDE. And some papers and books mention Hamiltonians. I know that integrable systems have infinitely many conservation laws and these laws are ...
- 159
27
votes
4
answers
13k
views
Hamiltonian, Lagrangian and Newton formalism of mechanics
If my thinking is wrong please let me know. I have little knowledge on beyond-college physics.
For research purposes, I read a few introductions to these three formalisms of classical mechanics [1,2,...
- 8,071
2
votes
0
answers
53
views
Symplectic (or alike) integrator for system with Coulomb singularity and time-dependent potentials
I am trying to calculate classical trajectories for a single a ion and a single electron inside an RF trap. Therefore, I am dealing with a two-body system that possesses:
Coulomb potential with a ...
- 21
3
votes
4
answers
1k
views
Applications of Hamiltonian formalism to classical mechanics
In many courses in theoretical classical mechanics Hamiltonian formalism takes an important place. However I did not see it applied to problems of classical mechanics (unless one expands the scope of ...
- 21.8k
9
votes
3
answers
407
views
Mechanical systems with their configuration space being a Lie group
Cross-posted from Physics.SE
In Marsden, Ratiu - Introduction To Mechanics And Symmetry there is a certain focus on reducing cotangent bundles of Lie groups. More precisely, if $G$ is a Lie group, ...
- 299
1
vote
0
answers
60
views
In the context of field-theoretic classical Lagrangian mechanics, can we choose the Lagrange multipliers to be time-independent? - from Physics SE
I originally posted this question on Physics SE, but I think it is more like a math question since I need rigorous justification.
Could anyone please provide any insight to the below question:
Let us ...
- 3,487
3
votes
1
answer
735
views
Hamilton equations for Classical Field Theory
This is a second part of my previous question. I'm trying to figure it out by myself how to deduce Hamilton's equations in classical field theory as it is usually obtained in physics books.
Notation: ...
- 1,305
43
votes
2
answers
4k
views
About a letter by Richard Palais of 1965.
In Cushman and Bates, Global Aspects of Classical Integrable Systems, 1997, I have read
In a widely circulated but unpublished letter in 1965, Palais explained the symplectic formulation of ...
- 4,306
2
votes
1
answer
376
views
algebraic momentum map
Let $T$ be a linear algebraic torus over $\mathbb C$ and $X$ be a smooth quasi-projective symplectic $T$-variety. Also, assume that the action of $T $ is free and $X/T$ exists as a smooth variety. Is ...
- 21
0
votes
1
answer
214
views
Hamilton equations-Symplectic scheme [closed]
We know that $\dot{q} = \frac{\partial H}{\partial p}$ and $\dot{p} = -\frac{\partial H}{\partial q}$, and we also know the values $Q$ and $P$ respectively of $q$ and $p$ at a later time step $\Delta ...
- 111
7
votes
2
answers
2k
views
Practical example of Hamiltonian reduction
I know what is the Liouville integrability: given a Hamiltonian with $n$ degrees of freedom, with $n$ independent constants of motion in involution, the Hamiltonian can be brought to the form $H(p_1, \...
- 469
2
votes
1
answer
102
views
On the existence of regular orbit cylinders
Let $(M,\omega,H)$ be a Hamiltonian system and assume that $\gamma$ is a periodic orbit on a regular energy hypersurface. Then the regular orbit cylinder theorem (see for example Abraham/Marsden: ...
- 548
6
votes
0
answers
536
views
Hamiltonian dynamics on cotangent bundle
I'm stuck with the following claim made in Section 13.1 of Y-G. Oh's book "Symplectic topology and Floer homology". Assume that $N$ is a differential manifold and $S_0 ,S_1\subseteq N$ two ...
- 341
3
votes
1
answer
197
views
Exact solution to a periodic linear ODE sought
We have been studying a Hamiltonian system that possesses a one-parameter family of periodic orbits, depending on the energy level $h$. We "know" via various non-rigorous means that these ...
- 33
11
votes
0
answers
233
views
Mathematical pendulum and $\mathbb C P^n$
I am very puzzled by the following remark on p.346 in Arnold's book "Mathematical methods of classical mechanics":
Another method of construction the same symplectic structure on complex ...
- 5,063
3
votes
0
answers
143
views
Is composition of discrete Hamiltonian flows integrable?
Consider $\Bbb{R}^2$ with the usual symplectic form $$\omega = dx \wedge dy$$
For a function $H \colon \Bbb{R}^2 \to \Bbb{R}$, let $X_H$ be the Hamiltonian vector field. Then the map $\Bbb{R}^2 \to \...
- 213
6
votes
0
answers
290
views
A question in elementary differential geometry
Let $M$ be a finite dimensional manifold of constant curvature $\kappa$. Consider a solution of the Hamilton--Jacobi equation
$$ \partial_t u + |\nabla u|^2 = 0. $$
Can we give a precise estimate of a ...
- 39
3
votes
1
answer
679
views
Perturbed vs. unperturbed Hamiltonian system
Let's take a time-periodic Hamiltonian $H(t,x,y)$ on $\mathbb{R}^2$ and
apply an arbitrarily small time-independent perturbation to $H$ via
$$
\tilde H (t,x,y) = H(t,x,y) + \epsilon V(x,y),
$$
where $...
- 81
4
votes
3
answers
668
views
Reference Request: KAM Theory
I intend to learn KAM Theory. Could you please suggest me a good book on KAM Theory to begin with, where main results are discussed with complete proofs.
Thank you.
6
votes
0
answers
339
views
Why does the Lax pair formalism look so similar to the Hamiltonian equations, and what is the significance of this?
If we have a Lax pair for a system, which we'll call operators $L$ and $B$, then the system
\begin{align*}L\psi&=\lambda\psi\\
\psi_t&=B\psi\end{align*}
has as its integrability condition ...
- 161
4
votes
0
answers
141
views
Existence results for Lagrangian solutions to the Incompressible Euler Equation?
It is known that if a function (which we shall call the lagrangian flow, or lagrangian trajectory) $$X:(\mathbb{R}/\mathbb{Z})^3 \times [0,T] \to \mathbb{R}^3$$ with $X \in H^1_t$ (i.e. has weak time ...
- 989
8
votes
1
answer
354
views
Constants of motion for Droop equation
There is an important ODE system in biochemistry, Droop's equations:
$$s'=1-s-\frac{sx}{a_1+s}$$
$$x'=a_2\big(1-\frac{1}{q}\big)x-x$$
$$q'=\frac{a_3s}{a_1+s}-a_2(q-1)$$
Relatively easy one finds a ...
- 5,063
2
votes
0
answers
213
views
Asymptotic of an integral
Let
\begin{equation*}
V(x) = -\big(2-\sin(2\pi x) - \sin(2\pi \sqrt{2}x)\big)^\gamma
\end{equation*}
for some $\gamma \in (0,1]$. Define for each $r<0$ the number
$$a_r = \min\{a>0: V(a) = ...
- 375