Questions tagged [classical-mechanics]
Mathematics of classical mechanics, including Hamiltonian mechanics, Lagrangian mechanics, applications of symplectic geometry to mechanics, deterministic chaos, resonance etc.
191 questions
2
votes
0
answers
104
views
How to quantify the non-commutativity of human body motion? [closed]
Some years ago, there was that question on this forum:"How to quantify noncommutativity?".
I am asking that question in a context, human movement, which implies kinematic chains (like in ...
2
votes
0
answers
74
views
Nonintegrable classical dynamical systems and deterministic chaos
I'm trying to delineate a minimal (and informal) "taxonomy" for classical continuous dynamical systems that could be interested by the phenomenon of "chaos" - unfortunately the ...
2
votes
0
answers
195
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$-...
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 ...
2
votes
0
answers
141
views
Formulation of contour variational problem
I am having difficulty formulating a problem, which involves optimizing a contour shape, into a well-posed variational form that would give a reasonable answer.
Within a bounded region on the $xy$ ...
2
votes
0
answers
52
views
From Boundary to righthandside
I have a problem coming from linear elasticity in $(x,y,z)\in\mathbb{R}^2\times \mathbb{R}^+$, $t\in \mathbb R$:
$$\left\{\begin{aligned}\partial_{tt} \sigma&=A(D_x,D_y,D_z) \sigma\\
\sigma\big|...
2
votes
0
answers
1k
views
Proof of Arnold-Liouville theorem in classical mechanics [closed]
I am currently reading Arnold's book "Mathematical Methods of classical mechanics" on page 278 and I don't see through his arguments there at a point.
Especially, I am talking about the part that ...
2
votes
0
answers
165
views
Nature of separatrix in Fokker--Planck Hamiltonian with two degrees of freedom
Background The semiclassical (weak noise, small $D$) limit of the Fokker--Planck equation
$$\frac{\partial P}{\partial t}=D\frac{\partial^2 P}{\partial x^2}-\frac{\partial}{\partial x}(v(x) P)$$
can ...
2
votes
0
answers
286
views
In search for a more geometric proof of a result of van der Schaft and Maschke on nonholonomic mechanics
Edit: Now I have found something that appears to answer my own question. It is section 2 in the paper "On Submanifolds and Quotients of Poisson and Jacobi Manifolds" by Ch.-M. Marle. (There, he ...
2
votes
0
answers
356
views
Dissipative Hamiltonian System with a Periodic Force
Let $H:P \to \mathbb{R}$ be a Hamiltonian on a symplectic manifold $(\omega,P)$ and let $X_H: P \to TP$ be the Hamiltonian vector-field. Let $F:P \to T^*P$ be a dissipative force field such that for $...
1
vote
1
answer
99
views
How to interpret the vector fields $F_p(x,u,Du)$ in a Lagrangian optimization problem
Let $\Omega$ be an open bounded subset of $\mathbb{R}^n$ with $C^1$ boundary. Let
$$
\begin{matrix}
F: \mathbb{R}^n \times \mathbb{R}^N \times \mathbb{R}^{nN} \to \mathbb{R},& \\
(x,z,p) \mapsto F(...
1
vote
1
answer
94
views
One problem about tower stability [closed]
Some years ago i asked myself a question that I still can not answer. Here it is:
A given tower consists of finite homogeneous cubic blocks staying one on another and equal to each other. What is ...
1
vote
1
answer
176
views
Derivative of eigenpair with respect to matrix
Suppose that $A$ is real and symmetric matrix (or tensor) of dimension $3 \times 3$, with its spectral decomposition
$$A = \sum_{i=1}^3 \lambda_i\ n_i\otimes n_i$$
where $\lambda_i$, $n_i$ and $\...
1
vote
1
answer
125
views
isotropy of the cotangent lift of a group action
I asked this question in stack exchange but have not received an answer, so I am posting it here.
Given a group action on a manifold (e.g. configuration space of coordinates), cotangent-lift it to the ...
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 ...
1
vote
1
answer
93
views
an example on kinematical theory in the book "A treatise on the analytical dynamics of particles and rigid bodies"
In page 3, Example 1 says "A lamina moves in any manner in its plane. Prove that the locus at any instant of points which are at inflexions of their paths is a circle, which touches the loci in the ...
1
vote
1
answer
1k
views
Generating functions and Lagrangian submanifolds
I'm interested in showing the existence of a generating function. Explicitly:
Suppose $\Lambda\subset T^*M\times T^*M$ is a Lagrangian submanifold. Consider the projection $\pi:(x_1,\xi_1,x_2,\xi_2)...
1
vote
0
answers
114
views
Applicability of van Holten's algorithm for symmetries in classical mechanics
Background
van Holten's algorithm (see e.g. here and here) is a way of constructing or recognizing dynamical/hidden symmetries in classical mechanics by looking for Killing tensors on the ...
1
vote
0
answers
133
views
Is it possible for the Lagrange multiplier to satisfy some constraints themselves?
I am using the field-theoretic langauge, so that we think of some action functional
\begin{equation}
S[f_l,T_{ij}]=\int_0^1 dt \int_{[0,1]^3}d^3\overrightarrow{x}\mathcal{L}(f_l(\overrightarrow{x}, t),...
1
vote
0
answers
60
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
1
answer
279
views
Transport theorem in space craft control: tracking a reference angular velocity
I am reading the book named "Analytical mechanics aerospaces systems" by Schaub and Junkins.
In section 7.2, the task is to control the spacecraft to track a specified angular velocity $w_r$ ...
1
vote
0
answers
59
views
Vertical bundles of higher order tangent bundles
Let $M$ be a smooth (finite dimensional, Hausdorff and second countable) manifold. Let $T^kM$ be the manifold of equivalence class of curves that their derivates (in charts) agree up to order $k$. Let ...
1
vote
0
answers
131
views
Brachistochrone for a rolling sphere with slippage
I was recently looking into generalisations of the brachistochrone problem: for example, in this article the authors study the brachistochrone with Amontons-Coulomb friction where a bead slides along ...
1
vote
0
answers
69
views
Elasticity tensor in terms of principal stretches
Suppose we are given a frame-indifferent isotropic function
$W:GL_+(3) \to [0,\infty)$, where $GL_+(3)$ denotes the set of all real $(3\times 3)$-matrices with positive determinant.
We can write $W(F)$...
1
vote
0
answers
60
views
Optimal contour shape for variational problem over captured area
Let's assume we have a continuous and finite scalar function $f(x,y)$ over the $xy$ plane ($\mathbb{R}^{2}$) and this function is to be integrated over a bounded area (surface) $A\subset\mathbb{R}^{2}...
1
vote
0
answers
48
views
Negative Definiteness of Hopf-Lax-Oleinik Semigroup
Denote by $H_{t}$ the Hopf-Lax semigroup, i.e.\begin{equation}
H_{t}f(x)=\inf_{y\in\mathbb{R}}\left\lbrace f(y)+\frac{(x-y)^{2}}{2t}\right\rbrace.\end{equation} Is $H_{t}$ negative definite on bounded,...
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
114
views
Shortest rope to capture a sphere of diameter 1 [duplicate]
I have a perfect rigid sphere of diameter 1.
I have infinite supply of rope. The rope is infinitely flexible and can be cut or glued without losing or adding length. The rope can be glued at any ...
1
vote
0
answers
885
views
How to calculate the rolling resistance of a wheel over an obstacle? [closed]
Imagine a bicycle travelling at speed, and then rolling over a log. What are the principles behind calculating the force that is required to roll a wheel over an obstacle?
0
votes
1
answer
160
views
Reference for action-angle coordinates [closed]
Does anyone know a good reference to start studying Action-Angle coordinates?
Thank you in advance !
0
votes
1
answer
89
views
underdamped oscillation with quadratic decay
I know that for a 2nd order linear differential equation system, there are 3 possible scenarios: over-damped, critically damped and underdamped. For the underdamped case the solutions are of the form:
...
0
votes
1
answer
304
views
Lagrangian flow preserves symplectic form
Let $X$ be a configuration space and $L: TX \rightarrow \mathbb{R}$ a Lagrangian. Then I want to show that the Lagrangian flow $F^t(x(0),x'(0)) = (x(t),x'(t))$ preserves the symplectic form just like ...
0
votes
1
answer
210
views
The derivation of thin plate spline interpolation energy function? [closed]
I am trying to derive the "thin plate energy functional". Given a thin plate $z = z(x,y)$, how does one derive easily the energy functional
$$\iint_{\mathbb{R}^2} \,\left[\left(\frac{\...
0
votes
0
answers
22
views
Has this notion of "variation along the diagonal of a not-necessarily-smooth function" been studied before?
I am interested in knowing whether something along the lines of the "diagonal variation" defined below has been studied before. In spirit, the basic idea is that it is a kind of ...
0
votes
0
answers
90
views
Some details about Kirillov-Kostant Poisson bracket
Let $G$ be a finite dimensional Lie group with Lie algebra $\mathfrak{g}$. The Kirillov-Kostant Poisson bracket on $\mathfrak{g}^*$ is defined as $$\{\cdot ,\cdot \} :C^{\infty}(\mathfrak{g}^*)\times ...
0
votes
0
answers
157
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 ...
0
votes
0
answers
64
views
Implications for a simple deterministic chaos definition
Among many others, one definition of deterministic chaos terms "chaotic" a classical dynamical system that satisfies the following three properties:
sensitive dependence to initial ...
0
votes
0
answers
121
views
Deformation gradient conservation law from Lagrangian to Eulerian formulation
In the following, I use the standard notation for (solid) mechanics and conservation laws, i.e. $F$ the formation gradient, $H$ the cofactor, $v$ the velocity field and $J$ the Jacobian. Moreover, $X$ ...
0
votes
0
answers
181
views
Towards recognizing St. Venant geometrical invariant
Using partial derivative notation we can express Gauss curvature $K$ in cartesian coordinates:
$$\quad p= \partial w/ \partial x, q= \partial w/ \partial y; r=\frac{\partial ^2w}{{\partial {x} ^2} },...
0
votes
0
answers
187
views
Transformation of the dynamics of mechanical system under coordinate change
It is well known that the dynamics equation for a mechanical system (e.g. a robotics manipulator) is given be the Euler-Lagrange equation which takes the particular form (in the simplified version),
$...
-1
votes
2
answers
1k
views
Regarding understanding differential geometry [closed]
I am essentially looking for a book that would hold my hand through basic concepts to more complicated ones. I am coming from physics. I am looking to make some connections with Classical mechanics ...