Abstract
Within general nonlinear electrodynamics given by a local action, very special magnetic field configuration carrying no magnetic charge is found as a linear response of the vacuum, filled with constant electric and magnetic fields, to an embedded static electric charge. When the electric charge is point-like and external fields are parallel, the response found may be interpreted as a field of two point-like magnetic charges of opposite polarities in one point. Coefficients characterizing the magnetic response and induced current are specialized to quantum electrodynamics (QED), where the nonlinearity is taken as that determined by the local Heisenberg–Euler effective action. It is demonstrated how the same response is reproduced in the (nonisotropic) region remote from the charge by considering the polarization operator of QED.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is well understood that the vacuum filled with strong background field is, in quantum electrodynamics (QED), equivalent to a linear or nonlinear medium [1,2,3]. Its properties are described by polarization 4-tensors of n-th rank defined as n-th variational derivatives over fields of the effective action – their generating functional [4].
The second-rank polarization tensor \(\Pi _{\mu \nu }(x,y)\) contains in itself linear polarization properties of the equivalent medium, usually referred to as dielectric permeability and magnetic permittivity. It is responsible for the screening of charges and currents and transformations of their shapes due to the strong background, and for small-amplitude electromagnetic wave propagation in the background, especially for polarization of the eigen-modes and (different) modifications of the mass shell in each mode, governing the birefringence that makes an important goal for observation [5,6,7,8]. The recent evidence for it is obtained from the neutron star RX J1856.5-3764 [9]).
The third-rank polarization tensor \(\Pi _{\mu \nu \rho }(x,y,z)\), takes into account the quadratic response of the background. When taken on the photon mass shell, it is responsible for the photon splitting and merging in an external field [10,11,12,13,14]. Beyond the mass shell, it also describes the response of the medium to small perturbations with the quadratic accuracy relative to these perturbations. Analogously, the fourth-rank polarization tensor includes the cubic response, photon-by-photon scattering (the first experimental detection of this fundamental process, which is the source of nonlinearity of QED, was recently reported in Ref. [15]), photon splitting into three [14], and so on.
Usually, polarization tensors of any rank are meant to be calculated as Feynman diagrams in the Furry picture with solutions of the Dirac equation in external-field background taken for electron propagators. An essential simplification of calculations is achieved if one confines oneself to the local (infrared) approximation of the effective action, wherein the dependence of the latter on the space-time derivatives of the fields is disregarded. This approximation is good as long as the fields slowly varying in time and space are dealt with. Quite often, the Heisenberg-Euler expression calculated in one-loop [16] approximation in QED is used for the local effective action (also two-loop [17,18,19,20,21,22] and even three-loop [23] results are being considered). Within this approximation the field equations are differential (not integral) ones, and they do not include higher derivatives, while (the Fourier transform of) the polarization tensor of n-th rank behaves as the n-th power of the momentum; in the language of optics this corresponds to disregard of the spatial and frequency dispersion.Footnote 1 The next step towards a better coverage of faster-varying fields is made by Gusynin and Shovkovy [26, 27], who obtained an action functional that includes two derivatives of the field strength.
We thoroughly traced the derivation of the Maxwell equations within the local approximation in Refs. [28,29,30,31,32] in application to processes requiring the use of polarization tensors up to fourth rank. Interaction between long electromagnetic waves was considered taking into account, effectively, the polarization tensors up to 6-th rank in Refs. [33, 34]. In Refs. [30, 35] we showed that the quadratic response of the vacuum with the background of a constant magnetic field to an applied electric field of a point-like or extended central-symmetric charge, governed by the 3-rd rank polarization tensor is purely magnetic, i.e. we face here the magneto-electric effect, where magnetic field is created by static electric charge. Moreover, the magnetic response far from the charge is the field of a magnetic dipole with its dipole moment quadratically dependent upon the electric charge. The photon splitting on the basis of the same diagram was studied in Ref. [14]. In Ref. [36] and now we take an arbitrary combination of constant electric \({\bar{\mathbf{E}}}\) and magnetic \({\bar{\mathbf{B}}}\) fields as a background (see [37, 38] beyond the local approximation), and we consider linear response to an applied electric charge following the information contained in the 2-nd rank polarization tensor. This response may be both electric and magnetic. The electric response was studied in Ref. [36], resulting in description of the induced charge density and modification of the Coulomb field far from the charge.Footnote 2
In the present paper we study the linear magnetic response of the constant background to an applied Coulomb source, complementary to our previous study [36], where only the linear electric response was found. Linearly induced currents and vector potentials are discussed in detail. Contrary to Ref. [39] and to our forthcoming work, only magnetic response with vanishing total magnetic charge is considered here. Correspondingly, if the Coulomb source is point-like, the finally found magnetic field looks like a combination of two opposite point-like magnetic charges coexisting in one point.
Applying the general results derived for any nonlinear theory to the special case where the nonlinearity is provided by QED at one-loop, we refer to relevant coefficients characterizing the results in terms of the Heisenberg–Euler effective action [16], whose proper-time representation and asymptotes in various parameter regimes are well known. Handier formulae are written under the simplifying assumption that the magnetic part of the background field is much larger that its electric part – the assumption of “magnetic dominance”.
The magnetic response obtained is reliable only as long as the responded field is steady, since our approach is based on considering the local action functional. We demonstrate, in this connection, that starting from the “genuine” polarization tensor calculated in Refs. [37, 38] as a loop of Dirac electron and positron propagators in external field and thereby free of the said limitation of applicability, we are able to reproduce the same magnetic response as a limit valid far from the point charge. The measure of remoteness, necessary for achieving this limit depends upon the direction. (This demonstration is performed for magnetic dominance case.)
The paper is organized as follows. In Sect. 2, after presenting the necessary Maxwell equations linearized near the background field and indicating the structure of the applied electric field, we obtain expressions for the current density induced in the “medium” inside and outside of the applied extended charge. In Sects. 2.1 and 2.2 we find the magnetic fields produced by this current and the vector potential corresponding to the magnetic response produced by a pointlike Coulomb source. All the results reported above are written in terms of the derivatives of the local effective Lagrangian over the field invariants taken at the background. Hence these may be used with every model Lagrangian, irrespective of its origin and of its connection to QED. On the contrary, in Sect. 3, we specialize the results to the one-loop Euler–Heisenberg Lagrangian of QED. The proceeding beyond the local approximation is dealt with in Sect. 3.1. Section 4 is devoted to concluding remarks.
2 Linearly induced currents and magnetic responses in constant backgrounds
Let there be a background electromagnetic field, with its field tensor equal to \(\overline{F}_{\nu \mu }\left( x\right) \), produced by the background current \(\mathcal {J}_{\mu }\) via the (second set of) Maxwell equationsFootnote 3
within a nonlinear local electrodynamics with the Lagrangian
where its nonlinear part \(\mathfrak {L(}x\mathfrak {)}\) is taken as a function \(\mathfrak {L(}x)=\mathfrak {L}\left( \mathfrak {F},\mathfrak {G}\right) \) of two field invariants \(\mathfrak {F}=\left( 1/4\right) F^{\mu \nu }F_{\mu \nu }=\left( 1/2\right) \left( \mathbf {B}^{2}-\mathbf {E}^{2}\right) \), \( \mathfrak {G}=\left( 1/4\right) \tilde{F}^{\mu \nu }F_{\mu \nu }=-\left( \mathbf {E}\cdot \mathbf {B}\right) \), \(\tilde{F}_{\mu \nu }\left( x\right) {=}\left( 1/2\right) \varepsilon _{\mu \nu \alpha \beta }F^{\alpha \beta }\left( x\right) \), and may be thought of, for instance, as the effective Lagrangian of Quantum Electrodynamics in the local (infrared) approximation, i. e. the one where the dependence on the space- and time-derivatives of the fields is neglected.Footnote 4 Moreover, we shall be considering the constant background \(\overline{F}_{\nu \mu }\left( x\right) =\overline{F}_{\nu \mu }= \mathrm {const.}\) here. This field does not require any current to be supported: it is seen that Eq. (1) is satisfied by \(\mathcal {J}_{\mu }\left( x\right) =0\) in this case.
Let the constant background be disturbed by a small current \(j_{\mu }\left( x\right) \). It causes the deviation \(f_{\nu \mu }\left( x\right) =F_{\nu \mu }\left( x\right) -\overline{F}_{\nu \mu }\) of the field from the background. Expanding the Maxwell equations (1) in powers of \( f_{\nu \mu }\left( x\right) \), we obtain in the first order the linear equation (see Refs. [28,29,30,31,32, 35, 36, 39] for equations for higher orders, which are nonlinear as containing the second and higher powers of \( f_{\nu \mu }\left( x\right) \)):
where the subscripts by \(\mathfrak {L}\) designate derivatives with respect to the indicated field invariants taken at their background value, for instance \(\left. \frac{\partial ^{2}\mathfrak {L}}{\partial \mathfrak {F}\partial \mathfrak {G}}\right| _{F=\overline{F}}=\mathfrak {L}_{\mathfrak {FG}}\). We have introduced here the notation for the linearly induced current \(j_{\mu }^{\mathrm {lin}}\left( x\right) \) (nonlinearly induced currents were dealt with in Refs. [28,29,30,31,32, 35, 36, 39]). To avoid possible misunderstanding, we stress that nonlinearly induced currents are responsible for self-induction of the deviation fields \(f_{\nu \mu }\left( x\right) \), whereas the nonlinearity of the theory, given by the Lagrangian (2), shows itself in the present framework as the interaction between the electromagnetic field \(f_{\nu \mu }\left( x\right) \) and the electromagnetic background \( \overline{F}_{\alpha \beta }\).
In what follows we solve Eq. (3) perturbatively with respect to the above coefficients, whose connection with QED will be exploited in Sect. 3. To this end we represent the electromagnetic field-strength tensor as
where \(f_{\nu \mu }^{\left( 0\right) }\left( x\right) \) is a solution of the classical field equation
For the perturbation of the background we take the current \(j_{\mu }\left( x\right) \) corresponding to a static charge q homogeneously distributed over a ball with the radius R. Hence the null approximation \(f_{\nu \mu }^{\left( 0\right) }\left( x\right) \) includesFootnote 5
Throughout the text, the indexes “in” and “out” classify electromagnetic quantities at points inside \((r<R)\) and outside \((r\ge R)\) of the spherical charge distribution, respectively. In our previous work [36], we studied the electric response \(E^{\left( 1\right) k}(\mathbf {r)}\ne 0\),
\(B^{\left( 1\right) k}(\mathbf {r)}=-\left( 1/2\right) \varepsilon _{ijk}f^{\left( 1\right) jk}\left( \mathbf {r}\right) =0\) giving a correction to the Coulomb law (5); now we shall consider the purely magnetic solution \(B^{\left( 1\right) k}(\mathbf {r)}=-\left( 1/2\right) \varepsilon _{ijk}f^{\left( 1\right) jk}\left( \mathbf {r}\right) \ne 0,\) \(E^{\left( 1\right) k}(\mathbf {r)}=0\). In Ref. [36] it was found that the first-order linear magnetic response \(\mathbf {B}^{\left( 1\right) }(\mathbf { r)}\) to the purely electric perturbation \(j_{\mu }\left( x\right) \) is the solution to the differential equation
where \(\mathbf {\mathfrak {H}}^{(0)}\left( \mathbf {r}\right) \) is the expression within the brackets in (3), taken in the zeroth order, i.e. on solutions (5):
where
Here and in what follows, the space- and time-independent electric and magnetic components of the background field are barred: \(\overline{E}^{i}= \overline{F}_{0i},\) \(\overline{B}^{i}=-\left( 1/2\right) \varepsilon _{ijk} \overline{F}^{jk}\).
Consider the linearly induced current density (3) to the same first-order approximation. According to Eq. (6), it is
Note that the quantity (7) is continuous at the border of the charge \(r=R\), because \(\mathbf {E}^{(0)}\left( \mathbf {r}\right) \) (5 ) is. For this reason the differentiation of the step functions has not contributed to the sum (10). Hence, there does not appear any current at the surface of the charge.Footnote 6 As a result, we may define the inner \(\mathbf {B}_{\mathrm {in}}^{\left( 1\right) }\left( \mathbf {r} \right) \) and the outer \(\mathbf {B}_{\mathrm {out}}^{\left( 1\right) }\left( \mathbf {r}\right) \) magnetic responses as solutions to the equations
where the inner and outer parts of the first-order linearly induced current densities are
and
respectively. The induced current (10) is discontinuous at the edge of the ball, the same as the charge density is.
For the special case of parallel external backgrounds \(\overline{\mathbf {B}} \parallel \overline{\mathbf {E}}\), the induced current density inside the charge disappears, \(\mathbf {j}_{\mathrm {in}}^{\left( 1\right) }=0\), while the current \(\mathbf {j}_{\mathrm {out}}^{\left( 1\right) }\left( \mathbf {r} \right) \) circles the coordinate axis parallel to their common direction. Letting \({\hat{\mathbf{z}}}\) be the unit vector (\(\left| {\hat{\mathbf{z}}} \right| =1\)) along the common direction of the external fields, \({ \hat{\mathbf{z}}}\parallel \overline{\mathbf {B}}\parallel \overline{\mathbf {E}}\), the current density \(\mathbf {j}_{\mathrm {out}}^{\left( 1\right) }\left( \mathbf {r }\right) \) acquires the form
where \(\tilde{g}\) is a combination of derivatives of the effective Lagrangian and field invariants,
The current flux (14) flows in opposite directions in the upper and lower hemispheres; see Fig. 1. Hence, the total current through the part of a fixed meridional plane \(\varphi =\varphi _{0},\) \(0<\varphi _{0}<2\pi ,\) enclosed between any two coordinate spheres \(r_{1}<r<r_{2}\) is zero:
Here \(\cos \theta =\left( {\hat{\mathbf{z}}}\cdot \mathbf {r}\right) /r\). Once any two mutually non-orthogonal constant fields may be reduced to parallelity by an appropriate Lorentz transformation to a special inertial frame, the current (13) differs from (14) by a contribution due to the motion of the charge in that frame.
2.1 Magnetic response
Besides the linearized Maxwell equations (6), the magnetic response \(\mathbf {B}^{\left( 1\right) }\left( \mathbf {r}\right) \) should obey also the equation
that excludes an overall magnetic charge and makes the formulation of the theory in terms of potentials possible, in which case it corresponds to one of the Bianchi identities in electrodynamics. Equations (6) and (16) are satisfied by the magnetic response \(\mathbf {B}^{\left( 1\right) }\left( \mathbf {r}\right) \)
The integrals on the rhs. of Eq. (17) can be evaluated following the method outlined in Appendix B in Ref. [36]. Their final expression can be obtained from Eqs. (B2) and (B6) of that reference after the substitutions \(\mathfrak {L}_{\mathfrak {F}}\rightarrow -\mathfrak {L}_{ \mathfrak {G}}\), \(\mathfrak {L}_{\mathfrak {FF}}\overline{E}^{j}\rightarrow \mathfrak {L}_{\mathfrak {FF}}\overline{B}^{j}\), \(\mathfrak {L}_{\mathfrak {FG}} \overline{B}^{j}\rightarrow -\mathfrak {L}_{\mathfrak {FG}}\overline{E}^{j}\), \( \mathfrak {L}_{\mathfrak {FG}}\overline{E}^{j}\rightarrow \mathfrak {L}_{ \mathfrak {FG}}\overline{B}^{j}\) and \(\mathfrak {L}_{\mathfrak {GG}}\overline{B} ^{j}\rightarrow -\mathfrak {L}_{\mathfrak {GG}}\overline{E}^{j}\). As a result, the inner part \(\mathbf {B}_{\mathrm {in}}^{\left( 1\right) }\left( \mathbf {r} \right) \) takes the form
while the outer part \(\mathbf {B}_{\mathrm {out}}^{\left( 1\right) }\left( \mathbf {r}\right) \) can be conveniently written as
Here \(\mathbf {B}_{\mathrm {pl}}^{\left( 1\right) }\left( \mathbf {r}\right) \) denotes an R-free part
while \(\mathbf {B}_{\mathrm {out}}^{\left( 1\right) }\left( \mathbf {r} ;R\right) \), the R-dependent part, reads
The division in R-dependent and R-free terms, expressed in Eq. (19), is aimed to emphasize that Eq. (21) corresponds to a pure homogeneous solution \(\varvec{\nabla }\times \mathbf {B}_{\mathrm {out }}^{\left( 1\right) }\left( \mathbf {r};R\right) =0\). This is a consequence of the fact that the outer induced current density, given by Eq. (13 ), does not depend on R or, in other words, there is no R-dependent source providing (21). Its real role is to provide continuity of the whole magnetic response \(\mathbf {B}^{\left( 1\right) }\left( \mathbf {r} \right) =\mathbf {B}_{\mathrm {in}}^{\left( 1\right) }\left( \mathbf {r}\right) \theta \left( R-r\right) +\mathbf {B}_{\mathrm {out}}^{\left( 1\right) }\left( \mathbf {r}\right) \theta \left( r-R\right) \) at the border of the Coulomb source. A similar feature has been reported by us in [36], wherein R-dependent terms in the electric response come automatically from the projection operator with the same interpretation. These R-dependent solutions are a consequence of the Coulomb source being an extended charge distribution rather than a pointlike one. In contrast, the R-independent part \(\mathbf {B}_{\mathrm {pl}}^{\left( 1\right) }\left( \mathbf {r}\right) \) is the same as the first-order linear response of the pointlike Coulomb source, since it is the only survivor in the limit \(r\gg R\) (or \( R\rightarrow 0\)), bearing in mind that for any non-special direction, \( \mathbf {B}_{\mathrm {pl}}^{\left( 1\right) }\left( \mathbf {r}\right) \) decreases as \(r^{-2}\), while \(\mathbf {B}_{\mathrm {out}}^{\left( 1\right) }\left( \mathbf {r};R\right) \) decreases as \(r^{-4}\). Therefore \(\mathbf {B}_{ \mathrm {pl}}^{\left( 1\right) }\left( \mathbf {r}\right) \) is identified as the first-order linear response to the pointlike Coulomb source. Moreover, according to Eq. (13), \(\mathbf {B}_{\mathrm {pl}}^{\left( 1\right) }\left( \mathbf {r}\right) \) is provided by the outer induced current \( \mathbf {j}_{\mathrm {out}}^{\left( 1\right) }\left( \mathbf {r}\right) \)
The first-order linear magnetic response calculated above does not carry any magnetic charge, as a consequence of the Bianchi identity (16). This is reflected in the triviality of the Gauss integral
for an arbitrary closed surface S embracing the charge q. This integral vanishes for each magnetic response \(\mathbf {B}_{\mathrm {in}}^{\left( 1\right) }\left( \mathbf {r}\right) \), \(\mathbf {B}_{\mathrm {pl}}^{\left( 1\right) }\left( \mathbf {r}\right) \) and \(\mathbf {B}_{\mathrm {out}}^{\left( 1\right) }\left( \mathbf {r};R\right) \), independently. (We refer the reader to our arXiv preprint [40] for explicit demonstration of this statement and other details.) This implies that magnetic lines of force incoming to and outgoing from the charge q , compensate each other, so that the corresponding magnetic flux be zero.
To visualize the structure of the magnetic lines of force, let us consider the particular case of parallel background fields, \(\overline{\mathbf {E}}= \overline{E}{\hat{\mathbf{z}}}\,,\ \ {\overline{\mathbf{B}}}=\overline{B}{ \hat{\mathbf{z}}}\) (\(\left| {\hat{\mathbf{z}}}\right| =1\)), whose response acquires a simpler form
and
Moreover, in the limit \(r/R\rightarrow \infty \), we are left with a single magnetic response, exclusively radial, although spherically nonsymmetric, corresponding to that of a pointlike Coulomb source
The magnetic lines of force are straight lines, vanishing at the angles \( \cos \theta =\zeta =\zeta _{0}=1/\sqrt{3}\). As no net magnetic charge exists for producing a nontrivial magnetic flux, there are inward magnetic lines (pointing to q) and outward magnetic lines (lines leaving q), in the same proportion (see Fig. 2).
The magnetic field found (26) may be understood as two pointlike magnetic poles of equal, but opposite, polarities superposed in one point, so to say, a pointlike magnetic dipole.
2.2 Vector potentials
In this subsection, we extend the above consideration to the level of electromagnetic potentials, restricting ourselves to the case of electromagnetic responses generated by a pointlike charge distribution since, as discussed before, the role of the regularization ) is simply to avoid divergent integrals in the calculation of magnetic responses (17) if a pointlike source is considered from the beginning. In this case, the vector potential is sought in the form,Footnote 7
where \(\mathcal {N}\) is a constant and \(\mathcal {A}\left( \zeta ,\xi \right) \) , \(\mathcal {C}\left( \zeta ,\xi \right) \) are functions of the cosines of the angles between directions of \(\overline{\mathbf {E}}\), \(\overline{\mathbf { B}}\) and the radius vector \(\mathbf {r}\). Although this form may be not the most general one, its use is sufficient for finding at least a certain class of the vector-potentials \(\mathbf {A}^{\left( 1\right) }\left( \mathbf {r} \right) \), all the variety of other possible values for \(\mathbf {A}^{\left( 1\right) }\left( \mathbf {r}\right) \) being gauge-equivalent to those found. The fulfillment of the program of finding the vector potentia in the form (27) is presented in detail in Ref. [40]. It includes solving a first-order partial differential equation for two functions \( \mathcal {A}\left( \zeta ,\xi \right) \) and \(\mathcal {C}\left( \zeta ,\xi \right) .\) Boundary conditions for this equation span different choices of the gauge. There is a remarkable choice that results in an expression for \(\mathbf {A}^{\left( 1\right) }\left( \mathbf {r}\right) \) (27), free of the singularity along directions of the two background fields specified by \(\xi ,\zeta =\pm 1\)
which does not obey the Coulomb gauge condition
on account of the non-parallelism between the background fields. For parallel backgrounds, Eq. (28) reduces to
This is subject to the Coulomb gauge condition \(\mathbf {\nabla }\cdot \mathbf {A}^{\left( 1\right) }\left( \mathbf {r}\right) {=}0\).
3 Results in QED
To visualize how the magnetic responses and related effects, valid for any local nonlinear theory, depend on the constant background, we apply the former results to a specific theory, whose nonlinearity is provided by the local approximation of the effective Lagrangian of QED found within one-fermion-loop calculation by Heisenberg and Euler [16] (see e.g. [41])
where the integration contour is meant to circumvent the poles on the real axis of t supplied by \(\cot ta\), above the real axis. Here \(a=\left( e/m_{ \mathrm {e}}^{2}\right) \sqrt{-\overline{\mathfrak {F}}+\sqrt{\overline{ \mathfrak {F}}^{2}+\overline{\mathfrak {G}}^{2}}}\) and \(b=\left( e/m_{\mathrm {e }}^{2}\right) \sqrt{\overline{\mathfrak {F}}+\sqrt{\overline{\mathfrak {F}} ^{2}+\overline{\mathfrak {G}}^{2}}}\) are dimensionless combinations of the field invariants, and have the meaning of the electric and magnetic field in the Lorentz frame where these are parallel, normalized to the characteristic field value \(m_{\mathrm {e}}^{2}/e\). Here \(m_{\mathrm {e}}^{2}\) and e are the electron mass and charge (in absolute value), respectively. As it is well known, such a frame always exists when \(\overline{\mathfrak {G}}\ne 0\).
We are primarily interested in strong magnetic-dominated backgrounds, in which the electric contribution is sufficiently small in comparison to the magnetic part
irrespective of whether a and b are small or not as compared to the unity, implying the magnetic dominance \(\overline{\mathbf {B}}\gg \overline{ \mathbf {E}}\) in any reference frame. Such condition is enough to probe vacuum nonlinear effectsFootnote 8, and should be applied in final expressions after all coefficients composing the magnetic responses, in particular \(\tilde{g}\) (15), have been calculated. The necessary second derivatives of the effective Lagrangian (31) with a and b arbitrary, i.e. not subjected to condition (32), are first obtained as Eqs. (11) in Ref. [43] [see also Eqs. (51)–(54) in Ref. [36] ]. The corresponding expressions are sufficient to form \(\tilde{g}\), but the arising integral representations are overcomplicated. For this reason, we address ourselves to their magnetic-dominance limits, given by Eqs. (58) in Ref. [36].Footnote 9 These expressions are obtained by expanding the trigonometric functions in the integral representations following from (31) into ascending powers of a/b. In this way the leading term \( \tilde{g}^{\left( 1\right) }\) in the expansion \(\tilde{g}=\left( a/b\right) \tilde{g}^{\left( 1\right) }+O\left( \left( a/b\right) ^{3}\right) \), is obtained:
In the magnetic dominance case, the same as for the purely magnetic background, it is possible to express all above integrals in terms of the Hurwitz Zeta function \(\zeta \left( z,\sigma \right) \), DiGamma function \( \psi \left( z\right) =\Gamma ^{\prime }\left( z\right) /\Gamma \left( z\right) \) and related functions [42]. The Zeta-function representations for all the necessary derivatives of the Heisenberg–Euler effective Lagrangian can be found in Ref. [43]. The missing representation – corresponding to \(\mathfrak {FL}_{\mathfrak {FG}}\) – can be written analogously. Using Zeta-function regularization techniques (see e. g., [44,45,46]), \(\tilde{g}^{\left( 1\right) }\) is expressed as follows
where \(\zeta ^{\prime }\left( z,\sigma \right) \) is the derivative of the Hurwitz Zeta function with respect to z, \(\psi ^{\left( j\right) }\left( z\right) \) is the j-th derivative of the DiGamma function and \(\gamma \approx 0.577\) is the Euler constant [42]. Using asymptotic representations of special functions appearing in Eq. (34), (see e.g., [44,45,46,47]) the above coefficient tends to the constant for growing magnetic field:
Therefore, the leading-order contribution to \(\tilde{g}=\left( a/b\right) \tilde{g}^{\left( 1\right) }+O\left( \left( a/b\right) ^{3}\right) \) vanishes in the limit of infinite magnetic field. The linearly growing with the magnetic field contribution from \(\mathfrak {L}_{\mathfrak {GG}}\) – known to be responsible for growing electric response and growing screening of the Coulomb field of the nucleus in an atom – is cancelled in \(\tilde{g}\) by the analogous contribution from \(\mathfrak {L}_{\mathfrak {FG}}\). As a result, no matter how large the background may be (as long as the condition (32) is preserved), the perturbation parameter for the linear magnetic response \(\sim \left( \alpha /2\pi \right) \times \left( a/b\right) \) remains small or tends to zero. Therefore, the one-loop accuracy of \(\alpha \) laid in this result is respected for any magnitude of the magnetic-dominant background.
3.1 Magnetic response as a large-distance limit from results beyond the infrared approximation
Since the infrared approximation restricts the consideration to slow-varying electromagnetic fields and at points sufficiently close to the charge distribution where the electric perturbation is intrinsically fast-varying, it is essential to study conditions by which the present results are justified. To this aim we consider the exact approach developed in Refs. [37, 38] specialized to the magnetic dominated regime (32). As we shall see below, the vector-potential (30) correspond to the asymptotic expression valid far from the charge for the linear magnetic response first calculated within the approach free of the limitation that the response should be slow-varying in space and time. Such approach is provided by the use of the photon polarization tensor taken as the one-loop diagram of the Furry picture formed by the electron and positron exact Dirac propagators in the constant external electric and magnetic field. The strength of that field is not restricted from above, and the polarization tensor is not derived from a local effective action. The needed polarization tensor beyond the photon mass shell, \(k_{0}^{2}-\mathbf {k}^{2}\ne 0\), is known since [37, 38]. The 3-vector potential produced by a point-like charge q is
where \(D_{i0}\left( \mathbf {k}\right) \) is the static limit of the photon propagator in the background field, subject to the decomposition
in terms of 4-eigenvectors \(\flat _{\mu }^{(a)}\) and eigenvalues \(\varkappa _{a}\) of the mentioned polarization tensor. It was shown in Ref. [38] that only components numbered as “2” and “3” in this decomposition give rise to magnetic field of the charge q. In the regime of magnetic dominance under consideration one has for (36)Footnote 10
Here \(\mathbf {c}^{-}=\mathbf {[k}_{\perp }\times {\hat{\mathbf{z}}]/}|\mathbf {k} _{\perp }|\), in which \(\mathbf {k}_{\perp }\) denotes the projection of the photon 3-momentum \(\mathbf {k}\) onto the plane orthogonal to the common orientation of the background fields, \({\hat{\mathbf{z}}}\). The Lorentz scalar \(\Lambda _{3}\), as calculated to the first power in the fine-structure constant \(\alpha \) (as the one-loop diagram), is given in the static limit \( k_{0}=0\) in the rest frame of the charge (remind that we restrict ourselves to the case where the background fields are parallel in that frame) by the integral
Here \(k_{\parallel }=\left( \mathbf {k}\hat{\mathbf{z}}\right) \). Note that in accordance with the magnetic dominance adopted, the electric background field is present only as the factor \(\mathfrak {G}\). Eqs. (37) and (38) supply us with the possibility of finding the linear magnetic response to a point charge free of the limitation that the field of this charge be slow-varying. Although both equations are sufficient for studying the singularity of the linear magnetic response near the charge, it is noteworthy that it corresponds going beyond the quadratic approximation studied in Sect. 2, therefore beyond the scope of this work. Nevertheless, the present approach gives the necessary information regarding the distance from the point charge in comparison to elementary length scales.
To pass to large distances \(\mathbf {x}_{\perp },x_{_{\parallel }}\), where the field of the charge is expected to be slow-varying, we have to consider the limit of small \(\mathbf {k}\) in \(\Lambda _{3}\). As seen from (38), the measures of smallness are different for \(\mathbf {k}_{\perp }\) and \(k_{\parallel }\). When \(k_{\parallel }^{2}\ll m_{\mathrm {e}}^{2}\) and \( k_{\perp }^{2}\ll eB\) (note, that the combination of hyperbolic sines in the exponential is a restricted function), we can neglect all momentum-depending terms in the exponent to get the asymptotic regime of large distances \({x_{\parallel }\gg \lambdabar _{\mathrm {C}}}\), \(\left| \mathbf {x}_{\perp }\right| \gg \left( eB\right) ^{-1/2}\), with \({\lambdabar _{\mathrm {C}}}\) being the electron Compton length, and \(\left( eB\right) ^{-\frac{1}{2}}\) its classical orbit radius in a magnetic field. Such are, therefore, the two formation lengths of the polarization tensor for two different directions in a magnetic field.
The knowledge of these restrictions is important when we need to enhance the rather small magnitude of the magnetic response (26), (30) as revealed in the discussion above. With the most favorable admitted values for the ratio \(\frac{a}{b}\) taken to be of the order of 0.4 \(\div \) 0.3, the coefficient \(\widetilde{g}\) is only \(\left( 0.2\div 0.15\right) \frac{\alpha }{2\pi }.\)To enhance the magnetic response we have to approach the point charge as close as the local approximation permits. Admitting that the magnetic part of the background field exceeds the characteristic value of \( \frac{m^{2}}{e},\) that is that \(b\gtrsim 1\) or \({\lambdabar _{\text {C \ } }\gtrsim \left( e\overline{B}\right) ^{-1/2},}\) we are permitted in agreement with above to approach the charge along any direction down to the Compton length \({\lambdabar _{\text {C }}.}\)Then the maximum magnetic field of the response (26) will be of the order ofFootnote 11 \(B_{pl}^{(1)}\sim B_{cr}\widetilde{g}\) \(\alpha Z\sim B_{cr}10^{-1}\alpha ^{2}Z,\) where Z is the charge number \(Z=q/e.\) Large charges are favorable.
After setting \(k_{\parallel }^{2}=k_{\perp }^{2}=0\), the remaining \(\eta \) -integral in (38) can be readily calculated, leading to the following limit of \(\Lambda _{3}\):
Bearing in mind the desired identity of the \(\tau \)-integral in (39) and (33), we can represent \(\Lambda _{3\text { }}\)in the magnetic dominance regime as
Using this in (37) we obtain for large distances from the point charge, \({x_{\parallel }\gg \lambdabar _{\mathrm {C}}}\), \(x_{\perp }\gg \left( eB\right) ^{-1/2}\) ,
In order to keep the same accuracy as the first term in expansion (4 ), adopted when solving Eq. (3), we disregarded contributions from \(\varkappa _{2},\varkappa _{3}\) to denominators as providing higher orders in \(\alpha \).
Now we are in a position to compare the large-distance asymptotic behavior (41) with our Heisenberg–Euler-based result (30). It follows from the rotational covariance that Eq. (41) can be expressed in terms of an scalar integral \(I\left( \mathbf {r}{\hat{\mathbf{z}}}\right) \),
as \(\mathbf {A}(\mathbf {x}_{\perp },x_{\parallel })=\frac{q\tilde{g}}{(2\pi )^{3}}\mathbf {[}\mathbf {r}\times {\hat{\mathbf{z}}]}I\left( \mathbf {r}{\hat{\mathbf{z}}} \right) \). First we integrate over \(k_{\parallel }\) by calculating the second-order residues in the points \(k_{\parallel }=\pm ik_{\perp }\) for \( x\gtrless 0\) to establish that
Calculating the remaining integrals, we obtain
Substituting this result in (41) we see that the latter coincides with (30).
This completes the explicit demonstration, performed in the comparatively simple magnetic-dominance configuration of the background fields, that the linear magnetic response obtained in the previous part of the paper, when considered within the local approximation of QED is indeed the large-distance asymptotic limit of true QED of the magnetic field created by a point-like electric charge placed into a combination of constant homogeneous electric and magnetic background fields, parallel with one another in the rest frame of the charge.
4 Conclusions
Within a nonlinear local electrodynamics (2), we have obtained magnetic fields created by a static electric charge q placed in a background of arbitrarily strong constant electric, \(\overline{\mathbf {E}}\), and magnetic, \(\overline{\mathbf {B}}\), fields by solving (the second pair of) the Maxwell equations (3) linearized near the background and treated in the approximation of small nonlinearity. All our formulas contain coefficients that are derivatives of the nonlinear part of the Lagrangian (2), where the background values of the fields are meant to be substituted after the derivatives have been calculated. These coefficients are related to dielectric permeability and magnetic permittivity of the equivalent “medium” formed by the background fields in the vacuum.
Before considering the resulting magnetic fields we establish the character of their source, which comprises of the currents induced in the equivalent “medium” by the static charge. The result for the current inside and outside of the charge is given by Eqs. (12 ), (13). The flow of this current (14) for the special case of parallel background fields is shown in Fig. 1. There is no induced current inside the charge in this special case.
The magnetic response \(\mathbf {B}^{\left( 1\right) }\left( \mathbf {r}\right) \) to an introduced small extended electric charge homogeneously distributed over a ball of the radius R is given by Eq. (18) inside the charge distribution and by Eqs. (20), (21) outside it. The case of the pointlike charge is covered by the \(R\rightarrow 0\) limit, Eq. (20). In the simplified case of parallel background fields \(\overline{\mathbf {B}}\parallel \overline{ \mathbf {E}}\), the magnetic response is given by Eqs. (24), (25) inside and outside the extended charge, respectively, and by Eq. (26) for the point charge. The pattern of magnetic lines of force is presented in Fig. 2. To complete the study, vector potentials associated with magnetic responses generated by a pointlike Coulomb source were calculated in Sect. 2.2.
The present results are applied to QED, where the nonlinearity of the Maxwell equations is owing to the quantum interaction between electromagnetic fields. In doing so, we exploit integral representations for all the nonlinearity coefficients, in terms of which our results are expressed. These are second derivatives with respect to the field invariants of the effective Lagrangian of QED in its local approximation taken as the Euler–Heisenberg (one-loop) effective Lagrangian.
Next, we consider the regime where the magnetic background dominates over the electric one. In that regime the above integrals are conveniently expressed in terms of the Hurwitz Zeta function. The resulting formula for \( \tilde{g}\) (15), a common coefficient in magnetic responses and their vector potentials, also in linearly induced current densities is linear in the background electric field. The asymptotic behavior with the large magnetic field is explicit in Zeta function representation.
For the same magnetic-dominant regime we were able to explicitly demonstrate how our result appears as the far-from-the-charge limit of the magnetic response calculated in QED independently of the local approximation of Heisenberg–Euler, but given by more complicated formulae. It is notable that the speed of approaching this asymptotic limit is different for directions across the background field and along it.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There is no data associated to this work due to its theoretical content.]
Notes
Various local Lagrangians that, like the Heisenberg–Euler approximation, do not contain space- and time-derivatives of fields, but are not associated with QED, are widely used together with the Einstein’s gravity, especially when studying magnetized black holes. See e.g. [24, 25] and pertinent references therein.
Greek indices span the 4-dimensional Minkowski space-time, e.g., \(\mu =(0,i),\,i=1,2,3\), \(\eta _{\mu \nu }=\mathrm {diag}(+1,-1,-1,-1),\) and boldface letters denote three-dimensional Euclidean vectors (e.g., \(\mathbf { A}(x)=\left( A^{i}(x)\,,\,\,i=1,2,3\right) \). The four-rank and three-rank Levi-Civita tensors are normalized as \(\varepsilon ^{0123}=+1\) and \( \varepsilon _{123}=1\), respectively.
The special case with the Euler–Heisenberg Lagrangian, accepted as the one-loop approximation of such local effective action, will be treated in Sect. 3.
Hereafter \(\theta \left( z\right) \) denotes the Heaviside step function defined as \(\theta \left( z\right) =1\) if \(z\ge 0\) and zero otherwise.
Suppose there is a function with the structure similar to (7) (representing a “field”) \(f(x)=\theta (x-a)F(x)+\theta (a-x)Q(x)\). It is continuous in the point \(x=a\), once \( F(a)=Q(a)\). Consider its derivative (representing a “current”): \(f^{\prime }(x)=\theta (x-a)F^{\prime }(x)+\theta (a-x)Q^{\prime }(x)+\delta (x-a)F(x)-\delta (a-x)Q(x)\). The part of \(f^{\prime }(x)\) concentrated at \(x=a\) (“the surface current”) \(\delta (x-a)F(x)-\delta (a-x)Q(x)=\delta (x-a)\left( F(x)-Q(x)\right) =\delta (x-a)\left( F(a)-Q(a)\right) =0\) disappears due to the continuity of f(x). The remaining part of the “current” \(f^{\prime }(x)=\theta (x-a)F^{\prime }(x)+\theta (a-x)Q^{\prime }(x)\) is discontinuous provided \( F^{\prime }(x)\ne Q^{\prime }(x)\) at \(x=a\).
For the sake of convenience, we remove the subscript “pl” on the magnetic response generated by a pointlike Coulomb distribution, given by Eq. (20 ). Thus \(\mathbf {B}_{\mathrm {pl}}^{\left( 1\right) }\left( \mathbf {r}\right) \equiv \mathbf {B}^{\left( 1\right) }\left( \mathbf {r}\right) \) from now on.
The remaining coefficient \(\mathfrak {FL}_{\mathfrak {FG}}^{\left( 1\right) }\) resulting from the expansion \(\mathfrak {FL}_{\mathfrak {FG}}=\left( a/b\right) \mathfrak {FL}_{\mathfrak {FG}}^{\left( 1\right) }+O\left( a^{2}/b^{2}\right) \) formally coincides with \(\left( \mathfrak {GL}_{ \mathfrak {FG}}\right) ^{\left( 2\right) }\) in Ref. [36] except by a multiplying factor of \(\kappa /2\), namely \(\mathfrak {FL}_{\mathfrak {FG}}^{\left( 1\right) }=\left( \kappa /2\right) \left( \mathfrak {GL}_{\mathfrak {FG} }\right) ^{\left( 2\right) }\).
To give an idea of the scale, consider the field \(B_{p}\sim \frac{\mathcal {M} }{r^{3}}\)of a magnetic moment of 3 nuclear magnetons \(\mathcal {M=}\) \(3\frac{e }{2m_{\text {p}}},\) characteristic of the proton in the vacuum, at a distance \({r=\lambdabar _{\text {C}}}\) from its centre, \(B_{p}\sim \frac{3}{2}\frac{em_{ \text {e}}^{3}}{m_{\text {p}}}\approx \frac{3}{2}\frac{em_{\text {e}}^{2}}{ \left( m_{p}/m_{\text {e}}\right) }=\frac{3\pi \alpha B_{cr}}{10^{3}}.\) This field is one order of magnitude larger than our magnetic response at \(Z=1\), but it decays with distance following the cubic law as compared to quadratic law in (26).
References
T. Erber, Rev. Mod Phys. 38, 626 (1966)
Z. Bialynicka-Birula, I. Bialynicki-Birula, Phys. Rev. D 2, 2341 (1970)
H. Euler, B. Kockel, Naturwiss 23, 246 (1935)
S. Weinberg, The Quantum Theory of Fields (University Press, Cambridge, 2001)
F. Xing, et al. arXiv:1705.00495 (2017)
G. Zavattini et al., Eur. Phys. J. C 78, 585Z (2018)
S.R. Valluri et al., Mon. Not. R. Astron. Soc. 472, 2398 (2017)
M. Diachenko, O. Novak, R. Kholodov, Ukr. J. Phys. 64, 181 (2019)
R.P. Mignani et al., Mon. Not. R. Astron. Soc. 465, 492 (2017)
S.L. Adler, Ann. Phys. (N. Y.) 67, 599 (1971)
R.J. Stoneham, J. Phys. A Math. Gen. 12, 2187 (1979)
V.O. Papanyan, V.I. Ritus, Sov. Phys. JETP 34, 1195 (1972)
V.O. Papanyan, V.I. Ritus, Sov. Phys. JETP 38, 879 (1974)
H. Gies, F. Karbstein, N. Seegert, Phys. Rev. D 93, 085034 (2016)
M. Aaboud et al. (ATLAS Collaboration), Evidence for light-by-light scattering in heavy-ion collisions with the ATLAS detector at the LHC. arXiv:1702.01625. Published in Nature Physics (2017)
W. Heisenberg, H. Euler, Z. Phys. 98, 714 (1936); V. Wesskopf, Kong. Dans. Vid. Selsk. Math-fys. Medd. XIV, 6 (1936) [English translation in: Early Quantum Electrodynamics: A Source Book, A. I. Miller (University Press, Cambridge, 1994).]
V. I. Ritus, in Issues in Intense-Field Quantum Electrodynamics, Proc. Lebed. Phys. Inst. 168, 5, ed. V. L. Ginzburg (Nauka, Moscow, 1986; Nova Science Publ., New York , 1987)
V.I. Ritus, Zh Exp, Theor. Phys. 69, 540 (1975)
V.I. Ritus, Sov. Phys. JETP 42, 275 (1975)
S. R. Valluri, U. D. Jentschura, D.R. Lamm. arXiv:hep-ph/0308223 (2003)
H. Gies, F. Karbstein, JHEP 03, 108 (2017)
I. Huet, M.R. de Traubenberg, C. Schubert, Int. J. Mod. Phys. Conf. Ser. 14, 383–393 (2012)
I. Huet, M.R. de Traubenberg, C. Schubert, JHEP 3, 167 (2019)
S. Kruglov, Int. J. Mod. Phys. A 33, 1850023 (2018)
S. Kruglov, Grav. Cosmol. 25, 190 (2019)
V.P. Gusynin, I.A. Shovkovy, Can. J. Phys. 74, 282 (1996)
V.P. Gusynin, I.A. Shovkovy, J. Math. Phys. 40, 5406 (1999)
D.M. Gitman, A.E. Shabad, Phys. Rev. D 86, 125028 (2012)
C.V. Costa, D.M. Gitman, A.E. Shabad, Phys. Rev. D 88, 085026 (2013)
T.C. Adorno, D.M. Gitman, A.E. Shabad, Eur. Phys. J. C 74, 2838 (2014)
T.C. Adorno, D.M. Gitman, A.E. Shabad, A. Shishmarev, Izvestiya Vusov. FIZIKA 59, 45 (2016)
T.C. Adorno, D.M. Gitman, A.E. Shabad, A. Shishmarev, Izvestiya Vusov. Russ. Phys. J. 59, 1775 (2017)
B. King, P. Böhl, H. Ruhl, Phys. Rev. D 90, 065018 (2014)
A. Di Piazza, Phys. Rev. A 95, 032121 (2017)
T.C. Adorno, D.M. Gitman, A.E. Shabad, Phys. Rev. D 89, 047504 (2014)
T.C. Adorno, D.M. Gitman, A.E. Shabad, Phys. Rev. D 93, 125031 (2016)
I.A. Batalin, A.E. Shabad, Zh Eksp, Teor. Fiz. 60, 894 (1971), I.A. Batalin, A.E. Shabad, Sov. Phys. JETP 33, 483 (1971)
T.C. Adorno, D.M. Gitman, A.E. Shabad, Phys. Rev. D 92, 741 041702(R) (2015)
A.E. Shabad, V.V. Usov, Phys. Rev. D 81, 125008 (2010)
T.C. Adorno, D.M. Gitman, A.E. Shabad. arXiv:1710.00138v2 [hp-th] (2017)
V.B. Berestetsky, E.M. Lifshitz, L.P. Pitayevsky, Quantum Electrodynamics (Nauka, Moscow, 1989) (Pergamon Press, Oxford, 1982)
F.W.J. Olver, D.W. Lozier, R.F. Boisvert, C.W. Clark, NIST Digital Handbook of Mathematical Functions (Cambridge University Press, New York, 2010)
F. Karbstein, R. Shaisultanov, Phys. Rev. D 91, 085027 (2015)
W. Dittrich, H. Gies, Probing the Quantum Vacuum; Perturbative Effective Action Approach in Quantum Electrodynamics and Its Application, Springer Tracts in Modern Physics, vol. 166 (Springer, Berlin, 2000)
E. Elizalde, Ten Physical Applications of Spectral Zeta Functions, (Lecture Notes in Physics, Vol. 855, 2nd Ed., New York, 2012)
K. Kirsten, Spectral Functions in Mathematics and Physics (Chapman & Hall/CRC, Boca Raton, 2002)
G.V. Dunne, in From Fields to Strings: Circumnavigating Theoretical Physics, vol. 1, ed. by M. Shifman, et al. (World Scientific, Singapore, 2005), p. 445
Acknowledgements
The work is supported by RFBR under Project 18-02-00149A, and by the Tomsk State University Competitiveness Improvement Program. T.C.A. also thanks the Advanced Talents Development Program of the Hebei University, Project no. 801260201271, for the partial support. D.M.G. is also supported by the Grant no. 2016/03319-6, Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP), and permanently by Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), Brazil.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Adorno, T.C., Gitman, D.M. & Shabad, A.E. Magnetic response from constant backgrounds to Coulomb sources. Eur. Phys. J. C 80, 308 (2020). https://doi.org/10.1140/epjc/s10052-020-7853-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-7853-6