There is an integral
P∫∞−∞e−k21−kdk
where P means Cauchy principal value.
Mathematica gives the result (as the screent shot shows)
P∫∞−∞e−k21−kdk=πeerfi(1)=πe⋅2√π∫10eu2du
Mathematica screen shot
where erfi(x) is imaginary error function define as
erfi(z)=−i⋅erf(iz)
erf(x)=2√π∫x0e−t2dt
How can we get the right hand side from left hand side?
Answer
For a∈R define
f(a)≡ea2P∞∫−∞e−k2a−kdk=ea2P∞∫−∞e−(x−a)2xdx=limε→0+[−ε∫−∞e−x2+2axxdx+∞∫εe−x2+2axxdx]=limε→0+∞∫εe−x2+2ax−e−x2−2axxdx=∞∫0e−x2+2ax−e−x2−2axxdx.
In the last step we have used that the integrand is in fact an analytic function (with value 4a at the origin). The usual arguments show that f is analytic as well and we can differentiate under the integral sign to obtain
f′(a)=2∞∫0[e−x2+2ax+e−x2−2ax]dx=2∞∫−∞e−x2+2axdx=2√πea2,a∈R.
Since f(0)=0,
f(a)=2√πa∫0et2dt=πerfi(a)
follows for a∈R. This implies
P∞∫−∞e−k2a−kdk=πe−a2erfi(a),a∈R.
No comments:
Post a Comment