Integrals from Gradshteyn & Ryzhik: Real Part Condition Necessary?

  • Context: Graduate 
  • Thread starter Thread starter Asteroid
  • Start date Start date
  • Tags Tags
    condition
Click For Summary

Discussion Overview

The discussion revolves around the conditions necessary for applying a specific integral from Gradshteyn and Ryzhik, particularly focusing on the implications of the real part of the parameters involved. Participants explore the validity of using the integral with complex parameters that lack a real part, questioning the necessity of the stated conditions for convergence and definition.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant questions the necessity of the condition regarding the real part of the parameters for the integral's validity when only imaginary parts are present.
  • Another participant asserts that the requirement of ##\text{Re}~\beta>0## is essential for the integral to be finite, while ##\text{Re}~\gamma >0## is necessary to avoid branch cuts in Bessel functions.
  • A participant seeks to understand if they can neglect the condition of the real part, drawing a comparison to Gaussian integrals which can be defined for complex parameters.
  • Concerns are raised about the convergence of the integral when both parameters are purely imaginary, with examples provided to illustrate the behavior of similar integrals.
  • A later reply emphasizes caution against extending the formula to cases where ##\text{Re}~\beta=0##, suggesting that the integral may not converge in such scenarios.

Areas of Agreement / Disagreement

Participants express differing views on the necessity of the real part condition, with some asserting its importance for convergence while others question its applicability when dealing with complex parameters. The discussion remains unresolved regarding the validity of using the integral without the real part.

Contextual Notes

Limitations include the dependence on the definitions of convergence and the behavior of integrals with complex parameters, as well as the unresolved nature of the mathematical steps involved in extending the integral's application.

Asteroid
Messages
8
Reaction score
0
I have a question about an integral taken from integral tables of Gradshteyn and Ryzhik precisely , 3,914 -1 ( pag.490 ):
http://www.lepp.cornell.edu/~ib38/tmp/reading/Table_of_Integrals_Series_and_Products_Tablicy_Integralov_Summ_Rjadov_I_Proizvedennij_Engl._2.pdf
The condition to use the result of the integral regards the real part of the two parameters .
But if we do not have the real part but only imaginary part ,what we can do ?
I can not find an integral which permits to overcome this difficulty.
I can not understand the role of this condition, it is really necessary or in this case I can use the integral without it?

Thanks to all.
 
Last edited by a moderator:
Physics news on Phys.org
It's pretty clear that the requirement that ##\text{Re}~\beta>0## is required for the integral to be finite. ##\text{Re}~\gamma >0## is used to avoid the branch cut that we usually take for Bessel functions on the negative real axis. You might want to check that your integral is well-defined for the range of parameters that you have.
 
Thanks for answer, in fact I want check the integral validity for complex parameters only without real part.
using beta e gamma as complex parameters only, i can use the result ?
I.e. since I do not have real part I can neglect the condition?
(As we do with gaussian integral, in fact this type of integral is defined for real but it can be use also for complex parameter, right?)
 
Let's let ##\beta = i a## and ##\gamma = i c##, then we have the integral

$$ I = \int_0^\infty e^{i a \sqrt{x^2-c^2} } \cos(bx) dx.$$

I am suspicious that this could converge to a finite value, since as ##x\rightarrow \infty##, the integrand is oscillating between ##-1## and ##1##. It is clear to see that the closely related integral

$$ \int_0^\infty e^{i a x } \cos(bx) dx$$

is not convergent for this reason, by direct integration and then examining the limit. On the other hand, the integral

$$ \int_0^\infty e^{-x} e^{i a x } \cos(bx) dx$$

does converge and this is why that formula can be trusted when ##\text{Re}~\beta>0## (and ##\gamma## is such that the argument of the Bessel function is away from the branch cut).

I would not recommend extending the book formula to ##\text{Re}~\beta=0##.
 
  • Like
Likes   Reactions: Asteroid
Thanks for all.
It is very clear. :)
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • Sticky
  • · Replies 16 ·
Replies
16
Views
13K
  • · Replies 3 ·
Replies
3
Views
10K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 10 ·
Replies
10
Views
5K
Replies
5
Views
3K