In this paper we discussed the self-adjointness of the Maxwell's equations with variable coefficients $ε$ and $μ$. Three different Lagrangian are attained. By the Legendre transformation, a multisymplectic Bridge's (Hamilton) form is obtained. Based on the multisymplectic structure, the multisymplectic conservation law of the system is derived and a nine-point Preissman multisymplectic scheme which preserve the multisymplectic conservation law is given for the Maxwell's equations in an inhomogeneous, isotropic and lossless medium. At last a numerical example is illustrated.
The multisymplectic structure of the KP equation is obtained directly from the variational principal. Using the covariant De Donder-Weyl Hamilton function theories, we reformulate the KP equation to the multisymplectic form which proposed by Bridges. From the multisymplectic equation, we can derive a multisymplectic numerical scheme of the KP equation which can be simplified to multisymplectic forty-five points scheme.
Multisymplectic geometry is an adequate formalism to geometrically describe first order classical field theories. The De Donder-Weyl equations are treated in the framework of multisymplectic geometry, solutions are identified as integral manifolds of Hamiltonean multivectorfields. In contrast to mechanics, solutions cannot be described by points in the multisymplectic phase space. Foliations of the configuration space by solutions and a multisymplectic version of Hamilton-Jacobi theory are also discussed.
Multisymplectic geometry - which originates from the well known de Donder-Weyl theory - is a natural framework for the study of classical field theories. Recently, two algebraic structures have been put forward to encode a given theory algebraically. Those structures are formulated on finite dimensional spaces, which seems to be surprising at first. In this article, we investigate the correspondence of Hamiltonian functions and certain antisymmetric tensor products of vector fields. The latter turn out to be the proper generalisation of the Hamiltonian vector fields of classical mechanics. Thu…
We utilize Spin(7) identities to prove that the Cayley four-form associated to a torsion-free Spin(7)-Structure is non-degenerate in the sense of multisymplectic geometry. Therefore, Spin(7) geometry may be treated as a special case of multisymplectic geometry. We then capitalize on this relationship to make statements about Hamiltonian multivector fields and differential forms associated to torsion-free Spin(7)-Structures.
Given a multisymplectic manifold $(M,ω)$ and a Lie algebra $\frak{g}$ acting on it by infinitesimal symmetries, Fregier-Rogers-Zambon define a homotopy (co-)moment as an $L_{\infty}$-algebra-homomorphism from $\frak{g}$ to the observable algebra $L(M,ω)$ associated to $(M,ω)$, in analogy with and generalizing the notion of a co-moment map in symplectic geometry. We give a cohomological characterization of existence and unicity for homotopy co-moment maps and show its utility in multisymplectic geometry by applying it to special cases as exact multisymplectic manifolds and simple Lie groups and…
A vertical exterior derivative is constructed that is needed for a graded Poisson structure on multisymplectic manifolds over nontrivial vector bundles. In addition, the properties of the Poisson bracket are proved and first examples are discussed.
We extend Noether's theorem to the setting of multisymplectic geometry by exhibiting a correspondence between conserved quantities and continuous symmetries on a multi-Hamiltonian system. We show that a homotopy co-momentum map interacts with this correspondence in a way analogous to the moment map in symplectic geometry. We apply our results to generalize the theory of the classical momentum and position functions from the phase space of a given physical system to the multisymplectic phase space. We also apply our results to manifolds with a torsion-free $G_2$ structure.
This note provides an overview of the notion of observable within the setting of multisymplectic geometry. We essentially follow the ideas described by F. Hélein and J. Kouneiher [17] [18] [19] and in particular in keeping with the approach developed in [16]. The following discussion should be considered as a synthesis of the principal motives and results presented in those writings. This note is a contribution to the Frontiers of Fundamental Physics (FFP11) Conference Proceedings.
In the jet bundle description of Field Theories (multisymplectic models, in particular), there are several choices for the multimomentum bundle where the covariant Hamiltonian formalism takes place. As a consequence, several proposals for this formalism can be stated, and, on each one of them, the differentiable structures needed for setting the formalism are obtained in different ways. In this work we make an accurate study of some of these Hamiltonian formalisms, showing their equivalence. In particular, the geometrical structures (canonical or not) needed for the Hamiltonian formalism, are …
A notion of orthogonality in multisymplectic geometry has been developed by Cantrijn, Ibort and de León and used by many authors. In this paper, we review this concept and propose a new type of orthogonality in multisymplectic geometry; we prove a number of results regarding this orthogonality and its associated subspaces. We end by calculating the various subspaces of a G_2-vector space based on both types of orthogonality.
Many physically important mechanical systems may be described with a Lie group $G$ as configuration space. According to the well-known Noether's theorem, underlying symmetries of the Lie group may be used to considerably reduce the complexity of the problems. However, these reduction techniques, used without care for general problems (waves, field theory), may lead to uncomfortable infinite dimensional spaces. As an alternative, the \emph{covariant} formulation allows to consider a finite dimensional configuration space by increasing the number of independent variables. But the geometric eleme…
In this article, we treat G_2-geometry as a special case of multisymplectic geometry and make a number of remarks regarding Hamiltonian multivector fields and Hamiltonian differential forms on manifolds with an integrable G_2-structure; in particular, we discuss existence and make a number of identifications of the spaces of Hamiltonian structures associated to the two multisymplectic structures associated to an integrable G_2-structure. Along the way, we prove some results in multisymplectic geometry that are generalizations of results from symplectic geometry.
This paper presents a generalization of symplectic geometry to a principal bundle over the configuration space of a classical field. This bundle, the vertically adapted linear frame bundle, is obtained by breaking the symmetry of the full linear frame bundle of the field configuration space, and it inherits a generalized symplectic structure from the full frame bundle. The geometric structure of the vertically adapted frame bundle admits vector-valued field observables and produces vector-valued Hamiltonian vector fields, from which we can define a Poisson bracket on the field observables. We …
A manifold is multisymplectic, or more specifically n-plectic, if it is equipped with a closed nondegenerate differential form of degree n+1. In our previous work with Baez and Hoffnung, we described how the `higher analogs' of the algebraic and geometric structures found in symplectic geometry should naturally arise in 2-plectic geometry. In particular, we showed that just as a symplectic manifold gives a Poisson algebra of functions, any 2-plectic manifold gives a Lie 2-algebra of 1-forms and functions. Lie n-algebras are examples of L-infinity algebras: graded vector spaces which are equipp…
This note provides a detailed treatment of the Multisymplectic Maxwell theory through the general setting developed in [24] [26] [27]. In particular we explore the DeDonder-Weyl theory, the question of algebraic and dynamical observable forms, the copolarization process related to the good search of canonical forms. Finally, we give - for the two dimensional case - some indications for the construction of the higher Lepage-Dedecker correspondence, in the context of the underlying Grassmannian viewpoint.
This paper presents generalized momentum mappings for covariant Hamiltonian field theories. The new momentum mappings arise from a generalization of symplectic geometry to $L_VY$, the bundle of vertically adapted linear frames over the bundle of field configurations $Y$. Specifically, the generalized field momentum observables are vector-valued momentum mappings on the vertically adapted frame bundle generated from automorphisms of $Y$. The generalized symplectic geometry on $L_VY$ is a covering theory for multisymplectic geometry on the multiphase space $Z$, and it follows that the field mome…
In this paper the notion of Tulczyjew's triples in classical mechanics is extended to classical field theories, using the so-called multisymplectic formalism, and a convenient notion of lagrangian submanifold in multisymplectic geometry. Accordingly, the dynamical equations are interpreted as the local equations defining these lagrangian submanifolds.
It is shown that Maxwell's equations in media without source can be written as a contact Hamiltonian vector field restricted to a Legendre submanifold, where this submanifold is in a fiber space of a bundle and is generated by either electromagnetic energy functional or co-energy functional. Then, it turns out that Legendre duality for this system gives the induction oriented formulation of Maxwell's equations and field intensity oriented one. Also, information geometry of the Maxwell fields is introduced and discussed.
For research in the field of transformation optics and for the calculation of optically inhomogeneous lenses the method of geometrization of the Maxwell equations seems to be perspective. The basic idea is to transform the coefficients of material equations, namely the dielectric permittivity and magnetic permeability in the effective geometry of space-time (besides the vacuum Maxwell equations). This allows us to solve the direct and inverse problems, that is, to find the permittivity and magnetic permeability for a given effective geometry (paths of rays), as well as finding an effective geo…
Hybrid resonance is a physical mechanism for the heating of a magnetic plasma. In our context hybrid resonance is a solution of the time harmonic Maxwell's equations with smooth coefficients, where the dielectric tensor is a non diagonal hermitian matrix. The main part of this work is dedicated to the construction and analysis of a mathematical solution of the hybrid resonance with the limit absorption principle. We prove that the limit solution is singular: it is constituted of a Dirac mass at the origin plus a principle value and a smooth square integrable function. The formula obtained for …
The main focus of the present work is to study the Feynman's proof of the Maxwell equations using the NC geometry framework. To accomplish this task, we consider two kinds of noncommutativity formulations going along the same lines as Feynman's approach. This allows us to go beyond the standard case and discover non-trivial results. In fact, while the first formulation gives rise to the static Maxwell equations, the second formulation is based on the following assumption $m[x_{j},\dot{x_{k}}]=i\hbar δ_{jk}+imθ_{jk}f.$ The results extracted from the second formulation are more significant since…
The Ehresmann connection on a fiber bundle that is not compatible with a (possible) Lie group structure is illustrated by the geometry of a general anholonomic observer in the Minkowski space. The 3D split of Maxwell's equations induces geometric terms that are the (generalized) curvature and torque of the connection. The notion of torque is introduced here as a Lie coalgebra-valued endomorphism field and measures the deviation of a connection from being principal.
We provide a systematic description of the solid angle function as a means of constructing a knotted field for any curve or link in $\mathbb{R}^3$. This is a purely geometric construction in which all of the properties of the entire knotted field derive from the geometry of the curve, and from projective and spherical geometry. We emphasise a fundamental homotopy formula as unifying different formulae for computing the solid angle. The solid angle induces a natural framing of the curve, which we show is related to its writhe and use to characterise the local structure in a neighborhood of the …
Geometry-Induced Vacuum Polarization and Mode Shifts in Maxwell-Klein-Gordon Theory
Joint Center for Particle, Nuclear Physics and Cosmology（粒子、核物理与宇宙学联合中心）；Department of Physics, Nanjing University（南京大学物理系）；School of Physics and Electrical Engineering, Linyi University（临沂大学物理与电气工程学院）
In this paper, we present analytic formulas of the temporal convolution kernel functions involved in the time-domain non-reflecting boundary condition (NRBC) for the electromagnetic scattering problems. Such exact formulas themselves lead to accurate and efficient algorithms for computing the NRBC for domain reduction of the time-domain Maxwell's system in $\mathbb R^3$. A second purpose of this paper is to derive a new time-domain model for the electromagnetic invisibility cloak. Different from the existing models, it contains only one unknown field and the seemingly complicated convolutions …
We review the construction of homological evolutionary vector fields on infinite jet spaces and partial differential equations. We describe the applications of this concept in three tightly inter-related domains: the variational Poisson formalism (e.g., for equations of Korteweg-de Vries type), geometry of Liouville-type hyperbolic systems (including the 2D Toda chains), and Euler-Lagrange gauge theories (such as the Yang-Mills theories, gravity, or the Poisson sigma-models). Also, we formulate several open problems.
It is shown that Electromagnetism creates geometry different from Riemannian geometry. General geometry including Riemannian geometry as a special case is constructed. It is proven that the most simplest special case of General Geometry is geometry underlying Electromagnetism. Action for electromagnetic field and Maxwell equations are derived from curvature function of geometry underlying Electromagnetism. And it is shown that equation of motion for a particle interacting with electromagnetic field coincides exactly with equation for geodesics of geometry underlying Electromagnetism.
