Professional Documents
Culture Documents
!
@u
@u
@mu
x1 ; : : : ; xn ; u;
;:::;
; : : : ; k1
;::: = 0
@x1
@xn
@x1
@xknn
(4.1)
@xknn
= ux1 : : : x1 :::xn : : : xn
| {z } | {z }
k1
kn
n = 2 ) (x1 ; x2 ) =
8
< (x; y)
:
n = x ) (x1 ; x2 ; x3 ) =
(t; x)
8
< (x; y; z)
:
(t; x; y)
Denicin 4.3 El orden de la EDP est indicado por la derivada de mayor orden dentro de la
ecuacin.
29
30
Expresin
uxx + uyy = 0
2u
ut
xx = 0
uxx uyy = 0
utt + 2 uxxxx = 0
ut i uxx = 0
uxx + uyy + 2 u = 0
ut + uux + uxxx = 0
uxx + xuyy = 0
Orden
2
2
2
4
2
2
3
2
4.1.1.
Integracin directa
Algunas EDP pueden resolverse mediante integracin directa, como en los ejemplos siguientes:
Ejemplo 4.2 Resuelva
ux = x + y
Solucin: Obviamente esta EDP es de orden 1. Buscamos una funcin u que sea de clase C 1 .
Integramos respecto a x
Z
Z
x2
u = ux dx = (x + y) dx =
+ xy + (y)
2
La funcin (y) es la constante respecto a x que aparece al integrar de forma indenida la funcin
x + y, hay que permitir que sea una funcin de la otra variable y, ya que aunque sabemos que es
constante respecto a x, no tiene que ser constante respecto a y y obviamente se cumple
@
( (y)) = 0
@x
Ejemplo 4.3 Resuelva
uxy = 0
c SPH
C2.
31
Solucin: Obviamente la EDP anterior es de orden 2. Buscamos una funcin u que sea de clase
Integramos en primer lugar respecto a y
Z
Z
ux = uxy dy = 0dy = 0 (x)
ya que cualquier funcin que slo dependa de x es constante respecto a y. A continuacin integramos
respecto de la otra variable c
Z
Z
u = ux dx =
0 (x) dx = 1 (x) + 2 (y)
donde 1 (x) es una primitiva cualquiera de 0 (x). Por tanto la solucin de la EDP viene dada por
cualquier funcin u de la forma
u (x; y) = 1 (x) + 2 (y)
con 1 y 2 funciones arbirtrarias de una variable que sean derivables dos veces. Por ejemplo, seran
solucin de la EDP las siguientes funciones:
u (x; y) = x + y
u (x; y) = ex + sen (y)
u (x; y) = x2 + yey
Ejemplo 4.4 Resuelva
uxx + uyy = 0
Solucin: Si recordamos la teora de variable compleja y las funciones holomorfas que all se
utilizaban, recordaremos que las soluciones de esta EDP son de la forma
u (x; y) = Re (f (z))
o
u (x; y) = Im (f (z))
donde f (z) = f (x + iy) es cualquier funcin holomorfa (derivable compleja). Por ejemplo tendremos
como soluciones
u (x; y) = x2
y2
u (x; y) = 2xy
u (x; y) = ex cos (y)
Cambio de variable
Otras veces una EDP pueden resolverse fcilmente mediante un cambio de variables, como en
el siguiente ejemplo.
Ejemplo 4.5 Resuelva la ecuacin
ux
c SPH
uy = 0
32
= x+y )
= x
=1
=1
=1
= 1
y)
Por tanto
ux = u
+u
=u +u
uy = u
+u
=u
y sustituyendo en la EDP
ux
uy = 0 , (u + u )
(u
u ) = 2u = 0
u d =
( )
(x + y)
@nu
=
ux xy
y
| {z }| {z } @xk @y n
k
33
k)
(y)
n k
y sustituyendo en la EDP en algunas ocasiones es posibleyreducir de este modo una EDP a un sistema
de EDO con dos ecuaciones.
Ejemplo 4.6 Resuelva la siguiente EDP por el mtodo de separacin de variables
uxx = 4uy
Solucin: Realizando el cambio indicado y sustiyendo en la ecuacin anterior obtenemos
F 00 (x) G (y) = 4F (x) G0 (y)
Agrupando los trminos en x y y
F 00 (x)
4G0 (y)
=
F (x)
G (y)
Como el primer miembro es una funcin que slo depende de x y el segundo miembro es una funcin
que slo depende de y, la nica forma de que se cumpla la igualdad es que ambos miembros sean
iguales a una constante que llamamos 2 R, es decir
F 00 (x)
4G0 (y)
=
=
F (x)
G (y)
El parmetro
narias
) F 00 (x)
F (x) = 0
4G0 (y)
G (y)
) 4G0 (y)
G (y) = 0
=0
e integrando
F 00 (x)
F (x) = 0 ) F 00 (x) = 0
4G0 (y)
G (y) = 0 ) G0 (y) = 0
9
F (x) = c1 x + c2 =
G (y) = c3
34
2. Caso II:
Como
>0
F (x) = 0 ) F 00 (x)
4G0 (y)
F (x) = 0
G (y) = 0
La primera de estas ecuaciones es de segundo orden y su solucin, utilizando el polinomio caracterstico, es de la forma
F (x) = c1 e x + c2 e x
La segunda es de primer orden y su solucin es
2 y=4
G (y) = c3 e
La funcin u (x; y) es de la forma
u (x; y) = F (x) G (y) = c1 e
3. Caso III:
+ c2 e
c3 e
2 y=4
= A2 e
x+
2 y=4
+ B2 e
x+
2 y=4
<0
F (x) = 0 ) F 00 (x) +
4G0 (y)
F (x) = 0
G (y) = 0
2 y=4
2 y=4
= A3 e
2 y=4
cos ( x)+B3 e
2 y=4
sen ( x)
En los ejemplos anteriores podemos comprobar que similarmente a lo que ocurre con las ecuaciones
diferenciales ordinarias (EDO) para las que la solucin general implicaba la existencia de constantes
arbitrarias, en este caso las soluciones de una EDP suele implicar a funciones arbitrarias. En general
al resolver una EDP podemos obtener una cantidad innita de soluciones que dependern de esas
funciones arbitrarias. Para poder obtener una solucin nica a problemas de EDP y tal y como ocurre
con las EDO, estos problemas llevarn asociadas unas condiciones o restricciones que pueden ser de
dos tipos: condiciones iniciales y condiciones de contorno. Veamos esta diferencia con un ejemplo.
c SPH
35
Ejemplo 4.7 La siguiente EDP modela la variacin de temperatura con el tiempo en una varilla de
longitud 1. Si u (t; x) es la temperatura de la varilla en el instante t en la posicin x de la varilla,
entonces, podemos plantear el problema como
9
t > 0; x 2 (0; 1) >
>
>
>
=
u (0; x) = f (x)
x 2 [0; 1]
>
>
>
>
;
u (t; 0) = u (t; 1) = 0
t 0
ut = uxx
4.2.
4.2.1.
Clasicacin de EDP
Aij uxi xj +
i=1 j=1
n
X
Bi uxi + F u = G
i=1
donde
Aij
Aij (x1 ; : : : ; xn )
Bi
Bi (x1 ; : : : ; xn )
F (x1 ; : : : ; xn )
G (x1 ; : : : ; xn )
son funciones de las variables independientes y supondremos adems que Aij = Aji .
Si las funciones Aij , Bi , y F son constantes, la EDP ser lineal con coecientes constantes.
Como en el caso de las EDO si la funcin G es idnticamente nula
G
36
uyy = xy
4.2.2.
(4.2)
, B 2 (x0 ; y0 )
Parablica , B 2 (x0 ; y0 )
4A (x0 ; y0 ) C (x0 ; y0 ) = 0
Elptica , B 2 (x0 ; y0 )
Hiperblica
Si las desiguladades son ciertas para todos los puntos de (x; y) 2 , entonces la EDP ser Hiperblica, Parablica o Elptica, respectivamente, segn el caso.
Como caso particular, si la ecuacin tiene coecientes constantes la clasicacin de la EDP no
depende del punto (x0 ; y0 ), de esta forma para la EDP
Auxx + Buxy + Cuyy + Dux + Euy + F u = G (x; y)
(4.3)
4AC > 0
Parablica , B 2
4AC = 0
Elptica , B 2
4AC < 0
Hiperblica
c SPH
37
La clasicacin de las EDP de 2o orden lineales est basada en la posibilidad de reducir la ecuacin
general mediante un cambio de coordenadas a una forma cannica o estndar. Una vez en forma
cannica es posible reducir, mediante cambios de coordenadas adecuados, la ecuacin a una del tipo
siguiente
(4.4)
wss
(4.5)
wtt
ws = ' (s; t)
(4.6)
(4.7)
(x; y)
(x; y)
con la condicin de que el Jacobiano asociado al cambio de variable sea distinto de cero, es decir
J=
@( ; )
=
@ (x; y)
6= 0
Con este cambio de variable la funcin u y sus derivadas seran, haciendo uso de la regla de la cadena
c SPH
38
+u
uy = u
+u
du
dx
uxx =
= (u
d x
dx
du
dx
+u
x) x
+u
xx
+ (u
+ 2u
x x
+u
d x
dy
+u
d x
dx
+u
+u
x) x
+u
xx
+u
xy
=
2
x
du
dy
uxy =
+u
2
x
+u
du
dy
xx
+u
+u
d x
dy
xx
=
u
+u
+u
xy
+ u
y x
+u
du
dy
+u
=
u
x y
du
dy
uyy =
+u
x y
+u
d y
dy
x y
+u
xy
+u
xy
d y
dy
+u
=
u
+u
+u
y y
+u
yy
+ u
+u
+u
yy
=
2
y
+ 2u
2
y
+u
yy
+u
yy
y sustituyendo en 4.3
A u
2
x
B u
x y
C u
2
y
D (u
+ 2u
x x
+u
+ 2u
+u
x y
y y
x)
2
x
+u
+
y x
2
y
+u
+E u
+u
xx
+u
+u
+u
x y
yy
+u
+u
xx
+u
yy
xy
+u
xy
+ Fu
= G
agrupando trminos obtenemos la EDP en las variables ( ; )
A u
+B u
+C u
+D u +E u +F u=G
c SPH
2
x
A =A
B = 2A
39
+B
x x
x y
+C
+B
2
y
x y
x y
+C
2
y
+ 2C
y x
y y
C =A
2
x
D =A
xx
+B
xy
+C
yy
+D
+E
E =A
xx
+B
xy
+C
yy
+D
+E
+B
G =G
Es importante notar que en la nueva ecuacin ocurre
4A C = J 2 B 2
(4.8)
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
;
F =F
9
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
=
4AC
A =A
Dividiendo por
+B
x y
+C
2
y
=0
2
y
2
A
Supongamos ahora que
2
x
+B
y +C
2
y
=0,A
+B
+C
(4.9)
de donde
x dx
dy
=
dx
y dy
=0
x
y
dy
dx
+B
dx
dy
dy
dx ,
dy
B
=
dx
e integrando
y=
c SPH
dy
dx
+C =0)A
dy
dx
+C =0
4AC
B2
2A
= constante
4AC
x+C
(4.10)
40
donde C es constante. Las ecuaciones anteriores, llamadas ecuaciones caracterstica, son lneas rectas.
Por tanto el cambio que debemos realizar sera el siguiente
= y
1x
= y
2x
(4.11)
donde
1
B+
B2
2A
4AC
B2
2A
4AC
6=
4AC > 0
y la EDP con este cambio los nuevos coecientes seran, teniendo en cuenta que
races de A 2 B + C y sustituyendo en 4.8
9
A = A 21 B 1 + C = 0
>
>
>
>
>
>
>
>
B = 2A 1 2 B ( 1 + 2 ) + 2C >
>
>
>
>
>
>
>
2
>
C =A 2 B 2+C =0
>
>
>
>
=
D =
D
+
E
1
>
>
>
>
>
>
>
E =
2D + E
>
>
>
>
>
>
>
>
F =F
>
>
>
>
>
>
;
G =G
son las
(4.12)
y la ecuacin se transforma en
B u
+D u +E u +F u=G
c SPH
41
y dividiendo por B
u
= D1 u + E1 u + F1 u + G1
2
x
+B
2
x
x y
+C
2
y
=0)A =B
para obtener
x
A =B
2
x
2
y
+C
x y
+C
2
y
=0
=0
x
y
dx
=
dy
y
x
se obtendra
dx
dx 2
=0
+C
dy
dy
ecuacin de segundo grado que podemos resolver fcilmente
8
dx
>
=0
>
>
< dy
dx
dx
C
B =0)
>
dy
dy
> dx
B
>
:
=
)
dy
C
B
x = c1
x =
El cambio de variable entonces sera
= x)
= x
y nos conducira a la forma cannica
u
8
<
:
B
y + c2
C
=1
=0
=0
=0
xx
xy
=0
8
<
B
y)
:
C
yy
x
=1
B
C
xy
yy
=0
=0
=0
= D1 u + E1 u + F1 u + G1
c SPH
xx
42
= u
+u
=u +u
= u
+u
=u
= u
+u
+u
u
+u
=u
+u
=u
= D1 u + E1 u + F1 u + G1
2. EDP Parablica. Supongamos que la EDP bajo estudio es de tipo parablico, es decir
B2
entonces
4AC = 0
B
2A
xx
xy
yy
xx
xy
yy
=0
=0
=0
=0
=0
=0
donde h; k 2 R son valores arbitrarios elegidos para que el Jacobiano del cambio sea distinto de
0, es decir
@( ; )
1 1
J=
=
=k
1 h 6= 0
k h
@ (x; y)
los nuevos coecientes seran, sustituyendo en 4.8
A
B
C
D
E
F
G
9
>
+B
+C =0 >
=A
>
>
>
>
>
>
>
>
>
B
B
>
= 2A 2A k B 2A h Bk + 2Ch = 0 >
>
>
>
>
>
>
>
>
= Ak 2 Bkh + Ch2
>
>
>
=
BD
>
=
+E
>
>
2A
>
>
>
>
>
>
>
= kD + Eh
>
>
>
>
>
>
>
>
=F
>
>
>
>
>
>
;
=G
B
2A
B
2A
(4.13)
c SPH
43
En este caso vamos a elegir h y k de forma que como hemos comentado J 6= 0, para que el
cambio de variable conserve el tipo de ecuacin.
La ecuacin con este cambio se transforma en
C u
+D u +E u +F u=G
y dividiendo por C
u
= D2 u + E2 u + F2 u + G2
1;
4AC < 0
=y
=y
(a
bi) x
donde
B
a=
2A
p
4AC B 2
b=
2A
y despus el cambio
=
1
2
1
2i
c SPH
ax )
bx )
8
<
:
8
<
:
9
>
>
>
=
(4.15)
>
>
>
;
9
( + ) =
(4.16)
(4.14)
xx
xy
y
x
=1
b
yy
xx
xy
=0
yy
=0
=0
=0
=0
=0
=0
44
= A 2x + B x y + C 2y
= 2A x x + B x y + y x + 2C
= A 2x + B x y + C 2y
= A xx + B xy + C yy + D x + E
= A xx + B xy + C yy + D x + E
=F
=G
y y
y
y
= Aa2 Ba + C
= 2Aab bB
= Ab2
= aD + E
= bD
=F
=G
El trmino B se anula
B = 2Aab
bB = 2A
B
2A
bB = Bb
9
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
;
(4.17)
bB = 0
+A u
+D u +E u +F u=G
+u
= D3 u + E3 u + F3 u + G3
Resumiendo, hemos comprobado que cualquier EDP lineal de orden 2 en dos variables y con
coecientes constantes puede ponerse en forma cannica segn la siguiente tabla
Tipo
Discriminante
Cambio
Si A 6= 0 )
Hiperblica
B2
4AC > 0
8
>
>
<
>
>
:
=y
p
B+ B 2 4AC
2A
=y
Parablica
Elptica
B2
B2
4AC = 0
4AC < 0
8
<
:
8
<
=x
=y
B
2A x
Si A = 0 )
8
<
Forma Cannica
x
u
B 2 4AC
2A
=x
u
= hy
=y
=
= F (u; u ; u )
B
Cx
= F (u; u ; u )
= F (u; u ; u )
kx
B
2A x
+u
= F (u; u ; u )
4AC B 2
x
2A
c SPH
45
Una vez que la EDP est puesta en la forma cannica, en algunos casos posible eliminar las
derivadas primeras mediante cambios del tipo v (x; y) = u (x; y) e kx o v (x; y) = u (x; y) e ky segn
querramos eliminar ux o uy en la ecuacin. Veamos a continuacin un ejemplo de cada uno de los tipos
de EDP.
4AC = 52
4 4 1=9>0
B+
B
B2
p 2A
B2
2A
5+3
=1
8
4AC
5 3
1
=
=
8
4
4AC
1
x + c2
4
= y
= y
c SPH
x)
8
<
:
8
<
x
)
:
4
=1
=
y
1
4
=1
46
A =0
B
C
D
E
F
G
y la EDP sera
3
+ u =2
4
9
u
4
1
= u
3
8
9
9
=
;
= u +u
= u
= u
1
= u
3
1
u
3
8
9
Ahora podemos simplicar la edp eliminando ahora los trminos u y u mediante cambios de tipo
exponencial. En primer lugar eliminaremos el trmino u mediante el cambio
v = ueh
c SPH
47
1
u
3
1
u
3
. Sustituyendo en la ecuacin
8
)u
9
1
1
8
u + u + =0
3
3
9
u
v
2hv e
v
+ h2 ve
v e
+v e
1
v e
3
v e
h
1
3
2h
u
h
+ ve
hve
1
+ v e
3
2h
=0,h=
1
6
v e
1
+ v e
3
1
ve
36
=6
8
=0
9
1
1
+ v
v+
3
36
Eliminaremos ahora el trmino en v mediante un cambio
v
8 =6
e
=0
9
similar
w = vek
Con este cambio tendremos
v = we
v =w e
v =w e
v
v
c SPH
=w e
=w
9
>
>
>
>
>
>
>
>
>
>
>
>
=
kwe
e
2kw e
k
k
+ k 2 we
>
>
>
>
>
>
>
>
>
>
>
>
;
1
8
1
u + u +
3
3
9
= 0,
1
v e
3
= 0,
8
9
1
8
h2 + h +
3
9
= 0
48
w e
2kw e
+ k 2 we
1
w e
3
kwe
1
+ v
3
1
we
16
1
8
v+ e
36
9
=6
= 0,
8
+ e
9
=6
= 0
multiplicamos por ek
w
2kw + k 2 w +
1
(w
3
1
8
w+ e
16
9
kw)
=6 k
=0
y agrupando
w
+w
2k +
1
3
+ k2
k
3
8
w+ e
9
1
16
=6 k
=0
1
=0,k=
3
2k +
quedando nalmente la ecuacin en la forma
w
8
1
w + e(
48
9
)=6
=0
1
p
48
t =
1
p
48
p1 ws
48
w =
p1 wt
48
p1 wss
48
p1 wtt
48
y entonces
w
8
1
w + e(
48
9
=0)
1
wss
48
wtt + w +
384 (
e
9
)=6
9
>
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
>
;
1
1
8
wtt + w + e(
48
48
9
)=6
=0
y multiplicando por 48
wss
)=6
=0
4uxy + 4uyy = ey
c SPH
49
4 y C = 4, el discriminante es
4AC = ( 4)2
B2
4 1 4=0
y la EDP es parablica.
El cambio de variable que hay que realizar es
8
<
B
x = y + 2x )
:
2A
= y
= hy
kx )
8
<
=2
=1
=h
2 1
k h
= 2h + k 6= 0
x
y
+u
uxx = 2 (u
uxy = 2 u
uyy = u
+u
+u
y
y
x)
= 4u
= 2u
+u
+ 2u
=u
+ 2u
+u
y sustituyendo en la ecuacin
uxx
(2u )
4 (2u
+ 2u ) + 4 (u
= 0 y
= 1 y las
9
>
>
>
>
>
>
>
>
>
>
>
>
=
= 2u
=u +u
+u
+u
+ u
>
>
>
>
>
>
>
>
>
>
>
>
;
4uxy + 4uyy = ey ,
+ 2u
+u ) = e
y agrupando
4u
8u
8u
+ 4u
+ 8u
+ 4u
= e , 4u
=e ,u
1
= e
4
1(
1
d = e +
4
1(
) +
2(
1 (y
+ 2x) y +
2 (y
+ 2x)
50
4AC = 1
4=
3<0
y la EDP es elptica.
Hacemos el cambio
p !
3
1
+
i x
2
2
p !
3
1
i x
2
2
= y
= y
y despus el cambio
=
1
( + )
2
1
(
2i
1
x)
>
2
:
3
x)
>
2
>
:
= y
+u
uy = u
uxx =
uxy =
1
(u
2
1
u
2
+u
+u
+u
x)
3
(u
2
p
3
u
2
uyy = u
8
>
>
<
+u
1
2
=1
p
3
2
=
y
=0
1
u
2
y
=u
+u
3
u
2
x)
+u
y
=u
= 14 u
1
u
2
3
2 u
+ 43 u
p
3
u
2
9
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
;
c SPH
51
y sustituyendo en la ecuacin
uxx + uxy + uyy + ux = 0 ,
1
u
4
3
+
u
2
3
+ u
4
3
u
2
1
u
2
+ (u
y agrupando obtenemos
3
u
4
y multiplicando por
4
3
3
+ u
4
1
u
2
)+
3
u
2
= 0
1
u
2
3
u =0
2
p
2 3
u =0
3
2
u
3
+u
(4.18)
Como en el caso de la ecuacin hiperblica podemos eliminar las derivadas de primer orden haciendo
los cambios oportunos, ambos del mismo tipo. Para eliminar ua haremos el cambio
v = ueh
y recordamos que en este caso
h
u = ve
u = (va
hv) e
h
u =v e
u
2hv + h2 v e
= v
u
=v e
2hv + h v e
{z
+v e
| {z }
u
2
(va
3|
hv) e
{z
u
2hv + h v + v
y agrupando
v
+v
+v
2h
2
3
2
(va
3
hv)
9
>
>
>
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
>
>
>
;
h
p
2 3
v e h =0
2 | {z }
p
2 3
v =0
2
p
2 3
1
v + h2 +
2
3
2
3
=0,h=
1
3
v=0
52
p
2 3
v
2
+v
1
v=0
9
(4.19)
v =w e
v = (w
kw) e
=w
2kw + k 2 w e
= w
9
>
>
>
>
>
>
>
>
>
>
>
>
=
+ w
w e
| {z } |
v
2kw + k w e
{z
p
2 3
(w
2 |
+w
+w
2k
>
>
>
>
>
>
>
>
>
>
>
>
;
kw) e
{z
v
kw)
1
we
9
=0
1
w=0
9
p !
p
2 3
2 3
2
+w k +
k
3
3
1
9
=0
+w
4
w=0
9
2
3
t =
2
3
c SPH
53
w
y entonces
w
+w
4
4
4
w = 0 ) wss + wtt
9
9
9
4
w = 0 ) wss + wtt
9
w=0
Ejercicio 4.1 Realiza los cambios de variable adecuados para transformar la EDP siguiente
3uxx
2uxy + 6uyy
12ux
9uy
5u = 0
2, C = 6 y por tanto
4AC = ( 2)2
4 3 6 = 4 ( 17) < 0
B2
2A
4AC
1
3
17
i
3
Hacemos el cambio
p !
1
17
+
i x
3
3
p !
1
17
i x
3
3
= y
= y
y despus el cambio
=
1
( + )
2
1
(
2i
1
= y+ x)
>
3
:
=
c SPH
8
>
>
<
p
17
x)
>
3
>
:
1
3
=1
=
y
17
3
=0
54
+u
uy = u
uxx
1
= (u
3
+u
+u
17
(u
3
x)
uxy = uyx = (u
uyy = u
17
u
3
1
= u
3
=u
+u
+u
17
u
3
17
9 u
17
u
3
1
x) = u
3
+u
p
2 17
9 u
= 19 u
x)
=u
y sustituyendo en la ecuacin
1
u
3
9
|
3
9
p
2 17
u
9
{z
17
+ u
9
uxx
1
2
u
3
|
{z
p
p !
6 17 2 17
+
+u
9
3
2
+6 +u
3
uxy
+ 6u
|{z}
uyy
3 17
9
+u
1
12
u
3
|
12
3
!
p
17
u
3
{z
}
9
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
;
9u
|{z}
uy
ux
9 +u
12
5u = 0
p
3
17
5u = 0
y agrupando obtenemos
17
u
3
3
17
Multiplicando por
3
17
p
13u + 4 17u
17
u
3
5u = 0
+u
p
39
12 17
u +
u
17
17
15
u=0
17
Como en los ejemplos anteriores podemos eliminar las derivadas de primer orden haciendo los cambios
oportunos, ambos del mismo tipo. Para eliminar ua haremos el cambio
v = ueh
y recordamos que en este caso
u = ve
u = (va
hv) e
u =v e
u
= v
u
2hv + h2 v e
=v e
9
>
>
>
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
>
>
>
;
c SPH
55
2hv + h v e
{z
39
(va
17 |
+v e
} | {z }
u
hv) e
{z
u
2hv + h v + v
y agrupando
v
+v
39
17
2h
+v
p
12 17
+
v e h
}
17 | {z }
u
p
12 17
hv) +
v
17
39
(va
17
p
12 17
+
v + h2
17
15
ve h = 0
17 | {z }
u
15
v=0
17
15
17
v=0
2h
=0,h=
39
34
p
12 17
501
+
v +
v=0
17
1156
+v
v =w e
v = (w
kw) e
=w
2kw + k 2 w e
= w
9
>
>
>
>
>
>
>
>
>
>
>
>
=
y sustituyendo en la ecuacin
k
+ w
w e
| {z } |
2kw + k w e
{z
+ w
p
12 17
+
(w
17 |
}
p
12 17
2kw + k w +
(w
17
2
>
>
>
>
>
>
>
>
>
>
>
>
;
kw) e
{z
v
kw) +
501
we
1156
501
w=0
1156
y agrupando
w
c SPH
+w
+w
p !
12 17
2k +
+ w k2
17
!
p
12 17
501
k+
=0
17
1156
=0
56
1947
w=0
1156
+w
t =
1947
1156
1947
1156
1947
1156 wss
1947
1156 wtt
y entonces
w
+w
>
>
>
>
>
>
>
>
>
>
;
1947
1947
1947
w=0)
wss +
wtt
1156
1156
1156
1947
w = 0 ) wss + wtt
1156
4.3.
4.3.1.
w=0
La ecuacin del calor describe la variacin de la temperatura en una regin a lo largo del tiempo.
En el caso de una dimensin, describira la temperatura en una barra de longitud L y se expresa como
8
ut = 2 uxx
t>0
x 2 (0; L)
>
>
>
>
<
u (0; x) = f (x)
0<x<L
>
>
>
>
:
u (t; 0) = u (t; L) = 0
t>0
La condicin de
u (t; 0) = u (t; L)
son llamadas condiciones de contorno e indican que la temperatura en los extremos de la barra es
constante e igual a 0. Mientras que la condicin
u (0; x) = f (x)
c SPH
57
Obviamente la solucin trivial u 0 es solucin del problema, as que buscamos soluciones alternativas
y supondremos que F (t) 6= 0 y G (x) 6= 0, por tanto
G00 (x)
1 F 0 (t)
=
2 F (t)
G (x)
Como una lado de la igualdad depende slo de t y el otro depende slo de x, ambos deben ser constantes
1 F 0 (t)
G00 (x)
=
=
2 F (t)
G (x)
con
F (t) = 0
8 00
< G (x) + G (x) = 0
G (0) = 0
:
G (L) = 0
(4.20)
58
1. Caso I:
= 0. Supongamos que
a2 G (x) = 0
ax
aL
=0
1
=e
eaL
aL
eaL =
2 senh (aL)
aL
y puesto que 6= 0 es no nulo y por tanto la nica solucin del sistema es la trivial A = B = 0
y obtenemos de nuevo la solucin trivial.
3. Caso III: > 0. Supongamos
ahora que es positivo, y por tanto lo podemos poner de la forma
p
2
= a , con a =
. La ecuacin diferencial sera
G00 (x) + G (x) = 0 ) G00 (x) + a2 G (x) = 0
que tiene por solucin general
G (x) = A cos ax + B sen ax
Utilizamos las condiciones de contorno para encontrar los valores de A y B
G (0) = 0 ) A = 0
G (L) = 0 ) A cos aL + B sen aL = 0
c SPH
59
de donde
B sen aL = 0
Como buscamos una solucin no trivial, entonces B 6= 0 y
sen aL = 0 , aL = n ;
n2Z
luego
a=
n
L
y,
=
n2 2
;
L2
n2N
recordemos que era una constante arbitraria, luego para cada valor de n 2 N, tendremos una
posible solucin de la EDO,
n
n2 2
) Gn (x) = Bn sen
x
2
L
L
Notar que el caso n = 0, nos conduce de nuevo a la solucin trivial, luego supondremos n
Para estos valores n y utilizando la otra ecuacin diferencial
F 0 (t) +
2 2
a F (t) = 0 ) F 0 (t) +
2n
1.
2 2
L2
F (t) = 0
2 n2 2
t
L2
An 2 R
n
x e
L
2 n2 2
t
L2
= cn sen
n
x e
L
2 n2 2
t
L2
1
X
cn sen
n=1
n
x e
L
2 n2 2
t
L2
1
X
n=1
cn sen
n
x = f (x)
L
La pregunta que aparece de forma inmediata es: cuando ser posible desarrollar la funcin f (x)
como suma de funciones trigonomtricas?
c SPH
60
4.3.2.
Ecuacin de onda
La ecuacin de onda representa las vibraciones de una cuerda sujeta por los extremos a lo largo del
tiempo. Si L es la longitud de la cuerda y u (t; x) respresenta el desplazamiento de la cuerda respecto
de la horizontal en cada instante y en cada posicin de la cuerda, la ecuacin viene dada por
8
utt = c2 uxx
t>0
x 2 (0; L)
>
>
>
>
>
>
>
>
u (0; x) = f (x)
0<x<L
<
>
>
>
>
>
>
>
>
:
ut (0; x) = g (x)
0<x<L
u (t; 0) = u (t; L) = 0
t>0
(4.21)
c SPH
61
2 R.
De 4.21 obtenemos dos ecuaciones diferenciales
F 00 (t) + c2 F (t) = 0
G00 (x) + G (x) = 0
que es el mismo problema de contorno que se obtuvo para la ecuacin del calor, por tanto, si queremos
una solucin no trivial (no idnticamente nula) los valores para y G (x) seran
n
n2 2
n
y Gn (x) = Bn sen
x
L2
L
n2 2
F (t) = 0
L2
n c
n c
t + Dn sen
t
L
L
con Cn ; Dn 2 R
n c
n c
t + bn sen
t
L
L
sen
n
x
L
1
X
an cos
n=1
n c
n c
t + bn sen
t
L
L
1
X
n=1
c SPH
an sen
n
x = f (x)
L
sen
n
x
L
62
1
X
an
n=1
ut (0; x) =
1
X
bn
n=1
bn nL c .
n c
n c
n c
n c
sen
t + bn
cos
t
L
L
L
L
sen
n
x
L
X
n c
n
n
sen
x =
cn sen
x = g (x)
L
L
L
n=1
con cn =
Como vemos las expresiones para f (x) y g (x) son desarrollos similiares y similares a los encontrados
en la ecuacin del calor.
4.3.3.
Ecuacin de Laplace
La ecuacin en derivadas parciales que vamos a tratar en esta seccin es la llamada ecuacin de
Laplace que en dos dimensiones tiene la forma
uxx + uyy = 0
(4.22)
Se utilizan las variables espaciales para indicar que mientras que en las ecuaciones de calor y onda
representan modelos fsicos que cambian con el tiempo, la ecuacin de Laplace es esttica y representa
una condicin de equilibrio como el potencial gravitatorio o electrosttico o como la temperatura en
una seccin plana.
Esta ecuacin se plantea slo con condiciones de contorno sobre la frontera del recinto donde se
cumpla la ecuacin que tiene que tener cierta regularidad.
Estas condiciones de contorno pueden ser de dos tipos: Si R es la regin donde se cumple la ecuacin
4.22, podemos suponer que u (x; y) es concida en todos los puntos de la frontera de R (condicin de
tipo Dirichlet) o por el contrario podemos suponer que conocemos el vector normal a R en la frontera
(condicin de Neumann).
La geometra de R es muy importante y slo podemos calcular soluciones si tienen ciertas condiciones de regularidad.
Supongamos, por ejemplo, que el recinto es una rectngulo de lados a y b, es decir, sea R =
[0; a] [0; b] y que tenemos el problema de Laplace siguiente
8
uxx + uyy = 0
0 x a 0 y b
>
>
>
>
>
>
>
>
< u (x; 0) = u (x; b) = 0 0 x a
>
>
>
>
>
>
>
>
:
u (0; y) = 0
u (a; y) = f (y)
63
G00 (y)
G (y)
Como una lado de la igualdad depende slo de t y el otro depende slo de x, ambos deben ser constantes
F 00 (x)
=
F (x)
con
G00 (y)
=
G (y)
(4.23)
2 R.
De 4.23 obtenemos dos ecuaciones diferenciales
F 00 (x)
F (x) = 0
que es el mismo problema de contorno que se obtuvo para la ecuacin del calor (salvo el nombre de la
variable), por tanto, si queremos una solucin no trivial (no idnticamente nula) los valores para y
G (y) seran
n2 2
n
y
y G (y) = Bn sen
n =
2
b
b
Para estos valores n y utilizando la otra ecuacin diferencial
F 00 (x)
n2 2
F (x) = 0
b2
n
b
x)
+ Dn e (
n
b
x)
con Cn ; Dn 2 R
64
Cn
e(
n
b
x)
= 2Cn senh
n
x
b
n
n
n
n
x Bn sen
y = cn senh
x sen
y
b
b
b
b
con cn = 2Cn Bn . Por la linealidad de la Ecuacin, cualquier combinacin lineal de soluciones, es otra
solucin, por tanto podemos considerar como solucin general a
u (x; y) =
1
X
cn senh
n=1
n
n
x sen
y
b
b
1
X
n=1
X
n a
n
n
sen
y =
dn sen
y = f (y)
cn senh
b
b
b
n=1
4.4.
Series de Fourier
Los problemas de la seccin anterior nos plantean la cuestin de si cualquier funcin f (x) de una
variable pude desarrollarse como en las soluciones obtenidas, en trminos de la funcin trigonomtrica
sen ( ).
Denicin 4.7 Sea f (x) una funcin real peridica de periodo T = 2L, es decir,
f (x) = f (x + 2T )
8x 2 R
1
bn =
L
f (x) cos
L
L
f (x) sen
L
n
x dx;
L
n
x dx;
L
n = 0; 1; 2; : : :
n = 1; 2; : : :
a0 X
n
n
+
an cos
x + bn sen
x
2
L
L
n=1
c SPH
65
1
cos (n x)
n
sen (n x) dx =
x=1
x=0
x=1
=
x=0
1
=
(cos (0)
n
1
(sen (n )
n
sen (0)) = 0
1
cos (n )) =
(1
n
sen ((2n
( 1)n ) =
8
< 0
:
2
n
n par
n impar
1) x)
n=1
La siguiente pregunta que deberamos hacernos es cundo es posible identicar la funcin f (x)
con su serie de Fourier?, es decir, cundo ocurre que Sf (x) = f (x)?
Teorema 4.2 Si f : R ! R, es una funcin 2Lperidica, de manera que tanto f (x) y f 0 (x) son
continuas a trozos, entonces la serie dada por
1
n
n
a0 X
an cos
+
x + bn sen
x
Sf (x) =
2
L
L
n=1
cumple 8x0 2 R
l m Sf (x) =
x!x0
1
f x+
0 + f x0
2
siendo f x+
0 y f x0 los correspondientes lmites laterales de f (x) en x0 .
Obviamente si f (x) es continua en x0 , entonces
f x+
0 = f x0 = f (x0 ) ) l m Sf (x) = f (x0 )
x!x0
Ejemplo 4.13 Podemos comprobar que en el ejemplo anterior se cumple que en el punto de discontinuidad x = 0 ocurre
1 X
1
1
Sf (0) = +
sen ((2n 1) 0) =
2
(2n 1)
2
n=1
>
f (0 ) = l m f (x) = l m 0 = 0 ;
x!0
c SPH
x!0
1
f 0+ + f 0
2
1
1
(1 + 0) =
2
2
66
1
2
l m Sf (x) =
1
2
x!1
x! 1
4.4.1.
La serie de Fourier de una funcin f (x) se simplica en el caso de que la funcin sea par o impar.
1. Caso I: f (x) es par.
Si f (x) es una funcin par, entonces
f ( x) = f (x)
8x 2 R
1
a0 =
L
1
f (x) dx =
L
L
f (x) dx +
L
f (x) dx =
L
f (x) dx
f ( y) ( dy) =
1
a0 =
L
x en la primera integral
luego
f (y) dy +
f (y) dy
2
=
L
f (x) dx
f (x) dx
Para n 1, y puesto que cos ( ) es una funcin par y por tanto f (x) cos
par obtendramos
1
an =
L
n
2
f (x) cos
x dx =
L
L
L
f (x) cos
mientras que como sen ( ) es una funcin impar y por tanto f (x) sen
1
bn =
L
f (x) sen
L
n
L
n
x dx
L
n
L
x tambin lo sera
n
x dx = 0
L
a0 X
n
+
an cos
x
2
L
n=1
f (x)
8x 2 R
c SPH
67
f (x) dx +
L
f (x) dx
luego
1
a0 =
L
f (y) dy +
f (x) dx
=0
Para n 1, y puesto que cos ( ) es una funcin par y por tanto f (x) cos
impar obtendramos
Z
1 L
n
an =
f (x) cos
x dx = 0
L L
L
n
L
mientras que como sen ( ) es una funcin impar y por tanto f (x) sen
x sera par
1
bn =
L
n
2
x dx =
f (x) sen
L
L
L
f (x) sen
n
L
n
x dx
L
1
X
bn sen
n=1
n
x
L
que es similar a los obtenidos mediante separacin de variables para los problemas del calor,
onda y Laplace vistos en la seccin anterior.
4.4.2.
u (t; x) =
1
X
cn sen
n=1
siendo
u (0; x) =
1
X
n=1
cn sen
n
x e
L
2 n2 2
t
L2
n
x = f (x)
L
68
1
X
2
L
n=1
2 n2 2
t
L2
n
n
s ds sen
x e
L
L
f (s) sen
(4.24)
donde hemos cambiado la variable de integracin para evitar confusiones con la variable independiente
de la funcin u.
Se dice que la expresin 4.24 es la solucin formal porque no podemos asegurar que sea una
verdadera solucin, es decir, que f (x) pueda representarse mediante una serie trigonomtrica.
Por otra parte, aunque la linealidad garantiza que una combinacin lineal nita de soluciones, es
solucin, nuestra combinacin lineal es innita, por lo que tendramos que comprobar que efectivamente
es solucin (derivando 2 veces y sustituyendo en la ecuacin correspondiente), y este es un proceso
difcil, aunque en nuestro caso se garantiza por la presencia del trmino exponencial en la solucin
2 n2 2
t
L2
formal, ya que si n ! 1, entonces e
! 0.
Cualitativamente la ecuacin describe un proceso de difusin del calor a travs de la barra, la barra
disipa calor convergiendo a 0 y suavizando cualquier irregularidad que f (x) pueda tener. Aplicamos
este anlisis a un ejemplo concreto. Supongamos una barra de aluminio ( 2 = 0;86) de 10 centmetros
de longitud y con una temperatura inicial de 100o C. La evolucin de la temperatura con el tiempo,
ser, para u (0; x) = 100
u (t; x) =
1
X
2
10
n=1
10
100 sen
n
n
s ds sen
x e
10
10
0;86n2 2
t
100
y calculando la integral
Z
10
100 sen
n
s ds =
10
100 cos
n
10
s
10
n
10
=
0
1000
(cos (0)
n
cos (n )) =
1000
(1
n
( 1)n )
1
X
( 1)n )
200 (1
n=1
sen
n
x e
10
0;86n2 2
t
100
o teniendo en cuenta que slo los trminos impares son no nulos, ya que (1
u (t; x) =
1
X
n=1
400
(2n 1)
sen
(2n
1)
10
x e
0;86(2n 1)2 2
t
100
c SPH