La integral que hemos visto es tan versatil que permite calcular no sólo area si no también volumene. En esta sección se encuentran fórmulas para calcular volúmenes de superficies de revolución y se prueba el principio de Cavalieri.
El volumen es una función, denotada $Vol$, que asigna, a ciertos subconjuntos de $\mathbb{R}^3$, llamados medibles, un número mayor o igual a cero que satisface:
Por ejemplo, cualquier toro (dona) es medible:
Iniciamos con el método de volúmenes por discos.
Un disco $D$ (cilindro chaparrito), de ancho $\Delta$ y radio $r$ tiene volumen \[ Vol(D)= \pi r^2 \Delta \] El método por discos consiste en descomponer un volumen dado como una unión de discos con la propiedad de que entre más discos usemos la aproximación del volumen va mejorando.
En este ejercicio se calcula el volumen de la esfera.
Vamos a obtener la esfera, de radio $r$, como una superficie de revolución, rotando la gráfica de $f(x)=\sqrt{r^2-x^2}$, $x\in [-r,r]$, al rededor del eje de las $x$.
En la imagen de arriba se rota la gráfica y se pretende calcular el volumen de la esfera sólida que encierra la superficie.
Por \(S\) denotamos a la esfera $$ S=\{(x,y,z)\in \mathbb{R}^3: \| (x,y,z)\|\leq r \} $$ Demuestra que \[ Vol(S)=\frac{3\pi}{4}r^3 \]
Sea $P=\{ x_i\}_{i=0}^n$ la partición homogenea de longitud $n$ de $[-r,r]$ y toma $\Delta x =\frac{2r}{n}$ la longitud de los subintervalos de la partición. Denotamos por $D_i$ la rebanada de la esfera que se obtiene tomando el intervalo $[x_{i-1}, x_i]$, $i=1,\dots, n$. Notamos que $D_i$ no es un disco, sin embargo, $D_i$ está atrapada entre dos discos : $D_i^+$, disco con ancho $\Delta x$ y radio $f(x_i^*)$ y otro $D_i^-$, disco con ancho $\Delta x$ y radio $f(x_{i*})$, donde los puntos $x_i^*$ y $x_{i *}$ se toman tales que $f(x_i^*)=\max_{x\in [x_{i-1}, x_i]}\{f(x)\}$, $f(x_{i*})=\min_{x\in [x_{i-1}, x_i]}\{ f(x)\}$.
Ya que \(D_i^- \subseteq D_i \subset D_i^+ \) tenemos que \(Vol(D_i^-) \leq Vol(D_i) \leq Vol(D_i^+) \), asi que al sumar el volumen de cada rebanada tenemos \[ \sum_{i=1}^n \pi f(x_{i_*})^2\Delta x \leq Vol(S)\leq \sum_{i=1}^n \pi f(x_{i}^*)^2\Delta x \]
Toma límite cuando $n\to \infty$ en el inciso anterior y usa el ejercicio Ejercicio 5.11 para concluir $$ Vol(S)= \int_{-r}^r \pi f^2(x)dx. $$
Finalmente, calcula la integral $\int_{-r}^r \pi f^2(x)dx$ para concluir $$ Vol(S)=\frac{3}{4}\pi r^3. $$
Este ejercicio generaliza el cálculo del volumen de la esfera.
Sea $f:[a, b ]\to \mathbb{R}$ una función continua, con $f(x)\geq 0 $ para todo $x\in [a,b]$. Demuestra que el volumen del sólido de revolución que se obtiene al girar la gráfica de $f$ alrededor del eje de las $x$ es $$ \int_a^b \pi f(x)^2 dx. $$
Sugerencia: aplica el mismo método que en el Ejercicio 12.4.
Encuentra el volumen del sólido que se obtiene al rotar la gáfica de $y=\sqrt{x}$, con $0\leq x \leq 1$.
Sugerencia: aplica directamente el Ejercicio 12.5.
Tenemos que \(y= \sqrt{x}\) con \(0\leq x \leq 1\), es continua y \(y(x) \geq 0 \) para toda \(x \in [0,1]\). Entonces por el Ejercicio 12.5 tenemos que el volumen es \[ \int_0^1\pi y^2(x) dx = \pi \int_0^1 xdx = \frac{\pi}{2} . \]
En cada uno de los siguientes ejercicios, encuentra el volumen que se obtiene al girar la gráfica alrededor del eje $x$.
El ejemplo del cálculo de volúmenes por discos, es un caso particular de un principio más general, que se conoce como el principio de Cavalieri.
Un subconjunto de $\mathbb{R}^3$ se llama acotado si existe una bola, $B_r(p)=\{x\in \mathbb{R}^3: \| x-p\| \leq r \}$, que lo contiene.
Un solido $S$, se llama de Cavalieri si: (1) es acotado y (2) existe una linea $L$, de tal forma que las secciones obtenidas al cortar $S$, con planos perpendulares a $L$, son siempre medibles.
Los sólidos de Cavalieri satisfacen la siguiente propiedad (llamada principio de Cavalieri):
Para dos sólidos de Cavalieri, $S$ y $T$, si las areas seccionales (con respecto a un mismo eje) de $S$ son menores o iguales a las de $T$, entonces el volumen de $S$ es menor o igual al de $T$.
Sea $S$ on sólido de Cavalieri. Denotemos por $A(t)$ el area seccional de $S$ a altura $t$ (con respecto a una línea $L$).
Note que, al ser $S$ acotado, existe un intervalo $[a,b]$ tal que $A(t)=0$ para $t< a$ o $t> a$.
Si $A$ es una función integrable entonces $$ Vol(\textrm{S})=\int_a^b A(x)dx $$
Ya que el volumen se preserva bajo traslaciones y rotaciones sin pérdida de generalidad podemos suponer que \(L\) es el eje de las \(x\).
Fija $\varepsilon >0$. Al ser \(A\) integrable, por el criterio de Cauchy existen funciones escalonadas $s,t : [a,b] \to \mathbb{R}$, con $0 \leq s(x) \leq A(x) \leq t(x)$, para todo $x\in [a,b]$ y con $$ \int_a^b t(x)dx - \int_a^b s(x)dx < \varepsilon. $$ Nota: en general el principio de Cauhcy no asegura que podemos tomar \(0\leq s \) pero ésto se puede hacer usando que \(A \geq 0\).
Integrando las desigualdades anteriores obtenemos \begin{equation}\label{Eqn:Aux1Cavalieri} \int_a^ b s(x)dx \leq \int_a^b A(x)dx \leq \int_a^b t(x)dx. \end{equation}
Por otro lado vamos a construir dos sólidos \(S^-\) y \(S^+\) a partir de las funciones escalonadas \(s\) y \(t\) de la siguiente forma: primero escribimos \[ s=\sum_{i=1}^n s_i\chi_{[x_{i-1},x_i)}, t=\sum_{i=1}^n t_i\chi_{[x_{i-1},x_i)} \] y luedo construimos \[ S^-=\cup_{i=1}^n S_i^- , \quad S_i^+=\cup_{i=1}^n \] donde para cada \(i\), \(S_i^-\) es un sólido con volumen \(s_i(x_i-x_{i-1})\) y \(S_i^+\) es un sólido con volumen \(t_i(x_i-x_{i-1})\).
Si \(S_i\) denota la rebanada de \(S_i\) determinada al cortar \(S\) con los planos \(x=x_{i-1}\) y \(x=x_i\), por la propiedad de los sólidos de Cavalieri mencionada justo después de la definición tenemos \(Vol(S_i^-)\leq Vol(S_i)\leq Vol(S_i^+)\), por lo tanto $$ \sum_{i=1}^n Vol(S_i^-) \leq Vol(S) \leq \sum_{i=1}^n Vol(S_i^+) $$ pero construimos \(S_i^-\) y \(S_i^+\) de tal forma que \begin{eqnarray*} \sum_{i=1}^n Vol(S_i^-)=\sum_{i=1}^n s_i(x_i-x_{i-1})=\int_a^b s(x)dx \\ \sum_{i=1}^n Vol(S_i^+)=\sum_{i=1}^n t_i(x_i-x_{i-1})=\int_a^b t(x)dx \end{eqnarray*} por lo tanto llegamos a que \begin{equation}\label{Eqn:Aux2Cavalieri} \int_a^b s(x)dx \leq Vol(S) \leq \int_a^b t(x)dx. \end{equation}
De las ecuaciones \eqref{Eqn:Aux1Cavalieri} y \eqref{Eqn:Aux2Cavalieri} concluimos $$ \left| Vol(S) - \int_a^b A(x)dx \right| <\varepsilon $$ por lo que $Vol(S)=\int_a^b A(x)dx$.
El Principio de Arquímides dice que:
Fuerza de empuje = Peso del líquido desplazado
Considera un objeto flotando en un líquido como se muestra en la siguiente figura, junto con su sistema de referencia. Por $A(y)$ denotamos al area de la región que se obtiene al cortar al objeto con planos a altura $y$.
El peso de objeto es \(W=\rho_0 g V\), donde \(V\) es el volumen total del objeto. Usando el Teorema de Cavalieri obtenemos que \( V=\int_{-h}^{L-h}A(y)dy. \) Por lo tanto, el peso es igual a $$ W= \rho_0 g\int_{-h}^{L-h}A(y)dy. $$
Por otro lado el peso del agua desplazada es \(\rho_f g V'\) donde \(V'\) es el volumen del líquido desplazado. Nuevamente usando el Teorema de Cavalieri tenemos que \( V'=\int_{-h}^{0}A(y)dy. \) El principio de Arquímides nos permite concluir que la fuerza de empuje, denotada \(F\), es: $$ F=\rho_f g \int_{-h}^{0}A(y)dy. $$
Afirmamos que el porcentaje del volumen del objeto arriba de la superficie es $$ \frac{\rho_f-\rho_0}{\rho_f} $$ Para probar esto primero notamos que el porcentaje del objeto que está por arriba del nivel del líquido es el voluem por arriba dividido entre el volumen total. Por lo tanto debemos de probar $$ \frac{\int_{0}^{L-h} A(y)dy }{\int_{-h}^{L-h}A(y)dy}=\frac{\rho_f-\rho_0}{\rho_f} $$ Para iniciar la prueba primero notamos que \(W=F\), pues el objeto está a flote. Reemplazando \(W\) y \(F\) por sus expresiones integrales que obtuvimos previamente llegamos a \[ \rho_0 g\int_{-h}^{L-h}A(y)dy=\rho_f g \int_{-h}^{0}A(y)dy. \] Cancelando \(g\) y utilizando que \(\int_{-h}^0A(y)dy=\int_{-h}^{L-h} A(y)dy-\int_{0}^{L-h}A(y)dy\) obtenemos \begin{eqnarray*} \rho_0 g\int_{-h}^{L-h}A(y)dy&=& \rho_f \int_{-h}^{L-h} A(y)dy-\rho_f \int_{0}^{L-h}A(y)dy \\ \Rightarrow \rho_f \int_{0}^{L-h}A(y)dy&=&(\rho_f-\rho_0)\int_{-h}^{L-h}A(y)dy \\ \Rightarrow \frac{\int_{0}^{L-h}A(y)dy}{\int_{-h}^{L-h}A(y)dy}&=&\frac{\rho_f-\rho_0}{\rho_f} \end{eqnarray*} que es precisamente lo que queríamos probar.
Para el último inciso, substituyendo los valores \(\rho_0=917\) y \(\rho_f=1030\) obtenemos que el porcentaje del ice-berg por arriba del nivel del mar es \[ \frac{\rho_f-\rho_0}{\rho_f}=0.109 \] Es decir sólo el 1% está por arriba del nivel del mar.
El volumen de un cilindro de radio \(r\) y altura \(h\) es \(\pi r^2 h\). Por una capa cilíndrica vamos a entender un cilindro sólido al cual le quitamos un cilindro más pequeño centrado en el centro del primero y de la misma altura. Sea \(C_1\) el cilindro más grande, con radio \(r_1\) y \(C_2\) el más pequeño con radio \(r_2\). Ya que \(C_2\subseteq C_1\) las propiedades del volumen tenemos \[ Vol(C_1\setminus C_2)=\pi r_1^2 h-\pi r_2^2h. \] Usando diferencia de cuadrados podemos expresar la expresión anterior como \[ Vol(C_1\setminus C_2)=\pi (r_1+r_2)(r_1-r_2)h=2\pi \overline{r}h(r_1-r_2) \] donde \(\overline{r}=\frac{r_1+r_2}{2}\).
Sea $P=\{x_i\}_{i=0}^n$ la partición homogenea de $[a,b]$, de longitud $n$.
Sea $C_i$ el sólido que se obtiene al rotar, alrededor el eje $y$, la región debajo de la gráfica de $f$ en el intervalo $[x_{i-1}, x_i]$. Sea $C_i^+$ la capa cilíndrica que de obtiene con base $[x_{i-1}, x_i]$ y altura $f(x_i^*)$ y $C_i^-$ la capa cilíndrica que se obtiene con base $[x_{i-1}, x_i]$ y altura $f(x_{i*})$, donde los puntos $x_{i*}$ y $x_i^*$ se toman tal que $$ f(x_{i*})=\min_{x\in [x_{i-1}, x_i]}\{ f(x)\}, f(x_i^*)=\max_{x\in [x_{i-1},x_i]}\{ f(x)\}. $$
Ya que \(C_i^-\subseteq C_i \subseteq C_i^+\) obtenemos que \begin{eqnarray*} 2\pi \overline{x}_i f(x_{i*})(x_i-x_{i-1})=Vol(C_i^-) \leq Vol(C_i) \\ Vol(C_i)\leq Vol(C_i^+)=2\pi \overline{x}_i f(x_i^*)(x_i-x_{i-1}) \end{eqnarray*} donde $\overline{x}_i=\frac{x_{i-1}+x_i}{2}$, es el punto medio del intervalo $[x_{i-1},x_i ]$.
Por otro lado tenemos que \[ C=\cup_{i=1}^n C_i \] y además las intersecciones de los \(C_i\) o bien son ajenas o tienen intersección un conjunto de dimensión 2, el cual tiene area cero. Por lo tanto \[ Vol(C)=\sum_{i=1}^n Vol(C_i). \] Por las estimaciones anteriores llegamos a que \[ \sum_{i=1}^n 2\pi \overline{x}_i f(x_{i*})(x_i-x_{i-1}) \leq Vol(C) \leq \sum_{i=1}^n 2\pi \overline{x}_i f(x_i^*)(x_i-x_{i-1}) \]
En éste punto nos gustaría aprovechar el hecho de que \(f\) es continua y aplicar el Ejercicio 5.11 tomando límite cuando \(n\to \infty\) y obtener \begin{eqnarray*} \lim_{n\to \infty } \sum_{i=1}^n 2\pi \overline{x}_i f(x_{i*})(x_i-x_{i-1}) =\int_a^b 2\pi xf(x)dx \\ \lim_{n\to \infty } \sum_{i=1}^n 2\pi \overline{x}_i f(x_{i*})(x_i-x_{i-1}) =\int_a^b 2\pi xf(x)dx \end{eqnarray*} para concluir \[ Vol(C)=\int_a^b 2\pi xf(x)dx. \] Sin embargo no podemos hacerlo pues para aplicar el Ejercicio 5.11 debemos de tener que \(\overline{x_i}=x_{i*}\) en el primer límite y \(\overline{x_i}=x_i^*\) en el segundo. Tenemos que hacer un arreglo. El arreglo consiste en la siguiente estimación: \begin{eqnarray*} & \left| \sum_{i=1}^n 2\pi \overline{x}_i f(x_{i*})(x_i-x_{i-1}) - \sum_{i=1}^n 2\pi \overline{x}_i f(\overline{x_i})(x_i-x_{i-1}) \right| \\ & \leq \sum_{i=1}^n 2\pi |f(x_{i*})-f(\overline{x_i})||\overline{x_i}|(x_i-x_{i-1}) \\ & \leq 2\pi \sum_{i=1}^n \omega_f([x_{i-1},x_i])|\overline{x_i}|(x_i-x_{i-1}) \\ & \leq 2\pi(|a|+|b|) \sum_{i=1}^n \omega_f([x_{i-1},x_i])(x_i-x_{i-1}) \end{eqnarray*} donde utilizamos que \(|f(x_{i*})-f(\overline{x_i})|\leq \omega_f([x_{i-1},x_i])\), siendo éste último la oscilación de f en el intervalo \([x_{i-1},x_i]\) y \(|\overline{x_i}|\leq |a|+|b|\). Ahora, al ser \(f\) uniformemente continua en \([a,b]\) por el Ejercicio 5.24se cumple que \[ \lim_{n\to \infty} \sum_{i=1}^n \omega_f([x_{i-1},x_i])(x_i-x_{i-1}) =0 \] Por lo tanto se debe de tener que \[ \lim_{n\to \infty} \sum_{i=1}^n 2\pi \overline{x}_i f(x_{i*})(x_i-x_{i-1})= \lim_{n\to \infty} \sum_{i=1}^n 2\pi \overline{x}_i f(\overline{x_i})(x_i-x_{i-1}) \] lo cual termina el arreglo.
Calcula el volumen del sólido de revolución que se obtiene al girar la gráfica de $f(x)=x^2$, alrededor del eje $y$ y acotada por los planos $y=0$ y $y=a$ (con $a> 0$ fija) usando: (1) el método de discos y (2) el método de capas cilíndricas.
Entonces para calcular el volumen de revolución, llamemosle \(S\), que se obtiene de girar \(y = x^2\) alrededor del eje \(y\) y acotada por los planos \(y=0\) y \(y = a\), primero ilustremos como sería la región y el sólido.
Entonces notemos que cuando se rebana el sólido de manera perpendicular al eje \(y\), se obtiene un disco de radio \(x\), donde \(x = \sqrt{y}\). De tal menera que el área seccional \(A(y)\) del sólido \(S\) que se encuentra a una altura \(y\) es \[ A(y) = \pi x^2 = \pi y. \] Como el volumen del sólido \(S\) está delimitado por \(y=0\) y \(y = a\) (con \(a >0\) fija) entonces : \[ Vol(S) = \int_0^a \pi ydy = \frac{\pi a^2}{2} .\]
Consideremos \(y = x^2\) con \(0 \leq x\) el cual está delimitado por \(y=0\) y \(y= a\), entonces cuando \(x = 0\) se sigue que \(y = 0\) y cuando \(x= \sqrt{a}\) entonces \(y = a\). Por lo que \(y = x^2\) va a estar también delimitada por \(x= 0\) y \(x= \sqrt{a}\).
Si consideramos el sólido \(T\) que se obtiene al emplear el método de capas cilíndricas con respecto a la función \(f : [0,\sqrt{a}] \rightarrow \mathbb{R}\) definida como \(f(x) = x^2\), es decir el sólido \(T\) se obtiene al rotar la región bajo la gráfica de \(f\) con respecto de \(y\). Entonces se tiene que \(S \neq T\) y \(Vol (S \cap T) = 0\), más aún \(S\cup T\) es un cilindro con radio \(\sqrt{a}\) y altura \(a\), es decir \(Vol(S \cup T) = \pi a^2\). Por lo que \(Vol(S \cup T) = Vol(S) + Vol(T)\). Por lo tanto \[ Vol(S) = Vol(S \cup T) -Vol(T) = \pi a^2 -Vol(T) .\] Por el método de las capas cilíndricas tenemos que el \(Vol(T) = \int_0^{\sqrt{a}}2\pi xf(x) dx = 2\pi\int_0^{\sqrt{a}}x^3 dx = \frac{a^2\pi}{2}. \) Por lo tanto \[ Vol(S) = \pi a^2 -Vol(T) = \pi a^2 -\frac{a^2\pi}{2} = \frac{a^2\pi}{2}. \]
Vamos a usar el método de discos para calcular su volumen. Consideremos \(x = \sqrt{r^2 -y^2}\) tal que \(y \in [r-h, r]\), entonces la región comprendida entre \(x = \sqrt{r^2 -y^2}\), \(x= 0\) y \(y = r-h\) al rotar con respecto del eje \(y\) es el sólido al cual le vamos a calcular su volumen.
Calcula el volumen de una pirámide, de altura $h$, cuya base es un triángulo equilatero de lado $a$.
Entonces calculemos las áreas seccionales de este sólido, empecemos por colocar el origen \(O\) en el vértice de la piramide y el eje \(x\) a lo largo de su eje central, como se muestra en la figura. Tenemos que el área seccional de esta figura es un triángulo equilatero ya que esta en proyección con respecto al triángulo equilatero de lado \(a\). Supongamos que dicho triángulo tiene lado \(l\) y altura \(h\) por lo que el área de esta sección es \(\frac{hl}{2}\).
Lo siguiente es expresar \(l\) y \(h \) en términos de \(x\), para esto hacemos uso de la semenjaza de triángulos como se muestra en la figuras.
Por lo tanto su volumen es: \[ \int_0^h A(x) dx = \frac{\sqrt{3}a^2}{4h^2}\int_0^h x^2 dx = \frac{\sqrt{3}a^2}{4h^2}\cdot \frac{h^3}{3} = \frac{\sqrt{3}a^2h}{12} . \]