Message Boards Message Boards

0
|
841 Views
|
2 Replies
|
3 Total Likes
View groups...
Share
Share this post:

Trying to verify an asymptotic equivalence using Limit

Limiting Form from digital library of mathematical functions

First attempt:

Limit[BesselJ[v, z] Gamma[v + 1]/(1/2 z)^v, z -> 0, 
 GenerateConditions -> True]

Output : 1

That is, regardless the domain of v, the asymptotic equivalence holds.

I checked the following:

Limit[BesselJ[-3, z] Gamma[-3 + 1]/(1/2 z)^-3, z -> 0]

Output : ComplexInfinity

Next i tried the assumption:

Assuming[v \[Element] NegativeIntegers, 
 Limit[BesselJ[v, z] Gamma[v + 1]/(1/2 z)^v, z -> 0]]

Output : Indeterminate

Finally, i tried the correct :

Assuming[v \[NotElement] NegativeIntegers, 
 Limit[BesselJ[v, z] Gamma[v + 1]/(1/2 z)^v, z -> 0]]

Output : 1

Why is this happening?

2 Replies

Perhaps Limit it is factoring out the constant Gamma[1 + v]

Limit[BesselJ[v, z] /(1/2 z)^v, z -> 0]

and then multiplying back the result by Gamma[1 + v], which simplifies to 1.

POSTED BY: Gianluca Gorni

Thank you very much. It seems that in order to learn Mathematica i forget simple facts :-) Of course, mathematically it's wrong but it's the most obvious scenario.

Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract