Timeline for Trying to find the generic coefficient of a hypergeometric series
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 25, 2021 at 1:40 | answer | added | Somos | timeline score: 2 | |
| Aug 24, 2021 at 14:41 | comment | added | Michael E2 |
Take the limits as k approaches an integer? However, Limit[(Gamma[j - k] Gamma[-2 - k + (3 m)/2])/(Gamma[-k] Gamma[-2 + j - k + (3 m)/2]), k -> k0, Assumptions -> k0 \[Element] Integers \[And] m \[Element] Integers \[And] m > 0 && j >= 0 && k0 >= 3] returns 0 even though the limits at specific values of j and m are generally nonzero. I'd be inclined to call the zero limit a bug, since it's not even generically true.
|
|
| Aug 24, 2021 at 12:20 | comment | added | მამუკა ჯიბლაძე | @MichaelE2 Well this is understandable. But in these coefficients, all negative factorials occasionally cancel out, how to deal with these cases? | |
| Aug 24, 2021 at 12:15 | comment | added | Michael E2 |
FullSimplify[ Piecewise[{{1/(-1 - k)!, j >= 0}}, 0], Assumptions -> k \[Element] Integers \[And] m \[Element] Integers \[And] k >= 0 \[And] m > 0] returns zero. So does Table[1/(-1 - k)!, {k, 100}].
|
|
| Aug 24, 2021 at 11:42 | comment | added | მამუკა ჯიბლაძე |
@SjoerdSmit Thanks for this observation! I confirm that without the k>=0 I seem to obtain correct result. Which is even more strange since there are definitely nonzero cases with nonnegative k. You can observe this by computing the above series using, say, With[{k=3},...]
|
|
| Aug 24, 2021 at 10:07 | comment | added | Sjoerd Smit |
It seems like the k>=0 assumption makes it zero. Are you sure that's correct?
|
|
| Aug 24, 2021 at 8:18 | history | asked | მამუკა ჯიბლაძე | CC BY-SA 4.0 |