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-d...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 ins展开更多
A code LEADS based on the Lie algebraic analysis for the continuous beam dynamics with space charge effect in beam transport has been developed. The program is used for the simulations of axial-symmetric and unsymmetr...A code LEADS based on the Lie algebraic analysis for the continuous beam dynamics with space charge effect in beam transport has been developed. The program is used for the simulations of axial-symmetric and unsymmetrical intense continuous beam in the channels including drift spaces, electrostatic lenses and DC electrostatic accelerating tubes. In order to get the accuracy required, all elements are divided into many small segments, and the electric field in the segments is regarded as uniform field, and the dividing points are treated as thin lenses. Iteration procedures are adopted in the program to obtain self-consistent solutions. The code can be used in the designs of low energy beam transport systems, electrostatic accelerators and ion implantation machines.展开更多
The purpose of this short but difficult paper is to revisit the mathematical foundations of both General Relativity (GR) and Gauge Theory (GT) in the light of a modern approach to nonlinear systems of ordinary or part...The purpose of this short but difficult paper is to revisit the mathematical foundations of both General Relativity (GR) and Gauge Theory (GT) in the light of a modern approach to nonlinear systems of ordinary or 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). The main idea is to identify the differential indeterminates of Ritt and Kolchin with the jet coordinates of Spencer, in order to study Differential Duality by using only linear differential operators with coefficients in a differential field K. In particular, the linearized second order Einstein operator and the formal adjoint of the Ricci operator are both parametrizing the 4 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 a certain second extension module and leads to question the proper origin and existence of gravitational waves. As a byproduct, we also prove that gravitation and electromagnetism only depend on the second order jets (called elations by E. Cartan in 1922) of the system of conformal Killing equations because any 1-form with value in the bundle of elations can be decomposed uniquely into the direct sum (R, F) where R is a section of the Ricci bundle of symmetric covariant 2-tensors and the EM field F is a section of the vector bundle of skew-symmetric 2-tensors. No one of these purely mathematical results could have been obtained by any classical approach. Up to the knowledge of the author, it is also the first time that differential algebra in a modern setting is applied to study the specific algebraic feature of most equations to be found in mathematical physics, particularly in GR.展开更多
文摘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 ins
基金National Natural Science Foundation of China (1057009)
文摘A code LEADS based on the Lie algebraic analysis for the continuous beam dynamics with space charge effect in beam transport has been developed. The program is used for the simulations of axial-symmetric and unsymmetrical intense continuous beam in the channels including drift spaces, electrostatic lenses and DC electrostatic accelerating tubes. In order to get the accuracy required, all elements are divided into many small segments, and the electric field in the segments is regarded as uniform field, and the dividing points are treated as thin lenses. Iteration procedures are adopted in the program to obtain self-consistent solutions. The code can be used in the designs of low energy beam transport systems, electrostatic accelerators and ion implantation machines.
文摘The purpose of this short but difficult paper is to revisit the mathematical foundations of both General Relativity (GR) and Gauge Theory (GT) in the light of a modern approach to nonlinear systems of ordinary or 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). The main idea is to identify the differential indeterminates of Ritt and Kolchin with the jet coordinates of Spencer, in order to study Differential Duality by using only linear differential operators with coefficients in a differential field K. In particular, the linearized second order Einstein operator and the formal adjoint of the Ricci operator are both parametrizing the 4 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 a certain second extension module and leads to question the proper origin and existence of gravitational waves. As a byproduct, we also prove that gravitation and electromagnetism only depend on the second order jets (called elations by E. Cartan in 1922) of the system of conformal Killing equations because any 1-form with value in the bundle of elations can be decomposed uniquely into the direct sum (R, F) where R is a section of the Ricci bundle of symmetric covariant 2-tensors and the EM field F is a section of the vector bundle of skew-symmetric 2-tensors. No one of these purely mathematical results could have been obtained by any classical approach. Up to the knowledge of the author, it is also the first time that differential algebra in a modern setting is applied to study the specific algebraic feature of most equations to be found in mathematical physics, particularly in GR.
