40

Well, $n!$ is for integer $n < 0$ not defined — as yet.

So the question is:

How could a sensible generalization of the factorial for negative integers look like?

Clearly a good generalization should have a clear combinatorial meaning which combines well with the nonnegative case.

LSpice
  • 11,423
Bruce Arnold
  • 1,054
  • 20
    Meta (scnr): This question was asked in the first weeks of mathoverflow and has received a lot of attention. When such an elementary question would be asked nowadays, it would get closed almost immediately. – Martin Brandenburg Aug 19 '13 at 13:03
  • 3
    I am not a mathematician, and I'm finding the comments on here a bit confusing. In school we learned that factorial is like this: 3! = 3 x 2 x 1. I saw a comment on here asking if negative numbers could work like this: -3! = -3 x -2 x -1 ... and it got 3 down votes for even suggesting this. It seems to me (as a lay person) that a simplification of the problem is to say that x! = |x!| but somehow returned w/ the sign of x (I know how to do this in computer code but not in math). From the mathematicians on here ... why is this considered a bad approach to the problem? Just want to learn. – TMWP May 10 '17 at 14:07
  • 2
    @TMWP the point is that mathematicians are attached to the axiom $\mathrm{fact}(x)=x\mathrm{fact}(x-1)$. They also seek things that are not just trivial extensions (e.g., interpolating $n!$ as a piecewise affine function or as a piecewise constant discontinuous function is not interesting). Euler has found one subtle way to interpolate factorial. Defining $u(-n)=(-n)\dots(-1)$ is meaningful but probably does not deserve be called factorial. I don't know if there are particular reasons to look at this function, or interesting "canonical" ways to interpolate it. – YCor Mar 06 '18 at 08:46
  • 1
    Sometimes I have got the impression that some little effort of responsibility is still needed when up-voting soft questions and answers... – Pietro Majer Mar 06 '18 at 15:56

9 Answers9

47

It's not that it's not defined... Actually it has been defined more than it should have. There are plenty of functions that interpolate the factorials, some of them extend to the negative integers as well. Hadamard's Gamma function is entire, logarithmic single inflected factorial function is another example. But on the other hand, for some mysterious reason, the nice property that we want an extension of the factorial to enjoy is log-convexity. The Bohr-Mollerup-Artin Theorem tells us that the only function which is logarithmically convex on the positive real line and satisfies $f(z)=zf(z-1)$ there (also $f(1)=1$ and $f(z)>0$) is the Gamma function. Unfortunately the gamma function doesn't extend to negative integers, and that is why I guess people don't really care that much for defining them as they know that no "good" answer can be found.

Gjergji Zaimi
  • 85,056
  • 24
    I would just add that the definition $n!=\infty$ when n<0 makes good sense; it extends the usual recursion of the factorial function and is consistent with the poles of the Gamma function. It also allows combinatorial formulas to work in degenerate cases. That is, when the factorial of a negative number appears in the denominator of a fraction, the usual convention is that the fraction is 0. – Jonas Meyer Dec 30 '09 at 12:29
  • 1
    Am I mistaken? Hadamars Gamma function is not logarithmic single inflected. The 'mysterious reason of log-convexity' /does not/ carry over to the general gamma function, i. e., it does not characterise the complex gamma function. This might be regarded as a hint, that there /is/ room for other sensible definitions and that log-convexity is not the last word in this matter, it is just a substitute for some analytical condition. – Bruce Arnold Dec 31 '09 at 00:22
  • 3
    Hadamards gamma function and the logarithmic single inflected factorial function are different functions. – Gjergji Zaimi Dec 31 '09 at 00:34
  • Could you please give me a citable reference to what obscure item you are referring to? – Bruce Arnold Dec 31 '09 at 05:03
  • 3
    I am just referring to various functions that one can interpolate the factorials with, mostly based on playing around with the diGamma function. There is no citeable reference but here's a "pictoresque" account :) http://www.luschny.de/math/factorial/hadamard/HadamardsGammaFunction.html – Gjergji Zaimi Dec 31 '09 at 05:40
  • 38
    Don't blame log-convexity for making $(-1)!$ undefined. The functional equation $n!=(n-1)!n$ does that job all by itself. First (with $n=1$) it forces the standard convention that $0!=1$, and then (with $n=0$) is requires $(-1)!$ to be the reciprocal of 0. – Andreas Blass Jan 09 '12 at 01:15
  • Actually, looking only at integers, there is a definition as the trivial left factorial that is consistent with a scheme for enumerating m-ary trees. See https://oeis.org/A094638. – Tom Copeland Sep 10 '15 at 17:46
  • 2
    @JonasMeyer Another way to see that this makes sense: the reciprocal of the gamma function is an entire function (note that $\Gamma(z)\ne0$ for all $z$), so in some ways can be viewed as the more "fundamental" one (although $\Gamma$ itself is more common for historical reasons). – Mario Carneiro Nov 05 '15 at 15:30
  • Can you use grassman numbers to define negative factorials? – Jason M Gray Nov 27 '21 at 00:08
  • @AndreasBlass, re, why does the functional equation $n! = (n - 1)!n$ alone with $n = 1$ force $0! = 1$? It seems to me only to force $1! = 0!$. Indeed, the terrible “definition” $n! = 0$ (for all integers $n$) satisfies $n! = (n - 1)!n$ for all integers $n$. So perhaps you meant that it forces $0! = 1$ once we have declared that $1! = 1$? – LSpice Jan 26 '23 at 15:20
  • 1
    @LSpice Yes, I also assumed that we're dealing with genuine factorials for positive integers. – Andreas Blass Jan 26 '23 at 16:09
29

I think it's worth pointing out here that, if $a\ge0$, then, near z = -a, we have

$$ \Gamma(z) = (-1)^a {1 \over a!} {1 \over {z+a}} + O(1) $$

and so it might be tempting to say that, in some sense,

$$ \Gamma(-a) = (-1)^a {1 \over a!} \infty $$

where the symbol $\infty$ represents the rate at which $\Gamma$ blows up near the pole at $a = 0$. That is, $\Gamma(0) = \infty, \Gamma(-1) = -\infty, \Gamma(-2) = \infty/2, \Gamma(-3) = -\infty/6$, and so on.

In particular, this interpretation might work in some formula in which $\Gamma$ evaluated at nonpositive integers appears in both the numerator and the denominator, and the symbol $\infty$ can be canceled to yield a real number.

Michael Lugo
  • 13,858
13

For a related paper see D. Loeb, Sets with a negative number of elements, Adv. Math. 91 (1992), 64–74.

LSpice
  • 11,423
7

If you're wanting to compute factorials as an intermediate step to computing binomial coefficients, you may find a more satisfactory answer to your question. See this chart for determining how to compute binomial coefficients for general arguments.

John D. Cook
  • 5,147
5

I think, a sensical definition stems from the generalization of the triangle of eulerian numbers.

For positive integer indexes the rows sum to factorials, and even if the rows are interpolated to fractional indexes (based on the closed-form-formula for the direct computation) the rowsums are fractional factorials or gamma values.

Thus I assume the extension of the eulerian triangle to negative indexes gives the answer to a sensical definition of the factorials at negative parameters.

For instance, we get $$ \small \begin{array}{r|lllll|lll} \text{index $k$} & \\ \hline\\ &&&& \text{ extension to negative indexes} \\ \cdots &\cdots \\ -4& 1 & 3+\frac 1{16} & 6+\frac 3{16}+\frac 1{81}& 10+\frac 6{16}+\frac 3{81}+\frac 1{256}&\ldots &\tiny \sum \overset ?= & -4! \\ -3& 1 & 2+\frac 18 & 3+\frac 28+\frac 1{27}& 4+\frac 38+\frac 2{27}+\frac 1{64}&\ldots &\tiny \sum \overset ?= & -3! \\ -2& 1 & 1+\frac 14& 1+\frac 14+\frac 19& 1+\frac 14+\frac 19 + \frac 1{16}& \ldots &\tiny \sum \overset ?= & -2! \\ -1& 1 & 0+\frac 12 & 0+0+\frac 13 & 0+0+0+\frac 14 & \ldots &\tiny \sum \overset ?= & -1! \\ \hline \\ &&&& \text{ triangle of Eulerian numbers} \\ 0& 1 & . & . & . &. &\tiny\sum = & 0! \\ 1& 1 & . & . & . &. &\tiny\sum = & 1! \\ 2& 1 & 1 & . & . &. &\tiny\sum = & 2! \\ 3& 1 & 4 & 1 & . &. &\tiny\sum = & 3! \\ 4& 1 & 11 & 11 & 1 &. &\tiny\sum = & 4! \\ \cdots & \cdots \\ \end{array} $$ and so on.


I have a more involved discussion in a hobby-treatise about the Eulerian-triangle here.

LSpice
  • 11,423
Gottfried Helms
  • 5,214
  • 1
  • 21
  • 36
2

My question was intended somewhat along the line: Assume the Gamma function is not yet invented and Goldbach asks you the question: "What is (-n)! ?" You know that Goldbach expects a combinatorial answer in the domain of integer or rational numbers. What would you answer? I will give my answer in this sense.

Looking at Graham, Knuth, and Patashnik's Concrete Mathematics, Table 253, the combined Stirling triangles in their dual form, we see: If we sum the columns in this triangle for k < 0 we get the factorial numbers, if we sum the rows for k > 0 we get the Bell numbers.

What about saying the Bell numbers are the factorial numbers at negative integers? Is the answer encoded in one of the most important triangles in combinatorics?

See what Knuth (Two notes on notation) says about the origin of this duality (table on page 11).

{120}  
  . {24}  
  1,  .  {6} 
 10,  1,  .  {2} 
 35,  6,  1,  .   {1}  
 50, 11,  3,  1,  .  {1}
 24,  6,  2,  1,  1,  .
  0,  0,  0,  0,  0,  1,  
  0,  0,  0,  0,  0,  0,  1,.....{1}  
  0,  0,  0,  0,  0,  0,  1,  1,....{2}  
  0,  0,  0,  0,  0,  0,  1,  3,  1,....{5}  
  0,  0,  0,  0,  0,  0,  1,  7,  6,  1,....{15}  
  0,  0,  0,  0,  0,  0,  1, 15, 25, 10, 1,....{52}  
Bruce Arnold
  • 1,054
  • 7
    Then you should have definitely mentioned this in the question :). To convince us that your correspondence is appropriate one has to give a combinatorial theory where the Stirling number duality makes sense. This is precisely what this thread http://mathoverflow.net/questions/9721/highbrow-interpretations-of-stirling-number-reciprocity is about. – Gjergji Zaimi Dec 31 '09 at 00:11
  • Thanks for the link. I just ask here another question to exemplify my main question. Looking at this triangle which was been considered by Kramp, Stanley, B. F. Logan, I. Gessel and D. Knuth, among others, the question is: Is there a simple and uniform mathematical explanation why summing rows and columns lines up the double infinite sequence ...203, 52, ,15, 5, 2, 1, 1, 1, 2, 6, 24, 120, 720,... and does this make the definition (-n)! = Bell(n) meaningful? Or do I have to conclude from your answer that there is no 'combinatorial theory where the Stirling number duality makes sense'? – Bruce Arnold Jan 01 '10 at 20:29
2

Hadrian Ulgenes David Peter give the following answer in Series and Product Representations of Gamma and Pseudogamma Functions, Theorem 5:

The function

\begin{equation} \Lambda(x)=\prod_{n=1}^{\infty}\prod_{k=1}^{n} k^{\frac{\left(-1\right)^{n+k}\left(2k-1\right)}{\left(n-k\right)!\left(k+n-1\right)!}\frac{\left(x+n-1\right)!}{\left(x-n\right)!\left(2n-1\right)}} \end{equation}

interpolates the factorial at the positive integers, interpolates the reciprocal factorial at the negative integers, and converges for the entire real axis.

-3

According do the definition of factorial, $1 = 0! $ and $ 0! = -1! * 0$. So, first negative integer factorial is $$-1! = 1/0 = \infty$$. I am not sure why it should be a negative infinity. Possibly because zero can be very small negative number as well as positive. I cannot derive the sign. But, I can prove that other integer negatives are also infinities.

Take -2! * -1 = -1!. It follows that $-2! = -1!/-1 = -\infty$.

Next, -3! * -2 = -2! whereupon, $-3! = -2!/-2 = {-1!\over (-1)(-2)} = +\infty$.

Generally, we see that all factorials are infinities with alternating sign, $$-n! = {-1! \over (-1)(-2)\cdots(1-n)} = \infty/(-1)(-2)\cdots = (-1)^n\infty$$

Val
  • 1
  • 1
    Please see Michael Lugo's answer http://mathoverflow.net/a/10150/78 for a more precise version of this manipulation. (Also, note that if you believe that $-\infty \neq +\infty$, you might as well also believe in $2\infty \neq \infty$. Lugo's answer also makes this precise.) – Theo Johnson-Freyd Jul 24 '13 at 15:56
  • He starts with "gamma" function but we, with the author of this post, show how to derive the answer without being aware of that. Also, Lugo makes the difference between + and - $\infty$. But, thanks for pointing out that they are equal. I think that my example shows that $+\infty$ must be equal to $-\infty$, as there is a simmetry. That is, we cannot guess that zero is positive infinitecimal rather than negative. – Val Jul 24 '13 at 16:08
  • 2
    Hi Val: Sorry, the point I was trying to make is that games with $\pm 0$ are fun, but mathematicians have much more advanced ways to make them precise, including residues of analytic functions. The Gamma function is the unique analytic function satisfying the functional equation $\Gamma(a+1) = a\Gamma(a)$. I'm sure that OP knows that the naive generalization to negative integers is $(-n)! = (-1)^n\ n!\ \infty$. – Theo Johnson-Freyd Jul 24 '13 at 16:12
-3

As 0! and 1! = 1 ,
2! = 2,
3! = 6 and so on

Can we not have

-1! = -1
-2! = 2 = -1 X -2
-3! = -6 = -1 X -2 X -3
-4! = 24 = -1 X -2 X -3 X -4
-5! = -120 = -1 X -2 X -3 X -4 X -5

...and so on?

It would produce some sort of series but would they be of any use anywhere?

John O
  • 11