Ecuaciones Diferenciales Parciales Reparado

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN
ECUACIONES DIFERENCIALES EN DERIVADAS PARCIALES

En los captulos precedentes, nuestra atencin se ha enfocado en encontrar soluciones
generales de ecuaciones diferenciales ordinarias. Adems nos interes principalmente la
teora y aplicacin de ecuaciones lineales de orden n 2. En este captulo limitaremos
nuestras consideraciones a una clase especial de ecuaciones diferenciales en derivadas
parciales lineales. Sin embargo, no haremos ningn intento de encontrar o siquiera de
tratar de estudiar el concepto de solucin general de una ecuacin de tal clase. El nfasis
se pondr en un procedimiento especfico usado para resolver ciertos problemas de
distribuciones de temperaturas y de vibraciones que se presentan en matemtica fsica.
Estos problemas son descritos mediante ecuaciones diferenciales en derivadas parciales
de segundo orden relativamente simples, sujetas a condiciones adicionales.
Naturalmente, las soluciones de estas ecuaciones, y por lo tanto os problemas fsicos,
dependen de la resolucin de las ecuaciones diferenciales ordinarias asociadas.
El desarrollo del tema a seguir ser en el siguiente orden:
Definicin de funciones ortogonales y sus propiedades
Construccin de las Series de Fourier y sus formas de presentacin
Teora de ecuaciones diferenciales parciales

o
Solucin analtica
Variables separables
Solucin numrica
Elementos finitos
1) Funciones ortogonales
ECUACIONES DIFERENCIALES
PGINA 1
Terminologa
En esta seccin y las dos siguientes preparamos el terreno para construir las Series de
Fourier que se trabajara ms adelante. La nocin de funciones ortogonales es
fundamental para toda la discusin.
DEFINICIN 10.1 Dos funciones f1 y f2 se dicen ortogonales en un intervalo a < x < b si
f 1 ( x) f 2 ( x ) dx 0
EJEMPLO
f1(x) = x2 y f2(x) = x3 son ortogonales en -1 x 1 ya que
1
f 1 ( x) f 2 ( x )dx
x 2 x 3 dx
1 6
x
6
1
1
1
1 ( 1) 6 0
6
DEFINICIN 10.2 Un conjunto de funciones de valores reales,
0 (x), 1 (x), 2 (x), . . . ,
Se dice ortogonal en un intervalo a x b si* 1
m ( x )n ( x ) dx
Al nmero positivo n ( x )
0 ,
0,
m n
m n.
n2 ( x ) dx
(1)
(2)
Se le llama norma cuadrada y

n ( x)
1*
n2 ( x ) dx
El trmino ortogonal y la condicin (1) no tienen significado geomtrico.
PGINA 2
Es la norma de la funcin n(x). Cuando ||n(x)|| = 1 para n = 0,1,2,, el conjunto {n(x)}

se dice ortonormal en el intervalo.
EJEMPLO
Demuestre que el conjunto 1, cos x, cos 2x,, Es ortogonal en el intervalo - x .
Solucin: Si hacemos la identificacin 0(x) = 1 y n(x) = cos nx, entonces debemos
demostrar que
( x )n ( x ) dx
0, n>0 y que
( x )n ( x ) dx
0, m>0,
n>0, mn. En el primer caso tenemos:
( x )n ( x ) dx
cos nx dx
sen n x
n
1
sen nx sen(n ) 0,
n
n 0,
Y en el segundo caso tenemos:
( x)n ( x) dx
cos mx cos nx dx
1
cos(m n) x cos(m n) x dx
2
1 sen (m n) x sen (m n) x
2
mn
mn
0,
mn
EJEMPLO
Encuentre la norma de cada una de las funciones pertenecientes al conjunto ortogonal
dado en el ejemplo precedente.
Solucin: Para 0(x) = 1, obtenemos de (2)
PGINA 3
0 ( x)
de modo que 0 ( x )
dx 2 .
2 . Para n ( x ) cos nx, n 0, se tiene
n ( x)
cos 2 nx dx
As, para n>0, n ( x )
1
1 cos 2 nx dx .
2
Cualquier conjunto ortogonal de funciones {n (x)}, n = 0,1, 2,, puede ser normalizado,
esto es, puede ser transformado en un ortonormal dividiendo cada funcin por su norma.
EJEMPLO
De los dos primeros ejemplos se tiene que el conjunto
cos x cos 2 x
1
,
,
,..., Es ortonormal en - x
2
2) Serie De Fourier Generalizada
Supongamos que {n(x)} es un conjunto ortogonal infinito de funciones en un intervalo a

x b. Nos preguntamos: si y= f(x) es una funcin definida en el intervalo a x b, es
posible determinar un conjunto de coeficientes cn, n = 0,1,2,, para los cuales
F(x) = C00(x) + C11(x) + + cnn(x) + ?
(3)
PGINA 4
Multiplicando (3) por m(x) e integrando sobre el intervalo resulta
f ( x) m ( x ) dx C 0 0 ( x ) m ( x) dx C1 1 m ( x ) dx ... C n m ( x) n ( x )dx ...
Por ortogonalidad, cada termino en el miembro derecho de la ltima ecuacin es cero

excepto m = n. En este caso tenemos:
f ( x) n ( x )dx C n n2 ( x) dx.
a
Se deduce que los coeficientes requeridos son:
cn
f ( x ) n ( x)dx
b
f ( x)
En otras palabras
2
n
( x)dx
c
n 0
Donde
cn
n 0,1, 2, ...
( x ),
f ( x) n ( x) dx
n ( x)
(4)
(5)
La serie (4) con coeficientes (5) se llama serie de Fourier generalizada.

Hacemos notar que el procedimiento bosquejado para determinar los cn fue formal, esto
es, se ignoraron cuestiones bsicas acerca de si un desarrollo en serie tal como (4) es
realmente posible.
10.2 Series trigonomtricas

PGINA 5
10.2.1 Serie de Fourier

El conjunto de funciones
1, cos
2
3
x,...., sen x, sen
x, sen
x,....,
p
p
p
p
x, cos
(1)
Es ortogonal en el intervalo -p x p. supongamos que f es una funcin definida en el

intervalo p x p que puede ser desarrollada en serie trigonomtrica,
f ( x)
a0
n
n
a n cos
x bn sen
x .
2 n 1
p
p
(2)
Entonces los coeficientes a0, a1, a2,, b1, b2,, pueden ser determinados como sigue.2
Integrando ambos miembros de (2) entre p y p resulta:
f ( x ) dx
a0
2
dx
n 1
a n cos
p
n
n
xdx bn sen
xdx .
p
p
p
(3)
Puesto que casa una de las funciones cos nx p , sen nx p , n 1, es ortogonal a 1 en el

intervalo, el miembro derecho de (3) se reduce a un solo trmino, y en consecuencia:
a0 p
a
dx 0 x
p
2 p
2
Despejando a 0 resulta :
f x dx
a0
1
p
p
p
pa 0 .
(4)
f x dx.
Ahora bien, multiplicando (2) por cos mx p e integrando resulta:
PGINA 6
f ( x ) cos
a
m
dx 0
p
2
cos
m
dx
p
m
n
m
n
a n cos
x cos
xdx bn cos
sen
xdx .
p
p
p
p
p
n 1
(5)
Ahora bien,
m
dx 0,
p
p
m
n
p cos p x cos p xdx
cos
cos
m 0,
0,
p
mn
m n,
m
n
x sen
xdx 0,
p
p
De modo que (5) se reduce a:
Por lo tanto, a n
f x cos
n
xdx a n p.
p
1 p
n
f x cos
xdx.
p p
p
Finalmente, si multiplicamos (2) por sen
(6)
mx
, integramos, y hacemos uso de los
p
resultados:
m
dx 0,
p
p
m
n
p sen p x cos p xdx
sen
sen
m
n
x sen
xdx
p
p
m 0,
0
0,
p
mn
m n,
PGINA 7
Obtenemos que: bn
1
p
f x sen
n
xdx.
p
(7)
A la serie trigonomtrica (2), con coeficientes a0 , an y bn definidos en (4), (6) y (7),

respectivamente, se le llama serie de Fourier de la funcin f.3 A veces, a los
coeficientes se les llama coeficientes de Euler.
Tal como en la presentacin de la serie de Fourier generalizada en la seccin
precedente, la suposicin bsica de que f poda ser representada mediante una serie
tal como (2) y la posterior determinacin de los coeficientes correspondientes a esta
suposicin fueron, ambas, estrictamente formales. Supusimos que f era integrable en
mx
el intervalo y que tanto (2) como las series obtenidas multiplicando (2) por cos
y
p
sen
mx
convergan de tal manera que se poda integrar trmino a trmino. Mientras
p
no se demuestre que, para una funcin dada, f, (2) converge, el signo igual es
usualmente reemplazado por el smbolo . Reunimos los resultados anteriores en el
cuadro siguiente.
La serie de Fourier de una funcin f definida en el intervalo p < x < p esta dada por:
a0
n
n
an cos
x bn sen
x ,
2
p
p
n 1
f ( x)
a0
Donde
1
p
an
bn
1
p
f x sen
1
p
f x dx
(9)
f x cos
n
xdx.
p
(8)
n
xdx.
p
(10)
(11)
EJEMPLO
Desarrolle
f ( x )
0,
x,
x 0
0 x
(12)
Solucin: El grafico de f se da en la figura 10.1. Con p = , por (9) y (10) tenemos que:
PGINA 8
a0
1
f x dx
0dx
x dx 1 x x
an
y
sen nx
n
1 cos nx
n
n
1
n
sen nx dx
cos n 1 1 ( 1) n
.
n 2
n 2
En forma anloga, de (11) obtenemos que
Figura 10.1
bn
Por lo tanto, f ( x)
f x cos nx dx
,
2
0dx x cos nx dx
1
x sen nx dx n
1 ( 1) n
1

cos nx sennx (13)
2
4 n1
n
n
Ntese que an , definido por (10), se reduce a a 0 , dado por (9), cuando hacemos n = 0.
Sin embargo, tal como el ltimo ejemplo lo muestra, es posible que despus de calculada
la integral para an , esto no se produzca.
Convergencia de una serie de Fourier
El siguiente teorema da condiciones suficientes para la convergencia de una serie de

Fourier a f(x).
TEOREMA 10.1
Sean f y f continuas a trozos en p < x < p, esto es, sean f y f continuas excepto en
un nmero finito de puntos en el intervalo en los cuales ellas tienen solamente
discontinuidades finitas. Entonces, en un punto de continuidad, la serie de Fourier de f en
el intervalo converge a f(x). En un punto de discontinuidad, la serie de Fourier converger
al promedio:
PGINA 9
f x f x
,
2
Donde f x y f x denotan el lmite de f en x, por la derecha y por la izquierda,
respectivamente.4
f ( 0 ) f ( 0 ) 0
.
2
2
2
Extensiones peridicas
Obsrvese que las funciones pertenecientes al conjunto bsico (1) tienen un perodo
comn 2p. Por lo tanto el miembro derecho de (2) es peridico. Concluimos que una serie
de Fourier no solamente representa a la funcin en el intervalo p < x < p, sino que
tambin da una extensin peridica de f fuera de este intervalo. Ahora podemos aplicar
el teorema 10.1 a la extensin peridica de f, o podemos suponer de partida que la
funcin dada es peridica de perodo 2p (esto es, f(x+2p) = f(x)). Cuando f es continua a
trozos y las derivadas por la derecha y por la izquierda existen en x = -p x = p,
respectivamente, entonces la serie (8) converger al promedio [f(p-) + f(-p+)]/2 en estos
puntos extremos, y a este valor extendido peridicamente a 3p, 5p, 7p, etc.
EJEMPLO
La serie de Fourier (13) converge a la extensin peridica de (12) en todo el eje x. Los
puntos, dados en la figura 10.2 representan el valor:
f (0 ) f ( 0 )
2
2
En 0, 2, 4, .En , 3,5,, la serie converger al valor
f ( ) f ( )
0.
2
Esto es, si x es un punto en el intervalo y h<0,
definimos
f ( x) lim f ( x h), f ( x) lim f ( x h).

h 0
h 0
PGINA 10
10.2.2 Serie de cosenos y serie de senos
Funciones pares y funciones impares El lector recuerda que una funcin f es par si f(x) = f(x). Y si f(-x9 = -f(x), entonces la funcin es impar.
EJEMPLO
(a) f(x) = x2 es par puesto que

F(-x) = (-x)2 = x2 = f(x).
(b) f(x) = x3 es impar puesto que
F(-x) = (-x)3 = -x3 = -f(x).
Tal como se ilustra en las figuras 10.3 y 10.4, el grfico de una funcin para es simtrico
con respecto al eje y, y el grfico de una funcin impar es simtrico con respecto al origen.
PGINA 11
EJEMPLO
Puesto que cos(-x) = cos x y sen (-x) = -sen x, el coseno es una funcin par y el
seno es una funcin impar.
Propiedades de las funciones pares e impares
Las demostraciones de las propiedades siguientes se dejan como ejercicio.
I. El producto de dos funciones pares es par.

II. El producto de dos funciones impares es par.
III. El producto de una funcin par por una impar es impar.
IV. Si f es par, entonces
V.
Si f es impar, entonces
f ( x )dx 2 f ( x ) dx.
0
f ( x ) dx 0.
Serie de cosenos y serie de senos
Si f es una funcin par en p < x < p, considerando las propiedades precedentes, se tiene
que los coeficientes (9), (109 y (11) se transforman en:
a0
an
1
p
f x cos
1 p
2 p
f x dx f x dx
p
p
p 0
n
2
xdx
p
p
f x cos
n
xdx
p
PAR
PGINA 12
bn
1
p
f x sen
n
xdx 0
p
IMPAR
Anlogamente, cuando f es impar en el intervalo p < x < p,

an = 0, n = 0, 1, 2,, bn
2
p
f x sen
n
xdx
p
Resumimos los resultados:
La serie de Fourier de una funcin par en el intervalo p < x < p es la serie de cosenos:
a0
n
an cos
x ,
2
p
n 1
f ( x)
a0
Donde
an
2
p
(14)
2 p
f x dx
p 0
f x cos
(15)
n
xdx.
p
(16)
La serie de Fourier de una funcin impar en el intervalo p < x < p es la serie de senos:
n
f ( x ) bn sen
x ,
p
n 1
Donde
bn
2
p
f x sen
n
xdx.
p
(17)
(18)
EJEMPLO
PGINA 13
Desarrolle f(x) = x,
-2 < x < 2. En serie de Fourier.
(19)
Solucin: Desarrollamos f en una serie de senos, puesto que un examen de a figura 10.5
muestra que la funcin es impar en el intervalo -2 < x < 2. Con la identificacin 2p = 4, o p
= 2, podemos escribir (18) como Para 0(x) = 1, obtenemos de (2)
bn
x sen
n
xdx.
2
Entonces, integrando por partes resulta:
bn
Por lo tanto,
f ( x)
4( 1) n 1
.
n
( 1) n 1
n
sen
x ,
n
2
n 1
(20)
EJEMPLO
La funcin (19) del ejemplo precedente satisface las condiciones del teorema 10.1. Por lo
tanto la serie (20) converge a la funcin en -2 < x < 2 y a la extensin peridica (de
perodo 4) dada en la figura 10.6.
PGINA 14
Desarrollos para funciones definidas en medio intervalo (o medio rango)
En la discusin precedente se consider que la funcin f estaba definida en un intervalo

cuyo punto medio era el origen, esto es, -p < x < p. Sin embargo, en muchos casos nos
interesa representar, mediante una serie trigonomtrica, una funcin que slo est
definida en 0 < x < L. Esto puede hacerse de muchas maneras diferentes dando una
definicin arbitraria de la funcin para el intervalo L < x < 0. Para ser breves,
consideraremos los dos casos ms importantes, conocidos como desarrollos en medio
intervalo.
Si y = f(x) est definida en 0 < x < L,
(i) refleje el grfico de la funcin respecto al eje y, para L < x < 0.

Ahora la funcin es par en L < x < L. Use (14) con p = L.
O bien:
(ii) refleje el grfico de la funcin respecto al origen, para L < x < 0.
Ahora la funcin es impar en L < x < L. Use (17) con p = L.
Ntese que los coeficientes de las series (149 y 817) slo usan la definicin de la funcin
en 0 < x < p (esto es, la mitad el intervalo p < x < p). Por lo tanto, en la prctica no hay
necesidad real de efectuar las reflexiones descritas en (i) y (ii); si f esta definida en 0 < x <
L, simplemente identificamos el semi-periodo p con la longitud L del intervalo. Las
frmulas para los coeficientes y las series producirn una extensin peridica par, o bien
impar (del periodo 2L), de la funcin original.
EJEMPLO
Desarrolle f(x) = x2,
0 < x < L.
(a) en serie de cosenos

PGINA 15
(b) en serie de senos
Solucin: El grfico de la funcin est dado en la figura 10.7.
(a) Tenemos
a0
2 L 2
2 2
x dx L ,
L 0
3
E integrando por partes,
an
Lx 2 sen
n
2
x cos
xdx
L
L
2
n
x
L
f ( x)
L2
4 L2
3
2
n 1
2L
n
xsen
xdx
Lx cos
x
4
L
L
an
n
n
n
Por consiguiente :
n
4 L2 ( 1) n
cos
xdx
.
L
n 2 2
( 1) n
n
cos
x.
n2
L
(b) En este caso

bn
2
n
x 2 sen
xdx
L
L
Despus de integrar por partes obtenemos
bn
2 L2 (1) n1
4 L2
n
3 3 1 1 .
n
n
Por lo tanto,
PGINA 16
f ( x)
2 L2
n 1
1 n1
n
2
n
(1) n 1 sen
x.
3
n
L
Hacemos notar que las series en (a) y (b) del ejemplo precedente convergen a la
extensin peridica par y a la extensin peridica impar de f dadas en las figuras 10.8(a) y
10.8(b) respectivamente.
ECUACIONES DIFERENCIALES PARCIALES
Caso parablico
Si se tiene una ecuacin diferencial parcial de segundo orden lineal.
En la cual
A4C = 0, esta se puede llevar bajo la transformacin a fin.
PGINA 17
A su forma canonca
Donde F es una relacin de estas cuatro
variables.
As basta hacer un estudio de este caso para las ecuaciones parablicas.
Lo que haremos es esta seccin es estudiar un caso particular de este (es decir,
cuando (F = 0) en dos formas, la solucin analtica y su solucin numrica y las
comparemos. Para esto empezaremos con el problema:
Este problema es llamado un problema mixto, es decir es un problema de valores

en la frontera (para la variable x), dado por la tercera lnea de [1] y es un
problema de Cauchy (o valores inciales para la variable t) dado por la cuarta
lnea en [1].
Usaremos el mtodo de separacin de variables para obtener soluciones para el
problema de valores en la frontera y luego el principio de superposicin para
encontrar una general.
As asumimos que u (t, x) tiene la forma (la cual no es trivial)
[2]
Al remplazar [2] en la segunda lnea de [1] obtenemos
[3]
La idea crucial en este mtodo es reducir el problema de valores en la frontera a

un sistema de ecuaciones diferenciales ordinarias (desacoplado) junto con
condiciones inciales o de frontera el cual esperamos poder resolver.
Ahora al separar las variables en [3] obtenemos
PGINA 18
[5]
Donde
inicialmente puede ser una constante compleja.
As obtenemos los siguientes problemas, la EDO es la variable t

[6]
Y la EDO en la variable x
[7]
Ahora cuando imponemos las condiciones de frontera [1] es decir
Y de forma anloga
Con lo cual ya sabemos solucionar por ecuaciones ordinarias, para esto primero
veremos que
debe ser positivo.
Esto es
Obtenemos:
+
PGINA 19
As
Como
Obtenemos
[9]
como buscamos una solucin trivial y continua para x(x) entonces
ahora,
As fuera cero x(x) = 0 y as x(x) seria constante, pero
como
x(0) = 0 entonces x = 0 y as u = 0 por lo tanto
>0
Ahora volviendo a la EDO [8] es decir

X(x)+ x(x) = 0
M2 +
M = +-
=0
Escribimos la ecuacin auxiliar y as

resolviendo obtenemos las races
= +-
por lo tanto la solucin de x
Ahora con las condiciones de frontera es [8] obtenemos
PGINA 20
Obtenemos
Pero como B 0 (de lo contrario u(x,t) = 0)

necesitamos que
y as los valores que puede tomar

As para cada valor
tenemos
y para cada uno de estos una solucin de [8]
Xk as:
Ahora resolveremos el problema [6] para estos valores de
Y as tenemos las soluciones

Tk(t) =
[11]
Combinando [2], [10] y [11] obtenemos una familia de soluciones para [1]
As
Y usando el principio de superposicin
Ahora necesitamos ver quines son los coeficientes b k y ver que estos no daen la
convergencia de la serie [12].
PGINA 21
Para ver quines son, usamos la condicin inicial es el problema [1]
As nuestro problema se reduce a ver la funcin f como una serie en senos.

Para despejar los bk usamos las relaciones de ortogonalidad de los senos es decir
multiplicamos (en el sentido de producto punto por
y obtenemos:
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.
Ahora veamos un problema especfico. Sea
As en el problema 1 tenemos l = 0 y f(x) = x

Entonces
[17]
Ahora si queremos conocer por ejemplo el valor de la temperatura en t= 3 y x=

0,8
Ahora veamos una solucin numrica para el problema
PGINA 22
Recordemos que este es el problema de medir el calor en cada punto (T,X) de una
barra delgada de la longitud 2, as escogemos una particin en X y otra en T
(dependiendo de la exactitud que se requiera) por ejemplo haremos
Esto crea un conjunto de puntos en el plano (veamos la figura) los cuales

demostraremos por:
Al punto de coordenadas
Donde;
Ahora usando diferencias finitas centradas en bs puntos interiores para

aproximar la derivada espacial (en X) obtenemos.
Y para la segunda derivada
(19)
Y en la variable temporal (en t) usaremos diferencias finitas hacia adelante as
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.
Sustituyendo (18) y (19) en
obtenemos
PGINA 23
Rescribiendo tenemos
(20)
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.
(21)
Y los puntos de frontera obtenemos
Y para los puntos interiores en el tiempo t=1 tendramos:
PGINA 24
Es decir, podemos conocer el estado de la barra en un tiempo futuro si sabemos

su estado en un tiempo anterior, ahora para t=2 tenemos:
PGINA 25
1.5
LAS ECUACIONES DE SCHRODINGER Y DE ONDA
Empezaremos esta seccin con el problema de valor inicial para la ecuacin de

Schrodinger con condiciones de Dirichlet, es decir:
uc2(
i tu
x
2
c(
) y
)
x
=u
u
Donde
) c(
= 0,
=
=0
El problema (1.110) describe el comportamiento de una partcula de mecnica

cuntica en una dimensin confinada al intervalo
y bajo colisiones
perfectamente elstico en x=0 y x=l.

Este modelo es conocido como una partcula en una caja.
Las EDP en (1.77) y (1.110) son muy similares, pero con diferentes propiedades;
para obtener una solucin formal de (1.110) emplearemos el mtodo de
separacin de variables. Que en este caso nos lleva a:
u
iX
=X
T
= -X
=-
i T`
T
T
= T
PGINA 26
=-i
=-i
T
=c
As lleva a:
i T`
T c2 (
=- T
c(
)),
t 0
Y
-X
u
u
= X
de a que
=X
= 0 entonces
=X
=0
0
X
entonces X
=0
=0
Ahora
- X
= X
X
entonces X
=A
X+B
X
=B
+ X
=0
=A=0
l =k
donde k Z+
=
PGINA 27
As lo valores son:
=
Y las soluciones
Xk
= Bk
Ahora como
T
=c
Tenemos para estas

Tk
=ck
Por lo tanto hay soluciones
uk
=bk
y como la ecuacin es lineal y homognea funciona el principio de superposicin

as:
(1.112)
Donde los bk se obtienen as:

u
Multiplicando por:
Tenemos:
PGINA 28
dx = bk
dx
bk=
dx
(1.94)
Esta frmula ya tiene puntos diferentes entre la ecuacin del calor y la de

Schrodinger, la dependencia temporal de las soluciones es dada por un
decaimiento de una exponencial real en el caso del calor y por una exponencial
compleja oscilatoria de valor absoluto en el caso de Schrodinger.
As no es posible mostrar un resultado similar de la proposicin 1.56.
Necesitamos
precisar
la
informacin
coeficientes bk cuando k
acerca
del
comportamiento
de
los
para establecer condiciones para la convergencia de
(1.112).
| b
Si
k 1
(1.113)
El criterio M de Weierstrass implica que la serie (1.112) converge absoluta y

uniformemente sobre
0, 0,
en partculas,
C 0, 0,
satisface las condiciones de frontera en (1.110).

De hecho, (1.112) es tambin definida para t<0 y pertenece a C , 0, .
Este no es el caso de la ecuacin del Calor .
En la conduccin del calor el proceso es irreversible, mientras
el fenmeno
descrito por la ecuacin de Schrodinger el tiempo es reversible.

Adems (1.113) no es suficiente para asegurar que la serie puede ser derivada
termino a trmino.
Para calcular una derivada temporal necesitamos
ix 2 2
t
2
knx
| bk sen
k 1
ix 2 2 2
| 2
2
k b
k 1
PGINA 29
As necesitamos que
x
k 1
bk
Mientras que la derivada con respecto a X necesitamos
kb
k 1
En el siguiente captulo mostraremos que tales condiciones se satisfacen si es

suficientemente suave.
Probaremos resultados de buena colocacin en ciertos espacios de funciones

continuas adems estos resultados
no son bastantes satisfechos, ya que las
soluciones no son tan suaves como las condiciones inciales.

Trabajo adicional es necesario para llegar a este problema.
Notas similares se aplican a la ecuacin de onda.
Consideremos el problema.
c2
o, 0, 0. 0,
t2 t , x c 2 2x t , x ,
t , x 0, 0,
t ,0 t , 0
0, x x
t 0, x x
Donde
t0
c 2 0,
c ' 0,
son datos inciales dados q satisfacen condiciones de
compatibilidad
(0) () (0) () '' (0) '' ()
PGINA 30

En este caso, (t , x ) describe el desplazamiento vertical de una cuerda vibrante
con puntos finales x 0 y x y con estado y velocidad inicial dadas por ( x )
y ( y ) , respectivamente. En cualquier tiempo t la cuerda se localiza (t , x) .
Ahora vamos X(x)T(t) que satisfacen las primeras tres condiciones de (1.114) es
fcil verificar que x es de nuevo determinada por (1.111).
Veamos
t2 (t , x) x( x)T '' (t ) c 2 x '' ( x )T (t ) 2 t2 (t , x )

As
x '' ( x )
T '' (t )
2

x( x) c T ( x )
As
x '' ( x) x ( x)
x (t ,0) x (0)T (t ) 0
x ( 0) 0
x (t , ) x ()T (t ) 0
x() 0
As los eigen valores son:
k 2 2
2
Y la eigen funciones
x k ( x ) Bx
senkx
Ahora para
PGINA 31
T '' (t ) c 2T (t )
Tc 2 ((0, ) [0, ))
t>0
Tenemos
T '' (t ) c 2T (t )
Como
T (t ) A cos
(0, )
ct Bsn ct
Y asi encontramos soluciones correspondientes a los eiegen valores

Tk (t ) A cos
kct
kct
Bsen
Nota la dependencia temporal de estas soluciones es oscilatoria como en el caso

de la ecuacin de Schrodinger.
Se sigue del principio de superposicin y con las mismas dificultades de (1.112)
tenemos:
ckt
ckt
kx
u (t , x) Ak cos
Bk sen
sen
l
l
l
k 1
(1.115)
Derivando formalmente con respecto al tiempo y evaluando en cero tenemos:
kx
u (0, x ) Ak sen
( x)
l
k 1
As:
2
kx
0( x) sen
dx
l 0
l
l
Ak
(1.116)
Y derivando obtenemos:
ck (0) Bk ck
ck (0)
kx
Ak ck
sen
cos
sen
l
l
l
l
l
k 1
t.u (0, x)
t.u (0, x )
k 1
Multiplicando por sen
Bk ck
kx
sen
( x)
l
l
nx
e integrando tenemos:
l
Bk
l.2
kx
( x) sen
dx
ckl 0
l
Bk
2
kx
( x) sen
dx
ck 0
l
PGINA 32
Ecuacin (1.117)
Como en el caso de la ecuacin de Schdingers, la convergencia de la serie
depende del comportamiento de los coeficientes Ak y Bk , adems, en este caso
podemos usar las identidades trigonomtricas:
1
sena. cos b sen(a b) sen(a b)
2
1
sena.senb cos( a b) cos(a b)
2
Reescribiendo
u (t , x) Ak cos
k 1
(1.115)
obtenemos:
ckt
kx
ckt
kx
sen
B k sen
sen
l
l
l
l
1
ckt kx
kx ckt
sen
sen
l
l
u (t , x) Ak
k 1
u (t , x) Ak cos
k 1
u (t , x)
1
kx ckt
kx ckt
B k cos
cos
l
l
ckt
kx
ckt
kx
sen
B k sen
sen
l
l
l
l
1
k
x ct sen k x ct
Ak sen
2 k 1
l
k
x ct cos k x ct
Bk cos
l
1
x ct x ct Bk cos k x ct cos k x ct
2
l
l

k 1
Ecuacin (1.118)
u (t , x)
Pero (1.117) sugiere:

Definiendo:
x
( x)
1
( y )dy
c 0
Tenemos:
1 ckt
ky
( x)
Bk sendy
dy
c k 1 l
l
0
x
kx

( x) Bk cos
1
l

k 1
kx
( x) Bk cos
Bk
l
k 1
k 1
B
k 1
cos
kx
B
k 1
( x)
PGINA 33
As (1.118) queda:
u (t , x )
1
x ct x ct
2
B
k 1

( x ct )

B
k 1
( x ct )
1
x ct x ct ( x ct ) ( x ct )
2
x ct
1
1
u (t , x ) x ct x ct
( y )dy
2
2c x ct
u (t , x )
Ecuacin (1.120)
Se sigue prescindiendo de la convergencia de las series (1.116) y (1.117) si
podemos extender y a la recta completa de manera adecuada, se puede
mostrar que (1.120) es solucin de (1.114)
1.6 PROBLEMA DE DIRICHLET EN EL CRCULO UNITARIO

En esta seccin trataremos con un interesante problema, es decir:
en
u=0
(1.57)
u / d g
Cuando 2 es una bola abierta.

Es fcil verificar que la EDP (1.57) es invariante bajo traslaciones, as que sin
prdida de generalidades podemos asumir que es centrada en el origen, adems
si tiene radio p>0 tomando el cambio de variable r
v
podemos asumir sin
p
prdida de generalidad que 1

Debido a la simetra circular de este problema, es conveniente trabajar con
coordenadas polares.
_
Si ( x1 , x 2 ) , escribimos:
PGINA 34

( x1 , x 2 ) ( r cos , rsen )
r [0,1]
Entonces, si u es solucin de (1.57), sea

v ( r , ) u ( r cos , rsen ).
_
c
Ya que u c 2 () c () , tenemos que v c ((1,1) x) c ([0,1] x)
Adems para cada r [0,1] la funcin v (r ,0) es continua y satisface

v( r , ) v(r , 2 ) para todo ( r , )t[0,1] x (1.123)
Este tipo de condicin es muy importante y merece una definicin.

Definicin 1.70
Una funcin f e se dice peridica con periodo t 0 si f ( x T ) f ( x) x
Estudiaremos las funciones peridicas en la seccin 2.1
Proposicin 1.71
Sea
f : e una funcin peridica con periodo T y supongamos que f es
integrable en cualquier intervalo finito. Entonces, para cualquier a
a T
f ( x ) dx
f ( x ) dx
Ahora usando el luplaciano en coordenadas polares
u (r cos , rsen )
d 2 v 1 d 2 v 1 dv
r dr
dr 2 r r 2
Obtenemos:
v c 2 ([0,1]x) c ([0,1]x)
v (r , 2 ) v (r , )
( r , ) [0,1] x
PGINA 35
d 2v
dv
d 2v
r
(r , ) r (r , )
0
dr
dr 2
d 2
2
v (1, ) h( ) g (cos , sen )
( r , ) [0,1] x
(1.124)
Buscaremos solucin de la forma R ( r ) ( ) as que

r 2 R 2 (r ) rR (r ) 2 ( )
R(r )
( )
Adems, lo llevamos a los problemas
R c 2 ([0,1]) xc([0,1])
r 2 R 2 ( r ) rR ( r ) R (r ) 0
(1.125)
c 2 ()
( 2 ) ( )
(1.126)
( ) ( )
2
La ecuacin diferencial en (1.126) es la misma de (1.83) la diferencia entre los dos

problemas es que aqu la funcin desconocida satisface condiciones de frontera
de periodicidad ( 2 ) ( ) , para todo. Como antes, los valores de Para
los
cuales existen
soluciones correspondientes
son
sus eigen
funciones
correspondientes a los eigen valores .

El espacio generado por la eigen funciones pertenecientes a el eigen valor es
llamado eigen espacio asociado a .
El problema (1.126) es llamado problema de eigen valor para el operador
diferencial
d
con condiciones en la frontera peridicas.
d 2
PGINA 36
Un argumento similar al empleado en la demostracin del lema 1.54 y el corolario

1.55 implica los siguientes resultados
Lema 1.72
Sea
peridica con periodo 2 , entonces
COROLARIO
Sea un eigen valor de (1.126). Entonces
Ahora estamos en posicin de obtener soluciones no triviales de (1.126)
Proposicin 1.74
Los eigen valores de (1.126) son nmeros
Los correspondientes eigen funciones son
(1.127)
Donde
son contantes arbitrarias diferentes de cero
Demostracin:
Primero, si
es un eigenvalor. Cualquier constante diferente de cero es
2 periodica y soluciona la ecuacin diferencial en cuestin.

Si
las funciones
son soluciones linealmente independientes
de
, as la solucin general es dada por:
PGINA 37
(1.128)
Imponiendo las condiciones de frontera
Para todo
Ya que
se sigue
son linealmente independientes sobre
obtenemos
(1.129)
Para obtener soluciones no triviales en (1.128) por lo menos uno de los
coeficientes en (1.128) no es cero.
Al ver (1.129), elegimos
as
asi necesitamos que
. En este caso la segunda condicin en (1.129) tambin se
satisface con B arbitrarias no nulas.

Adems, a cada eigen valor
le corresponde dos eigenfunciones
linealmente independientes
(1.130)
Note que los eigen espacios asociados a los eigen valores

dimensionales. Por otra parte, en el caso
son dos
el eigenespacios es
unidimensional y es generado por
PGINA 38
Ahora para (1.125). En vista de lo anterior tenemos
(1.131)
Proposicin 1.75
Las soluciones no triviales de (1.131) son
(1.132)
Donde
son constantes arbitrarias no nulas.
Nota: no est hecha la del Iorio pg. 59 ya que no la entend para esta utilice el
ejercicio 38 pag. 176 Nayle cuarta edicin.
Consideremos
Usemos la sustitucin
As
Ahora por regle de la cadena obtenemos
PGINA 39
As la ecuacin toma la forma
Tomando la ecuacin auxiliar

Tenemos las soluciones
Y de aqu obtenemos soluciones
como son linealmente independientes ya que
( 11
Tenemos soluciones generales
+D -
donde D+ , D- son constantes arbitrarias ya que

y buscamos soluciones con
entonces los D-=0

As
Si k=0 nos queda (I.I3I) como
Usando la misma sustitucin
obtenemos
Y as
Ya que
PGINA 40
As queda probado.
Recordemos que
Y por el principio de superposicin obtenemos

(I.I34)
Notemos que la serie converge para
Imponemos la condicin de frontera

(I.I35)
Adems necesitamos una funcin continua peridica en series de Fourier con
exponenciales complejas.
Las relaciones ortogonalidad para las exponenciales implican que los coeficientes
estn dados por:
(1.136)
Como veremos en la seccin 2.2 del siguiente captulo, podemos escribir una
serie en senos o cosenos como una serie exponencial.
Por esta razn de ahora en adelante nos referiremos a la parte derecha de la
ecuacin (1.135) con los coeficientes
definidos en (1.136) simplemente como
la serie de Fourier generada por la funcin dada.

Mostraremos primero que la funcin v definida por (1.134) satisface la ecuacin
diferencial en [0,1) x R.
PGINA 41
Teorema 1.76 Sea (r,)
[0,1) x R y sean Cx dados por (1.136). Entonces la serie
en
(1.134) converge absoluta y
uniformemente sobre cualquier disco cerrado {(r,):

Adems, la funcin
} con
([0,1) x R) satisface:
[0,1) x R (1.137)
Demostracin
Ya que h es una funcin continua, tenemos:
Adems, la
termino a termino en la serie y sumando obtenemos:
Falta demostracin
Como
ya que
Satisface
Veamos
Para todo
La convergencia establece que
PGINA 42
Como en el problema del flujo del calor en una barra, podemos escribir la
solucin formal v en trminos de un operador integral.
COROLARIO 1.77 Sea (r,) [0,1)x IR y sea Cx como en (1.136)
Entonces la funcin v, definida en (1.134) puede reescribirse en la forma:
(1.138)
Donde
Ncleo de Poisson
P(r, )
(1.139)
Es el ncleo para el disco unitario

Demostracin:
Ya que la serie en (1.134) converge uniformemente sobre los discos cerrados
contenidos en:
= { ( r, ) : r < 1} podemos cambiar la serie y la integral para obtener :
V( r, ) =
PGINA 43
Ahora veamos,
As tenemos,
La segunda expresin en (1.138) es un simple cambio de variables y se usa la

periodicidad de la funcin.
PGINA 44
Ahora mostraremos algunas propiedades del ncleo de Poisson

Proposicin 1.78
Para cada r fijo r
Adems, P
[0,1). P ( r ) es peridica de perodo 2.
( [0,1)
|R ) y satisface:
en [0,1)
|R
(1.140)
PGINA 45

Ecuaciones Diferenciales Parciales Reparado

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Ecuaciones Diferenciales Parciales Reparado

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

ECUACIONES DIFERENCIALES EN DERIVADAS PARCIALES

Definicin de funciones ortogonales y sus propiedades

Construccin de las Series de Fourier y sus formas de presentacin

Teora de ecuaciones diferenciales parciales

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

DEFINICIN 10.2 Un conjunto de funciones de valores reales,

0 (x), 1 (x), 2 (x), . . . ,

Se dice ortogonal en un intervalo a x b si* 1

Se le llama norma cuadrada y

El trmino ortogonal y la condicin (1) no tienen significado geomtrico.

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

Es la norma de la funcin n(x). Cuando ||n(x)|| = 1 para n = 0,1,2,, el conjunto {n(x)}

Solucin: Si hacemos la identificacin 0(x) = 1 y n(x) = cos nx, entonces debemos

n>0, mn. En el primer caso tenemos:

Y en el segundo caso tenemos:

Solucin: Para 0(x) = 1, obtenemos de (2)

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

2 . Para n ( x ) cos nx, n 0, se tiene

As, para n>0, n ( x )

2) Serie De Fourier Generalizada

Supongamos que {n(x)} es un conjunto ortogonal infinito de funciones en un intervalo a

F(x) = C00(x) + C11(x) + + cnn(x) + ?

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

Multiplicando (3) por m(x) e integrando sobre el intervalo resulta

f ( x) m ( x ) dx C 0 0 ( x ) m ( x) dx C1 1 m ( x ) dx ... C n m ( x) n ( x )dx ...

Por ortogonalidad, cada termino en el miembro derecho de la ltima ecuacin es cero

Se deduce que los coeficientes requeridos son:

La serie (4) con coeficientes (5) se llama serie de Fourier generalizada.

10.2 Series trigonomtricas

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

10.2.1 Serie de Fourier

Es ortogonal en el intervalo -p x p. supongamos que f es una funcin definida en el

Integrando ambos miembros de (2) entre p y p resulta:

Puesto que casa una de las funciones cos nx p , sen nx p , n 1, es ortogonal a 1 en el

Ahora bien, multiplicando (2) por cos mx p e integrando resulta:

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

De modo que (5) se reduce a:

Finalmente, si multiplicamos (2) por sen

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

A la serie trigonomtrica (2), con coeficientes a0 , an y bn definidos en (4), (6) y (7),

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

En forma anloga, de (11) obtenemos que

Convergencia de una serie de Fourier

El siguiente teorema da condiciones suficientes para la convergencia de una serie de

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

Esto es, si x es un punto en el intervalo y h<0,

f ( x) lim f ( x h), f ( x) lim f ( x h).

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

10.2.2 Serie de cosenos y serie de senos

(a) f(x) = x2 es par puesto que

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

Propiedades de las funciones pares e impares

Las demostraciones de las propiedades siguientes se dejan como ejercicio.

I. El producto de dos funciones pares es par.

Serie de cosenos y serie de senos

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

Anlogamente, cuando f es impar en el intervalo p < x < p,

Resumimos los resultados:

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

-2 < x < 2. En serie de Fourier.

Entonces, integrando por partes resulta:

UNIVERSIDAD NACIONAL DE CAJAMARCA SEDE-JAEN

Desarrollos para funciones definidas en medio intervalo (o medio rango)