Estoy tratando de evaluar esta integral ∫10sin(πx)ln(Γ(x))dx∫10sin(πx)ln(Γ(x))dx y llegué al punto, cuando necesito encontrar ∫π0sin(x)ln(sin(x))dx∫π0sin(x)ln(sin(x))dx pero todo lo que he intentado ha fallado, o bien no he sido capaz de poner los bordes. ¿Podríais ayudarme, por favor? Gracias
Respuestas
¿Demasiados anuncios?Dejemos que u=cos(x)u=cos(x) entonces ∫π0sin(x)log(sin(x))dx=12∫1−1log(1−u2)du=12(∫1−1log(1−u)du+∫1−1log(1+u)du)=∫20log(v)dv=vlog(v)−v]20=2log(2)−2
Utilizando el comentario de Jack D'Aurizio ∫10sin(πx)log(Γ(x))dx=∫10sin(πx)log(Γ(1−x))dx=12∫10sin(πx)log(πsin(πx))dx=12π∫π0sin(x)log(π)dx−12π∫π0sin(x)log(sin(x))dx=log(π)π−log(2)−1π=log(eπ/2)π Explicación:
(3) : sustituto x↦1−x
(4) : promedio (2) y (3) y utilizar Fórmula de reflexión de Euler
(5) : sustituto x↦x/π
(6) : aplicar (1)
(7) : álgebra
Vamos a poner todo junto. I=∫10sin(πx)logΓ(x)dx=∫10sin(πz)logΓ(1−z)dz conduce a: I=12∫10sin(πx)log(Γ(x)Γ(1−x))dx pero Γ(x)Γ(1−x)=πsin(πx) Por lo tanto: I=logππ−1π∫π/20sin(x)logsin(x)dx o, con un cambio de variable e integración por partes: I=logππ−1π∫10xlogx√1−x2dx=logππ+1π∫101−√1−x2xdx Así que..:
∫10sin(πx)logΓ(x)dx=1π(1+logπ2)
ya que una primitiva para 1−√1−x2x=x1+√1−x2 viene dada por log(1+√1−x2)−√1−x2 .
Utilizando el fórmula de reflexión , (5) puede verse como una consecuencia de La fórmula de Raabe También.
También se deduce de Expansión de la serie de Fourier de Kummer .