¿Ejemplos de integrales no triviales exclusivamente irracionales?

Una integral muy famosa es

(1) R porque ( X ) X 2 + 1 d X = π mi

como se muestra en las respuestas a esta pregunta .

Encuentro esta integral particularmente interesante ya que el resultado se escribe exclusivamente como una combinación (por "combinación" me refiero a un producto/cociente/suma/exponenciación/logaritmo) de números irracionales, donde estoy usando " exclusivamente irracional " aquí para indicar que la respuesta no involucra otros factores de números racionales combinados con los irracionales. Por ejemplo, la integral:

0 X 2 mi X 1 d X = 2 ζ ( 3 )

Yo no consideraría ser "exclusivamente" irracional por el factor de 2 multiplicando ζ ( 3 ) .


Decidí buscar otras integrales exclusivamente irracionales similares a ( 1 ) que combinan varios números irracionales en su resultado, pero para mi sorpresa, no pude encontrar muchos ejemplos similares a este. La mayoría de los resultados que encontré eran " irracionales simples ", como las siguientes integrales:

R mi X 2 d X = π , 0 1 en ( en ( 1 X ) ) d X = γ , 1 en ( X ) 1 + X 2 d X = GRAMO

que, aunque son exclusivamente irracionales, también pueden escribirse en términos de un solo irracional famoso (de ahí el apodo que les di). Algunos otros hallazgos comunes fueron "casi accidentes" como:

0 mi X en 2 ( X )   d X = γ 2 + π 2 6 , 1 ( X 4 6 X 2 + 1 ) en ( en ( X ) ) ( 1 + X 2 ) 3 d X = 2 GRAMO π

De hecho, la única otra integral exclusivamente irracional que no era también irracional simple que encontré fue la integral

(2) 0 ( 1 X 2 ) sech 2 ( π X 2 ) ( 1 + X 2 ) 2 d X = ζ ( 3 ) π


Por supuesto, hay integrales triviales que de hecho dan resultados exclusivamente irracionales. Por ejemplo

0 π mi 1 d X = π mi

pero me gustaría evitar este tipo de integrales. Otro tipo es la solución "disfrazada", que sería algo así como

R pecado ( X ) mi X d X = π mi , 1 1 1 4 X 1 + X 1 X en ( 2 X 2 + 2 X + 1 2 X 2 2 X + 1 )   d X = π arccot ( φ )

que en realidad son solo soluciones irracionales simples o cuasi accidentes en los que solo multiplicamos un factor a ambos lados. También me gustaría evitar este tipo de integrales.


Mi pregunta es:

¿Alguien conoce integrales exclusivamente irracionales como ( 1 ) y ( 2 ) donde combinas varios irracionales diferentes en el resultado? Preferiblemente evitando integrales irracionales simples, disfrazadas o triviales como mis otros ejemplos.

Idealmente, me gustaría obtener resultados que combinen exclusivamente números irracionales (y también muy probable pero aún no probado que sean irracionales ) como mi , π , proporción áurea φ , ζ ( entero impar ) , en ( número primo ) , número primo , constante de Euler-Mascheroni y constante de Catalan; Donde por "combinación" quiero decir que estos números se suman/multiplican/dividen/exponencian o son el argumento de una función trigonométrica, de una manera que no se simplifica a factores de números racionales, es decir, sin algo como en ( mi 2 ) .

Alguna ayuda o sugerencia será muy apreciada. ¡Muchas gracias!

Hmmm, es interesante, ¿cómo sabes que la constante de Euler-Mascheroni γ es irracional?
@Azlif, ahhhhh, de hecho, mi ilusión apareció una vez más. Olvidé cuántos posibles candidatos no han demostrado ser irracionales. ! Gracias por los comentarios!
0 Exp ( 3 X 2 + 15 2 X 2 + 18 ) porque ( 2 X X 2 + 9 ) d X X 2 + 1 = π mi
0 1 X X ( 1 X ) X 1 pecado π X d X = π mi
0 1 en ( 1 X 1 + X ) en ( 1 X 2 1 + X 2 ) d X X = π GRAMO
@Zacky, ¡gracias! Estos son exactamente el tipo de resultados que estaba buscando. ¿Podría publicar estas integrales como respuesta para que sean más visibles para las personas?
La mayoría de ellos ya están publicados en este sitio, por eso los publiqué como comentario.
Según Wikipedia , tampoco se sabe si la constante del catalán GRAMO es irracional
0 en ( X ) ( X + 1 ) ( X + 2 ) ( π 2 + en 2 X ) d X = γ + Re [ ψ ( 0 ) ( en 2 2 π i ) ]

Respuestas (4)

Este es de ninguna manera trivial

0 1 arcán 2 X en X ( 1 X ) 2 X d X = GRAMO 2

Obviamente. Esta es la primera vez que vi la constante catalana al cuadrado en el valor de una integral.
@LaxmiNarayanBhandari: lo construí yo mismo.
aquí hay algunos más sutiles
en 2 π = 0 1 1 X ( 1 + X ) en X d X γ π = R pecado X en | X | X d X π ϕ 1 / 2 = 0 π broncearse 1 ( 1 + porque X ) 1 + porque X d X
DIOS MÍO. Ustedes construyen integrales. 😳
@LaxmiNarayanBhandari: solo el GRAMO 2 -integral. los tres anteriores son conocidos.
@Quanto, en caso de que desee compartir el método que usó para construir este resultado, comencé una recompensa en esta pregunta para obtener pruebas alternativas de este problema. ¡Tengo mucha curiosidad por saber cómo se llega a un resultado como este!

Mientras buscaba en este sitio las integrales que @Zacky publicó en los comentarios, encontré algunos resultados más:

  • De esta respuesta de Franklin Pezzuti Dyer

0 π 2 en ( X 2 + en 2 ( porque ( X ) ) ) d X = π en ( en ( 2 ) )

  • De esto y esta respuesta de Zacky (gracias de nuevo: D)

R pecado ( X 1 X ) X + 1 X d X = π mi 2 0 π 2 X en ( cuna ( X 2 ) ( segundo X 2 ) 4 ) d X = π GRAMO

  • De esta respuesta de Felix Marin

0 π 2 en ( 1 + 4 pecado 4 ( X ) ) d X = π ( en ( φ + φ ) en ( 2 ) )

0 1 en ( en 2 ( 1 X ) ) ( 1 + X ) 2 d X = en ( π ) en ( 2 ) γ

Aquí están algunas π encima mi variaciones sobre un tema. Obviamente hay una estrecha conexión entre cada una de las integrales.

0 pecado X X ( 1 + X 2 ) d X = π π mi ; X pecado X 1 + X 2 d X = π mi ; X pecado ( 2 X ) ( 1 + X 2 ) 2 d X = π mi 2 ; 0 porque ( 3 X ) ( 1 + X 2 ) 2 d X = π mi 3 ; 0 X pecado ( 4 X ) ( 1 + X 2 ) 2 d X = π mi 4 .

Y para algo un poco diferente (y artificial, pero creo que aún dentro de los límites de sus requisitos):

0 bronceado ( X 4 ) sech ( X 4 ) X d X = GRAMO π ; 0 bronceado ( X 7 ) sech 2 ( X 7 ) X d X = ζ ( 3 ) π 2 .

Aunque hay algunos casos en los que una integral será "no trivialmente exclusivamente irracional" como usted dice, con suficiente manipulación, se podría demostrar que muchos de ellos están "disfrazados" (reglas trigonométricas, u-subs, etc.). de hecho, se puede conjeturar que se puede hacer un algoritmo para generar integrales iguales a una respuesta objetivo a través de la regla del producto, la regla de la cadena y varias identidades conocidas, después de lo cual se podría usar U-sub y el filtrado para obtener correctamente integrales que aparecen a simple vista como siendo "no trivialmente exclusivamente irracional".

También: mi y π son tan irracionales como mi 2 , de hecho, nuestro conocimiento sobre la posibilidad de irracionalidad de mi + π y mi π es solo un poco más que de 4 γ posible irracionalidad de , un número que, por lo que sabemos, podría ser en sí mismo un múltiplo de en ( ζ ( 3 ) ) .

Creo que una pregunta similar con requisitos que son un poco menos arbitrarios es: ¿Cuáles son algunos ejemplos de números irracionales o trascendentales que son períodos o números que son irracionales o trascendentales para q [ π ] siendo "pseudoperíodos" (que permiten funciones trigonométricas en el integrando y π en los límites)?