CAPITULO 10

Ecuaciones diferenciales en derivadas parciales

Introduccin

En el captulo anterior, 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 los 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

Ecuaciones Diferenciales Parciales Separables

Teora de ecuaciones diferenciales parciales

o Solucin analtica

Variables separables

o Solucin numrica

Elementos finitos

10.1 Funciones ortogonales

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.

La idea es generalizar lo que se ha aprendido en algebra lineal para espacios vectoriales de

dimensin finita y extenderlo a espacios de funciones, por ejemplo, en vectores de R 2 definimos el
producto punto entre estos como el producto componente a componente y sumando estos
resultados; de la misma forma definimos un producto punto en funciones multiplicando componente
a componente y sumando los resultados, sin embargo la idea de sumar en funciones es integrar.

Nota: Recordemos que en R2 el producto punto nos de una nocin de Perpendicularidad, as si

U.V=0 se tiene que los vectores son perpendiculares y en general en R n dos vectores cuyo
producto punto sea cero se dicen ortogonales, llevando esta misma definicin al caso de las
funciones tenemos

Antes de comenzar formalmente a escribir sobre funciones ortogonales; observemos como

paralelamente a las definiciones hechas en podemos extenderlas a definiciones en funciones.
2

DEFINICIN 10.1: Definicin: Sean U (u1 , v1 ) y V (v1 , v 2 ) elementos que pertenecen a 2 ;

definimos producto punto U .V como

U .V u1* * v1 u 2 * v2 [1]

2
Definimos norma de U como U U .U U

Y as definimos que dos vectores son ortogonales si U .V 0 ;( la interpretacin geomtrica: es

que los vectores son perpendiculares) de lo cual escribimos las siguientes propiedades:

i-) U 0 si y solo si U 0

ii-) c.U c.U

iii-) U V U V

Podramos extender estas definiciones a operaciones con funciones de la siguiente manera:

Sean 1 , 2 ,..., n funciones definidas en el intervalo x , definimos:

Nota: la nocin que se trabaja aqu de ortogonal es una generalizacin de perpendicularidad, sin
embargo, la nocin geomtrica de esta es espacios vectoriales de dimensin superior se pierde
DEFINICIN 10.2 Dos funciones m y n se dicen ortogonales en un intervalo a < x < b si

b
a
1 ( x )2 ( x) dx 0

EJEMPLO

1 ( x ) x 2 y 2 ( x) x 3 son ortogonales en -1 x 1 ya que

1
1 ( x) 2 ( x)dx
1

1
x 2 x 3 dx
1 6
6
x 1
1
1
6

1 (1) 6 0

DEFINICIN 10.2: Un conjunto de funciones de valores reales,

1 ( x ), 2 ( x ),..., n ( x )

Se dice ortogonal en un intervalo a x b si;

a
b
m ( x )n ( x ) dx 0 ,
0 ,
m n
m n. (1)

b
n2 ( x ) dx
2
Al nmero positivo n ( x ) (2)
a

Se le llama norma cuadrada y

b
n ( x) a
n2 ( x) dx

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.

Al igual que en el caso vectorial de 2 tenamos la norma de un vector que geomtricamente

representaba la magnitud de el vector

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

0 ( x)n ( x) dx 0, n>0 y que

m ( x)n ( x) dx 0, m>0, n>0, mn. En el
primer caso tenemos:
 1


0 ( x )n ( x ) dx cos nx dx


n
sen n x

1
sen nx sen(n ) 0, n 0,
n

Y en el segundo caso tenemos:

0 ( 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
0, mn
2 mn 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)

dx 2 .
2
0 ( x)

2
de modo que 0 ( x ) 2 .

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

cos 2 nx dx
2
n ( x)

1
1 cos 2 nx dx .
2

As, para n>0, n ( x ) .

Cualquier conjunto ortogonal de funciones n ( x) , n 0,1,2,3... 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

1 cos x cos 2 x
, , ,... Es ortonormal en - x
2

Volvamos nuevamente a 2 y tomemos dos elementos; que cumplen una propiedad importante,
para este ejemplo, U 1 (1,1) y U 2 (1,1) , que son vectores ortogonales en 2 ;
tomemos un elemento cualquiera que pertenece a 2 , y observemos que este elemento se
puede escribir como una combinacin lineal de U 1 y U 2 ; es mas, cualquier elemento se puede
escribir como combinacin lineal de estos dos (Esto que significa?).

(7,1) c1 (1,1) c 2 (1,1) , si queremos despejar c1 , multiplicamos a ambos lados por un

vector que me anule a c 2 ; es decir, por (1, 1) , ya que por ser ortogonales el producto punto
es cero.

Operando tenemos que (7,1).(1,1) c1 (1,1).(1,1) c 2 (1,1).(1,1)

Luego (7) * (1) (1) * ( 1) c1 (1)(1) ( 1)(1) c 2 (0)

6
Entonces c1 3
2

De manera anloga, para hallar c 2 multiplicamos por (1,1) y obtenemos c 2 4

Insertar grafica

Serie de Fourier generalizada

Tomemos ahora un conjunto de funciones en particular

1, cos( x), cos(2 x), cos(3 x),..., cos(nx),..., sen( x), sen( 2 x),...sen( mx ),... , El cual es
ortogonal en p x p .

Definamos

a0
f ( x) a1 cos(x) a2 cos(2 x) ... an cos(nx) ... b1sen( x) b2 sen(2 x) ... bm sen(mx) ...
2
(1)
Aplicando el mismo procedimiento utilizado en el ejemplo anterior, si queremos saber el valor del
coeficiente an , multiplicamos a ambos lados por cos(nx ) y utilizando la ortogonalidad definida
en funciones, cada termino en el miembro derecho de la ltima ecuacin es cero excepto m = n. En
este caso tenemos:

p p p p
a0
p
f ( x) cos(nx) dx p 2 cos(nx)dx pa1 cos( x) cos(nx)dx pa2 cos(2 x) cos(nx)dx ...
p p p

p
an cos(nx) cos(nx)dx a1sen( x) cos(nx)dx
p
a
p
2 sen( 2 x) cos(nx) dx ...

p
a m sen( mx) cos(nx)dx ...

p p

p
f ( x) cos(nx)dx a p
n cos(nx) cos(nx) dx

Despejando an obtenemos

p p

f ( x) cos(nx)dx f ( x) cos(nx)dx 1
p

f ( x) cos(nx)dx
p p
an an (2)
p

cos(nx) cos(nx)dx
p

De manera similar obtenemos bn ; multiplicando a ambos lados por sen(nx )

p
1
bn
p
f ( x) sen(nx)dx (3)

1
f x dx.
p
Y el trmino independiente a0
p p
(4)

Luego en trminos generales la funcin queda as:1

a0
n n
f ( x) a n cos x bn sen x . (5)
2 n 1 p p

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

respectivamente, se le llama serie de Fourier de la funcin f.2 A veces, a los coeficientes se
les llama coeficientes de Euler.

1
Hemos elegido escribir el primer coeficiente en la serie (5) como a 0 2 en lugar de escribirlo como a 0 . Esto se hace slo por
conveniencia; la frmula para a n se reducir entonces a a 0 cuando n 0.
2
Debe su nombre al matemtico francs J. Fourier (1768 1830), quien us dicha serie en sus investigaciones sobre la teora del
calor.
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 (5) y la posterior
determinacin de los coeficientes correspondientes a esta suposicin fueron, ambas, estrictamente
formales. Supusimos que f era integrable en el intervalo y que tanto (5) como las series obtenidas
mx mx
multiplicando por cos y sen convergan de tal manera que se poda integrar trmino a
p p
trmino. Mientras no se demuestre que, para una funcin dada, f, (5) converge, el signo igual es
usualmente reemplazado por el smbolo .

EJEMPLO

x 0
f ( x)
0,
Desarrolle x,
0 x (12)

Solucin: El grafico de f se da en la figura 10.1. Con p = , por (9) y (10) tenemos que:

1 1 0 1 x2
0dx x dx x

a0 f x dx ,
0 2 0 2

1
an f x cos nx dx

y
1 0 0dx x cos nx dx
0


1 sen nx

1
x sen nx dx
n 0 n 0

1 cos nx cos n 1 1 (1) n
.
n n 0 n 2 n 2
- x
Figura 10.1 En forma anloga, de (11) obtenemos que

1 1
bn
x sen nx dx n
0

1 (1) n 1
Por lo tanto, f ( x ) cos(nx) sen( nx) (13)
4 n 1 n 2
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:

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.3

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
3
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).

h0 h 0
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.
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.
a a
IV. Si f es par, entonces f ( x )dx 2 f ( x ) dx.
a 0
a
V. Si f es impar, entonces a
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:

1 p 2 p
a0 f x dx f x dx
p p p 0

1 n 2 n
f x cos f x cos
p p
an
p
p p
xdx
p
0 p
xdx

PAR

1 n
f x sen
p
bn
p
p p
xdx 0
 IMPAR

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

2 n
f x sen
p
an = 0, n = 0, 1, 2,, bn
p
0 p
xdx

Resumimos los resultados:

La serie de Fourier de una funcin par en el intervalo p < x < p es la serie de cosenos:

a0
n
f ( x) an cos x , (14)
2 n 1 p

2 p
f x dx
p 0
Donde a0 (15)

2 n
f x cos
p
an
p 0 p
xdx.

(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 , (17)
n 1 p

2 n
f x sen
p
Donde bn
p
0 p
xdx. (18)

EJEMPLO

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)
 2 n
bn
0
x sen
2
xdx.

Entonces, integrando por partes resulta:

4( 1) n1
bn .
n

4
(1) n 1 n
Por lo tanto, f ( x)


n 1 n
sen x ,
2
(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.

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

(b) en serie de senos

Solucin: El grfico de la funcin est dado en la figura 10.7.

(a) Tenemos

2 L 2 2 2
a0
L 0
x dx L ,
3
E integrando por partes,
 n
L
Lx 2 sen x
2 n 2 2L n
xdx
L L
L
an
L
0
x 2 cos
L
xdx
L n

n
0
xsen
L

0

n L
Lx cos x
4 L n 4 L2 ( 1) n
L xdx
L
an
n

n

n
0
cos
L n 2 2
.

0
Por consiguiente :
L2 4 L2
( 1) n n
f ( x)
3

2

n 1 n2
cos
L
x.

(b) En este caso

2 n
bn
L x 2 sen
L
xdx

Despus de integrar por partes obtenemos

bn
2 L2 ( 1) n1
n
4 L2
3 3 1 1 .
n
n

Por lo tanto,

1 n1

n

2 L2 2
f ( x)


n 1 n
3 3 (1) n 1 sen
n L
x.

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.
 10.2 Ecuaciones Diferenciales Parciales Separables

Las ecuaciones diferenciales que contienen derivadas parciales se llaman Ecuaciones

Diferenciales Parciales (EDP) y aparecen frecuentemente en problemas de fsica, qumica,
ingeniera, etc.

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 : Introduction to Partial Differential Equations de Donald
Greenspan.

La forma general de una Ecuacin diferencial parcial, lineal de orden 2 es:

2u 2u 2u u u
A B C D E Fu G
x 2 xy y 2 x y

Donde los coeficientes A,B,C,D,E,F,G son funciones que estn en trminos de x y y; 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 2u u
U xx U yy U yx U xy Ux
x 2 y 2 xy yx x
u
Uy
y
Observemos algunos ejemplos de EDO homogneas y no homogneas:

2u
Ux homognea
x 2

U xx 3U xy 2U yy U x 0 homognea

2u
k U y , k 0 homognea
x 2

2u 2u
a2 5 No homognea
x 2 y 2

Mtodo de solucin de Separacin de Variables

Como se dijo anteriormente; solamente trabajaremos EDP en variables separables.

Inicialmente escribiremos la forma de la solucin, que es U ( x, y ) X ( x )Y ( y )

, donde el
primer factor esta en trminos de x y el segundo factor en trminos de y; adicionalmente
definiremos las primeras y segundas derivadas as:

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
Dada la siguiente EDP, U resolverla
x 2 y 2

Resolver

Tenemos tres tipos de solucin:

a. Cada expresin igualada a un nmero positivo 2

b. Cada expresin igualado a un nmero negativo - 2

c. Cada expresin igualado a cero

Resolveremos primero el item a.

x
2 y a la vez
x

y y"
2
y
x 2 x 0

y" y (2 1) 0 ojo falta

Con ecuacin auxiliar Con ecuacin auxiliar

m 2 2 0 m 2 (1 2 ) 0

Cuya solucin es: Cuya solucin es:

 X ( x) c1ex c2e x Y ( y ) c3e 1 2 y
c4e 1 2 y
;0 1

Luego la solucin para el caso positivo es:

1 2 y 1 2 y
X ( x)Y ( y ) (c1ex c2e x )(c3e c4e );0 1

Se deja como ejercicio la solucin para los otros dos casos.

CLASIFICACION

Al trabajar con EDP lineales de orden 2, se presentan tres ecuaciones que son muy importantes
u 2u 2u 2u 2u 2u
k 2 (Calor), 2 a 2 2 ( Onda) , 2 a 2 2 (Laplace), que son ecuaciones
t x t x t x
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

Definiremos el discriminante d B 2 4 AC

Inicialmente tomando la ecuacin del calor se tiene: U t U xx , se tiene que el discriminante

es igual a cero, viendo la forma de la ecuacin del calor notamos una similitud con t x 2
( 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 .

A continuacin tomando la ecuacin de onda se tiene: U tt U xx 0 , se tiene que el

discriminante es mayor que cero, viendo la forma de la ecuacin de onda notamos una
similitud con t 2 x 2 0 ( 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 .

Finalmente tomando la ecuacin de Laplace se tiene: U tt U xx 0 , se tiene que el

discriminante es menor que cero, viendo la forma de la ecuacin de Laplace notamos una
similitud con t 2 x 2 0 ( 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 .

Lo resumiremos en el siguiente cuadro

Hiperblica si B 2 4 AC 0
Parablica si B 2 4 AC 0
Elptica si

Parabolica ; k>0

Hiperbolica

Eliptica

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
U ( x, y ) X ( x )Y ( y ) Donde
Y ( y) Y

As U x X Y U xy X Y U xx X Y U yy XY

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

Considerar una transformacin afn, para esto primero clasificaremos la E.D.P 1 ,la cual tiene
A 1 B 3 C 2 as el discriminante es B 2 4 AC 17 0 es decir la ecuacin es
hiperblica y como A, B, C 0 usamos.

B
V X 2Y
A

B 2 4 AC
W X
A

Asi 1 3 2 17 1 2 2 0

Es decir

V 3 X 2Y
W 17 x

As despejando X , Y tenemos

w
X
17
17V 3W v 3
Y w
2 17 2 2 17

Con esta transformacin afn, buscamos llegar a las nuevas variables de la ecuacin de la onda, la
cual podemos escribir como:
 3 17
U vv U ww Uv Uw 2
17 17

Ya con esta buscamos aplicar separacin de variables

f (v ) f
U (v, w) f (v ) g (v ) As escribimos
g ( w) g

U v f g
U w fg
Reescribiendo
2 llegamos a
U ww fg

3 17
f g fg f g fg
17 17

en la cual es fcil ver, despus de manipular algebraicamente que las variables se pueden separar

3 17
f f g g
17 17
f g

Como vemos la parte izquierda depende exclusivamente de v y la parte derecha de w, asi es

constante, por tanto, llegamos a un sistema desligado de dos ecuaciones diferenciales ordinarias.

3
f f
1 17 C
f

17
g g
2 17 C
g

Trabajamos la parte 1.

3
1 f f Cf 0
17

Llevando a la ecuacin auxiliar

3
m2 mC 0
17
 3 9
41 C
17 289 Lo cual nos lleva a tres casos
m
2

9 9
1. 4C 0 es decir C
289 4 289
As
3 3
m1 m2
4 4
3v 3v

Por lo tanto f v C1e 34
C2 e 34

Y as para 2

17 9
g g g 0
17 1156
Nuevamente con la ecuacin auxiliar llegamos a

26 17 26 17
m1 m2
34 34

Por tanto

26 17
26 17 w
w
g w d1e
34 34

d2e

Por lo tanto

86 17 26 17
3v 3v w
w
d 1 e

U v, w
34 34
C1 e 34
C 2 e 34



d 2e

As usando la transformacin llegamos a

26 17 26 17
3v
3 x 2 y 17 x 17 x
d 1e
3v
U x, y C 2 3 x 2 y 34
3 x 2 y 34 34

C1e
34


d 2e

2. Ahora consideremos cuando

9 9
4C 0 es decir C
289 1156

Las races (de la auxiliar) son reales y diferentes

 3 9 3 9
4C 4C
Sea 17 289 y 17 289
m1 m2
2 2

As las soluciones son

3

9
4C



3 9
4C


17 289 17 289
V V
2 2
v

f C1 e
C2e

Y para la parte que depende de w

17
g g cg 0
17

La auxiliar

17
m2 g Cg 0
17
1
Consideremos solo 4C 0
17 1 17
4C
17 17
m
2

As llegamos a las races m1 y m 2

17

1
4C

17 1
4C


17 17 17 17
w w
2 2
g w

d1e
d 2e

Los otros casos de dejan al lector.



Caso #1 PARABOLICO

Calor

Caso #2 ELIPTICA

Laplace

Caso #3 HIPERBOLICA

Onda

o Si A0, B0, C0 o A0, B0, C=0 o A0, B=0, C0

 o Si A=0, B0, C0

o Si A=0, B0, C=0

ECUACIONES DIFERENCIALES PARCIALES

A continuacin se muestran las deducciones de las tres EDP, ms

utilizadas en la fsica clsica, con sus soluciones analticas y numricas.

Caso parablico (Ecuacin del Calor)

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
 T
de AB en un tiempo t es kAB t , en donde k es un factor de
x
proporcionalidad, llamado en este caso coeficiente de conduccin del
calor. (el signo negativo proviene de la propiedad del calor de tender de
una temperatura alta una temperatura baja).

En la misma forma, el calor que atraviesa la pared DC viene dado por la

T
expresin siguiente: kAC .t
x x x
T
Pero en este caso el valor de debe calcularse en x x .
x

Entonces el calor acumulado entre AB y CD es:

T T
kAB t kDC t
x x x x x
T T
ky t
x x x x x

T T
x
kyt x x x

x x
x
(14)


Por otra parte el calor acumulado entre las paredes BC y AD esta dado por
la expresin siguiente:

T T




y y y y y
kxt y (15)
y




El total del calor acumulado en el elemento es la suma de las cantidades
(14) y (15), es decir:_

T T T T

y

y

x x x x x y y y
kxyt
x y

Con este calor acumulado la temperatura del elemento ABCD aumente

T
Y como el aumento de la temperatura es proporcional a la cantidad del
calor acumulado se obtiene la expresin siguiente:

(cxy ) T
 T T T T

y

y

x x x x x y y y
kxyt
x y (17)




En donde el factor cxy es la capacidad calorfica del elemento y
C es la capacidad calorfica por unidad de superficie. De (17) se recibe
entonces que:

T T T T





T k x x x x x y y y y y
t

c x y (18)




Tomando a x, y y t como infinitsimos, la ecuacin (18) puede
escribirse as:
T 2T 2T k
2 2 2 2 (19)
t x y c

Esta es la Ecuacin de conduccin del Calor , el factor 2 es el

coeficiente de trasmisin del calor .

En tres dimensiones la ecuacin (19) puede generalizarse as:

T 2T 2T 2T
2 2 2 2
t x y z
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
A B C D E Fu G
x 2
xy y 2
x y

Verificamos que se de que B 2 4 AC 0 , esta se puede llevar bajo la

transformacin a fin.

A su forma cannica

U t U xx F (U x ,U , X , t ) Donde F es una relacin de estas cuatro variables.

Nota: Recordemos que se dice parablica ya que su forma cannica tiene

forma de parbola, es decir, U t U xx , va la transformada de Fourier esto
es
S=k2, se escapa del alcance de estas notas, pero la transformada de
Fourier cambia (en algn sentido cambia las derivadas por polinomios) ver
que F ( n x u ) (ik ) n F (u ) donde i es el imaginario solucin de i 2 1 .

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.
No se pretende solucionar analticamente las ecuaciones parablicas, este
ejemplo se desarrolla para mostrar la dificultad de este tipo de solucin y
por esto la necesidad de trabajarlas numricamente.

Para esto comenzaremos con el siguiente problema:

Considere una varilla delgada de longitud l , con una temperatura inicial

f (x ) en toda su longitud y cuyos extremos se mantienen a temperatura
cero durante todo el tiempo ( t 0 ). Si la varilla mostrada en la figura,
satisface las siguientes suposiciones:

El flujo del calor dentro de la varilla toma lugar solo en direccin x

La superficie lateral, o curva, de la varilla est aislada; es decir, el
calor no escapa de la superficie.
No se genera calor dentro de la varilla.
La varilla es homognea; es decir, su masa por unidad de volumen
es una constante.
El calor especfico y la conductividad trmica K del material de la
varilla, son constantes.
y adems se cumplen las condiciones expuestas en la deduccin de la
ecuacin.

Partiendo de la forma general de la ecuacin diferencial parcial

parablica U t U xx U x U tomaremos valores especficos de , y
; de forma que se simplifique la solucin analtica de este problema.

Hallar la temperatura U ( x, t ) en la varilla para 1, 0 y 0 ; es

decir

U C 2 ((0, ) x (0, l ) ojo no entiendo

U t U xx (t , x ) (0, ) x (0, l ) [1]

Condiciones de frontera U (t , o) U (t , l ) 0 ; t0
Condicin inicial U (0, x ) f ( x ) 0 x l

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].

i-) Solucin analtica

Usaremos el mtodo de separacin de variables para obtener soluciones U j
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 (lo cual no es trivial)

U (t , x) T ( x) X ( x) [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

[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]

Nota: el problema 7 obviamente es una ecuacin diferencial, sin embargo

podemos escribirlo como X ' ' ( x) X ( x)
Recordando la notacin de algebra lineal podemos escribir el problema
como A( X ( x)) X ( x)
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 lamnda seria 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

Y de forma anloga

Con lo cual ya sabemos solucionar por ecuaciones ordinarias, para esto

primero veremos que debe ser positivo.

Esto es

Obtenemos:

+
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 Escribimos la ecuacin auxiliar y as

m2 0 resolviendo obtenemos las races

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

Y as X ( x) Bsen y tomando x(l ) 0

Obtenemos

Pero como B 0 (de lo contrario u(x,t) = 0)

necesitamos que

k 2
y as los valores que puede tomar son para cada k Z
l2

As para cada valor k Z tenemos k y para cada uno de estos una

solucin de [8] xk as:

k 2 2
xk Bk sen 2 x (10)
l

Ahora resolveremos el problema [6] para estos valores de

T (t ) T (t ), t 0

T (t )

T (t )
ln T (t ) t
k 2 2
t
T (t ) e l2

Y as tenemos las soluciones

k 2 2
t
Tk (t ) e l2 [11]

Combinando [2], [10] y [11] obtenemos una familia de soluciones para [1]

k 2 2
k
As U k (t , x) bk sen l2
t
x e
l

Y usando el principio de superposicin ( ya que la EDP es lineal)

 k 2 2

k t
U (t , x ) bk sen x e l2 [12]
1 l

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
U (0, x ) bk sen x [13]
1 l

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 el sentido de producto punto por y obtenemos
k
l
2
(reordenando kb f ( y) sen y dy ):
l 0 l
k 2 2
k k
l
2 t
U ( y , x ) f ( y ) sen y dy * sen x e l2
[15]
1 l 0 l l

Siempre y cuando los coeficientes b k caigan lo suficiente para asegurar la

convergencia de esta serie y la de las series formadas al derivar termino a
trmino.

As en el problema 1 tenemos l = 0 y f(x) = x

Entonces
k
1
2(1) k 1
bk 2 xsen( x)dx (17)
0
l k

Ahora si queremos conocer por ejemplo el valor de la temperatura en t= 3

y x= 0,8
Toca verificar si el ejemplo es bueno

Ojo falta cuanto da la solucion

ii-) Solucin Numrica

Para la solucin numrica; tomaremos un ejercicio para que sea mas clara
la explicacin de este mtodo.
Recordemos el problema a solucionar:

U t U xx (t , x) (0, ) x (0, l ) [1]

U (t , o) U (t , l ) 0 ; t 0
U (0, x ) f ( x )
Donde f (0) f (l ) 0

Sea f ( x) x 2 2 x (18)

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
t 0,4 y x 1 Esto crea un conjunto de puntos en el plano (veamos la
figura) los cuales demostraremos por:

u ij al punto de coordenadas

Donde;

Ahora usando diferencias finitas centradas en los 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 U t U xx obtenemos

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:

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:

Ojo falta comparar con el resultado analtico

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( x ) c( x )

2
i tu = u
x
 u =u = 0, t 0

u =

Donde c( ) y = =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 =X T

iX T = -X T

i =- =

i T` = T

=-i

=-i

T =c

As lleva a:

i T` =- T
 T c2 ( ) c( )), t 0

-X = X de a que 0

u =X T = 0 entonces X =0

u =X T =0 entonces X =0

Ahora

- X = X entonces X + X =0

X =A X+B X

X =A=0

X =B l =k donde k Z+

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:

u = (1.112)

Donde los bk se obtienen as:

u = =

Multiplicando por:

Tenemos:

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 acerca del comportamiento de los
coeficientes bk cuando k para establecer condiciones para la
convergencia de (1.112).

Si | b
k 1
k | (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, y
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

knx t ix 2 2 2

| bk sen

2 2 | 2

k b 2
x
k 1 k 1

As necesitamos que x
k 1
2
bk

Mientras que la derivada con respecto a X necesitamos

kb
k 1
k

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 t0

0, x x c 2 0,

t 0, x x c ' 0,

Donde y son datos inciales dados q satisfacen condiciones de

compatibilidad

(0) () (0) () '' (0) '' ()

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
k
2

Y la eigen funciones

senkx
xk ( x ) B x

Ahora para

T '' (t ) c 2T (t ) t>0 Tc 2 ((0, ) [0, ))

Tenemos

T '' (t ) c 2T (t ) Como (0, )

T (t ) A cos ct Bsn ct

Y asi encontramos soluciones correspondientes a los eiegen valores

kct kct
Tk (t ) A cos 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 (1.115)
k 1 l l l
Derivando formalmente con respecto al tiempo y evaluando en cero tenemos:

kx
u (0, x) Ak sen ( x)
k 1 l
As:
kx
l
2
Ak 0( x) sen dx (1.116)
l 0 l
Y derivando obtenemos:

Ak ck ck (0) B k ck ck (0) kx
t.u (0, x) sen cos sen
k 1 l l l l l

Bk ck kx
t.u (0, x ) sen ( x)
k 1 l l

nx
Multiplicando por sen e integrando tenemos:
l
kx
l
l.2
Bk
ckl 0
( x) sen
l
dx

kx
l
2
Bk
ck 0
( x) sen
l
dx

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 (1.115) obtenemos:

ckt kx ckt kx
u (t , x ) Ak cos sen Bk sen sen
k 1 l l l l
1 ckt kx kx ckt 1 kx ckt kx ckt
u (t , x ) Ak sen sen Bk cos cos
k 1 2 l l 2 l l

ckt kx ckt kx
u (t , x ) Ak cos sen Bk sen sen
k 1 l l l l
k
u (t , x )
1


Ak sen x ct sen k x ct Bk cos k x ct cos k x ct
2 k 1 l l l l

x ct x ct Bk cos k x ct cos k x ct

1
u (t , x )
2 k 1 l l
Ecuacin (1.118)

Pero (1.117) sugiere:

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

kx
( x) Bk cos 1
k 1 l

kx
( x) Bk cos Bk
k 1 l k 1

kx

Bk cos
k 1 l
B
k 1
k ( x)

As (1.118) queda:

x ct x ct Bk ( x ct ) Bk ( x ct )

1
u (t , x )
2 k 1 k 1
1
u (t , x ) x ct x ct ( x ct ) ( x ct )
2
x ct
1 1
u (t , x ) x ct x ct
2c x ct
( y )dy
2
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:

u=0 en (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

v
origen, adems si tiene radio p>0 tomando el cambio de variable r p

podemos asumir sin prdida de generalidad que 1

Debido a la simetra circular de este problema, es conveniente trabajar con
coordenadas polares.

_
Si ( x1 , x 2 ) , escribimos:

( x1 , x 2 ) (r cos , rsen ) r [0,1]

Entonces, si u es solucin de (1.57), sea

v ( r , ) u ( r cos , rsen ).

_
Ya que u c 2 () c () , tenemos que v c 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 T
a
f ( x ) dx
0
f ( x ) dx

Ahora usando el luplaciano en coordenadas polares

d 2 v 1 d 2 v 1 dv
u (r cos , rsen )
dr 2 r r 2 r dr

Obtenemos:
 v c 2 ([0,1] x) c ([0,1] x)
v ( r , 2 ) v ( r , )
( r , ) [0,1] x

d 2v dv d 2v
r2 ( r , ) r ( r , ) 0 (r , ) [0,1]x
dr 2 dr d 2

v (1, ) h( ) g (cos , sen ) (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

d
diferencial 2 con condiciones en la frontera peridicas.
d
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 y 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:

(1.128)
Imponiendo las condiciones de frontera

Para todo se sigue

Ya que y 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 asi necesitamos que

as . 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 son dos

dimensionales. Por otra parte, en el caso el eigenespacios es

unidimensional y es generado por

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 y 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

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

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.

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,): }

con .

Adems, la funcin ([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

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, ) =

Ahora veamos,
As tenemos,

La segunda expresin en (1.138) es un simple cambio de variables y se usa

la periodicidad de la funcin.

Ahora mostraremos algunas propiedades del ncleo de Poisson

Proposicin 1.78

Para cada r fijo r [0,1). P ( r ) es peridica de perodo 2.

Adems, P ( [0,1) |R ) y satisface:

en [0,1) |R (1.140)
BIBLIOGRAFIA

Takeuchy-Ramirez-Ruiz, Ecuaciones diferenciales, Editorial Limusa,1980,

Mexico, pag 230