Feynman’s propagator in Schwinger’s picture of Quantum Mechanics

A novel derivation of Feynman’s sum-over-histories construction of the quantum propagator using the groupoidal description of Schwinger picture of Quantum Mechanics is presented. It is shown that such construction corresponds to the GNS representation of a natural family of states called Dirac–Feynman–Schwinger (DFS) states. Such states are obtained from a q-Lagrangian function [Formula: see text] on the groupoid of configurations of the system. The groupoid of histories of the system is constructed and the q-Lagrangian [Formula: see text] allows us to define a DFS state on the algebra of the groupoid. The particular instance of the groupoid of pairs of a Riemannian manifold serves to illustrate Feynman’s original derivation of the propagator for a point particle described by a classical Lagrangian L.

Quantization of waves: the stretched string

“Quantization of waves: the stretched string” discusses waves in one dimension, in order to display the quantization procedure without the complication of three dimensions and of two polarization possibilities. Quantization goes via classical Lagrangian mechanics. The waves travel in both directions along the string, and we face up to disentangling these. The quantization procedure yields raising and lowering operators, their commutation rules, and their matrix elements.

A new generalization of the fractional Euler–Lagrange equation for a vertical mass-spring-damper

In this new study, we investigate the motion of a forced mass-spring-damper in a vertical position. First, the classical Lagrangian as well as the classical Euler–Lagrange equation of motion are constructed. Then the fractional Euler–Lagrange equation is derived by extending the classical Lagrangian in the fractional sense. In this extension, a new form of the fractional derivative is employed including a general function as its kernel. The derived fractional Euler–Lagrange equation is then converted into a system of linear algebraic equation by designing an efficient matrix approximation approach. The numerical findings are reported verifying the theoretical investigations. According to the results, some remarkable thinks are achieved; indeed, the numerical simulations show that different aspects of the system under study can be explored with regard to the flexibility found in selecting the kernel contrary to the traditional fractional models.

Quantum Ostrogradsky theorem

The Ostrogradsky theorem states that any classical Lagrangian that contains time derivatives higher than the first order and is nondegenerate with respect to the highest-order derivatives leads to an unbounded Hamiltonian which linearly depends on the canonical momenta. Recently, the original theorem has been generalized to nondegeneracy with respect to non-highest-order derivatives. These theorems have been playing a central role in construction of sensible higher-derivative theories. We explore quantization of such non-degenerate theories, and prove that Hamiltonian is still unbounded at the level of quantum field theory.

NONCOMMUTATIVE QUANTUM GRAVITY

We discuss the BRST and anti-BRST symmetries for perturbative quantum gravity in noncommutative spacetime. In this noncommutative perturbative quantum gravity the sum of the classical Lagrangian density with a gauge fixing term and a ghost term is shown to be invariant to the noncommutative BRST and the noncommutative anti-BRST transformations. We analyze the gauge fixing term and the ghost term in both linear as well as nonlinear gauges. We also discuss the unitarity evolution of the theory and analyze the violation of unitarity by introduction of a bare mass term in the noncommutative BRST and the noncommutative anti-BRST transformations.

Modeling of Systems With Position-Dependent Mass Revisited: A Port-Hamiltonian Approach

It is known that straightforward application of the classical Lagrangian and Hamiltonian formalism to systems with mass varying explicitly with position may lead to discrepancies in the formulation of the equations of motion. Systems with mass varying explicitly with position often arise from situations where the partitioning of a closed system of constant mass leads to open subsystems that exchange mass among themselves. One possible solution is to introduce additional nonconservative generalized forces that account for these effects. However, it remains unclear how to systematically interconnect the Lagrangian or Hamiltonian subsystems. In this note, systems with mass varying explicitly with position and their properties are studied in the port-Hamiltonian modeling framework. The port-Hamiltonian formalism combines the classical Lagrangian and Hamiltonian approach with network modeling and is applicable to various engineering domains. One of the strong aspects of the port-Hamiltonian formalism is that power-preserving interconnections between port-Hamiltonian subsystems results in another port-Hamiltonian system with composite energy and interconnection structure. The motion of a heavy cable being deployed from a reel by the action of gravity is used as an example.

Continuous Roll Forming Simulation Using Arbitrary Lagrangian Eulerian Formalism

Due to the length of the mill, accurate modelling of stationary solution of continuous cold roll forming by the finite element method using the classical Lagrangian formulation usually requires a very large mesh leading to huge CPU times. In order to model industrial forming lines including many tools in a reasonable time, the sheet has to be shortened or the element size has to be increased leading to inaccurate results. On top of this, applying loads and boundary conditions on this smaller sheet is usually more difficult than in the continuous case. Moreover, transient dynamic vibrations, which are unnecessarily computed, may appear when the sheet hits each tool, decreasing the convergence rate of the numerical simulation. Beside this classical Lagrangian approach, an alternative method is given by the Arbitrary Lagrangian Eulerian (ALE) formalism which consists in decoupling the motion of the material and the mesh. Starting from an initial guess of the sheet geometry between the rolls, the numerical simulation is performed until the stationary state is reached with a mesh, the nodes of which are fixed in the rolling direction but are free to move on perpendicular plane, following the geometrical boundary of the sheet. The whole forming line can then be modelled using a limited number of brick and contact elements because the mesh is only refined near the tools where bending and contact occur. In this paper, ALE results are compared to previous Lagrangian simulations and experimental measurement on a U-channel, including springback. Advantages of the ALE method are finally demonstrated by the simulation of a tubular rocker panel on a 16-stands forming mill.

Application of the Arbitrary Lagrangian Eulerian Formalism to Stationary Roll Forming Simulations

Due to the length of the mill, accurate modelling of stationary solution of continuous cold roll forming by the finite element method using the classical Lagrangian formulation usually requires a very large mesh leading to huge CPU times. In order to model industrial forming lines including many tools in a reasonable time, the sheet has to be shortened or the element size has to be increased leading to inaccurate results. On top of this, applying loads and boundary conditions on this smaller sheet is usually more difficult than in the continuous case. Moreover, transient dynamic vibrations, which are unnecessarily computed, may appear when the sheet hits each tool, decreasing the convergence rate of the numerical simulation. Beside this classical Lagrangian approach, an alternative method is given by the Arbitrary Lagrangian Eulerian (ALE) formalism which consists in decoupling the motion of the material and the mesh. Starting from an initial guess of the sheet geometry between the rolls, the numerical simulation is performed until the stationary state is reached with a mesh, the nodes of which are fixed in the rolling direction but are free to move on perpendicular plane, following the geometrical boundary of the sheet. The whole forming line can then be modelled using a limited number of brick and contact elements because the mesh is only refined near the tools where bending and contact occur. In this paper, ALE results are compared to previous Lagrangian simulations and experimental measurement on a U-channel, including springback.