1 CALCULO AVANZADO EN ESPACIOS DE VARIABLES REALES Y COMPLEJAS.

(1.1_CvR_T_061, Revisin: 19-08-06, C1-C2)

1.1 FUNCIONES, LIMITES Y CONTINUIDAD

1.1.1 DEFINICIONES BSICAS.

FUNCIN: - Regla que asigna un valor (y) para cada valor correspondiente de x. - Conjunto de parejas ordenadas de nmeros (x, y) en el cual no existen dos parejas distintas que tengan el mismo primer nmero. DOMINIO: Conjunto de todos los valores posibles de x. CONTRADOMINIO O RANGO: Conjunto de todos los valores posibles de y. Con esto podemos definir a una funcin como un MAPEO de un conjunto de valores llamado DOMINIO, a otro conjunto llamado RANGO de la funcin. f MAPEO DE x a y

y = f ( x ) = 2 x 2 + x, 0 x 1
DOMINIO DE f (D)

Requerimiento: f debe ser univaluada, esto es, cada punto en D se mapea a un nico punto en R, aunque un punto (valor) en R puede corresponder a ms de un punto en D.

x 0 1 f

f R f(x)

y=f(x) 0 1 2 3

RANGO DE f (R)

x1

x2 D

Si el mapeo (f) es uno a uno, entonces la funcin es invertible: x = x(f) o bien: y = f(x) x = f -1 (y)

TIPOS DE FUNCIONES: Constante, lineal, cuadrtica, cbica, etc. Funcin lineal: Si x = x1 + x 2

f ( x) = f (x1 + x 2 )

= f ( x1 ) + f ( x2 )
Se cumple con el principio de linealidad De acuerdo a su simetra pueden existir: FUNCIONES PARES: f (-x) = f(x) FUNCIONES IMPARES: f (-x) = -f(x) Ejemplos: f(x) = x Funcin par f(x) = x Funcin impar f(x) =x2 + 2x f(-x) =(-x)2 +2(-x) = x2 2x f(x) -f(x) = -(x2+2x) = -x2 2x f(x) f(-x) No es par ni impar, aunque puede expresarse como la suma de una funcin par y una impar

f(x) = fp (x) + fi (x) , fp (x) = x2

fi (x) = 2x En general: fp (x) =
1 [ f (x) + f (-x)] FUNCIN PAR 2 1 fi (x) = [ f (x) f (-x) ] FUNCIN IMPAR 2

GENERALIZACIN DEL CONCEPTO DE FUNCIN: Mapeo de ms de una variable independiente (funcin con ms de una variable independiente). Para n-dimensiones (Rn) Una funcin de n-variables es un conjunto de pares ordenados (P, ), en el cual dos pares ordenados no tienen el mismo primer elemento. P- punto en el espacio de n-dimensiones (Rn); P = (x1, x2, ..., xn) - nmero real Tpicamente, si n = 1 P = x ; n = 2 P = (x,y) etc. DOMINIO: RANGO: Conjunto de valores de P Mapeo de Rn a R1 Conjunto de valores de Suponiendo que n = 2 Grficamente, la funcin representa una superficie (dominio en R2, rango en R1) .

f(x,y) f x f(x,y) y y f x Si ambos, DOMINIO y RANGO, pertenecen a R , se tiene entonces una FUNCIN VECTORIAL.
2

Esto es un MAPEO de R2 dentro de R2, i.e.:

R = (u, ) = f ( x, y ) f FUNCIN VECTORIAL

x Esto puede tambin representarse en forma matricial: u a b x = c d y a, b, c, d constantes (para una funcin lineal) u

Representacin en el plano cartesiano:

y (x,y)

Existe una correspondencia 1 a 1 entre el par (x, y) y el RADIO VECTOR r , i.e.: ( x, y ) r , y viceversa.

x Una FUNCIN LINEAL VECTORIAL convierte entonces un radio vector (e.g., r ) en otro radio vector (e.g., f ) por medio de una expansin o contraccin en su magnitud y aplicando adems un giro.

f (r ) expansin (o contraccin) y giro de r . f (r ) r

VECTORES: La transformacin de un radio vector (expansin, contraccin y giro) puede representarse por medio de una suma vectorial, i.e.:

u =v+w

w = ( p, q ) + w = u = ( x + p, y + q )
w

= ( x, y )

En general se utilizan vectores unitarios para la definicin de un vector cualquiera:

z = ( x1 ,0) = x1 (1,0)
VECTOR UNITARIO

= x(1,0) + y(0,1)
y (0,1)

(1,0), (0,1)

VECTORES UNITARIOS O VECTORES BASE

x (1,0)

Representacin general: = xe1 + ye2

Para n- dimensiones, e.g., n=3, un vector w puede representarse como:

w = xe1 + ye2 + ze3

x, y, z nmero de vectores base (e1 , e2 , e3 ) utilizados en w 4

Etiquetas ms comunes para vectores base:

k
e1 = i j e2 = w = xi + y + zk j e3 = k

i
Podemos definir tambin (en R2) una base dada por: e1 = 1 2 = x + yi NMEROS COMPLEJOS i = 1 e2 = i

NUMEROS COMPLEJOS. e1 = 1, e2 = i tienen representacin vectorial Las operaciones realizadas con nmeros complejos son equivalentes a las operaciones realizadas con vectores (e.g., la suma de nmeros complejos es equivalente a una suma vectorial). Im iy

z = x+iy

z = x + iy = re i donde: z Variable compleja x parte real de z (Re{z}) y parte imaginaria de z (Im{z}) r = x 2 + y 2 = magnitud de z ( z )

x Re

= tan 1 = ngulo de z

y x

OPERACIONES CON NMEROS COMPLEJOS. Multiplicar por i implica un giro (rotacin) de

ii =i2 = -1

i 1

En general: iz

/2
z

-1 (-1)i -i

(-i)(i)

Multiplicacin: z1 = a+ib z2 = c+id

z1z2 = (a+ib)(c+id) = (ac-bd)+i(ad+bc) = a(c+id)+ib(c+id)=az2+ibz2

5

az2 z2 a ibz2 z2 b

expandido veces expandido veces y girado /2

z1z2 = SUMA DE VECTORES

biz2

z1z2 az2 z2

Inverso multiplicativo. Para z1 = x + iy, z 2 tal que z1 z 2 = 1 z2 INVERSO MULTIPLICATIVO de z1 : z2 =z1-1 En general: z1z1-1= (x+iy)(x+iy)-1 =1 ( x + iy ) 1 = x y 1 1 x iy 1 = x iy = x 2 + y 2 i x 2 + y 2 = z x + iy x + iy

Con esto puede verificarse por sustitucin directa que z1z2-1=1 Propiedades relacionadas: (z1z2)-1=z1-1z2-1(z1z2)-1(z1 z2) =1 Conjugado de un nmero complejo. Para z = x+iy , z* = z = x-iy CONJUGADO DE z
Im

z
Re

z es el reflejo invertido de z sobre el eje de los reales.

Propiedades tiles: z + z = x + iy + x iy = 2 x = 2 Re{z} 1 Re{z} = (z + z ) 2

z
1 (z z ) 2i 2 z z = ( x + iy )(x iy ) = x 2 + y 2 = z

z z = 2iy = 2im{z} m{z} =

Representacin en coordenadas polares.

Im

z = x+iy = rei r

Por trigonometra bsica se obtiene que x = r cos y = r sen

Re

 z = x +iy = r cos +ir sen = r(cos + isen) = rei

FRMULA DE EULER
2 y z = r = x 2 + y 2 , = tan 1 = Arg ( z ) (argumento de z) x Valor principal de z: Arg (z ) Adems: Arg ( z ) = Arg ( z ) + 2n , n = 0, +1, + 2,...

Magnitud de la suma de nmeros complejos.

2

z1 + z 2

= ( z1 + z 2 )( z1 + z 2 ) = ( z1 + z 2 )( z 1 + z 2 ) = z1 z 1 + z 2 z 2 + z1 z 2 + z 2 z 1 = z1 + z 2 + z1 z 2 + z 1 z 2
2 2

Re-escribiendo el trmino: z1 z 2 + z 1 z 2 = z1 z 2 + ( z1 z 2 ) = 2 Re{z1 z 2 }

z1 + z 2
2

= z1 + z 2 + 2 Re{z1 z 2 }
2 2

Recordando que: Re{z} z Re{z1 z 2 } z1 z 2 = z1 z 2

Im
z1 + z 2
z
2

z1 + z 2 + 2 z1 z 2 = ( z1 + z 2 ) 2
2 2

z1 + z 2 z1 + z 2

Re{z}

Re
z1 z2 z1 z2

De manera similar podemos obtener:

Multiplicacin en coordenadas polares: z1 z 2 = r1e i 1 r 2e i 2 = r1r2 e i (1 + 2 )

LMITES.

1.1.2

Definicin formal: Se dice que f(x) tiene lmite L cuando x tiende a x0, i.e.:
x x0

lim f(x) = L, o f(x)L cuando xx0,

si para cada > 0 (sin importar que tan pequeo) existe una ( , x0 ) > 0 tal que
f ( x) L < para 0 < x x0 < .

En otras palabras: f(x) estar cerca de L si x est cerca de x0. Observemos que dado que 0 < x x0 < , la definicin implica que f(x0) NO NECESARIAMENTE TIENE QUE EXISTIR.
Ejemplo:

Consideremos f ( x) =

f A L B 1 a b 0.1 x0
x x0 <

1 para 0.1 x 1 x Digamos que para x0 el lmite existe y es igual 1 ) a L (i.e., x0 Para probar esto grficamente: - Establecemos alrededor de L y proyectamos la interseccin de la grfica (puntos A, B) hacia el eje x. -Notamos que a<b, por lo que elegimos =a y definimos entonces x x 0 < = a .

Con esto observamos que cuando 0 < x x0 < , f(x) estar ms cerca de L que , tal y como se requiere en la definicin de lmite. Evaluando

(,x0) :

f(x0-)-f(x0)=

1 1 = x0 x0

Resolviendo para :

1 1 x 0 + 1 = + = x0 x0 x0

= x0

x0 1 + x 0

- (x0,)>0 - Cualquier otro valor ms pequeo, e.g., (x0, )/5 tambin funciona.

Nota: Revisar teoremas de lmites.

Ejemplo: x2 , 0 x 4 , 3 f ( x) = 27 , x = 3 lim f ( x) = 9
x3

Si se cumple que para lim f ( x) = L , y adems f(x0)=L cuando xx0, se dice que f(x) ES
x x0

CONTINUA EN x0.
Ejemplos:

a) En el ejemplo grfico anterior la funcin es continua dentro del dominio. b) x2 y sen x continuas x 1, x > 0 c) H ( x) = Funcin de Heaviside (escaln unitario) Discontinua en 0, x < 0 x=0. d) f(x)=cos(1/x)=cos(1/x2)x=cosx (=1/x2) En este caso:

cuando x 0 , f(x) es discontinua en x=0 0 cuando x

lim ( mx + b ) = ma + b
xa

e) Demostrar que para m, b constantes cualesquiera:

Para demostrar esto utilizamos la definicin de lmite, i.e., para > 0 > 0 tal que 0 < x a < . Si suponemos que esto se cumple, entonces debe cumplirse tambin que
0 < (mx + b) (ma + b) < . Podemos analizar entonces los siguientes casos:

i) ii)

Si m = 0 m ( x a ) = 0 < , y la definicin se cumple. Si m 0 m x a < , 0 < x a < . El valor de es entonces:

xa <

Por lo tanto, si 0 < x a < , para =

lim ( mx + b ) = ma + b .
xa

, entonces 0 < (mx + b) (ma + b) < y