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]
- Cómo demostrar que la secuencia {cos x} diverge
- ¿Puedes encontrar una solución entera para la siguiente ecuación entera? [matemáticas] (x + yz) ^ p = p (x + y) (zx) (zy) \ cdot [/ matemáticas] [matemáticas] N [/ matemáticas]
- ¿Cuál es la diferencia entre [math] 2 ^ \ infty [/ math] y [math] \ infty ^ 2 [/ math]?
- ¿Por qué la raíz cuadrada de cero, cero?
- Deje [math] \ mathit {f} [/ math]: [math] \ mathbb {R ^ {+}} \ rightarrow \ mathbb {R} [/ math], donde [math] \ textit {f (x)} = \ int_ {1} ^ {x} \ frac {dt} {t} [/ math]. ¿Cómo mostrarías que [math] \ textit {f} [/ math] es una función uno a uno y sobre?
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)