Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Son aquellas ecuaciones que contienen una o mas derivadas parciales de una dependiente.
Una ecuacin diferencial parcial es una que contiene la expresin de tipo:
o con variable
A continuacin se muestran las deducciones de las tres EDP, ms utilizadas en la fsica clsica, con
sus soluciones analticas y numricas.
Se desarrolla este tema en tres partes: inicialmente la deduccin de la ecuacin de calor, seguido de
su solucin analtica, en donde se utiliza teora de todo el procedimiento matemtico elaborado
hasta el momento, incluyendo la parte formal de la solucin, adems se utiliza los mtodos
numricos para introducir |los elementos finitos unidimensionales como parte de la aproximacin
numrica a la solucin.
La siguiente deduccin fue tomada de Ecuaciones diferenciales, Takeuchi-Ramirez-Ruiz, Editorial
Limusa, Mxico 1980
Inicialmente consideremos el flujo de calor en dos dimensiones y se calcula el total del calor
acumulado dentro del elemento ABCD. (ver figura), segn la ley de conduccin del calor, la
cantidad de calor que atraviesa una pared es proporcional al gradiente de la temperatura normal a la
pared y tambin proporcional al rea de la pared. Si T(x,y,t) es la temperatura en el punto (x,y) y
tiempo t, entonces la cantidad de calor que atraviesa la pared de AB en un tiempo
T
kAB t
x
es
T
kAC
.t
x x
T
x
debe calcularse en
x x
T
T
t kDC
kAB
x x
x
T
ky
x x
T
t
x x
x x
T
x
kyt
T
x x
x x
(14)
Por otra parte el calor acumulado entre las paredes BC y AD esta dado por la expresin siguiente:
kxt
T
y y
y y
y
(15)
El total del calor acumulado en el elemento es la suma de las cantidades (14) y (15), es decir:_
kxyt
x x
y y
T
y y
(cxy )T
kxyt
cxy
x x
y y
T
y y
(17)
En donde el factor
es la capacidad calorfica del elemento y
C es la capacidad calorfica por unidad de superficie. De (17) se recibe entonces que:
T k x
t c
x x
y y
T
y y
(18)
x, y y t
Tomando a
2T 2T
T
2
2
2
t
y
x
k
c
(19)
2T 2T 2T
T
2
2 2
2
t
y
z
x
Una vez obtenida la ecuacin del calor se procede a su solucin analtica; recordemos que lo
primero que hacemos es comprobar, que realmente, es una ecuacin parablica, tomando la forma
general de una ecuacin diferencial parcial de segundo orden lineal.
2u
2u
2u
u
u
C
D E
Fu G
2
2
x
xy
y
x
y
B 2 4 AC 0
A su forma cannica
U t U xx F (U x ,U , X , t )
Ut=Uxx+ F ( Ux ,U , X , t ) ,
cuatro variables.
Nota: Recordemos que se dice parablica ya que su forma cannica tiene forma de parbola, es
U t U xx
decir,
S=k2, se escapa del alcance de estas notas, pero la transformada de Fourier cambia (en algn sentido
F ( n x u ) (ik ) n F (u )
cambia las derivadas por polinomios) ver que
i 1
donde i es el imaginario
solucin de
f (x)
l
Considere una varilla delgada de longitud , con una temperatura inicial
en toda su longitud
t 0
). Si la varilla
es una constante.
de
la
forma
U t U xx U x U
general
de
la
ecuacin
diferencial
; de forma que se
1, 0 y 0
U ( x, t )
en la varilla para
U C 2 ((0, ) x (0, l )
[o ,][o ,l]
(0, )(0, l) C
U C2
U t U xx
parablica
, y
Hallar la temperatura
parcial
(t , x) (0, ) x (0, l )
[1]
; es decir
U (t , o) U (t , l ) 0 ;
t0
Condiciones de frontera
Condicin inicial
U (0, x) f ( x ) 0 x l
U (t , x)
As asumimos que
U (t , x) T ( x) X ( x)
U (t , x )=T (t ) X ( x)
[2]
X '' ( x )
T ' (t )
=
=
X (x)
T (t)
Donde
[5]
[6]
Y la EDO en la variable x
X (x)= X ( x)
[7]
Nota: el problema 7 obviamente es una ecuacin diferencial, sin embargo podemos escribirlo como
X ' ' ( x ) X ( x )
A( X ( x)) X ( x)
Recordando la notacin de algebra lineal podemos escribir el problema como
Donde A es la transformacin lineal D2 es decir, menos la segunda derivada la cual se comporta
como una matriz simtrica en el sentido que AU.V=U.AV este tipo de operadores es llamado
simtricos, para este caso el equivalente seria ( Af , g)=(f, Ag) es decir
( Af ) g f ( Ag )
Entonces el problema 7 es un problema de valores y vectores propios, es decir lamndaseria el valor
propio y X seria el vector propio, y al igual que en el caso de las matrices simtricas los valores
propios son reales.
Es mas, el teorema espectral nos dice que los valores propios son reales y positivos y que los
vectores propios asociados a estos valores propios son ortogonales.
Con lo cual descartamos el caso de los complejos.
Ahora cuando imponemos las condiciones de frontera [1] es decir
U (t ,0)=u(t , l)=0[2]
obtenemos
x (l)=0
Con lo cual ya sabemos solucionar por ecuaciones ordinarias, para esto primero veremos que
x
X ()
'
X ( x ) X ( x ) dx=x' ( x ) x ( x )
0
l
0
x
X ()
'
As
x
X ()
'
Como
X (x )= X ( x)
X ( x ) X ( x ) dx=
0
Obtenemos
x
X ()
2 dx
x
'
X ()
[9]
x
X ( )
2 dx
ahora,
x
X ()
>0
m2 0
m i
por lo tanto la solucin de x
X ( x) A cos x Bsen x
Ahora, ya que los vectores propios son cosenos y senos el teorema espectral afirma que ellos son
ortogonales entre si ver ejercicio (marica toca poner el ejercicio de las integrales de senos y cosenos
para ver que son cero).
Ahora con las condiciones de frontera en [8] obtenemos
X ( 0)=A=0
X ( x ) Bsen y
Y as
Obtenemos
x(l ) 0
tomando
+
B Sen l =0 y asi l=k donde k Z
kZ
k 2
l2
son
+
k 2 2
son 2 para cada k Z
l
para cada
+
k Z k Z
k 2 2
2
l
xk Bk sen
(10)
k
tenemos
xk
y para cada uno de estos una solucin de [8]
T (t ) T (t ), t 0
T (t )
T (t )
ln T (t ) t
T (t ) e
k 2 2
l2
Tk (t ) e
l2
[11]
Combinando [2], [10] y [11] obtenemos una familia de soluciones para [1]
As
k
U k (t , x) bk sen
x e
l
k 2 2
l2
k
U (t , x) bk sen
x e
l
1
k 2 2
l2
[12]
Ahora necesitamos ver quines son los coeficientes b k y ver que estos no daen la convergencia de
la serie [12].
Para ver quines son, usamos la condicin inicial es el problema [1]
k
x
l
U (0, x) bk sen
1
[13]
As nuestro problema se reduce a ver la funcin f como una serie de Fourier en senos.
Para despejar los bk usamos las relaciones de ortogonalidad de los senos es decir multiplicamos (en
k
k 2 2 sen
sen ( 2 )
l
l
y obtenemos (reordenando
2
k
f ( y ) sen
y dy
l 0
l
l
bk
):
2
k
k
U ( y, x) f ( y ) sen
y dy * sen
x e
l
l
1 l 0
l
k 2 2
l2
[15]
Siempre y cuando los coeficientes bk caigan lo suficiente para asegurar la convergencia de esta serie
y la de las series formadas al derivar termino a trmino.
bk 2 xsen(
0
k
2(1) k 1
x )dx
l
k
(17)
k
l
x sen( x )dx
1
bk =2
0
k +1
(1)
2
U (x ,t )=
k=1
k
[o ,][o ,l]
(0, )(0, l) C
U C2
U t U xx
(t , x) (0, ) x (0, l )
U (t , o) U (t , l ) 0 ;
U (0, x ) f ( x)
t0
[1]
f (0) f (l ) 0
Donde
T 0
U ( T , 0 )=U ( T ,2 ) =0
f ( x) x 2 2 x
Sea
(18)
Recordemos que este es el problema de medir el calor en cada punto (T,X) de una barra delgada de
x
la longitud 2, as escogemos una particin en
t
y otra en
t 0,4 y x 1
requiera) por ejemplo haremos
(veamos la figura) los cuales demostraremos por:
u ij
uj i
al punto de coordenadas
( xi , T J )
xo=0
Donde;
xi=x 0+i t
tj=+ j t
=0
Ahora usando diferencias finitas centradas en los puntos interiores para aproximar la derivada
espacial (en X) obtenemos.
j
u j ui+1u j1
( u )= 2 x
x i
Y para la segunda derivada
j
2
u j u i+12 ui +u i1
u =
2 ( i)
2
(19)
x
( x )
Nota: la razn de usar diferencias finitas hacia adelante en la variable temporal y no centradas en
que el sistema de ecuaciones ms adelante tiene ms incgnitas que ecuaciones.
U t U xx
Sustituyendo (18) y (19) en
u =x xx
obtenemos
j+1
u i ui ui+1 2u i +ui1
=
2
t
( x )
Rescribiendo tenemos
j +1
ui =
t
j
j
j
j
(ui +12 ui +ui 1 )+ ui
2
(20)
( x )
Esta relacin (20) se tiene para los puntos interiores, para los puntos en las fronteras se usan las
condiciones inciales y las de las fronteras del problema (17). As rescribiendo (20) para nuestro
ejemplo obtenemos.
j +1
ui =
j +1
ui =
1
j
j
j
j
(ui+1 2u i +ui1)+u i
2
( 0.4 )
100 j
184 j 100 j
ui +1
u+
u
16
16 i 16 i1
(21)
Y los puntos de frontera obtenemos
u30=0
u35=0
u20=0
u25=0
u10=0
u15=0
u0=0
u1=0.64
u2=0.96
u3=0.96
U 11=
1
U 1=1.36
u4 =0,64
u5=0
U 12=
U 12=1.04
U 13=
U 3=1.04
1
U4=
U 14 =1.36
j=2i=1,2,3,4
1
U 2=
U 2=
U 11=
100
184
(0.96)
(0.64)
16
16
U 11=1.36
U 12=
100
184
100
( 0.96 )
( 0.96 )+
( 0.64 )
16
16
16
U 12=1.04
U 3=
100
184
100
( 0.64 )
( 0.64 ) +
( 0.96)
16
16
16
U 13=1.04
U4=
100
184
184
( 0 )
( 0.64 ) +
(0.96)
16
16
16
Cuando abordamos las Ecuaciones Diferenciales Parciales (EDP); nos referimos exclusivamente a
las que son separables, ya que esta teora es demasiada compleja y no se tratara en este libro; si se
quiere ampliar este tema ver : IntroductiontoPartialDifferentialEquations de Donald Greenspan.
La forma general de una Ecuacin diferencial parcial, lineal de orden 2 es:
2u
2u
2u
u
u
C
D E
Fu G
2
2
x
xy
y
x
y
d2u
d2 u
d2 u
du
du
+
B
+C
+ D + E + Fu=G
2
2
dxdy
dx
dy
dx
dy
Donde los coeficientes A,B,C,D,E,F,Gson funciones que estn en trminos de x yy; si adems se
cumple que G(x,y)=0 se dice que la EDP es homognea de lo contrario es no homognea.
Una forma equivalente de escritura es:
2u
2u
2u
u
2u
U
U xy u U x
Uy
U
yy
yx
2
xx
y
xy
yx
y
x
x 2
Observemos algunos ejemplos de EDO homogneas y no homogneas:
2u
Ux
x 2
homognea
U xx 3U xy 2U yy U x 0
homognea
2u
k 2 U y,k 0
x
a2
homognea
2u 2u
5
x 2 y 2
No homognea
, donde el primer
d 2 u dy
=
2
d x dt
U x X Y U y XY U xy X Y
U xx X Y
U yy XY
Al plantearse la EDP se aplica este remplazo y tratamos de agrupar trminos semejantes, de forma
tal, que se pueda generar una igualdad que garantice que en cada lado de la igualdad exista una sola
variable; una vez logrado esto, llegamos a un sistema de ecuaciones diferenciales ordinario,
independiente en cada lado de la igualdad.
Ejemplo.
2U 2U
U
x 2 y 2
Dada la siguiente EDP,
Resolver U ( x , y )= X ( x )Y ( y )
du
=x ' y
dx
resolverla
du
'
=x y
dy
d2 u
=x ' y '
dxdy
d u ''
=x y
2
dx
d u
=xy ' '
2
dy
x y + xy =xy
x y=xy x y ' '
x y=x ( y y' ' )
x ( y y )
=
x
y
a.
y y"
2
y
x
2
x
y
a la vez
x 2 x 0
y" y (2 1) 0
m 2 2 0
m 2 (1 2 ) 0
ojo falta
Y ( y ) c3e
X ( x) c1ex c2e x
1 2 y
c4 e
1 2 y
;0 1
1 2 y
c4e
1 2 y
);0 1
CLASIFICACION
Al trabajar con EDP lineales de orden 2, se presentan tres ecuaciones que son muy importantes
u
2u
k 2
t
x
2
2u
2 u
a
t 2
x 2
2
2u
2 u
a
t 2
x 2
(Calor),
( Onda) ,
(Laplace), que son ecuaciones que
modelan algunos problemas de fenmenos fsicos; aplicando la transformada de Fourier a cada una
de ellas podemos ver formas conocidas y trabajadas en la geometra analtica, que son parbola,
hiprbola y elipse respectivamente, cualquier EDP lineal de orden 2 con coeficientes constantes es
muy similar a una de esta tres ecuaciones (va la transformada de Fourier)
La siguiente forma de clasificarlas es precisamente ver el parecido que tienen la forma general con
alguna de nuestras tres ecuaciones fundamentales (calor onda y Laplace)
Dada la forma general
d2u
d2 u
d2 u
du
du
+
B
+C
+ D + E + Fu=G
2
2
dxdy
dx
dy
dx
dy
2u
2u
2u
u
u
C
D E
Fu G
2
2
x
xy
y
x
y
Definiremos el discriminante
d B 2 4 AC
U t U xx
Inicialmente tomando la ecuacin del calor se tiene:
t x2
igual a cero, viendo la forma de la ecuacin del calor notamos una similitud con
( Que
se llega mediante la aplicacin de la transformada de Fourier a la ecuacin) esto motiva a
llamar a este tipo de ecuaciones Parablicas.
Definicin: Una ecuacin Diferencial Parcial con coeficientes, lineal y de orden 2 se dice
parablica si
d B 2 4 AC 0
U tt U xx 0
A continuacin tomando la ecuacin de onda se tiene:
, se tiene que el
discriminante es mayor que cero, viendo la forma de la ecuacin de onda notamos una similitud
t 2 x2 0
con
( que se llega mediante la aplicacin de la transformada de Fourier a la
ecuacin) esto motiva a llamar a este tipo de ecuaciones Hiperblicas.
Definicin: Una ecuacin Diferencial Parcial con coeficientes, lineal y de orden 2 se dice
hiperblica si
d B 2 4 AC 0
U tt U xx 0
Finalmente tomando la ecuacin de Laplace se tiene:
, se tiene que el
discriminante es menor que cero, viendo la forma de la ecuacin de Laplace notamos una
t 2 x2 0
similitud con
( que se llega mediante la aplicacin de la transformada de Fourier a
la ecuacin) esto motiva a llamar a este tipo de ecuaciones Elpticas.
Definicin: Una ecuacin Diferencial Parcial con coeficientes, lineal y de orden 2 se dice
Elptica si
d B 2 4 AC 0
Hiperblica si
Parablica si
Elptica
si
B 2 4 AC 0 B 24 ac> 0
2
2
B 4 ac= B 4 AC 0
2
B 24 ac< 0 B 4 AC 0
d u dy
Parabolica k d x 2 = dt ; k>0
d2u d2 y
Hiperbolica a d x 2 = d t 2
d2u d2u
Eliptica d x 2 + d y 2 =0
TRANSFORMACIONES A FIN
Resuelva por Separacin de variables la EDP
U xx 3U xy 2U yy U x 0 1
Al separar sus variables
X ( x) X
Y ( y) Y
U ( x, y ) X ( x )Y ( y )
Donde
U x X Y U xy X Y
U xx X Y
U yy XY
As
X Y 3 X Y 2 XY X Y 0
Aqu es fcil ver que no es posible separar las variables; ya que no se puede
generar ningn tipo de agrupacin de variables semejantes.
Considerar una transformacin afn, para esto primero clasificaremos la E.D.P
1
Considerar una transformacin afn, para esto primero clasificaremos la E.D.P
A 1 B 3 C 2
as el discriminante es
B 2 4 AC 17 0
A, B, C 0
y como
usamos.
V
B
X 2Y
A
B 2 4 AC
X
A
1 3 2 17 1 2 2 0
Asi
Es decir
V 3 X 2Y
W 17 x
X ,Y
As despejando
tenemos
la cual tiene
,
X
Y
w
17
17V 3W
2
17
3
2
17
Con esta transformacin afn, buscamos llegar a las nuevas variables de la ecuacin de la onda, la
cual podemos escribir como:
U vv U ww
3
17
Uv
Uw
2
17
17
f (v ) f
g ( w) g
U v f g
U w fg
U ww fg
Reescribiendo
f g fg
llegamos a
3
17
f g
fg
17
17
en la cual es fcil ver, despus de manipular algebraicamente que las variables se pueden separar
3
17
f
g g
17 17
f
g
3
f
17
C
f
17
g g
17
C
g
Trabajamos la parte 1.
3
f Cf 0
17
m2
3
mC 0
17
3
9
41 C
17
289
2
Lo cual nos lleva a tres casos
9
4C 0
289
1.
9
4 289
es decir
As
m1
3
4
f v C1e
m2
3v
34
C2e
3
4
3v
34
Por lo tanto
2
Y as para
17
9
g
g0
17
1156
m1
26 17
34
m2
26 17
34
Por tanto
g w d 1 e
26 17
w
34
d 2e
26 17
w
34
Por lo tanto
U v, w C1e
3v
34
C2 e
3v
34
d 1e
86 17
w
34
d 2e
26 17
34
U x, y C1e
3v
3 x 2 y
34
C 2 3x 2 y
3v
3 x 2 y
34
d1e
26 17
34
17 x
d2e
26 17
34
9
1156
C
es decir
m1
3
9
4C
17
289
2
Sea
m2
3
9
4C
17
289
2
f v C1e
3
9
4C
17
289
2
C2 e
9
4C 0
289
17 x
3
9
4C
17
289
2
17
g cg 0
17
La auxiliar
m2
17
g Cg 0
17
17
1
4C
17
17
2
m1
4C
Consideremos solo
m2
y
g w d 1e
17
1
4C
17
17
2
x + E
U y + F U=G
+ B U xy+
C U yy+
DU
A U xx
U x , y= X ( x )Y ( y )
U x=X ( x )Y ( y )
U y=X ( x )Y ( y )
U xx=X ( x )Y ( y )
d 2e
17
1
4C
17
17
2
1
0
17
U yy=X ( x )Y ( y )
U xy=X ( x )Y ( y )
x = 1 x + 1 x
y = 2 x + 2 y
3 U xx +2 U xy +5U y 3 U x =0
x =2 x y
y =x +3 y
du
du
d x
d y
du dx
dy
U x= =
+
dx
dx
dx
U x =U x x x +U yy x
2U x +U y
U y=U xx y+U y Y y
( U x(1 ) )+ ( U y( 3 ) )
U x +3 U y
U xx=( U x )x
2 ( U x +U y )x=2 ( U x )x+ ( U y )x
X x ) + ( U xy
Y x ) ] + [ ( U yx
X x ) + ( U yy
Y x ) ]
2 [ ( U xx
2 [ ( U xx2
)+ ( U xy1
) ] + [( U yx2
)+ ( U yy1
)]
4 U xx
+2 U xy
+2 U xy
+U yy
4 U xx
+4 U xy
+U yy
U xy=( U x )y
2U x +U y =2 ( U x )y + ( U y )y
X y )+ ( U x yY y ) ] +[( U xy
X y ) + ( Y yy
Y y ) ]
2 [ ( U xx
2 [ ( U xx
(1 ) ) + ( U xy3
) ] + [ ( U xy
(1 ) ) + ( Y yy3
)]
2U xx
+6 U xyU
xy
+3 U yy
2U xx
+5 U xy
+3 U yy
12U xx
+12U xy
+3 U yy4
U xx+
10U xy
+6 U yy5U
x +15 U y 6 U x 3 U y =0
8 U xx+22
U xy
+9 U yy11
U x + 12U y =0
2
A=
1 A + 1 1 B+ 1 C
B=2
1 2 A+ 1 2 B+ 2 1 B+2 1 2 C
2
2
C=
1 A+ 2 2 B+ 2 C
D=
1 D+ 1 E
E=
2 D+ 2 E
F=F
G=G
Caso #1 PARABOLICO
B 24 AC =0
Calor
x =
B
x+ y
2A
y =
B
x+ y
2A
Caso #2 ELIPTICA
B 4 AC < 0
x =
Laplace
B
x+y
2A
4 AC B 2
y =
x
2A
Caso #3 HIPERBOLICA
B 4 AC > 0
o
Onda
SiA0, B0, C0
o A0, B=0, C0
x =
B
x +2 y
A
y =
B2 4 AC
x
A
Si A=0, B0, C0
x =2 x
y =
Si A=0,
B
y
C
B
y
C
B0, C=0
x =x+ y
y =x y
EJEMPLOS
2)