-
From Kalman to Einstein and Maxwell: the Structural Controllability Revisited
Authors:
Jean-Francois Pommaret
Abstract:
In the Special Relativity paper of Einstein (1905), only a footnote provides a reference to the conformal group of space-time for the Minkowski metric $ω$. We prove that General Relativity (1915) will depend on the following {\it cornerstone} result of differential homological algebra (1990). Let $K$ be a differential field and $D=K[d_1,...,d_n]$ be the ring of differential operators with coeffici…
▽ More
In the Special Relativity paper of Einstein (1905), only a footnote provides a reference to the conformal group of space-time for the Minkowski metric $ω$. We prove that General Relativity (1915) will depend on the following {\it cornerstone} result of differential homological algebra (1990). Let $K$ be a differential field and $D=K[d_1,...,d_n]$ be the ring of differential operators with coefficients in $K$. If $M$ is the differential module over $D$ defined by the Killing operator ${\cal{D}} :T \rightarrow S_2T^*: ξ\rightarrow Ω= {\cal{L}}(ξ) ω$ and $N$ is the differential module over $D$ defined by the $Cauchy = ad(Killing)$ adjoint operator with torsion submodule $t(N)$, then $t(N) \simeq {ext}^1_D(M) = 0$ and the Cauchy operator can be thus parametrized by stress functions having strictly nothing to do with $Ω$. This result is largely superseding the Kalman controllability test in classical OD control theory and is showing that controllability is a structural "{\it built-in}" property of an OD/PD control system not depending on the choice of inputs and outputs, contrary to the engineering tradition. It also points out the {\it terrible confusion} done by Einstein (1915) while following Beltrami (1892), both of them using the Einstein operator but ignoring that it was self-adjoint in the framework of differential double duality (1995). We finally prove that the structure of electromagnetism and gravitation only depends on the nonlinear {\it elations} of the conformal group of space-time, showing thus that {\it nothing is left from the mathematical foundations of both general relativity and gauge theory}.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Cauchy, Cosserat, Clausius, Maxwell, Weyl Equations Revisited
Authors:
J. -F. Pommaret
Abstract:
The Cauchy stress equations (1823), the Cosserat couple-stress equations (1909), the Clausius virial equation (1870), the Maxwell/Weyl equations (1873,1918) are among the most famous partial differential equations that can be found today in any textbook dealing {\it separately and/or successively} with elasticity theory, continuum mechanics, thermodynamics, electromagnetism and electrodynamics. Ov…
▽ More
The Cauchy stress equations (1823), the Cosserat couple-stress equations (1909), the Clausius virial equation (1870), the Maxwell/Weyl equations (1873,1918) are among the most famous partial differential equations that can be found today in any textbook dealing {\it separately and/or successively} with elasticity theory, continuum mechanics, thermodynamics, electromagnetism and electrodynamics. Over a manifold of dimension $n$, their respective numbers are $n, n(n-1)/2, 1, n$ with a total of $(n+1)(n+2)/2$, that is $15$ when $n= 4$ for space-time. As a matter of fact, this is just the number of parameters of the Lie group of conformal transformations with $n$ translations, $n(n-1)/2$ rotations, $1$ dilatation and $n$ highly non-linear elations introduced by E. Cartan in $1922$. The purpose of this short but difficult paper is to prove that the form of these equations only depends on the structure of the conformal group for $n\geq 1$ arbitrary because they are described {\it as a whole} by the (formal) adjoint of the first Spencer operator existing in the Spencer differential sequence. Such a group theoretical implication is obtained for the first time by totally new differential geometric methods. Meanwhile, these equations can be all parametrized by the adjoint of the second Spencer operator through $ n(n^2 - 1)(n+2)/4$ potentials.This result brings the need to revisit the mathematical foundations of Electromagnetism and Gauge Theory according to a clever but rarely quoted paper of H. Poincaré (1901).
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Control Theory and Parametrizations of Linear Partial Differential Operators
Authors:
Jean-Francois Pommaret
Abstract:
When ${\cal{D}}:ξ\rightarrow η$ is a linear OD or PD operator, a "direct problem" is to find compatibility conditions (CC) as an operator ${\cal{D}}_1:η\rightarrow ζ$ such that ${\cal{D}}ξ=η$ implies ${\cal{D}}_1η=0$. When ${\cal{D}}$ is involutive, the procedure provides successive first order involutive operators ${\cal{D}}_1, ... , {\cal{D}}_n$ in dimension $n$. Conversely, when ${\cal{D}}_1$ i…
▽ More
When ${\cal{D}}:ξ\rightarrow η$ is a linear OD or PD operator, a "direct problem" is to find compatibility conditions (CC) as an operator ${\cal{D}}_1:η\rightarrow ζ$ such that ${\cal{D}}ξ=η$ implies ${\cal{D}}_1η=0$. When ${\cal{D}}$ is involutive, the procedure provides successive first order involutive operators ${\cal{D}}_1, ... , {\cal{D}}_n$ in dimension $n$. Conversely, when ${\cal{D}}_1$ is given, a much more difficult " inverse problem " is to look for an operator ${\cal{D}}: ξ\rightarrow η$ having the generating CC ${\cal{D}}_1η=0$. This is possible when the differential module defined by ${\cal{D}}_1$ is " {\it torsion-free} ", one shall say that ${\cal{D}}_1$ is parametrized by ${\cal{D}}$. The systematic use of the adjoint of a differential operator provides a constructive test. A control system is controllable {\it if and only if} it can be parametrized. Accordingly, the controllability of any OD or PD control system is a " {\it built in} " property not depending on the choice of the input and output variables among the system variables. In the OD case when ${\cal{D}}_1$ is formally surjective, controllability just amounts to the injectivity of $ad({\cal{D}}_1)$. Among applications, the parametrization of the Cauchy stress operator has attracted many famous scientists from G.B. Airy in 1863 for $n=2$ to A. Einstein in 1915 for $n=4$. We prove that all these works are already explicitly using the self-adjoint Einstein operator {\it which cannot be parametrized} and are based on a confusion between the $div$ operator induced from the Bianchi operator ${\cal{D}}_2$ and the Cauchy operator, adjoint of the Killing operator ${\cal{D}}$ for an arbitrary $n$. This purely mathematical result deeply questions the origin and existence of gravitational waves.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Generating Compatibility Conditions in Mathematical Physics
Authors:
Jean-Francois Pommaret
Abstract:
The search for generating compatibility conditions (CC) for a given operator is a very recent problem met in General Relativity in order to study the Killing operator for various standard useful metrics (Minkowski, Schwarschild and Kerr). In this paper, we prove that the link existing between the lack of formal exactness of an operator sequence on the jet level, the lack of formal exactness of its…
▽ More
The search for generating compatibility conditions (CC) for a given operator is a very recent problem met in General Relativity in order to study the Killing operator for various standard useful metrics (Minkowski, Schwarschild and Kerr). In this paper, we prove that the link existing between the lack of formal exactness of an operator sequence on the jet level, the lack of formal exactness of its corresponding symbol sequence and the lack of formal integrability (FI) of the initial operator is of a purely homological nature as it is based on the long exact connecting sequence provided by the so-called snake lemma. It is therefore quite difficult to grasp it in general and even more difficult to use it on explicit examples. It does not seem that any one of the results presented in this paper is known as most of the other authors who studied the above problem of computing the total number of generating CC are confusing this number with a kind of differential transcendence degree, also called degree of generality by A. Einstein in his 1930 letters to E. Cartan. The motivating examples that we provide are among the rare ones known in the literature and could be used as testing examples for future applications of computer algebra.
△ Less
Submitted 23 November, 2018;
originally announced November 2018.
-
A mathematical comment on gravitational waves
Authors:
Jean-François Pommaret
Abstract:
In classical General Relativity, the way to exhibit the equations for the gravitational waves is based on two "tricks" allowing to transform the Einstein equations after linearizing them over the Minkowski metric. With specific notations used in the study of {\it Lie pseudogroups} of transformations of an $n$-dimensional manifold, let $Ω=(Ω\_{ij}=Ω\_{ji})$ be a perturbation of the non-degenerate m…
▽ More
In classical General Relativity, the way to exhibit the equations for the gravitational waves is based on two "tricks" allowing to transform the Einstein equations after linearizing them over the Minkowski metric. With specific notations used in the study of {\it Lie pseudogroups} of transformations of an $n$-dimensional manifold, let $Ω=(Ω\_{ij}=Ω\_{ji})$ be a perturbation of the non-degenerate metric $ω=(ω\_{ij}=ω\_{ji})$ with $det(ω)\neq 0$ and call $ω^{-1}=(ω^{ij}=ω^{ji})$ the inverse matrix appearing in the Dalembertian operator $\Box = ω^{ij}d\_{ij}$. The first idea is to introduce the linear transformation ${\barΩ}\_{ij}=Ω\_{ij}-\frac{1}{2}ω\_{ij}tr(Ω)$ where $tr(Ω)=ω^{ij}Ω\_{ij}$ is the {\it trace} of $Ω$, which is invertible when $n\geq 3$. The second important idea is to notice that the composite second order linearized Einstein operator $\barΩ \rightarrow Ω\rightarrow E=(E\_{ij}=R\_{ij} - \frac{1}{2}ω\_{ij}tr(R))$ where $Ω\rightarrow R=(R\_{ij}=R\_{ji})$ is the linearized Ricci operator with trace $tr(R)=ω^{ij}R\_{ij}$ is reduced to $\Box {\barΩ}\_{ij}$ when $ω^{rs}d\_{ri}{\barΩ}\_{sj}=0$. The purpose of this short but striking paper is to revisit these two results in the light of the {\it differential duality} existing in Algebraic Analysis, namely a mixture of differential geometry and homological agebra, providing therefore a totally different interpretation. In particular, we prove that the above operator $\barΩ \rightarrow E$ is nothing else than the formal adjoint of the Ricci operator $Ω\rightarrow R$ and that the map $Ω\rightarrow \barΩ$ is just the formal adjoint (transposed) of the defining tensor map $R \rightarrow E$. Accordingly, the Cauchy operator (stress equations) can be directly parametrized by the formal adjoint of the Ricci operator and the Einstein operator is no longer needed.
△ Less
Submitted 12 September, 2017; v1 submitted 22 August, 2017;
originally announced August 2017.
-
Differential algebra and mathematical physics
Authors:
Jean-François Pommaret
Abstract:
Many equations of mathematical physics are described by differential polynomials, that is by polynomials in the derivatives of a certain number of functions. However, up to the knowledge of the author, differential algebra in a modern setting has never been applied to study the specific algebraic feature of such equations. The purpose of this short but difficult paper is to revisit a few domains l…
▽ More
Many equations of mathematical physics are described by differential polynomials, that is by polynomials in the derivatives of a certain number of functions. However, up to the knowledge of the author, differential algebra in a modern setting has never been applied to study the specific algebraic feature of such equations. The purpose of this short but difficult paper is to revisit a few domains like general relativity, conformal geometry and contact geometry in the light of a modern approach to nonlinear systems of partial differential equations, using new methods from Differential Geometry (D.C. Spencer, 1970), Differential Algebra (J.F. Ritt, 1950 and E. Kolchin, 1973) and Algebraic Analysis (M. Kashiwara, 1970). Identifying the differential indeterminates of Ritt and Kolchin with the jet coordinates of Spencer, the idea is to study Differential Duality by using only linear differential operators with coefficients in a differential field. In particular, the linearized second order Einstein equations are parametrizing the first order Cauchy stress equations but cannot themselves be parametrized. In the framework of Homological Algebra, this result is not coherent with the vanishing of certain first and second extension modules. As a byproduct, we shall prove that gravitation and electromagnetism must only depend on the second order jets (elations) of the system of conformal Killing equations. Finally, we shall use these new methods in order to study contact transformations in arbitrary odd dimension and apply these results to the study of Hamilton-Jacobi equations in mechanics.
△ Less
Submitted 31 July, 2017;
originally announced July 2017.
-
Algebraic Analysis and Mathematical Physics
Authors:
Jean-Francois Pommaret
Abstract:
This paper aims to revisit the mathematical foundations of both General Relativity and Electromagnetism after one century, in the light of the formal theory of systems of partial differential equations and Lie pseudogroups (D.C. Spencer, 1970) or Algebraic Analysis, namely a mixture of differential geometry and homological algebra (M. Kashiwara, 1970). Among the new results obtained, we may quote:…
▽ More
This paper aims to revisit the mathematical foundations of both General Relativity and Electromagnetism after one century, in the light of the formal theory of systems of partial differential equations and Lie pseudogroups (D.C. Spencer, 1970) or Algebraic Analysis, namely a mixture of differential geometry and homological algebra (M. Kashiwara, 1970). Among the new results obtained, we may quote: 1) In dimension 4 only, the 9 Bianchi identities that must be satisfied by the 10 components of the Weyl tensor are described by a second order operator and have thus nothing to do with the 20 first order Bianchi identities for the 20 components of the Riemann tensor. This result, not known after one century, has been recently confirmed by A. Quadrat (INRIA) using new computer algebra packages. 2) The Ricci tensor R is a section of the Ricci bundle of symmetric covariant 2-tensors which is the kernel of the canonical projection of the Riemann bundle onto the Weyl bundle, induced by the canonical inclusion of the classical Killing system (Poincare group) into the conformal Killing system (Conformal group). It has only to do with the second order jets (elations) of the conformal Killing system because any 1-form with value in the bundle of elations can be decomposed in the direct sum (R,F) where the electromagnetic field F is a section of the vector bundle of skewsymmetric covariant 2-tensors. It follows therefore that electromagnetism and gravitation have only to do with second order jets. 3) The 10 linearized second order Einstein equations are parametrizing the 4 first order Cauchy stress equations but cannot be parametrized themselves. As a byproduct of this negative result, these 4 Cauchy stress equations have nothing to do with the 4 divergence-type equations usually obtained from the 20 Bianchi identities by contraction of indices.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
Bianchi identities for the Riemann and Weyl tensors
Authors:
Jean-François Pommaret
Abstract:
The purpose of this paper is to revisit the Bianchi identities existing for the Riemann and Weyl tensors in the combined framework of the formal theory of systems of partial differential equations (Spencer cohomology, differential systems, formal integrability) and Algebraic Analysis (homological algebra, differential modules, duality). In particular, we prove that the n 2 (n 2 -- 1)(n -- 2)/24 ge…
▽ More
The purpose of this paper is to revisit the Bianchi identities existing for the Riemann and Weyl tensors in the combined framework of the formal theory of systems of partial differential equations (Spencer cohomology, differential systems, formal integrability) and Algebraic Analysis (homological algebra, differential modules, duality). In particular, we prove that the n 2 (n 2 -- 1)(n -- 2)/24 generating Bianchi identities for the Riemann tensor are first order and can be easily described by means of the Spencer cohomology of the first order Killing symbol in arbitrary dimension n $\ge$ 2. Similarly, the n(n 2 -- 1)(n + 2)(n -- 4)/24 generating Bianchi identities for the Weyl tensor are first order and can be easily described by means of the Spencer cohomology of the first order conformal Killing symbol in arbitrary dimension n $\ge$ 5. As A MOST SURPRISING RESULT, the 9 generating Bianchi identities for the Weyl tensor are of second order in dimension n = 4 while the analogue of the Weyl tensor has 5 components of third order in the metric with 3 first order generating Bianchi identities in dimension n = 3. The above results, which could not be obtained otherwise, are valid for any non-degenerate metric of constant riemannian curvature and do not depend on any conformal factor. They are checked in an Appendix produced by Alban Quadrat (INRIA, Lille) by means of computer algebra. We finally explain why the work of Lanczos and followers is not coherent with these results and must therefore be also revisited.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.
-
Airy, Beltrami, Maxwell, Morera, Einstein and Lanczos potentials revisited
Authors:
Jean-François Pommaret
Abstract:
The main purpose of this paper is to revisit the well known potentials, called stress functions, needed in order to study the parametrizations of the stress equations, respectively provided by G.B. Airy (1863) for 2-dimensional elasticity, then by E. Beltrami (1892), J.C. Maxwell (1870) and G. Morera (1892) for 3-dimensional elasticity, finally by A. Einstein (1915) for 4-dimensional elasticity, b…
▽ More
The main purpose of this paper is to revisit the well known potentials, called stress functions, needed in order to study the parametrizations of the stress equations, respectively provided by G.B. Airy (1863) for 2-dimensional elasticity, then by E. Beltrami (1892), J.C. Maxwell (1870) and G. Morera (1892) for 3-dimensional elasticity, finally by A. Einstein (1915) for 4-dimensional elasticity, both with a variational procedure introduced by C. Lanczos (1949,1962) in order to relate potentials to Lagrange multipliers. Using the methods of Algebraic Analysis, namely mixing differential geometry with homological algebra and combining the double duality test involved with the Spencer cohomology, we shall be able to extend these results to an arbitrary situation with an arbitrary dimension n. We shall also explain why double duality is perfectly adapted to variational calculus with differential constraints as a way to eliminate the corresponding Lagrange multipliers. For example, the canonical parametrization of the stress equations is just described by the formal adjoint of the n2(n2 -- 1)/12 components of the linearized Riemann tensor considered as a linear second order differential operator but the minimum number of potentials needed in elasticity theory is equal to n(n -- 1)/2 for any minimal parametrization. Meanwhile, we can provide all the above results without even using indices for writing down explicit formulas in the way it is done in any textbook today. The example of relativistic continuum mechanics with n = 4 is provided in order to prove that it could be strictly impossible to obtain such results without using the above methods. We also revisit the possibility (Maxwell equations of electromag- netism) or the impossibility (Einstein equations of gravitation) to obtain canonical or minimal parametrizations for various other equations of physics. It is nevertheless important to notice that, when n and the algorithms presented are known, most of the calculations can be achieved by using computers for the corresponding symbolic computations. Finally, though the paper is mathematically oriented as it aims providing new insights towards the mathematical foundations of elasticity theory and mathematical physics, it is written in a rather self-contained way.
△ Less
Submitted 18 December, 2015;
originally announced December 2015.
-
Clausius/Cosserat/Maxwell/Weyl Equations: The Virial Theorem Revisited
Authors:
Jean-François Pommaret
Abstract:
In 1870, R. Clausius found the virial theorem which amounts to introduce the trace of the stress tensor when studying the foundations of thermodynamics, as a way to relate the absolute temperature of an ideal gas to the mean kinetic energy of its molecules. In 1901, H. Poincar{é} introduced a duality principle in analytical mechanics in order to study lagrangians invariant under the action of a Li…
▽ More
In 1870, R. Clausius found the virial theorem which amounts to introduce the trace of the stress tensor when studying the foundations of thermodynamics, as a way to relate the absolute temperature of an ideal gas to the mean kinetic energy of its molecules. In 1901, H. Poincar{é} introduced a duality principle in analytical mechanics in order to study lagrangians invariant under the action of a Lie group of transformations. In 1909, the brothers E. and F. Cosserat discovered another approach for studying the same problem though using quite different equations. In 1916, H. Weyl considered again the same problem for the conformal group of transformations, obtaining at the same time the Maxwell equations and an additional specific equation also involving the trace of the impulsion-energy tensor. Finally, having in mind the space-time formulation of electromagnetism and the Maurer-Cartan equations for Lie groups, gauge theory has been created by C.N. Yang and R.L. Mills in 1954 as a way to introduce in physics the differential geometric methods available at that time, independently of any group action, contrary to all the previous approaches. The main purpose of this paper is to revisit the mathematical foundations of thermodynamics and gauge theory by using new differential geometric methods coming from the formal theory of systems of partial differential equations and Lie pseudogroups, mostly developped by D.C Spencer and coworkers around 1970. In particular, we justify and extend the virial theorem, showing that the Clausius/Cosserat/Maxwell/Weyl equations are nothing else but the formal adjoint of the Spencer operator appearing in the canonical Spencer sequence for the conformal group of space-time and are thus totally dependent on the group action. The duality principle also appeals to the formal adjoint of a linear differential operator used in differential geometry and to the extension modules used in homological algebra.
△ Less
Submitted 16 April, 2015;
originally announced April 2015.
-
The mathematical foundations of gauge theory revisited
Authors:
Jean-François Pommaret
Abstract:
We start recalling with critical eyes the mathematical methods used in gauge theory and prove that they are not coherent with continuum mechanics, in particular the analytical mechanics of rigid bodies or hydrodynamics, though using the same group theoretical methods and despite the well known couplings existing between elasticity and electromagnetism (piezzoelectricity, photoelasticity, streaming…
▽ More
We start recalling with critical eyes the mathematical methods used in gauge theory and prove that they are not coherent with continuum mechanics, in particular the analytical mechanics of rigid bodies or hydrodynamics, though using the same group theoretical methods and despite the well known couplings existing between elasticity and electromagnetism (piezzoelectricity, photoelasticity, streaming birefringence). The purpose of this paper is to avoid such contradictions by using new mathematical methods coming from the formal theory of systems of partial differential equations and Lie pseudogroups. These results finally allow to unify the previous independent tentatives done by the brothers E. and F. Cosserat in 1909 for elasticity or H. Weyl in 1918 for electromagnetism by using respectively the group of rigid motions of space or the conformal group of space-time. Meanwhile we explain why the Poincaré "duality scheme" existing between "geometry " and "physics" has to do with homological algebra and algebraic analysis. We insist on the fact that these results could not have been obtained before 1975 as the corresponding tools were not known before and are still not known today by physicists.
△ Less
Submitted 17 October, 2013;
originally announced October 2013.
-
The mathematical foundations of general relativity revisited
Authors:
Jean-François Pommaret
Abstract:
The purpose of this paper is to present for the first time an elementary summary of a few recent results obtained through the application of the formal theory of partial differential equations and Lie pseudogroups in order to revisit the mathematical foundations of general relativity. Other engineering examples (control theory, elasticity theory, electromagnetism) will also be considered in order…
▽ More
The purpose of this paper is to present for the first time an elementary summary of a few recent results obtained through the application of the formal theory of partial differential equations and Lie pseudogroups in order to revisit the mathematical foundations of general relativity. Other engineering examples (control theory, elasticity theory, electromagnetism) will also be considered in order to illustrate the three fundamental results that we shall provide. The paper is therefore divided into three parts corresponding to the different formal methods used. 1) CARTAN VERSUS VESSIOT: The quadratic terms appearing in the " Riemann tensor " according to the " Vessiot structure equations " must not be identified with the quadratic terms appearing in the well known " Cartan structure equations " for Lie groups and a similar comment can be done for the " Weyl tensor ". In particular, " curvature+torsion" (Cartan) must not be considered as a generalization of "curvature alone" (Vessiot). Roughly, Cartan and followers have not been able to " quotient down to the base manifold ", a result only obtained by Spencer in 1970 through the "nonlinear Spencer sequence" but in a way quite different from the one followed by Vessiot in 1903 for the same purpose and still ignored. 2) JANET VERSUS SPENCER: The " Ricci tensor " only depends on the nonlinear transformations (called " elations " by Cartan in 1922) that describe the "difference " existing between the Weyl group (10 parameters of the Poincaré subgroup + 1 dilatation) and the conformal group of space-time (15 parameters). It can be defined by a canonical splitting, that is to say without using the indices leading to the standard contraction or trace of the Riemann tensor. Meanwhile, we shall obtain the number of components of the Riemann and Weyl tensors without any combinatoric argument on the exchange of indices. Accordingly, the Spencer sequence for the conformal Killing system and its formal adjoint fully describe the Cosserat/Maxwell/Weyl theory but General Relativity is not coherent at all with this result. 3) ALGEBRAIC ANALYSIS: Contrary to other equations of physics (Cauchy equations, Cosserat equations, Maxwell equations), the Einstein equations cannot be " parametrized ", that is the generic solution cannot be expressed by means of the derivatives of a certain number of arbitrary potential-like functions, solving therefore negatively a 1000 $ challenge proposed by J. Wheeler in 1970. Accordingly, the mathematical foundations of mathematical physics must be revisited within this formal framework, though striking it may look like for certain apparently well established theories such as electromagnetism and general relativity. We insist on the fact that the arguments presented are of a purely mathematical nature and are thus unavoidable.
△ Less
Submitted 12 June, 2013;
originally announced June 2013.
-
A pedestrian approach to cosserat / Maxwell / weyl theory
Authors:
Jean-François Pommaret
Abstract:
The purpose of this short notice is to present an elementary summary of a few recent results obtained through the application of the formal theory of systems of partial differential equations and Lie pseudo groups to engineering (elasticity theory, electromagnetism, coupling phenomena) and mathematical (gauge theory, general relativity) along the following scheme: 1) Lie groups of transformations…
▽ More
The purpose of this short notice is to present an elementary summary of a few recent results obtained through the application of the formal theory of systems of partial differential equations and Lie pseudo groups to engineering (elasticity theory, electromagnetism, coupling phenomena) and mathematical (gauge theory, general relativity) along the following scheme: 1) Lie groups of transformations may be considered as Lie pseudo groups of transformations but no action type method can be used as parameters never appear any longer. 2) The work of Cartan is superseded by the use of the canonical Spencer sequence while the work of Vessiot is superseded by the use of the canonical Janet sequence but the link between these two sequences and thus these two works is not known today. 3)Using duality theory, the formal adjoint of the Spencer operator for the conformal group of transformations of space-time provides the Cosserat equations, the Maxwell equations and the Weyl equations on equal footing but such a result leads to deep contradictions. Accordingly, the results thus obtained prove that the foundations of engineering and mathematical physics must be revisited within the framework of jet theory though striking it may look like for established theories.
△ Less
Submitted 9 October, 2012;
originally announced October 2012.
-
Deformation cohomology of algebraic and geometric structures
Authors:
Jean-François Pommaret
Abstract:
In 1953, the physicists E. Inonü and E.P. Wigner introduced the concept of deformation of a Lie algebra by claiming that the limit $1/c \rightarrow 0$, when c is the speed of light, of the composition law $(u,v) \rightarrow (u+v)/(1+(uv/c^2))$ of speeds in special relativity (Poincaré group) should produce the composition law $(u,v) \rightarrow u + v $ used in classical mechanics (Galilée group).…
▽ More
In 1953, the physicists E. Inonü and E.P. Wigner introduced the concept of deformation of a Lie algebra by claiming that the limit $1/c \rightarrow 0$, when c is the speed of light, of the composition law $(u,v) \rightarrow (u+v)/(1+(uv/c^2))$ of speeds in special relativity (Poincaré group) should produce the composition law $(u,v) \rightarrow u + v $ used in classical mechanics (Galilée group). However, the dimensionless composition law $(u'=u/c,v'=v/c) \rightarrow (u'+v')/(1+u'v')$ does not contain any longer a perturbation parameter. Nevertheless, this idea brought the birth of the " deformation theory of algebraic structures", culminating in the use of the Chevalley-Eilenberg cohomology of Lie algebras and one of the first applications of computer algebra in the seventies. One may also notice that the main idea of general relativity is to deform the Minkowski metric of space-time by means of the small dimensionless parameter $φ/c^2$ where $φ=GM/r$ is the gravitational potential at a distance r of a central attractive mass M with gravitational constant G. A few years later, a " deformation theory of geometric structures " on manifolds of dimension n was introduced and one may quote riemannian, symplectic or complex analytic structures. Though often conjectured, the link between the two approaches has never been exhibited and the aim of this paper is to provide the solution of this problem by new methods. The key tool is made by the " Vessiot structure equations " (1903) for Lie groups or Lie pseudogroups of transformations, which, contrary to the " Cartan structure equations ", are still unknown today and contain " structure constants " which, like in the case of constant riemannian curvature, have in general nothing to do with any Lie algebra. The main idea is then to introduce the purely differential Janet sequence $0 \rightarrow Θ\rightarrow T \rightarrow F_0 \rightarrow F_1 \rightarrow ... \rightarrow F_n \rightarrow 0$ as a resolution of the sheaf $Θ\subset T$ of infinitesimal transformations and to induce a purely algebraic " deformation sequence " with finite dimensional vector spaces and linear maps, even if $Θ$ is infinite dimensional. The infinitesimal equivalence problem for geometric structures has to do with the local exactness at $ F_0 $ of the Janet sequence while the deformation problem for algebraic structures has to do with the exactness of the deformation sequence at the invariant sections of $F_1 $, that is ONE STEP FURTHER ON in the sequence and this unexpected result explains why the many tentatives previously quoted have not been successful. Finally, we emphasize through examples the part that could be played by computer algebra in any explicit computation.
△ Less
Submitted 9 July, 2012;
originally announced July 2012.
-
Spencer Operator and Applications: From Continuum Mechanics to Mathematical physics
Authors:
Jean-François Pommaret
Abstract:
The Spencer operator, introduced by D.C. Spencer fifty years ago, is rarely used in mathematics today and, up to our knowledge, has never been used in engineering applications or mathematical physics. The main purpose of this paper, an extended version of a lecture at the second workshop on Differential Equations by Algebraic Methods (DEAM2, february 9-11, 2011, Linz, Austria) is to prove that the…
▽ More
The Spencer operator, introduced by D.C. Spencer fifty years ago, is rarely used in mathematics today and, up to our knowledge, has never been used in engineering applications or mathematical physics. The main purpose of this paper, an extended version of a lecture at the second workshop on Differential Equations by Algebraic Methods (DEAM2, february 9-11, 2011, Linz, Austria) is to prove that the use of the Spencer operator constitutes the common secret of the three following famous books published about at the same time in the beginning of the last century, though they do not seem to have anything in common at first sight as they are successively dealing with elasticity theory, commutative algebra, electromagnetism and general relativity: (C) E. and F. COSSERAT: "Théorie des Corps Déformables", Hermann, Paris, 1909. (M) F.S. MACAULAY: "The Algebraic Theory of Modular Systems", Cambridge University Press, 1916. (W) H. WEYL: "Space, Time, Matter", Springer, Berlin, 1918 (1922, 1958; Dover, 1952). Meanwhile, we shall point out the importance of (M) for studying control identifiability and of (C)+(W) for the group theoretical unification of finite elements in engineering sciences, recovering in a purely mathematical way well known field-matter coupling phenomena (piezzoelectricity, photoelasticity, streaming birefringence, viscosity, ...). As a byproduct and though disturbing it could be, we shall prove that these unavoidable new diferential and homological methods contradict the mathematical foundations of both engineering (continuum mechanics,electromagnetism) and mathematical (gauge theory, general relativity) physics.
△ Less
Submitted 12 October, 2011; v1 submitted 24 February, 2011;
originally announced February 2011.
