¿Cómo se prueba esta ecuación sobre la función gamma?

Aquí está la derivación para la primera igualdad. Primero necesitamos una igualdad, que también se puede tomar como una definición alternativa de la función beta:
[matemáticas] B (x, y) = \ int_0 ^ {\ infty} \ frac {s ^ {x-1}} {(1 + s) ^ {x + y}} ds [/ matemáticas]
Se puede demostrar que esto es equivalente a
[matemáticas] B (x, y) = \ int_0 ^ 1 t ^ {x-1} (1-t) ^ {y-1} dt [/ matemáticas]
con una simple sustitución de [math] s = \ frac {t} {1-t} [/ math].

Ahora tenemos:
[matemáticas] B (x, y) \ Gamma (x + y) = [/ matemáticas]
[matemáticas] = \ int_0 ^ \ infty \ frac {s ^ {x-1}} {(1 + s) ^ {x + y}} ds \ cdot \ int_0 ^ \ infty t ^ {x + y-1} e ^ {- t} dt = [/ matemáticas]
[matemáticas] = \ int_0 ^ \ infty \ left (\ int_0 ^ \ infty \ left (\ frac t {1 + s} \ right) ^ {x + y-1} \ frac {e ^ {- t} s ^ {-x}} {1 + s} dt \ right) ds = \ cdots [/ math]

Ahora hacemos una sustitución [math] \ frac {t} {1 + s} = u [/ math], por lo tanto [math] t = u (1 + s) [/ math] y [math] \ frac {dt} {1 + s} = du [/ matemáticas]

[matemáticas] \ cdots = \ int_0 ^ \ infty \ left (\ int_0 ^ \ infty u ^ {x + y-1} e ^ {- u (1 + s)} s ^ {x-1} \, du \ derecha) ds = [/ math]
[matemáticas] = \ int_0 ^ \ infty \ left (\ int_0 ^ \ infty u ^ {x + y-1} e ^ {- u (1 + s)} s ^ {x-1} \, ds \ right) du = \ cdots [/ math]

Ahora podemos escribir las integrales como producto
[matemáticas] \ cdots = \ int_0 ^ \ infty u ^ {y-1} e ^ {- u} du \ cdot \ int_0 ^ \ infty (us) ^ {x-1} e ^ {- us} u \, ds = \ cdots [/ math]

Y hagamos otra sustitución: [math] us = v [/ math], por lo tanto [math] u \, ds = dv [/ math]

[matemáticas] \ cdots = \ int_0 ^ {\ infty} u ^ {y-1} e ^ {- u} \, du \ cdot \ int_0 ^ \ infty v ^ {x-1} e ^ {- v} \ , dv [/ math]
[matemáticas] = \ Gamma (x) \ Gamma (y) [/ matemáticas]

Por lo tanto, dividiendo [matemáticas] B (x, y) = \ frac {\ Gamma (x) \ Gamma (y)} {\ Gamma (x + y)} [/ math]

Fuente: Apuntes para el curso de Análisis II, por Josip Globevnik y Miha Brojan (página 93, 94)

A2A.

Pista: probablemente lo sepas

Gamma (x + 1) = x Gamma (x)

Entonces, si n es un entero, n! = Gamma (n + 1)

Use esto para escribir n-choose-m en términos de Gammas, comience desde rhs y divida y multiplique por combinaciones apropiadas de gammas. Obtendrá los lhs expresados ​​en términos de gammas.

Buena suerte, esto es suficiente pista, ¡así que no te rindas!

Si solo quiere entenderlo, puede considerar la función gamma como factorial. Es decir, gamma (n) = (n-1)!

Conéctelo y encontrará la respuesta.

More Interesting

Cómo encontrar la función de densidad de probabilidad de una combinación lineal de tres variables aleatorias independientes con funciones generadoras de momentos dados

¿Cuál es un argumento combinatorio de que la suma del primer cuadrado impar es [matemática] \ binom {2n + 1} 3 [/ matemática]?

Suponga que [math] A [/ math] es una matriz [math] n \ times n [/ math] y [math] A ^ 2 \ ne 0 [/ math] y [math] A ^ 3 = 0 [/ math] . Entonces, existe [math] v \ in \ mathbb R ^ n [/ math] tal que [math] (A ^ 2) v \ ne 0 [/ math] mientras [math] (A ^ 3) v = 0 [/ matemáticas]. ¿Cómo puedo mostrar que [matemáticas] v [/ matemáticas], [matemáticas] Av [/ matemáticas], [matemáticas] (A ^ 2) v [/ matemáticas] son ​​linealmente independientes?

¿Por qué es importante aprender álgebra y cuáles son algunos de los conceptos más confusos que requieren ayuda especializada?

¿Por qué usamos la raíz cuadrada de -1 como i? ¿Por qué no el otro valor como -2, -3, etc. con otros alfabetos?

¿Explica la revelación de que cualquier número cuadrado es la suma de dos números triangulares? (Vea abajo)

¿Cuál es la probabilidad de obtener un número par de caras cuando se lanzan juntas siete monedas independientes con un cierto conjunto de sesgos?

¿Por qué el método derivar y dividir (adjunto) funciona para factorizar polinomios difíciles de factorizar?

¿Hay alguna intuición útil para pensar por qué y / x = 1 / (x / y)?

Cómo integrar [matemáticas] \ displaystyle \ int \ frac {x ^ 5 \, dx} {(x ^ 2 + x + 1) (x ^ 6 + 1) (x ^ 4-x ^ 3 + x-1) }[/matemáticas]