Rationale for Hadamard's finite part of a divergent integral - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T12:56:13Z http://mathoverflow.net/feeds/question/67751 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/67751/rationale-for-hadamards-finite-part-of-a-divergent-integral Rationale for Hadamard's finite part of a divergent integral Olumide 2011-06-14T10:37:59Z 2012-05-08T00:21:53Z <p>(Note: I asked this question a few days ago on <a href="http://math.stackexchange.com/questions/44754/seeking-rationale-for-hadamards-finite-part-of-a-divergent-integral" rel="nofollow">math.stackexchange</a> but didn't get any responses. I've therefore decided to post it here instead.)</p> <p>I have a problem justifying the throwing away the divergent term in order to obtain Hadamard's finite part. I find this step to be highly unusual and it is not obvious to me how the resulting expression can be valid. I'd appreciate, if possible, intuitive arguments -- I assume there are some. Its not the mathematics that I have problems with at this stage. Its the intuition.</p> <p>For example (taken from the Wikipedia <a href="http://en.wikipedia.org/wiki/Hadamard_finite_part" rel="nofollow">page</a>) the finite part of the following integral $$\int_a^b \frac{f(t)}{(t-x)^2}\, dt = \lim_{\varepsilon \to 0} \left[ \int_a^{x-\varepsilon}\frac{f(t)}{(t-x)^2}\,dt + \int_{x+\varepsilon}^b\frac{f(t)}{(t-x)^2}\,dt -\frac{2f(x)}{\varepsilon} \right]$$</p> <p>involves throwing away the term $\frac{2f(x)}{\varepsilon}$. I find it hard to justify this step especially when the term is neither finite nor negligible.</p> http://mathoverflow.net/questions/67751/rationale-for-hadamards-finite-part-of-a-divergent-integral/67793#67793 Answer by Michael Renardy for Rationale for Hadamard's finite part of a divergent integral Michael Renardy 2011-06-14T18:47:53Z 2011-06-14T18:47:53Z <p>This is a regularization of an integral. Roughly speaking, you are looking for a generalized function which is equal to $(t-x)^{-2}$ on the open set where $t\neq x$. Such regularizations arise naturally when taking derivatives. For instance, the distributional derivative of the integrable function $\ln|t|$ is the Cauchy principal value regularization of $1/t$. The second derivative is precisely the distribution defined above (with $x=0$).</p> http://mathoverflow.net/questions/67751/rationale-for-hadamards-finite-part-of-a-divergent-integral/67802#67802 Answer by paul garrett for Rationale for Hadamard's finite part of a divergent integral paul garrett 2011-06-14T20:14:26Z 2011-06-14T20:14:26Z <p>This can be viewed as a meromorphic continuation in s of the distribution which is integration against |x-t|^s in t. M. Riesz (1938)first observed that this is a meromorphic continuation of convergent integrals, Gelfand-Shilov (1958) formalized this in the context of Schwartz' distributions. Gelfand-Graev's volume I discusses many such examples. The exponent -2 is not at the boundary of the region re(s)>-1 where the integral converges (absolutely), so the integral does not have an obvious, natural evaluation as a limit.</p> <p>The seemingly whimsical discarding of the 2f(x)/epsilon term is merely an obscured version of a correct computation of the meromorphic continuation. </p> <p>Meromorphic continuation is one way to ensure uniqueness of a 'regularization' procedure, which otherwise may be ambiguous, or accidentally fail to have verifiable continuity and other properties.</p> http://mathoverflow.net/questions/67751/rationale-for-hadamards-finite-part-of-a-divergent-integral/96028#96028 Answer by Tom Copeland for Rationale for Hadamard's finite part of a divergent integral Tom Copeland 2012-05-04T22:19:26Z 2012-05-08T00:21:53Z <p>Looking at Fourier transforms can provide an intuitive context for the Hadamard finite part (F.P.) regularization. </p> <p>Monkey around with this ladder of expressions (understood as F.P.s):</p> <p>$$A)\int_{-\infty }^{\infty }\frac{exp(i2\pi fx)}{(i2\pi f)^2}df=\frac{sgn(x)}{2}x$$</p> <p>$$B) \int_{-\infty }^{\infty }\frac{exp(i2\pi fx)}{i2\pi f}df=\frac{sgn(x)}{2}$$ $$C)\int_{-\infty }^{\infty }exp(i2\pi fx)df=\delta(x)$$</p> <p>To descend the ladder, formally take the derivative of both sides above or of the explicit F.P. expressions below (second equalities), which is equivalent to multiplying the integrands above by $i2\pi f$. To climb, integrate from $0$ to $x$ both sides below, using the explicit expressions for the integrands for the F.P. given below in the second equalities, or simply divide the integrands on the L.H.S. above by $i2\pi f$. (Note that $x$ can be negative or positive and that the Dirac delta function contributes only a value of $1/2$ when evaluated on the boundary of the integral.) So, the explicit F.P. integrals below commute with differentiation and integration w.r.t. $x$ and can be <em>naturally defined</em> in terms of the two ops, and the implicit symbolic formulas above allow us to formally retain the representation of the two ops as multiplication and division operations in the Fourier transform integrands.</p> <p>For finite limits for the integrals, you'll end up with the expressions on the right above being convolved with a sinc function with some phase, that should agree with the L.H.S. if the Hadamard finite finesse is applied. </p> <p>The OP's example is closely related to A) with $x=0$ and is more palatable within this context. In detail, in the limits $\varepsilon \to 0^+$ and $L \to \infty,$</p> <p>$C)\displaystyle\delta(x)=\int_{-L }^{L }exp(i2\pi fx)df$</p> <p>$B)\displaystyle\frac{sgn(x)}{2}=F.P.\int_{-\infty }^{\infty }\frac{exp(i2\pi fx)}{i2\pi f}df=\left [ \int_{\varepsilon}^{L }+\int_{-L }^{-\varepsilon} \right ]\frac{exp(i2\pi fx)-1}{i2\pi f}df$</p> <p>$=\displaystyle\left [ \int_{\varepsilon}^{L }+\int_{-L }^{-\varepsilon} \right ]\frac{exp(i2\pi fx)}{i2\pi f}df-\frac{ln(L/\varepsilon)}{i2\pi}-\frac{ln(\varepsilon/L)}{i2\pi}$</p> <p>$=\displaystyle\left [ \int_{\varepsilon}^{L }+\int_{-L }^{-\varepsilon} \right ]\frac{exp(i2\pi fx)}{i2\pi f}df=C.P.V\int_{-\infty }^{\infty }\frac{exp(i2\pi fx)}{i2\pi f}df$</p> <p>where $F.P.$ denotes the Hadamard finite part and $C.P.V.$, the Cauchy principle value. (Of course, the $\frac{1}{f}$ terms pose no serious problems since $\frac{1}{f}$ is an odd function and we are integrating symmetrically about $0$.)</p> <p>Similarly,</p> <p>$A)\displaystyle\frac{sgn(x)}{2}x=F.P.\int_{-\infty }^{\infty }\frac{exp(i2\pi fx)}{(i2\pi f)^2}df=\left [ \int_{\varepsilon}^{L }+\int_{-L }^{-\varepsilon} \right ]\frac{exp(i2\pi fx)-(1+i2\pi fx)}{(i2\pi f)^2}df$</p> <p>$=\displaystyle\left [ \int_{\varepsilon}^{L }+\int_{-L }^{-\varepsilon} \right ]\frac{exp(i2\pi fx)}{(i2\pi f)^2}df-\frac{2}{(i2\pi)^2 \varepsilon}=\frac{|x|}{2}.$</p> <p>It's even more convincing when you plot the integrals (including C) and observe how they evolve as $L$ increases for small $\varepsilon.$ </p> <p>Another context for the Hadamard finite limit is given in <a href="http://math.stackexchange.com/questions/13956/domain-of-the-gamma-function/132727#132727" rel="nofollow">MSE-Q13956</a>.</p> <p>For a comparison of different methods of regularization for integrals of this type see <a href="http://arxiv.org/abs/hep-th/0202023" rel="nofollow">http://arxiv.org/abs/hep-th/0202023</a> "Improved Epstein-Glaser renormalization in coordinate space I. Euclidean framework" by Gracia-Bondia (pg. 14-).</p>