Group Abstract Group Abstract

Message Boards Message Boards

0
|
1.6K 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