An integral and a deravative of a simple factorial

  • Context: Graduate 
  • Thread starter Thread starter MathematicalPhysicist
  • Start date Start date
  • Tags Tags
    Factorial Integral
Click For Summary

Discussion Overview

The discussion revolves around the mathematical treatment of the factorial function, specifically regarding the differentiation and integration of the function f(x) = x!. Participants explore the challenges of applying traditional calculus to a function that is only defined for non-negative integers and consider the use of the gamma function as an alternative.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant questions how to find the integral and derivative of the factorial function, suggesting the use of logarithms.
  • Another participant asserts that traditional differentiation and integration cannot be applied to the factorial function, recommending the gamma function instead.
  • It is noted that the factorial function is only defined for non-negative integers, which complicates its differentiation and integration.
  • Some participants argue that while the factorial function is not continuous and thus not differentiable, integration might still be theoretically possible using the gamma function, although this leads to complications.
  • One participant mentions the derivative of the gamma function, indicating a relationship with the digamma function.
  • References are made to the Barnes G-function and the polygamma function in the context of integrating the logarithm of the gamma function.

Areas of Agreement / Disagreement

Participants generally agree that the factorial function cannot be differentiated in the traditional sense due to its discrete nature. However, there is no consensus on the effectiveness or validity of using the gamma function for integration or differentiation, and the discussion remains unresolved regarding the best approach.

Contextual Notes

Limitations include the factorial function's definition only for non-negative integers, the continuity requirement for differentiation, and the complexities introduced when attempting to use the gamma function for integration.

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
how can you find the integral and the derevative of a simple factorial f(x)=x! (to find what f'(x) equals and what Sf(x)dx equals)? as i see it you have progressive multiplications, f(x)=x(x-1)(x-2)...*(x-k), which is the product of x-k where k=0 till infinity, should i take logarithms on both sides? if i have asked this before link me to the thread.
thanks in advance.
 
Physics news on Phys.org
Well, you can't integrate or differentiate the traditional factorial function. You would have to take advantage of the fact that [itex]n!=\Gamma(n+1)[/itex] and operate on the gamma function instead.

I can't help you with that though. I don't know a lot about the gamma function.
 
Integration and differentiation require, at least, that the function be defined on some interval of real numbers. The factorial function is only defined for non-negative integers. You can, as master_coda said, use the gamma function instead.
 
you cannot differentiate a factorial...
For a function to be differentiable, it has to be continuous. For discrete functions like x! the derivative does not exist.

As for the integration goes, theoretically, it is possible to integrate x!.
I am not sure though, that the gamma function approach will work. The result of the gamma function integration gamma(x+1) leads to x!. Hence replacing x! by its gamma forms leads to a double integral which will be more difficult to solve.
 
The factorial function is not continuous, so you just use [itex](x-1)!=\Gamma(x)[/itex]. There is no known indefinite integral of the Gamma function. However, it does have a derivative in terms of itself and another function.
[itex]\Gamma '(x)=\Gamma(x) \psi(x)[/itex] where [itex]\psi[/itex] is known as the digamma function.
 
Count Iblis said:
You can express the integral of Log[Gamma(z)] in terms of the Barnes G-function:

http://mathworld.wolfram.com/BarnesG-Function.html
That can also be expressed with the polygamma function:

[itex]\int log[\Gamma(z)]dx=\psi^{(-2)}(z)+C[/itex]
 
The_Fool said:
That can also be expressed with the polygamma function:

[itex]\int log[\Gamma(z)]dx=\psi^{(-2)}(z)+C[/itex]

Yes, but then the poygamma function of order minus two or smaller is nothing more than the (repeated) integral of Log(Gamma). The properties of these functions are not trivial. Barnes and others investigated the related Barnes G-function, otherwise Barnes would not have been bothered to do that. :smile:
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 31 ·
2
Replies
31
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K