8 votos

Por qué es $-\gamma = \int_0^1 \frac{e^{-z}-1}{z}dz+\int_1^\infty \frac{e^{-z}}{z}dz$

Parece que la suma de los dos RHS integrales es "bien conocido"$^\dagger$ a ser de Euler constante: $$\gamma \equiv \int_1^\infty \frac{1}{\lfloor z\rfloor} - \frac{1}{z}dz \quad\stackrel{?}{=}\quad -\int_0^1 \frac{e^{-z}-1}{z}dz-\int_1^\infty \frac{e^{-z}}{z}dz$$

¿Cómo puedo probar que esto es así?

Editar:

Puedo probar esto converge a una constante por mostrar que esto es equivalente a: $$\int_0^1 \frac{e^{-1/z}+e^{-z}-1}{z}dz$$ Y que el límite de $z\to0$ existe, por lo que la integral converge. Esto sin embargo no me trae más cerca de demostrar lo que esta constante es.

$\Tiny^\dagger\text{ From the collected papers of L. Landau. }$

8voto

Ron Gordon Puntos 96158

Integración por las piezas en la primera integral produce

$$[(1-e^{-z}) \log{z}]_0^{1} -\int_0^1 dz \, e^{-z} \, \log{z} = -\int_0^1 dz \, e^{-z} \, \log{z}$$

Integración por partes la segunda integral produce

$$-[e^{-z} \log{z}]_1^{\infty} - \int_1^{\infty}dz \, e^{-z} \, \log{z} = - \int_1^{\infty}dz \, e^{-z} \, \log{z}$$

Unir este, estas suma de integrales

$$-\int_0^{\infty} dz \, e^{-z} \, \log{z} = -\left [\frac{d}{ds} \int_0^{\infty} dz \, e^{-z} \, z^s\right ]_{s=1} = -\left [\frac{d}{ds} \Gamma(s)\right]_{s=1} = -\gamma $$

8voto

MrTuttle Puntos 1116

$\alpha > 0$, Escriba

$$\begin{align} F(\alpha) &:= \int_0^1 \frac{e^{-z}-1}{z^{1-\alpha}}\,dz + \int_1^\infty \frac{e^{-z}}{z^{1-\alpha}}\,dz\\ &= \int_0^\infty z^{\alpha-1}e^{-z}\,dz - \int_0^1 z^{\alpha-1}\,dz\\ &= \Gamma(\alpha) - \frac{1}{\alpha}\\ &= \frac{\alpha\Gamma(\alpha) - 1}{\alpha}\\ &= \frac{\Gamma(1+\alpha) - \Gamma(1)}{\alpha} \xrightarrow{\alpha\to 0} \Gamma'(1) = -\gamma. \end {Alinee el} $$

Por otro lado

$$\lim_{\alpha\to 0} F(\alpha) = \int_0^1 \frac{e^{-z}-1}{z}\,dz + \int_1^\infty \frac{e^{-z}}{z}\,dz.$$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X