Modified Hamilton formalism for fields

In Hamiltonian mechanics, the equations of motion can be regarded as a condition on the vectors tangent to the solution: they should be null-vectors of the symplectic structure. The passage to the field theory is usually done by replacing the finite-dimensional configuration space with an infinite-dimensional one. We apply an alternative formalism in which the space-time is considered one worldsheet and its maps are studied. Instead of null-vectors of the symplectic 2-form, null-polyvectors of a higher-rank form on a finite-dimensional manifold are introduced. The action in this case is an integral of a differential form over a surface in the phase space. Such a method for obtaining the Hamiltonian mechanics from the Lagrange function is a generalization of the Legendre transformation. The condition that the value of the action and its extremals are preserved naturally determines this procedure.     

Hamilton系统下基于相位误差的精细辛算法

Hamilton系统是一类重要的动力系统，辛算法（如生成函数法、SRK法、SPRK法、多步法等）是针对Hamilton系统所设计的具有保持相空间辛结构不变或保Hamilton函数不变的算法.但是，时域上，同阶的辛算法与Runge-Kutta法具有相同的数值精度，即辛算法在计算过程中也存在相位误差，导致时域上解的数值精度不高.经过长时间计算后，计算结果在时域上也会变得“面目全非”.为了提高辛算法在时域上解的精度，将精细算法引入到辛差分格式中，提出了基于相位误差的精细辛算法（HPD-symplectic method），这种算法满足辛格式的要求，因此在离散过程中具有保Hamilton系统辛结构的优良特性.同时，由于精细化时间步长，极大地减小了辛算法的相位误差，大幅度提高了时域上解的数值精度，几乎可以达到计算机的精度，误差为O（10-13）.对于高低混频系统和刚性系统，常规的辛算法很难在较大的步长下同时实现对高低频精确仿真，精细辛算法通过精细计算时间步长，在大步长情况下，没有额外增加计算量，实现了高低混频的精确仿真.数值结果验证了此方法的有效性和可靠性.     

Star Product for Second-Class Constraint Systems from a BRST Theory

We propose an explicit construction of the deformation quantization of a general second-class constraint system that is covariant with respect to local coordinates on the phase space. The approach is based on constructing the effective first-class constraint (gauge) system equivalent to the original second-class constraint system and can also be understood as a far-reaching generalization of the Fedosov quantization. The effective gauge system is quantized by the BFV–BRST procedure. The star product for the Dirac bracket is explicitly constructed as the quantum multiplication of BRST observables. We introduce and explicitly construct a Dirac bracket counterpart of the symplectic connection, called the Dirac connection. We identify a particular star product associated with the Dirac connection for which the constraints are in the center of the respective star-commutator algebra. It is shown that when reduced to the constraint surface, this star product is a Fedosov star product on the constraint surface considered as a symplectic manifold.     

Hamiltonian spatial structure for three-dimensional water waves in a moving frame of reference

Summary The governing equations for three-dimensional time-dependent water waves in a moving frame of reference are reformulated in terms of the energy and momentum flux. The novelty of this approach is that time-independent motions of the system—that is, motions that are steady in a moving frame of reference—satisfy a partial differential equation, which is shown to be Hamiltonian. The theory of Hamiltonian evolution equations (canonical variables, Poisson brackets, symplectic form, conservation laws) is applied to the spatial Hamiltonian system derived for pure gravity waves. The addition of surface tension changes the spatial Hamiltonian structure in such a way that the symplectic operator becomes degenerate, and the properties of this generalized Hamiltonian system are also studied. Hamiltonian bifurcation theory is applied to the linear spatial Hamiltonian system for capillary-gravity waves, showing how new waves can be found in this framework.     

Relativistically Covariant Quantum Field Theory of the Maslov Complex Germ

We consider an explicitly covariant formulation of the quantum field theory of the Maslov complex germ (semiclassical field theory) in the example of a scalar field. The main object in the theory is the “semiclassical bundle” whose base is the set of classical states and whose fibers are the spaces of states of the quantum theory in an external field. The respective semiclassical states occurring in the Maslov complex germ theory at a point and in the theory of Lagrangian manifolds with a complex germ are represented by points and surfaces in the semiclassical bundle space. We formulate semiclassical analogues of quantum field theory axioms and establish a relation between the covariant semiclassical theory and both the Hamiltonian formulation previously constructed and the axiomatic field theory constructions Schwinger sources, the Bogoliubov S-matrix, and the Lehmann-Symanzik-Zimmermann R-functions. We propose a new covariant formulation of classical field theory and a scheme of semiclassical quantization of fields that does not involve a postulated replacement of Poisson brackets with commutators.__________Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 144, No. 3, pp. 492–512, September, 2005.     

Dynamics of symplectic fluids and point vortices

We present the Hamiltonian formalism for the Euler equation of symplectic fluids, introduce symplectic vorticity, and study related invariants. In particular, this allows one to extend Ebin’s long-time existence result for geodesics on the symplectomorphism group to metrics not necessarily compatible with the symplectic structure. We also study the dynamics of symplectic point vortices, describe their symmetry groups and integrability.     

BRST-Invariant Algebra of Constraints in Terms of Commutators and Quantum Antibrackets

We establish the general structure of the BRST-invariant algebra of constraints in its commutator and antibracket forms via the formulation of algebra-generating equations in a supplementally extended phase space. New ghost-type variables behave as fields and antifields with respect to quantum antibrackets. The explicit form of the BRST-invariant gauge algebra is given in detail for rank-one theories with a Weyl- and a Wick-ordered ghost sector. We construct a fixed-gauge unitarizing Hamiltonian and show that the formalism is physically equivalent to the standard BRST–BFV approach.     

Convexity of Multi-valued Momentum Maps

A famous theorem of Atiyah, Guillemin and Sternberg states that, given a Hamiltonian torus action, the image of the momentum map is a convex polytope. We prove that this result can be extended to the case in which the action is non-Hamiltonian. Our generalization of the theorem states that, given a symplectic torus action, the momentum map can be defined on an appropriate covering of the manifold and its image is the product of a convex polytope along a rational subspace times the orthogonal vector space. We also prove that this decomposition in direct product is stable under small equivariant perturbations of the symplectic structure; this, in particular, means that the property of being Hamiltonian is locally stable. The technique developed allows us to extend the result to any compact group action and also to deduce that any symplectic n-torus action, with fixed points, on a compact 2n-dimensional manifold, is Hamiltonian.     

Essential unitarization of symplectics and applications to field quantization

Symplectic operators satisfying generic and group-invariant (spectral) positivity conditions are studied; the theory developed is applied and illustrated to determine the unique invariant frequency decomposition (equivalently, linear quantization with invariant vacuum state) of the Klein-Gordon equation in non-static spacetimes. Let (H, Ω) be any linear topological symplectic space such that there exists a real-linear and topological isomorphism of H with some complex Hilbert space carrying Ω into the imaginary part of the scalar product. Then any bounded invertible symplectic S ∈ Sp(H) (resp. bounded infinitesimally symplectic A ∈ sp(H)) which satisfies $\text{Ω(Sv, v) > 0}$ (resp. $\text{Ω(Av, v) > 0}$) for all nonzero v ω H, where S + I is invertible, is realized uniquely and constructively as a unitary (resp. skewadjoint) operator in a complex Hilbert space which depends in general on the operator and typically only densely intersects H. The essentially unique weakly and uniformly closed invariant convex cones in sp(H) are determined, extending previously known results in the finite-dimensional case. A notion of “skew-adjoint extension” of a closed semi-bounded infinitesimally symplectic operator is defined, strictly including the usual notion of positive self-adjoint extension in a complex Hilbert space; all such skew-adjoint extensions are parametrized, as in the von Neumann or Birman-Krein-Vishik theories. Finally, the unique complex Hilbertian structure—formulated on the space of solutions of the covariant Klein-Gordon equation in generic conformal perturbations of flat space—is uniquely determined by invariance under the scattering operator. The invariant Hilbert structure is explicitly calculated to first order for an infinite-dimensional class of purely time-dependent metric perturbations, and higher-order contributions are rigorously estimated.     

Reissner板弯曲的辛求解体系

基于Reissner板弯曲问题的Hellinger-Reissner变分原理,通过引入对偶变量,导出Reissner板弯曲的Hamilton对偶方程组．从而将该问题导入到哈密顿体系,实现从欧几里德空间向辛几何空间,拉格朗日体系向哈密顿体系的过渡．于是在由原变量及其对偶变量组成的辛几何空间内,许多有效的数学物理方法如分离变量法和本征函数向量展开法等均可直接应用于Reissner板弯曲问题的求解．这里详细求解出Hamilton算子矩阵零本征值的所有本征解及其约当型本征解,给出其具体的物理意义．形成了零本征值本征向量之间的共轭辛正交关系．可以看到,这些零本征值的本征解是Saint-Venant问题所有的基本解,这些解可以张成一个完备的零本征值辛子空间．而非零本征值的本征解是圣维南原理所覆盖的部分．新方法突破了传统半逆解法的限制,有广阔的应用前景．     

吸湿老化影响下天然纤维增强复合圆柱壳屈曲分析的辛方法

针对一类天然纤维增强复合(natural fiber reinforced composite, NFRC)圆柱壳的屈曲问题展开研究,基于Reissner壳体理论和辛方法,建立了轴压NFRC圆柱壳在Hamilton体系下的屈曲控制方程。将原问题归结为辛空间下的辛本征问题,通过求解辛本征值和本征解可以直接获得高精度的临界载荷和解析的屈曲模态。数值算例分析了NFRC材料的吸湿老化过程对辛本征解表达式的影响,并详细讨论了老化时间、纤维含量和几何参数对NFRC圆柱壳屈曲行为的影响。     

Transformations of Feynman integrals under nonlinear transformations of the phase space

The Feynman measure is defined as a linear continuous functional on a test-function space (introduced in the paper). The functional is given by means of its Fourier transform. Not only a positive-definite correlation operator but also one without fixed sign is considered (the latter case corresponds to the so-called symplectic, or Hamiltonian, Feynman measure). The Feynman integral is the value of the Feynman measure on a function (in the test-function space). The effect on the Feynman measure of nonlinear transformations of the phase space in the form of shifts along vector fields or along integral curves of vector fields is described. Analogs of the well-known Cameron—Martin, Girsanov—Maruyama, and Ramer formulas in the theory of Gaussian measures are obtained. The results of the paper can be regarded as formulas for a change of variable in Feynman integrals.Moscow State University. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 100, No. 1, pp. 3–13, July, 1994.     

Regular reduction of controlled Hamiltonian system with symplectic structure and symmetry

In this paper, our goal is to study the regular reduction theory of regular controlled Hamiltonian (RCH) systems with symplectic structure and symmetry, and this reduction is an extension of regular symplectic reduction theory of Hamiltonian systems under regular controlled Hamiltonian equivalence conditions. Thus, in order to describe uniformly RCH systems defined on a cotangent bundle and on the regular reduced spaces, we first define a kind of RCH systems on a symplectic fiber bundle. Then we introduce regular point and regular orbit reducible RCH systems with symmetry by using momentum map and the associated reduced symplectic forms. Moreover, we give regular point and regular orbit reduction theorems for RCH systems to explain the relationships between RpCH-equivalence, RoCH-equivalence for reducible RCH systems with symmetry and RCH-equivalence for associated reduced RCH systems. Finally, as an application we regard rigid body and heavy top as well as them with internal rotors as the regular point reducible RCH systems on the rotation group SO(3) and on the Euclidean group SE(3), as well as on their generalizations, respectively, and discuss their RCH-equivalence. We also describe the RCH system and RCH-equivalence from the viewpoint of port Hamiltonian system with a symplectic structure.     

The Magnetic Geodesic Flow in a Homogeneous Field on the Complex Projective Space

We prove commutative integrability of the Hamilton system on the tangent bundle of the complex projective space whose Hamiltonian coincides with the Hamiltonian of the geodesic flow and the Poisson bracket deforms due to addition of the Fubini–Study form to the standard symplectic form.     

两种材料组成的弹性楔的佯谬解

从Hellinger-Reissner变分原理出发,通过引入适当的变换可以将两种材料组成的弹性楔问题导入极坐标哈密顿体系,从而可以在由原变量和其对偶变量组成的辛几何空间,利用分离变量法和辛本征向量展开法求解该问题的解。在极坐标哈密顿体系下的所有辛本征值中,本征值-1是一个特殊的本征值。一般情况下本征值-1为单本征值,求解其对应的基本本征函数向量就直接给出了顶端受有集中力偶的经典弹性力学解。但当两种材料的顶角和弹性模量满足特殊关系时,本征值-1成为重本征值,同时经典弹性力学解的应力分量变成无穷大,即出现佯谬。此时重本征值-1存在约当型本征解,通过对该特殊约当型本征解的直接求解就给出了两种材料组成的弹性楔顶端受有集中力偶的佯谬问题的解。结果进一步表明经典弹性力学中弹性楔的佯谬解对应的就是极坐标哈密顿体系的约当型解。     

The Symplectic Study of Motions in a Perturbed Van-Der-Pol Dynamical System

We study a weakly perturbed van-der-Pol dynamical system and the structure of its trajectory behavior via the modern symplectic theory. Based on a Samoilenko–Prykarpatsky method of studying integral submanifolds of weakly perturbed completely integrable Hamiltonian systems, we prove the regularity of deformations of the Lagrangian asymptotic submanifolds in a vicinity of the hyperbolic periodic orbit.     

多尺度辛格式求解复杂介质波传问题

在哈密顿体系中引入小波分析,利用辛格式和紧支正交小波对波动方程的时、空间变量进行联合离散近似,构造了多尺度辛格式——MSS（Multiresolution Symplectic Scheme）．将地震波传播问题放在小波域哈密顿体系下的多尺度辛几何空间中进行分析,利用小波基与辛格式的特性,有效改善了计算效率,可解决波动力学长时模拟追踪的稳定性与逼真性．     

Hitchin System on Singular Curves

We study the Hitchin system on singular curves. We consider curves obtainable from the projective line by matching at several points or by inserting cusp singularities. It appears that on such singular curves, all basic ingredients of Hitchin integrable systems (moduli space of vector bundles, dualizing sheaf, Higgs field, etc.) can be explicitly described, which can be interesting in itself. Our main result is explicit formulas for the Hitchin Hamiltonians. We also show how to obtain the Hitchin integrable system on such curves by Hamiltonian reduction from a much simpler system on a finite-dimensional space. We pay special attention to a degenerate curve of genus two for which we find an analogue of the Narasimhan–Ramanan parameterization of the moduli space of SL(2) bundles as well as the explicit expressions for the symplectic structure and Hitchin-system Hamiltonians in these coordinates. We demonstrate the efficiency of our approach by rederiving the rational and trigonometric Calogero–Moser systems, which are obtained from Hitchin systems on curves with a marked point and with the respective cusp and node.     

Proper groupoids and momentum maps: Linearization, affinity, and convexity

We show that proper Lie groupoids are locally linearizable. As a consequence, the orbit space of a proper Lie groupoid is a smooth orbispace (a Hausdorff space which locally looks like the quotient of a vector space by a linear compact Lie group action). In the case of proper (quasi-)symplectic groupoids, the orbit space admits a natural integral affine structure, which makes it into an affine orbifold with locally convex polyhedral boundary, and the local structure near each boundary point is isomorphic to that of a Weyl chamber of a compact Lie group. We then apply these results to the study of momentum maps of Hamiltonian actions of proper (quasi-)symplectic groupoids, and show that these momentum maps preserve natural transverse affine structures with local convexity properties. Many convexity theorems in the literature can be recovered from this last statement and some elementary results about affine maps.