INFINITESIMOS E INFINITOS

L. SAINZ DE LOS TERREROS

1.

INFINITESIMOS

Denici on 1.0.1. Una funci on f (x) (denida en Rp y con valores reles ) que verica: l m f (x) = 0
xa

se dice que es un innit esimo en x = a f (x) x sen x x x0 tg x x x0 1 cos x x2 /2 x 0 ln(1 + x) x x0 ex 1 x x0 arc sen x x x0 arc tg x x x0 Cuadro 1. Innit esimos y equivalencias (una variable)

En el cuadro 1 se presentan dos columnas de innit esimos equivalentes: Se dice que f (x) y g (x) son f (x) 1, (cuando x a). Esto es un caso particular de la siguiente innit esimos equivalentes en a, si g (x) noci on general (para funciones reales denidas en Rp ): Denici on 1.0.2. Dos funciones f (x) y g (x) se dice que son equivalentes en a si: l m
xa

f (x) =1 g (x)

NOTA: Las funciones potenciales x , > 1 son innit esimos en x = 0 y se toman como referencia para comparar con ellas otros innit esimos: es interesante y pr actico conocer para un innit esimo dado , uno equivalente1 de la forma Cx (C una constante). (ver cuadro 1). Proposici on 1.0.1. La suma/resta f g de innit esimos en a es otro innit esimo en a. El producto f g de innit esimos en a es otro innit esimo. En este u ltimo caso, se tiene adem as Si f (x) es una funci on acotada, y g (x es un ininit esmo en el punto a, el producto f g es un innit esimo en el punto a. Demostraci on. Probaremos la u ltima armaci on: Supongamos |f (x)| M, (M > 0) y l m g (x) = 0. xa Entonces en cualquier entorno U de a, se tiene: |f (x)g (x)| M |g (x)|
Por tanto dado > 0 arbitrario, /M > 0 y existe alguna bola reducida Br (a) tal que |g (x)| < /M , a tambi en: cualquiera que sea x Br (a); para todos los puntos en esta bola, se tendr

|f (x)g (x)| M |g (x)| < M /M = i.e., l m f (x)g (x) = 0

xa

Date : Enero-2011. 1aunque no toda funci on f , que sea un innit esimo en x = 0 admite una equivalencia de este tipo!
1

Para el cociente de dos innit esimos, la cuesti on es m as compleja. El cociente f /g de dos innit esimos, produce de manera inmediata una indeterminaci on 0/0, cuando se pretende aplicar la propiedad usual del l mite de cocientes. Por supuesto se trata de resolver esa indeterminaci on. Hay un caso que es preciso destacar (adem as del caso de ininit esimos equivalentes): aquel en que el cociente de innit esimos tiende a 0: Denici on 1.0.3. Supongamos que f y g son dos innit esimos en a, que verican: l m
xa

f (x) =0 f (x)

se dice entonces que f (x) es despreciable frente a g (x) cerca del punto a, y se escribe: f (x) = o(g (x) Podemos pensar tambi en en dos innit esimos f y g que satisfacen f (x) = o(g (x)), en el sentido de que f (x) tiende a 0, con un orden de convergencia mayor que g (x). En el caso (p = 1) de innit esimos de una variable, es claro que x = o(x ), si > (cuando x 0). Tambi en, p. ej., x(x + 1)2 = o(1) sen x tg x = o(x), (x 0) (x 0)

Veamos c omo nos podemos servir de estas nociones para el an alisis de l mites de funciones de varias variables. Ejemplo 1.1. Estudiar el l mite: x4 + y 4 (x,y )(0,0) 3(x + y )2 l m Notar los dos hechos siguientes: 1.) Se trata de una indeterminaci on 0/0. 2.) Los l mites direccionales, por rectas y = mx, m = 1 y el eje x = 0, que concurren en (0, 0) dan el valor 0 (comprobarlo!) 3.) N otese que la recta y = x est a descartada porque anula el denominador. Sin embargo, podemos elegir tambi en caminos y = x + (x), de manera que el innit esimo resultante en el denominador, (x x + (x))2 = (x)2 sea equivalente a x4 , cuando x 0. As , tomando y = x + x2 , resulta: x4 + (x + x2 )4 = 2/3 x0 3x4 La conclusi on es que el l mite original no existe (Si hubi eramos tomado y = x + x3 en el denominador se 4 2x + o(x4 ) tendr a el innit esimo 3x6 y el l mite resultante ser a , y se conrma de nuevo que l m 3x6 l m Ejemplo 1.2. Discutir el l mite:
(x,y )(0,0) 3x2

l m

x4 + y 4 + 2xy + 3y 2

para = 3, = 1. El denominador lo transformamos, completando cuadrados:

(x,y )(0,0)

l m

x4 + y 4 3 (x + 2 2 2 y ) + (1 )y 3 9

1.) Para = 3 el segundo t ermino del denominador se anula, y estamos en un caso semejante al anterior ( l m).
2

8 1 acter de esta 2.) Para = 1 el denominador queda como una suma de cuadrados2: 3(x + y )2 + y 2 . El car 3 3 expresi on es la de un polinomio q (x, y ) de segundo grado, que toma valores positivos (salvo para x = 0, y = 0), y que tiene l mite 0; es pues un innit esimo. Usando coordenadas polares, el denominador queda (despu es de simplicar): DEN = r2 (2 cos () sen () + 3) El factor trigonom etrico est a acotado (1 < 2 cos () sen () + 3 < 5), y se puede escribir entonces: DEN = o(r) = o( x2 + y 2 ) En cuanto al numerador, x + y , se puede acotar por el innit esimo:
4 4

N U M = x4 + y 4 x4 + 2x2 y 2 + y 4 = (x2 + y 2 )2 Por tanto, se puede escribir (en polares): N U M (r2 )2 = r4 = o(r3 ) = o( Se sigue entonces N U M o(DEN ) Ejemplo 1.3. Sea f (x, y ) =
(x,y )(0,0)

x2 + y 2 )

l m

f (x, y ) =

NUM =0 (x,y )(0,0) DEN l m

(x) , si x + y = 0 y f (x, x) = 0, denida en R2 . Se sabe que (x) = o(x) x+y cuando x 0. Discutir si f (x, y ) es un innit esimo en (0, 0). Sol. 1) Si tomamos una recta y = mx, m = 1, entonces l m
x

(x) = 0, ya que (x) = o(x). No (1 + m)x podemos concluir nada, porque el l mite direccional por la recta y = x es tambi en 0 2) Si ahora tomamos y = x + (x), con (x) = o(xm ), (x) (x) = x+y (x) Escogiendo precisamente (x) = (x), x = 0, el cociente ser a 1, lo cual muestra que y por tanto f (x, y ) NO es un innit esimo en (0, 0). 2. INFINITOS. L IMITES EN EL INFINITO.
(x,y )(0,0)

(x 0), para alg un m positivo, entonces:

l m

f (x, y ),

Para funciones reales denidas en Rp , la noci on de innit esimo se completa con la noci on de innito. Una funci on que satisface: l m f (x) =
xa

(o )

se dice que es un innito cuando x a. Las nociones anteriores para innit esimos (equivalencia, orden de un innit esimo), se pueden extender a estas funciones: Si f (x) es un innit esimo en a, y f (x) > 0 entonces: 1/f (x) en a, es decir es un innito en este punto. 2.1. L IMITES EN EL INFINITO. En el estudio de l mites, en particular, el punto a puede ser tambi en el punto del innito en el espacio Rp , de manera que el l mite: l m f (x) = L
x

recibe el nombre de l mite en el innito. El propio L en este caso tambi en puede corresponder a L = 0 (un innit esimo en el punto del innito) o L = .
Para funciones reales f (x) de una sola variable, las funciones x ( > 0) son, en su caso, innit esimos (cuando x 0), o innitos (cuando x ) y sirven tambi en en este caso como referencia y comparaci on (por cociente). Igualmente puede ser negativo, en cuyo caso x es un innito en x = 0.
2de forma m as precisa, una expresi on denida positiva que equivale a una suma de cuadrados 3