{{Short description|Method in evaluating divergent integrals}} __NOTOC__ {{Renormalization and regularization}}
In theoretical physics, '''dimensional regularization''' is a method introduced by Juan José Giambiagi and Carlos Guido Bollini<ref>{{harvtxt|Bollini|Giambiagi|1972}}, p. 20.</ref> as well as – independently and more comprehensively<ref name="physicstoday">{{Cite journal |last1=Bietenholz |first1=Wolfgang |last2=Prado |first2=Lilian |date=2014-02-01 |title=Revolutionary physics in reactionary Argentina |journal=Physics Today |volume=67 |issue=2 |pages=38–43 |doi=10.1063/PT.3.2277 |issn=0031-9228|bibcode=2014PhT....67b..38B |doi-access=free }}</ref> – by Gerard 't Hooft and Martinus J. G. Veltman<ref>{{Citation |last1=Hooft |first1=G. 't |title=Regularization and renormalization of gauge fields |url=https://doi.org/10.1016/0550-3213(72)90279-9 |journal=Nuclear Physics B |volume=44 |issue=1 |pages=189–213 |year=1972 |bibcode=1972NuPhB..44..189T |doi=10.1016/0550-3213(72)90279-9 |issn=0550-3213 |last2=Veltman |first2=M. |hdl=1874/4845 |hdl-access=free}}</ref> for regularizing integrals in the evaluation of Feynman diagrams; in other words, assigning values to them that are meromorphic functions of a complex parameter ''d'', the analytic continuation of the number of spacetime dimensions.
Dimensional regularization writes a Feynman integral as an integral depending on the spacetime dimension ''d'' and the squared distances (''x''<sub>''i''</sub>−''x''<sub>''j''</sub>)<sup>2</sup> of the spacetime points ''x''<sub>''i''</sub>, ... appearing in it. In Euclidean space, the integral often converges for −Re(''d'') sufficiently large, and can be analytically continued from this region to a meromorphic function defined for all complex ''d''. In general, there will be a pole at the physical value (usually 4) of ''d'', which needs to be canceled by renormalization 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 the Bernstein–Sato polynomial to carry out the analytic continuation.<ref>{{harvtxt|Etingof|1999}}</ref>
Although the method is most well understood when poles are subtracted and ''d'' is once again replaced by 4, it has also led to some successes when ''d'' is taken to approach another integer value where the theory appears to be strongly coupled as in the case of the Wilson–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 be fractals.<ref>{{cite journal|title=Accurate critical exponents for Ising-like systems in non-integer dimensions|journal=Journal de Physique|year=1987|volume=48|first1=J.C.|last1=Le Guillou|first2=J.|last2=Zinn-Justin|url=https://hal.archives-ouvertes.fr/jpa-00210418/document}}</ref>
It has been argued that zeta 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.<ref>A. Bytsenko, G. Cognola, E. Elizalde, V. Moretti and S. Zerbini, ''Analytic Aspects of Quantum Field'', World Scientific Publishing, 2003, {{ISBN|981-238-364-6}}</ref>
== Example: potential of an infinite charged line ==
Consider an infinite charged line with charge density <math>s</math>, and we calculate the potential of a point distance <math>x</math> away from the line.<ref>{{Cite journal |last1=Olness |first1=Fredrick |last2=Scalise |first2=Randall |date=March 2011 |title=Regularization, renormalization, and dimensional analysis: Dimensional regularization meets freshman E&M |url=https://pubs.aip.org/aapt/ajp/article/79/3/306-312/398726 |journal=American Journal of Physics |language=en |volume=79 |issue=3 |pages=306–312 |doi=10.1119/1.3535586 |s2cid=13148774 |issn=0002-9505|arxiv=0812.3578 }}</ref> The integral diverges:<math display="block">V(x) = A \int_{-\infty}^\infty \frac{dy}{\sqrt{x^2 + y^2}}</math>where <math>A = s/(4\pi\epsilon_0).</math>
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:<math display="block">\int_{-\infty}^\infty \frac{dy}{\sqrt{x^2 + y^2}} = \int_{-\infty}^\infty \frac{dt}{\sqrt{(x/x_0)^2 + t^2}} = \int_{0}^\infty \frac{\mathrm{vol}(S^1) dr}{\sqrt{(x/x_0)^2 + r^2}}</math>where we first removed the dependence on length by dividing with a unit-length <math>x_0</math>, then converted the integral over <math>\R^1</math> into an integral over the 1-sphere <math>S^1</math>, followed by an integral over all radii of the 1-sphere.
Now we generalize this into dimension <math>d</math>. The volume of a d-sphere is <math>\frac{2\pi^{d/2}}{\Gamma(d/2)}</math>, where <math>\Gamma </math> is the gamma function. Now the integral becomes <math display="block">\frac{2\pi^{d/2}}{\Gamma(d/2)}\int_{0}^\infty \frac{r^{d-1}dr}{\sqrt{(x/x_0)^2 + r^2}}</math>When <math>d = 1-\epsilon</math>, the integral is dominated by its tail, that is, <math>\int_{0}^\infty \frac{r^{d-1}dr}{\sqrt{(x/x_0)^2 + r^2}} \sim \int_c^\infty r^{d-2}dr = \frac{1}{d-1}c^{d-1} = \epsilon^{-1} c^{-\epsilon},</math> where <math>c = \Theta(x/x_0)</math> (in big Theta notation). Thus <math>V(x)\sim (x_0/x)^\epsilon/\epsilon </math>, and so the electric field is <math>V'(x) \sim x^{-1}</math>, as it should.
== Example == Suppose one wishes to dimensionally regularize a loop integral which is logarithmically divergent in four dimensions, like
:<math>I = \int\frac{d^4p}{(2\pi)^4}\frac{1}{\left(p^2+m^2\right)^2}.</math>
First, write the integral in a general non-integer number of dimensions <math>d = 4 - \varepsilon</math>, where <math>\varepsilon</math> will later be taken to be small,<math display="block">I = \int\frac{d^dp}{(2\pi)^d}\frac{1}{\left(p^2+m^2\right)^2}.</math> If the integrand only depends on <math>p^2</math>, we can apply the formula<ref>{{Cite book|last=Peskin|first=Michael Edward|title=An introduction to quantum field theory|date=2019|others=Daniel V. Schroeder|isbn=978-0-201-50397-5|location=Boca Raton|oclc=1101381398}}</ref><math display="block">\int d^dp \, f(p^2) = \frac{2 \pi^{d/2}}{\Gamma(d/2)} \int_0^\infty dp \, p^{d-1} f(p^2).</math> For integer dimensions like <math>d = 3</math>, this formula reduces to familiar integrals over thin shells like <math display="inline">\int_0^\infty dp \, 4 \pi p^2 f(p^2)</math>. For non-integer dimensions, we ''define'' the value of the integral in this way by analytic continuation. This gives<math display="block">I = \int_0^\infty \frac{dp}{(2\pi)^{4-\varepsilon}} \frac{2\pi^{(4-\varepsilon)/2}}{\Gamma\left(\frac{4-\varepsilon}{2}\right)} \frac{p^{3-\varepsilon}}{\left(p^2+m^2\right)^2} = \frac{2^{\varepsilon -4}\pi^{\frac{\varepsilon}{2}-1}}{\sin \left(\frac{\pi\varepsilon}{2}\right) \Gamma \left(1-\frac{\varepsilon}{2}\right)}m^{-\varepsilon} = \frac{1}{8\pi^2\varepsilon}-\frac{1}{16\pi^2}\left(\ln \frac{m^2}{4\pi}+\gamma\right)+ \mathcal{O}(\varepsilon).</math> Note that the integral again diverges as <math>\varepsilon \rightarrow 0</math>, but is finite for arbitrary small values <math>\varepsilon \neq 0</math>.
==References== {{Reflist}}
==Further reading== *{{Citation |last1=Bollini | first1=Carlos | last2=Giambiagi | first2=Juan Jose | title=Dimensional Renormalization: The Number of Dimensions as a Regularizing Parameter. | journal=Il Nuovo Cimento B | volume=12| issue=1 | pages=20–26 | year=1972|url=https://link.springer.com/article/10.1007/BF02895558| doi=10.1007/BF02895558 | bibcode=1972NCimB..12...20B | s2cid=123505054 | url-access=subscription }} *{{Citation | last1=Etingof | first1=Pavel | title=Quantum fields and strings: a course for mathematicians, Vol. 1,(Princeton, NJ, 1996/1997) | chapter-url=https://www.math.ias.edu/QFT/fall/ | publisher=Amer. Math. Soc. | location=Providence, R.I. | isbn=978-0-8218-2012-4 | mr=1701608 | year=1999 | chapter=Note on dimensional regularization | pages=597–607}} *{{Citation | last1=Hooft | first1=G. 't | last2=Veltman | first2=M. | title=Regularization and renormalization of gauge fields | doi= 10.1016/0550-3213(72)90279-9 | year=1972 | journal=Nuclear Physics B | issn=0550-3213 | volume=44 | issue=1 | pages=189–213 |bibcode = 1972NuPhB..44..189T | hdl=1874/4845 | url=https://repositorio.unal.edu.co/handle/unal/81144 | hdl-access=free }}
{{DEFAULTSORT:Dimensional Regularization}} Category:Quantum field theory Category:Summability methods