Abstract
An almost radial gauge \(A^\mathrm {ar}\) of the electromagnetic potential is constructed for which \(x\cdot A^\mathrm {ar}(x)\) vanishes arbitrarily fast in timelike directions. This potential is in the class introduced by Dirac with the purpose of forming gaugeinvariant quantities in quantum electrodynamics. In the quantum case, the construction of smeared operators \(A^\mathrm {ar}(K)\) is enabled by a natural extension of the free electromagnetic field algebra introduced earlier (represented in a Hilbert space). The space of possible smearing functions K includes vector fields with the asymptotic spacetime behavior typical for scattered currents (the conservation condition in the whole spacetime need not be assumed). This construction is motivated by a possible application to the infrared problem in QED.
Introduction
The longrange nature of interaction entails the socalled infrared problems in electrodynamics, both classical and quantum [17]. Some of the quantum problems in this area are specific for this realm, but other reveal themselves already on the classical level. The identification of asymptotic charged fields and the scattering theory belong to the latter class.
The present author has long followed the idea that an appropriate choice of the electromagnetic gauge may relieve the scattering infrared problems. After preliminary results [11], it was shown recently that indeed the classical asymptotic problem for scattering of the Dirac field in electromagnetic timedependent field, typical for the complete theory, disappears in certain gauges. The main constituent feature of this class is sufficiently fast vanishing of the product \(x\cdot A(x)\) for x tending to timelike infinity (with an arbitrarily fixed origin \(x=0\) in Minkowski space) [15]. The choice of a specific potential in this class has a large freedom in this classical context. However, we plan to extend our analysis to quantum electrodynamics, and in that case a judicious choice of our gauge is of fundamental importance.
The first gauge which probably comes to mind is the radial gauge \(x\cdot A^\mathrm {rg}(x)=0\), going also in the literature by the names Fock–Schwinger or relativistic Poincaré gauge ([9, 24], see also [16]). In classical electrodynamics this gauge is well defined and may be obtained by integration of the electromagnetic field tensor. In quantum theory the latter property would be an advantage, as no indefinite metric space would be needed. However, we shall indicate in the following that the quantum version of this gauge is singular, which explains the need for a posteriori regularization in attempts to construct perturbative calculus with the use of this gauge [19].
It is the purpose of the present article to construct an ‘almost radial gauge,’ which may also be obtained from the electromagnetic field tensor alone, and for which \(x\cdot A^\mathrm {ar}(x)\) vanishes fast in timelike directions, but which at the same time admits quantization. Almost radial gauge turns out to be in the Dirac family of ‘gaugeinvariant gauges,’ which in the standard formulation of QED may be constructed only after initial regularization and the use of the indefinite Gupta–Bleuler metric (see the discussion of this problem in [25], p. 191). We choose a different approach. For the construction of the quantum field, we use a natural extension of the algebra of the free field proposed earlier [12], which enables representation of infrared singular fields. This extension admits the construction of the almost radial gauge, and allows moreover its welldefined smearing with vector functions typically appearing in scattering.
As we shall see, the construction of the almost radial gauge involves integration of the electromagnetic field along radial \({\mathbb {R}}\)axes. This bears some similarity to the integration of the field along spacelike semiaxes, which is the principle of the construction of stringlocalized potentials introduced by Mund et al. [21]. We shall discuss similarities and differences of the two constructions.
The plan of the article is as follows. In Section 2, we summarize our notation and mathematical tools to be used in the article. Section 3 contains a brief summary of the quantization of the standard free field algebra, and its extension mentioned above. The classical radial gauge and its singularity in quantum case are discussed in Section 4. Section 5 contains our main results: construction and evaluation of properties of the almost radial gauge, both classical and quantum, along the lines announced above. In Section 6, we compare our construction with the stringlocalized potentials. Section 7 contains some final remarks. Proofs of some technical points are shifted to the Appendix.
Preliminaries
We list here our notation, conventions and preliminary formulas. More extensive summary of these questions may be found in [14].
We consider the flat spacetime with a fixed origin, thus described by the Minkowski vector space M with the scalar product \(x\cdot y\) with signature \((+,,,)\). We choose physical units for which \(\hbar \), c and an arbitrarily chosen length scale are all equal to 1. Then, in particular, \(x\in M\) may be treated as dimensionless. We fix a unit timelike, futurepointing vector t and for a Minkowski vector x we write \(x^0=x\cdot t\) and \({\mathbf {x}}=x(x\cdot t)t\). The threedimensional norm of \({\mathbf {x}}\) is denoted \({\mathbf {x}}\), and we also write \(x=(x^0^2+{\mathbf {x}}^2)^{\frac{1}{2}}\). The tensor indices, which are often suppressed, are denoted by a, b etc. The Minkowski volume measure element is denoted \(\mathrm {d}x\). Our results do not depend on the choice of vector t.
Homogeneous Functions on the Future Light Cone
We shall write l for any futurepointing lightlike (nonzero) vector and denote
For \(C^1\)functions f(l) on \(C_+\), the intrinsic differentiation operators
are the generators of the Lorentz transformations \(f(l)\mapsto f_\Lambda (l)=f(\Lambda ^{1}l)\), where \(\Lambda \) is a Lorentz transformation of the Minkowski space. The derivative \(\partial f/\partial l^a\) can only be given a unique meaning if one determines a particular \(C^1\)extension of f to a neighborhood of \(C_+\). However, any two such extensions differ by a term \(l^2g(l)\), with a \(C^1\)function g(l) in a neighborhood of \(C_{+}\). Thus, on \(C_{+}\) the derivatives \(\partial f(l)\) obtained from these two extensions differ by 2lg(l). Therefore, if we define
in any chosen reference frame, then \(\partial _a f(l)\) is uniquely defined as an equivalence class with respect to the addition of terms proportional to \(l_a\). If the definition of f(l) is the restriction of a function naturally defined in some neighborhood of \(C_{+}\), then this function may also serve to define \(\partial _af(l)\).
For any measurable function W(l) on \(C_{+}\), homogeneous of degree \(2\), the integral over the set of null directions defined by
where \(\mathrm {d}\Omega _t(l)\) is the angle measure on the unit sphere, does not depend on the choice of the vector t. If W is \(C^1\), it follows that
Another closely related identity is the following. Let \(V^a(l)\) be a \(C^1\)vector function on \(C_{+}\), such that \(l\cdot V(l)=0\). Suppose V(l) is extended to a neighborhood of the light cone with the preservation of these properties. Then in each Minkowski frame one has
so the rhs of this equation is both frame and extension (preserving orthogonality)independent. Moreover, if in addition V(l) is homogeneous of degree \(1\), then
If f(l) is a scalar \(C^1\)function, homogeneous of degree 0, then the last identity and the earlier remarks on \(\partial _af(l)\) imply the ‘integration by parts’ identity
We end these remarks with the following definition. Let F(l) be any continuous function, homogeneous of degree \(1\). Then it is easily calculated that
independently of the frame in which the coordinates \(l^0{l'}^0\) are taken, where \(\delta (.)\) is the Dirac delta distribution. Therefore, we can interpret the lhs as the action of a distribution \(\delta (l,l')\), homogeneous of degree \(1\) in each of the arguments:
Fourier Transforms
We use the following conventions for a function f on M and a function g on \({\mathbb {R}}\times C_{+}\):
Wave Equation
Solutions of the homogeneous wave equation may be represented by
where^{Footnote 1}\({\dot{V}}(s,l)\) (of any algebraic type) is a function homogeneous of degree \(2\). This representation is related to the Fourier representation
by
In physical contexts of interest the function \({\dot{V}}(s,l)\) is of class \(C^N\), for some \(N\in \{0,1,\ldots \}\cup \{\infty \}\), and for l scaled^{Footnote 2} to \(l^0=1\) and some \(\varepsilon >0\) the following bounds hold:
With this condition, A(x) has null asymptotes given by
where V(s, l) is any primitive function of \({\dot{V}}(s,l)=\partial V(s,l)/\partial s\), determined up to an additive sindependent term. Independent of this choice is the difference
In what follows two spaces of functions V(s, l) will appear naturally: one characterized by \(V(+\infty ,l)=0\), and another by \(V(\infty ,l)=0\). In addition, we shall also find convenient to define another choice, denoted by
for which
Beside the existence of null asymptotes, condition (5) entails (with the use of estimate (82)) the following decay of A(x) in spacetime:
We end this section by mentioning that the standard Pauli–Jordan function, a particular solution of the wave equation, has the representation
This may be shown by writing the rhs as
which gives the standard form.
Free Electromagnetic Field
A Lorenz potential A of a free electromagnetic field F has the representation (4), where \({\dot{V}}(s,l)\) is a vector function satisfying the condition
We assume that the condition (5) with \(N\ge 1\) is satisfied, so \(\Delta V(l)\) exists and satisfies \(l\cdot \Delta V(l)=0\). Moreover, we demand in addition that
which under the orthogonality condition is equivalent to the existence of a homogeneous of degree 0 function \(\Phi (l)\), such that
equality in the sense described in Section 2.1. Then A is of the type of radiation potentials of fields created in scattering processes. The corresponding electromagnetic field is then given by
The gauge freedom within the space of Lorenz gauges is represented in terms of \({\dot{V}}(s,l)\) by the transformations
with \(\alpha (s,l)\) homogeneous of degree \(2\). The spacelike asymptotic behavior of A (and F) depends on \(\Delta V(l)\) and is given, independently of x, by
Fields with \(\Delta V(l)\ne 0\) are usually termed as infrared singular; their spacelike tail falls off as that of the Coulomb field of the electric charge.
For future use, we note the following representation:
here and in what follows we denote
(and similarly for \(L_{ab}\) and other functions in place of V). Representation (15) follows immediately from the relation
by the use of identity (1).
Finally, it is important for what comes to relate representation (4) to the construction of the radiation potential of a conserved vector current J(x),
Let J(x) be such current, for which \({\dot{V}}(s,l)\), with
satisfies conditions (5). Then the radiation potential of this current has two equivalent forms
which is shown with the use of representation (9). We note that orthogonality (10) is then automatic, but in general
Q being the charge of the current.
Free Quantum Field
Quantization of the local free electromagnetic field may be described in terms of the algebra of electromagnetic potential elements A(J) satisfying the relations
where \(J_i\) are smooth, compactly supported conserved test currents (as discussed in [12] and [13]). After exponentiation to the Weyl form, this defines a net of \(C^*\)algebras satisfying Einstein causality in the form of commutation for spacelike separated supports of \(J_i\).^{Footnote 3} This formulation is close to the discussion given in [23]. In more standard formulation one treats the free electromagnetic field as an operatorvalued distribution on the space of antisymmetric, smooth, compactly supported functions \(\varphi ^{ab}(x)\). Then the elements
generate the standard net of electromagnetic field, where now \(F(\varphi )\) is considered as an element of the local algebra of any open set containing \({{\,\mathrm{supp}\,}}\varphi \). However, as each conserved, compactly supported current \(J^a\) has a representation (20) with a compactly supported^{Footnote 4}\(\varphi ^{ab}\), the nets have the same elements, with some differences in the assignment to spacetime sets. Moreover, two important properties bind the two nets:

(i)
the nets are local with respect to each other, i.e.,
$$\begin{aligned}{}[F(\varphi ),A(J)]=0 \end{aligned}$$for spacelike separated supports of \(\varphi \) and J;

(ii)
for each open starshaped set the two local algebras assigned to this set are equal.
The first property is obvious from (19) and (20), and for the second see footnote 4.
The symplectic form on the rhs of (19) may be expressed in terms of functions V(s, l) defined by (16). Substituting in this form representation (9), one obtains^{Footnote 5}
where for the Fouriertransformed version we used (3). If one writes symbolically \(A(J_i)=\int _M A(x)J_i(x)\,\mathrm {d}x\), with A(x) represented by (4) with quantum function \(V^\mathrm {q}(s,l)\), then
The quantization condition (19) takes now the form
This condition is now extended to the space of all smooth, compactly supported functions V(s, l), satisfying orthogonality^{Footnote 6}
which for V(s, l) obtained from J reflects the fact that the current is chargeless. The form (21) is nondegenerate on the space of equivalence classes of such functions with respect to gauge transformations (13). This may be also interpreted as follows: the symplectic structure is defined and nondegenerate on the space of infrared regular classical fields (12). This leads to the unique Weyl algebra satisfying the corresponding exponentiated condition on this space (see [4], Section 5.2.2.2). Consider the scalar product on the space of equivalence classes
and the Hilbert space \({\mathcal {H}}\) obtained by completion. The standard construction leads to the representation of the algebra on the Fock space based on \({\mathcal {H}}\). When restricted to the exponentiated elements \(F(\varphi )\), this is the standard irreducible vacuum representation of the local net.
In interacting theory one needs to form elements A(K), where the vector function K need not be conserved, and secondly, need not be compactly supported. The first problem (nonconservation of K) is dealt by choosing A in some special gauge, and in local formulation of QED this leads to the Gupta–Bleuler indefinite metric. The second problem (noncompactness) is avoided in usual formulations by the introduction of a switching function g(x) and the subsequent performance of the ‘adiabatic limit’ \(g\rightarrow 1\). This program of the solution of infrared problems is far from complete.^{Footnote 7} Here we want to propose a construction avoiding both problems, with the use of a natural extension of the above algebra to the free infrared singular fields, put forward in [12]. We briefly sketch the construction of this extension.
The symplectic structure (21) has a natural extension to a wider space. It is easy to see that the form remains well defined (absolutely integrable) and gauge invariant for general functions \(V_i\) subject to conditions (5) with \(N=\infty \), (11) and (24). However, for this structure to be again consistently formulated on the space of all classical fields (12) (now also those infrared singular when \(\Delta V_i(l)\ne 0\)), we have to make the choice of V(s, l) for given \({\dot{V}}(s,l)\) unique. We make this choice guided by the following physical motivation (as discussed in [13]). Free fields appear in realistic physical theories as incoming or outgoing fields in scattering setting. We want to admit the possibility of testing these fields with currents infinitely extended in timelike directions.^{Footnote 8} Formula (16) tells us that for \(V(+\infty ,l)\) (\(V(\infty ,l)\)) to be different from zero, the test current J must have a sufficiently slow (in fact, of \(x^{3}\) type) decay in the future (past), respectively. Therefore, it seems reasonable to adopt the rule that
consistently with the spacetime regions where the fields are tested: ‘in’ in the past, and ‘out’ in the future; the same rule is adopted for the quantum variables \(V^\mathrm {q}(s,l)\). Let us mention that all such extended currents are chargefree (see (18)) and that the symplectic form \(\{V_1,V_2\}\) for such currents may be represented in the form
where \(A[J_i](x)\) are radiation fields (17). For compactly supported \(J_i\) this agrees with the definition in (19); however, the latter is not absolutely integrable in general.
Relations (23), considered on the space of functions V(s, l) satisfying (5) with \(N=\infty \), (11), (24) and (26), define (after exponentiation) a \(C^*\)algebra, an extension of the standard local algebra. Algebras for ‘in’ and ‘out’ cases are canonically isomorphic. For \(J_i\) with supports spacelike separated the usual commutation rule is fulfilled. Also, the form (27) shows that the timelike commutativity characteristic for massless fields extends as well: if \({{\,\mathrm{supp}\,}}J_1\) is timelike separated from \({{\,\mathrm{supp}\,}}J_2\), then the two fields commute, irrespective of the size of the supports.
The Poincaré group transformations \((z,\Lambda )\) are represented by the automorphisms \(\alpha _{z,\Lambda }\) acting on the algebra by
where \(T_{z,\Lambda }\) is the natural representation of the Poincaré group on tensor functions. Expressed in terms of notation (22), this reads
where
Translationally covariant, positive energy, irreducible representations of the extended algebra have been constructed in [12] and [13]. Also, there exist among them those for which rotations are implemented, although not Lorentz boosts. In these representations there are vector states with arbitrarily small energy content, but no vacuum vector state exists.
The integral in the Fouriertransformed version of the symplectic form (21) is now in the principal value sense. Note also that \(\widetilde{{\dot{V}}}(0,l)=(2\pi )^{1}\Delta V(l)\). Therefore, elements \(\{V_1,V^\mathrm {q}\}\) with \(\Delta V_1(l)\ne 0\), describing infrared singular fields, have no representation in the vacuum representation of the local algebra, which is based on the scalar product (25). We shall see in Section 5 that our larger arena enables the construction of elements \(A^\mathrm {ar}(K)\) for appropriately extended functions K and almost radial gauge \(A^\mathrm {ar}\) to be defined there.
For later comparison, we write the symbolic distributional formula equivalent to (23) (for test functions \(V_i\) vanishing at infinity):
The rhs has the correct homogeneity and is independent of the choice of the vector t. The metric tensor on the rhs could suggest indefinite metric, but this is not the case: this relation is smeared with (equivalence classes with respect to (13) of) functions \(V_i(s,l)\) orthogonal to l. In local formulation of interacting theory one needs to smear A(x) with nonconserved test vector fields, and then the usual Gupta–Bleuler formulation is needed.
Finally, let us note for future use that if both \(V_i(s,l)\) satisfy one and the same of the conditions (26), then
where \({\bar{V}}_i(s,l)\) are formed by the convention (7).
Radial Gauge
As announced in the Introduction, we are now looking for a suitable quantum gauge, in which \(x\cdot A(x)\) vanishes (sufficiently fast) in timelike directions. We start by testing the radial gauge for that purpose, for a classical field first.
If \(F_{ab}(x)=\partial _aA_b(x)\partial _bA_a(x)\), with A a \(C^1\)function, then without any further conditions the following identity holds:
so for \(\lambda \in {\mathbb {R}}\) we have
Integrating with respect to \(\lambda \) on [0, 1], one finds
which for any electromagnetic field \(F_{ab}\) defines the radial gauge with the property
Potential (33) is the unique regular solution of the condition (34). Indeed, any addition to \(A_a^\mathrm {rg}(x)\) of a gauge term \(\partial _aG(x)\) respecting (34) must result from a homogeneous function G(x), which has to be singular (not continuous) at the origin, if it is not constant.
The lhs of (33) shows immediately that for F—a free Maxwell field, the radial gauge is a Lorenz gauge. Let A(x) be a Lorenz gauge as specified in Section 2.4. Then one finds
with
This is shown by noting that by (15) we have
so
and
(note that \(S^\mathrm {rg}(x)\) is well defined, since \(\int (\partial \cdot V)(0,l)\,\mathrm {d}^2l=0\)).
For a classical field, with sufficiently regular V(s, l), the radial gauge function (36) is regular and the representation (35) is well defined (e.g., for a smooth V(s, l) both \(V^\mathrm {rg}(s,l)\) and \(A^\mathrm {rg}(x)\) are smooth), although with marked differences as compared to A. In contrast to \({\dot{V}}(s,l)\), which satisfies (5), \({\dot{V}}^\mathrm {rg}(s,l)\) decays only as \(s^{1}\) for large s. This has two consequences: first, there is no null asymptotics of the form (6) for \(A^\mathrm {rg}(x)\); and second, the estimate (8) is replaced by a slower decay
which is easily obtained with the use of estimate (82).
However, for the quantum version it follows immediately from the juxtaposition of Formulas (36) and (30) that \(V^\mathrm {rg}(s,l)\), and consequently also \(A^\mathrm {rg}(x)\), are not properly defined, due to the appearance of a distributional quantity at a point: \(\partial \cdot V(0,l)\). This, in our view, is the fundamental reason for the reported difficulties and a need for a posteriori regularization in attempts to establish Feynman rules in the radial gauge (see [19] and references therein).
Almost Radial Gauge
The source of trouble in the radial gauge is the term \(\partial \cdot V(0,l)\) in the function \({\dot{V}}^\mathrm {rg}(s,l)\). Our plan is to modify the definition (33) so as to eliminate this term. This will only be possible with some smearing of the central, reference point. The result of this program is the construction of an almost radial gauge potential \(A_b^\mathrm {ar}(x)\) in Formulas (49), (50), (51) and (72) below.
The starting point for the construction is the following variant of the identity (32)
where \(\xi \) is a real parameter, and to abbreviate notation we introduced a usual affine space symbol
To obtain this identity, we shift the argument of A and F in (32) by vector a, and write it with x replaced by y:
Now the substitutions and \(\lambda =\xi +1\) give the result.
Potential of Fast Decay
We start discussion with the case of \(A_b(x)\) a \(C^1\)function of fast decay, together with its derivative. For such function one could think of integrating identity (37) with respect to \(\xi \) on \([0,\infty )\), which would correspond to the \(\lambda \)integration of (32) on \([1,\infty )\). However, for F—a free electromagnetic field, which will be our object of study later, this would not be convergent for spacelike . In that case, one has to exploit the oddness (in the spacetime) of its spacelike tail (and evenness of the tail of A, see (14)) and define integrals as appropriate limits. Anticipating this, we multiply (37) by \((\tfrac{1}{2}){{\,\mathrm{sgn}\,}}(\xi )\) and integrate with respect to \(\xi \) on \({\mathbb {R}}\), which results in
Using a technique similar to that applied in Appendix B to analyze function \(r^a(x,z)\) defined below, it is easy to show that S(a, x) is regular outside \(x=a\), bounded by a constant, while \(\partial ^xS(a,x)\le \mathrm {const}(1+a)xa^{1}\) (for that, use the second formula in (39)). In order to remove the singularity, we smear (38) with a real Schwartz function \(\rho (a)\) on Minkowski space, such that
for some arbitrarily chosen (large) \(n\in {\mathbb {N}}\cup \{\infty \}\). The smearing of \(\partial ^xS(a,x)\) may be pulled under the differential sign, and we obtain
In the first step above we substituted S(a, x) (39) and changed integration variable a to \(y=x+\xi (xa)\). In the second step we substituted \(\xi =u^{1}\).
We now introduce the vector function
which together with its derivatives with respect to x is estimated as in (83) and satisfies the distributional equation (see Appendix B)
and define the almost radial gauge by
Formulas (42), (44) and (45) together show that our almost radial gauge is in the class of generalized ‘gaugeinvariant gauges’ first postulated by Dirac [7] in an attempt to obtain ‘physical,’ out of local potentials (see also [25]). The generalization consists in nontrivial dependence of \(r^a(x,xy)\) on the first argument. Potential \(A^\mathrm {ar}(x)\) is a continuous function, decaying as \(x^{1}\) for large x, thus
To estimate the radial component of \(A^\mathrm {ar}\), assume for simplicity that the support of \(\rho (a)\) is contained in a small ball \(a\le \delta \), and note that . Then the contraction of (43) with x gives
In the present case of a fast decaying function A, the ‘almost radial’ property has only a global aspect, appearance of \(\delta \) on the rhs. It is the case of free field discussed below, where this term has a fuller justification.
We note that a strict Dirac gauge with \(r(0,xy)\) replacing \(r(x,xy)\) in (45) is also possible, but it does not have the almost radial property.
Free Classical Field
We now assume that \(F_{ab}(x)\) is a free classical field obtained from the potential (4), where \({\dot{V}}(s,l)\) satisfies all restrictions formulated there. The definition (45) may not be directly applied in this case, but we shall find that an extension of this definition may be obtained as a limit of a regularized expression. We admit infrared singular fields, thus \(\Delta V(l)\) may be different from zero. For the sake of the construction of almost radial gauge at the classical level, it will prove convenient to use the convention \({\bar{V}}(s,l)\) (7). The choice (26) will be restored at the stage of quantization.
The following auxiliary functions will be needed:
(we assume \(\sigma (s,l)\) is defined by the above formula also in a neighborhood of the light cone, so \(\partial \sigma (s,l)\) is also unique in this case). Properties of these functions are discussed in Appendix C. Let \(\chi (x)\) be a Schwartz function, such that
and for \(\delta >0\) denote (cf. (45))
with A(x) as described above. Then the following limit exists:
We give the proof of this fact in Appendix D. Gradient of this function is easily obtained
We use an identity of the form (15) to transform
Taking into account that \(\partial _a[l_b{\bar{V}}^a\zeta ]={\bar{V}}_b\zeta +l_b\partial \cdot [{\bar{V}}\zeta ]\), we find
We can now extend the definition of the almost radial gauge to the free field:
where
the second form (51) obtained with the use of identity (84). Our almost radial gauge is a functional of the smearing function \(\rho \) (40), which serves to define functions \(\zeta \) and \(\eta \) (46). Note that putting formally \(\rho (a)=\delta (a)\) (which, precisely, is not allowed), one has \(\zeta (s,l)=s^{1}\), \(\eta (s,l)=0\) and (51) reproduces Formula (36) with the term \((\partial \cdot V)(0,l)\) omitted (which, again, would result in a singularity).
The almost radial gauge is again a Lorenz gauge satisfying the wave equation. It is also gauge invariant with respect to gauge transformations
which correspond to the replacement \({\bar{V}}_b(s,l)\rightarrow {\bar{V}}_b(s,l)+l_b{\bar{\alpha }}(s,l)\). This replacement leaves \({\dot{V}}_b^\mathrm {ar}(s,l)\) unchanged. To show this, we put \(l{\bar{\alpha }}(s,l)\) in place of \({\bar{V}}(s,l)\) in (51). Recall that to calculate \(\partial \cdot [l{\bar{\alpha }}(s,l)]\) one has to extend \(l{\bar{\alpha }}(s,l)\) to the neighborhood of the light cone respecting orthogonality to l, e.g., by
and then on the light cone \(\partial \cdot [l{\bar{\alpha }}(s,l)]_\mathrm {ext} =(l\cdot \partial +2){\bar{\alpha }}(s,l)\). In this way the change in (51) becomes
where we used identity (85) and the homogeneity of degree \(2\) of \({\bar{\alpha }}(s,l)\).
Similarly as in the radial gauge case, \({\dot{V}}^\mathrm {ar}(s,l)\) decays only as 1/s for \(s\rightarrow \infty \), so \(A^\mathrm {ar}(x)\) has no null asymptotes and decays as
On the other hand, using identity (85) we find
and by identity (15) we obtain
The expression in square brackets in (53) is bounded by a constant, while \(\eta (s,l)\) satisfies (86), so by the use of estimate (82) we find
In timelike directions the radial product \(x\cdot A^\mathrm {ar}(x)\) vanishes arbitrarily fast (depending on the choice of the function \(\rho (x)\), see (40)). Moreover, let us introduce the scaling \(\rho _\delta (a)=\delta ^{4}\rho (a/\delta )\), which for \(\delta \searrow 0\) contracts the function to the central point, and denote by \(A^\mathrm {ar}_\delta \) the corresponding potential. Then \(\eta _\delta (s,l)=\eta (s/\delta ,l)\) and for \(x\cdot A^\mathrm {ar}_\delta (x)\) the bound (54) holds with the replacement \(x\rightarrow x/\delta \). Thus, outside \(x=0\) this quantity vanishes with \(\delta \) as
Smearing with a Test Function
Let \(K^b(x)\) be a vector Schwartz test function (no conservation condition) and denote
which is a \(C^\infty \)function, fast decaying in s, together with all its derivatives. Then
Setting here (50) and integrating by parts (use (2) to transfer the derivative \(\partial \)), one finds
where
It follows that
Orthogonality (58) is showed with the use of identity (85) as follows:
the last equality by the homogeneity of \(l\cdot W(s,l)\). Equality (59) is immediate from the second form of \({\dot{V}}_K\) in (57).
We note that the function \({\bar{V}}_K(s,l)\) satisfies all demands (5) with \(N=\infty \), (11) and (24) on a test function in the extended symplectic form (21), but in general—for nonconserved K—is outside the original test functions space.
More General Smearing
Now we want to extend the smearing \(A^\mathrm {ar}(K)\) to \(C^1\)vector functions K(x), with the spacetime asymptotic behavior characteristic for currents of scattered free particles or fields. We shall show that with appropriately specific conditions on K, the function W(s, l) (55) is of class \(C^1\) and satisfies the bounds
Therefore, the integrals in (56), with the definitions (57), are absolutely convergent for this extension. Moreover, \({\bar{V}}_K(s,l)\) thus formed satisfies conditions (5) with \(N=0\), (11) and (24). In addition, let g(x) be a Schwartz function, with \(g(0)=1\) and denote \(K_\delta (x)=g(\delta x)K(x)\). Then we shall find that irrespective of the shape of g the following extension of the identity (56) holds true
We first note that once the existence of W(s, l) with the properties (60) is established, the existence of \({\bar{V}}_K(s,l)\) with the property (5) with \(N=0\) and orthogonality (58) are obviously satisfied.
To specify the class for which the above results hold, it is convenient to characterize such class by splitting the function K into three \(C^1\)contributions: \(K=K_1+K_2+K_3\), with the following properties:
Condition (62) characterizes the dominant asymptotic behavior of particles, and the nonoscillatory part of asymptotic behavior of fields. The oscillatory contribution in the case of fields is represented by \(K_2\), bounded by (63), and we shall characterize it more precisely below. The rest is represented by \(K_3\), conditions (64) characterizing the next to leading behavior inside the light cone, and decay of K outside.^{Footnote 9}
We prove our claims separately for each contribution \(K_i\), except for property (11), which will be discussed at the end.
We first note that all \(W_i(s,l)\), defined by (55) with K replaced by \(K_i\), are absolutely convergent and bounded. Moreover, in case \(i=3\) one has
all these statements are proved as in Lemma 20 and Theorem 21 in ref. [15]. Therefore, bounds (60) are satisfied for \(W_3\). Next, we observe that both
are absolutely integrable (see (52) and (54)), so the \(\delta \)regularization in (61) is not needed for these contributions. Thus in case \(i=3\) we obtain
so the thesis for this contribution follows.
In case \(i=1\) we denote
(the bound again by Lemma 20 in [15]), and observe that
Moreover, we note that the interior of the light cone (past and future) may be parametrized by \(x=\lambda v\), \(\lambda \in {\mathbb {R}}\) and v on the future hyperboloid \(v^2=1\), \(v^0\ge 0\), and then \(\mathrm {d}x=\lambda ^3\mathrm {d}\lambda \,\mathrm {d}\mu (v)\), where \(\mathrm {d}\mu (v)=\mathrm {d}^3v/v^0\). It follows then from assumptions (62) that for \(s\ge l^0\) one has
Therefore,
We can now use (53) to obtain (we omit the arguments (s, l) for the sake of clarity)
where for the second equality we integrated \(\partial \) by parts and used the equality \(\partial (l\cdot \eta )=s{\dot{\zeta }}\), which follows from identities (84) and (85). Performing now the substitutions (65) (for sU using the second of these relations in both places where it appears) and integrating \(\partial _s\) by parts, we obtain
which is the required result.
We turn to the case \(i=2\). The decay of \(K_2\) is not sufficient to apply the proof presented in case \(i=3\). However, the oscillatory behavior of \(K_2\) damps the integrals, and we now add further assumption that \(W_2\) satisfies bounds as in case \(W_3\):
We denote
and assume further that
With these assumptions, we have
the limit by the dominated convergence theorem. This, together with the estimates (67), leads to the thesis. We show in Appendix E that our assumptions on \(W_2\) are satisfied for a term of the type characteristic for the Dirac field.
Finally, we shall close the proof of our claims by showing (11), namely
with
First, we observe that it is only \(W_1\) that contributes to \(W(\pm \infty ,l)\), so by (66) we have
Differentiating the first line in (71) we obtain
Differentiation of the second line in (71) gives
Using (84) in the second integral and summing the contributions, we obtain
which substituted into (70) gives the correct value. Note that the differential \(\partial \) cannot be extracted outside the integral in the last formula, as without it the integrand is not integrable.
Quantum Field
We have shown in the classical case that \(A^\mathrm {ar}(K)=\{{\bar{V}}_K,{\bar{V}}\}\). However, recall the identity (31), which holds in each of the cases (26), that is both for ‘in’ and for ‘out’ algebra. Thus, on the algebraic level, in each of these two cases we propose to define the quantum almost radial gauge of the potential by^{Footnote 10}
whenever \(V_K(s,l)\) defined by (57) and (26) falls in our extended symplectic space defined after (27). This condition demands stronger regularity properties of K than those assumed in Section 5.4, leading to classical version of (72). One can show that a class of such functions may be obtained by a modification of the currents J considered in [13], where the modification consists in demanding the continuity equation to be satisfied only asymptotically in time (in the form of an appropriately regular analogue of (62)). On the other hand, in concrete representations the scope of admitted test functions is wider, and the definition of the almost radial gauge may be also appropriately extended at the level of representation. We do not go into details here and leave the question to be decided in applications.
The almost radial gauge is a Lorenz gauge. For \(K(x)=\partial F(x)\) one finds that \(V_K(s,l)=W(s,l)\propto \,l\), which is in the zero equivalence class. Thus
Moreover, for \(K(x)=\Box G(x)\) we have \(W(s,l)=0\), so
For test functions K(x) in the class of conserved currents admitted in A(K) in one of the cases ‘in’ or ‘out,’ one has \(l\cdot W(s,l)=0\), so that \({\dot{V}}_K(s,l)={\dot{W}}(s,l)\) and \(V_K(s,l)=W(s,l)\). Therefore, in this case
which reproduces the extended free algebra.
Finally, let us note the following important corollary. If K is a conserved, nonradiating current, such as the current of a free, charged classical particle, or of the free (classical or quantum) Dirac field, then \(W(s,l)=W(l)\) is constant in s and \(l\cdot W(l)=Q\), the charge of the current (see ref. [11], discussion starting with Eq. (2.70)). Therefore, for such currents \(V_K=0\) and
Transformation and Commutation Properties
We recall that almost radial gauge is a functional of the function \(\rho \) serving to smear the point a from which the radial line to x is drawn. Let us make this dependence explicit by writing \(A^\mathrm {ar}(K;\rho )\). With Poincaré transformations of the extended algebra defined in (28), these elements have the covariance property given by
In this sense \(A(K;\rho )\) may be regarded algebraically covariant, with unitarily implementable translations. For the proof of the covariance relation one notes that
Setting these relations into Formula (57) for \(V_K\), and then using the result in (29), one arrives at the thesis.
Elements \(A^\mathrm {ar}(K;\rho )\) do not have compact localization even if the support of K is compact. However, the following remnant timelike locality with respect to A holds. Let the support of an admissible test vector function K and the support of a conserved test current J be timelike separated, and let V(s, l) for current J (16) have \(\Delta V(l)=0\) (in particular, this is always true for compactly supported J). Then
irrespective of the choice of \(\rho \). To show this, we first note that it is sufficient to show this when the two supports are placed inside the future and the past parts of the same light cone, with any vertex point b. Next, we apply to the commutator translation automorphism \(\alpha _{b,{{\,\mathrm{\mathbb {1}}\,}}}\). The commutator, without changing its value (being proportional to identity), takes now the form \([A^\mathrm {ar}(K';\rho '),A(J')]\), where \(K'\) and \(J'\) are similarly separated as K and J, but with the vertex of the light cone in the origin. In consequence, the functions \(W'(s,l)\) for \(K'\) (55), and \(V'(s,l)\) for \(J'\) (16), are supported in \(s\in (0,+\infty )\) or \(s\in (\infty ,0)\), each in a different of the two sets. Now, it follows from (57) that the support of \({\dot{V}}_{K'}(s,l)\) is not larger than the support of \(W'(s,l)\), so the same conclusion is valid for the pair \({\dot{V}}_{K'}(s,l)\) and \(V'(s,l)\). But from \(\Delta V'(l)=0\), together with (26), it follows that
so the thesis follows.
Almost Radial Gauge and StringLocalized Fields: Comparative Remarks
Definition of the almost radial gauge was motivated by integration, on the classical level, of the electromagnetic potential along straight axes (43). Another construction based on integration along infinitely extended straight lines is the formalism of stringlocalized fields (potentials) developed by Mund, Schroer and Yngvason [21] (based on earlier works, as explained in this reference) and worked out later in many articles.^{Footnote 11} The two constructions result from quite different motivations and aims; nevertheless, it seems interesting to make some comparison. For that purpose, we briefly recall and formulate in our language the latter in the case of electrodynamics.^{Footnote 12} All electromagnetic fields are assumed to satisfy the homogeneous Maxwell equations.
The stringlocalized potentials in electrodynamics are distributions in position vectors x and spacelike unit vectors e defined by^{Footnote 13}
To obtain a vector potential as an xdistribution, one needs a scalar test function h(e) on the hyperboloid \(e^2=1\), such that
where the integration is over the hyperboloid with the Lorentz invariant measure \(\mathrm {d}\nu (e)\). Then,
is an hdependent potential, commuting with the field \(F_{ab}(y)\) at points y in spacelike position to the set of points \(x+\lambda e\), \(\lambda \in {\mathbb {R}}_+\), \(e\in {{\,\mathrm{supp}\,}}h\). In particular, if \({{\,\mathrm{supp}\,}}h\) is contained in some doublecone spacelike separated from 0, then \(A^\mathrm {sl}(x;h)\) is localized in a spacelike cone.
This potential is in the Lorenz class, and using the representation (12) we show in Appendix F that on the classical level
where
where the integrals in (78) and in n(l) are in the principal value sense, and not to burden notation we do not indicate the dependence on h explicitly. For a vector Schwartz test function K(x) we then find in analogy to (56)
where in place of (57), and keeping notation (55), we have
In contrast to W(s, l), which is of fast decrease, \(V^{\mathrm {sl}}_K(s,l)\) vanishes in general only as \(s^{1}\), see the last term in (80). Therefore, the (exponentiated) formula (79) cannot give, upon quantization, an element in the local algebra, even if K is local. However, we have
which is sufficient for elements (79) to be represented in the standard vacuum representation of the field F, in contrast to the almost radial gauge, which needs the extended algebra including infrared singular fields.
The formulation of a gauge theory in terms of stringlocalized potentials puts stress on their Poincaré covariance. In vacuum representation the action of the Poincaré automorphisms \(\alpha _{z,\Lambda }\) of the observable algebra given by (28) is implemented by a unitary representation \(U(z,\Lambda )\). Then, in this representation, one also has
At the algebraic level our transformation law (73) is analogous to (81). However, as mentioned before, in our case not all Lorentz transformations are implemented.
Let us now return again to the question of localization and commutation. Stringlocalized fields located on spacelike separated strings commute (which remains true for slightly smeared strings); this is an important property in the formalism of these fields. Whether almost radial gauge may be localized in spacelike extended regions in some special cases and special points x is a subtle question, which we do not want to consider here; anyway, this cannot be a generic property of this gauge. On the other hand, it has a timelike commutation property (74). We have seen that this property depended on the fact that the support of \({\dot{V}}_K(s,l)\) was not greater than that of W(s, l). The latter property does not hold for \(V_K^\mathrm {sl}(s,l)\) because of the last term in (80). Therefore, for stringlocalized fields timelike commutativity does not hold, in general.
It is interesting to note that the function z(l) vanishes for even functions h, \(h(e)=h(e)\), which are admitted by the condition (75). For such functions the last term in (80) is absent and the elements \(A^\mathrm {sl}(K;h)\) acquire the timelike locality as formulated above for \(A^\mathrm {ar}(K;\rho )\). As here the algebra is the standard local electromagnetic algebra of the free field, this leads in fact to the following implication in the vacuum representation. If the support of the smearing function K is contained in an open doublecone with vertices \(x_1\) and \(x_2\), \(x_2^0>x_1^0\), then \(A^\mathrm {sl}(K)\) belongs to the intersection of the von Neumann algebras connected with the following two regions: the interior of the future light cone with the vertex in \(x_1\), and the interior of the past light cone with the vertex in \(x_2\). This follows from the timelike duality for the vacuum representation of massless fields, see [5]. Condition of evenness of h may be equivalently formulated as string integration along whole real axes, instead of semiaxes; the spacelike localization and commutation properties are then retained (with obvious modifications).^{Footnote 14}
One could also observe that the last term in (80) seems to worsen the infrared/adiabatic limit behavior: for K becoming infinitely extended so that W(s, l) does not vanish in infinity, this term becomes meaningless. On the other hand, if the term is absent, then the algebra of elements (79) may be also built in the extended algebra of electromagnetic field described earlier.
Outlook
The results of the analysis in [11, 15] suggest that, for the classical Maxwell–Dirac system in an appropriate radiallike gauge, the asymptotic Dirac and radiation fields may be largely separated, with the Dirac field carrying its own Coulomb field. Motivated by this, we proposed in [12, 13] an asymptotic algebra incorporating these ideas on the quantum level. The free electromagnetic part of this algebra is the extended algebra described in Section 3. In order to turn on full interaction in this setting, one needs an appropriate potential. The present construction is a further step in our program.
One should stress that our almost radial gauge could not be constructed within the limits of the standard local theory: see remarks at the end of Section 5.3 and the definition of the quantum almost radial gauge in Section 5.5. Our construction engages nonlocal quantum variables of the extended algebra, which do not appear in the local theory (either in its \(C^*\)structure, or in its irreducible representations). Therefore, these nonlocal aspects are not a consequence, but a prerequisite of the present construction. The longrange structure of the representations of our asymptotic algebra, quite different from the structure in local quantum electrodynamics, was partly considered in [13, 14]. Further investigation of these questions, not being directly related to the construction of the almost radial gauge, is left for a discussion elsewhere.
Notes
In what follows, the overdot will always denote the differentiation with respect to the real parameter s; for a choice of V(s, l) see below.
This scaling is to be understood in all further estimates, to appear below, containing s or l.
More recently, description in terms of ‘intrinsic potential’ A(J) has been used for an axiomatic construction of a general local electromagnetic algebra in [6]. In that case, according to this analysis, the commutators for spacelike separated, but topologically nontrivial regions need not vanish, but are in the center of the algebra.
This more specific Poincaré lemma for compact supports follows from its standard form and the properties of cohomology of spheres, see e.g., [18], Lemma 17.27. Also, the proof in that reference easily implies that for \({{\,\mathrm{supp}\,}}J\) contained in an open, starshaped set, there exists \(\varphi \) with support contained in the same set. See also [6].
By a slight abuse of notation, we use here the same symbol as in (19).
But see a recent contribution to this program [8].
Extensive discussion of such test currents may be found in [13]; see also what follows.
Suppose, for definiteness, that K asymptotically behaves as the current of a free classical Dirac field. Then by standard stationary phase methods (e.g., [22]) the rest, beside the leading order in K, represented by \(K_3\), is rather safely estimated by (64). The leading order in the asymptotic field, by this method, has the form of a homogeneous function of degree \(3/2\), with the support inside the light cone, multiplied by an oscillating term. In the hermitian form of the current, the oscillations cancel for terms with the same energy sign, and add up for terms with opposite energy sign. Proportionality of the homogeneous term to x is related to the fact, that the current asymptotically is interpreted as particles escaping in timelike directions (see e.g., [11]). Matrix elements of the current will have similar structure in the quantum case.
See e.g., a recent discussion of an application to QED problems [20].
Our perspective is different from the discussion of stringlocalized fields in [21], which starts from the unitary representations of the Poincaré group and engages the notion of modular localization [2]. Here we want to avoid the a priori assumption on the action of a representation of the Lorentz group.
There exists a version of this construction with lightlike e, see [10].
The relation with the notion of modular localization, as used in the stringlocalized formalism of [21], is then lost, or at least becomes indirect.
References
Ashtekar, A.: Asymptotic Quantization. Bibliopolis, Naples (1986)
Brunetti, R., Guido, D., Longo, R.: Modular localization and Wigner particles. Rev. Math. Phys. 14, 759–786 (2002)
Bramson, B.D.: Physics in cone space. In: Esposito, F.P., Witten, L. (eds.) Asymptotic Structure of SpaceTime, pp. 273–359. Plenum, New York (1977)
Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics 2, 2nd edn. Springer, New York (1996)
Buchholz, D.: On the structure of local quantum fields with nontrivial interaction. In: Proceedings of the International Conference on Operator Algebras, Ideals and Their Applications in Theoretical Physics, Leipzig 1977. Teubner, Leipzig (1978)
Buchholz, D., Ciolli, F., Ruzzi, G., Vasselli, E.: The universal C*algebra of the electromagnetic field. Lett. Math. Phys. 106, 269–285 (2016). https://doi.org/10.1007/s110050150801y
Dirac, P.A.M.: Gaugeinvariant formulation of quantum electrodynamics. Can. J. Phys. 33, 650–660 (1955)
Duch, P.: Infrared problem in perturbative quantum field theory. Rev. Math. Phys. 33, 2150032 (2021). arxiv.org/abs/1906.00940
Fock, V.A.: Die Eigenzeit in der klassischen und in der Quantenmechanik. Phys. Z. Sowjetunion 12, 404–425 (1937)
GraciaBondía, J.M., Mund, J., Várilly, J.C.: The chirality theorem. Ann. Henri Poincaré 19, 843–874 (2018)
Herdegen, A.: Longrange effects in asymptotic fields and angular momentum of classical field electrodynamics. J. Math. Phys. 36, 4044–4086 (1995)
Herdegen, A.: Semidirect product of CCR and CAR algebras and asymptotic states in quantum electrodynamics. J. Math. Phys. 39, 1788–1817 (1998). arxiv.org/abs/hepth/9711066
Herdegen, A.: Infrared problem and spatially local observables in electrodynamics. Ann. Henri Poincaré 9, 373–401 (2008). https://doi.org/10.1007/s0002300803597
Herdegen, A.: Asymptotic structure of electrodynamics revisited. Lett. Math. Phys. 107, 1439–1470 (2017). https://doi.org/10.1007/s1100501709489
Herdegen, A.: Infrared problem vs gauge choice: scattering of classical Dirac field. Ann. Henri Poincaré 22, 2227–2282 (2021). https://doi.org/10.1007/s0002302001015y
Jackson, J.D.: From Lorenz to Coulomb and other explicit gauge transformations. Am. J. Phys. 70, 917–928 (2002)
Jauch, J.M., Rohrlich, F.: The Theory of Photons and Electrons, 2nd edn. Springer, Berlin (1976)
Lee, J.M.: Introduction to Smooth Manifolds, 2nd edn. Springer, New York (2013)
Leupold, S.: Feynman rules in radial gauge. arXiv:hepth/9609222 (1996)
Mund, J., Rehren, K.H., Schroer, B.: Gauss’ law and stringlocalized quantum field theory. JHEP 01, 001 (2020)
Mund, J., Schroer, B., Yngvason, J.: Stringlocalized quantum fields and modular localization. Commun. Math. Phys. 268, 621–672 (2006)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics, vol. 3. Academic Press, San Diego (1979)
Roepstorff, G.: Coherent photon states and spectral condition. Commun. Math. Phys. 19, 301–314 (1970)
Schwinger, J.: On gauge invariance and vacuum polarization. Phys. Rev. 82, 664–679 (1951)
Steinmann, O.: Perturbative Quantum Electrodynamics and Axiomatic Field Theory. Springer, Berlin (2000)
Acknowledgements
I am grateful to Paweł Duch, Wojciech Dybalski and José M. GraciaBondía for reading the manuscript and for interesting correspondence. Also, some editorial remarks from the Referees are gratefully acknowledged.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by KarlHenning Rehren.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Estimates
Here we note the following estimates. For \(a,b,c,\alpha \), all \(>0\), one has
with Euler’s number e. Cases \(\alpha \lessgtr 1\) may be found in [11], Appendix B, and are reproduced here for convenience of the reader. In case \(\alpha =1\) the result of integration is \(\displaystyle \frac{1}{b}\log \Big (1+\frac{bc}{a}\Big )\). For \(bc\le a\) this is bounded by \(\displaystyle \frac{c}{a}\le \frac{2c}{a+bc}\), while for \(bc\ge a\) by \(\displaystyle \frac{2c}{a+bc}\log \Big (1+\frac{bc}{a}\Big )\).
Function \(r^a(x,z)\)
Here we discuss properties of function \(r^a(x,z)\) defined in (41), and we start with its estimate. We denote by \(x_z\) and \(x_\bot \) the parallel and the perpendicular (in Euclidean metric) to z components of x, respectively. Then for each \(k\in {\mathbb {N}}\) we have
To show this, we use \(\rho (x)\le \mathrm {const}(1+x)^{k4}\) to estimate the rhs of (41) by
which leads easily to (83).
Next, we prove identity (42). We observe that outside \(z=0\) the function \(\int \rho (x+uz)u^3\mathrm {d}u\) is smooth and homogeneous in z of degree \(4\), so the distribution \(\partial ^z\cdot r(x,z)\) is concentrated in \(z=0\). We choose a \(C^1\)function f(z) which together with its derivative decays at least as \(z^{2}\), denote \({\hat{z}}=z/z\) and write \(\mathrm {d}S({\hat{z}})\) for the integration element on the (Euclidean) unit sphere. Then
where the third equality is obtained by the change of variables \(r=\epsilon u\). This ends the proof.
Functions \(\zeta \) and \(\eta \)
The functions \(\zeta \) and \(\eta \) defined by (46) are smooth outside \(l=0\) and homogeneous of degree \(1\) with respect to their arguments, and satisfy the following identities:
The Fourier transforms are
Conditions (40) are equivalent to
which implies that \(\widetilde{\eta }(\omega ,l)\) is \(n1\) times continuously differentiable and
while \(\partial _\omega ^n\widetilde{\eta }(\omega ,l)\) is bounded and integrable. It follows that
Derivation of \(S^\mathrm {ar}(x)\) for Free Field
Here we prove Formula (48). Formula (47) for \(S^\mathrm {ar}_\delta (x)\) may be interpreted as the definition (45) with \(\chi (\delta z)A(xz)\) substituted for \(A(xz)\). Equivalently, this is expression (39) with substituted for , and smeared with \(\rho (a)\). We change integration variables from a to \(z=ax\), multiply the expression for convenience by \(2\pi \), and obtain
We note that the integrand is absolutely integrable so we can freely change the order of integration and leave the \(\mathrm {d}^2l\) integral to be performed at the last stage. In the remaining integrals we change \(\xi \) to \(\lambda =\delta \xi \) and reduce integration with respect to \(\lambda \) to the positive semiaxis by reflecting \(\lambda \rightarrow \lambda \) from the negative semiaxis. The result may be written as
where
We note that \(Z(\tau ,u,l)\) is bounded, \(Z(\tau ,0,l)=0\), and
with the choice of \({\bar{V}}(s,l)\) according to Formula (7).
We now submit (87) to the following transformations:

integration with respect to \(\lambda \) by parts;

replacement of \(\rho (x+z)\) by \(\nu (x,z)=\frac{1}{2}[\rho (x+z)+\rho (xz)]\), possible due to the evenness in z of the combined remaining factors;

choice of variables \(w^a\) for vector z, such that \(w^0=z\cdot l\), \(\mathrm {d}z=\mathrm {d}w^0 \mathrm {d}^3 w_\bot \), with \(w_\bot =(w^1,w^2,w^3)\).
In this way (87) takes the form
where
It is easy to see that \(f(x,\lambda ,w^0)\) is a \(C^\infty \)function, and \(f(x,\lambda ,0)=0\) due to the oddness of the integrand in w, so \((w^0)^{1}f(x,\lambda ,w^0)\) is also \(C^\infty \). An easy calculation also shows that the latter function is absolutely integrable with respect to \(\mathrm {d}\lambda \,\mathrm {d}w^0\). Therefore, we can take the \(\delta \rightarrow 0\) limit under all integrations and the limit of (88) becomes
in the latter form integral in the principal value sense. We can now restore back the abstract notation of vector z, and the function \(\rho (x+z)\) in place of \(\nu (x,z)\) (due to the evenness of \((w^0)^{1}w\)). We finally restore the integration variable \(a=x+z\) and then
Oscillatory Asymptotic Term
Here we make more specific assumptions on oscillating smearing function \(K_2\) introduced in Section 5.4. Function \(K_2\) specified below obviously satisfies (63), and we shall show that assumptions (67) and (69) are satisfied with \(\varepsilon =1\).
Let \(K_2(x)\) be of the form (cf. [11])
where k(x) is a \(C^2\)vector function, supported inside the light cone and vanishing for \(x^0\le 1\). Moreover, we assume that in the parametrization \(x=\lambda v\) introduced after (65) the following bounds are satisfied:
where for simplicity we assume that n may be arbitrarily large; by a rather tedious control of the decay in v, this could be substantially weakened, but we do not need this for our illustrative purposes.
For \(W_{2\delta }\) formed as in (68) we have
We integrate with respect to \(\lambda \), which gives
where from now on we put \(\lambda =\lambda (s,v,l)=s/v\cdot l\). It is clear that \(W_{2\delta }(s,l)\) is bounded by a constant independent of \(\delta \), and
To proceed, we need an integral identity on the hyperboloid \(v^2=1\), \(v^0>0\). Consider operators
intrinsic differentiation operators in the hyperboloid. The measure \(\mathrm {d}\mu (v)\) is Lorentz invariant, and operators \(M_{ab}\) generate Lorentz transformations in the hyperboloid, so if \(\chi (v)\) and \(M_{ab}\chi (v)\) are absolutely integrable, then
Moreover, we have \(M_{ab}v^a\chi (v)=(\delta _b3v_b)\chi (v)\). Therefore, if
then
We note the identities and a bound
Substituting the second of these relations in (90) and integrating by parts by (92) (our assumptions on decay of k and \(\partial k\) make it possible), we find
We note that \(g(\delta \lambda v)\) is bounded by a constant and tends to 1 for \(\delta \rightarrow 0\), while \(\delta \lambda v^0\partial g(\delta \lambda v)\) is also bounded by a constant and tends to zero in that limit. Thus, using (89) we find that \(W_{2\delta }(s,l)\le \mathrm {const}s^{1}\), so the bound (69) and the first of the bounds (67) are satisfied with \(\varepsilon =1\). Moreover, taking the limit we find
Differentiating this formula with respect to \(l^a\) and s and using similar technique as above, one proves the remaining bounds in (67) for \(s\ge 1\). For \(s\le 2\) Formula (91) should be used instead. We omit the details.
StringLocalized Potential
We prove here Formula (77) with (78). First, we note the following simple limiting formula. Let f and g be \(C^0\)functions on \({\mathbb {R}}\), \(C^1\) in a neighborhood of 0, such that f is bounded, and g(u)/u is absolutely integrable on \(u\ge 1\). Then
all integrals in the principal value sense. The first equality is by the change of integration variable \(\tau =\varepsilon u\), \(\varepsilon \Lambda =1\). The second formula is obviously true for integration restricted to \(u\ge 1\). For \(u\le 1\) the principal value integral in the middle may be written as
The first term gives the value on the rhs of (93), and the second term vanishes in the limit.
Next, we note that formula (76) may be written as
where for simplicity let h(e) be compactly supported. For e in a compact subset of the hyperboloid one has \(\partial _bA_a(x+\lambda e)\le \mathrm {const}/(1+\lambda )^2\) (the constant depending on x and the support in e, use e.g., Theorem 18 in [15]), so the integrand of the iterated integral above is absolutely integrable, and we can change the order of integration. Let us denote
which is a smooth function of compact support in \(\tau /l^0\). Then, using (4) we find
Integrating this with respect to \(\lambda \) on \([0,\Lambda ]\), we get
This may be separated into the difference of two integrals, with \(1/\tau \) treated in the principal value sense. Taking the limit \(\Lambda \rightarrow \infty \) with the use of formula (93), setting (94) and integrating with respect to \(\tau \), we obtain
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/.
About this article
Cite this article
Herdegen, A. Almost Radial Gauge. Ann. Henri Poincaré 23, 3021–3052 (2022). https://doi.org/10.1007/s00023022011571
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023022011571
Mathematics Subject Classification
 Primary 81V10
 Secondary 81T05