Solving an Intractable Integral with Mathematica

Click For Summary
SUMMARY

The integral discussed is of the form \int^\infty_{-\infty} dz \arctan [d \sqrt{p^2 + z^2}]e^{-b z^2 - i c z} (p^2 + z^2)^{n/2}, where d is a variable multiplied by the square root of (p^2 + z^2). The discussion reveals that Mathematica struggles to find a closed form for this integral, indicating that it may not be analytically solvable using standard methods such as integration by parts, substitution, or contour integration. The participants suggest that the solution may involve gamma functions, highlighting Mathematica's limitations in handling such cases.

PREREQUISITES
  • Understanding of complex analysis and contour integration
  • Familiarity with Mathematica 12.3 for symbolic computation
  • Knowledge of integral calculus, particularly improper integrals
  • Basic understanding of special functions, including gamma functions
NEXT STEPS
  • Research the properties and applications of gamma functions in integrals
  • Explore advanced techniques in complex analysis, particularly residue theorem
  • Learn about numerical integration methods in Mathematica for unsolvable integrals
  • Investigate alternative software tools for symbolic computation, such as Maple or MATLAB
USEFUL FOR

Mathematicians, physicists, and engineers dealing with complex integrals, as well as users of Mathematica seeking to understand its limitations in symbolic computation.

MadMax
Messages
98
Reaction score
0
This is an integral that Mathematica doesn't seem to be able to do. I don't know how to tackle it either.

The general form is

\int^\infty_{-\infty} dz \arctan [d \sqrt{p^2 + z^2}]e^{-b z^2 - i c z} (p^2 + z^2)^n

I've thought about integration by parts, by substitution, contour integration, but none of these methods seem suitable. Any help would be much appreciated.
 
Physics news on Phys.org
Quite sure that is not analytically possible.
 
MadMax said:
This is an integral that Mathematica doesn't seem to be able to do. I don't know how to tackle it either.

The general form is

\int^\infty_{-\infty} dz \arctan [d \sqrt{p^2 + z^2}]e^{-b z^2 - i c z} (p^2 + z^2)^n

I've thought about integration by parts, by substitution, contour integration, but none of these methods seem suitable. Any help would be much appreciated.
Since you already have "dz" in your integral what do you mean by "d\sqrt{p^2+ z^2}?
 
In general if mathematica can't do it, that means there is no simple closed form, for a definition of simple which means a finite number operations involving arithmetic, trig, exp, logs, etc. The algorithm that it uses produces such a closed form or else a proof that it can't be done.
 
Thanks.

d\sqrt{p^2+ z^2} means the variable "d" multiplied by the square root of (p^2 + z^2).

Also there's something I missed. The power of the (p^2 + z^2) outside the ArcTan should be n/2 not n, where n is any real integer.

Hmmm I'm sure it can be done. I've seen the answer to an integral of which this is one part. I'm just trying to reproduce it. Mathematica doesn't give a proof it can't be done, it simply spits the integral back at me after a long time...

The answer might well involve a gamma function... Mathematica has been fussy over gamma functions before...
 
So there is a variable "d"? How are we meant to distinguish between the differential and the variables..
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
10
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
9
Views
2K