INTEGRALES IMPROPIAS

Cuando el intervalo de integracin no es cerrado y acotado o la funcin a integrar no est acotada en dicho
intervalo, no podemos calcular la integral como si fuera una integral definida. Necesitamos ampliar el concepto
visto definiendo las integrales impropias.
Definicin 1. Integral impropia de primera especie: (El intervalo de integracin no es acotado).
1
b
b
b
Definimos como a f (x)dx a la expresin lm b!1 a f (x)dx o bien 1 f (x)dx = lma! 1 a f (x)dx.
Definicin 2. Integral impropia de segunda especie: (La funcin no est acotada). Si la funcin a
integrar tiene una discontinuidad infinita en uno de los extremos del intervalo de integracin, adoptamos las
b
b
siguientes definiciones: a f (x)dx = lmt!a+ t f (x)dx cuando la discontinuidad se presenta en x=a o bien:
b
t
f (x)dx = lmt!b a f (x)dx cuando la discontinuidad se presenta en x=b. Si la discontinuidad se presentara
a
b
t
b
en un punto c interior del intervalo de integracin, definimos a f (x)dx = lmt!c a f (x)dx+lms!c+ s f (x)dx
En cualquier caso, diremos que la integral es convergente si el lmite existe y es finito. Si el lmite es infinito,
diremos que la integral es divergente, cuando resulte el lmite oscilante, diremos que la integral es oscilante y
en el caso la suma de los lmites, si alguno de ellos no converge, concluiremos que la integral no converge.
Veamos algunos ejemplos:
Ejemplo 3.

1
0

dx = lmb!1

b
0

dx = lmb!1 [ e

lmite es finito, la integral es convergente.

Ejemplo 4.

1
1

dx
x

= lmb!1

integral es divergente.
Ejemplo 5.

dx
1 x

cos(x)dx = lma!

= lmb!1 (lnx)

0
1 a

b
= lmb!1 ( e
0

+ e0 ) = 1. Como el

b
= 1. El lmite result infinito, por lo tanto la
1

cos(x)dx = lma!

1 (sen(x)

0
= lma!
a

Este lmite oscila, por lo tanto la integral impropia es oscilante.

1 1
c
b
Ejemplo 6.
dx = lma! 1 a x1 dx + lmb!+1 c x1 dx = lma!
1 x
lma! 1 (ln |c| ln |a|) + lmb!+1 (ln |b| ln |c|).

1 (sen(0)

sen(a)).

ln |x|a + lmb!+1 ln |x|c =

En este caso, decimos que la integral no converge ya que los lmites que obtuvimos son infinitos.
OBSERVACIONES:.
1. La mayora de las integrales impropias pueden reducirse a algunas de estas integrales.
2. La funcin f podra no estar definida en uno de los lmites de integracin, pero permanecer acotab
da, por lo cual la integral a f (x)dx no puede considerarse impropia. A estas integrales se las llama

seudoimpropias. Por ejemplo, 0 sen(x)

dx, la funcin a integrar no est definida para x=0, pero sabex
mos que para valores cercanos a 0 la funcin se acerca a 1. Por lo tanto la integral no es impropia y
puede calcularse
de la misma manera que lo hacamos antes considerando que la funcin a integrar es
(
sen(x)
x 6= 0
x
f (x) =
1
x=0
PROPIEDADES:
Las definiremos para un caso de integral impropia, pero son vlidas tambin para cualquier caso.
+1
+1
+1
Si a f (x)dx y a g(x)dx son convergentes entonces a [hf (x) + kg(x)] dx tambin es convergente
para cualquier h, k 2 R
1

INTEGRALES IMPROPIAS

Si f es una funcin continua en (a;b], lmx!a+ f (x) = 1, G es una primitiva de f y existe y es finito
b
lmx!a+ G(x) = G(a) entonces a+ f (x)dx = G(b) G(a). (Regla de Barrow)
CRITERIOS DE COMPARACIN:
Algunas veces podremos saber si una integral impropia converge o diverge comparndola con otra cuyo
comportamiento conocemos. Veamos cul es el criterio que utilizaremos:
Si f y g son funciones continuas y no negativas en [a;+1) y adems para cualquier x de [a;+1) resulta f(x)
+1
+1
+1
g(x) podemos asegurar que si a g(x)dx converge entonces a f (x)dx tambin converge y si a f (x)dx
+1
diverge entonces a g(x)dx tambin diverge.

POLINOMIO Y FRMULA DE TAYLOR

Cuando utilizamos la recta tangente para hacer aproximaciones del valor de una funcin estamos sustituyendo una funcin por otra que tiene caractersticas comunes con la primera: el valor en el punto es el mismo
y la derivada en el punto tambin coincide:
Recordemos que si la funcin es y = f (x) , la ecuacin de la recta tangente en x = x0 es y f (x0 ) =
f (x0 )(x x0 ) y podemos comprobar rpidamente que se verifica que y(x0 ) = f (x0 ) y y(x0 ) = f (x0 ).
Podramos intentar mejorar la aproximacin utilizando polinomios de mayor grado que verifiquen que las
derivadas sucesivas de la funcin y el polinomio coincidan en el punto.
Si buscamos un polinomio de grado n Pn (x) = cn xn + cn 1 xn 1 + ... + c0 para aproximar los valores de la
funcin y = f (x) en un entorno de x = x0 nos convendr escribir el polinomio en potencias de (x x0 ) de la
siguiente manera: Pn (x) = an (x x0 )n + an 1 (x x0 )n 1 + ... + a0 . Recordemos que lo que necesitamos es que
se verifiquen las siguientes igualdades:
8
>
Pn (x0 ) = f (x0 )
>
>
>
>
>
<P n (x0 ) = f (x0 )
P n (x0 ) = f (x0 )
>
>
>..........................
>
>
>
:P (n) (x ) = f (n) (x )
n
0
0
Resolviendo el sistema anterior, podemos hallar los coeficientes de Pn (x) relacionndolos con los valores que
toma la funcin y sus derivadas en el punto.

Definicin 7. As, podemos definir el polinomio de Taylor de grado n para la funcin f en el

punto x0 al que denotaremos Pn,x0 , al polinomio:

f (x0 ) +

f (x0 )
1! (x

x0 ) +

f (x0 )
(x
2!

x0 ) +

Pn,x0 (x) =
f (x0 )
(x x0 )3
3!

+ ... +

f (n) (x0 )
(x
n!

x0 ) n =

Pn

k=0

f (k) (x0 )
(x
k!

x0 ) k

Los polinomios de Taylor en el punto x = 0 suelen denominarse polinomios de McLaurin.

Noten que el polinomio de grado 1 no es otro que la recta tangente a f en x = x0 .
En la siguiente figura se grafic la funcin f (x) = cos(x) y los polinomios de Taylor de grado 1, 2 y 3 en
x0 = 4 .

p
Podemos observar que P1,/4 (x) es la recta tangente a f en el punto 4 ; 22 y que P2,/4 (x) y P3,/4 (x)
son polinomios que se parecen ms a la funcin que el primero, pero que como se utilizaron los valores de f y
sus derivadas en el punto 4 , la aproximacin ser local.
3

POLINOMIO Y FRMULA DE TAYLOR

Problema. Busquen las expresiones de estos polinomios. Verifiquen, a partir de ellos, que Si P(x) es el
polinomio de Taylor de grado n de f en x0 entonces P(x) es el polinomio de Taylor de grado (n-1) de f en x0 .
Un primer resultado en el sentido de que el polinomio de Taylor es una buena aproximacin de una funcin
en un entorno del punto est dada por la siguiente proposicin:
Si f es una funcin de clase Cn 1 , es decir, f tiene derivadas continuas hasta el orden (n-1) en un entorno
de a y existe f (n) (a). Sea Pn,a (x) el polinomio de Taylor de grado n para la funcin f en el punto a entonces se
cumple que
lmx!a

f (x) Pn,a (x)

(x a)n

= 0.

Propiedades:
Sean f y g dos funciones y Pn,x0 y Qn,x0 sus respectivos polinomios de Taylor de grado n en x = x0 .
Resulta:
1. El polinomio de Taylor de grado n para f+g en x0 es Pn,x0 + Qn,x0
2. El polinomio de Taylor de grado n para f.g en x0 es la parte hasta grado n del polinomio producto de
Pn,x0 y Qn,x0 .
3. El polinomio de Taylor de grado n para f/g en x0 se obtiene dividiendo el polinomio Pn,x0 entre el
polinomio Qn,x0 , pero ordenados de la potencia menor a la potencia mayor, hasta llegar al grado n en
el cociente.
4. El polinomio de Taylor de grado n para go f en x0 se obtiene tomando la parte hasta el grado n del
polinomio Qn,f (x0 ) [Pn,x0 (x)], composicin de los de f y g.
Frmula de Taylor
El polinomio de Taylor proporciona, entonces, una aproximacin de la funcin en el entorno del punto, pero
no coincide con la funcin. La frmula de Taylor relaciona con igualdad la funcin y el polinomio de Taylor:
Definicin 8. Si para una funcin f existen f, f , ..., f(n) y f(n+1) sobre el intervalo [a;x] entonces
f(x) Pn,a (x) =

f (n+1) (c)
(n+1)! (x

a)n+1 para un cierto c2(a;x)

A la expresin de la derecha se lo llama resto de Lagrange y lo simbolizamos Rn,a (x)

ECUACIONES DIFERENCIALES
Definicin 9. Una ecuacin diferencial es una ecuacin que relaciona de manera no trivial a una
funcin desconocida y una o ms de sus derivadas con respecto a una o ms variables independientes. Es decir,
que la incgnita de una ecuacin diferencial es una funcin.
Si la ecuacin diferencial contiene derivadas de una funcin de una variable independiente, entonces se dice
que es una ecuacin diferencial ordinaria (EDO). A continuacin se presentan algunos ejemplos:
dy
dx

4y = 2

(x + 2y)dx 3ydy = 0
3
d2 y
dy
4 dx
+ 5y = 0
dx2
y+3y=x
En smbolos, una EDO es una ecuacin de la forma F(x,y,y,y,...,yn )=0.
Las ecuaciones diferenciales sirven para describir fenmenos de la vida real, se dice que modelan dichos
fenmenos. Un modelo matemtico es la descripcin matemtica de un fenmeno de la realidad. La formulacin
de un modelo matemtico implica identificar las variables causantes del cambio y establecer un conjunto de
hiptesis cuyo enunciado matemtico se reduce a una o ms ecuaciones donde intervienen derivadas.
Por lo tanto, para modelizar un fenmeno de la vida real se siguen los siguientes pasos:
Identificacin de las variables intervinientes con su respectiva notacin matemtica.
Aplicacin de leyes empricas
Planteamiento de las ecuaciones.
As, una vez modelizado el fenmeno, podemos encontrar la relacin funcional entre las variables involucradas.
En esta unidad, nos dedicaremos a la bsqueda de la solucin de ecuaciones diferenciales que suelen presentarse.
Definicin 10. Se llama orden de la ecuacin diferencial al orden de la derivada ms alta que aparece
en la ecuacin.
Las ecuaciones de los dos primeros ejemplos son de primer orden (en el tercero es muy fcil confundirse y
decir que es de tercer orden porque el mayor exponente es 3; notar que la derivada que est elevada al cubo NO
es la de mayor orden). Las dos ltimas son de segundo orden.
Definicin 11. Decimos que una funcin y = f (x) es solucin de una ecuacin diferencial para valores
de x en un cierto intervalo real I si, sustituida en dicha ecuacin, la y por f (x), y por f (x) y as con todas
las derivadas que presenta la EDO, se obtiene una identidad para toda x 2 I.
Definicin 12. Se llama solucin general (SG) de una ecuacin diferencial ordinaria de orden n a la familia de funciones F (x, y, C1 , C2 , ..., Cn ) = 0 que depende de n parmetros o constantes arbitrarias C1 , C2 , ..., Cn
algebraicamente independientes (es decir, no puede reducirse su cantidad mediante operaciones algebraicas) y
que satisface las siguientes condiciones:
Para todo Ci se satisface la ecuacin diferencial,
Si se dan ncondiciones iniciales, se pueden hallar los valores de las constantes de manera que la expresin
resultante verifica la ecuacin diferencial y las condiciones iniciales.
Definicin 13. Se llama solucin particular (SP) a aquella que se deduce de la general determinando
el o los valores de los parmetros (a partir de condiciones iniciales previamente establecidas).
Con frecuencia, las soluciones de una EDO estn dadas en forma implcita.
5

ECUACIONES DIFERENCIALES

GENERACIN DE ECUACIONES DIFERENCIALES. . Las ecuaciones diferenciales pueden generarse a partir de problemas de disciplinas como la fsica, la qumica, la psicologa, etc. tambin de la geometra
o simplemente a partir de primitivas.
Ejemplo 14. A partir de la fsica: Supongamos que un cuerpo se encuentra inicialmente a una altura s0
sobre el suelo, con una velocidad v0 , al cual se deja caer libremente. Se quiere conocer la posicin y la velocidad
del cuerpo en cada instante expresada por s(t) y v(t) respectivamente.
Sabemos, por cinemtica, que su velocidad instantnea es v(t) = s(t) y su aceleracin, a(t) = v(t) =
s(t). La cada libre afirma que los cuerpos son atrados hacia el centro de la Tierra con aceleracin constante
g. Por lo tanto, dicha ley queda expresada de la siguiente manera: s(t) = g donde g = 9, 8m/seg 2 .
2p 3/2
p
Ejemplo 15. A partir de la psicologa: La ecuacin diferencial dy
y (1 y)3/2 representa un modelo
dt =
n
del aprendizaje. La variable y representa el nivel de habilidad del individuo como una funcin del tiempo t. Las
constantes fijas p y n dependen del individuo considerado y de la naturaleza de la tarea que se est aprendiendo.

Ejemplo 16. A partir de la geometra: Se desea encontrar la familia de curvas del plano tales que la
pendiente en cada punto (x, y) resulte igual al doble de la abscisa del punto.
La EDO que expresa la situacin es: y = 2x.
Ejemplo 17. A partir de primitivas: Una relacin como Ax2 + y = B que contenga n constantes arbitrarias
se llama primitiva. En general, de una primitiva con n constantes se puede deducir una EDO de orden n, SIN
constantes arbitrarias. Esta ecuacin diferencial se obtiene eliminando las n constantes entre las siguientes n+1
ecuaciones: la primitiva y las n ecuaciones obtenidas derivando la primitiva n veces con respecto a la variable
independiente.
ECUACIONES DIFERENCIALES DE PRIMER ORDEN. . Si una EDO es de primer orden, es
del tipo F (x, y, y)=0. Si se puede despejar y se dice que es de forma normal y existe un teorema que
garantiza la existencia de una nica solucin dada una condicin inicial. Geomtricamente, el teorema asegura
que existe una nica funcin y = f (x) cuya grfica pasa por el punto (xo ; yo ). Si la EDO no tiene la forma
normal, entonces no hay garantas de la existencia ni de la unicidad de la solucin particular.
MTODOS PARA HALLAR SOLUCIONES.. Estudiaremos los casos ms comunes de ecuaciones
diferenciales. stos son:
En variables separables,
lineales,
homogneas,
totales exactas.
En esta oportunidad, analizaremos las dos primeras.
ECUACIONES DIFERENCIALES EN VARIABLES SEPARABLES.. Una ecuacin es de variables separables si puede escribirse de la forma: P (x)dx = Q(y)dy.
Observacin. Al resolver la EDO, podra escribirse una constante arbitraria en cada miembro de la
igualdad, pero slo una es esencial o arbitraria (notar que puede agruparse con la otra mediante operaciones
algebraicas).
ECUACIONES DIFERENCIALES LINEALES. Una ecuacin lineal respecto a la funcin incgnita
y su derivada primera se llama ecuacin diferencial lineal de primer orden si tiene la siguiente forma:
y+P(x)y=Q(x)
donde P (x) y Q(x) son funciones conocidas y continuas (o constantes) de x.
Para hallar la solucin, proponemos armarla como un producto de dos funciones de x: y = u(x).v(x). Si sta
es la solucin de la EDO, entonces reemplazando en ella la y y su derivada y=u.v+u.v, debe satisfacerse la
igualdad. Podremos elegir arbitrariamente una de estas dos funciones y la otra quedar determinada para que
ello suceda.
Reemplazando en la EDO:
Factorizando convenientemente:
Elegimos una funcin v de modo que anule la expresin entre parntesis:
Esta EDO es de variables separables. Resolviendo obtenemos:

u.v+u.v+P (x).uv = Q(x)

u(v + P (x)v) + uv = Q(x)
v + P (x)v = 0
v = Ae P (x)dx

ECUACIONES DIFERENCIALES

Pero slo buscamos UNA funcin v 6= 0, as que tomamos:

Ahora, hallamos u que verifique:
O sea:

v = e P (x)dx
ue P (x)dx = Q(x)
u = e hP (x)dx Q(x)
i
P (x)dx
Integrando, obtenemos:
u=
e
Q(x) dx + C
n h
i
o

Por lo tanto, la solucin general buscada es: y = e P (x)dx

e P (x)dx Q(x) dx + C
Ejemplo 18. Resolver la siguiente EDO: y 3x2 y = x2
Suponemos y = u.v con lo cual y = uv + uv
Reemplazando obtenemos:
uv + uv 3x2 uv = x2
2
Factorizando:
u(v 3x v) + uv = x2 (1)
dv
2
Buscamos v:
v 3x2 v = 0 ) dx
= 3x2 v ) dv
v = 3x dx
3
Integrando y despejando:
v = ex
x3
2
x3
Sustituimos en (1):
ue = x2 ) du
) du = x2 e
dx = x e
3
1
x
Integrando:
+C

u = 3e
Por lo tanto, la SG es: y =

1
x3
3e

+ C ex o distribuyendo: y =

1
3

+ Cex

x3

dx

CLCULO DE TRAYECTORIAS ORTOGONALES .

Definicin 19. Cuando dos curvas que se cortan en un punto tienen sus rectas tangentes en dicho punto
perpendiculares entre s, decimos que las curvas son ortogonales. Si una curva es ortogonal a cada una de las
curvas de una familia, se dice que es una trayectoria ortogonal de la familia. Si dos familias de curvas de
un mismo plano son tales que cada una de ellas es ortogonal a la otra familia, decimos que son trayectorias
mutuamente ortogonales.
Cmo hallar trayectorias ortogonales
1. Conociendo la ecuacin de una familia de curvas, por derivacin podemos eliminar la constante y obtener
la EDO que la caracteriza: F (x, y, y) = 0
2. Como el producto de las pendientes de dos rectas perpendiculares es igual a 1, para hallar la EDO
de la familia
de trayectorias
ortogonales, en la ecuacin diferencial obtenida en 1. reemplazamos y por

1
1
:
F
x,
y,
=
0
y
y
3. Finalmente, para hallar la ecuacin de la familia de trayectorias ortogonales resolvemos la EDO planteada en 2.

TOPOLOGA EN Rn . GRFICO DE SUPERFICIES. FUNCIONES DE

VARIAS VARIABLES
DISTANCIA ENTRE DOS PUNTOS DE Rn .
Definicin 20. Llamamos distancia entre dos puntos A y B de Rn (y escribimos d(A, B)) a una funcin
que verifica lo siguiente:
distancia entre dos puntos cualesquiera es no negativa: d(A, B) > 0
distancia entre dos puntos es 0 si y slo si los puntos son coincidentes: d(A, B) = 0 , A = B
propiedad simtrica: d(A, B) = d(B, A)
propiedad triangular: d(A, B) 6 d(A, C) + d(B, C)
!
Si A = (a1 , a2 , ..., an ) y B = (b1 , b2 , ..., bn ) entonces AB = (b1 a1 , b2 a2 , ..., bi ai , ..., bn an ) con i = 1, 2, ..., n.
!
!
Llamamos norma de AB y simbolizamos AB a la expresin:
qP
p
n
(b1 a1 )2 + (b2 a2 )2 + ... + (bi ai )2 + ... + (bn an )2 =
ai ) 2
i=1 (bi
1.
2.
3.
4.

la
la
la
la

Casos particulares:

En R: d(P1 , P2 ) =

(x2 x1 ) = |x2 x1 |
p
2
En R : d(P1 , P2 ) = p(x2 x1 )2 + (y2 y1 )2
En R3 : d(P1 , P2 ) = (x2 x1 )2 + (y2 y1 )2 + (z2

z1 ) 2

Definicin 21. Si A 2 Rn y r es un nmero real positivo, llamamos entorno de centro A y radio (o

amplitud) r (E(A, r)) al conjunto formado por todos los puntos de Rn que se encuentran a una distancia de
A menor que r. En smbolos:
E(A, r) = {x 2 Rn /d(x, A) < r}
Casos particulares:
1. En R: A = a, x = x E(a, r) = {x 2 R/ |x a| < r}. Los entornos en R son intervalos abiertos
2. En R2 : A = (a1 , a2 ) ^ x = (x, y) E(A, r) = (x, y) 2 R2 /(x a1 )2 + (y a2 )2 < r2 . Los entornos en
R2 son discos o crculos SIN el borde.
3. En R3 : A = (a1 , a2 , a3 )^x = (x, y, z) E(A, r) = (x, y, z) 2 R3 /(x a1 )2 + (y a2 )2 + (z a3 )2 < r2 .
Los entornos en R3 son el interior de una esfera.
Definicin 22. Si A 2 Rn y r es un nmero real positivo, llamamos entorno reducido de centro A
y radio (o amplitud) r (E (A, r)) al conjunto de puntos de Rn , distintos de A que se encuentran a una
distancia de A menor que r. En smbolos:
E (A, r) = E(A, r)

{A} = {x 2 Rn /0 < d(x, A) < r}

Consideremos C Rn y A = (a1 , a2 , ..., an ) 2 Rn

Definicin 23. Se dice que A es punto interior de C si y slo si existe un entorno de A totalmente
includo en C.
Definicin 24. Al conjunto de todos los puntos interiores de C lo indicamos C o . Decimos que un conjunto
es abierto si y slo si todos sus puntos son interiores, es decir si C = C o .
Definicin 25. Se dice que A es punto de acumulacin de C si y slo si cualquier entorno reducido
de A tiene interseccin no vaca con C.
8

TOPOLOGA EN RN . GRFICO DE SUPERFICIES. FUNCIONES DE VARIAS VARIABLES

Observacin. Si A es un punto interior de C tambin ser un punto de acumulacin de C, en cambio A

puede ser un punto de acumulacin de C y no ser punto interior.

Definicin 26. Al conjunto de todos los puntos de acumulacin de C lo indicamos Cac o C y lo llamamos
conjunto derivado de C. Decimos que un conjunto es cerrrado si y slo si le pertenecen todos sus puntos de
acumulacin, es decir si Cac C. Tambin, podemos decir que C es cerrado si Rn C es abierto.
Definicin 27. Un conjunto es acotado si y slo si se puede incluir en un entorno centrado en el origen.

Definicin 28. Decimos que C es un conjunto conexo si y slo si dados dos puntos de C existe una
poligonal includa en C que los una.

CAMPOS ESCALARES.

Definicin 29. Un campo escalar es una funcin F : A Rn ! R siendo n un nmero natural mayor
que 1.
Como vemos, la funcin depende de varias variables. As como en las funciones escalares buscamos su
dominio ms amplio incluido dentro de los nmeros reales, en los campos escalares dados por una funcin de
dos variables, buscaremos el dominio ms amplio includo en R2 .
Recordemos que para que la imagen resulte un nmero real debemos pedir que:
El divisor sea distinto de cero.
El radicando de races con ndice par sea mayor o igual a 0.
El argumento de una expresin logartmica sea mayor que 0.
Los argumentos de las funciones arcsen(f (x, y)) y arccos(f (x, y)) estn acotados entre -1 y 1.
El dominio ms amplio includo en R2 ser un conjunto de puntos que cumpla con las condiciones arriba
mencionadas. Frecuentemente deberemos pedir que se cumpla ms de una condicin al mismo tiempo. En ese
caso, se buscar el conjunto de puntos que satisfaga cada condicin individual y entonces el dominio ser la
interseccin de todos los conjuntos de puntos hallados.
GRFICO DEL DOMINIO . Deberemos tener en cuenta que:
Una expresin de la forma f (x, y) = 0 representa una curva en el plano xy. (ms adelante veremos
cules son las condiciones que garantizan esto).
Una expresin de la forma f (x, y) > 0 o f (x, y) < 0 es una regin del plano cuyo borde es la curva
f (x, y) = 0.
Si la desigualdad es estricta, el borde NO est incluido en la regin y lo representaremos grficamente
con lnea de puntos.
Si la desigualdad no es estricta, el borde SI est includo en la regin y lo representaremos grficcamente
con lnea llena.

Definicin 30. Dado un campo escalar f : D Rn ! R/u = f (x1 , x2 , ..., xn ), llamamos conjunto de
nivel k al conjunto formado por todos los puntos de D que tienen una imagen igual a k . En smbolos:
Ck = {(x1 , x2 , ..., xn ) 2 D Rn /f (x1 , x2 , ..., xn ) = k ^ k 2 Imf }
Casos particulares: Si n = 2, se denominan curvas de nivel y si n = 3, superficies de nivel. Estos
casos nos interesan en particular porque se pueden representar grficamente, constituyendo una alternativa
para analizar el comportamiento del campo escalar correspondiente.

TOPOLOGA EN RN . GRFICO DE SUPERFICIES. FUNCIONES DE VARIAS VARIABLES

10

LIMITE FUNCIONAL DOBLE O LMITE DOBLE: . Intuitivamente, buscar el lmite doble significa observar a qu valores se acercan las imgenes f (x, y) cuando los puntos (x, y) 2 R2 se acercan a un punto de
acumulacin (xo , yo ) elegido. La idea es aproximarse por cualquier camino, ya sea recto o curvo. Como ambas
variables van tendiendo simultneamente hacia (xo , yo ), este tipo de lmite se llama lmite doble o simultneo.
Si el lmite doble L existe, entonces los valores de la funcin tienden a L por todos los posibles caminos
cuando nos acercamos al punto. Pero es suficiente que el resultado por uno de esos caminos no coincida con los
dems para que el lmite doble no exista en dicho punto.
PROPIEDADES: Las propiedades utilizadas para lmite finito de funciones escalares (vistas en Anlisis
Matemtico I) subsisten para lmite finito de campos escalares.
CLCULO DE LMITE DOBLE: Para el caso en que el lmite resulte indeterminado, podemos recurrir
a los artificios conocidos de Anlisis Matemtico I: multiplicar numerador y denominador por el conjugado de
una cierta expresin, factorizar para simplificar, analizar si se trata del producto de un infinitsimo por una
funcin acotada, etc.
IMPORTANTE: No podemos resolver lmites indeterminados utilizando la regla de LHopital cuando ellos
contengan varias variables, ya que dicha regla slo es vlida para una sola variable. Si, mediante una sustitucin,
se reduce al caso de una nica variables, entonces s podremos utilizarla.
CMO PROBAR QUE NO EXISTE LMITE DOBLE:
Un modo de probar que no existe lmite doble es mostrar que las imgenes de la funcin tienden a distintos
valores segn la lnea usada para acercarnos al punto de acumulacin.
Lmites radiales: Una posibilidad es analizar a qu valores se acerca la funcin cuando nos aproximamos
a (xo , yo ) por infinitas rectas que pasan por l. Es decir, los puntos (x, y) que tomaremos para evaluar la
funcin debern satisfacer la ecuacin: y yo = m(x xo ). Sustitumos en la expresin de f y calculamos
lmx!xo f (x, m(x xo ) + yo ), si el lmite nos queda expresado en trminos de m entonces podremos asegurar
que no existe lmite doble ya que segn por qu recta nos acerquemos, el valor de L ser diferente.
Si el lmite anterior existe y es finito, entonces NO podremos asegurar la existencia de lmite doble ya que
slo nos acercamos por caminos rectos. Deberamos intentar encontrar otros caminos para acercarnos al punto
y evaluar si el lmite nos da igual. Si es as ... tampoco podramos asegurar la existencia del lmite doble.
Unicamente si la funcin tiene lmites diferentes a lo largo de dos trayectorias distintas cuando (x, y) tiende a
(xo , yo ) es que podremos afirmar que No existe lmite doble.
CONTINUIDAD DE CAMPOS ESCALARES: .
Definicin 31. Dada una funcin f : D R2 ! R y un punto (xo , yo ) , punto de acumulacin de D,
decimos que f es continua en (xo , yo ) si y slo si se verifican las siguientes tres condiciones:
1. Existe f (xo , yo )
2. Existe lm(x,y)!(xo ,yo ) f (x, y) = L
3. f (xo , yo ) = L
Definicin 32. Si existe lmite finito, pero la funcin no es continua, diremos que la discontinuidad es
evitable. Si no existe lmite (o es infinito), diremos que la funcin presenta una discontinuidad esencial.