Questions tagged [hamiltonian-mechanics]
The hamiltonian-mechanics tag has no usage guidance.
44
questions with no upvoted or accepted answers
11
votes
0
answers
222
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 ...
7
votes
0
answers
141
views
Reference request: Liouville integrability of a torus action of small dimension on a symplectic manifold
Consider a hamiltonian toric acion on a connected real symplectic manifold of dimension 2n. The dimension of the torus, which we denote by $k$, may be less than $n$. The generators of the action will ...
6
votes
1
answer
254
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 ...
6
votes
0
answers
496
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 ...
6
votes
0
answers
289
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 ...
6
votes
0
answers
311
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 ...
6
votes
0
answers
457
views
An algebraic Hamiltonian vector field with a finite number of periodic orbits (2)
Is there a polynomial Hamiltonian $H:\mathbb{R}^{4}\to \mathbb{R}$ such that the number of nontrivial periodic orbits of the corresponding Hamiltonian vector field $X_{H}$ is finite but different ...
5
votes
0
answers
112
views
Lie groupoids as symmetries of mechanical systems?
Lie groups are well studied as symmetries of mechanical systems in symplectic/Poisson geometry. For instance, if $G$ acts freely and properly on a mechanical system modeled by a symplectic manifold $(...
5
votes
0
answers
270
views
Deformation quantization of Poisson bracket without star-product
Kontsevich's formality theorem implies in particular that star-products on a $C^\infty$-manifold $M$,
$$f\star g = fg + \sum_{k\geq1} \hbar^k B_k(f,g),\qquad f,g\in C^\infty(M),$$ where $B_k$ are ...
4
votes
0
answers
139
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 ...
4
votes
0
answers
93
views
Why can every twist map be realized as the time-1 map of a time-dependent Hamiltonian?
if have problems getting my head around the following claim made
by Moser in "Monotone twist mappings and the calculus of variations" and Gole in "Symplectic twist maps".
Setting:
Let $F : \mathbb{R}...
3
votes
0
answers
141
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 \...
3
votes
0
answers
67
views
Infinitesimal orbit type decomposition of Hamiltonian $G$-manifolds
Let $G$ be a compact connected Lie group acting in a Hamiltonian fashion on a symplectic manifold $M$ with momentum map $\mu:M\to \mathfrak{g}^\ast$, where $\mathfrak{g}$ is the Lie algebra of $G$. ...
3
votes
0
answers
243
views
Periodic orbit for certain Hamiltonian on the tangent bundle
In this question a nontrivial periodic orbit is a periodic orbit which is not a singular point.
Let $p: \mathbb{R}^n \to \mathbb{R}$ be a ...
3
votes
0
answers
350
views
Proving that system is Hamiltonian
This question is moved from math stackexchange, seems like it is a more advanced question. Here the link from the original question: https://math.stackexchange.com/questions/2666194/proving-that-...
3
votes
0
answers
175
views
Most probable path for stochastic Hamiltonian systems
It is known that for a real valued stochastic process $X_t$ satisfying
$$
d X_t = b(X_t) d t + \sigma d W_t
$$
where $W$ is real valued Wiener process, the equation for the most probable path from ...
3
votes
0
answers
203
views
Hamiltonian on the torus
In discrete models like Ising we have Hamiltonians of the form
$$H(\sigma)=\frac{1}{N}\sum_{i=1}^{N}J_{ij}\sigma_{i}\sigma_{j},$$
where $\sigma_{i}=\pm 1$ , $J_{ij}$ interaction coefficients and N ...
2
votes
0
answers
136
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 ...
2
votes
0
answers
93
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 ...
2
votes
0
answers
42
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 ...
2
votes
0
answers
120
views
Is there a notion of symplectic maps between spaces of volume forms on phase spaces?
For a $n$ dimensional smooth manifold $M$, I consider the cotangent bundle $T^*M$ with the canonical symplectic form $\omega$.
A symplectic map $\phi : T^*M \to T^* M$ is a map which leaves the ...
2
votes
0
answers
212
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) = ...
2
votes
0
answers
187
views
What is the relation between the different generating functions thought as finite approximations of action functionals
In the book Introduction to symplectic topology by MC Duff and Salamon, a discrete analogue of the action functional is defined on $\mathbb{R}^{2n}$. The idea is that a Hamiltonian isotopy can be ...
2
votes
0
answers
96
views
Effective actions by non-commutative groups have non-commuting fundamental vector fields?
I have a bit of a contradiction in my brain and I was hoping once again that excellent Mathoverflow community could help me out :)
Let $\rho_g$ be the action associated to a non-abelian Lie Group $G$ ...
2
votes
0
answers
449
views
How to make sense of the Euler Lagrange equations for an infinite action?
The Euler–Lagrange equation is an equation satisfied by a function $q$, which is a stationary point of the functional
$S(\boldsymbol q) = \int_a^b L(t,q(t),\dot{q}(t))\, \mathrm{d}t$
Say we have an ...
2
votes
0
answers
121
views
Is the interpolating Hamiltonian flow of an exact near-identity symplectic map globally defined?
It is well-known that an analytic near-identity map $\bar{x} = F_{\epsilon}(x) = x + \epsilon f(x) + O(\epsilon^{2})$ may be embedded into the flow of a differential equation, and if that map is ...
2
votes
0
answers
191
views
Geometric properties of solutions of Hamiltonian system
Context : We are interested in the following dynamic with state $(q,\varphi)$
$$
\dot q = \varepsilon F(q,\varphi), \quad \dot \varphi = \omega(q) + \varepsilon G(q,\varphi)
$$
($\varepsilon >0$ ...
2
votes
0
answers
141
views
Is it true that a nondegenerate minimizing periodic orbit of mechanical Hamiltonian system is hyperbolic
Consider mechanical Hamiltonian system of the form
$$H(p,q)=\dfrac{\Vert p\Vert^2}{2}+V(q),\quad (q,p)\in T^*\mathbb T^n.$$
Here we suppose the periodic orbit $\gamma$ minimizes the Lagrangian ...
1
vote
0
answers
94
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 ...
1
vote
0
answers
39
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}...
1
vote
0
answers
56
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 \...
1
vote
0
answers
121
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 ...
1
vote
0
answers
59
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 ...
1
vote
0
answers
73
views
What exactly are the benefits of keeping a Hamiltonian system of equations Hamiltonian during solving or transformation?
When faced with a system of differential equations that happens to be Hamiltonian in form, or a perturbation of a Hamiltonian system, we often see in classical work a clear attempt to pursue solutions ...
1
vote
0
answers
64
views
Reduced master equation for a multistable Hamiltonian dynamical system
I am looking for rigorous results on the derivation of a reduced master equation for a (possibly stochastic) Hamiltonian dynamical system with a coercive potential energy term with multiple local ...
1
vote
0
answers
123
views
Is this integral zero?
I'd like to know if one integral expression I have can be shown to be zero for all possible cases. Let me introduce some notation.
Consider $\mathfrak{g}=C^{\infty}(M)$ and the dual $\mathfrak{g}^*=\...
1
vote
0
answers
34
views
First return map in complex 2DOF Hamiltonian systems
The standard way to construct the first return map around a periodic orbit in real 2DOF Hamiltonian systems is the following:
We choose a periodic orbit and a point on it.
We restrict the system on ...
1
vote
0
answers
63
views
Comparison inequalities for Hamiltonian mechanics with convex potential - analogue to Rauch's theorem?
I'm asking about an area (Hamiltonian mechanics) that I don't know at all well; thus, I keep the question somewhat vague.
In differential geometry, there are a number of results saying that geodesics ...
1
vote
0
answers
37
views
The isotropy group for the Euler-Lagrange vector-fields
Let $Q$ be a manifold, and let $X_{EL}$ be a second order vector-field on $TQ$ derived from the Euler-Lagrange equation,
$$ \frac{d}{dt} \left( \frac{\partial L}{\partial \dot{q} } \right) - \frac{ \...
1
vote
0
answers
58
views
Id monodromy in hamiltonian dynamics
In my problem I have non autonomous Hamiltonian which depends on 2 parameters (pretty close to oscillator Hamiltonian, $(a+b\cos t +1) p^2+(a+b\cos t-1)q^2$, $a,b$ - parameters). From numerical ...
0
votes
0
answers
49
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 ...
0
votes
0
answers
80
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 ...
0
votes
0
answers
89
views
On the measure of regular and chaotic regions in a phase space
Consider a Hamiltonian, non-linear, dynamical system associated to $H(\vec{q},\vec{p})$. Assume that the number of effective degrees of freedom is relatively small, say $D=3,4,5$. Now choose a certain ...
0
votes
0
answers
267
views
How to understand the matrix behind a Hamiltonian?
thanks to the answers I received to my previous questions, I could derive correctly an elegant partition function for my problem which resembles a second quantized model taking the particles to be ...