Difference between revisions of "MaxwellKleinGordon equations"
m (link to gauges) 
m (MaxwellKleinGordon Equations moved to MaxwellKleinGordon equations: consistency with other equation pages) 
(No difference)

Revision as of 15:46, 5 May 2007
The MaxwellKleinGordon equation is the special case of the YangMillsHiggs equation when the Lie group G is just the circle U(1), and there is no potential energy term . Thus A is now purely imaginary, and is complex.
The MaxwellKleinGordon equation is the Maxwell equation coupled with a massless KleinGordon equation (i.e. a free wave equation). If the scalar field is set to 0, the equation collapses to the linear Maxwell equations, which are basically a vectorvalued variant of the free wave equation.
As with YangMills, the three standard gauges are the Lorenz gauge, the Coulomb gauge, and the temporal gauge. The Lorenz gauge is most natural from a coordinate free viewpoint, but is difficult to work with technically. In principle the temporal gauge is the easiest to work with, being local in space, but in practice the Coulomb gauge is preferred because the null form structure of MaxwellKleinGordon is most apparent in this gauge.
In the Coulomb gauge, MKG has the schematic form
where denotes terms that are cubic in . Unfortunately, the equation for the A_0 portion of the Coloumb gauge is elliptic, which generates some low frequency issues. However, if we ignore the A_0 terms and the cubic terms then we reduce to the model equation
which is slightly better than the corresponding model for YangMills.
MKG has the advantage over YM that the Coulomb gauge is easily constructed globally using Riesz transforms, so there are less technical issues involved with this gauge.
MaxwellKleinGordon on R
 Scaling is s_c = 1/2.
 LWP can be shown in the temporal gauge for s>1/2 by energy estimates. For s<1/2 one begins to have difficulty interpreting the solution even in the distributional sense, but this might be avoidable, perhaps by a good choice of gauge. (The Coulomb gauge seems to have some technical difficulties however).
 GWP is easy to show in the temporal gauge for s \geq 1 by energy methods and Hamiltonian conservation. Presumably one can improve the s \geq 1 constraint substantially.
MaxwellKleinGordon on R^{2}
 Scaling is s_c = 0.
 Heuristically, one expects X^{s,\delta} methods to give LWP for s > 1/4, but we do not know if this has been done rigorously.
 Strichartz estimates give s > 1/2 (PoSi1993), while energy methods give s>1.
 GWP is known for smooth data in the temporal gauge (Mc1980).
 This should extend to s \geq 1 and probably below, but we do not know if this is in the literature.
MaxwellKleinGordon on R^{3}
 Scaling is s_c = 1/2.
 LWP for s>1/2 in the Coulomb Gauge MaStzp
 For the model equation LWP fails for s < 3/4 MaStzp. Thus the MKG result exploits additional structure in the MKG equation which is not present in the model equation.
 For s>3/4 this was proven in the Coloumb gauge in Cu1999.
 For s\geq1 this was proven in the Coulomb and Temporal gauges in KlMa1994.
 For s>1 this follows (in any of the three gauges) from Strichartz estimates PoSi1993
 For s>3/2 this follows (in any of the three gauges) from energy estimates.
 There is a tentative conjecture that one in fact has illposedness in the energy class for the Lorenz gauge.
 The endpoint s=1/2 looks extremely difficult, even for the model equation. Perhaps things would be easier if one only had to deal with the null form , as this is slightly smoother than .
 GWP for s>7/8 in the Coloumb gauge KeTap.
 For physical applications it is of interest to study MKG when the scalar field propagates with a strictly slower velocity than the electromagnetic field A. In this case one cannot exploit the null form estimates; nevertheless, the estimates are more favourable, mainly because the two light cones are now transverse. Indeed, one has GWP for s\geq1 in all three standard gauges Tg2000. The local and global theory for this equation may well be improvable.
 In the nonrelativistic limit this equation converges to a MaxwellPoisson system MasNa2003