How do I prove $zDelta(z+1) = Delta(z)$, where $Gamma(z)=1/Delta(z)$?
up vote
0
down vote
favorite
I'm asked to prove that $zDelta(z+1)=Delta(z)$, where $Delta(z)equiv ze^{gamma z}prodlimits_{m=1}^infty(1+z/m)e^{-z/m}$ and $gamma =lim_{ntoinfty} 1+ 1/2 + 1/3 + ... + 1/n-log n$, but this far I have not succeeded.
My idea was to look at finite n both in $gamma$ and in the product. First I assumed the theorem to be true, thus getting $Delta(z+1)=Delta(z)/z$. I divided both sides by $e^{gamma z}$ and then took the logarithm, getting
$$-log n + log (z+1)+left[sum_{m=1}^nlog(1+cfrac{z+1}{m})+ (-z/m)right] =log z + left(sum_{m=1}^nlog (1+z/m)+(-z/m)right)$$
Here $1+1/2+...+n$ (from $gamma$) cancelled against $-1/m$ in the sum on the LHS. This is how I got the above equation.
I then substracted the RHS from the LHS, getting LHS - RHS $= 0$
Obviously, the "$-z/m$" terms cancel and upon taking the e-power, I got
$$(z+1)(1/z)(1/n)left[prod_{m=1}^n(k+z+1)/k cdot k/(k+z)right]=0$$
This can be simplified a bit, but I don't see why this equality holds, not even in $ntoinfty$. I have asked a friend of mine and we both think all the steps in between are correct, thus perhaps I should try a completely different approach?
I can elaborate on my steps, but I thought it better to keep it concise.
complex-analysis gamma-function
add a comment |
up vote
0
down vote
favorite
I'm asked to prove that $zDelta(z+1)=Delta(z)$, where $Delta(z)equiv ze^{gamma z}prodlimits_{m=1}^infty(1+z/m)e^{-z/m}$ and $gamma =lim_{ntoinfty} 1+ 1/2 + 1/3 + ... + 1/n-log n$, but this far I have not succeeded.
My idea was to look at finite n both in $gamma$ and in the product. First I assumed the theorem to be true, thus getting $Delta(z+1)=Delta(z)/z$. I divided both sides by $e^{gamma z}$ and then took the logarithm, getting
$$-log n + log (z+1)+left[sum_{m=1}^nlog(1+cfrac{z+1}{m})+ (-z/m)right] =log z + left(sum_{m=1}^nlog (1+z/m)+(-z/m)right)$$
Here $1+1/2+...+n$ (from $gamma$) cancelled against $-1/m$ in the sum on the LHS. This is how I got the above equation.
I then substracted the RHS from the LHS, getting LHS - RHS $= 0$
Obviously, the "$-z/m$" terms cancel and upon taking the e-power, I got
$$(z+1)(1/z)(1/n)left[prod_{m=1}^n(k+z+1)/k cdot k/(k+z)right]=0$$
This can be simplified a bit, but I don't see why this equality holds, not even in $ntoinfty$. I have asked a friend of mine and we both think all the steps in between are correct, thus perhaps I should try a completely different approach?
I can elaborate on my steps, but I thought it better to keep it concise.
complex-analysis gamma-function
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I'm asked to prove that $zDelta(z+1)=Delta(z)$, where $Delta(z)equiv ze^{gamma z}prodlimits_{m=1}^infty(1+z/m)e^{-z/m}$ and $gamma =lim_{ntoinfty} 1+ 1/2 + 1/3 + ... + 1/n-log n$, but this far I have not succeeded.
My idea was to look at finite n both in $gamma$ and in the product. First I assumed the theorem to be true, thus getting $Delta(z+1)=Delta(z)/z$. I divided both sides by $e^{gamma z}$ and then took the logarithm, getting
$$-log n + log (z+1)+left[sum_{m=1}^nlog(1+cfrac{z+1}{m})+ (-z/m)right] =log z + left(sum_{m=1}^nlog (1+z/m)+(-z/m)right)$$
Here $1+1/2+...+n$ (from $gamma$) cancelled against $-1/m$ in the sum on the LHS. This is how I got the above equation.
I then substracted the RHS from the LHS, getting LHS - RHS $= 0$
Obviously, the "$-z/m$" terms cancel and upon taking the e-power, I got
$$(z+1)(1/z)(1/n)left[prod_{m=1}^n(k+z+1)/k cdot k/(k+z)right]=0$$
This can be simplified a bit, but I don't see why this equality holds, not even in $ntoinfty$. I have asked a friend of mine and we both think all the steps in between are correct, thus perhaps I should try a completely different approach?
I can elaborate on my steps, but I thought it better to keep it concise.
complex-analysis gamma-function
I'm asked to prove that $zDelta(z+1)=Delta(z)$, where $Delta(z)equiv ze^{gamma z}prodlimits_{m=1}^infty(1+z/m)e^{-z/m}$ and $gamma =lim_{ntoinfty} 1+ 1/2 + 1/3 + ... + 1/n-log n$, but this far I have not succeeded.
My idea was to look at finite n both in $gamma$ and in the product. First I assumed the theorem to be true, thus getting $Delta(z+1)=Delta(z)/z$. I divided both sides by $e^{gamma z}$ and then took the logarithm, getting
$$-log n + log (z+1)+left[sum_{m=1}^nlog(1+cfrac{z+1}{m})+ (-z/m)right] =log z + left(sum_{m=1}^nlog (1+z/m)+(-z/m)right)$$
Here $1+1/2+...+n$ (from $gamma$) cancelled against $-1/m$ in the sum on the LHS. This is how I got the above equation.
I then substracted the RHS from the LHS, getting LHS - RHS $= 0$
Obviously, the "$-z/m$" terms cancel and upon taking the e-power, I got
$$(z+1)(1/z)(1/n)left[prod_{m=1}^n(k+z+1)/k cdot k/(k+z)right]=0$$
This can be simplified a bit, but I don't see why this equality holds, not even in $ntoinfty$. I have asked a friend of mine and we both think all the steps in between are correct, thus perhaps I should try a completely different approach?
I can elaborate on my steps, but I thought it better to keep it concise.
complex-analysis gamma-function
complex-analysis gamma-function
edited yesterday
asked yesterday
Idea Flux
64
64
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
Consider the telescoping sum
$$sum_{m=1}^n left(logleft(1+frac{z}{m+1}right)-logleft(1+frac{z}{m}right)right) = logleft(1+frac{z}{n+1}right) - log(1+z)$$
Then
$$- log(1+z) =
sum_{m=1}^infty left(logleft(1+frac{z}{m+1}right)-logleft(1+frac{z}{m}right)right) =
sum_{m=1}^infty left(logleft(frac{z+m+1}{z+m}right)-logleft(frac{m+1}{m}right)right) =
sum_{m=1}^infty left(logleft(frac{z+m+1}{z+m}right)-frac{1}{m}+frac{1}{m}-logleft(frac{m+1}{m}right)right)
=
sum_{m=1}^infty left(logleft(frac{1+(z+1)/m}{1+z/m}right)-frac{1}{m}right)+gamma$$
Apply exponential to get
$$frac{1}{1+z} = e^gamma prod_{m=1}^inftyfrac{1+(z+1)/m}{1+z/m}e^{-1/m}=frac{e^{gamma(z+1)}}{e^{gamma z}}prod_{m=1}^infty frac{(1+(z+1)/m)e^{-(z+1)/m}}{(1+z/m)e^{-z/m}}$$
Then
$$z e^{gamma z} prod_{m=1}^infty (1+z/m)e^{-z/m} = z(z+1) e^{gamma(z+1)}prod_{m=1}^infty (1+(z+1)/m)e^{-(z+1)/m}$$
and we are done
Thank you for the answer :) Unfortunately, monday will be the earliest I can take a close look at it.
– Idea Flux
yesterday
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
Consider the telescoping sum
$$sum_{m=1}^n left(logleft(1+frac{z}{m+1}right)-logleft(1+frac{z}{m}right)right) = logleft(1+frac{z}{n+1}right) - log(1+z)$$
Then
$$- log(1+z) =
sum_{m=1}^infty left(logleft(1+frac{z}{m+1}right)-logleft(1+frac{z}{m}right)right) =
sum_{m=1}^infty left(logleft(frac{z+m+1}{z+m}right)-logleft(frac{m+1}{m}right)right) =
sum_{m=1}^infty left(logleft(frac{z+m+1}{z+m}right)-frac{1}{m}+frac{1}{m}-logleft(frac{m+1}{m}right)right)
=
sum_{m=1}^infty left(logleft(frac{1+(z+1)/m}{1+z/m}right)-frac{1}{m}right)+gamma$$
Apply exponential to get
$$frac{1}{1+z} = e^gamma prod_{m=1}^inftyfrac{1+(z+1)/m}{1+z/m}e^{-1/m}=frac{e^{gamma(z+1)}}{e^{gamma z}}prod_{m=1}^infty frac{(1+(z+1)/m)e^{-(z+1)/m}}{(1+z/m)e^{-z/m}}$$
Then
$$z e^{gamma z} prod_{m=1}^infty (1+z/m)e^{-z/m} = z(z+1) e^{gamma(z+1)}prod_{m=1}^infty (1+(z+1)/m)e^{-(z+1)/m}$$
and we are done
Thank you for the answer :) Unfortunately, monday will be the earliest I can take a close look at it.
– Idea Flux
yesterday
add a comment |
up vote
0
down vote
Consider the telescoping sum
$$sum_{m=1}^n left(logleft(1+frac{z}{m+1}right)-logleft(1+frac{z}{m}right)right) = logleft(1+frac{z}{n+1}right) - log(1+z)$$
Then
$$- log(1+z) =
sum_{m=1}^infty left(logleft(1+frac{z}{m+1}right)-logleft(1+frac{z}{m}right)right) =
sum_{m=1}^infty left(logleft(frac{z+m+1}{z+m}right)-logleft(frac{m+1}{m}right)right) =
sum_{m=1}^infty left(logleft(frac{z+m+1}{z+m}right)-frac{1}{m}+frac{1}{m}-logleft(frac{m+1}{m}right)right)
=
sum_{m=1}^infty left(logleft(frac{1+(z+1)/m}{1+z/m}right)-frac{1}{m}right)+gamma$$
Apply exponential to get
$$frac{1}{1+z} = e^gamma prod_{m=1}^inftyfrac{1+(z+1)/m}{1+z/m}e^{-1/m}=frac{e^{gamma(z+1)}}{e^{gamma z}}prod_{m=1}^infty frac{(1+(z+1)/m)e^{-(z+1)/m}}{(1+z/m)e^{-z/m}}$$
Then
$$z e^{gamma z} prod_{m=1}^infty (1+z/m)e^{-z/m} = z(z+1) e^{gamma(z+1)}prod_{m=1}^infty (1+(z+1)/m)e^{-(z+1)/m}$$
and we are done
Thank you for the answer :) Unfortunately, monday will be the earliest I can take a close look at it.
– Idea Flux
yesterday
add a comment |
up vote
0
down vote
up vote
0
down vote
Consider the telescoping sum
$$sum_{m=1}^n left(logleft(1+frac{z}{m+1}right)-logleft(1+frac{z}{m}right)right) = logleft(1+frac{z}{n+1}right) - log(1+z)$$
Then
$$- log(1+z) =
sum_{m=1}^infty left(logleft(1+frac{z}{m+1}right)-logleft(1+frac{z}{m}right)right) =
sum_{m=1}^infty left(logleft(frac{z+m+1}{z+m}right)-logleft(frac{m+1}{m}right)right) =
sum_{m=1}^infty left(logleft(frac{z+m+1}{z+m}right)-frac{1}{m}+frac{1}{m}-logleft(frac{m+1}{m}right)right)
=
sum_{m=1}^infty left(logleft(frac{1+(z+1)/m}{1+z/m}right)-frac{1}{m}right)+gamma$$
Apply exponential to get
$$frac{1}{1+z} = e^gamma prod_{m=1}^inftyfrac{1+(z+1)/m}{1+z/m}e^{-1/m}=frac{e^{gamma(z+1)}}{e^{gamma z}}prod_{m=1}^infty frac{(1+(z+1)/m)e^{-(z+1)/m}}{(1+z/m)e^{-z/m}}$$
Then
$$z e^{gamma z} prod_{m=1}^infty (1+z/m)e^{-z/m} = z(z+1) e^{gamma(z+1)}prod_{m=1}^infty (1+(z+1)/m)e^{-(z+1)/m}$$
and we are done
Consider the telescoping sum
$$sum_{m=1}^n left(logleft(1+frac{z}{m+1}right)-logleft(1+frac{z}{m}right)right) = logleft(1+frac{z}{n+1}right) - log(1+z)$$
Then
$$- log(1+z) =
sum_{m=1}^infty left(logleft(1+frac{z}{m+1}right)-logleft(1+frac{z}{m}right)right) =
sum_{m=1}^infty left(logleft(frac{z+m+1}{z+m}right)-logleft(frac{m+1}{m}right)right) =
sum_{m=1}^infty left(logleft(frac{z+m+1}{z+m}right)-frac{1}{m}+frac{1}{m}-logleft(frac{m+1}{m}right)right)
=
sum_{m=1}^infty left(logleft(frac{1+(z+1)/m}{1+z/m}right)-frac{1}{m}right)+gamma$$
Apply exponential to get
$$frac{1}{1+z} = e^gamma prod_{m=1}^inftyfrac{1+(z+1)/m}{1+z/m}e^{-1/m}=frac{e^{gamma(z+1)}}{e^{gamma z}}prod_{m=1}^infty frac{(1+(z+1)/m)e^{-(z+1)/m}}{(1+z/m)e^{-z/m}}$$
Then
$$z e^{gamma z} prod_{m=1}^infty (1+z/m)e^{-z/m} = z(z+1) e^{gamma(z+1)}prod_{m=1}^infty (1+(z+1)/m)e^{-(z+1)/m}$$
and we are done
answered yesterday
jjagmath
912
912
Thank you for the answer :) Unfortunately, monday will be the earliest I can take a close look at it.
– Idea Flux
yesterday
add a comment |
Thank you for the answer :) Unfortunately, monday will be the earliest I can take a close look at it.
– Idea Flux
yesterday
Thank you for the answer :) Unfortunately, monday will be the earliest I can take a close look at it.
– Idea Flux
yesterday
Thank you for the answer :) Unfortunately, monday will be the earliest I can take a close look at it.
– Idea Flux
yesterday
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3020161%2fhow-do-i-prove-z-deltaz1-deltaz-where-gammaz-1-deltaz%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown