Advertencia: cálculos extremadamente molestos a continuación…
El problema
Mirando el sitio de Chris Lomont, aparte de un interesante análisis del famoso bug del Excel 2007, encontré el siguiente problema:
For a very challenging integration problem, solvable with 3rd semester calculus, look to the textbook, “Calculus and Analytic Geometry”, 6th edition, by
George B. Thomas and Ross L. Finney. The following problem appears in section 16.7 on multiple integration:37. WARNING: Hard problem. Setting up the integral is straightforward, but integrating the result takes hours. (It took MACYSMA 20 minutes.)
A square hole of side length 2b is cut symmetrically through a sphere of radius a (a > b * sqrt(2)). Find the volume removed.
This is easy to set up – but try to integrate it using undergrad methods…. Very hard 🙂
Obviamente eso me llevó irresistiblemente a tratar de resolverlo con métodos elementales de integración (o sea con los únicos que conozco…).
El problema se reduce esencialmente a evaluar la siguiente integral doble:
.
Arcoseno
Para empezar podemos intentar resolver la integral de que debería ser equivalente aparte de algunos términos de escala pero no es fácil ver como empezar. Lo único que recuerdo respecto a esa clase de integrales es que solían involucrar arcosenos, pero no recuerdo la derivada exacta de dicha función. Probando en lugar de fijarme en una tabla…
(regla de la cadena)
(reemplazo
)
Por si es útil ( 😀 ), obtengo la integral indefinida:
.
Resolviendo esta otra integral indefinida tenemos:
Aplicando este resultado en la integral anterior:
Una integral
Mediante algunas operaciones podemos llegar a:
.
Resolviendo la integral indefinida que aparece dos veces en (4)
(aplicando (2))
y sustituyendo en cada uno de los términos tenemos:
(eliminando términos pares)
Reemplazando en (4) los valores de los términos obtenidos en (5) y (6):
.
Finalmente llegamos a:
.
Aplicación a la integral original del resultado de esta primera integral
Si trabajamos un poco con al expresión de (1) veremos que puede reducirse a una forma idéntica a la resuelta como (7):
Si hacemos para simplificar las expresiones:
Aplicado el resultado obtenido en (7):
Trabajando con los términos del paréntesis:
De este modo la integral en (1) queda expresada como
.
En un próximo post analizaremos como resolver esta segunda integral (fundamentalmente el primer término, el segundo se reduce a la integral resuelta en este post).