Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [hamiltonian-mechanics]

The tag has no usage guidance.

8
votes
1answer
306 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
votes
1answer
188 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 ...
3
votes
0answers
218 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 ...
2
votes
0answers
63 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$ ...
0
votes
0answers
76 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 ...
4
votes
1answer
196 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 ...
3
votes
3answers
292 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.
2
votes
0answers
84 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-...
7
votes
1answer
257 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}(...
1
vote
0answers
157 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 ...
1
vote
0answers
23 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 ...
4
votes
1answer
266 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 $...
1
vote
2answers
135 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 ...
47
votes
4answers
4k views

Is there a mathematical explanation for this cube packing phenomenon?

I saw this unintuitive result on dice packing: A jumble of thousands of cubic dice, agitated by an oscillating rotation, can rapidly become completely ordered, a result that is hard to produce ...
9
votes
1answer
352 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 ...
4
votes
1answer
123 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 ...
2
votes
0answers
117 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 ...
1
vote
1answer
106 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{...
2
votes
1answer
227 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 ...
21
votes
4answers
10k 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,...
4
votes
1answer
452 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 ...
7
votes
0answers
107 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 ...
8
votes
1answer
397 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,......
2
votes
0answers
64 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 ...
4
votes
1answer
299 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 ...
2
votes
1answer
223 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 $[...
2
votes
0answers
164 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$ ...
1
vote
0answers
145 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 $...
1
vote
0answers
57 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 ...
6
votes
1answer
388 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 ...
1
vote
0answers
32 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{ \...
5
votes
0answers
238 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
0answers
70 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}...
1
vote
1answer
122 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
0answers
157 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 ...
6
votes
1answer
185 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 ...
1
vote
0answers
113 views

An algebraics 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 ...
7
votes
2answers
571 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 ...
3
votes
1answer
230 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 ...
8
votes
1answer
354 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$...
8
votes
1answer
688 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 ...
9
votes
1answer
766 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. ...
1
vote
1answer
309 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,\...
2
votes
0answers
111 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
0answers
53 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 ...
9
votes
2answers
530 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(...
41
votes
5answers
2k 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 ...
6
votes
1answer
403 views

Calogero-Moser system: relationship between dual variables and the KKS construction

This is a question about the relationship between two ways of viewing the Calogero-Moser system. $$\ddot x_i=2\sum_{j\neq i}\frac{1}{(x_i-x_j)^3}\qquad i=1,\ldots N$$ By introducing the $N$ ...
0
votes
0answers
230 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 ...
42
votes
2answers
3k 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 ...