Professional Documents
Culture Documents
Bernardo Acevedo .
Junio 2005
ii
Contenido
1 Series de Fourier 1
1.1 Funciones Pares e Impares . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Propiedades de las funciones pares e impares . . . . . . . . . . . . . 1
1.2 Funciones perodicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 Algunas Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Criterio de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.1 Derivacin e integracin en series de fourier . . . . . . . . . . . . . 21
1.4 Serie de Fourier en forma Compleja . . . . . . . . . . . . . . . . . . . . . . 32
1.5 Integral de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
1.6 Integral Compleja de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2 Transformada de Fourier 51
iii
iv CONTENIDO
3 Transformada Zeta 99
3.1 Generalidades. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3.2 Algunas propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
3.3 Algunos Mtodos para hallar la inversa . . . . . . . . . . . . . . . . . . . . 114
3.3.1 Mtodo de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . 114
3.3.2 Mtodo de Fracciones Parciales . . . . . . . . . . . . . . . . . . . . 116
3.3.3 Mtodo de la divisin . . . . . . . . . . . . . . . . . . . . . . . . . . 117
3.3.4 Mtodo de la convolucin . . . . . . . . . . . . . . . . . . . . . . . 117
v
vi PRLOGO
Captulo 1
Series de Fourier
Ejemplo 1.1 f (x) = x2 ; f (x) = jxj ; f (x) = cos x; f (x) = jxj cos x; f (x) = x2 jxj sin2 x;son
funciones pares y f (x) = x3 ; f (x) = x jxj ; f (x) = sin x; f (x) = sin3 x cos x; son funciones
impares
Ra
4. Si f(x) es impar e integrable en [ a; a] entonces f (x)dx = 0
a
Ra Ra
5. Si f(x) es par e integrable en [ a; a] entonces f (x)dx = 2 f (x)dx
a 0
1
2 CAPTULO 1. SERIES DE FOURIER
En efecto,
Za Z0 Za Za
f (x)dx = f (x)dx + f (x)dx = 2 f (x)dx ya que
a a 0 0
Z0 Z0 Za Za
f (x)dx = f ( u)du = f (u)du = f (x)dx (x = u; dx = du)
a a 0 0
-T 0 T 3T x
2T
2 x 2
Ejemplo 1.3 f (x) = cos 3x tiene perido ; f (x) = sin tiene perido 1 = 4
3 2 2
Un conjunto de funciones reales f'0 (x); '1 (x); '2 (x); :::g se dice ortogonal en un intervalo
a x b si
Zb
'n (x)'m (x)dx = 0 para m 6= n
a
2.
ZL Z
n x L 2L
cos dx = cos nudu = [sin nx]0 = 0
L n
L
3.
ZL
n x m x
sin cos dx = 0
L L
L
4.
ZL
n x m x
cos cos dx = 0 para m 6= n
L L
L
x
En efecto, si u = entonces
L
ZL Z
n x m x L
cos cos dx = cos n u cos m u du =
L L
L
Z
L
= cos(m + n )u + cos(m n)u du
2
L sin (m + n) u sin (m n) u
= + = 0 m 6= n
2 m+n m n
5.
ZL
n x m x
sin sin dx = 0 para m 6= n
L L
L
(Ejercicio)
Denicin 4 Una funcin f(x) se dice seccionalmente continua en [a; b] ; si f est acotada
en [a; b] y si existe un nmero nito de discontinuidades, estas deben ser de salto
1 si x es irracional
f (x) =
0 si x es racional
A la expresin
a0 X
1
n x n x
+ an cos + bn sin
2 n=1
L L
se llama la serie de Fourier y a
o en forma ms general
Z
C+2L Z
C+2L
1 n x 1 n x
an = f (x) cos dx bn = f (x) sin dx para C un nmero real
L L L L
C C
Como
a0 X
1
n x n x
f (x) = + an cos + bn sin
2 n=1
L L
entonces
* +
D n xE a0 X
1
n x n x n x
f (x); cos = + an cos + bn sin ; cos
L 2 n=1
L L L
por lo tanto
D ZL
n xE n x
f (x); cos = f (x) cos dx y
L L
L
* +
a0 X
1
n x n x n x
+ an cos + bn sin ; cos =
2 n=1
L L L
ZL !
a0 X 1
n x n x n x
= + an cos + bn sin cos dx =
2 n=1
L L L
L
ZL ZL
a0 n x x x n x
= cos dx + a1 cos + b1 sin cos dx + :::::
2 L L L L
L L
ZL
n x n x n x
+ an cos + bn sin cos dx + :: =
L L L
L
0 1
ZL ZL 2n x
n x 1 + cos
B L C
= an cos2 dx = an @ A dx = an L
L 2
L L
entonces
ZL
1 n x
an = f (x) cos dx
L L
L
8 CAPTULO 1. SERIES DE FOURIER
n x n x
Se ha utilizado el desarrollo ortogonal en [ L; L] de f1; sin ; cos ; n = 1; 2; 3; ::; g
L L
n x
con cos ; en forma anloga para calcular a0 ; hacer el desarollo ortogonal de
L
n x n x
f1; sin ; cos ; n = 1; 2; 3; ::; g
L L
n x n x
f1; sin ; cos ; n = 1; 2; 3; ::; g
L L
n x
con sin en [ L; L]
L
0 si <x<0
f (x) = f (x + 2 ) = f (x) gura 1.2
x si 0 x<
x 3-x 5-x
0 2 3 4 5 x
2 0 3
ZL Z Z Z
1 1 14
a0 = f (x)dx = f (x)dx = 0dx + ( x)dx5
L
L 0
2
1 x
= x =
2 0 2
1.3. CRITERIO DE DIRICHLET 9
2 0 3
ZL Z Z Z
1 n x 1 14
an = f (x) cos dx = f (x) cos nxdx = 0dx + ( x) cos nxdx5
L L
L 0
Z
1 sin nx 1
= ( x) + sin nxdx =
n 0 n
0
1 cos nx 1 cos n 1 ( 1)n
= 0 = =
n n 0 n2 n2
En forma anloga
ZL Z
1 n x 1
bn = f (x) sin dx = f (x) sin nxdx =
L L
L
2 0 2 3 3
Z Z Z
14 1
= 0dx + ( x) sin nxdx5 = 4 ( x) sin nxdx5
0 0
1 ( x) cos nx sin nx 1
= + =
n n2 0 n
Por lo tanto la serie de Fourier est dada por
8
>
> 0 si <x<0
>
>
>
>
>
< x si 0<x<
X
1
1 ( 1)n 1
+ cos nx + sin nx = +0
4 n2 n >
> = si x=0
n=1 >
> 2 2
>
>
>
: 0+0
= 0 si x=
2
Observe que
0+0 f( +
) + f( ) lim+ 0 + lim ( x)
x! x!
=0= =
2 2 2
+ lim + 0 + lim ( x)
0+0 f( ) + f( ) x! x!
=0= =
2 2 2
10 CAPTULO 1. SERIES DE FOURIER
Ahora si en la igualdad
8
>
> 0 si <x<0
>
>
>
>
>
< x si 0<x<
X
1
1 ( 1)n 1
+ cos nx + sin nx = +0
4 n2 n >
> = si x=0
n=1 >
> 2 2
>
>
>
: 0+0
= 0 si x=
2
X
1
1 ( 1)n 1 X 1
1 ( 1)n +0
+ cos n0 + sin n0 = + = =
4 n=1
n2 n 4 n=1 n2 2 2
luego
X
1
1 ( 1)n
+ =
4 n=1
n2 2
es decir
X
1
1 ( 1)n
= =
n=1
n2 2 4 4
y as
X
1
1 ( 1)n 2
=
n=1
n2 4
es decir
2
1 1 1
1+ + + + :::::: =
32 52 72 8
ZL Z Z Z Z
1 1 1 2 2
a0 = f (x)dx = f (x)dx = jxj dx = jxj dx = xdx =
L
L 0 0
1.3. CRITERIO DE DIRICHLET 11
2-x 4-x
-x x
x2
0 2 3 4 x
ZL Z Z
1 n x 1 2
an = f (x) cos dx = jxj cos nxdx = x cos nxdx =
L L
L 0
ZL Z
1 n x 1
bn = f (x) sin dx = f (x) sin nxdx =
L L
L
Z
1
= jxj sin nxdx = 0 ( jxj sin nx es Impar)
Z7 Z8
1 1
= (x 6 ) dx + (8 x)dx =
6 7
12 CAPTULO 1. SERIES DE FOURIER
ZL Z
1 n x 1
an = f (x) cos dx = f (x) cos nxdx =
L L
L
Z8 Z7 Z8
1 1 1
= f (x) cos nxdx = (x 6 ) cos nxdx + (8 x) cos nxdx =
6 6 7
2 (( 1)n 1)
=
n2
ZL Z
1 n x 1
bn = f (x) sin dx = f (x) sin nxdx =
L L
L
Z8 Z7 Z8
1 1 1
= f (x) sin nxdx = (x 6 ) sin nxdx + (8 x) sin nxdx = 0
6 6 7
(
X
1
2 (( 1)n 1) x 6 si 6 x<7
+ cos nx = 7 x 8
2 n2 8 x si
n=1
ZL Z Z
1 1 1
a0 = f (x)dx = f (x)dx = xdx = 0
L
L
ZL Z Z
1 n x 1 1
an = f (x) cos dx = f (x) cos nxdx = x cos nxdx = 0
L L
L
ZL Z Z
1 n x 1 1
bn = f (x) sin dx = f (x) sin nxdx = x sin nxdx =
L L
L
1.3. CRITERIO DE DIRICHLET 13
Z
2 2 x cos nx sin nx 2 cos n 2( 1)n+1
= x sin nxdx = + = =
n n2 0 n n
0
entonces la serie de Fourier es
8
> x si <x<
>
<
X1
2( 1)n+1
sin nx = 0 si x=
n >
>
n=1 : 0 si x=
ZL Z Z 2
1 1 2 2
a0 = f (x)dx = f (x)dx = x2 dx =
L 3
L 0
ZL Z Z
1 n x 1 2
an = f (x) cos dx = f (x) cos nxdx = x2 cos nxdx
L L
L 0
2 n
2 x sin nx 2x cos nx 2 sin nx 4( 1)
= + =
n n2 n3 0 n2
ZL Z
1 n x 1
bn = f (x) sin dx = f (x) sin nxdx = 0
L L
L
x2 2 X 1
cos nx 2 sin nx
x+ = + ( 1)n <x<
4 12 n=1 n2 n
14 CAPTULO 1. SERIES DE FOURIER
ZL Z Z2 Z2
1 1 1 1
a0 = f (x)dx = f (x)dx = f (x)dx = xdx = 2
L
L 0 0
ZL Z Z2
1 n x 1 1
an = f (x) cos dx = f (x) cos nxdx = x cos nxdx
L L
L 0
2
1 x sin nx cos nx
= + =0
n n2 0
ZL Z Z2
1 n x 1 1
bn = f (x) sin dx = f (x) sin nxdx = x sin nxdx
L L
L 0
2
1 x cos nx sin nx 2
= + =
n n2 0 n
ZL Z Z2 Z2 2
1 1 1 1 2 8
a0 = f (x)dx = f (x)dx = f (x)dx = x dx =
L 3
L 0 0
ZL Z Z2
1 n x 1 1
an = f (x) cos dx = f (x) cos nxdx = x2 cos nxdx
L L
L 0
2
1 x2 sin nx 2x cos nx 2 sin nx 4
= + =
n n2 n3 0 n2
ZL Z Z2
1 n x 1 1
bn = f (x) sin dx = f (x) sin nxdx = x2 sin nxdx
L L
L 0
2
1 x2 cos nx 2x sin nx 2 cos nx 4
= + + =
n n2 n3 0 n
por lo tanto, la serie de Fourier de la funcin est dada por
8
>
> x2 si 0 < x < 2
>
>
>
>
4 2 X1
4 4 < 0+4 2 2
=2 si x=0
+ cos nx sin nx = 2
3 n 2 n >
>
n=1 >
> 0+4 2
>
> =2 2
si x=2
: 2
Si en la igualdad anterior se reemplaza x por cero se obtiene
4 2 X1
4 4 4 2 X 4
1
2
+ cos n0 sin n0 = + =2
3 n=1
n2 n 3 n=1
n2
16 CAPTULO 1. SERIES DE FOURIER
es decir
X1
4 4 2
2 2
2
2
=2 =
n=1
n 3 3
y as
X1
1 2
=
n=1
n2 6
Si se reemplaza x por se obtiene
4 2 X1
4 4 4 2 X 4
1
2
+ 2
cos n sin n = + 2
cos n =
3 n=1
n n 3 n=1
n
luego
X1
4 4 2 2
2
2
cos n = =
n=1
n 3 3
por tanto
X1
( 1)n+1 2
=
n=1
n2 12
ZL Z Z0 Z
1 1 1 1
a0 = f (x) dx = f (x) dx = ( 1) dx + 1 dx
L
L 0
1 1
= ( )+ ( )=0
1.3. CRITERIO DE DIRICHLET 17
ZL Z
1 n x 1
an = f (x) cos dx = f (x) cos nx dx = 0 pues f (x) cos nx es impar
L L
L
ZL Z Z0 Z
1 n x 1 1 1
bn = f (x) sin dx = f (x) sin nxdx = sin nxdx + 1: sin nxdx =
L L
L 0
1 h cos nx i0 1 h cos nx i 2 2
= + = (1 cos n ) = (1 ( 1)n )
n n 0 n n
por lo tanto la serie de Fourier de la funcin esta dad por
8
>
> 1 si <x<0
>
>
>
< 1 si 0<x<
X1
2(1 ( 1)n )
sin nx = 1 1
n >
> 2
=0 si x=0
n=1 >
>
>
: 1+1 =0 si x=
2
4 X ( 1)n
1
= = 1 ya que 0
n=0
2n + 1 2
luego
X1
( 1)n
=
n=0
2n + 1 4
8
< 0 si 2<x< 1
f (x) = 1 si 1 x<1 f (x + 4) = f (x) gura 1.6
:
0 si 1 x<2
En efecto: El perodo de la funcin es T = 4 = 2L entonces
18 CAPTULO 1. SERIES DE FOURIER
x
-2 -1 0 1 2 3 4 5
ZL Z1 Z1 Z2 Z1
1 1 1 1 1
a0 = f (x)dx = 0dx + 1dx + 0dx = 1dx = 1
L 2 2 2 2
L 2 1 1 1
ZL Z1 Z1
1 n x 1 n x n x
an = f (x) cos dx = cos dx = cos dx
L L 2 2 2
L 1 0
2 h n x i1 2 n
= sin = sin
n 2 0 n 2
ZL Z1
1 n x 1 n x
bn = f (x) sin dx = sin dx = 0
L L 2 2
L 1
f (x) = sin2 x
ZL Z2 Z2
1 n x 2 2
bn = f (x) sin dx = f (x) sin 2nxdx = sin2 x sin 2nxdx = 0
L L
L 2 2
1.3. CRITERIO DE DIRICHLET 19
ZL Z2 Z Z Z
1 2 2 2 2 2 1 cos 2x
a0 = f (x)dx = f (x)dx = f (x)dx = sin x dx = dx = 1
L 2
L 2
0 0 0
ZL Z2 Z
1 n x 2 2
an = f (x) cos dx = f (x) cos 2nxdx = f (x) cos 2nxdx =
L L
L 2
0
Z Z Z
2 2 2 1 cos 2x 1
sin x cos 2nxdx = cos 2nxdx = (cos 2nx cos 2x cos 2nx)dx =
2
0 0 0
Z
1 1
= (cos 2nx (cos(2 + 2n)x + cos(2 2n)x) dx =
2
0
ZL Z2 Z
1 2 2 1 cos 2x
a0 = f (x)dx = f (x)dx = =1
L 2
L 2
0
y si n = 1 entonces
ZL Z2 Z
1 x 2 2 1 cos 2x
a1 = f (x) cos dx = f (x) cos 2xdx = cos 2xdx =
L L 2
L 2
0
Z Z Z
1 1 2 1 1 + cos 4x 1
= (1 cos 2x) cos 2xdx = (cos 2x cos 2x)dx = 0 dx =
2 2
0 0 0
2
por tanto la serie de Fourier de la funcin f (x) = sin x es
a0 X
1
n x n x a0 1 1 1 cos 2x
+ an cos + bn sin = + a1 cos 2x = cos 2x = = sin2 x
2 n=1
L L 2 2 2 2
20 CAPTULO 1. SERIES DE FOURIER
ZL Z4 Z4
1 n x 4 8
an = f (x) cos dx = f (x) cos 4nxdx = cos2 2x cos 4nxdx =
L L
L 4
0
Z4 Z4
8 1 + cos 4x 4
= cos 4nxdx = (cos 4nx + cos 4x cos 4nx)dx =
2
0 0
y si n = 1 entonces
ZL Z4 Z4
1 x 4 8
a1 = f (x) cos dx = f (x) cos 4xdx = cos2 2x cos 4xdx
L L
L 4
0
Z4 Z4
8 1 + cos 4x 4 1
= cos 4xdx = (1 + cos 4x) cos 4xdx =
2 2
0 0
por tanto la serie de Fourier es
a0 X
1
n x n x 1 1 cos 4x 1 + cos 4x
+ an cos + bn sin = + a1 cos 4x = + =
2 n=1
L L 2 2 2 2
1.3. CRITERIO DE DIRICHLET 21
a0 X
1
n x n x
f (x) = + an cos + bn sin
2 n=1
L L
entonces si f 0 (x) satisface las condiciones del criterio de Dirichlet se tiene que:
X
1
n n x n n x
f 0 (x) = bn cos an sin
n=1
L L L L
es la serie de Fourier de la funcin derivada y si f(x) satisface las condiciones del criterio
de Dirichlet en [ L; L] y tiene una expansin en serie de fourier
a0 X
1
n x n x
f (x) = + an cos + bn sin entonces
2 n=1
L L
para
L x1 < x L se tiene que
Zx Zx " #
a0 X
1
n t n t
f (t)dt = + an cos + bn sin dt
2 n=1
L L
x1 x1
Zx X1 Z x
a0 n t n t
= dt + an cos + bn sin dt
2 n=1
L L
x1 x1
Ejemplo 1.23 Sabemos que la serie de Fourier de la funcin f (x) = jxj para x
est dada por
X
1
2 (( 1)n 1)
+ cos nx = jxj si x f (x + 2 ) = f (x)
2 n=1
n2
1 si 0<x< X
1
2 (( 1)n 1)
0
f (x) = = sin nx =
1 si <x<0 n
n=1
22 CAPTULO 1. SERIES DE FOURIER
X
1
2 (1 ( 1)n )
= sin nx
n=1
n
as que
X
1
2 (1 ( 1)n ) 1 si 0<x<
sin nx =
n 1 si <x<0
n=1
integrando.
Integremos entre 0 y x, la serie de fourier de f 0 (x)
1 Z x " #x
X 2 (1 ( 1)n ) X
1
1 2 (1 ( 1)n )
sin ntdt = cos nt =
n=1 0
n n=1
n n
0
X
1
2 (1 ( 1)n ) X
1
2 (1 ( 1)n )
= cos nx =
n=1
n2 n=1
n2
4 1 1 1 X
1
2 (1 ( 1)n )
= 1+ 2
+ 2 + 2 + ::: cos nx =
3 5 7 n=1
n2
4 2 X
1
2 (1 ( 1)n )
= : cos nx =
8 n=1
n2
X
1
2 (1 ( 1)n )
= cos nx
2 n=1
n2
Ahora si integramos la funcin derivada
8 x
> Z
>
>
>
> 1dt = x si 0 x
Zx >
<
f 0 (t)dt = Zx
0
= jxj
>
>
0 >
> 1dt = x si x<0
>
>
:
0
1.3. CRITERIO DE DIRICHLET 23
por lo tanto
X
1
2 (1 ( 1)n )
jxj = cos nx si x f (x + 2 ) = f (x)
2 n=1
n2
1 Z x " #x
X 2 (1 ( 1) ) n X
1
1 2 (1 ( 1) )n
sin ntdt = cos nt =
n=1
n n=1
n n
X
1
2 (1 ( 1)n ) X
1
2 (1 ( 1)n ) ( 1)n
= cos nx + =
n=1
n2 n=1
n2
X1
2 (( 1)n 1) X
1
2 (1 ( 1)n )
= cos nx =
n=1
n2 n=1
n2
2X
1
4 1 1 1 (1 ( 1)n )
= 1+ + + + ::: cos nx =
32 52 72 n=1
n2
4 2
2 X
1
(1 ( 1)n ) 2X
1
(1 ( 1)n )
= : cos nx = cos nx
8 n=1
n2 2 n=1
n2
pero
2X
1
(1 ( 1)n )
+x= cos nx
2 n=1
n2
luego despejando x se obtiene
2X 2X
1 1
(1 ( 1)n ) (1 ( 1)n )
x = cos nx = cos nx
2 n=1
n2 2 n=1
n2
2X
1 n
(( 1) 1)
= + cos nx
2 n=1
n2
24 CAPTULO 1. SERIES DE FOURIER
Si x < 0 entonces
Zx Zx
f (t)dt = 1dt = x
pero
2X
1
(1 ( 1)n )
x = cos nx
2 n=1
n2
luego despejando x obtenemos
2X
1
(1 ( 1)n )
x = cos nx
2 n=1
n2
2 X1
(( 1)n 1)
= + cos nx
2 n=1
n2
as
2X
1
(( 1)n 1)
+ cos nx = jxj si x f (x + 2 ) = f (x)
2 n=1
n2
X1
( 1)n+1
x=2 sin nx <x< f (x + 2 ) = f (x)
n=1
n
Ahora integrando entre 0 y x ambos miembros de la igualdad anterior se tiene
Zx X1 Z x
( 1)n+1
tdt = 2 sin ntdt por tanto
n=1
n
0 0
1.3. CRITERIO DE DIRICHLET 25
Zx " 1 #x
x2 X ( 1)n X1
( 1)n X1
( 1)n
tdt = = 2 2
cos nt = 2 2
cos nx 2
2 n=1
n n=1
n n=1
n2
0 0
X
1
( 1)n 2
= 2 cos nx + luego
n=1
n2 6
2 X1
( 1)n
2
x = +4 cos nx si x f (x + 2 ) = f (x)
3 n=1
n2
Si integramos entre y x cada trmino de la igualdad
X1
( 1)n+1
x=2 sin nx
n=1
n
obtenemos que
Zx X1 Z x
( 1)n+1
tdt = 2 sin ntdt por tanto
n=1
n
Zx " #x
x2 2 X1
( 1)n X1
( 1)n X1
1
tdt = = 2 cos nt =2 cos nx 2 luego
2 2 n=1
n2 n=1
n2 n=1
n2
x2 2 X1
( 1)n 2
=2 cos nx entonces
2 2 n=1
n2 3
x2 2 X1
( 1)n
= +2 2
cos nx y as obtenemos la serie de Fourier para x2 as
2 6 n=1
n
2 X1
( 1)n
2
x = +4 cos nx si x f (x + 2 ) = f (x)
3 n=1
n2
Si integramos entre y x cada trmino de la igualdad anterior, se obtiene
Zx Zx 2 X1 Z x
2 ( 1)n
t dt = dt + 4 cos ntdt luego
3 n=1
n2
x3 3 2
x 3 X1
( 1)n
+ = + +4 sin nx por tanto
3 3 3 3 n=1
n3
26 CAPTULO 1. SERIES DE FOURIER
x3 2
x X1
( 1)n
=4 3
sin nx y as obtenemos
3 3 n=1
n
X1
( 1)n
3 2
g(x) = x x = 12 sin nx si <x< g(x + 2 ) = g(x)
n=1
n3
que la serie de Fourier de la funcin g(x) = x3 2
x si x
Ejercicio 1
a)
4 X ( 1)n+1
1
n x x si 2<x<2
sin =
n 2 0 si x= 2
n=1
b) 8
>
> 0 si 5<x<0
>
>
3 X
1
3(1 cos n ) n x < 3 si 0<x<5
+ sin = 3
2 n=1 n 5 >
> 2
si x= 5
>
>
: 3
si x=0
2
1.3. CRITERIO DE DIRICHLET 27
c) 8
>
< 1 si 1<x<0
3 X ( 1)n 1
1
1 x si 0<x<1
+ cos n x sin n x =
4 n=1 n2 2 n >
: 1 si
2
x=0
d) 8
1 sin x 1 X
1
( 1) + 1 n 0 si < <x<0
+ + cos nx = sin x si 0<x<
2 1 n2 :
n=2 0 si x=0
1 1 1 1
y deduzca que = + + ::::::
4 2 1:3 3:5 5:7
e)
" #
1 X ( 1)n
1
2 sin h ex si <x<
+ (cos nx n sin nx) =
2 n=1 1 + n2 cosh si x=
f)
" #
2 X1
2( 1)n ( 1)n+1 2
+ 2
cos nx + + 3 (( 1)n 1) sin nx
6 n=1
n n n
0 si <x<0
=
x2 si 0<x<
2
1 1 1
y deduzca que = 1+ + + +::::
6 22 32 42
h)
2 X1
( 1)n
+4 2
cos nx = x2 si x
3 n=1
n
X1
( 1)n+1
2 sin nx = x si <x< f (x+2 ) = f (x)
n=1
n
i)
3 X 1
( 1)n 1 1 si <x<0
+ cos nx sin nx =
4 n2 n x si 0<x<
n=1
2 X
1
1
y deduzca que =
8 n=1
(2n 1)2
28 CAPTULO 1. SERIES DE FOURIER
j)
2X
1 2
2 2
( 1)n sin nx = x jxj x
n=1
n3 n n3
Z Z
1 3 2
bn = sin x sin nxdx = sin3 x sin nxdx =
0
Z
2 3 3 1 1
= cos (x nx) cos (x + nx) + cos (3x + nx) cos (3x nx) dx =
8 8 8 8
0
2 3 sin (x nx) 3 sin (x + nx) 1 sin (3x + nx) 1 sin (3x nx)
= + =
8 1 n 8 1+n 8 3+n 8 3 n 0
= 0 para n 6= 1 y n 6= 3
Si
Z
1 3
n = 1; b1 = sin3 x sin xdx =
4
Z
1 1
y para n = 3, b3 = sin3 x sin 3xdx =
4
L)
4X
1
2 1
cos 2nt = jsin tj
n=1
4n2 1
1.3. CRITERIO DE DIRICHLET 29
En todos los ejemplos y exposiciones anteriores comenzamos con una funcin peridica y
la serie de Fourier est determinada por las frmulas de los coecientes de Fourier. Sin
embargo en algunas aplicaciones existe la necesidad de usar series de Fourier para una
funcin denida en un intervalo de la forma 0 < x < L y queremos representar sus valores
por una serie de Fourier en senos y cosenos o en solo cosenos o en solo senos y para ello
denimos la extensin peridica
h(x) = f (x) 0 < x < L h(x + L) = h(x)
y suponiendo que f(x) satisface las condiciones de Dirichlet en (0; L), la nueva funcin
h(x) tendr una expansin en serie de fourier y como h(x)=f(x) en (0; L) se sigue que
la expansin en serie de fourier de h(x) ser representativa para f(x) en (0; L) : Si se
quiere la serie de fourier en solo cosenos el primer paso es la extensin de f al intervalo
L < x < 0 y gracias a esto podemos extender f al eje real completo, mediante la
condicin de periodicidad f (x + 2L) = f (x):
Si f(x) est denida en 0 < x < L, podemos hacer una extensin par de perido 2L que
est dada por
f (x) si 0<x<L
fp (x) = f (x + 2L) = f (x)
f ( x) si L<x<0
y una extensin impar para solo senos dada por
f (x) si 0<x<L
fi (x) = f (x + 2L) = f (x)
f ( x) si L<x<0
y las series de Fourier vienen dadas por
a0 X
1
n x
+ an cos = fp (x) = f (x) 0<x<L
2 n=1
L
ZL ZL ZL
1 n x 2 n x 2
con an = fp (x) cos dx = f (x) cos dx a0 = f (x)dx y bn = 0
L L L L L
L 0 0
ZL ZL
1 n x 2 n x
con bn = fi (x) sin dx = f (x) sin dx y an = 0
L L L L
L 0
x2 si 0<x<
fp (x) =
x2 si <x<0
ZL Z
2 n x 2
an = f (x) cos dx = x2 cos nxdx =
L L
0 0
2
= n2 x2 sin nx 2 sin nx + 2nx cos nx 0
n3
2 4
= 3
(2n cos n ) = ( 1)n 2
n n
ZL Z
1 n x 1
bn = fp (x) sin dx = x2 sin nxdx = 0
L L
L
Z Z 2
2 2 2
a0 = f (x)dx = x2 dx =
3
0 0
2 X
1
4
+ ( 1)n cos nx = x2 0<x<
3 n=1
n2
Ejemplo 1.26 Hallar la serie de Fourier de f (x) = x2 0 < x < en solo senos.
x2 si 0<x<
fi (x) =
x2 si <x<0
es su prolongacin impar , luego
ZL Z Z
1 n x 1 2
bn = fi (x) sin dx = fi (x) sin nxdx = f (x) sin nxdx
L L
L 0
2
2 x 2 2
= cos nx + 2 x sin nx + 3 cos nx
n n n 0
2 cos n 4
= + 3 (cos n 1)
n n
1.3. CRITERIO DE DIRICHLET 31
ZL
1 n x
an = fi (x) cos dx = 0
L L
L
ZL Z2
4 2
= (cos n 1) y a0 = f (x)dx = xdx = 2
n2 2 L
0 0
luego la serie de Fourier viene dada por
X
1
4 n x
1+ (cos n 1) cos =x 0<x<2
n=1
n2 2 2
32 CAPTULO 1. SERIES DE FOURIER
Ejemplo 1.28 Desarrollar f (x) = sin x 0 < x < en serie de cosenos y muestre como
ejercicio que la serie de Fourier de f (x) = sin x 0 < x < en solo senos es senx.
En efecto, hacemos la prolongacin par de la funcin, por lo tanto 2 = 2L; L = y
bn = 0 y
ZL Z Z
2 n x 2 1
an = f (x) cos dx = sin x cos nxdx == [sin(x + nx) + sin(x nx)] dx =
L L
0 0 0
2 X (1 + cos n )
1
2
cos nx = sin x 0 < x <
n=2
(n2 1)
= + an 4 5 + bn 4 e e 5=
2 n=1
2 2i
2 n xi n xi
3 2 n xi n xi
3
a0 X1
e L
+e L L L
= + an 4 5 ibn 4 e e 5=
2 n=1
2 2
a0 X
1
an ibn n xi
L an + ibn n xi
L
= + e + e
2 n=1
2 2
a0 X
1
n xi n xi
= + c n e L + kn e L
Ahora
2 n=1
1.4. SERIE DE FOURIER EN FORMA COMPLEJA 33
2 3
ZL ZL
(an ibn ) 1 41 n x i n x 5
Cn = = f (x) cos dx f (x) sin dx
2 2 L L L L
L L
ZL h ZL
1 n x n xi 1 n xi
L
= f (x) cos i sin dx = f (x)e dx
2L L L 2L
L L
ZL
(an + ibn ) 1 n xi
L
Kn = = f (x)e dx
2 2L
L
por lo tanto
a0 X X
1
n xi n xi
1 n xi
f (x) = + Cn e L + Kn e L
= Cn e L
con
2 n=1 n= 1
ZL
1 n xi
L
Cn = f (x)e dx
2L
L
X
1 ZL
n xi
L 1 n xi
L
f (x) = Cn e con Cn = f (x)e dx
n= 1
2L
L
ZL ZL Z
1 0 xi
L 1 1
C0 = f (x)e dx = f (x)dx = f (x)dx = 0
2L 2L 2
L L
34 CAPTULO 1. SERIES DE FOURIER
entonces 8
X
1
i < 1 si 0 < x <
nix
(cos n 1) e +0= 1 si <x<0
n :
n= 1 0 si x = 0; ;
n6=0
ZL Z Z0 Z
1 0 xi
L 1 1 1 1
C0 = f (x)e dx = f (x)dx = 0dx + dx =
2L 2 2 2 2
L 0
entonces
8
X
1
i 1 < 1 si 0 < x <
nix
(cos n 1) e + = 0 si <x<0
2n 2 :
n= 1 1=2 si x = 0; ;
n6=0
i i
an = Cn + Kn = (cos n 1) (cos n 1) = 0
2n 2n
i i
bn = i(Cn Kn ) = i( (cos n 1) + (cos n 1)) =
2n 2n
1
= (1 cos n )
n
a0 = C0 + K0 = 1
por lo tanto la serie real est dada por
8
X1
1 1
1
< si 0 < x <
(1 cos n ) sin nx + = 1 si <x<0
n 2 :
n=1 1=2 si x = 0; ;
Ejemplo 1.31 Hallar el desarrollo de Fourier complejo de la funcin
f (x) = x2 x
En efecto,
ZL Z Z
1 n xi
1 2 nxi 1
Cn = f (x)e L
dx = xe dx = (x2 cos nx ix2 sin nx)dx =
2L 2 2
L
Z
1 1 2 cos n
= x2 cos nxdx + 0 = n2 x2 sin nx 2 sin nx + 2nx cos nx 0
=
2 n3 n2
36 CAPTULO 1. SERIES DE FOURIER
Z 2
1
C0 = x2 dx =
2 3
luego
X
1
2 cos n nix 2
2
x = e +
n= 1
n2 3
n6=0
X
1
2 cos n nix 2 2 X1
2 cos n X1
2 cos n
2
x = 2
e + = + 2
cos nx + cos nx =
n= 1
n 3 3 n= 1
n n=1
n2
n6=0
2 X
1
4 cos n
= + cos nx
3 n=1
n2
Recuerde que
(an ibn ) (an + ibn )
Cn = entonces 2Cn = an ibn y Kn = , luego 2Kn = an + ibn
2 2
y as se tiene el sistema de ecuaciones
cuya solucin es
an = Cn + Kn y bn = i(Cn Kn )
y de aqu se pueden hallar los coecientes de fourier de la serie real. En nuestro ejemplo
2 cos n 2 cos n 4 cos n
an = Cn + Kn = 2
+ 2
= n 6= 0
n n n2
2 2 2
2
si n = 0 entonces, a0 = C0 + K0 = + =
3 3 3
y
2 cos n 2 cos n
bn = i(Cn Kn ) = i( )=0
n2 n2
luego la serie real viene dada por
2 X
1
4 cos n
x2 = + cos nx x
3 n=1
n2
1.4. SERIE DE FOURIER EN FORMA COMPLEJA 37
f (x) = ex <x< T =2
En efecto
ZL Z Z
1 n xi 1 x nxi 1 1 e(1 ni)x
Cn = f (x)e L dx = e e dx = e(1 ni)x
dx ==
2L 2 2 2 1 ni
L
sinh X1
( 1)n (1 + ni) nxi
Fourier es 2)
e = ex <x<
n= 1
(1 + n
Si se quiere la serie real entonces
sinh X1
( 1)n (1 + ni) nxi
2)
e =
n= 1
(1 + n
sinh X1
( 1)n (1 + ni) nxi sinh X1
( 1)n (1 + ni) nxi sinh
= 2)
e + 2)
e + =
n= 1
(1 + n n=1
(1 + n
sinh X1
( 1) n (1 ni) sinh X1
( 1)n (1 + ni) nxi sinh
nxi
= e + e + =
n=1
(1 + n2 ) n=1
(1 + n2 )
38 CAPTULO 1. SERIES DE FOURIER
sinh X1
2( 1)n (cos nx n sin nx) sinh
= 2)
+ = ex <x<
n=1
(1 + n
haciendo las operaciones algebraicas y tomando la parte imaginaria igual a cero
Una forma ms practica para hallar los coecientes de fourier de la serie real es as
sinh X1
2( 1)n sinh 2( 1)n+1 n sinh
x
e = + cos nx + sin nx <x<
n=1
1 + n2 1 + n2
1.
2 sin 2 x sin 3 x
sin x + + + :::: =1 x 0<x<1
2 3
2.
8 sin 3x sin 5x
sin x + + + :::: = x( x) 0<x<
33 53
Verique las igualdades de las series de Fourier en solo cosenos
3.
1 2 x 1 3 x 1 5 x 0 si 0 < x < 1
cos cos + cos + :::: =
2 2 3 2 5 2 1 si 1 < x < 2
4.
2i X
1
1 1 si <x<0
e(2n+1)ix = f (x+2 ) = f (x)
2n + 1 1 si 0<x<
n= 1
5.
X
1
( 1)n nix
i e =x <x< f (x+2 ) = f (x)
n= 1
n
n6=0
6.
X1
2( 1)n+1 nix x
2
e = cos <x< f (x + 2 ) = f (x)
n= 1
(4n 1) 2
Muestre que
4 2( 1)n+1 4( 1)n+1
a0 = an = 2 = bn = 0 y
(4n2 1) (4n2 1)
2 X 4( 1)n+1
1
x
cos = + cos nx si <x<
2 n=0
(4n2 1)
7.
X
1
2i n ix
2+ e = 2x 0<x<2 f (x + 2) = f (x)
n= 1
n
n6=0
Muestre que
4
a0 = 4 an = 0 bn = y
n
4X1
1
2x = 2 sin n x si 0 < x < 2
n=1
n
t si 0 < t < 2
8. Hallar la serie compleja para f (t) = f (t + 3) = f (t)
0 si 2 t < 3
0 si 0 < t < 1
9. Hallar la serie compleja para f (t) = f (t + 4) = f (t)
1 si 1 t < 4
10. Hallar la serie compleja para f (t) = cos t 0 < t < 2 f (t + 2) = f (t)
40 CAPTULO 1. SERIES DE FOURIER
x
-1 0 1
que no es una funcin peridica, entonces a partir de sta, denimos una nueva funcin
de perido 2L, fL (x) as
8
< 0 si L<x< 1
fL (x) = 1 si 1<x<1 T = 2L gura 1.10
:
0 si 1<x<L
x
-L -1 0 1 L
a0 X
1
n x n x
fL (x) = + an cos +bn sin =
2 n=1 L L
ZL X1 Z
L Z L
1 1 n v n x 1 n v n x
= fL (v)dv + fL (v) cos dv cos + fL (v) sin dv sin
2L n=1
L L L L L L
L L L
1.5. INTEGRAL DE FOURIER 41
Ahora si
n (n + 1) n 1 4wn
wn = entonces 4wn = wn+1 wn = = luego =
L L L L L
as que
ZL X1 Z L Z L
1 1 1
fL (x) = fL (v)dv + fL (v) cos wn vdv cos wn x + fL (v) sin wn vdv sin wn x
2L n=1
L L
L L L
0 1
ZL 1 Z
X
L ZL
1 1@
= fL (v)dv + fL (v) cos wn vdv cos wn x + fL (v) sin wn vdv sin wn xA 4wn
2L n=1 L
L L
ZL Z1
1 1
y si L ! 1 entonces ! 0 y fL (v)dv ! 0 ( jf (x)j dx existe) y
L 2L
L 1
X
1 X
1
= fL (x) ! f (x) luego
n=1 n=0
0 1
Z1 Z1 Z1
1 @
f (x) = f (v) cos wvdv cos wx + f (v) sin wvdv sin wxA dw
0 1 1
Z1
1
= (Tc (w) cos wx + Ts (w) sin wx) dw
0
con
Z1 Z1
Tc (w) = f (v) cos wvdv y Ts (w) = f (v) sin wvdv
1 1
o
Z1 (
1 f (x) si f (x) es continua en x
(Tc (w) cos wx + Ts (w) sin wx) dw = f (x+
0 )+f (x0 )
2
si f (x) no es continua en x0
0
1 si jxj < 1
f (x) = gura 1.11
0 si jxj > 1
x
-1 0 1
En efecto
Z1 Z1 Z1
2 sin w
Tc (w) = f (v) cos wvdv = f (v) cos wvdv = cos wvdv =
w
1 1 1
Z1 Z1 Z1
Ts (w) = f (v) sin wvdv = f (v) sin wvdv = sin wvdv = 0
1 1 1
De aqu se puden calcular muchas integrales, como por ejemplo si en ambos miembros de
la igualdad 8
Z1 < 1 si jxj < 1
2 sin w
cos wxdw = 0 si jxj > 1
w : 1
0 2
si x = 1
1.5. INTEGRAL DE FOURIER 43
Z1 Z1
2 sin w 2 sin w
cos w0dw = dw = 1
w w
0 0
es decir
Z1 Z1
sin w sin x
dw = = dx
w 2 x
0 0
Z1 Z1
sin w cos 3w sin x cos 3x
dw = dx = 0 ( x = 3)
w x
0 0
y que
Z1 Z1
sin w cos w sin x cos x
dw = dx = (x = 1)
w x 4
0 0
x
e si x > 0
f (x) = gura 1.12
0 si x < 0
e-x
x
0
44 CAPTULO 1. SERIES DE FOURIER
En efecto
Z1 Z1
v 1
Tc (w) = f (v) cos wvdv = e cos wvdv = ya que
1 + w2
1 0
Z1
sx s
(cosax) = e cos axdx = luego si s = 1 y a = w la integral
s2 + a2
0
Z1 Z1
sx x 1
e cos axdx = e cos wxdx =
1 + w2
0 0
Z1 Z1
v w
Ts (w) = f (v) sin wvdv = e sin wvdv = ya que
1 + w2
1 0
Z1
sx a
$(sinax) = e sin axdx = luego si s = 1 y a=w la integral
s 2 + a2
0
Z1 Z1
sx x w
e sin axdx = e sin wxdx =
1 + w2
0 0
entonces
Z1 Z1
1 1 1 w
(Tc (w) cos wx + Ts (w) sin wx) dw = 2
cos wx + sin wx dw
1+w 1 + w2
0
80 x
< e si x > 0
= 0 si x < 0
: 1
2
si x = 0
Del anterior resultado se concluye que
Z1 Z1 Z1
cos 3x + x sin 3x 3 cos 5x x sin 5x 1
a) dx = e b) dx = 0 c) dx =
1 + x2 1 + x2 1 + x2 2
0 0 0
ex e-x
x
0
En efecto
Z1 Z1
v 2
Tc (w) = f (v) cos wvdv = 2 e cos wvdv = y
1 + w2
1 0
Z1
Ts (w) = f (v) sin wvdv = 0
1
Anlogamente a las series de Fourier, existen integrales de Fourier para funciones pares ,
integrales de Fourier de coseno y para funciones impares, integral de Fourier de seno
Z1
Ts (w) = f (v) sin wvdv = 0 ya que el integrando es una funcin impar
1
luego
Z1 Z1
1 1 2 x
Tc (w) cos wxdw = cos wxdw = e si x > 0
1 + w2
0 0
Z1 Z1 Z1
v 2w
Ts (w) = f (v) sin wvdv = 2 f (v) sin wvdv = 2 e sin wvdv = y
1 + w2
1 0 0
Z1
Tc (w) = f (v) cos wvdv = 0 ya que el integrando es una funcin impar
1
por lo tanto
Z1 Z1
1 1 2w x
Ts (w) sin wxdw = sin wxdw = e si x > 0
1 + w2
0 0
Ahora
Z1
1
(Tc (w) cos wx + Ts (w) sin wx) dw =
0
0 1
Z1 Z1 Z1
1 @
= f (v) cos wvdv cos wx + f (v) sin wvdv sin wxA dw
0 1 1
1.6. INTEGRAL COMPLEJA DE FOURIER 47
Z1 Z1
1
= f (v) cos(wv wx)dvdw =
0 1
Z1 Z1 Z1 Z1
1 i
= f (v) cos(wv wx)dvdw f (v) sin(wv wx)dvdw =
2 2
1 1 1 1
Z1 Z1 (
1 i(wv wx)
f (x) si f (x) es continua en x
= f (v)e dvdw = f (x+
0 )+f (x0 )
2 2
si f (x) no es continua en x0
1 1
1.
Z1
2 sin w 2 cos w 2 sin w x2 si 0 < x < 1
+ cos wxdw =
w w2 w3 0 si x>1
0
Z1
Observe que TS (w) = 0 = f (v) sin wvdv y de aqu f (v) es par
1
por lo tanto 8 2
>
> x si 0<x<1
<
0 si x>1
f (x) =
>
> x2 si 1<x<0
:
0 si x< 1
2.
Z1
2 2 sin 2w cos 2w 1 x si 0 < x < 2
+ cos wxdw =
w w2 0 si x>2
0
3.
Z1
2 w3 sin wx x
dw = e cos x si x > 0
w4 + 4
0
Z1
Observe que TC (w) = 0 = f (v) cos wvdv y de aqu f (v) es impar, es decir
1
48 CAPTULO 1. SERIES DE FOURIER
x
e cos x si x > 0
f (x) = x
e cos x si x < 0
4.
Z1
2 sin w sin wx sin x si 0 < x <
dw =
1 w2 0 si x>
0
5.
Z1 w
2 cos 2
cos wx cos x si jxj < 2
dw =
1 w2 0 si jxj > 2
0
6. 8
Z1 < 1 si 0 < x < 1
2 sin w cos wx 1
dw = si x=1
w : 2
0 0 si x>1
7.
Z1
2 (w2 + 2) cos wx x
dw = e cos x si x > 0
w4 + 4
0
8. 8
Z1 < 1 si 0 < x < k
2 1 cos wk 1
sin wxdw = si x=k
w : 2
0 0 si x>k
9. 8
Z1 < t si <t<
2 sin w 2 cos w
sin wtdw = 2
si x=
w2 w :
0 0 si jtj >
10. 8
Z1 <1 si <t<0
2
[1 cos w] sin wtdw = 1 si 0<t<
w :
0 0 si jtj >
11. 8
Z1 < 1 si 0 < t < 1
2
[2 sin 4w sin w] cos wtdw = 2 si 1 < t < 4
w :
0 0 si t>4
1.6. INTEGRAL COMPLEJA DE FOURIER 49
12. 8
Z1 < 1 si 0 < t < 1
2
[1 + cos w 2 cos 4w] sin wtdw = 2 si 1 < t < 4
w :
0 0 si t>4
50 CAPTULO 1. SERIES DE FOURIER
Captulo 2
Transformada de Fourier
0 t
51
52 CAPTULO 2. TRANSFORMADA DE FOURIER
y observemos que
d
(ua (t)) = a (t)
dt
Zt
ua (t) = a (u)du
1
lim a (t) = +1
a!0+
u(t)
u(t a) u(t a) u(t)
lim a (t) = lim = lim
a!0 a!0 a a!0 a
u(t + h) u(t)
= lim = u 0 (t) = (t)
h!0 h
Zt Z1
lim u(t) = lim (u)du = (u)du = 1
t!1 t!1
1 1
1 si t = 0
(t) =
0 si t 6= 0
y goza de las propiedades siguientes
1. si f (n) (t) es continua en t0 entonces
Zb
(n) ( 1)n f (n) (t0 ) si a < t0 < b
(t t0 )f (t)dt =
0 en otro caso
a
3.
1 b 0 1 0 b
(at + b) = t+ (at + b) = t+
jaj a jaj a
2.1. FUNCIN ESCALN 53
Ejemplo 2.1
Z1 Z3 Z1
1: et (t)dt = e0 = 1 2. t2 5t + 7 (t)dt = 7 3. (t 2) sin tdt = sin 2
1 2 1
Z1 Z1 Z1
1 1 3 1 x2
4. t2 e 3t
(t )dt = e 2 5. t3 (t + )dt = 0 6. e (x)dx = 0
2 4 3
1 0 1
Z1 Z1
0 d
7. senx (x)dx = (sin x)x=0 = cos 0 = 1 8. (t + 1) (t)dt = 1
dx
1 3
Z1
00
9: (x 1)e2x dx = 4e2
1
e t si t > 0
f (t) =
0 si t < 0
Z1 Z0 Z1
iwt iwt
F(f (t)) = f (t)e dt = 0e dt + e te iwt
dt
1 1 0
Z1 1
(1+iw)t 1
= e dt = e (1+iw)t
1 + iw 0
0
1 h i 1 h i
= 1 lim e (1+iw)b = 1 lim (e b
cos wb ie b
sin wb)
1 + iw b!1 1 + iw b!1
1
=
1 + iw
ya que como
1 cos wb 1 1
1 cos wb 1 entonces y como lim =0
eb eb eb b!1 eb
1 h i
b b
= 1 lim (e cos(w + 1)b ie sin(w + 1)b)
1 + i + iw b!1
1 1
= =
1 + i + iw 1 + i(w + 1)
8 (1+i)t
1 < e si t > 0
F 1 = 0 si t < 0
1 + i(w + 1) : 1
2
si t = 0
Z1 Z0 Z1
iwt t iwt
F(f (t)) = f (t)e dt = ee dt + e te iwt
dt
1 1 0
Z0 Z1
= e(1 iw)t
dt + e (1+iw)t
dt =
1 0
1 1 iw)t 0 (1+iw)t 1
= 1
e(1 e 0
1 iw 1 + iw
1 1 2
= + =
1 iw 1 + iw 1 + w2
luego
jtj 2 1 2 jtj
F(e ) = F (w) = y F ( )=e
1 + w2 1 + w2
t2
En efecto, aplicando la denicin de transformada de fourier a f (t) = e se tiene
Z1 Z1 Z1
iwt t2 iwt (t2 +iwt)
F(f (t)) = F (w) = f (t)e dt = e e dt = e dt
1 1 1
Z1 2 w2
Z1 Z1
i2 w2 2 w2
(t2 +iwt+ i ) ((t+ iw )2 + w4 ) (t+ iw )2
= e 4 4 dt = e 2 dt = e 4 e 2 dt
1 1 1
Z1 Z1
w2
x2 w2 p x2
= e 4 e dx = e 4 ya que si I = e dx entonces
1 1
Z1 Z1 Z1 Z1 Z1 Z1
2 x2 y2 x2 y2 (x2 +y 2 )
I = e dx: e dy = e e dxdy = e dxdy
1 1 1 1 1 1
Z2 Z1
r2
p
= e rdrd = entonces I=
0 0
por lo tanto
t2 w2 p 1 w2 p t2
F(e ) = F (w) = e 4 y F (e 4 ) =e
y as
Z1
iwt iw0 1
F( (t)) = (t)e dt = e = 1 luego F (1) = (t)
1
58 CAPTULO 2. TRANSFORMADA DE FOURIER
Z1
d2 2t
00
F( (t)e ) = 2t 00
(t)e2t e iwt
dt = ( 1)2 e e iwt
t=0
= (iw 2)2
dt2
1
Z1
1 1 1 iat
F ( (w a)) = (w a)eiwt dw = e
2 2
1
luego
F(eiat ) = 2 (w a)
y as
F(1) = 2 (w)
Ejemplo 2.13
eiat + e iat
1 1
F(cos at) = F = F(eiat ) + F(e iat
)= ( (w a) + (w + a))
2 2 2
y en forma anloga
F(sin at) = i ( (w a) (w + a))
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 59
2.2.2 Dilatacin
1 w
si F(f (t)) = F (w) entonces F(f (at)) = F
jaj a
En efecto
Z1 Z1
iwt 1 iwu 1 w
F(f (at)) = f (at)e dt = f (u)e a du = F si u = at para a > 0
a a a
1 1
y por lo tanto
1 1 w
F F = f (at)
a a
La demostracin si a < 0 es anloga
Ejemplo 2.14 Recordemos que
jtj 2
F(e ) = F (w) = entonces
1 + w2
!
jatj 1 2 1 2a2 2 jaj
F(e )= 2 = =
jaj 1+ w jaj a2 + w 2 a2 + w2
a
1 2 jaj jatj
y F =e
a2+ w2
60 CAPTULO 2. TRANSFORMADA DE FOURIER
jtj 2
F(e ) = F (w) = entonces
1 + w2
! !
1 2 1 2 (3)2 6
F(e j3tj ) = 2 = =
j3j 1+ w j3j 32 + w2 9 + w2
3
1 6 j3tj
y F =e
9 + w2
1 a at
y F =e u(at)
jaj (a + wi)
1 1
y F = e2t u( 2t)
(2 wi)
En efecto
1 + iw 1 + iw 1 + iw
F (w) = 2
= 2
=
6 w + 5iw (iw) + 5iw + 6 (2 + iw) (3 + iw)
A B 1 2
= + = + entonces
2 + iw 3 + iw 2 + iw 3 + iw
1 1 + iw 1 2 1 1 3t 2t
F =F F = 2e u(3t) e u(3t)
6 w2 + 5iw 3 + iw 2 + iw
t2 it
(w 1)2 p
F(e e )=e 4
1
(w 1)2 p t2 it
y F e 4 =e e
1 2 jtj 3it
por lo tanto F =e e
1 + (w 3)2
62 CAPTULO 2. TRANSFORMADA DE FOURIER
2 sin(w 3)a
F (w) =
w 3
En efecto :
1 si jtj a 2 sin wa
Si f (t) = entonces F (f (t)) = por lo tanto
0 si jtj > a w
Ejemplo 2.27
En efecto :
3t 3(t 2+2)
F 3u(t 2)e = F 3u(t 2)e = 3e 6 F u(t 2)e 3(t 2)
3e 2(iw+3)
= 3e 6 F u(t)e 3t
e 2iw
=
(3 + iw)
Ejemplo 2.29
jt 5j 2 5iw
F(e )= e
1 + w2
64 CAPTULO 2. TRANSFORMADA DE FOURIER
Ejemplo 2.30
(t 1)2 w2 p iw
F(e )=e 4 e
2 3iw
F (w) = e
1 + w2
En efecto :
jtj 2 jt 3j 2 3iw
como F(e )= entonces F(e )= e
1 + w2 1 + w2
1 2 3iw jt 3j
y F e =e
1 + w2
En efecto :
t2 w2 p (t 1)2 w2 p iw
Como F(e )=e 4 entonces F(e )=e 4 e
1 w2 p iw (t 1)2
y F e 4 e =e
2 sin wa 3iw
F (w) = e
w
En efecto :
1 si jtj a 2 sin wa
Si f (t) = sabemos que F (f (t)) = por lo tanto
0 si jtj > a w
e 2(w 3)i
F (w) =
5 + (w 3)i
En efecto :
1 e (2w 6)i
1 e 2(w 3)i
F =F
5 + (w 3)i 5 + (w 3)i
5t 1 5(t 2) e 2wi
Como F e u(t) = entonces F e u(t 2) = por lo tanto
5 + iw 5 + wi
e 2(w 3)i
F e3it e 5(t 2)
u(t 2) = luego
5 + (w 3)i
1 e 2(w 3)i
F = e3it e 5(t 2)
u(t 2)
5 + (w 3)i
2e4wi sin 2w
F (w) =
9 + w2
En efecto :
y lim f (k) (t) = lim f (k) (t) = 0 k = 0; 1; 2; :::n 1; si F (f (t)) = F (w) entonces
t!1 t! 1
1
Z1
iwt iwt
= f (t)e + iw f (t)e dt = iwF (w) pues
1
= f (t0 ) f (t+
0) e iwt0
+ iwF (f (t)) = iwF (w) ae iwt0
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 67
En efecto :
t2 w2 p t2 w2 p
F(e )=e 4 entonces F( 2te ) = (iw)e 4
w2 p
1 t2
y as F (iw)e 4 = 2te
Ejemplo 2.37
d d
(sig(t)) = 2u0 (t) = 2 (t) entonces F (sig(t)) = 2F ( (t)) = 2 = iw F (sig(t))
dt dt
2
luego F (sig(t)) =
iw
sig(t) 1 1
F (u(t)) = F + = + (w)
2 2 iw
1 iwa
y F (u(t a)) = + (w) e
iw
10i(t 1) 2e iw
F e sig(t 1 )= as que
i(w + 10)
1 e iw e 10i(t 1)
sig(t 1
F =
i(w + 10) 2
68 CAPTULO 2. TRANSFORMADA DE FOURIER
f(t)
2t 3-t
t
0 1 3
Z1
iwt
F (f (t)) = f (t)e dt =
1
Z0 Z1 Z3 Z1
iwt iwt iwt iwt
= f (t)e dt + f (t)e dt + f (t)e dt + f (t)e dt
1 0 1 3
Z0 Z1 Z3 Z1
iwt iwt iwt iwt
= 0:e dt + 2te dt + (3 t) e dt + 0:e dt
1 0 1 3
2 3e iw + e 3iw
=
(iw)2
2 Se deriva la funcin
8
< 2t
si 0 t 1
f (t) = 3 t si 1 t 3 para obtener
:
0 en otro caso
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 69
8
< 2 si 0 < t < 1
0
f (t) = 1 si 1 < t < 3
:
0 en otro caso
Su grco se pude observar en la gura 2.3
f`(t)
t
0 1 3
f 0 0 (t) = 2 (t) 3 (t 1) + (t 3)
y as
(iw)2 F (w) = 2 3e iw
+e 3iw
luego
2 3e iw + e 3iw
F (w) = (cuidado! cuando la funcin sea discontinua)
(iw)2
y as
por lo tanto
F (f 0 0 (t)) = (iw)2 F (w) = 2 3e iw
+e 3iw
ya que
Z1 Z1
iwt iwt iw
F (4 (t)) = 4 (t)e dt = 4 F (6 (t 1)) = 6 (t 1)e dt = 6e
1 1
Z1
d
F (2t 0 (t)) = 2t 0 (t)e iwt
dt = 2 te iwt
t=0
= 2
dt
1
Z1
d
F (3t 0 (t 1)) = 3t 0 (t 1)e iwt
dt = 3 te iwt
t=1
= 3 e iw
iwe iw
dt
1
Z1
F(3 0 (t 1)) = 3 0 (t 1)e iwt
dt = 3 iwe iw
1
Z1
iwt 3iw
F(2 (t 3)) = 2 (t 3)e dt = 2e
1
Z1
0
F(3 (t 3)) = 3 0 (t 3)e iwt
dt = 3(iwe 3iw
)
1
Z1
F(t 0 (t 3)) = t 0 (t 3)e iwt
dt = e 3iw
3iwe 3iw
1
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 71
5 si 3 t 11
f (t) =
0 en otro caso
f(t)
t
0 3 11
En efecto como
3wi 11iw
5 (e e ) 10 e4wi e 4iw
7iw 10e 7iw
F (w) = = e = sin 4w
iw w 2i w
Z1 Z11
wit wit
= f (t)e dt = 5 e dt
1 3
En efecto:
t2 d w2 p p 2w w2
F te =i e 4 = i e 4
dw 4
Ejemplo 2.43
Z1
0 0 iwt iwt iwt
F (t (t)) = (t)te dt = ( 1) e iwte t=0
= 1
1
Ejemplo 2.44
d 2 sin wa aw cos(wa) sin(wa)
F(t(u(t + a) u(t a))) = i = 2i
dw w w2
Ejemplo 2.45
at d at d 1 i2 1
F(t(u(t)e )) = i F u(t)e ) =i = 2 =
dw dw a + iw (a + iw) (a + iw)2
2.2.7 Simetra
jtj 2
F(e )= = F (w) entonces
1 + w2
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 73
2 jwj
a) F = 2 f ( w) = 2 e
1 + t2
2 jwj 3wi
b) F =2 e e
1 + (t 3)2
En efecto :
1 jw 3j 1 jw 3j
F e cos(2w 6 )=F e cos 2(w 3) pero
jtj 1 1
F e cos 2t = + entonces
1 + (w 2)2 1 + (w + 2)2
1 1 jwj
F 2
+ =2 e cos 2w por lo tanto
1 + (t 2) 1 + (t + 2)2
e3it e3it jw 3j
F + =2 e cos 2(w 3) y as
1 + (t 2)2 1 + (t + 2)2
1 jw 3j e3it 1 1
F e cos(2w 6 )= 2
+
2 1 + (t 2) 1 + (t + 2)2
4jtj 8 1 2 4jwj
F e = entonces F = e entonces
16 + w2 16 + t2 8
Ejemplo 2.52
0 t 1
Z
F te ajtj i d 2a 4a
F @ ue ajuj
duA = = =
iw iw dw a2 + w 2 (a2 + w2 )2
1
Ejemplo 2.53
0 1
Zt
du A e jwj e jwj
F @ = + F (0) (w) = + 2
(w)
1 + u2 iw iw
1
X
1
n ti
X
1
n
F (f (t)) = Cn F e L = Cn 2 w
n= 1 n= 1
L
Algunos ejemplos aplicando las propiedades anteriores.
Ejemplo 2.54 Hallar
1 iw 1
F e ( (w + 2) + )
i(w + 2)
En efecto : Como
1 2it 1
F((u(t)) = (w) + entonces F e u(t = (w + 2) + as que
iw i(w + 2)
2i(t 1) iw 1
F e u(t 1 )=e ( (w + 2) + ) por lo tanto
i(w + 2)
1 iw 1 2i(t 1)
F e ( (w + 2) + ) =e u(t 1)
i(w + 2)
Ejemplo 2.55 Como
F(1 + cos(4 t)) = F(1) + F( cos(4 t)) = 2 (w) + ( (w 4 ) + (w + 4 ))
entonces
1
F (2 (w) + ( (w 4 ) + (w + 4 ))) = 1 + cos(4 t)
76 CAPTULO 2. TRANSFORMADA DE FOURIER
1 1
F(sign(t)) = entonces F(e3it sign(t)) = por tanto
iw i(w 3)
e5iw
F e3i(t+5) sign(t + 5) =
i(w 3)
Como
3jtj 1 6 6 3 3
F e cos(2t) = 2
+ = +
2 9 + (w + 2) 9 + (w 2)2 9 + (w + 2) 2 9 + (w 2)2
entonces
3 3 3jwj
F 2
+ =2 e cos 2w as que
9 + (t + 2) 9 + (t 2)2
3e 4it 3e 4it
3jw+4j
F + =2 e cos 2(w + 4)
9 + (t + 2)2 9 + (t 2)2
de donde
2.2.10 Convolucin
1
y F (f (t)g(t)) = (F (w) G(w))
2
Demostracin
Sabemos que
Z1
iwt iwu
g(t u)e dt = F(g(t u)) = e G(w) por lo tanto
1
Z1 Z1 Z1
iwt iwt
F(f (t) g(t)) = f (t) g(t)e dt = f (u)g(t u)due dt
1 1 1
Z1 Z1 Z1 Z1
iwt iwt
= f (u)g(t u)e dudt = f (u)g(t u)e dtdu
1 1 1 1
Z1 Z1
iwu iwu
= f (u)e G(w)du = G(w) f (u)e du = F (w)G(w)
1 1
e t si t 0
f (t) =
0 si t < 0
En la gura 2.5 se observan los grcos de f(u) y de f(-u) y en la gura 2.6 se observan
los grcos de f (t u) y f(u)
78 CAPTULO 2. TRANSFORMADA DE FOURIER
En efecto:
Z1
te t si t 0
f (t) f (t) = f (u)f (t u)du = pues
0 si t < 0
1
1 1 0 t
1 1 1
Asi que F (f (t) f (t)) = F (w):F (w) = : = y
1 + iw 1 + iw (1 + iw)2
1 1 te t si t 0
F = f (t) f (t) =
(1 + iw)2 0 si t < 0
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 79
f(t-u) f(-u)
u
t-a t t+a -a a
En fecto :
Zt a Za Zt+a Za Z1
Si 2a t 0 f (t) f (t) = 0:0du + 0:1du + 1:1du + 1:0du + 0:0du =
1 t a a t+a a
= t + 2a; ya que f (u)f (t u) = 1:1 si a < t < t + a y cero fuera gura 2.9
80 CAPTULO 2. TRANSFORMADA DE FOURIER
u
t-a -a t 0 t+a a
Za Zt a Za Zt+a Z1
0 < t 2a f (t) f (t) = 0:0du + 1:0du + 1:1du + 0:1du + 0:1du
1 a t a a t+a
= 2a t ya que f (u)f (t u) = 1:1 si t a < t < a y cero fuera, gura 2.10
u
-a 0 t- a a t t+a
Za Za Zt a Zt+a Z1
Si t > 2a f (t) f (t) = 0:0du + 1:0du + 0:0du + 0:1du + 0:0du = 0
1 a a t a t+a
u
-a 0 a t- a t t+a
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 81
2
2 sin wa 2 sin wa 2 sin wa
Asi que F (f (t) f (t)) = F (w):F (w) = : =
w w w
por lo tanto
8
! 0 >
> si t < 2a
2 sin wa
2 <
1 t + 2a si 2a t 0
F = f (t) f (t) =
w >
> 2a t si 0 < t 2a
:
0 si t > 2a
Ejemplo 2.61
1 si jtj 1 e t si t 0
Sean g(t) = y h(t) = entonces
0 si jtj > 1 0 si t < 0
h(t) h(-u)
g(t)
t t u
-1 0 1 0 0
Mostrar que
8
Z1 < 0 si t< 1
g(t) h(t) = g(u)h(t u)du = 1 e (t+1) si 1 t 1 pues
: (t 1) (t+1)
1 e e si t>1
h(t-u)
u
t -1 0 1
82 CAPTULO 2. TRANSFORMADA DE FOURIER
Zt Z1 Z1 Z1
(t u)
g(t) h(t) = 0:e du + 0:0du + 1:0du + 0:0du = 0
1 t 1 1
u
-1 0 t 1
u
-1 0 1 t
Z1 Z1 Zt Z1
(t u) (t u) (t u)
g(t) h(t) = 0:e du + 1:e du + 0:e du + 0:0du
1 1 1 t
(t 1) (t+1)
= e e
2 sin w 1
Asi que F (g(t) h(t)) = G(w):H(w) = : por lo tanto
w 1 + iw
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 83
8
0 < si t< 1
1 2 sin w 1 (t+1)
F : = g(t) h(t) = 1 e si 1 t 1
w 1 + iw : (t 1)
e e (t+1) si t>1
8
Z1 < 0 si t< 1
(t+1)
h(t) g(t) = h(u)g(t u)du = 1 e si 1 t 1 ya que
: (t 1) (t+1)
1 e e si t>1
Si t < 1 h(t) g(t) = 0 todas las integrales son cero gura 2.16
h(u)
g(t-u)
t-1 t t+1 -1 0
Zt+1
u (t+1)
Si 1 t 1 h(t) g(t) = e du = 1 e lasotras integrales son cero gura 2.17
0
Zt+1
u (t 1) (t+1)
Si t > 1 gura 2.18 h(t) g(t) = e du = e e las otras integrales son cero
t 1
Ejemplo 2.62
8
< 1 + t si 1<t<0
1 si 1 < t < 2
Sean h(t) = 1 t si 0 t 1 y x(t) = entonces
: 0 en otro caso
0 en otro caso
Su grco se pude observar en la gura 2.19
84 CAPTULO 2. TRANSFORMADA DE FOURIER
h(t) x(t)
1
1
1+t 1-t
t t
-1 1 1 2
8
> 0 si t 0
>
> t2
Z1 >
< si 0 t 1
2
2 3
x(t) h(t) = x(u)h(t u)du = 3t t 2
si 1 t 2 pues
>
> (3 t)2
1 >
> si 2 t 3
: 2
0 si t>3
En efecto
Si t 0 x(t) h(t) = 0 ya que todas las integrales son cero. gura 2.20
x(u)
h(t-u)
1
1 2 u
t-1 t t+1 0
Zt+1
t2
Si 0 t 1 gura 2.21 x(t) h(t) = (1 + (t u))du =
2
1
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 85
h(t-u) x(u)
u
t-1 0 t 1 t+1 2
Zt Z2
Si 1 t 2 gura 2.22 x(t) h(t) = (1 (t u))du + (1 + (t u))du
1 t
3
= 3t t2
2
x(u)
h(t-u)
u
0 t-1 1 t 2 t+1
Z2
(3 t)2
Si 2 t 3 gura 2.23 x(t) h(t) = (1 (t u))du =
2
t 1
x(u) h(t-u)
u
0 1 t-1 2 t 3 t+1
Si t > 3 gura 2.24 x(t) h(t) = 0 todas las integrales son cero
86 CAPTULO 2. TRANSFORMADA DE FOURIER
x(u) h(t-u)
u
0 1 2 3 t-1 t t+1
8
> 0 si t 0
>
> t2
>
< si 0 t 1
2
2 3
Ahora mostrar que h(t) x(t) = 3t t 2
si 1 t 2 pues
>
> (3 t)2
>
> si 2 t 3
: 2
0 si t>3
Si t 1< 1; gura 2.25 h(t) x(t) = 0 todas las integrales son cero
h(u)
x(t-u)
u
t-2 t-1 -1 0 1
Zt 1
t2
Si 1<t 1 < 0 gura 2.26 h(t) x(t) = (1 + u)du =
2
1
x(t-u)
h(u)
u
t-2 -1 t-1 0 1
Z0 Zt 1
3
Si 0 < t 1 < 1 gura 2.27 h(t) x(t) = (1 + u)du + (1 u)du = 3t t2
2
t 2 0
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 87
x(t-u)
h(u)
u
-1 t-2 0 t-1 1
Z1
(3 t)2
Si 1 < t 1 < 2 gura 2.28 h(t) x(t) = (1 u)du =
2
t 2
x(t-u)
h(u)
u
-1 0 t-2 1 t-1 2
Si t 1 > 2 gura 2.29 h(t) x(t) = 0 todas las integrales son cero
x(t-u)
h(u)
u
-1 0 1 t-2 2 t-1
Ejemplo 2.63
Sean x(t) = et u( t) y y(t) = u(t) entonces
Su grco se pude observar en la gura 2.30
et t 0
vericar que x(t) y(t) =
1 t>0
88 CAPTULO 2. TRANSFORMADA DE FOURIER
x(t)
1 y(t)
1
t t
0 0
Zt
Si t 0 gura 2.31 x(t) y(t) = eu du = et
1
Z0
Si t > 0 x(t) y(t) = eu du = 1 gura 2.32
1
Z1
Si t 0 y(t) x(t) = et u
du = et gura 2.33
0
Z1
Si t>0 y(t) x(t) = et u
du = 1 gura 2.34
t
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 89
F 1 1 1 1 1
= F : = F 1 F e 2t u(t) F e t u(t)
2 w2 + 3iw 2 + iw 1 + iw
1
= F F(e 2t u(t) e t u(t)) = e 2t u(t) e t u(t) = e t e 2t
u(t)
Ejercicio 4
1)
d
a) f (t) = 2 3 (t 5)+3 cos 2t 0 (t 2)+ 00
(t)e3t + u(t)e 3t
dt
t 1 sin t 1 sin 3 (t 1) 2
b) g(t) = e (u(t) u(t 6))+ + +t
4 + it 1 + t 9 + (t 2)2
2 t 1
c) h(t) = te t u(t) cos 4t+t2 sin 5t+e t u(t) e 3jtj
+t (u(t + 1) u(t 1))
90 CAPTULO 2. TRANSFORMADA DE FOURIER
2)
df
h(t) = f (a(t b)) + tf (3 + t) + (1 t) f (1 t) + (t 2) f (2t) t
dt
8
>
> 0 si t< 2
>
>
< 2t + 4 si 2 t< 1
3) Sea f (t) = 2 si 1 t<1
>
>
>
> 4 2t si 1 t 2
:
0 si t>2
a) Mostrar que
b) Mostrar que
c)
(iw)2 F (w) = 2e2iw + 2e 2iw
2eiw 2e iw
por lo tanto
2e2iw + 2e 2iw
2eiw 2e iw
F (w) =
(iw)2
d)
e(3w 6)i
12 12
iv) F (w) = v) F (w) = 2+
5 (2 w) i 16 + (w 2) 16 + (w + 2)2
e(20 4w)i
wi
vi) F (w) = cos w vii) F (w) = viii) F (w) =
3 (5 w) i (4 + iw) (2 + iw)
2 sin 5 (w 3) 2 sin 5w
ix) F (w) = X) F (w) =
w 3 w
2 sin 5w 1
xi)F (w) = xii) F (w) =
w (3 + iw) (3 + iw)2
III. Mostrar la veracidad de los siguientes resultados
R1 R1 2
1. t2 e sin t
cos 2t (2t 2 )dt = 12 t2 e sin t
cos 2t (t )dt =
1 1 2
R1
2. cos(t + 1) 0 (t 2)dt = d
dt
(cos(t + 1))t=2 = sin 3
0
R1
3. (t + 3)e t dt = e3
1
92 CAPTULO 2. TRANSFORMADA DE FOURIER
R
100
4. (t 10) ln tdt = ln 10
1
R5
5. (t 10)t2 dt = 0
3
R1
6. (t 1) (t3 + 4) dt = 5
1
R1 0
7. (t) sin tdt = (cos t)t=0 = 1
1
R20
8. (t) (3t2 + 2t + 5) dt = 5
3
R20
9. (t) (3t2 + 2t + 5) dt = 0
3
X
1 X
n Xn X
0
1
k n
k k
y(n) = x(n) h(n) = x(k) h(n k) = 2 = 2 =
k= 1 k= 1 k=1 k=1
2
X
0
1
k X
1
1
k
= 2n = 2n = 2n+1 si n < 0
k=1
2 k=0
2
11.
1 si 0 < t < T t si 0 < t < 2T
x(t) = h(t) = entonces
0 en otro caso 0 en otro caso
8
>
> 0 si t<0
>
> Rt
>
> t2
>
> (t u) du = si 0 t<T
>
>
2
Z1 >
<
0
RT T2
x(t) h(t) = x(u)h(t u)du = (t u) du = tT 2
si T t < 2T
>
> 0
1 >
> R
T
>
> 3T 2 t2
>
> (t u) du = tT + si 2T t < 3T
>
> 2 2
>
: t 2T
0 si t > 3T
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 93
8
>
> 0 si t<0
>
> Rt
>
> t2
>
> udu = si 0 t<T
>
>
2
Z1 >
<
0
Rt T2
h(t) x(t) = h(u)x(t u)du = udu = tT 2
si T t < 2T
>
> t T
1 >
> R
2T
>
> 3T 2 t2
>
> udu = tT + si 2T t < 3T
>
> 2 2
>
: t T
0 si t > 3T
12
1 si jtj 1 t si 0 t 3
x(t) = h(t) = entonces
0 en otro caso 0 en otro caso
8
>
> 0 si t< 1
>
> Rt
>
> 2
>
> (t u)du = t2 + t + 12 si 1 t<1
>
>
Z1 >
<
1
R1
x(t) h(t) = x(u)h(t u)du = (t u)du = 2t si 1 t<2
>
> 1
1 >
>
>
> R1 t2
>
> (t u)du = 4 + t si 2 t 4
>
>t 3 2
>
:
0 si t>4
8
>
> 0 si t< 1
>
> R
t+1
>
> 2
>
> udu = t2 + t + 12 si 1 t<1
>
>
Z1 >
<
0
R
t+1
h(t) x(t) = h(u)x(t u)du = udu = 2t si 1 t<2
>
> t 1
>
>
1
>
> R3 2
>
> udu = 4 + t t2 si 2 t 4
>
>
>
:t 1
0 si t>4
13.
8
< 1+t si 1 t 0
1 si 1 t 0
x(t) = h(t) = 1 si 0<t 1 entonces
0 en otro caso :
0 en otro caso
94 CAPTULO 2. TRANSFORMADA DE FOURIER
8
>
> 0 si t< 2
>
> R
t+1
>
> 2
>
> (1 + t u)du = (t+2 si 2 t< 1
>
>
2
Z1 >
< Rt
1
R0
t2
x(t) h(t) = x(u)h(t u)du = du + (1 + t u) du = 1 2
si 1 t<0
>
> 1 t
1 >
>
>
> R0
>
> du = 1 t si 0 t 1
>
>
>
: t 1
0 si t>1
8
>
> 0 si t< 2
>
> R
t+1
>
> 2
>
> (1 + u)du = (t+2 si 2 t< 1
>
> 2
Z1 >
< R0
1
R
t+1
t2
h(t) x(t) = h(u)x(t u)du = (1 + t u) du + du = 1 si 1 t<0
>
>
2
1 >
>
t 0
>
> R1
>
> du = 1 t si 0 t 1
>
>
>
: t
0 si t>1
14.
2 t si t 0 0 si t 0
x(t) = h(t) = entonces
0 en t < 0 3t en t < 0
8 1
> R 3t
Z1 >
< 2 u 3t u du = si t < 0
ln 6
0
x(t) h(t) = x(u)h(t u)du = R1 u t u
>
> 2 t
1 : 2 3 du = ln 6
si t 0
t
8 t
> R 3t
Z1 >
< 2 (t u) u
3 du = ln 6
si t < 0
1
h(t) x(t) = h(u)x(t u)du = R0
>
> (t u) u 2 t
1 : 2 3 du = ln 6
si t 0
1
15.
x(t) = e2t u( t) h(t) = u(t 3) entonces
8
> tR 3
Z1 >
> e2u du = 12 e2(t 3) si t < 3
<
1
x(t) h(t) = x(u)h(t u)du = R0 2u
>
>
1 >
: e du = 12 si t 3
1
2.2. ALGUNAS PROPIEDADES DE LAS TRANSFORMADAS DE FOURIER 95
8 1
> R
Z1 >
< e2(t u)
du = 12 e2(t 3)
si t < 3
3
h(t) x(t) = h(u)x(t u)du = R1
>
> e2(t u)
du = 1
si t 3
1 : 2
t
16.
x(t) = e t u(t) h(t) = u(t) entonces
8
Z1 < 0 si t < 0
x(t) h(t) = x(u)h(t u)du = Rt
: e u du = 1 e t
si t 0
1 0
8
Z1 < 0 si t < 0
h(t) x(t) = h(u)x(t u)du = Rt (t u) t
: e du = 1 e si t 0
1 0
17. 8
< 1+t si 0 t 1
h(t) = (t + 2) + 2 (t + 1) x(t) = 2 t si 1<t 2 entonces
:
0 en otro caso
Z1 Z1
x(t) h(t) = x(u)h(t u)du = h(u)x(t u)du
1 1
Z1
= ( (u + 2) + 2 (u + 1))x(t u)du
1
8
>
> t+3 si 2<t 1
<
t+4 si 1 t 0
= x(t + 2) + 2x(t + 1) =
>
> 2 2t si 0 t 1
:
0 en otro caso
18.
3t
h(t) = e x(t) = u(t 3) u(t 5) entonces
u(t)
8
Z1 > 1 e 3(t 3)
< 3
si 3 < t 5
(1 e 6 )e 3(t 5)
x(t) h(t) = x(u)h(t u)du = si t>5
>
: 3
1 0 si t 3
96 CAPTULO 2. TRANSFORMADA DE FOURIER
19.
3t
h(t) = e u(t) x(t) = u(t 3) u(t 5) entonces
Z1 Z1
x0 (t) h(t) = x0 (u)h(t u)du = ( (u 3) (u 5)) e 3(t u)
u(t u)du
1 1
3(t 3) 3(t 5)
= e u(t 3) e u(t 5)
20.
2t
1 si jtj 3 e si t 0
x(t) = h(t) = entonces
0 en jtj > 3 0 si t < 0
8
> 0 si t< 3
>
>
Z1 >
< Rt 2(t u) (1 e 2(t+3)
e du = 2
si 3<t<3
x(t) h(t) = x(u)h(t u)du = 3
>
> R3
1 >
> 2(t u) e 2(t 3) e 2(t+3)
: e du = 2
si t 3
3
8
> 0 si t< 3
>
>
Z1 >
< R
t+3
2u (1 e 2(t+3)
e du = 2
si 3<t<3
h(t) x(t) = h(u)x(t u)du = 0
>
> R
t+3
1 >
> 2u e 2(t 3) e 2(t+3)
: e du = 2
si t 3
t 3
(t)
-3T -2T -T 0 T 2T 3T 4T t
X
1
1 X2
1
2n t
T (t) = + cos ya que
T n=1 T T
T
ZL Z2
1 2 2
a0 = T (t)dt = (t)dt =
L T T
L T
2
T
ZL Z2
1 n t 2 2n t 2
an = T (t) cos dt = (t) cos dt =
L L T T T
L T
2
T
ZL Z2
1 n t 2 2n t
bn = T (t) sin dt = (t) sin dt = 0
L L T T
L T
2
Transformada Zeta
3.1 Generalidades.
Recordemos que si f(t) es una funcin continua, la transformada de Fourier esta dada por
Z1
iwt
F (w) = f (t)e dt
1
X
1
iwk
F (w) = f (k)e
k= 1
Denicin 6 La transformda Zeta de una funcin discreta x(k) se nota por Z(x(k)) =
X(z) y se dene por
X1
Z (x(k)) = x(k)z k = X(z)
k= 1
99
100 CAPTULO 3. TRANSFORMADA ZETA
1
y Z (X(z)) = x(k)
donde z es una variable compleja
Al igual que en la transformada de Laplace, existe la transformada unilateral y la trans-
formada bilateral. En este escrito trabajaremos con la tranfomada unilateral, es decir,
vamos a considerar que
x(k) = 0 si k<0
Ejemplo 3.1 Hallar la transformada Zeta de
x(k) = 1k
En efeto :
X
1 X
1
1 z
k k k 1 k 1
Z 1 = 1 :z = z = 1
= z < 1, es decir, jzj > 1
k=0 k=0
1 z z 1
y
1 z
Z =1
z 1
Ejemplo 3.2 Hallar la transformada Zeta de x(k) si
f1; 2; 3; 4g 0 k 3
si x(k) =
0 k 4
En efecto :
X
1
k 1 2 3 1 2 3
Z(x(k)) = x(k)z = x(0) + x(1)z + x(2)z + x(3)z = 1 + 2z + 3z + 4z
k=0
y
1 1 2 3 f1; 2; 3; 4g 0 k 3
Z 1 + 2z + 3z + 4z =
0 k 4
Ejemplo 3.3 Hallar la transformada Zeta de
x(k) = eak
En efecto :
X
1 X
1
1 z
ak ak k 1 k
Z e = e :z = ea z = = si ea z 1
< 1; es decir, jzj > jea j
k=0 k=0
1 ea z 1 z ea
y
1 z
Z = eak
z ea
3.1. GENERALIDADES. 101
k=0 k=0
1 e az 1 z e a
y
1 z ak
Z a
=e
z e
Ejemplo 3.5 Hallar la transformada Zeta de
x(k) = ak
En efecto:
X
1 X
1
1 z
k k k 1 k
Z a = a z = az = 1
= si jzj > jaj
k=0 k=0
1 az z a
y
1 z
Z = ak
z a
z z z
En particular, Z 1k = , Z ( 1)k = ; Z ( 2)k =
z 1 z+1 z+2
Ejemplo 3.6 Hallar la transformada inversa de
1 2 3
X(z) = 1 + z +z +z
En efecto : Como
1 2 3 1 1k si 0 k 3
X(z) = 1 + z +z +z entonces Z (X(z)) = x(k) =
0 si k 4
Ejemplo 3.7 Hallar la transformada Zeta de
x(k) = (k a)
En efecto :
X
1 X
1
k a k
Z( (k a)) = (k a)z =z y Z( (k)) = (k)z = z0 = 1
k=0 k=0
102 CAPTULO 3. TRANSFORMADA ZETA
En efecto :
2n+1
X1 p 2n+1 1 ( 1)n z 2 z
X
1 1
X1
p 1 ( 1)n z 1 2
( 1)n z n
z sin p = p = =
z n=0
(2n + 1)! z n=0
(2n + 1)! n=0
(2n + 1)!
( 1)n p 1
por lo tanto Z = z sin p
(2n + 1)! z
y
1
p 1 ( 1)n
Z z sin p =
z (2n + 1)!
Ejemplo 3.9
1 X ( 1)n
1
1
2n X1
( 1)n n
cos p = p = z
z n=0
(2n)! z n=0
(2n)!
por lo tanto
( 1)n 1 1 1 ( 1)n
Z = cos p y as Z cos p =
(2n)! z z (2n)!
Ejemplo 3.10
1
X1
(az 1 )
n X1
an z n an 1
az
e = = entonces Z = eaz
n=0
n! n=0
n! n!
1 1 an
por lo tanto Z eaz =
n!
En efecto :
X
1
k
Z (ax(k) by(k)) = (ax(k) by(k))z =
k=0
X1 X
1
k k
= a x(k)z b y(k)z = aX(z) bY (z)
k=0 k=0
ea e a
1 z (z e a ) z(z ea ) z 2 z sinh a
= = ea +e a =
2 (z ea ) (z e a ) z2 2z 2
+1 z2 2z cosh a + 1
y
1 z sinh a
Z = sinh ak
z2 2z cosh a + 1
En forma anloga mostrar que
z(z cosh a)
Z (cosh ak) =
z2 2z cosh a + 1
1 z(z cosh a)
y que Z = cosh ak
z2 2z cosh a + 1
2. Si Z(x(k)) = X(z) entonces
Z(x(k + m)) = z m X(z) z m x(0) z m 1 x(1) z m 2 x(2) ::: zx(m 1) si m > 0
En efecto :como
X
1
k
X(z) = x(k)z
k=0
m
entonces multiplicando por z ambos miembros de la igualdad anterior, se obtiene
que
X
1
X(z)z m = x(k)z k+m
=
k=0
X
1 X
1
k m m 1 k
= x(k + m)z = z x(0) + z x(1) + ::: + zx(m 1) + x(k + m)z
k= m k=0
por lo tanto
X
1
z m X(z) z m x(0) z m 1 x(1) ::: zx(m 1) = x(k + m)z k
= Z(x(k + m))
k=0
3.2. ALGUNAS PROPIEDADES 105
2(k+2) 1
Z e = z2 z 2 :1 z:e 2
1 e 2z 1
2k
En efecto : Como x(k) = e y
2k 1
Z e =
1 e 2z 1
entonces
2(k+2) 1
Z e = z2 z 2 x(0) zx(1) =
1 e 2z 1
1
= z2 z 2 :1 z:e 2
1 e 2z 1
luego
1 z
Z = 2k cos k
z+2
z
b) Z(3k :1) =
z 3
z
z z
Como Z(1) = entonces Z(3k :1) = z
3
= por lo tanto
z 1 3
1 z 3
1 z
Z = 3k :1
z 3
z2 zb cos a
c) Z(bk cos ak) =
z2 2bz cos a + b2
z2 z cos a
Como Z(cos ak) = entonces
z2 2z cos a + 1
z 2 z
k b b
cos a z2 zb cos a
Z(b cos ak) = 2 = por lo tanto
z
2 zb cos a + 1 z2 2bz cos a + b2
b
1 z2 zb cos a
Z = bk cos ak
z2 2bz cos a + b2
3.2. ALGUNAS PROPIEDADES 109
d
Z(k:x(k)) = z (X(z))
dz
En efecto : Como
X
1
d X 1
1 X
1
k k 1 k
Z(x(k)) = x(k)z entonces (X(z)) = x(k)( k)z = x(k)(k)z
k=0
dz k=0
z k=0
d X 1
k
luego z (X(z)) = x(k)(k)z = Z(k:x(k))
dz k=0
Ejemplo 3.22
z
a) Como Z(1k ) =
z 1
entonces
d 1 z
Z(k:1k ) = z (X(z)) = z =
dz (z 1)2 (z 1)2
por lo tanto
1 z
Z = x(k) = k
(z 1)2
z
b) Como Z(k) =
(z 1)2
entonces
d z z(z + 1)
Z(k 2 ) = z =
dz (z 1)2 (z 1)3
por lo tanto
1 z(z + 1)
Z = k2
(z 1)3
En forma anloga
z(z 2 + 4z + 1)
3
c) Z(k ) =
(z 1)4
d
d) Aplicando la propiedad Z(k:x(k)) = z (X(z)) se tiene que
dz
k 1 d 1 1 1
Z = Z k: = z ez = z z 2 ez = z 1 ez
k! k! dz
110 CAPTULO 3. TRANSFORMADA ZETA
d d 1 z 2 z 1
Z(kx(k)) = z (X(z)) = z ln 1 + z = z = =
dz dz 1+z 1 1+z 1
X
1
1 2 3 4
= 0+z z +z z + :::: = ( 1)k+1 z k
k=1
por lo tanto
( 1)k+1
kx(k) = ( 1)k+1 y x(k) =
k
entonces
( 1)k+1
si k 1
x(k) = k
0 si k = 0
7. La convolucin
z2
Z 1k 1k =
(z 1)2
En efecto:
z z z2
Z 1k 1k = Z 1k Z 1k = : =
(z 1) (z 1) (z 1)2
Adems
z2 X
1 X
k X
k
1 k k n k n
Z =1 1 = x(n)(yk n) = 1 :1 = 1 = (k + 1)1k
(z 1)2 n= 1 n=0 n=0
por lo tanto
1 z2
Z = (k + 1)1k
(z 1)2
3.2. ALGUNAS PROPIEDADES 111
k z2
Z k 2 =
(z 1)2 (z 2)
En efecto :
z z z2
Z(x(k) y(k)) = Z k 2k = Z (k) Z 2k = : = entonces
(z 1)2 z 2 (z 1)2 (z 2)
z2 X
k
1
Z = k 2k = n:2k n
= 2k+1 k 2
(z 1)2 (z 2) n=0
X
n
1 xn+1
pues como xk = entonces
k=0
1 x
X
n
(1 x) (1 xn+1 )
0
(1 xn+1 ) (1 x)0 (1 x) ( n 1) xn + (1 xn+1 )
kxk 1
= =
k=0
(1 x)2 (1 x)2
as
X
n
(1 x) ( n 1) xn + (1 xn+1 )
kxk = x
k=0
(1 x)2
por lo tanto
2 3
1 1 n 1 n+1
X
n
1
k 1 2
( n 1) 2
+ 1 2 1
k = 4 1 2
5
k=0
2 (1 2
) 2
!
n n+1
1 1 1
= 2 1 ( n 1) +2 1
2 2 2
n n+1
= n2 2 +2
as
X
1 X
1
k
x(k) y(k) = k 2 = x(n)y(k n) = n:2k n
=
n= 1 n= 1
8
< 0 k<0
= P
k P
k
: n:2k n
= 2k n:2 n
= 2k k2 k
2 k+1
+ 2 = 2k+1 k 2 k 0
n=0 n=0
112 CAPTULO 3. TRANSFORMADA ZETA
Ejemplo 3.26
Sean x(k) = f1; 2g = fx(0); x(1)g y(k) = f3; 4g = fy(0); y(1)g entonces
1 1
X(z) = 1 + 2z y Y (z) = 3 + 4z y as
1 1 1 2
X(z)Y (z) = 1 + 2z 3 + 4z = 3 + 10z + 8z entonces
1
Z (X(z)Y (z)) = x(k) y(k) = f3; 10; 8g = 3 (k) + 10 (k 1) + 8 (k 2)
Ahora lo haremos por medio de la convolucin
X
1
x(k) y(k) = x(n)y(k n) = x(0)y(k) + x(1)y(k 1)
n= 1
X(z)Y (z) = 1 + 2z 1 + 0z 2 z 3
+ z 4 1 + 3z 1 z 2
2z 3
=
= 1 + 5z 1 + 5z 2 5z 3
6z 4 + 4z 5 + z 6 2z 7
entonces
1
Z (X(z)Y (z)) = x(k) y(k) = f1; 5; 5; 5; 6; 4; 1; 2g =
= (k) + 5 (k 1) + 5 (k 2) 5 (k 3) 6 (k 4) + 4 (k 5) + (k 6) 2 (k 7)
Ahora lo haremos por medio de la convolucin vericar que
X
1
x(k) y(k) = x(n)y(k n) =
n= 1
En efecto :
X
1
k 1 2
X(z) = x(k)z = x(0) + x(1)z + x(2)z + ::::: entonces
k=0
1 2
lim X(z) = lim fx(0) + x(1)z + x(2)z + ::::g = x(0)
z!1 z!1
Ejemplo 3.28
z z
Z(x(k)) = Z(2k ) = entonces x(0) = lim X(z) = lim =1
z 2 z!1 z!1 z 2
9. Teorema del valor Final. Sea Z(x(k)) = X(z) entonces
1
lim x(k) = lim 1 z X(z)
k!1 z!1
En efecto : Sea
X
1 X
1
k k
Z(x(k)) = x(k)z = X(z) y Z(x(k 1)) = x(k 1)z = z 1 X(z)
k=0 k=0
por lo tanto
X
1 X
1
1 k k
Z(x(k)) Z(x(k 1)) = X(z) z X(z) = x(k)z x(k 1)z
k=0 k=0
X
1
k
= (x(k) x(k 1))z as que
k=0
X
1
1 k
X(z) z X(z) = (x(k) x(k 1))z
k=0
y tomando lmite cuando z tiende a 1 en ambos lados de la igualdad se tiene
X
1 X
1
1 k
lim 1 z X(z) = lim (x(k) x(k 1))z = (x(k) x(k 1))
z!1 z!1
k=0 k=0
= lim x(k) x( 1) = lim x(k)
k!1 k!1
En efecto
X
1
k 1 2 k
Z(x(k)) = X(z) = (x(k)z = x(0) + x(1)z + x(2)z + ::: + x(k)z + :::entonces
k=0
1 2 k
X(z) = x(0) + x(1)z + x(2)z + ::: + x(k)z + ::::
y multiplicando ambos lados de la igualdad por z k 1
se obtiene
z k 1 X(z) = x(0)z k 1
+ x(1)z k 2
+ x(2)z k 3
+ ::: + x(k)z 1
+ x(k + 1)z 2
+ ::::
I I I I I
k 1 k 2 k 3
= x(0) z dz +x(1) z dz ++x(2) z dz +:::+x(k 1) dz +x(k) z 1 dz +::
C C C C C
I
= x(k) z 1 dz = 2 ix(k) ( las dems integrales son cero)
C
entonces
I
1
x(k) = z k 1 X(z) dz =
2 i
C
1 X X
= :2 i Re(z k 1 X(z)) = Re(z k 1 X(z))
2 i
polos de zk 1
X(z) polos de zk 1
X(z)
3.3. ALGUNOS MTODOS PARA HALLAR LA INVERSA 115
Ejemplo 3.29
z2 z
Hallar x(k) si X(z) =
(z 2)(z + 3)
En efecto :
(z 2 z)z k 1 (z 1)z k
X(z)z k 1
= =
(z 2)(z + 3) (z 2)(z + 3)
tiene dos polos de orden 1 en z = 2 y en z = 3 luego
(z 2 z)z k 1 (z 2 z)z k 1
x(k) = lim (z 2) + lim (z + 3) =
z!2 (z 2)(z + 3) z! 3 (z 2)(z + 3)
(z 1)z k (z 1)z k 2k 4
= lim + lim = + ( 3)k
z!2 (z + 3) z! 3 (z 2) 5 5
por lo tanto
2k 4
x(k) = + ( 3)k
5 5
Ejemplo 3.30
z 2
Hallar x(k) si X(z) =
(z 4)(z + 3)
Observe
(z 2)z k 1
X(z)z k 1
=
(z 4)(z + 3)
y que cuando k = 0, en z = 0, en z = 4 y en z = 3 hay polos de orden 1; luego para
k = 0 se tiene
(z 2)z 1 z 2 z 2
x(0) = lim z + lim (z + 3) + lim(z 4)
z!0 (z 4)(z + 3) z! 3 z(z 4)(z + 3) z!4 z(z 4)(z + 3)
1 5 2
= + =0
6 21 28
y para k 6= 0 se tiene que
(z 2)z k 1 (z 2)z k 1
x(k) = lim (z + 3) + lim (z 4) =
z! 3 (z 4)(z + 3) z!4 (z 4)(z + 3)
(z 2)z k 1 (z 2)z k 1 5 2
= lim + lim = ( 3)k 1 + (4)k 1
z! 3 (z 4) z!4 (z + 3) 7 7
entonces
0 si k = 0
x(k) = 5
7
( 3)k 1
+ 27 (4)k 1
si k 1
116 CAPTULO 3. TRANSFORMADA ZETA
entonces
5 2
x(k) = ( 3)k 1
+ (4)k 1
si k 1 y x(k) = 0 si k = 0
7 7
z 1 1
X(z) = = 1
= 1 + 4z + (4)2 z 2
+ (4)3 z 3
+ (4)4 z 4
+ ::::
z 4 1 4z
entonces
X
1
X(z) = (4)k z k
por lo tanto x(k) = 4k
k=0
z2 2z
X(z) =
z2 z 12
En efecto :
z2 2z 1 2z 1
1 2
Sea X(z) = = =1 z + 11z + ::::
z2 z 12 1 z 1 12z 2
entonces
x(0) = 1 x(1) = 1 x(2) = 11 etc
1k si k 0 k si k 0
x(k) = y y(k) =
0 si k<0 0 si k<0
entonces
z z z2
Z (x(k) y(k)) = X(z)Y (z) = =
z 1 (z 1)2 (z 1)3
y
1 z2
Z = x(k) y(k)
(z 1)3
Ahora
X
1 X
k X
k X
k X
k
x(k) y(k) = x(n)y(k n) = x(n)y(k n) = 1n (k n) = k n=
k= 1 n=0 n=0 n=0 n=0
X
k X
k
k(k + 1) k2 k
k 1 n = k(k + 1) = +
n=0 n=0
2 2 2
1 d2 (z 1)3 z 2 z k 1
1 d2 (z 1)3 zz k
x(k) = lim = lim
z!1 2 dz 2 (z 1)3 z!1 2 dz 2 (z 1)3
1 d2 k(k + 1)
= lim 2
z k+1 =
z!1 2 dz 2
por lo tanto
k(k + 1)
x(k) =
2
Ejemplo 3.36 Si
X
1 X
1
k 1 k 1
X(z) = x(k)z =1+z y Y (z) = y(k)z =1 z entonces
k=0 k=0
1 1 2
Z(x(k) y(k)) = X(z)Y (z) = 1 + z 1 z =1 z
3.3. ALGUNOS MTODOS PARA HALLAR LA INVERSA 119
luego 8
>
> 1 si k=0
<
1 2 0 si k=1
Z 1 z = x(k) y(k) =
>
> 1 si k=2
:
0 en otro caso
y por el teorema de los residuos
2 z2 1
1 z = = Z(x(k) y(k)) entonces
z2
1)z k 1
(z 2
tiene si k = 0, un polo de orden 3, si k = 1, un polo de orden 2 y
z2
si k = 2 un polo de orden1, luego
1 d2 z 3 (z 2 1) 1 d2 1
x(0) = lim = lim z2 1 = lim (2) = 1
z!0 2 dz 2 z3 z!0 2 dz 2 z!0 2
d z 2 (z 2 1) 1 d 2 1
x(1) = lim = lim z 1 = lim (2z) = 0
z!0 dz z2 z!0 2 dz z!0 2
z(z 2 1)
x(2) = lim = lim z 2 1 = 1
z!0 z z!0
y as 8
>
> 1 si k=0
<
1 2 0 si k=1
Z 1 z =
>
> 1 si k=2
:
0 en otro caso
Ejemplo 3.37 Ahora veamos ejemplos como hallar la inversa por varios mtodos si
z2 z z
1: X(z) = 2 = : entonces
(z 1) (z 1) (z 1)
a) Por Convolucin
X
k X
k X
k
k k n k n n k n
x(k) = 1 1 = 1 1 = 1 1 = 1=k+1
n=0 n=0 n=0
1 d zk 1z2 d k+1
x(k) = lim (z 1)2 : = lim z =k+1
z!1 (2 1)! dz (z 1)2 z!1 dz
120 CAPTULO 3. TRANSFORMADA ZETA
z2 z z
X(z) = 2 = + entonces x(k) = 1 + k
(z 1) (z 1) (z 1)2
d) Por divisin
z2 z2 1 1 2
X(z) = 2 = = = 1 + 2z + 3z + ::: + (k + 1)z k + ::
(z 1) z2 2z + 1 1 2z 1 +z 2
por tanto
x(k) = k + 1
Ejemplo 3.38
z2
2: X(z) =
(z 2) (z 4)
a) Por Convolucin
!
X
k X
k X
k n 1 n+1
1 1
x(k) = 2k 4k = 2n 4k n
= 4k 2n 4 n
= 4k = 4k 2
1
n=0 n=0 n=0
2 1 2
4k+1 2k+1
2 2
b) Por teorema de los residuos
zk 1z2 zk 1z2
x(k) = + lim (z 4) : + lim (z 2) : =
z!4 (z 2) (z 4) z!2 (z 2) (z 4)
4k+1 2k+1
2 2
c )Por fracciones parciales
X(z) z 1 2
= = + entonces
z (z 2) (z 4) (z 2) (z 4)
2z z
X(z) =
(z 4) (z 2)
por tanto
4k+1 2k+1
x(k) =
2 2
3.3. ALGUNOS MTODOS PARA HALLAR LA INVERSA 121
1.
z (1 a)
Z(1 ak ) =
(z 1) (z a)
2.
az (a + z)
Z(k 2 ak ) =
(z a)3
3.
z sinh z(z cosh )
Z(sinh k) = y Z(cosh k) =
z2 2z cosh +1 z2 2z cosh + 1
4.
za sinh z(z a cosh )
Z(ak sinh k) = y Z(ak cosh k) =
z2 2za cosh + a2 z2 2za cosh + a2
5.
z sin z(z cos )
Z(sin k) = y Z(cos k) =
z2 2z cos +1 z 2 2z cos + 1
6.
za sin z(z a cos )
Z(ak sin k) = y Z(ak cos k) =
z2 2za cos + a2 z2 2za cos + a2
7.
z (z 2 1) sin z(z 2 + 1) cos 2z)
Z(k sin k) = y Z(k cos k) =
(z 2 2z cos + 1)2 (z 2 2z cos + 1)2
8.
az (z 2 a2 ) sin az(z 2 + a2 ) cos 2za)
Z(kak sin k) = y Z(kak cos k) =
(z 2 2za cos + a2 )2 (z 2 2za cos + a2 )2
9.
z(z sin ' + a sin( '))
Z(ak sin( k + ') = 2 2
z 2za cos + a
122 CAPTULO 3. TRANSFORMADA ZETA
10.
z(z cos ' a cos ( '))
Z(ak cos( k + ')) = 2 2
z 2za cos + a
11. Hallar la convolucin de
12. a)
x(k 1) 1
la solucin de la ecuacin x(k) = (k) es x(k) = ( )k
2 2
b)
c)
2x(k)
la solucin de la ecuacin x(k+2) x(k+1)+ = 1 con x(1) = 1 x(0) = 1
9
es n n
9 7 1 2
x(k) = + 7
2 2 3 3
d)
1
la solucin de la ecuacin kx(k) x(k 1) = 0 con x(0) = 1 es x(k) =
k!
y 00 + P (x)y 0 + Q(x)y = 0
si P(x) y Q(x) son funciones analticas en x = a, es decir, si P(x) y Q(x) admiten una
serie de potencias alrededor de a, y en caso contrario x = a se llama singular
Si x = a es un punto ordinario, entonces la ecuacin
y 00 + P (x)y 0 + Q(x)y = 0
X
1
y(x) = Cm (x a)m
m=0
123
124 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
y 00 + P (x)y 0 + Q(x)y = 0
si
(x a)P (x) y (x a)2 Q(x)
son analticas en x = a y en caso contrario es singular irregular
Si x = a es un punto singular regular de la ecuacin
y 00 + P (x)y 0 + Q(x)y = 0
y 00 + P (x)y 0 + Q(x)y = 0
En efecto :
X
1 X
1
0 m 1
y (x) = mCm x = mCm xm 1
m=0 m=1
X
1 X
1
y 00 (x) = m(m 1)Cm xm 2
= m(m 1)Cm xm 2
m=0 m=2
se tiene que :
X
1 X
1 X
1 X
1
m 2 m m
= m(m 1)Cm x m(m 1)Cm x 2 mCm x + n(n + 1) Cm xm =
m=2 m=2 m=1 m=0
X
1 X
1 X
1 X
1
= (m+2)(m+1)Cm+2 xm m(m 1)Cm xm 2 mCm xm +n(n+1) Cm xm =
m=0 m=2 m=1 m=0
X
1
= [(m + 2)(m + 1)Cm+2 (m(m 1) + 2m n(n + 1)) Cm ] xm +2C2 +3:2C3 x 2C1 x +
m=2
(m(m
1) + 2m n(n + 1)) Cm (m2 m + 2m n2 n)Cm
Cm+2 = = =
(m + 2)(m + 1) (m + 2)(m + 1)
(m2 + m n2 n)Cm (m2 n2 + m n)Cm (m n)(m + n + 1)Cm
= = =
(m + 2)(m + 1) (m + 2)(m + 1) (m + 2)(m + 1)
126 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
luego
(m n)(m + n + 1)Cm
Cm+2 =
(m + 2)(m + 1)
por tanto, de la igualdad anterior se tiene que
X
1
y(x) = Cm xm = C0 + C1 x + C2 x2 + C3 x3 + C4 x4 + C5 x5 + C6 x6 + ::::
m=0
n(n + 1)C0 2 (1 n)(n + 2)C1 3 n(n + 1)(2 n)(n + 3)C0 4
= C0 + C1 x + x + x + x + :::
2:1 3! 4!
n(n + 1)x2 n(n + 1)(n 2)(n + 3)x4 n(n + 1)(n 2)(n + 3)(n 4)(n + 5)x6
= C0 1 + +
2:1 4! 6!
(n 1)(n + 2)x3 (n 1)(n + 2)(n 3)(n + 4)x5
+C1 x + :::::
3! 5!
= C0 y1 (x) + C1 y2 (x):
y1 (x)
Como y1 (x) y y2 (x) son linealmente independientes, pus no es una constante
y2 (x)
y cada una converge en el intervalo ( 1; 1) entonces
es la solucin general.
4.2. ECUACIN DE LEGENDRE 127
(m n)(m + n + 1)Cm
Cm+2 = si se toma s = m se tiene que
(m + 2)(m + 1)
(s n)(s + n + 1)Cs
Cs+2 = y de aqu si s = n se tiene que Cn+2 = 0 = Cn+4 = Cn+6 ::::
(s + 2)(s + 1)
de donde si n es par, y1 (x) se reduce a un polinomio de grado n y si n es impar y2 (x) se
reduce a un polinomio de grado n, estos polinomios multiplicados por una constante, son
llamados los polinomios de Legendre y para hallarlos se procede as : Se toma
(2n)!
Cn =
2n n!n!
un valor jo y de la ecuacin
(s n)(s + n + 1)Cs
Cs+2 =
(s + 2)(s + 1)
y si s = n 2, entonces
Si s = n 4, entonces
Si s = n 6, entonces
(n 6 + 2)(n 6 + 1)Cn 4 (n 4)(n 5)Cn 4
Cs = Cn 6 = =
(n (n 6))(n + n 6 + 1) 2:3(2n 5)
(n 4)(n 5) (2n 4)!
= n
2:3(2n 5) 2:2 (n 2)!(n 4)!
(n 4)(n 5) (2n 4)(2n 5)(2n 6)! (2n 6)!
= n
=
2:3(2n 5) 2:2 (n 2)(n 3)!(n 4)(n 5)(n 6)! 3!:2n (n 3)!(n 6)!
Si s = n 8, entonces en forma anloga se obtiene que
(2n 8)!
Cs = Cn 8 =
4!:2n (n 4)!(n 8)!
y en forma ms general si s = n 2m ( n 2m ), entonces
(2n 2m)!
Cs = Cn 2m = ( 1)m
m!:2n (n m)!(n 2m)!
y as los polinomios de Legendre se dan por
[ n2 ]
X (2n 2m)! xn 2m
Pn (x) = ( 1)m
m=0
m!:2n (n m)!(n 2m)!
as que
[ 02 ]
X X
0
(2:0 2m)! x0 2m
m m ( 2m)! x 2m
P0 (x) = ( 1) = ( 1) =1
m=0
m!:20 (0 m)!(0 2m)! m=0 m!:20 ( m)!( 2m)!
[ 22 ]
X X
1
(2:2 2m)! x2 2m (4 2m)! x2 2m
P2 (x) = ( 1)m = ( 1)m
m=0
m!:22 (2 m)!(2 2m)! m=0 m!:22 (2 m)!(2 2m)!
2 2
4! x 2! 3x 1
= =
22 2!2! 4 2 2
4.2. ECUACIN DE LEGENDRE 129
m=0
m!:2n (n m)!(n 2m)! m=0 n!m!:2n (n m)!(n 2m)!
0 1
n n
[X
2] [ ]
1 dn B X
n
1 n! d n (x2n 2m ) 2
n C
= n ( 1)m dx = n n @ ( 1)m (x2 )n m A
2 n! m=0 m!:(n m)! 2 n! dx m=0
m
!
1 dn X
n
n 1 dn n
= n ( 1)m (x2 )n m
= x2 1
2 n! dxn m=0
m 2n n! dxn
130 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
luego
1 dn n
Pn (x) = x2 1
2n n! dxn
expresin conocida como. La frmula de Rodrigues y a Pn (x) se llama tambin funcin
de Legendre de primera clase.
1 dn n
Si Pn (x) = n n
x2 1 entonces
2 n! dx
1 dn+1 h 2 n+1
i
Pn+1 (x) = n+1 x 1 y
2 (n + 1)! dxn+1
0 1 dn+1 n
Pn+1 (x) = (n + 1)2x x2 1
2n+1 (n + 1)! dxn+1
1 dn+1 n
= n n+1
(x x2 1 )
2 n! dx
1 dn n n 1
= n n
x2 1 + n x2 1 2x2
2 n! dx
1 dn n n 1
= n n
x2 1 + n x2 1 2(x2 1 + 1)
2 n! dx
1 dn n n n 1
= n n
x2 1 + 2n x2 1 + 2n x2 1
2 n! dx
1 dn n n 1
= n n
(1 + 2n) x2 1 + 2n x2 1
2 n! dx
1 dn 2 n 1 dn n 1
= (1 + 2n) x 1 + x2 1
2n n! dxn 2n 1 (n 1)! dxn
= (1 + 2n) Pn (x) + Pn0 1 (x)
luego
0
Pn+1 (x) = (1 + 2n) Pn (x) + Pn0 1 (x) y asi
0
Pn+1 (x) Pn0 1 (x)
Pn (x) =
(1 + 2n)
4.2. ECUACIN DE LEGENDRE 131
2. De
0
Pn+1 (x) Pn0 1 (x)
Pn (x) =
(1 + 2n)
se tiene que Z
Pn+1 (x) Pn 1 (x)
Pn (x)dx =
(1 + 2n)
Recordemos que
d
(xf (x)) = xf 0 (x) + f (x)
dx
d2
(xf (x)) = xf 00 (x) + 2f 0 (x)
dx2
d3
(xf (x)) = xf 000 (x) + 3f 00 (x)
dx3
dn+1
(xf (x)) = xf (n+1) (x) + (n + 1)f (n) (x)
dxn+1
3. Aplicando la propiedad Demuestre que
0
Pn+1 (x) = xPn0 (x) + (n + 1)Pn (x)
0 1 dn+1 2 n 1 dn+1 n dn n
Pn+1 (x) = n n+1
(x x 1 ) = n
x n+1
x2 1 + (n + 1) n
x2 1
2 n! dx 2 n! dx dx
0
= xPn (x) + (n + 1)Pn (x)
y as
0
Pn+1 (x) = xPn0 (x) + (n + 1)Pn (x)
4. Vericar que
nPn (x) = xPn0 (x) Pn0 1 (x)
En efecto, igualando 1 y 3, se tiene
0
Pn+1 (x) = (1 + 2n) Pn (x) + Pn0 1 (x) = xPn0 (x) + (n + 1)Pn (x)
es decir,
nPn (x) = xPn0 (x) Pn0 1 (x)
132 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
y como la integral
Z1
d 1
1 x2 (Pm Pn0 Pn Pm0 ) dx = 1 x2 (Pm Pn0 Pn Pm0 ) 1
=0
dx
1
entonces
Z1
[n(n + 1) m(m + 1)] Pm (x)Pn (x)dx = 0
1
4.2. ECUACIN DE LEGENDRE 133
y as
Z1
Pm (x)Pn (x)dx = 0 si m 6= n
1
Z1
Pn2 (x)dx
1
1 X 1
p = Pn (x)z n
1 2xz + z 2
n=0
1 1 1
p =p =p
1 2xz + z 2 1 (2xz z2) 1 a
y agrupe todos los terminos que contienen a z n y verique que la suma de estos trminos
es Pn (x)z n .
Ahora elevando al cuadrado la expresin
1 X 1
p = Pn (x)z n
1 2xz + z 2
n=0
se tiene que
1 2
2
= P0 (x) + P1 (x)z + P2 (x)z 2 + P3 (x)z 3 + P4 (x)z 4 + ::::
1 2xz + z
Z1 Z1
dx
= P02 (x) + P12 (x)z 2 + P22 (x)z 4 + :::: + Pn2 (x)z 2n + ::: dx
1 2xz + z 2
1 1
134 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
Ahora la integral
Z1 Z
dx 1 du 1 1 1
= = (ln u) = ln 1 2xz + z 2 1
1 2xz + z 2 2z u 2z 2z
1
1 1
= ln (1 z)2 ln (1 + z)2 =
(ln (1 z) ln (1 + z))
2z z
1 1 z2 z3 z2 z3
= (ln (1 + z) ln (1 z)) = (z + :::) + (z + + + ::::)
z z 2 3 2 3
1 2z 3 2z 5 2z 7 2z 2n+1
= 2z + + + + :::: + + ::: =
z 3 5 7 2n + 1
2z 2 2z 4 2z 6 2z 2n
= 2+ + + + :::: + + ::
3 5 7 2n + 1
luego
Z1
2z 2 2z 4 2z 6 2z 2n
P02 (x) + P12 (x)z 2 + P22 (x)z 4 + ::: + Pn2 (x)z 2n + ::: dx = 2+ + + +::::+ +::
3 5 7 2n + 1
1
por lo tanto
Z1
0 si m 6= n
Pm (x)Pn (x)dx = 2
2n+1
si m = n
1
Si en
1 X 1
p = Pn (x)z n
1 2xz + z 2
n=0
se hace x = 1, se tiene
1 1
p = = 1+z+z 2 +z 3 +z 4: +:: = P0 (1)+P1 (1)z+P2 (1)z 2 +P3 (1)z 3 +P4 (1)z 4 +::::
1 2z + z 2 1 z
luego se concluye que igualando coecientes
Pn (1) = 1
En forma anloga
Pn ( 1) = ( 1)n
4.2. ECUACIN DE LEGENDRE 135
hf (x); Pn (x)i = hCo Po (x) + C1 P1 (x) + C2 P2 (x) + C3 P3 (x) + C4 P4 (x) + ::::; Pn (x)i
por lo tanto
Z1 Z1
f (x):Pn (x)dx = Cn :Pn2 (x)dx los dems trminos son cero
1 1
entonces
R1
f (x):Pn (x)dx
1
Cn =
R1
Pn2 (x)dx
1
Ejemplo 4.1 Si
1 si 1<x<0
f (x) =
1 si 0<x<1
entonces
R1 R1
f (x):P0 (x)dx f (x)dx
1 1
Co = = =0
R1 R1
P02 (x)dx dx
1 1
R1 R1 R1
f (x):P1 (x)dx f (x)xdx xdx
1 1 0 3
C1 = = = =
R1 R1 R1 2
P12 (x)dx x2 dx x2 dx
1 1 0
R1 R1 3 x2 1
f (x):P2 (x)dx f (x) 2 2
dx
1 1 0
C2 = = = =0
R1 R1 3 x2 1 2 R1 3 x2 1 2
P22 (x)dx 2 2
dx 2 2
dx
1 1 1
136 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
R1 R1 5x3 3x
R1 5x3 3x
f (x):P3 (x)dx f (x) 2 2
dx 2 2 2
dx
1 1 0 7
C3 = = = =
R1 R1 5x3 3x 2
R1 5x3 3x 2 8
P32 (x)dx 2 2
dx 2 2
dx
1 1 1
as que
3 7 11
f (x) = 0:Po (x) + P1 (x) + 0:P2 (x) P3 (x) + 0:P4 (x) + P5 (x) + :::::
2 8 16
llamada serie de Legendre de
1 si 1<x<0
f (x) =
1 si 0<x<1
Si en la ecuacin de Legendre
r =n+1 y r= n
4.2. ECUACIN DE LEGENDRE 137
Si en la ecuacin de Legendre
dm Xm
m (m k)
2 00
(1 x )y = (y 00 ) (1 x2 )(k) =
dxm k=0
k
138 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
m (m) m (m 1) m (m 2)
= (y 00 ) (1 x2 ) + (y 00 ) (1 x2 )(1) + (y 00 ) (1 x2 )(2) =
0 1 2
= y (m+2) (1 x2 ) 2mxy (m+1) m(m 1)y (m)
dm X m
m
(m k) m (m+1) m (m)
0
(xy ) = (y 0 ) (x)(k) = y x+ y = xy (m+1) +my (m)
dxm k=0
k 0 1
y reempazando se tiene
dm dm
(1 x2 )y 00 2 (xy 0 ) + n(n + 1)y (m)
dxm dxm
= y (m+2) (1 x2 ) 2mxy (m+1) m(m 1)y (m) 2 xy (m+1) + my (m) + n(n + 1)y (m)
= (1 x2 )y (m+2) 2(m + 1)xy (m+1) + [n(n + 1) m(m + 1)] y (m) = 0
dm Pn (x) dm Qn (x)
y (m) = y a
dxm dxm
y si en la ecuacin 7, se hace
m
v = (1 x2 ) 2 y (m)
entonces se puede tranformar en
2d2 v dv m2
(1 x) 2 2x + n(n + 1) v=0
dx dx 1 x2
m dm Pn (x) m dm Qn (x)
Pnm (x) = (1 x2 ) 2 Qm
n (x) = (1 x2 ) 2
dxm dxm
llamadas funciones asociadas de Legendre.
Se puede demostrar que
Z1 (
0 si n 6= k
Pnm (x)Pkm (x)dx = 2 (k+m)!
2k+1 (k m)!
si n = k
1
4.3. ECUACIN DIFERENCIAL DE BESSEL 139
y se hallarn Cm y r:
En efecto :
X
1 X
1
0 m+r 1 00
y (x) = (m + r) Cm x y (x) = (m + r) (m + r 1) Cm xm+r 2
m=0 m=0
y as
2
x2 y 00 + xy 0 + x2 y=
X1 X
1 X
1
m+r m+r 2 2
= (m + r) (m + r 1) Cm x + (m + r) Cm x + x Cm xm+r =
m=0 m=0 m=0
X1 X1 X
1 X
1
2
= (m + r) (m + r 1) Cm xm+r + (m + r) Cm xm+r + Cm xm+r+2 Cm xm+r =
m=0 m=0 m=0 m=0
X
1 X
1 X
1 X
1
2
= (m + r) (m + r 1) Cm xm+r + (m + r) Cm xm+r + Cm 2 xm+r Cm xm+r =
m=0 m=0 m=2 m=0
X
1
2 2
= ((m + r) (m + r 1) + (m + r) )Cm + Cm 2 xm+r + r(r 1) + r C0 xr +
m=2
2
+ (1 + r)r + 1 + r C1 x1+r = 0 + 0xr + 0x1+r + ::: + 0xm+r
por lo tanto igualando coecientes se tiene :
1.
2
r(r 1) + r C0 = 0
2.
2
(1 + r)r + 1 + r C1 = 0
3.
2
((m + r) (m + r 1) + (m + r) )Cm + Cm 2 =0
140 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
Ahora como
2 2
r(r 1) + r C0 = 0 entonces r(r 1) + r =0
y as
2
r2 = 0 entonces r =
Luego si
r= 0
entonces reemplazando r = ; en 2 se tiene
2 2
(1 + r)r + 1 + r C1 = (r + r2 + 1 + r )C1 = (2 + 1) C1 = 0 entonces C1 = 0
y como
2 2
((m + r) (m + r 1) + (m + r) )Cm + Cm 2 = (m + r)2 Cm + Cm 2 =
= (m2 + 2m )Cm + Cm 2 =0
se tiene que
Cm 2 Cm 2
Cm = = para m 2; luego si m = 3 se tiene que
m2 + 2m m(m + 2 )
C1
C3 = = 0; C5 = 0:::C7 :::
3(3 + 2 )
Si se toma
1
C0 =
2 ( + 1)
entonces
C0 1 1 1
C2 = = =
4+4 22 (1 + )2 ( + 1) 2 +2 ( + 2)
C2 C2 1 1 1
C4 = = = =
4(4 + 2 ) 23 (2 + ) 23 (2 + ) 2 +2 ( + 2) 2 +4 2 ( + 3)
C4 1 1 1
C6 = = +4 2
= +6 3!
6(6 + 2 ) 6:2(3 + ) 2 ( + 3) 2 ( + 4)
( 1)m
C2m =
2 +2m m! ( + m + 1)
4.3. ECUACIN DIFERENCIAL DE BESSEL 141
y as una solucin es
X
1
( 1)m x2m+
f (x) = J (x) =
m=0
22m+ m! ( + m + 1)
X
1
( 1)m x2m
g(x) = J (x) =
m=0
22m m! ( + m + 1)
x2 y 00 + xy 0 + x2 3 y=0
es
y(x) = A Jp3 (x) + B J p
3 (x)
1
x2 y 00 + xy 0 + x2 y=0
9
es
y(x) = A J 1 (x) + B J 1 (x)
3 3
1
x2 y 00 + xy 0 + x2 y=0
4
es r r
2 2
y(x) = A J 1 (x) + B J 1 (x) = A sin x + B cos x
2 2 x x
ya que
r !
X
1
( 1)m x2m+ 2
1
x 1 x2 x4
J 1 (x) = 1 = 3 5
+ 7
::::
2
m=0 2 2 +2m m! ( 12 + m + 1) 2 2
1!22 2
2!24 2
142 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
r !
x 1 x2 x4
= 1 1
+ ::::
2 2 2
1!22 12 32 1
2
2!24 12 32 52 1
2
r
xx 1 x2 x4
= 1p p + p ::::
2x 2
1!22 12 32 2!24 12 32 52
r
2 x x3 x5
= + ::::
x 1 1!22 32 2!24 32 52
r r
2 x x3 x5 2 x3 x5 x7
= + :::: = : x + ::::
x 1 1!22 32 2!24 32 52 x 3! 5! 7!
r
2
= sin x
x
En forma anloga r
2
cos x J 1 (x) =
x 2
1
y 00 + e2x y = 0 haciendo ex = z
9
En efecto:
dy dy dz dy dy
= = ex = z
dx dz dx dz dz
d2 y d dy x x dy x d dy dy d dy dz
= e = e + e = ex + ex
dx2 dx dz dz dx dz dz dz dz dx
dy d2 y dy d2 y
= ex + ex 2 ex = z + z 2 2
dz dz dz dz
entonces reemplazando se tiene
2 2
00 2x 1 dy 2d y 1 2d y dy 1
y + e y =z +z 2
+ z2 y= z +z + z2 y=0
9 dz dz 9 dz 2 dz 9
que tiene por solucin general a
Y (z) = A J 1 (z) + B J 1 (z) = A J 1 (ex ) + B J 1 (ex ) = g(x)
3 3 3 3
4.3. ECUACIN DIFERENCIAL DE BESSEL 143
1
x2 y 00 + xy 0 + 4 x4 y=0 si x2 = z
4
En efecto
dy dy dz dy
= = 2x
dx dz dx dz
d2 y d dy dy d dy dy d dy dz
2
= 2x = 2 + 2x =2 + 2x
dx dx dz dz dx dz dz dz dz dx
2
dy dy dy d2 y
= 2 + 2x 2 2x = 2 + 4x2 2
dz dz dz dz
entonces
2
2 00 0 4 1 2dy 2d y dy 1
x y + xy + 4 x y = x 2 + 4x 2
+x 2x + 4 x4 y
4 dz dz dz 4
2
dy dy 1
= 4z 2 2 + 4z + 4 z 2 y=0
dz dz 4
que equivale a
d2 y dy 1
z2 2
+ z + z2 y=0
dz dz 4
y tiene por solucin
p
y si multiplicamos por x se tiene que
1
xu00 + u0 ux 1
+ k 2 x2 u = 0
4
Ahora
du du dz 1 du
u0 = = = kx 2
dx dz dx dz
d2 u d du
1 1 d du 1 1 du
u00 = 2
= kx 2 = k x2 + x 2
dx dx dz dx dz 2 dz
1 d du dz 1 1 du 1 d du 1 1 1 du
= k x2 + x 2 = k x2 kx 2 + x 2
dz dz dx 2 dz dz dz 2 dz
2
du k 1 du
= k2x 2 + x 2 luego
dz 2 dz
1 d2 u k 1 du 1 du 1
xu00 + u0 ux 1
+ k 2 x2 u = x k 2 x 2
+ x 2 + kx 2 ux 1
+ k 2 x2 u = 0
4 dz 2 dz dz 4
d2 u 3k 1 du 1
= k 2 x2 2 + x 2 ux 1 + k 2 x2 u
dz 2 dz 4
4 2 3 d2 u 4 3k 3 du 41 4 2 3 2
2d u du 1
k x + x2 u+ k x u=z +z + z2 u=0
9 dz 2 9 2 dz 94 9 dz 2 dz 9
luego
u(z) = A J 1 (z) + B J 1 (z)
3 3
y as
y 2k 3 2k 3
u = p = A J1 ( x2 ) + B J 1 ( x2 )
x 3 3 3 3
y por lo tanto la solucin de la ecuacin es
p 2k 3 2k 3
y= x A J1 ( x2 ) + B J 1 ( x2 )
3 3 3 3
4.3. ECUACIN DIFERENCIAL DE BESSEL 145
X
1
( 1)m+n x2(m+n) n
=
m=0
2 n+2(m+n) (m + n)! ( n + m + n + 1)
X
1
( 1)m+n x2m+n X
1
( 1)m+n x2m+n
= =
m=0
22m+n (m + n)! (m + 1) m=0 22m+n m! (m + n + 1)
X
1
( 1)m x2m+n
n
= ( 1) 2m+n m! (m + n + 1)
= ( 1)n Jn (x)
m=0
2
2)
d
x J (x) = x J 1 (x)
dx
En efecto
!
d d X
1
( 1)m x2m+2 X1
( 1)m (2m + 2 )x2m+2 1
x J (x) = =
dx dx m=0
22m+ m! (m + + 1) m=0
22m+ m! (m + + 1)
X1
( 1)m (m + )x2m+2 1 X
1
( 1)m x2m+2 1
= =
m=0
22m+ 1 m! (m + + 1) m=0 22m+ 1 m! (m + )
X
1
( 1)m x2m+ 1
= x 2m+ 1 m! (m + )
=x J 1
m=0
2
y por tanto Z
x J 1 (x)dx = x J (x) + c
3)
d
x J (x) = x J +1 (x)
dx
En efecto
146 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
! !
d d X
1
( 1)m x2m+ d X
1
( 1)m x2m
x J (x) = =
dx dx m=0
22m+ m! (m + + 1) dx m=0
22m+ m! (m + + 1)
X
1
2m( 1)m x2m 1 X
1
2m( 1)m x2m 1 x
= =x
m=0
22m+ m! (m + + 1) m=0
22m+ m! (m + + 1)
X
1
( 1)m x2m+ 1
= x
m=1
22m+ 1 (m 1)! (m + + 1)
X1
( 1)m+1 x2(m+1)+ 1
= x
m=0
22(m+1)+ 1 (m + 1 1)! (m + 1 + + 1)
X1
( 1)m+1 x2m+1+
= x = x J +1 (x)
m=0
22m+1+ (m)! (m + 2 + )
Luego Z
x J +1 (x)dx = x J (x) + c
Ahora como
d 1
x J (x) = x J 1 (x) = x J (x) + x J 0 (x)
dx
se tiene
J (x)
J 1 (x) = J 0 (x) +
x
y como
d 1
x J (x) = x J +1 (x) = x J (x) + x J 0 (x)
dx
se tiene
J (x)
J +1 (x) = J 0 (x)
x
despejando J 0 (x) de 4 y 5 e igualando se tiene
J (x) J (x)
J 1 = J +1 (x) , es decir
x x
2 J (x)
J 1 (x) = J +1 (x)
x
4.3. ECUACIN DIFERENCIAL DE BESSEL 147
si sumamos 4 y 5 se obtiene
@
J (x) cos J (x) @
(J (x) cos J (x))
Yn (x) = lim Y (x) = lim = lim @
!n !n sin !n
@
(sin )
pero
! !
@ @ X
1
( 1)m x2m+ @ X
1
( 1)m x2m x
(J (x)) = =
@ @ m=0
2 +2m m! ( + m + 1) @ m=0
2m
2 m! ( + m + 1) 2
x X X
1 1
x ( 1)m x2m ( 1)m x2m+ @ 1
= ln +
2 2 m=0 22m m! ( + m + 1) m=0 2 +2m m! @ ( + m + 1)
x X
1
( 1)m x2m+
= ln + una serie de potencias
2 m=0 2 +2m m! ( + m + 1)
x
= ln J (x) + una serie de potencias
2
!
@ X
1
@ ( 1)m x2m
(J (x)) = +2m m! (
=
@ @ m=0
2 + m + 1)
!
@ X
1
( 1)m x2m x
= =
@ m=0
22m m! ( + m + 1) 2
148 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
x X X
1 1
x ( 1)m x2m ( 1)m x2m @ 1
= ln +
2 2 m=0 22m m! ( + m + 1) m=0 2 +2m m! @ ( + m + 1)
x X
1
( 1)m x2m
= ln +2m m! (
+ una serie de poencias
2 m=0 2 + m + 1)
x
= ln J (x) + una serie de potencias
2
as que
@
J (x) cos J (x) @
(J (x) cos J (x))
Yn (x) = lim Y (x) = lim = lim @
!n !n sin !n
@
(sin )
@ @
@
(J (x)) cos
J (x) sin @
(J (x))
= lim
!n (cos )
@ @
1 @
(J (x)) cos J (x) sin @
(J (x))
= lim
!n (cos )
1h x x i
= ln Jn (x) + ln Jn (x) + una serie de poencias
2 2
2 x
= ln Jn (x) + una serie de poencias
2
luego como Y (x) y J (x) son soluciones linealmente independientes de la ecuacion de
Bessel entonces
y(x) = A J (x) + B Y (x)
es la solucin general
Ms an ( Jn (x) cos n J n (x)
sin n
si n 6= 0; 1; 2; 3; 4;
Yn (x) =
lim J (x) cossin J (x) si n = 0; 1; 2; 3; 4
!n
dy dy dz dy
= = i
dx dz dx dz
d2 y d dy d dy d dy dz d2 y
2
= i =i =i = i2 2
dx dx dz dx dz dz dz dx dz
luego
2 z 2 2 d2 y z dy 2
x2 y 00 + xy 0 + (ix)2 y = i + i + z2 y
i dz 2 i dz
2
2d y dy 2
= z 2
+ z + z2 y=0
dz dz
y as una solucin es
X
1
( 1)m z 2m+ X
1
( 1)m (ix)2m+
y(z) = J (z) = =
m=0
2 +2m m! ( + m + 1) m=0 2 +2m m! ( + m + 1)
X
1
( 1)m i2m+ x2m+ X1
( 1)m i2m x2m+
= = i
m=0
2 +2m m! ( + m + 1) m=0
2 +2m m! ( + m + 1)
X
1
x2m+
= i = i I (x)
m=0
2 +2m m! ( + m + 1)
3
x2 y 00 + xy 0 x2 + y = 0 es
5
Algunas propiedades
1)
I n (x) = In (x)
2)
d
x I (x) = x I 1 (x)
dx
150 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
3)
d
x I (x) = x I +1 (x)
dx
Otra solucin de la ecuacin modicada de Bessel es
K = [I (x) I (x)] si 6= Z
2 sin
Kn = lim K = lim [I (x) I (x)]
!n !n 2 sin
y as
y(x) = A I (x) + B K (x)
es la solucin general de la ecuacin de Bessel modicada
Ejemplo 4.9
y 00 + y = 0 y(0) = 0 y(L) = 0 es una ecuacin diferencial de Sturm-Liouville
pues es de la forma
d dy
y 00 + y = 1: + [0 + :1] y = 0
dx dx
Ejemplo 4.10
d dy
x + 4x3 + x2 y = 0 con
dx dx
3y(1) + 4y 0 (1) = 0
4y(3) 3y 0 (3) = 0
es una ecuacin diferencial de Sturm-Liouville
4.4. PROBLEMA DE STURM LIOUVILLE 151
Ejemplo 4.11
pues es de la forma
d dy
y 00 + y = 1: + [0 + :1] y = 0
dx dx
Para hallar la solucin procederemos as :
a) Si = 0 entonces
por tanto
y(x) = Ax y como y(L) = AL = 0 entonces A = 0
y as la solucin de la ecuacin es
y(x) = 0
b) Si < 0 entonces y 00 + y = 0 tiene por solucin
p p
x x
y(x) = Ae + Be y como y(0) = A + B = 0 entonces A = B
por tanto
p p p p
x x L L
y(x) = A(e e ) y como y(L) = A(e e ) = 0 entonces A = 0
y as la solucin de la ecuacin es
y(x) = 0
c) Si > 0 entonces la solucin de la ecuacin y 00 + y = 0 es
p p p p
y(x) = A cos x + B sin x y como y(0) = A cos 0 + B sin 0 = A = 0 entonces
p p p
y(x) = B sin x y como y(L) = B sin L = 0 entonces sin L = 0 y de aqu
p n 2 2
L = n entonces = 2 que se llamar valor propio
L
152 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
y 00 + y = 0 y 0 (0) = 0 y 0 (L) = 0
Zb Zb Zb
0 0
( m n) p(x)Ym (x)Yn (x)dx = (r(x)Yn0 (x)) Ym (x)dx (r(x)Ym0 (x)) Yn (x)dx =
a a a
4.4. PROBLEMA DE STURM LIOUVILLE 153
Zb Zb
= r(x)Yn0 (x)Ym (x)ba r(x)Yn0 (x)Ym0 (x)dx r(x)Ym0 (x)Yn (x)ba + r(x)Yn0 (x)Ym0 (x)dx
a a
= r(b) [Yn0 (b)Ym (b) Ym0 (b)Yn (b)] r(a) [Yn0 (a)Ym (a) 0
Ym (a)Yn (a)]
luego
Zb
( m n) p(x)Ym (x)Yn (x)dx = r(b) [Yn0 (b)Ym (b) Ym0 (b)Yn (b)] r(a) [Yn0 (a)Ym (a) Ym0 (a)Yn (a)]
a
As que:
1) Si
r(a) = 0 y r(b) = 0
entonces
Zb
( m n) p(x)Ym (x)Yn (x)dx = 0 por lo tanto
a
Zb
p(x)Ym (x)Yn (x)dx = 0 si m 6= n
a
2) Si
r(a) 6= 0 y r(b) = 0
entonces
AYn (a) + BYn0 (a) = 0
AYm (a) + BYm0 (a) = 0
si multiplicamos la primera ecuacin por Ym (a) y la segunda por Yn (a) y sumando se
obtiene que
Zb
p(x)Ym (x)Yn (x)dx = 0 si m 6= n
a
154 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
en forma anloga si multiplicamos la primera ecuacin por Ym0 (a) y la segunda por Yn0 (a)
y sumando se obtiene que
Zb
p(x)Ym (x)Yn (x)dx = 0 si m 6= n
a
3) Si
r(a) = 0 y r(b) 6= 0
entonces
AYn (b) + BYn0 (b) = 0
AYm (b) + BYm0 (b) = 0
si multiplicamos la primera ecuacin por Ym (b) y la segunda por Yn (b) y sumando se
obtiene que
Zb
p(x)Ym (x)Yn (x)dx = 0 si m 6= n
a
Anlogamente si A 6= 0
4) Si
r(a) 6= 0 y r(b) 6= 0
considere las condiciones
y as
Zb
p(x)Ym (x)Yn (x)dx = 0 si m 6= n
a
por tanto es una ecuacin de Sturm Liouville con r(x) = 1 x2 q(x) = 0 y p(x) = 1:
r(x) = 0 sii x = 1 entonces a = 1; b = 1 y Pn (x) son las funciones propias, entonces
Z1
Pn (x)Pm (x) = 0 si m 6= n
1
es una ecuacin de Sturm Liouville y los polinomios de Hermite estn dados por
[ n2 ]
X ( 1)m n! (2x)n 2m 2 d
n
x2
Hn (x) = = ( 1)n ex e
m=0
m! (n 2m)! dxn
156 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
x2
y adems los polinomios de Hermite son ortogonales en ( 1; +1), ( lim e = 0) es
x! 1
decir,
Z1
x2 0p si m 6= n
e Hn (x)Hm (x)dx =
2n n! si m = n
1
Calculemos los polinomios de Hermite.
2 dn t dn 2 dn 1 2
t = e x entonces n = n e x = n 1 2xe x
dx dx dx
n 2 n 3
d 2 d 2
= n 2 (4x2 2 e x ) = n 3 (8x3 12x e x ) = ::::
dx dx
entonces
dn x2 dn 1 x2 dn 2 2
n
e = n 1
( 1)H 1 (x)e = n 2
( 1)2 H2 (x) e x
dx dx dx
n 3
d 3 x2 dn n x2
= n 3
( 1) H3 (x) e = :::: = n n (( 1)n Hn (x)) e
dx dx
luego
dn 2 2
n
e x = ( 1)n Hn (x)e x as que
dx
n
2 d x2
Hn (x) = ( 1)n ex e
dxn
1 x2 y 00 xy 0 + n2 y = 0
Se puede escribir como
p 0 n2 y
1 x2 y 0 +p =0
1 x2
Los polinomios estn dados por
[ n2 ]
X n
n!xn 2m (x2 1)
Tn (x) =
m=0
(2m)! (n 2m)!
y
To (x) = 1 T1 (x) = x T2 (x) = 2x2 1 T3 (x) = 4x3 3x
y si
ya que
To (x) = cos(0 arccos x) = cos(0) = 1
T1 (x) = cos(1: arccos x) = cos(arccos x) = x
T2 (x) = cos(2 ) = 2 cos2 1 = 2x2 1
T3 (x) = cos(3 ) = 4 cos3 3 cos = 4x3 3x
r(x) = 0 sisi x = 1 luego mostraremos que
8
Z1 < 0 si n 6= m 6= 0
1
p Tn (x)Tm (x)dx = si n = m = 0
1 x2 :
1 2
si n=m
En efecto :
Z1 Z1
1 cos(n arccos x) cos(m arccos x)dx
p Tn (x)Tm (x)dx = p =
1 x2 1 x2
1 1
Z
sin (n + m) sin (n m)
= cos n cos m d = + e = 0 si n 6= m 6= 0
2 (n + m) 2 (n m) 0
0
158 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
Si
Z1 Z1
1 1
n = m = 0 entonces p Tn (x)Tm (x)dx = p dx =
1 x2 1 x2
1 1
Si
Z1 Z Z
1
n = m entonces p Tn (x)Tm (x)dx = cos n cos n d = cos2 n d =
1 x2 2
1 0 0
0 n2 2
[xy 0 (x)] + + x y(x) = 0
x
o
0 n2 2
[xJn0 ( x)] + + x Jn ( x) = 0
x
luego nuestro propsito es buscar aquellas soluciones en [0; R] que satisfacen la condicin
de frontera Jn ( R) = 0; que forman un conjunto ortogonal en [0; R] :Denotemos por
R = mn los ceros de Jn ( R); o por = mn = R mn
y as obtenemos para n =1,2,3,..
jo que las funciones Jn ( mn x); forman un conjunto ortogonal en [0; R] con respecto a la
funcin p(x)=x, es decir, que
ZR
xJn ( mn x)Jn ( kn x)dx = 0 si m 6= k
0
En efecto
0 n2 2
[xJn0 ( x)] + + x Jn ( x) = 0
x
4.7. ECUACIN DE CHEBYSHE 159
0 n2 2
[xJn0 ( x)] 2xJn0 ( x) + + x Jn ( x)2xJn0 ( x) = 0
x
h iR ZR
2
[xJn0 ( x)] = 2 2
x n2 f[Jn ( x)]2 g0 dx
0
0
v = [Jn ( x)]2 ; u= 2 2
x n2 ; du = 2 2 xdx
luego
h iR ZR
2
[xJn0 ( x)] = 2 2
x n2 f[Jn ( x)]2 g0 dx =
0
0
ZR ZR
R
= 2 2
x n 2
[Jn ( x)]2 0 +2 2
xJn2 ( x)dx = 2 2
xJn2 ( x)dx
0 0
B) Recordemos que
d
x J (x) = x J +1 (x) y de aqu se tiene
dx
x J 0 (x) = x 1
J (x) x J +1 (x)
si s = x entonces
dJn (s) dJn ( x) dx dJn ( x) 1 Jn0 ( x)
Jn0 (s) = = = ds
= luego
ds dx ds dx dx
Jn0 ( x)
sJn0 (s) = ( x) = xJn0 ( x) = nJn ( x) xJn+1 ( x)
y as
h iR R
2
[xJn0 ( x)] = [nJn ( x) xJn+1 ( x)]2 0
= 2
R2 Jn+1
2
( R)
0
as que
ZR
2 2
2 xJn2 ( x)dx = R2 Jn+1
2
( R)
0
luego
ZR
R2 Jn+1
2
( R) R2 Jn+1
2
( mn )
xJn2 ( x)dx = =
2 2
0
f (x) = C1 Jn ( 1n x) + C2 Jn ( 2n x) + C3 Jn ( 3n x) + C4 Jn ( 4n x) + :::
donde
ZR
2
Cm = 2
xf (x)Jn ( mn x)dx
R2 Jn+1 ( mn )
0
1. Mostrar que
1 2
x2 = Po (x) + 0:P1 (x) + :P2 (x) + 0:P3 (x) + :::
3 3
2. Mostrar que la serie de Hermite de f (x) = x3 viene dada por
3 1
x3 = 0:H0 (x) + H1 (x) + 0:H2 (x) + H3 (x) + 0:H4 (x) + :::
4 8
3. Solucionar la ecuacin
4. Mostrar que
X
1
1 1 4
2
x =2 3 J0 ( k x) 0 < x < 1
k=1
J1 ( k ) k k
5. Mostrar que
r r
2 sin x x cos x 2 x sin x + cos x
J 3 (x) = J 3 (x) =
2 x x 2 x x
indicacin J 3 (x) = J 1 (x) + x1 J 1 (x). Anloga para la segunda
2 2 2
6. Mostrar que
y = xn Jn (x) es solucin de la ecuacin xy 00 + (1 2n) y 0 + xy = 0 x>0
y
Indicacin, hacer el cambio de variable u = n y tranformarla en la ecuacion de
x
Bessel
7. Mostrar que Z
x3 Jo (x)dx = x3 J1 (x) + 2x2 Jo (x) 4x3 J1 (x)
u = a u1 + b u2 + c u3 + d u4 + ::::
y como
@u @ x2 t
t +u= (tu) = + f (t)
@t @t 2
entonces Z
x2 t2
ut = + f (t)dt + h(x) por lo tanto
4
x2 t F (t) h(x)
u(x; t) =
+ +
4 t t
R
es la solucin general, si f (t)dt = F (t)
@u @u
a +b =0
@x @y
En efecto: Supongamos que la solucin esta dada por
u = emx+ny
y hallemos m y n.
@u @u
a +b = amemx+ny + bnemx+ny = (am + bn)emx+ny = 0
@x @y
por lo tanto
bn
am + bn = 0 y de aqu m =
a
y as
bn n
x+ny
u=e a = e a (ay bx)
= f (ay bx) con f diferenciable
entonces la solucin de la ecuacin
@u @u
a +b =0
@x @y
es
u(x; y) = f (ay bx)
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES165
Ejemplo 4.18 Si una funcin F(x,y) se puede escribir como xn G( xy ) se llama funcin
homogenea de grado n y cualquier funcin homogenea diferenciable de orden n satisface
la ecuacin
@F @F
x +y = nF (x; y) (Ejercicio)
@x @y
Aplicar este resultado para hallar la solucin de la ecuacin
@u @u
x +y = 2u(x; y) con u(1; y) = 20 cos y
@x @y
En efecto : Como la solucin es de la forma
y
u(x; y) = Ax2 G( ); pus n = 2 y u(x; y) = F (x; y)
x
entonces
u(1; y) = AG(y) = 20 cos y
por lo tanto
y y
A = 20 y G(y) = cosy luego G( ) = cos
x x
y as
y y
u(x; y) = 20x2 G( ) = 20x2 cos
x x
es la solucin
u = emx+ny
entonces
@2u @2u @2u
= m2 emx+ny = n2 emx+ny = mnemx+ny
@x2 @y 2 @x@y
entoces
@2u @2u @2u
9 + 18 2 = m2 emx+ny 9mnemx+ny + 18n2 emx+ny
@x2 @x@y @y
= (m2 9mn + 18n2 )emx+ny = 0
166 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
por lo tanto
m2 9mn + 18n2 = (m 3n) (m 6n) = 0
luego
m = 3n y m = 6n
por tanto
am2 + bm + c = 0 = (m m1 )(m m2 )
u(x; y) = f (y + m1 x) + g(y + m2 x)
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES167
u(x; y) = f (y + m1 x) + g(x)
En efecto :
@2u @2u
= e2x+3y
@x2 @y 2
up (x; y) = Ae2x+3y
up = Ax sin(x + y) + Bx cos(x + y)
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES169
entonces
@ 2 up
= 2A cos(x + y) 2B sin(x + y) Ax sin(x + y) Bx cos(x + y)
@x2
@ 2 up
= Ax sin(x + y) Bx cos(x + y)
@y 2
@ 2 up
= A cos(x + y) Ax sin(x + y) Bx cos(x + y) B sin(x + y)
@x@y
entonces reemplazando y haciendo las operaciones algebraicas se tiene que
@ 2 up @ 2 up @ 2 up
+ 2 = 3A cos(x + y) 3B sin(x + y) = sin(x + y)
@x2 @x@y @y 2
luego
1
3A = 0 y 3B = 1 y as B = y A=0
3
entonces
1
up = x cos(x + y)
3
y la solucin general es
1
u = f (y 2x) + g(x + y) x cos(x + y)
3
Ejemplo 4.24 Solucionar la ecuacin
@2u @2u
4 2 = e2x+y
@x2 @y
La solucin de la ecuacin homogenea es
@2u @2u
= 4Ae2x+y + 4Axe2x+y 4Axe2x+y = 4Ae2x+y = e2x+y entonces
@x2 @y 2
1
4A = 1 y as A =
4
y la solucin particular es
1
up (x; y) = xe2x+y
4
por lo tanto la solucin general es
1
u(x; y) = uh (x; y) + up (x; y) = f (y + 2x) + g(y 2x) + xe2x+y
4
Ejemplo 4.25 Solucionar la ecuacin
@u @u y 4y
+2 = 0 si u(0; y) = 4e + 2e
@x @y
Ahora en este ejemplo se aplicar el mtodo de separacin de variables, que consiste en
suponer que la solucin es de la forma
entonces
@u @u
= X 0 (x)Y (y) y = X(x)Y 0 (y)
@x @y
luego
@u @u
+2 = X 0 (x)Y (y) + 2X(x)Y 0 (y) = 0
@x @y
y as
X 0 (x) Y 0 (y)
+ =0
2X(x) Y (y)
por lo tanto
X 0 (x) Y 0 (y)
=
2X(x) Y (y)
y de aqu se obtienen las ecuaciones
X 0 (x) Y 0 (y)
= = una constante
2X(x) Y (y)
y de aqu
X 0 (x) 2 X(x) = 0 y Y 0 (y) + Y (y) = 0
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES171
X(x) = ke2 x
y Y (y) = pe y
y la solucin general es
1 (2x y) 2 (2x y)
u1 (x; y) = b1 e y u2 (x; y) = b2 e
son soluciones de
@u @u
+2 =0
@x @y
entonces
1 (2x y) 2 (2x y)
u(x; y) = b1 e + b2 e es una solucin
y as
y 4y 1y 2y
u(0; y) = 4e + 2e = b1 e + b2 e
por lo tanto
b1 = 4; 1 = 1; b2 = 2; 2 = 4
y as la solucin de la ecuacin es
u(x; y) = 4e(2x y)
+ 2e4(2x y)
@u @2u
= con ju(x; t)j < M si u(0; t) = 0; u(4; t) = 0
@t @x2
u(0,t)=0 u(4,t)=0
u(x,0)=sen4 x-3sen2 x+5sen x
y as
@2u @u
= X 00 (x)T (t) y = X(x)T 0 (t)
@x2 @t
luego reemplazando en la ecuacin
00 0 X 00 (x) T 0 (t)
X (x)T (t) = X(x)T (t) y de aqu = =
X(x) T (t)
pus como
u(x; t) = X(x)T (t); u(0; t) = X(0)T (t) = 0
por tanto se concluye que X(0) = 0, de lo contrario T(t) seria nula y as u(x,t) sera nula.
Como u(4; t) = X(4)T (t) = 0 se concluye que X(4) = 0, de lo contrario T(t) seria nula y
as u(x,t) seria nula. Ahora nuestro objetivo es hallar las soluciones no nulas as :
a) Si = 0 entonces X 00 (x) = 0 y as X(x) = ax + b; como X(0) = a0 + b = 0 entonces
b = 0 y por tanto X(x) = ax y como X(4) = a4 = 0 entonces a = 0 y as X(x) = 0
luego
u(x; t) = 0 si =0
2
b) Si = > 0 entonces
2
X 00 (x) X(x) = 0
cuya solucin es
x x
X(x) = Ae + Be
x x
Como X(0) = (A + B) = 0 entonces A = B luego X(x) = A(e e ) y como
X(4) = A(e4 e 4 ) = 0 entonces A = 0 y as u(x,t) sera nula
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES173
2
c) = < 0 entonces
2 2
X 00 (x) + X(x) = 0 y T 0 (t) + T (t) = 0
y as
X(x) = a cos x + b sin x
por lo tanto, como
X(0) = 0 = A cos 0 + B sin 0 = A entonces A = 0 y as
X(x) = B sin x
y como
n
X(4) = B sin 4 = 0 entonces B sin 4 = 0 por lo tanto 4 = n o sea =
4
pues si B = 0 la solucin sera la nula, luego
n x
X(x) = B sin
4
Ahora para este valor de la solucin de
n 2
= ce ( 4 )
2 2 t
T 0 (t) + T (t) = 0 es T (t) = ce t
por lo tanto
n x ( n4 )2 t n x ( n4 )2 t
un (x; t) = X(x)T (t) = B sin e = Bn sin e es una solucin,
4 4
adems
n1 x ( n14 )2 t n2 x ( n24 )2 t n3 x ( n34 )2 t
u(x; t) = B1 sin e + B2 sin e + B3 sin e
4 4 4
es tambin solucin y como
u(x; 0) = sin 4 x 3 sin 2 x + 5 sin x
n1 x n2 x n3 x
= B1 sin + B2 sin + B3 sin
4 4 4
se tiene que
n1
B1 = 1; B2 = 3; B3 = 5; = 4 , luego n1 = 16;
4
n2 n3
= 2 ; por tanto n2 = 8; = y as n3 = 4
4 4
luego la solucin buscada es
(4 )2 t (2 )2 t ( )2 t
u(x; t) = (sin 4 x)e (3 sin 2 x)e + 5(sin x)e
174 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
@u @2u
= con ju(x; t)j < M y si
@t @x2
u(0; t) = 0; u(L; t) = 0 y u(x; 0) = f (x) gura 9.2
u(0,t)=0 u(L,t)=0
u(x,0)=f(x)
En efecto
X 00 (x) T 0 (t)
X 00 (x)T (t) = X(x)T 0 (t) y de aqu = = y as solucionaremos las ecuaciones
X(x) T (t)
y as
x x
X(x) = a e e
y como
X(L) = a eL e L
=0
se concluye que a = 0 entonces X(x) = 0 luego
2
u(x; t) = X(x)T (t) = 0 si = >0
2
c) Si = < 0 entonces
2 2
X 00 (x) + X(x) = 0 y T 0 (t) + T (t) = 0
y como
y como
n
X(L) = b sin L = 0 entonces sin L = 0 por tanto L = n o sea =
L
luego
n x n 2
y T (t) = ce t = ce ( L ) t entonces
2
X(x) = b sin
L
n x ( nL )2 t
un (x; t) = X(x)T (t) = bn sin e es una solucin
L
y para que se pueda satisfacer la condicin inicial es necesario superponer un nmero
innito de soluciones, es decir, la solucin debe ser de la forma
X
1 X
1
n x ( nL )2 t
u(x; t) = un (x; t) = bn sin e
n=1 n=1
L
que equivale a desarrollar f(x) en una serie de fourier en solo senos para hallar bn , es decir,
ZL ZL
1 n x 2 n x
bn = f (x) sin dx = f (x) sin dx
L L L L
L 0
y as la solucin buscada es
0 1
X
1 X
1 ZL
n x ( nL ) t 2
@2 n x A n x ( nL )2 t
u(x; t) = bn sin e = f (x) sin dx sin e
n=1
L n=1
L L L
0
En efecto
@u @u
u(x; t) = X(x)T (t) (x; t) = X 0 (x)T (t) entonces (0; t) = X 0 (0)T (t) = 0
@x @x
por tanto X 0 (0) = 0
@u
(L; t) = X 0 (L)T (t) = 0 entonces X 0 (L) = 0
@x
Ahora
@2u @u
2
= X 00 (x)T (t) y = X(x)T 0 (t)
@x @t
luego
X 00 (x) T 0 (t)
X 00 (x)T (t) = X(x)T 0 (t) y de aqu = = y as
X(x) T (t)
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES177
En efecto :
a) Si = 0 entonces X 00 (x) = 0 y as X(x) = ax + b; X 0 (x) = a entonces X 0 (0) = a = 0
y entonces X(x) = b y as X 0 (x) = 0 luego X 0 (L) = 0 por tanto X(x) = b T (t) = c
entonces X(x) = ae x + be x
X 0 (x) = a e x be x
X 0 (0) = a b = 0 luego b = a
y as X(x) = a e x + e x
X 0 (x) = a( e x
e x)
X 0 (L) = a( e L
e L
) = 0 se concluye que a = 0 entonces X(x) = 0
luego
u(x; t) = X(x)T (t) = 0 si >0
2
c) Si = < 0 entonces
2 2
X 00 (x) + X(x) = 0 y T 0 (t) + T (t) = 0
y as
2
t
X(x) = a cos x + b sin x T (t) = ce X 0 (x) = a sin x + b cos x
como
X 0 (0) = b = 0 por tanto b = 0 entonces X(x) = a cos x
y como
n
X 0 (x) = a sin x entonces X 0 (L) = a sin L = 0 por tanto L = n o sea =
L
luego
n x n 2
= ce ( L ) t entonces
2
t
X(x) = a cos y como T (t) = ce
L
n x ( nL )2 t
un (x; t) = X(x)T (t) = an cos e
L
178 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
ZL ZL
a0 1 2
A= entonces 2A = a0 = f (x)dx = f (x)dx luego
2 L L
L 0
ZL
1
A= f (x)dx
L
0
y as la solucin buscada es
0 1
X 1 ZL X 1 ZL
n x ( nL ) t
2 1 @2 n x A n x ( nL )2 t
u(x; t) = A+ an cos e = f (x)dx+ f (x) cos dx cos e
n=1
L L n=1
L L L
0 0
x x
y como X(0) = a+b = 0;entonces b = a y as X(x) = a(e e ) y como ju(x; t)j < M
entonces a = 0, por tanto X(x) = 0, luego u(x; t) = 0
2
c) Si = < 0 entonces
2 2
X 00 (x) + X(x) = 0 y T 0 (t) + T (t) = 0
y as
X(x) = a cos x + b sin x
y como X(0) = a cos 0 + b sin 0 = a = 0 entonces X(x) = b sin x luego
2
t
u (x; t) = (b sin x)e
P
1
Ahora debemos sumar sobre para todo > 0; y esto se hace reemplazando con
n=1
R1
::dx y haciendo
0
Z1 Z1
1 1 2
t
u(x; t) = u (x; t)d = (B ( ) sin x) e d con
0 0
Z1
B( )= f (v) sin( v)dv
1
por lo tanto 0 1
Z1 Z1
1 @ 2
u(x; t) = f (v) sin( v) sin xA e t
dvd
0 1
@u @2u
= con ju(x; t)j < M y si
@t @x2
180 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
@u
(0; t) = 0 u(x; 0) = f (x)
@x
est dada por 0 1
Z1 Z1
1 @ 2
u(x; t) = f (v) cos( v) cos xA e t
dvd
0 1
@u @2u
= con ju(x; t)j < M y si
@t @x2
u(x; 0) = f (x) gura 9.4
u(x,0)=f(x)
En efecto
@2u @u
2
= X 00 (x)T (t) y = X(x)T 0 (t)
@x @t
luego
X 00 (x) T 0 (t)
X 00 (x)T (t) = X(x)T 0 (t) y de aqu = = y as
X(x) T (t)
X 00 (x) X(x) = 0 T 0 (t) T (t) = 0
a) Si = 0 entonces X 00 (x) = 0 y as X(x) = ax + b; y T 0 (t) = 0 entonces T (t) = c por
lo tanto
u(x; t) = Bc = D
2
b) Si = > 0 entonces
2 2
X 00 (x) X(x) = 0 entonces X(x) = ae x
+ be x
y T (t) = ce t
2 2
x x t x x t
por lo tanto u(x; t) = ae + be ce = Ae + Be e = 0 pues A = 0 y B = 0
ya que ju(x; t)j < M
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES181
2
c) Si = < 0 entonces
2 2
X 00 (x) + X(x) = 0 y T 0 (t) + T (t) = 0
y as
2
t
X(x) = a cos x + b sin x T (t) = ce y as
2
t
u (x; t) = (a cos x + b sin x) e
P R1
Ahora debemos sumar sobre para todo > 0; y esto se hace reemplazando con ::dx
0
y haciendo
Z1 Z1
1 1 2
t
u(x; t) = u (x; t)d = (A ( ) cos x + B ( ) sin x) e d con
0 0
Z1 Z1
A( ) = f (v) cos( v)dv y B ( ) = f (v) sin( v)dv
1 1
por lo tanto
0 1
Z1 Z1
1 @ 2
u(x; t) = f (v) cos( v) cos x + f (v) sin( v) sin xA e t
dvd
0 1
@u @2u
= + f (x; t) si u(0; t) = 0 u(L; t) = 0 u(x; 0) = g(x) = 1
@t @x2
Solucionemos la ecuacin para un caso particular, si f (x; t) = 3 y escojamos una solucin
de la forma
X1
n x
u(x; t) = kn (t) sin
n=1
L
asegurando que satisface las dos condiciones de frontera y en forma anloga escribimos
X
1
n x
f (x; t) = Cn (t) sin
n=1
L
182 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
ZL ZL
2 n x 2 n x
Cn (t) = f (x; t) sin dx = 3 sin dx =
L L L L
0 0
6
= (1 cos n )
n
Ahora
@u X 0
1
n x
= kn (t) sin
@t n=1
L
@2u X
1
n 2 n x
= kn (t) sin
@x2 n=1
L L
y reemplazando en la ecuacin y agrupando se tiene que
X
1
n 2 n x
kn0 (t) + kn (t) Cn (t) sin =0
n=1
L L
entonces
n 2
kn0 (t) + kn (t) Cn (t) = 0
L
por lo tanto
n 2 6
kn0 (t) + kn (t) = (1 cos n )
L n
que es una ecuacin de la forma
dy R
+ p(t)y = Q(t) cuyo factor integrante es e p(t)dt
dt
luego
R R R
p(t)dt dy p(t)dt p(t)dt
e +e P (t)y = Q(t)e
dt
que se puede escribir como
d R p(t)dt R
e y = Q(t)e p(t)dt
dt
y de aqu integrando con respecto a t se tiene
R
Z R
p(t)dt
e y = Q(t)e p(t)dt dt + C
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES183
y as 0 Z 1
R
Z p(t)dt
B C
y(t) = e p(t)dt @ Q(t)e dt + C A
luego
R
Z R
p(t)dt
kn (t) = e Q(t)e p(t)dt dt + C =
R n 2
Z R
( ) n 2 6
= e L
dt
e ( L ) dt (1 cos n ) dt + C
n
Z
( n
)
2 n 2 6
= e L t
e( L ) t (1 cos n ) dt + C =
n
( n
)
2
t L2 ( nL )2 t 6
= e L e (1 cos n ) + C =
(n )2 n
6L2 2
( nL ) t
= (1 cos n ) + Ce
(n )3
como
X
1
n x
u(x; 0) = kn (0) sin = g(x)
n=1
L
entonces
ZL ZL
2 n x 2 n x
kn (0) = g(x) sin dx = 1: sin dx
L L L L
0 0
2 h n x i L 2
= cos = (1 cos n )
n L 0 n
y como
6L2 2
kn (0) = (1 cos n ) + C = (1 cos n )
(n )3 n
entonces
2 6L2
C= (1 cos n )
n (n )3
y as
X
1
n x X 1
6L2 n 2 n x
u(x; t) = kn (t) sin = u(x; t) = (1 cos n ) + Ce ( L ) t
sin
n=1
L n=1
(n )3 L
X
1
6L2 2 6L2 n 2 n x
= (1 cos n ) + (1 cos n ) e ( L ) t
sin
n=1
(n )3 n (n )3 L
184 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
@u @v @2u @2v
= y 2
= 2
+ '00 (x)
@t @t @x @x
luego
@v @2v
= 2
+ '00 (x) con v(0; t) + '(0) = A v(L; t) + '(L) = B v(x; 0) + '(x) = f (x)
@t @x
y para simplicar estas ecuaciones tomamos
y as
x
'(x) = cx + d = A + (B A)
L
ya que
B A
'(0) = d = A '(L) = cL + d = cL + A = B entonces c =
L
y
x
v(x; 0) = u(x; 0) '(x) = f (x) A+ (B A)
L
por lo tanto la ecuacin
@u @2u
= si u(0; t) = A u(L; t) = B u(x; 0) = f (x)
@t @x2
se transforma en
@v @2v x
= con v(0; t) = 0 v(L; t) = 0 v(x; 0) = f (x) A+ (B A)
@t @x2 L
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES185
cuya solucin es
X
1
n x ( nL )2 t
v(x; t) = bn sin e =
n=1
L
0 1
X
1 ZL
= @2 f (x) A+
x
(B A) sin
n x A
dx sin
n x ( nL )2 t
e
n=1
L L L L
0
luego
0 1
X
1 ZL
x @2 x n x A n x ( nL )2 t
u(x; t) = A+ (B A)+ f (x) A+ (B A) sin dx sin e
L n=1
L L L L
0
@u @2u
= si u(0; t) = A(t) u(L; t) = B(t) u(x; 0) = f (x)
@t @x2
Se hace
u(x; t) = v(x; t) + '(x; t)
@u @v @' @2u @2v @2'
= + y = +
@t @t @t @x2 @x2 @x2
luego
@v @' @2v @2'
+ = +
@t @t @x2 @x2
y as
@v @2v @2' @'
=
@t @x2 @x2 @t
ahora
@v @2v x 0
= A0 (t) + (B (t) A0 (t)) = f (x; t)
@t @x2 L
luego
@v @2v
= + f (x; t) con
@t @x2
x
v(0; t) = 0 v(L; t) = 0 v(x; 0) = u(x; 0) '(x; 0) = f (x) A(0)+ (B(0) A(0)) = g(x)
L
que ya fue resuelta
y as
x
'(x) = cx + d = A + (B A)
L
ya que
B A
'(0) = d = A '(L) = cL + d = cL + A = B entonces c =
L
y
x
v(x; 0) = u(x; 0) '(x) = f (x) A+ (B A)
L
por lo tanto la ecuacin
@u @2u
= si u(0; t) = A u(L; t) = B u(x; 0) = f (x)
@t @x2
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES187
se transforma en
@v @2v x
= con v(0; t) = 0 v(L; t) = 0 v(x; 0) = f (x) A+ (B A)
@t @x2 L
cuya solucin es
X
1
n x ( nL )2 t
v(x; t) = bn sin e =
n=1
L
0 1
X
1 ZL
= @2 f (x) A+
x
(B A) sin
n x A
dx sin
n x ( nL )2 t
e
n=1
L L L L
0
luego
0 1
X 1 ZL
x @ 2 x n x A n x ( nL )2 t
u(x; t) = A+ (B A)+ f (x) A+ (B A) sin dx sin e
L n=1
L L L L
0
@u 9@ 2 u
= si u(0; t) = 0 u(5; t) = 3 u(x; 0) = 0
@t @x2
Se hace
u(x; t) = v(x; t) + '(x)
@v @2v
= con
@t @x2
3x
v(0; t) = 0 v(5; t) = 0 v(x; 0) = u(x; 0) '(x) = = f (x)
5
que ya fue resuelta
188 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
@u @2u @u @u
= 2
+ x2 si (0; t) = 0 (L; t) = 0 u(x; 0) = 0
@t @x @x @x
En efecto : La solucin se puede escribir como
A0 (t) X
1
n x
u(x; t) = + An (t) cos
2 n=1
L
A0 (0) X
1
n x
u(x; 0) = + An (0) cos = 0 por tanto An (0) = 0
2 n=1
L
y
L2 4L2 X ( 1)n
1
2 n x
x = + 2 2
cos
3 n=1
n L
luego
luego
L2 X
1
A00 (t) n 2 4L2 ( 1)n n x
+ A0n (t) + An (t) 2
cos =0
2 3 n=1
L n2 L
lo que implica que
y as
n 2 4L2 ( 1)n L2 ( nL )2 t 4L2 ( 1)n L2
An (t)e( L ) t = 2 2 e
n (n )2 2 n2 (n )2
por lo tanto
n 2
4L2 ( 1)n L2 4L2 ( 1)n L2 e( L ) t
An (t) = 2 2
n (n )2 2 n2 (n )2
entonces
A0 (t) X
1
n x
+ An (t) cos =
2 n=1
L
n 2 !
L2 t X 4L2 ( 1)n L2 e( L )
1 t
4L2 ( 1)n L2 n x
= + 2 n2 (n )2 2
cos
3 n=1
n2 (n )2 L
luego la solucin es
n 2 !
L2 t X 4L2 ( 1)n L2 e( L )
1 t
4L2 ( 1)n L2 n x
u(x; t) = + 2 n2 (n )2 2
cos
3 n=1
n2 (n )2 L
La solucin es de la forma
@2y 00 @2y
y(x; t) = X(x)T (t) y as = X (x)T (t) y = X(x)T 00 (t)
@x2 @t2
luego reemplazando en la ecuacin se tiene que
X 00 (x) T 00 (t)
X 00 (x)T (t) = X(x)T 00 (t), luego = =
X(x) T (t)
as:
a) Si = 0 entonces
entonces
b = 0; por tanto X(x) = ax y como X(L) = aL = 0
entonces a = 0 y la solucin sera
y como
0 0
X(0) = ae + be = a + b = 0 entonces a = b y as
x x L L
X(x) = a(e e ) y como X(L) = a(e e ) = 0; se tiene que a = 0
as X(x) = 0; por tanto la solucin sera
2 n t
T 00 (t) + T (t) = 0; T (0) = 0 es T (t) = A cos
L
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES191
y as 0 1
X
1 ZL
y(x; t) = @2 f (x) sin
n x A
dx sin
n x
cos
n t
n=1
L L L L
0
es la solucin buscada
@2v @2v
2
= 2
+ A00 (x) + 2x
@t @x
x3 x3 4x
por lo tanto A00 (x) + 2x = 0 as A(x) = + kx + d = + pues
3 3 3
v(x; t) = y(x; t) A(x), v(0; t) = y(0; t) A(0) = 0 si A(0) = 0 y
Por tanto
@2v @2v x3 4x @v(x; 0)
= v(0; t) = 0; v(2; t) = 0 v(x; 0) = y(x; 0) A(x) = f (x)+ ; =0
@t2 @x2 3 3 @t
y
0 1
X
1 Z2 3
@ x 4x n x A n x n t
v(x; t) = f (x) + sin dx sin cos = y(x; t) A(x)
n=1
9 9 2 2 2
0
entonces
0 1
3 X
1 Z2 3
x 4x @ x 4x n x A n x n t
y(x; t) = + + f (x) + sin dx sin cos
3 3 n=1
9 9 2 2 2
0
es la solucin buscada
La solucin es de la forma
@2y 00 @2y
y(x; t) = X(x)T (t) y as = X (x)T (t) y = X(x)T 00 (t)
@x2 @t2
luego reemplazando en la ecuacin se tiene que
X 00 (x) T 00 (t)
X 00 (x)T (t) = X(x)T 00 (t), luego = =
X(x) T (t)
as solucionaremos las ecuaciones
as:
a) Si = 0 entonces X(x) = 0 y
2 n t
T 00 (t) + T (t) = 0; T (0) = 0 es T (t) = B sin
L
por tanto la solucin es
X
1
n x n t
y(x; t) = bn sin sin
n=1
L L
luego
@y X n 1
n x n t
(x; t) = bn sin cos
@t n=1
L L L
@y X n 1
n x
(x; 0) = bn sin = f (x)
@t n=1
L L
por tanto
ZL
n 2 n x
bn = f (x) sin dx
L L L
0
194 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
y as
ZL
2 n x
bn = f (x) sin dx
n L
0
por tanto 0 1
X
1 ZL
y(x; t) = @ 2 f (x) sin
n x A
dx sin
n x
cos
n t
n=1
n L L L
0
es la solucin buscada
@2u @2u
+ = 0 si u(0; y) = 0 u(L; y) = 0 u(x; M ) = 0 u(x; 0) = f (x) gura 9.5
@x2 @y 2
La solucin es de la forma
@2u 00 @2u
u(x; y) = X(x)Y (y) y as = X (x)Y (y) y = X(x)Y 00 (y)
@x2 @y 2
luego reemplazando en la ecuacin se tiene que
X 00 (x) Y 00 (y)
X 00 (x)Y (y) = X(x)Y 00 (y) y de aqu = = y as
X(x) Y (y)
es decir, se soluciona
2
Y 00 (y) Y (y) = 0 con Y (M ) = 0
196 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
A cosh( M ) A
Y (y) = A cosh y sinh y = (sinh( M ) cosh y cosh( M ) sinh y)
sinh( M ) sinh( M )
= K sinh ( M y) luego
n x
un (x; y) = Bn sin sinh ( M y) es una solucin
L
por lo tanto
X
1
n x n
u(x; y) = Bn sin sinh (M y) es tambin una solucin y as como
n=1
L L
X
1
n x n
u(x; 0) = Bn sin sinh (M ) entonces
n=1
L L
ZL
n M 1 n x
Bn sinh = f (x) sin dx y as
L L L
L
ZL
2 n x
Bn = n
f (x) sin dx luego
L sinh L
M L
0
0 1
X
1 ZL
@ 2 n x A n x n
u(x; y) = n M
f (x) sin dx sin sinh (M y)
n=1
L sinh L
L L L
0
es la solucin buscada
En forma anloga se solucionan las ecuaciones
@2u @2u
1) + = 0 si u(0; y) = 0 u(L; y) = 0 u(x; M ) = f (x) u(x; 0) = 0
@x2 @y 2
@2u @2u
2) + = 0 si u(0; y) = 0 u(L; y) = f (y) u(x; M ) = 0 u(x; 0) = 0
@x2 @y 2
@2u @2u
3) + = 0 si u(0; y) = f (y) u(L; y) = 0 u(x; M ) = 0 u(x; 0) = 0
@x2 @y 2
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES197
@2u @2u @u @u
2
+ 2 = 0 si (0; y) = 0 (L; y) = 0 u(x; 0) = 0 u(x; M ) = f (x) gura 9.6
@x @y @x @x
La solucin es de la forma
@2u 00 @2u
u(x; y) = X(x)Y (y) y as = X (x)Y (y) y = X(x)Y 00 (y)
@x2 @y 2
X 00 (x) Y 00 (y)
X 00 (x)Y (y) = X(x)Y 00 (y) y de aqu = = y as
X(x) Y (y)
@u
(0; y) = X 0 (0)Y (y) = 0 entonces X 0 (0) = 0
@x
@u
(L; y) = X 0 (L)Y (y) = 0 entonces X 0 (L) = 0
@x
u(x; 0) = X(x)Y (0) = 0 entonces Y (0) = 0
entonces hay que solucionar las ecuaciones
entonces
198 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
X 0 (x) = a e x
e x
X 0 (L) = a e L
e L
= 0 por tanto a = 0 entonces X(x) = 0
2
y as u(x; y) = X(x)Y (y) = 0 si = >0
2
c) Si = < 0 entonces
2
X 00 (x) + X(x) = 0 que tiene como solucin a X(x) = a cos x + b sin x
y as
X 0 (x) = a sin x + b cos x; X 0 (0) = b = 0; luego b = 0
entonces X(x) = a cos x X 0 (x) =
a sin x X 0 (L) = a sin L = 0
n n x
entonces sin L = 0; luego L = n ; y as = entonces X(x) = a cos
L L
Ahora se soluciona la ecuacin
2
Y 00 (y) + Y (y) = 0 con Y (0) = 0 para este = <0
X
1
n x n y
u(x; y) = Ay + an cos sinh es solucin y como
n=1
L L
X
1
n x n M
u(x; M ) = f (x) = AM + an cos sinh entonces
n=1
L L
ZL ZL
a0 1 2
AM = entonces 2AM = a0 = f (x)dx y as A = f (x)dx y
2 L 2M L
L 0
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES199
ZL ZL
n M 1 n x 2 n x
an sinh = f (x) cos dx = f (x) cos dx entonces
L L L L L
L 0
ZL
2 n x
an = f (x) cos dx por lo tanto
L sinh n LM L
0
0 1 0 1
ZL X
1 ZL
1 1 2 n x A n x n y
u(x; y) = @ f (x)dxA y + @
n M
f (x) cos dx cos sinh
ML n=1
sinh L L L L L
0 0
es la solucin deseada
@2u @2u @u @u
1) + =0 si (0; y) = 0 (L; y) = 0 u(x; 0) = f (x) u(x; M ) = 0
@x2 @y 2 @x @x
@2u @2u @u @u
2) 2
+ 2 = 0 si (x; 0) = 0 (x; M ) = 0 u(0; y) = f (y) u(L; y) = 0
@x @y @y @y
@2u @2u @u @u
3) 2
+ 2 = 0 si (x; 0) = 0 (x; M ) = 0 u(0; y) = 0 u(L; y) = f (y)
@x @y @y @y
@2u @2u @u
4) + =0 si (0; y) = 0 u(L; y) = 0 u(x; 0) = f (x) u(x; M ) = 0
@x2 @y 2 @x
@2u @2u @u
5) + =0 si u(0; y) = 0 (L; y) = 0 u(x; 0) = f (x) u(x; M ) = 0
@x2 @y 2 @x
@2u @2u @u
6) + = 0 si u(x; 0) = 0 (x; M ) = 0 u(0; y) = f (y) u(L; y) = 0
@x2 @y 2 @y
@2u @2u @u
7) + =0 si (x; 0) = 0 u(x; M ) = 0 u(0; y) = f (y) u(L; y) = 0
@x2 @y 2 @y
@2u @2u @u @u @u
8) 2
+ 2 = 0 si (x; 0) = 0 (x; M ) = 0 (0; y) = 0 u(L; y) = f (y)
@x @y @y @y @x
@2u @2u @u @u @u
9) + = 0 si (x; 0) = 0 (x; M ) = 0 u(0; y) = f (y) (L; y) = 0
@x2 @y 2 @y @y @x
200 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
@2u @2u
+ = 0 si u(0; y) = f (y) u(x; M ) = 0 u(x; 0) = 0 gura 9.7
@x2 @y 2
La solucin es de la forma
@2u 00 @2u
u(x; y) = X(x)Y (y) y as = X (x)Y (y) y = X(x)Y 00 (y)
@x2 @y 2
luego reemplazando en la ecuacin
@2u @2u
+ =0
@x2 @y 2
se tiene que
X 00 (x)Y (y) + X(x)Y 00 (y) = 0 y de aqu dividiendo la igualdad por X(x)Y (y) se tiene
luego
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES201
X
1
n y n x
u(x; y) = bn sin e M es solucin y como
n=1
M
X
1
n y
u(0; y) = f (y) = bn sin entonces
n=1
M
ZM
2 n y
bn = f (y) sin dy luego
M M
0
0 1
X
1 ZM
u(x; y) = @2 f (y) sin
n y A
dy sin
n y
e
n x
M
n=1
M M M
0
es la solucin
En forma anloga se solucionan las ecuaciones
202 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
@2u @2u
1): + =0 si u(0; y) = 0 u(x; M ) = 0 u(x; 0) = f (x)
@x2 @y 2
@2u @2u
2): + =0 si u(0; y) = 0 u(x; M ) = f (x) u(x; 0) = 0
@x2 @y 2
@2u @2u
3): + =0 si u(x; 0) = 0 u(0; y) = f (y) u(L; y) = 0
@x2 @y 2
@2u @2u
4): + =0 si u(x; 0) = f (x) u(0; y) = 0 u(L; y) = 0
@x2 @y 2
@2u @2u
5): + =0 si u(x; 0) = 0 u(0; y) = 0 u(L; y) = f (y)
@x2 @y 2
@2u @2u @u @u
6): + =0 si (0; y) = 0 u(x; 0) = f (x) (L; y) = 0
@x2 @y 2 @x @x
@2u @2u @u
7): + =0 si u(0; y) = f (y) (x; 0) = 0 u(L; y) = 0
@x2 @y 2 @y
@2u @2u @u
8): + =0 si u(0; y) = 0 (x; 0) = 0 u(L; y) = f (y)
@x2 @y 2 @y
@2u @2u @u
9): + =0 si (0; y) = 0 u(x; 0) = f (x) u(L; y) = 0
@x2 @y 2 @x
@2u @2u @u @u
10): + =0 si (x; M ) = 0 (x; 0) = 0 u(0; y) = f (y)
@x2 @y 2 @y @y
@2u @2u
+ =0 si u(0; y) = 0 u(x; 0) = f (x)
@x2 @y 2
La solucin es de la forma
@2u 00 @2u
u(x; y) = X(x)Y (y) y as = X (x)Y (y) y = X(x)Y 00 (y)
@x2 @y 2
luego reemplazando en la ecuacin
@2u @2u
+ =0
@x2 @y 2
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES203
se tiene que
X 00 (x) Y 00 (y)
X 00 (x)Y (y) + X(x)Y 00 (y) = 0 y de aqu = = y as
X(x) Y (y)
u(x; y) = 0
2
b) Si = > 0 entonces
2
X 00 (x) X(x) = 0 tiene como solucin X(x) = ae x +be x
como X(0) = a+b = 0 a = b
x x
por lo tanto X(x) = a(e e ) entonces a = 0 ya que ju(x; y)j < M
y as u(x; y) = X(x)Y (y) = 0
2
c) Si = < 0 entonces
2
X 00 (x) + X(x) = 0 tiene como solucin
Z1
1 y
u(x; y) = B( ) sin x e d
0
entonces como
Z1
1
u(x; 0) = B( ) sin x d = f (x) entonces
0
Z1
B( ) = f (v) sin vdv y as
1
Z1 Z1 Z1
1 y 1 y
u(x; y) = B( ) sin x e d = f (v) sin v sin xe dvd
0 0 1
es la solucin
por tanto
Z1
1 y
u(x; y) = (A( ) cos x + B( ) sin x) e d
0
y como
Z1 Z1
1 0 1
u(x; 0) = f (x) = (A( ) cos x + B( ) sin x) e d = (A( ) cos x + B( ) sin x) d =
0 0
as que
0 1
Z1 Z1 Z1
1 @
u(x; y) = f (v) cos vdv cos x + f (v) sin vdv sin xA e y
d
0 1 1
Z1 Z1
1 y
= f (v) cos( v x)e dvd
0 1
2
Analizar el caso en que =0y = :
X(x) = a sin n x
por lo tanto
Z 00
+ (n )2 = (m )2 luego Z 00 2
(n2 + m2 )Z = 0 con Z(0) = 0
Z
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES207
cuya solucin es
p p p
Z(z) = a cosh n2 + m2 z + b sinh n2 + m2 z = b sinh n2 + m2 z
luego la solucin es
X
1 X
1
p
u(x; y; z) = bnm sin n x sin m y sinh n2 + m2 z
n=1 n=1
y como
X
1 X
1
p
u(x; y; 1) = bnm sin n x sin m x sinh n2 + m2 1 = xy
n=1 n=1
entonces
p Z1 Z1
bnm sinh n2 + m2 = 4 xy sin n x sin m ydxdy
0 0
por tanto
Z1 Z1
4
bnm = p xy sin n x sin m ydxdy
sinh n2 + m2
0 0
Por tanto
1 X
X 1
p
u(x; y; z) = bnm sin n x sin m y sinh n2 + m2 z =
n=1 n=1
0 1
X
1 X
1 Z1 Z1 p
@ 4
= p xy sin n x sin m ydxdy A sin n x sin m y sinh n2 + m2 z
n=1 n=1
sinh n2 + m2
0 0
XY T 00 = X 00 Y T + XY 00 T
T 00 X 00 Y 00 X 00 T 00 Y 00
= + entonces =
T X Y X T Y
y de aqu
X 00 T 00 Y 00 2
= = =
X T Y
por tanto
X 00 T 00 Y 00
= y =
X T Y
luego
X 00 X = 0 X(0) = 0, X(2 ) = 0
2
y la solucin no nula de esta ecuacin coresponde cuando = = ( n2 )2 y ella es
nx
X(x) = a sin
2
Con este valor de solucionemos
T 00 Y 00 n
= = ( )2
T Y 2
Como
T 00 Y 00 n 2 Y 00 T 00 n
= ( ) entonces = + ( )2 =
T Y 2 Y T 2
4.9. MTODOS PARA SOLUCIONAR ALGUNAS ECUACIONES EN DERIVADAS PARCIALES209
entonces
Y 00 T 00 n
= y + ( )2 =
Y T 2
luego
Y 00 Y = 0 con Y (0) = 0; Y (2 ) = 0
Que tiene por solucin no nula
mt m 2
Y (y) = b sin cuando = ( )
2 2
por lo tanto
T 00 n m 2 1
+ ( )2 = = ( ) luego T 00 + (n2 + m2 )T = 0 con T 0 (0) = 0
T 2 2 4
cuya solucin es
1p 2 1 p 2 1p 2
T (t) = a cos n + m2 t + b sin n + m2 t = a cos n + m2 t
2 2 2
luego la solucin es
X
1 X
1
nx my 1p 2
u(x; y; t) = bnm sin sin cos n + m2 t
n=1 n=1
2 2 2
y como
X
1 X
1
nx mx
u(x; y; 0) = bnm sin sin = x2 sin y
n=1 n=1
2 2
entonces
Z2 Z2
nx mx
bnm = 4 x2 sin y sin sin dxdy
2 2
0 0
por tanto
X
1 X
1
nx my 1p 2
u(x; y; t) = bnm sin
sin cos n + m2 t =
n=1 n=1
2 2 2
0 2 2 1
XX
1 1 Z Z
@4 nx my nx my 1p 2
= x2 sin y sin sin dxdy A sin sin cos n + m2 t
n=1 n=1
2 2 2 2 2
0 0
210 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
@2u @2u
Pasar la ecuacin + = 0 a coordenadas polares.
@x2 @y 2
En efecto recordemos que x = rcos y = rsin y as u depende de r y es decir
u(x(r; ); y(r; )) luego
@u @u @r @u @ @2u @ @u @r @u @ @ @u @r @ @u @
= + ; = + = +
@x @r @x @ @x @x2 @x @r @x @ @x @x @r @x @x @ @x
@ @u @r @ @u @ @r @u @ 2 r @ @u @r @ @u @ @
= + + 2
+ + +
@r @r @x @ @r @x @x @r @x @r @ @x @ @ @x @x
@u @ 2
+
@ @x2
y
@u @u @r @u @ @2u @ @u @r @u @ @ @u @r @ @u @
= + ; 2
= + = +
@y @r @y @ @y @y @y @r @y @ @y @y @r @y @y @ @y
@ @u @r @ @u @ @r @u @2r @ @u @r @ @u @ @
= + + + +
@r @r @y @ @r @y @y @r @y 2 @r @ @y @ @ @y @y
@u @ 2
+
@ @y 2
entonces
2 2
@2u @2u @ 2u @r @ 2 u @ @r @u @ 2 r @ 2 u @ @r @ 2 u @
+ = + + + + 2 +
@x2 @y 2 @r2 @x @ @r @x @x @r @x2 @r@ @x @x @ @x
2 2
@u @ 2 @ 2u @r @ 2 u @ @r @u @ 2 r @ 2 u @ @r @ 2 u @
+ + + + + 2 +
@ @x2 @r2 @y @ @r @y @y @r @y 2 @r@ @y @y @ @y
@u @ 2
@ @y 2
! !
2 2 2 2
@ 2u @r @r @ 2u @ @ @ 2u @ @r @ @r
= + + 2 + + +
@r2 @x @y @ @x @y @ @r @x @x @y @y
@u @ 2r @ 2r @u @2 @2 @ 2u @ @r @ @r
+ + 2 + + + +
@r @x2 @y @ @x2 @y 2 @r@ @x @x @y @y
4.10. ECUACIN DE LAPLACE EN COORDENADAS POLARES. 211
Ejemplo 4.47 Una placa en forma de sector circular de radio a, tiene un angulo central
: Si la parte circular se mantiene a una temperatura f ( ), 0 < < ; mientras que
los rayos limitantes se mantienen a una temperatura de cero, hallar la temperatura en
condiciones estables en cualquier punto del sector.
y reemplazando en la ecuacin
@ 2u 1 @ 2 u 1 @u
+ + =0
@r2 r2 @ 2 r @r
obtenemos
1 1
R(r) 00 ( ) + R0 (r) ( ) = 0
R00 (r) ( ) +
2
r r
y dividiendo esta igualdad por R(r) ( ); se tiene
00
R00 (r) 1 ( ) 1 R0 (r)
+ 2 + =0
R r r R
y de aqu se obtiene
R00 (r) 1 R0 (r) 1 00 ( )
++ =
R r R r2
y multiplicando ambos lados de la igualdad anterior por r2 se obtiene que
00
R00 (r) R0 (r) ( ) 00
r2 + +r = = luego r2 R00 (r) + rR0 (r) R=0 ( )+ =0
R R
y as solucionaremos las ecuaciones
00
( )+ =0 (0) = 0 ( ) = 0 y r2 R00 (r) + rR0 (r) R=0
luego si
a) Si = 0 entonces 00 ( ) = 0; por tanto ( ) = a + b y como (0) = a0 + b = 0 se
tiene que b = 0 y as ( ) = a y como ( ) = a = 0 se tiene que a = 0 y as u = 0
2 00
b) Si < 0, = ( )+ = 00 ( ) 2
= 0 cuya solucin es ( ) = ae +be
y como (0) = ae 0 + be 0 = a + b = 0 entonces a = b y as ( ) = a(e be ) y
como ( ) = a(e be ) = 0 entonces a = 0 y as u = 0
c) Si > 0, = 2 00 ( ) + = 00 ( ) + 2 = 0 cuya solucin es ( ) = a cos +
b sin y como (0) = a cos 0 + b sin 0 = a = 0 entonces a = 0 y as ( ) = b sin y como
n n
( ) = b sin = 0 entonces = n por tanto = y as ( ) = b sin
Ahora para este valor propio solucionaremos la ecuacin
2
r2 R00 (r) + rR0 (r) R = r2 R00 (r) + rR0 (r) R=0
que es una ecuacin de cauchy cuya solucin es de la forma R = rn ; con n = ; es decir,
R = ar + br = ar por lo tanto la solucin de la ecuacin es de la forma
n
X1
n
u(r; ) = bn r sin
n=1
4.10. ECUACIN DE LAPLACE EN COORDENADAS POLARES. 213
y como
n
X
1
n
u(a; ) = f ( ) = bn a sin
n=1
entonces
n Z Z
2 n 2 n
bn a = f ( ) sin d por tanto bn = n f ( ) sin d
0 0
a
y as la solucin es
0 1
Z n
X
1
B 2 n C n
u(r; ) = B f ( ) sin d C
@ n Ar sin
n=1 0
a
@ 2 u 1 @u 1 @2u @2u
+ + + 2 = 0 con temperatura interior independiente de
@r2 r @r r2 @ 2 @z
es decir, solucionaremos la ecuacin
@ 2 u 1 @u @ 2 u
+ + 2 =0
@r2 r @r @z
Como
X
1
n n z
u(1; z) = f (z) = bn I0 ( ) sin se tiene que
n=1
a a
4.10. ECUACIN DE LAPLACE EN COORDENADAS POLARES. 215
Za Za
n 2 n z 2 n z
bn I0 ( ) = f (z) sin dz entonces bn = n f (z) sin dz
a a a aI0 ( a ) a
0 0
0 1
X1 Za
@ 2 n z A n r n z
por tanto u(r; z) = n f (z) sin dz I0 ( ) sin
n=1
aI0 ( a ) a a a
0
es la solucin
@ 2 u 1 @u 1 @2u @2u
+ + + 2 = 0 si u(r; 0) = f (r) u(r; a) = 0 u(1; z) = 0
@r2 r @r r2 @ 2 @z
con temperatura interior independiente de
es decir, solucionaremos la ecuacin
@ 2 u 1 @u @ 2 u
+ + 2 =0
@r2 r @r @z
Como
Ahora
@2u @2u
u(r; z) = R(r)Z(z) entonces 2
= R 00 (r)Z(z); 2
= R(r)Z 00 (z)
@r @z
por tanto, reemplazando en la ecuacin
@ 2 u 1 @u @ 2 u
+ + 2 =0
@r2 r @r @z
se tiene que
1
R 00 (r)Z(z) + R 0 (r)Z(z) + R(r)Z 00 (z) = 0 y dividiendo por R(r)Z(z) esta igualdad
r
se tiene que
R 00 (r) 1 R 0 (r) Z 00 (z) R 00 (r) 1 R 0 (r) Z 00 (z)
+ + = 0 entonces + = =
R(r) r R(r) Z(z) R(r) r R(r) Z(z)
216 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
a) Si =0
entonces A = 0 y as u(r; z) = 0
2
c) Si = < 0,
Ahora
2
Z 00 o;n Z = 0 y as Z(z) = A cosh o;n z + B sinh o;n z y como
cosh o;n a
Z(a) = A cosh o;n a + B sinh o;n a = 0 entonces B = A y as
sinh o;n a
X
1
u(r; 0) = f (r) = b n J0 ( o;n r) sinh ( o;n a) entonces
n=1
Z1 Z1
2
rJ0 ( o;n r)f (r)dr = bn sinh ( o;n a) r [J0 ( o;n r)] dr y de aqu
0 0
4.10. ECUACIN DE LAPLACE EN COORDENADAS POLARES. 217
R1
rJ0 ( o;n r)f (r)dr
0
bn = por lo tanto
Rb 2
sinh ( o;n a) r [J0 ( o;n r)] dr
0
0 1
R1
X1 B rJ0 ( o;n r)f (r)dr C
B 0 C
u(r; z) = B C J0 ( o;n r) sinh ( o;n (a z))
@ R1 2 A
n=1 sinh ( o;n a) r [J0 ( o;n r)] dr
0
es la solucin
@ 2 u 1 @u 1 @2u @2u
+ + + 2 = 0 si
@r2 r @r r2 @ 2 @z
u(b; ; z) = 0, u(r; ; 0) = 0, u(r; ; h) = f (r; ); u(r; 0; z) = 0; u(r; ; z) = 0
Como
u(r; z) = R(r)Z(z) ( ); entonces
@2u 00 @u 0 @2u 00 @2u
= R (r)Z(z) ( ); = R (r)Z(z) ( ); = R(r)Z(z) = R(r)Z 00 (z) ( )
@r2 @r @ 2 @z 2
y reemplazando en la ecuacin
@ 2 u 1 @u 1 @2u @2u
+ + + 2 =0
@r2 r @r r2 @ 2 @z
obtenemos
1 1 00
R 00 (r)Z(z) + R 0 (r)Z(z) +R(r)Z 00 (z) + 2 RZ = 0 y dividiendo por R(r)Z(z) ( ) se tiene que
r r
00 00
R 00 (r) 1 R 0 (r) Z 00 (z) 1 r2 R 00 (r) R 0 (r) r2 Z 00 (z)
+ + + 2 = 0 entonces +r + = =
R(r) r R(r) Z(z) r R(r) R(r) Z(z)
luego hay que solucionar
I)
00
+ = 0 con (0) = 0; ( ) = 0
a) Si = 0; 00 = 0; luego = A + B, y como (0) = B = 0, entonces =A ,y
como ( ) = A = 0, entonces =0
218 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
2 2
b)Si < 0; = entonces 00 + = 00 = 0 por tanto = Ae + Be ; y
aplicando las condiciones iniciales se concluye que = 0
c) Si > 0; = 2 ; entonces 00 + = 00 + 2 = 0; por tanto = A cos +B sin ;
y como (0) = A = 0; se tiene = B sin ; y como ( ) = B sin = 0; se concluye
sin = 0; luego = n ; y as = n; por lo tanto = B sin n
II)
r2 R 00 (r) R 0 (r) r2 Z 00 (z)
+r + = n2 , con R(b) = 0
R(r) R(r) Z(z)
entonces
R 00 (r) 1 R 0 (r) Z 00 (z) n2
+ + = 2
R(r) r R(r) Z(z) r
as
R 00 (r) 1 R 0 (r) n2 Z 00 (z)
+ = =p
R(r) r R(r) r2 Z(z)
entonces
luego
a) Si p = 0, entonces
y as
m(m 1) + m n2 = m2 n2 = 0; por tanto m = n y as
n n n n
R(r) = Ar + Br = Ar como R(b) = Ab = 0; entonces A = 0 y as R(r) = 0
2
b) Si p = < 0,
r2 R 00 (r) + rR 0 (r) + 2 2
r n2 R = r2 R 00 (r) + rR 0 (r) + ((ir )2 n2 )R = 0
entonces A = 0 y as u(r; z) = 0
2
c) Si p = > 0,
r2 R 00 (r) + rR 0 (r) + ( 2 r2 n2 )R = 0
cuya solucin es R(r) = AJn ( r) + BYn ( r) = AJn ( r) y como
4.10. ECUACIN DE LAPLACE EN COORDENADAS POLARES. 219
r n;m
R(b) = AJn ( b) = 0 entonces Jn ( b) = 0 por tanto n;m = b y as R(r) = AJn ( )
b
III) Ahora
2
00 n;m n;m n;m
Z Z = 0 y as Z(z) = A cosh z + B sinh z y como
b2 b b
Z(0) = A = 0 entonces
n;m
Z(z) = B sinh z por lo tanto
b
X
1 X
1
n;m n;m
u(r; ; z) = anm sin n Jn ( r) sinh z y as
n=1 m=1
b b
X
1 X
1
n;m n;m
u(r; ; h) = sin n anm Jn ( r) sinh h = f (r, ) entonces
n=1 m=1
b b
X
1 Z
n;m n;m 2
anm Jn ( r) sinh h = f (r; ) sin n d
m=1
b b
0
y as
0 1
Zb Zb Z
n;m n;m n;m 2
anm sinh h rJn2 ( r)dr = @ rJn ( r) f (r; ) sin n d A dr y as
b b b
0 0 0
Rb R
rJn ( n;m
b
r) 2 f (r; ) sin n d dr
0 0
anm =
n;m
Rb n;m
sinh b
h rJn2 ( b
r)dr
0
luego
Rb R
X
1 X
1 rJn ( n;m
b
r) 2 f (r; ) sin n d dr
0 0 n;m n;m
u(r; ; z) = sin n Jn ( r) sinh z
n=1 m=1 n;m
Rb n;m
b b
sinh b
h rJn2 ( b
r)dr
0
es la solucin
220 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
Solucionaremos la ecuacin
@ 2 u 2 @u 1 @2u 1 @u 1 @2u
+ + + cot ' + =0
@r2 r @r r2 @'2 r2 @' r2 sin2 ' @ 2
@2u
En efecto : Como La temperatura es independiente de , = 0 luego hay que solucionar
@ 2
@ 2 u 2 @u 1 @2u 1 @u
2
+ + 2 2 + 2 cot ' = 0, si u(1; ') = f (')
@r r @r r @' r @'
y as
u(r; ') = R(r)A(')
derivando y reemplazando en la ecuacin se tiene
2 1 cot '
R00 A + R0 A + 2 A00 R + 2 A0 R = 0 y dividiendo por R(r)A('), se tiene
r r r
R00 2 R0 1 A00 1 A0
+ + 2 + 2 cot ' = 0 y separando variables tenemos
R rR r A r A
2 00 2 0
r R 2r R A00 A0
+ = + cot ' =
R r R A A
luego
A00 A0 r2 R00 2rR0
+ cot ' = y + = y de la primera ecuacin se tiene
A A R R
A00 A0
+ cot ' = sisi A00 + cot 'A0 + A = 0 el cual para solucionarla
A A
hacemos el cambio de variable x = cos'; luego
@A @A @x @A
= : = ( sin ')
@' @x @' @x
@2A @ @A @ @A @A
= sin ' = sin ' + cos '
@'2 @' @x @' @x @x
@ @A @A @2A 2 @A
= sin ': sin ' + cos ' = sin ' cos '
@x @x @x @x2 @x
4.10. ECUACIN DE LAPLACE EN COORDENADAS POLARES. 221
luego
@2A 2 @A @A
A00 + cot 'A0 + A = sin ' cos ' + cot ' ( sin ') + A = 0
@x2 @x @x
y simplicando
@2A @A @2A @A
(1 cos2 ') 2 cos ' + A = (1 x2 ) 2x + A=0
@x2 @x @x2 @x
que tiene soluciones acotada en el intervalo ( 1; 1) ; solo si elegimos = n(n + 1) con
funciones propias a Pn (x), luego A(x) = CPn (x) y con el valor propio = n(n + 1)
solucionaremos la ecuacin
r2 R00 + 2rR0 n(n + 1)R = 0 que es una ecuacin de cauchy cuya solucin es
X
1
u(1; ') = An Pn (cos ') = f (')
n=0
entonces
Z Z
sin 'Pn (cos ')f (')d' = An sin 'Pn2 (cos ')d'
0 0
de donde
R
sin 'Pn (cos ')f (')d'
0
An = R
sin 'Pn2 (cos ')d'
0
y as
0R 1
X
1 X
1 sin 'Pn (cos ')f (')d'
B0 C n
u(r; ') = An rn Pn (cos ') = B C r Pn (cos ')
@ R A
n=0 n=0 sin 'Pn2 (cos ')d'
0
222 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
Ejemplo 4.52 Hallar la temperatura u(x,y,t) de la lmina 0 < x < L, 0 < y < M , si
la temperatura inicial u(x; y; 0) = f (x; y) en toda ella, y si los bordes se mantienen a una
temperatura de cero. Solucionaremos para ello la ecuacin
@2u @2u @u
+ = si
@x2 @y 2 @t
u(0; y; t) = 0; u(L; y; t) = 0; u(x; 0; t) = 0, u(x; M; t) = 0; u(x; y; 0) = f (x; y)
En efecto
u(x; y; t) = X(x)Y (y)T (t)
y as
X 00 (x)Y (y)T (t) + X(x)Y 00 (y)T (t) = X(x)Y (y)T 0 (t)
y dividiendo por XYT, se tiene
X 00 Y 00 T0
+ = entonces separando variables tenemos que
X Y T
Y 00 T0 X 00
= =
Y T X
luego se tienen las ecuaciones
I)
X 00 + X = 0 con X(0) = 0; X(L) = 0
cuya solucin es
n x 2 n2 2
X(x) = B sin para = = 2
L L
II)
Y 00 T0 n2 2 Y 00 T 0 n2 2
= 2 luego = + 2 = p entonces
Y T L Y T L
00
Y pY = 0 Y (0) = 0; Y (M ) = 0
cuya solucin es
m y 2 m2 2
Y (y) = C sin si p = =
M M2
III)
T0 n2 2 m2 2 n2 2 m2 2
= ; es decir, T 0 + + T =0
T L2 M 2 L2 M2
cuya solucin es
n2 2 2 2
+m 2 t
T (t) = Ke L2 M
4.10. ECUACIN DE LAPLACE EN COORDENADAS POLARES. 223
por lo tanto
X
1 X
1
n x m y n2 2 2 2
+m 2 t
u(x; y; t) = anm sin sin e L2 M
n=1 m=1
L M
y como
X
1 X
1
n x m y
u(x; y; 0) = anm sin sin = f (x; y)
n=1 m=1
L M
luego
ZM ZL
2 2 n x m y
anm = f (x; y) sin sin dxdy
ML L M
0 0
n=1 m=1
M L L M L M
0 0
La serie doble de Fourier para una funcin f(x,y) denida en una regin rectangular
viene dada por
X
1
m x X n y XX
1
m x n y
1 1
f (x; y) = aoo + amo cos + aon cos + amn cos cos
m=1
L n=1
M m=1 n=1
L M
donde
ZM ZL
1
aoo = f (x; y)dxdy
ML
0 0
ZM ZL
2 m x
amo = f (x; y) cos dxdy
ML L
0 0
ZM ZL
2 n y
aon = f (x; y) cos dxdy
ML M
0 0
ZM ZL
4 m x n y
amn = f (x; y) cos cos dxdy
ML L M
0 0
Ejercicio 6
224 CAPTULO 4. ECUACIONES DERIVADAS PARCIALES
Solucionar la ecuacin
@2u @2u @u @u
2
+ 2 = 0 si (x; 0) = 0 (x; M ) = 0 u(L; y) = 0 u(0; y) = f (y)
@x @y @y @y
Solucionar la ecuacin
@2u @2u @u
2
+ 2 = 0 si (x; 0) = 0 u(x; M ) = 0 u(L; y) = 0 u(0; y) = f (y)
@x @y @y
Solucionar la ecuacin
@2u @2u @u
+ = 0 si u(x; 0) = 0 (x; M ) = 0 u(L; y) = 0 u(0; y) = f (y)
@x2 @y 2 @y
Solucionar la ecuacin
@2u @2u @u @u @u
2
+ 2 = 0 si (x; 0) = 0 (x; M ) = 0 (L; y) = 0 u(0; y) = f (y)
@x @y @y @y @x
Solucionar la ecuacin
@2u @2u
+ =0 si u(0; y) = 0 u(L; y) = 0 u(x; M ) = f (x) u(x; 0) = 0
@x2 @y 2
Solucionar la ecuacin
@2u @2u
+ =0 si u(0; y) = f (y) u(L; y) = 0 u(x; M ) = 0 u(x; 0) = 0
@x2 @y 2
Solucionar la ecuacin
@2u @2u
+ =0 si u(x; 0) = 0 u(L; y) = f (y) u(x; M ) = 0 u(0; y) = 0
@x2 @y 2
Solucionar la ecuacin
@2u @2u @u
+ = 0 si u(0; y) = 0 u(L; y) = f (y) u(x; M ) = 0 (x; 0) = 0
@x2 @y 2 @y
Solucionar la ecuacin
@2u @2u @u
+ = 0 si u(x; 0) = f (x) u(L; y) = 0 u(x; M ) = 0 (0; y) = 0
@x2 @y 2 @x
Bibliografa
[2] .
[3] Popov, E., P., Mechanics of Materials, Prentice Hall, Englewood Clis, N. J., 1976.
[4] Soderstrand, M., A., Mitra,S., K., Sensitivity Analysis of ThirdOrder Filters, In-
ternational Journal of Electronics, v. 30, No. 3, pp 265272. 1971.
[5] Streeter, V., L., Wylie, E., B., Fluid Mechanics, McGrawHill, N. Y., 1985.
[6] Vrbancis, W., P., The operational amplier summera practical design procedure.
Wescon Conference Record, Session 2, 1982, pp.14.
225