Real integral which cannot be evaluated without complex analysis? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T17:53:57Z http://mathoverflow.net/feeds/question/87417 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/87417/real-integral-which-cannot-be-evaluated-without-complex-analysis Real integral which cannot be evaluated without complex analysis? A Stasinski 2012-02-03T10:21:57Z 2012-02-03T12:22:49Z <p>One motivation for studying contour integrals in complex analysis is that they can be used to give elegant evaluations of certain real integrals, which tend to have more direct physical and geometrical interpretations (and are therefore easier to motivate). The methods of complex analysis often seem to give a more elegant way to compute real integrals than if real analysis alone was used. However, in many cases where an integral is computable using complex analysis there also seems to exist a way to evaluate it using only real analysis (possibly in several variables). I therefore ask the following vague question (see below for an attempt to make it more precise):</p> <blockquote> <p>Is there a real integral for which it can be proved that it cannot be evaluated without using methods of complex analysis?</p> </blockquote> <p>To make the question a bit more precise, first of all assume that all the functions involved are elementary functions (over \$\mathbb{Q}\$, say). A real integral is meant to be an integral of a real valued function along (some, possibly unbounded, part of) the real line. For the sake of this question, let's say that 'methods of complex analysis' means anything involving Cauchy's theorem or any of its consequences such as Cauchy's Residue Theorem. It's a bit tricky to define precisely what 'evaluate' should mean, but let's say it means that the integral is assigned the value of an explicit elementary function (over \$\mathbb{Q}\$) at a rational number.</p> <p>Unless the answer to the question is yes, perhaps there is some general way to show that the above question has a negative answer. For example, I can imagine the possibility of results in logic saying that any sentence expressing the evaluation of a real integral in some language incorporating Cauchy's theorem is equivalent to a sentence in a language including only real analysis. Is anything in this direction known?</p> http://mathoverflow.net/questions/87417/real-integral-which-cannot-be-evaluated-without-complex-analysis/87422#87422 Answer by Pietro Majer for Real integral which cannot be evaluated without complex analysis? Pietro Majer 2012-02-03T12:16:27Z 2012-02-03T12:22:49Z <p>I'm quite sure one could camuflage any complex analysis technique into a real calculus computation, leaving no appeal even to the notion of complex numbers. For instance, the Cauchy's formula on a circle may be translated into a formula for Fourier coefficients; the homotopy invariance of a path integral may be recovered by means of the Stokes theorem and so on. It is even possible that in <em>some case</em> this way one gets a simpler or more elementary computation, and sometimes, why not, it could be a reasonable and welcome operation to do (e.g. I'm thinking to the needs of an elementary course where a certain computation has to be done but the audience is supposed to have no or little Complex Analysis). </p> <p>But, I'd say that in any case this would be by no means a piece of evidence against the utility of Complex Analysis techniques, nor would suggest that one can renounce to them. I think this is an a general issue about big theories. Big theories are important not only beacuse they provide useful tools to solve problems, but, even before, because <em>they show us the way</em>, like the Polar star. To make an example, you do not need the Open Mapping theorem of Functional Analysis to know that a certain concrete operator is invertible, if you are able to prove the convenient particular bounds, that is, just an inequality. But it's Functional Analysis who told you in advance that an inequality as the wanted one could be proved, and addressed you there. </p>