The purpose of this paper is to revisit the well known potentials, also 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) 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 components of the linearized Riemann tensor considered as a linear second order differential operator but the minimum number of potentials needed is equal to for any minimal parametrization , the Einstein parametrization being “ in between ” with potentials. We provide all the above results without even using indices for writing down explicit formulas in the way it is done in any textbook today, but it could be strictly impossible to obtain them without using the above methods. We also revisit the possibility (Maxwell equations of electromagnetism) or the impossibility (Einstein equations of gravitation) to obtain canonical or minimal parametrizations for various 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 general relativity, it is written in a rather self-contained way.
KeywordsStress EquationsStress FunctionsElasticity TheoryLagrange MultipliersFormal AdjointControl Theory
Kashiwara, M. (1995) Algebraic Study of Systems of Partial Differential Equations, Mémoires de la Société Mathématique de France, 63 (Transl. from Japanese of His 1970 Master’s Thesis).
Oberst, U. (1990) Acta Applicandae Mathematicae, 20, 1-175. http://dx.doi.org/10.1007/BF00046908
Oberst, U. (2013) Mechanical Systems and Signal Processing, 26, 389-404.
Palamodov, V.P. (1970) Linear Differential Operators with Constant Coefficients, Grundlehren der Mathematischen Wissenschaften 168. Springer, Berlin. http://dx.doi.org/10.1007/BF00046908
Pommaret, J.-F. (2001) Partial Differential Control Theory. Kluwer, Dordrecht, 957 p. http://dx.doi.org/10.1007/978-94-010-0854-9
Pommaret, J.-F. and Quadrat, A. (1999) Systems & Control Letters, 37, 247-260. http://dx.doi.org/10.1016/S0167-6911(99)00030-4
Pommaret, J.-F. and Quadrat, A. (1999) IMA Journal of Mathematical Control and Informations, 16, 275-297. http://dx.doi.org/10.1093/imamci/16.3.275
Quadrat, A. and Robertz, R. (2014) Acta Applicandae Mathematicae, 133, 187-234. http://dx.doi.org/10.1007/s10440-013-9864-x
Zerz, E. (2000) Topics in Multidimensional Linear Systems Theory. Lecture Notes in Control and Information Sciences (LNCIS) 256. Springer, Berlin.
Einstein, A. (1915) Die Feldgleichungen der Gravitation, Sitz. Preus. Akademie der Wissenschaften zu Berlin, Berlin, 844-847.
Pommaret, J.-F. (1978) Systems of Partial Differential Equations and Lie Pseudogroups. Gordon and Breach, New York. (Russian Translation by MIR, Moscow, 1983)
Lanczos, C. (1949) Reviews of Modern Physics, 21, 497-502. http://dx.doi.org/10.1103/RevModPhys.21.497
Lanczos, C. (1962) Reviews of Modern Physics, 34, 379-389. http://dx.doi.org/10.1103/RevModPhys.34.379
Lanczos, C. (1949) The Variation Principles of Mechanics. 4th Edition, Dover, New York,.
Bampi, F. and Caviglia, G. (1983) General Relativity and Gravitation, 15, 375-386. http://dx.doi.org/10.1007/BF00759166
Edgar, S.B. (2003) Journal of Mathematical Physics, 44, 5375-5385. http://dx.doi.org/10.1063/1.1619203
Edgar, S.B. and Höglund, A. (1997) Proceedings of the Royal Society of London A, 453, 835-851. http://dx.doi.org/10.1098/rspa.1997.0046
Edgar, S.B. and Höglund, A. (2000) General Relativity and Gravitation, 32, 2307. http://dx.doi.org/10.1023/A:1001951609641
Edgar, S.B. and Senovilla, J.M.M. (2004) Classical and Quantum Gravity, 21, L133. http://dx.doi.org/10.1088/0264-9381/21/22/L01
Massa, E. and Pagani, E. (1984) General Relativity and Gravitation, 16, 805-816. http://dx.doi.org/10.1007/BF00762934
O’donnell, P. and Pye, H. (2010) Electronic Journal of Theoretical Physics, 24, 327-350.
Roberts, M.D. (1996) Il Nuovo Cimento, B110, 1165-1176. http://dx.doi.org/10.1007/BF02724607
Kunz, E. (1985) Introduction to Commutative Algebra and Algebraic Geometry. Birkhäuser, Boston.
Bourbaki, N. (1980) Eléments de Mathématiques, Algèbre, Ch. 10. Algèbre Homologique. Masson, Paris.
Pommaret, J.-F. (2005) Algebraic Analysis of Control Systems Defined by Partial Differential Equations, in Advanced Topics in Control Systems Theory. Lecture Notes in Control and Information Sciences (LNCIS) 311, Chapter 5, Springer, Berlin, 155-223. http://dx.doi.org/10.1007/11334774_5
Pommaret, J.-F. (2013) Multidimensional Systems and Signal Processing, 26, 405-437. http://dx.doi.org/10.1007/s11045-013-0265-0
Riquier, C. (1910) Les Systèmes d'Equations aux Dérivées Partielles. Gauthiers-Villars, Paris.
Janet, M. (1920) Journal de Mathématiques, 8, 65-151.
Cartan, E. (1945) Les Systèmes Différentiels Extérieurs et Leurs Applications Géométriques. Hermann, Paris.
Pommaret, J.-F. (1994) Partial Differential Equations and Group Theory, New Perspectives for Applications. Mathematics and Its Applications 293, Kluwer, Dordrecht.
Spencer, D.C. (1965) Overdetermined Systems of Partial Differential Equations. Bulletin of the American Mathematical Society, 75, 1-114.
Macaulay, F.S. (1916) The Algebraic Theory of Modular Systems, Cambridge Tracts 19. Cambridge University Press, London.
Schneiders, J.-P. (1994) Bulletin de la Société Royale des Sciences de Liège, 63, 223-295.
Pommaret, J.-F. (2011) Journal of Symbolic Computation, 46, 1049-1069. http://dx.doi.org/10.1016/j.jsc.2011.05.007
Weyl, H. (1918) Space, Time. Matter, Berlin.
Pommaret, J.-F. (2013) Journal of Modern Physics, 4, 223-239. http://dx.doi.org/10.4236/jmp.2013.48A022
Eisenhart, L.P. (1926) Riemannian Geometry. Princeton University Press, Princeton.
Pommaret, J.-F. (1988) Lie Pseudogroups and Mechanics. Gordon and Breach, New York.
Pommaret, J.-F. (2012) Spencer Operator and Applications: From Continuum Mechanics to Mathematical Physics. In: Gan, Y., Ed., Continuum Mechanics-Progress in Fundamentals and Engineering Applications, InTech, Chapter 1. http://www.intechopen.com/books/continuum-mechanics-progress-in-fundamentals-and-engineering-applications http://dx.doi.org/10.5772/35607
Pommaret, J.-F. (2015) From Thermodynamics to Gauge Theory: The Virial Theorem Revisited. In: Gauge Theories and Differential Geometry, NOVA Science Publishers, Chapter 1, 1-44. http://arxiv.org/abs/1504.04118
Pommaret, J.-F. (2014) Journal of Modern Physics, 5, 157-170. http://dx.doi.org/10.4236/jmp.2014.55026
Pommaret, J.-F. (2012) Deformation Cohomology of Algebraic and Geometric Structures. arXiv:1207.1964 [math.AP]