Maslov Complex Germ Method for Systems with First-Class Constraints

We develop the semiclassical mechanics of systems with first-class constraints. A convenient quantization method is the method based on modifying the inner product used in the theory. We consider semiclassical states of the wave-packet type (with small indeterminacies in both coordinates and momenta) that appear in the theory of the Maslov complex germ at a point. We show that these states have a nonzero norm only if the classical coordinates and momenta lie on the constraint surface. The set of semiclassical states of the wave-packet type forms a (semiclassical) bundle whose base is the set of admissible classical states and whose fibers are function spaces determining the form of the wave packet. In some cases, the difference between two semiclassical states has a zero norm; it is therefore possible to introduce the gauge equivalence relation. The semiclassical gauge transformations that are automorphisms of the semiclassical bundle form a Batalin quasigroup. We also study the action of semiclassical observables and of semiclassical evolution transformations. We show that they preserve the norm and the gauge equivalence relation and that the observables coinciding on the constraint surface act on semiclassical states similarly up to the gauge invariance.     

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.     

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.     

Gutzwiller’s semiclassical trace formula and Maslov-type index theory for symplectic paths

Gutzwiller’s famous semiclassical trace formula plays an important role in theoretical and experimental quantum mechanics with tremendous success. We review the physical derivation of this deep periodic orbit theory in terms of the phase space formulation with a view toward the Hamiltonian dynamical systems. The Maslov phase appearing in the trace formula is clarified by Meinrenken as Conley–Zehnder index for periodic orbits of Hamiltonian systems. We also survey and compare various versions of Maslov indices to establish this fact. A refinement and improvement to Conley–Zehnder’s index theory in which we will recall all essential ingredients is the Maslov-type index theory for symplectic paths developed by Long and his collaborators. It would shed new light on the computations and understandings of the semiclassical trace formula. The insights in Gutzwiller’s work also seems plausible for the studies of Hamiltonian systems.     

Reduction to the Surface of Second-Class Constraints

We propose a recursive procedure that, for given second-class constraints, permits explicitly constructing equivalent constraints and a canonical transformation such that the Dirac bracket is reduced to the Poisson bracket on the constraint surface.     

The semiclassical structure of low-energy states in the presence of a magnetic field

We consider a compact Riemannian manifold with a Hermitian line bundle whose curvature is non-degenerate. The Laplacian acting on high tensor powers (the semiclassical regime) of the bundle exhibits a cluster of low-energy states. We demonstrate that the orthogonal projectors onto these states are the Fourier components of an operator with the structure of the Szegö projector, i.e. a Fourier integral operator of Hermite type. This result yields semiclassical asymptotics for the low-energy eigenstates.

     

Semiclassical Analysis for Magnetic Scattering by Two Solenoidal Fields: Total Cross Sections

The fact that vector potentials have a direct significance to quantum particles moving in magnetic fields is known as the Aharonov–Bohm effect (A–B effect). We study this quantum effect through the semiclassical analysis on total cross sections in the magnetic scattering by two solenoidal (point-like) fields with total flux vanishing in two dimensions. We derive the asymptotic formula with first three terms. The system with two parallel fields seems to be important in practical aspects as well as in theoretical aspects, because it may be thought of a toroidal solenoid with zero cross section in three dimensions under the idealization that the two fields connect at infinity in their direction. The corresponding classical mechanical system has the trajectory oscillating between two centers of fields. The special emphasis is placed on analyzing how the trapping effect from classical mechanics is related to the A–B quantum effect in the semiclassical asymptotic formula. Submitted: September 3, 2006. Accepted: January 10, 2007.     

Asymptotic estimates for reachable sets of singularly perturbed linear systems

We study the limit behavior of the reachable set for singularly perturbed nonautonomous linear systems with geometric control constraints. We assume that the system is stable in the fast variables and its coefficients are Lipschitz functions of time. We obtain estimates for the convergence rate as the small parameter tends to zero.     

Bigravity in the Kuchař Hamiltonian formalism: The general case

We develop the Hamiltonian formalism of bigravity and bimetric theories for the general form of the interaction potential of two metrics. When studying the role of lapse and shift functions in theories with two metrics, we naturally use the Kucha? formalism in which these functions are independent of the choice of the space-time coordinate system. We find conditions on the potential necessary and sufficient for the existence of four first-class constraints. These constraints realize a well-known hypersurface deformation algebra in the framework of the formalism of Dirac brackets constructed on the base of all second-class constraints. Fixing one of the metrics, we obtain a bimetric theory not containing first-class constraints. Conserved quantities corresponding to symmetries of the background metric can then be expressed ultralocally in terms of the metric interaction potential.     

Analysis of the motion of a non-holonomic mechanical system

The motion of a plane non-holonomic mechanical system, consisting of two point masses, which move in such a way that their velocities are mutually perpendicular, is analysed [Zekovi? D. Examples of non-linear non-holonomic constraints in classical mechanics. Vestnik MGU. Ser. 1. Matematika Mekhanika, 1991; 1:100–3]. The equations of the constraints of such a system are derived, the reactions of the constraints are calculated and the cyclical first integrals are written.     

An iterative Bregman regularization method for optimal control problems with inequality constraints

We study an iterative regularization method of optimal control problems with control constraints. The regularization method is based on generalized Bregman distances. We provide convergence results under a combination of a source condition and a regularity condition on the active sets. We do not assume attainability of the desired state. Furthermore, a priori regularization error estimates are obtained.     

Some Facts about the Ramsey Model

In modeling the dynamics of capital, the Ramsey equation coupled with the Cobb–Douglas production function is reduced to a linear differential equation by means of the Bernoulli substitution. This equation is used in the optimal growth problem with logarithmic preferences. The study deals with solving the corresponding infinite horizon optimal control problem. We consider a vector field of the Hamiltonian system in the Pontryagin maximum principle, taking into account control constraints. We prove the existence of two alternative steady states, depending on the constraints. This result enriches our understanding of the model analysis in the optimal control framework.     

Semiclassical determination of exponentially small intermode transitions for 1 + 1 spacetime scattering systems

We consider the semiclassical limit of systems of autonomous PDEs in 1 + 1 spacetime dimensions in a scattering regime. We assume the matrix‐valued coefficients are analytic in the space variable, and we further suppose that the corresponding dispersion relation admits real‐valued modes only with one‐dimensional polarization subspaces. Hence a BKW‐type analysis of the solutions is possible. We typically consider time‐dependent solutions to the PDE that are carried asymptotically in the past and as x → ?∞ along one mode only and determine the piece of the solution that is carried for x → +∞ along some other mode in the future. Because of the assumed nondegeneracy of the modes, such transitions between modes are exponentially small in the semiclassical parameter; this is an expression of the Landau‐Zener mechanism. We completely elucidate the spacetime properties of the leading term of this exponentially small wave, when the semiclassical parameter is small, for large values of x and t, when some avoided crossing of finite width takes place between the involved modes. © 2006 Wiley Periodicals, Inc.     

Optimization in “self‐modeling” complex adaptive systems

When a dynamical system with multiple point attractors is released from an arbitrary initial condition, it will relax into a configuration that locally resolves the constraints or opposing forces between interdependent state variables. However, when there are many conflicting interdependencies between variables, finding a configuration that globally optimizes these constraints by this method is unlikely or may take many attempts. Here, we show that a simple distributed mechanism can incrementally alter a dynamical system such that it finds lower energy configurations, more reliably and more quickly. Specifically, when Hebbian learning is applied to the connections of a simple dynamical system undergoing repeated relaxation, the system will develop an associative memory that amplifies a subset of its own attractor states. This modifies the dynamics of the system such that its ability to find configurations that minimize total system energy, and globally resolve conflicts between interdependent variables, is enhanced. Moreover, we show that the system is not merely “recalling” low energy states that have been previously visited but “predicting” their location by generalizing over local attractor states that have already been visited. This “self‐modeling” framework, i.e., a system that augments its behavior with an associative memory of its own attractors, helps us better understand the conditions under which a simple locally mediated mechanism of self‐organization can promote significantly enhanced global resolution of conflicts between the components of a complex adaptive system. We illustrate this process in random and modular network constraint problems equivalent to graph coloring and distributed task allocation problems. © 2010 Wiley Periodicals, Inc. Complexity 16: 17–26, 2011     

Effects of permeability and viscosity in linear polymeric gels

We propose and analyze a mathematical model of the mechanics of gels, consisting of the laws of balance of mass and linear momentum of the polymer and liquid components of the gel. We consider a gel to be an immiscible and incompressible mixture of a nonlinearly elastic polymer and a fluid. The problems that we study are motivated by predictions of the life cycle of body‐implantable medical devices. Scaling arguments suggest neglecting inertia terms, and therefore, we consider the quasi‐static approximation to the dynamics. We focus on the linearized system about stress‐free states, uniform expansions, and compressions and derive sufficient conditions for the solvability of the time‐dependent problems. These turn out to be conditions that guarantee local stability of the equilibrium solutions. We also consider non‐stress free equilibria and states with residual stress and derive an energy law for the corresponding time‐dependent system. The conditions that guarantee stability of solutions provide a selection criteria of the material parameters of devices. The boundary conditions that we consider are of two types, displacement‐traction and permeability of the gel surface to the fluid. We address the cases of viscous and inviscid solvent, assume Newtonian dissipation for the polymer component, and establish existence of weak solutions for the different boundary permeability conditions and viscosity assumptions. We present two‐dimensional, finite element numerical simulations to study stress concentration on edges, this being the precursor to debonding of the gel from its substrate. Copyright © 2015 John Wiley & Sons, Ltd.     

External Estimates for Reachable Sets of a Control System with Uncertainty and Combined Nonlinearity

The problem of estimating the trajectory tubes of a nonlinear control dynamic system with uncertainty in the initial data is studied. It is assumed that the dynamic system has a special structure in which the nonlinear terms are defined by quadratic forms in the state coordinates and the values of uncertain initial states and admissible controls are subject to ellipsoidal constraints. The matrix of the linear terms in the velocities of the system is not known exactly; it belongs to a given compact set in the corresponding space. Thus, the dynamics of the system is complicated by the presence of bilinear components in the righthand sides of the differential equations of the system. We consider a complicated case and generalize the author’s earlier results. More exactly, we assume the simultaneous presence in the dynamics of the system of bilinear functions and quadratic forms (without the assumption of their positive definiteness) and we also take into account the uncertainty in the initial data and the impact of the control actions, which may also be treated here as undefined additive disturbances. The presence of all these factors greatly complicates the study of the problem and requires an adequate analysis, which constitutes the main purpose of this study. The paper presents algorithms for estimating the reachable sets of a nonlinear control system of this type. The results are illustrated by examples.     

Quantum decay rates in chaotic scattering

We study quantum scattering on manifolds equivalent to the Euclidean space near infinity, in the semiclassical regime. We assume that the corresponding classical flow admits a non-trivial trapped set, and that the dynamics on this set is of Axiom A type (uniformly hyperbolic). We are interested in the distribution of quantum resonances near the real axis. In two dimensions, we prove that, if the trapped set is sufficiently “thin”, then there exists a gap between the resonances and the real axis (that is, quantum decay rates are bounded from below). In higher dimension, the condition for this gap is given in terms of a certain topological pressure associated with the classical flow. Under the same assumption, we also prove a resolvent estimate with a logarithmic loss compared to non-trapping situations.     

Volterra series approximation for rational nonlinear system

Rational nonlinear systems are widely used to model the phenomena in mechanics, biology, physics and engineering. However, there are no exact analytical solutions for rational nonlinear system. Hence, the approximate analytical solutions are good choices as they can give the estimation of the states for system analysis, controller design and reduction. In this paper, an approximate analytical solution for rational nonlinear system is derived in terms of the solution of a polynomial system by Volterra series theory. The rational nonlinear system is transformed to a singular polynomial system with finite terms by adding some algebraic constraints related to the rational terms. The analytical solution of singular polynomial system is approximated by the summation of the solutions of Volterra singular subsystems. Their analytical solutions are derived by a novel regularization algorithm. The first fourth Volterra subsystems are enough to approximate the analytical solution to guarantee the accuracy. Results of numerical experiments are reported to show the effectiveness of the proposed method.     

Semiclassical asymptotic approximations and the density of states for the two-dimensional radially symmetric Schrödinger and Dirac equations in tunnel microscopy problems

We consider the two-dimensional stationary Schrödinger and Dirac equations in the case of radial symmetry. A radially symmetric potential simulates the tip of a scanning tunneling microscope. We construct semiclassical asymptotic forms for generalized eigenfunctions and study the local density of states that corresponds to the microscope measurements. We show that in the case of the Dirac equation, the tip distorts the measured density of states for all energies.     

A global attractor for a fluid–plate interaction model accounting only for longitudinal deformations of the plate

We study asymptotic dynamics of a coupled system consisting of linearized 3D Navier–Stokes equations in a bounded domain and the classical (nonlinear) elastic plate equation for in‐plane motions on a flexible flat part of the boundary. The main novelty of the model is the assumption that the transversal displacements of the plate are negligible relative to in‐plane displacements. These kinds of models arise in the study of blood flows in large arteries. Our main result states the existence of a compact global attractor of finite dimension. Under some conditions this attractor is an exponentially attracting single point. We also show that the corresponding linearized system generates an exponentially stable C₀‐semigroup. We do not assume any kind of mechanical damping in the plate component. Thus our results mean that dissipation of the energy in the fluid because of viscosity is sufficient to stabilize the system. Copyright © 2011 John Wiley & Sons, Ltd.