Univ. de Alcal de Henares a Clculo. Segundo parcial.

Ingenier de Telecomunicacin a o Curso 2004-2005

L mites y continuidad 1. L mite de funciones de dos variables

Hasta ahora hemos evitado entrar en la cuestin de qu signica el s o e mbolo
(x,y)(x0 ,y0 )

l m

que aparece en la nocin de diferenciabilidad,porque no quer o amos que los detalles tcnicos de e la denicin de l o mite oscurecieran la discusin sobre la diferenciabilidad. Pero ha llegado el o momento en que no podemos demorar ms esa cuestin. Por esa razn esta seccin se dedica a a o o o la denicin y clculo de l o a mites en funciones de dos variables, con la vista puesta en nuestro objetivo de entender plenamente la denicin de diferenciabilidad. o Basndonos en lo que hemos aprendido en el clculo de una variable, est bastante claro lo a a a que queremos decir cuando escribimos
(x,y)(x0 ,y0 )

l m

f (x, y) = L

Cuando decimos que el l mite de f en (x0 , y0 ) es L, estamos diciendo que si se calcula f en un punto (x, y) cercano a (x0 , y0 ), se obtendr un valor que tal vez no sea L, pero que estar muy a a cerca de L. Estar tanto ms cerca, cuanto ms acerquemos (x, y) a (x0 , y0 ). a a a Como puede verse, en esta descripcin del l o mite la idea central es la de distancia. Y adems a es preciso sealar que no hay ninguna diferencia entre esta idea de l n mite y la que se utiliza en funciones de una variable. Si queremos ser ms precisos, y obtener una denicin rigurosa, la mejor forma de pensar en a o esta denicin de l o mite consiste probablemente en centrarnos en la idea de control del error: Nos jamos un objetivo de error mximo tolerable, dado por el nmero . Debemos pensar por tanto a u que ser un nmero pequeo, algo como 0,001 si deseamos cometer un error de milsimas, a u n e o como 0,000001 si el tamao del error mximo debe ser del orden de millonsimas. Vamos a n a e medir entonces el error que se comete al calcular f (x, y) en lugar de f (x0 , y0 ), y queremos que ese error sea menor que . Es decir, queremos que sea |f (x, y) f (x0 , y0 )| < Naturalmente, no podemos esperar que sto ocurra sea cual sea el valor de (x, y) que se utilice. e Para que el error sea pequeo, debemos tomar (x, y) cerca de (x0 , y0 ). Y as llegamos a la versin n o casi denitiva de la denicin de l o mite: Denicin 1.1 (Denicin provisional de l o o mite). Decimos que el l mite de f en (x0 , y0 ) es L si, sea cual sea el error mximo que hayamos jado, se puede garantizar que se cumple a |f (x, y) f (x0 , y0 )| < cuando (x, y) est sucientemente cerca de (x0 , y0 ). a 1

Para convertir sto en una denicin formal debemos precisar la parte que aparece subrayada e o en esta denicin. Cules son los (x, y) que estn sucientemente cerca de (x0 , y0 )? Pues o a a todos aquellos cuya distancia a (x0 , y0 ) es pequea. Una forma de garantizar que esa distancia n sea pequea es tomar un nmero , pequeo, y pedir que se cumpla n u n d ((x, y), (x0 , y0 )) < Si por ejemplo tomamos = 0,0001, estamos pidiendo que la distancia entre (x, y) y (x0 , y0 ) sea menor que una diezmilsima. El nmero es la pieza que nos faltaba en nuestra denicin de e u o l mite: Denicin 1.2 (Denicin de l o o mite). Decimos que el l mite de f en (x0 , y0 ) es L si, sea cual sea el error mximo que hayamos jado, se puede elegir un nmero tal que, para todos los a u (x, y) que cumplen d ((x, y), (x0 , y0 )) < se puede garantizar que se cumple |f (x, y) f (x0 , y0 )| < En lenguaje formal: > 0 : d ((x, y), (x0 , y0 )) < |f (x, y) f (x0 , y0 )| < Hay que pensar en esta denicin como una especie de contrato: si t me dices el error que o u ests dispuesto a admitir, yo me comprometo a encontrar el que garantiza que si tomas (x, y) a a distancia menor que de (x0 , y0 ), los valores de f (x, y) que vas a obtener se parecen al valor f (x0 , y0 ) con un error menor que . Ejemplo 1.3. Supongamos dada la funcin f (x, y) = xy. Vamos a demostrar que o
(x,y)(3,4)

l m

f (x, y) = 12

Esto es, informalmente, que vamos a demostrar que cuando x est cerca de 3 e y est cerca a a de 4, su producto est cerca de 12. Menudo descubrimiento! Naturalmente, no necesitamos una a denicin rigurosa de l o mite para convencernos de una simpleza como sta. Pero nos viene bien e un ejemplo tan sencillo como ste para ver cmo se usa la denicin de l e o o mite. Despus nos e ocuparemos de las situaciones ms complicadas, que son las que realmente nos interesan. a Para demostrar que el l mite es 12 tenemos que pensar que es un nmero muy pequeo u n (algo como una millonsima, para jar ideas). Y tenemos que garantizar que e A = |f (x, y) L| = |xy 12| < Esta desigualdad es nuestro objetivo. Para conseguirlo tenemos que utilizar el hecho de que nosotros controlamos cmo de lejos est el punto (x, y) del punto (3, 4). Es decir, que podemos o a suponer que la distancia B = (x 3)2 + (y 4)2 es tan pequea como queramos. El trabajo que tenemos que hacer es demostrar que si B es muy n pequeo, entonces A es muy pequeo, ms pequeo que el que hemos elegido. n n a n 2

Esto puede parecer al principio muy dif porque, de hecho, la expresin de B es ms cil o a complicada que A. Pero con un poco de prctica se adquiere la habilidad necesaria. En concreto, a una de las observaciones ms utiles es sta: la distancia entre x y 3 no puede ser mayor que la a e distancia de (x, y) a (3, 4). En frmulas: o |x 3| < Y de la misma forma |y 4| < (x 3)2 + (y 4)2 Esto signica que si controlamos el tamao de B, tambin tenemos controlado el tamao de n e n |x 3| e |y 4|. Otro truco estndar es el siguiente: sumamos y restamos una misma cantidad en la expresin a o que nos interesa controlar para relacionarla con las cantidades que tenemos controladas. En nuestro caso eso se hace as Queremos controlar . A = |xy 12| y lo que tenemos controlado es |x 3|, |y 4|. Pues para conseguirlo vamos a hacer que estas dos cantidades aparezcan en A: A = |xy 12| = |xy 3y + 3y 12| = |(x 3)y + 3(y 4)| |y||x 3| + 3|y 4| (tambin se podr haber sumado y restado 4x). En el ultimo paso hemos usado la desigualdad e a triangular y las propiedades del valor absoluto. Hemos conseguido entonces controlar el tamao de A mediante una expresin en la que n o intervienen tres ingredientes: |x 3|, |y 4|, |y| Est claro que tenemos controlado el tamao de los dos primeros. Pero el tercero, |y|, est cona n a trolado? A primera vista no, pero si pensamos un poco, es fcil ver que s Tenemos controlado a . |y 4|. Eso signica que y es un nmero no muy distinto de 4. Y por tanto el tamao de |y| no u n puede ser demasiado grande: no se puede estar a la vez cerca de 4 y ser muy grande! As que parece que todos los ingredientes estn controlados. a Cmo convertimos estas ideas en una demostracin? Empezamos suponiendo que la distano o cia B es muy pequea. Cmo de pequea? Ms pequea que un cierto nmero , que elegiremos n o n a n u astutamente dentro de un momento. Entonces, si se cumple B= segn hemos visto, tambin se cumple: u e |x 3| < , |y 4| < (x 3)2 + (y 4)2 < (x 3)2 + (y 4)2

Ahora vamos a controlar |y| con cuidado. La ultima desigualdad signica: < y 4 < Luego 4 <y <4+ 3

Y si es realmente pequeo, de hecho basta con que sea menor que 1, entonces se deduce que n 3<y<5 Por lo que, obviamente |y| < 5. Eso signica que: A = |xy 12| = |y||x 3| + 3|y 4| < 5 + 3 = 8 Este el momento de elegir . Nuestro objetivo inicial era demostrar que pod amos conseguir que fuese A < . Y hemos obtenido A < . Basta por lo tanto con asegurarnos de que 8 < Es decir, basta tomar < /8. Con un pequeo matiz: tenemos que asegurarnos de que sea n menor que 1, para que el control de |y| a partir de |y 4| est garantizado. Pero eso no supone e ningn problema, porque suponer que < 1 equivale a suponer que no nos alejamos de (3, 4) u ms de una unidad, y eso no nos debe preocupar cuando pensamos en puntos muy cercanos a a (3, 4). Si se lee con detenimiento lo que hemos hecho, se ver que es sto: dado cualquier valor de a e (por pequeo que sea!), nosotros tomamos = m n n(1, /8). Y entonces decimos que si se toma un punto (x, y) que cumpla d((x, y), (3, 4)) = est garantizado que se cumple a |xy 12| < Esto es precisamente lo que signica la armacin de que o
(x,y)(3,4)

(x 3)2 + (y 4)2 <

l m

f (x, y) = 12

Este ejemplo ilustra el tipo de tcnicas que se pueden emplear para una demostracin formal e o directa (tipo , ) de un l mite. A pesar de que la demostracin puede parecer complicada, la o conclusin que quer o amos obtener parec evidente. El l a mite era trivial. Si todos los problemas que conducen a un l mite fueran como este ejemplo, nuestro trabajo ser muy sencillo. Pero a a menudo las cosas son ms complicadas. a Ejemplo 1.4. Supongamos que estamos trabajando en algn problema en el que interviene la u funcin: o 2 3x y + x2 y 2 f (x, y) = 1xy Y que alguien nos pregunta cunto vale la funcin en (1, 0). La sustitucin de estos valores en a o o 0 la frmula produce una indeterminacin: 0 . Qu hay que hacer entonces? o o e En el clculo de una variable aparecen ejemplos parecidos. Si tenemos la funcin a o f (x) = x2 1 x1

y alguien nos pregunta por f (1), al sustituir obtenemos 0/0. Pero claro, en ese caso se tiene f (x) = (x 1)(x + 1) x2 1 = x1 x1

Y eso signica que para cualquier valor de x salvo x = 1, se tiene f (x) = (x + 1) No podemos usar la frmula inicial de f para calcular f (1). Pero este clculo signica que si o a sustituimos en esa misma frmula un valor de x muy cercano a 1 (algo como x = 0,99999) o obtendremos un valor de f muy cercano a x + 1 = 1,99999 2. Y cuanto ms se parezca x a 1, a ms se parecer f (x) a 2. Naturalmente, estamos diciendo que a a
x1

l f (x) = 2 m

Y esa informacin puede ser muy util para quien est trabajando con la frmula de f . Aunque o e o esa frmula no produce ningn valor cuando x = 1, sabemos que sus valores cerca de ese punto o u son muy parecidos a 2. Volviendo a la funcin de dos variables con la que hemos empezado el ejemplo, parece razono able preguntarse si aqu ocurre algo parecido. Es decir, nos preguntamos si existe algn valor L u tal que, cuando (x, y) est muy cerca de (1, 0), la frmula a o f (x, y) = 2 3x y + x2 y 2 1xy

produzca valores muy parecidos a L. Animamos al lector a tratar de averiguar cul podr ser ese a a nmero L. Por ejemplo, se puede usar una calculadora. Tomamos algo como x = 0,99999, y = u 0,00001, y sustituimos en la expresin de f . Qu valor se obtiene? o e En este ejemplo nos hemos encontrado con un l mite que conduce a una indeterminacin de o la forma 0/0. Podr pensarse que esas situaciones son articialmente complicadas, y que en la a mayor de los casos, en los l a mites que nos interesan, no se presentaran complicaciones como stas. e Nada ms lejos de la realidad. Nosotros hemos llegado al estudio del l a mite porque estbamos a tratando de entender la denicin de diferenciabilidad. Y all ten o amos funcin (plano tangente) o =0 (x,y)(x0 ,y0 ) distancia entre (x, y) y (x0 , y0 ) l m Pero si la funcin es diferenciable, el plano tangente ser una muy buena aproximacin a f , o a o para (x, y) cerca de (x0 , y0 ). Eso signica que la diferencia que aparece en el numerador ser casi a cero. Y, por supuesto, la distancia que aparece en el denominador tambin estar muy cerca de e a cero cuando (x, y) se acerca a (x0 , y0 ). Es decir, que la denicin de diferenciabilidad, cuando o funciona bien, conduce inevitablemente a una indeterminacin de la forma 0/0! La diferencia o con el ejemplo anterior es que aqu sabemos cul es la respuesta que nos gustar obtener. Para a a demostrar que la funcin es diferenciable, debemos demostrar que la indeterminacin se resuelve o o y el l mite vale cero.

1.1.

Analog y diferencias con los l as mites de funciones de una variable

Hasta aqu hemos discutido cul debe ser la denicin de l a o mite. Y hemos obtenido una denicin de l o mite que coincide en lo esencial con la que el lector ya conoc del clculo de una a a variable. La unica diferencia importante es el hecho de que debemos emplear la distancia del plano para medir cmo de lejos est (x0 , y0 ) de (x, y). o a En el caso de funciones de una variable, la distancia entre un valor x y un valor x0 viene dada por el valor absoluto de la diferencia: |x x0 | y la unica complicacin asociada a la distancia es que x puede estar a la izquierda o a la derecha o de x0 . Eso obliga a considerar a veces los l mites laterales para establecer si existe o no el l mite de la funcin en x0 . o Al pasar a las funciones de dos variables las cosas se complican. En primer lugar porque, como ya hemos visto, la distancia se calcula con una frmula ms complicada: o a d((x, y), (x0 )) = (x x0 )2 + (y y0 )2

Pero sobre todo porque la forma en la que un punto (x, y) puede acercarse al punto (x0 , y0 ) es mucho ms complicada que en el caso unidimensional. El prximo apartado se dedicar por a o a completo a analizar esas complicaciones. Operaciones con l mites Al igual que hemos visto en la primera parte del curso, hay una serie de teoremas que simplican el anlisis de los l a mites de funciones de dos variables: el l mite de la suma es la suma de los l mites cuando estos existen, etctera. Pero, para evitar repeticiones e tediosas, preferimos posponer la este tipo de resultados hasta la discusin de continuidad. o

1.2.

L mites por trayectorias

Antes hemos dejado pendiente un ejemplo (el 1.4) en el que nos hemos encontrado con una indeterminacin de la forma 0/0. Para simplicar el estudio del l o mite, podemos hacer algo similar a lo que hicimos en el caso de las derivadas parciales, tratando de reducir el nmero de variables u independientes. Recordemos que, entonces, para estudiar la funcin f (x, y) jbamos una de o a las variables, haciendo por ejemplo y = y0 y estudibamos la funcin f (x, y0 ), que depende a o unicamente de la variable x. Lo que hac amos entonces se puede entender geomtricamente as e : hemos elegido acercarnos al punto (x0 , y0 ) a lo largo de la recta y = y0 del plano (x, y). De la misma forma, si consideramos la funcin f (x0 , y) entonces podemos acercarnos al punto (x0 , y0 ) o a lo largo de la recta x = x0 . En la siguiente gura se ilustran estas dos formas de acercarnos al punto que nos interesa, por rectas verticales y horizontales.

Qu sucede si aplicamos esta idea a nuestro ejemplo? e Ejemplo 1.5. Dada la funcin o f (x, y) = 2 3x y + x2 y 2 1xy

Nos hemos preguntado hace un rato si existe el l mite 2 3x y + x2 y 2 1xy (x,y)(1,0) l m Si aplicamos aqu la idea que usamos en el caso de las derivadas parciales podemos hacer x = 1 y obtener: y y 2 f (1, y) = y Y si ahora nos preguntamos por el l mite l f (1, y) = l m m y y 2 y0 y

y0

obtendremos como respuesta 1. Recapitulando: eso signica que si nos acercamos al punto (1, 0) a lo largo de la recta vertical x = 1 del plano, los valores de f que se obtienen son cada vez ms a parecidos a 1. Y esto tiene una consecuencia evidente: el l mite de f si existe, slo puede valer o 1. Es esencial darse cuenta de que no hemos demostrado la existencia del l mite (enseguida veremos un ejemplo que aclara este punto). Pero ahora tenemos un candidato a ser el l mite, y sabemos adems que es el unico candidato posible. a Si en lugar de hacer x = 1 hacemos y = 0, para aproximarnos por una recta horizontal, obtendremos 2 3x + x2 f (x, 0) = 1x Y al hacernos la pregunta 2 3x + x2 l f (x, 0) = l m m x1 x1 1x obtenemos de nuevo como respuesta 1, en conformidad con nuestro anterior resultado.

A la vista de estos resultados podemos sospechar que en este ejemplo

(x,y)(1,0)

l m

f (x, y) = 1

Animamos al lector a que intente construir una demostracin formal ( ) de este resultado. o El ejemplo anterior ha mostrado como utilizar los mtodos del clculo de una variable para e a obtener, en los casos de indeterminacin, un candidato a ser el l o mite de la funcin. Y de hecho, o en ese ejemplo, el valor obtenido era realmente el l mite de la funcin. Pero no siempre es as o , como se muestra en el siguiente ejemplo: Ejemplo 1.6. Dada la funcin o f (x, y) = xy + y2

??

x2

(x, y) = (0, 0) (x, y) = (0, 0)

si nos preguntamos por su valor cuando (x, y) se acerca a (0, 0), al sustituir en la frmula o obtendremos 0/0. El mismo mtodo del ejemplo anterior nos llevar a considerar las funciones e a f (x, 0) = 0 = 0 x2 f (0, y) = 0 = 0 y2 as que podr amos sentirnos tentados a pensar que
(x,y)(0,0)

l m

f (x, y) = 0

Pero supongamos que a alguien se le ocurre estudiar los valores de f en la diagonal y = x del plano. Eso signica que debemos considerar la funcin: o x2 1 = 2x2 2 Es decir, que en cualquier punto de la diagonal, por cerca que estemos del origen, la funcin f o toma el valor 1/2. Cmo podr ser entonces que el l o a mite en el origen fuese 0? La conclusin o en este caso, est clara. El l a mite en el origen no existe: no puede ser a la vez 0 y 1/2. De hecho, en lugar de estudiar rectas concretas que pasan por el origen, podemos considerar la ecuacin y = mx que representa un haz de rectas por el origen para distintos valores de m o (la unica recta por el origen que falta en este haz es x = 0). Si estudiamos los valores de f en los puntos de la recta y = mx obtenemos: f (x, x) = f (x, mx) = mx2 m = x2 + m2 x2 1 + m2

lo cual conrma lo que antes hab amos obtenido: el resultado depende de la recta que se utilice, y por lo tanto no existe el l mite. El anterior ejemplo ilustra una de las caracter sticas ms importantes de los l a mites en funciones de dos (o ms) variables: el estudio de los l a mites por trayectorias nunca sirve para demostrar la existencia de un l mite, aunque puede servir para demostrar que el l mite no existe. 8

1.3.

Es suciente estudiar los l mites en el origen

En el resto de este tema nos vamos a centrar en el estudio de l mites en el origen; es decir, l mites de la forma: l m f (x, y)
(x,y)(0,0)

Hacer esto no supone ninguna limitacin, porque se tiene el siguiente resultado: o Lema 1.7. Para estudiar el l mite
(x,y)(x0 ,y0 )

l m

f (x, y)

se puede hacer un cambio de variable: x = x + x0 y = y + y0 y considerar la funcin o g(, y ) = f ( + x0 , y + y0 ) x x Entonces se cumple que
(x,y)(x0 ,y0 )

l m

f (x, y) = L si y slo si o

(,)(0,0) xy

l m

g(, y ) = L x

Ejemplo 1.8. Supongamos que queremos estudiar el l mite xy 2x2 y 3 + 2y 2 x y 2x (x,y)(1,2) l m Para hacer esto podemos hacer un cambio de variable: x=u+1 y =v+2 Y obtener: (u + 1)(v + 2) 2(u + 1)2 (v + 2)3 + 2(v + 2)2 (u + 1) 9uv + 6u 3v 2u2 v 3 4v 2 + 2v 2 u = (v + 2) 2(u + 1) v 2u As que en lugar de estudiar el l mite inicial, pasamos a estudiar este l mite en el origen: 9uv + 6u 3v 2u2 v 3 4v 2 + 2v 2 u v 2u (u,v)(0,0) l m Combinando estas observaciones con nuestros comentarios previos sobre el anlisis del l a mite mediante trayectorias se obtiene este resultado:

Teorema 1.9. Para estudiar el l mite

(x,y)(0,0)

l m

f (x, y)

se puede estudiar el l mite a lo largo de las rectas y = mx que pasan por el origen; es decir, estudiamos: l f (x, mx) m
x0

donde m es un parmetro. Si para algn valor de m este l a u mite no existe, o si el valor del l mite depende de cul sea el m empleado, entonces podemos asegurar que no existe el l a mite de f en (0, 0).

1.4.

No es suciente con estudiar las rectas por el origen

Hemos visto que, para que exista l mite de f en el origen, es necesario que todas las rectas de la forma y = mx produzcan el mismo resultado cuando calculamos
x0

l f (x, mx) m

Pero no es suciente, como muestra el siguiente ejemplo. Ejemplo 1.10. Vamos a analizar el l mite en el origen de la funcin o 2 yx (x, y) = (0, 0) f (x, y) = x4 + y 2 0 (x, y) = (0, 0) Podemos empezar analizando lo que ocurre al tomar las rectas y = mx que pasan por el origen. Se obtiene: mx3 mx f (x, mx) = 4 = 2 2 x2 x +m x + m2 y por tanto l f (x, mx) = 0 m
x0

10

independientemente de m. Por supuesto, en el haz de rectas y = mx falta la recta vertical por el origen, de ecuacin x = 0. Pero si se estudian los valores de f a lo largo de esta recta se obtiene o f (0, y) = 0 As que todas las rectas por el origen producen el mismo valor, 0. Ahora bien, adems de las rectas podemos utilizar otras curvas para aproximarnos al origen. a Por ejemplo, la parbola y = x2 pasa por el origen, y tiene sentido que nos preguntemos cules a a son los valores de f en los puntos de esa parbola, a medida que nos acercamos al origen. Eso a signica que tenemos que estudiar el l mite
x0

l f (x, x2 ) = l m m

x4 1 = 4 x0 2x 2

Es decir, que en cualquier punto de la parbola, y por lo tanto, tan cerca del origen como a queramos, el valor de f es 1/2. Eso elimina la posibilidad de el l mite en el origen sea 0, como parec indicar las rectas. an La siguiente gura muestra una grca de la funcin que puede ayudar a entender lo que a o est ocurriendo en este ejemplo. a

Como se aprecia en la gura, la imagen de la parbola y = x2 (en verde en la gura) recorre a una parte de la grca situada a altura constante 1/2, mientras que las imgenes de distintas a a rectas por el origen son curvas que pasan a altura 0 por el origen, como hemos calculado. Como muestra este ejemplo, incluso aunque todas las rectas produzcan el mismo valor, puede ocurrir que una curva de otro tipo que pase por el origen (una parbola, una espiral, una curva a 11

sinusoidal, etc.) nos lleve a un valor distinto. Y obviamente no podemos probar todas las curvas imaginables. Por esa razn dec o amos que es intil tratar de demostrar la existencia de un l u mite considerando trayectorias que pasen por el origen. Este mtodo puede servir a lo sumo para: e 1. Proponer un posible valor del l mite si lo desconocemos. 2. Demostrar que el l mite no existe, encontrando dos trayectorias que produzcan l mites diferentes.

2.

L mites y coordenadas polares

Las coordenadas polares permiten identicar un punto de coordenadas (x, y) del plano mediante otro par de nmeros (r, ), denidos mediante estas relaciones: u x = r cos y = r sen La geometr de las coordenadas polares se ilustra en esta gura: a

de modo que, como se ve, r representa la distancia del punto (x, y) al origen. Por esa razn, si o r tiende a 0 el punto de coordenadas (r, ) se aproxima al origen. Esa es la idea que nos lleva a proponer el siguiente mtodo para analizar un l e mite en el origen. Para estudiar la existencia del l mite
x(0,0)

l m f (x, y)

efectuamos el cambio a coordenadas polares y obtenemos una nueva funcin o F (r, ) = f (r cos , r sen ) A continuacin analizamos el l o mite
r0

l F (r, ) = l f (r cos , r sen ) m m

r0

Lo interesante de esta idea es que de nuevo nos permite analizar el l mite de dos variables mediante un l mite en una sola variable. 12

Pues bien, tenemos un primer resultado que, de nuevo, nos va a servir slo para asegurar o que algunos l mites no existen. Proposicin 2.1. Si el l o mite l f (r cos , r sen ) m r0 no existe o depende de , podemos asegurar que f no tiene l mite en (0, 0). La dicultad en el uso de las coordenadas polares estriba en que la rec proca no es cierta: aunque ese l mite no dependa de , todav puede ocurrir que el l a mite no exista, como muestra este ejemplo. Ejemplo 2.2. Sea f : R2 R denida por f (x, y) =
x2 +y 2 y

y=0 y=0

Cambiando a coordenadas polares, se tiene: F (r, ) = f (r cos , r sen ) =

r2 r sen

si = 0, si = 0,

con lo que vemos que para cada valor jo del ngulo : a l m

r0

l F (r, ) = m

r2 = 0 si = 0, r0 r sen si = 0,

l 0 m
r0

Por tanto el l mite en polares vale 0, independientemente del valor del ngulo . Podr a amos pensar al llegar a esta conclusin que el l o mite vale cero. Sin embargo, si observamos la expresin o que se ha obtenido: r2 r = r sen sen nos daremos cuenta de que para valores del ngulo cercanos a 0, esta expresin no est acotada. a o a De hecho si consideramos la curva cuya ecuacin en polares es r = que se ilustra en esta gura: o

13

vemos que cuando nos acercamos a (0, 0) a lo largo de esa curva es:
r0

l F (r, ) = l m m

r2 r = l m =1 r0 r sen r r0 sen r

lo cual contradice nuestra anterior conjetura de que el l mite era 0 y, de hecho, demuestra que el l mite no existe. A la vista de ejemplos como ste es natural pensar que las coordenadas polares sirven slo e o para demostrar que un l mite no existe, pero no para establecer su existencia. Existe sin embargo un caso importante en el que es posible utilizarlas para demostrar la existencia del l mite. En concreto, se tiene este resultado, en el que la idea clave es precisamente el control sobre la parte de la funcin que depende del ngulo. o a Teorema 2.3. Supongamos que se puede descomponer la funcin F (r, ) de esta forma: o F (r, ) = h(r)G() donde adems a l h(r) = 0 m r0 Entonces l f (x, y) = 0 m x(0,0) si y slo si la funcin G() est acotada en [0, 2] o o a Este teorema slo permite demostrar que un l o mite vale 0. Pero, puesto que demostrar
x(0,0)

l f (x, y) = L m

es lo mismo que demostrar

x(0,0)

l f (x, y) L = 0 m

esto no supone una verdadera limitacin. o Observacin. La condicin es necesaria y suciente, as que este resultado puede usarse tanto o o para usar que el l mite existe como para probar que no existe. En el anterior ejemplo, en el que era 1 G() = sen la funcin G era por supuesto no acotada, como ya indicamos. Por lo tanto, el l o mite no puede ser cero, y en consecuencia no existe, como ya dijimos. Veamos un par de ejemplos, en los que se emplean las coordenadas polares para estudiar la existencia de un l mite: Ejemplo 2.4. 1. Para estudiar si la funcin o f (x, y) =
x3 x2 y 2

0 14

si x2 y 2 = 0 si x2 y 2 = 0

tiene l mite en (0, 0) hacemos el cambio a coordenadas polares: F (r, ) = y vemos que la funcin o r3 cos3 cos3 =r = h(r)G() r2 cos2 r2 sen2 cos2 sen2 G() =

cos3 cos2 sen2 no est acotada: para valores de cercanos a /4 se obtienen valores de G arbitrariamente a grandes. Por lo tanto el l mite de f en el origen no existe. 2. Para estudiar el l mite en (0, 0) de esta funcin: o f (x, y) = cambiamos a coordenadas polares: F (r, ) = r2 cos |sen | = r cos |sen | r x|y| 0
x2 +y 2

si (x, y) = (0, 0) si (x, y) = (0, 0)

Y llamando h(r) = r, G() = cos | sen | se tiene: F (r, ) = h(r)G() y puesto que la funcin G() = cos | sen | es obviamente una funcin acotada, el teorema o o nos permite asegurar que l m f (x, y) = 0
(x,y)(0,0)

3.

Continuidad
La denicin de continuidad en un punto es una extensin natural del caso de una variable: o o

Denicin 3.1. La funcin z = f (x, y) es continua en el punto (x0 , y0 ) si o o

(x,y)(x0 ,y0 )

l m

f (x, y) = f (x0 , y0 )

Es decir, que el l mite y el valor en el punto existen ambos y coinciden. La continuidad tiene las siguientes propiedades, que son tambin extensiones de los resultados e sobre l mites que ya hemos visto en el caso de una variable. Teorema 3.2. 1. Sumas, productos: Si f, g : R2 R son continuas en (x0 , y0 ), entonces las funciones f g y f g son continuas en (x0 , y0 ). 2. Cocientes: Si, adems, g(x0 , y0 ) = 0, entonces f /g es continua en (x0 , y0 ). a 3. Composicin: Si f : R2 R es continua en (x0 , y0 ) y g : R R es continua en f (x0 , y0 ), o entonces g f es continua en (x0 , y0 ). 15

El teorema precedente nos dice como combinar funciones continuas para obtener nuevas funciones continuas. Por lo tanto este resultado adquiere toda su potencia cuando se combina con un repertorio inicial de funciones continuas sucientemente rico. Recordemos que, como hemos visto en la primera parte del curso, todas las funciones elementales de una variable son continuas en todos los puntos de su dominio. Adems: a Proposicin 3.3. Las funciones (de proyeccin) p1 : R2 R y p2 : R2 R, denidas o o mediante: p1 (x, y) = x p1 (x, y) = y son continuas en todo R2 . En consecuencia, cualquier funcin polinmica en las variables (x, y) es una funcin continua o o o en todo R2 .

3.1.

Abiertos, cerrados, fronteras

Al igual que suced en la primera parte del curso, con los teoremas de Bolzano, Weierstrass, a etctera, la nocin de continuidad se vuelve util cuando se consideran los aspectos globales de e o la continuidad. Es decir, si consideramos funciones que son continuas en todos los puntos de un conjunto, entonces es posible extraer algunas consecuencias importantes. Recordemos por ejemplo que el teorema de Weirstrass arma que si f : R R es una funcin o continua en todos los puntos del intervalo cerrado [a, b], entonces f alcanza un mximo y un a m nimo absolutos en el intervalo [a, b]. Recordemos adems que el teorema es falso si el intervalo a que se considera no es cerrado y acotado. Si queremos buscar un anlogo de este teorema en a el caso bidimensional, tenemos que aprender a interpretar qu signican en el plano conceptos e como conjunto cerrado y conjunto acotado. Para poder seguir con esta discusin, por tanto, necesitamos primero introducir algo ms de o a lenguaje que nos permita describir correctamente los distintos tipos de conjuntos del plano. Empezaremos generalizando el concepto de abierto. La denicin que necesitamos (la que o permite probar los teoremas que queremos) es la siguiente: un conjunto es abierto si incluye a todos los vecinos sucientemente cercanos de cada uno de sus puntos. Como se ve, para poder precisar esta denicin necesitamos aclarar lo que quiere decir esto de los vecinos sucientemente o cercanos. Ese es el contenido de la siguiente denicin: o Denicin 3.4. Representaremos mediante d(p, q) la distancia eucl o dea entre dos puntos : p = (x1 , y1 ) y q = (x2 , y2 ) del plano. Recordemos que esa distancia se calcula as d(p, q) = (x1 x2 )2 + (y1 y2 )2 La bola de radio r centrada en el punto (x0 , y0 ) es el conjunto de puntos: {(x, y) R2 /d((x, y), (x0 , y0 )) < r} Esta bola de centro p = (x0 , y0 ) y radio r se representa mediante B(p, r). La denicin se ilustra en la siguiente gura: o

16

La bola B(p, r) incluye a todos los vecinos cercanos a (x0 , y0 ). Y adems permite traducir la a expresin vecinos sucientemente cercanos, simplemente tomando un valor de r sucientemente o pequeo. As podemos denir lo que quiere decir que un conjunto es abierto. n , Denicin 3.5. Un conjunto A del plano es un conjunto abierto si, para cada punto p de A se o puede encontrar una bola B(p, r) tal que todos los puntos de la bola son puntos de A. Naturalmente, en puntos distintos de A pueden ser necesarios distintos valores de r. Ejemplo 3.6. El conjunto A = {(x, y)/y > 0} (el semiplano superior, sin incluir el eje x) es un conjunto abierto. En la siguiente gura se muestran varios puntos del semiplano superior y, para cada uno de ellos, una bola centrada en ese punto y totalmente contenida en el semiplano superior.

Como se aprecia en la gura, el radio de la bola depende del punto que se considere. Hemos dicho que necesitamos este lenguaje de conjuntos abiertos para obtener resultados a partir de la continuidad. Una primera relacin, que nos proporciona una gran variedad de o ejemplos es este resultado: Teorema 3.7. Si f : R2 R es una funcin continua, entonces el conjunto o {(x, y)/f (x, y) > 0} es un conjunto abierto. 17

Ejemplo 3.8. El interior de una elipse, es decir el conjunto de puntos que cumplen x2 y 2 + 2 <1 a2 b es un abierto, porque la funcin o f (x, y) = 1 es continua en todo R2 . El siguiente ejemplo muestra un conjunto que no es abierto, y debe compararse con el ejemplo 3.6. Ejemplo 3.9. El conjunto A = {(x, y)/y 0} no es un conjunto abierto. Si se considera el punto (1, 0), que es un punto de A, es imposible encontrar una bola centrada en A y cuyos puntos sean todos puntos de A; como ilustra la siguiente gura, por muy pequeo que sea el radio que se tome, la bola siempre incluye puntos del semiplano n inferior. x2 y 2 2 a2 b

El anterior ejemplo sugiere que la diferencia entre abiertos y no abiertos debe buscarse en el borde o frontera del conjunto. Lo siguiente que necesitamos es precisar esta nocin de borde, y o el anterior ejemplo nos sirve de motivacin para la siguiente denicin. o o Denicin 3.10. Sea A un conjunto del plano R2 . Un punto p es un punto frontera de A si o cualquier bola centrada en p contiene puntos de A y puntos que no son de A. La frontera de A es el conjunto de todos los puntos frontera de A. Por contra, un punto p es un punto interior de A si se puede encontrar una bola centrada en p y cuyos puntos pertenecen todos al conjunto A. Con este lenguaje podemos decir que un abierto es un conjunto cuyos punto son todos puntos interiores del conjunto. Obsrvese en los anteriores ejemplos que los puntos frontera del conjunto e no tienen porque pertenecer al conjunto. De hecho, en el caso unidimensional, que hemos visto en la primera parte del curso, un intervalo cerrado es un intervalo que incluye a los puntos situados en su frontera. Esta denicin o 18

de cerrado se extiende de forma natural a R2 , y nos permite cumplir uno de nuestros objetivos iniciales de este apartado. Denicin 3.11. Un conjunto A R2 es cerrado si todos los puntos frontera de A pertenecen o al conjunto A. Es decir, un conjunto cerrado es un conjunto que incluye a su frontera. Para completar nuestro objetivo en este apartado, slo necesitamos generalizar la nocin de o o conjunto acotado. Es decir, un conjunto que no se extiende hasta el innito. La generalizacin o ms conveniente es sta a e Denicin 3.12. Un conjunto A R2 es acotado si se puede encontrar una bola centrada en o el origen que contiene a todos los puntos de A. Es decir, que existe un valor K > 0 (el radio de esa bola) tal que, para cualquier punto (x , y ) de A se cumple 0 0 x2 + y 2 < K Como hemos dicho al principio de este apartado, nuestro objetivo es generalizar teoremas sobre funciones continuas en un conjunto como el teorema de Weierstrass que hemos visto en la primera parte del curso. En ese teorema aparecen intervalos cerrados y acotados. Esas dos condiciones denen un tipo especial de conjuntos del plano, a los que vamos a dar un nombre. [ Denicin 3.13. Un conjunto A del plano es compacto si es cerrado y acotado. o 3.1.1. Continuidad global

La denicin de continuidad global es muy natural: o Denicin 3.14. Una funcin f : R2 R es continua en un conjunto A si es continua en o o todos los puntos de A. Y, nalmente, aunque todav no hemos denido formalmente la nocin de mximo y m a o a nimo en funciones de dos variables, podemos enunciar, como ejemplo, el teorema que hemos anunciado como generalizacin del teorema de Weierstrass, y al que volveremos con ms detenimiento ms o a a adelante al tratar sobre extremos de funciones de dos variables. Teorema 3.15. Si A es un conjunto compacto del plano, y f es una funcin continua en A, o entonces f alcanza un mximo y un m a nimo absolutos en A.

19