When D:ξ→η is a linear ordinary differential (OD) or partial differential (PD) operator, a “direct problem” is to find the generating compatibility conditions (CC) in the form of an operator D<sub>1:</su...When D:ξ→η is a linear ordinary differential (OD) or partial differential (PD) operator, a “direct problem” is to find the generating compatibility conditions (CC) in the form of an operator D<sub>1:</sub>η→ξ such that Dξ = η implies D<sub>1</sub>η = 0. When D is involutive, the procedure provides successive first-order involutive operators D<sub>1</sub>,...,D<sub>n </sub>when the ground manifold has dimension n. Conversely, when D<sub>1</sub> is given, a much more difficult “inverse problem” is to look for an operator D:ξ→η having the generating CC D<sub>1</sub>η = 0. If this is possible, that is when the differential module defined by D<sub>1</sub> is “torsion-free”, that is when there does not exist any observable quantity which is a sum of derivatives of η that could be a solution of an autonomous OD or PD equation for itself, one shall say that the operator D<sub>1</sub> is parametrized by D. The parametrization is said to be “minimum” if the differential module defined by D does not contain a free differential submodule. The systematic use of the adjoint of a differential operator provides a constructive test with five steps using double differential duality. We prove and illustrate through many explicit examples the fact that a control system is controllable if and only if it can be parametrized. Accordingly, the controllability of any OD or PD control system is a “built in” property not depending on the choice of the input and output variables among the system variables. In the OD case and when D<sub>1</sub> is formally surjective, controllability just amounts to the formal injectivity of ad(D<sub>1</sub>), even in the variable coefficients case, a result still not acknowledged by the control community. Among other applications, the parametrization of the Cauchy stress operator in arbitrary dimension n has attracted many famous scientists (G. B. Airy in 1863 for n = 2, J. C. Maxwell in 1870, E. Beltrami in 1892 for n = 3, and A. Einstein in 1915 for n = 4). We prove that all these works are already explicitly using the self-adjoint Einstein operator, which cannot be parametrized and the comparison needs no comment. As a byproduct, they are all based on a confusion between the so-called div operator D<sub>2</sub> induced from the Bianchi operator and the Cauchy operator, adjoint of the Killing operator D which is parametrizing the Riemann operator D<sub>1</sub> for an arbitrary n. This purely mathematical result deeply questions the origin and existence of gravitational waves, both with the mathematical foundations of general relativity. As a matter of fact, this new framework provides a totally open domain of applications for computer algebra as the quoted test can be studied by means of Pommaret bases and related recent packages.展开更多
Laboratory tests under different constraint conditions were carried out to obtain the soil-water retention curves(SWRCs) of highly-compacted confined/unconfined Gaomiaozi(GMZ) bentonite at 20,40 and 80 ℃,respectively...Laboratory tests under different constraint conditions were carried out to obtain the soil-water retention curves(SWRCs) of highly-compacted confined/unconfined Gaomiaozi(GMZ) bentonite at 20,40 and 80 ℃,respectively. The effect of temperature on the soil-water characteristics of the highly-compacted GMZ bentonite was analyzed. The results show that the water retention capacity of the highly-compacted GMZ bentonite decreases as the temperature increases under unconfined and confined conditions. At a certain temperature,the constraint conditions have little influence on the water retention capacity of the compacted bentonite at high suction,but the water retention capacity of the confined specimen is lower than that of the unconfined specimen at low suction. Under unconfined conditions,the hysteretic behaviour of the compacted bentonite decreases with increasing temperature. At high suction(>4 MPa) ,the hysteretic behaviour of the unconfined bentonite tends to increase with the decrease of the suction. In summary,the hysteretic behaviour of the compacted bentonite is not significant.展开更多
The first purpose of this striking but difficult paper is to revisit the mathematical foundations of Elasticity (EL) and Electromagnetism (EM) by comparing the structure of these two theories and examining with detail...The first purpose of this striking but difficult paper is to revisit the mathematical foundations of Elasticity (EL) and Electromagnetism (EM) by comparing the structure of these two theories and examining with details their known couplings, in particular piezoelectricity and photoelasticity. Despite the strange Helmholtz and Mach-Lippmann analogies existing between them, no classical technique may provide a common setting. However, unexpected arguments discovered independently by the brothers E. and F. Cosserat in 1909 for EL and by H. Weyl in 1918 for EM are leading to construct a new differential sequence called Spencer sequence in the framework of the formal theory of Lie pseudo groups and to introduce it for the conformal group of space-time with 15 parameters. Then, all the previous explicit couplings can be deduced abstractly and one must just go to a laboratory in order to know about the coupling constants on which they are depending, like in the Hooke or Minkowski constitutive relations existing respectively and separately in EL or EM. We finally provide a new combined experimental and theoretical proof of the fact that any 1-form with value in the second order jets (elations) of the conformal group of space-time can be uniquely decomposed into the direct sum of the Ricci tensor and the electromagnetic field. This result questions the mathematical foundations of both General Relativity (GR) and Gauge Theory (GT). In particular, the Einstein operator (6 terms) must be thus replaced by the adjoint of the Ricci operator (4 terms only) in the study of gravitational waves.展开更多
When D: <span style="white-space:nowrap;"><span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">...When D: <span style="white-space:nowrap;"><span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">ξ</span></span></em><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">η</span></span></em><em><span style="white-space:nowrap;"></span></em><em></em></span> </span>is a linear differential operator, a “direct problem” is to find the generating compatibility conditions (CC) in the form of an operator D<sub>1</sub>: <span style="white-space:nowrap;"><span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">η</span></span></em><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">ξ</span> </span></em></span></span>such that <span style="white-space:nowrap;">D<span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">ξ</span></span></em></span>=<span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">η</span></span></em></span></span> implies <span style="white-space:nowrap;">D<sub>1</sub><span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">η</span></span></em></span>=0</span>. When D is involutive, the procedure provides successive first order involutive operators D1, ..., D<sub>n</sub>, when the ground manifold has dimension <em>n</em>, a result first found by M. Janet as early as in 1920, in a footnote. However, the link between this “Janet sequence” and the “Spencer sequence” first found by the author of this paper in 1978 is still not acknowledged. Conversely, when D<sub>1</sub> is given, a more difficult “inverse problem” is to look for an operator D: <span style="white-space:nowrap;"><span style="white-space:nowrap;"><em><em><span style="white-space:nowrap;">ξ</span></em></em><span style="white-space:nowrap;">→</span><em><em><span style="white-space:nowrap;">η</span></em><em></em><em></em> </em><em></em></span> </span>having the generating CC <span style="white-space:nowrap;">D<sub>1</sub><span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">η</span></span></em></span><em></em>=0</span>. If this is possible, that is when the differential module defined by D<sub>1</sub> is torsion-free, one shall say that the operator D<sub>1</sub> is parametrized by D and there is no relation in general between D and D<sub>2</sub>. The parametrization is said to be “minimum” if the differential module defined by D has a vanishing differential rank and is thus a torsion module. The solution of this problem, first found by the author of this paper in 1995, is still not acknowledged. As for the applications of the “differential double duality” theory to standard equations of physics (<em>Cauchy</em> and Maxwell equations can be parametrized while <em>Einstein</em> equations cannot), we do not know other references. When <span style="font-size:10.0pt;font-family:;" "="">erator in arbitrary dimension</span>=1 as in control theory, the fact that controllability is a “built in” property of a control system, amounting to the existence of a parametrization and thus not depending on the choice of inputs and outputs, even with variable coefficients, is still not acknowledged by engineers. The parametrization of the <em>Cauchy</em> stress operator in arbitrary dimension <em>n</em> has nevertheless attracted, “separately” and without any general “guiding line”, many famous scientists (G.B. Airy in 1863 for <em>n </em>= 2, J.C. Maxwell in 1863, G. Morera and E. Beltrami in 1892 for <em style="white-space:normal;">n </em><span style="white-space:normal;">= 3</span> , A. Einstein in 1915 for <em style="white-space:normal;">n </em><span style="white-space:normal;">= 4</span> ). The aim of this paper is to solve the minimum parametrization problem in arbitrary dimension and to apply it through effective methods that could even be achieved by using computer algebra. Meanwhile, we prove that all these works are using the <em>Einstein</em> operator which is self-adjoint and not the <em>Ricci</em> operator, a fact showing that the <em>Einstein</em> operator, which cannot be parametrized, has already been exhibited by Beltrami more than 20 years before <em>Einstein</em>. As a byproduct, they are all based on the same confusion between the so-called <em>div</em> operator induced from the <em>Bianchi </em>operator D<sub>2</sub> and the <em>Cauchy</em> operator which is the formal adjoint of the Killing operator D parametrizing the Riemann operator D<sub>1</sub> for an arbitrary <em>n</em>. We prove that this purely mathematical result deeply questions the origin and existence of gravitational waves. We also present the similar motivating situation met in the study of contact structures when <em>n</em> = 3. Like the Michelson and Morley experiment, it is thus an open historical problem to know whether <em>Einstein</em> was aware of these previous works or not, but the comparison needs no comment.展开更多
The search for the generating compatibility conditions (CC) of a given operator is a very recent problem met in general relativity in order to study the Killing operator for various standard useful metrics. Accordingl...The search for the generating compatibility conditions (CC) of a given operator is a very recent problem met in general relativity in order to study the Killing operator for various standard useful metrics. Accordingly, this paper can be considered as a natural continuation of a previous paper recently published in JMP under the title Minkowski, Schwarschild and Kerr metrics revisited. In particular, we prove that the intrinsic 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 in homological algebra. 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 the degree of generality introduced by A. Einstein in his 1930 letters to E. Cartan. One of the motivating examples that we provide is so striking that it is even difficult to imagine that such an example could exist. We hope this paper could be used as a source of testing examples for future applications of computer algebra in general relativity and, more generally, in mathematical physics.展开更多
In 1916, F.S. Macaulay developed specific localization techniques for dealing with “unmixed polynomial ideals” in commutative algebra, transforming them into what he called “inverse systems” of partial differentia...In 1916, F.S. Macaulay developed specific localization techniques for dealing with “unmixed polynomial ideals” in commutative algebra, transforming them into what he called “inverse systems” of partial differential equations. In 1970, D.C. Spencer and coworkers studied the formal theory of such systems, using methods of homological algebra that were giving rise to “differential homological algebra”, replacing unmixed polynomial ideals by “pure differential modules”. The use of “differential extension modules” and “differential double duality” is essential for such a purpose. In particular, 0-pure differential modules are torsion-free and admit an “absolute parametrization” by means of arbitrary potential like functions. In 2012, we have been able to extend this result to arbitrary pure differential modules, introducing a “relative parametrization” where the potentials should satisfy compatible “differential constraints”. We recently noticed that General Relativity is just a way to parametrize the Cauchy stress equations by means of the formal adjoint of the Ricci operator in order to obtain a “minimum parametrization” by adding sufficiently many compatible differential constraints, exactly like the Lorenz condition in electromagnetism. In order to make this difficult paper rather self-contained, these unusual purely mathematical results are illustrated by many explicit examples, two of them dealing with contact transformations, and even strengthening the comments we recently provided on the mathematical foundations of General Relativity and Gauge Theory. They also bring additional doubts on the origin and existence of gravitational waves.展开更多
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.展开更多
Molecular speciation of atmospheric organic matter was investigated during a short summer field campaign performed in a citrus fruit field in northern Corsica(June 2011). Aimedat assessing the performance on the fie...Molecular speciation of atmospheric organic matter was investigated during a short summer field campaign performed in a citrus fruit field in northern Corsica(June 2011). Aimedat assessing the performance on the field of newly developed analytical protocols, this work focuses on the molecular composition of both gas and particulate phases and provides an insight into partitioning behavior of the semi-volatile oxygenated fraction. Limonene ozonolysis tracers were specifically searched for, according to gas chromatography–mass spectrometry(GC–MS) data previously recorded for smog chamber experiments. A screening of other oxygenated species present in the field atmosphere was also performed. About sixty polar molecules were positively or tentatively identified in gas and/or particle phases. These molecules comprise a wide range of branched and linear, mono and di-carbonyls(C_3–C7),mono and di-carboxylic acids(C_3–C_18), and compounds bearing up to three functionalities.Among these compounds, some can be specifically attributed to limonene oxidation and others can be related to α- or β-pinene oxidation. This provides an original snapshot of the organic matter composition at a Mediterranean site in summer. Furthermore, for compounds identified and quantified in both gaseous and particulate phases, an experimental gas/particle partitioning coefficient was determined. Several volatile products, which are not expected in the particulate phase assuming thermodynamic equilibrium, were nonetheless present in significant concentrations. Hypotheses are proposed to explain these observations, such as the possible aerosol viscosity that could hinder the theoretical equilibrium to be rapidly reached.展开更多
文摘When D:ξ→η is a linear ordinary differential (OD) or partial differential (PD) operator, a “direct problem” is to find the generating compatibility conditions (CC) in the form of an operator D<sub>1:</sub>η→ξ such that Dξ = η implies D<sub>1</sub>η = 0. When D is involutive, the procedure provides successive first-order involutive operators D<sub>1</sub>,...,D<sub>n </sub>when the ground manifold has dimension n. Conversely, when D<sub>1</sub> is given, a much more difficult “inverse problem” is to look for an operator D:ξ→η having the generating CC D<sub>1</sub>η = 0. If this is possible, that is when the differential module defined by D<sub>1</sub> is “torsion-free”, that is when there does not exist any observable quantity which is a sum of derivatives of η that could be a solution of an autonomous OD or PD equation for itself, one shall say that the operator D<sub>1</sub> is parametrized by D. The parametrization is said to be “minimum” if the differential module defined by D does not contain a free differential submodule. The systematic use of the adjoint of a differential operator provides a constructive test with five steps using double differential duality. We prove and illustrate through many explicit examples the fact that a control system is controllable if and only if it can be parametrized. Accordingly, the controllability of any OD or PD control system is a “built in” property not depending on the choice of the input and output variables among the system variables. In the OD case and when D<sub>1</sub> is formally surjective, controllability just amounts to the formal injectivity of ad(D<sub>1</sub>), even in the variable coefficients case, a result still not acknowledged by the control community. Among other applications, the parametrization of the Cauchy stress operator in arbitrary dimension n has attracted many famous scientists (G. B. Airy in 1863 for n = 2, J. C. Maxwell in 1870, E. Beltrami in 1892 for n = 3, and A. Einstein in 1915 for n = 4). We prove that all these works are already explicitly using the self-adjoint Einstein operator, which cannot be parametrized and the comparison needs no comment. As a byproduct, they are all based on a confusion between the so-called div operator D<sub>2</sub> induced from the Bianchi operator and the Cauchy operator, adjoint of the Killing operator D which is parametrizing the Riemann operator D<sub>1</sub> for an arbitrary n. This purely mathematical result deeply questions the origin and existence of gravitational waves, both with the mathematical foundations of general relativity. As a matter of fact, this new framework provides a totally open domain of applications for computer algebra as the quoted test can be studied by means of Pommaret bases and related recent packages.
基金Projects(40772180, 40572161, 40802064) supported by the National Natural Science Foundation of ChinaProject ([2007]831) supported by Commission of Science, Technology and Industry for National Defense of China+3 种基金Project(07JJ4012) supported by Hunan Provincial Natural Science Foundation of ChinaProject(20080430680) supported by China Postdoctoral Science FoundationProject(08R214155) supported by Shanghai Postdoctoral Scientific Program of ChinaProject(B308) supported by Shanghai Leading Academic Discipline Project of China
文摘Laboratory tests under different constraint conditions were carried out to obtain the soil-water retention curves(SWRCs) of highly-compacted confined/unconfined Gaomiaozi(GMZ) bentonite at 20,40 and 80 ℃,respectively. The effect of temperature on the soil-water characteristics of the highly-compacted GMZ bentonite was analyzed. The results show that the water retention capacity of the highly-compacted GMZ bentonite decreases as the temperature increases under unconfined and confined conditions. At a certain temperature,the constraint conditions have little influence on the water retention capacity of the compacted bentonite at high suction,but the water retention capacity of the confined specimen is lower than that of the unconfined specimen at low suction. Under unconfined conditions,the hysteretic behaviour of the compacted bentonite decreases with increasing temperature. At high suction(>4 MPa) ,the hysteretic behaviour of the unconfined bentonite tends to increase with the decrease of the suction. In summary,the hysteretic behaviour of the compacted bentonite is not significant.
文摘The first purpose of this striking but difficult paper is to revisit the mathematical foundations of Elasticity (EL) and Electromagnetism (EM) by comparing the structure of these two theories and examining with details their known couplings, in particular piezoelectricity and photoelasticity. Despite the strange Helmholtz and Mach-Lippmann analogies existing between them, no classical technique may provide a common setting. However, unexpected arguments discovered independently by the brothers E. and F. Cosserat in 1909 for EL and by H. Weyl in 1918 for EM are leading to construct a new differential sequence called Spencer sequence in the framework of the formal theory of Lie pseudo groups and to introduce it for the conformal group of space-time with 15 parameters. Then, all the previous explicit couplings can be deduced abstractly and one must just go to a laboratory in order to know about the coupling constants on which they are depending, like in the Hooke or Minkowski constitutive relations existing respectively and separately in EL or EM. We finally provide a new combined experimental and theoretical proof of the fact that any 1-form with value in the second order jets (elations) of the conformal group of space-time can be uniquely decomposed into the direct sum of the Ricci tensor and the electromagnetic field. This result questions the mathematical foundations of both General Relativity (GR) and Gauge Theory (GT). In particular, the Einstein operator (6 terms) must be thus replaced by the adjoint of the Ricci operator (4 terms only) in the study of gravitational waves.
文摘When D: <span style="white-space:nowrap;"><span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">ξ</span></span></em><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">η</span></span></em><em><span style="white-space:nowrap;"></span></em><em></em></span> </span>is a linear differential operator, a “direct problem” is to find the generating compatibility conditions (CC) in the form of an operator D<sub>1</sub>: <span style="white-space:nowrap;"><span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">η</span></span></em><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">ξ</span> </span></em></span></span>such that <span style="white-space:nowrap;">D<span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">ξ</span></span></em></span>=<span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">η</span></span></em></span></span> implies <span style="white-space:nowrap;">D<sub>1</sub><span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">η</span></span></em></span>=0</span>. When D is involutive, the procedure provides successive first order involutive operators D1, ..., D<sub>n</sub>, when the ground manifold has dimension <em>n</em>, a result first found by M. Janet as early as in 1920, in a footnote. However, the link between this “Janet sequence” and the “Spencer sequence” first found by the author of this paper in 1978 is still not acknowledged. Conversely, when D<sub>1</sub> is given, a more difficult “inverse problem” is to look for an operator D: <span style="white-space:nowrap;"><span style="white-space:nowrap;"><em><em><span style="white-space:nowrap;">ξ</span></em></em><span style="white-space:nowrap;">→</span><em><em><span style="white-space:nowrap;">η</span></em><em></em><em></em> </em><em></em></span> </span>having the generating CC <span style="white-space:nowrap;">D<sub>1</sub><span style="white-space:nowrap;"><em><span style="white-space:nowrap;"><span style="white-space:nowrap;">η</span></span></em></span><em></em>=0</span>. If this is possible, that is when the differential module defined by D<sub>1</sub> is torsion-free, one shall say that the operator D<sub>1</sub> is parametrized by D and there is no relation in general between D and D<sub>2</sub>. The parametrization is said to be “minimum” if the differential module defined by D has a vanishing differential rank and is thus a torsion module. The solution of this problem, first found by the author of this paper in 1995, is still not acknowledged. As for the applications of the “differential double duality” theory to standard equations of physics (<em>Cauchy</em> and Maxwell equations can be parametrized while <em>Einstein</em> equations cannot), we do not know other references. When <span style="font-size:10.0pt;font-family:;" "="">erator in arbitrary dimension</span>=1 as in control theory, the fact that controllability is a “built in” property of a control system, amounting to the existence of a parametrization and thus not depending on the choice of inputs and outputs, even with variable coefficients, is still not acknowledged by engineers. The parametrization of the <em>Cauchy</em> stress operator in arbitrary dimension <em>n</em> has nevertheless attracted, “separately” and without any general “guiding line”, many famous scientists (G.B. Airy in 1863 for <em>n </em>= 2, J.C. Maxwell in 1863, G. Morera and E. Beltrami in 1892 for <em style="white-space:normal;">n </em><span style="white-space:normal;">= 3</span> , A. Einstein in 1915 for <em style="white-space:normal;">n </em><span style="white-space:normal;">= 4</span> ). The aim of this paper is to solve the minimum parametrization problem in arbitrary dimension and to apply it through effective methods that could even be achieved by using computer algebra. Meanwhile, we prove that all these works are using the <em>Einstein</em> operator which is self-adjoint and not the <em>Ricci</em> operator, a fact showing that the <em>Einstein</em> operator, which cannot be parametrized, has already been exhibited by Beltrami more than 20 years before <em>Einstein</em>. As a byproduct, they are all based on the same confusion between the so-called <em>div</em> operator induced from the <em>Bianchi </em>operator D<sub>2</sub> and the <em>Cauchy</em> operator which is the formal adjoint of the Killing operator D parametrizing the Riemann operator D<sub>1</sub> for an arbitrary <em>n</em>. We prove that this purely mathematical result deeply questions the origin and existence of gravitational waves. We also present the similar motivating situation met in the study of contact structures when <em>n</em> = 3. Like the Michelson and Morley experiment, it is thus an open historical problem to know whether <em>Einstein</em> was aware of these previous works or not, but the comparison needs no comment.
文摘The search for the generating compatibility conditions (CC) of a given operator is a very recent problem met in general relativity in order to study the Killing operator for various standard useful metrics. Accordingly, this paper can be considered as a natural continuation of a previous paper recently published in JMP under the title Minkowski, Schwarschild and Kerr metrics revisited. In particular, we prove that the intrinsic 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 in homological algebra. 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 the degree of generality introduced by A. Einstein in his 1930 letters to E. Cartan. One of the motivating examples that we provide is so striking that it is even difficult to imagine that such an example could exist. We hope this paper could be used as a source of testing examples for future applications of computer algebra in general relativity and, more generally, in mathematical physics.
文摘In 1916, F.S. Macaulay developed specific localization techniques for dealing with “unmixed polynomial ideals” in commutative algebra, transforming them into what he called “inverse systems” of partial differential equations. In 1970, D.C. Spencer and coworkers studied the formal theory of such systems, using methods of homological algebra that were giving rise to “differential homological algebra”, replacing unmixed polynomial ideals by “pure differential modules”. The use of “differential extension modules” and “differential double duality” is essential for such a purpose. In particular, 0-pure differential modules are torsion-free and admit an “absolute parametrization” by means of arbitrary potential like functions. In 2012, we have been able to extend this result to arbitrary pure differential modules, introducing a “relative parametrization” where the potentials should satisfy compatible “differential constraints”. We recently noticed that General Relativity is just a way to parametrize the Cauchy stress equations by means of the formal adjoint of the Ricci operator in order to obtain a “minimum parametrization” by adding sufficiently many compatible differential constraints, exactly like the Lorenz condition in electromagnetism. In order to make this difficult paper rather self-contained, these unusual purely mathematical results are illustrated by many explicit examples, two of them dealing with contact transformations, and even strengthening the comments we recently provided on the mathematical foundations of General Relativity and Gauge Theory. They also bring additional doubts on the origin and existence of gravitational waves.
文摘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.
文摘Molecular speciation of atmospheric organic matter was investigated during a short summer field campaign performed in a citrus fruit field in northern Corsica(June 2011). Aimedat assessing the performance on the field of newly developed analytical protocols, this work focuses on the molecular composition of both gas and particulate phases and provides an insight into partitioning behavior of the semi-volatile oxygenated fraction. Limonene ozonolysis tracers were specifically searched for, according to gas chromatography–mass spectrometry(GC–MS) data previously recorded for smog chamber experiments. A screening of other oxygenated species present in the field atmosphere was also performed. About sixty polar molecules were positively or tentatively identified in gas and/or particle phases. These molecules comprise a wide range of branched and linear, mono and di-carbonyls(C_3–C7),mono and di-carboxylic acids(C_3–C_18), and compounds bearing up to three functionalities.Among these compounds, some can be specifically attributed to limonene oxidation and others can be related to α- or β-pinene oxidation. This provides an original snapshot of the organic matter composition at a Mediterranean site in summer. Furthermore, for compounds identified and quantified in both gaseous and particulate phases, an experimental gas/particle partitioning coefficient was determined. Several volatile products, which are not expected in the particulate phase assuming thermodynamic equilibrium, were nonetheless present in significant concentrations. Hypotheses are proposed to explain these observations, such as the possible aerosol viscosity that could hinder the theoretical equilibrium to be rapidly reached.