Questions tagged [hamiltonian-mechanics]
The hamiltonian-mechanics tag has no usage guidance.
103 questions
1
vote
1
answer
330
views
Global reduction of Hamiltonian with an integral of motion (Poincare' reduction)
This question is related to a previous one; now I better understand the problem and I can more clearly state what is the question.
Background
I refer to the following concepts:
Liouville ...
- 469
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
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}^*=\...
- 327
2
votes
0
answers
192
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 ...
- 1,227
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
6
votes
1
answer
480
views
Non-Hamiltonian actions in physics
I was reading the following article when I came across the interesting sentence
"non-Hamiltonian [symplectic group] actions also occur in physics"
I took a cursory look at the article cited but ...
- 989
3
votes
0
answers
245
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 ...
- 366
2
votes
0
answers
100
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$ ...
- 989
0
votes
0
answers
94
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 ...
- 255
4
votes
1
answer
299
views
Symplectic forms and sign of eigenvalues
This question has come out while reading J. Moser "New Aspects in the Theory of Stability
of Hamiltonian Systems". I'm particularly interested to the Appendix, where one investigates the stability of ...
- 255
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.
3
votes
0
answers
352
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-...
- 31
8
votes
1
answer
344
views
Symplectic reduction of 4-manifolds with circle actions
Let $(M,\omega)$ be a $4$-dimensional closed symplectic manifold. Assume there exists a Hamiltonian $S^1$-action on $M$, let $\mu:M \to \mathbb{R}^*$ be its moment map and let $M_{\text{red}}=\mu^{-1}(...
- 843
2
votes
0
answers
491
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 ...
- 989
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 ...
- 503
4
votes
1
answer
597
views
When is a Divergence-Free Vector Field on the Tangent Bundle of a Riemannian Manifold Hamiltonian?
(Reposted from https://math.stackexchange.com/questions/2589600/when-is-a-divergence-free-vector-field-on-the-tangent-bundle-of-a-riemannian-man) Starting with a closed, connected Riemannian manifold $...
- 309
1
vote
2
answers
205
views
Isolated periodic trajectories of Hamiltonian systems
Is there any example of an autonomous Hamiltonian system with a periodic trajectory isolated in the whole phase space? The Poincar\'e map of such a trajectory within its energy level should be very ...
- 163
9
votes
1
answer
1k
views
What are the compact Lagrangian submanifolds of a twisted cotangent bundle?
In Hamiltonian dynamics and symplectic geometry a twisted cotangent bundle is the cotangent space $T^*N$ of a closed (compact without boundary) $n$-manifold $N$ equipped with a twisted symplectic ...
- 529
4
votes
1
answer
235
views
Contradiction between fixed points of a hamiltonian diffeomorphism of a torus and quasi-periodic motion on a torus
Again a very simple question. I currently hold two contradictory ideas in my head
1) A hamiltonian diffeomorphism of a torus necessarily has fixed points
2) most hamiltonian actions on a torus in an ...
- 989
3
votes
0
answers
181
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 ...
- 395
1
vote
1
answer
239
views
Infinitesimal generators and conserved quantities (Schrodinger type evolution)
First, I'm no expert in symmetry analysis of evolution equations and so I apologize if this post is a bit of a cobble. The question I have is about the evolution of $\psi: \mathbb{R}^{1+1}\to \mathbb{...
- 13
3
votes
1
answer
931
views
Sampling point from the surface of an n-dimensional ellipsoid with uniform distribution
I am wondering if exist an efficient computational method for sampling points belonging to the surface of an ellipsoid in $n$-dimensional space with n even, I am thinking in the phase space of a ...
- 133
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
5
votes
1
answer
842
views
Why is every Hamiltonian system locally integrable?
It is common knowledge that every Hamiltonian system is locally integrable (away from singular points of the Hamiltonian), meaning that, in a neighborhood of each point of the $2n$-dimensional ...
- 654
7
votes
0
answers
144
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 ...
- 4,787
9
votes
1
answer
728
views
When does a Lagrangian dynamical system have an equivalent Hamiltonian description?
Let a Lagrangian dynamical system with $n$ degrees of freedom and configuration space $\mathbb{R}^n$
(i.e. phase space $\mathbb{R}^{2n}$), which is described by $L=L(q_{i},\dot{q}_{i},t)$, $i=1,2,......
- 7,746
2
votes
0
answers
129
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 ...
- 21
4
votes
1
answer
326
views
Some dynamical and Bundle questions arising from certain map $P:TS^{n}\to S^{n}$
Define the map $$P:TS^{n}\to S^{n} \;\;\;\text{by}\;\; P((x,v))=\frac{x+v}{\parallel x+v \parallel}$$ where $$TS^{n}=\{(x,v)\in S^{n} \
\times \mathbb{R}^{n+1}\mid v \perp x \}$$
This map is ...
- 366
3
votes
1
answer
629
views
Generalizing HJB equation for a terminal stopping time
The following is one version of the Hamilton–Jacobi–Bellman (HJB) equation:
Suppose we have a Brownian motion $W$ and a counting process $N$ with a stochastic intensity $\lambda$ on a time interval $[...
- 85
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$ ...
- 141
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
1
vote
0
answers
66
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 ...
- 11
7
votes
1
answer
719
views
Integrable systems and Arnol'd - Liouville theorem
A system with a $2n$-dimensional phase space is Liouville-integrable if it admits $n$ independent first intgrals in involution.
Here integrable means that you can, in some way, solve the equations of ...
- 71
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{ \...
- 614
5
votes
0
answers
274
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 ...
- 654
4
votes
0
answers
104
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}...
- 41
0
votes
1
answer
155
views
Points with finite stabilizer in Hamiltonian torus actions
Atiyah-Guillemin-Sternberg theorem asserts that the image of the moment map $\mu$ for a Hamiltonian $(S^1)^m$-action on a smooth compact symplectic manifold $(M^{2n},\omega)$ is a convex polytope of $\...
3
votes
0
answers
215
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 ...
- 395
7
votes
1
answer
267
views
Uniqueness of Birkhoff Normal Form and KAM theory for Symplectomorphims
I am starting to work with Hamiltonian Dynamics and I have been taking a look at some of the basic stuff in KAM theory. I have posted part of this question at MSE but as I did not get any response I ...
6
votes
0
answers
469
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 ...
- 366
7
votes
2
answers
2k
views
Momentum a cotangent vector
Apparently one identifies the configuration space in physics often with a manifold $M$. The tangent bundle $TM$ is then the space of all possible positions and velocities.
Furthermore, many sources ...
- 231
4
votes
1
answer
396
views
Weinstein's local classification of Lagrangian foliations
In the paper "Symplectic manifolds and their Lagrangian submanifolds", Weinstein showed that locally all the Lagrangian foliations are symplectomorhic to the fiber foliation of a cotangent bundle.
I ...
- 783
12
votes
1
answer
1k
views
Generalizing "variation of parameters"
I'm stuck on generalizing an ODE formula and could use your help!
One way to think about "variation of parameters" is that it bakes the solution $z(t)=e^{At}z_0$ of $z'=Az$ (here $z(t)\in\mathbb{R}^n$...
- 705
8
votes
1
answer
1k
views
Why is geometric quantization (esp. Berezin-Toeplitz quantization) interesting for a symplectic geometer/topologist?
I know that many symplectic geometers are interested in quantization as well.
From what I understood, quantization isn't expected to be used as a tool to answer symplectic questions (as in ...
10
votes
1
answer
2k
views
Lifting a Diffeomorphism to the Cotangent Bundle
Both Abraham-Marsden and Da Silva seem to imply that given a symplectomorphism $g:T^\ast X\to T^\ast X$ which preserves the tautological $1$-form $\alpha$, it must be that $g$ is fibre preserving.
...
- 243
2
votes
1
answer
609
views
Computation with the Legendre Transform
Let $M$ be a manifold and fix a Lagrangian $L\in C^\infty(T M )$. Let $x_1,\dots x_n$ be local coordinates for $M$ and equip the tangent bundle and cotangent bundle with standard coordinates $(x_1,\...
- 243
2
votes
0
answers
143
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 ...
- 197
1
vote
0
answers
65
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 ...
- 11
9
votes
2
answers
648
views
An algebraic Hamiltonian vector field with a finite number of periodic orbits(1)
Edit: The previous version of this question contained 2 part. In this new version, I deleted the first part and move it to a new question.
Is There a polynomial Hamiltonian $H(x,y,z,w)=zP(x,y)+wQ(...
- 366
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