Questions tagged [hamiltonian-mechanics]

The tag has no usage guidance.

44 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 ...
Nikita Kalinin's user avatar
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 ...
Vladimir S  Matveev's user avatar
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 ...
Bedovlat's user avatar
  • 1,939
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 ...
TheWildCat's user avatar
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 ...
Christian's user avatar
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 ...
user41208's user avatar
  • 161
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 ...
Ali Taghavi's user avatar
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 $(...
user2002's user avatar
  • 181
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 ...
issoroloap's user avatar
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 ...
vmist's user avatar
  • 919
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}...
ompus's user avatar
  • 41
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 \...
Nick's user avatar
  • 213
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$. ...
B K's user avatar
  • 1,890
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 ...
Ali Taghavi's user avatar
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-...
Master's user avatar
  • 31
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 ...
megaproba's user avatar
  • 353
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 ...
user133100's user avatar
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 ...
mathamphetamine's user avatar
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 ...
QuantumBrick's user avatar
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 ...
michalt's user avatar
  • 21
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 ...
Steffen Plunder's user avatar
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) = ...
Sean's user avatar
  • 313
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 ...
BrianT's user avatar
  • 1,197
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$ ...
R Mary's user avatar
  • 959
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 ...
R Mary's user avatar
  • 959
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 ...
Vitaly's user avatar
  • 21
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$ ...
Smilia's user avatar
  • 141
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 ...
John Galt's user avatar
  • 197
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 ...
Zhang Yuhan's user avatar
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}...
Yi_Feng's user avatar
  • 47
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 \...
Koundinya Vajjha's user avatar
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 ...
Nicolas Medina Sanchez's user avatar
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 ...
Isaac's user avatar
  • 2,749
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 ...
user135626's user avatar
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 ...
Arnold Neumaier's user avatar
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}^*=\...
CristinaSardon's user avatar
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 ...
tst's user avatar
  • 483
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 ...
A_learning_H's user avatar
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{ \...
hoj201's user avatar
  • 614
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 ...
cptpwnage's user avatar
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 ...
Lawrence D'Anna's user avatar
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 ...
0x11111's user avatar
  • 493
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 ...
AndreaPaco's user avatar
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 ...
al-Hwarizmi's user avatar