Questions tagged [hamiltonian-mechanics]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers
135 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
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
1 answer
216 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 ...
Isaac's user avatar
  • 2,727
0 votes
1 answer
100 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 \...
Isaac's user avatar
  • 2,727
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
0 votes
0 answers
79 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
  • 473
3 votes
1 answer
410 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}/\...
kvicente's user avatar
  • 171
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
4 votes
1 answer
221 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^{...
Ali Taghavi's user avatar
2 votes
0 answers
90 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
1 vote
1 answer
83 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 ...
Jakob Möller's user avatar
1 vote
0 answers
113 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
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
0 votes
1 answer
72 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 $\...
Dragomir's user avatar
2 votes
1 answer
194 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 ...
feynman's user avatar
  • 159
2 votes
2 answers
158 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,-) = \...
ChoMedit's user avatar
  • 265
3 votes
1 answer
181 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 ...
Lau's user avatar
  • 729
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,727
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 ...
display llvll's user avatar
6 votes
1 answer
227 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
3 votes
2 answers
283 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 ...
Mr. Proof's user avatar
  • 159
5 votes
0 answers
109 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
2 votes
1 answer
95 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: ...
TheGeekGreek's user avatar
2 votes
1 answer
338 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 ...
Arup's user avatar
  • 21
9 votes
3 answers
369 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, ...
marmistrz's user avatar
  • 289
0 votes
1 answer
209 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 ...
Jokerp's user avatar
  • 111
3 votes
1 answer
600 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: ...
MathMath's user avatar
  • 1,255
3 votes
4 answers
942 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 ...
asv's user avatar
  • 21.1k
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
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
6 votes
0 answers
490 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
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
4 votes
0 answers
138 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
  • 879
2 votes
0 answers
118 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
3 votes
1 answer
189 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 ...
Roy Goodman'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
4 votes
0 answers
136 views

Geometrical proof of Noether Theorem [duplicate]

I am reading a very nice Physics book "The standard model in a nutshell" by D.Goldberg and just read there a mention to Noether Theorem. Of course I knew this outstanding theorem very well from ...
RaphaelB4's user avatar
  • 4,296
1 vote
1 answer
104 views

Invertibility of the characteristic flow in Hamilton-Jacobi equations

We are in the context of Hamilton Jacobi equations, in particular I was reading the characteristic method. We want to solve the problem of the special form (Hamiltonian only depending on the "$p$" ...
astrobarrel's user avatar
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
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
6 votes
0 answers
308 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
100 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 ...
Terry Tao's user avatar
  • 108k
2 votes
0 answers
188 views

How to check conditions for Liouville-Arnold theorem? [closed]

Arnold gives in his book "Mathematical Methods of Classical Mechanics" on p.272 the following, well known theorem: Let $F_1, \dots, F_n$ be $n$ functions in involution on a symplectic $2n$-...
horropie's user avatar
  • 649
1 vote
0 answers
63 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
1 answer
303 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 ...
Doriano Brogioli's user avatar
7 votes
2 answers
1k 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, \...
Doriano Brogioli'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
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
8 votes
1 answer
343 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 ...
Nikita Kalinin's user avatar
6 votes
1 answer
412 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 ...
R Mary's user avatar
  • 949