Re: An exact 1-D summation challenge - 3

From: Dana (delouis_at_bellsouth.net)
Date: 02/27/05


Date: Sun, 27 Feb 2005 09:49:22 -0500

Hi. I couldn't get the program Mathematica to simplify your equation.
However, I did find an interesting "problem" with something.
See if you find this interesting...

Here's your equation:

equ=((HarmonicNumber[1/2+n]-2*HarmonicNumber[n])*(1+n)*Gamma[3/2+n])/(1+n)!^2;

I was trying to split it into two parts, to see if I could work with each
part by itself:
t=Apart[equ]

-((2*(1+n)*Gamma[3/2+n]*HarmonicNumber[n])/(1+n)!^2) +

 ((1+n)*Gamma[3/2+n]*HarmonicNumber[1/2+n])/(1+n)!^2

The first part did not simplify, but the second half did. It was the second
part that I had trouble with.

fx = ((1 + n)*Gamma[3/2 + n]*HarmonicNumber[1/2 + n])/(1 + n)!^2;

I wish to see how the number convergences as n gets larger...

{N[Sum[fx, {n, 0, 10}]],
 N[Sum[fx, {n, 0, 100}]],
 N[Sum[fx, {n, 0, 1000}]]
}

{2.0682716719330347, 2.0682716957999676, 2.0682716957999676}

Pretty safe to say that the answer is about 2.068...

If I take it out to infinity, I get the following equation, which has your
BesselI[0,1/2] in it...

k = Sum[((1 + n)*Gamma[3/2 + n]*HarmonicNumber[1/2 + n])/(1 + n)!^2, {n, 0,
Infinity}]

(1/2)*(EulerGamma*Sqrt[E*Pi]*BesselI[0, 1/2] +
EulerGamma*Sqrt[E*Pi]*BesselI[1, 1/2])

However, this number is 1.11444...
This doesn't seem to match the estimated numerical value, so I think this is
wrong.

N[k]
1.1144414478337052

So, I don't know what to think.
Good luck. :>)

-- 
Dana
"Vladimir Bondarenko" <vb@cybertester.com> wrote in message 
news:1109442791.936042.151030@l41g2000cwc.googlegroups.com...
> Thank you!
>
> Actually, I meant the exact symbolic solution.
>
> Something like
>
> 1/2*Pi^(1/2)*(2*exp(1/2)*BesselI(0,1/2)+...
>
> I do realize that Mathematica cannot sum it, just like Maple.
>
> I can sum it... but I am a human, not a CAS :)
>
>
> Vladimir
> 


Relevant Pages

  • Re: An exact 1-D summation challenge - 3
    ... I couldn't get the program Mathematica to simplify your equation. ... "Vladimir Bondarenko" wrote in message ... > I do realize that Mathematica cannot sum it, ...
    (sci.math)
  • Re: Simplify infinite series with Sines???
    ... use a square wave as well and I'd get the same result too. ... it makes it easier to simplify; then using a saw/square wave for k=2 ... this that it is equal to a sum. ... the coefficient aof z^i in P is ...
    (sci.math)
  • Re: Problem using solve... keeps busy
    ... However, if you then simplify() the result, you get a *large* ... Then at the end of the sum, there are a few lines of other terms ... and you simplifyafter substitution (applying the ... a=x into the original equation ...
    (comp.soft-sys.matlab)
  • Re: Some questions about simplification
    ... When I try to calculate sum of ... sines or cosines, the calculator makes calculation in approximation ... SEQ SigmaLIST SIMPLIFY>> ...
    (comp.sys.hp48)
  • Re: Prolog Programming for AI, problem 7.1
    ... but have run into a nasty exercise. ... Write a procedure 'simplify' to symbolically simplify summation ... % The idea is to calculate the numeric sum, ... % a list of the atoms in the compound expression, ...
    (comp.lang.prolog)

Quantcast