Documentos de Académico
Documentos de Profesional
Documentos de Cultura
danojuanos@hotmail.com
danojuanos@tutopia.com
El objeto de las presentes notas es facilitar al cibernauta de las carreras de Ingeniera, la
de disciplinas de la matematica,
asimilacion
fruto de largas reflexiones hechas por los
grandes matematicos
mas
y que los Fsicos matematicos
utilizan en el desarrollo de sus
Se intenta tener pargrafo por pargrafo el material necesario para una mejor asimilacion,
de cuidadosos ejercicios encaminados hacia un estudio dirigido. Estos
con la seleccion
UNIDAD I
1. N U M E R O S C O M P L E J O S
INTRODUCCION : Historicamente
los nu
meros complejos
ecuacion
%2 b ~
Esto nos indica que los nu
meros
respuesta al problema universal:
complejos
son
la
de la ecuacion
% b ~ ?
cual es la solucion
Se trata efectivamente de un problema puramente
algebraico, contando para ello con el conocimiento de
los nu
meros reales G . Para inciar con tal proposito
consideremos el producto cartesiano
G d G ~ { % & / % G ,& G }
en el cual se definen dos operaciones suma y
en la siguiente forma :
multiplicacion
Suma : (%,&) b (, ) ~ (% b ,& b )
2
Daro Snchez H
Es facil
ver que
a
(n,m) ~ ( a +b
, a-b
+b )
Se suele notar
(n,m) = (a,b)c1
5. Dados (a,b) ,(x,y), (n,m) en G d G se tiene
(a,b)[(x,y)+(n,m)] ~ (a,b)(x,y)+(a,b)(n,m)
El subconjunto
{(%,)/% G }
de G d G juega un papel fundamental, pues con la
siguiente identificacion
(%,) %
se puede considerar a G G d G y al subconjunto
{(%,)/% G }
se le llama eje real
RESULTADO : La ecuacion
% b ~ tiene solucion
en G d G .
En efecto, supongamos que % G d G entonces % ~ (,) y la
la forma
%2 b ~ tomara
(,)(,) b (1,0) ~ (0,0)
c b 1 ~ 0 w 2 ~ 0
ecuacion
Daro Snchez H
~ v ~ c
se obtendra entonces dos soluciones
( , ) w ( , c )
La posibilidad ~ , y como deseamos soluciones
reales, obtendramos para que
b ~
por lo tanto esta posibilidad no se puede presentar.
CONCLUSION : La solucion
de la ecuacion
% b ~ en G d G
DEFINICION : En notacion
universal, denotamos por a la solucion
de la ecuacion
% b ~ o sea ,.
RESULTADO : Si % G d G entonces % ~ b
En efecto % G d G % ~ (, )
ahora
(,)(,) ~ (, )
as
% ~ (,) ~ (,) b (, ) ~ b
~ e %
se le llama la parte imaginaria y se le nota
~ ? %
conjugacion
la cual consiste en cambiarle el signo a la
parte imaginaria , es decir,
conj : d d
~ a-ib
z ~ a+ib z
Daro Snchez H
las siguientes:
Son propiedades de la conjugacion
1. z f w ~ z+w
hw
2. z h w ~ z
~z
3. z
4. ( zw ) ~ zw
5. e' ~ 'b'
2
6. ? m' ~ 'c'
2i
Se llama modulo
o valor absoluto de un nu
mero complejo
z ~ (a,b) ~ a b ib al nu
mero real
ja +b
y se le denota |z|.
Son propiedades del valor absoluto las siguientes:
i. |' | 0 , |' | ~ 0 ' ~ 0
ii. |e' | |' |, |? m' | |' |
iii.|' | ~ | c ' | ~ |' |
iv. |' | ~ ' h '
En el calculo
de los nu
meros complejos es conveniente
geometrica:
Al numero
complejo ' ~ (, ) ~ b se le hace corresponder el punto 7
en el plano de abscisa y ordenada ; viceversa a todo punto 7 de
Dados dos nu
meros ' ,$; al modulo
de la diferencia ' c $ se
le llama la distancia de ' a $ y se le denota
dist(' ,$) ~ |' c $|
Si ' ~ ' b ' y $ ~ $ b $ entonces
dist(' ,$) ~ j(' c $ ) b (' c $ )
La distancia tiene una gran importacia pues con ella se
obtiene el calculo
tanto diferencial como integral y en
general el llamado ANALISIS COMPLEJO .
Daro Snchez H
geometrica
La interpretacion
dada nos permite utilizar
polar para los nu
la representacion
meros.
Sea z = x +iy un nu
mero distinto de cero
Este angulo
, definido a menos solo
de un
mu
ltiplo
entero 2, se llama un argumento , arg(z) de z . Para la
de , se toma como sentido positivo el sentido
medicion
opuesto al movimiento de las agujas del reloj,
exactamente como en trigonometra . Como
x ~ r cos ,
y ~ r sen , r ~ |z|
todo nu
mero z ~ x b b 0 se puede escribir en la forma
' ~ r(cos b sen )
Si del nu
mero infinito de valores de se toma aquel en
el cual c , llamado ARGUMENTO PRINCIPAL de ' , y se
le denota Arg(' ), entonces se obtiene para k entero
' ~ r(cos b sen ) , r ~ |' |, ~ arg(' )
donde
arg(' ) = Arg(' ) b 2k
para ' 0.Los nu
meros r, ~ Arg(' ),se llaman COORDENADAS
POLARES DE '
polar de ' .
o representacion
DEFINCION : Para ' ~ % b & el valor e' esta dado por la formula
'
e ~ e (cos y b sen y)
&
(FORMULA DE EULER )
0
e ~ 1 , si y solo
si , ' ~ 2ki , k ~ 0, f 1, f 2,
De
estas
relaciones
vamos
a
desprender
algunos
resultados importantes:
a) Operando recurrentemente se obtiene para entero
'
'
positivo (e ) ~ e
en particular si ' ~
(e ) ~ e
Daro Snchez H
formula
se escribe
(cos b sen ) ~ cos() b sen()
polar
b) Si ' ~ r e
y ' ~ r e son la representacion
respectivamente de los nu
meros ' , ' ,
entonces
( + )
' ' = (r r )e
por un lado y
' ' = (r r )eArg(' h' )
por otro; de lo cual se sigue que
eArg(' h' ) ~ e( b )
que es equivalente a
expresion
e[Arg(' h' )c( b )] ~ 1
c)
e' ~ e' si y solo
si ' c ' ~ 2k
en donde k es un nu
mero entero.
Del nu
mero infinito de valores de k basta solo
considerar k = 0,1,2, , c 1 , ya que los otros
valores no conducen a nuevos valores de ' . Por
ejemplo,para k ~ b 1 el valor correspondiente de ' es
' ~ e2(b1)/ ~ e2/
1.2. LOGARITMO DE UN NUMERO COMPLEJO
Se define el logaritmo de ' d, log' como un nu
mero
tambien
' ~ e$ , pues
' ~ e$b2k ~ e$ e2k ~ e$ h 1 ~ e$
as log' ~ $ y $ b 2k, k { satisfacen ' ~ e$ cuidando
que ' 0 .
Bajo
estas consideraciones, si ' ~ re , r ~ |' |, ~ Arg' ,
$ ~ u b v, de ' ~ e$ se tiene que
Daro Snchez H
d. z b $ ~ z b $
)
e. zk ~ zk (por induccion
k=1
e ~
k=1
c
f.
e
g. z ~ z
Daro Snchez H
h. z ~ z
i. e ~ 1 , s
j. z$ ~ z h $
k=1
( $z )
k=1
z
,
$
k. zk ~ zk
(por induccion)
l.
~
$0
ll. z h z ~ z h z
k=1
z
$
k=1
z
| $ , $
m. zk ~ zk (por induccion)
n.
~
0
~
n. z b $ z + $
o. z c $ z g $ z + $
1
1
p. Si z > $ entonces zg$
zc$
k=1
k=1
$
q. zk zk
(por induccion)
r. j z +
z+$
s. z c w b z b $ ~ 2 ( $ + z )
a. log z ~
d. ez b ~ 0
2
b. log z ~ 1+3
e. cosh z ~ 6
z
c. e b ~ 0
f. sen z = 2
7. Hallar el conjunto de puntos del plano que determinan
cada una de las siguientes relaciones:
a e z 0
h m zc < c 3
2
b 3 arg z 3
i z b z ~ 1
c z c 3 5
j 5 z c 3 8
d z c 3 ~ 5
k z = 3 b 5e , [0,2]
e z c 3i > 5
l z c 3 c z+3 > 8
f z c 3 b z b 3 = 8 ll m z 0
g z c a b r , a d, r 0 o 0 m z 3, p. e zc 0
8. Resolver las ecuaciones
Daro Snchez H
a. z c 3z b 3z b 8 ~ 0
b. z b 4z b 6z b 4z b 10 ~ 0
c. cos x b sen x ~ sen x b cos x, para x s
vector (nu
9. En que
mero) se transforma el vector
j
de una rotacion
de (i) 2 , (ii)
(nu
mero) 2 b 3 despues
de c 2 ?
cos n sen(n+1)
sen
2k , k {
metrica
sobre d, esto es, para todo , z , t d
a. d( , z) = d(z, )
Daro Snchez H
10
b. d( , z) d( , t) b d(t, z)
c. d( , z) 0 , y, d( , z) ~ 0,
~z
19. Demostrar que en general (am ) n (a n )m . Si m y n son
primos relativos se tiene que
(am ) n = (a n )m y
por lo
m n
m mn ( b2k)
n
tanto
(a ) ~ (a ) e
,
0kn
Sugerencia: Tome a ~ ( c 1) .
20. Demostrar que para el valor principal en general se
tiene las siguientes desigualdades:
a. ( z)a a za
a
b. ( z )a za , z 0
c. Log za aLog z
d. (za )b zab
21. Supongase
que z , z , z son tres nu
meros complejos
tales que
z ~ z ~ z ~ 1
y z b z b z ~ 0.
equilatero
inscrito en la circunferencia unidad.
22. Determinar los puntos z = x+iy del plano complejo que
satisfacen la desigualdad z c 1 2 z b 1 .
23.
Sea
P(z) ~ ao zn b a znc b a znc b h
h
h b an
un
polinomio de grado n 1 y de coeficientes reales.
lo es tambien.
24. Demostrar que los puntos z = x+iy que satisfacen
z+1 4 c z c 1 son los puntos , interiores a la
y
x
elpse
4 + 3 = 1 o pertenecen a ella.
25. Probar que si zo es una raz cu
bica de un nu
mero z,
y si 1,
,
son las races cu
bicas de la unidad,
entonces zo , zo , zo son las races cu
bicas de z.
Partase
de este resultado para determinar las races
cu
bicas de c 8.
de la elpse con focos f i
26. Encuentre la ecuacion
que pasa por el punto 1+i. En geometra analtica,
es la formula
cual
correspondiente ?
el origen. Cual
es la formula
correspondiente en
goemetra analtica?.
una hiperbola
con focos a y b.
30. Pruebe que z e z + m z j2 z .
cc
2. CONJUNTOS COMPLEJOS.
LIMITES Y CONTINUIDAD.
DERIVACION.
Si 'o es un nu
mero complejo, entonces una -vecidad de 'o
es el conjunto de todos los puntos ' ,cuya distancia a 'o
Daro Snchez H
11
V (zo ) de 'o
de S y se le denota S.
Un punto
'o
de S es llamado punto exterior
de S si
existe una -vecidad de 'o
la cual no contiene puntos
de S.
Un punto '2 el cual puede estar o no estar en S es
llamado punto frontera de S si cualquier vencidad de '2
tiene puntos de S y tiene puntos que no estan en S.
Daro Snchez H
12
El conjunto de todos
los
puntos
exteriores
a
S
es llamado exterior de S.
El conjunto de todos los puntos de frontera de S
es llamado frontera de S.
al interior de S, Ex S al exterior de S y fr S o
Notese
S
C S a la frontera S. Se puede mostrar que S es
tambien
abierto si y solo
si S = S.
Sea S d al conjunto d c S, o sea los nu
meros complejos
que
no
estan
en
S,
se
le
llama
el
conjunto
complementario de S.
Un conjunto F d es llamado cerrado cuando d c F su
complemento es abierto.
Un conjunto S es llamado acotado si existe una constante
M > 0 tal que |' | M para todo ' S. Esto es , S VM (0) .
Un subconjunto de d el cual es cerrado y acotado
es llamado compacto .
EJEMPLOS: 1) El conjunto ' / |' c 2| 3 es un conjunto
compacto.
2) ' * |' c 2| < 3 es un conjunto abierto acotado por lo
tanto no es compacto.
3) ' * |' c 2| 3 es un conjunto cerrado pero no es
acotado luego no es compacto.
Sea S d,
' d es
llamado punto lmite de S si cada
-vecindad de ' tiene por lo menos un punto de S
diferente de ' (un
pertenece a S). El
de S es denotado SZ
La reunion
S r SZ es
clausura de S.
denotado S,
es llamado cerradura o
+ n
S = { n(c1)
/ n o } , entonces 1 b y
n+1
c 1 b son puntos lmites de S, y as
SZ ~ 1 b i, c 1 b i
Aqu,
S = S r 1 b , c 1 b .
Un punto 'o S es llamado punto aislado de S si existe
una -vecindad de 'o la cual al intersectarla con S se
reduce al solo
punto 'o (E V ('o ) / V ('o ) q S = 'o )
Notese
que todos los elementos del conjunto S del
ejemplo anterior son aislados.
EJEMPLO : Si
Daro Snchez H
13
d c S son simultaneamente
conexos.
EJEMPLO : S ~ z d/ |' c 4| 2 es un conjunto simplemente
conexo
M = ' d / 2 < |' c 4| 6 conocido como UNA CORONA es
un conjunto conexo pero no simplemente conexo .
Un conjunto + d es llamado dominio si es un conjunto
abierto conexo.
si es un dominio
Un conjunto + d es llamado una region
con algunos o todos sus puntos de frontera.
2.3. FUNCIONES Y CONTINUIDAD.
Sean A y B
conjuntos. Un subconjunto f del producto
b 3'
, entonces
u(x,y) ~ e f(' ) ~ x c y b 3x
v(x,y) ~ ? m f(' ) ~ 2xy b 3y .
Daro Snchez H
14
D ~ A q f (B) la composicion
g k f:D d definida por
(g k f)(a) ~ g(f((a))
En particular si f:A B y g:B d, entonces g k f:A d
es
dada por (g k f)(a) ~ g(f((a). Note que en general,
f k g g k f.
Sea f:A B y sea 'o A Z . Decimos que f tiene un lmite l
cuando ' se aproxima a 'o , y escribimos
lim f(z) ~ l
z zo
si para cada -vecindad N de l existe una -vecindad
N ('o ) de 'o tal que para todo ' A q N ('o ) con ' 'o ,
z + 9
f(z) = 4(z
c3)
Mostrar que lim f(z) ~ 32
z 3
PRUEBA: Observe que 3 es un punto lmite del dominio de
en el dominio de f, tenemos
f. Si z esta
3
z + 9
3
1
f(z) c 2 ~ 4(z
c3) c 2 ~ 4 |z c 3|
sea > 0 dado. Debemos escoger > 0 tal que si
0 < |z c 3 | < entonces
|z c 3| < . Claramente
4
puede ser escogido como cualquier nu
mero menor o igual
que 4. Por ejemplo, escojamos ~ 4.
Para los lmites tenemos las propiedades siguientes:
Si f:A d y - :B d con zo AZ q BZ tal que
lim f(z) = l , y, lim F(z) = L
z zo
z zo
Entonces
lim [a f(z) b b F(z)] = a l + b L para cada a,b d
z zo
lim [f(z)F(z)] ~ lL
z zo
lim f(z) = Ll , L 0
z zo F(z)
Daro Snchez H
15
f(z) es continua en z ~ zo si
Se dice que una funcion
f(zo ) esta definida y lim f(z) ~ f(zo )
z zo
f:AB, A d se dice continua si f es continua en todo
punto z A.
f se dice discontinua en zo , si f no es continua en zo .
Si f es discontinua en zo pero lim f(z) existe,
z zo
podemos hacer que f sea continua en zo redefiniendo el
valor en zo de tal forma que
lim f(z) ~ f(zo ). Tal
z zo
discontinuidad de f es llamada removible .
f:A B es llamada uniformemente continua en
Una funcion
A si para cada > 0 existe > 0 tal que para todo
z ,z A
para
los
cuales
|z c z | ,
tenemos
|f(z ) c f(z )| < .
Claramente si f es uniformemente continua en A,
entonces f es continua, pero el inverso es falso.
Sea D el disco punteado 0 |z| 1 y sea f:Dd
. Mostremos que f es uniformemente
definida por f(z) = z
continua en D.
En efecto, si z ,z D , entonces tenemos
1 c z
2 | ~ |z
b z
||z
c z
|
|f(z ) c f(z )| ~ |z
(|z |+|z |)|z c z | 2|z c z |
Sea > 0 dado. Debemos escoger >0 tal que si z ,z D y
|z c z | , entonces |f(z ) c f(z )| . Claramente =
pues en ese caso
es una buena eleccion
|f(z ) c f(z )| 2 ~ .
EJEMPLO :
Daro Snchez H
16
nc1
entre la derivacion
para funciones reales y la
RESULTADO : Si
la funcion
F(z) ~ u(z) b v(z)
tiene
derivadas en el punto z, las primeras derivadas de u y
v, con respecto a %,& existen y satisfacen las
ecuaciones de Cauchy-Riemann.
EJEMPLO: Verificar las ecuaciones de
Cauchy-Riemann si
f(x,y) = z .
El inverso del resultado anterior es falso en general
Daro Snchez H
17
Cu
Cr
= 1r CCv , CC vr = c 1r CCu
que la derivada de una
Posteriormente se demostrara
funcion
analtica f(z) ~ u(x,y) b v(x,y) es as mismo
una funcion
analtica. Por este importante hecho,
derivadas parciales continuas
u(x,y) y v(x,y) tendran
C u
C v
= CC yv ,
C xC y = c C x
Esto proporciona el siguiente:
RESULTADO : La parte real y la parte imaginaria de una
compleja f(z) ~ u(x,y) b v(x,y) que es analtica
funcion
Se sigue de la discusion
que si la funcion
f(z) ~ u(x,y) b v(x,y) es analtica en D, entonces u y v
funcion
f(z) ~ u(x,y) b v(x,y) es analtica en cada
z ~ x b y D,
entonces v se llama la conjugada armonica
de u.
La conjugada armonica
si existe es u
nica salvo por la
de una constante. Tambien,
adicion
si v es conjugada
armonica
de u, entonces c v b u es analtica y por lo
EJERCICIOS
1. Demostrar que toda -vecindad de un punto
conjunto abierto.
2. Demostrar que S ~ z:| z c zo | ~ 1 no es un
abierto.
3. Demostrar que el anillo S ~ z 1 | z | 2
conjunto abierto.
4. Demostrar que el anillo S ~ z: 1 | z | 2
abierto ni cerrado.
zo es un
conjunto
es un
no es ni
Daro Snchez H
18
que
8. Demuestre que S ~ z | z | 1 r z 2 | z | 3 } no es
11. Cuales
de los conjuntos del ejercicio 10 no son
abiertos ni cerrados?.
conjuntos del ejercicio 10 son acotados?.
12. Que
13. Para cada uno de los casos siguientes, delinear la
cerradura del conjunto
a) | z | 0, c arg z ;
b) |e z | | z |; c) e(1/z) 1/2; d) e (z ) 0.
14. Si S es el conjunto abierto formado por todos los
puntos z tales que | z | 1 o | z c 2 | 1. Demostrar que
S no es conexo.
a)
lim c f (z) ~ ck Lk
z S a k=1 k k
k=1
f (z) ~ Lk
lim
z S a k=1 k
k=1
20.Enunciar
y
demostrar
las
propiedades
de
la
continuidad que se desprenden de las propiedades de los
lmites.
Ademas
la
continuidad
para
funciones
compuestas.
b)
Daro Snchez H
19
d)
f(z) ~
tanh z
z +1
e)f(z) ~
2z+3
z sen(z+) ,
f) f(z) ~ csch z
c) f(z) = z
d) f(z) = | z |
e) f(z) = 3x c y
f) f(z) = x b xy c (x y+y )
g) f(z) = cos nx c sen n x
h) f(z) = z z
R, demostrar que las
28. Si f es continua en una region
siguientes funciones son continuas en R:
a) e f(z)
b) m f(z)
c) | f(z) |
d) f(z)
z c 1
z c 1 ,
3
2 ,
z g1
z = g1
es continua ?
30.Demostrar que las siguientes funciones son continuas
para hacerla
para z 0. Se puede redefinir la funcion
continua en z = 0 ?
b 2
a) f(z) = zez
b) f(z) = 7 z
c) f(z) = z cz3z+2
d) f(z) = x b y b y c 2 b x
y
x
e) f(z) = sen z
f) f(z) = (x+ x +y
) + (y c x by )
g) f(z) = zz
h) f(z) = tan z
i) f(z)=| z | +2z
k) f(z) = cosh x sen y b senh xcosy
|z|+ z
l) f(z) =
m) f(z) = zz5 ++11
2
y
y
x
x
n) f(z) = sen( x +y
) cosh ( x +y ) c cos( x +y ) senh ( x +y )
~
n) f(z) = log(x +y ) + Arc tanh yx
6
Daro Snchez H
20
o) f(z) ~ e z
31. Calcular fZ (z) en cada una de las siguientes
funciones:
a) f(z) = 6z b 8z b z b 20
b) f(z) = 6(z c 8) (z b z)
c) f(z) = (z c 3)c6 d) f(z) = ecz (z b 2)c
c3)
c9
e) f(z) = z +z 2z
f) f(z) = (z(z
+ z + 3)
+ 3
g) f(z) = sen z
h) f(z) = cos z
i) f(z) = senh z
j) f(z) = cosh z
k) f(z) = tan z
l) f(z) = cot z
ll) f(z) = sec z
m) f(z) = csc z
~
n) f(z) = Arc tan z n) f(z) = csch z
o) f(z) = log z
p) f(z) = Arc tanh z
r) f(z) = (1 b (z b 1) )5 s) f(z) = z b 1z
32. Determinar, si es posible, los valores de las
constantes para los cuales f(z) es analtica:
f(z) = x b ay b (bx b y)
xk
kx
f(z) = e
cos by b e sen by
f(z)= [cos x][cosh y b a senh y] b [sen x][cosh y b b senh y]
analtica f(z) si es posible
33. Construir la funcion
R si se conoce su parte real u o su parte
en una region
imaginaria v.
dada es holomorfa)
(Demostrar que la funcion
x
a) u ~ x + y , f()= ,
b) u ~ x b 2x c y
c) u ~ x c y +2x , f() ~ 2
d) u = 3ex cos y b 1
e) v ~ Arc tan yx , x 0, f(1) ~ 0
f) v = c y
g) u = 2x(1 c y)
h) v = 2(cosh x senh y c xy)
i) u = x c y c 2xy c 2x+3y
j) u = 2sen x cosh y c x
k) u = ec2xy sen (x c y )
l) v = 2(2senh x seny b 9)
m) u = xex cos y
n) v = 2 cos x cos hy c x +y
~
n) v = 6x(2y c 1)
o) u = x c y
p) v = e3x cos 4y
34. Hallar el valor de las constantes, si es posible,
Daro Snchez H
c)
d)
21
armonica,
mientras que en general no lo es.
z
z
, z0
f(z) = H
0 ,
z~0
Demostrar que f cumple con las ecuaciones de CauchyRiemann en z ~ 0 pero no es derivable.
38.
Hallar
las
ecuaciones
de
Cauchy-Riemann
en
coordenadas polares.
39. Hallar dos expresiones equivalentes para fZ (z) en
forma polar.
z
40. Demostrar que f(z) = e no es analtica.
41. Probar que si (x,y), (x,y) son funciones
R,
armonicas
e indefinidamente derivables en una region
entonces f(z) = ( c ) b ( b ) es analtica en R.
42. Si f(z) = u b v es analtica en d ( o sea entera) y
a Si v ~ u entonces f es constante
b) Si u ~ v entonces f es constante
~ u c v es analtica entonces f es constante.
c) Si f
37.
Sea
Daro Snchez H
22
llama la orientacion
de !. La curva ! siempre se
orientada en esta forma.
considerara
la orientacion
de c ! es la opuesta a la de !, es
decir, cuando t varia de a el punto
z( b c t)
recorre c ! desde z = z( ) hasta zo = z(), de tal modo
que el punto inicial de c ! es el punto terminal de ! y
el punto terminal c ! es el punto inicial de !.
Una curva ! se llama cerrada si su punto inicial coincide
con su punto terminal, es decir, z() = z( ).
continuamente diferenciable
diferenciable o curva suave.
en
[, ]
se
llama
una
curva
Daro Snchez H
23
f(z) dz =
f[z(t)]zZ (t) dt
funcion
f(z(t))zZ (t) es
existe la integral de
que, como la
Se observara
continua en [, ] entonces
Riemann f(z(t))zZ (t) dt.
Una
(2)
integral
del
tipo
f(z) dz
se
una integral
llama
!.
curvilnea con camino de integracion
EJEMPLO : Integrar una vez f(z) = 1
z alrededor del crculo
2
dz
z
=
2
cos t +
sen t ( c sen t b cos t) dt ~ dt = 2
0
Una definicion
equivalente
f(z)dz es la siguiente:
a la integral de lnea
Sea :[a,b] ! una
parametrizacion
de ! y a = to < t < < tn = b una
de [a,b]. Escojase
particion
k [tkc ,tk ] para k = 1, 2,
,n y sea zk = (tk ) y k = (k ) para
k = 1, 2, ,n.
Formemos la suma de Riemann
n
a ! la integral cambia de
ii c Cambiando de orientacion
signo: esto es,
f(z dz = c f(z) dz
!
-!
iii c Si ! = ! r ! y ! q ! = , entonces
f(z) dz = f(z) dz + f(z) dz
!
iv c
c f(z) dzc
!
!
b
!
Daro Snchez H
24
de !, entonces
v c Si k s es una parametrizacion
f(z) dz = f(z) dz
ks
es valido.
Esto es,
! fZ (z) dz = f( (b)) c f( (a))
en efecto,
! fZ (z)dz ~ b fZ ( (t)) Z (t)dt ~ b (f k )Z (t)dt
a
LONGITUD DE ARCO
Si
! ~ z d:z(t) ~ x(t) b y(t),a t b
es
"s
|"z|
|"z|
"t
"z
Z
= |"
t | |z (t)|
zt0
de donde
b
Si
! ~ z d:z ~ Re ,0 2
es
circunferencia de centro 0 y radio R, hallar
longitud
EJEMPLO
la
su
2
2
L(!) = |zZ (t)| dt ~ |Re |d ~ R d ~ 2R
a
Daro Snchez H
25
Daro Snchez H
f(z)dz = 0.
26
TS
TS
! = AB r C r BA r ( c K)
Daro Snchez H
27
C f(z) dz c K f(z) dz = 0
Lo cual se deseaba mostrar
de curvas se tiene
Por el principio de deformacion
f(z)
C zca
2
dz =
C f(z)
zca dz =
0
2
f(a+e )
e
e d
= f(a+e ) d
0
dz
|zca|= R
zca
C
1
zca
a ,a , ,an
que estan
en el interior de C, sean
C ,C , ,Cn
curvas suaves simples y cerradas que
contienen en su interior a a ,a , , an respectivamente.
Entonces
n
f(z) dz =
f(z) dz
C
Ck
k=1
Daro Snchez H
28
puntos
Sea T tal que a quede separado de los demas
como se ve en la figura, entonces
= + + +
as
K
K
T
T
C =K rT +K rT =
C +
K rT
Repitiendo el procedimiento para a , y as sucesivamente
hasta an (es un nu
mero finito de puntos) se tiene
n
=
+
+ +
=
C
C
C
C
Cn
k
k=1
De donde
C f(z) dz =
C f(z) dz
k
k=1
EJERCICIO : Calcular
|z|=6
z
e cos z
+ 12
z cz
dz
z
z
~
zeczcos+ z12 dz b
zeczcos+ z12 dz
*
*
z
z
z
e cos z
~ 4 ez cos
b
5
4
+
zc 5
'~
'~c
n+1
Daro Snchez H
29
en el interior
En efecto, si h es tal que b ~ a b h esta
de C, entonces
de donde
~ [ 21
zcf(z)
ach dz c
C
f(z)
(zcach)(acz) dz
f(a+h)cf(a)
h
1
f(z)
2 zca
C
Tomando lmite se obtiene
f() (a) = 21
1
2
dz ]
f(z)
(zca)
h
= 21
[
C
1
zca-h
1
zca
dz
As tenemos
f() (a) =
2(zca)ch
(zcach) (zca)
2i
C
=
2h 1
2
C
f(z) dz
(zca)
2!
2
C
f(z) dz
f(z) dz
(zca)2+1
1[
~ 2n!
h
h (zcach)n+1 c (zca)n+1 ]f(z) dz
C
n!
1 (zca)n+1 c(zcach)n+1
2
h [ (zcach)n+1 (zca)n+1 ]f(z) dz
C
[(zca)c(zcach)][(zca)n +(zca)nc1 (zcach)++(zcach)n ]
n!
2 C
n!
2i C
1
h
]f(z) dz
(zcach)n+1 (zca)n+1
nc1
nc
f(n+1) =
=
n!
(zca)n +(zca)n ++(zca)n
f(z) dz
(zca)n+ (zca)n+1
2i C
n
n!
(n+1)(zca)
2i C (zca)n (zca)n+2 f(z) dz
Luego
f(n+1) (a) =
EJEMPLO : Evaluar
|z|=4
z
e dz
(zc2)
(n+1)!
f(z)
2i
C (zca)n+2
dz
f(z)
h
dz
Daro Snchez H
30
Aplicando la formula
de Cauchy para las derivadas se
z
tiene:
~
fZ (z) = 2z e
z
z
fZZ (z) = 2e + 4z e
z
a = 2,
(zc2)
2!
valor maximo
de |f(z)| en !. Entonces aplicando
formula
integral para las derivadas, se obtiene
desigualdad de Cauchy
|f(n) (zo )| n!M
rn
Un resultado basico
del analisis
complejo es
siguiente:
TEOREMA DE LIOUVILLE : Si ' es una funcion
analtica y acotada
el
la
la
el
en
en una funcion
EJERCICIOS
Daro Snchez H
31
e) t b 2t ,
c2t2
f) cos t b 2 sen t , c t
4. Representar las siguientes curvas en la forma
z ~ z(t)
a) | z c | = 2
b) | z c 3 b 4 | = 4
c) y = x desde (0,0) hasta (2,4)
d) y ~ 1x desde (1,1) hasta (3, 13 )
e) x b 4y = 4
f) y ~ 1 b 2x desde (1,3) hasta (3, 53 )
5. Integrar z a lo largo del segmento rectilneo:
a) Desde 0 hasta 2 b b) Desde 0 hasta
c) Desde c 3+2 hasta c 4 b 5
d) Desde 0 hasta 3 c 12
6. Evaluar (z c 3)c dz, donde C es | z c 3| = 2
C
a) Un segmento rectilneo,
b) El crculo unitario en el semiplano izquierdo
c) El crculo unitario en el semiplano derecho.
9. Evaluar (1/jz ) dz desde 1 hasta c 1,
C
c) x dz =
e) y dz =
+
d) y dz =
f) y dz =
1+
2
2
dz = 1
g) z dz = z dz = z dz =h) z
Daro Snchez H
32
dz = 1 + (1 c /2) j) z
dz = 1 +
i) z
b)
zn dz
c)
n+1
zn+1
2 cz1
n+1
n c1
0 t 1.
c)
Evaluar
las
dz
|z|
a)
(3t b 2t) dt
b)
c)
t dt
(t +i)
d)
dz
| z |
f)
| z |=1
e z dz ,
>0
| z |=
-1
e)
| z | dz
| z |=1
dz
z +1
| z +1| = 1
(1cz)
igual a cero?
17. Verificar el teorema de Cauchy para z dz
dz es
tomando
Daro Snchez H
33
j) f(z) = z sec z
k) f(z) = tan h z
l) f(z) = 1/(z +2)
19. Evaluar las integrales siguientes
(Sugerencia. Si
positivo)
z c
c) z cz3 dz ,
C es | z c | = 1
(en el sentido
positivo)
d) z (zdz +4) ,
consiste en | z | = 3
(en el
positivo)
z
f) cos
dz , C es | z | = 1
z
g) zzccz+2
dz ,
C: la frontera del rectangulo
con
2z
C
vertices
3 f , c 1 f ( en el sentido del movimiento de
las manecillas de reloj).
20. Evaluar las siguientes integrales:
+
a) z dz
3
c) (z c 1) dz
2
d) (z +z ) dz
e)
g)
2
b) (z+4) dz
ez dz
f)
e2z dzh) zez
c
i) sen z dz
c
1
c
o
senh z dz
0
m) z cosh z dz
p)
c
r) z ez dz
1b
c1
i
o
ecz/2 dz
c 2
0
3
2
sen zd z
n) cosh 3z dz
i/6
q) z cos z dz
c
Daro Snchez H
34
algebra.
27. Encontrar el valor de la integral de g(z) alrededor
del contorno cerrado simple |z c | = 2 en el sentido
positivo cuando
1
a) g(z) = z1+4 ;
b) = (z +4)
28. Demostrar que cuando es analtica dentro y sobre
sobre C, se cumple
un contorno cerrado C y zo no esta
fZ (z) dz = f(z) dz
zczo
(zczo )
c
procedimiento de la paginas
que siguen a estos
Daro Snchez H
35
es
compleja.
una sucesion
funcion
recibe el nombre de sucesion
zn nS
BL si para todo
n
existe N o tal que si n N entonces |zn c L| <
CONVERGENCIA : zn es convergente si tiene lmite
LIMITE DE UNA SUCESION : Se dice que zn
lim z = n lim
a + n lim
b
B n
nB n
B n
DEMOSTRACION: ) Supongase
zn n
B L = a b b, entonces
para todo > 0, existe N {+ tal que si n N entonces
|zn c L| < pero
|an c a| |(an c a) b (bn c b)| <
y
|bn c b| |(an c a) b (bn c b)| <
de donde an n
B a y bn n
B b.
) Si an a entonces para todo > 0 existe N {+
tal que si n > N entonces |an c a| < . Si bn b entonces
para todo > 0 , existe N {+ tal que si n > N entonces
|bn c b| < ; por otra parte
|zn c L|=|(an c a) b (bn c b)| |an c a| b |bn c b| <
si N = Max{N ,N } entonces |zn c L| < para n N, N {+ ,
de donde
zn n
B L
PROPOSICION:
Daro Snchez H
36
n
4
n
EJEMPLO 1 : zn = 33+1
b (1 + 4
B 1 b ie
n
n ) n
EJEMPLO 2 : zn = zn = rn en = rn cos n b rn sen n, 0 2
Sn = zk
k=0
zn
n=0
EJEMPLO:
zn serie geometrica,
parciales
m-p
m-p
Sm = zn = zn+p = zp zn = zp [
Sm =
de donde
n=p
zp
1c z
n=0
n=0
p
cz
m
z
1cz z 1cz
B
zn =
n=p
zp
1cz
Si z = 1, S = ( c p) + 1
1czm-p-
1cz
p
m+
] = z 1cczz
si |z| < 1
|z| 1,
BB
po
diverge
=
n=0
diverge
n=0
pero zn converge.
n=0
EJEMPLO :
n=1
(c1)n
n
es absolutamente convergente ;
n=1
(c1)n
n
es condicionalmente convergente.
Para el estudio de la convergencia absoluta, son
aplicables los conocimientos para series reales. Es
bueno recordar los criterios de Abel , Dirichlet y los otros
vea sucesiones y series en mi pgina Web para un buen
estudio de la convergencia de las series complejas.
Daro Snchez H
37
En el analisis
complejo, las mas
importantes, con
terminos
variables, son las series de potencias. Una serie
de potencias de z c a, es una serie infinita de la forma
B
cm (z c a)m = co + c (z c a) + c (z c a) +
m=0
zm = 1 + z + z + =
m=0
una
muy
1
1c z
cz
RESULTADO:
/(n+1)!
c
zn /n!
|z|
n+1
0 cuando n B
B
cn (z c zo )n
Si la serie de potencias
converge para
n=0
del centro zo .
DEMOSTRACION:
Supuesto
que
la
serie
converge
en
a,
entonces
cn (a c zo )n 0 , si n B
zo
zczo
n
|cn (z c zo )n | = |cn (a c zo )n 4 zac
czo 5 | < M| aczo |
y por lo tanto,
(*)
Daro Snchez H
38
n=0
n=0
De
la
hipotesis
desigualdad
|z c zo | |a c zo |
se
tiene
la
| zacczzoo | < 1
y la serie del segundo miembro de (*) es una serie
geometrica
la cual converge. De aqu que la serie del
primer miembro de (*) converge absolutamente para
|z c zo | < |a c zo |.
B
cn (z c a)n
Si se da una serie de potencias
puede
n=0
Si la sucesion
j | cn | n = 1, 2, 3, converge al lmite L,
entonces el radio de convergencia R de la serie de potencias es
R = 1L
(formula
de Cauchy-Hadamard)
TEOREMA :
Daro Snchez H
incluyendo el caso
39
donde R = B , y la serie
1
L
j
{ | cn | }no
Si la sucesion
no es acotada, entonces 9 ~ , y la serie converge
solo
para z = a.
DEMOSTRACION : Si
lim j| cn | = L 0
nB
entonces
j
| cn | = |z c a|L.
lim j| cn (z c a)n | = |z c a|n lim
nB
B
an =
DEMOSTRACION: Si
(n)
n!
se supone que
Daro Snchez H
f(z) = e ~
4z
n=0
f(n) ()
n! (z
c )n =
40
4n
n! (z
n=0
c ) n
convergencia
c AAn+1n c
= d
4n+
n+
(n+1)! (zc)
4n (zc)n
n!
4
B 0 < 1,
d = n+1 |z c |n
an
p {+
con
n=cB
Haciendo un cambio
series conocidas
adecuado
se
pueden
estudiar
como
cp
n=cB
=acn
n=p
Ahora es facil
el estudio de series que tienen a la vez
subndices negativos y positivos, por ejemplo:
B
an = + a- + a- + a- + ao + a + a +
n=cB
c1
n=cB
n=0
n=1
n=0
an (z c a)n
n=cB
n=cB
n=1
n=0
recibe
a
su
por el criterio de la
n=1
raz que
j
| acn (z c a)-n | = j| acn | |z c a|- R |z c a|- < 1
j
Luego R < |z c a|, con R = n lim
| a cn | .
B
B
| an (z c a)n | =
Luego |z c a| < R
j
| an |
con
|z c a| R1 |z c a| < 1
R = lim 1j| an |
nB
Daro Snchez H
41
R < |z c a| < R
y por lo tanto R < R .
TEOREMA DE LAURENT: Si ' es analitica
en el anillo
r < |z c zo | < R
(z) = an (z c a)n
n=cB
donde
an =
1
2i
|zczo |=
()d
(czo )n+
, n = 0, f 1, f 2, r < < R.
DEMOSTRACION : Denotense
por y los crculos
|z c zo | = r + y |z c zo | = R c ,
integral de Cauchy,
(z)= 21i (c)d
c 21i (c)d
z
z
para todo z que satisfaga
r c < |z c zo | < R c
Por el teorema de Taylor la primera integral toma la
forma
B
1 ()d
= an (z c zo )n
2i
cz
n=0
con
an = 21i (c(z)d
n = 0,1,2,
n+ ,
o)
Para la segunda integral observamos que , por la serie
geometrica
c1
cz
1
(zczo )c(czo )
1
zczo
4
n=0
c zo
zczo
Daro Snchez H
42
n=0
Luego
c
1 () d
2i cz
= a-n- (z c zo )-n-
n=0
con
a-n- = 21i ((cz)od)-n
Finalmente, como ()/( c zo )n+ es analtica sobre y en
el interior de c o c , donde es el crculo
| c zo | = , r < < R, el teorema de Cauchy implica
zc1
1- 2
1- z
n=0
c1
n=-B
n=0
n=0
= c zn c ( z )n
como
(b) Para |z| < 1, se desarrolla la expresion
B
B
1
c 1 = c1/2 + 1 = c ( z )n + zn
zc2
zc1
1cz/2
1cz
n=0
n=0
Por tanto,
1
(zc1)(zc2)
= (1 c
n=0
1
n
2n+ ) z
|z| < 1
(c) Aqu
1
zc 2
1
zc2
1
zc1
1
zc1
1/z
1c2/z
1/z
1c1/z
2 n
(z)
z
n=0
c z1 ( z1 )n
n=0
c1
= ( 21n+ c 1)zn ,
2 < |z|
n=cB
1
zc1
=c
1
zc1
1
1c(zc1)
=c
1
zc1
c (z c 1)n
n=0
1,2.
Daro Snchez H
1
(zc1)(zc2)
=c
1
zc1
= c (z c 1)n .
1
1c(zc1)
43
n=c1
EJERCICIOS
1. Determinar cuales de las
absolutamente convergentes:
B
)
a) (3+4
n!
d)
g)
n=1
B n
n
e) e sen
,
n!
n=1
B
h) sennn ,
n=1
series
son
n(6+)
b) (n+1)(n+2)
n=0
B
n
n(2+)
n!
n=0
B
cosnn ,
a
n=1
siguientes
c) n( 3 )n
n=1
B
n
f) e cos
,
n!
n=0
B
i) (2i)
3n n
n=1
(3+4)n
4n
a)
n=0
B
b) en zn
zn
n=0
c) cos h n zn
n=1
B
in
3n
e)
n=0
B
n=0
B
f) 4 zn 5
n+1
g)
n=0
B
z
2n+
h)
i) 2z
k) (z b )
n=0
B
)
ll) (zc
5n
n=1
B
zn
nz
n +z
l) 3n (z c )n
n=0
B
m) ( )n zn
n=0
B
p)
n=1
B
n!n
n
n=1
B
j)
n=0
B
n)
d) (n+) zn
n=0
a)n
o) (zc
n!
n
(zcn2)
n
n=1
B
n n
n=0
B
n+1
z
q) (2n+1)!
n z
n=1
n=0
n
z
a) ( c 1)n 2n-1 (2n)!
n=1
B
cn
z
c) cos
in
n=1
B
b)
n=1
B
d) 4n (z1+1)n
n=1
-1
e) 4 zan + zbn 5
f)
n=-B
n=1
g) an (z c 3i)n ,
n=-B
1
(1ci)n zn
an ~ F
n7cn ,
n 4-n ,
zn
bn
n0
n< 0
Daro Snchez H
c 3i )-n ,
h) an (z
n=-B
B
i) an zn
n=-B
44
c
an = F [
an = F
c) f(z) = ez ,
a=0
d) f(z) = ez ect dt , a ~ 0
e) f(z) = cos z , a = 0
f) f(z) = 3z1+1 , a = 0
g) f(z) = sen(2z+1) , a =
h) f(z) = cos z , a = c 4
i) f(z) = sen z2 , a = 0
j) f(z) = sen h z2 , a = 0
k) f(z) = sen z , a = 0
l) f(z) = (1c1 z) , a =
ll) f(z) = 1z , a = 1
m) f(z) = ez , a = 1
5. Hallar los coeficientes en el desarrollo de Laurent
alrededor de 0 para las funciones:
a) f(z) = cos h(z+ 1z )
b) f(z) = cos (z+ 1z )
6. Halle la expansion
en serie de Taylor de las
siguientes funciones alrededor del punto indicado:
a) sen z , alrededor de zo = 0
b) cos z, alrededor de zo =
c) sen h z, alrededor de zo = 2
d) 1z , alrededor de zo =
c1
e) 2z
z cz , alrededor de zo =
f) z c 4z+2, alrededor zo = c 2
g) Log(1 c z), alrededor de z =
7. Halle la serie de Maclaurin de las siguientes
funciones
1
3z
a) 1+z
b) 1c1z5
c) (1czz )
d) (14c
cz)
e)
4z +30z+68
(z+4) (zc2)
f) sen 2z
g) ez ect dt
8. Halle los
primeros terminos
de
Maclaurin de las siguientes funciones
a)
cos z
1cz
1/(1cz)
h) ez cz
b) ez sen z
las
series
de
c)
ez
cos z
(ez )
d) e
e) cos 4 1cz z 5
f) e
9. Desarrollar las funciones siguientes en la serie de
Laurent que converja para 0 < | z | < R y determinar la
precisa de convergencia
region
a)
d)
sen 4z
z4
1
z (1+z)
b) z (11cz)
e) z51+z
c/z
c) e z6
f) z4 c13z
Daro Snchez H
45
g)
,a=1
h)
sen z
,a
(zc 4 )
1
z4 , a = 1
7z +9zc18
,a=0
z c9z
c4
l) 4z z+2z+
,a=2
c4z
4
i)
j)
=i
k)
(z +z)c
11.Encuentre la serie de Laurent de la funcion
en las regiones
a) 0 < | z | < 1
b) 0 < | z c 1| < 1
c) 1 < | z c 1| < 2
. Supongase
/2 (Zc1/Z)
=
n=cB
1
2
0
J n ( ) =
donde
que F(z) es
Jn ()zn
2
cos(n c sin )d
n = 0,1,2,3,...
19.Demostrar que
a)
b)
1
z
1
z
= 1 + (n+1)(z+1)n
=
1
4
una
n=1
B
cuando
n
cuando |z c 2| < 2
n=1
0 |z| 4
B
nc
= z4n+
n=0
|z+1| < 1
Daro Snchez H
46
APENDICE
SUCESIONES Y SERIES REALES
En la sucesion
A = a , a , a , , an ,
el numero
an que ocupa el n-esimo
puesto es llamado el n-esimo
elemento o el
La sucesion
se denota abreviadamente
n-esimo
termino
de la sucesion.
B
A = an n=1
es una funcion
cuyo dominio es el conjunto o de todos los
As, una sucesion
numeros
naturales : Al numero
natural n o le corresponde el n-esimo
elemento
de la sucesion.
DEFINICION : Una sucesion
() se dice tener un lmite 3 (o
1) lim
B
1
n
=0
si
>0
2 lim
2)
(1+ n )n = e si
no
B
3) lim
xn = 0
si
|x| < 1
B
/ n
j
4) lim
n = 1 , lim
a=1, a>0
B n
B
a
5) lim
=0 ,
a>0
B n!
a n
a
6) lim
(1+ n ) = e D a s
B
B
{an }n=1
Una sucesion
s se dice creciente si
n m a n am
y decreciente si
n m an am
B
{an }n=1 se dice monotona
Una sucesion
si es creciente o decreciente.
RESULTADO:
Toda sucesion
converge si y solo
si es
monotona
acotada.
B
{an }n=1
Una sucesion
se dice que satisface el criterio de Cauchy si dado > 0
existe N > 0 tal que | an c ak | < para todo n, k o.
B
RESULTADO: Si {an }n=1
es una sucesion
reales entonces
de numeros
B
{an }n=1
converge si y solo
si satisface al criterio de Cauchy.
RESULTADO: Toda sucesion
convergente de numeros
reales, es
acotada.
SERIES
Daro Snchez H
47
B
{an }n=1
llamada de sumas
Dada una sucesion
, podemos formar una nueva sucesion
parciales
S = a , S = a + a , S = a + a + a
serie infinita o
decimos que la serie an es convergente y tiene por suma a S en este caso
n=1
escribimos
B
ak = S
k=1
B
B
Si {Sn }n=1
diverge, decimos que la ak diverge y no tiene suma.
k=1
n=1
n=1
PROPIEDADES DE LAS SERIES: 1-. Sean an y bn dos series convergentes y
converge y su
sean y dos constantes. Entonces la serie ( an + bn ) tambien
suma es dada por la igualdad
B
B
B
( an + bn ) = an + bn
B
n=1
B
n=1
n=1
n=1
n=1
telescopica
que afirma
n
(bk c bkc ) = b c bn+
k=1
tenemos
B
EJEMPLO:
1
n=1
n +n
= ( 1n c
n=1
1
nb1 )
= 1 c lim
B
1
n
=1
de una
SERIES GEOMETRICAS. Sea xn , formada por la suma de los terminos
n=0
geometrica,
progresion
donde xn es la n-esima
potencia de un numero
real x. Sea
Sn denotando la n-esima
suma parcial de esta serie as que
Sn = 1 + x + x + x + + xnc
Daro Snchez H
48
nc1
k=0
k=0
k=0
dada por
1
1cx
. Esto es
1 + x + x + x + + xn + =
Si |x| 1, la serie diverge.
CRITERIOS DE CONVERGENCIA
B
1-. Si la serie an converge, entonces
k=1
1
1cx
si |x| <1
lim an = 0.
B
= 1, entonces j
n es divergente.
: Supongase
j
n
j2nc1 log(4n+1)
EJEMPLO: Estudiar la convergencia de la serie
n(n+1)
n=1
j2nc1 log(4n+1)
n(n+1)
iii- Comparando
lim
B
j log(4n+1)
j
2nn(n+1)
2 log(4n+1)
n3/2
con n5/4 tenemos
j2 log(4n+1)
n3/2
1
n5/4
= lim
B
j2 log(4n+1)
= 16 j2 lim
B
n/4
3/4 nc/4
= lim
B
j2
4
4
4n+1
lim
nc3/4 =
B
= 3 j2 lim
B
n/4
16j2 n3/4
4n+1
=0
Como
es convergente entonces la serie dada es convergente.
~
Daro Snchez H
49
si s
log
~
1
c
n=1
1- Sea an =
2 n!
nn
2 (n+1)!
(n+1)(n+1) , as
2n+1 (n+1)!
an+
an = (n+1)(n+1)
, an+ =
n=1
n+1
nn
2n n!
2
e2
(1+ n )n
<1
Luego
B
n=1
2n n!
nn
es convergente.
2-. Aqu lim
n c 1 = 0 < 1
[(n jn c 1)n ]/n = lim j
B
B
Luego
B
( j
n c 1)n es convergente
n=1
Daro Snchez H
50
n-esimo
orden en el infinito si f( z ) tiene un cero en z = 0 Por
ejemplo 1c1 z tiene un cero simple en el infinito.
Evidentemente, si f(z) es analtica en alguna vecidad
aislados.
analtica f(z) es un
Un punto singular de una funcion
se dice
punto donde f(z) deja de ser analtica. Tambien
que f(z) es singular o que tiene una singularidad, en ese
punto.
f(z) es singular en el infinito , si
Se dice que una funcion
f(1/z) es singular en z = 0.
Si f(z) tiene una singularidad aislada en un punto z = a,
entonces puede representarse por su serie de Laurent:
B
B
f(z) = bn (z c a)n + c
n
n=0
n=1
(zca)n
valida
en alguna vecindad de z = a. La u
ltima serie o sea
B
cn n se llama la la parte principal.
(zca)
n=1
zca
(zca)
algu
n n y en adelante
iguales a cero, digamos
. Entonces la serie se
+
c
'c
nu
mero finito de terminos,
la singularidad de f en z = a
se llama polo y m recibe el nombre de orden del polo.
se conocen como polos
Los polos de primer orden tambien
simples.
analtica f tiene una singularidad que
Si una funcion
no sea un polo, esta singularidad se conoce como
singularidad esencial de f.
Daro Snchez H
51
son
singularidades
esenciales.
Una
singularidad
esencial puede ser aislada o no. Si en el desarrollo de
Laurent de f(z), un nu
mero infinito de c n son
diferentes de cero, entonces la singularidad de f(z) en
z = a no es
un polo sino una singularidad esencial aislada.
f(z) = z(z1c2)5 + (zc12) tiene un polo
EJEMPLO: La funcion
simple en z = 0 y un polo de orden cinco en z = 2 .
B
1/z
Las funciones f(z) = e = 1 n = 1 + 1 + 1 + 1 +
n=0
n!z
2!z
3!z
y
B
sen z =
n=0
(c1)n
(2n+1)!zn+1
1
z
1
3!z
1
5!z
c+
n=1
(zca)
es la distancia desde c
a hasta el punto singular mas
proximo
de f(z). El coeficiente c de la potencia
1/(z c a) en el desarrollo es
c = 21 C f(z) dz C f(z) dz = 2c
Daro Snchez H
52
(zca)p(z)
lim (z c a) p(z)
q(z) =z lim
za
a (zca)[qZ (z) + (zca)q2 ZZ
(a)
+ ]
1
(mc1)!
dmc
dzmc
m
@ (z c a) f(z)Ae
z=a
Luego
Res f(z) =
z = a
1
(mc1)! z
f(z) =
La funcion
z= 0 y z = 1, as
EJEMPLO 1:
Res
z = 0
4c3z
z cz
mc
d
m
lim D dz
mc [(z c a) f(z)]E
a
4c3z
z cz
Daro Snchez H
53
4c3z
Res
= > 42zcc3z1 ? z=1 = 1
z = 1 z cz
2z
f(z) = (z +4)(z
EJEMPLO 2 : La funcion
c1) tiene un polo de
segundo orden en z = 1 , as el residuo correspondiente
es dado por
2z
d [(z c 1)
8
Res f(z) = lim dz
>
(z+4)(z
c1) ] =z lim
z 1
1 (z+4)
z = 1
8
? = 25
* . Entonces
TEOREMA DEL RESIDUO :
tomandose
la integral en el sentido positivo alrededor de *.
| z+1 | =3/2
z c1
(z+1)(z c4)(z+)
dz
I = R(cos , sen ) d
0
racional real de
donde R(cos , sen ) es una funcion
cos y sen finita en el intervalo 0 2 .
Haciendo e = z, se obtiene
as
2
dt
j5 + cos t
=
Daro Snchez H
cos t =
Por lo tanto
2
0
et + ect
2
dt
j5 + cos t
=
|z|=1
z + 1
2z
54
dz = et dt ~ z dt
1
dz
j5 + (z +1)/(2z) z
2
dz
z + j5z + 1
|z|=1
0
dt
j5 + cos t
= 2 2
lim
z c j5 + 2
1
(z + j5 c 2) z + 2zj
5 +1
= 4 14 =
definicion
de integral es diferente de la definicion
fuerte
mas
R
lim
F(x)dx
R +B
r cB r
z , z , , zn z d:? m z 0,
Sean
y sea F(z) una
funcion
z d:? m z 0 c z , z , , zn con polos en
analtica en
ademas
z , z , , zn . Supongase
que el
lim zF(z) = 0 en z:? m z 0
RESULTADO:
|z| B
Entonces
B
F(x) dx = 2Res F
zk
k=1
cB
DEMOSTRACION: Escojamos R suficientemente grande de tal
manera que los polos de F(z) queden en el interior de
! = z d:|z|= R,? m z 0
Entonces por el teorema de los residuos, tenemos
Daro Snchez H
55
EJEMPLO: Mostrar que (x + 1)dx
(x + 4) = 9
cB
d
Res F(z) = lim dz
(z c ) (z + 1)1 (z + 4) = c 36
z
z=
Res F(z) = lim (z c 2) (z + 1)1 (z + 4) = c 36
z 2
z=2
B
cB
dx
(x + 1) (x + 4)
= 2( c
i
36
i
36 )
9
C. INTEGRALES DE FOURIER
Integrales reales de la forma
B
f(x) cos sx dx
cB
f(x) sen sx dx
cB
que
Daro Snchez H
56
cB
cos 2x
x + 2x + 2 dx
= (/e ) cos 2
En efecto, la funcion
F(z) = z + 2z
claramente
+ 2
cB
e2x
x + 2x + 2
dx = 2 Res
z= c 1+
e2z
z + 2z + 2
e2(c1+)
2 2
Por lo tanto
B
cB
cos 2csen 2
e
As
B
He F(x)eix dx =
cB
cB
cos 2x
x + 2x + 2
dx =
cos 2
e
z tales que: i Todos los polos de F(z) localizados sobre el eje real
son de orden y coinciden con los ceros de cos ax o sen ax, a > 0 , y
ii F(1/z) tiene un cero al menos de orden , en z = 0 , entonces
B
y>0
sen x
x
dx =
Res F(z)eaz
y=0
2
p.v
ex
x
z
dx = Res ez =
z=o
cB
Al igualar las partes imaginarias se obtiene el
Daro Snchez H
57
EJERCICIOS
y el orden de los ceros de
1. Hallar la localizacion
las siguientes funciones:
(a) z c 1 ; (b) (z c 1) ; (c) zc cos z ; (d) z sen z ; (e) cosh 2z
+ z )
(z + 2)
z+
(f) (9
; (i) (4(1++ zz))
(1cz ) ; (g) z + 3 ; (h)
z
2.
Hallar
la
localizacion
y
el
tipo
de
las
singularidades de las siguientes funciones:
5
ecz
z
(a) senh z
(b) z +zc
(c) z
(d) (1+z
)
/(zc1)
(e) ze
(f) cosh [1/(z c ] (g) cos z c sen z (h) tan (1/z)
/(z-1)
(i) z e/z
(j) z cot z
(k) csc z
(l) (eez c1)
3. Escribir en cada caso la parte principal de la
en su punto singular aislado. Determinar si ese
funcion
punto es un polo, un punto singular esencial o un punto
dada:
singular removible de la funcion
z
sen z
/z
(a) ze ;
(b) 1+ z ; (c) z ;
(d) cosz z
z
(e) sen1 z ;
(f) 1czcos
; (g) c1+1 ez ; (h) e/z
6
4. Demostrar que todos los puntos singulares de cada
una de las funciones siguientes son polos. Determinar
el orden m de cada polo y el residuo correspondiente:
z
z
(a) zzc+12z ; (b) tanh z ; (c) 1ce
(d) (zec1) ;
z ;
z
z
z
(e) cosz z ; (f) ze+ ; (g) zecz ;
(h) (z +1)
5. Encuentre el residuo en todas las singularidades en d para las funciones dadas
por:
z
(a) f(z) = zz+1 ;
(b) f(z) = zecz ;
(c) f(z) = z z+1
;
z
/z
(d) f(z) = (z +1) ;
(e) f(z) = ze ;
(f) f(z) = z cos z ;
z
(g) f(z) = (z c 1)e/z ; (h) f(z) = (z c 1) sen z ; (i) f(z) = senh
z ;
3
(j) f(z) = tan z ;
(k) f(z) = (z + ) sec z; (l) f(z) = 1cz ;
z
zc1
(ll) f(z) = z+1 ;
(m) f(z) = 3ze ;
(n) f(z) = 1c2ez ;
c5
~ f(z) = z cos z ; (o) f(z) = cot z ;
(n)
(p) csc z ;
(q) f(z) = (z c 1)c ; (r) f(z) = csc z ;
(s) f(z) = (z+i)c6 ez
6. En cada caso, hallar los residuos en aquellos puntos
singulares que se
encuentren en el interior del
crculo | z | = 1.5 .
2z
c1
(a) f(z) = 1zcz ;
(b) f(z) = 4zz+1
;
(c) f(z) = z3c+3z
z+2
c6z
(d) f(z) = (z c3 1) ; (e) f(z) = (z+1)(z
(f) f(z) = z c83z
+16) ;
+2z
7. En cada una de las siguientes funciones, determinar
y clasificar los puntos singulares aislados y calcular
los residuos en cada singularidad (si es posible)
+8
ez
(a) f(z)= zz(z+2)
; (b) f(z)= z5 +2zz +z ; (c) f(z)= (zc3)(z
+a ) , a>0
n
z
e
(d) f(z)= (z+a)
n , n {; (e) f(z)= z(z+3) ;
z+1
(e) f(z)= (z cz 1) ;
(f) f(z)= cos
zc ;
z
ez c1
(h) f(z)= zcos
(i) f(z)= 2+
c z ;
ecz ;
5
Daro Snchez H
sen z
(z c1)(zc2) ; (l)
f(z)= cos (1 c 2z ) ;
1
cos z+cos a
n
(k) f(z)=
f(z)=
(m)
(o) f(z)= tan z ;
z
(r) f(z)= senh
z ;
z
n
(u) f(z)= z e ;
(ll) f(z)=
cos ( z+1 );
58
ez
4 csen z
~ f(z)= sen + 1 ;
{; (n)
z
z
(q) f(z)= 1z e/z ;
1
; (t) f(z)= zcsen
z;
c
z
(x) f(z)= ez +1
;
1
() f(z)= sen .
z
senh z
zcsenh z ;
(z c1)(zc2)
sen z
(y) f(z)=
(z) f(z)=
;
8. Para cada uno de los siguientes puntos, construya
una funcion
f(z) analtica en el plano complejo,
excepto en el punto singular aislado cuyas condiciones
se dan
i) f(z) tiene un cero de orden 2 en z ~ 1, un polo de orden 4 en z ~ 1, un
polo de orden 4 en z = 2+3
ii) f(z) tiene una singularidad esencial en z = 2 y un polo simple en
z~ c2
iii) f(z) tiene solamente un polo de multiplicidad m en z = a
iv) f(z) tiene solomente n polos de primer orden
9. Determine el valor de verdad para cada una de las
| z|=2
(d)
| zc1|= j5/2
(g)
dz
zn (z +1)
(e)
(f)
dz
zn (z +1)
| zc|=3/2
sen z
z +z
dz
(h)
| zc1/2|=1
| zc|=1/2
sen z
(z +z)
dz
| z |=2
(j) tan z dz
(k)
| z |=1
| z |=1
(m) z(zec1) dz
~
(n)
(0)
dz
z sen z
(q)
| z |= 3
(z +1)
ez sen z
| z |=2
| z |=
| z |=2
dz
dz
z +z+1
(r)
| zc|= 32
(i) ze/z dz
| z |=1
4z +8
z c3z +2z
4z dz
(ll) sen
z c9
| z |=5
| zc1|=2
dz
zn (z +1)
dz
(l)
z+1
2z+1
dz
| z|=1
(n)
ez dz
z (zc3)(z+5)
| z |=4
(p)
dz
1cez
| z |=6
dz
z +z
(s)
| z c |=1
sen z
z +z
dz
Daro Snchez H
59
12. Evalu
e las integrales siguientes
/2
(a)
0
2
(c)
(f)
2
(i)
d
5c4 sen
0
2
(d)
0
/2
d
(a+sen )
(c)
0
(g)
0
2
(j)
0
cos 3
5c4 cos 2
(ll)
2
(h)
d
17c8 cos
d
a cos +b sen
d
3+2 cos
(e)
d
1c2 a cos +a
2
d
5c4 cos
(l)
d
(a cos +b sen )
2
/2
(b)
d
a+sen
cos
cos c17/8
2
sen c2 cos
2+cos
d (k)
cos
13c12cos 2
d (m)
0
2
cos
13c5 cos
cos 3
2ccos
(a)
0
(d)
cB
1+x
1+x
(g)
0
B
(j)
cB
(b)
dx
x +1
0
B
(e)
dx
cB
B
(h)
dx
x +10x +9
sen 2x
x +x+1
dx
x sen x
x +9
x
1+x8
(c)
dx
cB
B
(f)
dx
cB
B
(i)
dx
(1+x )
cB
B
x
(k) cos
x +1
-B
x
(x c2x+2)
dx
dx
(x +1)(x +4)(x +9)
cB
B
(l)
dx
dx
(1+x )
cB
cos 4x
(x +1)(x +2)
dx
14. Evalu
e las siguientes integrales
B
cos
+ 4
(a)
0
(b)
cos
(1 + )
15.
Demostrar
que
igualdades se tienen
(a)
0
sen x
a + b cos x
2
sen x
a + b cos x
(b)
0
dx =
b
dx =
2
b
(c)
cB
para
cos
(1 + )(4 + )
0 b a,
las
(a)
1
1 + x
(b)
dx
x
x
+ x + 1
dx
(c)
0
1
x/3 (1 + x)
(a)
0
B
(b)
0
xc
1+x
x
1 + x
dx =
sin
dx =
2
(c) senn x dx =
0
(d)
0
cos 2x
a c2a cos x + 1
sec
(2n)!
(2n n!)
dx =
a
1ca
dx
siguientes
Daro Snchez H
B
(e)
dx
(x + a )(x + b )
2ab(a + b)
60
(a)
x
cB
B
(d)
(g)
x dx
x8 + a 8
cB
B
0
(x
(k)
0
B
(ll)
0
B
(n)
0
B
(o)
0
B
(q)
cB
B
(s)
0
B
(h)
, a0
x dx
(a + b x ) ,
0
B
(l)
a0
cB
x dx
x6 + a 6
, a0
dx
x6 + a 6 ,
a0
x sen ax
x + x + 1
, a b 0 (p)
cB
B
(t)
dx
cos 2x
xc3
, ab0
dx, ab 0
dx
(a)
0
(c)
cos 2
5 + 4 cos
2
0
B
(e)
0
(g)
0
2
(b)
0
8 d
5 + 2cos
d
1 + a cos
(d)
0
d
2 + sen
d
2 + cos
2
cos 2 d
1c2 pcos + p
c1<a<1
(f)
0
p
1cp
cos 3
13c12 cos
, c1<p<1
U N I D A D II
6. ORTOGONALIDAD.
6.1. FUNCIONES PARES E IMPARES
dx
dx
sen(xca) sen(xcb)
(xca)(xcb)
(r)
, a0
x + 1
x6 + 1
a0
x sen ax dx
(x + a )(x + b )
0
B
dx
, ab0
B x sen ax dx
x + a
0
(m)
~
(n)
x
x + 1
ab 0 (f)
x dx
(x + a )(x + b )
, a0
cos ax dx
+ a )(x + b )
cos ax
x + a
cB
cos ax dx
x + x +1
(x
(c)
, a b 0 (j)
dx
[(x + a ) + 1] ,
cos x dx
x + a
x dx
x6 + 1
ab 0 (e)
x dx
+ a )(x + b )
sen x
x+
dx
(a + b x )n ,
0
B
(i)
(b)
dx
+ x +1
Daro Snchez H
61
f se dice periodica
en s. La funcion
si existe To tal que
si t S se tiene que t + To S y f(t + To ) = f(t) para
todo t S. To se llama perodo de f. El perodo positivo
mnimo de f se denomina perodo fundamental. Cuando se
(a)
nTo +a
(b)
f(t) dt = f(t) dt
a
Daro Snchez H
62
6.3.PRODUCTO HERMITIANO
Sea w un espacio vectorial sobre d. El producto ,
sobre w se llama hermitiano si
, : w d w d
(u,v) u,v
satisface las condiciones:
H : u,v = v,u
, para todo u,v w
H : Si u,v,w estan en w, u,v + w = u,v + u,w
H : Si d, u,v = u,v
H : Para todo u w, u,u 0
b
EJEMPLO: Sea w = f:[a,b] d/ f(x) dx existe. Para todo
a
f,g w se define
b
f,g = f(x) g(x) dx. Entonces ,
a
b
ahora f,f = |f(t)| dt = 0,
si ! ~
|f(t)| ~ F
si !
pero f 0
Esta situacion
es la que lo distingue del producto
da la relacion
entre
escalar. La siguiente definicion
producto hermitiano y producto escalar
H5 : El producto hermitiano se llama definido positivo si
para todo u 0 , u,u > 0
Daro Snchez H
63
elemento w el numero
s tal que
(1) 0, y = 0 0
(2) + +
(3) =|| ,
es llamada una norma sobre w.
Sea w un espacio vectorial con producto hermitiano ,
dos vectores u,v de w se dicen ortogonales si u,u 0 ,
v,v > 0 y u,v = 0 .
Un conjunto
en w es ortogonal si sus vectores son
ortogonales dos a dos, es decir, todo par de vectores
diferentes son ortogonales.
EJEMPLO: El conjunto
~ e2nfo t :a t b,fo ~ 1/(b c a), n {
b
con el producto f,g = f(t)g(t) dt es ortogonal.
a
no necesariamente f ~ 0. Esta u
ltima afirmacion
es la
tambien
es
llamada
una
sucesion
linealmente
independiente.
RESULTADO: Todo conjunto ortogonal es linealmente independiente.
linealmente independiente es
Se dice que una sucesion
una base aproximada de w si para cada f w y cada > 0,
Daro Snchez H
64
lineal u + u + + n un tal
existe una combinacion
que
f c ( u + u + + n u n ) .
converge a .
Si = fn nS es una base ortogonal de w, entonces para
todo f w, existe n u
nico, para cada n S
c o tal que
f =
n fn
nS
En efecto, sea fm ,
f,fm = n fn ,fm = n fn ,fm = m fm ,fm
nS
nS
de donde
m
m = ff,f
para
mS
m ,fm
Los n son llamados coeficientes de Fourier.
n =
f,fn
fn ,fn
1
bca
a
f(t)ec2info t dt
fo =
1
bca
, n{
, es un
Si el dominio de definicion
S de una funcion
de variable
subconjunto de los enteros, se dice que es una funcion
DISCRETA.
Sea
w un espacio vectorial sobre d con
~ bn nS una base aproximada numerable y ortogonal. Sea
D un conjunto de funciones complejas de variable
RESULTADO:
Daro Snchez H
discreta
en
tales
(n) D
que
65
entonces
(n)bn
nS
definida por
existe (bn y sea J una transformacion
J : D w
(n) J [(n)] = (n)bn
nS
2. J es una transformacion
3. J es lineal
(uno a uno y sobre ).
4. J es una biyeccion
lineal, entonces existe
Puesto que J es una biyeccion
c
es lineal. Por otra parte se sabe que
tambien
J
n
(n) = n = b,b
n ,bn
para cada y cada n S, de donde
n
J c [] = b,b
= (n)
n ,bn
obtenida se nota
Para indicar la relacion
(n)
TEOREMA DE PARSEVAL :
donde f(n) = n .
DEMOSTRACION: Si f w existen n d tales que
f = n bn ,
nS
de donde
f,f = n bn ,f = n bn ,f = n bn , m bm =
nS
= n mbn ,bm =
nS
mS
nS
n S
mS
n n bn ,bn =
|n | bn
n S
n S
de donde
f =
bn |n | =
bn | f(n) |
nS
nS
una funcion
p(t) continua en [a,b] tal que con el
siguiente producto
b
p(t) se le
la BASE
resulta ortogonal. A la funcion
de peso.
llama funcion
NOTA : Debe entenderse que w es un espacio de funciones
dado por
b
Daro Snchez H
66
operador L y y , y
entonces se tiene que
y Ly c y Ly = [r(t)(y yZ2 c yZ1 y )]Z
L y = p(t)y ,
t=
= 0
t=a
entonces
b
DEMOSTRACION:
y (t) p(t)y (t) c y2 (t)1 p(t)y1 (t) ~ y (t)L[y (t)] c y (t)L[y (t)]
= [r(t)(y (t)y2Z (t) c y1Z (t)y (t))]Z
Luego
y (t)p(t)y (t)( c ) = r(t)[y (t)y2Z (t) c yZ1 (t)y (t)]Z
de donde
t=
b
Z
Z
( c 1 ) p(t)y (t)y (t) dt = r(t)<y (t)y2 (t) c y1 (t)y (t)=
= 0
a
t=a
b
Como entonces p(t)y (t)y (t) dt = 0 que equivale
a
a y ,y = 0
o sea que y ,y son funciones ortogonales
de peso p(t).
para el producto con funcion
EJEMPLO : Ortogonalidad
Daro Snchez H
67
n = 0,1,2,3, se tiene
[(t c 1)PZn ]Z + 0 h Pn (t) = c n Pn (t)
De esta forma
-1
para el producto
1
por
lo
tanto
si
fw
entonces
f(t)= cn Pn (t)
donde
n=0
n
cn = Pf,P
n ,Pn
sea
cn
2n+1 1
f(t)Pn (t) dt
2
c1
en
estas
desarrollada en serie
condiciones se
dice que f esta
generalizada de Fourier-Legendre.
6.5.FUNCION DELTA DE DIRAC
de esta funcion
se hace a traves
de
La representacion
una sucesion
de funciones llamadas de Heaviside
Hn
{Kn } de Dirac .
cuya derivada es una sucesion
FUNCION DE HEAVISIDE O FUNCION ESCALONADA UNITARIA
|
si !
H(t) = }
si ! ~
~ si !
1
] , n = 1,2,3,
Daro Snchez H
1 , Hn (t)
Hn (t)
tB
Hn (t)
nB
t=0
.
t cB
Es evidente que
Kn (t) t
B0,
B
cB
cB
n/
1 + n t
68
Hn (t) n
B 1,
t>0
Hn (t) n
B 0,
Hn (t) n
B H(t)
t<0
de Dirac
, Kn es una sucesion
B, si
Kn (t) n
B F
si
B
t=0
!
D n = 1, 2, 3,
cB
cB
lo que significara
se
concentra en cero .
facilita la interpretacion
geometrica
Esta presentacion
(t) llamada de Dirac.
de las propiedades de la funcion
entre Hn y Kn , HnZ = Kn hace pensar en la
La relacion
siguiente definicion
Z
H (t) = (t)
Para Hn (t c c) se tienen los siguientes resultados:
i. Hn (t c c) n
B H(t c c)
B
ii. Kn (t c c) dt ~ 1 , n ~ 1,2,3,
cB
iii. HZn (t c c) ~ Kn (t c c) (t c c)
iv. HZ (t c c) ~ (t c c)
Daro Snchez H
69
v. (t c c) dt ~ 1
cB
en la siguiente grafica
al representar a (t c c) por
una flecha hacia arriba
cero
fuera
cB
cB
cB
de
(para
DEMOSTRACION :
B
B
-B
c fZ (t) (t c c) dt
cB
= ( c 1) fZ (c) .
Daro Snchez H
Se puede generalizar
resultado es
para
f(n) (t)
70
continua
en
cuyo
EJEMPLO: Calcular
b
f(t) (t c c) dt
a
si a c y b c con a < b.
SOLUCION:
= f(t) (t c c) dt = f(c)
cB
b
Por que?
Observese
que
B
n=-B
n=-B
0
n
csc
= ( c 1) ( c s) e
csc
= se
. Calcular
csc
lim s e
c 0+
EJERCICIOS
1.Demostrar las propiedades de las funciones pares e
impares.
2.Demostrar
las
propiedades
de
las
funciones
periodicas.
b
es un producto hermitiano en w.
Daro Snchez H
71
= einfo t , a t b , fo = bc1 a , n {
es un conjunto ortogonal.
6. Demuestre que todo conjunto ortogonal es un conjunto
linealmente independiente.
7.Sea w ~ f:[a,b] d/f(t) tiene segunda derivada continua en (a,b),
se define el operador auto-adjunto
L y = [r(t)yZ (t)] + q(t)y(t),
demostrar que L es lineal.
8. Sea w el mismo espacio del ejercicio 7. Demostrar la
identidad de Lagrange o sea demostrar que
y Ly c y Ly = [r(t)(y yZ2 c yZ1 y )]Z
9.
Demostrar
que
f(x) ~ sen2x
y
g(x ~ cosx
son
SUGERENCIA:
d) 1, x , x c 1,
p(x) = ecx /2 ,
c B x< B
Daro Snchez H
72
e) f + f , f + f f) 2f c f , f c f
14. Halle los valores propios y las funciones propias
para el problema de Sturm-Liouville siguiente:
y" + y = 0 , y() = y( c ) , y'() = y'( c )
15. Hallar las funciones propias de los siguientes
problemas de Sturm-Liouville:
a) y" + y = 0 , y(0) = 0 , y'(l = 0
b) y" + y = 0 , y'(0) = 0, y'(l) = 0
c) y" + y = 0 , 0 x , y(0) = 0, y'() = 0
d) y" + y = 0 , 0 x 1 , y(0) = 0, y(1) + y'(1) = 0
e) y" + y = 0 , 0 x 1, y(0) + y'(0) = 0, y'(1) = 0
16. Ponga cada una de las siguientes ecuaciones en
forma de un operador auto-adjunto:
a) xy" + y = 0, x > 0
b) y" c y' + y = 0,
c) xy" + (1 c x)y' + y = 0 , x > 0
d) (1 c x ) y" c 2xy' + y = 0, c 1< x < 1
f) x y" + xy' + (x c n )y = 0, x > 0
g) x (x + 1) y" + 2x y' + y = 0, x > 0.
17. Estudie la ortogonalidad de las funciones de
Bessel. Obtenga la serie de Fourier-Bessel.
a)
cB
B
(at) (t) dt =
b)
cB
cB
B
1
(t)
|a|
cB
4 at 5 dt =
1
|a|
(0)
cB
Daro Snchez H
73
funcion
B
a) ex (x) dx
c1
c2
2
c) ex (x) dx
0
b) (x c 5x + 7) (x) dx
5
d) x (x c 2) dx
c3
28. La ecuacion
(1 c x )y" c xy' b n y ~ 0 es llamada
de Chebyshev cuya solucion
son los polinomios
ecuacion
Tn (x) ~ cos[n arc cos x]
para c 1 x 1
llamados los
polinomios de Chebyshev. Demostrar que los polinomios
de Chebyshev forman un conjunto ortogonal.
29. La ecuacion
xy" b ( b 1 c x) y' b n y ~ 0 es conocida
de Laguerre cuya solucion
es dada por
como la ecuacion
1
x c dn
cx n+
Ln (x) ~ n! e x dxn (e x )para 0 x B, estas funciones
son llamadas los polinomios de Laguerre. Demostrar que
los polinomios de Laguerre forman un conjunto ortogonal.
30. La ecuacion
y" c xy' b ny ~ 0 es conocida como
de Hermite y tiene por solucion
a las funciones
ecuacion
n x /2 dn
cx /2
Hn+ (x) ~ ( c 1) e
] , llamadas polinomios de
dxn [e
Hermite. Demostrar que los polinomios de Hermite forman
un conjunto ortogonal en ( c B,B)
31.Compruebe que cada uno de los siguentes sistemas es
un sistema ortogonal en el conjunto indicado y con la
funcin de peso $ dada:
% & ~ cos % cos & % & ~
~ $% & ~ .
% & ~ % cos & % & ~
~ $% & ~ .
UNIDAD III
ANALISIS DE FOURIER
. 7. SERIES DE FOURIER
7.1 SERIES DE FOURIER FORMA EXPONENCIAL.
Daro Snchez H
74
To f(t) g(t) dt
f,g =
tiene al conjunto
e2info t : n {
como base ortogonal aproximada , as si f wp entonces
se tienen las siguientes relaciones
B
To
2inf t
c2info t
f(t) = n e o
dt
c n = 1 f(t) e
To
n=cB
f(t) n
La primera se llama serie de Fourier
y
la
segunda,
coeficientes
de
f(t)
exponencial.
A la relacion
para indicar que la una se obtiene de
IDENTIDAD
DE
PARSEVAL:
Ya
forma exponencial
Fourier
forma
n se le nota as
la otra.
demostrada, se
sigue
que
si
f(t) n entonces
1 To
To
|f(t)| dt = |n |
n=cB
2inf t
Sm = n e o ,
n =
n =c m
1 To
f(t) ec2info t
To
0
dt
1 To
To
0
|f(t)| dt c |n |
n =cm
En efecto,
(t))
|Em (t)| ~ Em h Em (t) ~ f(t) c Sm (t),f(t) c S
m
(t)
n e2info t + n e2info t h S
~ |f(t)| c f(t) n e2info t c f(t)
m
m
n=cm
n =cm
n =c m
n f(t)ec2info t c n f(t)e
~ |f(t)| c
n =c m
n =cm
c2info t
k e2i(nck)fo t
n
n =cm k =cm
Integrando
To
1
To |Em (t)| dt
0
To
m
1
n 1 To f(t)ec2info t dt
To |f(t)| dt c
To
n
=
c
m
0
0
m
m
m
T
T
o
o
1
c
2
inf
t
n f(t)e
n k e2i(nck)fo t dt
o dt+
To
To
n =cm
n
=cm k =cm
0
0
To
To
m
m
m
1
1
n n c n
n + n
n
To |Em (t)| dt ~ To |f(t)| dt c
n=cm
n=cm
n=cm
0
0
To
To
m
1
1
| n |
|E
(t)|
dt
=
|f(t)|
dt
c
m
To
To
n=cm
0
0
Daro Snchez H
75
|n |
n=cm
1 To
To
0
|f(t)| dt
TEOREMA DE PARSEVAL:
m
T
0 =m lim
= lim ( 1 o |f(t)| dt c |n | ) =
B m m B To 0
n=cm
de donde
B
1 To
|f(t)| dt = |n |
To
Si
c | n |
n=cB
n=cB
0
B
1 To
|f(t)| dt
To
0
n=cB
SOLUCION :
o =
To f(t) dt =
1
To
To t dt =
1
To
Si n 0 ,
n =
1
To
1
To
To tecnfo t dt =
0
as
H
;
;
si ~
si
Luego
B
To
2
f(t) = t =
n=cB
n0
To
2 n
e2nfo t
As
f(t) =
Sm (t) =
To
To
iTo
2
iTo
2
n=cB
n 0
m
n=cB
n0
e2nfo t
n
e2nfo t
n
Ahora
| n | = H
T2o
4
T2o
4 n
si
n = 0
si
n0
luego
To f(t)ecnfo t dt =
n =
To
2
dt =
1 To
t
To
0
dt =
T2o
3
To
2 n
Daro Snchez H
1 To
|f(t)|
To
0
76
dt = |o | +
| n |
n=cB
n0
se transforma en
T2o
3
B
de donde
1
n
n=cB
n 0
To2
4
T2o
4 n
+
n=cB
n 0
3
f(t) ~ n e2info t
que
n ~
donde
n=cB
1
To
To f()ecnfo d
sustituyendo se obtiene
B
T
f(t) = @ T1o o f()ecnfo d A e2nfo t
n=cB
B
=
n=cB
1
To
To f()enfo (tc) d
0
c1
nf (tc)
nf (tc)
1 To
f()d + T1o To f()e o d + T1o To f()e o d
To
n=cB
2
[ To
f(t) =
f()d ] +
+
n=1
=
=
B
= ao +
n=1
B
2
To
1
To
1
To
n=1
n=1
To
To f()ecnfo (tc) d
0
ao
+
ao
To f()
2
To
n=1
nfo (tc)
n=1
B
<e
2
To
+ecnfo (tc)
?d
2
To f()cos 2nfo (t c ) d
0
To
f( )[cos 2nfo t cos 2nfo + sen 2nfo tsen 2nfo ]d
0
D4 T2 To f() cos 2nfo d5 cos 2nfo t+ 4 T2 To f( ) sen 2nfo d 5 sen 2nfo tE
ao +
o
o
n=1
as,
donde
f(t) =
ao =
ao
2 To
f()d
To
, an =
2 To
f() cos 2nfo d
To
0
bn =
2 To
f() sen 2nfo d
To
0
real.
Por lo general en este caso f(t) es una funcion
TEOREMA DE PARSEVAL :
Daro Snchez H
2
To
0
|ao |
2
|f(t)| dt =
77
b [|an | +|bn | ]
n=1
Si es real la expresion
queda as:
To
2
To (f(t))
0
dt ~
a2o
2
b [a2n b bn2 ]
n=1
f(t) ~
2
To
f(t)f(t)
= ao
2
[an 2 f(t)cos
2nfo t + bn T2o f(t)
sen 2nfo t]
To f(t) +
To
n=1
To
n=1
To
2
To
0
+ bn
2 To
To
0
To
< an
f(t) dt +
n=1
To
2
To
0
f(t)cos 2nfo t dt +
f(t)sen 2nfo t dt =
As,
To
2
To
0
|f(t)| dt =
ao
2
]~
o b [an a
n + b n b
a
n
|ao |
2
n=1
+[|an | +|bn | ]
n=1
Si
f(t) es real necesariamente an y bn son reales de
donde
To
2
To (f(t))
0
dt ~
a2o
2
b [a2n b bn2 ]
n=1
complejo
m
RESULTADO: m =
To
1
To
m =
|f(t)| dt c
a2o
4
To |Em (t)| dt
0
m
c :|an | b |bn | ;
n=1
SOLUCION : ao =
an =
2
To
2
To
t dt = To
0
To t cos 2nfo t dt =
0
To
2
To
t sen2nfo t
2nfo
cos 2nfo t
(2nfo )
To
= 0
0
Daro Snchez H
bn =
2 To
t sen 2nfo t dt
To
0
as,
t =
To
2
2
To
t(ccos2nfo t)
2nfo
<
78
sen 2nfo t
(2nfo )
To
cTo
n
To 1
n
sen 2nfo t
n=1
2
n
3 To c 2 =
To
0
n=1
To
n=1
1
n
Luego
B
n=1
1
n
6
Serie finita :
To
2
Sm (t) =
1n sen 2nfo t
To
n=1
Hemos mostrado
desarrollo
que
f(t) =
si
f wp
entonces
se
obtiene
el
donde
ao =
2 To
f()d
To
2 To
f() cos 2nfo d
To
, an =
bn =
2 To
f() sen 2nfo d
To
0
n=1
donde
ao =
4 To /2
f()d
To
4 To /2
f() cos 2nfo d
To
, an =
To
n=1
periodica
n=1
con coeficientes
l
ao = 2l f(t) dt , an =
2l
2
l
l f(t)cos
n
l
t dt
n=1
con coeficientes
l
bn = 2l f(t)sen
n
l
t dt
, n = 1,2,
Daro Snchez H
79
periodica,
con perodo T ~ 2 l, a todo s, esta puede
hacerse de dos formas
extendida es PAR entonces obtenemos el
(i) La funcion
llamado desarrollo de medio par de f(t) y es dado por una
serie de Fourier cosenoidal
extendida es IMPAR entonces obtenemos
ii Si la funcion
el llamado desarrollo de medio rango impar de f(t).
definida es [0,l] tiene dos
Es de notar que toda funcion
desarrollos de medio rango, el uno par y el otro impar.
EJEMPLO : Encontrar los desarrollos de medio rango de la
funcion
! ~ H
cuando !
c ! cuando !
an =
2
l
=
@
2k
l
1
l
2k
l
l/2 t dt +
0
2k
l
4k
n
(2cos n2
l (l c t) dtA =
l/2
2k
l
k
2
l (l c t)cos n t dtA =
l
l/2
=
c cosn c 1)
As
a = c 16k/2 , a6 = c 16k/6 , a0 = c 16k/10
mientras que an = 0 cuando n 2,6,10,14, . De aqu que
el primer desarrollo de medio rango par de f(t) es
1
2
1
6
f(t) = k2 c 16k
( 2 cos l + 6 cos l + )
n
De modo semejante, bn = n8k
y el otro desarrollo
sen 2
de medio rango impar f(t) es
1
1
3
1
5
f(t) = 8k
( 1 sen l t c 3 sen l t + 5 sen l t c + )
Daro Snchez H
80
Una funcion
ordinaria suave a tramos g(t) puede
continua go (t) mas
terminos
As, la
de la figura
funcion
g(t) = go (t) + k u(t c c ) + k u(t c c )
donde k es un salto positivo y k es negativo.Por
dada por
consiguiente su derivada sera
Z
Z
g (t) = go (t) + k (t c c ) + k (t c c )
generalizada. Es posible repetir
la cual es una funcion
el proceso y usualmente nos permite obtener derivada de
orden superior. Excepto en los saltos las derivadas se
2
To
To /2
f(t)cos 2nfo t dt =
cTo /2
To /2
2
(t) cos 2nfo t dt
To
cTo /2
Luego
f(t) =
1
To
2
To
Daro Snchez H
obteniendo
compleja
la
n =
trigonometrica.
forma
To /2
1
f(t)e-2nfo t dt
To
cTo /2
81
Ahora
To /2
1
(t)ec2nfo t dt
To
cTo /2
la
=
forma
1
To
de donde,
f(t) = To (t) =
1
To
e2nfo t
n=cB
EJEMPLO: Calculo
diferenciacion:
Hallar la serie de la onda de la figura
calculando primero la derivada
a.FORMA TRIGONOMETRICA:
teniendose
f(t) =
ao
2
n=1
as
B
si Bn ~ c 2fo an entonces
B
y de aqu an ~
Bn
c2nfo .
La siguiente es la grafica
de fZ (t)
Para c T2o < t < T2o , f(t) = Au(t+d/2) c Au(t c d/2) y por lo
tanto para c T2o t T2o ,
fZ (t) ~ A (t+d/2) c A (t c d/2), fZ (t) es impar,
as
To /2
cTo /2
To /2
2A
To
cTo /2
Daro Snchez H
82
d
d
Bn ~ 2A
To [sen 2nfo ( c ) c sen 2nfo ( )]
c4
~ 2A
To [ c sen nfo d c sen nfo d] = To sen nfo d
Luego
an ~ nA sennfo d, n 0
2
To
ao =
To
f(t) dt ~
0
d/2
4
To
0
2Ad
To
A dt =
de donde
f(t) ~
b A sennnfod cos2nfo t
2Ad
To
n=1
cn
cn = 2info n entonces n =
si
y
2info
, n0
fZ (t) = cn e2nfo t
n=cB
To
n =
2
To
0
f(t)ec2info t dt =
n =
o =
ya que
d/2
A c2info t
e
dt
To
cd/2
A sen nfo d
To
nfo
To
1
To f(t) dt
0
d/2
A
To
cd/2
A ec2nfo t
To c2nfo d
dt =
c
Ad
To
To
1
To
0
A
To
To /2
[enfo d c ecnfo d ] ~
n =
cn
2nfo
2A
To
2A
To
enfo d cecnfo d
2i
sennfo d
2nfo
]~
A
To
2A
To
sennfo d
, n0
sennfo d
nfo
EJERCICIOS
1.Expresar las siguientes funciones en serie de Fourier
forma exponencial:
1, para 0 < t <
a) f(t) = F
b) f(t) = t , para c < t <
0, para < t < 2
c) f(t) = sen t , para c < t <
d) f(t) = c t , para c < t <
|
2 , para 0 < t < 23
c t , para c < t < 0
e) f(t) = } 1, para 23 < t < 43
f) f(t) ~ F
t , para 0 t
~ 0 , para 43 < t < 2
0, para c < t < 0
cos t, para c < t < 0
g) f(t) = F
h) f(t) = F
sen t, para 0 < t <
t , para t
2. Expresar las siguientes funciones en serie de
Daro Snchez H
83
periodicas,
de perodo 2, son pares, impares o ni
pares ni impares?
a) f(x) = x ( c < x < )
b) f(x) = x ( 0< x < 2)
c) f(x) = x | x | ( c < x < )
d) f(x) = e| x | ( c < x < )
x si 0 < x <
c x si c < x < 0
e) f(x) = F
f) f(x) = F
0 si < x < 2
x si 0 < x <
x si c /2 < x < /2
x si c /2 < x < /2
g) f(x) = F
h) f(x) = F
0 si /2 < x < 3/2
c x si /2 < x <3/2
5. Si f(x) es impar , entonces | f(x) | y f (x) son
funciones pares.
6. Si f(x) es par , entonces | f(x) |, f (x) y f (x) son
funciones pares.
definida para toda x, entonces
7. Si g(x) esta
es par y la funcion
q(x) = g(x)c2g(cx)
es impar.
8. Representar las funciones siguientes como la suma de
par y una funcion
impar
una funcion
a) 1/(1 c x)
b) 1/(1 c x )
c) ex
d) x/(x + 1)
9. Hallar las series de Fourier de las funciones
siguientes que se suponen tienen perodo 2.
1 si c /2 < x < /2
x si 0 < x <
a) f(x) = F
b) f(x) = F
0 si /2 < x <3/2
c x si < x < 2
Daro Snchez H
84
trigonometrica.
13. Sea ;m =
1
To
To
;m =
1
To
|f(t)| c
0
ao2
4
[|an | +|bn | ]
n=1
14. Sea un nu
mero real dado , t y x variables reales.
1
x
b x c2xk
k=1
Daro Snchez H
M
85
B
x x c1k
, la funcion
k=N
d) Muestre que si x no es mu
ltiplo entero de :
1
sen x
k~cB
1
(xck)
primeros terminos
de la serie precedente tiene un
mnimo relativo.
Sn (tn )tiene por lmite:
c)Muestre que la sucesion
c 2
sent
dt
t
d)
Determinar
x
funcion:
el
1
0
desarrollo
sent
t
en
serie
entera
de
la
dt
8. TRANSFORMADA DE FOURIER.
Si las series de Fourier se llevan al lenguaje de las
de hace mas
facil.
transformadas, su manipulacion
Como
ya lo sabemos la escritura es la siguiente:
To
Se tiene
T:wp
f(t)
To
1
To
0
^
f(t)ec2nfo t dt = f(n)
obteniendose
la correspondencia f(t) f(n)
Esta transformacion
recibe el nombre de transformada
integral finita de Fourier.
Daro Snchez H
86
periodica
no es periodica.
Si n = f(n)
, se tiene que
B
To /2
^
^
fT (t) ~ f(n)
e2nfo t , f(n)
~ 1 fT (t)ec2nfo t dt
To
cTo /2
n=cB
de donde
To /2
^
To f((n)
~ fTo (t)ec2(n/To )t dt
cTo /2
La frecuencia
n
. Puesto que
To
n+1
entre
To
frecuencia se
definirse
Dado que To
To B
cB
n=cB
n=cB
^
fTo (t) ~ f(n)
e2(n/To )t ~ To ^f (n)e2(n/To )t T1o
Como To B, se puede definir
Daro Snchez H
n+1
To
d = lim 4
To B
n
To
5 ~ lim
87
To B To
de donde
lim
To B
To B
n=cB
^
To f(n))
e2(n/To )t T1
^ )e2t d
f(t) = f(
cB
y su inversa
por
B
^ )](t) ~ f(
^ )e2t d ~ f(t)
c [f(
cB
f(t) f(
en la frecuencia y
en el tiempo t.
B
^ ) ~ [f(t)]() ~ f(t)ec2t dt ~
SOLUCION: f(
cB
cB
~ 2 a
a
+ (2)
2a
(2) + a
^ ), g(t) g(
^ ) entonces
2.L I N E A L I D A D : Si f(t) f(
^
^ )
f(t) + g(t) f() + g(
B
cB
^ ) b g(
^ )
~ f(t)ec2t dt b g(t)ec2t dt ~ f(
cB
cB
Daro Snchez H
88
DEMOSTRACION: De
cB
^ )f(t)
|f(t)| ~ f(t)f(t)
~ f(
e2t d
B
cB
cB
B
cB
^ )f(t)ec2t d dt
|f(t)| dt ~ > f(
?
cB
^ ) f(t)ec2t dt d
~ f(
>
?
cB
cB
cB
cB
cB
cB
^ ) d ~ |f(
^ ) f(t)ec2t dt d ~ f(
^ )f(
^ )| d
~ f(
>
?
B
EJEMPLO: Calcular
cB
d
[(2) ba ]
a > 0
Entonces |eca|t| | dt ~ | (22a
) ba | d , de donde
cB
B
cB
cB
d
[(2) ba ]
B
1
2
ec2at dt
4a
0
c1
4a
ec2at c
1
4a3
^ ) d luego se puede
4. E S P E C T R O S : Sabemos que f(
^ ) ~ |f(
^ )|e() de aqu:
escribir en la forma: f(
^ )| se le llama
A |f(
espectro de Magnitud.
A
() es
^
llamado espectro de fase y es el Argf(). En el primer
ejemplo
2a
^ )| ~ f(
^ ) ~
|f(
, ( ) = 0
(2) + a
5.EXISTENCIA DE LA TRANSFORMADA DE FOURIER .
B
^ ) existe.
Si |f(t)|dt < B entonces f(
cB
cB
cB
|f(t)ec2t |dt
cB
es absolutamente
transformada.
convergente
por
lo
tanto
existe
la
Daro Snchez H
89
fo
constantes
cB
^ ) existe.
y g(t) es decreciente entonces f(
especficamente establecidas todas las
Aunque no esta
funciones para las cuales exista la transformada, se
acotada es decir
puede suponer que son las de variacion
que,
en
cualquier
intervalo
finito,
pueden
ser
representadas por una curva de longitud finita.
Sin embargo se puede extender la teora a las funciones
(t) (delta de
generalizadas, por ejemplo a la funcion
Dirac).
^ ) y f(t) ~ (t c c), hallar f(
^ )
EJEMPLO: Si f(t) f(
B
B
^ ) = f(t)ec2t dt = (t c c)ec2t dt = ec2c
SOLUCION: f(
cB
cB
en la frecuencia
^ -s)
e2ts f(t) f(
cB
cB
^ )
~ f(t)ec2t ec2c dt ~ ec2c f(t)ec2t dt ~ ec2c f(
cB
cB
de izquierda
Hacer como ejercicio la otra demostracion
a derecha.
^
^
EJEMPLO: (t) 1 ~ (), (t c c) ec2c () ~ ec2c
^ ) ~ (f(t)) entonces se tiene:
7.TEOREMAS DE SIMETRIA: Si f(
^
^t) f( c )
a) f( c ) ~ (f(t)),
o , f
^ c t)) , o , f(
^ c t) f()
b) f() ~ (f(
B
^ )e2t d cambiando
DEMOSTRACION:a) Se sabe que f(t) ~ f(
cB
^
luego se obtiene que
f(t)
f( c ).
Hacer b) como ejercicio.
Daro Snchez H
90
^ ) si a,
8.TEOREMAS DE CAMBIO DE ESCALA. Supongamos f(t) f(
b 0 entonces se tiene
1 ^
a) (f(at)) = |a|
f( a )
1
t
^ ), o , 1 f( 1 ) f(b
^ )
b)
(f( )) = f(b
|b|
|b|
bc
f(x)dx ~ 1 f( x )dx
c
c
a
1
Ahora [ |b|
f( bt )]() ~
cB
1
t
c2t
dt
|b| f( b )e
Bh1/b
1
1
t/b
f( 1/b
)ec2(t/(1/b)) dt =
|b| 1/b
cBh1/b
B
c2(b)t
si b > 0
cB
si b < 0
b
|b|
f(t)ec2(bt) dt
cB
^ )
dt = f(b
f(t)e
, c0
ac
cB
^ )
= c 1 f(t)ec2(b)t dt = f(t)ec2(b)t dt = f(b
B
cB
To
cB
cTo
1
b
^ ) = f(t)ec2t dt = Aec2t dt
DEMOSTRACION: a) f(
Daro Snchez H
91
;o
Aec2t
c2
2A
2
>
e2To cec2To
2i
?~
2A
2
sen 2To
c ;o
anterior es valida
La expresion
puesto que
To
^
f(0)
= Adt = 2ATo
cTo
^ ) implica que f(
^ c t) f(), ahora
b. f(t) f(
^ c t) f() = y(
^ ),
y(t) = f(
^
luego y(t) = f( c t) e invitamos a que termine
calculos.
EJEMPLO: Hallar la transformada de
ec! t
f(t) = F
t
con > 0 , > 0 .
B
B
ec( + 2)t
c( + 2)t
^
SOLUCION: f() = e
dt = c( + 2) c = + 2
0
0
entonces
c2
^ ) =
f(
+ (2) + + (2)
Espectro de Magnitud:
^ )| =
|f(
j + (2)
Espectro de fase:
^ ) = Arc tg c2
() = Argf(
as
() = c Arc tg 2
los
tal
manera
que
f(t) ~ n e
2info t
,se
sabe
que
n=cB
n=cB
^ ) = n ( c nfo )
f(
n=cB
^ ).
EJEMPLO: Si f(t) ~ To (t), hallar f(
Se sabe que n =
Luego
To (t)
1
To
1
To
^ ) =
, por lo tanto f(
fo ( ) ~ f o f o ( )
1
To
( c nfo )
-B
Daro Snchez H
92
^ )
EJEMPLO : Si f(t) ~ cos 2fo t, hallar f(
2n(cfo )t
2nfo t
f(t) ~ cos 2fo t ~ e
+ e
( c fo ) b ( b fo )
10.CONVOLUCION
integrables
Sean
INTEGRAL:
f(t)
g(t)
funciones
si
la
integral
impropia
f(u)g(t c u)du
cB
la
convolucion
PROPIEDADES: a) f* g ~ g* f
EJEMPLO: Si
2ct , t 0
0
, t < 0
Hallar (f* g)(t).
f(t) ~ F
SOLUCION: Usando
,
g(t) ~ F t
3 ,
t
t < 0
de convolucion
se tiene
la definicion
lo siguiente
B
|
f(u) g(t c u) du , t 0
(f* g)(t) ~ f(u)g(t c u)du ~ } t B
f(u) g(t c u) du , t < 0
cB
~0
B
t < 0 , 2 3
-u t-u
du = 3
t
B
t
(6- )u du = 3t /Ln6
2-t /Ln6 , t 0
Luego, (f* g)(t) ~ F t
3 /Ln6 , t 0
Ahora
|
0
g(u)f(t c u) du , t 0
B
(g* f)(t) ~ g(u)f(t c u)du ~ } cB
!
cB
g(u)f(t c u) du , t 0
~ cB
B
t0 ,
-B
Daro Snchez H
93
t
t
t > 0 , 3u 2-(t-u) du = 2-t 6u du = 3t /Ln6
-B
-B
2-t /Ln6
Por lo tanto (g* f) = F t
3 /Ln6
TEOREMA
DE
CONVOLUCION:
t0
t < 0
,
,
Supongase
que
w
g(t) g (). Entonces se tiene
w
w
a) ((f* g)(t)) = f () h g ()
w
w
b) - ((f ())* (g ()) = f(t)g(t)
w
f(t) f ()
cB
cB
cB
cB
cB
cB
c2 w
[g ()]d =
Ad ~ f( )e
= f()ec2 @ g(t)ec2t dt
cB
cB
cB
B
w
w
ww
w
w
w
= g () f()ec2 d ~ g ()f () ~ f ()g () ~ (f g )()
cB
A
2
( b f o ) +
A
2
( c f o )
w
I y () ~ 2To sen c2To
****
EJERCICIOS
real, demostrar que la parte
1. Si f(t) es una funcion
real e imaginaria de (f(t)) son :
Daro Snchez H
94
X( ) = c f(t) sen t dt
cB
cB
magnitud |f(
par de
, y que su
impar
espectro de fase ( ) es una funcion
3. Demostrar que si la transformada de Fourier de una
real f(t) es real, entonces f(t) es una funcion
funcion
real
par de t; y que si la transformada de una funcion
impar
es imaginaria pura, entonces f(t) es una funcion
de t.
4. Encontrar la transformada del impulso rectangular
pd (t) definido por
1,
si | t | < d
pd (t) = H
0, si | t | > d
6. Si f(t) esta
para 0 < t < B, demostrar
que si f(t) es par se puede representar por
f(t) =
2
Fc ( ) cos t d ,
0
dado por
donde Fc ( ) esta
definida solo
7. Si f(t) esta
para 0 < t < B, demostrar
que si f(t) es impar se puede representar por
f(t) =
Fs ( ) sen t d
2
dado por
donde Fs ( ) esta
8. Encontrar
c [ect ] y
s [ect ] para t > 0, > 0,
donde hemos denotado
c [f(t)] = Fc [ ] y
s [f(t)] = Fs [ ]
9. Si F( ) = [f(t)], hallar la transformada de Fourier
de f(t) cos o t
1
f(x) cos (t c x) dx d
0 cB
Daro Snchez H
95
demostrar que
!
<
cB
f(x) dx=
1
^ ) =
f(
1
[f(t)]
^ ), demostrar que
16. Si [f(t)] = f(
^ )
[ c t f(t)] = df(
d
18.Demostrar
que
la
convolucion
cumple
la
ley
asociativa; esto es
[f (t) * f (t)] * f (t) ~ f (t) * [f (t) * f (t)]
de una funcion
f(t) con
19.Demostrar que la convolucion
impulso unitario (t) conduce a la misma
una funcion
f(t).
funcion
^ ), demostrar que
20. Si [f(t)] ~ f(
^ c s).
[ets f(t)] ~ f(
^ ), demostrar que [f( c t)] ~ f(
^ c ).
21.Si [f(t)] ~ f(
^ ), demostrar que [f(a t)] = 1 f(
^ ).
22.Si [f(t)] ~ f(
| a|
a
^
^
23. Si [f(t)] ~ f( ) y [g(t)] ~ g( ), demostrar que
^
^
c [(f(t))
~ f(t) g(t)
* (g(t))]
ct
0,
si t 0
2
, si t 0
24. Si f(t) ~ F
, g(t) ~ F t
0 ,
si t < 0
3 , si t < 0
hallar [(f* g)(t)].
f(t) = ect /2 definida en
25. Establezca si la funcion
( c B,B) tiene transformada de Fourier, justificando.
Si es as, calcule la transformada de Fourier de f(t).
2
26. Halle la tranformada de Fourier de
f(t) ~ t c2t+2
.
B
la integral
27. Evalue
cB
sen x
x
dx , usando el teorema de
Parseval.
Daro Snchez H
96
cos
a) e +1
b) ec sen
c) +3
d) e +1 .
+11
la convolucion
f* g y compruebe que satisface
31.Evalue
[f* g] = [f] h [g]
la ecuacion
a) f(t) = ect para t > 0, f(t) = 0 para t < 0 ;
ec2t , para t > 0
gt ~ F
0 , para t < 0
b) f(t) =1 para c 1 < t < 1, f(t) = 0 en cualquier
ect para t > 0
otro caso;
gt ~ F
0 en cualquier otro caso
c) f(t) = ect para t > 0, f(t) = 0 para t < 0 ;
et para t < 0
gt ~ F
0 para t > 0
d) f(t) = 1 para c 1 < t < 1, f(t) = 0 en cualquier
otro caso ; g(t) = ec|t| .
F( ) = f(t)ec t dt.
cB
RESUMEN
Sea w un espacio vectorial y
Daro Snchez H
97
discreta
= f:S d/ S {, f funcion
~ bn nS una base ortogonal de w
Si x(n) entonces x(n)bn w, entonces se define
nS
J : w
x(n) J (x(n)) = x(n)bn
Se ha demostrado
Entonces existe
que
nS
es
una
biyeccion
lineal.
J c : w
f J c (f) = f(n)
la cual es lineal pues
J c (f + g) = J c [J (f(n)) + J (f(n))] = J c J [f(n) + g(n)]
= f(n) + g(n) = J c (f) + J c (g)
n
Por otra parte se sabe que x(n) = bx,b
, de aqu se
n ,bn
n
sigue que J c [x] = bx,b
= x(n)
n ,bn
obtenida se denota x(n) x
Para indicar la relacion
nS
f(n) =
f,bn
bn
EJEMPLO. 1 : Sea
ademas
si f,g wp se define f,g = o f(t) g(t) dt el
0
To
T
= o e2(ncm)fo t dt =
=
Si n = m
1
2ifo (ncm)
e2(ncm)fo t
2(ncm)
c =
0
[e2(ncm)fo To c 1] , cuando n m
To
To
bn ,bm = dt = t c = To , as se tiene
0
T , si
n = m
bn ,bm ~ F o
0 , si
n0
O sea que p es una base ortogonal de wp .
B
As tenemos que si f wp y f = n bn , donde
n=cB
n =
Resumiendo
f,bn
bn ,bn
1 To
f(t)ec2nfo t dt
To
0
Daro Snchez H
f(t) = n e2info t
n =
n=cB
1
To
98
To f(t)ec2info t dt
0
Para estas
el teorema de Parseval queda as
B
B
f,f = f = e2nfo t |n | = To |n |
n=cB
n=cB
entonces
B
To |f(t)| dt = To |n |
1 To
|f(t)| dt
To
n=cB
= | n |
n=cB
f(t) +
Sea
B
{ d
= H n f(n)
f(n)fn es convergente,donde fn I
n=cB
Es decir ,
B
f(t) = f(n)ec2nTo t ,
f(n) =
n=cB
1
fo
fo f(t)e2nTo t dt
0
RESUMIENDO:
n=cB
f(n) ~ J
-
[f(t)] ~
1
fo
fo f(t) e2nTo t dt
0
n=cB
Daro Snchez H
99
Luego
B
|f(n)| =
n=cB
1 fo
|f(t)|
fo
0
dt
X,Y =
1
N
x(m)y(m)
m=0
Como
Nc1
i x,y =
1
N
x(m)y(m)
=
Nc1
x(m)y(m)
= y,x
1
N
m=0
m=0
Nc1
ii x,y + y =
1
N
1
N
x(m)y (m) +
m=0
Nc1
Nc1
m=0
1
N
x(m)y (m)
m=0
= x,y + x,y
Nc1
1
x(m)y(m)
N
iii x,y =
m=0
Nc1
= ( 1N x(m)y(m)) = x,y
m=0
Nc1
1
N
iv Si x 0 , x,x =
Nc1
x(m)x(m) =
m=0
1
N
x(m) > 0
m=0
xn ,xk =
1
N
N-1
xn (m)xk (m) =
m=0
1
N
m=0
e2m(n-k)/N
N-1
=
~H
1
[e2(n-k)/N ]m =
N
m=0
[e2i(n-k)/N ]N c1
= 0 , n
e2i(n-k)/N c1
N
k
si
N= 1
n=k
Luego
1,
si n = k
0,
si n k
existen coeficientes
xn ,xk ~ F
Si
x ,
cn
u
nicos
Nc1
x ~ cn xn con
n=0
cn =
x,xn
xn ,xn
= x,xn =
Nc1
1
N
m=0
x(m)ec2nm/N
Luego
Nc1
cn =
1
x(m)ec2nm/N
N
m=0
^
= x(n)
tales
que
Daro Snchez H
100
Nc1
x(m) :[x(m)]=
1
x(m)ec2nm/N
N
m=0
^
= x(n)
lineal biyectiva.
la cual es una translacion
Es claro as que
Nc1
2nm/N
^
x(m) ~ :- [x(n)]
(m) ~ x(m)e
n=0
^
Resumiendo se tiene x(m) x(n)
donde
x* (n) ~ :[x(m)](n) ~
Nc1
1
x(m)ec2nm/N
N
m=0
Nc1
n=0
1
N
m=0
^
x(n)
=
o
ec2nm/N x(m)
equivalentemente
N-1
1
|x(m)|
N
m=0
N-1
^
= |x(n)|
n=0
MODELO DE EJERCICIOS
1. Si f(t) = sig t, hallar (sig t)
| 1 si t > 0
SOLUCION: Se sabe que
sig t ~ } si t ~
~ c 1 si t
hemos demostrado que
Ademas
B
Si w = 2ty
cB
sen w
w
dw =
dw = 2t dy
entonces
B
a Si t > 0, =
cB
sen 2ty
2ty
2t dy =
cB
sen 2ty
y
dy
Luego
B
cB
b Si t < 0,
sen 2ty
y
cB
=
dy =
sen 2ty
2ty
si
t > 0
B
2t dy = c
cB
sen 2ty
y
Luego
B
cB
sen 2ty
y
dy = c
si
se concluye que
sig t =
Ahora
B
1
cB
sen 2ty
y
dy
t < 0
dy
Daro Snchez H
101
B
B
[sig t] = 1 > sen2yty dy ? ec2t dt
cB
cB
B
B
= 1 1y > sen2tyec2t dt ?dy
cB
cB
B
= 1 1y > {sen 2yt }() ?dy
cB
B
= 1 1y : 21 ( ( c y) c (+y)); dy
cB
B
1
= 2
< 1y ( c y) c 1y (y-(-))= dy
cB
1
= 21i < 1 c -1 = =
1
Luego
sig t
2.- Hallar [tk eak ]
B
cB
cB
tk
ktkc
k(k c 1)tk-
k!
k ak
[t e ] =
tk e(acw)t
acw c
cB
As
k ak
ktk-1 e(acw)t
++
(acw) c
cB
k!(c1)k
(acwi)k+1 ,
[t e ] = H
0
,
Para la inversa se tiene
c > (wc1 a)k
integrando
e(acw)t
e(acw)t /(a c w)
e(acw)t /(a c w)
tkc eat
si
si
k!(-1)k e(acw)t
(acw)k+1
c
cB
t > 0
t > 0
t > 0
0
, t < 0
0
, t > 0
? ~ H c tkc eat
, t < 0
(kc1)!
? ~ H (kc1)!
para e a < 0
para
e a > 0
U N I D A D I=
. 9. ECUACIONES DIFERENCIALES PARCIALES
(EDP)para
una
funcion
u(x,y,
)
con
derivadas
de la forma
parciales ux ,uy, uxx ,uyy , es una relacion
Daro Snchez H
102
alguna
region
del
espacio
de
sus
variables
y sus derivadas satisfacen
independientes, la funcion
identicamente
la ecuacion
en x, y,
Se puede tambien
considerar un sistema de ecuaciones
diferenciales parciales; en este caso se consideran
varias expresiones como las de arriba conteniendo una o
funciones desconocidas y sus derivadas parciales.
mas
Como en la teora de las ecuaciones diferenciales
funcion
y sus derivadas.
Las EDP ocurren frecuentemente y en forma enteramente
parte
imaginaria
de
una
funcion
analtica,
f(x,y) ~ u(x,y) b v(x,y)
son las ecuaciones de CauchyRiemann ux = vy , uy = c vx . Este es un sistema de dos
ecuaciones diferenciales parciales lineales para las
funciones u y v.
diferencial parcial importante en
EJEMPLO 3.- Una ecuacion
de Laplace
fsica es la del potencial o ecuacion
"u = uxx + uyy + uzz = 0
La ditribucion
de la temperatura de los cuerpos en
equilibrio termico.
Daro Snchez H
103
funcion
" teniendo todas las derivadas parciales que
ocurren en la EDP y que cuando se sustituye en la
ecuacion
la reducen a una identidad en todas las
variables.
Por ejemplo la EDP de primer orden ux = 3x + 7y5 donde
x e y son las variables independientes y u es la
incognita tiene a u(x,y) = x + 7xy5 + F(y) por
funcion
donde F(y) es cualquier funcion
diferenciable
solucion
en y. As tenemos que u(x,y) = x + 7xy5 + ey u(x,y) = x
+ 7xy5 + 2y3/2 son soluciones. En esta forma vemos que las
soluciones se pueden clasificar en soluciones generales y
soluciones particulares.
de las soluciones particulares se
Para la determinacion
requiere de
condiciones
auxiliares
las
cuales
constituyen las llamadas las condiciones iniciales y las
condiciones de frontera. En esta forma el problema de las
EDP consiste en hallar las soluciones bajo condiciones
auxiliares, iniciales y/o en la frontera; obteniendo
as los llamados problemas de frontera o problemas de valores
iniciales.
Para la determinacion
de una solucion
particular se
usan condiciones especiales llamadas como ya lo dijimos
las condiciones iniciales y/o las condiciones de frontera
y se
pueden catalogar en cuatro tipos de condiciones :
1.- CONDICIONES DE CAUCHY : Se desean soluciones donde las
funciones desconocidas y posiblemente sus derivadas ut ,
donde 0 t B son predeterminadas en la frontera
cuando t ~ 0. Este tipo de condiciones son catalogadas
como condiciones iniciales.
normal y de la funcion
" son predeterminadas
de interes .
en cada punto en la frontera de la region
incognita
u
y
de
sus
derivadas
normales
son
predeterminadas en cada punto de la frontera de la
de interes.
region
Un
ejemplo
tpico
ilustrando
algunas
de
estas
condiciones es dado por
uxx = utt ,
0 < x < p , t > 0
Daro Snchez H
104
La ecuacion
A(x,y)uxx + B(x,y)uxy + C(x,y)uyy + D(x,y)ux + E(x,y)uy + F(x,y)u = G(x,y)
homogenea
de segundo orden.
9.2.CLASIFICACION DE LAS E. D. P LINEALES DE SEGUNDO ORDEN EN DOS VARIABLES. diferencial parcial lineal homogenea
Una ecuacion
de
segundo orden en dos variables tiene la forma
A(x,y)uxx + B(x,y)uxy + C(x,y)uyy + D(x,y)ux + E(x,y)uy + H(x,y)u = 0
(2)
c u + c u es solucion
tambien
de (2). Mas
general si
de soluciones de (2) entonces
u ,u , es una sucesion
B
ci ui es tambien
solucion
de (2). Esta propiedad puede
i=1
au
n generalizarse para una familia {u } de soluciones
de (2) indizada sobre un conjunto medible !, entonces !
es una solucion
de (2).
u d tambien
En el desarrollo de la teora general de la EDP lineal
homogenea,
estas suelen clasificarse como hiperbolicas,
parabolicas
o elptica de acuerdo al esquema usado en
el estudio de las secciones conicas.
hiperbolicas
si B c 4AC > 0
parabolicas
si B c 4AC = 0
elpticas si B c 4AC < 0.
9.3. CASO DE LOS COEFICIENTES CONSTANTES
toma la
Un importante caso se tiene cuando la ecuacion
forma
Auxx + Buxy + Cuyy = 0
donde A,B, y C son constantes. Para tales ecuaciones,
podemos siempre hallar soluciones generales. Para
hallar tales soluciones introducimos la siguiente
transformacion
r = ax + by
s = cx + dy
suponiendo
a b
0
ad c bc = d
c dd
Daro Snchez H
105
conforme, donde a, b ,
conocida como una transformacion
c y d son constantes por determinar. De la regla de la
cadena hallamos
ux = ur rx + us sx = aur + cus
uy = ur ry + us sy = bur + dus
y,
uxx = rx urr + 2 rx sx urs + sx uss + rxx ur + sxx us
= a urr + 2acurs + c uss ,
uxy = ab urr +(ad+bc)urs + cd uss ,
uyy = b urr + 2bd urs + d uss
de estas expresiones en Auxx + Buxy + Cuyy = 0
La sustitucion
tenemos
A(a urr +2acurs +c uss ) + B(aburr +(ad+bc)urs +cduss ) +
+ C(b urr + 2bd urs + d uss ) = 0
As tenemos
(Aa +Bab+Cb )urr b (2caA+B(ad+bc)+2dbC)urs b (Ac +Bcd+Cd )uss =0
adecuada de a,b,c y d, puede hacerse
Ahora una eleccion
de manera que
Aa + Bab + Cb = 0,
Ac + Bcd + Cd = 0
Si A 0, es posible seleccionar b ~ d ~ 1, en cuyo caso
Aa + Ba + C = 0 , Ac + Bc + C = 0
Esto significa que a y c son las soluciones de la
ecuacion
A m + B m + C = 0
Por ejemplo si escogemos
j
B c4AC
B c4AC
a = m = cB+ 2A
y c = m = cBc 2A
en esta forma se recibe que
(2acA + B(ad + bc) + 2bdC)urs = 0
se transforma en
[2m m A + B(m +m ) + 2C]urs = 0
o, dado que
m + m = c B/A y m m = C/A,
se obtiene que
[2C + B( c B/A) + 2C]urs = 0
de donde
1
A [4AC c B ]urs = 0
hiperbolicas
y elpticas.
Daro Snchez H
106
una transformacion
distinta la cual tambien
sera
conforme
r = mx + y , s = x
Entonces a = m, b = 1, c = 1, y d = 0, en ese caso se
tiene que
Auss = 0 , A 0
general
entonces uss = 0 con solucion
u(r,s) = F(r) + s G(r)
toma la forma
En terminos
de x e y esta solucion
u(x,y) = F(mx + y) + x G(mx + y)
general de uxx + uyy = 0
EJEMPLO 1 : Hallar la solucion
SOLUCION: Sabemos que B c 4AC = c 4, por lo tanto la
es de tipo elptico. Para hallar la solucion,
ecuacion
Am + Bm + C
debemos calcular las races de la ecuacion
que en el caso toma la forma
m +1 = 0
EDPL es comu
n utilizar un metodo
llamado de separacion
se llamara
problemas de Sturm-Liuoville los cuales
de uno o mas
de X e Y y por lo tanto de
conducen a la determinacion
ecuacion:
k CC xu = CC ut , k > 0 ; u(0,t) = 0, u(L,t) = 0
Daro Snchez H
107
XZZ b X = 0 ,
TZ b k T = 0
cuyas soluciones son
X = c cos x + c sen x , T = c eck t
Ahora
bien,
puesto
que
u(0,t) ~ X(0)T(t) ~ 0,
u(L,t) ~ X(L)T(t) = 0 debemos tener X(0) = 0 y X(L) = 0.
Estas son condiciones de frontera para el sistema
XZZ b X ~ 0 , TZ b k T ~ 0. (Para X se tiene segu
n el
ejercicio 15 del 6 que el problema
XZZ + X = 0 , X(0) = X(L) = 0
X = c cosx + c senx). Aplicando la
tiene por solucion
primera de estas condiciones resulta c = 0. Por lo
tanto X = c sen x.
de frontera implica que
Ahora, la segunda condicion
X(L) = c sen L = 0
Si c = 0, entonces X = 0, de modo que u = 0. Para una
u distinta de cero, debemos tener c 0 y as
solucion
se verifica cuando senL = 0. Esto
la u
ltima ecuacion
implica
= n L , n = 1,2,3,
L = n o
Por consiguiente
u = (c senx)(eck t ) = An eck(n /L )t sen nL x
satisface
la
ecuacion
dada
y
ambas
condiciones
adicionales. El coeficiente c c se reescribe como An
d
dX
dx [p(x) dx ]cq(x)X(x)
ZZ
(t)
= TT(t)
= c
siendo cierta constante. De aqu resulta que
d
dX
dx [p(x) dx ]+[(x) c q(x)]X = 0
ZZ
T (t) b T(t) ~ 0
Puesto
que
T(t) 0
entonces
u ~ TX
satisface
CF si y solo
condicion
si
X(0) b XZ (0) ~ 0 , w , X(l) b XZ (l) ~ 0
(x)X(x)
la
Daro Snchez H
108
n=1
Daro Snchez H
109
Como T T , T 0, T 0 el metodo
de separacion
de
distribucion
de la temperatura u(x,t) pueda ser
expresada como una suma de funciones de la forma
u(x,t) = s(x) + v(x,t)
que se va acabando cuando
donde v(x,t) es una funcion
el tiempo crece. Nos referimos a v(x,t) como a la
TRANSITORIA mientras que s(x) es llamada ESTADO
solucion
de equilibrio. En esta forma
ESTABLE o solucion
uxx ~ sZZ b vxx , ut = vxx
por lo tanto se tendra
sZZ b vxx = ac vt ,
0<x<p , t>0
C.F: s(0)+v(0,t) ~ T , s(p)+v(p,t) ~ T
C.I: s(x) + v(x,0) = f(x) ,
0<x<p
Pasando al lmite cuando t B, vemos que
v(x,t) 0,
vt (x,t) 0 , para todo x
entonces
obtenemos
el
problema
de
Ecuaciones
dierenciales ordinarias (EDO) para el estado estable
sZZ ~ 0 ,
s(0) ~ T , s(p) ~ T
sucesiva obtenemos que
Por integracion
s(x) = c x + c , s(0) = T , s(p) = T
as
T ~ c , s(p) ~ T ~ c p b c T c T ~ c p
luego
c ~ T cp T , c ~ T
En esta forma para el estado estable tenemos
s(x) ~ 4 T cp T 5 x b T
Ahora para el estado transitorio se plantea
siguiente problema de EDP
vxx = ac vt ,
0<x<p , t>0
T cT
C.F: T b v(0,t) ~ T , p p+T b v(p,t) ~ T
el
puede
resolver
por
el
metodo
de
separacion
de
variables, dado por
vxx ~ ac vt ,
0 x p,
t 0
C.F: v(0,t) ~ 0 ,
v(p,t) ~ 0 ,
t 0
x
C.I: v(x,0) ~ f(x) c T c (T c T ) p , 0 x p
9.5. PROBLEMAS NO HOMOGENEOS
Daro Snchez H
110
no homogeneas,
independientemente del tiempo fueron
considerados en 9.4, mientras que aqu consideraremos
general involucrando EDP no homogeneas
un problema mas
y condiciones de frontera, caracterizados, en el caso
unidimensional del calor, por el problema
uxx ~ ac ut c q(x,t), 0 x p , t 0
C.F: B [u] ~ a u(0,t) b a ux (0,t) ~ (t), t 0
B [u] ~ a u(p,t) b a ux (p,t) = (t)
C.I:
u(x,0) = f(x) ,
0xp
donde q(x,t) es proporcional al origen de la fuente del
calor. Para resolver problemas de esta naturaleza de
generalidad consideraremos dos casos especiales.
9.5.1. TERMINOS NO HOMOGENEOS INDEPENDIENTES DEL TIEMPO.
Cuando el origen del calor no cambia con el tiempo es
llamado caso estable y en este caso se tiene que
q(x,t) ~ p(x)
independientes
Si las condiciones de frontera son tambien
del tiempo, es decir si
B [u] = T , B [u] = T
donde T y T son constantes, entonces el problema es
formalizado por
uxx ~ ac ut c p(x) , 0 x p, t 0
C.F: B [u] ~ T , B [u] ~ T , t 0
(1)
C.I: u(x,0) ~ f(x) ,
0 x p
realmente ya es conocida.
tecnica
de solucion
Daro Snchez H
111
el metodo
de variacion
del parametro
utilizado para
obtener
la
solucion
particular
de
una
EDOL
no
homogenea,
cuando se obtiene la famosa formula
de
del
Green. Para ilustrar el metodo
hallemos la solucion
problema
unidimensional
del
calor
no
homogeneo
siguiente
uxx = ac ut c q(x,t) , 0 x p , t 0
C.F: k u(0,t) b k ux (0,t) ~ 0
l u(p,t) b l ux (p,t) ~ 0
C.I: u(x,0) ~ f(x) , 0 x p
de variables se halla la
Por el metodo
de separacion
de la ecuacion
homogenea
solucion
c
uxx = a ut
suponiendo como es conocido que u(x,t) ~ F(x)G(t) es la
forma de la solucion,
de aqu se deduce que F(x)
satisface al problema S-L siguiente
FZZ b F ~ 0
k F(0) + k FZ (0) = 0
F l F(p) + l FZ (p) = 0
Del 6 se deduce (ver ejercicios 14 y 15 de esa
parametro
afirmamos que
B
de prueba para
es solucion
uxx ~ ac ut c q(x,t)
donde las funciones de t, En (t) deben ser determinadas,
as
B
y
B
n=1
n=1
n=1
(2)
Daro Snchez H
112
(3)
donde
p
n ~ 1,2,3,
Denotemos con
p
n ~ 1,2,3,
Entonces la ecuacion
EZn (t) b a n En (t) ~ a Qn (t)
diferencial lineal de primer orden cuya
es una ecuacion
es dada por
solucion
t
n ~ 1,2,3,
Finalmente, al sustituir
En (t) obtenemos la solucion
formal
B
y por consiguiente
p
EJERCICIOS
1.Verificar que las siguientes funciones son soluciones
de Laplace uxx + uyy = 0
de la ecuacion
a) u = 2xy
b) u = x c 3xy
c) u = ex sen y
d) u = sen x sen y e) u = arc tan (y/x) f)u ~ x c 6x y b y
de la
2. Demostrar que u = 1*jx + y + z es solucion
ecuacion
uxx + uyy + uzz = 0
3. Verificar que u(x,y) ~ a ln (x b y ) b b satisface la
de Laplace uxx b uyy ~ 0 y determinar a y b de
ecuacion
manera que u satisfaga las condiciones de frontera u ~ 0
sobre el crculo x b y ~ 1 y u ~ 5 sobre el crculo
x b y ~ 9.
Daro Snchez H
113
de la ecuacion
utt ~ c uxx ,
determinando en cada caso
el valor de la constante c
a) u ~ x b 4t
b) u ~ x b 3xt c) u ~ sen ct sen x
6. Demostrar que u(x,t) ~ v(x+ct) b w(x c ct), donde v y w
son funciones cualesquiera diferenciables dos veces,
de la ecuacion
es una solucion
utt ~ c uxx .
diferencial parcial contiene derivadas
Si una ecuacion
con respecto a una de las variables independientes
nicamente,
u
puede
resolverse
como
una
ecuacion
diferencial ordinaria, tratando las otras variables
de variables es
9. Determine si el metodo
de separacion
aplicable a las ecuaciones dadas. Si lo es obtenga las
soluciones en forma de producto
a ux ~ uy
b ux b 3uy ~ 0
c ux ~ uy + u
d ux + uy = u e xux = yuy
f yux + xuy = 0
g uxx b uxy b uyy ~ 0 h yuxy b u ~ 0 i uxx b uyy ~ 0
j kuxx c u ~ ut , k > 0
k kuxx ~ ut k > 0 l a uxx ~ utt
m a uxx ~ utt c 2kut ,k>0 n x uxx +uyy ~ 0 o uxx b uyy ~ u
p a uxx c uyy ~ u q a uxx c g u ~ utt , g es constante.
10.Resuelva
las
ecuaciones
dadas
sujetas
a
las
condiciones indicadas.
a uxx ~ 6x ;
u(0,y) ~ y , u(1,y) ~ y b 1
b yuyy b uy ~ 0 ;
u(x,1) ~ x , u(x,e) ~ 1.
unidimensional de ONDA .
11. Obtenga la ecuacion
del problema siguiente
12. Halle la solucion
C u
C u
0 < x < l
C t ~ c C x
CF: u(0,t) ~ 0 , u(l,t) ~ 0 para todo t
CI: u(x,0) ~ f(x) ,
ut (x,0) ~ 0
Daro Snchez H
114
~ c 4 CC xu b CC yu 5
CF: u ~ 0 sobre la frontera de la membrana para toda
t0
CI: u(x,y,0) ~ f(x,y) , CC ut bt=o = g(x,y).
a los siguientes problemas
Halle la solucion
-
17)
uxx = a ut ,
0 < x < 1, t > 0
CF: u(0,t) = 0 , u(1,t) = 0
CI: u(x,0) = 3 sen x c 5 sen 4x
18)
uxx = a- ut ,
0 < x < p, t > 0
CF: u(0,t) = 0 , u(p,t) = 0
CI: u(x,0) = x(p c x)
19) uxx = - ut ,
0 < x < 10 , t > 0
CF : u(0,t) = 10 , u(10,t) = 30 , t > 0
CI : u(x,0) = 0,
0 < x < 10
20)
uxx = - ut , 0 < x < 1 , t > 0
CF : u(0,t) = ; , u(1,t) + u% (1,t) = ; ,
CI : u(x,0) = ; ,
0 < x < 0.
21) uxx = - ut ,
0 < x < 1,
t > 0
CF : u(0,t) = 1,
u(1,t)=0
CI: u(x,0) = ;
22) uxx = - ut , 0 < x < 2 ,
t > 0
CF : u(0,t) = ; , u(2,t) = ;
CI : u(x,0) = ;
23) uxx = - ut ,
0 < x < p ,
t > 0
CF : ux (0,t) = 0 , ux (p,t) = 0
CI : u(x,0) ~ ; se (x/p)
24) ux x = - ut ,
0 < x < p,
t > 0
CF : ux (0,t) = 0, u(p,t) = ;
CI : u(x,0) ~ ;
25) ux x = - ut ,
0 < x < 1,
t > 0
CF : u(0,t) = ; ,
u(1,t) = ;
CI : u(x,0) = ; + x(1-x)
26) ux x = - ut ,
0 < x < 1,
t > 0
CF : u(0,t) = ; ,
"% (1,t) = 0
CI : u(x,0) = x
27) uxx = - ut ,
- < x < ,
t > 0
CF: u(-,t) = u(,t), u% (-,t) = u% (,t)
t > 0
Daro Snchez H
115
Daro Snchez H
116
x
rxx = rcrxr
= r1 c rx = ry , xx = c y( c 2r- )rx =
Sustituyendo en (1) se obtiene
y
y
xy
uxx = xr urr c 2 xy
r ur + r u + r ur + 2 r u
2xy
r
Daro Snchez H
117
G
1
ZZ
+ r1 WZ ) = c k
c G = W (W
Esto proporciona las dos ecuaciones lineales ordinarias
+ k c G = 0 , WZZ + 1r WZ + k W = 0
G
SEGUNDO PASO: Introduciendo la nueva variable s = kr se
tiene 1r = ks por la regla de la cadena
dW ds
dW
WZ = dW
y
WZZ = ddsW k
dr = ds dr = ds k
Sustituyendo y omitiendo el factor comu
n k , se
obtiene:
d W
1 dW
ds + s ds + W = 0
2 (m!)
m=1
m
donde hm = 1+ + 3 + +
. Como la deformacion
de la
membrana siempre es finita y como lim Yo (s) ~ B no puede
s0
usarse Yo y debe elegirse c ~ 0. Si se desea soluciones
no triviales, c 0 puede tomarse c = 1 entonces
W(r) = Jo (s) = Jo (ks).
Por CF, se tiene u(R,t) = W(R)G(t) = 0 . Si G(t) = 0
entonces u(r,t) = 0.
Si G(t) 0 entonces W(R) = 0 o
sea Jo (kR) = 0 esto es kR = m , m = 1,2,3, o bien
k = km = Rm , m = 1,2,3 .De aqu que
Wm (r) = Jo (km r) = Jo ( Rm r)
Daro Snchez H
118
m=1
m=0
por CI tenemos
B
coordenadas esfericas,
primero
Daro Snchez H
119
z = z , z = rc+rz = cr
Derivando nuevamente
zz = czz = cz = r
zz = 2rz = 2zr
Analogamente
r = r , rr = crr = c3r = z
r
r = r +z z = z , rr = c2zr = c2z
= c2zr
4
Ahora
ur = u r + u r = u r + u z
urr = (u r + u r )r + u rr + (u r + u r )r + u rr
2
= u r + 2u r r + u rr + u r2 + u rr
z
z
2rz
As urr = u r + 2rz
u + u + u c u
Derivando con z se tiene uz = u z + u z
uzz = (u z + u z )z + u zz + (u z + u z )z + u zz
r
r
2zr
= u z c 2 zr
u + u + u + u
Sumando urr con uzz tenemos
urr + uzz = u r +z + r + z u + r + z u
= u + 1 u + 1 u
1
1
1
z
r ur = u + u r
As ; I u = urr + 1r ur + r1 u + uzz =
cot
1
= u + 2 u + 1 u + sen
u
u +
Luego
3
I u =
1
1
C
Cu
sen C (sen C )
1
C u
sen C =
distribucion
de un potencial electrico
fijo u(R,,)
sobre una esfera S de radio R donde r,, son las
coordenadas esfericas.Se
desea hallar el potencial u en
todos los puntos del espacio, los cuales se suponen
libres de otras cargas. Este problema se plantea por la
del problema
solucion
C
1
C
Cu
Cu
C r (r C r ) + sen C (sen C ) = 0
CF: lim u(R,r, )=
rB
CI: u(R,) = f()
Daro Snchez H
120
Por el metodo
de Fourier supongamos que
teniendose
[( c 1) + 2 c n(n+1)]r = 0
de donde
= n, y = c n c 1
De aqu se obtienen las soluciones
1
Gn (r) = rn y Gin (r) = rnc
diferencial de H tenemos
Para la ecuacion
1
d
dH
sen d (sen d ) + n(n+1)H = 0
haciendo w = cos se tiene sen = 1 c w y como
d
d
dw
d
d = dw d = c sen dw
tenemos,
d
dH
dw [(1 c w ) dw ] + n(n+1)H = 0
o bien,
(1 c w ) ddwH c 2w dH
dw + n(n+1)H = 0
de Legendre y tiene por solucion
a
Esta es la ecuacion
los polinomios de Legendre
H = pn (w) = pn (cos)
n = 0,1,2,
del problema
De donde se obtiene la solucion
n
un (r,) = An rn pn (cos) , uni (r,) = rBnc
pn (cos)
donde n = 0,1,2, y An , Bn son constantes. Por el
de soluciones se obtiene las
principio de superposicion
interna y la solucion
externa dadas por
llamadas solucion
B
B
n
uI (r,) = An rn pn (cos) , uE (r,) = Bnc
pn (cos)
n=0
n=1
Daro Snchez H
n=0
n=1
121
n
uI (R,)=An Rn pn (cos)=f(), uE (R,)= RBnc
pn (cos)=f()
y
Bn =
Rn+ (2n+1)
f()pn (cos)sen d
2
0
rR
telefonicos
o una lnea de transmision
electrica.
Consideremos
una
carga
lineal
de
transmision
Daro Snchez H
122
constituyen
un
sistema
simultaneo
de
ecuaciones
diferenciales parciales de primer orden. Para obtener
la diferencia de potencial, hallamos la derivada
para la corriente
Analogamente
se obtiene la ecuacion
C e
C e
Ce
(4)
C x = LC C t + (LG + RC) C t + RGe
Las ecuaciones (3) y (4) se conocen como las ecuaciones
de telefono.
~
la dispersion
debido a la
inductancia L es despreciable, de modo que se puede
suponer G = L = 0. Las ecuaciones toman, en este caso, la
forma simplificada
C i
Ci
C x = RC C t
(5)
H C e
Ce
C x = RC C t
estas ecuaciones se conocen como las ecuaciones de los
telegrafistas o del cable.
y resistencia o
despreciando los terminos
de dispersion
sea G = R = 0, las ecuaciones se reducen a
C i
C i
C x = LC C t
(6)
H C e
C e
C x = LC C t
Haciendo v = j1LC se ve en este caso que tanto la
corriente como la diferencia de potencial entre las
de onda undimensional
lneas satisfacen la ecuacion
uxx = vc utt
Daro Snchez H
******
EJERCICIOS
del problema siguiente
1. Hallar la solucion
1
c
urr + r ur = c utt ,
0<r<1, t>0
CF: u(1,t) = 0 , t > 0
1 , 0 < r <
CI: u(r,0) = H
, ut (r,0) = 0 , 0 < r <1
0, < r < 1
2. Estudiar las soluciones del siguiente problema
urr + 1r ur + r1 u = 0 ,
0 r , c
CF: lim + u(r,t) es finito
r0
u(r, c ) ~ u(r,) , u (r, c ) ~ u (r,)
CI: u(,) ~ f(),
c
del problema siguiente
3. Hallar la solucion
urr + 1r ur + r1 u = 0 ,
0 r , c
CF: lim + u(r,t) es finito
r0
u(r, c ) ~ u(r,) , u (r, c ) ~ u (r,)
CI: u(,) ~ cos ,
c
del problema siguiente
4. Hallar la solucion
urr + 1r ur + r1 u ~ 0 ,
0 r , c
CF: lim + u(r,t) es finito
r0
u(r, c ) ~ u(r,) , u (r, c ) ~ u (r,)
CI: u(,) = | |,
c
del siguiente problema
5. Hallar la solucion
C Cu
1
C
Cu
C r (r C r ) + sen C (sen C ) = 0
CF: lim u(r,) = 0
rB
CI: u(1,) = 1.
del siguiente problema
6. Hallar la solucion
C Cu
1
C
Cu
C r (r C r ) + sen C (sen C ) = 0
CF: lim u(r,) = 0
rB
CI: u(1,) = cos.
del siguiente problema
7.
Hallar la solucion
C Cu
1
C
Cu
(r
)
+
(sen
Cr
Cr
sen C
C ) = 0
CF: lim u(r,) = 0
rB
CI: u(1,) = cos .
del siguiente problema
8. Hallar la solucion
C Cu
1
C
Cu
C r (r C r ) + sen C (sen C ) = 0
CF: lim u(r,) = 0
rB
CI: u(1,) = cos .
del siguiente problema
9. Hallar la solucion
C Cu
1
C
Cu
C r (r C r ) + sen C (sen C ) = 0
CF: lim u(r,) = 0
rB
123
Daro Snchez H
10.
11.
124
Un solido
semi-infinito x 0
Uo e
0 inicialmente
inicialmente a la tempeesta
ratura cero. En el tiempo t = 0 se le aplica y se le
mantiene una temperatura constante Uo > 0 en la cara
x = 0. Hallar la temperatura de cualquier punto del
solido
en cualquier tiempo posterior t 0.
a temperatura
12. Una barra de longitud l esta
constante Uo . Cuando t ~ 0, al extremo x ~ l se le
aplica su
bitamente una temperatura constante U, y al
extremo x ~ 0 se le asla. Suponiendo que la superficie
aislada, hallar la temperatura de
de la barra esta
cualquier punto x de la barra en cualquier tiempo
t 0.
transversal periodico
dado por Ao sen t, t 0. Hallar
el desplazamiento de cualquier punto de la cuerda en
cualquier tiempo.
Daro Snchez H
125
.
En el extremo libre se le aplica longitudimalmente una
flujos caloricos.
18. Una cuerda tensa y flexible tiene sus extremos
sobre el eje x en los puntos x ~ 0
y
x = 1. En el
tiempo t = 0 se somete a la cuerda a que tome la forma
definida por F(x), 0 x 1 y se le deja libre. Hallar
el desplazamiento en cualquier punto x de la cuerda en
cualquier tiempo t 0.
19. Un cilindro circular infinitamente largo y de radio
unidad tiene una temperatura inicial constante T. En
t = 0 se le aplica y se le mantiene una temperatura de
0o C en su superficie. Hallar la temperatura de
cualquier punto del cilindro en cualquier tiempo
posterior t.
20. Una barra aislada semi-infinita que coincide con la
parte
positiva
del
eje
x
esta
inicialmente
a
Daro Snchez H
126
APENDICE
ORTOGONALIDAD DE LAS FUNCIONES DE BESSEL
Supongase
que n es un entero no negativo. Haciendo
s ~ x, donde es una constante, diferente de cero, se
tiene dx/ds = 1/ y, por la regla de cadena, Jn ~ JZn /,
.
de
Se ve que para cada n fijo esta
es una ecuacion
respecto a la funcion
de peso p(x) = x. Puede
demostrarse que Jn (s) tiene un nu
mero infinito de
ceros reales; denotemos por n < n < n < los ceros
positivos de Jn (s). Entonces se cumple que
= mn = Rmn (m = 1,2,3,)
R = mn o
y se obtiene el siguiente resultado:
TEOREMA. Para cada n = 0,1,2, fijo, las funciones de Bessel
Jn (n x) ,Jn (n x) ,Jn (n x) , ,
con mn dado por
mn = Rmn
forman un conjunto ortogonal sobre el intervalo 0 x R con
respecto a la funcion
p(x) = x , es decir,
9
xJn (mn x) Jn (kn x) dx = 0 .
(2)
De aqu que se han obtenido un nu
mero infinito de
conjuntos ortogonales, cada uno correspondiendo a uno
de los valores fijos de n.
En esta forma el conjunto {Jn (mn x) }B
m=1 es una base
aproximada ortogal para las funciones con dominio en el
intervalo [0,R] s, as tenemos
f(x) = c Jn ( n x) + c Jn ( n x) +
Daro Snchez H
127
Calculo
de PJn (mn x) : Se sabe que Jn (mn x) satisface
(1) as
la ecuacion
[xJZn (x)]Z +( c nx + x)Jn (x) = 0
Tambien
es cero en x ~ 0 porque x c n ~ 0 cuando
n ~ x ~ 0 y Jn (x) ~ 0 cuando x ~ 0 y n ~ 1,2, As
9
2mn
xJn (mn x)dx = mn
R Jn+1
(mn R)
Siguiendose
que
Jn (mn x) = R Jn+12(mn R)
2
R Jn+1 (mn )
********
UNIDAD V
TRANSFORMADA P (*)
(*)Estas
notas las he tomado del curso de Matemticas Especiales del Doctor Luis Roberto Quicazn para dictar
el mismo curso en la Universidad Distrital en 1996.
Daro Snchez H
128
Dado
V = { x : S { d/ x es una funcin discreta }.
A(C) = { f : D D*/ f es analtica y D d}
Consideremos la serie
B
%' c
Denotemos con
~cB
b %z
b %zc b %zc b %zc b %zc
~ c
z c z b zc b zc
z
EJEMPLO 2. Consideremos la siguiente funcin
5
% ~ F
Hallemos ?) z = P) %
B
c
~cB
c
~
B
~ zc b z ~ z b zc
~cB
B
~ ' b ' c
~
~
B
~
'
c '
~
b '
~
Daro Snchez H
~
129
?) z = zc ~
~cB
10.2. CONVERGENCIA.
La convergencia de la serie juega un papel importante en la interpretacin de la
transformada P y en el clculo de su inversa. A continuacin se hace un bosquejo
sobre la convergencia suponiendo que se puede aplicar el criterio de la raz (el otro
criterio con frecuencia usado es el de la razn)
B
c
~cB
~cB
~ O%OOzc O b O%OOzc O
B
~cB
~
~ O% c O|z| b O%OOz|c
~
~
tenindose que
O%O Oz|c ~ 9 Oz|c
lim j
B
de donde
R Oz|
O% c OOz| ~
lim j
B
9 Oz|
B jO%cO
10.3. INVERSION.
Conceda ?) z y su dominio se desea calcular % tal que
% ?) z
Existen tres procedimientos para hallar la inversa, a saber : por fracciones imples, por
divisin y por residuos
.
Daro Snchez H
130
c '
B
'
c '
O ' O y | ' O
~
B
~
~
c
~cB
~
~
Luego
% ~ F
Daro Snchez H
131
c
?) '' c
'
'
~F
c ~
{
B
'
?) (z) zc dz ~ %
cb
~ %
*
* '
~cB
de donde,
% ~
nc
dz
* ?) (z) z
Daro Snchez H
132
Como
B
c
~cB
~cB
~
Luego los polos, si los hay, estn dentro del crculo cerrado determinado por
OzO 9 por lo tanto
% ~
?) (z) znc dz ~ ?) (z) znc
*
O'O9
Luego
% ~ ?) (z) znc
b. Si % ~
O'O9
nc
dz
* ?) (z) z
|z| 9
As, si hay polos estos estan fuera del disco abierto determinado por OzO 9 . Como
lo veremos en el apndice de este numeral sobre un lema de Jordan se tiene
% ~ c 9 ?) (z) znc
O'O9
9 ?) z)zc
OzO9
% ~ }
~ cO'O9 9
?) '' c
c'
EJEMPLO.7. Dada
?) z ~ ' c'b
, 5 < |z| < 8 . Cacular x tal que
?5 ?) z .
SOLUCION. Se tiene que ?) z tiene en z ~ 5 y z ~ 8 polos simples y los residuos
en estos puntos estan dados por
c
9 ?) zzc ~ lim 'c c''
~
'c 'c
'
' =5
c
9 ?) zzc ~ lim 'cc''
~ c
'c 'c
'
z=8
Para Oz O % ~
Para OzO % ~ c c ~
Luego
% ~ F
10.4.APENDICE
LEMA. Dada una funcin analtica en d salvo en un nmero finito de puntos
, ,
Sean :
a , un punto fijo tal que, a a
Daro Snchez H
133
9 mx|a c O
*9 ~ z d/ z ~ b 9 e
lim O zO ~
9B
Entonces,
'
'cb '
lim
*
9B
~ ~
9B
M( 9 tal que O zO , D9 M .
(dems como z c ~ e entonces
'
O 'O
c 'cb c ~ O'cOb 9b
Ahora se tiene que
c
*
'
'cb ' c
3*9
9 b
9 b 9
Luego
lim
*
9B
'
'cb '
~
z ~ z c
~cB
entonces
|
~ }
~
c
O'cO9
'
9 'c
b
O'cO9
'
9 'c
b
CR
C1
C
R1
R2
C2
una a C con C9 (sin pasar por polo alguno). Integrando sobre C la siguiente igualdad
Daro Snchez H
134
zz c cc ~ z c cc
~cB
se tiene
zz c cc ' ~
z c cc ' ~
~cB
Luego
'
~
'c
b '
~cB
~
z ~ z c b z c
Oz c O 9
Oz c O 9
i) Para , la serie tiene validez cuando |z c O 9 luego no es vlida la serie
para Oz c O 9 , en este caso los residuos si los hay corresponden a los polos que
estn en el crculo cerrado determinado por Oz c O 9 , en tal caso
'
9 'b
~
'c
b ' ~
'c
~
9
O'cO9
O'cO9
'
'cb
ii) Para la serie tiene validez para |z c O 9 luego si hay polos stos estn
fuera del crculo determinado por |z c O 9 , en tal
caso,
'
'
2i 9 'cb ~
! 'cb ' con != C r T r C9 r T
O'cO9
'
~
'c
b ' b
'
'cb '
b
'
'cb '
'
b
! 'c
b '
~cB
~cB
~cB
Daro Snchez H
EJEMPLO.8. Si % ~ F
135
c
c
P) % c ' ~ % c zc
~cB
c
~ % c zc b % c zc
~cB
c
~ c zc b
~cB
B
~
B
c c
~
B
~ cb z b zcc
~
~cb
B
B
B
B
~ c zc b zc z ~ zc ' b '
~
~
~
~
'
O'O
c
~ z c ' b c O'O
'
c'
~ zc ' c'b
OzO
frmula se tiene: Si % ?) entonces % c z ?) z
Aplicando la
sabe que para %
?) z ~
c'
' c'b
se
OzO
luego
c'
% c zc ' c'b
OzO
c
c
b'
EJEMPLO.9. Si ?) z= AbAc
OzO , hallar Z) ?) z ~ %
En efecto tenemos
'
'
?) z ~ zc 'b'c
b zc 'b'c
OzO
La funcin
4z ~ 'b'c
cumple las condiciones para hallar la inversa a z4z que es
'
'
# ~ 9 z4zzc ~ 9 'b'c
b 9 'b'c
'~
'~
as
# ~ c
c b
Aplicando el teorema del desplazamiento a la inversa de ?) z), se
?) % ~ # c " c b # b " c
c
c
~ c
b " c b c
b " c
c
c
donde " ~ funcin unitaria
tiene
Daro Snchez H
136
derivando co z tenemos
B
B
c %zc zc ~ ?)Z z c %zc ~ z?)Z z
~B
~cB
lo cual es equivalente a
c %zc ~ zz?)Z zZ
~cB
Luego
c zzzz...zz?)Z z)Z Z Z Z
EJEMPLO.10. Para % ?) z donde
c '
?) z ~ ' c 'b
OzO
Calcular P) %'
Usando el Teorema 5. tenemos
c '
% c z?) z ~ c z ' c 'b
Z ~
~ c z c '
c 'b
b ''c
' c 'b
c '' c
' c 'b
~cB
c
~cB
~ zc
'
% zcbc '
~cB
'
~ zc zc
~cB
Daro Snchez H
137
10.8.CONVOLUCION
10.8.1. SUMA NO PERIODICA ( O DISCRETA INFINITA)
DEFINICION. Dadas % y & dos funciones reales o complejas de variable
discreta { , si la serie
B
%& c
~cB
%i& ~ %& c
~cB
entonces
%i& ~ c ~
c
c
c
H
~
b ~
~F
~
b cb
c
b
~
b c b
c
~
Daro Snchez H
138
~cBc
cB
~ & c % b ~
~cB
cB
& c c % c b
~ccB
B
~cB
2. %i&i# ~ %i&# c
~cB
~
~cB
% &c # c
~cB
~cB
~cB
(a)
~
Bb
% & c # c c
~cB ~cBb
B
B
~
% & c # c
(b)
~cB ~cB
!
~ c~c~
!
Daro Snchez H
139
|
,o 5
c
2~ %& c
%i& ~ } c
2 %& c
~
~ 2~c %& c
|
,o 5
c
2~ h c
%i& ~ } c
2 h c
~
~ 2~c h c
|
,o 5
c
2~ c
%i& ~ }
c
2~
c
~ 2~c c
|
~
~
%i& ~ } ~
~
~
~
~
~cB
~
~b
Daro Snchez H
140
%i&! ~ % &! c
cB
EJEMPLO. Sea %! ~ e! "! &! ~ e! "! entonces
B
%i&! ~ e " e!c "! c
cB
B
~
e e!c " "! c
e! c
~ H ! c
e !
~
~H
! c!
c
!
! c!
c
~
!
cBc!
~ & c % b ! ~
cB
~ c
cB
cB
c ccB &
c
b !
2.%i&i#! ~ %i& #! c
cB
B
B
~
% & c #! c
cB
cB
B
%i&i#! ~
% &i#! c
cB
B
c %
(a)
~ % & #! c c
cB
cB
Bb
cB
B
cBb
B
~
% & c #! c c c
~ cB % & c #! c
(b)
cB
De (a) y (b) se tiene el resultado esperado
3. En los ejercicios
B
4. %i ! ~ % ! c ~ %!
cB
TEOREMA (J.H). Es notable que para la convolucin integral infinita tambin vale el
resultado (J.H). As si %! ~ , para ! o, ! con &! ~ para !
o, ! con nmeros tales que c c o, pueden ser
c B o, pueden ser b B
Entonces
Daro Snchez H
|
!c
! b o, ! b
% &! c b ! b
%i&! ~ }
% &! c b ! b
!c
% &! c b ! b
~ !c
!c
EJEMPLO. Sean %! ~ F
&! ~ F
!
! ! ~ ~ c ~
!
Hallemos %i&!
Se cumple que c c as tenemos
|
! 0 o, ! 5
!c1
% &! c 0 ! 2
-1
%i&! ~ } !c1
% &! c 2 ! 3
!c3
2
~ !c3 % &! c 3 ! 5
|
! 0 o, ! 5
!c1
5 h 4 0 ! 2
-1
%i&! ~ } !c1
5 h 4 2 ! 3
!c3
2
~ !c3 5 h 4 3 t 5
|
! 0 o, ! 5
!c1
20 ! c 0 ! 2
-1
!c1
%i&! ~ }
20!c3 ! c 2 ! 3
2
~ 20!c3 ! c 3 ! 5
|
! 0 o, ! 5
!c
20 !c b ~ ! b c !
c c
%i&! ~ } !c !c
c b!c ~ c
!
!c
~ c b!c ~ c ! c !
141
Daro Snchez H
142
|
! 0 o, ! 5
,
! b ! !
%i&! ~ }
!
~ b ! b ! !
10.8.6. CONVOLUCION COMPLETA.
La dificultad que tienen las demostraciones y manipulaciones de las propiedades de
esta convolucin hace que su presentacin no sea usual en la mayoria de los textos.
Aqu nos limitamos a definirla y dejamos como conjetura demostrar sus propiedades;
salvo la distributiva que es posible demostrar utizando la definicin; ms adelante
usando como soporte los teoremas de convolucin en la transformada P se hace un
bosquejo de la demostracin de estas propiedades.
DEFINICION.- Sea D una regin, ! una curva suave simple cerrada contenida en D,
? e @ funciones analticas en D , la convolucin entre
? e @ se define por
c
c
?i@ z ~ ? @ '
!
PROPIEDADES. 1. ?i@ ~ @ i?
2. ?i@ i= ~ ?i@ i=
3. ?i@ b = ~ ?i@ b ?i=
10.8.7. TEOREMAS DE CONVOLUCION
Dado % ?) z absolutamente convergente para
& @) ' absolutamente convergente para
min{9% 9&
~ %% &
9 =
9 ~ 9% 9& 9% h 9& entonces
% OzO 9%
y
& OzO 9& Sean
~ %% & %h &
e CONVOLUCION EN e CONVOLUCION EN Z e
%i& ?) @) Z %& ?) i@) Z
OzO 9
OzO 9
DEMOSTRACION: a) Convolucin en
B
B
B
P) %i&]' ~ %i&zc ~ %& c zc
~cB
~cB
~cB
~cB ~cB
~cB
~cB
~cB
~cB
Daro Snchez H
~
?)
~
c
~cB
?)
&z
143
&zc
c
c
~cB
~
?) @) z c c ~ ?i@ '
NOTA: En la parte a) de la demostracin se utiliz el hecho de que
& c zc @) z y en la parte b) se us % ~
?) zzc z.
'
EJEMPLO.1 Supngase que
% ~ " 'c
~ ?) z OO OzO
'
& ~ " 'c ~ @) z OO OzO entonces se tiene que
%i& ~ H
i. Si
%i& ~ c
c
b cb
c
b
~
'
c 'c
c'
c 'c'c
'
c 'c
~
'
'
'c 'c
''cc''c
c
'c'c
~ ?) z@) z)
'
OzO ahora %& =) z ~ 'c
OzO
'
'
c
~
* c'c
* c ' c c
'
'
9 c'c ~ 'c
OzO
~
~
En =) z ~ ?) i@) z se hace
z ~ e ~ e para 0 2 y 0 2 en tal caso
=) e ~ ?) e @) c ec c ec e
~ ?) e @) c ec
Ahora es fcil demostrar algunas de las propiedades de la convolucin compleja.
Sean % ?) z &z @) z y # =) z entonces
?) i@) z ~ P)c %&z ~ P)c &%z ~ @) i ?) z)
Luego
X) i@) ~ @) i?)
EJEMPLO.3. Consideremos que
Daro Snchez H
5
% ~ F
!
144
|
~
, & ~ } c ~
~ !
entonces
5 c
% ?) z ~ zc ~
~
c
c' c5
c'
' c
% j & ?) z @) z ~ c'
c' ' z c 1) ~
'
Por otra parte:
B
% j & ~ 95 & b ~ 95 c c 95 c b ~
~cB
~ 95 c c 95 c c
donde
9 5 c )
c' 5
c'
Luego
% j &
c' 5
c'
' 5 c
'
x( ?) '
vlido para
% ?) '
vlido para
9 O zO 9
}
~ 9 O zO 9
DEMOSTRACION
a) Cambio en
i. ~ {
B
~cB
B
~cB
c
P) % z ~ % zc ~ %
z
~ %z c
~cB
9 Oz O 9
~ ?) z
9 OzO 9
ii. usando el resultado para y el teorema de cambio de signo en el
argumento de % se obtiene lo deseado.
b) Cambio en z
B
B
P) %z ~ %zc ~ % ' c ~ ?) ' 9 O ' O 9
~cB
~cB
Daro Snchez H
145
EJEMPLO. Con
~ % ~ F
siguen que %
c '
' c ' b
entonces ?) z ~
c
'
' c
'b
c'
' c'b
se
OzO
a la serie %zc
~0
?z ~ zc ~ zc ~
Luego, ?z ~
'
'c
~
~
c' c
'
'c
Ozc O
OzO OO
10.10.2.CONVERGENCIA
La convergencia se deduce del estudio de la transformada bilatetral para el caso
particular en el cual % ~ Es claro que ?z existe para OzO 9
La inversa por residuos queda definida as
P c ?z ~ 9 ?zzc ~ %
O'O9
~
~
~
e OzOc
~
Daro Snchez H
146
% zc
?z ~
~
OzO
czc
c
~
bc
~
~
bc
?z ~ %zc b %zc b b
B
~ 4
~
~
%zc b
~
%zc 5
c
%z
c
~ % b zcb
~
~
Remplazando en ?z se tiene
B
c
c
~
~
~
Ozc O
~
De donde tenemos
c
% zc
?z ~
~
czc
OzO
?z ~
~
~
5 c
5 c
~
c' c5
% zc
~
c' c5
Dc<e 5 zc 5 ce 5 zc
c' c5
' c 'c
5
'
'ce
5
'
5
5 es el perodo,
5 c
e5 zc
~
c' c5
ce zc5
c' c5 c
5 ' c
OzO
10.10.4. PROPIEDADES
LINEALIDAD.Si % ?z y & @ z son absolutamente convergentes para
OzO 9 y es un complejo entonces % b & ?z b @ z
c
EJEMPLO.Sea % ~ ~ e be
entonces
P ~ P e b ec
Daro Snchez H
~
c
'ce
< ' c'e bec b =
'ce
''c
''c
' c' b ~ ' c' b
147
Pero P e ~
P ~
~
''cec b'ce
' c' b
c
b). % c z ?z
~
~
c
c
~
B
~
B
c
b). P [% c z ~ % c z
~
B
c
~z
~
~ % c zc ~ %zcc
~
~
%zc ~ zc ?z
~
P % b c P % b c
P % ~ zc
z ?z c z?z c
?z ~ czc ~
z
?zz c z b
~ zc
~
z
zc1
Luego
? z ~
4z
z c zb
zc
4z
zczczc
Daro Snchez H
148
zc ?z ~ %zcc
B
~
~
~ zcc c b b b %zc
~
c
c zb zc ?z ~ b[
[ %z
~
z
z
~ c z< zc
= ~ @ z). As @ z ~ c z zzcc
c ~
z
zc
~
DEMOSTRACION.- Se tiene
c
~
~
& ~ % ~ % b % ~ & c b %
as se tiene que & ~ & c b % y aplicando transformada P a los lados
tenemos
P & ~ P & c b P %
lo cual es equivalente a
@ z ~ zc @ z c @ b ?z
z@ z ~ @ z c @ b z?z
z@ z c @ ' ~ zX(' c @
(' )
@ z ~ z?zzc@
~ zz?c
c
@ ~
Daro Snchez H
149
Se sabe que
(z)
lim @ z ~ limz c @ z) ~ lim<z c zz?c
=
z1
5 B
z1
~ lim' X(z ~ ?
z1
de donde
% ~ ?
~
EJEMPLO: % ~ c ?z ~
zcc
OzO
z?z
zc
& ~ c @ z ~
~
zhz
zczcc
Luego
@ z ~
B
z
zczcc
c ~ ? ~
~
Luego
czc
~
~
~
Cambio en z , d
% ? za
OzO 9
OzO OO9
%& ?i@ z
OzO %9 9
OzO 9 h 9
z
EJEMPLO.- Sean % ~ zc ~ ?z OzO y
z
& ~ zc
~ @ z OzO
B
~
~
b cb
c
Daro Snchez H
150
z
z
z
~ h c h h zc
c h zc
~ zc
zc ~ ?z@ z OzO
z
z
b%& ~ ~
zc
OzO
Comprobemos que ?i@ ' ~ zc
para
OzO
z
c
En efecto, ?i@ z ~
? @ ' c c ~
c
z c c
!
z
z
z
~
( czzc ~ 9
~ zc
( czc ~ lim
z
c
~
~
~
O?O
4 ~ lim 4
lim O %
z O lim
9 lim
9
9
9B ~
9B ~
~ 4 lim
9
9B ~
9B c 9
9B
~
~4 h~
~
z
EJEMPLO.-Sabemos que % ~ h zc
~ ?z % ~ as
z
zB zc
lim ?z ~ lim
zB
~
B
lim? (z)
z1
z1
~
; ,69,4 ( +, * 699,3(* 065
z1
Daro Snchez H
151
% b c % ~ limz c ?z c %
z1
~
B
z1
Luego
limz c ?z ~ lim %
B
z1
zc
zc =
z
z
z
~ zc
c z-2
b zc
As, % ~ h c h b h ~ c h b h
0 # "
Para %z ~ z)(' ) donde )(' ) ~ (zczc
zc con ) ~ y , 0 no es polo de
)z De esta manera ?z cumple con los requisitos para aplicar el mtodo de los
residuos, a saber
% ~ P c ?z ~ 9 ?zzc ~ 9 )zz ~
OzO
~ 9
OzO
z
< (zczc
zc =
cc
OzO
z
lim zc
zc
z1
h
cc
z
z
b lim zc
zc b lim zc1zc2
z2
h
cc
z3
~ c h b h
Daro Snchez H
152
v % y
x% {
% ~ x { y % ? z ~
w % z
Entonces
v ? z) y
x ? z {
a) % ?z donde ?' ~ x
{
w ? z z
v % y
x% {
b %b z?z c % donde x ~ x {
w % z
(% (?z donde A es una matriz cuadrada
DEMOSTRACION:
B
% zc y
v
%
v y x ~
v X z y
{
B
B
B
x % { x c { x ? z {
a)P [x z ~ zc % ~ zc x { ~ x ~% z { ~ x { ~ ?z
x {
~
~
B
w % z
w
? z z
w % zc z
~
w ? z z w % z
c
EJEMPLO:Si %b ~ >
% % ~ > ? entonces tenemos un sistema de la
?
forma %b ~ (% debemos hallar % para lo cual aplicamos P a los dos lados y
utilizamos el resultado anterior as
P (%b ~ P (% z?z c % ~ (?z) ('0 c (?z ~ z%
c
zb c
z%
c
?z ~ zIc( ~ zz0 c ( % ~ z>
%
c zc ?
zc
zc
~ zczzcc >
% ~ z czzcc >
?
?>
zb
z b ?
Daro Snchez H
zc
v zzb
y
zc
z c
z
z czc > z+4 ?=
zzb
w zbzc z
Luego % ~ P c H @
~ z@
153
zc
zbzc
zb
zbzc
z
z
zb b zc
zb b zc
= z@ c
~ @ cz
z A
A
b
zb b zc
zb
zc
z
z
c " b
h "
zb b zc
~
>
cz
z A I
c c " b
h " ?
zb b zc
w z
entonces
v z y
x z {
a 9 8 , con 8 z ~ x {
w z z
La trasformada del sistema %b ~ (% b 9 es
z?z c % ~ (?z b 8z
c
c
% ~ P z0 c ( z % b 8zn
EJEMPLO c Resolver el siguiente sistema
c
%b ~ >
% b >
?
? % > ?
c
SOLUCION: Usando c) de la proposicin 2 tenemos
% ~ P c z0 c (c z % b 8zn
c
zb c
z
c
+> z ?AI
~ P H>
?
>
?
@
c zc
zb
~P
zc
z
z ?I
?>
zb
zb
zc
?>
?I
zb
zb
c
z bz
z
F zbzc > zb
?G ~ P
c
z zb
zbzczb
z
(zbzc
A
Daro Snchez H
154
z zb
v P c <
y
zbzczb =
{
~x
z
c
w P < (zbzc = z
c
c
c
z zbz
z zbz
z zbz
v 9
y
zbzczb b 9
zbzczb b 9
zbzczb
'
~
'
~
c
'
~
c
x
{
~
zzc
zzc
b
9
9
w
z
' ~ (zbzc ' ~ c (zbzc
b
b
b
z zb
z zb
z zb
v lim (zbzb b lim (zbzc +lim (zczb y
zc
z2
zc2
~
z
z
lim zb
b lim zc
w
z
~@
b h
h
EJEMPLO.2. Dada
(
% ~ F
z
zc
cb hc
cb hc
c
b c c
c c c c c b
hc
~
?
cb
A >
hc
h
b
b
c
% ?z cuando ( ~ >
B
c
?
B
~
~
~
d
7 c
para
p( ~ O0 c AO ~ d
b
0 c 7 # ~ >
c
b ~
Ahora
y as
c
c ~
~> ?F
?>
?
c
c b ~
# ~ > ?
luego
Daro Snchez H
7 ~>
c
? 7
c
b
>
155
c
?
Luego
?z ~ >
c
z
z+5
?> 0
z
zc
?
>
c
?~
>
c
?@
z
zb
z
zc
cz
zb
z
zc
z
cz
z
z
zb + zc
zc5 + zc
~ @ cz z
z A
z
zb + zc
zb + zc
c z c
b z b
z
zc
b z b
11zb zc
@
z c
b z b A
c z c
b z b
z
zc
~ 11zb zc
@
A
z b
z
z c
h
~ 11zb zc
@
A
h
z b
z
z
zb zc
>
c
z b ?
c
hallar (
?
SOLUCION. Hemos demostrado que
EJEMPLO.3. Si ( ~ >
P(A ~
z-2
z
zb zc
> 7
4
' +1 ?
Luego
( ~P
c
zzc
v zb
zc
z
w zb
zc
( ~ c z z
z
lim zc
b lim zb
w
zc
z
c c
b
c
~ @ c
h
c b
>
c b h
c c b h
z
zb zc
zzb
zb zc
z
z
zc c
zb
lim z zc
zc
lim
y
z
z
b lim zb
z
zb
b lim z zb
z
c
h
b
c
c c
b
h
c
c b h
c b h
?
Daro Snchez H
156
EJERCICIOS
1. Se ha definido la tranformada P por
P) = (d
% P) %'
donde
B
P) % ~ %' c ~ ?) z
~cB
% ~ F
& ~ F
!
~ ~ c ~
!
Hallar %i&.
15.Sean
% ~ F
c ~ c ~ c ~
!
Daro Snchez H
157
~ ~ c ~
!
Use el teorema (Julio Hernndez) para hallar %i&
16. Demostrar que para la convolucin integral infinita se cumple
%i& b # ~ %i& b %i#
17 Si
! c B !
%! ~ F
& ~ F
!
&! ~ F
!
!
c
para OzO % 9 s
5 Si % ?z es absolutamente convergente para OzO 9 y & @ z es
absolutamente convergente para OzO 9 entonces demostrar que
a %i& ?@ z para OzO %9 9
b) %& ?i@ z para OzO 9 h 9
26Conocidas
)z ~ b zc b zc b b zc
*z ~ b zc b zc b b zc
)z
a Hallar # ~ P c 4 *
z 5 siempre y cuando b
Calcular #
con b ~ b
Daro Snchez H
158
Generalizar si b ~ b ~ b ~ ~ b c ~ b para
v % y
v ? z) y
x% {
x ? z {
27Supongamos que % ~ x { y que ?' ~ x
{, entonces demostrar que
w % z
w ? z z
A% (?z), A es una matriz cuadrada.
28.. Demostrar la proposicin 2 de la seccin 14.1
29 . Sean
| ~
5
% ~ 95 ~ F
y & ~ } c ~
!
~ !
Halle % ?) z & @) z y la correlacin entre % y &
B
~
~
32. Dada
% ~ F
(
c
?
33. Tome sus notas de clase o las de un amigo y haga un formulario de los resultados.
Comience as:
B
P) % ~ %zc
Calcular P [% cuando ( ~ >
Z) ( %
c )
~
3. etc. etc. ..
~cB
' X) (z)zc dz
, siendo X) (z) = P) %
Daro Snchez H
159
BIBLIOGRAFIA
Internacional/Iberoamerica.
[9]. Quicazan,
Especiales. Bogota.1996
[10].Mijailov,
V.P. Ecuaciones Diferenciales en Derivadas Parciales.Editorial
Moscu.
[11].Lang S. : (& 0 Addison-Wesley 1971
[12].Rudin W.:7 4 !! (& 4 .9(> c /033
[13]. Churchill R.V.= * & " 4 .9(> c /033
[14]. Snchez J.D.:4 !! = . Conferencias U.N 1997
=>>:
Espero que el lector haya obtenido algn provecho de este trabajo en el aprendizaje de
las matemticas para Ingenieria. Exitos y bienvenidos a la investigacin por internet.
Cualquier comentario se agradece hacerlo llegar a:
danojuanos@hotmail.com - danojuanos@tutopia.com
Daro Snchez H
160