Resumen Matemtica 4 Funciones Analticas

Sucesiones numricas Series numricas

Sucesin: Una sucesin es una funcin f :. Se nota (zn)n 1 zn Series y Convergencia: Sea zn en , la sucesin Sk= k z n es una n=1 Sucesin acotada: zn acotada si R / zn D(0,R) (o |zn| < R n) sucesin de sumas parciales. Si S / lmk Sk = S, decimos que la serie Lmite: zn tiene lmite z (o zn converge a z, o znz) si >0 n0 z n zn converge. Si Sk no tiene lmite, la serie zn diverge.. n=1 / |zn - z| < n>n0. zn z (en ) |zn - z |0 (en ). Si zn = xn+i yn y Si zn = xn+i yn y S= x+i y znS xn x y yn y z=x+i y, zn z xnx y yny. Estudiar una sucesin en es equivalente Si la serie zn converge zn0. a estudiar dos suceciones en . Si zn es convergente es acotada. Si zn es Convergencia absoluta: zn es absolutamente convergente si |zn| acotada tiene una subsucesin convergente. converge. Si zn converge pero |zn| no, zn es condicionalmente Sucesin de Cauchy. zn es una sucesin de Cauchy si >0 n0 / | convergente. Si zn es absolutamente convergente es convergente. zn - zm| < n, m>n0. Si es de Cauchy es convergente. Crit. de convergencia de sucesiones numricas Criterios de convergencia de series numricas Convergencia absoluta: Si |zn|0 zn 0 Convergencia absoluta: Si |zn| converge zn converge. Criterio de D'Alembert: Si lim n
a n+ 1 an

= an 0 si Criterio de D'Alembert: Si lim n

=1 el criterio no decide.

a n+ 1 an

= an converge si <1, diverge si >1. Si

<1, |an | si >1. Si =1 el criterio no decide. Criterio de la raz de Cauchy: Si lim n n a n= an 0 si <1, |an | si >1. Si =1 no decide. Cero por acotado: Si an0 y bn es una sucesin acotada an bn 0 (an, bn )

Criterio de la raz de Cauchy:Si lim n n a n= an converge si <1, diverge si >1. Si =1 el criterio no decide. Criterio de la integral: Si para x 1 f (x) es funcin integrable, montona decreciente, no negativa / f (n)=an, n an y f (x )dx convergen o divergen a la vez. 1

Criterio del sandwich: Si para n > n0 , bn an cn , Criterios de comparacin: Si an, bn 0, y k >0 indepe. de n / an < k bn n>N, si bn y bn,cn l an l (an, bn , cn ) converge an converge. Si k' >0 / an > k' bn n>N, si bn diverge an diverge Series especiales Criterio de Abel: Si bn es montona decreciente y >0, si an converge an bn converge n Criterio de Dirichlet: zn y n . Si n decreciente, >0 y n 0, y | N z n| < k 1 n=1 Armnica: Sn= p converge si p > 1, si no diverge. n =0 n n (tiene sumas parciales acotadas) n zn es convergente. Geomtrica: Sn = rn converge si |r| < 1, si no diverge. Criterio de comparacin por paso al lmite: Sean an, bn > 0 n > N, si limn an /bn=L. Si 0 < L < +, an y bn ambas convergen o divergen juntas. Telescpica: Sn = an - an-1 Si L=0 y bn converge an converge. Si L= y bn diverge an diverge.

Sucesiones de funciones
Sucesin de funciones: n fn (funcin en ) fn: A. El conjunto (fn)n 1 es una sucecin de funciones. Se nota fn. Para cada z fijo, fn es una sucesin numrica y puedo analizar su convergencia.

Series de funciones

Serie de funciones: Sk(z)= k f n (z ) es una sucesin se sumas parciales. Sk n=1 es una sucesin de funciones. Para cada z fijo, f n (z ) fn (z) es una n=1 serie numrica. Convergencia puntual. fn converge puntualmente a f en A (fn f ) si Sean fn, S: A, la serie fn converge puntualmente a S en A si la fn(z) f (z) z A. sucesin Sk(z) converge puntualmente a S en A. Convergencia uniforme. fn converge uniformemente a f en A (fn f ) si La serie fn converge uniformemente a S en A (fn S) si la sucesin Sk(z) >0, n0() (que depende de y no del punto z) / | fn (z) - f (z) | < converge uniformemente a S en A. n n0 y zA. El grfico de fn se mete en un entorno de ancho Criterio de de Weierstrass o de las mayorantes: Sean fn: A. Si: alrededor del grfico de f n n0. Si las fn son continuas n f i) Mn > 0 / |fn (z)| Mn n , z A y ii) Mn es convergente es continua en A. fn(z) converge absoluta y uniformemente en A. Funciones z= x+i y = re i e i z +e i z e i z e i z e z +ez e z ez log(z) = ln r + i arg (z) c sen(z) = cosh(z) = sinh(z) = z = e c log z z = e x (cos y + i sin y) cos(z) = bsicas en : e Log(z) = ln r + i Arg (z) 2 2i 2 2

Series de Potencias
Series de potencias: Series de la forma n=0 a n ( z z0 ) con (an)n 0 y z0 (fn (z)= an (z-z0)n ) Radio de convergencia: R / 0 R + que cumple: si |z-z0 | < R an+ 1 n Clculo de R: Si l= lim sup{a n} (o l= lim sup { a }) (l es el supremo si |z-z0 | > R n n n si r < R n del lmite de todas las subsucesiones de a n ) R=1/l . si |z-z0 | = R

r
Conv. unif.

R
?

converge absolutamente diverge converge uniformemente en D(z0, r) No se puede asegurar nada

z0
Conv. abs. Diverge

Teoremas de series de potencias: Sea f (z)= an (z z 0 )n con radio de conv. R f (z) define una funcin continua, holomorfa en D(z0, R). Adems, n=1 f '(z)= n a n (z z 0) n 1 con mismo R. f (z) tiene derivada en todos los rdenes en D(z0, R) y se tiene
n =1 n =0

f ( n) ( z 0) n ( z z 0) en D(z0, R) (serie de Taylor). n!

Ejemplo: Convergencia de 1ro estudio conv. absoluta:

n=o n=o

1 (3 z2i ) 1 1 n . Defino w=(3z-2i). an = n 3 . Calculo lim a n=lim n n 3 = R=4. Analizo en borde (|w|=4): 3 4 n n 4 n+1 4 n+1 4 n n+1 n w 1 n = 3 n+1 , diverge (utilizo criterio de paso al lmite, divido por 1/n y lim n+1 = y bn diverge an 3 n3 n 4 n+1 w=4 n=o

diverge). 2do estudio conv. condicional. Utilizo criterio de Dirichlet: n = tiene sumas parciales acotadas (s.p.a.):k zn= n=0 Series importantes:

1
3

1z k+ 1 1z

n+1

y zn=( 4 ) = zn con z= 4 . n >0, decreciente y n0. Analizo si zn

3

w n

1+zk +1 1 z

converge cond. en |w|=4 y w 4, en w=4 diverge. En trminos de z:R=4/3, z0=2/3 i. En borde diverge en z = 4/3+2/3 i. 1 1 zn (-1)n z 2n (- 1)n z2 n+1 = z n si z<1 = (-1)n z n si z<1 e z= cos z = sin z= 1 z n=0 1+z n=0 n=0 n ! n=0 (2 n)! n=0 (2 n+1)!
Por A. Frenkel, 2012 CC - BY - NC

2 1 =1 z tiene s.p.a. z 1 w 4. Si w=4, o n+1 diverge en borde n=

k

z n=
n=0

1z k + 1 1 z

z n=
n=1

z zk + 1 1 z

Resumen Matemtica 4

UBA - FCEN - Pgina 1

Derivacin en
Derivada: Sea f: A, la derivada de f en z, si existe es f ' (z )=lim
h0

f ( z +h) f (z ) con h y f ' . h

Condiciones de Cauchy-Riemann: Sea f: A, f (x,y)= u(x,y) +i v(x,y). f es derivable en z0 u, v son diferenciables en (x0, y0) y adems verifican x = y ux = vy y y =- x uy = -vx (todo evaluado en (x0, y0)). y son las condiciones de Cauchy Riemann (C.R.). Funcin holomorfa: f : es holomorfa en z0 si r > 0 / f es derivable en D(z0, r). Es holomorfa en A si es holomorfa en z zA. 2 Holomorfa u,v armnicas: Sea f: A holomorfa en A u y v son funciones armnicas en A (u,v laplaciano de u=u= uxx + uyy = v =0). , 2, armnicas que satisfacen C.R. v es la armnica conjugada de u. Si Armnica conjugada. Sea f :A , A abierto. f = u + i v, con u, v de clase (u,v) es un par ordenado de conjugadas armnicas (v, -u) es otro par ordenado de conjugadas armnicas. Propiedades de las derivadas: Si f = u + i v, f y g derivables en z0 y c u y v son diferenciables en (x0, y0) f ' =u x +i v x=v y i u y f continua en z0 (c.f )'= c f ' (f+g)' = f ' + g' (f g)'=f 'g + f g' (f /g)'= (f ' g - f g' )/g2 Funcin entera: Si f viene dada por f (z)= an (z z 0 )n con radio de convergencia f es una funcin entera (equivale a holomorfa en ). n=0 Funcin analtica: Sea f :A, si f se puede representar como f (z)= an (z z0 )n en |z- z0|< con 0<<R f es analtica en z0, y es analitica en n=0 A si es analtica en z zA. f es analtica en A f es holomorfa en A.
u v u v

Integracin en
Integrales de f (t): Sea f:[a,b], f (t)=u(t) + i v (t) con f, u, v continuas

f (t) dt=a u(t )dt +i a v(t) dt

b
+

Integrales de f (z): Se definen sobre curvas. Sea f: A, :[a,b] parametriza curva

( f (z )+ g (z ))dz = - f = + f

f ( z) dz + g( z)dz

f dz =a f dz

f (z )dz=a f ( (t) )' (t )dt . Propiedades: b a b m b si = + =1 +2 a f =b f si m (a,b) a f =a f +m f b b f (z )dzmax (f (z )) long. a f (t)dt a f (t )dt
1 2

Equivalencias en integrales complejas: Sea f:A, A abierto convexo, f continua son equivalentes: i) f =0 ii) dados z1, z2 y A, une z1 y z2, f solo depende de z1 y z2
z2
1

iii) F:A holomorfa / F' = f en A

Regla de Barrow: Sea f:A, A ab. convexo, f continua. Si F holomorfa en A / F'(z) = f (z) en A z f (z )dz=F (z 2) F ( z1 ) (z1, z2 A) Integrales y convergencia uniforme: Sean fn, f : A, f continua en A. Si fn f en A lim f n dz= f dz
n

Teorema de Cauchy-Goursat (C-G): Sea A ab. convexo, f holomorfa en A, A curva cerrada simple con (interior de )A Frmulas de Cauchy y generalizada de Cauchy: Sea A ab. convexo, f holomorfa en A, A curva cerrada simple con A, z0 A f (z0 )= 1 2 i

f (z )dz=0 f (w)
0

w z
+

f (w)
0

dw y f (n)( z 0 )= 2-

n! 2 i

(w z )n+ 1 dw
+

+ Cauchy-Goursat en regiones conexas: Sea = r +l 1 + 1 +l 1 +l 2 + 2 +l 2 , f holomorfa sobre y en la regin interior a R y exterior a 1 y 1 (rayada) f =0 f = f + f . Corolario: Sean C1 dentro de C2 , ambas curvas R+ 1 + 2 +

l2

1l1

cerradas simples, si f es holomorfa en la regin entre C1 y C2

n

C1+

f = f
C2+

f (n) ( z ) . R es la distancia desde z0 hasta la singularidad ms cercana. n! n=0 Teorema de Taylor: Sea A abierto convexo, f holomorfa en A f es analtica en A. La serie de Taylor de f centrada en z0A converge a f en cada disco D(z0,R) A. Esta propiedad es exclusiva de variable compleja, no es vlida en . Corolario: f es holomorfa a A f es analtica en A Serie de Taylor de f centrada en z0: f (z)= a n (z z 0 ) , con a n =
z z 1 1 Ejemplos: Taylor de ( z+1)3 en z0=0: Taylor en z0=0 de z +1 = (-1)n zn . Por conv. uniforme derivo Taylor de z e en z0=-1: z e = n=0 z +1-1 = e -1[(z+1) e z+1 - e z+1] = (z+1-1) e '' 2 1 1 1 1 1 dentro de la suma: 1 = = n=2 (- 1)n n (n1) z n2 = n =0 (- 1)n (n +2)( n+1) z n z e z = e [1+ ( (n1)! n! )( z +1)n ] 3 n=1 z +1 ( z+1)3 2 (z +1)

( )

Estimaciones de Cauchy. Sea f holomorfa en D(z0, R) y M / | f (z)| M en D(z0, R) f

(n)

( z 0 ) n! M . Rn

Teorema de Liouville: Sea f: holomorfa y acotada f es constante en . 1 2 Teorema del valor medio: Sea f holomorfa en D(z0, R), 0 < r <R f (z0 )= 0 f (z 0 +r ei t) dt (valor en centro = valor prom. sobre el crculo). 2 Principio del mdulo mximo: Sea A ab. conexo, f holomorfa en A. Si z0 A/ | f (z0)| | f (z)| zA f (z)=f (z0) zA (f cte. en A). Si A es ab. conexo y acotado, f holomorfa en A y continua en A | f | alcanza su mximo en A (mx |f | en A = mx |f | en A), a menos que f sea cte. Teorema de Morera: (inverso del teo de C-G) Sea A ab. conexo, f continua en A y curva cerrada A, f =0 f es holomorfa en A. Desarrollo de Laurent: Sea f holomorfa en R1 < |z- z0| < R2 (en anillo) f tiene un desarrollo nico de la forma: 1 f (w)dw n f (z) = a n ( z z0 ) , con a n = . Otra notacin: 2 i (w z 0 )n+ 1 n=- Cr 1 f (w)dw 1 f (w) dw n -n f(z) = a n (z z 0 ) + a -n ( z z0 ) con a n = 2 i (w z 0)n+1 y a- n= 2 i (w z0 )- n+1 . n=0 n=1 Cr Cr n0 n1
Parte singular o principal

R1

z2
Taylor

z1
Laurent

En R1 < |z- z0| < R2 convervencia absoluta, y en R1 < r1 < |z- z0| < r2 <R2 convergencia uniforme. Ejemplo. Laurent sobre z0=0 para z / 1 < |z| < 2 :
1 1 = f(z)= ( z1)( z2) (fracc. simples) z 1 1 z 1 1 z 2 1 = z(11/ z ) = 1 z 1 = 2 z 1 1 1 1 = 11 / z 1/ z<1 z 1 = z /2<1 2

R2

Laurent

1 z 2

( 1 ) n = n=0 z n=0
z 2 n+1
n

1 z n+1

Para desarrollar x ej. centrado en z0=1, defino u=z-1

= 2 1 z /2

( z )n = n=0 2 n=0

f(z)=
n=0

1 z
n +1

n=0

zn 2n+1

Resumen Matemtica 4

Por A. Frenkel, 2012 CC - BY - NC

UBA - FCEN - Pgina 2

Singularidades Singularidad no aisalda Singularidad aislada Singularidad evitable Polo de orden p Singularidad esencial

Sea f :, z0 es una singularidad (o punto singular) de f si f no es holomorfa en z0. z0 es una singularidad no aislada de f si R>0 / f es holomorfa en 0 < |z-z0|< R z0 es una singularidad aislada de f si R>0 / f es holomorfa en 0 < |z-z0|< R i) No hay potencias negativas en Laurent ( n 1, a -n =0) ii) limz z0 f (z)= w0 i) Hay finitas potencias negativas ( p 1 / a -p 0 y a -n=0 n > p ) ii) limz z0 |f (z)|= + iii) La funcin 1/f extendida por 0 en z0 es holomorfa en z0 (1/f tiene un cero en z0) i) Hay potencias negativas en Laurent ( n 1 / a -n 0) ii) limz z0 f (z)

Ceros de una funcin: Sea f holomorfa en z0, f (z0) = 0, y f 0. z0 es un cero de f de orden k si f (z0) = 0, f '(z0) = 0,, f (k-1)(z0) = 0 y f (k)(z0) 0. Relacin entre polos y ceros: z0 es un polo de f de orden k z0 es un cero de 1/f de orden k Funcin meromorfa : Funcin analtica en salvo por un nmero finito de polos.
Singularidades en el

Estudiar el comportamiento de f (z) en |z| grande es similar a estudiar f (1/w) en |w| chico. Al conjunto U el punto se lo nota . f es holomorfa en el si F(z) = f (1/z) es holomorfa en z=0. f tiene una singularidad (no) aislada en el si F(z) = f (1/z) (no) tiene una singularidad aislada en z=0. f tiene una singularidad evitable, polo o singularidad esencial en el , si F(z) = f (1/z) tiene tiene una singularidad evitable, polo o singularidad esencial en z=0. Una singularidad evitable en el no necesariamente tiene residuo igual a 0. Mtodos para encontrar orden de un polo: Multiplicar por (z-z0 )m: z0 es un polo de f de orden m lim zz0 (z-z0)m f (z)=w 0. Probar con ms hasta encontrar w 0. Evaluar ceros de 1/f y analizar su orden. Residuos Sea z0 una singularidad aislada de f (z), y sea

Mtodos para calcular residuos

Singularidades esenciales: Polo simple: Res[f, z0]=lim zz0 (z-z0) f (z) g ( p)( z ) Obtener a -1 de Laurent en z0 a n (z z0 ) la serie de Laurent de f centrada en z0, el Obtener los otros residuos (incl. ) Polo orden (p+1): Res[f, z0]=lim zz0 p! 0 con n=- g (z) = f (z) (z-z0) p+1 residuo de f en z0 es el valor del coeficiente a -1. Notamos y sacar por diferencia
n

Res[f, z0]. Equivale a

1 f (w) dw . 2 i Cr +

Residuos en el : Res[ f, ]= - Res[

1 z2

f ( 1 ), 0] z
f f ( z0 )
0

Truco para calcular residuo en polo simple: si f, g holomorfas en z0, f (z0) 0 y g tiene cero simple en z0 Res [ g , z 0]= g ' ( z ) = lim z z Teorema de los residuos: Sea A ab. conexo, f (z) holomorfa en A salvo un nro. finito de singularidades aisladas. Sea A curva cerrada simple / A, y no pasa por ninguna singularidad. Sean {z1, z2,, zn} las singularidades de
+

(z z 0) f ( z) g ( z ) g (z 0 )

z1

z2 z3

z4

f (z )dz =2i j =1 Res[ f , z j ]

Corolario: residuos en = 0

Clculo de integrales impropias Sea f : integrable en . Si i) se puede extender f a / f (z) es holomorfa en Im(z) 0 salvo un nro. finito de singularidades {z1, z2,, zn} en Im(z) >0 ( ), y si ii) lm |z| z f (z) = 0 (para Im(z)>0)

- f (x )dx=2 i k =1 Res[ f ( z ), z k ]
g ( z) z z 0

Frmula de Cauchy generalizada: Sea z0 polo de f, f (z) = +

g( z )dz zz 0

con g holomorfa y g(z0) 0. Sea (t)=r e it+z0, t(1,2). Si r0

R

= (2-1) i g(z0)=(2-1) i Res[f, z0] (Sirve para clculo de integrales impropias cuando la singularidad est sobre el eje ) - f (x )dx= lim 0 f (x )dx+ lim - N f ( x)dx
M N M 0

Definiciones de integrales en :

Valor principal VP = lim

-R R+

f (x )dx

Si y =. Puede y

Series de Fourier y Transformadas de Fourier y Laplace

Series de Fourier
Convergencia puntual: Sean fn, f :[a,b] , fn converge puntualmente a f (fn f ) en [a,b] si limn fn (x) = f (x) x [a,b] Convergencia uniforme: fn converge uniformemente a f (fn f ) en [a,b] si > 0 n0 () / | fn (x) - f (x) | < n n0 y x [a,b]
b
n

Convergencia media cuadrtica: fn converge a f en media cuadrtica en [a,b] si lim a ( f n (t ) f (t))2 dt =0 (similar a limn || fn - f ||2 =0) [-1,1] f 2-peridicas { 12 ,cos(n x) ,sin(n x)} n 1 2-peridicas [- , ] f 2p-peridicas [-p , p] f
1 { 2 p , cos( np x / p) , sin( npx / p) } n 1
a0 n n + [ a cos( x)+b n cos( x)] 2 n=1 n p p

Base Trig f Trig coef.

{ 1 , cos(n x ) , sin(n x) }n 1 2

a0 + [ a cos(n x)+b n cos(n x)] 2 n=1 n

a0 + [ a cos(n x )+bn cos(n x)] 2 n=1 n

a n = f (x ) cos(n x) dt sin bn - 1

a n = 1 f (x) cos (n x )dx sin b n -

n=-

a n = 1 f (x) cos ( n x) dx sin p bn p - p 1 -i n x / p dx f~ c n e i n x/ p con c n= f ( x)e 2p

-p
p

Exp

1 1 -i n x dx f~ c n e i n x con c n= f ( x)e -i n x dx f~ c n e i n x con c n= f (x)e 2 - 2 - n=- n=-

Relacin entre coeficientes trigonomtricos y exponenciales: a0=2 c0, an=cn+c-n, bn=i (cn-c-n) Producto interno entre funciones: f , g=p f (t) g(t )dt p Igualdad de Parseval: f ( x) 2 dx=
-p

a0 2 2 2 + [a +b n ] 2 n =1 n

Teorema de completitud: Sea (n) un sistema ortonormal [a,b] ( f , g=b f (t) g (t )dt ). (n) es un sistema ortonormal completo si f / a b f (t )2 dt<+ se cumple que lim n b ( f c n n )2 dt =0 con c n =b f (t )n (t )dt (la serie de Fourier de f converge a f en media cuadrtica). Si a a n=1 a (n) es un sistema ortonormal completo es una base para un espacio de dimensin . Continuidad a trozos: f : es continua a trozos si para cada x , los lmites: f (x+0)=lmt0+ f (x+t) y f (x-0)=lmt0+ f (x-t) existen y son finitos, y si f tiene a lo sumo finitas discontinuidades en cada intervalo acotado. f ( x+ t ) f (x + 0) f ( x+ t ) f (x 0) Derivadas laterales: f : tiene derivadas laterales en x si los lm. f ' (x+0)=lim t 0 + y f ' (x-0)=lim t 0 + y son finitos. t t
Resumen Matemtica 4 Por A. Frenkel, 2012 CC - BY - NC UBA - FCEN - Pgina 3

Teorema de convergencia puntual de series de Fourier: Sea f: , 2-peridica y continua a trozos la serie de Fourier de f cumple que N a f ( x+0)+ f (x0) lim 0 + n=1 [a n cos(n x)+b n cos(n x)]= para cada x donde las derivadas laterales de f existan. 2 N 2 Teorema de convergencia uniforme de series de Fourier: Sea f: , 2-peridica, continua, con derivas laterales finitas x y con f ' continua a trozos la serie de Fourier de f converge uniformemente a f en todo . Adems, la convergencia es absoluta. Series de Fourier de f ': Slo cuando hay convergencia unif., la serie de Fourier de f ' se obtiene derivando trmino a trmino la serie de Fourier de f. Lema de Riemann Lebesgue: Sea f:[-1,1] acotada e integrable, los coef. de Fourier de f 0 (lim 1 f (t) cosn t dt =lim 1 f (t ) sin n t dt=0).
n n

Paridad:

Par: f (x) = f (-x)

Impar: f (x) = -f(-x)

ParPar= Par
M

Transformada de Fourier
Absolutamente integrable ( L1): Sea f : . f es integrable en si lim (se nota f L1() ) si | f | es integrable: si f ( x)dx < + . L,M

-L f ( x)dx =- f (x )dx existe y es finito. f es absolutamente integrable

ImparImpar= Par
1

ParImpar= Impar
1

1/(Im)par=(Im)par

f Transformada de Fourier: Sea f: L1(). Se define Transformada de Fourier de f a : ( f )(s)= ( s)=- f ( x)e -i x s dx para cada s . 1 Antitransformada de Fourier: Se define Antitransformada de Fourier de f a: ( f )(x )= (x )= f f (s )e i s x ds. 2 - Teorema de inversin de Tranformadas de Fourier: Sea f : L1(), f continua a trozos. En cada x donde las derivadas laterales de f, se tiene f ( x+0)+ f ( x 0) 1 isx f f = VP ( s)e ds. Si adems f es continua y derivadas laterales x , y si L1() f (x)= ( )(x )= ( ( f ))( x). f
2 2
-

Igualdad de Plancherel: Si f L2() - f ( x)2 dx= i) Simtrica: (fg) (x) = (gf ) (x) y ii) (fg) L1().
Propiedades de la Transformada de Fourier

1 f ( x)2 dx. (~ al teorema de Parseval en series de Fourier). 2 -

Convolucin: Sean f, g L1(), al menos una de ellas acotada, al convolucin de f y g se define: ( f g)(x)=- f (x y) g( y )dy . Propiedades: En todas f, g L1() 1, f f ' L1() t f (t) L1()

a,b Transformada de derivada de f: (f ' ) (s) = i s (s) f d Derivada de transformada: ds f (s) = -i (x f (x )) (s) Si f : (f ) (-s) = (f ) (s) f f Conservacin de paridad: f par par. f impar impar Doble transformada: ( (f ))(s) = (s) = 2 f (-s) f f Transformada de convolucin: (f g) (s) = (s) g (s) f Linealidad: (a f +b g) (s)=a (s) + b g (s)
Tabla de Transformadas de Fourier

f (x) e -|x|
1 1+ x 2

(f ) (s)
2 1+ s2

Param. z n +0 a>0 a

f (x) f (x+a) f (ax+b) xn f (x) f (n)(x)

(f ) (s) f e i a s (s) 1 i b s /a s e f( ) a a f i n (n) (s) f (i s)n (s)

Param. a a,b a0 n n

f (x) f (x) sen(a x) f (x) cos(a x)

(f ) (s)
( sa) (s+a) f f 2i f ( sa)+ f ( s+a) 2

Param. a a

e -|s|
2

e- a x

ae

- s /4 a

e i a x f (x)

(s-a) f

{1,x1 0,x>1

sin(s ) s

Transformada de Laplace
Funcin de orden exponencial: f :[0, +) es de orden exponencial si k 0 y a / | f (t) | k e a t t 0
-s t Transformada de Laplace: Sea f :[0, +). La transformada de Laplace de f es ( f )(s )=0 f (t )e dt para los s donde est bien definida. Si f

es de orden exponencial (| f (t) | k e a t para algn a) (f) (s) est bien definida para los s > a
-z t Teorema de inversin de Laplace: Sea f:[0, +], de orden exponencial, continua a trozos. Sea F (z): 0 f (t )e dt z,

M a -M

s+iM s s-iM

Re(z)> a. Fijando s > a para cada x 0 donde f tenga der. lat. se cumple: Convolucin en Laplace: Se define como ( f g)(x)=0 f ( x y) g ( y)dy
Propiedades de la Transformada de Laplace
x

f (x +0)+ f (x0) 1 = lim F ( z )e z x dz 2 M 2 i si M

s+ i M

En todas f, g: [0, +) de orden exponencial a,b Derivadas de f: Si f ' bien definida y continua a trozos (f ' )(s) = s (f )(s)- f(0) c s >a. En gral. (f (n)) (s) = sn (f ) (s) - sn-1f (0) - sn-2f '(0) - - f (n-1)(0)
d ds

Linealidad: (a f +b g) (s)=a (f ) (s) + b (g) (s) Corrimiento: (e c t f (t)) (s)= (f ) (s-c)

Transformada de convolucin: (f g)(s) = (f )(s) (g)(s) Derivada de (f ):

Tabla de Transformadas de Laplace

(f )(s) = - (t f (t )) (s) f (t) tn f (t) (-1)n (f ) (s) ( (f ))(n) (s)

|t f (t)| k e t, t >0, s >a Param. u c (t)= 1, tc 0,t <c

f (t) ezt tn sen(a t) cos(a t)

(f ) (s) Dominio
1 sz n! s n+1 a s 2+a 2 s s 2+a 2

Param. z n +0 a a

f (t)
1 t

(f ) (s)

Dom. Param. s>0 s>0 c>0 c>0 p > -1

t 0

s > Re(z) s>0 s>0 s>0

uc (t)

c s

e a t f (t) f (a t)

(f ) (s - a)
1 a 1 s

a a>0

uc (t ) f (t ) e- c s (f ) (s) tp
1 s p+1

( f )( s ) a ( f )(s )

( p+1)

f ( x)dx

( z)=0 z 1 e- d

Resumen Matemtica 4

Por A. Frenkel, 2012 CC - BY - NC

UBA - FCEN - Pgina 4

Apndice - Demostraciones
Absolutamente convergente convergente: Sea zn absolutamente convergente zn es convergente.
Demo: SK =

Si fn son continuas y convergen unif. a f f es continua: Sean fn :A continuas en A n / fn f f es continua en A. Demo: Q.v.q. lim f(z)= f(z0). Fijo z0A y dado > 0 busco > 0 / si |z-z0| < |f (z)- f (z0)| < . f ( z) f (z 0 ) f (z ) f n0 ( z)+ f n0 (z ) f n0 (z 0 )+ f n0 ( z 0 ) f ( z0 ). Cauchy S m S k< m,k n0 Sk es de Cauchy Sk es convergente. Como fn f, dado > 0 n0 / |fn(z)-f (z)| < /3 (A) y (C) < /3. Como fn es continua, dado > 0 > 0 / si |z-z0| < |fn0 (z) - fn0 (z0)| < /3 (B) Criterio de de Weierstrass: Sean fn: A y Mn >0 / |fn(z)| Mn n , zA. Si Mn converge fn(z) converge abs. y unif. en A. Demo: i) Convergencia absoluta: Por hiptesis |fn(z)| Mn y Mn converge por criterio de comparacin de series de >0, |fn| converge. ii) Convergencia uniforme: Fijado zA, fn(z) es abs. convergente y por lo tanto convergente. Es decir, S ( z)=lim k k f n (z )=limk S k (z ). n=1 Fijamos zA k y |Sk (z) - S(z)| = |Sk (z) - limm Sm(z)| = |limm (Sk (z) - Sm (z))| = limm |Sm (z) - Sk (z)|. Por otro lado, |Sm (z) - Sk (z)|=
z z 0 (A) (B) (C)

zn, S K = z n. Elijo m > k.S mS k= z n z n = n1 z n n1zn= z nz n=Sm S k =Sm Sk< m,k n n 1 n 1 k k n 1 n 1

n=1 n=1
= = = + = + = =

porque Sk es de

f n( z) f n( z) =
n=1 n=1

n=k + 1

f n (z )

n=k + 1

f n (z )

n=k + 1

M n = M n M n |Sk (z) - S(z)| lim

n=1 n=1

M n M n = M n M n < k>k
n=1 n=1 n=1 n=1

Lema de Abel: Sea r0 > 0 / |an| r0n < M n (es acotado) an (z-z0)n converge abs. y unif. en D(z0, r) r < r0. Demo: Q.v.q. si fn(z) = an (z-z0)n , fn converge unif. Fijo r < r0 y miro z / |z-z0| r. |fn (z)| = |an (z-z0)n| = |an | |z-z0|n |an| rn = |an| (r/r0)n r0n M (r/r0)n. Aplico Weierstrass con Mn = M (r/r0)n. Mn <+ (serie geomtrica con p=r/r0 <1) y |fn (z)| Mn an (z-z0)n converge abs. y unif. en D(z0, r) Convergencia de series de potencias: Demo: Sea R= supremo del conjunto B:{r 0 / |an |rn es convergente}. i) Convergencia abs. y unif: Sea r < R r0 /r <r0 < R |an| r0n es convergente M>0 / |an | r0n < M (est acotado) por Abel, an (z-z0)n converge abs. y unif. en D(z0, r). ii) Convergencia abs: Sea z / |z-z0| < R, r / |z-z0| r < R por i) an (z-z0)n converge abs. iii) Divergencia: Supongamos que si |z- z0|>R la serie converge z1/ |z1-z0 | >R y / an (z1-z0)n converge M>0 / |an | |z1-z0|n < M (es acotado). Por Lema de Abel, tomo r / R < r < r0 = |z1-z0| an (z-z0)n converge abs. y unif. en D(z0, r). Si z2 / |z2-z0| = r, |an| |z2-z0|n converge, es decir |an |rn converge con r > R, contradiciendo que R es supremo de B absurdo diverge. Diferenciacin de Series: Sea f (z) = an (z-z0)n con radio=R f (z) es holomorfa en D(z0,R), f '(z) tiene el mismo R y f '(z)= n an (z-z0)n-1 en D(z0, R). Demo: Sea F(w)=an wn con radio R y G(w)=n an wn-1 con radio R'. 1ro q.v.q R=R', aplico criterio de la raiz en ambos casos. 2do q.v.q. F'(w0) = G(w0) F (w)F (w ) F(w )F (w ) lim w w w w =G (w0 ). Estudio S(w)= ww G (w0 ) y veo si 0.
0 0 0 0 0

S(w) =

Sk a S con |w0| r < R en w / |w| r. Weierstrass: |fn (w)| |an| 2n r n-1|fn (w)| converge Sk(w) S(w) y como Sk(w0)=0 k lim w w S (w)=0.
1 Teorema de Cauchy: Sea f :A, A ab. convexo, f =u+i v holomorfa en A y adems u, v Sea A curva cerrada simple con A .
0

1 ww 0

(
n= 0

a n w n a n w n n a n w n1 = a n ( 0
n =0 n =1 n =1

w nw n n 1 0 a n (w n 1+w n 2 w0 +w n 3 w 2 ++ w wn 2 +w n1 n a n w n 1) n a n w ) =. Analizo conv. unif. de 0 0 0 ww0 n =1 fn( w )

f ( z) zz dz=
+ 0

1 de Green, usando que u y v son con Q=-v y P=u en parte real y Q=u y P=v en parte im.: D ,

f =0. Demo: f (z )dz=a f ( z(t )) z ' (t )dt =a (u( x (t) , y (t ))+i v( x (t) , y (t)))(x ' (t) +i y ' ( t))dt= (u dxv dy)+i (v dx+u dy). Por teorema
(- v) x

u dx dy +i D y

(u) x

v dx dy=0 por C.R. y Crz0

+

+ + Frmula de Cauchy: Demo: Sea Cr= {z/|z- z0|= r}A. = + +C r + f (z)/(z-z0) holomorfa en Por C-G

Cr +

f ( z) f ( z 0) long. 1 f ( z) f ( z 0 ) f ( z0 ) f ( z) dz = dz + dz . |(A)| Sup = Supf ( z)- f ( z0 )2 r 0 . (B) 2 i f ( z 0) . + zCr zz 0 zz 0 zz 0 ( zz 0 ) Cr r r 0 r 0 Cr + Cr +

(A) (B)

Estimaciones de Cauchy: Demo: Sea 0 < r < R, f ( n) ( z 0)=

n! Sup f ( w) long. n ! Sup f (w) n! M n! f ( w) 2 r n n! M dw 2 wCr ( w z 0) n+ 1 Cr 2 2 i + ( wz 0 )n +1 r n+1 r r R Rn

Teorema de Liouville: Demo: Si f acotada M / | f (z)| M z. Sea z0 y R > 0 | f ' (z0)| M/R que 0 si R f '(z0)=0 f cte en . Coeficientes de Taylor. Si f (z)= a n ( zz 0 )n, f '(z) = n an ( z z 0) n1 y f ''(z) = n(n1) a n ( zz 0 )n 2 f (z0)=a0, f '(z0)=a1, f ''(z0)=2 a2 a k =
n =0 n =1 n =2

f ( k )( z 0 ) k!

Teorema de Taylor: Sea A abierto convexo, f holomorfa en A f es analtica en A. La serie de Taylor de f centrada en z0A converge a f en cada disco D(z0,R) A. Demo: Sea z0 A, R>0 / D(z0,R)A, z D(z0,R), r / |z-z0| < r < R, y Cr ={w / |w-z0| = R}. Por frm. de Cauchy, f (z)= 1

f (w )( z z 0 ) f (w)( z z0 ) f (w) =S(w). Defino Sk(w)= = f n (w) , y q.v.q. Sk(w) S(w) en wCr. Uso Weierstrass: |fn (w)|= = w z n= 0 ( wz 0 )n+ 1 (wz 0 ) n+ 1 n =0 n =0
Cr + n =0 n =0

2 i

1 1 1 1 f (w) 1 dw . wz = wz + z z = wz 1[(z z )/(w z )] = w z 0 0 0 0 0 w z 0

k

( )
z z0 w z 0

( z z 0 )n

(w z 0 )n+1

z0 z

Cr

f ( w)(z z 0) (w z0 ) n+1

f M en Cr wz 0 n

M z z 0

n+1

M z z 0 r
n +1

f ( z)=

f (w)( z z0 ) 1 1 dw=lim 2 i Cr + n= 0 (wz 0 )n +1 k 2 i Cr +

(
k n=0

z z 0 M z z0 = Mn. Como <1, Mn converge Sk S en wCr puedo intercambiar . r r r

R

f (w)( zz 0 ) dw = n +1 ( w z 0 ) n =0

[(

1 f (w) dw ( zz 0 )n = a n ( zz 0 )n. Ahora me independizo de r: 2 i Cr + (wz 0 )n +1 n =0

como entre dos crculos f(w)/(w-z0) es holomorfa, Cr =Cr0 con cualquier r0 / 0 < r0 < R. Prob que si z/ |z-z0| < R, f(z) es una serie de potencias. Teorema de Laurent: Sea 0 < R1 < r1 < |z-z0 | < r2 < R2 < +, f holomorfa en anillo D(z0,R1,R2), curva cerrada simple D(z0,r1,r2) + con z . Por frm. de Cauchy: 1 f ( w) dw . Defino =C r2 +C r1 +C + conexiones que se anulan. f(w)/(w-z) es holomorfa con otro factor comn). En Cr2 y Cr1 Sk(w) S(w) puedo intercambiar . Me independizo de r1 y r2 (~ a Taylor) y defino en
+ n -n n 0 n1

r2 r1

2 i + wz ( z z 0 )n ( w z 0 )n 1 1 f (w) f (w) f ( w) dw= dw dw . En Cr2: wz = (= Taylor). En Cr1: wz = (~ a Taylor n+1 n+1 w z n =0 (w z 0 ) n=0 ( z z 0 ) Cr2 + w z Cr1 + wz

z0
R2

f (w) dw r / R1 < r < R2 . f(z) = a n ( zz 0 ) + a - n ( zz 0 ) con a n = 1 f (w) dw y a- n = 1 2 i Cr (wz 0 )n +1 2 i Cr ( wz 0 )- n +1 . converge en R1 < R < R2 n=0 n=1

tiene radio R R2, y en llamo w=(z-z0)-1 converge si 1/R2 <|w| < 1/R1 w tiene radio R 1/R1 converge en |z-z0| > R1.

Resumen Matemtica 4

Por A. Frenkel, 2012 CC - BY - NC

UBA - FCEN - Pgina 5

Mejor aproximacin medio cuadrtica series de Fourier : Sea (n) un sistema ortonormal en [a,b]. Quiero escribir a f como n =1 cn n (t )con f acot. e integrable. Busco cn para minimizar:
b N b N N b b N b b N b

f ( t) c n n (t) dt = [ f 22 f
n =1 a 2 2 N b

N n= 1

cn n + c n n
n =1

]dt

f 2 dt2 cn f n dt+ cn cm n m dt = f 2 dt + (c 22 cn f n dt)= f 2 dt + ( cn f n dt ) ( f n dt ) n a n= 1 n =1 m= 1 n =1 n=1 a n =1 a a a a a a 1/0

(A)

Solo (A) depende de cn. Minimib zo con (A)=0 c n=a f (t ) n (t) dt

queda igual a: a f 2 dt n=1 c2 . Corolarios: i)n =1 c2a f 2 dt (desig. de Bessel) n n

0

ii) n =1 c2 <+ n

iii) lim n c n=0

Convergencia puntual de series de Fourier: Sea f: , 2-peridica y continua a trozos la serie de Fourier de f cumple para cada x donde las a f (x +0)+ f ( x0) derivadas laterales de f existan: lim N 2 + N [ an cos(n x )+bn cos(n x)]= . Preliminares: Ncleo de Dirichlet DN (s)= n=1 2
1 sin [( N +1/2) s] 1 + cos n s= . DN (s) es par, 2-peridico y D N =1=2 D N . Sea g:[0,1] continua a trozos lim 0 g (t )sin [( N +1/ 2) t ]dt=0 2 n =1 2sin ( s/2) N 1 0 (uso expansin trigon. y quedan 2 frmulas de coef. de Fourier uso Riemann Lebesgue). Demo: 1 1 1 1 N N N a 1 Sea SN (x)= 0 + (a n cos nx +b n sin nx)= f (t) dt+ f (t )cos nt dt cos nx + f ( t)sin nt dt sin nx = f (t) [ 1 + ( cosnt cos nx+sin nt sin nx) ] dt 2 n= 1 2 2 1 n=1 n= 1 1 1 1 N 1 1

=
1 1

1 f (t) [ + cosn ( xt)]dt . SN (x)= f (t) D N ( xt) dt 2 n=1 1

1

x 1 x+1

1 0

= - f ( x ) D N ( ) d= f (x ) D N ( ) d + f ( x ) D N ( ) d
= xt 1 1

f ( x + ) D N ( ) d + = 0
1ro: s=

cos n( xt ) 2do: = s 1

1 f ( x +0) + f ( x ) DN ( )d . Q.v.q (*) lim f ( x + ) DN ( )d = . Uso 0 D N =1/2 (*)= lim [ f ( x + ) f ( x+0)] DN ( ) d=0. g()= f ( x+ ) f ( x+0) 2 sin ( / 2) 2 N 0 N 0 0 1 f ( x+ ) f ( x+0) t (*) = lim 0 g ( ) sin[( N +1/ 2) ]d . Pero g()= y de deriv. laterales g es cont a trozos y por se cumple (*) t 2sin ( / 2) N

Convergencia uniforme de series de Fourier: Preliminares: Sean an, bn coef. de Fourier de f y a n , b n de f '. Si f ' acot. e integ. en [-1, 1] (hiptesis de
1 conv. unif.) a n =1 f ' (t)cos n t dt = f (t) cos n t11 f (t)(n ) sen n t dt an =n bn y b n=n a n. Desig. Cauchy Schwartz: x, y n 1 1

x i y i( xi2) ( yi2)
i= 1 i=1 i =1

1/ 2

1/ 2

x , y xy Demo: f ( x)a 0 /2+ . Uso Weierstrass, q.v.q |fn(x)| Mn x y que Mn [a n cos( n x )+b n cos(n x)]
n=1 f n ( x) N N N N

b 1 1 /2 1/ 2 1 1 1/ 2 1 1 1 /2 <+. |fn(x)| |an |+|bn | = Mn. Analizo |an |: a n= n ( b 2) ( 2 ) n= 1 n n=1 n n=1 n ( b2 ) ( n2 ) |an| converge. Idem para |bn|. n n =1 n =1 n =1 x x x desig. Bessel

Teorema de inversin de transformada de Fourier: Sea f : L1(), f continua a trozos. En cada x donde las derivadas laterales de f, se tiene
f ( x +0)+ f ( x0) 1 i sx . Preliminares: Fubini: Si ( f ( x , y)dx ) dy <+ ( f ( x , y ) dx)dy = ( f ( x , y ) dy)dx . 1 sin u du = 1 . VP ( s)e ds= f 2 2 0 u 2 - a c a c c a
b d b d d b

Sea g: L1() y cont. a trozos lim g (t )sin (Nt )dt =0 (~ a Riemann Lebesgue). Demo: 1
n

f ( s) ei s x ds= 21 ( f (t)ei st dt) ei s x ds = 2

-M -M

1 = 2
M -M

M -M

f (t) e

i s( xt )

dt ds(*). Fubini vlido?: f (t )e

-M

i s( x t)

dt ds= f (t )dt ds+ puedo cambiar orden (*)=

-M

1 f (t) 2

ei s( xt ) ds
-M

dt .

1 ei s( xt ) ds = 2M si x=t = 2 sin [M (t x )] si xt (*)= tx

N

f (t)

sin (M ) sin[ M (t x)] 1 1 sin M 1 sin M dt = f ( x + ) d = f ( x+ ) d+ f ( x - ) d . tx 0 0 =t x

f ( x+0) f ( x + ) f ( x +0) 1 sin M Q.v.q (**) lim 1 f ( x + ) sin M d= .(**) = 1 f ( x+ ) sin M d+ 1 f ( x + ) sin M d = 1 sin M d + f ( x+0) d +

0 0 (A) (B) M

f ( x+0) 1 f ( x + ) lim sin M d . (A) y (C)0 por (uso func. auxiliaries g1 y g2). (B)= sin M M d = f ( x +0) 1 sin y dy N (B)= f ( x+0) . 2 M 0 y 0 y= M
(C)

Derivacin de transformada de Fourier: si t f (t) L1() F(s)=b a g (t , s) dt, b g (t ,s )dt a <+ s,

s g (t , s) s

d ds

(s) = -i (t f (t)) (s). Preliminares: Regla de derivacin dentro de la integral: Si f

s s

cont. como funcin de s, y b g (t ,s )dt<+ s, F'(s)=b g (t , s) dt s. a a

Demo: Uso g(t,s) = f (t) e -i t s g (t , s) =-i t f (t) e -i t s i t f (t) ei t s dt=i t f (t)eit s dt = -i (t f (t)) (s)
-z t Teorema de inversin de Laplace: Sea f:[0,+], de orden exponencial, continua a trozos. Sea F (z): 0 f (t )e dt z, Re(z)> a. Fijando s > a

para cada t 0 donde f tenga der. lat. se cumple : lim 1

M

s+ i M

2 i si M

F ( z)e dz =

zx

st f ( x +0)+ f ( x0) t0 . Notar que . Demo: Sea s > a fijo y g (t)= f (t )e 2 0 t<0

g ( ) = F(s+i ). Q.v.q. g(t) cumple hiptesis de teo. de inversin de Fourier: g L1()?

M

g (t)k ea t e- st dt=k ea st
0 M M

(a s)

<+ (s > a). g cont. a trozos?

0

g( x +0)+g ( x0) S: x / f (x) tiene der. lat. cumple lim 1 g ( ) ei x d = (*) lim 1 F ( s+i ) ei x d = es x f ( x +0)+ f ( x0) . Defino al 2 2 M 2 -M M 2 -M

segmento que une s-i M con s+i M y parametrizo con z()= s+i con [-M,M] z' = i y i = z() - s (*)= 1 =e 2
s x M

F ( z ( )) e( z ( ) s) x d =
-M

F ( z ( ))e

z( ) x

-M

e [z ' ( )/i] d = F ( z ( ))e z( ) x z' ( ) d = e i F ( z)e z x dz = e i F ( z) ez x dz. Reemplazo en (*) y llego a . 2 i - M 2 2 S i M =1

s x M

s x

s x s+i M

Este resumen no es oficial, puede contener errores o pueden existir temas de la materia que no estn includos. Si quers los archivos originales, tens sugerencias o encontrs errores por favor escribime a alejandro.frenkel@yahoo.com. Realizado en LibreOffice.
Resumen Matemtica 4 Por A. Frenkel, 2012 CC - BY - NC UBA - FCEN - Pgina 6