Dimensional regularization writes aFeynman integral as an integral depending on the spacetime dimensiond and the squared distances (xi−xj)2 of the spacetime pointsxi, ... appearing in it. InEuclidean space, the integral often converges for −Re(d) sufficiently large, and can beanalytically continued from this region to a meromorphic function defined for all complexd. In general, there will be a pole at the physical value (usually 4) ofd, which needs to be canceled byrenormalization to obtain physical quantities.Pavel Etingof showed that dimensional regularization is mathematically well defined, at least in the case of massive Euclidean fields, by using theBernstein–Sato polynomial to carry out the analytic continuation.[4]
Although the method is most well understood when poles are subtracted andd is once again replaced by 4, it has also led to some successes whend is taken to approach another integer value where the theory appears to be strongly coupled as in the case of theWilson–Fisher fixed point. A further leap is to take the interpolation through fractional dimensions seriously. This has led some authors to suggest that dimensional regularization can be used to study the physics of crystals that macroscopically appear to befractals.[5]
It has been argued thatzeta function regularization and dimensional regularization are equivalent since they use the same principle of using analytic continuation in order for a series or integral to converge.[6]
Consider an infinite charged line with charge density, and we calculate the potential of a point distance away from the line.[7] The integral diverges:where
Since the charged line has 1-dimensional "spherical symmetry" (which in 1-dimension is just mirror symmetry), we can rewrite the integral to exploit the spherical symmetry:where we first removed the dependence on length by dividing with a unit-length, then converted the integral over into an integral over the 1-sphere, followed by an integral over all radii of the 1-sphere.
Now we generalize this into dimension. The volume of a d-sphere is, where is thegamma function. Now the integral becomesWhen, the integral is dominated by its tail, that is, where (inbig Theta notation). Thus, and so the electric field is, as it should.
Suppose one wishes to dimensionally regularize a loop integral which is logarithmically divergent in four dimensions, like
First, write the integral in a general non-integer number of dimensions, where will later be taken to be small, If the integrand only depends on, we can apply the formula[8] For integer dimensions like, this formula reduces to familiar integrals over thin shells like. For non-integer dimensions, wedefine the value of the integral in this way by analytic continuation. This gives Note that the integral again diverges as, but is finite for arbitrary small values.
^A. Bytsenko, G. Cognola, E. Elizalde, V. Moretti and S. Zerbini,Analytic Aspects of Quantum Field, World Scientific Publishing, 2003,ISBN981-238-364-6
^Peskin, Michael Edward (2019).An introduction to quantum field theory. Daniel V. Schroeder. Boca Raton.ISBN978-0-201-50397-5.OCLC1101381398.{{cite book}}: CS1 maint: location missing publisher (link)