4

Transformada de Fourier
La transformada de (x) absolutamente integrable es

(k) F( )(k)
1
p
2
_

(x) e
ikx
dx .
Si 2C
1
(R) y absolutamente integrable, (x) =
1
p
2
_

(k) e
ikx
dk x2R.
Si ,
0
,
00
2C(R) y absolutamente integrables: F(
0
) = ikF( ) , F(
00
) = k
2
F( ) .
F
1
_

(k) e
iok
_
= (xo) . Si h(x) =
_
1, x2[o, b]
0 en el resto
, F(h) =
e
ikb
e
iko
p
2 ik
.
F
_
e
ox
2_
=
1
p
2o
e
k
2
/ 4o
.
F
1
_
e
ok
2_
=
1
p
2o
e
x
2
/ 4o
.
Si ( g)(x) =
1
p
2
_

(xs) g(s) ds , es g=g , y es F( g) = F( )F(g) .

La solucin nica de

ut uxx = 0, x2R, t >0

u(x, 0) = (x) , u acotada
es: u(x, t) =
1
2
p
t
_

(s) e
(xs)
2
/ 4t
ds .
Separacin de variables para el calor
Tienen solucin nica

ut kuxx =F(x, t), x2(0, L), t >0

u(x, 0) = (x), c.contorno fsicas
.
u(0, t) =h0(t)
u(L, t) =hL(t)
;
ux(0, t) =h0(t)
ux(L, t) =hL(t)
;
u(0, t)oux(0, t) =h0(t)
u(L, t)+bux(L, t) =hL(t)
, o, b>0
[temperaturas
o ujo dados o
radiacin libre]
ut kuxx =0, u=XT !
X
00
+AX=0, T
0
+AkT =0
ut k[uxx+uyy] = 0
u=XYT
!
X
00
+AX=0, Y
00
+Y =0, T
0
+[A+]T =0
Si las condiciones de contorno no son homognas hay que hacer un cambio de variable.
Para problemas no homogneos se prueban desarrollos en autofunciones del homogneo.
Series de Fourier dobles
(x, y) 2C
1
_
[o, b][c, d]
_
. Xn(x) , x2[o, b] e Ym(y) , y2[c, d] autofunciones de
problemas con pesos respectivos r(x) y s(y) . Para cada (x, y) 2(o, b)(c, d) es:
(x, y) =

m=1

n=1
cnmXnYm , cnm =
1
hXn,Xni
1
hYm,Ymi
_
b
o
_
d
c
(x, y) XnYmr s dydx.
Separacin de variables para Laplace

u=F en D acotado
u= en D
tiene solucin nica. [Si F0 mximo y mnimo se dan en D].
Tiene unicidad salvo constante

u=F en D
un = en D
si se cumple
__
D
F dxdy =
_
D
ds .
uxx+uyy =0, u=XT ! X
00
+AX=0, Y
00
AY =0.
urr +
1
r
ur +
1
r
2
u00 =0, u=R !
00
+A=0, r
2
R
00
+rR
0
AR=0.
En un crculo, n =
_
cos n0, senn0
_
, Rn ={r
n
} (interior), Rn ={r
n
} (exterior), n=0, 1, . . .
Si G(r,0;o,) =
1
4
ln

o
2
+r
2
2ro cos(0)

1
4
ln

R
2
+
r
2
o
2
R
2
2ro cos(0)

, la solucin de

u=F(r, 0) , r <R
u(R, 0) = (0)
es u(r, 0) =
_
R
0
_
2
0
o G(r, 0; o, ) F(o, ) ddo +
R
2
r
2
2
_
2
0
() d
R
2
2Rr cos(0)+r
2
.
En el espacio:
urr +
2ur
r
+
u00
r
2
+
cos 0 u0
sen0 r
2
+
u
sen
2
0 r
2
=0,
u=R !
r
2
R
00
+2rR
0
AR=0 ,
00
+=0,
_
sen0
0
_
0
+

Asen0

sen0

=0
s=cos 0
!
d
ds

[1s
2
]
d
ds

A

1s
2

=0
(con =0 si no
depende de )
P
m
n
(s) =(1s
2
)
m/ 2 d
m
dx
m Pn(s) satisfacen (1s
2
)
00
2s
0
+
_
n(n+1)
m
2
1s
2
_
=0 .
En esfera con simetra, n =
_
Pn(cos 0)
_
, Rn ={r
n
} (interior), Rn ={r
n1
} (exterior), n=0, 1, . . .
1
Algunas EDOs de primer orden
dy
dx
= (x, y) resolubles
[Si , y son continuas en un entorno de (xo, yo) existe solucin nica con y(xo) =yo ].
Separables: y
0
=
p(x)
q(y)
. y
0
=
_
y
x
_
, z=
y
x
. y
0
= (ox+by) , z=ox+by .
Lineales: y
0
= o(x)y+ (x) ! y = Ce
_
o(x)dx
+ e
_
o(x)dx
_
e

_
o(x)dx
(x)dx [ sgh+yp ].
Exactas: M(x, y)+N(x, y) y
0
= 0 con M=Ux , N=Uy

My Nx

! U(x, y) = C .
EDPs de primer orden
A(x, y) uy +B(x, y) ux = H(x, y) u +F(x, y)
dy
dx
=
A(x, y)
B(x, y)
!
caractersticas
(x, y) = K

= (x, y)
q = y
! Auq = Hu +F ;

= (x, y)
q = x
! Buq = Hu +F .
Hay una nica solucin local u(x, y) con valores dados sobre una curva G=
_
g(s), h(s)
_
del plano xy si G no es tangente a las caractersticas , (s) g
0
A(g, h)h
0
B(g, h) 6=0.
Clasicacin y formas cannicas de EDPs de 2
o
orden
Auyy+Buxy+Cuxx+Duy+Eux+Hu = F

=px+qy
q=rx+sy
!
uyy = q
2
u + 2qsuq + s
2
uqq
uxy = pqu +(ps+qr)uq +rsuqq
uxx = p
2
u + 2pruq + r
2
uqq
Hiperblicas ( B
2
4AC>0)
_
= x
B
p
B
2
4AC
2A
y
q = x
B+
p
B
2
4AC
2A
y
! uq + = F

Parablicas ( B
2
4AC=0)

= x
B
2A
y
q = y
! uqq + = F

Elpticas ( B
2
4AC<0)
_
=
2AxBy
p
4ACB
2
q = y
! u+uqq+ = F

[Cambios del tipo u= e

py
e
qx
v suprimen derivadas de menor orden].
Formas cannicas resolubles: uqq +E

uq +H

u = F

, uq +D

u = F

.
Ecuacin de ondas
La solucin nica de

utt c
2
uxx = F(x, t) , x, t 2R
u(x, 0) = (x) , ut (x, 0) =g(x)
es:
u(x, t) =
1
2

(x+ct) + (xct)

+
1
2c
_ x+ct
xct
g(s) ds +
1
2c
_ t
0
_ x+c[t1]
xc[t1]
F(s, 1) ds d1
Si F=0,
1
2
(x)
1
2c
_
x
0
g viaja hacia la derecha y
1
2
(x) +
1
2c
_
x
0
g hacia la izquierda.
_
utt c
2
uxx =F, x0, t 2R
u(x, 0) = , ut (x, 0) =g
u(0, t) =0
,
_
utt c
2
uxx =F, x2[0,L], t 2R
u(x, 0) = , ut (x, 0) =g
u(0, t) =u(L, t) =0
!

utt c
2
uxx =F

(x, t) , x, t 2R
u(x,0) =

(x), ut (x,0) =g

(x)

, g

, F

extensiones impares de (x), g(x), F(x, t) respecto a x=0 a x=0 y x=L .

Si las condiciones de contorno no son homognas se necesita una V que las cumpla.
En particular, V(x, t) =

1
x
L

h0(t)+
x
L
hL(t) satisface V(0, t) =h0(t) , V(L, t) =hL(t) .
_
utt c
2

urr +
2
r
ur

=0, r 0, t 2R
u(r, 0) = (r) , ut (r, 0) = g(r)
V=ur
!
_
Vtt c
2
Vrr = 0, r 0, t 2R
V(r, 0) =r (r), Vt (r, 0) =rg(r), V(0, t) =0
Separando variables:
utt c
2
uxx =0, u=XT !
X
00
+AX=0, T
00
+Ac
2
T =0
utt

urr +
n
r
ur

=0, u=RT !
rR
00
+nR
0
+ArR=0, T
00
+AT =0
2
EDOs lineales de segundo orden
[n] y
00
+o(x)y
0
+b(x)y= (x)
o , b , continuas en l .
|W|(x) =
_
_
_
_
y1 y2
y
0
1
y
0
2
_
_
_
_
.
Si xo 2l , tiene una sola solucin (denida en todo l ) con y(xo) =yo , y
0
(xo) =y
0
o
.
Si y1 , y2 son soluciones de la homognea ( 0) con wronskiano |W|(s) 6=0 para
algn s2l , la solucin general de la homognea es: y=c1y1+c2y2 .
Si yp es una solucin de [n], la solucin general de [n] es: y=c1y1+c2y2+yp .
Una solucin particular de [n] es: yp = y2
_
y1
|W|
dx y1
_
y2
|W|
dx [fvc].
Si b(x) 0, y
0
=V lleva [n] a lineal de primer orden en V .
y1 solucin de la homognea ) y2 =y1
_
e

_
odx
y
2
1
dx solucin de la homognea.
Coecientes constantes:
y
00
+oy
0
+by=0

2
+o+b=0
1 6=2 reales !y = c1e
1x
+c2e
2x
doble (real) !y = (c1+c2x) e
x
=piq !y = (c1 cos qx+c2 senqx) e
px
Mtodo de coecientes indeterminados para y
00
+oy
0
+by = (x) :
Si (x) = e
x
pm(x) , pm polinomio de grado m, y no es autovalor hay solucin
particular yp =e
x
Pm(x) . Si es autovalor de multiplicidad r , hay yp =x
r
e
x
Pm(x) .
Si (x) =e
x

pj (x) cos qx+qk(x) senqx

, pj , qk de grados j , k , y piq no es autova-

lor hay yp =e
px

Pm(x) cos qx+Qm(x) senqx

con Pm y Qm de grado m=mx{j, k} .

Si piq es autovalor hay yp =xe
px

Pm(x) cos qx+Qm(x) senqx

.
Soluciones de EDOs por medio de series
e
x
=

n=0
x
n
n!
, senx=

n=0
(1)
n
x
2n+1
(2n+1)!
, cos x=

n=0
(1)
n
x
2n
(2n)!
, shx=

n=0
x
2n+1
(2n+1)!
, chx=

n=0
x
2n
(2n)!
x.
ln(1+x) =

n=0
(1)
n
x
n+1
n+1
, rctnx=

n=0
(1)
n
x
2n+1
2n+1
, [1+x]
p
=1+px+
p(p1)
2!
x
2
+ , |x| <1.
Puntos regulares:
[e] y
00
+o(x)y
0
+b(x)y=0
o, b analticas en (R, R)
La solucin de [e] es y=

n=0
ckx
k
=c0y1+c1y2 , c0 , c1 arbitrarios
e y1 , y2 soluciones que convergen, al menos, en (R, R) .
Euler:
x
2
y
00
+oxy
0
+by = 0
(1)+o+b=0
1 6=2 reales !y = c1x
1
+c2x
2
doble (real) !y = [c1+c2 lnx] x

=pqi !y =

c1 cos(qlnx)+c2 sen(qlnx)

x
p
Una yp de x
2
y
00
+oxy
0
+by = h(x) se obtiene de la [fvc]
_
con (x) =h(x)/ x
2
_
,
o utilizando que con x=e
s
se convierte en y
00
(s)+(o1)y
0
(s)+by(s) = h
_
e
s
_
.
Puntos singulares
regulares:
[e

] x
2
y
00
+xo

(x)y
0
+b

(x)y=0
o

, b

analticas en (R, R)
q(r) =r(r 1)+o

0
r +b

0
r1 r2 races reales de q(r)
Hay solucin y1 de [e*] de la forma y1 =x
r1

n=0
ckx
k
, c0 6=0.
La y2 linealmente independiente es:
a] Si r1r2 6=0, 1, 2, : y2 = x
r2

n=0
bkx
k
, b0 6=0.
b] Si r1 =r2 : y2 =x
r1+1

n=0
bkx
k
+y1 lnx .
c] Si r1r2 2N: y2 = x
r2

n=0
bkx
k
+dy1 lnx, b0 6=0, d2R.
Legendre: (1x
2
)y
00
2xy
0
+p(p+1)y=0 tiene soluciones polinmicas si p=n2N:
P0 =1, P1 =x, P2 =
3
2
x
2

1
2
, P3 =
5
2
x
3

3
2
x, . . .
_
1
1
PnPmdx=0, m6=n;
_
1
1
P
2
n
dx=
2
2n+1
.
Bessel: x
2
y
00
+xy
0
+[x
2
p
2
]y=0 ! Jp(x)

x
2

p

m=0
(1)
m
[x/ 2]
2m
m! (p+m+1)
, (s) =
_

0
e
x
x
s1
dx
Jp acotadas en x=0, con innitos ceros [los de J0 : 2.4.., 5.5.., ... ]. Las Kp no acotadas.
Si p=
1
2
,
3
2
, . . . , las soluciones son funciones elementales
_
p=
1
2
! y=c1
senx
p
x
+c2
cos x
p
x
_
.
Recurrencia: Jp+1 =
2p
x
Jp Jp1 . Derivadas:

x
p
Jp(x)

0
= x
p
Jp1(x) , J
0
0
(x) =J1 .
Punto del innito: s =
1
t
!
dx
dt
=s
2 dx
ds
;
d
2
x
dt
2
=s
4 d
2
x
ds
2
+2s
3 dx
ds
.
3
Problemas de contorno para EDOs
(Ps)

[py
0
]
0
qy +Ary = 0
oy(o)o
0
y
0
(o) =y(b)+
0
y
0
(b) =0
,
p2C
1
[o, b] , q, r 2C[o, b] , p, r >0 en [o, b] ,
|o|+|o
0
| , ||+|
0
| 6= 0.
Los An !. Las {yn} son espacio vectorial de dimensin 1 y cada yn tiene exactamente
n1 ceros en (o, b) . hyn, ymi
_
b
o
r yn ym dx = 0 , si yn, ym estn asociadas a An 6=Am .
Si oo
0
0 ,
0
0 y q(x) 0 en [o, b] , todos los An 0.
Si es C
1
a trozos en [o, b] la serie de Fourier

n=1
h ,yni
hyn,yni
yn(x) converge hacia (x) en los
x2(o, b) en que es continua y hacia
1
2

(x

)+ (x
+
)

en los x en que es discontinua.

y
00
+Ay = 0 . Problemas separados conocidos:
c.contorno y(0) =y(L) =0 y
0
(0) =y
0
(L) =0 y(0) =y
0
(L) =0 y
0
(0) =y(L) =0
An
n
2

2
L
2
, n=1, 2, ...
n
2

2
L
2
, n=0, 1, ...
[2n1]
2

2
2
2
L
2
, n=1, 2, ...
[2n1]
2

2
2
2
L
2
, n=1, 2, ...
yn , hyn, yni
_
sen
nx
L
_
,
L
2
_
cos
nx
L
_
, L
(n=0)

L
2
_
sen
[2n1]x
2L
_
,
L
2
_
cos
[2n1]x
2L
_
,
L
2
Condiciones peridicas y(L) =y(L) , y
0
(L) =y
0
(L) ! yn =
_
cos
nx
L
, sen
nx
L
_
, n=0, 1, ....
La serie en senos y cosenos en [L, L]: (x) =
oo
2
+

n=1

on cos
nx
L
+bn sen
nx
L

, con
on =
1
L
_ L
L
(x) cos
nx
L
dx , n=0, 1, 2, ... , bn =
1
L
_ L
L
(x) sen
nx
L
dx , n=1, 2, ... ,
converge hacia (x) en los x en que su extensin 2L-peridica es continua (y en los
puntos de discontinuidad hacia
1
2

(x

) + (x
+
)

). Adems converge uniformemente

en todo intervalo cerrado que no contenga discontinuidades de la extendida. La
serie en senos (cosenos) converge hacia la extensin impar (par) y 2L-peridica de .
Problemas singulares conocidos:

xy
00
+2y
0
+Axy = 0
y acotada en x=0, y(1) =0

xy
00
+y
0
+Axy = 0
y acotada en x=0, y(1) =0
_
(1x
2
)y
0

0
+Ay = 0
y acotada en x=1
u=xy !u
00
+Au=0,
_
sennx
x
_
s=
p
Ax !
_
J0(vnx)
_
, J0(vn) =0
_
Pn(x)
_
de Legendre
(Pf)

p(x)y
0

0
+g(x)y = (x)
oy(o)o
0
y
0
(o) =y(b)+
0
y
0
(b) =0
tiene 1 solucin si y slo si el homogneo
(Ph) tiene slo la solucin y0. Si (Ph) tiene soluciones no triviales {yh}, (Pf) tiene
innitas soluciones o ninguna segn sea =0 6=0 la integral:
_
b
o
(x) yh(x) dx .
Para escribir y
00
+o(x)y
0
+b(x)y= (x) en forma autoadjunta, se multiplica por e
_
o
.
Algunas propiedades de funciones trigonomtricas e hiperblicas:
cos x=sen
_
x+

2
_
, 1+tn
2
x=
1
cos
2
x
sen(o b) = senocos b cos osenb
cos (o b) = cos ocos b senosenb
seno senb =
1
2

cos(ob)cos(o+b)

cos o cos b =
1
2

cos(o+b)+cos(ob)

seno cos b =
1
2

sen(o+b)+sen(ob)

sen
2
o =
1
2

cos 2o
2
, cos
2
o =
1
2
+
cos 2o
2
, sen
3
o =
3seno
4

sen3o
4
, cos
3
o =
3cos o
4
+
cos 3o
4
.
sh x ch x th x
1
1
1
shx=
e
x
e
x
2
, chx=
e
x
+e
x
2
, thx=
shx
chx
.
[shx]
0
=chx
[chx]
0
=shx
, [thx]
0
=1th
2
x=
1
ch
2
x
.
sh(xy) = shxchy chxshy , ch(xy) = chxchy shxshy .