Estoy tratando de evaluar ∫∞0e−x1+x2dx Al hacer la sustitución x=tanθ , ∫∞0e−x1+x2dx=∫π20exp(−tanθ)dθ Así que converge a algo menor que π2 . ¿Existe alguna forma de hallar el valor exacto utilizando únicamente métodos elementales?
Respuestas
¿Demasiados anuncios?Como se ha señalado en los comentarios y en la respuesta de Xiaolang, es muy poco probable que esta integral tenga una solución cerrada en términos de funciones elementales, pero es posible expresarla en términos de integrales exponenciales o, equivalentemente, integrales seno y coseno. Difícilmente pueden considerarse "métodos elementales", pero al menos podemos eliminar las integrales seno y coseno utilizando sus expansiones en serie de potencias.
Comenzamos con la representación en términos de las integrales del coseno y del seno Ci y Si : ∫∞0e−x1+x2=Ci(1)sin(1)−Si(1)cos(1)+πcos(1)2, Ci(x)=γ+ln(x)+∫x0cos(t)−1tdt, Si(x)=∫x0sin(t)tdt, où γ=0.577… es la constante de Euler-Mascheroni. Las expansiones en serie de potencias para Ci(x) y Si(x) se deducen directamente de sus definiciones en términos de senos y cosenos: Ci(x)=γ+ln(x)+∞∑j=0(−1)j+1x2j+2(2j+2)!(2j+2), Si(x)=∞∑j=0(−1)jx2j+1(2j+1)!(2j+1). Sustituyendo x=1 en estas expresiones, aplicando las expansiones en serie de potencias para sin(1) y cos(1) donde se multiplican Ci(1) y Si(1) y haciendo una cantidad no despreciable de aritmética, encontramos: ∫∞0e−x1+x2=γsin(1)+πcos(1)2+∞∑k=0∞∑j=1f(j−k)j(j!)(k!). Aquí la función f(j−k) es la secuencia 0,−1,0,1,… : f(j−k)=0 ifj−k≡0 (mod4)=−1 ifj−k≡1 (mod4)=0 ifj−k≡2 (mod4)=1 ifj−k≡3 (mod4). Es evidente que la Ec. (⋆) converge rápidamente, considerando las funciones factoriales en el denominador del sumando. En efecto, incluyendo sólo 25 términos (5 valores para cada índice), obtenemos 0,621..., coherente con el resultado 0,621449... citado anteriormente.