For pt.II, see abstr. A66629 of 1973. The authors show that the Frechet derivative, which they have previously used to formulate a quantum-mechanical version of Hamilton's principle of stationary action, suffers from certain defects. They set up a simpler, coordinate-free, formulation of quantum mechanics based on the Lie algebra of symmetric contravariant tensor fields on the configuration manifold of the system and re-express the principle of stationary action using this formalism. They find the same relation between Hamiltonian and Lagrangian as before, but a much larger class of allowable variations, namely those associated with and C infinity vector fields.
For pt.II, see abstr. A66629 of 1973. The authors show that the Frechet derivative, which they have previously used to formulate a quantum-mechanical version of Hamilton's principle of stationary action, suffers from certain defects. They set up a simpler, coordinate-free, formulation of quantum mechanics based on the Lie algebra of symmetric contravariant tensor fields on the configuration manifold of the system and re-express the principle of stationary action using this formalism. They find the same relation between Hamiltonian and Lagrangian as before, but a much larger class of allowable variations, namely those associated with and C infinity vector fields.
Hamilton's principle of stationary action is formulated in classical mechanics using the Lie algebra of Schouten concomitants of symmetric contravariant tensor fields on the configuration space of the system. Such a formulation is global and coordinate free. It is shown that a directly parallel formulation holds in quantum mechanics so long as all the Poisson brackets involved can be replaced in the quantum version by commutators in a canonical way. An example (where the Hamiltonian possesses a velocity dependent potential) in which this cannot be done is discussed and concluded that in this case the action is stationary only for a subclass of variations, namely those corresponding to Killing vector fields on the configuration manifold.
We begin with a presentation of the Schwinger variational principle in quantum mechanics. In the second part, after a re-assessment of the problem of motion in quantum mechanics, it is shown that the Green kernel, which represents the probability amplitude of finding a particle in space at a given time, once its location at another time is known, can be represented by a sum over ‘space–time paths’. According to this interpretation, one integrates the exponential of i times the classical action divided by ħ, with a (formal) measure over all space–time paths matching the initial location x i at time t i and the final location x f at time t f . Such a way of evaluating the Green kernel is applied to any quadratic Lagrangian for a generic quantum system including, in particular, the harmonic oscillator and the free particle. Lastly, we outline a formalism which involves ordinary functions of commuting variables, and exactly reproduces ordinary quantum mechanics. It works with a phase space endowed with commuting coordinates, so that one is dealing with quantum mechanics in phase space. The Schwinger formulation of quantum dynamics In both the Schrödinger formulation in terms of wave functions (with associated state vectors) and the Heisenberg formulation in terms of noncommuting matrices (with corresponding linear operators) the dynamical evolution is specified in terms of the Hamiltonian. This has motivated our presentation of classical dynamics, but is in marked contrast with the view according to which the Lagrangian and the action specify the dynamics. Hamilton's principle is formulated in terms of the action, the time integral of the Lagrangian.
Components of a field function are functions of coordinates and time and satisfy some definite differential equations, which are called field equations. Field equations can be given a very general variational or Lagrangian form, if one accepts, that a field as the dynamic system must be characterized by a definite Lagrangian function. For a mechanical system this function is written down as the sum over all the material points of the system. For a continuous system like a wave field, Lagrangian function is expressed by the space integral from Lagrangian function density: L(t) = ∫ Ld3x. (4.1) However, the variational principle deals not with the Lagrangian function but with an action S obtained from it by means of integration over x0 = ct S = c ∫ L(t)dt. (4.2) Therefore, noncovariant expression (4.1) in Lagrangian formalism is in fact intermediate and it is sufficient to consider the Lagrangian function density L, which depends on the four space-time coordinates x in an implicit way. Hereinafter, we shall simply call L by the Lagrangian. Analogously, the Hamiltonian function density H will be named the Hamiltonian. The Lagrangian depends on components of a field wavefunction ψk and on their first derivatives with respect to the space-time coordinates ∂ψk/∂x ν . In so doing we assign the meaning of generalized field coordinates to ψk, and the meaning of generalized field velocities to ∂ψk/∂x ν . The demand of lacking derivatives with respect to field functions above the first order in the Lagrangian is caused by the following reason. Dynamics of all known quantum fields is described either by equations of the first or the second order. On the one hand, these equations follow from the principle of a least action: δS = 0, (4.3) and under action variation the order of derivatives, entering L, is raised by one. The Lagrangian must be a relativistically covariant quantity, namely, a relativistic scalar L′(x′) = L(x). Thanks to the invariance under the space-time translations, we conclude that the Lagrangian must not manifestly contain any space-time coordinates x. Since dynamical observables (four-dimensional vector of the energy-momentum, the moment of momentum tensor, and so on) are real quantities, then the Lagrangian must be also a real quantity. We shall also impose the locality condition on the Lagrangian, that is, we assume that the Lagrangian depends only on the state of fields in the infinitely small vicinity of the point Particles, Fields, and Quantum x. So: L(x) = L(ψk, ∂ψk ∂xν ) = L (ψk(x), ψk;ν (x)) . General variation of an action, related with varying both field wave functions and of integration domain boundaries, is equal to: δS = δ ∫ L(x)dx = ∫ L(x′)dx′ − ∫ L(x)dx, (4.4) where dx = dx0dr. For L′(x′) we have the expression: L′(x′) = L (ψ′k(x′), ψ′k;ν(x′)) = L(x) + δL(x) = L(x) + δL(x) + dLdxλ δxλ, (4.5) In Eq. (4.5) we denote a form variation of corresponding quantities by the symbol δ. This way δL(x) represents varying the Lagrangian only on the account of the variation of field functions and field function derivatives: δL(x) = ∂L ∂ψk δψk + ∂L ∂ψk;ν δψk;ν , (4.6) and δψk(x) does a variation of a field function form: δψk(x) = ψ ′ k(x) − ψk(x).
In a previous article in this series [E. M. Corson, J. Math. Phys. 4, 42(1963); herein referred to as I], we showed that a new variational principle, of Lagrangian structure, includes Hamilton's principle as a unique derived consequent and encompasses both the classical and quantal definitions of ``state'' and the corresponding Lagrangian and Schrödinger equations of motion, respectively. In this theory, the essential difference between classical and quantal domains was shown to arise solely from the superadded postulates of determinism vs indeterminism; other than this, the two basic postulates may be reduced to (a) Newton's equations and (b) the new variation principle. It was shown that in the quantal domain, Schrödinger's equations obtain for the transition amplitudes (propagators) between pure eigenstates of homologous variables in configuration space, at different times, thus clearly implying all the results of conventional Hamiltonian-operator quantum formalism. In the present article we show that our variational formulation, under the familiar classical canonical transformation to momentum space, also automatically leads to the corresponding Schrödinger equations for the transition amplitudes between pure eigenstates of homologous variables in momentum space, at different times, the unitarity of the formalism and the reciprocal Fourier integral relations between coordinate and momentum representations. Thus we bridge a long-standing gap in theory and derive, uniquely and apparently for the first time, the basic quantum commutators (P.B.'s) which are postulated in the more familiar Hamiltonian theory.
The symmetry properties of quantum variational principles are considered. Euler-Poincaré reduction theory is applied to the Dirac-Frenkel variational principle for Schrödinger's dynamics producing new variational principles for the different pictures of quantum mechanics (Schrödinger's, Heisenberg's and Dirac's) as well as for the Wigner-Moyal formulation. In addition, new variational principles for mixed states dynamics have been formulated. The already known geometric characterization of quantum mechanics on the complex projective space is shown to emerge naturally from the Euler-Poincaré variational principle. Semidirect-product structures are seen to produce new variational principles for Dirac's picture. \n \nOn the other hand, the variational and Hamiltonian approach to Ehrenfest expectation values dynamics is proposed. In the Lagrangian framework, the quantum variational principle for Schrödinger's dynamics is extended to account for both classical and quantum degrees of freedom. First, it is shown that the mean field model of any quantum mechanical system can be derived from a classical-quantum Euler-Poincaré Lagrangian on the direct sum Lie algebra of the Heisenberg and unitary groups. Then, the semidirect-product structure (named Ehrenfest group), is constructed using the displacement operator from the theory of coherent quantum states ( the unitary action of the Heisenberg group on the space of wavefunctions). New classical-quantum equations for Ehrenfest's expectation values dynamics are derived redefining the mean-field model Euler-Poincaré Lagrangian on the Lie algebra of the Ehrenfest group. In the Hamiltonian framework, first expectation values of the canonical observables are shown to be equivariant momentum maps for the unitary action of the Heisenberg group on quantum states. Then, the Hamiltonian structure for Ehrenfest's dynamics is shown to be Lie-Poisson for the Ehrenfest group. The variational formulation is then given a corresponding Hamiltonian structure. The classical-quantum Ehrenfest dynamics equations produce classical and quantum dynamics as special limit cases. \n \nIn the particular case of Gaussian states, expectation values couple to second order moments, so that GS are completely characterized by first and second moments. When the total energy is computed with respect to a Gaussian state, higher moments can be expressed in terms of the first two, so that the moment hierarchy closes for Gaussian states. Second moments are shown to be equivariant momentum maps for the action of the symplectic group on the space of Wigner functions. Eventually, Gaussian states are shown to possess a Lie-Poisson structure on the Jacobi group. This structure produces an energy-conserving variant of a class of Gaussian moment models that have appeared in the chemical physics literature.
Consistency between the Lagrangean and the Hamiltonian formalisms in the quantum mechanics is investigatedc for the type of Lagrangean L=½\dotqigij(q)\dotqj-v(q) as an extension of a previous paper. The variations δqi and δ\dotqi should be considered as q-numbers. When the Lagrangean can be transformed into the standard form L=½\dotQα2-V(Q), the commutation relations of δqi and δ\dotqi with qj and \dotqj are found with the help of the Q-coordinate system. It is shown that using the commutation relations, the variation principle leads to the same equation of motion as the canonical equation of motion which is obtained in the previous paper.