Tratado Breve Sobre Temas Del Cálculo

Titulillo: TRATADO BREVE SOBRE TEMAS DEL CLCULO
Tratado breve sobre temas del clculo: serie binomial, funcin de Bessel, superficies en
el espacio tridimensional, lmites y continuidad de varias variables, integracin mltiple.

Universidad Centroamericana Jos Simen Caas

Grupo 9
Carpio Caldern, Ileana Rebeca, 00014912
Martnez Reyes, Jennifer Liliana, 00015012
Mendoza Prez, Julio Alfredo, 00008812
Rosales Cruz, Andrea Beatriz, 00014812

Ing. Daniel Augusto Sosa

Junio de 2013
1

CONTENIDO
I. Introduccin, 3
II. Justificacin, 4
III. Objetivos, 5
IV. Metodologa, 6
V. Marco terico, 8
1. Series: serie binomial y funcin de Bessel, 8
1.1. Serie binomial, 8
1.2. Funciones de Bessel, 13
2. Superficies en el espacio, 24
2.1. Planos en el espacio, 24
2.2. Esfera, 27
2.3. Cilindro, 29
2.4. Cudricas y su ecuacin general, 30
3. Funciones de varias variables, 47
3.1. Definicin formal de lmite de una funcin de dos y tres variables,
47
2

3.2. Existencia o no del lmite, 54
3.3. Prueba de las trayectorias para probar la no existencia de un lmite,
65
3.4. Continuidad de una funcin multivariable, 71
4. Integrales mltiples. Cambio de coordenadas con Jacobianos de
Transformacin. Aplicaciones de las integrales mltiples, 78
4.1. Sistemas de coordenadas en el espacio: coordenadas cilndricas y
esfricas, 78
4.2. Integrales dobles y triples en coordenadas rectangulares, 82
4.3. Cambio de coordenadas con Jacobianos de transformacin, 91
4.4. Ejemplos adicionales. Aplicaciones de las integrales mltiples: reas,
centros de masa y momentos de inercia., 102
VI. Conclusiones, 113
VII. Recomendaciones, 116
VIII. Referencias bibliogrficas, 118

3

I. INTRODUCCIN
En el presente trabajo se tiene como objetivo presentar conceptos de series,
clculo diferencial e integral multivariable que no han sido expuestos en clase, por la
razn de que se hace necesario que el alumno investigue de forma personal estos temas,
ya que as se tienen formas alternas para evaluar el conocimiento del estudiante.
Por ello en este trabajo se sintetiza los temas que se indagaron de forma
minuciosa, mediante el uso de libros, pginas web, y otros, para mostrar todo lo que
cada uno de estos temas contena y facilitar su comprensin.
Los temas que se tratan en el mismo son: serie binomial, funcin de Bessel,
cilindros y superficies cudricas, funciones de varias variables e integrales mltiples, y
en cada uno se profundiz lo necesario para comprenderlos en su totalidad.
Adems de presentar los conceptos bsicos y teoremas que implica cada tema, se
muestran diversas aplicaciones que sirven como herramientas tiles para trabajos de
ingeniera. Tambin se realizan ejemplos, con ejercicios bsicos, a lo largo del
desarrollo del trabajo, para que se muestre la aplicacin de teoremas y definiciones
tiles en la resolucin de problemas.
Se muestran grficas que se hizo necesario obtener, mediante la ayuda de
programas de computadora, para brindar una mayor claridad a los conceptos que aqu
se tratan y tambin se utilizaron para sostener los resultados obtenidos en los distintos
ejemplos que se desarrollan.

4

II. JUSTIFICACIN
El presente trabajo se ha realizado para facilitar y desarrollar el aprendizaje de
los alumnos en diversos temas en conjunto y para desarrollar la habilidad de
investigacin y autodidaxia de los mismos; as como para hacerlos crticos en el anlisis
de recopilacin de la informacin y poner en prctica sus capacidades de trabajo grupal.
Se han utilizado los diversos recursos existentes y funcionales para la resolucin
de problemas, y obtencin de informacin, con el objeto que al momento de hacer uso
de los mismos se haga de una manera eficiente y efectiva maximizando la disponibilidad
de tiempo y energa con el fin de obtener los mejores resultados, sin incurrir en procesos
incensarios o prdida de tiempo valioso, por lo que a la vez se pretende determinar los
mtodos ms convenientes y eficaces. Posteriormente se establecer la forma de
aplicacin ms exitosa de los mismos.
Este trabajo ha servido como un ejercicio para poder identificar cules son los
recursos apropiados utilizables en las situaciones que se afrontan como profesional da
con da, con la finalidad de acertar en los medios para producir los resultados esperados
garantizando de esta forma un desarrollo conciso y estable de los procedimientos
bsicos que debe poseer un ingeniero para que su labor como un profesional sea no solo
acertada acorde a sus necesidades sino que de igual forma sea efectiva conforme a las
exigencias de calidad y nivel de resultados que se plantean en la actualidad, postulando
un trabajo que evoluciona constantemente en la bsqueda de superar siempre el
resultado obtenido con anterioridad y dar una mejor respuesta o solucin a las nuevas
interrogantes que nos ocupan.
5

III. OBJETIVOS
Objetivo general: Indagar sobre conceptos de series y clculo diferencial e
integral multivariable no tratados en clase, mediante la lectura y sintetizacin de
informacin de distintas fuentes bibliogrficas, para la profundizacin en cuanto a
herramientas de clculo tiles en las aplicaciones de ingeniera.
Objetivos especficos:
1. Definir y deduccin la serie binomial.
2. Definir una funcin de Bessel como una serie de potencia de orden cero, as
como determinar su intervalo de convergencia.
3. Ejemplificar aplicaciones de la serie binomial y de la funcin de Bessel.
4. Definir y clasificar las principales superficies cudricas en el espacio
tridimensional.
5. Establecer formalmente la definicin de lmite para n variables.
6. Establecer formalmente la definicin de funcin continua para n variables.
7. Establecer de forma intuitiva las definiciones de integrales dobles y triples como
los lmites de la suma de Riemann para dos y tres variables.
8. Ilustrar la utilidad del cambio de coordenadas mediante Jacobianos de
transformacin y su facilitacin en el clculo de integrales dobles y triples.
9. Ilustrar la utilidad de las integrales dobles y triples en aplicaciones fsicas
sencillas: reas, volmenes, centros de masa y momentos de inercia.

6

IV. METODOLOGA
Sobre la Tcnica de Investigacin Documental
Definicin de investigacin documental o bibliogrfica. Zorrilla (citado en
Grajales, 2000) define la investigacin documental como aquella que se realiza a travs
de la consulta de documentos como libros, revistas, peridicos, memorias, anuarios,
entre otros. En este sentido, la investigacin documental implica una amplia revisin de
distintas fuentes bibliogrficas para sintetizar sus contenidos.
La investigacin documental se caracteriza por dos procesos: su forma de
recoleccin de datos y la manera de la elaboracin del contenido del artculo o proyecto
de investigacin.
La recoleccin de datos. Segn Tecla y Garza (1975), la recoleccin de datos en
la tcnica de investigacin documental comprende el acopio de informacin a travs de
fichas bibliogrficas; a esta tcnica de recoleccin de datos tambin se le conoce como
sistema de sustentacin documental. La recoleccin de datos, basndose en sta
tcnica, requiere de la elaboracin de fichas bibliogrficas que sinteticen la informacin
de las fuentes consultadas. Posteriormente, estas fichas pasarn a formar el contenido de
toda la investigacin.
Ordenamiento y sntesis de informacin para la elaboracin del contenido. Bosch
(1973) considera que la elaboracin del contenido de la investigacin consiste en
impregnarse de todo el material investigado, a travs de la lectura, transcripcin,
anlisis, sntesis y valoracin de cada ficha elaborada, con el fin de proceder a la
7

redaccin del trabajo. El tema estar agotado, en su redaccin, luego de terminar con el
anlisis y sntesis todas las fichas.
Descripcin del Mtodo Seleccionado
Justificacin. La investigacin es meramente bibliogrfica, por lo que solo se
debe recurrir a la bsqueda de distintas fuentes de informacin, particularmente libros
de clculo. Se ha retomado lo principal de ellos, conforme a los temas tratados en el
documento, y se ha plasmado en este trabajo tanto extractos tericos como ejemplos de
aplicacin.
Aplicacin del mtodo. La investigacin documental involucra dos
procedimientos distintivos: la recoleccin de datos y el ordenamiento, anlisis y sntesis
de los mismos. El trabajo requiere, entonces, la utilizacin de fuentes bibliogrficas
como medio principal de extraccin de informacin. Por cuestiones prcticas, se omite,
en esta investigacin, la elaboracin de fichas; no obstante, la informacin se respalda
en fuentes confiables. Posterior a la extraccin de informacin se sintetiza la misma, lo
que resulta en el contenido de la investigacin. Los grficos que apoyan s los ejemplos
fueron dibujados en programas graficadores: Wolfram Mathematica, TI Nspire CAS
Student Software y Graphmatica.
Presentacin de resultados. Los resultados se dan a conocer a travs del presente
informe de investigacin

8

V. MARCO TERICO
1. SERIES: SERIE DE BINOMIAL Y FUNCIN DE BESSEL
1. 1. SERIE BINOMIAL
Leithold (1998) y Stewart (1999) trabajan con las series binomiales como un
caso de series de Maclaurin, y relacionan su procedencia con el teorema del binomio; el
cual establece que, si c y d son nmeros reales cualquiera y k es un entero positivo, se
tiene que
( )

( )
( )( )
( )( ) ( )

La notacin de esta es:
( )( ) ( )

Abreviando el teorema del binomio:
( )

( )( ) ( )

Pero si en el binomio c= 1 y d=x el binomio resulta de la forma:
9

( )

( )
( )( )
( )( ) ( )

Y finalmente se obtiene:
( )

( )( ) ( )

Pero estas notaciones del binomio, solo aplican para k nmero entero positivo.
Stewart (1999) ampla el binomio, para cualquier nmero, calculando la serie de
Maclaurin alrededor de cero para la funcin, con la diferencia, que ya no es una suma
finita, sino una suma infinita.
() ( )
()
() ( )
()
() ( )( )
() ( )
() ( )( )( )
() ( )( )
Y as sucesivamente hasta que:
()
() ( ) ( )( )

() ( ) ( )
La serie de Maclaurin de () ( )
:
10

( )

( )( ) ( )

Esta es la conocida serie binomial, y aplica para cualquier nmero real k.
Como toda serie de potencias, tiene un radio de convergencia, y este se deduce,
utilizando el criterio de la razn, donde a
n
es en n-simo trmino. Leithold (1998) lo
demuestra:
|
( ) ( )
( )
( ) ( )
|

| ||

| ||
||||
||
A partir de la demostracin se concluye que la serie converge si || .
Ejemplo1.1:
Utilice la serie binomial para obtener la serie de Maclaurin de la funcin()
( )
y determine su radio de convergencia. (Leithold [1998], Ejercicios 8.10,

11).
11

Solucin
Primero se debe dejar expresado de la forma () ( )
* (
) (
)
(
) (
) (
) (
) (
) (
) (
[ (
]
Se observa una alternancia de signos por lo que:
()
( )

El radio de convergencia de esta serie es:
|
| |
| ||
|| ||

12

Ejemplo1.2
Utilice la serie binomial para obtener la serie de Maclaurin de la funcin()

y determine su radio de convergencia. (Leithold [1998], Ejercicios 8.10, 13).

Solucin
(
) (
(
) (
) (
(
) (
) (
)
(

[ (
]

( )
|
Ejemplo1.3
Utilice la serie binomial para obtener la serie de Maclaurin de la funcin ()
(
y determine su radio de convergencia. (Leithold [1998], Ejercicios 8.10,

14).
Solucin
(

13

* (
) (
)
(
) (
) (
) (
) (
) (
) ( )
[
()
() () () ()
[
()
]
El radio de convergencia de esta serie es:
|
| |
| |
| |

1.2. FUNCIONES DE BESSEL
1.2.1. Funcin gamma
Zill (2002), muestra la funcin gamma conocida tambin como la funcin
factorial generalizada, que Euler define como la siguiente integral:
()

Los valores de convergencia de esta integral son o que
Una particularidad de esta funcin es que:
14

( ) ()
Si probamos esta propiedad con valores:
() ()=1
() ()
() ()
Y as consecutivamente, por lo que ( )
Aunque tambin por mtodos alternativos, como integracin por partes, entre
otros se pueden encontrar valores de la funcin gamma para valores menores que 1.
La funcin gamma, no es una funcin de Bessel, sin embargo es de vital
trascendencia en la solucin de la ecuacin de Bessel, puesto que, ms adelante, se ver
que la ecuacin de Bessel, al ser expresada como una serie lleva inmersa a la funcin
gamma.
1.2.2. Ecuaciones de Bessel
La ecuacin de Bessel es de la forma
)
Zill(2002) propone la solucin para la ecuacin de Bessel, para esto asume
y se obtiene un punto singular regular de la ecuacin de Bessel, y una
15

de las soluciones tiene la forma
y al sustituir esta solucin en la

ecuacin de Bessel se tiene:
( )( )
( )
[( )( ) ( )
[( )

De la ltima ecuacin simplificada, Zill (2002) visualiza que (
) , y la
solucines de esta ecuacin son:
y convierte la ecuacin en
( )
( )
( )

16

[( )
[( )( )
]
Y esto, se puede escribir ( )
( )( )

Por lo que
( )( )

Zill (2002) seala que si
hace que
asi cuando
y que
( )

( )

( )

( )( )

Y as sucesivamente, hasta llegar a la expresin
()
( )( ) ( )

Zill(2002) seala que el valor especifico de
, que es
( )

Donde ( ) es la funcin gamma que se puede abreviar de modo que
17

( ) ( )( )
( ) ( )( ) ( )( )( )
Que de manera general se expresa:
()
( )( ) ( )( )

()
( )

Zill(2002) utiliz este coeficiente, para , y el coeficiente

para expresar la solucin de la ecuacin de Bessel, como una serie de potencias, que
dentro contiene una funcin gamma. Estas son llamadas Funciones de Bessel de primera
clase
()
()
( )
()
()
( )

Para el caso particular de la funcin de Bessel se expresa
()
()
()
()

Con el criterio de la razn, se puede deducir el dominio de esta funcin.
Si se considera
()
()
()

18

| |
()
()
(( ))
()
()
()
| ()
| |
()
( )
()
()
()
()
( )
()
()
()

Al simplificar se obtiene
()
( )

()

Segn el criterio de la razn el lmite es un nmero menor que 1 la serie
converge; por lo tanto se concluye que la Funcin de Bessel, converge y converge para
todos los nmeros reales; es decir, el dominio de la funcin es ( ).
Zill(2002) seala que a pesar de que la funcin de Bessel de primer grado
cuando v=0, las funciones
()
() tienen soluciones independientes, pero la

solucin general de la ecuacin de Bessel es:

()
()
Existe tambin una funcin de Bessel de segunda clase. Zill (2002) la define
como:
()
()
()

19

Como la solucin general de la ecuacin de Bessel es
()
()
Pero si v tiende a h y es entero,
() se indetermina resultando 0/0, pero

aplicando la regla de L'Hopital hay una funcin
() tal que:
()
()
Y
() son soluciones independientes de
) ; por
loq eu para cualquier valor de v, la solucin general de la ecuacin de Bessel es

()
()

Zill (2002) define una ecuacin paramtrica de Bessel, que surge de reemplazar
en la ecuacin
) que queda expresada de la forma:
) cuya solucin general es
()
()
Zill (2002) enuncia algunas propiedades de la las funciones de Bessel de orden h,

() ()
()
() ()
()
()
()
20

Zill(2002) tambin propone las Funciones de Bessel esfricas, cuando
,
cuando h es un nmero impar; en este caso las funciones quedan expresadas en trminos
de una serie de senos y de cosenos:
()
()
()

()

Y se obtienen
()
()

Aplicaciones de las funciones de Bessel
Las funciones de Bessel, tienen muchas aplicaciones:
1. Herramienta de solucin para otras ecuaciones diferenciales.
Al utilizar, la ecuacin de Bessel como solucin de ecuaciones diferenciales,
generalmente, se sustituyen las variables.
Otra clave, para resolver ecuaciones diferenciales con Bessel, es identificar la
forma de la ecuacin y transformarla lo ms similar posible a la ecuacin de Bessel,
identificando v
2
y v.
21

Ejemplo 2.3.1.
Determine la solucin general de la ecuacin diferencial
)
(Zill [2002], Ejercicios 6.3, 1).
Solucin.
La ecuacin diferencial, en este caso, ya posee la forma general de la ecuacin
de Bessel, por lo que se procede a identificar v
2
y v.
En este caso
y como no es nmero entero, se sustituyen los

valores, en la ecuacin de la solucin general de Bessel
()
()
La solucin general de la ecuacin es
()
().
Ejemplo 2.3.2.
Resolver la ecuacin
) (Edwards y Penney [2001],

Ejemplos 8.6, 1).
Solucin.
Para la solucin de esta ecuacin, se considera una Ecuacin de Bessel de la
forma
)
donde se sustituye

Por lo que se obtiene una ecuacin de Bessel de la forma:
22

( ) (
)
Es decir
)
Donde

( )

Y la solucin general de
) es:
()
()
)
Donde ()
()
()
Generando el resultado
()
)]
Por eso, la ecuacin, se modela de la forma
)
Donde

Tambin

23

Por lo que la solucin de la ecuacin es
()
)]
Pero como sabemos que si p=1/2
()
()

Por lo tanto, la solucin de la ecuacin es:
()
+
Ejemplo 2.3.3.
Resolver la ecuacin de Airy (Edwards y Penney [2001], Ejemplos 8.6,
2).
La solucin de la ecuacin de Airy se hace bajo los mismos lineamientos del
ejemplo Ejemplo 2.3.2.
Se escribe la ecuacin de Airy de la forma

Donde ; y

Por lo que la solucin de la ecuacin es
()
)]

24

2. SUPERFICIES EN EL ESPACIO
Existen 4 tipos de superficies en el espacio las cuales definiremos a continuacin
detalladamente:
1. Planos
2. Esfera
3. Cilindro
4. Cudricas
2.1 Planos en el espacio.
Un plano es aquella figura geomtrica que no posee volumen alguno, posee un
nmero infinito de rectas y puntos.
La ecuacin de un plano en el espacio se puede obtener con un punto que
pertenezca al plano y un vector normal o perpendicular a este.
La ecuacin de un plano puede representarse de varias formas, entre estas estn:
1. Cannica o estndar: a(x-x1 ) + b(y-y1) + c(z-z1)=0
2. Vectorial: nPQ =0
3. General: ax + by + cz +d =0
Para encontrar el vector normal al plano solamente se utilizan los coeficientes
que acompaan a las variables x,y,z .
Los planos en el espacio pueden ser paralelos o perpendiculares entre ellos, para
determinar si son paralelos o perpendiculares se siguen los siguientes criterios:
25

1. Para determinar si son paralelos dos vectores entre s, se toman sus vectores
normales y si el vector normal 1 es mltiplo escalar del vector normal 2; estos
planos son paralelos.
2. Para determinar si son perpendiculares entre s, se toman los vectores normales
de cada uno y de realiza el producto punto entre ellos; si este resultado da cero,
entonces los planos son perpendiculares.
As tambin los planos pueden tener solamente un ngulo entre ellos aunque no
sean perpendiculares ni paralelos; esto se puede determinar con la siguiente formula:
| |
||||

Tambin se puede determinar la distancia entre un punto y un plano con la
ecuacin; siento P(x
0
, y
0
, z
0
) y el plano Ax +By + Cz + D = 0

| |

Se conoce como traza a la recta de interseccin entre 2 planos que estn
cruzndose.
Para encontrar las trazas de un plano con el eje de encuentran los puntos de
interseccin con los ejes; se igualan las tres variables a cero.
Ejemplo 2.1.1
Hallar la ecuacin del plano que pasa por (3,-1,2), (2,1,5) y (1,-2,-2)
(Larson,2010, ejercicio 11-5,48,p.809)
26

Para encontrar la ecuacin de un plano necesitamos un vector normal al plano y
un punto que pertenezca a este; ya tenemos un punto sin embargo no poseemos el
vector normal, pero tenemos tres puntos con los cuales podemos sacar dos vectores y al
aplicar producto cruz entre ellos encontrar el vector normal.
A continuacin haremos dos vectores con los puntos que conocemos. El vector a
ser el que va de (3,-1,2) hacia (2,1,5) y el vector b ser el que va desde (3,-1,2) hacia
(1,-2,-2)
Vector a (2-3,1-(-1),5-2) = (-1,2,3)
Vector b (1-3,-2-(-1),-2-2) = (-2,-1,-4)
Se realiza el producto cruz entre los vectores a y b
axb= [

]
se obtiene como resultado:
axb= -5i +10j +5k.
Este vector es el vector normal al plano que buscamos y con este y cualquiera de
los puntos se puede encontrar la ecuacin del plano; utilizaremos el punto (3,-1,2),
siendo este P(x
1
, y
1
, z
1
)
A(x-x
1
) + B(y-y
1
) + C(z-z
1
) =0
-5(x-3) +10(y-(-1)) +5(z-2) =0
-5x +15 +10y +10 +5z -10 =0
27

-5x +10y +5z +15 =0 forma general.

Figura 2.1.
2.2 Esfera.
Una esfera se puede definir; si su centro se encuentra en el origen con radio r,
tal que r se puede definir como el conjunto de todos los puntos (x,y,z) tales que la
distancia entre (x,y,z) y (x
0,
y
o
, z
o
)(Larson, 2010).Por medio de la frmula de la
distancia la ecuacin de una esfera viene dada por:
(x-x
0
)
2
+ (y-y
0
)
2
+(z-z
0
)
2
= r
2
Si se conocen los extremos del dimetro; siento estos (x1, y1,z1) y (x2, y2, z2);
el centro se puede obtener por:

28

Ejemplo 2.2.1
Encontrar la ecuacin estndar de la esfera que posee los puntos (7,0,5) y (2,6,-
1) como los extremos de su dimetro.
Se sabe que por la regla del punto medio el centro de una esfera es:
()

Por la frmula de la distancia obtenemos el radio:

( )
( )

Una vez obteniendo el radio y conociendo el centro podemos encontrar la
ecuacin estndar de la esfera, as:
29

(
( )
( )

Figura 2.2.
2.3 Cilindro.
Un cilindro es una superficie compuesta de todas las rectas que son paralelas a
una recta dada en el espacio y pasan por una curva plana dada; la curva es una curva
generatriz para el cilindro (Thomas, 1999); en este caso consideraremos una curva
generatriz de cualquier clase.
Entre estos tipos tenemos:
1. Cilindro comn
2. Cilindro hiperblico
3. Cilindro elptico
4. Cilindro paraboloide
30

2.4 Cudricas y su ecuacin general
Las superficies cudricas son anlogos tridimensionales de las secciones
cnicas. (Larson, 2010)
La forma general de las cudricas es:
Ax
2
+ By
2
+ Cz
2
+Dxy + Exz +Fyz + Gx + Hy + Iz + J = 0
Existen 6 tipos bsicos de superficies cudricas los cuales son:
1. Elipsoide
2. Hiperboloide de una hoja
3. Hiperboloide de dos hojas
4. Cono elptico
5. Paraboloide elptico
6. Paraboloide hiperblico

Se le conoce como traza a la interseccin de una superficie con un plano. Las
trazas de las superficies cudricas son cnicas.

Elipsoide:
Su frmula generadora es:

31

TRAZA PLANO
Elipse Paralelo al plano xy
Elipse Paralelo al plano xz
Elipse Paralelo al plano yz

La superficie es una esfera si a=b=c 0

Figura 2.3.

Hiperboloide de una hoja:
32

TRAZA PLANO
Hiprbola Paralelo al plano xz
Hiprbola Paralelo al plano yz

Su eje corresponde a la variable cuyo coeficiente es negativo.
Figura 2.4.
Figura 2.5.
33

Hiperboloide de dos hojas:

TRAZA PLANO

Su eje corresponde a la variable cuyo coeficiente es positivo. No existe traza en
el plano perpendicular a este eje.

Figura 2.6.
34

Cono elptico:

TRAZA PLANO

El eje en que se ubica el cono corresponde a la variable que posea coeficiente
negativo. Las trazas en los planos paralelos al eje central son rectas que se cortan.

Figura 2.7.
35

Paraboloide elptico:

TRAZA PLANO
Parbola Paralelo al plano xz
Parbola Paralelo al plano yz

Su eje corresponde a la variable que se encuentra elevada a la primera potencia.

Figura 2.8.
Paraboloide hiperblico:
36


TRAZA PLANO
Hiprbola Paralelo al plano xy
Parbola Paralelo al plano xz
Parbola Paralelo al plano yz

El eje del paraboloide corresponde a la variable elevada a la primera potencia.

Figura 2.9.
37

Figura 2.10.
Ejemplo 2.4.1
Identificar y dibujar la superficie cudrica

(Larson, 2010, ejercicio 11.6, 31, p.820)
Para encontrar que tipo de superficie cudrica es primero tenemos que completar
cuadrados, as:

( )
( )

( )
( )

Para lograr que se parezca a una de las cudricas podemos dividir todo entre 16
para igualarlo a uno y sacar factor comn en los trminos que sea posible:
( )
( )

38

( )
( )

Con esto obtenemos la ecuacin de un elipsoide; con esta ecuacin podemos
sacar las respectivas trazas del elipsoide, igualando cada una de las variables a cero.
-Comenzaremos igualando x=0 para obtener el plano paralelo a yz
( )
( )

Despejando obtenemos la ecuacin de la traza que es:
( )

Figura 2.11.
Donde
()

Con esta traza podemos obtener dos cosas: podemos encontrar la ecuacin de la
elipse que se forma en la traza yz, as como tambin podemos encontrar los puntos de
39

interseccin con los ejes. En este caso haremos las dos cosas. Primero encontraremos la
ecuacin de la elipse dividiendo toda la ecuacin entre , y as obtenemos la ecuacin
de la elipse que es:
( )

Posteriormente tomamos la misma ecuacin de la traza y encontramos los
interceptos tanto para z como en y, igualando debidamente y a cero y z a cero y
obtenemos los valores siguientes:
z=0 y=2+2
-Luego igualamos y a cero para encontrar la traza paralela al plano xz
( )
( )

Despejando obtenemos la ecuacin de la segunda traza que es:
( )

40

Figura 2.12.
Donde

Con esta traza obtenemos nuevamente la ecuacin de la segunda elipse y los
interceptos con los ejes as:
Ecuacin de la elipse:
( )

Interceptos con los ejes:
z=0 x=1+1
-Igualando z a cero obtenemos la ecuacin de la tercera traza paralela al plano
xy:
( )
( )

41

Figura 2.13.

En este caso la misma traza es la ecuacin de la elipse por lo que ya no
despejaremos para encontrarla; solo despejaremos los interceptos obteniendo:
x=1+1 y=2+2.
42

Figura 2.14.
Ejemplo 2.4.2
Identificar y dibujar la superficie cudrica

(Larson, 2010, ejercicio 11.6, 31, p.820)
Nuevamente debemos completar cuadrados para poder conocer qu tipo de
cudricas es con la que tratamos por lo tanto procedemos as:

( )
( )
( )

( )
( )
( )

43

Para lograr alguna ecuacin de cudricas dividiremos todo entre menos ocho y
sacaremos factor comn si es posible:
( )
( )
( )

Al ordenar los factores obtenemos la siguiente ecuacin:
( )
( )
( )

Esta ecuacin es un hiperboloide de 2 hojas, con esta ecuacin encontraremos
tras tres trazas y los diferentes intercepto con los ejes:
-Igualando x a cero se obtiene la traza paralela al plano yz:
( )
( )

Figura 2.15.
44

Donde
()

()

Despejando de esta traza obtenemos la ecuacin de la hiprbola:
( )
( )

Y los intercepto:

-Igualando y a cero se obtiene la traza paralela al plano xz:
( )
( )

Figura 2.16.
Donde
()

Con esta traza se obtiene la ecuacin de la hiprbola:
45

( )
( )

As como los intercepto:

-Igualando z a cero se obtiene la traza paralela al plano xy:
( )
( )

Figura 2.17.

Con esta traza encontramos la ecuacin de la elipse:
( )
( )

Tambin podemos encontrar los interceptos:
46

Figura 2.18.

47

3. FUNCIONES DE VARIAS VARIABLES
3.1 DEFINICIN FORMAL DE LMITE DE UNA FUNCIN DE DOS
Y TRES VARIABLES
Definicin formal del lmite de una funcin de n variables
En la vida diaria se dan situaciones en las que una cantidad queda
determinada por el conocimiento de otras varias, y muchas de estas situaciones
necesitan de la aplicacin de lmites para poder ser determinadas. Es por ello que en esta
seccin se aplica el concepto de lmites a funciones de n variables, especficamente se
trataran limites de funciones de dos y tres variables.
Iniciaremos el tratamiento de lmites definiendo conceptos bsicos para
su estudio, en primer lugar definiremos la distancia entre dos puntos de un R
n
[Espacio
numrico n-dimensional]. Para esto Leithold (1998, p.926) expresa:
Definicin de la distancia entre dos puntos de R
n
. Si P(x
1
, x
2
,, x
n
) y
A(a
1
, a
2
, , a
n
) son dos puntos de R
n
, entonces la distancia entre P y A, denotada
por ||P-A||, est determinada por
||P-A|| = (

As por ejemplo Leithold (1998) menciona que si se est en un espacio
unidimensional la distancia entre dos puntos queda determinad como:
||x - a|| = |x - a|,
en un espacio bidimensional queda determinada como:
|| (x, y) (x
0
, y
0
) || = (
,
en un espacio tridimensional la distancia entre dos puntos se determina de la siguiente
manera:
48

|| (x, y, z) (x
0
, y
0
, z
0
) || = (
,
y as sucesivamente.
Otras definiciones necesarias para comprender el concepto de lmite son las que
se mencionan a continuacin.
Definicin de una bola abierta en R
n
: Si A es un punto de R
n
y r es un nmero
positivo, entonces la bola abierta B(A; r) es el conjunto de todos los puntos P de R
n
tales
que ||P - A|| r. (Leithold, 1998, p.927).
Definicin de una bola cerrada en R
n
: Si A es un punto de R
n
y r es un nmero
positivo, entonces la bola cerrada B(A; r) es el conjunto de todos los puntos P de R
n
tales
que ||P - A|| r. (Leithold, 1998, p.927).
Para el espacio bidimensional el concepto de bola se aplica a una circunferencia,
y puede ser llamada disco. En donde el disco abierto se refiere a todos los puntos que
estn dentro de la circunferencia, sin tomar en cuenta los puntos de esta. Y la ecuacin
queda expresada como sigue: (
en donde (x
0
, y
0
) son los
puntos que representan el centro de la circunferencia.
El disco cerrado se conforma con el conjunto de puntos que constituyen la
circunferencia y todos los puntos que se encuentran dentro de esta, la relacin queda
expresada as: (
.
En el caso del espacio tridimensional la bola abierta se refiere a todos los puntos
que se encuentran dentro de la regin delimitada por una esfera. Y bola cerrada consta
de todos los puntos de la esfera y los que se encuentran dentro de esta.
Con los conceptos antes mencionados se puede comenzar a hablar de la
definicin formal de lmites de n variables para los cuales Leithold (1998) estableci:
49

Sea f una funcin de n variables definida en alguna bola abierta B(A; r), excepto
posiblemente en el punto A. Entonces, el lmite de f(P) conforme P tiende a A es
L, lo cual se denota por
lim ( )
P A
f P L
=
si para cualquier > 0, sin importar que tan pequea sea, existe una > 0 tal que
si 0 < ||P - A|| < entonces |() |
Esta es la definicin general que representa el lmite de cualquier funcin de
n variables, pero como se expres al inicio de este apartado los lmites que interesan ac
son los de dos y tres variables, es por ello que esta definicin se particulariza a
continuacin para estos casos.
Definicin formal del lmite de una funcin de dos variables
Definicin del lmite de una funcin de dos variables segn Larson, Hostetler y
Edwards (2000, p.1117):
Sea f una funcin de dos variables definida en un disco abierto centrado en
(x
0
, y
0
), excepto quizs en el punto (x
0
, y
0
), y sea L un nmero real. Entonces
0 0
( , ) ( , )
lim ( , )
x y x y
f x y L
=
si para cada > 0 existe un > 0 tal que
|( ) | siempre que 0 < (

En donde se establece que los valores de la funcin f(x, y) se hacen tan cercanos
a L cuando el punto (x, y) se acerca al punto fijo (x
0
, y
0
), sin llegar a ser iguales. Y se
debe observar que no es necesario que la funcin este definida en (x
0
, y
0
), pero el punto
(x, y) si debe permanecer en el dominio todo el tiempo.

50

Ejemplo 3.1.1.
Demuestre mediante la definicin formal de lmite que
( , ) (3,2)
lim (3 4 ) 1
x y
x y
=
(Leithold, ejercicios 12.2, 7, p.940).
Solucin
Lo primero que se debe hacer es verificar que la funcin este definida en algn
disco abierto que tenga su centro en el punto (3, 2) excepto posiblemente en (3, 2). Dado
que esta definida en cada punto (x, y), cualquier disco abierto centrado en (3, 2)
satisfar el requisito. Luego de demostrar esto se pude proceder a demostrar que para
cualquier > 0 existe una > 0 tal que
si 0 < ( )
( )
entonces |( ) |
Por la desigualdad del tringulo, segn Leithold (1998, p.1147): Dados a, b R,
entonces | | || ||. Adems Sean a, b R, entonces
(i) | | || ||
(ii) (ii) || || | |
se tiene:
|( ) | | |
|( ) | | |
|( ) | | || |
dado que
| | ( )
( )
y | | ( )
( )

Se puede deducir que
si 0 < ( )
( )
entonces | || |
51

Con esto se tiene que
y se obtiene el argumento siguiente:

0 < ( )
( )

| | y | |
| || |
|( ) ( )| (
)
|( ) |
De esa manera se demuestra que si se elige un
para cualquier > 0, el

( , ) (3,2)
lim (3 4 ) 1
x y
x y
=
Definicin formal del lmite de una funcin de tres variables
A continuacin se define el lmite para una funcin de tres variables, de forma
anloga a la definicin del lmite de una funcin de dos variables: Sea f una funcin de
tres variables definida en una bola abierta centrada en (x
0
, y
0
,z
0
), excepto quizs en el
punto (x
0
, y
0
, z
0
), y sea L un nmero real. Entonces
0 0 0
( , , ) ( , , )
lim ( , , )
x y z x y z
f x y z L
=
si para cada > 0 existe un > 0 tal que
|( ) | siempre que 0 < (
.
De acuerdo a Stewart (2002), lo que indica esta definicin es que los valores de
f(x, y, z) se aproximan a un nmero L cuando el punto (x, y, z) se aproxima al punto
(x
0
, y
0
, z
0
), por cualquier trayectoria dentro del dominio de la funcin.
Los problemas en tercera dimensin se trabajan de forma anloga a los ejercicios
en segunda dimensin, esto se observa en el ejemplo que se desarrolla a continuacin.

52

Ejemplo 3.1.2.
Determine si la siguiente afirmacin es correcta
( , , ) (4,1,2)
lim ( ) 7
x y z
x y z
+ + =
Solucin
Se debe verificar que la funcin este definida en alguna bola abierta con centro
en el punto (4, 1, 2), excepto posiblemente en tal punto. Dado que la funcin
esta definida en cada punto (x, y, z), cualquier bola abierta centrada en (4, 1, 2) satisface
lo planteado. Ahora se debe demostrar que para cualquier > 0 existe un > 0 tal que:
si 0 < ( )
( )
( )
< entonces |( ) |
Con la desigualdad del triangulo mostrada anteriormente se puede
establecer:
|( ) | | |
|( ) | | |
|( ) | | | | | | |
Dado que:
| | ( )
( )
( )
,
| | ( )
( )
( )
y
| | ( )
( )
( )

Se deduce que
si 0 < ( )
( )
( )
< entonces
| | | | | |
53

Esta proposicin muestra que una seleccin adecuada para es 3 = , lo cual
indica que
, con ese valor de se tiene el siguiente argumento:

0 < ( )
( )
( )
<
| | , | | y | |
| | | | | |
| |
| | (
)
|( ) |
Con el resultado obtenido se puede probar que la afirmacin es correcta.
Propiedades de los lmites para funciones de dos y tres variables
Para estos lmites de dos y tres variables tambin se pueden aplicar los
teoremas que se establecen para limites unidimensionales, como el teorema de
sustitucin simple, el de lmite de una constante, los de suma, resta , multiplicacin,
divisin, potencia y raz, entre otros, como en el ejemplo que se muestra a continuacin.
Ejemplo 3.1.3.
Evale el lmite mediante los teoremas de lmites.
3
3
( , ) ( 2,4)
lim 2
x y
y x y

+ .
Solucin
Para realizar este ejercicio aplicaremos los teoremas de los lmites.
Primero aplicamos el teorema del producto
3
3
( , ) ( 2,4) ( , ) ( 2,4)
lim . lim 2
x y x y
y x y

+ ,

54

luego aplicamos el teorema de la raz
3
3
( , ) ( 2,4) ( , ) ( 2,4)
lim . lim 2
x y x y
y x y

+ ,
aplicamos el teorema de la suma
3
3
( , ) ( 2,4) ( , ) ( 2,4) ( , ) ( 2,4)
lim . lim lim 2
x y x y x y
y x y

+ ,
luego el teorema de la potencia
3
3
( , ) ( 2,4) ( , ) ( 2,4) ( , ) ( 2,4)
lim . ( lim ) lim 2
x y x y x y
y x y

+ ,
y luego hacemos sustitucin simple
3
3
( , ) ( 2,4) ( , ) ( 2,4) ( , ) ( 2,4)
lim 4. ( lim 2) lim 2(4)
x y x y x y
+ ,
usando el teorema de lmite de una constante nos queda:
()

3.2 EXISTENCIA O NO DEL LMITE
Determinacin de la existencia de un lmite con el uso de prueba de
trayectorias y definicin formal
Para determinar si un lmite existe o no se hace uso de la definicin formal del
lmite expuesto en el apartado anterior y tambin se utiliza una definicin que se
ampliara en el siguiente apartado en la que se expresa que para que exista un lmite en
un punto , el lmite debe ser el mismo a lo largo de toda trayectoria de acercamiento
(Thomas, 2009). Si se tienen lmites diferentes con trayectorias que se acerquen a un
punto se sabe que no existe un lmite en tal punto.
En la mayora de casos es necesario utilizar mltiples trayectorias para
determinar un lmite, para luego someterlo a la definicin formal del lmite y saber si el
55

punto representa o no un lmite, dado que el simple hecho de saber que por varias
trayectorias da el mismo lmite no es suficiente para saber si existe o no existe, puesto
que por un punto pueden pasar infinitas trayectorias. En el ejemplo que se muestra a
continuacin se muestra claro este hecho.
Ejemplo 3.2.1
Demuestre que
2
2 2 ( , ) (0,0)
2
lim
x y
x xy
x y
+
+
existe. (Leithold, ejercicios 12.2, 20, p.940).
Solucin
Se quiere demostrar que tal lmite existe. Para que el lmite exista, debe poderse
acercarse a l a travs de cualquier conjunto de pares ordenados (x, y) que contengan al
par (0,0). Sea S
1
el conjunto de pares ordenados, sobre el eje x; esto es, y = 0. Sea S
2
el
conjunto de pares ordenados (x, y) tal que y = x
2
.
Entonces el lmite de la funcin existe si
1 2
2 2
2 2 2 2 ( , ) (0,0) ( , ) (0,0)
( , ) ( , )
2 2
lim lim
x y x y
x y enS x y enS
x xy x xy
L
x y x y

+ +
= =
+ +

Por lo que
1
2 2 2
2 2 2 2 ( , ) (0,0) 0 0
( , )
2 2 (0)
lim lim lim 0
(0)
x y x x
x y enS
x xy x x x
x
x y x

+ +
= = =
+ +
= L
1
Adems
2
2 2 2 2 3
2 2 2 2 2 2 4 ( , ) (0,0) 0 0
( , )
2 2 ( ) 2
lim lim lim 0
( )
x y x x
x y enS
x xy x x x x x
x y x x x x

+ + +
= = =
+ + +
= L
2
Dado que L
1
= L
2
pueda que el lmite exista y sea 0. Si el lmite existe, entonces
debe haber una > 0 para cualquier > 0, no importa cuan pequeo tal que
56

si ( )
( )
, entonces
2
2 2
2
0
x xy
x y
+
<
+

quedando de la siguiente manera
si
(1), entonces
2
2 2
2 x xy
x y
+
+
< (2)
utilizando propiedades de las desigualdades se debe llegar de (2) a (1)
2
2 2 2 2 2 2
2 2 ( 2 ) x x y x xy x x y
x y x y x y
+ + +
= =
+ + +

donde se omitieron las barras de valor absoluto en el denominador puesto que la
raz devuelta siempre es positiva.
Adems, el valor absoluto tambin puede definirse as: ||
Se eleva al
cuadrado un nmero y luego se obtiene la raz positiva de l.
Entonces
||
(3)
ntese que si x es un nmero fijo, y0, entonces

||
y de igual forma
||
(4),
siendo y un nmero fijo
De la desigualdad del triangulo
| | || ||
Por lo que
57

2
2 2 2 2 2 2
2 ( 2 ) 2 x x y x x y x xy
x y x y x y
+ + +
= s
+ + +
(5)
De (4) se tiene lo siguiente:
||
(6)
Sumando miembro a miembro (3) y (6):
|| ||

|| ||
(7)
Multiplicando miembro a miembro (3) y (7), siendo ambos positivos:
||(|| ||)
)
Luego dividiendo entre
, siendo este positivo

2 2
2 2 2 2
( 2 ) 3( ) x x y x y
x y x y
+ +
s
+ +

2 2
2 2
( 2 )
3
x x y
x y
x y
+
s +
+

Por lo que, de (5) se tiene:
2
2 2
2 2 2 2 2 2
2 ( 2 ) 2
3
x x y x x y x xy
x y
x y x y x y
+ + +
= s s +
+ + +

Sea
, entonces
, que se parece a (1).

Por lo que si
, la proposicin se ha demostrado y
2
2 2 ( , ) (0,0)
2
lim 0
x y
x xy
x y
+
=
+
.
La grafica de la funcin se observa a continuacin
58

Figura 1. Grafica de la funcin del ejemplo 4
La figura 1 sustenta el resultado obtenido.
De la misma forma en que se resolvi este ejercicio, se pude resolver un lmite
de tres variables, para el cual se calcula el posible lmite con la prueba de las
trayectorias y luego se aplica la definicin formal para saber si la suposicin es correcta.
Generalizacin del teorema del emparedado para conocer la
existencia o no existencia de un lmite
Para dos variables
Existen otros mtodos alternativos para encontrar el lmite de una funcin de
n variables, dada la complejidad del uso de la definicin formal y de la prueba de
trayectorias. Uno de estos mtodos se realiza haciendo una generalizacin del teorema
del emparedado e indica los siguiente: Suponga que |( ) | ( ) para
todos los (x, y) en el interior de alguna circunferencia centrada en (a, b), con la posible
excepcin en (a, b). Si
( , ) (0,0)
lim ( , ) 0
x y
g x y
= entonces
( , ) (0,0)
lim ( , )
x y
f x y L
= (Smith,
Minton, 2001, p. 1037).
59

Lo que establece este teorema es que si una funcin se encuentra entre 0 y una
funcin que tiende a 0, entonces debe tener como lmite 0. Para realizar ejercicios
aplicando este teorema primero se calcula el posible lmite, calculando el lmite a lo
largo de diferentes trayectorias. Luego se busca una funcin que sea mayor a
|( ) |y que sea mas sencilla que f(x,y). Si tal funcin tiende a 0 cuando (x, y)
tiende a (a, b) se obtiene el lmite de la funcin.
Ejemplo 3.2.2.
Calcule
2
2 2
( , ) (0,0)
lim
x y
xy
x y
+
(Smith, et al., ejercicios 12.2, 27, p.1044).
Solucin
Se comienza por examinar el lmite a lo largo de varias trayectorias que pasen
por (0, 0).
Primero se har a lo largo de la trayectoria x = 0, para la cual se tiene:
2
2 2 2 2
(0, ) (0,0) (0, ) (0,0)
(0) 0
lim lim 0
0 0
y y
y
y y

= =
+ +
= L
1
Luego a lo largo de la trayectoria y = 0, se tiene:
2
2 2 2 2
( ,0) (0,0) ( ,0) (0,0)
(0) 0
lim lim 0
0 0
x x
x
x x

= =
+ +
= L
2
Si se hace a lo largo de la trayectoria y = x
2 3 3
2 2 2 2 2
( , ) (0,0) ( , ) (0,0) ( , ) (0,0)
( )
lim lim lim 0
2
x x x x x x
x x x x
x x x x x

= = =
+ +
= L
3
Dado que L
1
, L
2
, y L
3
son iguales, se puede suponer que el lmite existe y que
puede ser 0. Para determinar si la suposicin es correcta o no, se aplica la generalizacin
del teorema del emparedado, considerando lo siguiente:
60

|( ) |
2
2 2
0
xy
x y

+

Se observa que una funcin mayor a esta podra ser
2
2
xy
y
, dado que
2 2
2 2 2
xy xy
x y y
s
+
=||
Y dado que el
( , ) (0,0)
lim 0
x y
x
=
Entonces por la generalizacin del teorema del emparedado se tiene que
2
2 2
( , ) (0,0)
lim 0
x y
xy
x y
=
+

Figura 2. Grafica de la funcin del ejemplo 5
La figura 2 demuestra grficamente el resultado obtenido.

61

Para tres variables
De la misma forma se puede hacer la suposicin para un lmite de tres variables
en el cual, si se tiene |( ) | ( ) para todos los (x, y, z) en el interior de
alguna esfera centrada en (a, b, c), con la posible excepcin en tal punto, y el
( , , ) (0,0,0)
lim ( , , ) 0
x y z
g x y z
= , entonces se puede asumir que

( , , ) (0,0,0)
lim ( , , )
x y z
f x y z L
= .
En el siguiente ejemplo se aplica la definicin anterior, de la misma forma como
se aplic en el ejemplo 5.
Ejemplo 3.2.3.
Calcule
2 2 2
2 2 2
( , , ) (0,0,0)
lim
x y z
x y z
x y z
+ +
Solucin
Primero se calcular el posible lmite de la funcin probando diferentes
trayectorias.
Sea x=0 y y=0 el lmite a lo largo de esta trayectoria ser:
2 2 2
2 2 2
(0,0, ) (0,0,0)
lim
z
x y z
x y z
+ +

2 2 2 2 2 2
2 2 2 2 2 2
(0,0, ) (0,0,0) (0,0, ) (0,0,0)
0 0
lim lim 0
0 0
z z
x y z z
x y z z

= =
+ + + +

Sea y=0 y z=0
2 2 2
2 2 2
( ,0,0) (0,0,0)
lim
x
x y z
x y z
+ +

2 2 2 2 2 2
2 2 2 2 2 2
( ,0,0) (0,0,0) ( ,0,0) (0,0,0)
0 0
lim lim 0
0 0
x x
x y z x
x y z x

= =
+ + + +

62

Se observa que el posible lmite es 0, ahora se procede a usar el teorema del
emparedado para comprobar tal suposicin.
Sea
|( ) | |
2 2 2
2 2 2
x y z
x y z + +
|
Se observa que una funcin mayor a esta podra ser
2 2 2
2
x y z
x
, dado que
2 2 2 2 2 2
2 2 2 2
x y z x y z
x y z x
s
+ +

Y como
2 2
( , , ) (0,0,0)
lim 0
x y z
y z
=
Entonces por la generalizacin del teorema del emparedado se tiene que
2 2 2
2 2 2
( , , ) (0,0,0)
lim 0
x y z
x y z
x y z
=
+ +

Utilizacin de coordenadas polares para determinar la existencia de
un lmite de dos variables
Otro concepto que se puede utilizar para realizar ejercicios con lmites es el de
coordenadas polares, si se cambian las coordenadas rectangulares a coordenadas polares,
el lmite se puede realizar de manera ms sencilla.
Sustituyendo los valores de la siguiente forma:

63

Y re expresando el lmite en funcin de r y , se puede calcular la existencia o no
existencia de este.
Ejemplo 3.2.4.
Calcule
3 3
2 2
( , ) (0,0)
lim
x y
x y xy
x y
+
+
utilizando coordenadas polares.
(Smith, ejercicios 12.2, 60, p.1045).
Solucin
Primero se expresa el lmite en coordenadas polares.
Dado que (r,) son las coordenadas polares del punto (x,y), entonces con las
formulas expresadas anteriormente se sustituye la funcin de la siguiente forma:
3 3
2 2
( cos ) ( ) ( cos )( )
( cos ) ( )
r rsen r rsen
r rsen
u u u u
u u
+
+

Factorizando queda expresada as:
2
( cos ) r senu u
Y dado que
es claro que r0 cuando x y y tienden a cero, por

tanto
3 3
2
2 2
( , ) (0,0) 0
lim lim ( cos ) 0
x y r
x y xy
r sen
x y
u u

+
= =
+

Ya que | ( cos ) senu u |1 para todo valor de .
Por tanto

3 3
2 2
( , ) (0,0)
lim 0
x y
x y xy
x y
+
=
+

64

Utilizacin de coordenadas polares para determinar la existencia de
un lmite de tres variables
El mtodo anterior se aplica para lmites de dos variables, pero de forma anloga
existe un mtodo para calcular el lmite de funciones de tres variables de forma sencilla,
este mtodo se realiza sustituyendo las variables x, y, z por sus coordenadas esfricas de
la siguiente forma:

Haciendo las sustituciones necesarias se puede calcular el lmite como se realiza
en el ejemplo siguiente.
Ejemplo 3.2.5
Calcule
2 2 2 ( , , ) (0,0,0)
lim
x y z
xy xz yz
x y z
+ +
+ +
Solucin
Realizando las sustituciones indicadas anteriormente la funcin queda expresada
asi
)( ) )( ) ) ( ( ( ( ) sen cos sen sen sen cos cos sen sen cos u u u
u + C C C + C C C

Factorizando:
2
)( ) )( ) )( ) (( ( ) ( sen cos sen sen sen cos cos sen sen cos u u
u u C C C C C C + +

65

)( ) )( ) )( ) (( ( ) ( sen cos sen sen sen cos cos sen sen cos u u u u + C + C C C C C
Y dado que
2 2 2
x y z + + es claro que 0 cuando x, y y z tienden a cero
por tanto el lmite queda as:
0
)( ) )( ) )( )) lim (( ( 0 ( sen cos sen sen sen cos cos sen sen cos
u u u u
C C + C C C C = +
Con lo cual se concluye que
2 2 2 ( , , ) (0,0,0)
lim 0
x y z
xy xz yz
x y z
+ +
=
+ +

Al trabajar los lmites con coordenadas polares o esfricas se debe tener en
cuenta que la funcin pueda definirse en esas coordenadas ya que si no, no son
aplicables los mtodos.
3.3 PRUEBA DE LAS TRAYECTORIAS PARA PROBAR LA NO
EXISTENCIA DE UN LMITE
Prueba de las trayectorias para una funcin de dos variables
Es posible conocer si un lmite existe o no utilizando el mtodo de prueba de
trayectorias, para poder entrar de lleno en este teorema se hace necesario definir lo que
es un punto de acumulacin, se hace de la siguiente forma: Un punto P
0
es un punto de
acumulacin de un conjunto S de puntos de R
n
si toda bola abierta B(P
0
; r) contiene un
nmero infinito de puntos de S (Leithold, 1998, p. 931).
Luego de conocer esta definicin, se puede plantear el teorema de prueba de las
trayectorias, como Leithold (1998) indica: Si la funcin f tiene lmites diferentes
conforme (x, y) se aproxima a (x
0
, y
0
) a travs de dos conjuntos diferentes de puntos que
66

tienen a (x
0
, y
0
) como un punto de acumulacin, entonces
0 0
( , ) ( , )
lim ( , )
x y x y
f x y
no existe
(p.932).
Thomas (2009) explica que si se encuentran trayectorias con lmites diferentes,
se sabe que la funcin no tiene lmite en el punto al que se acerca.
Por tanto para poder conocer la existencia o no de un lmite se pueden probar
mltiples trayectorias y si una da diferente el lmite no existe; no as, si dan los mismos
lmites, al probar distintas trayectorias, no significa que el lmite exista y que tiene el
valor que da, sino que ese puede ser el posible lmite. Para comprobarlo se realiza como
se explic anteriormente, de la misma forma que se aplic para realizar el ejemplo 5, es
decir que luego de obtener el posible lmite, este debe someterse a la definicin formal
para comprobar la veracidad de la suposicin hecha, o utilizar uno de los mtodos
alternativos.
En los ejemplos siguientes se muestran el empleo de este teorema.
Ejemplo 3.3.1
Demostrar que
2 2
( , ) (0,0)
( )
lim
x y
ysen x
x y
+
no existe.
Solucin
Para comprobar que el lmite no existe, utilizaremos la prueba de las trayectorias,
para ello se procede de la siguiente forma:
Se calcula el lmite considerando la recta vertical x=0, es decir aproximndonos
a (0,0) a lo largo del eje y
2 2 2 2
(0, ) (0,0) (0, ) (0,0) (0, ) (0,0)
( ) (0) 0
lim lim lim 0
0
y y y
ysen x ysen
x y y y

= = =
+ +
= L
1
67

Ahora nos acercamos a (0,0) a lo largo del eje x, es decir considerando la recta
y=0
2 2 2 2 2
( ,0) (0,0) ( ,0) (0,0) ( ,0) (0,0)
( ) (0) ( ) 0
lim lim lim 0
0
x x x
ysen x sen x
x y x x

= = =
+ +
= L
2
A pesar de que se ha obtenido el mismo limite al aproximarse al punto por
ambos ejes, eso no demuestra que el lmite existe y es cero, por ello ahora se aproximara
al punto por medio de la recta y = x, as:
2 2 2 2 2
( , ) (0,0) ( , ) (0,0) ( , ) (0,0) ( , ) (0,0)
( ) ( ) ( ) ( )
lim lim lim lim
2 2
x x x x x x x x
ysen x xsen x xsen x sen x
x y x x x x

= = =
+ +

Por las propiedades del lmite
( , ) (0,0) ( , ) (0,0) ( , ) (0,0)
( ) 1 ( ) 1 1
lim lim . lim .1
2 2 2 2
x x x x x x
sen x sen x
x x

= = = = L
3
Dado que L
1
y L
2
son distintos de L
3
, se ha comprobado que el lmite no existe.
Figura 3. Grafica de la funcin del ejemplo 9.
68

En la figura 3 se observa que el lmite de la funcin del ejemplo 3.3.1 cuando
(x, y) tienden a (0, 0) no existe.
Hay problemas en los que las trayectorias que se deben elegir son mas
complicadas, puesto que si se basa el resultado en el clculo del lmite a travs de
trayectorias sencillas, y este es el mismo para todas se pueden asumir resultado
errneos.
Ejemplo 3.3.2.
Determine si el lmite existe.
2 2
( , ) (1,2)
2 2
lim
2 4 5
x y
xy x y
x x y y
+
+ +

Solucin
Se realiza la prueba de trayectorias, acercndose a (1, 2) a lo largo del eje y, es
decir con x= 0
1 2 2 2
(0, ) (1,2) (0, ) (1,2)
(0) 2(0) 2 2 0
lim lim 0
0 2(0) 4 5 4 5 1
y y
y y y
L
y y y y

+
= = = =
+ + +

Si se acerca al punto a lo largo del eje x, es decir con y= 0
2 2 2 2
( ,0) (1,2) ( ,0) (1,2)
(0) 2 (0) 2 2 2 0
lim lim 0
2 0 4(0) 5 2 5 4
x x
x x x
L
x x x x

+
= = = =
+ + +

A pesar de que L
1
es igual a L
2
no se puede asegurar que el lmite existe y que es
cero, se debe buscar otra trayectoria con la cual se pueda acercar al punto. Para ello
utilizaremos la trayectoria y= x+1
2
2 2 2 2
( , 1) (1,2) ( , 1) (1,2)
( 1) 2 ( 1) 2 2 1 2
lim lim
2 ( 1) 4( 1) 5 2 2 4 4 5
x x x x
x x x x x x x x
x x x x x x x x x
+ +
+ + + + +
=
+ + + + + + +

Factorizando se tiene
69

2 2
3 2 2 2
( , 1) (1,2) ( , 1) (1,2)
2 1 ( 1) 1
lim lim
2 1 2 1 2( 1) 2
x x x x
x x x
L
x x x x x
+ +
+
= = =
+ + +

Dado que L
1
, L
2
y L
3
son distintos, el lmite no existe.
Figura 4. Grafica de la funcin del ejemplo 10.
La figura 4 demuestra que el resultado obtenido es correcto.
Prueba de las trayectorias para una funcin de tres variables
De forma similar a lmites de dos variables, se puede aplicar la prueba de las
trayectorias para lmites de tres variables para saber si este no existe.
Stewart (2002) plantea que si se pueden hallar dos trayectorias diferentes de
aproximacin por las cuales la funcin tiene lmites diferentes, entonces el lmite no
existe. En el siguiente ejemplo se aplica la prueba de las trayectorias para lmites de
funciones de tres variables.
70

Segn Thomas (2009) lo que se plantea en la prueba de la trayectorias para
determinar la existencia de un lmite es que para algunas funciones no existe un solo
lmite independiente de la trayectoria al acercarse a un punto.

Ejemplo 3.3.3.
Demuestre que
2
2 2 2
( , , ) (0,0,0)
3
lim
x y z
x
x y z
+ +
no existe.
Solucin
De forma similar a los ejemplos planteados anteriormente en este apartado, se
deben probar mltiples trayectorias que se acerquen al punto (0, 0, 0) para determinar si
el lmite existe o no.
Para demostrarlo se probar de la siguiente forma:
Sea x= 0 y y= 0, es decir acercndose al punto a travs del eje z
2
1 2 2 2 2
(0,0, ) (0,0,0)
3(0) 0
lim 0
0 0
z
L
z z
= = =
+ +

Sea y= 0 y z= 0, acercndose al punto a travs del x
2 2
2 2 2 2 2
( ,0,0) (0,0,0)
3 3
lim 3
(0) (0)
x
x x
L
x x
= = =
+ +

Dado que L
1
y L
2
son distintos, el lmite no existe, es decir
2
2 2 2
( , , ) (0,0,0)
3
lim
x y z
x
x y z
+ +
no existe.
As como los ejemplos mostrados en esta seccin se realizan otros en los que en
algunas ocasiones se necesitara acercarse al punto a travs de trayectorias un poco mas
complejas.
71

Y como ya se dijo anteriormente esta prueba solo se aplica para ver si un lmite
no existe, para ver si existe se aplica la definicin formal.
3.4. CONTINUIDAD DE UNA FUNCIN MULTIVARIABLE
Continuidad de una funcin de dos variables
Un concepto ntimamente relacionado con el lmite de una funcin es el de
continuidad, por ello en esta seccin se da la definicin de continuidad para funciones
de dos y tres variables.
Para comenzar se presentar la definicin de continuidad para una funcin de
dos variables. Leithold (1998, p.936) define as:
Se dice que la funcin f de dos variables x y y es continua en el punto (x
0
, y
0
)
si y slo si se satisfacen las tres condiciones siguientes:
(i) f(x
0
, y
0
) existe;
(ii)
0 0
( , ) ( , )
lim ( , )
x y x y
f x y
existe;
(iii) (iii)
0 0
0 0
( , ) ( , )
lim ( , ) ( , )
x y x y
f x y f x y
= .
Segn Spiegel (1985) otra forma de plantear la continuidad de una funcin es:
Sea f(x, y) definida en un entorno de (x
0
, y
0
) [esto es, f(x, y) debe estar
definida tambin en (x
0
, y
0
)]. Se dice que f(x, y) es continua en (x
0
, y
0
) si para
todo nmero positivo existe un nmero positivo [que depende de y no
de (x
0
, y
0
) en general] tal que |( ) (
)| siempre que |
|
y |
| . (p.103)
Y luego expresa las condiciones que debe satisfacer la funcin para ser continua
en un punto, las cuales son las mismas que se definieron anteriormente.
72

Ejemplo 3.4.1
Determine si la funcin
2
2 2
( , ) (0,0)
0 ( , ) (0,0)
( , )
xy
si x y
x y
si x y
f x y
=
+
=
| |
\ .
es continua en (0, 0).

Solucin
Para saber si la funcin es continua en tal en (0, 0) se deben verificar las
condiciones establecidas anteriormente.
(i) f(0, 0)=0
(ii)
2
2 2
( , ) (0,0)
lim 0
x y
xy
x y
=
+
, hecho que se comprob en el ejemplo 3.2.2.
(iii) Dado que
2
2 2
( , ) (0,0)
lim 0
x y
xy
x y
=
+
= f(0, 0) Se puede afirmar que la funcin es
continua en (0, 0).
Figura 5. Grafica de la funcin del ejemplo 3.4.1.
La figura 5 sustenta el resultado obtenido.

73

Continuidad de una funcin de tres variables
El concepto de continuidad se aplica para n variables, lo cual indica que se aplica
para funciones de tres variables, es por eso que Larson, et al. (2000) define as la
continuidad de una funcin de tres variables:
Una funcin f de tres variables es continua en un punto (x
0
, y
0
, z
0
) de una regin
abierta R si f(x
0
, y
0
, z
0
) est definido y es igual al lmite de f(x, y, z) cuando (x, y,
z) tiende a (x
0
, y
0
, z
0
). Esto es, si
0 0 0
0 0 0
( , , ) ( , , )
lim ( , , ) ( , , )
x y z x y z
f x y z f x y z
= . La
funcin f se dice que es continua en una region abierta R si es continua en todos
los puntos de R. (p.1123)
Ejemplo 3.4.2.
Determine si la funcin
2 2 2
3
( , , ) (0,0,0)
0 ( , , ) (0,0,0)
( , , )
xyz
si x y z
x y z
si x y z
f x y z
=
+ +
=
| |
\ .
es continua en
(0, 0, 0). (Leithold, ejercicios 12.2, 71, p.941)
Solucin
Para comprobar que la funcin es continua en el punto (0, 0, 0), se deben
verificar las tres condiciones establecidas anteriormente.
(i) f(0, 0, 0)=0
(ii) Para
2 2 2
( , , ) (0,0,0)
3
lim
x y z
xyz
x y z
+ +
por coordenadas esfricas se tiene:
Al realizar las sustituciones necesarias
2
)( )( ) 3( sen cos sen sen cos u u
C C C

Factorizando
74

( ) 3 ( ) )( sen cos sen sen cos u u C C C
Y dado que
2 2 2
x y z + + es claro que 0 cuando x, y y z tienden a cero.
El lmite se expresa as:
0
)( lim3 ( )( ) 0 sen cos sen sen cos
u u
C C C =
Por tanto
2 2 2
( , , ) (0,0,0)
3
lim 0
x y z
xyz
x y z
=
+ +

(iii)
2 2 2
( , , ) (0,0,0)
3
lim 0
x y z
xyz
x y z
=
+ +
= f(0, 0, 0)
Entonces la funcin es continua en el punto (0, 0, 0).
Discontinuidad removible y discontinuidad esencial
Para las funciones de dos y tres variables se puede definir la discontinuidad de
dos formas, al igual que las funciones de una variable, se tiene discontinuidad removible
y discontinuidad esencial. Segn Leithold (1998) si una funcin es discontinua en cierto
punto, pero el lmite de la funcin en ese punto existe, entonces se puede decir que f
tiene una discontinuidad removible o eliminable en el punto, debido a que se redefine la
funcin en este, de tal forma que el lmite de la funcin sea igual al valor de f en el
punto, para asegurar que la funcin ahora sea continua. Si la discontinuidad no es
removible, entonces se dice que es una discontinuidad esencial.
Ejemplo 3.4.3.
Determine si la funcin tiene discontinuidad removible o discontinuidad esencial
en el punto (0, 0).
75

2
2 2
3
( , ) (0,0)
0 ( , ) (0,0)
( , )
x
si x y
x y
si x y
f x y
=
+
=
| |
|
|
\ .
(Smith, et al., ejercicios 12.2, 11, p.1044)

Solucin
Para saber qu tipo de discontinuidad presenta la funcin es necesario saber si su
lmite existe, para ello se utilizaran los mtodos planteados en los apartados anteriores,
comenzando con la prueba de las trayectorias.
2
2 2
( , ) (0,0)
3
lim
x y
x
x y
+

Acercndose al punto a travs del eje x, es decir con y= 0
2 2
2 2 2
( ,0) (0,0) ( ,0) (0,0)
3 3
lim lim 3
(0)
x x
x x
x x

= =
+
= L
1
Acercndose al punto a travs del eje y, es decir con x= 0
2
2 2 2
(0, ) (0,0) ( ,0) (0,0)
3(0) 0
lim lim 0
(0)
y x
y y

= =
+
= L
2
Dado que L
1
L
2
el lmite no existe, por tanto la funcin presenta una
discontinuidad esencial.
76

Figura 6. Grafica de la funcin del ejemplo 3.4.3.
La figura 16 demuestra que la afirmacin que se hace en el ejemplo 3.4.3 es
correcta.
Continuidad de funciones polinomiales y racionales
Para las funciones polinomiales y racionales se puede definir su continuidad de
manera sencilla, segn Leithold (1998) las funciones polinomiales son continuas en cada
punto de R
n
, mientras que las funciones racionales son continuas en cada punto de su
dominio.
Ejemplo 3.4.4.
Determine los puntos en los que la funcin
2
( , )
xy
f x y
x y
=
es continua.
Solucin
77

Por la definicin anterior se sabe que la funcin racional es continua en cada
punto de su dominio, es decir en donde
no sea cero, por tanto la funcin

2
( , )
xy
f x y
x y
=
es continua en cada punto en donde
.

Figura 7. Grafica de la funcin del ejemplo 3.4.3
La figura 7 demuestra grficamente el resultado obtenido en este ejemplo.
Con esto se concluye el apartado de funciones de varias variables.

78

4. INTEGRALES MLTIPLES. CAMBIO DE COORDENADAS
CON JACOBIANOS DE TRANSFORMACIN. APLICACIONES DE
LAS INTEGRALES MLTIPLES.
4.1. SISTEMAS DE COORDENADAS EN EL ESPACIO:
COORDENADAS CILNDRICAS Y ESFRICAS
Coordenadas cilndricas
Considrese un punto P en el espacio con coordenadas cartesianas (x, y, z).
Proyctese este punto sobre el plano xy. Luego, esta ltima proyeccin del punto P, P
xy,

puede representarse por medio de las coordenadas polares P
xy
(r,). Se puede demostrar,
entonces, a partir de las relaciones entre coordenadas polares y coordenadas cartesianas
en un plano xy que el punto P tiene tanto a (x,y,z) como a (r,,z) como conjuntos de
coordenadas que lo ubican en el espacio y que ambos conjuntos se relacionan por las
siguientes ecuaciones:
() ()

Para un bosquejo geomtrico de estas relaciones, puede referirse a Leithold
(1998, p.1022).
Ejemplo 4.1.1.
79

Obtenga una ecuacin en coordenadas cilndricas de la superficie

e identifique la superficie. (Leithold, 1998, Ejercicios 13.1, 11, p.1026)
Solucin
Al dividir entre 3 y sumando -3z
2
a ambos miembros se obtiene

el cual es un cono elptico. Usando las relaciones entre coordenadas cilndricas y
cartesianas se obtiene:
((())
(())
(())

Coordenadas Esfricas
Considere nuevamente un punto P en el espacio. En este sistema de coordenadas,
el plano xy se conoce como el plano polar. Un punto P(x,y,z) tambin tiene como
coordenadas a ( ), de la forma que se deduce a continuacin. Sea la proyeccin P
xy

la proyeccin de P en el plano polar. Entonces entonces, de las coordenadas cilndricas:
|
|() |
|()
Donde |
| es la distancia no dirigida medida entre el polo y la proyeccin

P
xy
. Ahora considere la lnea OP. Esta forma un ngulo respecto al eje positivo z.
Adems, es fcil demostrar que
80

||

la cual es la distancia no dirigida del polo al punto P. Sea =||. Adems,
z=P
xy
P (la distancia dirigida desde P
xy
hasta P). Se quiere formar un nuevo sistema de
coordenadas que ubique al punto P en funcin de (,,). Las rectas || |
| y
|
| forman un tringulo rectngulo tal que |
| y |
| estn, respectivamente,
sobre el plano xy y paralelo al eje z; es decir, |
| y |
| son los catetos del

tringulo
y la hipotenusa de este tringulo es ||. Entonces,

|
| (
) ()
adems,
|
| (
) ()
Sustituyendo las ltimas dos ecuaciones en
|
|() |
|()

se obtiene

() () () () ()

donde
81

El origen O tiene la coordenada ( ) en donde pueden tomar cualquier
valor. Adems, si , P est sobre la parte positiva del eje z; si
, P est sobre el
plano polar y si , P est sobre la parte negativa del eje z. Una deduccin
geomtrica de estas coordenadas puede encontrarse en Leithold (1998, pp.1023-1024).
Ejemplo 4.1.2.
Escribir la ecuacin
en coordenadas cilndricas.
(Stewart, 2010, Ejercicios 15.9, 10, p.1037).
Solucin
Usando las relaciones entre coordenadas cartesianas y esfricas:
( () ())
() () ( () ())
( ())

( ())
((())
(())
) () () ( ())
((())
(())
) () ()
() ()
por lo que
() ()
Por ltimo, como el origen est en (0, ), entonces se puede descartar ,
puesto que () () tambin contiene al origen.
82

4.2. INTEGRALES DOBLES Y TRIPLES EN COORDENADAS
RECTANGULARES
Integrales dobles
Considrese una regin plana R cerrada cuya frontera es una simple y lisa.
Considrese tambin una funcin f definida sobre la regin R. Se divide esta regin R
en pequeas particiones n rectangulares A, de tal manera que se tiene A
1
, A
2,
A
3,,

A
n
. Para un elemento de rea A
b,
se tiene A
b
= x
b
y
b
. La norma de esta particin
es la longitud de la diagonal ms grande de todas las particiones. Se desea formar
una suma de Riemann sobre la regin R. Para ello, escjase el punto (p
b
,q
b
), en la b-
sima particin y multiplquese el valor de f en este punto por su elemento de rea
correspondiente A
b
y frmese la suma de todos los productos, de la forma siguiente:
(

Esta es la suma de Riemann en dos variables. Si el nmero de particiones
aumenta sin lmite, o, equivalentemente, si , entonces resulta el siguiente
lmite:

83

Este lmite puede acercarse arbitrariamente a un nmero L. Si esto ocurre,
entonces se dice que L es el lmite de esta suma, establecindose el siguiente teorema
tomado de Leithold (1998, p.1029) y que se presenta sin demostracin:
Sea f una funcin definida en una regin rectangular cerrada R. El
nmero L es el lmite de las sumas de la forma (
si L satisface
la propiedad que para cualquier >0 existe una >0 tal que para cualquier
particin para la cual < y para toda eleccin posible del punto (p
b
,q
b
) en
el b-simo rectngulo, b=1, 2,, n, entonces
|(
|
si tal nmero L existe, se escribe

Adems, si el lmite de esta suma de Riemann existe, se dice que la funcin f es
integrable en la regin R, de manera que se define la integral doble de f en R como el
lmite de esa suma, de la forma siguiente:

( )

84

Adems, de forma anloga para funciones de una variable, una condicin
suficiente para que una funcin f de dos variables sea integrable en la regin R es que
sea continua en R.
A continuacin se presenta un teorema que proporciona un mtodo para evaluar
esta integral doble. El teorema es conocido como el teorema de Fubini. (Thomas, 2009,
p.839).
Sea f(x,y) continua en una regin R.
1. Si R est definida por axb, g
1
(x) y g
2
(x) con g
1
y g
2
continuas en
[a,b], entonces
( )
( )
()
()

2. Si R est definida por cyd, h
1
(y) x h
2
(y) con h
1
y h
2
continuas en
[c,d], entonces
( )
( )
()
()

Propiedades de las Integrales Dobles
Las siguientes propiedades tambin son tiles para la evaluacin de integrales
dobles. (Thomas, 2009, p.846).
85

Si f(x,y) y g(x,y) son continuas en la regin R, entonces se mantienen las
siguientes propiedades:
1. Mltiplo constante: ( )
( )
(para
cualquier nmero c)
2. Suma y diferencia:
(( ) ( ))
( ) ( )

3. Dominacin:
(a) ( )
0, si ( )0 en R
(b) ( )
( )
, si ( ) ( )en R
4. Aditividad: ( )
( ) ( )
, si R es
la unin de dos reas no traslapadas R
1
y R
2
.
Tambin se tiene el siguiente teorema (Leithold, 1998, p.1032)
Sea f una funcin integrable en una regin cerrada R, y suponga que m y
M son dos nmeros tales que m f(x,y) M para todo (x,y) de R. Si A es la
medida del rea de la regin R, entonces
( )

86

Ejemplo 4.2.1.
Evale la siguiente integral impropia. (Thomas, 2009, Ejercicios 15.2, 83,
p.848).

)(

Solucin:

( )
())

rea de una Regin con Integrales Dobles.
Si en la integral doble ( )
se considera ( ) , entonces la
integral
representa la medida del rea de la regin R. Adems, con dA = dxdy, se

tiene, segn Leithold (1998, p.1038):
87

Ejemplo 4.2.2.
Calcule el rea limitada entre las curvas y
.
(Leithold, 1998, Ejercicios 4.8, 49, p.380).
Solucin
Al resolver la segunda ecuacin para y se obtiene:
( ) ( )

Figura 1
En la figura 1 se muestra el rea a encontrar. Se tiene, entonces:

88

()
()

()
()

(( ) (( ))

Integrales triples
De forma anloga a la deduccin de la suma de Riemann que llevaba a una
integral doble, considrese una funcin continua de tres variables en una regin de R
3
.
Refirase a Leithold (1998, pp. 1062-1063) para una discusin ms rigurosa sobre la
siguiente deduccin. Esta puede ser una regin E tridimensional y puede estar limitada
por los planos x=a, x=b, los cilindros
() y
(), y adems por las

superficies
( ) y
( ). Nuevamente, frmense n particiones; esta vez,

paraleleppedos. Sea la norma de la particin de D, la cual es la longitud de la
diagonal ms grande de los n paraleleppedos. Sea V
b
el volumen del b-simo
paraleleppedo. Si la funcin f es continua en la regin D y si se escoge el punto
arbitrario (p
b
,q
b,
r
b
) para el b-simo paraleleppedo, entonces se puede formar la suma de
Riemann para una funcin de tres variables, as:
(

89

en donde
. En el Clculo avanzado, se puede demostrar que
( )

Una condicin suficiente para que el lmite anterior exista es que f sea continua
en D.
Las integrales triples tambin se pueden evaluar como integrales iteradas, as:
( )
()
()
()
()

Volumen de regiones con integrales triples.
Si en la integral anterior, ( ) , entonces se puede calcular el volumen
de una regin tridimensional como:

El orden de los diferenciales puede cambiar, cambiando as el orden de
integracin, de manera que .
Ejemplo 4.2.3.
Obtenga el volumen del slido del primer octante limitado por los cilindros
y los tres planos coordenados. (Leithold, 1998, Ejercicios

13.5, 21, p.1066).
90

Solucin.
En el plano xy se observa la traza del cilindro
:

Figura 2
El cilindro con directriz en el plano xz se observa en la siguiente figura:

Figura 3
91

El cilindro anterior tambin tiene como ecuacin a

. Adems la parte
del cilindro en el primer octante tiene como ecuacin a
Por lo que,

4.3. CAMBIO DE COORDENADAS CON JACOBIANOS DE
TRANSFORMACIN
Frecuentemente sucede que las integrales dobles y triples generan antiderivadas
engorrosas, si es que, en primer lugar, las integrales se pueden evaluar por el Teorema
fundamental del clculo. Surge muy til realizar sustituciones de variables.
Sustituciones en Integrales Dobles.
Thomas (2009) describe muy bien un mtodo para cambio de variables
utilizando el concepto de Jacobiano de transformacin. Suponga que una regin G en el
92

plano uv es transformado uno a uno en la regin R del plano xy para ecuaciones de la
forma
( ) ( )
Una funcin f(x,y) en la regin G es tambin una funcin f(g(u,v),h(u,v)) en la
regin G. Las integrales dobles de ambas regiones se relacionan de la forma siguiente:
( )
(( ) ( ))|( )|

Obsrvese que se toma el valor absoluto de ( ). Esto mide qu tanto cambia
la regin G hacia R. Thomas (2009) define el Jacobiano de transformacin en dos
variables de la forma siguiente:
El determinante Jacobiano o Jacobiano de la coordenada de
transformacin x=g(u,v), y=h(u,v) es
( ) |

A continuacin se mostrar un ejemplo de cmo cambiar a mejores coordenadas.
Ejemplo 4.3.1.
Evale la integral. (Tomado textualmente de Thomas, 2009, p.890).
93

Solucin
Los trminos con raz cuadrada en el integrando sugieren que podramos
simplificar la integral sustituyendo y
. Elevando al cuadrado estas

ecuaciones, se obtiene
, lo que implica que
.
Entonces se obtiene la transformacin

Veamos primero qu ocurre al integrando mismo durante esta transformacin. El
Jacobiano de transformacin es
( ) |
| |

Si G es la regin de integracin en el plano uv, entonces la integral doble
transformada es:

El integrando transformado es ms fcil de integrar que el original, por lo que
procedemos a determinar los lmites de integracin para esta integral transformada.
94

La regin de integracin R de la integral original en el plano xy se muestra en la
figura 4.

Figura 4
De la sustitucin de las ecuaciones
se ve que la imagen en el
lmite izquierdo xy=1 para R es la lnea vertical del segmento u=1, 2v1, en G. De la
misma forma, el lmite derecho y=x de R se convierte al segmento horizontal v=1,
1u2, en G. Finalmente, el lmite superior y=2 de R se convierte a uv=2, 1v2, en G.
Mientras nos movemos en sentido antihorario alrededor del lmite de la regin R,
tambin nos movemos en sentido antihorario en el lmite de la regin G, como se
muestra en la figura 5.
95

Figura 5
Sabiendo la regin de integracin G en el plano uv, podemos escribir las
integrales iteradas equivalentes.

Evaluamos hoy la integral transformada,

( )

96

Sustituciones en Integrales Triples.
Thomas (2009) tambin explica un mtodo de sustitucin para funciones de tres
variables. Supngase que una regin G en el espacio uvw es transformada uno a uno en
una regin D en el espacio xyz por las ecuaciones diferenciables de la forma
( ) ( ) ( )
entonces, la funcin F(x,y,x) puede ser reescrita como
(( ) ( ) ( )) ( )
definida en G. Si g, h y k tienen primeras derivadas parciales continuas, entonces
la integral de F(x,y,x) sobre D est relacionada a la integral de ( ) sobre G por la
ecuacin
( )
( )|( )|

En este caso, el Jacobiano determinante queda definido como
( )
|
|
|
|

A continuacin se muestra un ejemplo de aplicacin para este caso.

97

Ejemplo 4.3.2.
Evale
(

aplicando la transformacin

e integrando sobre la regin apropiada en el espacio uvw. (Tomado textualmente
de Thomas, 2009, p.893).
Solucin
Primero se resuelven las transformaciones dadas para x, y y z. Se obtiene:

Luego se encuentran los lmites de G:
Ecuaciones xyz para los
lmites de D
Ecuaciones
correspondientes uvw para
los lmites de G
Ecuaciones uvw
simplificadas
x=y/2 u+v=2v/2=v u=0
x=y/2+1 u+v=2v/2+1=v+1 u=1
98

y=0 2v=0 v=0
y=4 2v=4 v=2
z=0 3w=0 w=0
z=3 3w=3 w=1

El Jacobiano de transformacin es
( )
|
|
|
|
|

|
Entonces, se escribe la integral transformada:
(

( )|( )|
( )()
( )

99

(

Sustitucin para integrales dobles con coordenadas polares.
Sea la integral doble ( )
, se puede encontrar el Jacobiano para la

transformacin polar () ()
( ) |
| |
() ()
() ()
|
entonces,
( )
(() ())

Frmula que permite evaluar una integral doble en coordenadas polares. Si
(() ()) , entonces se obtiene una frmula que permite evaluar el rea
de una regin en coordenadas polares:

Sustitucin para integrales triples con coordenadas cilndricas y esfricas.
En Thomas (2009, p.892) se realiza la siguiente demostracin. Para coordenadas
cilndricas se tiene
100

() ()
Si se quiere cambiar de una regin D en el espacio xyz a una regin G en el
espacio rz, entonces se arma el Jacobiano
( )
|
|
|
|
|
() ()
() ()

|
Por tanto
( )
( )

La frmula se puede ocupar para evaluar integrales en coordenadas cilndricas.
Si ( ) , entonces se puede utilizar la siguiente ecuacin para calcular un
volumen en coordenadas cilndricas:

Esta otra demostracin se encuentra con mayor rigor en Stewart (2010, p. 1047).
Se demostrar la integral equivalente en coordenadas esfricas a la integral en
coordenadas rectangulares. Para ello se tienen:

() () () () ()
101

formando el Jacobiano de transformacin:
( )
|
|
|
|
|
() () () () () ()
() () () () () ()
() ()
|

()
Luego, |( )| |
()|
()
Por lo que se tiene una nueva frmula para evaluar integrales utilizando
coordenadas esfricas:
( )
( () () () () ())
()

102

4.4. EJEMPLOS ADICIONALES. APLICACIONES DE LAS
INTEGRALES MLTIPLES: REAS, CENTROS DE MASA Y
MOMENTOS DE INERCIA
Ejemplo 4.3.1.
Calcule el rea de la regin ubicada dentro de la cardioide ( ()) y
fuera de la circunferencia . (Leithold, 1998, Ejercicios 13.4, 3, p.1059).
Solucin
Se muestran las grficas en la figura 6.

Figura 6

El rea en coordenadas polares est dada por:
103

Los lmites de integracin son para r son y ( ()). Para
encontrar los lmites de integracin de , se hace
( ())
()
()
() , si
, por lo que se tiene que:

(())
() (())
( )
En Leithold (1998) se discuten las siguientes definiciones. La masa de una
lmina est dada por:
( )

104

Donde ( ) es una funcin de densidad superficial. El momento de masa de
una lmina respecto a los ejes x y y se definen respectivamente como:
( )
( )

El centro de masa de la lmina es el punto ( ), en donde
( ) (
)
Ejemplo 4.3.2.
Una lmina tiene la forma de la regin acotada por el caracol (),
y el eje polar. La densidad superficial en cualquier punto es ()
kilogramos por metro cuadrado. Calcule la masa y el centro de masa. (Leithold, 1998,
Ejercicios 13.4, 16, p.1060)
Solucin.
Se muestra la grfica en la figura 7.

Figura 7
105

La densidad para cualquier punto es ( ) (). La masa viene dada
por:
( )

()
()
( ())
()

Por lo que la masa es de
kilogramos.
El momento de masa alrededor del eje x est dado por:
( )

Con () se tiene:
(() )(())
()
( ())
(())

106

El momento de masa alrededor del eje y est dado por:
( )

Con () se tiene:
(() )(())
()
( ())
() ()

El centro de masa est en el punto:
( ) (
)
( ) (
)
( ) (
)
Ejemplo 4.3.3.
107

Determine el centro de masa del slido ubicado dentro del paraboloide
y fuera del cono
. La densidad volumnica constante es k

kilogramos por metro cbico. (Leithold, 1998, Ejercicios 13.6, 27, p.1074)

Figura 8
En la figura se muestran las grficas de las ecuaciones. Por simetra, se tiene que
y . Para :

En coordenadas cilndricas (porque hay simetra respecto al eje z) se tiene,
. Para la parbola,
, y para el cono . Esto es equivalente a

y . La interseccin de ambas superficies se obtiene cuando los radios son
iguales, por lo que se tiene . Esta ltima condicin se cumple si z=0 y si z=1, por
108

lo que estos son los lmites de integracin a lo largo de r. Obsrvese que el paraboloide
sobresale ligeramente cerca del origen.
La masa est dada por:

El momento alrededor del plano xy est dado por:

109

La coordenada en z del centro de masa es:

Por lo que, el centro de masa est en la coordenada (0,0,1/2).
Momento de Inercia o Segundo Momento de Masa.
Leithold (1998) define los momentos de inercia respecto a un eje y el momento
polar de inercia, de la siguiente forma.
El momento de inercia I
x
de una lmina delgada que ocupa una regin R ene l
plano xy, alrededor del eje x est dado por:
( )

El momento de inercia I
y
de la lmina alrededor del eje x est dado por:
( )

110

donde ( ) es una funcin de densidad superficial.

Ejemplo 4.3.4.
Una lmina tiene la forma de la regin limitada por , y el eje x.
Calcule el momento de inercia con respecto al eje x, si la densidad superficial es k
kilogramos por metro cuadrado y la distancia se mide en metros. (Leithold, 1998,
Ejercicios 13.3, 13, p.1051).
Solucin

Figura 9
En la figura 9 se muestran las rectas que delimitan el rea de la lmina.
El momento de inercia alrededor del eje x es
111

( )

Por lo que:

Ejemplo 4.3.5
Calcule el momento de inercia respecto al eje z del slido homogneo del
ejemplo 4.3.3. (Leithold, 1998, Ejercicios 13.6, 28, p.1074).
Solucin.
Trabajando nuevamente en coordenadas cilndricas, se tiene que la inercia
respecto al eje z est dada por:

donde r es la distancia de un elemento diferencial de masa al eje, y dm=kdV.
Definiendo los lmites de la integral triple se obtiene:
112

))

Por lo que el momento de inercia pedido es de
kg m
3
.

113

VI. CONCLUSIONES
La serie binomial, es un caso especial de la serie de potencias de Maclaurin, y
est denotada por ( )

()()()
, donde k puede ser un

nmero cualquiera, entero o fraccionario, positivo o negativo; y dicha serie converge si
|| .
La ecuacin diferencial denotada por:
) , y una de
sus principales aplicaciones es servir de solucin a otras ecuaciones diferenciales, puesto
que la ecuacin general presenta soluciones en forma de series de la forma
()
()
()
()
()
()
, que son llamadas

Funciones de Bessel de Primer orden.
Las superficies en el espacio se dividen en cuatro las cuales son: planos, esferas,
cilindros y cudricas; las primeras parten de lo ms bsico y van creciendo en dificultad
paulatinamente, hasta que llegamos a las superficies cudricas las cuales tienen un grado
mayor de dificultad debido a todo el conocimiento aplicado que debemos de tener en
ellas; consta de 6 superficies diferentes las cuales son: elipsoide, hiperboloide de una
hoja, hiperboloide de dos hojas, cono elptico, paraboloide elptico y paraboloide
hiperblico, todas estas con sus respectivas trazas las cuales son cnicas que se conocen
previamente.
Para poder graficas las superficies cudricas nos apoyamos de las trazas que son
las que nos ayudan a determinar mucho ms fcilmente los puntos de interseccin entre
las figuras y los ejes para poder tener una mayor comprensin de estas.
114

Para determinar la existencia o no del lmite de una funcin de dos o tres
variables es suficiente aplicar la prueba de las trayectorias, puesto que son infinitas
trayectorias las que pueden pasar por un punto, por tanto para determinar si un lmite
existe luego de realizar la prueba de las trayectorias se debe someter la suposicin a la
definicin formal de lmite, para saber si es correcta o no.
Un lmite en dos o tres dimensiones se puede calcular, no solo con la prueba de
trayectorias y la definicin formal, tambin existen otros mtodos tiles para poder
obtenerlo, como la generalizacin del teorema del emparedado, el mtodo con
coordenadas polares y el mtodo con coordenadas esfricas.
Para las funciones de dos o tres variables, se aplican las mismas propiedades de
continuidad que se utilizan para las funciones de una sola variable. Los conceptos para
la discontinuidad son aplicables tambin, por tanto si una funcin de dos o tres variables
es discontinua pero su lmite existe es posible remover su discontinuidad.
Las coordenadas cilndricas y esfricas son nada ms generalizaciones de
coordenadas polares para el espacio tridimensional. Estas son tiles para la evaluacin
de ciertas integrales.
Las integrales dobles y triples son generalizaciones del lmite de la suma de
Riemann para funciones de dos y tres variables, respectivamente. El teorema de Fubini
proporciona un mtodo til para evaluar integrales dobles y triples como integrales
iteradas.
115

Las integrales dobles y triples son tiles para aplicaciones en fsica, como
clculo de regiones y volmenes, momentos de masa y centros de masa de superficies y
volmenes y clculo de momentos de inercia.
Los Jacobianos de transformacin se utilizan para el cambio de coordenadas
entre dos espacios n-dimensionales distintos. Tal transformacin se hace considerando
las coordenadas x, y, z, w como funciones de otras variables o, p, r, r y formando
un determinante Jacobiano. Estos Jacobianos de transformacin tienen particular
utilidad para cambiar de coordenadas rectangulares a polares, cilndricas o esfricas.

116

VII. RECOMENDACIONES
Al usar series de Maclaurin, un recurso muy til, es la serie binomial, pero
siempre hay trabajar previamente la funcin, para dejarla expresada de la forma
() ( )
donde c es la constante y k cualquier nmero real.

Para utilizar las ecuaciones y funciones de Bessel como solucin de otras
ecuaciones diferenciales, es conveniente ordenar y manipular algebraicamente la
ecuacin, a manera de obtener una ecuacin lo ms parecida a la ecuacin general de
Bessel, para poder identificar respectivamente los valores de
, hacer las
sustituciones correspondientes, para obtener la solucin en trminos de funciones de
Bessel.
Al hacer uso de superficies cudricas siempre tener en cuenta que el grafico
brinda una mayor comprensin de lo que nos estn pidiendo, por lo tanto es
recomendable que se sepan utilizar los programas de graficacin para la resolucin de
estos problemas.
El uso de las trazas facilita el encontrar el intercepto con los ejes, por lo tanto se
recomienda manejarlo bien.
Para determinar la existencia de un lmite de una funcin de dos o tres variables,
se utiliza en la mayora de ocasiones la prueba de las trayectorias, se debe tener en
cuenta que esta prueba no es suficiente para determinar si existe el lmite, ya que pueden
dar lmites iguales en la mayora de las trayectorias, pero si uno da diferente el lmite no
existe, y en ocasiones no es posible someter el limite a todas las trayectorias dado que
117

son infinitas, y se puede sacar un resultado errneo. Por ello luego de hacer la
suposicin del posible lmite este debe someterse a verificacin mediante la definicin
formal.
Si se utilizan otros mtodos para la obtencin de lmites, se debe tener cuidado a
la hora de establecer la tendencia del lmite y tambin se debe tener presente cuales
deben ser las sustituciones exactas para re escribir el lmite, esto ltimo en el caso de
que se utilicen coordenadas polares o coordenadas esfricas.
Frecuentemente el orden de integracin escogido en las integrales iteradas
determina qu tan difcil es antiderivar un integrando. En ocasiones, un orden escogido
no permite utilizar el Teorema Fundamental del Clculo para evaluar las integrales
iteradas. Se recomienda, entonces, ser cauteloso escogiendo el orden de integracin.
Para ello, se debe tener bases slidas de las tcnicas de integracin en una variable.
Al evaluar integrales dobles y triples, en muchas ocasiones las integrales
resultantes en ciertas coordenadas son difciles de evaluar o muy engorrosas. Se
recomienda, en estos casos, utilizar el concepto de Jacobianos de transformacin para
cambiar a mejores coordenadas. En particular, cuando una grfica tiene simetra
respecto a un eje, se recomienda utilizar coordenadas cilndricas. Al tener simetra
respecto a un punto, se recomienda utilizar coordenadas esfricas.

118

VIII. REFERENCIAS BIBLIOGRFICAS
Bosch, C. (1973). La tcnica de investigacin documental. Mxico, D.F.:
Universidad Nacional Autnoma de Mxico.
Edwards,C.C. y Penney,D.E.(2001). Ecuaciones Diferenciales,Mxico: Pearson
Education.
Garza, A. & Tecla, A. (1974). Teora, mtodos y tcnicas en la investigacin
social. Mxico: Cultura Popular.
Grajales, T. (2000). Tipos de investigacin. Recuperado en Mayo 20, 2013,
disponible en http://tgrajales.net/investipos.pdf
Leithold, L. (1998). El Clculo (7 Ed). Mxico: Oxford University Press.
Smith, R. Minton, R (2001). Clculo (1 Ed). Colombia: McGraw-Hill
Companies.
Spiegel, M (1985). Clculo superior. Mxico: McGraw-Hill
Stewart, J. (1999). Clculo diferencial e integral, Mxico: Thomsom Editores.
Stewart, J. (2002). Calculo multivariable (4 Ed). Mexico: Thomson Learning.
Stewart, J. (2010). Calculus: Early Transcendentals (7 Ed). Estados Unidos:
Cengage Learning.
Strang, G. (s.f). Calculus. Estados Unidos: Wellesly-Cambridge Press.
Recuperado en junio 10, 2013, disponible en
http://ocw.mit.edu/ans7870/resources/Strang/Edited/Calculus/Calculus.pdf
119

Thomas, JR. George B.(1999): Calculo varias variables.. Mxico. Addison
Wesley Longman de Mxico, S.A de C.V.
Thomas, G. (2009). Thomas Calculus (12 Ed). Estados Unidos: Addison-
Wesley, Pearson.
Ron Larson, Bruce H. Edwards.(2010): Calculo 2 de varias variables. Mxico.
Interamericana Editores, S.A. de C.V.
Zill, D. (1987). Clculo con geometra analtica. Mxico: Grupo Editorial
Iberoamrica.
Zill, D. G. (2002). Ecuaciones diferenciales con aplicaciones de modelado,
Mxico: Thomsom Editores

Tratado Breve Sobre Temas Del Cálculo

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Tratado Breve Sobre Temas Del Cálculo

Transféré par

Droits d'auteur :

Formats disponibles

Titulillo: TRATADO BREVE SOBRE TEMAS DEL CLCULO

y determine su radio de convergencia. (Leithold [1998], Ejercicios 8.10,

y determine su radio de convergencia. (Leithold [1998], Ejercicios 8.10, 13).

y determine su radio de convergencia. (Leithold [1998], Ejercicios 8.10,

y al sustituir esta solucin en la

() tienen soluciones independientes, pero la

() se indetermina resultando 0/0, pero

() son soluciones independientes de

) que queda expresada de la forma:

) cuya solucin general es

y como no es nmero entero, se sustituyen los

) (Edwards y Penney [2001],

y se obtiene el argumento siguiente:

para cualquier > 0, el

, con ese valor de se tiene el siguiente argumento:

, siendo este positivo

, que se parece a (1).

= , entonces se puede asumir que

es claro que r0 cuando x y y tienden a cero, por

es continua en (0, 0).

(Smith, et al., ejercicios 12.2, 11, p.1044)

no sea cero, por tanto la funcin

es continua en cada punto en donde

| es la distancia no dirigida medida entre el polo y la proyeccin

| forman un tringulo rectngulo tal que |

| son los catetos del

y la hipotenusa de este tringulo es ||. Entonces,

representa la medida del rea de la regin R. Adems, con dA = dxdy, se

(), y adems por las

( ). Nuevamente, frmense n particiones; esta vez,

. En el Clculo avanzado, se puede demostrar que

y los tres planos coordenados. (Leithold, 1998, Ejercicios

. Elevando al cuadrado estas

, lo que implica que

, se puede encontrar el Jacobiano para la

, por lo que se tiene que:

y fuera del cono

. La densidad volumnica constante es k

, y para el cono . Esto es equivalente a

, donde k puede ser un

, que son llamadas

donde c es la constante y k cualquier nmero real.

Vous aimerez peut-être aussi