Sum over incomplete Gamma Functions



Not really a Fortran specific question, but perhaps you have some
clever hints for me anyway:

The result of an integration leads to an infinite sum over incomplete
Gamma functions:

inf ( Gamma[ 2n, k*z] - Gamma[ 2n, z] )
Sum ---------------------------------------------------------
n=0 n**(2n+1) * n! * (2n+1)!

where 0 < k <= 1 and z > 0, Gamma[.,.] denotes the incomplete Gamma
function in Mathematica notation - the sum is convergent.

However, already for moderate values of k and z, the number of
iterations exceeds the maximum number possible before overflows occurs
and convergence is still far off.

For example z=0.5 and k=1000: convergence in the 11th digit is at
iteration 560 as calculated with Mathematica.

Context: this sum is used in an numerical integration scheme as part
of the integral kernel and called many times.

I consulted some of the usual literature (i.e. Abramowitz&Stegun,
etc.) but there seems to be no specific (semi)closed form for this
sum, or is it?
Has somebody stumbled over this before?

All hints most welcome - Cheers!

The code calls an implementation of the incomplete Gamma function
(Num.Recipes) and for smaller values of kappa and z is equivalent to
Mathematica's output. The factorial is evaluated in double precision.

!------------------------------------------------------------------------------------------------
function GammaSum(kappa,z)
use typedef, only: ft ! double precision
use specfunc, only: Fac, IncGamma ! Factorial and Incomplete Gamma
implicit none
integer , parameter :: GAMMAITR = 80
real( ft ), intent(in) :: kappa,z
real( ft ) :: GammaSum
real( ft ) :: gsm,prv,ord,num,den
integer :: n

gsm = 0
Do n=0,GAMMAITR

prv = gsm
ord = real(2*n,ft)

num = IncGamma(ord,kappa*z) - IncGamma(ord,z)
den = 2.0_ft**(2*n+1) * Fac(n)*Fac(n+1)

gsm = gsm + num/den

! Exit if convergence .... (not shown)
EndDo
GammaSum = gsm

end function GammaSum
!------------------------------------------------------------------------------------------------



.



Relevant Pages

  • Re: Eulers Summation Formula
    ... it seems to me that the sum in the LHS can ... of the RHS approximates the sum/step function from above. ... The Euler-summation uses a replacement of E~ by a product ... Q3 Is there a reason why the author used integration ...
    (sci.math)
  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... this series can be made to sum to anything. ... However, the convergence is not absolute, so we can find ... containing both L and "Square" elements. ... Indeed this is indexed by a different ordinal (2 omega) of the same ...
    (sci.math)
  • Re: Putnam 2005 -- some answers [SPOILER ALERT]
    ... >(In order to justify term-by-term integration we could, for example, ... >replace the Taylor series by the Taylor polynomial and note that the ... >So the Nth partial sum for our series for the integral expands to ...
    (sci.math)
  • Re: help with basic integration concept
    ... limit of the sum of y, how can one show that the integral of 3x**2 ... is x**3 without resorting to the fact that integration is simply the ... parts so that we get a number of long thin vertical strips; ... A/n * sum 3^2 ...
    (rec.puzzles)
  • Re: 1+2+3+.....
    ... > it "appears" that the sum is zero. ... > You must have convergence and absolute convergence to ... of the sine function. ... > Bernoulli actually went on up through ...
    (sci.math)