El curioso caso de las integrales de Borwein

En matemáticas, muchas veces intentamos encontrar reglas generales a partir de ciertos valores que poseemos o de ciertos resultados que obtenemos. En unas ocasiones “acertamos”, refrendando nuestro “acierto” con una demostración (recordad: una creencia no es una demostración), pero en otras fallamos estrepitosamente (recordad: la intuición puede jugarnos una mala pasada). La cuestión que nos ocupa podría encuadrarse en este último caso: se trata de las integrales de Borwein.

Vamos a ver de qué va todo esto. En lo que sigue vamos a tratar con la función \cfrac{sen(x)}{x}, para x \ne 0, definiéndola como 1 para x=0 si fuera necesario. Lo primero que queremos hacer es calcular la siguiente integral:

\displaystyle{\int_0^{\infty} \cfrac{sen(x)}{x} \; dx}

Se trata, como veis, de una integral impropia. Podéis intentar resolverla con las técnicas habituales de cálculo de integrales, pero no podréis. Y la razón es muy sencilla: la función con la que estamos tratando no tiene primitiva elemental. El caso es que con análisis complejo sí que se puede calcular su valor. En este caso obtendríamos que

\displaystyle{\int_0^{\infty} \cfrac{sen(x)}{x} \; dx}=\cfrac{\pi}{2}

Multipliquemos la función por \frac{sen(x/3)}{x/3} y calculemos su integral. Aquí os voy a dar directamente el resultado. Es:

\displaystyle{\int_0^{\infty} \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \; dx}=\cfrac{\pi}{2}

Mismo resultado que la anterior, curioso. ¿Y si multiplicamos la anterior por \frac{sen(x/5)}{x/5}? Pues obtenemos esto:

\displaystyle{\int_0^{\infty} \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \cdot \cfrac{sen(x/5)}{x/5} \; dx}=\cfrac{\pi}{2}

De nuevo el mismo resultado. ¿Y a que no imagináis qué ocurrirá si multiplicamos la función anterior por \frac{sen(x/7)}{x/7} y calculamos la integral? Pues aquí lo tenéis:

\displaystyle{\int_0^{\infty} \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \cdot \cfrac{sen(x/5)}{x/5} \cdot \cfrac{sen(x/7)}{x/7} \; dx}=\cfrac{\pi}{2}

También \pi/2, inquietante…

¿Qué pasaría si metemos la función correspondiente al 9? Lo esperado:

\displaystyle{\int_0^{\infty} \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \cdot \ldots \cdot \cfrac{sen(x/9)}{x/9} \; dx}=\cfrac{\pi}{2}

¿Y si metemos la del 11? Ahí va:

\displaystyle{\int_0^{\infty} \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \cdot \ldots \cdot \cfrac{sen(x/11)}{x/11} \; dx}=\cfrac{\pi}{2}

¿Y añadiendo la del 13? Exacto:

\displaystyle{\int_0^{\infty} \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \cdot \ldots \cdot \cfrac{sen(x/13)}{x/13} \; dx}=\cfrac{\pi}{2}

¿E incluyendo la del 15? Pues…

\displaystyle{\int_0^{\infty} \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \cdot \ldots \cdot \cfrac{sen(x/13)}{x/13} \cdot \cfrac{sen(x/15)}{x/15} \; dx}=\cfrac{467807924713440738696537864469}{935615849440640907310521750000}\pi

valor que es algo menor que \pi/2 (aproximadamente 2 \cdot 10^{-11}).

Esto…¿?¿?¿?¿?¿? ¿Qué ha ocurrido? ¿De dónde viene esta rotura tan brusca de la armoniosa regularidad que parecían seguir estas integrales?

Como es evidente, éstas son las conocidas como integrales de Borwein. En 2001, David y Jonathan Borwein (padre e hijo respectivamente) publicaron Some remarkable properties of sinc and related integrals en The Ramanujan Journal. En dicho trabajo estudiaban estas integrales y, entre otras cosas, descubrían esta curiosa propiedad. Concretamente demostraban que las citadas integrales tenían como resultado \pi/2 mientras la suma de los valores que multiplican a x (exceptuando el primero, 1) fuera inferior a 1. Efectivamente, se tiene que

\cfrac{1}{3}+\cfrac{1}{5}+\cfrac{1}{7}+\cfrac{1}{9}+\cfrac{1}{11}+\cfrac{1}{13}=0.95513375 \ldots < 1

pero

\cfrac{1}{3}+\cfrac{1}{5}+\cfrac{1}{7}+\cfrac{1}{9}+\cfrac{1}{11}+\cfrac{1}{13}+\cfrac{1}{15}=1.02180042 \ldots > 1

Por eso al añadir la fracción correspondiente al 15 la integral deja de valer \pi/2.

Decía hace un momento que en su trabajo los Borwein descubrieron esa propiedad entre otras cosas. Con otras cosas me refería al descubrimiento de una propiedad del estilo para unas integrales del estilo a las anteriores. Concretamente para las integrales que se obtienen de las comentadas anteriormente al multiplicar las funciones por cos(x). Se tiene lo siguiente:

\displaystyle{\int_0^{\infty} cos(x) \cdot \cfrac{sen(x)}{x} \; dx}=\cfrac{\pi}{4}

\displaystyle{\int_0^{\infty} cos(x) \cdot \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \; dx}=\cfrac{\pi}{4}

\displaystyle{\int_0^{\infty} cos(x) \cdot \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \cdot \cfrac{sen(x/5)}{x/5} \; dx}=\cfrac{\pi}{4}

Y así sucesivamente hasta

\displaystyle{\int_0^{\infty} cos(x) \cdot \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \cdot \ldots \cdot \cfrac{sen(x/111)}{x/111} \; dx}=\cfrac{\pi}{4}

Peeeeeeero

\displaystyle{\int_0^{\infty} cos(x) \cdot \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \cdot \ldots \cdot \cfrac{sen(x/113)}{x/113} \; dx} < \cfrac{\pi}{4}

Lo que demostraron en este caso es que las integrales daban como resultado \pi/4 mientras los valores que multiplican a x (también exceptuando el 1, como antes) sumen menos de 2. Y tenemos que

\cfrac{1}{3}+\cfrac{1}{5}+\cfrac{1}{7}+ \ldots + \cfrac{1}{111}=1.99443750 \ldots < 2

pero

\cfrac{1}{3}+\cfrac{1}{5}+\cfrac{1}{7}+ \ldots + \cfrac{1}{111}+\cfrac{1}{113}=2.00328705 \ldots > 2

En realidad, en el paper de los Borwein enlazado antes no aparece este segundo problema en la forma descrita aquí, pero sí en una forma parecida. En dicho paper tenéis demostraciones de ambos resultados. La manera en la que aquí se describe el caso del segundo tipo de integrales está sacado del trabajo Two curious integrals and a graphic proof, de Hanspeter Schmid, donde también podréis encontrar demostraciones de los dos resultados comentados aquí.


Por cosas como éstas, y por muchas otras, es por lo que amo a las matemáticas. Por eso la imagen que encabeza este post, y por eso también artículos cómo éste.


Escribir un artículo sobre las integrales de Borwein estaba en cartera hace tiempo, pero me lo recordó esta publicación en The Math Kid. Si os ha interesado el tema, podéis echarle un ojo a otros papers que he encontrado cuya temática está relacionada con todo esto:


Esta entrada participa en la Edición 6.6: números vampiro del Carnaval de Matemáticas, cuyo anfitrión es el blog Scire Science.

Autor: ^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.

7 Comentarios

  1. Muy curioso !!

    Supongo que :

    \displaystyle{\int_0^{\infty} cos(x) \cdot \cfrac{sen(x)}{x} \cdot \cfrac{sen(x/3)}{x/3} \cdot \ldots \cdot \cfrac{sen(x/113)}{x/113} \; dx} < \cfrac{\pi}{4}

    Muchas gracias por tu labor de divulgación y por traernos entradas tan interesantes !

    Publica una respuesta
  2. Además de curioso, un buen trabajo. Leeré la bibliografía en cuanto pueda.

    Publica una respuesta
  3. Es en serio genial. Hay varias cosas que me gustan de esta historia.

    Lo primero es, evidentemente, lo interesante que resulta este comportamiento. Me sorprende que se haya podido establecer la regularidad necesaria considerando que la integral no tiene primitiva. Brillante.

    Lo segundo es lo admirable que es el trabajo padre e hijo por el bien de la ciencia. Soy padre de un bebé y sería un sueño dedicarnos juntos al desarrollo de la matemática.

    Es la primera vez que opino en este portal pero sigo vuestro trabajo desde hace tiempo. Agradezco que haya gente como ustedes que promueve una ciencia maravillosa pero muchas veces infravalorada.

    Saludos.

    Publica una respuesta

Trackbacks/Pingbacks

  1. Bitacoras.com - Información Bitacoras.com Valora en Bitacoras.com: En matemáticas, muchas veces intentamos encontrar reglas generales a partir de ciertos valores que…

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Envía un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *