In this paper, the geometrical design for the blade's surface in an impeller or for the profile of an aircraft, is modeled from the mathematical point of view by a boundary shape control problem for the Navier-Sto...In this paper, the geometrical design for the blade's surface in an impeller or for the profile of an aircraft, is modeled from the mathematical point of view by a boundary shape control problem for the Navier-Stokes equations. The objective function is the sum of a global dissipative function and the power of the fluid. The control variables are the geometry of the boundary and the state equations are the Navier-Stokes equations. The Euler-Lagrange equations of the optimal control problem are derived, which are an elliptic boundary value system of fourth order, coupled with the Navier-Stokes equations. The authors also prove the existence of the solution of the optimal control problem, the existence of the solution of the Navier-Stokes equations with mixed boundary conditions, the weak continuity of the solution of the Navier-Stokes equations with respect to the geometry shape of the blade's surface and the existence of solutions of the equations for the Gateaux derivative of the solution of the Navier-Stokes equations with respect to the geometry of the boundary.展开更多
Numerical treatment of engineering application problems often eventually results in a solution of systems of linear or nonlinear equations.The solution process using digital computational devices usually takes tremend...Numerical treatment of engineering application problems often eventually results in a solution of systems of linear or nonlinear equations.The solution process using digital computational devices usually takes tremendous time due to the extremely large size encountered in most real-world engineering applications.So,practical solvers for systems of linear and nonlinear equations based on multi graphic process units（GPUs）are proposed in order to accelerate the solving process.In the linear and nonlinear solvers,the preconditioned bi-conjugate gradient stable（PBi-CGstab）method and the Inexact Newton method are used to achieve the fast and stable convergence behavior.Multi-GPUs are utilized to obtain more data storage that large size problems need.展开更多
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展开更多
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 ...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 successively. 1) VESSIOT VERSUS CARTAN: 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. In particular, “curvature + torsion” (Cartan) must not be considered as a generalization of “curvature alone” (Vessiot). 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 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 and contrary to the “Janet sequence”, the “Spencer sequence” for the conformal Killing system and its formal adjoint fully describe the Cosserat equations, Maxwell equations and Weyl equations but General Relativity is not coherent with this result. 3) ALGEBRA VERSUS GEOMETRY: Using the powerful methods of “Algebraic Analysis”, that is a mixture of homological agebra and differential geometry, we shall prove that, contrary to other equations of physics (Cauchy equations, Cosserat equations, Maxwell equations), the Einstein equations cannot be “parametrized”, that is the g展开更多
Studies the stability for them manifold of equilibrium state of the autonomous Birkhoffsystem. Uses the Liapunov's direct method and the first approximation method to obtain thestability criterion for the manifold...Studies the stability for them manifold of equilibrium state of the autonomous Birkhoffsystem. Uses the Liapunov's direct method and the first approximation method to obtain thestability criterion for the manifold of equilibrium state of the system. Gives an example toillustrate the application of the result.展开更多
Let the coordinate system xi of flat space-time to absorb a second rank tensor field Φij of the flat space-time deforming into a Riemannian space-time, namely, the tensor field Φuv is regarded as a metric tensor wit...Let the coordinate system xi of flat space-time to absorb a second rank tensor field Φij of the flat space-time deforming into a Riemannian space-time, namely, the tensor field Φuv is regarded as a metric tensor with respect to the coordinate system xu. After done this, xu is not the coordinate system of flat space-time anymore, but is the coordinate system of the new Riemannian space-time. The inverse operation also can be done. According to these notions, the concepts of the absorption operation and the desorption operation are proposed. These notions are actually compatible with Einstein’s equivalence principle. By using these concepts, the relationships of the Riemannian space-time, the de Donder conditions and the gravitational field in flat space-time are analyzed and elaborated. The essential significance of the de Donder conditions (the harmonic conditions or gauge) is to desorb the tensor field of gravitation from the Riemannian space-time to the Minkowski space-time with the Cartesian coordinates. Einstein equations with de Donder conditions can be solved in flat space-time. Base on Fock’s works, the equations of gravitational field in flat space-time are obtained, and the tensor expression of the energy-momentum of gravitational field is found. They all satisfy the global Lorentz covariance.展开更多
We have investigated the general relativistic field equations for neutron stars.We find that there are solutions for the equilibriummass distribution without a maximum mass limit.The solutions correspond to stars with...We have investigated the general relativistic field equations for neutron stars.We find that there are solutions for the equilibriummass distribution without a maximum mass limit.The solutions correspond to stars with a void inside their centers.In thesesolutions,the mass density and pressure increase first from zero at the inner radius to a peak and then decrease to zero at the outerradius.With the change of the void boundary,the mass and particle number of the star can approach infinity.Neutron stars withlarge masses can remain stable and do not collapse into black holes.展开更多
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.展开更多
Using an alternative representation of the Ricci tensor, we argue that the theory of gravitation can be easily developed in such a way that the formal description of gravity in the transition from classical Newtonian ...Using an alternative representation of the Ricci tensor, we argue that the theory of gravitation can be easily developed in such a way that the formal description of gravity in the transition from classical Newtonian physics to general relativity remains essentially unchanged. That is to say, we show how arguments concerning the plausible conceptual compatibility of Newtonian and general-relativistic models of gravity can be replaced by a demonstration of their actual formal identity. More specifically, we find that both the classical Newtonian and the general relativistic field equations are equivalent to a velocity-field divergence equation of the form v [div (v)] + div (v,v) = -4πρ where the term div (v,v) is defined to be the trace of the square of the Jacobian derivative matrix of v (or of its general-relativistic analogue).展开更多
The authors discuss contradictions between the principal branches of the modern physical picture of the universe. Space and time have been shown in the Unitary Quantum Theory (UQT) not to be connected one with the oth...The authors discuss contradictions between the principal branches of the modern physical picture of the universe. Space and time have been shown in the Unitary Quantum Theory (UQT) not to be connected one with the other, unlike in the Special Theory of Relativity. In UQT, time becomes Newtonian again, and the growth of the particle’s mass with growing speed proceeds from other considerations of physics. Unlike the quantum theory, the modern gravitation theory (the general theory of relativity) is not confirmed by experiments and needs to be considerably revised.展开更多
Li et al. (2015) claim that it is sufficient to use two harmonic functions to express the general solution of Stokes equations. In this paper, we demonstrate that this is not true in a general case and that we in fact...Li et al. (2015) claim that it is sufficient to use two harmonic functions to express the general solution of Stokes equations. In this paper, we demonstrate that this is not true in a general case and that we in fact need three scalar harmonic functions to represent the general solution of Stokes equations (Venkatalaxmi et al., 2004).展开更多
Some new systems of exponentially general equations are introduced and investigated, which can be used to study the odd-order, non-positive and nonsymmetric exponentially boundary value problems. Some important and in...Some new systems of exponentially general equations are introduced and investigated, which can be used to study the odd-order, non-positive and nonsymmetric exponentially boundary value problems. Some important and interesting results such as Riesz-Frechet representation theorem, Lax-Milgram lemma and system of absolute values equations can be obtained as special cases. It is shown that the system of exponentially general equations is equivalent to nonlinear optimization problem. The auxiliary principle technique is used to prove the existence of a solution to the system of exponentially general equations. This technique is also used to suggest some new iterative methods for solving the system of the exponentially general equations. The convergence analysis of the proposed methods is analyzed. Ideas and techniques of this paper may stimulate further research.展开更多
The paper is concerned with the problem of reduction of the general relativity theory to the Newton gravitation theory for a gravitation field with relatively low intensity. This problem is traditionally solved on the...The paper is concerned with the problem of reduction of the general relativity theory to the Newton gravitation theory for a gravitation field with relatively low intensity. This problem is traditionally solved on the basis of linearized equations of general relativity which, being matched to the Newton theory equations, allow us to link the classical gravitation constant with the constant entering the general relativity equations. Analysis of the linearized general relativity equations shows that it can be done only for empty space in which the energy tensor is zero. In solids, the set of linearized general relativity equations is not consistent and is not reduced to the Newton theory equations. Specific features of the problem are demonstrated with the spherically symmetric static problem of general relativity which has the closed-form solution.展开更多
In this paper we present a new unified theory of electromagnetic and gravitational interactions. By considering a four-dimensional spacetime as a hypersurface embedded in a five-dimensional bulk spacetime, we derive t...In this paper we present a new unified theory of electromagnetic and gravitational interactions. By considering a four-dimensional spacetime as a hypersurface embedded in a five-dimensional bulk spacetime, we derive the complete set of field equations in the four-dimensional spacetime from the five-dimensional Einstein field equation. Besides the Einstein field equation in the four-dimensional spacetime, an electromagnetic field equation is obtained: del F-a(ab) - xi R-b (a)A(a) = -4 pi J(b) with xi = -2, where F-ab is the antisymmetric electromagnetic field tensor defined by the potential vector A(a), R-ab is the Ricci curvature tensor of the hypersurface, and J(a) is the electric current density vector. The electromagnetic field equation differs from the Einstein-Maxwell equation by a curvature-coupled term xi R-b (a)A(a), whose presence addresses the problem of incompatibility of the Einstein-Maxwell equation with a universe containing a uniformly distributed net charge, as discussed in a previous paper by the author [L.-X. Li, Gen. Relativ. Gravit. 48, 28 (2016)]. Hence, the new unified theory is physically different from Kaluza-Klein theory and its variants in which the Einstein-Maxwell equation is derived. In the four-dimensional Einstein field equation derived in the new theory, the source term includes the stress-energy tensor of electromagnetic fields as well as the stress-energy tensor of other unidentified matter. Under certain conditions the unidentified matter can be interpreted as a cosmological constant in the four-dimensional spacetime. We argue that, the electromagnetic field equation and hence the unified theory presented in this paper can be tested in an environment with a high mass density, e.g., inside a neutron star or a white dwarf, and in the early epoch of the universe.展开更多
In this paper we consider one dimensional mean-field backward stochastic differential equations(BSDEs)under weak assumptions on the coefficient.Unlike[3],the generator of our mean-field BSDEs depends not only on the s...In this paper we consider one dimensional mean-field backward stochastic differential equations(BSDEs)under weak assumptions on the coefficient.Unlike[3],the generator of our mean-field BSDEs depends not only on the solution(Y,Z)but also on the law PY of Y.The first part of the paper is devoted to the existence and uniqueness of solutions in Lp,1<p≤2,where the monotonicity conditions are satisfied.Next,we show that if the generator/is uniformly continuous in(μ,y,z),uniformly with respect to(t,ω) and if the terminal valueξbelongs to Lp(Ω,F,P)with 1<p≤2,the mean-field BSDE has a unique Lp solution.展开更多
In the literature （Tan and Wang, 2010）, Tan and Wang investigated the convergence of the split-step backward Euler （SSBE） method for linear stochastic delay integro-differential equations （SDIDEs） and proved the...In the literature （Tan and Wang, 2010）, Tan and Wang investigated the convergence of the split-step backward Euler （SSBE） method for linear stochastic delay integro-differential equations （SDIDEs） and proved the mean-square stability of SSBE method under some condition. Unfortu- nately, the main result of stability derived by the condition is somewhat restrictive to be applied for practical application. This paper improves the corresponding results. The authors not only prove the mean-square stability of the numerical method but also prove the general mean-square stability of the numerical method. Furthermore, an example is given to illustrate the theory.展开更多
基金supported by the National High-Tech Research and Development Program of China (No.2009AA01A135)the National Natural Science Foundation of China (Nos. 10926080, 10971165, 10871156)Xian Jiaotong University (No. XJJ2008033)
文摘In this paper, the geometrical design for the blade's surface in an impeller or for the profile of an aircraft, is modeled from the mathematical point of view by a boundary shape control problem for the Navier-Stokes equations. The objective function is the sum of a global dissipative function and the power of the fluid. The control variables are the geometry of the boundary and the state equations are the Navier-Stokes equations. The Euler-Lagrange equations of the optimal control problem are derived, which are an elliptic boundary value system of fourth order, coupled with the Navier-Stokes equations. The authors also prove the existence of the solution of the optimal control problem, the existence of the solution of the Navier-Stokes equations with mixed boundary conditions, the weak continuity of the solution of the Navier-Stokes equations with respect to the geometry shape of the blade's surface and the existence of solutions of the equations for the Gateaux derivative of the solution of the Navier-Stokes equations with respect to the geometry of the boundary.
文摘Numerical treatment of engineering application problems often eventually results in a solution of systems of linear or nonlinear equations.The solution process using digital computational devices usually takes tremendous time due to the extremely large size encountered in most real-world engineering applications.So,practical solvers for systems of linear and nonlinear equations based on multi graphic process units（GPUs）are proposed in order to accelerate the solving process.In the linear and nonlinear solvers,the preconditioned bi-conjugate gradient stable（PBi-CGstab）method and the Inexact Newton method are used to achieve the fast and stable convergence behavior.Multi-GPUs are utilized to obtain more data storage that large size problems need.
文摘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
文摘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 successively. 1) VESSIOT VERSUS CARTAN: 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. In particular, “curvature + torsion” (Cartan) must not be considered as a generalization of “curvature alone” (Vessiot). 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 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 and contrary to the “Janet sequence”, the “Spencer sequence” for the conformal Killing system and its formal adjoint fully describe the Cosserat equations, Maxwell equations and Weyl equations but General Relativity is not coherent with this result. 3) ALGEBRA VERSUS GEOMETRY: Using the powerful methods of “Algebraic Analysis”, that is a mixture of homological agebra and differential geometry, we shall prove that, contrary to other equations of physics (Cauchy equations, Cosserat equations, Maxwell equations), the Einstein equations cannot be “parametrized”, that is the g
文摘Studies the stability for them manifold of equilibrium state of the autonomous Birkhoffsystem. Uses the Liapunov's direct method and the first approximation method to obtain thestability criterion for the manifold of equilibrium state of the system. Gives an example toillustrate the application of the result.
文摘Let the coordinate system xi of flat space-time to absorb a second rank tensor field Φij of the flat space-time deforming into a Riemannian space-time, namely, the tensor field Φuv is regarded as a metric tensor with respect to the coordinate system xu. After done this, xu is not the coordinate system of flat space-time anymore, but is the coordinate system of the new Riemannian space-time. The inverse operation also can be done. According to these notions, the concepts of the absorption operation and the desorption operation are proposed. These notions are actually compatible with Einstein’s equivalence principle. By using these concepts, the relationships of the Riemannian space-time, the de Donder conditions and the gravitational field in flat space-time are analyzed and elaborated. The essential significance of the de Donder conditions (the harmonic conditions or gauge) is to desorb the tensor field of gravitation from the Riemannian space-time to the Minkowski space-time with the Cartesian coordinates. Einstein equations with de Donder conditions can be solved in flat space-time. Base on Fock’s works, the equations of gravitational field in flat space-time are obtained, and the tensor expression of the energy-momentum of gravitational field is found. They all satisfy the global Lorentz covariance.
基金supported by the National Natural Science Foundation of China (Grant No. 10974107)
文摘We have investigated the general relativistic field equations for neutron stars.We find that there are solutions for the equilibriummass distribution without a maximum mass limit.The solutions correspond to stars with a void inside their centers.In thesesolutions,the mass density and pressure increase first from zero at the inner radius to a peak and then decrease to zero at the outerradius.With the change of the void boundary,the mass and particle number of the star can approach infinity.Neutron stars withlarge masses can remain stable and do not collapse into black holes.
文摘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.
文摘Using an alternative representation of the Ricci tensor, we argue that the theory of gravitation can be easily developed in such a way that the formal description of gravity in the transition from classical Newtonian physics to general relativity remains essentially unchanged. That is to say, we show how arguments concerning the plausible conceptual compatibility of Newtonian and general-relativistic models of gravity can be replaced by a demonstration of their actual formal identity. More specifically, we find that both the classical Newtonian and the general relativistic field equations are equivalent to a velocity-field divergence equation of the form v [div (v)] + div (v,v) = -4πρ where the term div (v,v) is defined to be the trace of the square of the Jacobian derivative matrix of v (or of its general-relativistic analogue).
文摘The authors discuss contradictions between the principal branches of the modern physical picture of the universe. Space and time have been shown in the Unitary Quantum Theory (UQT) not to be connected one with the other, unlike in the Special Theory of Relativity. In UQT, time becomes Newtonian again, and the growth of the particle’s mass with growing speed proceeds from other considerations of physics. Unlike the quantum theory, the modern gravitation theory (the general theory of relativity) is not confirmed by experiments and needs to be considerably revised.
文摘Li et al. (2015) claim that it is sufficient to use two harmonic functions to express the general solution of Stokes equations. In this paper, we demonstrate that this is not true in a general case and that we in fact need three scalar harmonic functions to represent the general solution of Stokes equations (Venkatalaxmi et al., 2004).
文摘Some new systems of exponentially general equations are introduced and investigated, which can be used to study the odd-order, non-positive and nonsymmetric exponentially boundary value problems. Some important and interesting results such as Riesz-Frechet representation theorem, Lax-Milgram lemma and system of absolute values equations can be obtained as special cases. It is shown that the system of exponentially general equations is equivalent to nonlinear optimization problem. The auxiliary principle technique is used to prove the existence of a solution to the system of exponentially general equations. This technique is also used to suggest some new iterative methods for solving the system of the exponentially general equations. The convergence analysis of the proposed methods is analyzed. Ideas and techniques of this paper may stimulate further research.
文摘The paper is concerned with the problem of reduction of the general relativity theory to the Newton gravitation theory for a gravitation field with relatively low intensity. This problem is traditionally solved on the basis of linearized equations of general relativity which, being matched to the Newton theory equations, allow us to link the classical gravitation constant with the constant entering the general relativity equations. Analysis of the linearized general relativity equations shows that it can be done only for empty space in which the energy tensor is zero. In solids, the set of linearized general relativity equations is not consistent and is not reduced to the Newton theory equations. Specific features of the problem are demonstrated with the spherically symmetric static problem of general relativity which has the closed-form solution.
文摘In this paper we present a new unified theory of electromagnetic and gravitational interactions. By considering a four-dimensional spacetime as a hypersurface embedded in a five-dimensional bulk spacetime, we derive the complete set of field equations in the four-dimensional spacetime from the five-dimensional Einstein field equation. Besides the Einstein field equation in the four-dimensional spacetime, an electromagnetic field equation is obtained: del F-a(ab) - xi R-b (a)A(a) = -4 pi J(b) with xi = -2, where F-ab is the antisymmetric electromagnetic field tensor defined by the potential vector A(a), R-ab is the Ricci curvature tensor of the hypersurface, and J(a) is the electric current density vector. The electromagnetic field equation differs from the Einstein-Maxwell equation by a curvature-coupled term xi R-b (a)A(a), whose presence addresses the problem of incompatibility of the Einstein-Maxwell equation with a universe containing a uniformly distributed net charge, as discussed in a previous paper by the author [L.-X. Li, Gen. Relativ. Gravit. 48, 28 (2016)]. Hence, the new unified theory is physically different from Kaluza-Klein theory and its variants in which the Einstein-Maxwell equation is derived. In the four-dimensional Einstein field equation derived in the new theory, the source term includes the stress-energy tensor of electromagnetic fields as well as the stress-energy tensor of other unidentified matter. Under certain conditions the unidentified matter can be interpreted as a cosmological constant in the four-dimensional spacetime. We argue that, the electromagnetic field equation and hence the unified theory presented in this paper can be tested in an environment with a high mass density, e.g., inside a neutron star or a white dwarf, and in the early epoch of the universe.
基金supported in part by the NSFC(11222110,11871037)Shandong Province(JQ201202)+1 种基金NSFC-RS(11661130148,NA150344)111 Project(B12023)。
文摘In this paper we consider one dimensional mean-field backward stochastic differential equations(BSDEs)under weak assumptions on the coefficient.Unlike[3],the generator of our mean-field BSDEs depends not only on the solution(Y,Z)but also on the law PY of Y.The first part of the paper is devoted to the existence and uniqueness of solutions in Lp,1<p≤2,where the monotonicity conditions are satisfied.Next,we show that if the generator/is uniformly continuous in(μ,y,z),uniformly with respect to(t,ω) and if the terminal valueξbelongs to Lp(Ω,F,P)with 1<p≤2,the mean-field BSDE has a unique Lp solution.
基金supported by the Fundamental Research Funds for the Central Universities under Grant No. 2012089:31541111213China Postdoctoral Science Foundation Funded Project under Grant No.2012M511615the State Key Program of National Natural Science of China under Grant No.61134012
文摘In the literature （Tan and Wang, 2010）, Tan and Wang investigated the convergence of the split-step backward Euler （SSBE） method for linear stochastic delay integro-differential equations （SDIDEs） and proved the mean-square stability of SSBE method under some condition. Unfortu- nately, the main result of stability derived by the condition is somewhat restrictive to be applied for practical application. This paper improves the corresponding results. The authors not only prove the mean-square stability of the numerical method but also prove the general mean-square stability of the numerical method. Furthermore, an example is given to illustrate the theory.
