Resumen Esquemtico del curso MA26B a

Oscar Peredo A.
*

18 de Junio de 2003

1.

Introduccin o

Este resumen tiene por objetivo presentar la mayor parte de los contenidos del curso ma26b de forma simple y sin demostraciones. Se incluyen esquemas mnemotcnicos fciles de asimilar y e a deniciones extra das de los apuntes del profesor. La intencin de estas pag o nas no es reemplazar los apuntes ociales del curso, sino dar un enfoque resumido de estos, abarcando menor cantidad de contenidos, con enfas en los tpicos principales de cada cap s o tulo.

2.
2.1.

Curvas y Supercies en R3
Curvas

Denicion 1 Un conjunto se llama curva si existe una funcin continua : [a, b] R3 llamada o r parametrizacin de la curva tal que o

= ([a, b]) = {(t) R3 |t [a, b], a, b R} r r Adems, puede ser: a Suave si C. r Regular si > 0. r Simple si es inyectiva. r Cerrada si (a) = (b). r r Denicion 2 Se llama velocidad al vector (t) : [a, b] R3 tal que v

(1)

(t) = v

d(t) r (t + h) (t) r r = l m h0 dt h

(2)

Denicion 3 Se llama rapidez al escalar s(t) determinado por

s(t) = = v

d(t) r dt

(3)

Denicion 4 Se llama vector tangente al vector t determinado por

* Alumno

de Ingenier de la Universidad de Chile a

 v t= = s(t)

1 d(t) r d(t) r dt dt

(4)

2.1.1.

Sistemas de Coordenadas Ortogonales

Los SCO1 mas conocidos son los sistemas Cartesiano, Cil ndrico, Esfrico y Toroidal. Comene zaremos por listar los factores escalares, de suma importancia en la obtencin de gradientes, o divergencias y rotores, entre otros usos. Para R3 , los factores escalares, en un SCO son los siguientes: r hu = u r hv = v r hw = w Cartesianas Cil ndricas Esfricas e hx = 1 h = 1 hr = 1 hy = 1 h = h = r sin hz = 1 hz = 1 h = r

2.1.2.

Gradiente en Coordenadas Ortogonales

f = 2.1.3.

1 f 1 f 1 f u+ v+ w hu u hv v hw w

(5)

Elemento de Volumen dV

dV = hu hv hw dudvdw

(6)

Cil ndricas Esfricas e

dV = dddz dV = r2 sin drdd

2.1.4.

Longitud de Arco ()

Denicion 5 La longitud de arco de se dene como la siguiente integral

b

() =

( ) r d

(7)

1 Ver

apunte para descripcin de los Sistemas de Coordenadas principales o

2.1.5.

Integral de L nea

Denicion 6 La integral de l nea de una funcin f : D R3 R sobre , parametrizada por la o 3 funcin : [a, b] R se representa por o r 2.1.6. f dl =
b

f (( )) r

d( ) r d d

(8)

Parametrizacin en longitud de arco o

Primero se presnta la funcin s(t), que representa la distancia recorrida por la curva en el o instante t
t

s(t) =

d( ) r d d

(9)

, luego la parametrizacion en longitud de arco queda enunciada por (s)=(t(s)) Con esto, (4) se puede denir como = d (s) 1 d(t(s)) r = d(t(s)) r ds dt dt (10)

(11)

2.1.7.

Curvatura, Radio de Curvatura, Vector Tangente y Vector Normal

Curvatura Radio de curvatura Vector Tangente Vector Normal

k(s) =

dT d2 (s) = 2 (s) ds ds 1 k(s)

k(t)

= =

dT (t) dt
r d (t) dt

R(s) = T (s) = N (s) =

R(t) T (t) = N (t) =

1 k(t)

d (s) = t ds 1 dT (s) (s) ds

1 d r (t) r d (t) dt dt dT dt 1 dT (t) (t) dt

dT ds

2.1.8.

Vector Binormal

Denicion 7 Se llama vector binormal al vector B obtenido de la operacin o B=T N (12)

, donde T es el vector tangente y N es el vector normal. Una consecuencia de esta denicin es la siguiente propiedad o Propiedad 1 es plana dB =0 ds

2.1.9.

Torsin o

Denicion 8 Se dene la torsin de como o (s) = < dB ,N > ds

(13)

dB < ,N > dt (t) = d r dt 2.1.10. Frmulas de Frenet o T 0 d N = k ds B 0

(14) 0 T N 0 B

k 0

2.2.

Supercies

Denicion 9 Se dice que R3 es Conexo s y solo s x, y , regular por trozos tal que con x e y puntos extremos de . Denicion 10 Se dice que R3 es Convexo s y solo s es segmento de recta. 2.2.1. Vectores Tangentes en (u0 , v0 ) r 1 tu = (u0 , v0 ) r u u (u0 , v0 ) r 1 tv = (u0 , v0 ) r v v (u0 , v0 ) 2.2.2. Plano tangente a la supercie en (u0 , v0 )

(15)

(16)

x y = 0 + tu (u0 , v0 ) + tv (u0 , v0 ) (17) r z

2.3.

Vector Normal
=tu tv 1 u tv t

(18) (19)

Otra forma de representar el plano tangente, utilizando el vector normal, es x y 0 , n = 0 r z (20)

2.3.1.

Area de Supercie S

Denicion 11 El rea de supericie de S parametrizada por la funcin : U R2 R3 se a o r dene como la siguiente integral doble

Area(S) =

r r dudv u v
r v dudv

(21)

dA =

r u

2.3.2.

Integral de Supercie

Denicion 12 La integral de supercie de una funcin f : D R3 R sobre S, parametrizada o por la funcin : U R2 R3 se representa por o r f dA = f ((u, v)) r r r dudv u v (22)

3.
3.1.

Integracin de Campos Vectoriales o

Integral de Trabajo

Denicion 13 La integral de trabajo de una funcin F : D R3 R3 sobre , parametrizada o por la funcin : [a, b] R R3 se representa por o r F d = r
b

F (( )) r

d r ( )d dt

(23)

3.2.

Campos Conservativos

Propiedad 2 F = = g

F d = 0 r

3.3.

Integral de Flujo

Denicion 14 La integral de ujo de una funcin F : D R3 R3 sobre S, parametrizada por o la funcin : U R2 R3 se representa por o r F ndA = F ((u, v)) ( r r r )(u, v)dudv u v (24)

4.
4.1.

Teoremas del Clculo Vectorial a

Teorema de la Divergencia

Denicion 15 Dada F : U R3 un campo vectorial de clase C 1 se dene la divergencia de F como divF = f1 f2 f3 + + x y z

(25) (26)

donde F = f1 + f2 + f3 k i j

Teorema 1 Sea R3 abierto acotado cuya frontera es una supercie regular por trozos orientado segn la normal exterior. Sea F : R3 un campo vectorial de clase C 1 tal que u = , entonces F ndA = divF dV (27)

4.2.

Divergencia en Coordenadas Curvil neas

1 hu hv hw (Fu hv hw ) + (hu Fv hw ) + (hu hv Fw ) u v w

divF =

(28)

4.3.

Teorema de Stokes

Denicion 16 Dada F : U R3 un campo vectorial de clase C 1 se dene el rotor de F como f3 f2 f1 f3 f2 f1 )i + ( )j + ( )k y z z x x y con F = f1 + f2 + f3 k i j

rotF = (

(29) (30)

4.4.

Rotor en Coordenadas Curvil neas

1 rotF = hu h v hw

hu u u hu Fu

hv v v hv Fv

hw w w hw Fw

(31)

Teorema 2 Sea S R3 una supercie regular por trozos cuyo borde2 = S es una curva cerrada, simple y regular por trozos. Sea F : R3 un campo vectorial de clase C 1 tal que S S con abierto, entonces
2 Ver

rotF ndA =

F d r

(32)

apunte

 se recorre en sentido antihorario con respecto a n (se satisface regla de la mano derecha). Propiedad 3 Si F es conservativo de clase C 1 (), con conexo = rotF = 0. Propiedad 4 Si F C 1 (), rotF = 0 y es un dominio apropiado3 = F es conservativo. divF = F F rotF = f = f

4.5.

Frmula de Green o Integracin por partes o o

Para las funciones f, g : R3 R y F : R3 R3 se cumplen las siguintes frmulas o Para el caso F = g, f gdV =
g n

f F dV =

f F ndA

f divF dV

(33)

f g ndA

f divgdV

(34)

Ahora utilizando la notacion

= g n y div(g) = g , g f dA n f gdV (35)

f gdV =

3 Ver

apunte

5.

Variable Compleja
Las deniciones de producto, inverso y mdulo en C no se darn por razones obvias. o a

5.1.
5.1.1.

Continuidad y Derivabilidad en C
Continuidad f : C C , con abierto , f (z) = u(x, y) + iv(x, y) y z = x + iy es continua en z0 (zn )nN C , con zn z0 , se tiene f (zn ) f (z0 ) u : R2 R y v : R2 R son continuas en (x0 , y0 )

5.1.2.

Derivabilidad f : C C con es abierto es derivable en z0 . Si l m

zz0

Si f es derivable en se dice que f es holomorfa en .

f (z) f (z0 ) = f (z0 ) existe. z z0

Propiedad 5 f es derivable en z0 = f es continua en z0

5.2.

Condiciones de Cauchy - Riemann

z = x + iy , f (z) = u(x, y) + iv(x, y), si f es derivable en x0 + iy0 = F es Frechet - Diferenciable en (x0 , y0 ) vista como f : R2 R2 y adems a u v (x0 , y0 ) = (x0 , y0 ) x y u v (x0 , y0 ) = (x0 , y0 ) y x Si f : C R holomorfa en tal que f (z) = u(x, y) + i 0 = f (z) = 0, lo cual indica que si es conexo, f = c, c R constante

5.3.

Series de Potencias

Denicion 17 El radio de convergencia de una serie de potencias s(z) se dene de la siguiente forma R= 1 l supk m k |ck |

(36)

La serie s(z) =
k=0 ck (z

a)k

converge en D(a, R) = {z C | |z a| < R} y es holomorfa en D(a, R).

5.4.

Funciones Hiperblicas o

cosh(z) = cosh(x) cos(y) + i sinh(x) sin(y)

(37)

sinh(z) = sinh(x) cos(y) + i cosh(x) sin(y)

(38)

cosh2 (z) sinh2 (x) = 1

(39)

cosh(z) =

k=0

z 2k (2k)!

(40)

sinh(z) =

k=0

z 2k+1 (2k + 1)!

(41)

5.5.

Funciones Trigonomtricas e

cos() =

ei + ei 2

(42)

sin() =

ei ei 2i

(43)

cos(z) = cosh(iz)

(44)

sin(z) =

1 sinh(iz) i

(45)

10

cos(z) =

k=0

(1)k

z 2k (2k)!

(46)

sin(z) =

k=0

(1)k

z 2k+1 (2k + 1)!

(47)

5.6.

Integracin en C o

La integracion en el cuerpo de los complejos no diere sustancialmente a la integracion en los reales, lo fundamental en esta seccin es no olvidar que todas las operaciones deben realizarse o cuidando de multiplicar en el sentido complejo y saber cuando es posible trasladarse a un problema de integracion equivalente en los reales y luego volver al problema complejo y aplicar algunas tcnicas. e Denicion 18 Sea f : C C continua. Sea C, con . La parametrizacion de es una funcin : [a, b] C con = ([a, b]). La integral de f sobre se dene mediante o

f (z)dz =

f ((t)) (t)dt

(48)

o equivalentemente

f (z)dz =

u v

d + i r x(t) y(t)

v u

d r

(49)

con d = r

dt.

Denicion 19 La primitiva F en =

C, k 0 C\{z0 }, k < 0

de una funcion f : C, con

f(z)=(z - z0 )k , con k = 1 esta denida por F(z)= 1 (z z0 )k+1 k+1

(50)

(51)

Corolario 1 Si s(z) =

k=0

ck (z z0 )k , con radio de convergencia R , entonces s(z)dz = 0 (52)

cerrado, D(z0 , R),

11

5.7.

Teorema de Cauchy-Goursat

Teorema 3 Sea C un abierto simplemente conexo4 y no vac Sea f H(). Entonces, para o. todo camino cerrado se tiene

f (z)dz = 0

(53)

Teorema 4 Sea C un abierto conexo. Consideremos f : \ {p1 , p2 , p3 , . . . , pn } C una funcin holomorfa en \ {p1 , p2 , p3 , . . . , pn }. Sea un camino cerrado simple recorrido en o sentido antihorario. Sea D la regin encerrada por . Supongamos que {p1 , p2 , p3 , . . . , pn } D o y escojamos > 0 tal que j = 1, . . . , n, D(pj , ) D y adems D(pj , ) D(pk , ) = si k = j. a Sea j (t) = pj + it , t [0, 2], entonces

f (z)dz =

n j=1

f (z)dz

(54)

5.8.

Frmula Integral de Cauchy o

Teorema 5 Sea f : C C continua en y holomorfa en \ {p} ,r < 0 y D(p, r) , entonces

z0 D(p, r), f (z0 ) = ,recorrida en sentido antihorario.

1 2i

D(p,r)

f (z) dz z z0

(55)

5.9.

Serie de Taylor

Teorema 6 Sea f : C C continua en abierto, holomorfa en \ {p}, r < 0 tal que D(p, r) , entonces

(ck )kN tal que, f(z)= ,con

k=0

ck (z p)k , z D(p, r)

(56)

ck =

f (k) 1 (p) = k! 2i

D(p,r)

f (w) dw (w p)k+1

Corolario 2 Sea f : C C continua en abierto, holomorfa en salvo en un nmero u nito de puntos = f es holomorfa en y f es de clase C en .
4 Ver

apunte para denicion de conjunto simplemente conexo.

12

6.

Residuos

Denicion 20 Un punto p C es un punto singular aislado si y solo si R > 0 tal que f H(D(p, R) \ {p}) pero f no es holomorfa en p. Denicion 21 Un punto singular aislado es evitable si y solo si

L0 (p) tal que L0 (p) = l zp f (z) m Denicion 22 Un punto singular aislado es polo de orden m si y solo si

m 1 (el menor entero), tal que Lm (p) = l zp (z p)m f (z) m Denicion 23 Un punto es polo simple si y solo si es polo con m = 1.

6.1.

Teorema de los residuos de Cauchy

Denicion 24 El residuo de una funcin f en un punto p se denota res(f, p) y se dene por o

1 res(f, p) = 2i (57)

f (z)dz

D(p,r)

res(f, p) =

g (m1) (p) (m 1)!

(z-p)m f (z) si z= p . Lm si z=p Esta frmula solo es util directamente cuando p es un polo simple, es decir m = 1, en cuyo caso o , donde g(z) =

res(f, p) = g(p) = Lm = l zp (z p)m f (z) m En el caso gnral, como g H() en particular, g (k) (z) es continua en , k 0 y en consecuencia

res(f, p) = l zp m

g (m1) (z) 1 d(m1) = l m [(z p)m f (z)] zp (m 1)! dz (m1) (m 1)! 13

Teorema 7 Sea f una funcin meromorfa5 en un abierto y sea P el conjunto de los polos de f. o Dado un camino cerrado simple que no pasa por los puntos en P, es decir, P = , el cual encirra una regin D , entonces D P es nito (o vacio), digamos D P = {p1 , . . . , pn } y si o esta recorrida en sentido antihorario entonces

f (z)dz = 2i

n j=1

res(f, pj )

(58)

Como ejemplo de aplicacin consideremos una funcion del tipo o es polo simple. Tenemos que

g(z) con g(p) = 0, h(p) = 0 y p h(z)

res(

g(z) g(p) , p) = h(z) h (p)

Otro ejemplo de aplicacin es la regla de LHopital para las funciones f, g H(), p , n 1, con o g(p) = = g (n1) (p) = 0 = g n (p), la cual esta caracterizada por

l zp m

f (z) = g(z)

no existe f (n) (p) g (n) (p)

f(k) (p) = 0, k {0, . . . , n 1} f(k) (p) = 0, k {0, . . . , n 1}

7.
7.1.

Evaluacin de Integrales o
Senos y Cosenos
Utilizando el cambio de variable z = ei , en las expresiones (42) y (43), obtenemos

sin =

z z 1 2i

(59)

cos =

z + z 1 2

(60)

5 Ver

apunte

14

7.2.

Integrales Impropias y Dominios no acotados

Denicion 25 Se llama semiplano superior de C al conjunto

H={z C | Im(z) 0} y su interior Int(H)={z C | Im(z) > 0} Teorema 8 Sea f meromorfa en C, P el conjunto de polos de f, f no tiene polos en R, P R = . Int(H) P es nito. K 0, M 0, p > 1 tal que | f (z) | entonces K , z H, | z | M . | z |p

(61) (62)

f (x)dx = 2i

zInt(H)P

res(f, z)

(63)

Corolario 3 Si p y q son polinomios primos entre s q no tiene ceros reales y grado(q) grado(p)+ , 2, entonces

p(x) dx = 2i q(x)

q(z)=0,Im(z)>0

p res( , z) q

(64)

Teorema 9 Sea f meromorfa en C, P el conjunto de polos de f, f tiene polos reales simples, P R es nito. Int(H) P es nito. K 0, M 0, p > 1 tal que | f (z) | entonces K , z H, | z | M . | z |p

f (x)dx = 2i

zInt(H)P

res(f, z) + i

s j=1

res(f, aj )

(65)

Corolario 4 Si p y q son polinomios primos entre s los ceros de q sobre R son simples y , grado(q) grado(p) + 2, entonces

p(x) dx = 2i q(x)

q(z)=0,Im(z)>0

p res( , z) + i q

q(a)=0,aR

p res( , a) q

(66)

15

Teorema 10 Sea f meromorfa en C, P el conjunto de polos de f, P R= . Int(H) P es nito. K 0, M 0, p > 1 tal que | f (z) | entonces K , z H, | z | M . | z |p

l m

f (z)eisz dz = 0

(67)

cR

,luego

f (x)eisx dx = 2i

wInt(H)P

res(f (z)eisz , w)

(68)

Corolario 5 Si p y q son polinomios primos entre s q no tiene ceros sobre R y grado(q) , grado(p) + 1, entonces

s > 0,

p(x) isx e dx = 2i q(x)

q(w)=0,Im(w)>0

res(

p(z) isz e , w) q(z)

(69)

Teorema 11 Sea f meromorfa en C, P el conjunto de polos de f, f tiene polos reales simples, P R es nito. Int(H) P es nito. K 0, M 0, p > 1 tal que | f (z) | entonces K , z H, | z | M . | z |p

s > 0,

f (x)eisx dx = 2i

wInt(H)P

res(f (z)eisz , w) + i

s j=1

res(f (z)eisz , aj )

(70)

Corolario 6 Si p y q son polinomios primos entre s los ceros de q sobre R son simples y , grado(q) grado(p) + 1, entonces

s > 0,

p(x) isx e dx = 2i q(x)

q(w)=0,Im(w)>0

res(

p(z) isz e , z) + i q(z)

q(a)=0,aR

res(

p(z) isz e , a) q(z)

(71)

16

8.
8.1.

Mtodos de resolucin de EDP e o

Separacin de variables o

u(x, t) = (x) T (t) Reemplazar en EDP. Aplicar C.B. y estudiar la constante . Principio de Superposicin, v(x, t) = o
N

(72)

(73)

(74)

Ak k (x, t)

(75)

k=N

Equivale a v(x, t) =
N

Ak k (x, t)

(76)

k=1

Aplicar Condiciones Iniciales (77)

8.2.

Series de Fourier

Sea f : [, ] R, podemos escribir su desarrollo en series de Fourier como

f (x) =

a0 nx nx ) + bn sin( ) + an cos( 2 n=1

(78)

La forma compleja de la serie de Fourier es la siguiente

f (x) =

k=

ikx ck e

(79)

17

a0 k=0 2 1 (ak ibk ) k>0 . con ck = 2 1 (ak + ibk ) k < 0 2 Los coecientes se obtienen de la siguiente forma

ck0 y los coecientes reales,

1 = 2

ik0 x f (x)e dx

(80)

1 an =

f () cos(

n )d

(81)

bn =

f () sin(

n )d

(82)

8.3.

Denicion 26 Sea f : R C integrable ( | f (x) | dx < +), entonces la transformada de Fourier de f es 1 T (f )(s) = f (s) = 2

Transformada de Fourier

f (y)eiys dy

(83)

La antitransformada de una funcion f integrable es

1 (f )(x) = f (s) = 2

g(s)eixs ds

(84)

Teorema 12 Sea f integrable, f integrable y f continua , entonces f (x) = T 1 (T (f ))(x) = f (x) 8.3.1. Propiedades T, T 1 son lineales. Corolario 7 Sean f y g continuas e integrables, tenemos que f (s) = isf (s) (85)

f = g = f = g 18

(86)

8.3.2.

Teorema de Convolucin o

(f g)(x) = como consecuencia ,

f (y)g(x y)dy

(87)

(f g)(s) = 8.3.3. Propiedades

g 2 f (s)(s)

(88)

a = 0, g(x) = f (ax), f integrable, entonces g (s) =

1 s f( ) |a| a

(89)

T (f (x x0 ))(s) = eisx0 T (f )(s)

(90)

T (eis0 x f (x))(s) = T (f )(s s0 )

(91)

T (f (x) cos(w0 x))(s) =

1 [f (s w0 ) + f (s + w0 )] 2 1 [f (s w0 ) f (s + w0 )] 2i

(92)

T (f (x) sin(w0 x))(s) =

(93)

Oscar Peredo <operedo@ing.uchile.cl>

19