Integral m�ltiple

Ir a la navegaci�nIr a la b�squeda
Una integral m�ltiple es un tipo de integral definida aplicada a funciones de m�s
de una variable real, por ejemplo, {\displaystyle f(x,y)}f(x,y) o {\displaystyle
f(x,y,z)}f(x,y,z).

La doble integral como el volumen bajo una superficie. La regi�n rectangular abajo
de la figura es el dominio de integraci�n, mientras que la superficie es la gr�fica
de la funci�n de dos variables de la integral.

�ndice
1 Introducci�n
2 Definici�n
3 Propiedades
4 Integrales m�ltiples e Integrales iteradas
5 M�todos de integraci�n
5.1 Funciones constantes
5.2 Uso de simetr�as
5.3 Cambio de variables
5.3.1 Coordenadas Polares
5.3.2 Coordenadas Esf�ricas
5.3.3 Coordenadas Cil�ndricas
6 V�ase tambi�n
7 Referencias
Introducci�n
De la misma manera en que la integral de una funci�n positiva {\displaystyle
f(x)}f(x) de una variable definida en un intervalo puede interpretarse como el �rea
entre la gr�fica de la funci�n y el eje x en ese intervalo, la doble integral de
una funci�n positiva {\displaystyle f(x,y)}f(x,y) de dos variables, definida en una
regi�n del plano xy, se puede interpretar como el volumen entre la superficie
definida por la funci�n y el plano xy en ese intervalo. Al realizar una �integral
triple� de una funci�n {\displaystyle f(x,y,z)}f(x,y,z) definida en una regi�n del
espacio xyz, el resultado es un hipervolumen; sin embargo, es bueno notar que si
{\displaystyle f(x,y,z)=1}{\displaystyle f(x,y,z)=1} el resultado se puede
interpretar como el volumen de la regi�n de integraci�n. Para integrales de �rdenes
superiores, el resultado geom�trico corresponde a hipervol�menes de dimensiones
cada vez superiores.

La manera m�s usual de representar una integral m�ltiple es anidando signos de

integraci�n en el orden inverso al orden de ejecuci�n (el de m�s a la izquierda es
el �ltimo en ser calculado), seguido de la funci�n y los diferenciales en orden de
ejecuci�n. El dominio de integraci�n se representa sobre cada signo de integral, o
a menudo es abreviado por una letra en el signo de integral de m�s a la derecha:

{\displaystyle \iint \ldots \int _{\mathbf {D} }\;f(x_{1},x_{2},\ldots

,x_{n})\;\mathbf {d} x_{1}\mathbf {d} x_{2}\!\ldots \mathbf {d} x_{n}.}
{\displaystyle \iint \ldots \int _{\mathbf {D} }\;f(x_{1},x_{2},\ldots
,x_{n})\;\mathbf {d} x_{1}\mathbf {d} x_{2}\!\ldots \mathbf {d} x_{n}.}

Es importante destacar que no es posible calcular la funci�n primitiva o

antiderivada de una funci�n de m�s de una variable por lo que las integrales
m�ltiples indefinidas no existen.

Definici�n
Una forma relativamente sencilla de definir las integrales m�ltiples es mediante su
representaci�n geom�trica como la magnitud del espacio entre el objeto definido por
la ecuaci�n {\displaystyle x_{n+1}=f(x_{1},...,x_{n})}{\displaystyle
x_{n+1}=f(x_{1},...,x_{n})} y una regi�n {\displaystyle T}T en el espacio definido
por los ejes de las variables independientes de la funci�n {\displaystyle f}f (si
{\displaystyle T}T es una regi�n cerrada y acotada y {\displaystyle f}f est�
definida en �sta). Por ejemplo, si {\displaystyle n=2}{\displaystyle n=2}, el
volumen situado entre la superficie definida por {\displaystyle
x_{3}=f(x_{1},x_{2})}{\displaystyle x_{3}=f(x_{1},x_{2})} y una regi�n
{\displaystyle T}T en el plano {\displaystyle x_{1}x_{2}}{\displaystyle x_{1}x_{2}}
es igual a alguna integral doble, si es que, como se mencion�, {\displaystyle f}f
est� definida en {\displaystyle T}T.

{\displaystyle T}T puede dividirse en una partici�n interior {\displaystyle

\Delta }\Delta formada por {\displaystyle m}m subregiones rectangulares sin
solapamiento que est�n completamente contenidas en {\displaystyle T}T. La norma
{\displaystyle ||\Delta ||}{\displaystyle ||\Delta ||} de esta partici�n est� dada
por la diagonal m�s larga en las {\displaystyle m}m subregiones.

Si se toma un punto {\displaystyle (x_{1i},x_{2i},...,x_{ni})}{\displaystyle

(x_{1i},x_{2i},...,x_{ni})} que est� contenido dentro de la subregi�n con
dimensiones {\displaystyle \Delta x_{1i}\Delta x_{2i}...\Delta x_{ni}}
{\displaystyle \Delta x_{1i}\Delta x_{2i}...\Delta x_{ni}} para cada una de las m
subregiones de la partici�n, se puede construir un espacio con una magnitud
aproximada a la del espacio entre el objeto definido por {\displaystyle
x_{n+1}=f(x_{1},...,x_{n})}{\displaystyle x_{n+1}=f(x_{1},...,x_{n})} y la
subregi�n i. Este espacio tendr� una magnitud de:

{\displaystyle f(x_{1i},x_{2i},\ldots ,x_{ni})\Delta

A_{i}=f(x_{1i},x_{2i},\ldots ,x_{ni})\Delta x_{1i}\Delta x_{2i}\ldots \Delta
x_{ni}}{\displaystyle f(x_{1i},x_{2i},\ldots ,x_{ni})\Delta
A_{i}=f(x_{1i},x_{2i},\ldots ,x_{ni})\Delta x_{1i}\Delta x_{2i}\ldots \Delta
x_{ni}}
Entonces se puede aproximar la magnitud del espacio entero situado entre el objeto
definido por la ecuaci�n {\displaystyle x_{n+1}=f(x_{1},...,x_{n})}{\displaystyle
x_{n+1}=f(x_{1},...,x_{n})} y la regi�n {\displaystyle T}T mediante la suma de
Riemann de las magnitudes de los {\displaystyle m}m espacios correspondientes a
cada una de las subregiones:

{\displaystyle \sum _{i=1}^{m}f(x_{1i},x_{2i},\ldots ,x_{ni})\Delta x_{1i}\Delta

x_{2i}\ldots \Delta x_{ni}}{\displaystyle \sum _{i=1}^{m}f(x_{1i},x_{2i},\ldots
,x_{ni})\Delta x_{1i}\Delta x_{2i}\ldots \Delta x_{ni}}
Esta aproximaci�n mejora a medida que el n�mero {\displaystyle m}m de subregiones
se hace mayor. Esto sugiere que se podr�a obtener la magnitud exacta tomando el
l�mite. Al aumentar el n�mero de subregiones disminuir� la norma de la partici�n:

{\displaystyle \lim _{m\to \infty }\sum _{i=1}^{m}f(x_{1i},x_{2i},\ldots

,x_{ni})\Delta x_{1i}\Delta x_{2i}\ldots \Delta x_{ni}=\lim _{\|\Delta \|\to 0}\sum
_{i=1}^{m}f(x_{1i},x_{2i},\ldots ,x_{ni})\Delta x_{1i}\Delta x_{2i}\ldots \Delta
x_{ni}}{\displaystyle \lim _{m\to \infty }\sum _{i=1}^{m}f(x_{1i},x_{2i},\ldots
,x_{ni})\Delta x_{1i}\Delta x_{2i}\ldots \Delta x_{ni}=\lim _{\|\Delta \|\to 0}\sum
_{i=1}^{m}f(x_{1i},x_{2i},\ldots ,x_{ni})\Delta x_{1i}\Delta x_{2i}\ldots \Delta
x_{ni}}
El significado riguroso de este �ltimo l�mite es que el l�mite es igual L si y solo
si para todo {\displaystyle \varepsilon >0}{\displaystyle \varepsilon >0} existe un
{\displaystyle \delta >0}\delta >0 tal que

{\displaystyle \left|L-\sum _{i=1}^{m}f(x_{1i},x_{2i},\ldots ,x_{ni})\Delta

x_{1i}\Delta x_{2i}\ldots \Delta x_{ni}\right\vert <\varepsilon }{\displaystyle
\left|L-\sum _{i=1}^{m}f(x_{1i},x_{2i},\ldots ,x_{ni})\Delta x_{1i}\Delta
x_{2i}\ldots \Delta x_{ni}\right\vert <\varepsilon }
para toda partici�n {\displaystyle \Delta }\Delta de la regi�n {\displaystyle T}T
(que satisfaga {\displaystyle ||\Delta ||<\delta }{\displaystyle ||\Delta ||<\delta
}), y para todas las elecciones posibles de {\displaystyle
(x_{1i},x_{2i},...,x_{ni})}{\displaystyle (x_{1i},x_{2i},...,x_{ni})} en la i�sima
subregi�n. Esto conduce a la definici�n formal de una integral m�ltiple:

Si {\displaystyle f}f est� definida en una regi�n cerrada y acotada {\displaystyle

T}T del definido por los ejes de las variables independientes de f, la integral de
{\displaystyle f}f sobre {\displaystyle T}T est� dada por:
{\displaystyle \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_{ni})\Delta x_{1i}\Delta x_{2i}\ldots \Delta x_{ni}}{\displaystyle \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_{ni})\Delta x_{1i}\Delta x_{2i}\ldots
\Delta x_{ni}}
siempre que el l�mite exista. Si el l�mite existe se dice que {\displaystyle f}f es
integrable con respecto a T.
Propiedades
Las integrales m�ltiples comparten muchas de las propiedades de las integrales
simples. Si {\displaystyle f}f y {\displaystyle g}g son funciones continuas en una
regi�n cerrada y acotada {\displaystyle D}D en un espacio {\displaystyle \mathbb
{R} ^{n}}\mathbb {R} ^{n} {\displaystyle c}c una constante con respecto a todas las
variables involucradas entonces se puede demostrar que:

1.

{\displaystyle \iint \ldots \int _{D}\;cf(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}}{\displaystyle \iint
\ldots \int _{D}\;cf(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.

{\displaystyle \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}=}{\displaystyle \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}=}
{\displaystyle \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}}{\displaystyle
\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 {\displaystyle \quad f(x_{1},x_{2},\ldots ,x_{n})\geq 0}{\displaystyle \quad

f(x_{1},x_{2},\ldots ,x_{n})\geq 0}, entonces:
{\displaystyle \iint \ldots \int _{D}\,f(x_{1},x_{2},\ldots
,x_{n})dx_{1}\,dx_{2}\ldots \,dx_{n}\geq 0}{\displaystyle \iint \ldots \int
_{D}\,f(x_{1},x_{2},\ldots ,x_{n})dx_{1}\,dx_{2}\ldots \,dx_{n}\geq 0}
4.

Si {\displaystyle \quad f(x_{1},x_{2},\ldots ,x_{n})\geq g(x_{1},x_{2},\ldots

,x_{n})}{\displaystyle \quad f(x_{1},x_{2},\ldots ,x_{n})\geq
g(x_{1},x_{2},\ldots ,x_{n})}, entonces:
{\displaystyle \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}}{\displaystyle
\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.

Sea D la uni�n entre dos regiones, D1 y D2, que no solapan entre s�, entonces:
{\displaystyle \iint \ldots \int _{D}\,f(x_{1},x_{2},\ldots
,x_{n})dx_{1}\,dx_{2}\ldots \,dx_{n}=}{\displaystyle \iint \ldots \int
_{D}\,f(x_{1},x_{2},\ldots ,x_{n})dx_{1}\,dx_{2}\ldots \,dx_{n}=}
{\displaystyle \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}}
{\displaystyle \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 e Integrales iteradas

Las integrales m�ltiples est�n estrechamente relacionadas con las integrales
iteradas, las cuales son necesarias para resolver las integrales m�ltiples. La
diferencia entre integrales m�ltiples e iteradas consiste en que una se refiere al
concepto matem�tico de integral (aplicado a varias variables) y otra al
procedimiento por el cual se resuelve la integral m�ltiple. Si la expresi�n

{\displaystyle \int _{a}^{b}\int _{c}^{d}f(x,y)\,dy\,dx}{\displaystyle \int

_{a}^{b}\int _{c}^{d}f(x,y)\,dy\,dx}
se refiere a una integral iterada, la parte externa

{\displaystyle \int _{a}^{b}\cdots \,dx}{\displaystyle \int _{a}^{b}\cdots \,dx}

es la integral con respecto a x de la funci�n de x:

{\displaystyle g(x)=\int _{c}^{d}f(x,y)\,dy.}{\displaystyle g(x)=\int

_{c}^{d}f(x,y)\,dy.}
Una integral doble, en cambio est� definida con respecto a un �rea en el plano xy.
La integral doble existe si y solo si las dos integrales iteradas existen y son
iguales. Es decir, si la integral doble existe, entonces es igual a la integral
iterada, sin importar si el orden de integraci�n es {\displaystyle dydx}
{\displaystyle dydx} o {\displaystyle dxdy}{\displaystyle dxdy}, y por lo general
uno la calcula calculando una sola de estas. Sin embargo, a veces las dos
integrales iteradas existen sin ser iguales y en este caso no existe la integral
doble, ya que se tiene:

{\displaystyle \int _{a}^{b}\int _{c}^{d}f(x,y)\,dy\,dx\neq \int _{c}^{d}\int

_{a}^{b}f(x,y)\,dx\,dy.}{\displaystyle \int _{a}^{b}\int _{c}^{d}f(x,y)\,dy\,dx\neq
\int _{c}^{d}\int _{a}^{b}f(x,y)\,dx\,dy.}
De una manera m�s formal, el Teorema de Fubini afirma que

{\displaystyle \int _{A\times B}|f(x,y)|\,d(x,y)<\infty ,}{\displaystyle \int

_{A\times B}|f(x,y)|\,d(x,y)<\infty ,}
Esto es, si la integral es absolutamente convergente, entonces la integral doble es
igual a la integral iterada.

{\displaystyle \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.}
{\displaystyle \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 ocurre, cuando {\displaystyle f}f es una funci�n acotada y tanto A como B son
regiones acotadas tambi�n. Esto se entiende f�cilmente pensando que si la funci�n o
la regi�n del dominio no est�n acotadas, la integral m�ltiple no puede existir.

La notaci�n
{\displaystyle \int _{[a,b]\times [c,d]}f(x,y)\,dx\,dy}{\displaystyle \int
_{[a,b]\times [c,d]}f(x,y)\,dx\,dy}
se puede usar si se desea ser enf�tico al referirse a una integral doble y no a una
iterada.

M�todos de integraci�n
Funciones constantes
En el caso de funciones constantes, el resultado es trivial: simplemente
multipl�quese el valor de la funci�n constante {\displaystyle c}c por la medida del
dominio de integraci�n. Si {\displaystyle c=1}{\displaystyle c=1}, y es integrada a
trav�s de una regi�n de {\displaystyle \mathbb {R} ^{2}}{\displaystyle \mathbb {R}
^{2}} esto da el �rea de la regi�n, mientras que si es una regi�n de {\displaystyle
\mathbb {R} ^{3}}\mathbb R^3 da el volumen de la regi�n y as� sucesivamente.

Por ejemplo:

{\displaystyle D=\{(x,y)|\ 2\leq x\leq 4\ ;\ 3\leq y\leq 6\}}{\displaystyle D=\

{(x,y)|\ 2\leq x\leq 4\ ;\ 3\leq y\leq 6\}} y {\displaystyle f(x,y)=c\,\!}
{\displaystyle f(x,y)=c\,\!}
Integrando {\displaystyle f}f sobre {\displaystyle D}D:
{\displaystyle \int _{3}^{6}\int _{2}^{4}\ c\ dx\,dy=c\cdot {\mbox{area}}(D)=c\cdot
(3\cdot 2)=c\cdot 6.}{\displaystyle \int _{3}^{6}\int _{2}^{4}\ c\ dx\,dy=c\cdot
{\mbox{area}}(D)=c\cdot (3\cdot 2)=c\cdot 6.}
Uso de simetr�as
En el caso de un dominio en el que exista simetr�a al menos respecto de uno de los
ejes, y donde la funci�n para integrar contenga al menos una funci�n impar con
respecto a esa variable, la integral se vuelve nula (ya que la suma de cantidades
iguales con signo opuesto es cero). Por ejemplo

Dada {\displaystyle f(x,y)=2\ \sin(x)-3\ y^{3}+5}{\displaystyle f(x,y)=2\ \sin(x)-

3\ y^{3}+5} y que {\displaystyle T=x^{2}+y^{2}\leq 1}{\displaystyle
T=x^{2}+y^{2}\leq 1} es el dominio de integraci�n del disco de radio 1 centrado en
el origen.
Usando la propiedad lineal de las integrales, la integral se descompone en tres
partes:
{\displaystyle \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}{\displaystyle \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}
Ya que tanto {\displaystyle 2\sin(x)}{\displaystyle 2\sin(x)} como {\displaystyle
3y^{3}}{\displaystyle 3y^{3}} son funciones impares, y existe simetr�a tanto con
respecto al eje {\displaystyle x}x como con respecto al eje {\displaystyle y}y, las
primeras dos integrales se nulifican, de tal forma que la integral original es
igual �nicamente a la tercera.

{\displaystyle \iint _{T}(2\ \sin(x)-3\ y^{3}+5)\ dx\,dy=\iint _{T}5\ dx\,dy=5\pi }

{\displaystyle \iint _{T}(2\ \sin(x)-3\ y^{3}+5)\ dx\,dy=\iint _{T}5\ dx\,dy=5\pi }