Generalizing rising and falling factorial to complex arguments preserving zeroes
up vote
0
down vote
favorite
Falling factorials count injective functions. There are no injective functions $ A to B $ if $|A| gt |B|$ . Is there a way to extend the definition of the falling factorial, ideally to $mathbb{C} times mathbb{C} to mathbb{C}$, so that the zeroes are preserved? The most obvious way of informally generalizing the falling factorial involves taking ratios of the gamma function, but I'm not convinced that that works out.
When the right argument of the rising factorial is a natural number, it is defined in the following way:
$$ (x)^{overline{k}} stackrel{df}{=} prod_{i = 0}^{k-1} (x + i) $$
$$ (x)^{overline{k}} = (x)(x+1)cdots(x+k-2)(x+k-1) $$
And the falling factorial is defined in the following way
$$ (x)^{underline{k}} stackrel{df}{=} prod_{i = 0}^{k-1} (x - i) $$
$$ (x)^{underline{k}} = (x)(x-1)cdots (x-k+2)(x-k+1) $$
The falling factorial can be defined in terms of the rising factorial in two ways.
$$ (x)^{underline{k}} = (-1)^k (-x)^{overline{k}} $$
or
$$ (x)^{underline{k}} = (x-k+1) ^ {overline{k}} $$
The rising factorial satisfies the following identity:
$$ (x)^{overline{k}} = frac{(x+k-1)!}{(x-1)!} $$
Which suggests the generalization
$$ (x)^{overline{k}} = frac{Gamma(x+k)}{Gamma(x)} $$
and
$$ (x)^{underline{k}} = frac{Gamma(x + 1)}{Gamma(x-k + 1)} $$
This makes me nervous since $0 notin text{Im}(Gamma)$ and $Gamma$ has a pole when $ x le -1 $ .
Does a nice way of extending the rising/falling factorial to complex arguments exist?
factorial analytic-continuation
add a comment |
up vote
0
down vote
favorite
Falling factorials count injective functions. There are no injective functions $ A to B $ if $|A| gt |B|$ . Is there a way to extend the definition of the falling factorial, ideally to $mathbb{C} times mathbb{C} to mathbb{C}$, so that the zeroes are preserved? The most obvious way of informally generalizing the falling factorial involves taking ratios of the gamma function, but I'm not convinced that that works out.
When the right argument of the rising factorial is a natural number, it is defined in the following way:
$$ (x)^{overline{k}} stackrel{df}{=} prod_{i = 0}^{k-1} (x + i) $$
$$ (x)^{overline{k}} = (x)(x+1)cdots(x+k-2)(x+k-1) $$
And the falling factorial is defined in the following way
$$ (x)^{underline{k}} stackrel{df}{=} prod_{i = 0}^{k-1} (x - i) $$
$$ (x)^{underline{k}} = (x)(x-1)cdots (x-k+2)(x-k+1) $$
The falling factorial can be defined in terms of the rising factorial in two ways.
$$ (x)^{underline{k}} = (-1)^k (-x)^{overline{k}} $$
or
$$ (x)^{underline{k}} = (x-k+1) ^ {overline{k}} $$
The rising factorial satisfies the following identity:
$$ (x)^{overline{k}} = frac{(x+k-1)!}{(x-1)!} $$
Which suggests the generalization
$$ (x)^{overline{k}} = frac{Gamma(x+k)}{Gamma(x)} $$
and
$$ (x)^{underline{k}} = frac{Gamma(x + 1)}{Gamma(x-k + 1)} $$
This makes me nervous since $0 notin text{Im}(Gamma)$ and $Gamma$ has a pole when $ x le -1 $ .
Does a nice way of extending the rising/falling factorial to complex arguments exist?
factorial analytic-continuation
I do not know a better way than through the gamma ratio you show. Of course, the poles in the numerator will cancel with the denominator if both are negative integers
– G Cab
Nov 17 at 23:18
1
by the way, it is actually $$ x^{,underline {,k,} } = left( {x - k + 1} right)^{,overline {,k,} } = {{Gamma (x + 1)} over {Gamma (x - k + 1)}} $$
– G Cab
Nov 17 at 23:24
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Falling factorials count injective functions. There are no injective functions $ A to B $ if $|A| gt |B|$ . Is there a way to extend the definition of the falling factorial, ideally to $mathbb{C} times mathbb{C} to mathbb{C}$, so that the zeroes are preserved? The most obvious way of informally generalizing the falling factorial involves taking ratios of the gamma function, but I'm not convinced that that works out.
When the right argument of the rising factorial is a natural number, it is defined in the following way:
$$ (x)^{overline{k}} stackrel{df}{=} prod_{i = 0}^{k-1} (x + i) $$
$$ (x)^{overline{k}} = (x)(x+1)cdots(x+k-2)(x+k-1) $$
And the falling factorial is defined in the following way
$$ (x)^{underline{k}} stackrel{df}{=} prod_{i = 0}^{k-1} (x - i) $$
$$ (x)^{underline{k}} = (x)(x-1)cdots (x-k+2)(x-k+1) $$
The falling factorial can be defined in terms of the rising factorial in two ways.
$$ (x)^{underline{k}} = (-1)^k (-x)^{overline{k}} $$
or
$$ (x)^{underline{k}} = (x-k+1) ^ {overline{k}} $$
The rising factorial satisfies the following identity:
$$ (x)^{overline{k}} = frac{(x+k-1)!}{(x-1)!} $$
Which suggests the generalization
$$ (x)^{overline{k}} = frac{Gamma(x+k)}{Gamma(x)} $$
and
$$ (x)^{underline{k}} = frac{Gamma(x + 1)}{Gamma(x-k + 1)} $$
This makes me nervous since $0 notin text{Im}(Gamma)$ and $Gamma$ has a pole when $ x le -1 $ .
Does a nice way of extending the rising/falling factorial to complex arguments exist?
factorial analytic-continuation
Falling factorials count injective functions. There are no injective functions $ A to B $ if $|A| gt |B|$ . Is there a way to extend the definition of the falling factorial, ideally to $mathbb{C} times mathbb{C} to mathbb{C}$, so that the zeroes are preserved? The most obvious way of informally generalizing the falling factorial involves taking ratios of the gamma function, but I'm not convinced that that works out.
When the right argument of the rising factorial is a natural number, it is defined in the following way:
$$ (x)^{overline{k}} stackrel{df}{=} prod_{i = 0}^{k-1} (x + i) $$
$$ (x)^{overline{k}} = (x)(x+1)cdots(x+k-2)(x+k-1) $$
And the falling factorial is defined in the following way
$$ (x)^{underline{k}} stackrel{df}{=} prod_{i = 0}^{k-1} (x - i) $$
$$ (x)^{underline{k}} = (x)(x-1)cdots (x-k+2)(x-k+1) $$
The falling factorial can be defined in terms of the rising factorial in two ways.
$$ (x)^{underline{k}} = (-1)^k (-x)^{overline{k}} $$
or
$$ (x)^{underline{k}} = (x-k+1) ^ {overline{k}} $$
The rising factorial satisfies the following identity:
$$ (x)^{overline{k}} = frac{(x+k-1)!}{(x-1)!} $$
Which suggests the generalization
$$ (x)^{overline{k}} = frac{Gamma(x+k)}{Gamma(x)} $$
and
$$ (x)^{underline{k}} = frac{Gamma(x + 1)}{Gamma(x-k + 1)} $$
This makes me nervous since $0 notin text{Im}(Gamma)$ and $Gamma$ has a pole when $ x le -1 $ .
Does a nice way of extending the rising/falling factorial to complex arguments exist?
factorial analytic-continuation
factorial analytic-continuation
edited Nov 17 at 23:50
asked Nov 17 at 20:38
Gregory Nisbet
371211
371211
I do not know a better way than through the gamma ratio you show. Of course, the poles in the numerator will cancel with the denominator if both are negative integers
– G Cab
Nov 17 at 23:18
1
by the way, it is actually $$ x^{,underline {,k,} } = left( {x - k + 1} right)^{,overline {,k,} } = {{Gamma (x + 1)} over {Gamma (x - k + 1)}} $$
– G Cab
Nov 17 at 23:24
add a comment |
I do not know a better way than through the gamma ratio you show. Of course, the poles in the numerator will cancel with the denominator if both are negative integers
– G Cab
Nov 17 at 23:18
1
by the way, it is actually $$ x^{,underline {,k,} } = left( {x - k + 1} right)^{,overline {,k,} } = {{Gamma (x + 1)} over {Gamma (x - k + 1)}} $$
– G Cab
Nov 17 at 23:24
I do not know a better way than through the gamma ratio you show. Of course, the poles in the numerator will cancel with the denominator if both are negative integers
– G Cab
Nov 17 at 23:18
I do not know a better way than through the gamma ratio you show. Of course, the poles in the numerator will cancel with the denominator if both are negative integers
– G Cab
Nov 17 at 23:18
1
1
by the way, it is actually $$ x^{,underline {,k,} } = left( {x - k + 1} right)^{,overline {,k,} } = {{Gamma (x + 1)} over {Gamma (x - k + 1)}} $$
– G Cab
Nov 17 at 23:24
by the way, it is actually $$ x^{,underline {,k,} } = left( {x - k + 1} right)^{,overline {,k,} } = {{Gamma (x + 1)} over {Gamma (x - k + 1)}} $$
– G Cab
Nov 17 at 23:24
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3002783%2fgeneralizing-rising-and-falling-factorial-to-complex-arguments-preserving-zeroes%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
I do not know a better way than through the gamma ratio you show. Of course, the poles in the numerator will cancel with the denominator if both are negative integers
– G Cab
Nov 17 at 23:18
1
by the way, it is actually $$ x^{,underline {,k,} } = left( {x - k + 1} right)^{,overline {,k,} } = {{Gamma (x + 1)} over {Gamma (x - k + 1)}} $$
– G Cab
Nov 17 at 23:24