Integral múltiple

Una **integral múltiple** ye un tipu d'integral *definida* aplicada a funciones de más d'una variable real, por casu, f(x,y) o f(x,y,z).

## Introducción
De la mesma manera en que la integral d'una función positiva f(x) d'una variable definida nun intervalu puede interpretase cómo l'área ente la gráfica de la función y la exa x nesi intervalu, la **doble integral** d'una función positiva f(x,y) de dos variables, definida nuna rexón del planu xy, puede interpretase como'l volume ente la superficie definida pola función y el planu xy nesi intervalu. Al realizar una "integral triple" d'una función f(x,y,z) definida nuna rexón del espaciu xyz, la resultancia ye un hipervolumen, sicasí ye bonu notar que si f(x,y,z)=1 la resultancia puede interpretase como'l volume de la rexón d'integración. Pa integrales d'ordes cimeros, la resultancia xeométrica correspuende a hipervolúmenes de dimensiones cada vez cimeres.

La manera más avezada de representar una integral múltiple ye añerando signos d'integración nel orde inversu al orde d'execución (el de más a la izquierda ye'l postreru en ser calculáu), siguíu de la función y los diferenciales n'orde d'execución. El dominiu d'integración representa sobre cada signu d'integral, o de cutiu ye embrivíu por una lletra nel signu d'integral de más a la derecha:

Ye importante destacar que nun ye posible calcular la función primitiva o antiderivada d'una función de más d'una variable polo que les integrales múltiples *indefiníes* nun esisten.

## Definición
Una forma relativamente senciella de definir les integrales múltiples ye por aciu la so representación xeométrica como la magnitú del espaciu ente l'oxetu definíu pola ecuación x_{n+1} = f(x_1,...,x_n) y una rexón T nel espaciu definíu peles exes de les variables independientes de la función f (si T ye una rexón zarrao y acutao y f ta definida nésta). Por casu, si n=2, el volume asitiáu ente la superficie definida por x_3 = f(x_1,x_2) y una rexón T nel planu x_1x_2 ye igual a dalguna integral doble, si ye que, como se mentó, f ta definida en T.

T puede estremase nuna partición interior \Delta formada por m subrexones rectangulares ensin solapamiento que tean dafechu conteníes en T. La norma ||\Delta|| d'esta partición ta dada pola diagonal más llarga nes m subrexones.

Si toma un puntu (x_{1i}, x_{2i},..., x_{nin}) que tea conteníu dientro de la subrexón con dimensiones \Delta x_{1i}\Delta x_{2i} ...\Delta x_{nin} pa caúna de les m subrexones de la partición, puede construyise un espaciu con una magnitú averada a la del espaciu ente l'oxetu definíu por x_{n+1} = f(x_1,...,x_n) y la subrexón i. Esti espaciu va tener una magnitú de:

:f(x_{1i}, x_{2i},\ldots, x_{nin})\Delta A_{i} = f(x_{1i}, x_{2i},\ldots, x_{nin})\Delta x_{1i}\Delta x_{2i} \ldots \Delta x_{nin}


Entós puede averase la magnitú del espaciu enteru asitiáu ente l'oxetu definíu pola ecuación x_{n+1} = f(x_1,...,x_n) y la rexón T por aciu la suma de Riemann de les magnitúes de los m espacios correspondientes a caúna de les subrexones:

:\sum_{i=1}^m f(x_{1i}, x_{2i},\ldots, x_{nin})\Delta x_{1i}\Delta x_{2i} \ldots \Delta x_{nin}


Esta aproximamientu ameyora a midida que el númberu m de subrexones faise mayor. Esto suxer que podría llograse la magnitú exacta tomando la llende. Al aumentar el númberu de subrexones va menguar la norma de la partición:

:\lim_{m \to \infty}\sum_{i=1}^m f(x_{1i}, x_{2i},\ldots, x_{nin})\Delta x_{1i}\Delta x_{2i} \ldots \Delta x_{nin} = \lim_{\|\Delta\| \to 0}\sum_{i=1}^m f(x_{1i}, x_{2i},\ldots, x_{nin})\Delta x_{1i}\Delta x_{2i} \ldots \Delta x_{nin}

El significáu rigorosu d'esti postreru llende ye que la llende ye igual L si y namái si pa tou \varepsilon > 0  esiste un \delta > 0 tal que

:\left | L -\sum_{i=1}^m f(x_{1i}, x_{2i},\ldots, x_{nin})\Delta x_{1i}\Delta x_{2i} \ldots \Delta x_{nin} \right \vert 


pa toa partición \Delta de la rexónT(que satisfaiga ||\Delta|| ), y pa toles eleiciones posibles de (x_{1i}, x_{2i},..., x_{nin}) na iésima subrexón. Esto conduz a la definición formal d'una integral múltiple:

:Sifta definida nuna rexón zarrao y acutaoTdel definíu peles exes de les variables independientes de f, la integral defsobreTta dada por:

: \iint \ldots \int_{T} \,f(x_1,\ldots,x_n) dx_1 \ldots \,dx_n = \lim_{\|\Delta\| \to 0}\sum_{i=1}^m f(x_{1i}, x_{2i},\ldots, x_{nin})\Delta x_{1i}\Delta x_{2i} \ldots \Delta x_{nin}

:siempres que la llende esista. Si la llende esiste dizse quefye integrable con al respective de T.

## Propiedaes
Les integrales múltiples comparten munches de les propiedaes de les integrales simples. Si f y g son funciones continues nuna rexón zarrao y acutao D nun espaciu \mathbb R^n c una constante con al respective de toles variables arreyaes entós puede demostrase que:

1. 
:\iint \ldots \int_D\;c f(x_1,x_2,\ldots,x_n) \;dx_1 dx_2 \ldots dx_n 
= c \iint \ldots \int_\mathbf{D}\;f(x_1,x_2,\ldots,x_n)
 \;dx_1 dx_2 \ldots dx_n

2.
:\iint \ldots \int_{D} \,[f(x_1,x_2,\ldots,x_n) \pm g(x_1,x_2,\ldots,x_n)]
 dx_1\,dx_2 \ldots \,dx_n =
:\iint \ldots \int_{D} \,f(x_1,x_2,\ldots,x_n) dx_1\,dx_2 
\ldots \,dx_n \pm \iint \ldots \int_{D} \,g(x_1,x_2,\ldots,x_n) dx_1\, dx_2
\ldots \,dx_n

3.
: Si \quad f(x_1,x_2,\ldots,x_n) \geq 0, entós:
:\iint \ldots \int_{D} \,f(x_1,x_2,\ldots,x_n) dx_1\,dx_2
 \ldots \,dx_n \geq 0  

4.
:Si \quad f(x_1,x_2,\ldots,x_n) \geq g(x_1,x_2,\ldots,x_n), entós: 
:\iint \ldots \int_{D} \,f(x_1,x_2,\ldots,x_n) dx_1\,dx_2 \ldots
 \,dx_n \geq \iint \ldots \int_{D} \,g(x_1,x_2,\ldots,x_n) dx_1\,dx_2 
\ldots \,dx_n

5.
:Sía D la unión ente dos rexones, D1 y D2, que nun asolapen ente sigo, entós:
:\iint \ldots \int_{D} \,f(x_1,x_2,\ldots,x_n) dx_1\, dx_2
\ldots \,dx_n = 
:\iint \ldots \int_{D_1} \,f(x_1,x_2,\ldots,x_n) dx_1
\,dx_2 \ldots \,dx_n + \iint \ldots \int_{D_2} \,f(x_1,x_2,\ldots,x_n)
 dx_1\,dx_2 \ldots \,dx_n

## Integrales múltiples ya Integrales iteradas
Les integrales múltiples tán estrechamente rellacionaes coles integrales iteradas, que son necesaries pa resolver les integrales múltiples. La diferencia ente integrales múltiples y iteradas consiste en qu'una se refier al conceutu matemáticu d'integral (aplicáu a delles variables) y otra al procedimientu pol cual resuélvese la integral múltiple. Si la espresión

:\int_a^b\int_c^d f(x,y)\,dy\,dx

referir a una integral iterada, la parte esterna

:\int_a^b \cdots \, dx

ye la integral con al respective de *x* de la función de *x*:

:g(x)=\int_c^d f(x,y)\,dy.

Una integral doble, sicasí ta definida con al respective de un área nel planu xy. La integral doble esiste si y namái si los dos integrales iteradas esisten y son iguales. Esto ye, si la integral doble esiste, entós ye igual a la integral iterada, ensin importar si l'orde d'integración ye dydx o dxdy, y polo xeneral unu calcular calculando una sola d'estes. Sicasí, dacuando los dos integrales iteradas esisten ensin ser iguales y nesti casu nun esiste la integral doble, yá que se tien:

:\int_a^b\int_c^d f(x,y)\,dy\,dx \neq \int_c^d\int_a^b f(x,y)\,dx\,dy.

D'una manera más formal, el Teorema de Fubini afirma que

:\int_{A\times B} |f(x,y)|\,d(x,y)

Esto ye, si la integral ye absolutamente converxente, entós la integral doble ye igual a la integral iterada.

:\int_{A\times B} f(x,y)\,d(x,y)=\int_A\left(\int_B f(x,y)\,dy\right)\,dx=\int_B\left(\int_A f(x,y)\,dx\right)\,dy.

Esto asocede, cuando f ye una función acutada y tanto A como B son rexones acutaes tamién. Esto entiéndese fácilmente pensando que si la función o la rexón del dominiu nun tán acutaes, la integral múltiple nun puede esistir.

La notación

:\int_{[a,b]\times[c,d]} f(x,y)\,dx\,dy

puede usase si deseyar ser enfáticu al referise a una integral doble y non a una iterada.

## Métodos d'integración
### Funciones constantes
Nel casu de funciones constantes, la resultancia ye trivial: a cencielles multiplíquese'l valor de la función constante c pola midida del dominiu d'integración. Si c = 1, y ye integrada al traviés d'una rexón de \mathbb R^2 esto da l'área de la rexón, ente que si ye una rexón de \mathbb R^3 da'l volume de la rexón y asina socesivamente.

Por casu:

::D = \{ (x,y)| \ 2 \le x \le 4 \ ; \ 3 \le y \le 6 \} y f(x,y) = c\,\!

:Integrando f sobre D:

::\int_3^6 \int_2^4 \ c \ dx\, dy = c \cdot \mbox{area}(D) = c \cdot (3 \cdot 2) = c \cdot 6.

### Usu de simetríes
Nel casu d'un dominiu nel qu'esista simetría siquier respectu d'unu de les exes, y onde la función pa integrar contenga siquier una función impar con al respective de esa variable, la integral vuélvese nula (una y bones la suma de cantidaes iguales con signu opuestu ye cero). Por casu
:Dada f(x,y) = 2 \ \sin(x) - 3 \ y^3 + 5 y que T = x^2 + y^2 \le 1 ye'l dominiu d'integración del discu de radiu 1 centráu nel orixe.

:Usando la propiedá llinial de les integrales, la integral descomponer en trés partes:

::\iint_T (2 \ \sin(x) - 3 \ y^3 + 5) \ dx \, dy = \iint_T 2 \ \sin(x) \ dx \, dy - \iint_T 3 \ y^3 \ dx \ dy + \iint_T 5 \ dx \ dy

Yá que tantu 2 \sin(x) como 3y^3 son funciones impares, y esiste simetría tantu con respectu a la exa x como con respectu a la exa y, les primeres dos integrales se nulifican, de tala forma que la integral orixinal ye igual namái a la tercera.

\iint_T (2 \ \sin(x) - 3 \ y^3 + 5) \ dx \, dy = \iint_T 5 \ dx \, dy = 5 \pi

### Cambéu de variables
De cutiu, ye útil p'amenorgar la complexidá de la integral camudar una variable por otra que resulte más cómoda, sicasí esto esixe'l cambéu de la rexón d'integración, amás d'añader un factor de correición al diferencial conocíu como determinante jacobiano (en valor absolutu o módulu). El cambéu d'una variable por otra ye nun sentíu xeométricu, un tresformamientu dende un espaciu hasta otru, y ye esti tresformamientu la qu'esixe estos axustes.

Si utiliza una tresformamientu que siga la rellación:

f(y_1,\ldots,y_n) \rightarrow f(x_1(y_1,y_2,\ldots,y_n),\ldots,x_n(y_1,y_2,\ldots,y_n))

Entós puede utilizase el jacobiano del tresformamientu pa simplificar la integral

:J=\frac{D(y_1,\ldots,y_n)}{D(x_1,\ldots,x_n)}= \begin{vmatrix} \frac{\partial y_1}{\partial x_1} & \cdots & \frac{\partial y_1}{\partial x_n} \\ \vdots & \ddots & \vdots \\ \frac{\partial y_n}{\partial x_1} & \cdots & \frac{\partial y_n}{\partial x_n} \end{vmatrix}

Integrando la función tresformada nel dominiu d'integración correspondiente a les variables x, y multiplicando pol valor absolutu del determinante jacobiano y pola serie de diferenciales, llógrase una integral múltiple que ye igual a la integral orixinal, si ye qu'esta esiste.

:\iint \ldots \int_{D} \,f(y_1,\ldots,y_n) dy_1 \ldots \,dy_n = \iint \ldots \int_{T} \,f(x_1,\ldots,x_n) |J| dx_1 \ldots \,dx_n

De siguío danse dellos exemplos d'estos tresformamientos.
#### Coordenaes Polares

Nun espaciu \mathbb R^2, un dominiu d'integración que tenga una *simetría circular* ye munches vegaes susceptible de ser tresformáu de coordenaes rectangulares a polares, lo que significa que cada puntu P (x, y) del dominiu d'una integral doble va tomar el so valor correspondiente en coordenaes polares por aciu el siguiente tresformamientu:

f(x,y) \rightarrow f(\rho \ \cos \theta,\rho \ \sin \theta )

Por casu:

:Si la función ye f(x,y) = x + y\,\!

:aplicando la tresformamientu llógrase la función fácilmente integrable con al respective de \phi y a \rho.

::f(\rho, \phi) = \rho \cos \phi + \rho \sin \phi = \rho \ (\cos \phi + \sin \phi ).

Pueden llograse funciones inclusive más simples:
:Si la función ye f(x,y) = x^2 + y^2\,\!
:Unu tien:

::f(\rho, \theta) = \rho^2 (\cos^2 \theta + \sin^2 \theta) = \rho^2\,\!

Si aplica la identidá trigonométrica pitagórica de senos y cosenos.

El determinante jacobiano del tresformamientu ye:

:\frac{\partial (x,y)}{\partial (\rho, \theta)} = 
\begin{vmatrix}
\cos \theta & - \rho \sin \theta \\
\sin \theta & \rho \cos \theta 
\end{vmatrix} = \rho


El cual llógrase inxertando les derivaes parciales de x= \rho \cos(\theta), y=\rho \sin(\theta) na primer columna con al respective de \rho y na segunda con al respective de \theta.

Poro, una vegada tresformada la función, y multiplicada pol so determinante jacobiano, ésta ye igual a la integral orixinal:

:\iint_D f(x,y) \ dx\, dy = \iint_T f(\rho \cos \theta, \rho \sin \theta) \rho \, d \rho\, d \theta.

#### Coordenaes Esfériques

Cuando esiste simetría esférica nun dominiu en \mathbb R^3, ye posible utilizar un tresformamientu escontra coordenaes esfériques pa simplificar una integral triple. La función ye tresformada pola rellación:

 f(x,y,z) \longrightarrow f(\rho \cos \theta \sin \phi, \rho \sin \theta \sin \phi, \rho \cos \phi)\,\! 

El determinante jacobiano del tresformamientu ye'l siguiente:

::\frac{\partial (x,y,z)}{\partial (\rho, \theta, \phi)} = 
\begin{vmatrix}
\frac{\partial (x)}{\partial (\rho)} & \frac{\partial (x)}{\partial (\theta)} & \frac{\partial (x)}{\partial (\phi)}\\
\frac{\partial (y)}{\partial (\rho)} & \frac{\partial (y)}{\partial (\theta)} & \frac{\partial (y)}{\partial (\phi)}\\
\frac{\partial (z)}{\partial (\rho)} & \frac{\partial (z)}{\partial (\theta)} & \frac{\partial (z)}{\partial (\phi)}
\end{vmatrix}
= 
\begin{vmatrix}
\cos \theta \sin \phi & - \rho \sin \theta \sin \phi & \rho \cos \theta \cos \phi\\
\sin \theta \sin \phi & \rho \cos \theta \sin \phi & \rho \sin \theta \cos \phi \\
\cos \phi & 0 & - \rho \sin \phi
\end{vmatrix} = - \rho^2 \sin \phi


Tomando'l valor absolutu del determinante llógrase'l factor que se debe añader a la integral.

Polo tanto los diferenciales dx\ dy\ dz tresformar en \rho^2 \sin(\varphi)\ d\rho\ d\theta\ d\varphi

Finalmente llógrase la fórmula d'integración:

::\iiint_D f(x,y,z) \, dx\, dy\, dz = \iiint_T f(\rho \cos \theta \sin \phi, \rho \sin \theta \sin \phi, \rho \cos \phi) \rho^2 \sin \phi \, d\rho\, d\theta\, d\phi.

#### Coordenaes Cilíndriques

L'usu de coordenaes cilíndriques pa tresformar una integral triple, ye conveniente especialmente cuando'l dominiu d'integración presenta simetría alredor de la exa **z**. La función tresformar por aciu la siguiente rellación.

f(x,y,z) \rightarrow f(\rho \ \cos \theta,\rho \ \sin \theta, z) 

El determinate jacobiano del tresformamientu ye'l siguiente:

::\frac{\partial (x,y,z)}{\partial (\rho, \theta,z)} = 
\begin{vmatrix}
\cos \theta & -\rho \sin \theta & 0 \\
\sin \theta & \rho \cos \theta & 0 \\
0 & 0 & 1 \end{vmatrix} = \rho 

Poro, puede derivase la siguiente fórmula d'integración:

:\iiint_D f(x,y,z) \, dx\, dy\, dz = \iiint_T f(\rho \cos \theta, \rho \sin \theta, z) \rho \, d\rho\, d\theta\, dz.

## Ver tamién
* Integral
* Teorema de Green
* Teorema de Stokes
* Teorema de la diverxencia
* Teorema de Fubini
* Integral de Riemann

## Referencies

*