only on time using the Hamiltonian formalism. In the last section we finally derive the Vlasov-Maxwell-Einstein equations. The Vlasov-Maxwell-Einstein Equations and its Cosmological Applications Let's consider the GTR action in the presence of an electromagnetic field [6]- [10], describing the movement of particles of m mass and e electric charge: S 1 = ?mc g ab dx a dq dx b dq ? e c A a dx a dq dq(1) Here g ab (x) is a metric in 4-dimensional space-time x ? R 4 , and A a (x) is the potential of an electromagnetic field (a, b = 0, 1, 2, 3). Repeating superscripts and subscripts are summed up here and thereafter. Such an action is inconvenient for the Hamiltonian formalism, since its Hamiltonian is zero by the Euler's homogeneous function theorem. Indeed, the Lagrangian is a linear expression in velocities. The transition to a more convenient action is more or less known in the literature [6]- [9], but wasn't strictly justified, so we will give the proof for it. Take a look at this action S = ? mc 2 ? I g ab (x) dx a dq dx b dq dq ? e c A a dx a dq dq(2) The value of I = g ab dx a dq dx b dq in constant, as we will see later. The connection of ( 1) and ( 2) is justified by the following general lemma. Consider an action with kernel k L(x, dx dq )dq + L 1 (x, dx dq )dq and another action with kernel h(L)(x, dx dq )dq + L 1 (x, dx dq )dq,(4) where h(L) is a some function of L Lagrangian. Let's compare their Euler-Lagrange equations. The Lemma is as follows: If these conditions are true 1. L Lagrangian is an integral of motion for (3) action. 2. k from (3) must be equal to the derivative of h(L) from (4), that is k = dh(L) dL . Then (3) and (4) are equivalent, which means that their Euler-Lagrange equations are the same. The proof is to compare the Euler-Lagrange equation for (4) action d 2 h dL 2 dL dq ?L ?v + dh dL d dq ?L ?v + d dq ?L 1 ?v = dh dL ?L ?x + ?L 1 ?x , with the same for (3) action k d dq ?L ?v + d dq ?L 1 ?v = k ?L ?x + ?L 1 ?x . The corollary: the (1) action and the (2) action are equivalent. To see this, we need to set h(L) = ?mc ? L, L = g ab dx a dq dx b dq , L 1 = ? e c A a dx a dq(5) The first condition is satisfied by the same Euler's homogeneous function theorem, because the Hamiltonian for (2) action is proportional to the Lagrangian from ( 5), since L is quadratic in velocities, and L 1 is linear in velocities. The second condition: k from (3) is exactly equal to the derivative of h(L): k = dh dL = ? mc 2 ? L . This coefficient stands before the first term in the (2) action. I denotes a persistent value of L from (5), that is the interval squared. Usually [6]- [9] a natural parameter s is taken instead of arbitrary q. They are connected by a simple formula ds = ? Idq, which follows from the comparison of ds and I. Let's write down the Euler-Lagrange equations for (1) and ( 2) actions. In contrast to the usual derivations [6]- [9], [19], we assume the value of the interval is not a unity, but ? I. mc ? I d dq (g ab dx b dq ) + e c d dq A a = mc 2 ? I ?g bc ?x a dx b dq dx c dq + e c ?A b ?x a dx b dq(6) From the ( 6) system, it can be seen that without electromagnetic fields, mc ? I factors are reduced, and the equations do not depend on which parameter is taken, the interval s or the initial q parameter. But if electromagnetic field is present, there will be different equations. A transition to the natural parameter s is possible, which follows from (6). However, this possibility is absent in multiparticle problems, as we will see below. Let's consider a multiparticle problem of motion in a gravitational and electromagnetic field. Consider an action similar to (1) for an ensemble of particles. S 1 = ? r m r c g ab dx a r dq dx b r dq dq ? r e r c A a dx a r dq dq(7) We can again come to (2)-type Lagrangian and get an equivalent action S = ? r m r c 2 ? I r g ab (x) dx a r dq dx b r dq dq ? r e r c A a dx a r dq dq(8) It should be noted that here an r index appears which numbers the particles. Values of I r integral denoting the particles' interval sizes are not necessarily the same. Here we have synchronized the proper time of the particles ds r = ? I r dq in the following sense: 1) we have showed that the impossibility of synchronizing the ds r intervals themselves is come from the different values of I r ; 2) we have showed how different proper times are related: the q parameter for all particles is the same. It's important that the I r integrals depend on parametrization, but their ratio does not, so it's convenient to rewrite the action (8) via the ds interval of some particle (observer). Using the usual momentum formulae, from (2) or (7) or (8) we get Q ra = ?L ?v a r = ? m r c ? I r g ab (x r ) dx b r dq ? e r c A a (x r )(9) These Q ra are the canonical "long" momenta [6]- [9]. Then the velocities expressed through the long momenta are dx b r dq = ? ? I r m r c g ab (x r )(Q ra + e r c A a )(10)dQ ra dq = r ? I r m r c (Q rd + e r c A d (x r )) ?g db ?x a (x r )(Q rb + e r c A b (x r ))+ e r ? I r m r c 2 (Q rd + e r c A d (x r ))g db ?A d ?x a r(11) There is a Hamiltonian for which the equations ( 10) and ( 11) are canonical: H = r ? I r m r c (Q ra + e r c A a (x r ))g ab (x r )(Q rb + e r c A b (x r )) The integrals ? I r do the time synchronization here, leading to differentiation by the same parameter q. Now we write the corresponding Liouville equation for the distribution function f r (x, p, q). ?f r ?q ? ? I r m r c g ab (x)(Q a + e r c A a ) ?f r ?x b + ( ? I r m r c (Q d + e r c A d (x)) ?g db ?x a (Q b + e r c A b (x))+ e r ? I r m r c 2 (Q d + e r c A d (x))g db ?A d ?x a ) ?f r ?Q a = 0(12) Here indices r have moved from the momenta and the coordinates to the distribution function f r (x, p, q) as usual [10]- [18], and the equations depend on the indices only through mass, charges and intervals squared, i.e. I r . Let's write out the stationary form of this equation, where f r (x, p, q) does not depend on q, this is how the Vlasov-Einstein equation is usually written [10], [15], [16]. ?g ab (x)(Q rb + e r c A b ) ?f r ?x a + ( ?g bd ?x a (Q rd + e r c A d )(Q rb + e r c A b )+ e r c F ab (x)g db (Q rd + e r c A d )) ?f r ?p a = 0(13) © 2019 Global Journals The integrals I r and the masses m r have disappeared, but the electric charges e r have not. Compare now the resulting equations with those when using "short" momenta in (7) without the electromagnetic field. p ra = ? m r c ? I r g ab (x r )v b r , v b r = dx b r dq(14) We have obtained the first-order equations for the (7) (or ( 8)). They are non-Hamiltonian, but divergence-free. For the sake of clarity, we will use the proper time of some particle (observer) s, ds = ? Idq when synchronizing, instead of the affine parameter q. dx b r ds = ? ? I r m r c ? I g ab (x r )p ra , d ds (p ra ) = ? ? I r m r c ? I ?g bd ?x a p rb p rd + e r c ? I r m r c ? I F ab (x r )g db (x r )p rd(15) Let's write the Liouville equation for the distribution function f r (x, p, s) of particles with masses m r and electric charges e r over the 4-space x, 4-momentum p with s as a parameter. ?f r ?s ? ? I r m r c ? I g ab (x)p a ?f r ?x b + (? ? I r m r c ? I ?g bd ?x a p b p d + e r c ? I r m r c ? I F ab (x)g db p d ) ?f r ?p a = 0(16) The stationary form of this equation, i.e. f r (x, p, s) does not depend on s: ?g ab (x)p a ?f r ?x b + (? ?g bd ?x a p b p d + e r c F ab (x)g db p d ) ?f r ?p a = 0(17) So, we have obtained the stationary (( 13) or ( 17)) Liouville equations, also non-stationary (( 12) or ( 16)) ones. We can see that when transforming (12) to (13) or ( 16) to (17) the integrals ? I r and the masses m r are being reduced, but the charges e r are not. It can be seen from ( 6) that in the stationary case, when the metric g ab and vector potentials A a do not depend on the time coordinate x 0 = ct, the right-hand side in (6) disappears when a = 0, and we can integrate the left side mc ? I (g 0b dx b dq ) + e c A 0 = ?Q 0 (18) To understand what the integral ( 18) is, let's take the weakly relativistic metric [8, Eq. (87.13)]: g ab = (1 + 2U c 2 , ?1, ?1, ?1) IV. Analysis of Special Cases of Euler-Lagrange Equations Then the integral (18) becomes mc ? I (1 + 2U c 2 )( dx 0 dq ) + e c A 0 = ?Q 0 (19) The remaining equations ( 6) take the following form mc ? I d dq ( dx j dq ) + e c d dq A j = mc c 2 ? I ?U ?x j ( dx 0 dq ) 2 + e c ?A b ?x j dx b dq , j = 1, 2, 3.(20) We can exclude q differentiation, replacing it with x 0 or t differentiation, and the equations will acquire a familiar form of dynamics in the electromagnetic field with Lorentz force and electrostatics and gravitational potential U , but the effective mass expression is quite interesting. d dt (M dx j dt ) = ?M ?U ?x j + e c F bj dx b dt(21) Here F ab are common field expressions by potentials [6]- [18], and the expression for effective mass M is M = ? Q 0 c + e c 2 A 0 1 + 2U c 2(22) We can see how the effective mass (22) depends on gravitational and electric fields, therefore Q 0 can be considered as zero component of the momentum or energy outside the fields. It should be noted that all calculations are accurate when using the Lagrangian (2). Let's write out the expression for Q 0 , replacing q differentiation with t one in (18), also get the final expression for the effective mass. Q 0 = ? mc(1 + 2U c 2 ) 1 ? v 2 c 2 + 2U c 2 ? e c A 0 , M = m 1 ? v 2 c 2 + 2U c 2 Let's consider now the Fock metric [7] (weakly relativistic also): g ab = (1 + 2U c 2 , ?(1 ? 2U c 2 ), ?(1 ? 2U c 2 ), ?(1 ? 2U c 2 )) The equation of motion takes a more complex form than (21) d dt (M dx j dt ) = ?M 1 + v 2 c 2 1 ? 2U c 2 ?U ?x j + e c F bj dx b dt The Q 0 and M expressions are as follows Q 0 = ? mc(1 + 2U c 2 ) 1 ? v 2 c 2 + 2U c 2 + 2U v 2 c 4 ? e c A 0 , M = ? ( Q 0 c + e c 2 A 0 )(1 ? 2U c 2 ) 1 + 2U c 2M = m(1 ? 2U c 2 ) 1 ? v 2 c 2 + 2U c 2 + 2U v 2 c 4 . Let the metric and the gravitational and electromagnetic fields depend only on time, which means that the universe in completely uniform. In this case, the (6) equations can be integrated via Hamiltonian mechanics, but it is interesting to look at specific aspects. We have three motion integrals mc ? I (g db dx b dq ) + e c A d = Q d , d = 1, 2, 3(23) We use the integral of "energy" instead of the equation for the zero component, that is the interval squared: I = g ab dx a dq dx b dq Now we get that all small momenta are determined as time functions from ( 14) and ( 23): p d = e c A d ? Q d , d = 1, 2, 3(24) The last zero component is determined as a time function from the analogue of the "energy integral", that is the square of the interval for the momenta: g ab p a p b = m 2 c 2(25) Here we come to a well-known relation that leads to the Hamilton-Jacobi method [6]- [17]. The equations for determining all coordinates are dx a dq = ? ? I mc g da (x 0 )p d(26) We can exclude q via dividing the three equations ( 23) for d = 1, 2, 3 by the equation for d = 0. dx a dx 0 = g da (x 0 )p d (x 0 ) g 0d (x 0 )p d (x 0 ) = g da (x 0 )( e c A d (x 0 ) ? Q d ) g 0d (x 0 )( e c A d (x 0 ) ? Q d ) , a = 1, 2, 3(27) We have obtained equations where terms depend only on time, and these equations can be easy integrated. The solutions are significant generalizations of de Sitter space [17]. Such equations would be appropriate to be applied to the question of dark energy and dark matter [1], [18]. When deriving the Vlasov-Maxwell-Einstein equations according to [11]- [14], [18], we use the classical action [6]- [10]: ? 1 16?c F ab F ab ? ?gd 4 x + k (R + ?) ? ?gd 4 x(28) Here k = ?c 3 16?? , and ? is the cosmological term. The particles are divided into classes indexed by r with different masses and electric charges, also individual particles are indexed by ? inside each class. In order to obtain field equations and relate the fields with the distribution function f r (x, p, q), we need to rewrite the first two terms of (25) via this distribution function, then do the variation by fields. Let's rewrite (28), replacing q with t. S = ? r,? m r c g ab dx a r,? dt dx b r,? dt dt ? r,? e r c A a dx a r,? dt dt ? 1 16?c F ab F ab ? ?gd 4 x + k (R + ?) ? ?gd 4 x(29) We can express the velocities through the momenta, excluding q by dividing all the equations from ( 15) by the equation for zero component. dx a dt = c g da (x)p d g 0d (x)p d , a= 1, 2, 3, 4 (30) Indices r, ? are omitted here, and we took into account that t = x 0 c . Substituting (30) instead of velocities in (29), we get the action expressed through momenta. S = ? r,? m r c 2 p r? a g da (x r? )p r? d g d0 (x r? )p r? d dt ? r,? e r A a g da (x r? )p r? d g d0 (x r? )p r? d dt ? 1 16?c F ab F ab ? ?gd 4 x + k (R + ?) ? ?gd 4 x(31) Next, we replace summation over ? by integration over momenta and space with distribution function f r (x, p), x ? R 4 , p ? R 4 : S = ? r m r c 2 p a g da (x)p d g d0 (x)p d f r (x, p)d 4 xd 4 p ? r e r A a g da (x)p d g d0 (x)p d f r (x, p)d 4 xd 4 p ? 1 16?c F ab F ab ? ?gd 4 x + k (R + ?) ? ?gd 4 x It is impossible to find out experimentally which terms in (32) we deal with. At present, experiments show that the Lambda depends on time. This fact can be instantly obtained from (32), as well as dependence on space. Reverse transition from the action (32) to the action (31) can be done by substitution f r (x, p) = ? ?(x ? x r? (t))?(p ? p r? (t)), which can be considered as a verification. So, we got The Vlasov-Maxwell-Einstein Equations and its Cosmological Applications the derivation scheme of the Vlasov-Maxwell-Einstein equations. Let's consider the expression (32), taking into account that the cosmological constant is now used for dark energy modeling [1], [20]. The first three terms of (28) action can play the role of ?-term in (32), therefore the dark energy can be composed of these three terms with some coefficients. ? DE (x) = ? ? f 16?ck F ab F ab ? ? p r m r c 2 ? ?gk p a g da (x)p d g d0 (x)p d f r (x, p)d 4 p ? ? pf r e r ? ?gk A a g da (x)p d g d0 (x)p d f r (x, p)d 4 p, ? M (x) = ? (1 ? ? f ) 16?ck F ab F ab ? (1 ? ? p ) r m r c 2 ? ?gk p a g da (x)p d g d0 (x)p d f r (x, p)d 4 p ? (1 ? ? pf ) r e r ? ?gk A a g da (x)p d g d0 (x)p d f r (x, p)d 4 p. Here DE (Dark Energy) and M (Matter) stand for dark energy and matter, respectively. One can take into account the contributions of any other fields in the same way. In fact we got the opportunity not to introduce Einstein's ?-term a priori, but to get its counterpart from the way how classical Lagrangians influence on matter. The signs of electrostatic energy and ? match here, so, apparently, the repulsion of dark energy is an electrostatic repulsion, and most of the matter which is seen as dark energy, coincides with the cosmic plasma. There is no need to consider any other candidates for dark energy, since we know that there are only two types of long-range actions (gravity and electromagnetism), and any others would have revealed themselves already. This can be well seen from the non-relativistic counterparts of the action, that will be described in the other place. The trace of dark energy was found too: its mathematical contribution to the action is the same as that of Einstein's ?. The Vlasov-Einstein-Maxwell equations for the metric and the electric fields are obtained by varying the action (32) by them. First we will vary by metric and get k(R ab ? 1 2 R ? ? 2 ) ? ?g = r m r c 2 ( 1 2p 0 p d p d ? p d p d (p 0 ) 2 p 0 ? b 0 )f r (x, p)p a p b d 4 p+ r e r ( (A a p b + A b p a ) 2p 0 ? A d p d (p 0 ) 2 p 0 p a p b ? b 0 )f r (x, p)d 4 p + 1 16?c F dc F dc (? 1 2 ? ?g)g ab(33) Now we will vary the electromagnetic potentials. We obtain the Maxwell equation in the gravitational field. Finally, we got the Vlasov-Maxwell-Einstein equation system ( 17), ( 33), (34). So, we have derived the Vlasov-Maxwell-Einstein equation. There was necessary to synchronize the proper times of different particles. We did this in two ways, first via the proper time of a single particle, second via an "arbitrary parameter" q. It should be noted that similar parameters in various sources are called differently: sometimes affine [17], [21], sometimes canonical [22]; however, parameter q r (defined by relation dq r = ds r / ? I r ) has principally new physical meaning. We have derived equations and obtained expressions for effective mass in stationary gravitational and electromagnetic fields for the two metrics. Conversely, we have got solutions that depend only on time. It's interesting to compare the obtained form of the Vlasov-Maxwell-Einstein equations with other versions and to classify them. Usually they are written out only for the Vlasov-Einstein equations and with Christoffel symbols, and therefore not for momenta but for velocities [15], [16], [23], [24]. They can also be derived according to our scheme. When these equations are not derived, but written immediately as given ones, inaccuracies may occur. When it comes to Vlasov-Einstein equations, the deriving seems necessary for the both Liouville equation and field equation. When deriving the Liouville equation, the time synchronization arise. The energy-momentum tensor in the field equations has to be taken arbitrarily, if there is no deriving. In the transition from (31) to (32) we have obtained the expressions which formally have the same effect as the Einstein's lambda. It seems promising to research all classical substitutions for this equation that are well-known for the Vlasov equation: energetic and hydrodynamic substitutions [11]- [14]. It's also interesting to investigate the stationary solutions [25]- [32]. The problem of classifying all time-dependent (spatially homogeneous) solutions is relevant and interesting too, because it leads to cosmological solutions, which are now being actively studied. The Hamilton-Jacobi equation methods [33]- [38] would be useful here. A very important task is to obtain for the Vlasov-like equations a statement like "time averages" coincide with the Boltzmann extremals [39]-[41]. # VI. # Conclusion © 2019 Global Journals © 2019 Global JournalsThe Vlasov-Maxwell-Einstein Equations and its Cosmological Applications * Dark energy and universal antigravitation ADChernin Physics -Uspekhi V 51 3 2008 * Phantom dark energy with tachyonic instability: metric perturbations AVSerghienko VARubakov Theoretical and Mathematical Physics 173 3 2012 * VNLukash VARubakov Dark energy: myths and reality 2008 51 * VVVedenyapin Vlasov-Maxwell Einstein Equation. Preprints of the Keldysh Institute of Applied Mathematics 188 2018 * On the Vlasov-Maxwell-Einstein equation and its nonrelativistic and weakly relativistic analogues VVVedenyapin NNFimin VMChechetkin Preprints of the Keldysh Institute of Applied Mathematics 265 2018 * WPauli Theory of relativity London Pergamon Press 1971 * The theory of space, time and gravitation VAFock 2015 Pergamon * LDLandau EMLifshitz The classical theory of fields Elsevier 2013 2 * BADubrovin ATFomenko SPNovikov Modern geometry. Methods and applications. Part II: The geometry and topology of manifolds Springer Science & Business Media 2012 104 * AAVlasov Statistical distribution functions Moscow Nauka 1966 * Derivation and classification of Vlasov-type and magneto hydrodynamics equations: Lagrange identity and Godunov's form VVVedenyapin M.-BANegmatov Theoretical and Mathematical Physics 170 3 2012 * Vlasov-type and Liouville-type equations, their microscopic, energetic and hydrodynamical consequences VVVedenyapin M.-BANegmatov NNFimin Izvestiya: Mathematics 81 3 2017 * Negmatov On derivation and classification of Vlasov type equations and equations of magnetohydrodynamics. The Lagrange identity, the Godunov form, and critical mass VVVedenyapin M.-BA Contemporary Mathematics. Fundamental Directions 47 2013 * ASinitsyn VVedenyapin EDulov Kinetic Boltzmann, Vlasov and related equations Elsevier 2011 * YChoquet-Bruhat General relativity and the Einstein equations Oxford University Press 2009 * The Relativistic Boltzmann equation: theory and applications GMKremer CCercignani 2002 Birkhauser Verlag * JVNarlikar An introduction to cosmology Cambridge University Press 1993 * VVVedenyapin Boltzmann and Vlasov kinetic equations Moscow Fizmatlit 2001 * TDeDonder The mathematical theory of relativity (Massachusetts Institute of Technology 1927 * A new model of the Big Bang and the expansion of the Universe FKh ANValiyev Kraiko Journal of Applied Mathematics and Mechanics 79 6 2015 The dispersion of an ideal gas from a point into a void * APLightman Problem book in relativity and gravitation Princeton University Press 2017 * Relativity: The general theory JSynge JRomain Physics Today 14 50 1961 * Global existence of solutions of the spherically symmetric Vlasov-Einstein system with small initial data GRein AD Communications in mathematical physics 150 3 1992 * The Nonequilibrium Universe: The Kinetics models of the cosmological evolution YGIgnatiev 2014 Kazan State University * A boundary value problem for stationary Vlasov equations VVVedeniapin Akademiia Nauk SSSR Doklady 290 4 1986 * On the classification and stability of steady state solutions of Vlasov's equation on a torus and in a boundary value problem YYArkhipov VVVedenyapin 1994 Trudy Matematicheskogo Instituta imeni V.A. Steklova 203 * The generalized Vlasov kinetic equation VVKozlov Russian Mathematical Surveys 63 4 2008 * The Vlasov kinetic equation, dynamics of continuum and turbulence VVKozlov Russian Journal of Nonlinear Dynamics 6 3 2010 * Vlasov-Poisson equations for a two-component plasma in a half-space ALSkubachevskii YTsuzuki Doklady Mathematics 94 3 2016 * Vlasov-Poisson equations for a two-component plasma in a homogeneous magnetic field ALSkubachevskii Russian Mathematical Surveys 69 2 2014 * Stationary solutions of Vlasov equations for high-temperature twocomponent plasma YOBelyaeva Contemporary Mathematics. Fundamental Directions 62 2016 * Some families of solutions of the Vlasov-Poisson system JBatt Archive for Rational Mechanics and Analysis 104 1 1988 * VVKozlov Dynamical Systems X. Encyclopaedia of Mathematical Sciences Berlin, Heidelberg Springer 2003 General vortex theory * On the topology of steady-state solutions of hydrodynamic and vortex consequences of the Vlasov equation and the Hamilton-Jacobi method VVVedenyapin M.-BANegmatov Doklady Mathematics 87 2 2013 Springer * The Liouville equation, the hydrodynamic substitution, and the Hamilton-Jacobi equation VVVedenyapin NNFimin Doklady Mathematics 86 2 2012 * Vlasov and Liouville-type equations and its microscopic and hydrodynamic consequences VVVedenyapin NNFimin M.-BANegmatov 2016 KIAM RAS, Moscow * The Hamilton-Jacobi method for non-Hamiltonian systems VVVedenyapin NNFimin Nonlinear Dynamics 11 2 2015 * The Hamilton-Jacobi method in the non-Hamiltonian situation and the hydrodynamic substitution VVVedenyapin NNFimin Doklady Mathematics 91 2 2015 * Entropy in the sense of Boltzmann and Poincare VVVedenyapin SZAdzhiev Russian Mathematical Surveys 69 6 2014