Covariance in linearized elasticity

In this paper we covariantly obtain all the governing equations of linearized elasticity. Our motivation is to see if one can make a connection between invariance (covariance) properties of the (global) balance of energy in nonlinear elasticity and those of its counterpart in linear elasticity. We start by proving a Green-Naghdi-Rivilin theorem for linearized elasticity. We do this by first linearizing energy balance about a given reference motion and then by postulating its invariance under isometries of the Euclidean ambient space. We also investigate the possibility of covariantly deriving a linearized elasticity theory, without any reference to the local governing equations, e.g. local balance of linear momentum. In particular, we study the consequences of linearizing covariant energy balance and covariance of linearized energy balance. We show that in both cases, covariance gives all the field equations of linearized elasticity.      

Multisymplectic Lie group variational integrator for a geometrically exact beam in R3

In this paper we develop, study, and test a Lie group multisymplectic integrator for geometrically exact beams based on the covariant Lagrangian formulation. We exploit the multisymplectic character of the integrator to analyze the energy and momentum map conservations associated to the temporal and spatial discrete evolutions.     

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.     

Reduced Variational Formulations in Free Boundary Continuum Mechanics

We present the material, spatial, and convective representations for elasticity and fluids with a free boundary from the Lagrangian reduction point of view, using the material and spatial symmetries of these systems. The associated constrained variational principles are formulated and the resulting equations of motion are deduced. In addition, we introduce general free boundary continua that contain both elasticity and free boundary hydrodynamics, extend for them various classical notions, and present the constrained variational principles and the equations of motion in the three representations.     

The Geometry of Systems of Third Order Differential Equations Induced by Second Order Regular Lagrangians

A system of third order differential equations, whose coefficients do not depend explicitly on time, can be viewed as a third order vector field, which is called a semispray, and lives on the second order tangent bundle. We prove that a regular second order Lagrangian induces such a semispray, which is uniquely determined by two associated Poincaré-Cartan one-forms. To study the geometry of this semispray, we construct a horizontal distribution, which is a Lagrangian subbundle for an associated Poincaré-Cartan two-form. Using this semispray and the associated nonlinear connection we define dynamical covariant derivatives of first and second order. With respect to this, the second order dynamical derivative of the Lagrangian metric tensor vanishes.     

Conformal covariance of the Abelian sandpile height one field

We study the scaling limit for the height one field of the two-dimensional Abelian sandpile model. The scaling limit for the covariance having height one at two macroscopically distant sites, more generally the centred height one joint moment of a finite number of macroscopically distant sites, is identified and shown to be conformally covariant. The result is based on a representation of the height one joint intensities that is close to a block-determinantal structure.     

Radiation Back-Reaction and Renormalization in Classical Field Theory with Singular Sources

We propose a general covariant method for regularizing the radiation back-reaction in linear and nonlinear field theory models with singular sources. Typical examples of such sources are the currents produced by extended relativistic objects (branes). As an illustration, we consider the models of minimal and nonminimal coupling of a brane to an n-form gauge field, a scalar field, and the Einstein gravity field. We find the structure of divergent and finite contributions due to the radiation back-reaction and obtain relations for the parameters of the theory ensuring cancellation of divergences. We prove that the divergences are Lagrangian n the case where the metric induced on the brane surface is nondegenerate. We find special types of a (nonminimal) coupling leading to local and Lagrangian effective equations of motion of the brane. We show that the requirement for classical renormalizability imposes strong restrictions on the self-coupling vertices of the field, similar to the quantum renormalizability conditions. In particular, we establish the nonrenormalizability of the gravitational self-coupling of a codimension-(k>2) brane, whereas for k ≤ 2, the theory becomes not only renormalizable but also finite.__________Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 143, No. 3, pp. 375–400, June, 2005.     

Electric–Magnetic Duality and WDVV Equations

We consider the associativity (or WDVV) equations as they appear in the Seiberg–Witten theory and prove that they are covariant under general electric–magnetic duality transformations. We discuss the consequences of this covariance from various perspectives.     

Quantum Field Theory on Affine Bundles

We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory, which allows us to prove that these models satisfy the principle of general local covariance. Our analysis is a preparatory step towards a full-fledged quantization scheme for the Maxwell field, which emphasises the affine bundle structure of the bundle of principal U(1)-connections. As a by-product, our construction provides a new class of exactly tractable locally covariant quantum field theories, which are a mild generalization of the linear ones. We also show the existence of a functorial assignment of linear quantum field theories to affine ones. The identification of suitable algebra homomorphisms enables us to induce whole families of physical states (satisfying the microlocal spectrum condition) for affine quantum field theories by pulling back quasi-free Hadamard states of the underlying linear theories.     

Dynamical Locality of the Free Maxwell Field

The extent to which the non-interacting and source-free Maxwell field obeys the condition of dynamical locality is determined in various formulations. Starting from contractible globally hyperbolic spacetimes, we extend the classical field theory to globally hyperbolic spacetimes of arbitrary topology in two ways, obtaining a ‘universal’ theory and a ‘reduced’ theory of the classical free Maxwell field and their corresponding quantisations. We show that the classical and the quantised universal theory fail local covariance and dynamical locality owing to the possibility of having non-trivial radicals in the classical pre-symplectic spaces and non-trivial centres in the quantised *-algebras. The classical and the quantised reduced theory are both locally covariant and dynamically local, thus closing a gap in the discussion of dynamical locality and providing new examples relevant to the question of how theories should be formulated so as to describe the same physics in all spacetimes.     

Legendre–Fenchel duality in elasticity

We show that the displacement and strain formulations of the displacement–traction problem of three-dimensional linearized elasticity can be viewed as Legendre–Fenchel dual problems to the stress formulation of the same problem. We also show that each corresponding Lagrangian has a saddle-point, thus fully justifying this new approach to elasticity by means of Legendre–Fenchel duality.     

Necessary Covariance Conditions for a One-Field Lax Pair

We study the covariance with respect to Darboux transformations of polynomial differential and difference operators with coefficients given by functions of one basic field. In the scalar (Abelian) case, the functional dependence is established by equating the Frechet differential (the first term of the Taylor series on the prolonged space) to the Darboux transform; a Lax pair for the Boussinesq equation is considered. For a pair of generalized Zakharov-Shabat problems (with differential and shift operators) with operator coefficients, we construct a set of integrable nonlinear equations together with explicit dressing formulas. Non-Abelian special functions are fixed as the fields of the covariant pairs. We introduce a difference Lax pair, a combined gauge-Darboux transformation, and solutions of the Nahm equations.__________Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 144, No. 1, pp. 122–132, July, 2005.     

Non-classical laws with conserved quantities from the arbitrary functions included in general solution to elasticity and application

The general solution to static and/or dynamic linear elasticity is a transformation between the displacements and new arbitrary functions, whose conservativeness depends on some independent partial differential equations (PDEs) satisfied by the new arbitrary functions. Zhang's general solutions are mathematically appropriate since the displacements are expressed in terms of two new arbitrary functions, and the sum of the highest order derivative added together from the independent PDEs satisfied by the two new arbitrary functions is the same as that of Navier–Cauchy equations. Therefore, the following points should be emphasized: (i) the independent PDEs come from the Laplace and D'Alembert operators acting on the two new arbitrary functions in static and dynamic general solutions, respectively, and it is found that the two new arbitrary functions are related to the rotations, first strain invariant and distortion; (ii) especially, conservation laws constructed from the equations satisfied by the spatial integrals of functions hold true, although some arbitrary functions of the spatial integrals have been canceled. Based on these facts, since Noether's identity not only can be applied to a Lagrangian but also can be used to construct a functional for widespread PDEs, the functionals relating to the rotations, first strain invariant and distortion are constructed with arbitrary integer order spatial derivative or integral, and the conservation laws follow. This kind of non-classical conservation laws does not come from the Lagrangian density of an elastic body and belongs to the deep-level natures of symmetries of elastic field derived by standard techniques. Availability is shown by two examples, from which the field intensity of a vertical load applied to the surface of an elastic half-space and the path-independent integrals in a coordinate system moving with Galilean transformation are presented for comparison.     

Quasi-arithmetic means of covariance functions with potential applications to space–time data

The theory of quasi-arithmetic means represents a powerful tool in the study of covariance functions across space–time. In the present study we use quasi-arithmetic functionals to make inferences about the permissibility of averages of functions that are not, in general, permissible covariance functions. This is the case, e.g., of the geometric and harmonic averages, for which we obtain permissibility criteria. Also, some important inequalities involving covariance functions and preference relations as well as algebraic properties can be derived by means of the proposed approach. In particular, quasi-arithmetic covariances allow for ordering and preference relations, for a Jensen-type inequality and for a minimal and maximal element of their class. The general results shown in this paper are then applied to the study of spatial and spatio-temporal random fields. In particular, we discuss the representation and smoothness properties of a weakly stationary random field with a quasi-arithmetic covariance function. Also, we show that the generator of the quasi-arithmetic means can be used as a link function in order to build a space–time nonseparable structure starting from the spatial and temporal margins, a procedure that is technically sound for those working with copulas. Several examples of new families of stationary covariances obtainable with this procedure are shown. Finally, we use quasi-arithmetic functionals to generalise existing results concerning the construction of nonstationary spatial covariances, and discuss the applicability and limits of this generalisation.     

Uzawa block relaxation method for the unilateral contact problem

We present a Uzawa block relaxation method for the numerical resolution of contact problems with or without friction, between elastic solids in small deformations. We introduce auxiliary unknowns to separate the linear elasticity subproblem from the unilateral contact and friction conditions. Applying a Uzawa block relaxation method to the corresponding augmented Lagrangian functional yields a two-step iterative method with a linear elasticity problem as a main subproblem while auxiliary unknowns are computed explicitly. Numerical experiments show that the method are robust and scalable with a significant saving of computational time.     

Covariance tapering for prediction of large spatial data sets in transformed random fields

The best linear unbiased predictor (BLUP) is called a kriging predictor and has been widely used to interpolate a spatially correlated random process in scientific areas such as geostatistics. However, if an underlying random field is not Gaussian, the optimality of the BLUP in the mean squared error (MSE) sense is unclear because it is not always identical with the conditional expectation. Moreover, in many cases, data sets in spatial problems are often so large that a kriging predictor is impractically time-consuming. To reduce the computational complexity, covariance tapering has been developed for large spatial data sets. In this paper, we consider covariance tapering in a class of transformed Gaussian models for random fields and show that the BLUP using covariance tapering, the BLUP and the optimal predictor are asymptotically equivalent in the MSE sense if the underlying Gaussian random field has the Matérn covariance function.     

Dynamical Locality and Covariance: What Makes a Physical Theory the Same in all Spacetimes?

The question of what it means for a theory to describe the same physics on all spacetimes (SPASs) is discussed. As there may be many answers to this question, we isolate a necessary condition, the SPASs property, that should be satisfied by any reasonable notion of SPASs. This requires that if two theories conform to a common notion of SPASs, with one a subtheory of the other, and are isomorphic in some particular spacetime, then they should be isomorphic in all globally hyperbolic spacetimes (of given dimension). The SPASs property is formulated in a functorial setting broad enough to describe general physical theories describing processes in spacetime, subject to very minimal assumptions. By explicit constructions, the full class of locally covariant theories is shown not to satisfy the SPASs property, establishing that there is no notion of SPASs encompassing all such theories. It is also shown that all locally covariant theories obeying the time-slice property possess two local substructures, one kinematical (obtained directly from the functorial structure) and the other dynamical (obtained from a natural form of dynamics, termed relative Cauchy evolution). The covariance properties of relative Cauchy evolution and the kinematic and dynamical substructures are analyzed in detail. Calling local covariant theories dynamically local if their kinematical and dynamical local substructures coincide, it is shown that the class of dynamically local theories fulfills the SPASs property. As an application in quantum field theory, we give a model independent proof of the impossibility of making a covariant choice of preferred state in all spacetimes, for theories obeying dynamical locality together with typical assumptions.     

Isogeny Covariant Differential Modular Forms Modulo p

An interesting theory arises when the classical theory of modular forms is expanded to include differential analogs of modular forms. One of the main motivations for expanding the theory of modular forms is the existence of differential modular forms with a remarkable property, called isogeny covariance, that classical modular forms cannot possess. Among isogeny covariant differential modular forms there exists a particular modular form that plays a central role in the theory. The main result presented in the article will be the explicit computation modulo p of this fundamental isogeny covariant differential modular form.