|
Page 1 of 1
|
[ 12 posts ] |
|
Share:
|
| Author |
Message |
misan
Posts: 1107 Location: Mountain View, California
|
Posted: Jun 21, 2007, 11:57 pm •
# 1
find the sum

|
|
|
Carcul
Posts: 4018 Location: Pampilhosa
|
Posted: Jun 22, 2007, 1:19 am •
# 2
 .
|
|
|
Kent Merryfield
Posts: 12103 Location: Long Beach, CA
|
Posted: Jun 22, 2007, 7:38 am •
# 3
My thoughts on seeing  :
This is a rational function. Can we find, in closed form, the factors (linear and quadratic) of the denominator? Yes we can; I do know how to do that (lots of golden means and other uses of  ). If you can factor the denominator, then, through partial fractions, you can compute the integral in closed form.
Therefore it is possible to compute this integral in closed form. Would it be possible to do that by hand? Yes, it would. Am I personally willing to demonstrate that? Not today; maybe not ever.
It's time for your favorite computer algebra system (Maple, Mathematica, Derive, TI-92 or TI-89, ... )
Last edited by Kent Merryfield on Jun 22, 2007, 9:01 am, edited 1 time in total.
|
|
|
sylow_theory
Posts: 902
|
Posted: Jun 22, 2007, 8:55 am •
# 4
Kent Merryfield wrote: It's time for your favorite computer algebra system (Maple, Mathematica, Derive, TI-92 or TI-89, ... )
I once wondered about the integral,
Whether it has closed form.
After using the "Integrator" for many different values I am convinced yes.
However, the size of the anti-derivative gross exponentially .
_________________
|
|
|
TZF
Posts: 3276 Location: Ithaca, New York
Blog: View Blog
|
Posted: Jun 22, 2007, 10:22 am •
# 5
This is what my favorite computer algebra system (Mathematica 6) says:
If I try an indefinite integral, it's giving it in terms of some HyperGeometric2F1 function...
Looking in the help menu, HyperGeometric2F1 is series-defined, so that really doesn't help.
As for the original problem, the first formula above works; it's:
after using FullSimplify.
_________________
|
|
|
misan
Posts: 1107 Location: Mountain View, California
|
Posted: Jun 23, 2007, 1:58 am •
# 6
The Zuton Force wrote: This is what my favorite computer algebra system (Mathematica 6) says:   after using FullSimplify.
holy smokes !!

|
|
|
Doe John
Posts: 151
|
Posted: Apr 15, 2008, 3:33 pm •
# 7
|
|
|
jmerry
Posts: 7825 Location: Seattle
|
Posted: Apr 15, 2008, 4:01 pm •
# 8
Now, the sum from  to  is actually nice- and I posted it here a few years ago.
|
|
|
Blouge
Posts: 9
|
Posted: Apr 17, 2008, 8:50 pm •
# 9
Using the fact that Digamma(s+1) = Digamma(s) + 1/s, we can express these series in terms of the digamma function:
10/6 + 10/16 + 10/26 + ... = Digamma(infinity) - Digamma(6/10)
10/11 +10/21 + 10/31 + ... = Digamma(infinity) - Digamma(11/10)
Hence, the sum we want is 1 - (1/6 - 1/11 + 1/16 -_... = 1 - (Digamma(11/10) - Digamma(6/10)) / 10.
Gauss's formula for the Digamma function at rational numbers can be used to calculate explicit values for these digamma expressions.
As posted earlier, the result involves sin and cos of (pi/10) and can be expressed in terms of logarithms, radicals, the gamma constant, and pi.
(Note: cos(pi/5) = (1+sqrt(5))/4).
Edit: I forgot the initial 1- in the sum (for index k = 0).
|
|
|
Doe John
Posts: 151
|
Posted: Apr 21, 2008, 1:03 am •
# 10
|
|
|
Extremal
Posts: 1391 Location: Saint-Petersburg
|
Posted: Apr 21, 2008, 6:26 am •
# 11
Doe John : Do you know any article where can I find digamma theorem ? I think it's can be proved by residue ,
_________________ I believe ...
|
|
|
Doe John
Posts: 151
|
Posted: Apr 22, 2008, 9:50 am •
# 12
You find a proof of Gauss' digamma theorem on PlanetMath.
|
|
|
Share:
Moderators: Peter, College Playground Moderators
|
Page 1 of 1
|
[ 12 posts ] |
|
|
|
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot post attachments in this forum
|
|
|