Vous êtes sur la page 1sur 154

Apuntes de E

ua iones en
Derivadas Par iales
Dr. Antonmaria Minzoni

ii

A Angela, So a y Delia

iv

Hola.

Hola.

vi

Contenido

Agrade imientos

IX

Introdu ion

XI

1. E ua iones hiperboli as
1
1.1. La e ua ion lineal de primer orden . . . . . . . . . . . . . . . . . . . . 1
1.2. Geometra de las ara tersti as . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Uni idad y dis usion de las solu iones de la e ua ion de primer orden 10
1.4. E ua ion lineal de segundo orden on ara tersti as . . . . . . . . . . 12
1.5. Uni idad de las solu iones para la e ua ion de onda . . . . . . . . . . 23
2. Sistemas de e ua iones on ara tersti as
2.1. El problema de las lneas de transmision . . . . . . . . . . . . . . . . .
2.2. Propaga ion de ondas en agua . . . . . . . . . . . . . . . . . . . . . . .
2.3. Las e ua iones de Maxwell . . . . . . . . . . . . . . . . . . . . . . . . .

29
29
33
38

3. E ua iones elpti as
3.1. Introdu ion y algunos problemas tpi os . . . . . . . . . . .
3.1.1. E ua ion de una membrana elasti a en equilibrio . .
3.1.2. E ua iones elpti as en me ani a de uidos . . . . .
3.2. Solu iones a algunos problemas elpti os . . . . . . . . . . .
3.2.1. Problemas de Diri hlet . . . . . . . . . . . . . . . . .
3.2.2. La formula de Poisson . . . . . . . . . . . . . . . . .
3.2.3. Problema de Neumann . . . . . . . . . . . . . . . . .
3.2.4. El prin ipio del maximo para la e ua ion de Lapla e
3.2.5. Problemas elpti os . . . . . . . . . . . . . . . . . . .
3.2.6. Problema de difra ion . . . . . . . . . . . . . . . . .

49
49
49
53
55
55
61
62
64
65
66

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

4. Separa ion de variables para e ua iones


71
4.1. Separa ion de variables para la e ua ion . . . . . . . . . . . . . . . . . 71
4.2. Separa ion de variables para un sistema de e ua iones . . . . . . . . . 77
vii

CONTENIDO

viii

4.3. La transformada de Lapla e . . . . . . . . . . . . . . . . . . . . . . . . 78

5. E ua ion de onda en tres dimensiones


5.1. Propaga ion de ondas sonoras . . . . . . .
5.2. La formula de Poisson y su interpreta ion
5.3. Apli a iones de la formula de Poisson . .
5.4. El problema on valores ini iales . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

83
83
86
87
92

6. E ua ion de difusion
99
6.1. Propaga ion de alor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
6.2. Dispersion de ontaminantes . . . . . . . . . . . . . . . . . . . . . . . 100
6.3. El efe to de las fuentes . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Apendi e A
Transformada de Fourier

111

Apendi e B
Transformada de Lapla e

117

Apendi e C
Fun iones de Green

121

Notas

137

Bibliografa

139

Agrade imientos
Quiero agrade er a Mari Carmen Jorge por la reedi ion de estas notas y su mejora
en mu hos aspe tos.
Agradez o tambien a Mar o Antonio Iglesias por su rees ritura y mejoramiento sustan ial de las guras y de la presenta ion. Agradez o las multiples mejoras que Gilberto Flores y Ma. del Carmen Jorge hi ieron a esta nueva version de las notas, al usarlas
omo material de apoyo en sus ursos de la Fa ultad de Cien ias.
El Apendi e de Fun iones de Green que ompleta esta presenta ion fue es rito por
Arturo Olvera.
Agradez o a todos mis olegas del Departamento de Matemati as y Me ani a las numerosas sugeren ias que han enrique ido este trabajo. Finalmente a Alma Rodrguez
y Ana Perez mi agrade imiento por los ultimos toques a esta edi ion.

ix

AGRADECIMIENTOS

Introdu i
on
El proposito de estas notas es el de presentar algunos temas de la teora lasi a elemental de las e ua iones en derivadas par iales. Sobre este tema hay una gran antidad
de libros que ubren gran parte del material de estas notas; por men ionar algunos
tenemos el de Weinberger, John, Petrovski, Copson, donde el le tor interesado podra onsultar mu hos de los temas tratados en estas notas.
El material aqu tratado di ere del de los textos arriba men ionados, ya que en ellos
se tratan, en forma elemental, algunos temas omo sistemas hiperboli os, e ua iones
de Maxwell, formulas de Poisson para la e ua ion de onda, as omo apli a iones que
usualmente se tratan en ursos mas avanzados.
En el primer aptulo se dis ute la e ua ion lineal de primer orden, y se resuelve
usando el metodo de las ara tersti as. Se dis ute on detalle la geometra de las ara tersti as y maneras alternativas de operar on ellas; las apli a iones on el ujo de
o hes por una arretera. Se omite el problema de e ua iones no lineales; para estos
problemas se propor iona al le tor la literatura. Se dis ute on detalle la e ua ion
lineal de segundo orden on ara tersti as (la e ua ion de propaga ion de ondas), y
los varios problemas on valores ini iales y de frontera aso iados on ella. Se da una
interpreta ion detallada del papel de las ara tersti as en ada aso. Finalmente se
dis ute la uni idad de las solu iones para la e ua ion de onda.
En el segundo aptulo se dis uten algunos sistemas hiperboli os simples, utilizando ejemplos de lneas de transmision ele tri as y propaga ion de ondas en agua.
Aqu tambien se dis ute on ierto detalle el papel de las ara tersti as. Finalmente
se resumen los experimentos que llevaron a las e ua iones de Maxwell y se dis uten
estos on ierto detalle en asos simples. Nuevamente los problemas se resuelven usando el metodo de las ara tersti as.
El ter er aptulo trata del tipo opuesto de e ua iones a las tratadas en los primeros
dos. Se trata de e ua iones de equilibrio que no propagan se~nales. Se introdu en al
estudiar las de exiones de una membrana bajo la a ion de su propio peso, as omo
tambien a traves de problemas de uidos, y omo aproxima iones a las e ua iones de
Maxwell en ele trostati a. Para su solu ion se introdu e la te ni a de separa ion de
xi

xii


INTRODUCCION

variables y las series de Fourier. Se dis uten varios problemas simples de valores en
la frontera.
Finalmente se dis uten problemas en regiones in nitas; en parti ular el problema de
difra ion de una onda periodi a por un obsta ulo, ilustrando esto la separa ion de
variables en regiones in nitas.
En el aptulo in o se estudia la e ua ion de propaga ion de ondas en tres dimensiones. Se introdu e omo una aproxima ion a las e ua iones de Navier Stokes (las
e ua iones de la me ani a de uidos) uando los movimientos son peque~nos, omo en
el aso de ondas sonoras. Se resuelve la e ua ion en terminos de una integral usando
una ombina ion de transformadas de Lapla e y Fourier. Se obtiene la formula de
Poisson la ual se interpreta on detalle y se apli a en varias situa iones de a usti a
y de sismologa. Se estudian varias aproxima iones y se dis uten las di ultades geometri as que hay para obtener informa ion a partir de la formula de Poisson.
Esta nueva edi ion se ompleto a~nadiendo un aptulo sobre e ua iones de difusion y
onve ion. Se a~nadio tambien una se ion es rita por Arturo Olvera sobre Fun iones
de Green y onstru ion e interpreta ion en teora del poten ial.
Estas adi iones permiten usar estas notas en un primer urso de E ua iones Par iales.
Un libro que ontinua on este tipo de material es el libro re iente de Ri hard Haberman.
Para on luir, re ono emos haber omitido temas de importan ia, omo la e ua ion de
propaga ion del alor; tampo o se desarrollo detalladamente la te ni a de separa ion
de variables en problemas mas ompli ados.
Otros temas de gran utilidad omo el estudio de solu iones analti as aproximadas y
opti a geometri a, se omitieron ompletamente. Para estos el le tor podra onsultar
la literatura que se~nalamos aqu.
A lo largo de estas notas se ha tomado el punto de vista de resolver problemas razonando en forma geometri a o por analoga on otros problemas. Las solu iones
formales obtenidas as probaron ser solu iones de los problemas uando se satisfa en
ondi iones te ni as apropiadas que justi aban el metodo seguido para obtener la
solu ion formal. Deliberadamente se omiten los detalles te ni os, dando as la exibilidad de usar los metodos para gran antidad de problemas, veri ando a posteriori
la solu ion obtenida. La nalidad de esta manera de presentar el material es que el
le tor se familiari e on los problemas mas simples de las e ua iones par iales y on
las te ni as para obtener y dis utir solu iones.
Gran parte del material de estas notas se obtuvo en los ursos de verano en Morelia,
Mi h. en 1977 y en Merida, Yu ., en 1978.

Cap
tulo 1

E ua iones hiperb
oli as

1.1.

La e ua i
on lineal de primer orden

Se empezara esta se ion introdu iendo la e ua ion lineal de primer orden on un


ejemplo: el transito de o hes por una arretera. Se supone para esto una arretera
re ta a lo largo del eje x tal omo se ve en la gura siguiente:

Fig. 1.1

Representemos por (x; t) la densidad de o hes en el punto x de la arretera al tiempo


t; el problema es en ontrar el omportamiento de (x; t) (el tra o en la arretera)
a tiempos futuros, si es que se ono e (x; 0); es de ir el tra o ini ialmente. Para
esto debemos en ontrar una e ua ion para . Como esta fun ion depende de dos
variables, la e ua ion que en ontraremos sera una e ua ion diferen ial par ial. La
e ua ion deseada la en ontramos onsiderando la rapidez de ambio de la antidad
de o hes entre x0 y x. Esto es:
1


CAPITULO 1. ECUACIONES HIPERBOLICAS

Rapidez de ambio del numero de o hes entre x0 y x =

d x
(; t)d:
dt x0
Z

Por otra parte sabemos que


Z
d x
(; t)d = Numero de o hes que entran en x0 por unidad de tiempo
dt x0
Numero de o hes que salen por x por unidad de tiempo
= Flujo de o hes que entra - Flujo de o hes que sale.
Si denotamos el ujo mediante Q, tendremos que la e ua ion de onserva ion de la
antidad de o hes es:
Z
d x
(; t)d = Q(x0 ; t) Q(x; t):
(1.1)
dt x0
La e ua ion (1.1) es una e ua ion on dos in ognitas Q y . Sin embargo es un he ho experimental (lo omprobamos siempre que viajamos on tra o) que el ujo de
o hes, en un punto, depende de la densidad  en ese punto. Esta dependen ia se
en uentra experimentalmente, y una gra a tpi a de Q() se muestra en la Fig. 1.2.
Q ()

Fig. 1.2
La Fig. 1.2 nos indi a que hay una densidad M para la ual ya no pasan o hes (un
embotellamiento) y una densidad 0 para la ual el ujo de o hes es maximo.
La e ua ion para  se en uentra pues sustituyendo Q() en la (1.1) y es
Z
d x
(; t)d = Q((x0 ; t)) Q((x; t)):
(1.2)
dt x0

 LINEAL DE PRIMER ORDEN


1.1. LA ECUACION

La e ua ion (1.2) es integrodiferen ial. Para en ontrar una e ua ion diferen ial para
 es onveniente derivar respe to a x ambos miembros de (1.2) y obtener:



(x; t) + Q((x; t)) = t + Q0 ()x = 0:
(1.3)
t
x
Para ompletar la formula ion del problema, nos basta de ir la disposi ion de o hes
en la arretera al tiempo t = 0; es de ir, espe i ar (x; 0) = f (x) donde f (x) es una
fun ion ono ida. Para en ontrar la distribu ion de o hes debemos resolver
t + Q0 ()x = 0; 1 < x < 1; t  0;
(x; 0) = f (x):

(1.4)

Donde la fun ion Q se determina experimentalmente y tiene una forma pare ida a la
de la Fig. 1.2.
Resolver la e ua ion (1.4) es ompli ado y omo primer paso trataremos de resolverla
uando   1 (no hay la posibilidad de embotellamiento que ompliquen la solu ion
del problema). En este aso podemos aproximar Q() omo una fun ion lineal Q() =
Q0 (0). As , (1.4) se aproxima por

t + x = 0; 1 < x < 1;
(x; 0) = f (x);
= Q0 (0):

(1.5)

Para bajas densidades, debemos resolver (1.5) para en ontrar el tra o en la arretera.
Di ha solu ion se obtiene notando que la e ua ion (1.5) se es ribe en la forma siguiente:
(x ; t )  ( ; 1) = 0
(1.6)
que nos di e que  tiene la derivada dire ional ero a lo largo del ve tor ( ; 1). Es
de ir  = te: sobre las re tas paralelas a ( ; 1). Una manera diferente de es ribir (1.6)
es
dx(t)
d
= :
t + x = (x(t); t) = 0 donde
dt
dt
Utilizando estos he hos podemos onstruir la solu ion de (1.5) as:
i) Sabemos que  = onstante a lo largo de las re tas dx
dt = , es de ir a lo largo
de la familia de re tas x = t +  . Por esto dibujamos la familia de re tas y
tenemos la Fig. 1.3.
Obervemos que para ada punto P = (x; t) pasa una y solo una re ta de la
familia. Ademas las re tas x = t +  interse tan al eje x en los puntos (; 0).


CAPITULO 1. ECUACIONES HIPERBOLICAS

P(x,t)

x=ct+

Q
(,0)

x
(,0)

Fig. 1.3
ii) Sabemos que  = onstante a lo largo de x = t +  , por esto en la Fig. 1.3 el
valor de  en P es el valor de  en Q. Por esto, para determinar (x; t) basta
ver ual es el punto Q = (; 0) donde la re ta QP interse ta el eje x y de ir

(x; t) = (; 0):


El valor de (; 0) se ono e ya que es la ondi ion ini ial f ( ). Para ompletar
nuestra solu ion nos falta expresar  en terminos de x y t. Esto se ha e en la
Fig. 1.3 y tendremos la solu ion

(x; t) = f (x t):

(1.7)

Se puede veri ar que (1.7) es efe tivamente solu ion de (1.5) por sustitu ion dire ta.
La interpreta ion de la solu ion en terminos de tra o la podemos obtener si gra amos (1.7) omo fun ion de x para dos tiempos diferentes omo se ve en la Fig. 1.4.
Veamos que la gra a de  al tiempo t0 es la gra a  al tiempo t = 0 desplazada ha ia
la izquierda una distan ia t0 sin ambiar de forma. Esto nos di e que el tra o se
movera ha ia la dere ha on velo idad sin ambiar la disposi ion de los o hes. Esto
se observa omunmente, ya que uando no hay embotellamientos un grupo de o hes
se deplaza en bloque sin ambiar apre iablemente de forma. La solu ion as onstruida
esta pues de a uerdo on nuestra experien ia.
Antes de resolver otros problemas notemos algunos detalles del metodo de solu ion de
(1.5). De la Fig. 1.3 vemos que la solu ion es onstante a lo largo de iertas re tas que
solo dependen de la e ua ion (a traves de ) y no de la f (x). Estas re tas se llaman las

 LINEAL DE PRIMER ORDEN


1.1. LA ECUACION
(x,0)

(x,t 0)

t=0

t=t 0
x

x=ct 0

Fig. 1.4

ara tersti as de la e ua ion (1.7). A lo largo de las ara tersti as vemos siempre
el mismo valor de f . Finalmente el valor de  en P solo depende del valor ini ial en
Q, por este motivo ambios en los valores ini iales en puntos distintos de Q no alteran
 en P .
Otro problema de interes es aquel en el ual la arretera se extiende en el intervalo
0  x < 1 y no hay o hes ini ialmente; pero en el extremo x = 0 estan entrando
o hes on una densidad (0; t) = g(t) que es una fun ion ono ida. Interesa tambien
ono er la distribu ion de o hes a lo largo de la arretera. El problema a resolver es
t + x = 0; 0  x < 1; t  0;
(x; 0) = 0; 0  x < 1;
(0; t) = g(t); t  0; g(t) = 0t  0:

(1.8)

Para resolver (1.8) pro edemos omo en (1.5) y vemos que  es onstante a lo largo
de la familia de re tas x = t +  que se ven en la Fig. 1.5.
En la Fig. 1.5 vemos que si P esta a la dere ha de la re ta AB (x = t)  = 0, ya que
el valor de  en P es el valor de , donde la ara tersti a P Q orta el eje x y el valor
de  ah es ero. Esto esta de a uerdo on el he ho de que si tenemos un observador
en x0 , este no vera ningun o he hasta que t > x0 = = tiempo que tarda en llegar el
primer o he que salio de x = 0 al tiempo t = 0. De la Fig. 1.5 podemos veri ar este
he ho, ya que en x = x0 ,  = 0 si t < x0 = . Por otro parte, si x < t, es de ir arriba
de la re ta AB ,  sera diferente de ero. Para al ular el valor de  en R mostrado en
la Fig. 1.5, basta re ordar que

(x; t) = (0;  ) = g( );

(1.9)

donde (0;  ) es el punto donde la ara tersti a RS interse ta al eje t. Para re ordar
el valor de  basta notar que
0 =  + ;
donde

x = t ;

 = ;
 = t x= :

(1.10)


CAPITULO 1. ECUACIONES HIPERBOLICAS

(x 0,x0/c)
R

x=ct
B

(0,t)=g(t)

(0,)=

=0

=0

=0

S
A

x0

=0

Fig. 1.5
En (1.9) y (1.10) vemos que la solu ion de (1.8) esta dada por

(x; t) = g(t x= ):

(1.11)

Podemos ahora interpretar la e ua ion (1.11) de esta forma: en un punto jo x0 tenemos que (x0 ; t) = g(t x0 = ) por esto si t < x0 = ,  = 0. Cuando t > x0 =C la
densidad que obervamos es la misma distribu ion g(t) que esta entrando en x = 0,
laro esta retrasada un tiempo x0 = . Esto esta de a uerdo on el he ho que un obervador parado en la alle ve llegar a los o hes, uando hay po os, on la misma
disposi ion on la que entraron a la alle. En este aso vemos tambien que los valores
de  se propagan a velo idad onstante a lo largo de las ara tersti as.
Tanto en la Fig. 1.5 omo en la Fig. 1.3 vemos que (x; t) solo depende de los valores
(0;  ) o (; 0) que son los valores de , donde la ara tersti a a traves de P orta al
eje on los datos ini iales o de frontera. Estos puntos (0;  ), (; 0) se llaman dominio
de dependen ia de (x; t). Los puntos a lo largo de la ara tersti a x = t +  , omo
llevan el valor (; 0), se llaman region de in uen ia del punto (; 0).
Queda omo ejer i io resolver los problemas

Problema 1.1.1 Resolver


t x = 0;
(x; 0) = f (x):

1 < x < 1; t  0;

1.2. GEOMETRIA DE LAS CARACTERISTICAS

Problema 1.1.2 Resolver


t x = 0;
(x; 0) = 0;
(0; t) = g(t);

1 < x  0; t  0;
1 < x  0;
t  0:

Interpretar los resultados en terminos de ujo de tra o.


1.2.

Geometr
a de las ara ter
sti as

Es onveniente, tal omo se ha e en e ua iones diferen iales ordinarias, interpretar a


(1.5) omo un problema geometri o para la super ie z = (x; t). Para dar la formula ion deseada vemos que resolver (1.5) es en ontrar una super ie S uya e ua ion es
 = (x; t), que umple on la e ua ion diferen ial y que pasa por la urva parametrizada por (; 0; f ( )). Esto se ve en la Fig. 1.6

= 0

=0

c= (,0, f ())

Fig. 1.6
La interpreta ion geometri a de la e ua ion (1.6) es la de una restri ion sobre la
super ie S . En forma mas uantitativa re ordemos que el ve tor normal a S esta dado
por (x ; t ; 1) y que usando esto, la Fig. 1.6 se interpreta omo
(x ; t ; 1)  ( ; 1; 0) = 0:

(1.12)


CAPITULO 1. ECUACIONES HIPERBOLICAS

La e ua ion (1.12) nos di e que si  es una solu ion de (1.5), enton es el ve tor normal
a S es perpendi ular a ( ; 1; 0). De ah que el problema (1.5) es el de en ontrar una
super ie tangente al ve tor ( ; 1; 0) y que pase por la urva C = (; 0; f ( )).
Para onstruir la super ie deseada re urrimos a la Fig. 1.6. Es onveniente parametrizar
a S en la forma
(x(; ); t(; ); (; ))
(1.13)
donde para ada valor jo de  la parametriza ion (1.13) nos da, omo fun ion de ,
una de las urvas . Cuando jamos  = 0 nos movemos on la (1.13) omo fun ion
de  a lo largo de una urva R. En parti ular es deseable que uando  = 0 nos
movamos sobre C , es de ir queremos que
(x(; 0); t(; 0); (; 0)) = (; 0; f ( )):

(1.14)

Como queremos que S sea tangente a ( ; 1; 0) nos basta pedir que las urvas Q que la
generan lo sean. Esto se expresa omo

d
d
d
x(; ) = ;
t(; ) = 1;
(; ) = 0;
(1.15)
dt
dt
dt
para toda  . Las e ua iones (1.14), (5.15) son la expresion de (1.5) en parametri as y
su solu ion nos dara una expresion para S en forma parametri a.
Las e ua iones (1.14) y (5.15) nos di en que el resolver la e ua ion par ial (1.5) es
equivalente a resolver un sistema de e ua iones ordinarias. Podemos ahora resolver la
(5.15) on las ondi iones ini iales de la (1.14) y obtener

x(; ) =  + ;

t(; ) = ;

(; ) = f ( ):

(1.16)

La (1.16) y nos da la expresion parametri a de S nos di e que  es onstante uando


x =  +  , t =  es de ir a lo largo de las re tas x = t +  . Este es el mismo resultado
que obtuvimos de (1.6). Para obtener de (1.16) (x; t), basta despejar ;  en terminos
de t; x. Esto nos da
(x; t) = f (x t);
(1.17)
que es la solu ion que ya obtuvimos en (1.7).
En este aso pudimos pasar sin di ultad de la forma parametri a (1.16) a (1.17), debido a que la fun ion (x(; ); t(; )) resulto invertible. Geometri amente en el plano
(x; t) es lo mismo usar oordenadas x; t que ; ; esto se debe a que, omo vimos en
la Fig. 1.3, por ada punto (x; t) pasa una sola re ta x = t +  . En ejemplos mas
ompli ados la transforma ion no siempre es invertible y estos ejemplos requieren un
estudio espe ial.
Queda omo ejer i io resolver los problemas 1.1.1 y 1.1.2 usando este metodo y omparar las solu iones obtenidas en ambos asos.

1.2. GEOMETRIA DE LAS CARACTERISTICAS

Antes de terminar esta se ion veremos omo el metodo geometri o introdu ido puede
usarse para resolver otro tipo de problemas aso iados on la e ua ion

t + x = 0:

(1.18)

Podemos pensar en resolver la (1.18) sujeta a la espe i a ion de los valores de , a


lo largo de alguna urva C , en el plano (x; t) y que no sea la re ta t = 0, tal omo se
muestra en la gura siguiente.

C
t

x
C= (p(), q(),0)

Fig. 1.7
En la Fig. 1.7 los valores de  a lo largo de C son datos del problema y por esto la
ondi ion que  tome en C los valores espe i ados se tradu en en el que S pase por
la urva C 0 . Un ejemplo de esta situa ion ya lo dis utimos en la (1.8) donde la urva
C estaba formada por las re tas x  0, t  0.
Para resolver la (1.18) las urvas Q de la Fig. 1.7 deberan ser paralelas al ve tor
( ; 1; 0). Si parametrizamos a S omo en (1.13) tenemos que

d
d
d
x(; ) = ;
t(; ) = 1;
(; ) = 0:
(1.19)
dt
dt
dt
Por otra parte uando  = 0 la urva (x(; 0); t(; 0); (; 0)) tiene que ser la urva C 0.
De aqu vemos que las ondi iones ini iales para (1.19) son
x(; 0) = p( );

t(; 0) = q( );

(; 0) = (p( ); q( )) = dato:

(1.20)

Las fun iones p( ) y q( ) tambien son ono idas y parametrizan a C . La representa ion
parametri a de S se obtiene resolviendo (1.19) on las ondi iones ini iales dadas en


CAPITULO 1. ECUACIONES HIPERBOLICAS

10
(1.20). De aqu obtenemos:

x =  + p( ); t =  + q( );  = (p( ); q( )):

(1.21)

Las e ua iones (1.21) nos di en que  es onstante a lo largo de las re tas (x; t) =
( ; 1) + (p( ); q( )) es de ir  = onstante a lo largo de las ara tersti as. Ademas
(1.21) nos di e que el valor (x; t) es el valor de  en Q, donde Q es el punto de
interse ion de C on la ara tersti as a traves de (x; t). Esto se muestra on detalle
en la Fig. 1.8.

t
(x,t)= (c,1)+(p( ),q( ))
x
(p(), q())

Fig. 1.8
Queda omo un ejer i io el resolver el problema planteado en la e ua ion (1.8) por
este metodo. Queda tambien omo ejer i io resolver el problema

Problema 1.2.1 Resolver


t + x = 0;
x  0; t  0;
(x; 0) = 0;
(x(t); t) = g(t); t  0 uando x(t) = t; > 0:
Debe darse una solu ion expl ita e interpretar el problema en el dibujo (x; t) orrespondiente.
1.3.

Uni idad y dis usi


on de las solu iones de la
e ua i
on de primer orden

Observemos que para resolver el problema (1.5) solamente ne esitamos una ondi ion
ini ial; por ejemplo, uando t = 0 y esto nos lleva a una solu ion uni a. Una manera

 DE LAS SOLUCIONES DE LA ECUACION


 DE PRIMER ORDEN11
1.3. UNICIDAD Y DISCUSION

de justi ar la su ien ia de una sola ondi ion ini ial para garantizar la uni idad es
omo sigue.
En el plano (x; t) ono emos (x; 0) = f (x). Resolver (1.5) signi a en ontrar el valor
de  para t > 0. Re riendonos a la Fig. 1.6 vemos que resolver (1.5) es en ontrar
(x; h) para ualquier valor de h. Para al ular (x; h), si h es peque~na, podemos
desarrollar (x; h) en serie de Taylor en la variable t y tener

(x; h) = (x; 0) + t (x; 0)h + R(x; h)

(1.22)

donde R(x; h) es el residuo. La fun ion (x; 0) = f (x) es un dato del problema. La
fun ion t (x; 0) tambien se puede determinar en terminos de (x; 0), ya que de la
e ua ion (1.5) se sigue


f (x) = f 0(x):
x
De (1.22) y (1.23) se sigue que uando h es peque~no
(x; h) = f (x) f 0 (x)h:
t (x; 0) = x(x; 0) =

(1.23)
(1.24)

Para mejorar la aproxima ion de (1.24) usamos el desarrollo de Taylor a segundo


orden y vemos que
1
(x; h) = (x; 0) + t (x; 0)h + tt (x; 0)h2 :
2
Cal ulamos ahora tt en terminos de f (x) derivando la e ua ion (1.5) y obtenemos

tt (x; 0) = tx =



t (x; 0) = ( f 0 (x)) = 2 f 00 (x):
x
x

 n
Pro ediendo de la misma forma podemos al ular de manera uni a las derivadas n .
t
Se puede veri ar que la aproxima ion de orden n a la solu ion  esta dada por
(x; h) =

n
X

( )k (k)
f (x)( h)k :
k
!
k=0

Este pro eso puede ontinuarse inde nidamente y vemos que dada una n ondi ion
ini ial f nos lleva a una solu ion formal uni a y que todas las derivadas tn quedan
determinadas en terminos de f (x).
La solu ion formal
1 ( )k
X
(x; t) =
f (k) (x)( t)k :
(1.25)
k
!
k=0

onstruida por el pro eso que a abamos de des ribir, sera una solu ion real del problema, si la onvergen ia de (1.25) es lo su ientemente fuerte omo para poder justi ar


CAPITULO 1. ECUACIONES HIPERBOLICAS

12

los pasos formales que nos llevaron a ella. Esta onvergen ia desde luego depende de
las propiedades del dato ini ial f (x). En el aso de que f (x) sea tal que su serie de
Taylor onverja a ella, tendremos que (1.25) se puede sumar en la forma

(x; t) = f (x t)
que es pre isamente la solu ion de la (1.5). Esta dis usion nos muestra omo es su iente un solo dato ini ial para jar de manera uni a los valores de la solu ion de
(1.5). Analogamente al aso de e ua iones ordinarias, el metodo de series dis utido
permite onstruir solu iones formales para e ua iones par iales.
En esta se ion vimos que uando una e ua ion tiene ara tersti as, sus solu iones
se interpretan omo ondas que se propagan. Las ara tersti as tambien proveen un
metodo geometri o y analti o para onstruir y dis utir las propiedades de las solu iones.

1.4.

E ua i
on lineal de segundo orden on ara ter
sti as

Al igual que en la se ion anterior jaremos nuestra aten ion en un ejemplo de propaga ion de ondas que esperamos este aso iado on ara tersti as.
Todos hemos observado omo al deformar po o, y en forma lo alizada, una uerda
tensa, las deforma iones que se propagan a lo largo de la uerda onservan inalterada
su forma ini ial. Veremos que este omportamiento esta aso iado y se puede des ribir
uantitativamente on las ara tersti as de la e ua ion que gobierna el movimiento
de una uerda tensa.
Empezamos en ontrando la e ua ion deseada. Para esto tomamos una por ion de la
uerda entre x y x + h tal omo se ve en la Fig. 1.9, donde T es la fuerza de tension
y u(x; t) representa al desplazamiento de la uerda de su posi ion de equilibrio (al eje
x).
La e ua ion deseada se obtiene al apli ar la ley de Newton a la por ion de uerda
entre x y x + h. Usando la ley de Newton, on  = densidad de la uerda, tenemos
 2u
(1.26)
h 2 = T sin 2 T sin 1 :
t
Como los desplazamientos son peque~nos tenemos que sin 1  tan 1 . Usando esto,
(1.26) se transforma en
h
2u
u
h 2 = T

t
x x+h
que para h peque~nos se transforma en

hutt = T huxx

u i

x x

(1.27)
(1.28)

 LINEAL DE SEGUNDO ORDEN CON CARACTERISTICAS 13


1.4. ECUACION

Tsen ( 2 )
T
1

u(x,t)

Tsen( 1)
T

x+h

Fig. 1.9
y nalmente
donde 2 = T .

utt = 2 uxx;

(1.29)

La e ua ion (1.4) es la que supondremos ontrola el movimiento de disturbios peque~nos


en la uerda. Para ompletar la espe i a ion del problema ne esitamos saber la posi ion y velo idad de la uerda uando t = 0. Con esto el problema de determinar el
movimiento de la uerda es el de resolver
utt = 2 uxx;
1 < x < 1; t  0;
u(x; 0) = f (x)
desplazamiento ini ial;
(1.30)
ut(x; 0) = g(x)
velo idad ini ial:
La primera diferen ia que notamos entre (1.30) y (1.5) es que la e ua ion envuelve
ahora dos derivadas en el tiempo y que damos dos ondi iones ini iales. Esperamos
que tenga solu iones en forma de ondas que se propagan, ya que (1.30) es un modelo
de esa situa ion.
Antes de resolver (1.30) veremos omo se puede onstruir una solu ion formal uni a
del problema, si es que ono emos dos ondi iones ini iales. Para en ontrar la solu ion
pro edemos omo en (1.23) y vemos que uando h  1

u(x; h) = u(x; 0) + ut (x; 0)h = f (x) + ut(x; 0)h:

(1.31)

En (1.23) pudimos en ontrar ut (x; 0) ya que estaba rela ionada a traves de la e ua ion
on el dato ini ial f 0 (x). La e ua ion (1.30) no propor iona informa ion sobre ut (x; 0)


CAPITULO 1. ECUACIONES HIPERBOLICAS

14

ya que tiene segundas derivadas, por esto debemos propor ionar esa informa ion a
traves de g(x). Veremos que dados u y ut uando t = 0 podemos determinar en forma
uni a la solu ion formal de (1.30). Para ilustrar el pro edimiento onsideremos una
aproxima ion a ter er orden.
1
1
(1.32)
u(x; 0) = f (x) + g(x)h + utt (x; 0)h2 + uttt (x; 0)h3 :
2!
3!
En (1.32) utt se determina a partir de (1.30) en la forma
utt (x; 0) = 2 uxx(x; 0) = 2 f 00 (x);
y analogamente

uttt (x; 0) = 2 utxx(x; 0) = 2


obteniendo as

2
2
2  g (x) = 2 g 00 (x)
u
(
x;
0)
=

t
x2
x2

1
1
(1.33)
u(x; h) = f (x) + g(x)h + 2 f 00 (x)h2 + 2 g00 (x)h3 :
2
3!
Queda omo ejer i io el onven erse que todas las aproxima iones pueden expresarse
en terminos de f y g. Ademas uando g = 0 queda omo ejer i io probar que las
series in nitas suman a u(x; t) = 12 ff (x + t) + f (x t)g que es efe tivamente una
solu ion del problema. Esta dis usion y la analoga para la e ua ion de primer orden
no son mas que una ilustra ion en dos asos parti ulares del teorema de existen ia y
uni idad de Cau hy Kovalevski [3.
El metodo de desarrollo en serie (analogamente a lo que su ede en e ua iones ordinarias) da po a informa ion sobre la naturaleza de las solu iones del problema. Por
esto resolveremos (1.30) de otra forma.
Para resolver (1.30) notemos que la e ua ion puede es ribirse en la forma



  

  


u=0=
u:
(1.34)
+


+
t x t x
t x t x
De la (1.34) se sigue que resolver (1.30) es resolver su esivamente dos problemas de
la forma (1.5). Re ordemos que los problemas (1.5) tienen por solu iones fun iones
v(x + t) , w(x t). Por (1.34) vemos tambien que (1.30) tiene solu iones de la forma

u(x; t) = v(x + t) + w(x t)

(1.35)

es de ir ondas que se propagan ha ia la dere ha y ha ia la izquierda. Las fun iones v


y w son arbitrarias y deberan ser determinadas usando las ondi iones ini iales.
Empezamos por estudiar el problema

utt = 2 uxx ;
u(x; 0) = f (x);
ut (x; 0) = 0;

1 < x < 1; t  0;

(1.36)

 LINEAL DE SEGUNDO ORDEN CON CARACTERISTICAS 15


1.4. ECUACION

que des ribe el movimiento de una uerda desplazada ini ialmente en una forma f (x).
Usando (1.35) debemos en ontrar v y w de tal forma que

u(x; 0) = w(x) + v(x) = f (x);


ut (x; 0) = v0 (x) w0 (x) = 0:

(1.37)

De la segunda e ua ion (1.37) tenemos que

v(x) = w(x) + d;

(1.38)

y sustituyendo (1.38) en la primera e ua ion (1.37) tenemos que

w(x) =

f (x)
2

d
:
2

(1.39)

Analogamente

f (x) d
+ :
2
2
De (1.39) y (1.40) vemos que la solu ion de (1.36) es
v(x) =

(1.40)

1
1
(1.41)
u(x; t) = f (x + t) + f (x t)
2
2
resultado que on uerda on el obtenido al sumar la serie.
Para interpretar (1.41) es onveniente gra arla para dar valores de f tal omo lo
hi imos en la Fig. 1.4. En este aso la gra a de (1.41) es la Fig 1.10.
u(x,t 0)

u(x,0)=f(x)
t=0

1/2f(x+ct 0 )

ct 0

1/2f(xct 0 )

ct 0

Fig. 1.10
En la Fig. 1.10 vemos que la deforma ion ini ial se propaga ha ia la dere ha y ha ia
la izquierda on velo idad t, sin ambiar de forma, pero redu iendo su altura a la
mitad. Este he ho nos es familiar en la pra ti a. Vemos ademas que el valor u(x; t)
depende solamente del valor de la ondi ion ini ial f en los puntos de interse ion de


CAPITULO 1. ECUACIONES HIPERBOLICAS

16

t
(x,t)
(x,t)

x=ct+

(,0)

x=ct+

(,0) x

Fig. 11
las re tas x = t +  , x = t +  on la re ta t = 0, tal omo se ve en la Fig. 1.11.
La Fig. 1.11 nos di e que para en ontrar u(x; t) basta trazar dos re tas de pendiente
(llamadas tambien en este aso ara tersti as) a traves de (x; t); en ontrar las
interse iones (; 0), (; 0) de esas re tas on el eje x y tomar el promedio de los
valores f ( ) y f () omo u(x; t). Nuevamente vemos que el diagrama (x; t) juega un
papel importante para entender las solu iones de (1.36).
Usaremos ahora el plano (x; t) para des ribir en detalle la solu ion (1.41). Para esto
usaremos la Fig. 1.12.
De (1.41) y de la onstru ion de la Fig. 1.11 vemos que u = 0 si p = (x; t) esta a
la dere ha de la re ta x = t + a, o si esta a la izquierda de x = t a, ya que las
ara tersti as interse tan la re ta t = 0 en puntos donde la ondi ion ini ial f = 0.
La interpreta ion de esta situa ion es as: los puntos a la dere ha de x = t + a, distan
de (a; 0) una longitud mayor que t. El he ho de que la solu ion sea ero para esos
puntos nos indi a que el disturbio que sale de a no llega a esos puntos en un tiempo
t, lo ual di e que los disturbios se propagan pre isamente on velo idad . Tambien
vemos que el primer tiempo en el que u(x0 ; t) 6= 0 es pre isamente t = x0 a que es
el tiempo que tarda un disturbio que viaja on velo idad para ir desde a hasta x0 .
De la Fig. 1.10 y de (1.41) se sigue que u(x0 ; t) = 0 si t > x0 +a que es el tiempo que
tarda el disturbio generado en a en llegar hasta x0 . Queda ahora omo un ejer i io
el repetir el analisis exterior para la region x < 0. En la banda a otada por x = t  a
y arriba de la re ta QA la solu ion es u = 21 f (x t).
En la region triangular a; a; Q la situa ion es mas ompli ada, ya que para ada
punto R de ella pasan dos ara tersti as C + y C que interse tan t = 0 en puntos
donde f 6= 0. Queda omo ejer i io el onven erse que u = 0 en la region triangular

 1

 LINEAL DE SEGUNDO ORDEN CON CARACTERISTICAS 17


1.4. ECUACION

x=cta

t
x=ct+a

u=0
(x 0, (x 0a)/c)

u=0

x=ct+a
x=cta

u=0

(x 1,(ax1 )/c)

u=0

R
P

u=0
A
a

c+

x1

u=0

x0

u=0

Fig. 12
a otada inferiormente por las re tas x = t a, x = t + a.
Otro problema de propaga ion de ondas en una uerda es uando uno de los extremos
esta jo en una pared. En este aso sabemos que los disturbios se re ejan y nos
interesa estudiar uantitativamente el pro eso. El problema es resolver

utt
u(0; t)
u(x; 0)
ut(x; 0)

=
=
=
=

2 uxx; 0  x < 1; t  0;
0; t  0 uerda ja en x=0;
f (x); f (x) 6= 0 para x0  x < 1;
0:

(1.42)

Resolveremos ahora (1.42) usando el plano (x; t) que se ve en la Fig. 1.13.


En primer lugar , observemos que para puntos a la dere ha de x1 y tiempos peque~nos,
el efe to de la pared debe ser inapre iable, ya que el disturbio generado en x0  x  x1
tarda un ierto tiempo en llegar a la pared y re ejarse. Por esto u = 0 a la dere ha
de C+2 (usando (1.41)). Ademas u = 21 f (x t) entre C+1 y C+2 . En la misma forma,
los disturbios que viajan ha ia la pared a lo largo de las ara tersti as C no sienten
la presen ia de la pared hasta que el disturbio que sale de x0 llega a ella al tiempo
t = x0 = . En la region entre C 1 y C 2 y fuera de los triangulos x0 ; x1 ; v, W; R; S ,
u = 21 f (x + t). Para al ular el valor de u en W; R; S que es la region de intera ion
entre la onda in idente y la re ejada, vemos que u = 21 f (x0 ) a lo largo de C 1 y omo
queremos que u = 0 en x = 0 tomamos u = 21 f (x0 ) a lo largo de C+3 . En la misma
forma vemos que podemos satisfa er la ondi ion de frontera, si tomamos u = 21 f ( )
a lo largo de C+ . El valor de la solu ion fuera de las regiones des ritas lo tomamos
omo ero y queda omo ejer i io el onven erse, pensando en el pro eso de re exion,


CAPITULO 1. ECUACIONES HIPERBOLICAS

18

u=(1/2 )f(xct)

u=0 t=t
2
S

u=(1/2){f(x+ct)
f(ctx)}

u=0

t=t 1

u=(1/2)f(xct)

(1/2)f()=(1/2)f(x+ct)

f=0

x0

f=0

x1

Fig. 1.13
que ese es el aso.
Damos ahora la formula que esperamos sea solu ion de nuestro problema. Para (x; t)
dentro de la region a otada por C+1 ; C+2 ; C 1 ; C 2 , ex epto por el triangulo W; R; S ,
tenemos
1
1
u = f (x + t) + f (x t)
2
2
que es la solu ion en ausen ia de pared. Desde luego u = 0 fuera de esa region y
satisfa e las ondi iones ini iales.
En el triangulo W; R; S la solu ion es la suma de la onda in idente 21 f (x + t) (que
es disntinta de ero solo entre C 1 ; C 2 ) y de la onda re ejada 21 f ( t x). En la
region fuera de W; R; S y a otada por C+3 y C+4 , la solu ion es la onda re ejada
1
2 f ( t x). Resumiendo

1
1
1
f ( t x)
(1.43)
U = f (x + t) + f (x t)
2
2
2
donde los fa tores de la suma son solo distintos de ero en las regiones mar adas en
la Fig. 1.13.
Finalmente notamos que un obervador en un punto P , omo el que se ve en la Fig.
1.13, primero ve pasar la onda emitida en x0  x  x1 ; despues al tiempo t = t1
la primera parte de la onda re ejada y uando t = t2 vuelve al reposo. Queda omo

 LINEAL DE SEGUNDO ORDEN CON CARACTERISTICAS 19


1.4. ECUACION

ejer i io el al ular t1 y t2 en terminos de x0 y x1 .


Podemos omprobar dire tamente que (1.43) es solu ion de (1.42) on las ondi iones
ini iales y de frontera espe i adas. Ademas, la dis usion anterior nos da el signi ado
de los tres terminos y una manera gra a de onstruir la solu ion si se ono e f (x).
Debemos notar que las ara tersti as llevan siempre un valor onstante de u hasta
que son \re ejadas en la frontera"; y las ara tersti as re ejadas llevan un valor
onstante de u pero de signo ontrario al valor que llevan las in identes.
Ahora resolvemos (1.42) sin re urrir a la Fig. 1.13. Sabemos que

u(x; t) = v(x t) + w(x + t)

(1.44)

y pro edemos omo en (1.37) determinando v y w, usando las ondi iones de frontera.
Sustituyendo (1.44) en (1.42) obtenemos

u(x; 0) = v(x) + w(x) = f (x); x  0;


u(0; t) = v( t) + w( t) = 0; t  0;
ut (x; 0) = v0 (x) + w0 (x) = 0; x  0:

(1.45)

La primera y ter era e ua iones (1.45) nos dan


1
v( ) = w( ) = f ( );   0:
2
La segunda e ua ion determina a v para valores negativos ya que

v( ) =
v( ) =
v() =

w( );   0;
w( );   0;
w( );   0:

(1.46)

(1.47)

De (1.46), (1.47) y (1.44) tenemos que la solu ion es


1
1
u(x; t) = f (x + t) + v(x t) = f (x + t) +
2
2

1
si
2 f1(x t);
f
(
t
x
)
;
si
2

x t > 0;
x t < 0:

Desde luego la solu ion oin ide on la que obtuvimos geometri amente.
De la dis usion anterior on luimos que en el problema de re exion, la solu ion es
onstante a lo largo de las ara tersti as y uando una ara tersti a en uentra una
pared, esta se re eja y la solu ion ontinua igual pero on signo ontrario. Veremos
ahora omo este pro eso nos permite onstruir las solu iones para problemas mas
ompli ados, omo uando hay re exion para dos paredes.
Ahora dis utimos on detalle el problema de re exion de ondas uando la uerda
esta ja en x = l. El problema es resolver


CAPITULO 1. ECUACIONES HIPERBOLICAS

20

Problema 1.4.1 Resolver


utt
u(x; 0)
ut (x; 0)
u( l; t)

=
=
=
=

uxx; jxj  l;
f (x); f (x) = 0 para a  jxj;
0
u(l; t) = 0; t  0:

En palabras debemos en ontrar el movimiento de una uerda ja desplazada ini ialmente en la forma f (x). Es de esperarse que el movimiento sea de vaiven de pulsos
por la uerda. La solu ion se examina en la Fig. 1.14.

u=(1/2) { f() +f() }

P3

u=(1/2)f( )

u=(1/2)f( )

u=(1/2)f( )

u=(1/2)f( )
x=l

x=l

x=0

Fig. 1.14
La solu ion es distinta de ero solo en las bandas limitadas por las ara tersti as. En
la region triangular sombreada verti almente tenemos:
1
1
u(x; t) = f (x + t) + f (x t):
2
2
Para puntos P1 la solu ion es el valor de u sobre C+1 que es u = 21 f (x t). En la
region uadri ulada tenemos la intera ion de la onda in idente y de la onda re ejada

 LINEAL DE SEGUNDO ORDEN CON CARACTERISTICAS 21


1.4. ECUACION

que des ribimos en la Fig. 1.13. Para puntos P2 la solu ion es el valor a lo largo de
C 2 , en el aso de la Fig. 1.14, u = 21 f ( ). En la region donde esta P3 , tenemos la
intera ion del pulso re ejado por la pared dere ha y de aquel re ejado por la pared
izquierda. En P3 , u es la suma de los pulsos que viajan a lo largo de C+1 y C 1 y de C 2
y C+2 . El pulso que llega por C 1 ontribuye 21 f ( ) y el que llega por C+2 ontribuye
on 12 f (), donde u(P3 ) = 21 (f ( ) + f ()). Esta onstru ion determina el valor
de u en todas las regiones.
Queda omo ejer i io ontinuar el pro edimiento y en ontrar algunos valores uando
f (x) = x2 + a2 , f = 2a. Tambien queda veri ar si la solu ion obtenida geometri amente on ayuda de la Fig. 1.14 oin ide on la solu ion analti a. (Ver Weinberger
para mas detalles y ejemplos).
Otro ejer i io interesante es el de ha er ver que las solu iones del problema

utt = 2 uxx;
1 < x < 1; t  0;

 0;
u(x; 0) = f^(x) = f (fx() x) xx 
0;
ut (x; 0) = 0;

(1.48)

son para x  0, solu iones de (1.42). Esto nos da una manera alternativa de onstruir
las solu iones para el problema de re exion. Queda omo ejer i io examinar la extension del metodo uando se tienen dos fronteras.
Para ompletar nuestra dis usion sobre la e ua ion de onda onsideramos el problema

utt
= 2 uxx;
u(x; 0) =
ut (x; 0) =

1 < x < 1; t  0;
0;
g(x):

(1.49)

Bus amos una solu ion de la forma

u(x; t) = v(x t) + w(x + t)

(1.50)

y tratamos de determinar v y w usando las ondi iones ini iales en (1.49). Sustituyendo (1.50) en (1.49) tenemos:

u(x; 0) = v(x) + w(x) = 0;


ut (x; 0) = w0 (x) v0 (x) = g(x):

(1.51)

De (1.51) vemos que

v0 (x) =

1
g(x);
2

v( ) =

1 
g(s)ds + d;
2 0
Z

1 
w( ) = v( ) =
g(s)ds d;
2 0
Z

(1.52)


CAPITULO 1. ECUACIONES HIPERBOLICAS

22
y de (1.52) obtenemos

1 x+ t
g(s)ds
u(x; t) = v(x t) + w(x + t) =
2 x t
Z

(1.53)

que nos da la solu ion de (1.49) omo puede veri arse por sustitu ion dire ta.
Una interpreta ion util de (1.53) se obtiene de nuevo examinando la Fig. 1.15. La

P=(x,t)

P2

P1

x=ct+
x=ct+

g=0

(xct,0)

g=0

(x+ct,0)

Fig. 1.15
e ua ion (1.53) nos di e que para en ontrar u(x; t) basta trazar las ara tersti as
a traves de (x; t), ver donde interse tan la re ta t = 0, e integrar en el intervalo
omprendido entre las dos interse iones, la ondi ion ini ial g. El valor de la integral
es u(x; t). Vemos que u(x; t) depende solamente de los valores ini iales de u en la base
del triangulo on verti e en P y no siente los valores de la ondi ion ini ial fuera de
esa region.
Nuevamente la propiedad de que los disturbios en u se propagan on velo idad nita
se mani esta. Esto se debe a que si g(x) = 0 para jxj > a enton es u = 0 a la dere ha
de x = t + a y a la izquierda de t a omo puede verse de (1.53) y de la Fig. 13.
Finalmente la solu ion de (1.3) esta dada por la suma de (1.41) y (1.53) en la forma
1
1 x+ t
1
g(s)ds:
u(x; t) = f (x + t) + f (x t) +
2
2
2 x t
Z

(1.54)

La formula (1.54) se debe a D'Alambert. En el plano (x; t) la e ua ion (1.54) nos di e


que el valor u(x; t) depende solamente de los datos ini iales en la base del triangulo
formado por el punto (x; t), la re ta t = 0 y las ara tersti as a traves de (x; t) que
interse tan a la re ta t = 0. La region de la re ta t = 0 entre x t y x + t se llama
dominio de dependen ia de (x; t). Esto se debe a que u(x; t) no se altera si se ambian
los datos ini iales fuera de la region x t    x + t. De (1.54) vemos tambien que
un ambio en la ondi ion ini ial en un punto Q solo puede in uir en la solu ion u en

 DE ONDA
1.5. UNICIDAD DE LAS SOLUCIONES PARA LA ECUACION

23

puntos R del ono que tiene por verti es a Q y uyos lados son las ara tersti as a
traves de Q.
En esta se ion hemos en ontrado una solu ion al problema para la e ua ion de onda
en diversas situa iones. La solu ion en ontrada re eja nuestra experien ia en propaga ion de pulsos a lo largo de una uerda y su re exion por paredes. Sin embargo,
para ompletar nuestra dis usion debemos probar que las solu iones obtenidas son las
uni as posibles.
En uanto a la uni idad estamos razonablemente onven idos, on base en los asos
parti ulares del teorema de Cau hy-Kovalevski, dis utidos en los asos en que f y g
tengan desarrollos de Taylor. Sin embargo, nos interesa probar la uni idad para datos
ini iales mas generales, as omo tambien para problemas mixtos de valores ini iales
y de frontera. Este es el objeto de la siguiente se ion.

1.5.

Uni idad de las solu iones para la e ua i


on de
onda

Consideremos el problema
utt = 2 uxx;
l  x  l; t  0;
u(x; 0) = f (x);
ut (x; 0) = g(x);
lxl
(1.55)
u( l; t) = u(l; t) = 0;
t  0:
La solu ion de (1.55) fue onstruida en las se iones anteriores. Desde luego entendemos por una solu ion de (1.55) una fun ion u on dos derivadas que satisfagan (1.55).
Por esto, para que la onstru ion dada en la Fig. 1.14 valga, debemos suponer que
tanto f omo g tiene dos derivadas, lo que supondremos a partir de ahora. (Desde
luego se puede ampliar el on epto de solu ion pero esto no nos interesa por el momento).
Para probar la uni idad de (1.55) utilizaremos el prin ipio de la onserva ion de
energa, que es un argumento general apli able a mu has e ua iones ordinarias y par iales omo veremos a lo largo de estas notas.
Para motivar la prueba onsideremos la e ua ion de las os ila iones
y00 (t) + y(t) = 0;
y(0) = a ; y0 (0) = b;
(1.56)
que tiene por solu ion y(t) = a os t + b sin t. Queremos probar la uni idad. Para
probarla tomamos z = y1 y2 donde y1 y y2 son dos solu iones de (1.56), enton es z
satisfa e
z 00 + z = 0;
z (0) = z 0(0) = 0;
(1.57)
y queremos probar que z = 0. Fsi amente que z = 0 es la uni a solu ion de (1.57),
ya que z (0) = z 0(0) = 0, nos di e que la energa total del movimiento es ero. Por


CAPITULO 1. ECUACIONES HIPERBOLICAS

24

onserva ion de energa esta debe seguir siendo ero para todo el tiempo, de aqu que
z = 0 si t  0.
Ahora damos una expresion analti a para el argumento anterior. La energa E (t) de
una solu ion de (1.57) es
1
1
E (t) = y02 (t) + y2 (t):
2
2
0
Veremos que E (t) = 0 lo ual nos di e que la energa se onserva si z es solu ion de
(1.57). En efe to
E 0 (t) = z 0(z 00 + z ) = 0:
(1.58)
De (1.58) tenemos que
1 02 1 2
1
1
z + z = E (t) = E (0) = z 02 (0) + z 2(0) = 0
(1.59)
2
2
2
2
de donde se sigue que z = 0 para t  0 que es el resultado deseado.
Extenderemos ahora el argumento anterior a la e ua ion de onda. Para esto ne esitamos en ontrar la energa ineti a y poten ial de la uerda.
Pensemos la uerda dividida en tramos omo se ve en la Fig. 1.16 y re ordemos que
ut es la velo idad de la uerda en la dire ion verti al.
De la Fig. 1.14 vemos que la energa ineti a en el tramo xi ; xi+h esta dada por
ut (x i,t)

u(x,t)

Tuxx (x i,t)

x=l

x=0

xi

xi +h

x=l

Fig. 1.16
1 2
hu (x; t)
2 t
y la energa ineti a total de la uerda esta dada por
1
2

l
l

u2t (; t)d :

(1.60)

 DE ONDA
1.5. UNICIDAD DE LAS SOLUCIONES PARA LA ECUACION

25

La energa poten ial que adquiere la uerda al subir de la posi ion u = 0 al tiempo
t = 0, a la posi ion u(x; t) al tiempo t, es el trabajo realizado para ven er a la fuerza
de tension. Para la uerda entre xi y xi+h este trabajo es

Th

uxx(xi ; s)us (xi ; s)ds

(1.61)

que es la integral de la poten ia. De (1.61) obtenemos la energa poten ial total
integrando sobre toda la uerda. Esto es:
l

l 0

T uxx(x; s)us (x; s)dsdx :

(1.62)

Para nuestros propositos es onveniente rees ribir (1.62) eliminando a us . Esto lo


ha emos as
tZ l

T uxx(x; s)us (x; s)dxds = T


l

tn

ux u

l

t

l
l

uxuxs dx ds

T

fra T 2u2x(x; s)dxds =
u2 (x; t)dx
(1.63)
=
2 l x
0 s l
ya que u( l; t) = u(l; t) = u(x; 0) = 0. De (1.63) y (1.60) esperamos que la antidad
que se onserve para solu iones de (1.55) sea
E (t) = 

T
1 2
ut (x; t)dx +
2
l2

l
l

u2x(x; t)dx :

(1.64)

Para probar la uni idad pro edemos omo en (1.57) llamando z la diferen ia de dos
solu iones de (1.55) y probaremos que z = 0. Para esto veremos que

E (t) =

Z
T
 l 2
z dx +
2 l t
2

l
l

zx2 dx

(1.65)

satisfa e E (t) = E (0). Esto se obtiene al ulando

E 0 (t) =

l
l

zt ztt dx + T

l
l

zx zxtdx = 
=

zt ztt dx T

l
l

zt zxx + T zxzt

zt(ztt 2 zxx)dx = 0

(1.66)

ya que zt ( l; t) = zt (l; t) = 0. De (1.66) se sigue que E (t) = E (0) y omo E (0) = 0,


tenemos que
Z
Z
T l 2
 l 2
zt dx +
z dx = 0; t  0:
(1.67)
2 l
2 l x


CAPITULO 1. ECUACIONES HIPERBOLICAS

26

De (1.67) on luimos que zt = zx = 0 para todas las lneas paralelas a l  x  l.


Esto nos garantiza que z = onstante y omo z = 0 en la lnea ini ial tenemos que
z = 0 para l  x  l; t  0. Que es el resultado deseado.
Notese que esta prueba de uni idad usa fuertemente el he ho de que el movimiento
se lleva a abo en una region a otada. Daremos ahora una prueba de uni idad para
una region no a otada.
Para probar este resultado re ordemos que la formula de D'Alambert (1.54) nos muestra que la solu ion u en la region V AB de la Fig. 1.17 solo depende de los datos ini iales
en la re ta AB .

V=(x,t)

x= +t

x= t

A=( ,0)

x=( )/2

B=( ,0)

Fig. 1.17
Por este motivo esperamos que ualquier solu ion de (1.55) quede unvo amente determinada en V AB por los datos ini iales en AB . En parti ular, si los datos ini iales
son ero en AB , debera ser ero en toda V AB .
Ahora probaremos este resultado. Mas pre isamente: supongamos z (x; t) una solu ion
de
ztt = zxx;
zt = z = 0 en AB;
enton es z = 0 en V AB . Para probar el resultado onsideremos de nuevo la energa
de la solu ion en la re ta A0 B 0 omo fun ion del tiempo. Esto es

E (t) =

1 2 1 2
zt + zxdx;
2
2
x+t

0t


:
2

Es de esperarse que E (t) no rez a ya que la region + t

 x  t donde hay

 DE ONDA
1.5. UNICIDAD DE LAS SOLUCIONES PARA LA ECUACION

movimiento se vuelve ada vez mas peque~na uando t


al ulamos E 0 (t) y tenemos:
Z

27

Para probar esto

o
1n
(zt2 + zx2 )( t; t) (zt2 + zx2 )( + t; t)
2
x+t
Z t
t
1 2 2
1 2 2
(zt + zx)( t; t)
(zt + zx)
zt (ztt zxx)dx zt zx
=
2
2

+
t
x+t
1
1
( + t; t) =
(z + z )2 ( t; t)
(z z )2 ( + t; t)  0
(1.68)
2 t x
2 t x
De (1.68) on luimos que E 0 (t)  0 en V AB de donde se sigue que 0  E (t) 
E (0) = 0. De aqu que E (t) = 0 en todas las lneas horizontales A0 B 0 en V AB . Esto
nos muestra que zt = zx = 0 en V AB y omo z = 0 en AB tenemos que z = 0 en
todo V AB . Esto prueba nuestra a rma ion.
Este resultado nos da la uni idad para el problema de la uerda in nita apli andolo a
todos los puntos V . Queda omo un ejer i io, el probar on este metodo la uni idad
de la solu ion del problema uando solo hay una pared que re eja. Se debe ha er esto
on una ombina ion de (1.68) y (1.66).
Para mayores detalles onsultar Courant-Hilbert [3 K. O. Friendri hs [7 y Jorge
Ize [8.

E 0 (t) =

(zt ztt + zxzxt )dx +

28


CAPITULO 1. ECUACIONES HIPERBOLICAS

Cap
tulo 2

Sistemas de e ua iones on
ara ter
sti as
En esta se ion se dis utiran sistemas de e ua iones lineales que tiene ara tersti as.
Se analizaran problemas on valores ini iales y de frontera a partir de varios ejemplos.
Se on luira la se ion on algunos problemas simples para las e ua iones de Maxwell
que se expli an y se dis uten on ierto detalle. Nuestra presenta ion sigue muy de
er a las notas de Friedri hs de propaga ion de ondas ele tromagneti as.

2.1.

El problema de las l
neas de transmisi
on

Es un he ho ono ido por todos que las se~nales ele tri as viajan a lo largo de los alambres on ierta velo idad. Ahora veremos omo se puede des ribir uantitativamente
el fenomeno usando E ua iones en Derivadas Par iales. Para esto supondremos un
able re to representado por el eje x omo el que se indi a en la Fig. 2.1, on apa itan ia onstante y una indu tan ia L por unidad de longitud.
Si se apli a un voltaje v(t), una orriente i(t) uira ha ia el lado dere ho y nos interesa al ular esa orriente i(x; t) en todos los puntos del able omo fun ion del voltaje
apli ado g(t) en x = 0. Se deben en ontrar las e ua iones que rela ionan a i y a v en
el able.
Las e ua iones que ne esitamos en este aso son la ley de onserva ion de la arga y
la ley de Faraday.
La ley de onserva ion de la arga nos di e que si (x; t) es la densidad de arga,
tenemos enton es que

d x+h
(; z )d = i(x; t) i(x + h; t):
dt x
Z

29

(2.1)

30

CAPITULO 2. SISTEMAS DE ECUACIONES CON CARACTERISTICAS

t
g(t)=V(t)
x
x=0

x+h

Fig. 2.1
Notemos que (2.1) es la misma que (1.1). En este aso por de ni ion de y del voltaje,
tenemos que (2.1) se transforma en

vt + ix = 0;

x  0; t  0:

(2.2)

La e ua ion (2.2) es una sola e ua ion para dos in ognitas. En (1.2) tenamos una
rela ion algebrai a Q() entre las dos in ognitas. En el aso del ele tromagnetismo no
hay tal rela ion algebrai a y la segunda e ua ion para al ular i y v nos la dara la ley
de Faraday. Para usar di ha ley examinemos la ada de voltaje v(x + h; t) v(x; t)
entre x + h y x. Sabemos por la ley de Faraday (que es experimental) que esa ada
es propor ional a la rapidez de ambio it . En antidades esto es

v(x + h; t) v(x; t) = Lhit(x; t)

(2.3)

donde L es la indu tan ia por unidad de longitud. Tomando en (2.3) el lmite uando
h ! 0, tenemos que
vx + Lit = 0
(2.4)
Por lo tanto, las e ua iones que queremos estudiar son

vt + ix = 0;
x  0; t  0;
Lit + vx = 0;
x  0; t  0;
v(x; 0) = i(x; 0) = 0; x  0;
v(0; t) = g(t);
t  0:

(2.5)

Notese que el valor i(0; t) no se espe i a, ya que debe ser onsistente on el valor de
v(0; t) y su determina ion es parte del problema. Las e ua iones (2.5) orresponden
a un able que en t = 0 esta sin arga y sin orriente. Ademas,
 en x = 0 se le apli a
una se~nal de voltaje g(t). Nos interesa ono er i y v a lo largo del able. Esperamos
solu iones en forma de ondas que se propagan ha ia la dere ha.


2.1. EL PROBLEMA DE LAS LINEAS DE TRANSMISION

31

Al igual que en e ua iones ordinarias es onveniente es ribir (2.5) omo matriz, on


lo que se obtiene


t

v
i

0 1
L 1 0


x

v
i

0 ; x  0; t  0;
0

0 ; x  0;
0

g(t)
i(0; t) ; t  0:

v
i t=0 =



v
=
(2.6)
i x=0
Vemos que la e ua ion (2.6) es analoga a la e ua ion de primer orden, donde ahora
 no es un es alar sino una matriz. Antes
el termino de velo idad que multipli a a x
de resolver (2.6) onsideremos el sistema

t

w
z

1 0
0 2


x

w
z

0
0

(2.7)

es de ir, un sistema donde la matriz esta en forma diagonal. Vemos que (2.7) es
equivalente a dos e ua iones independientes (desa opladas)

wt + 1 wx = 0;
zt +  2 zx = 0
que se resuelve inmediatamente on w = f (x 1 t), z = g(x 2 t).
Vemos pues que para un sistema omo (2.7) no hay di ultades. Por esto, al igual
que en e ua iones ordinarias trataremos de transformar (2.6) a su forma diagonal
mediante un ambio de variables dependientes.
Introdu imos enton es el ambio de variables


v
i

=U

w
z

(2.8)

donde U es una matriz invertible que se determinara en el pro eso de redu ion.
Sustituyendo (2.8) en (2.7), tenemos que


U
t

 w
t z

w
z

+U 1

0 1
L 1 0
0 1
L 1 0


U
x



U
x

w
z
w
z

=
=

0
0
0
0

;
:

(2.9)

Para que (2.9) sea omo (2.7) debemos de es oger U de tal forma que

U 1

0 1
L 1 0

U=

1 0
0 2

(2.10)

32

CAPITULO 2. SISTEMAS DE ECUACIONES CON CARACTERISTICAS

Para satisfa er (2.10) basta en ontrar los valores propios de




0 1
L 1 0

1
que son 1 = (L ) 21 y 2 = (L ) 2 . Enton es (2.10) queda omo:
0

1
2

1
1

L
q
L

0 1
L 1 0

1
(L ) 2
0

0
1
(L ) 2

Transformando tambien las ondi iones ini iales en (2.6) de a uerdo a (2.8) vemos
que (2.6) es equivalente al sistema diagonal


t

w
z

1
0
(L ) 2
1
0
(L ) 2

0 ; x  0;
0

w
z t=0 =


w
g(t)
1
=
U
z x=0
i(0; t)

1
2


x

w
z

0
0

g(t) + L i(0; t)
q
g(t) + L i(0; t)

1
A

En (2.10) vemos que las e ua iones para w y z se desa oplan y la situa ion se muestra
en el plano (x; t) de la Fig. 2.2.
x=(LC) (1/2)t +

x=(LC) (1/2)t
x=(LC) (1/2)+
w=0

z=0

z=0

z=0
w=z=0

Fig. 2.2

w=0

w=0

 DE ONDAS EN AGUA
2.2. PROPAGACION

33

Sabemos
p que w = onstante y z = onstante sobre las re tas x = t= L +  y x =
t= L +  respe tivamente.
Por esto vemos que z = w = i = v = 0 para (x; t) abajo
p
de la lnea x = t= L . Esto nos di e, al igual que la e ua ion de primer orden, que las
se~nales emitidas en x = 0 viajan on velo idad p1L que depende de las propiedades
del able.
A lo largo de las ara tersti as que viajan ha ia la izquierda tenemos que z = 0, en
parti ular z = 0 sobre la re ta x = 0. Esto determina i(0; t) ya que
r

L
0 = z = g(t) + i(0; t)
;

i(0; t) =

L
g(t):

El valor de w a lo largo de las ara tersti as arriba de x = t= L es

L x);

w(x; t) = g(t

z (x; t) = 0:

(2.11)

De (2.11) pasamos a las variables originales usando (2.8) y obtenemos

v(t) = g(t

L x);

i(t) =


g(t
L

L x):

(2.12)

Las formulas (2.12) representa ondas que viajan ha ia la dere ha sin distorsion on
velo idad p1L .
Queda omo un ejer i io el resolver el problema on ondi iones ini iales


v +
i t

0 1
L 1 0



v
i x =

v
i t=0 =

0 ; 1 < x < 1; t  0;
0

f (x) :
g(x)

>Que ondi iones deben umplir f (x) y g(x) para que no se propaguen disturbios
ha ia la izquierda?. Estudiar en detalle el plano (x; t).

2.2.

Propaga i
on de ondas en agua

Consideremos ahora otro problema que da origen a un sistema de e ua iones muy


pare ido al estudiado en (2.5). Este sistema apare e al analizar la propaga ion de
ondas en agua. En primer lugar plantearemos las e ua iones y despues las resolveremos
de una manera muy similar a las de lneas de transmision.
Las e ua iones de movimiento son un aso parti ular de las e ua iones de Navier
Stokes, pero nosotros las dedu iremos dire tamente. Para esto onsideremos un uido
que se mueve on velo idad horizontal u, verti al w, y uya super ie libre esta des rita
por (x; t) tal omo se ve en la Fig. 2.3. Supondremos ademas que el fondo de la playa

CAPITULO 2. SISTEMAS DE ECUACIONES CON CARACTERISTICAS

34

(x,t)
z=0

nivel medio

x
u

z=h

x0

Fig. 2.3
tiene una profundidad onstante.
Usando en la Fig. 2.3 la ley de la onserva ion de la masa entre x0 y x tenemos

d x
(h + (; t))d = rapidez de ambio de la antidad de agua entre x0 y x
dt x0
= Agua que entra en x0 Agua que sale en x
= Flujo en x0 Flujo en x:
(2.13)
Z

Expresando en (2.13) el ujo en terminos de u y  tenemos que

d x
(h + (; t))d = u(x0 ; t)fh + (x0 ; t)g u(x; t)fh + (x; t)g
dt x0
Z

(2.14)

e ignorando en (2.14) los produ tos u (ya que suponemos olas no muy altas ex luyendo fenomenos de rompimiento) tenemos de (2.14) que

t + hux = 0:

(2.15)

Nuevamente (2.15) es una e ua ion para dos in ognitas. La otra e ua ion se en uentra
de la dinami a usando la ley de Newton. En ontramos enton es que

ut =
wt =

a elera ion horizontal = ambio de presion en x = px;


a elera ion verti al = ambio de presion en z
g = pz

(2.16)
g:

Las e ua iones que ontrolan al movimiento del lquido son

t + hux = 0;

ut + px = 0;

wt + pz + g = 0;

(2.17)

 DE ONDAS EN AGUA
2.2. PROPAGACION

35

este es un sistema de tres e ua iones para uatro in ognitas. Debemos errar el sistema
y para esto haremos una aproxima ion muy drasti a en la ultima e ua ion (2.17).
Supondremos que la a elera ion verti al wt  1 y que pz balan ea a la fuerza de
gravedad, es de ir
pz = g:
(2.18)
En otras palabras de imos que el movimiento en la dire ion verti al es tan peque~no
que la presion esta dada por la ley hidrostati a (2.18). El valor de p lo tenemos
integrando (2.18) entre la super ie libre y un punto del uido, obteniendo as

p(x; ; t) p(x; z; t) =

(x;t)

p (x; z; t)d =

(x;t)

gd = g((x; t) z ): (2.19)

Como el valor de p(x; ; t)= presion atmosferi a, enton es la podemos tomar omo
ero y tener
p(x; z; t) = g((x; t) z )
(2.20)
que es la ley de la presion hidrostati a. Sustituyendo (2.20) en (2.17) tenemos

t + hux = 0;
ut + gx = 0;
que son las e ua iones para la propaga ion de ondas. Desde luego deben ser suplementadas por ondi iones ini iales y de frontera.
Un problema que resolveremos ahora es el de un pulso que se produ e en un estanque
de agua y viaja parte ha ia la dere ha del estanque y parte ha ia la izquierda, donde
en uentra paredes y se re eja. Nos interesa determinar la altura del agua en ada
punto del estanque omo fun ion del tiempo. El problema por resolver es:



u t +



u x=0 =



u t=0 =



o h
0

g 0
u x = 0 ; 0  x  l; t  0;





(0; t)

(l; t) ; t  0;
;
=
0
u x=l
0

f (x) :
0

(2.21)

Notemos en (2.21) que en los extremos, el valor de  debe determinarse omo parte del
problema. Supondremos ademas que f (x) esta on entrada en el entro del estanque.
Para resolver (2.21) pro edemos omo en (2.8) e introdu imos el ambio de variables


w
z

=U


u

; U=

obtenemos el sistema diagonal

g
h

g
h

1
1
; U 1= 
2
1

h
g
q
h
g

1
A

36

CAPITULO 2. SISTEMAS DE ECUACIONES CON CARACTERISTICAS



gh p0
w
0
gh
z t +




w
= U 1 f0 ; t = 0;
z


 
w
1  (0; t) ;
=
U
z x=0
0

w
z x=

0
0

;
(2.22)

w
1
z x=l = U

(l; t)
0

; t0

donde las fun iones (0; t) y (l; t) deben determinarse en la solu ion de (2.22).
Al estudiar (2.22)pusamos el plano (x; t) y observamos que w es onstantepa lo largo
gh t +  .
de las re tas x = gh t +  , y z es onstante a lo largo de las re tas x =
La situa ion se muestra en detalle en la Fig. 2.4.
Construiremos ahora la solu ion geometri amente, tal omo lo hi imos en el aso de

u=0
w=/2

u=0
G

z=/2
H

C+1

z=0

C+2

2
C

z=cte

C+1

C1
x=0

F
w=/2
z=/2

w=f/2
z=f/2

x=l

Fig. 2.4
la e ua ion de onda. Empezaremos por la zona entre C+1 y C+2 ; omo w es onstante
tenemos que en esa zona fuera de los triangulos ABC y DEF, la solu ion es
1
w = f (x
2

gh t);

z = 0:

 DE ONDAS EN AGUA
2.2. PROPAGACION

37

Dentro del trangulo ABC tenemos que


p
p
1
1
gh t);
z = f (x + gh t):
w = f (x
2
2
Ahora examinemos lo que su ede uando el pulso llega a la pared (x = l). Vemos que
el disturbio que llega por la ara tersti a C+ determina el valor (l; t) ya que

(l; t) = 2w(l; t) = f (l

gh t):

Este valor se transporta a lo largo de C y nos da que en la region EF HG, la solu ion
es
p
x l
1
1
gh t);
w(x; t) = 0:
z (x; t) = (l; p + t) = f (2l x
2
2
gh
En el triangulo DEF tenemos que
p
p
1
1
gh t);
w(x; t) = f (x
gh t):
f (2l x
2
2
En la region a la izquierda de A se repite el mismo pro eso y tenemos que en la region
ACD'E'
p
1
w(x; t) = 0:
z (x; t) = f (x + gh t);
2

z (x; t) =

Tambien la ara tersti a C 1 ho a ontra la pared en x = 0 y determina el valor


p
1
z (0; t) = f ( gh t)
2
y de esta e ua ion se sigue que el valor de w en C+1 es

(0; t) =

1 p
w(x; t) = f ( gh t x):
2
En el triangulo D'E'F' la solu ion es
p
1 p
1
w(x; t) = f ( gh t x):
z (x; t) = f (x + gh t);
2
2
Finalmente en la region GHG'H' la solu ion es
p
1
1 p
gh t);
w(x; t) = f ( gh t x):
z (x; t) = f (2l x
2
2
La solu ion en las variables originales puede obtenerse multipli ando (w; z )T por U 1.
Queda omo un ejer i io veri ar que la solu ion que hemos obtenido es efe tivamente

38

CAPITULO 2. SISTEMAS DE ECUACIONES CON CARACTERISTICAS

una solu ion de (2.21). De igual manera se deja omo ejer i io en ontrar la solu ion
de este problema para tiempos posteriores.
Otro ejer i io es en ontrar la solu ion del problema



u t +



u x=0 =



u t=0 =



o h
g 0
f (t)
u(0; t)

0 ;
0


u x=


; u

x=l

0
0

; 0  x  l; t  0;

(l; t)
0

; t  0;

donde la fun ion f es ono ida y las fun iones u(0; t) y (l; t) estan por determinarse.
>Cual es la interpreta ion de la solu ion ?
En general, los sistemas de e ua iones de la forma

ut + Aux = 0;

u(x; 0) = g(x);

donde u es un ve tor y A una matriz (que mediante una transforma ion lineal se
pueden pasar a un forma diagonal), se llaman sistemas simetri os hiperboli os. Las
re tas x = 1 t +  , x = 2 + , donde 1 ; 2 son los valores propios de A se llaman las
ara tersti as del sistema. El metodo que empleamos para onstruir las solu iones
prueba su existen ia y uni idad. Se deja omo un ejer i io el poner las hipotesis
apropiadas sobre f y dar el detalle de los argumentos. Para mayores detalles y un
tratamiento mas avanzado y ompleto referimos al le tor a las notas de J:Ize [8

2.3.

Las e ua iones de Maxwell

Dis utiremos ahora el sistema de e ua iones par iales que des riben el omportamiento de los ampos ele tri os y magneti os produ idos por argas y orrientes. Las e ua iones de Maxwell son el resumen y formula ion uantitativos de la experien ia que
se tiene on argas, orrientes y sus intera iones. Estas e ua iones no se dedu en.
En ele tri idad, son el equivalente a la ley de Newton en me ani a. A ontinua ion
des ribimos esquemati amente algunos experimentos que dieron origen a las leyes que
hoy formulamos en terminos de las e ua iones de Maxwell.
En primer lugar re ordemos que el ampo ele tri o E(x; t) es un ve tor que depende
de la posi ion y del tiempo. Es un he ho experimental que el ujo del ampo ele tri o
atraves de una super ie errada que en ierra una arga Q, es propor ional a di ha
arga. Esta es la ley de Gauss. En antidades, si S es la super ie que a ota a la arga
Q y n el ve tor normal a S , tenemos que
Z

E  n dS = ujo de E a traves de S =

Q
0

(2.23)

39

2.3. LAS ECUACIONES DE MAXWELL

y al es ribir en (2.23)

Q=

(x; t)dx

donde  es la densidad de arga, tenemos usando el Teorema de la Divergen ia, que


r  E = 
(2.24)
0
que es la expresion uantitativa de la ley de Gauss.
Tambien es un he ho experimental que las lneas de fuerza de un ampo magneti o
son siempre erradas. Si B es el ve tor de ampo magneti o, el he ho anterior se
expresa matemati amente omo
rB=0
Ahora pasamos a estudiar las leyes que ontrolan la intera ion de ampos ele tri os
y magneti os. Estas leyes antes de Maxwell eran la ley de Faraday y la ley de Ampere.
Empezaremos por re ordar la ley de Faraday. Esta ley resume el he ho experimental
de que si el ujo de un ampo magneti o a traves de una espira de able ambia on
el tiempo, en el able se indu e un voltaje que es propor ional y de signo ontrario al
ambio del ujo. La expresion uantitativa de esta ley (en el lenguaje moderno de los
ve tores, des ono ido para Faraday) es

d
;
(2.25)
dt
donde V es el voltaje en la espira y  el ujo de B atraves de S . Es ribiendo la (2.25)
en terminos de los ampos E y B tenemos
V=

d
B  n dS;
(2.26)
dt
S
C
donde C es la urva que forma la espira. Usando el Teorema de Stokes en (2.26)
tenemos que
Bt + r  E = 0
(2.27)
que es la expresion matemati a de la ley de Faraday.
Por ultimo dis utiremos la ley de Ampere que es la expresion uantitativa del he ho
experimental de que al pasar una orriente ele tri a por un able, se forma un ampo
magneti o alrededor de di ho able uya ir ula ion es propor ional a la intensidad
de la orriente. Esta situa ion se muestra esquemati amente en la Fig. 2.5.
Cuantitativamente la ley de Ampere se expresa as
Z

B  dl =

E  dl =

ir ula ion de B alrededor de C

= 0 intensidad de orriente = 0 I =

0 J  n dS;

40

CAPITULO 2. SISTEMAS DE ECUACIONES CON CARACTERISTICAS

B
C

Fig. 2.5
donde J es la intensidad de orriente que pasa por el alambre. Usando nuevamente el
Teorema de Stokes obtenemos
r  B = 0 J:
(2.28)
Las leyes del ele tromagnetismo ono idas antes de Maxwell son:
r  E =  ;
(i)
0
r  B = 0;
(ii)
Bt + r  E = 0;
(iii)
(2.29)
r  B = 0 J:
(iv)
Se pensaba que estas e ua iones podan des ribir los fenomenos del ele tromagnetismo.
En realidad la ley de Ampere fue en ontrada solo para orrientes esta ionarias (r J =
0) e independientes del tiempo, por lo tanto no hay ninguna razon para suponerlas
validas uando r  J 6= 0 y J ambia on el tiempo. Sin embargo, durante mu hos
a~nos se usaron estas e ua iones y los resultados obtenidos on ordaban on el experimento. La idea del pro eso que representan las e ua iones (2.29) (que de he ho es
la manera natural de resolverlas) es que J determina a B a traves de (iv) de manera

2.3. LAS ECUACIONES DE MAXWELL

41

instantanea. Los ambios de J produ en a su vez ambios en B que mediante (iii)


produ en ambios en E.
Un examen mas uidadoso muestra que (i) y (iv) son in onsistentes on la ley de onserva ion de arga t + r  J = 0, que sabemos vale para situa iones dependientes del
tiempo. Esta in onsisten ia se debe a que (iv) nos da r J = 0, lo ual es onse uen ia
de que la ley de Ampere solo vale para orrientes esta ionarias. La razon del exito de
(2.29) es que uando se usaba la onserva ion de arga no se usaba (iv) y vi eversa.
Fue Maxwell el que modi o la ley de Ampere (iv) para ser onsistente on los experimentos. A (iv) le a~nadio un nuevo termino, que segun el pensaba, se deba al
movimiento del \eter" (que hoy sabemos no existe). Por analoga a lo que pasa en
otras situa iones, tomo esa orriente omo propor ional a Et ; modifando la ley de
Ampere para tener en uenta a esa orriente en la forma

r  B = 0 (J + 0 Et ):

(2.30)

Remitimos al le tor al trabajo original de Maxwell [11 (editado por Dover) para una
le tura sobre estos argumentos. Con (2.30) las e ua iones del ele tromagnetismo que
hoy ono emos omo E ua iones de Maxwell son:
r  E =  ; (i)0
0
r  B = 0; (ii)0
Bt + r  E = 0; (iii)0
(2.31)
0 0 Et
r  B = 0 J; (iv)0
que deben estar suplementadas por ondi iones ini iales y de frontera. Queda ahora
omo un ejer i io mostrar que si E y B satisfa en (iii)' y (iv)' y ademas ; J satisfa en
la e ua ion de ontinuidad, enton es E y B satisfa en automati amente (i)' y (iii)'.
Esto nos muestra que dadas  y J que umplen la e ua ion de ontinuidad, debemos
resolver (iii)' y (iv)' para determinar los ampos.
Notemos que (i)' hasta (iv)' impli an un pro eso diferente en la genera ion de E y B
que el dado por (i) hasta (iv). Examinando (iv) vemos que en general r  B 6= 0 J y
que este desbalan e produ e un ambio Et el que a su vez, por medio de (iii)', produ e
un ambio en B.
Queda el problema de examinar por que las e ua iones (i)-(iv) dan buenos resultados
uando las e ua iones reales son (i)'-(iv)'. Para dis utir esto estudiaremos en detalle
un aso parti ular que tambien nos servira para ilustrar el manejo de (i)'-(iv)'.
Consideremos pues el problema de determinar el ampo ele tri o y magneti o produ idos por una orriente que ir ula en un plano delgado omo el de la Fig. 2.6.
Supondremos que J3 (t)k^ es diferente de ero en la franja 2  x  2 y solo para
t  0. Supondremos tambien que  = 0, es de ir que no hay densidad de arga, y que
los ampos E = B = 0 si t = 0. Debido a que no hay dependen ia en y; z podemos
bus ar una solu ion de (iii)' y (iv)' que dependa solamente de x y t. En este aso

42

CAPITULO 2. SISTEMAS DE ECUACIONES CON CARACTERISTICAS

J3(t) k

J3(t) k

/2

/2

y
J3(t) k

J3(t) k

E
x

Fig. 2.6
tenemos tomando

E = (E 1 ; E 2 ; E 3 );

B = (B 1 ; B 2 ; B 3 );

tenemos que las e ua iones (2.31) en omponentes son


1)
2)
3)
4)
5)
6)
7)
8)

Ex1 = 0;
Bx1 = 0;
Bt1 = 0;
Bt2 Ex3 = 0;
Bt3 + Ex2 = 0;
0 0 Et1 = 0;
0 0 Et2 Bx3 = 0;
0 0 Et3 Bx2 = 0 J3 (t):

(2.32)

Debido a que las derivadas on respe to a z y y son ero. Ademas sabemos que
E = B = 0 en t = 0. De 1), 2), 3), 6) on luimos que E 1 = B 1 = 0 para t  0 (se

43

2.3. LAS ECUACIONES DE MAXWELL

deja omo ejer i io el ha er los detalles). De 5) y 7) vemos que


3 ;
Btt3 = 0 0 Bxx

 2
E (x; 0) = 0;
x

B 3 (x; 0) = Bt3 (x; 0) =

debido a las ondi iones ini iales. Por el teorema de uni idad para la e ua ion de onda
vemos que B 3 = 0 si t  0. De la misma forma vemos que E 2 = 0; quedando omo
ejer i io omprobar esto. Las e ua iones (2.32) se redu en a

Bt2 Ex3 = 0;
0 0 Et3 Bx2 = 0 J3 (x; t);
B 2 (x; 0) = E 3 (x; 0) = 0;

(2.33)

que es un sistema hiperboli o no homogeneo pare ido a los ya estudiados.


Antes de resolver (2.33) haremos una aproxima ion muy omun en matemati as apli adas. Se onsiderara una lamina de an ho ero, y la orriente total que ir ula por
ella se mantendra nita. Lo anterior se logra tomando

J3 (x; t) =

1 j (t)


 x  2 ;
jxj  2 ;

ya que en este aso la antidad de orriente que ir ula es j (t). Enton es podemos
reemplazar la segunda e ua ion (2.33) por

0 0 Et3 Bx2 = 0:
Sin embargo la fun ion B 2 no sera ontinua en x = 0, ya que integrando tenemos

0 0

Z 

Et3 dx

Z 

Bx2 dx = 0

Z 

j (t)
dx;

2 
2

de donde se sigue que

0 0

Z 



Et3 dx B 2 ( ; t) + B 2 ( ; t) = 0 j (t)
2
2
2
2

y tomando el lmite uando  ! 0, suponiendo Et3 a otado, obtendremos que

B 2 (0+ ; t) + B 2 (0 ; t) = 0 j (t):
De la misma forma la primera e ua ion (2.33) nos da

E 3 (0+ ; t) + E 3 (0 ; t) = 0:

44

CAPITULO 2. SISTEMAS DE ECUACIONES CON CARACTERISTICAS

Finalmente las e ua iones para el ampo E 3 y B 2 son:

Bt2 Ex3
2 Et3 Bx2
E3 = B2
3
+
E (0 ; t) E 3 (0 ; t)
B 2 (0+; t) B 2 (0 ; t)

=
=
=
=
=

0; jxj > 0;
0; jxj > 0; 2 = 0 0 ;
0; t = 0;
0; t  0;
0 j (t); t  0:

(2.34)

Podemos resolver (2.34) diagonalizando la matriz y pro ediendo omo en (2.8). Sin
embargo es onveniente identi ar las dire iones ara tersti as dire tamente de la
e ua ion (2.34). Para esto sumamos y restamos las e ua iones (que es equivalente a
multipli ar por U) y llamando E 3 = E y B 2 = B , obtenemos que



( 1 + )(E B )
t x


1
)(E + B )
(
t x
(E  B )
(E  B )(0+ ; t) (E  B )(0 ; t)

= 0
= 0
= 0; t = 0;
=  0 j (t); t  0:

(2.35)

De a uerdo on (2.35) vemos en el plano (x; t) de la Fig. 2.4 que

E B = te: a lo largo de x = t + ;
E + B = te: a lo largo de x = t + :
En la Fig. 2.4 vemos que en la region a la dere ha de x = t y a la izquierda de
x = t, E = B = 0 ya que las ara tersti as a traves de esos puntos llevan el valor
ini ial ero. Con luimos pues que los ampos ele tri os y magneti os se propagan on
velo idad = p0 0 . Cal ulemos ahora el valor de la solu ion en P . A traves de P
pasa la ara tersti a C , on lo ual

E + B = 0 en (x; t) = P:

(2.36)

Tambien pasa la ara tersti a C + y a lo largo de ella se tiene que E B es onstante.


De aqu que
x
):
(2.37)
(E B )(x; t) = (E B )(0; t

Nos falta al ular E B a lo largo de la re ta x = 0. Para esto usamos la rela ion
que nos da la dis ontinuidad de E B en x = 0. De la Fig. 2.7 vemos que uando
x < 0, E B = 0, de donde obtenemos que
(E

B )(0;  ) = 0j ( ):

45

2.3. LAS ECUACIONES DE MAXWELL

t
(0,tx/c)

P=(x,t)
x=ct

x=ct+
C

C+
E + cB = 0

E + cB = 0

x=ct+

Fig. 2.7
Usando esta e ua ion as omo las e ua iones (2.36) y (2.37), obtenemos
(E + B )(x; t) = 0;
de donde se en uentra que
0
j (t
E (x; t) =
2

(E

B )(x; t) = 0 j (t

x
);


B (x; t) = 0 j (t
2

x
):

x
):

(2.38)

En forma similar (queda omo ejer i io el veri arlo) tenemos que para x > 0

E (x; t) =

x
0
j (t + );
2

B (x; t) =

0
x
j (t + ):
2

(2.39)

Las
(2.38) y (2.39) representan ondas que se propagan on velo idad =
p0 e ua iones
0 ha ia la dere ha y ha ia la izquierda respe tivamente. Estas son las ondas
ele tromagneti as que son la predi ion de las e ua iones de Maxwell y uno de los
des ubrimientos mas grandes del siglo pasado. Notese que en un punto jo x0 , E =
B = 0 hasta que t = x0 = , tiempo que tarda en llegar la primera se~nal. Esto nos
muestra que los ampos no se produ en instantaneamente, sino que viajan on una
velo idad nita.
Se deja omo un ejer i io el resolver las e ua iones de Maxwell uando se tiene una
pared en x = l. Si suponemos a la pared ondu tora, tenemos que E = 0 en x = l.

46

CAPITULO 2. SISTEMAS DE ECUACIONES CON CARACTERISTICAS

Las e ua iones por resolver son:

Bt E x
Et 2 Bx
E=B
+
E (0 ; t) E (0 ; t)
B (0+ ; t) B (0 ; t)

=
=
=
=
=

0;
1 < x < 0; 0 < x  l; t > 0;
0;
1 < x < 0; 0 < x  l; t > 0;
0; t = 0;
0; t  0;
0 j (t); t  0:

Suponiendo que j (t) tiene la forma


j(t)

Fig. 2.8
Dis uta en detalle los ampos para 0  x  l. Para terminar esta se ion veamos
omo las e ua iones (i)-(iv) son una aproxima ion a (i)'-(iv)' en el sentido que las
solu iones de (i)'-(iv)' se pare en a las solu iones de (i)-(iv) para iertos valores de
(x; t).
Vemos de (2.38) que uando x  t (es de ir x esta er a del objeto emisor) podemos
aproximar (2.38) por su serie de Taylor en la forma
 
1

;
B = 0 j (t) + 
2

 
0
x
1
E =
:
(2.40)
j (t) + 0 j 0 (t) + 
2
2

Observemos que (2.40) son solu iones de (i)-(iv) apropiadas a esta situa ion. Es de ir,
solu iones de

E (0+ ; t)

Bt Ex = 0;
E (0 ; t) = 0;

Bx = 0;
B (0+ ; t) B (0 ; t) = 0 j (t):

En el aso x  t (que es fre uente ya que es grande por ser la velo idad de la luz)
las e ua iones (i)-(iv) proveen una buena des rip ion del fenomeno. En parti ular, de

2.3. LAS ECUACIONES DE MAXWELL

47

(2.40) vemos que B y luego E son produ idos instantaneamente. Sin embargo, las
e ua iones (i)-(iv) no pueden des ribir el fenomeno de propaga ion para x er anas
a t. Resultara de interes para el le tor omparar esta dis usion on la del Vol. II
del libro \Le tures on Physi s" de Feynmann [5 donde se dis ute este problema on
argumentos fsi os.

48

CAPITULO 2. SISTEMAS DE ECUACIONES CON CARACTERISTICAS

Cap
tulo 3

E ua iones el
pti as

3.1.

Introdu i
on y algunos problemas t
pi os

Las e ua iones elpti as des riben situa iones que no ambian en el tiempo, o bien
situa iones que son en ierta forma periodi as y uya dependen ia temporal puede
eliminarse redu iendose a un problema estati o. Apare en en varios ampos de apli a ion, y nosotros dis utiremos algunos problemas tpi os en elasti idad, me ani a de
uidos y ele trostati a. En esta se ion dis utimos algunos problemas tipo.

3.1.1. E ua ion de una membrana elasti a en equilibrio


Tomamos una membrana elasti a on una fuerza de restitu ion T por unidad de
longitud. Nos interesa saber que forma adopta la membrana bajo su propio peso
uando se en uentra, rgidamente sujeta en su borde, a la posi ion de equilibrio.
Fijamos el sistema de oordenadas tal omo se muestra en la gura, y denotamos
por
la region que o upa la membrana uando sobre ella no a tua ninguna fuerza
debido al peso. Por otro lado, sea 
el borde la membrana, y denotemos tambien
por z = u(x; y) la forma que la membrana toma uando se deforma bajo la a ion de
su propio peso. Ver la Fig. 3.1.
La idea es obtener una e ua ion que nos diga la forma de la membrana que determina
a la fun ion u(x; y) uando las fuerzas de tension (que se oponen a la deforma ion de
la membrana) y el peso (que deforma), estan en equilibrio. Queda omo ejer i io el
utilizar la segunda ley de Newton para obtener la e ua ion para u(x; y).
Nosotros obtendremos la e ua ion para u utilizando el prin ipio de mnima energa,
el ual nos di e que \un sistema me ani o se en uentra en su posi ion de equilibrio,
uando su energa de on gura ion (o poten ial) es mnima". Debemos pues en ontrar
una expresion para la energa de la membrana en terminos de su forma u(x; y).
En nuestros asos la energa de on gura ion tiene dos partes. Una es la elasti a
49

CAPITULO 3. ECUACIONES ELIPTICAS

50

debido al trabajo realizado por la fuerza T . Es una hipotesis que se debe veri ar
experimentalmente, que la energa elasti a esta dada por
 de la membrana sin deformar =
Energa elasti a / Area
 de la membrana deformada - Area
 sin deformar)=Area
 sin deformar:
T ( Area
En terminos de la fun ion u tenemos que
 sin deformar = T f(1 + u2x + u2y ) 12
Energa elasti a / Area

1g:

(3.1)

La energa poten ial gravita ional por unidad de area debido a la gravedad, es de ir
al peso de la membrana, es gu donde  es la masa de la membrana por unidad de
area. La energa total se obtiene sumando (3.1) y (??) e integrando. Con lo anterior
obtenemos que

E (u) =

T f(1 + u2x + u2y ) 2

1g + gu dxdy:

(3.2)

Apli amos pues el prin ipio de mnima energa a (3.2). Para obtener la u que minimiza
a di ha e ua ion, en ontraremos primero una ondi ion ne esaria para que lo haga,
y posteriormente probaremos en algunos asos lmites de (3.2) que efe tivamente la
minimiza.
Para obtener la ondi ion ne esaria deseada observamos que si u0 minimiza a E ,
enton es la fun ion
Eh (t) = E (u0 + th)
donde h es una fun ion ja tal que h = 0 en 
y t un parametro, al anza un mnimo
omo fun ion de t en t = 0. Esto es ierto para toda h, tal que h = 0 en 
. De esta
observa ion tenemos, al igual que en al ulo, que una ondi ion ne esaria para que
u0 minimi e a (3.2) es que
E 0 (0) = 0 8 h; tal que h = 0 en 
:
(3.3)
h

 Y ALGUNOS PROBLEMAS TIPICOS


3.1. INTRODUCCION

51

El al ulo de (3.3) se deja omo un ejer i io, de manera que obtenemos:

Eh0 (0) =

1
T (1 + u0 2 + u0 2y ) 2 ru0  rh + gh dxdy:

(3.4)

Es onveniente transformar (3.4) integrando por partes el primer termino obteniendo


as
Z n
o
0
Eh (0) =
r  (1 + u2x + u2y ) 12 T ru0 + g hdxdy = 0:
(3.5)

Como (3.5) es ero para h 6= 0, el otro fa tor tiene que ser tambien ero. De aqu que
la e ua ion para u0 es:

1
1
+ u0 2x + u0 2y ) 2 u0 x gx + f(1 + u0 2x + u02y ) 2 u0y gy = g ; (x; y) 2
;
u0 = 0; (x; y) 2 
:
(3.6)

f(1

La e ua ion (3.6) es una e ua ion no lineal ompli ada y por el momento debemos
onformarnos on algo menos ambi ioso. Un aso de interes es uando las pendientes
de la membrana ux y uy son peque~nas, esto dependera del balan e entre las fuerzas
elasti as, el peso de la membrana, as omo su dimension ara tersti a. De aqu que
una version simpli ada de (3.6) es (despre iando los terminos u2x y u2y ) la e ua ion
lineal
g
u0 xx + u0 yy =
; en
;
(3.7)
T
u0 = 0; en 
:
Esta expresion (3.7) se llama la e ua ion de Poisson. Observamos que (3.7) nos di e
que la on avidad de u es ha ia arriba, lo ual esta de a uerdo on nuestra intui ion
y experien ia.
Resolvemos ahora un aso espe ial de (3.7), el aso uando
es un r ulo de radio
a. En esta situa ion es onveniente usar oordenadas polares y es ribir

g
1
1
(ru ) + 2 u0  = ; 0  r  a; 0    2;
r 0r r
r
T
u0 (a; ) = 0; 0    2:
Debido a la simetra del problema podemos bus ar solu iones que no dependen de 
y obtener as
g
(3.8)
u0 (r; ) = (r2 a2 )
4T
que es la e ua ion de un paraboloide. Es de interes examinar uando la solu ion
(3.8) es onsistente on la hipotesis de linealiza ion. Di ha onsisten ia depende de la
estima ion
ga
max ju0r j =
 :
2T

CAPITULO 3. ECUACIONES ELIPTICAS

52

Cuando   1 efe tivamente la solu ion es onsistente on la hipotesis de una teora


lineal. El signi ado de  es el esperado. Nos di e que para membranas de un radio
jo, la pendiente es peque~na uando las fuerzas elasti as son grandes omparadas on
el peso de la membrana, i.e. es dif il deformar una membrana peque~na.
La e ua ion (3.8) nos prueba la existen ia de solu iones para (3.7) en un aso parti ular. La prueba de existen ia en asos mas generales es objeto de otras partes del
urso. Lo que si podemos ha er es probar la uni idad de solu iones de (3.7) uando
u0 2 C 2 (
0 ) donde
0 es una region que ontiene a
[ 
. Para esto basta ver que
la uni a solu ion u0 2 C 2 (
0 ) del problema

r2 u 0

= 0 en
;
u0 = 0 en 
;

(3.9)

es u0 = 0.
Este he ho es onse uen ia inmediata del teorema de Green ya que
Z

jru0 j2 dxdy + u0 (r2 u0 )dxdy =

r  (u0 ru0 )dxdy =

u0

u0
dl = 0
n

y omo u0 satisfa e (3.9) tenemos


Z

jru0 j2 dxdy = 0; u0 = 0 en 
;

de donde u0 = 0. Veremos ahora que la solu ion de (3.7), si es que la hay en C 2 (


0 ),
efe tivamente minimiza a la energa poten ial orrespondiente que en este aso es un
desarrollo a primer orden de (3.2)
Z

o
T 2 2
(ux + uy ) + gu dxdy:
(3.10)

2
Para mostrar que E (u0 ) es mnimo de E (u) en la lase C 2 (
0 ) de fun iones que son
ero en 
, basta al ular
Z n
o
T 2
E (u0 + h) =
(u0 x + u0 2y ) + gu0 dxdy +

2
Z
Z n
o
T
jrhj2 dxdy > E (u0 ) (3.11)
T u0x hx + T u0y hy + +gh dxdy +

para toda h 2 C 2 (
0 ), on h = 0 en 
ya que el segundo termino de (3.11) es ero,
porque es pre isamente Eh0 (0) y satisfa e la e ua ion de Poisson as omo la ondi ion
de frontera. Este resultado ha sido probado bajo ondi iones muy restri tivas y po o
realistas. Sin embargo, solamente se pretendio ilustrar la situa ion de una manera
simple. Condi iones mas pre isas y realistas se dis utiran en otras partes del urso.

E (u) =

 Y ALGUNOS PROBLEMAS TIPICOS


3.1. INTRODUCCION

53

3.1.2. E ua iones elpti as en me ani a de uidos


Supongamos un uido que esta moviendose en tres dimensiones y uyo movimiento
es esta ionario. Es de ir, en ada punto x del espa io, la velo idad v(x) es la misma
durante todo el tiempo. En este aso una part ula del uido satisfa e las e ua iones

x_ (t) = v(x(t))
y su traye toria se llama lnea de ujo. Deseamos en ontrar e ua iones que nos permitan en ontrar al ve tor v en situa iones de interes. Una de estas situa iones es uando
el uido no tiene remolino, ondi ion que se expresa por

r  v = 0:

(3.12)

 la obteAdemas de (3.12) ne esitamos la e ua ion de onserva ion de la masa. Esta


nemos onsiderando una super ie tubular S1 formada por lneas de ujo y a otada
en sus extremos por S2 y S3 . Supongamos ademas que en el interior del tubo hay una
super ie S4 por la que entra o sale uido on una velo idad v = w que es una fun ion
dada. En una situa ion esta ionaria, la antidad de uido que entra al tubo a traves
de S2 y S4 es la misma que sale por S3 , ya que por S1 no entra ni sale uido debido
a que v  n = 0 en S1 , donde n es la normal a S1 . Ha iendo el balan e obtenemos, si
 es la densidad del uido, que
Z

S2
Z
S3
Z
S4

de donde

 v  n ds = masa de uido que entra por S2 en 1 segundo;


 v  n ds = masa de uido que entra por S3 en 1 segundo;
 w  n ds = masa de uido que entra por S4 en 1 segundo;

S2

 v  n ds +

S4

 w  n ds =

S3

 v  n ds +

S1

 v  n ds:

Usando el teorema de la divergen ia obtenemos que

r  (v) = r  (w)
y omo w es ono ida, ya que tiene que ver on la intensidad de la fuente, tendremos
que omo r  v; si v = r, enton es  satisfa e

r  (r) = f

(3.13)

donde la fun ion f es la intensidad de la fuente (o sumidero) que es una fun ion ono ida. La e ua ion (3.13) debe suplementarse on ondi iones de frontera. Supongamos

CAPITULO 3. ECUACIONES ELIPTICAS

54

que  es el poten ial de v en un uido no vis oso. En este aso se sabe que sobre
una super ie rgida las lneas de ujo son paralelas a ella, de aqu que sobre paredes
rgidas la ondi ion apropiada es: v  n = r  n = n = 0.
En las extremidades de un tubo debe espe i arse el ujo, es de ir espe i ar n . Por
ejemplo, el ujo esta ionario en un tubo
queda ompletamente espe i ado por la
solu ion de la e ua ion
(x )x + (y )y + (z )z
n
n
n

=
=
=
=

0 en
;
0; pared rgida;
f1 ; extremo ini ial del tubo;
f2 ; extremo nal del tubo:

(3.14)

En el aso de una densidad onstante, la (3.1.2) es la e ua ion de la membrana on


 = 0, ex epto que aqu las ondi iones de frontera son distintas.
Otra situa ion de mu ho interes donde apare en las e ua iones elpti as, es en la
aproxima ion a las e ua iones de Maxwell. En ele trostati a uando Et = Bt = 0, es
de ir, los ampos no dependen del tiempo; tenemos que las e ua iones de Maxwell se
redu en a
r  E =  ;
0
r  B = 0;
r  E = 0;
r  B = 0 J;
suplementadas por las ondi iones de frontera apropiadas. Observese que en el aso
estati o las e ua iones para E y para B son independientes.
Supongamos que queremos determinar el ampo ele tri o en una region omo la que
se ve en la Fig. 3.2. donde la super ie S es ondu tora. En ese aso E  n = 0. Las
e ua iones que determinan a E son
r  E =  ;
0
r  E = 0;
E  n = 0 en S:

Como r  E = 0, tenemos que E = r, y  satisfa e el problema de Neumann


r2  =  ; dentro de S;
0
n = 0; en S;

que es una e ua ion elpti a igual a la de la membrana que dis utimos al prin ipio de
esta se ion.

3.2. SOLUCIONES A ALGUNOS PROBLEMAS ELIPTICOS

55

S
(x)

E (x)
n

Fig. 3.2
3.2.

Solu iones a algunos problemas el


pti os por
separa i
on de variables

3.2.1. Problemas de Diri hlet


Como primer ejemplo onsideramos el problema de Diri hlet para un dis o de radio
a,
1
1
0  r  a; 0    2;
(3.15)
(ru ) + u = 0;
r r r r2 
u(a; ) = f (); f (0) = f (2); 0    2:
La idea es redu ir (3.15) a un problema de e ua iones diferen iales ordinarias. Para
lograr esto observamos que u(r; ) es periodi a omo fun ion de , por este motivo
puede desarrollarse en serie de Fourier de la forma
1 n
o
X
an (r) sen n + bn(r) os n ;
(3.16)
u(r; ) = a0 (r) +
donde

n=1

1 2
1 2
a0 (r) =
u(r;  )d;
an (r) =
u(r;  ) sen n d;
2 0
 0
Z 2
1
u(r;  ) os n d:
(3.17)
bn (r) =
 0
En (3.16) los oe ientes son fun iones de una sola variable que esperamos determinar
a partir de la e ua ion par ial y la ondi ion de frontera. Sustituyendo (3.16) en (3.15)
obtenemos
1
1
n2
n2
1
an = 0;
b = 0:
(3.18)
(ra0 r )r = 0;
(ran r )r
(rbn r )r
2
r
r
r
r
r2 n
Z

CAPITULO 3. ECUACIONES ELIPTICAS

56

La ondi ion de frontera y el he ho que


1 n
o
X
fn (r) sen n + gn(r) os n
f () = g0 +
n=1

nos da ondi iones de frontera para (3.18) en la forma

a0 (a) = g0 ;

an (a) = fn ;

bn (a) = gn :

(3.19)

Una ondi ion adi ional que imponemos sobre la fun ion u es que sea a otada.
La e ua ion para a0 tiene por solu iones a0 = te: y a0 = ln r. Para satisfa er las
ondi iones de frontera y de regularidad, tenemos que a0 = g0 . Las e ua iones para
an y bn son e ua iones de Euler de la forma
r2 a00 + ra0 n2 an = 0;
n

on solu iones rn ; r n . Como deseamos solu iones regulares para an y bn tenemos


que
 n
 n
r
r
fn ;
bn =
g :
(3.20)
an =
a
a n
Utilizando (3.20) tenemos una solu ion formal
1  r n n
o
X
u(r; ) = g0 +
fn sen n + gn os n :
(3.21)
n=1 a
Para veri ar que (3.21) es efe tivamente una solu ion de (3.15) hay que pre isar lo
que se entiende por una solu ion de (3.15).
Por una solu ion de (3.15) entenderemos una fun ion u(r; ) dos ve es diferen iable
para r < a, ontinua para r  a tal que

r2 u

= 0 r < a; 0    2;
u(a; ) = f ();
0    2:
Hay otros on eptos de solu ion; por ejemplo podemos de ir que u es solu ion de la
(3.15), si u es dos ve es derivable para r < a y lmr!a u(r; ) = f () sin ser u ne esariamente ontinua para r = a. Solu iones de este tipo se llaman solu iones lasi as.
Claramente el tipo de solu ion bus ada depende mu ho del dato f (). Nosotros probaremos aqu que uando el dato f () es dos ve es ontinuamente derivable y periodi o, el y sus derivadas, enton es u(r; ) provee una solu ion lasi a de la (3.15) que
es ontinua hasta la frontera. En (3.21) vemos que la diferen iabilidad de la serie
depende de la rapidez on la ual los oe ientes fn y gn de aen a ero. Nosotros
probaremos que uando f 2 C 2 [0; 2 y es periodi a, la serie onverge de tal forma
que permite su deriva ion termino a termino para r < a y de ne una fun ion ontinua
para r  a.

3.2. SOLUCIONES A ALGUNOS PROBLEMAS ELIPTICOS

57

Para probar la onvergen ia de (3.21) ne esitamos estimar los oe ientes fn y gn.


Tomamos por ejemplo
1 2
1 os n
1 2
f ( )j20 +
f ( ) sin nd =
os nf 0( )d
 0
 n
n 0
Z
Z 2
1
1 2
0
os nf ( )d = 2 2
f 00 ( ) sin nd
=
n 0
n 0

fn =

de donde
Analogamente

00
jfn j  manx2jf j = nK2  :

1 2
gn =
f (s) os nd;
jgn j  nK2  :
 0
Para probar que (3.21) es dos ve es derivable para r < a re ordamos que una ondi ion
su iente para que la derivada de una serie uniformemente onvergente exista, es que
la serie obtenida al derivar termino a termino sea una serie uniformemente onvergente
de fun iones ontinuas.
Es laro que (3.21) es uniformemente onvergente para r  a. Esto se debe a que
esta dominada por una serie onvergente, y para ver que es derivable para r < a
examinamos por ejemplo la serie
1 n(n 1)  r n 2 n
o
X
fn sen n + gn os n
(3.22)
2
a
a
n=2
Z

obtenida al derivar (3.21) termino a termino on respe to a r. La serie (3.22) es


uniformemente onvergente para r < a ya que
1 2K n(n 1)  r n 2
1 n(n 1)  r n 2 n
X
o
X


f
sen
n
+
g
os
n



n
n
2 n2
a2
a
a
n=2 a
n=2
1
2K X  r n 2
< 2
< 1 ; si r < a:
a n=2 a
Esta desigualdad prueba que u es dos ve es derivable respe to a r para r < a. Queda
omo ejer i io el probar la derivabilidad respe to a .
La misma onstru ion de la solu ion, muestra que u satisfa e la e ua ion. Esto
ompleta la prueba de que (3.21) provee una solu ion lasi a de (3.15) uando f 2
C 2 [0; 2 y f es periodi a.
La prueba de uni idad dada, utilizando el teorema de la divergen ia, no es apli able
en este aso ya que no sabemos que u 2 C 2 (
0 ). Una prueba de uni idad apropiada la daremos mas adelante. Sin embargo se deja omo ejer i io el probar que si
f 2 C 1 [0; 2 y todas sus derivadas son periodi as, enton es u 2 C 1 para r  a y la

CAPITULO 3. ECUACIONES ELIPTICAS

58

solu ion es uni a en ese aso.


La solu ion (3.21) de la e ua ion (3.15) fue obtenida utilizando el he ho muy parti ular de que el dato es una fun ion periodi a y por ese motivo desarrollable en serie de
Fourier. Sin embargo un examen mas detallado de (3.21) nos muestra iertos he hos
que nos permitiran resolver otros problemas. Primero que nada (3.21) es una suma
de produ tos de la forma
X
Cn Rn (r)n ()
(3.23)
donde ada produ to satisfa e la e ua ion y re ibe el nombre de solu ion separable.
Ademas la familia fn g tiene la propiedad de que toda fun ion de una lase apropiada
puede es ribirse en la forma
1  Z 2

X
f ( )n ( )d n():
f () =
n=0

De estas observa iones dedu imos que uando el dato del problema puede expresarse
on una formula analoga a la de las series de Fourier, en terminos de fun iones que
son fa tores de una solu ion separable, el problema se puede resolver al menos formalmente de la misma manera que el problema anterior.
Una te ni a para resolver e ua iones par iales es la de bus ar todas las posibles solu iones separables, y sele ionar entre ellas una sub lase que pueda expresar el dato
del problema. Una vez en ontradas esas solu iones una suma analoga a la (3.23) nos
dara una solu ion formal del problema. La te ni a des rita se llama el metodo de
separa ion de variables.
Como un ejemplo de apli a ion onsideremos el problema mostrado en la Fig. 3.3:

r2 u

= 0 en f(x; y) j 0 < x < a; 0 < y < bg;


u(0; y) = u(a; y) = 0;
0  y  b;
u(x; 0) = u(x; b) = 0;
0  x  a:
Bus amos solu iones separables del problema de la forma u(x; y) = X (x)Y (y), y la
esperanza es que resulte una familia de fun iones fXn(x)g que nos permitan desarrollar la fun ion f (x). Sustituyendo en la e ua ion tenemos
X 00 Y 00
+
= 0;
X 00 Y + Y 00 X = 0;
X
Y
de donde
Y 00
X 00
= ;
= ;
(3.24)
X
Y
donde  es una onstante real. Para que u resuelva el problema, la fun ion X debe
satisfa er X (0) = X (a) = Y (b) = 0. Deben pues resolverse (3.24) on las ondi iones

3.2. SOLUCIONES A ALGUNOS PROBLEMAS ELIPTICOS

59

y
u=0

y=b
u=0

2 u = 0

u=f

u=0
x=a

de frontera apropiadas. Supongamos que  = 2 > 0. Enton es


X 00
2 X = 0; X (0) = X (a) = 0;

X (x) = sen hx; pero sen ha 6= 0; pues a 6= 0

por tanto 2 > 0 no es valor propio. Y si suponemos que  = 2 < 0, enton es

n
n22
Xn (x) = sen n x; n = ; n =
:
a
a2
Las orrespondientes fun iones Yn satisfa en
Y 00 + n Yn = 0; Yn (b) = 0;
n

de donde se sigue que


n
(y b)
a
y por ende que las solu iones separables son:



n 
n
un (x; y) = sen
x sen h
(y b) ; n = 1; 2; : : :
a
a
En (3.15) el teorema de Fourier garantizaba la posibilidad de desarrollar el dato del
problema en terminos de las fun iones n . En este aso para poder utilizar el metodo
ne esitamos un desarrollo de la forma
1

X
n 
Cn sen
f (x) =
x
(3.25)
a
n=1

Yn = sen h

donde las Cn sean oe ientes por determinarse. La existen ia de un desarrollo de la


forma (3.25) no es obvia de ninguna manera. Hay ierta esperanza de que sea valida
ya que las fun iones sen ( n
a x) son os iladores. Supongamos que (3.25) es valida y

CAPITULO 3. ECUACIONES ELIPTICAS

60

tratemos de determinar las Cn . Como en el aso de series de Fourier multipli ando


por sin ( n
a x) e integrando obtenemos:
Z a

n 
a
n 
 d = Cn sen2
 d = Cn :
f ( ) sen
a
a
2
0
0
Utilizando (3.26) obtenemos que una solu ion formal del problema es
1
h
i

X
n
n 
u(x; y) =
An senh
(y b) sen
x
a
a
n=1
Z

donde

An =

(3.26)

(3.27)

a

2
n 
 d
f ( ) sen
nb
a
a senh a 0
Z

siempre que (3.25) sea valida.


El estudio de la validez de desarrollos omo el dado en (3.25), aso iados on solu iones
separables de e ua iones par iales, es objeto de la Teora de Sturm-Liouville que
empezo a desarrollarse a mediados del siglo pasado. Nosotros no intentaremos dar
una exposi ion ya que su estudio omprende varios volumenes. Una breve dis usion
puede en ontrarse en el libro de Weinberger [15. Nos limitaremos en estas notas
a unos breves omentarios y a mostrar analogas on el algebra lineal, las uales
fa ilitaran el a eptar sin demostra ion, la validez de desarrollos de la forma (3.25).
Para ha er la analoga on el algebra lineal observamos que las fun iones

n 
x
Xn (x) = sen
a
satisfa en
d2
X (x) = 2n Xn(x); Xn (0) = Xn (a) = 0:
(3.28)
dx2 n
La e ua ion (3.28) indi a que las fun iones Xn son eigenve tores de la transforma ion
lineal A : D ! C [0; a donde D = ff 2 C 2 [0; aj f (0) = f (a) = 0g, de nida por
Af (x) = f 00 (x):
El onjunto D es un subespa io ve torial de C [0; a y en el se puede de nir un produ to
es alar
Z a
< f; g >=
fg dx:
(3.29)
0

De a uerdo al produ to es alar dado en la (3.29), el operador A resulta ser simetri o


ya que para f; g 2 D se satisfa e

< Af; g >=

f 00 g dx =

fg00 dx =< f; Ag > :

3.2. SOLUCIONES A ALGUNOS PROBLEMAS ELIPTICOS

61

El mismo argumento del algebra lineal muestra que los eigenve tores de A orrespondientes a eigenvalores distintos son ortogonales, es de ir
Z

Xn (x)Xm (x)dx = 0; m 6= n:

Ademas re ordamos el resultado de algebra lineal en el que se di e que los eigenve tores de una transforma ion simetri a forman una base del espa io. En algebra lineal,
debido a que el espa io es de dimension nita, solo tenemos un numero nito de
eigenve tores; en nuestro aso tenemos un numero in nito, ya que D es de dimension
in nita. Podemos imaginar una extension no obvia pero si natural, del algebra lineal
al pensar que los eigenve tores Xn forman una base del espa io D en el sentido de
que toda f 2 D puede desarrollarse, omo en algebra lineal, en la forma
1 < f; X >
X
n
Xn
(3.30)
f=
<
X
;
X
n n>
n=1

donde la onvergen ia de la serie debe entenderse en una forma apropiada. Vemos


que (3.25) justi a por analoga el desarrollo mostrado en (3.30). El estudio de la
onvergen ia de series de la forma (3.30) es objeto de la teora de Sturm-Liouville. Una
vez estable ida la rapidez de re imiento de los oe ientes Cn se pro ede, omo en
el aso de series de Fourier, a veri ar la validez de las solu iones formales obtenidas
por el metodo de separa ion de variables. Una exposi ion mas detallada de estos
resultados esta en el libro de Weinberger [15.
Queda omo ejer i io el resolver formalmente, y tratar de omprobar la validez de la
solu ion del problema indi ado en la Fig. 3.4.
y
u=f3(x)
u=fy(y)

2 u = 0

u=f1(x)

u=f2(y)
x

3.2.2. La formula de Poisson


Si se re uerda que en la variable ompleja las fun iones armoni as son parte real de
fun iones analti as, es de esperarse para ellas una representa ion tipo Cau hy en

CAPITULO 3. ECUACIONES ELIPTICAS

62

terminos de una integral que involu re sus valores en la frontera. Cal ularemos ahora
esta expresion usando (3.21), que al es ribirla usando la de ni ion de sus oe ientes
es
Z
Z
1  r n
1 2 X
1 2
os [n(  )f ( )d
f ( )d +
u(r; ) =
2 0
 0 n=1 a
Z
1  r n
o
1 2 n 1 X
=
os [n(  ) f ( )d:
+
 0
2 n=1 a
Pero
1  r n
1 r
n o
n
1 X
1 X
os [n(  ) = Re +
+
ei( )
2 n=1 a
2 n=1 a
 
1
a2 r 2
=
:
2 a2 2ar os (  ) + r2
De donde

(a2 r2 )f ( )d
1 2
:
(3.31)
u(r; ) =
2 0 a2 2ar os (  ) + r2
La (3.31) es la formula de Poisson. Es importante observar que el lado dere ho de
(3.31) esta de nido para r < a siempre que
Z

2

jf ( )jd < 1:

Ademas la formula (3.31) de ne una fun ion armoni a (r2 u = 0) para r < a, aun
si f no tiene serie de Fourier. Es posible probar que uando f es solamente ontinua, (3.31) provee una solu ion lasi a al problema de Diri hlet en el sentido que
lmr!a u(r; ) = f ().

3.2.3. Problema de Neumann


Consideremos ahora el aso donde en la frontera no se prees riben los valores de la
fun ion, sino los valores de su derivada normal. Empezamos onsiderando el problema
para un r ulo.
1
1
(rur )r + 2 u = 0; 0  r  a; 0    2;
r
r
ur (a; ) = f (); f (0) = f (2); 0    2:

(3.32)

3.2. SOLUCIONES A ALGUNOS PROBLEMAS ELIPTICOS

63

Pro edemos omo para el problema de Diri hlet desarrollando u omo


1 n
o
X
u(r; ) = a0 (r) +
an (r) sin n + bn (r) os n
n=1

donde las an ; bn son solu iones a otadas en r = 0 del sistema

n2
1 0
a = 0; a0n (a) = fn ; n  1;
(ran )r
r
r2 n
1 0
n2
b = 0; b0n (a) = gn ; n  1;
(rbn )r
r
r2 n
1 0
(ra ) = 0; a00 (a) = gn:
r 0r
Para n  1 la solu ion del sistema es:
a  r n
a  r n
;
bn(r) = gn
:
an (r) = fn
n a
n a
Sin embargo, para n = 0 en ontramos a0 (r) = te:, de donde la e ua ion
a0 (a) = 0 = g0
0

se satisfa e solo si

1 2
f ( )d = 0:
(3.33)
2 0
Es de ir el problema de Neumann no tiene solu ion formal para un dato arbitrario,
sino que el dato debe satisfa er la ondi ion de ompatibilidad de la (3.33). Si el dato
satisfa e di ha e ua ion, enton es una solu ion formal esta dada por
1 n f  r n
o
X
g  r n
n
sin (n) + n
os (n)
(3.34)
u(r; ) = a
n a
n=1 n a

g0 =

donde la onvergen ia de la serie depende de que tan rapido de aen los oe ientes
fn; gn . La solu ion dada en la (3.34) no es uni a ya que las onstantes tambien son
solu iones del problema. Queda omo ejer i io el veri ar que si f 2 C 2 [0; 2 y es
periodi a, enton es u 2 C 2 para r < a y u 2 C 1 para r  a.
De la misma forma que en el problema de Diri hlet, podemos sumar la serie (3.34) de
la siguiente manera
1  r n 1 Z 2
aX
f ( ) os [n(  )d
u(r; ) =
 n=1 a n 0
Z
1 1  rei n o
nX
a 2
=
d
f ( )Re
i
 0
n=1 n ae

CAPITULO 3. ECUACIONES ELIPTICAS

64

n

rei o
a 2
d
f ( )Re ln 1
 0
aei
Z

a 2
rei
=
d
f ( ) ln 1
 0
aei
Z

(3.35)

que es la formula de Poisson para el problema de Neumann. Es interesante notar que


(3.35) de ne una fun ion ontinua hasta r = a para datos f () ontinuos.

3.2.4. El prin ipio del maximo para la e ua ion de Lapla e


Supongamos una solu ion lasi a de u 2 C 2 (
) \ C (
) del problema

r2 u = F;

F > 0; F
u = f en 
:

2 C (
);

Fsi amente es laro que la forma u de la membrana sujeta a la fuerza F , solo puede
ser on ava ha ia arriba y por lo tanto u al anza su maximo en la frontera.
Nos proponemos probar formalmente este he ho. Como u es ontinua enton es al anza
su maximo en
. Supongamos que lo al anza en x0 2
. En el punto x0 tenemos por
al ulo que F = r2 u  0!! de donde u al anza su maximo en la frontera.
Consideremos ahora el problema

r2 u = 0 en
;

u = f en 
;

probaremos que si u es una solu ion lasi a enton es u satisfa e

u  max f;
x2

Para probar esto tomamos


enton es

x 2
:

v = u + (x2 + y2 )

r2 v = 4

y por el resultado anterior

v  max u + R2
x2

donde R es el radio de un r ulo que ontiene a


. Ademas
u  v  max u + R2 :
x2

(3.36)

Como (3.36) es valida para toda  > 0 tendremos el resultado deseado.


El prin ipio del maximo puede utilizarse para probar la uni idad de una solu ion

3.2. SOLUCIONES A ALGUNOS PROBLEMAS ELIPTICOS

65

lasi a u 2 C 2 (
) \ C (
) de la e ua ion de Lapla e. En efe to, supongamos una
solu ion lasi a del problema de Diri hlet

r2 u = 0 en
; u = 0 en 
:
Por el prin ipio del maximo tenemos u  0 en
. Por otra parte u  0, de donde
u = 0. Esto prueba que la uni a solu ion lasi a de la (3.15), uando f 2 C 2 [0; 2 y
es periodi a, esta dada por la serie (3.21).

3.2.5. Problemas elpti os

Como primer ejemplo onsideremos el problema de Diri hlet en el semiplano z  0,


on dato de frontera u(x; 0) = f (x) en 1 < x < 1 omo se muestra en la Fig.
3.5. La idea para resolver el problema es de nuevo desarrollar la u en terminos de
z

2 u = 0
u
0 si z

u=f(x)

Fig. 3.5
fun iones mas sen illas. En este aso la herramienta natural es la transformada de
Fourier
Z 1
f^(k) =
f (x)e ikx dx;
1Z
1 1 ^ ikx
f (k)e dk:
(3.37)
f (x) =
2 1
Pro edemos ahora omo en el aso de regiones nitas y es ribimos u(x; z ) en la forma
Z
1 1
u(x; z ) =
u^(k; z )eikx dk
2 1
y en ontramos para u^(k; z ) la e ua ion ordinaria

k2 u^(k; z ) = 0; z  0;
! 1 si Zz ! 1;
1
u(x; 0) = f (x) =
u^(k; 0)eikx dk:
1

u^(k; z )zz
u^(k; z )

CAPITULO 3. ECUACIONES ELIPTICAS

66
Resolviendo la e ua ion tenemos

u^(k; z ) = ejkjz f^(k);


Z
1 1 jkjz ^ ikx
u(x; z ) =
e f (k)e dk:
(3.38)
2 1
En (3.38) se ve que uando f 2 C 1 (R) es de soporte ompa to, u(x; z ) es in nitamente derivable para z  0. Ademas omo la (3.37) efe tivamente es valida en esa
situa ion, tendremos la existen ia de una solu ion lasi a del problema para datos
f 2 C 1 (R) on soporte ompa to.
Resulta interesante rees ribir (3.38) en forma analoga a la formula de Poisson obtenida para el r ulo. Para esto basta re ordar el teorema de la onvolu ion para la
transformada de Fourier y obtendremos enton es:
Z 1
u(x; z ) =
K (x ; z )f ( )d;
1Z
1 1 jkjz ik
1 z
K (; z ) =
e e dk = 2 2 ;
2 1
 +z
de donde

z
1 1
f ( )d:
 1 (x  )2 + z 2
Queda omo un ejer i io el plantear y resolver el problema de Neumann para el semiplano.
Consideremos ahora un problema de gran importan ia en apli a iones que da origen
a un problema elpti o de una region in nita, a saber, el problema de difra ion.
u(x; z ) =

3.2.6. Problema de difra ion


Una situa ion de gran interes en apli a iones en las que apare en e ua iones elpti as
es en problemas de difra ion de ondas por obsta ulos. En este aso las e ua iones
elpti as apare en omo una simpli a ion de la e ua ion de movimiento original. En
estas notas onsideraremos solo un ejemplo simple; algunos ejemplos mas ompli ados
y una dis usion mas detallada de la solu ion seran objeto de otros aptulos en este
urso. Consideremos la difra ion de una onda plana que in ide sobre un ilindro
in nito uyo eje es paralelo al eje z . Para simpli ar el problema supondremos que
el ve tor k de propaga ion de la onda plana esta en el plano (x; y) y en este aso el
problema es bidimensional.
La e ua ion por resolver es la e ua ion de onda
1
uxx + uyy = 2 utt

(3.39)

3.2. SOLUCIONES A ALGUNOS PROBLEMAS ELIPTICOS

67

y en prin ipio deben darse ondi iones ini iales, y datos de frontera apropiados que
representen tanto al obsta ulo omo a la fuente que genera la onda plana in idente.
Las ondi iones de frontera que representan el obsta ulo son fre uentemente u = 0 o
bien un = 0 en las paredes del obsta ulo y no presentan mayor di ultad el de idirlas
en ada aso. Lo que resulta mas dif il es resolver el problema on valores ini iales, por
este motivo se bus a una simpli a ion en la ual se reduz a el numero de variables.
Por lo anterior, en lugar de onsiderar la fuente en detalle, se onsidera una onda plana
Ae i(kx wt) que viaja ha ia el objeto, y uno se pregunta uanto vale el ampo de
difra ion al ho ar di ha onda plana ontra el objeto. Como la situa ion es periodi a
en el tiempo, se espera que la onda difra tada tenga tambien una dependen ia eiwt . De
lo anteriormente expuesto, es laro que debemos bus ar una solu ion de la e ua ion
(3.39) en la forma
u = Ae ikx eiwt + veiwt
(3.40)
donde v es la onda difra tada. Debemos en ontrar ahora una e ua ion y ondi iones
de frontera apropiadas para v. La e ua ion para v se obtiene sustituyendo la (3.40)
2
por la (3.39) y re ordando que k  k = k2 = w 2 , ya que la onda plana es una solu ion
de la e ua ion. La expresion para v es

r2 v + k2 v = 0;

fuera del obsta ulo.

(3.41)

La ondi ion de frontera sobre el obsta ulo es


v = Aeikx; para x en la frontera del obsta ulo.
Lo que resulta un po o mas ompli ado es la expresion del he ho que v se omporta
omo una onda efe tivamente re ejada. Lo primero que se debe pedir es que lejos
del obsta ulo, v represente una onda que se aleje. Esto se puede expresar, si r es la
oordenada radial, di iendo que eiwtv  f (r t) para r grandes. Ademas por el he ho
de estar en una situa ion esta ionaria, la energa radiada a lo lejos del obsta ulo por
la onda re ejada v debe ser una onstante. Como jvj2 es una medida de la densidad
de energa, debemos tener que eiwt v  f (rpr t) para r ! 1, ya que de esta manera
Z

2

jvj2 rd = onstante, para r ! 1:


1
1 0
Con estas observa iones, la e ua ion y ondi iones de frontera para v son
Energa radiada dt =

r2 v + k 2 v

= 0; fuera del obsta ulo,


v = Ae ikx; en la frontera del obsta ulo,
f (r t)
pr
para r ! 1:
eiwt v 

(3.42)

El problema (3.42) es ono ido omo problema de radia ion para la e ua ion de
Helmholtz. La ondi ion sobre el omportamiento de v, uando r ! 1, se llama

CAPITULO 3. ECUACIONES ELIPTICAS

68

ondi ion de radia ion y fue utilizada por Sommerfeld a prin ipios de este siglo.
Para resolver (3.42) es onveniente ambiar a oordenadas polares, es ogiendo omo
eje polar el ve tor k
1
1
(rvr )r + 2 v + k2 v = 0; r  a; 0    2;
r
r
v = Ae ika os  ; r = a; 0    2;
(3.43)
f (r t)
pr ; para r ! 1:
eiwt v 
Bus amos una solu ion de (3.43) en la forma:
1 n
o
X
an (r) os (n) + bn(r) sin (n) :
(3.44)
v(r; ) =
n=0

Como la ondi ion de frontera es par, solo ne esitamos los oe ientes an (r), es de ir,
bn (r) = 0, n  1. Al sustituir (3.44) en (3.43), en ontramos las siguientes e ua iones
ordinarias para los oe ientes:
1 0 0 n2
a + k2 an = 0:
(3.45)
(ra )
r n
r2 n
La ondi ion en el obsta ulo nos da:

an (a) =

2

e ika os  os (n)d = 2(i)nJn (ka):

(3.46)

La (3.45) es una e ua ion muy estudiada; se llama la e ua ion de Bessel. Tiene dos
solu iones linealmente independientes las uales se omportan omo (kr)n y (kr) n
para r peque~no. Hay dos solu iones estandarizadas de una manera sistemati a que se
llaman las fun iones de Bessel, las uales se denotan por
Jn (kr)  (kr)n ;
r ! 0;
n
Yn (kr)  (kr) ; r ! 0:
Para determinar las onstantes arbitrarias debemos usar la ondi ion en r = a y r !
1. Para esto ne esitamos tener informa ion sobre el omportamiento
de las fun iones
Jn y Yn . Para obtener esta informa ion tomamos an (r) = r 21 fn (r) y obtenemos
1 1
n2 )fn = 0
(3.47)
fn00 + k2 fn + 2 (
r 4
de donde vemos que uando r ! 1 podemos despre iar el ter er termino de (3.47) y
obtener
os (kr)
sin (kr)
(3.48)
Jn (kr)  An p + Bn p ;
r
r
os (kr)
sin (kr)
Yn (kr)  Cn p + Dn p :
r
r

3.2. SOLUCIONES A ALGUNOS PROBLEMAS ELIPTICOS

69

De (3.48) vemos que es posible es oger una nueva ombina ion lineal

En Jn + Fn Yn

ikr

 Gn epr ;

r ! 1;

(3.49)

que satisfaga la ondi ion

Gn

e i(kr wt)
pr ;

r ! 1:

(3.50)

La solu ion de (3.45) on el omportamiento mostrado en (3.50) onvenientemente


normalizada se denota por Hn(2) y se llama fun ion de Hankel de segunda lase. En
esta nueva nota ion la solu ion para an (r) es

Jn (ka) (2)
Hn (kr):
an (r) = A (2)
Hn (ka)
La solu ion formal al problema es enton es
(
)
1
X
Jn (ka) (2)
J0 (ka) 2
n
H (kr) + 2 ( i) (2)
u(r; ) = A 2
Hn (kr) os (n) :
H0 (ka) 0
Hn (ka)
n=1

(3.51)

Cuando el produ to ka  1, es de ir, la longitud de onda es omparada on el


tama~no del objeto, enton es la (3.51) onverge muy rapidamente y po os terminos
son su ientes para obtener una buena idea de la solu ion. Cuando 1  ka la (3.51)
da po a informa ion y por lo tanto se debe re urrir a te ni as mas espe  as para
obtener informa ion util.
La dis usion de la validez de (3.51) es semejante a otras series de Fourier. La prueba
de uni idad de la solu ion de (3.43) esta detallada y dis utida en el libro de CourantHilbert [3.

70

CAPITULO 3. ECUACIONES ELIPTICAS

Cap
tulo 4

Separa i
on de variables para
e ua iones on ara ter
sti as
En esta se ion analizaremos algunos problemas ya resueltos en las se iones anteriores, usando la te ni a de separa ion de variables que ya motivamos y dis utimos
para e ua iones elpti as. La idea del metodo es redu ir el problema a resolver un
sistema in nito de e ua iones ordinarias independientes. Dis utiremos la te ni a on
varios ejemplos y ompararemos la solu ion obtenida por ara tersti as.

4.1.

Separa i
on de variables para la e ua i
on de segundo orden

Empe emos por resolver el problema

utt
u(x; 0)
ut (x; 0)
u(0; t)

=
=
=
=

uxx; 0  x  ; t  0;
f (x); 0  x  ;
0; 0  x  ;
u(; t) = 0; t  0:

La solu ion del problema anterior ya se dio en (1.44). Ahora resolveremos el problema
separando variables.
Sabemos que ualquier fun ion impar g(x) (su ientemente regular) se puede desarrollar en el intervalo 0  x  , en serie de Fourier de senos de la forma
1 2
nZ 
o
X
sin (nx)
sin (n )g( )d :
(4.1)
g(x) =
0
n=1 
71

 DE VARIABLES PARA ECUACIONES


CAPITULO 4. SEPARACION

72

En parti ular, la solu ion bus ada la suponemos impar y la podemos es ribir omo
Z
1
X
2 
sin (n )u(; t)d;
(4.2)
u(x; t) =
An (t) sin (nx);
An (t) =
 0
n=1
donde los An (t) son desde luego des ono idos y los vamos a determinar usando las
ondi iones del problema planteado en esta se ion, de manera tal que (4.2) sea efe tivamente una solu ion ( uando menos formal).
Para determinar los An (t) sustituimos (4.2) en el problema antes men ionado, para
obtener
1
X
(A00n (t) + n2 An (t)) sin (nx) = 0; 0  x  ; t  0;
n=1

n=1

A0n (0) sin (nx) = ut(x; 0) = 0; 0  x  ;

n=1

An (0) sin (nx) = u(x; 0) = f (x) =

donde

n=1

(4.3)

fn sin (nx); 0  x  ;

2 
f ( ) sin (n )d:
fn =
 0
De (4.3) se tiene el sistema in nito de e ua iones independientes
A00n (t) + n2 An (t) = 0 , t  0; n = 1; 2; : : :
A0 (0) = 0; An (0) = fn :
Z

(4.4)

La solu ion de (4.4) es de la forma An (t) = fn os (nt).


Notese que pre isamente las dos ondi iones ini iales sobre u y ut son las que nos
dan una solu ion uni a para las e ua iones ordinarias (4.4). La solu ion formal del
problema que se planteo originalmente es
1
1
1
X
1X
1X
u(x; t) =
fn os (nt) sin (nx) =
fn sin [n(x + t) +
f sin [n(x t):
2 n=1
2 n=1 n
n=1
(4.5)
Desde luego que si la onvergen ia de esta serie es lo su ientemente fuerte, la expresion (4.5) no es solo una solu ion formal, sino que es la solu ion del problema.
Queda omo ejer i io para el le tor veri ar que si f es in nitamente diferen iable
y f = 0 para 0 < a  x  b < , enton es (4.5) es efe tivamente la solu ion del
problema.
Ahora estudiaremos la solu ion que obtuvimos para ha er ver que (4.5) no es mas que
otra representa ion de la solu ion del problema 1.4.1. Notemos que di ha solu ion

 DE VARIABLES PARA LA ECUACION



4.1. SEPARACION

f ()

73

w ()

Fig. 4.1
tiene
la forma de dos ondas que viajan en dire iones opuestas. Sabemos ademas que
P1
n=1 fn sin n = w( ) es la extension impar periodi a de perodo 2 de f . Esto se ve
en la Fig. 4.1 En terminos de la fun ion w, (4.5) se es ribe omo
o
1n
w(x + t) + w(x t) :
(4.6)
2
En el plano (x; t) vemos que u(x; t) es el promedio de los valores de w que apare en
en la Fig. 4.3, es de ir,
es de ir,
1
1
1
1
u(x; t) = w(A) + w(B ) = w( ) = f ()
2
2
2
2
donde  es el punto olo ado simetri amente on respe to a  de . Este es el mismo
resultado que obtuvimos para el problema 1.4.1 on ara tersti as. Vemos que el
problema de re exion on dos paredes es equivalente al problema on valores ini iales
para una ondi ion ini ial que es periodi a, de forma tal que las paredes siempre
sean nodos de las ondas emitidas por esa ondi ion ini ial. Esto es lo que en fsi a se
ono e omo el metodo de las imagenes, y la expresion uantitativa de la posi ion e
intensidad de las imagenes de f (x) esta dada por la serie (4.5).
Queda ahora omo ejer i io resolver por separa ion de variables los problemas:

u(x; t) =

utt
u(x; 0)
ut (x; 0)
u(0; t)

=
=
=
=

uxx;
1 < x < 1; t  0;
0
1 < x < 1;
g(x);
1 < x < 1;
u(; t) = 0; t  0:

74

 DE VARIABLES PARA ECUACIONES


CAPITULO 4. SEPARACION

(x,t)
u=0

u=0

w ()
C

f(x)

B
w

Fig. 27

utt + sin x sin t = uxx; 0  x  ; t  0;


u(x; 0) = ut (x; 0) = 0; 0  x  ;
u(0; t) = u(; t) = 0; t  0:
Que su ede on la solu ion del segundo problema uando t ! 1.
Resuelvase tambien la e ua ion de onda amortiguada:

utt + ut
u(x; 0)
ut(x; 0)
u(0; t)

=
=
=
=

uxx; 0  x  ; t  0;
f (x); 0  x  ;
0; 0  x  ;
u(; t) = 0; t  0:

>Que pasa on las solu iones uando t ! 1?

 DE VARIABLES PARA LA ECUACION



4.1. SEPARACION

75

Estudiaremos ahora el problema para una uerda in nita. La solu ion ya se obtuvo
usando la formula de D'Alambert. Obtendremos ahora esta formula usando separa ion
de variables. El problema por resolver es:

utt = uxx;
u(x; 0) = f (x) = 0;
ut (x; 0) = g(x);

1 < x < 1; t  0;
1 < x < 1;
1 < x < 1:

(4.7)

En el aso nito expresamos u en terminos de su serie de Fourier. Para el problema (4.7) ha emos lo mismo pero por tratarse de un intervalo in nito usaremos la
transformada de Fourier. Es de ir, expresaremos
Z
Z 1
1 1
A(t; k)e ikx dk;
A(t; k) =
u(; t)eik d:
u(x; t) =
2 1
1
Pro ederemos ahora omo en (4.4) y veremos que A(t; k) satisfa e
A00 (t; k) + k2 A(t; k) = 0;
1 < k < 1; t  0;
A(0; k) = 0; A0 (0; k) = g^(k):

(4.8)

La solu ion de (4.8) esta dada por A(t; k) = g^(k) sinkkt , y nalmente la solu ion formal
es
Z
1 1
sin kt
u(x; t) =
dk:
(4.9)
g^(k)e ikx
2 1
k
Si g(x) es in nitamente diferen iable y diferente de ero solo en un intervalo nito,
enton es se puede veri ar que (4.9) es efe tivamente la solu ion de (4.7). Esto se ha e
probando que se pueden inter ambiar derivadas e integrales en (4.9). La uni idad
nos di e pues que (4.9) no es mas que otra alternativa para expresar la formula
de D'Alambert, sin embargo es onveniente evaluarla para obtener as la formula
deseada. Para lo anterior, re ordemos que la transformada inversa del produ to es la
onvolu ion de las transformadas inversas (ver Apendi e). En la (4.9) tenemos que
Z 1
u(x; t) =
G(x ; t)g( )d
1
donde la fun ion G(; t) se llama fun ion de Green del problema, y esta dada por

G(; t) =

1
4i

1 e ik( t) e ik(+t)
dk:
k
1

(4.10)

Para al ular la integral (4.10) vemos que el integrando es una fun ion analti a, ya
que k = 0 es un punto regular. Debido a esto se puede reemplazar la integral a lo

76

 DE VARIABLES PARA ECUACIONES


CAPITULO 4. SEPARACION

Im(k)

S
C
Re(k)

Fig. 4.3
largo del eje real por la suma de integrales a lo largo del ontorno C , tal y omo se
indi a en la Fig. 4.3.
Obtenemos enton es que
Z
1
e ik(+t)
dk
G(; t) =
4i C
k

Z
1
e ik( t)
dk
:
4i C
k

(4.11)

Para al ular (4.11) observemos que para  + t < 0, enton es  t < 0 y en este aso
los integrandos de aen exponen ialmente a ero para Imfkg > 0 y el uso del lema
de Jordan sobre el ontorno S nos da G(; t) = 0,  < t. Supongamos ahora que
 + t > 0. Es este aso hay dos posibilidades; la primera  t < 0 y la segunda  t > 0.
Cuando  + t > 0 y  t < 0, erramos el ontorno de la primer integral en Imfkg < 0
y el de la segunda en Imfkg > 0. Obtenemos G(; t) = 21 , t <  < t. Finalmente si
 + t > 0 y  t > 0 erramos en Imfkg < 0 y obtenemos que G(; t) = 0 para t < .
Resumiendo tenemos que

G(; t) =

8
<
:

0;
1
2;
0;

 < t;
t <  < t;
t < :

Usando (4.12) obtenemos que


Z
Z
Z 1
1 x+t
1 t
g(x )d =
g(s)ds
u(x; t) =
G(; t)g(x )d =
2 t
2 x t
1

(4.12)

 DE VARIABLES PARA UN SISTEMA DE ECUACIONES


4.2. SEPARACION

77

que es pre isamente la formula de D'Alambert.


Es de importan ia notar que las integrales que de nen a G(; t) ambian en forma
dis ontinua y las ontinuidades se dan solo en las ara tersti as. Esta situa ion se
presenta siempre que se resuelven los problemas on ara tersti as mediante transformadas.
Queda omo ejer i io resolver, usando la transformada de Fourier, el problema

utt = uxx;
u(x; 0) = f (x);
ut (x; 0) = 0;

1 < x < 1; t  0;
1 < x < 1;
1 < x < 1:

Muestre tambien, usando la transformada de Fourier, que en el problema

utt = uxx u;
1 < x < 1; t  0;
u(x; 0) = f (x); f (x) = 0; jxj > a;
ut (x; 0) = 0;
la primera se~nal que llega al punto x0 es aquella que sale de 1 y tarda un tiempo
t = x0 a. En uentre el mismo resultado usando las ara tersti as.

4.2.

Separa i
on de variables para un sistema de e ua iones

En el aso de sistemas, la te ni a es la misma que para una sola e ua ion, y solo hay
que tener uidado on los ve tores. Resolveremos uni amente un ejemplo en detalle
que ya se dejo omo ejer i io para resolver mediante ara tersti as. El problema es:


v +
i t

0 1
L 1 0



v
i

v
i t=0 =

0 ;
0

f (x) :
g(x)

1 < x < 1; t  0;
(4.13)

Resolveremos (4.13) introdu iendo las transformadas de Fourier ^i y v^, para obtener
on ello (quedando omo ejer i io el veri ar los detalles),


v^
=
^i
t=0

v^
=
^i
t


0
ik 1
ikL 1
0

f^(k) :
g^(k)



v^
^i

1 < k < 1; t  0;
(4.14)

78

 DE VARIABLES PARA ECUACIONES


CAPITULO 4. SEPARACION

La (4.14) es un sistema de e ua iones ordinarias (y no una sola e ua ion omo en el


aso de la e ua ion de onda). Esta es la diferen ia on el aso de una sola e ua ion. El
sistema se resuelve de la manera habitual, diagonalizando la matriz del sistema que
es lo mismo que se ha e al pro eder por ara tersti as; as tenemos que la solu ion
de (4.14) es
!
p




ikt= LC
v^
0
e
1 f^
p
(4.15)
U
=
U
^i
g^
0
e ikt= LC
donde U es la matriz al ulada en (2.10). Para en ontrar v; i debemos invertir (4.15).
Esto se ha e de manera mas sen illa introdu iendo las variables








w^ = U 1 f^ ;
w =U 1 f
(4.16)
z^
g
z
g^
y obteniendo

U 1

v^
^i

p
0p
eikt= LC
ikt=
LC
0
e

de donde se sigue que




v
i

=U

w(x t=p LC )
z (x + t= LC )

!

w^
z^

es la solu ion del problema. Si queremos que las ondas no se propagen ha ia la izquierq
C f.
da, debemos es oger f y g de tal manera que z = 0. Esto se logra si g =
L
Esta ultima e ua ion se obtiene de (4.16) y de (2.10).
4.3.

La transformada de Lapla e

Al separar variables, el problema de resolver una e ua ion diferen ial par ial se transforma en resolver un sistema in nito de e ua iones ordinarias para fun iones que
dependen del tiempo. Se resuelven di has e ua iones y luego se suma la serie o se
invierte la transformada obteniendose as la solu ion bus ada.
Al resolver problemas puede pro ederse de una manera alternativa transformando la
variable tiempo (al igual que en e ua iones ordinarias para transformarlas en e ua iones algebrai as) y obtener una e ua ion diferen ial ordinaria para la fun ion transformada. Posteriormente se resuelve esta e ua ion, y se invierte la transformada para
obtener la solu ion bus ada. Una des rip ion detallada, as omo ejemplos de esta
te ni a se en uentran en el libro de Weinberger [15. Un tratamiento mas avanzado
se desarrolla en los libros de Courant-Hilbert [3 y de Van der Pol y Bremmer [14.
Nosotros nos limitaremos a usar la te ni a en situa iones ya ono idas.
Empe emos por dis utir el problema de los o hes que entran por la arretera. Este

4.3. LA TRANSFORMADA DE LAPLACE

79

problema quedo resuelto en (1.8). Re ordemos que la e ua ion, las ondi iones ini iales y de frontera son
t + x = 0; x  0; t  0;
(x; 0) = 0; t  0;
(0; t) = g(t); x  0:
(4.17)
Tomando la transformada de Lapla e (ver Apendi e) de la (4.17), tendremos que esta
satisfa e
s~(x; s) + ~x (x; s) = 0; x  0;
~(0; s) = g~(s):
(4.18)
Vemos que la transformada de Lapla e ha onvertido (4.17) en una familia de e ua iones ordinarias que dependen del parametro s. La solu ion de (4.18) es
s
(4.19)
~(x; s) = g~(s)e x ; x  0;
que uando Refsg > 0 de ae a ero, y es efe tivamente una transformada de Lapla e.
En el aso que la solu ion de (4.18) no de ayera a ero uando Refsg ! 1, enton es
tendramos una in onsisten ia ya que estamos suponiendo que  tiene una transformada de Lapla e. En di ho aso la on lusion es que  no tiene transformada de
Lapla e, y por lo tanto debe emplearse otra te ni a para resolver (4.17). Sin embargo
esto nun a o urre en la pra ti a. La solu ion de (4.17), obtenida usando la formula
de inversion para (4.19), es
Z
x
1
(4.20)
g~(s)es(t ) ds:
(x; t) =
2i B
Antes de al ular (4.20) notemos que para un punto jo, (x0 ; t) = 0 si t < x 0 ya que
en este aso el integrando de ae exponen ialmente para Refsg > 0, y omo g~(s) es
analti a, el lema de Jordan nos da omo resultado que  = 0. Esto nuevamente es
una manifesta ion de que el problema tiene ara tersti as, y al igual que en el aso de
las transformadas de Fourier, se re eja en ambios brus os del valor de una integral,
dependiendo del signo del exponente que apare e en ella. Notemos nalmente que por
de ni ion de transformada de Lapla e, (4.20) se ve omo (x; t) = g(t x ), que es el
resultado obtenido por el metodo de las ara tersti as.
Queda omo ejer i io el en ontrar la formula de D'Alambert usando la transformada
de Lapla e.
Ilustraremos ahora el uso de la Transformada de Lapla e en el aso del problema de
lneas de transmision. Es de ir, onsideraremos el problema
vt + ix = 0; x  0; t  0;
Lit + vx = 0; x  0; t  0;
v(x; 0) = i(x; 0) = 0; x  0;
v(0; t) = g(t); t  0:
(4.21)

80

 DE VARIABLES PARA ECUACIONES


CAPITULO 4. SEPARACION

Tomando la transformada de (4.21) obtenemos el sistema de e ua iones ordinarias

s v~ + i~x = 0; x  0;
sL~i + v~x = 0; x  0;
v~(0; s) = g~(s);

(4.22)

que desde luego depende del parametro s. Ademas omo suponemos a ~i y v~ transformadas de Lapla e, debemos bus ar solu iones de (4.22) que sean a otadas uando
s ! 1 y tales que Refsg > 0. El sistema (4.22) lo resolvemos de la manera usual
tomando

~i   1  x
v~ =  e
2

y determinando 1 ; 2 y  de la e ua ion



sL

s




1
2

0
0

(4.23)

s, y omo
Para tener solu iones no triviales en (4.23) ne esitamos que  =  L p
queremos que ~i; v~ ! 1 si Refsg > 0 y s ! 1, tomamos enton es  =
L s. La
solu ion es


 p

p

~i
L e s L x
=
A
(
s
)
(4.24)
1
v~
donde A(s) debe determinarse usando la ondi ion de frontera en x = 0. De esta
manera se obtiene que
 p

p

~i 
s L x :
L
e
=
g
~
(
s
)
1
v~
Invirtiendo (4.24) se en uentra que
r

i=


g t
L

L x ;

v = g(t

L x)

que es el mismo resultado obtenido usando las ara tersti as. Como una ultima apli a ion de las transformadas de Lapla e, examinaremos un problema donde la solu ion
bus ada tiene una dis ontinuidad ja en un punto omo fun ion del tiempo. (Un ejemplo de esto lo dimos ya en (2.34)). El problema por resolver ahora es

utt
u(x; 0)
l

m
f
u
(
;
t
)
u
(
; t)g
!0
lm fu (; t) ux ( ; t)g
!0 x

=
=
=
=

uxx; jxj; t  0;
ut (x; 0) = 0;
0; t  0;
g(t); t  0;

(4.25)

81

4.3. LA TRANSFORMADA DE LAPLACE

donde g(t) es una fun ion ono ida. La interpreta ion es que (4.25) des ribe el movimiento de una uerda provo ado por una diferen ia de tension g(t) en x = 0. Un modelo
muy similar es usado en sismologa para estudiar dislo a iones en el terreno (que se
representan por dis ontinuidades) y ver el tipo de ondas ssmi as que ellas produ en.
Tomando la transformada de Lapla e en (4.25) tenemos

s2 u~ = u~xx;
lm fu~(; s) u~( ; s)g = 0;
!0
lm fu~ (; s) u~x( ; s)g = g~(s):
!0 x

1 < x < 0;

0 < x < 1;
(4.26)

La solu ion de (4.26) es

u~ = A(s)e sx ; x > 0;
u~ = B (s)esx ; x < 0;
donde las fun iones A(s), B (s) se determinan del omportamiento de u~ en x = 0. De
(4.26) tenemos que A(s) = B (s) = g~2(ss) . Invirtiendo la transformada tenemos que
Z
1
1
u(x; t) =
g~(s)es(t x) ds ; x > 0;
2i ZB 2s
1
1
g~(s)es(t+x) ds ; x < 0:
(4.27)
u(x; t) =
2i B 2s
Usando el teorema de onvolu ion para transformadas de Lapla e, (Apendi e) obtenemos la expresion nal para u(x; t) en la forma
1 t x
u(x; t) =
g(s)ds ; x > 0; t  0;
2 0
Z
1 t+x
u(x; t) =
g(s)ds ; x < 0; t  0:
(4.28)
2 0
Claramente (4.28) es la solu ion del problema omo puede veri arse por substitu ion
dire ta. Queda enton es omo ejer i io el resolver este problema usando el metodo
de las ara tersti as y omparar la solu ion on (4.28). Tambien se resuelve la (2.34)
usando transformadas de Lapla e.
Como ultimo ejer i io queda el resolver por transformadas y por ara tersti as el
problema
Z

utt
u(x; 0)
l

m
f
u
(
;
t
)
u
(
; t)g
!0
lm fu (; t) ux( ; t)g
!0 x

=
=
=
=

uxx;
1 < x < 0; 0 < x < 1; t  0;
ut (x; 0) = 0;
g(t); t  0;
0; t  0:

82

 DE VARIABLES PARA ECUACIONES


CAPITULO 4. SEPARACION

Cap
tulo 5

E ua i
on de onda en tres
dimensiones
En esta se ion estudiaremos algunos problemas rela ionados on la propaga ion de
ondas en un espa io de tres dimensiones. Veremos que son muy variados los problemas
que dan origen a la e ua ion de onda, pero jaremos nuestra aten ion en el problema
de propaga ion de ondas de sonido que resulta familiar a todos nosotros. Las te ni as
que emplearemos son una ombina ion de transformada de Lapla e y Fourier. No dis utiremos las te ni as de ara tersti as las uales uando la dimension del espa io es
mayor que uno, tienen mayor utilidad en la onstru ion de solu iones aproximadas.
Para un analisis de estos aspe tos remitiremos al le tor al Courant-Hilbert [3.

5.1.

Propaga i
on de ondas sonoras

Empezaremos por en ontrar las e ua iones que ontrolan la propaga ion de las ondas
sonoras. Para esto re ordemos que el aire es un gas, y que las ondas sonoras son ambios de densidad y presion, y por ello la manera de des ribir di has ondas es mediante
las e ua iones de Navier-Stokes.
Estas e ua iones son bastantes pare idas a las que ya dis utimos en el aso de propaga ion de ondas en agua, solo que en este aso hay que tomar en uenta que el aire
es ompresible, y que su densidad en ada punto va a ambiar omo onse uen ia del
movimiento.
Si denotamos por  a la densidad, p la presion, y u la velo idad del gas, tenemos que
las e ua iones son

83

84

 DE ONDA EN TRES DIMENSIONES


CAPITULO 5. ECUACION

t + r  (u) = 0;
(ut + u  ru) ur  (u) =

rp + Fext ;

Conserva ion de masa,


Ley de Newton.
(5.1)

En (5.1) hay uatro e ua iones para in o in ognitas. Ne esitamos una rela ion mas
para poder errar la (5.1). Di ha rela ion experimental expresa nuestro modelo del
gas, a saber, la e ua ion de estado p = p(). Es de esperarse que para diferentes e ua iones de estado se tendran diferen ias en la propaga ion de ondas. Las e ua iones
(5.1) deben ser suplementadas on ondi iones ini iales y de frontera, onstituyen un
problema formidable y aun no esta ompletamente resuelto. Por esto las aproximaremos en forma apropiada para des ribir las ondas de sonido.
En primer lugar las ondas de sonido solo produ en peque~nas varia iones en la densidad y presion de equilibrio 0 y p0 . Ademas, el gas originalmente en reposo adquiere
uni amente una velo idad peque~na. Por lo anterior bus amos solu iones de la forma

 = 0 + ~;

p = p0 + p~;

u = v~;

(5.2)

donde ~; p~; v~ son tales que podemos despre iar sus produ tos. De igual manera,
usando (5.2), tenemos que la e ua ion de estado es
p = p0 + p~ = p(0 + ~) = p(0 ) + p0 (0 )~ + (~)2 ; p~ = p0 (0 )~
(5.3)
donde p0 (0 ) > 0, ya que al aumentar la densidad tambien aumenta la presion. Sustituyendo (5.2) y (5.3) por la (5.1) obtenemos que

~t + 0 r  v~ = 0
0 v~t = p0(0 )r~ + Fext

(5.4)

y esperamos que (5.4) sea una aproxima ion ade uada para ondas de sonido. Este sistema de e ua iones es lineales para ~; v~. Resulta onveniente para nuestros propositos
expresar v~ en terminos de ~, que a su vez es propor ional a p~. Esto se obtiene tomando
la derivada respe to a t en la primera de las e ua iones (5.4), as omo la divergen ia
de la segunda. Obtenemos, omitiendo las tildes, que
tt = 0r  vt = p0 (0 )r2  r  Fext
(5.5)
0

o bien,

1
 = r2  + f (x; t):
0
p (0 ) tt
Desde luego hay que dar ondi iones ini iales para (5.5), por ejemplo, el estado de
reposo  = t = 0; t = 0, y espe i ar f (x; t) que es la fuente que produ e el
sonido. Notemos en (5.5) que p0 (0 ) tiene dimensiones de velo idad, y en la version
unidimensional de este modelo, es el uadrado de la velo idad de propaga ion de las

 DE ONDAS SONORAS
5.1. PROPAGACION

85

ondas. Esperamos tambien que en (5.5) se represente la velo idad de los disturbios.
Tomando p0 (0 ) = 1, el problema por resolver es
tt r2  = f (x; t);
t  0;
(x; 0) = t (x; 0) = 0;
(5.6)
f (x; t) = 0 si jxj > R; t < 0;
donde , que es propor ional a p, se interpreta omo la intensidad del sonido produ ido
por f .
Resolveremos (5.6) tomando transformada de Lapla e en t, y de Fourier en x, teniendo
on ello que (k  k + s2 )^~ = f^~, de donde
f^~
^~ =
(5.7)
(k  k + s2 )
y la solu ion de (5.6) esta dada invirtiendo la (5.7) en la forma
(
)
Z
Z
f^~(k; s)
1 1 +i1
i
kx
e
dk est ds:
(5.8)
(x; t) =
2
(2)3 2i i1
(
k

k
+
s
)
3
R
Para al ular (5.8) es onveniente primero invertir la transformada de Fourier y tener
Z
1
e ikx
~(x; s) =
dk:
(5.9)
f^~
3
(2) R3 (k  k + s2 )
Vemos que en (5.9) podemos usar el teorema de la onvolu ion y tener
Z
~(x; s) =
G(x x0 ; s)f~(x0 ; s)dx0
R3

donde la fun ion G(; s), que se llama la fun ion de Green del problema, esta dada
por
Z
e ik
1
dk:
(5.10)
G(; s) =
(2)3 R3 (k  k + s2 )
La (5.10) se al ula ha iendo un ambio de variables a oordenadas polares es ogiendo
a  omo eje y obteniendo, si k  k = r2 , que
Z 1Z 
e irjj os  2
1
r sin ddr
G(; s) =
2
(2) 0 0 (r2 + s2 )
Z 1 Z ir j j
Z 1
1
1
eu r2 dudr
2ir sin (rjj)dr
=
=
2
2
2
(2)2 0
(
r
+
s
)
ir
j

j
(2

)
irjj
0 ij j(r2 + s2 )
Z 1
Z 1
2
1
r sin (rjj)dr
x sin xdx
=
=
2
2
2
2
(2) jj 0
r +s
(2) jj 1 x2 + s2 jj2
)
(
Z 1
xeix
1
:
(5.11)
Im
=
(2)2 jj
1 x2 + s2 jj2

86

 DE ONDA EN TRES DIMENSIONES


CAPITULO 5. ECUACION

La (5.11) se al ula on residuos (lo ual se deja omo ejer i io) y se obtiene la
expresion para G(; s) en la forma

G(; s) =

1 e sjj
;
4 jj

Refsg > 0

(5.12)

Finalmente usando (5.12) en la e ua ion (5.8) se en uentra que


1 +i1
(x; t) =
2i i1
Z

f~(x0 ; s) s(t jx x0 j) 0
e
dx ds:
x0 j
R3 4 jx

(5.13)

En la (5.13) podemos invertir la transformada de Lapla e usando dire tamente la


de ni ion, y por lo tanto tendremos que
Z
1
f (x0 ; t jx x0 j) 0
(5.14)
(x; t) =
4 R3
jx x0 j dx
que es la solu ion bus ada. Cabe men ionar que di ha formula se debe a Poisson.

5.2.

La f
ormula de Poisson y su interpreta i
on

Interpretaremos ahora la (5.14) en terminos de nuestras ideas sobre propaga ion de


sonido. Para esto nos referimos a la Fig. 5.1 donde
es la region o upada por la
fuente, x el punto de observa ion, y x0i es una parti ion de
.

xi

observador
x0

xi

x
xxi

Fig. 5.1


5.3. APLICACIONES DE LA FORMULA
DE POISSON

87

Para interpretar la (5.14) es onveniente pensar en la fuente


omo dis retizada y
aproximar la integral por una suma.

(x; t) =

N
f (x0i ; t jx x0i j) 0
1 X
4 i=1
jx x0i j xi :

(5.15)

Ahora podemos analizar (5.15) de la siguiente manera: ada region x0i emite sonido
de a uerdo on la fuente f (x0i ; t). En el punto x, el sonido que se es u ha al tiempo t
es pre isamente el emitido en x0i al tiempo t jx x0ij, ya que el sonido ( uya velo idad
supusimos 1) tarda en viajar de x0i a x un tiempo jx x0i j. Por esto (5.15) nos di e
que el sonido es u hado en x es la suma de los sonidos emitidos en x0i en los tiempos
apropiados para que llegue a x. De a uerdo on esta interpreta ion, si al tiempo t = 0
hay quietud, enton es la primer onda que llega es aquella emitida por x00 , donde x00
es el punto de la fuente mas er ana a x. Por lo tanto, si t < jx x00 j tendremos que
 = 0.
Veremos ahora que nuestra interpreta ion es onsistente on la e ua ion (5.14). Lo
anterior se sigue si es ribimos (5.13) en la forma
Z
Z
1
dx0 1 +i1 ~ 0 s(t jx x0j)
(x; t) =
f (x ; s)e
ds:
(5.16)
4
jx x0 j 2i i1
De (5.16) se sigue que t jx x0 j < t jx00 xj para x0 en
. Por ello, si t jx00 xj < 0
enton es la exponen ial en el integrando de ae para Refsg > 0. Enton es, para todas
las x0 en
se tiene que
Z +i1
0
f~(x0 ; s)es(t jx x j)ds = 0
i1
de donde se sigue que  = 0 tal omo esperabamos. Queda ahora omo ejer i io para
el le tor onven erse que la (5.14) lleva dire tamente al mismo resultado.
Se deja tambien omo ejer i io resolver la (5.6) on este metodo para el aso unidimensional, y dar una interpreta ion de la solu ion en el plano (x; t).

5.3.

Apli a iones de la f
ormula de Poisson

Vemos que (5.16) esta resuelta expl itamente en terminos de (5.14). Sin embargo,
el obtener informa ion detallada para fun iones f espe  as resulta ompli ado, ya
que se debe determinar la parte de
que ontribuye a la (5.14) para un tiempo t, a
traves de la rela ion no lineal t jx x0 j. Este problema se presenta uando se trata
de al ular la forma de las ondas ssmi as emitidas por una falla del terreno que se
modela a traves de la fun ion f (x; t). Por este motivo debe re urrirse a aproxima iones
o integra ion numeri a de (5.14). Ahora dis utiremos algunas aproxima iones que nos

 DE ONDA EN TRES DIMENSIONES


CAPITULO 5. ECUACION

88

daran un mejor entendimiento del uso y las limita iones de la misma.


En primer lugar onsideremos el aso en el que f (x; t) es de la forma

f (x; t) =  (x)g(t)

(5.17)

donde la fun ion  (x) solo es apre iable dentro de una esfera de radio . Por ejemplo
1
(x) = 2 h(x);
jxj

h (x) =

1;


0;

jxj  ;
jxj > :

Para una distribu ion de intensidad en la fuente dada omo en (5.17) (fuente on entrada en el origen) tenemos que la formula (5.14) toma la forma
Z
1
g(t jx x0 j) 0
(x; t) =
dx :
(5.18)
4 jxj jx x0 jjx0 j2

Cuando  ! 0 y x 6= 0, usando el teorema del valor medio tenemos que


Z
g(t jx x0 j)
0 0 g(t jxj)
lm  (x; t) = l!
m0
!0 
jx x0 j R3 (x )dx = jxj :

(5.19)

La (5.19) nos da la intensidad de sonido en x emitido por una fuente puntual (muy
on entrada en x = 0) que vara omo g(t). Notemos que  no depende del angulo,
ya que la situa ion es esferi amente simetri a. Observemos tambien que el sonido
re ibido en x al tiempo t es g(t jxj), atenuado por jx1 j pero de la misma forma g. Es
de ir, no hay distorsion.
Otra situa ion de interes en la solu ion (5.14) es uando f (x; t) esta on entrada er a
de una region del plano xy, por ejemplo

f (x; t) =

1 g (x; y; t);


0;

jxj  2; jyj  1; jz j  2 ; 0  t  1;
jxj > 2; jyj > 1; jz j > 2 ; t > 1:

(5.20)

Esta fun ion representa una fuente de sonido on entrada er a del plano z = 0, y
es una version simple de un modelo usado on fre uen ia en sismologa, donde f se
interpreta omo la fuerza de una falla del terreno, y la solu ion representa la onda
ssmi a. La region donde f 6= 0 se ve en la Fig. 5.2.
Para una f omo en (5.20), (5.14) queda de la siguiente manera
Z
Z
Z 
1 2 1 2 g(x0 ; y0 ; t jx x0 j) 0 0 0
 (x; t) =
dx dy dz :
(5.21)
4 2 1 2
jx x0 j
Cuando  ! 0, los puntos x0 quedan atados sobre el plano z = 0, y tomando el lmite
uando  ! 0, se obtiene que
Z
Z
1 2 1 g(x0 ; y0 ; t jx x0 j) 0 0
dx dy :
(5.22)
(x; t) =
4 2 1
jx x0 j


5.3. APLICACIONES DE LA FORMULA
DE POISSON

89

/2

/2

Fig. 5.2
Podemos simpli ar (5.22) si suponemos que la distan ia jxj del punto a la fuente
es mu ho mayor que las dimensiones de la fuente. Es de ir, jx0 j  jxj. En este aso
aproximamos jx x0 j omo
o1

jx x0 j = (x x0 )  (x x0 )

jxj2

2x  x0 + jx0 j2 = jxj x^  x0

on x^ = jxxj . Usando la ultima aproxima ion, (5.22) se es ribe omo

(x; t) =

1
4jxj

2
2

1
1

g(x0 ; y0 ; t

jxj + x^  x0 )dx0 dy0

(5.23)

Para al ular (5.23) es onveniente tomar t jxj =  , es de ir, llamar  = 0 el tiempo


al que llega la se~nal de x0 = 0 al punto x.
Vemos que la forma de la onda (x; t) depende a traves de x^ del angulo de observa ion.
Cal ularemos on detalle la (5.23) uando x^ = (1; 0; 0), g = 1. En di ho aso, una
vista superior de la situa ion se ilustra en la Fig. 5.3.
De (5.23) vemos que (x; t) es pre isamente el area, al tiempo t, de la region del
re tangulo jxj  2; jyj  1 en la que g 6= 0. Debemos pues en ontrar estas regiones
omo fun ion del tiempo a partir de la e ua ion (5.20). De ella vemos que g 6= 0 si
2  x0  2;
1  y0  1;
0   + x0  1;
  x0  1 :
(5.24)
La (5.24) nos di en que g 6= 0 para los puntos dentro del re tangulo uya x0 esta entre
las re tas L1 : x0 =  y L2 : x0 = 1  . Identi quemos ahora las regiones. Si  < 2
tenemos que la re ta L1 queda a la dere ha de x = 2. Por esto g = 0 y  = 0 si
 < 2. Para  > 2, la region donde g 6= 0 es la sombreada en la Fig. 5.4.

90

 DE ONDA EN TRES DIMENSIONES


CAPITULO 5. ECUACION

y=1
(x,y)

x
x=2

Fig. 5.3

x=

11
00
00
11
00
11
00
11
00
11
00
11
00
11
00
11
L1

x=1

L2

Fig. 5.4

de donde  = 2(2 +  ). Esta situa ion prevale e hasta que L2 llega a x = 2, es de ir,
uando  = 1. Para tiempos  mayores que 1, se tiene que la region que ontribuye
es aquella sombreada en Fig. 5.5.
De la gura anterior tenemos que para  > 1,  = 2. Esto su ede hasta que L1
llega a x = 2 que es uando  = 2. Para tiempos  > 2, el area que ontribuye
esta sombreada en la Fig. 5.6.
En este aso tenemos que  = 2( 3) para   2. Cuando  > 3,  = 0 ya que L2


5.3. APLICACIONES DE LA FORMULA
DE POISSON

L1

91

L2

1111
0000
0000
1111
0000
1111
0000
1111
0000
1111
0000
1111
0000
1111
0000
1111
x=

x=1

Fig. 5.5
L1

L2

11
00
00
11
00
11
00
11
00
11
00
11
00
11
00
11
x=

x=1

Fig. 5.6
abandona el re tangulo. Resumiendo vemos que
4jxj(x; t) =

8
>
>
>
>
<
>
>
>
>
:

0;
2(2 +  );
2;
2( 3);
0;

  2;
2    1;
1    2;
2    3;
3  :

La gra a de la amplitud de la onda de sonido se muestra en la Fig. 5.7.

92

 DE ONDA EN TRES DIMENSIONES


CAPITULO 5. ECUACION

= t x

Fig. 5.7
En la Fig. 5.7 vemos que la primera se~nal x es aquella que viene de la region dere ha
del re tangulo que es la mas er ana al punto de observa ion. Estas se~nales llegan
para  < 0, ya que llegan antes de las que fueron emitidas en x0 = 0 uyo tiempo
de llegada a x hemos es ogido omo  = 0. A tiempos posteriores ontribuyen las
regiones mas alejadas hasta que la ultima se~nal llega de la franja situada en x0 = 2
que es la parte mas alejada de la fuente.
Queda omo un ejer i io al ular (x; t) uando x^ = (0; 1; 0) y x^ = ( p12 ; p12 ; 0).
Ademas al ular la onda que llega a un punto lejano uando la fuente es ir ular. Es
de ir tomando en (5.21) g(x0 ; y0 ; t) = 1 si x02 + y02  1, t  1, t  0 y g = 0 fuera de
esas regiones. Compare los resultados en ambos asos.

5.4.

El problema on valores ini iales para la e ua i


on
de onda en tres dimensiones

Para terminar nuestra breve dis usion sobre la e ua ion de onda en tres dimensiones
onsideramos el problema on valores ini iales

utt = r2 u;
u(x; 0) = 0;
ut (x; 0) = g(x):

(5.25)

93

5.4. EL PROBLEMA CON VALORES INICIALES

donde g(x) es una fun ion dada. Consideramos (5.25), ya que el problema

vtt = r2 v;
v(x; 0) = g(x);
vt (x; 0) = 0;

(5.26)

tiene por solu ion v = ut donde u es la solu ion de (5.25). Esto se puede veri ar
substituyendo ut en (5.26) obteniendo

r2 v

= uttt r2 ut = (utt r2 u)t = 0;


v(x; 0) = ut(x; 0) = g(x);
vt (x; 0) = utt(x; 0) = r2 u(x; 0) = r2 0 = 0:

vtt

Resulta tambien interesante omprobar este he ho en la e ua ion de onda unidimensional para la ual se ono en solu iones expl itas en la (5.25) y la (5.26). Por esta
razon solo resolveremos (5.25).
R
Tomamos la transformada de Fourier en (5.25), u^(k; t) = R3 u(x; t)eikxdx y se obtiene para u^ la e ua ion ordinaria:

u^tt + k  ku^ = 0;

u^(k; 0) = 0;

que tiene por solu ion

u^(k; t) = g^(k)

u^t (k; 0) = g^(k);


1

sin (k  k) 2 t
:
(k  k) 12

(5.27)

De (5.27) tenemos la solu ion formal de (5.25) en la forma


1
u(x; t) =
(2)3

Z
R3

g^(k)

sin (k  k) 12 t ikx
e
dk:
(k  k) 21

(5.28)

Es importante obtener una representa ion mas util de (5.28). Para esto expresemos
g^(k) en terminos de g y obtenemos despues de invertir el orden de integra ion (que
es legtimo si g(x) = 0 para jxj > R):
1
u(x; t) = lm
K !1 (2 )3

Z
R3

g( )eik

nZ

sin (k  k) 2 t ikx o
dk d:
1 e
jkjK (k  k) 2

(5.29)

Para al ular (5.29) ambiamos de variable ha iendo  = x + , de manera que


1
u(x; t) = lm
K !1 (2 )3

Z
R3

g(x + )

sin (k  k) 2 t ik o
1 e dk d:
jkjK (k  k) 2

nZ

(5.30)

 DE ONDA EN TRES DIMENSIONES


CAPITULO 5. ECUACION

94

En (5.30) al ulamos la integral respe to a k introdu iendo oordenadas polares on


eje  para obtener as
K 
sin (k  k) 12 t ik
jkjeijkjjj os  sin (jkjt) sin ddjkj
12 e dk = 2
jkjK (k  k)
0 0
Z
4
4 K
(5.31)
=
jj 0 sin (jkjjj) sin (jkjt)djkj = jj D(jj; t; K ):
Z

La integral en (5.31) es la ono ida integral de Diri hlet, y sabemos que para ualquier
fun ion h(jj) se tiene que
Z 1
D(jj; t; K )h(jj)djj = 22 h(t):
(5.32)
lm 4
K !1
0
Utilizando esta ultima identidad al ularemos (5.30). Es onveniente introdu ir oordenadas polares
 = jj^ = jj(sin  os ; sin  sin ; os ); ds = d^
y transformar (5.30) on ayuda de (5.31) en
(
)
Z 1
Z
1
^
^
jj ^ g(x + jj)d 4D(jj; t; K )djj:
u(x; t) = lm
K !1 (2 )3 0
jj=1

(5.33)

R
Usando (5.32) llamando h(jj) = jj j^j=1 g(x + jj^)d^ que es a fun ion para la ual
es valida (5.32). Tenemos que
Z

t
g(x + t^)d^
(5.34)
4 j^j=1
que es la expresion bus ada para u en terminos de los datos ini iales. Esta formula
tambien se debe a Poisson.
La (5.34) tiene una interpreta ion muy iluminante. Para darla es onveniente referirnos
a la Fig. 5.8.
u(x; t) =

Al tiempo t = 0 sabemos que g 6= 0 solo en ierta region que se muestra en la Fig.


5.8. La formula (5.34) nos di e que para en ontrar u(x; t) basta trazar una esfera St
de radio t alrededor de x, ver que valores toma g sobre di ha esfera, e integrar esos
valores de g. En la Fig. 5.8 vemos que en general solo una parte de St interse ta la
region perturbada por g. Por ello u = 0 para t < t1 . De la misma forma la ultima
se~nal llega uando St interse ta a la region donde g 6= 0.
Vemos en la (5.34) que el problema para resolver la e ua ion de onda se ha transformado en un problema geometri o que onsiste en en ontrar omo fun ion del tiempo

95

5.4. EL PROBLEMA CON VALORES INICIALES

x
r=t 1
x1

St

g=0
St

St
x2

Fig. 5.8
la interse ion de St on la region donde g 6= 0. Esto es en general un problema
geometri o bastante omplejo que debe resolverse en ada aso. En la mayora de las
o asiones es imposible evaluar la (5.34) en forma errada. Sin embargo, uando jxj es
mu ho mayor que las dimensiones de la region donde g 6= 0 se puede re urrir a una
aproxima ion. En este aso podemos aproximar St por un plano que tiene por normal
un ve tor a lo largo de la lnea que une x on el entro de la fuente. Estos planos se
desplazan ha ia la fuente on velo idad uno.
Para ilustrar esta aproxima ion tomemos ut(x; 0) = g(x) = 1 para jxj  a, y bus amos
u(x~0 ; t) donde a  jx~0 j. La situa ion se muestra en la Fig. 5.9.
El plano x = x0 t se mueve ha ia la izquierda y la integral de la (5.34) se aproxima
por el area sombreada en la Fig. 5.9. Vemos tambien que para 0  t  x0 a, u = 0
ya que Pt no interse ta a la esfera donde la ondi ion ini ial no es ero. Para tiempos
x0 a  t  x0 + a el area sombreada multipli ada por 4t es el valor de u. Como
vemos en la Fig. 5.9 el area sombreada esta dada por fa2 (x0 t)2 g. Finalmente
tenemos que

u(x0 ; t) =

4 fa
t

(x0
0;

t)2 g; x0

a  t  x0 + a;
jt x0 j  a:

(5.35)

 DE ONDA EN TRES DIMENSIONES


CAPITULO 5. ECUACION

96

111
000
000
111
000
111
000
111
000
111
000
111
000
111
000
111
000
111

x=x0t
x0

Pt

Fig. 5.9
Notamos en la (5.35) que a medida que x0 se aleja de la fuente, la gra a de u se
vuelve ada vez mas angosta y mas alta. Esta situa ion es desde luego independiente
de la orienta ion de x0 ya que la simetra es esferi a. Queda omo un ejer i io el
onven erse de este detalle.
Un ultimo ejer i io es en ontrar utilizando (5.34) la solu ion del problema

utt = r2 u;

x2 y2 z 2
u(x; 0) = g(x) = f 1 si x esta en el elipsoide 2 + 2 + 2 = 1g
(5.36)
a
b

uando el punto de observa ion esta alejado del elipsoide, y esta sobre los ejes x; y; z
respe tivamente.
En esta dis usion se onstruyeron varias solu iones para la e ua ion de onda en tres
dimensiones. No se probo la uni idad, pero la idea es la misma que la usada para
una sola e ua ion. Una prueba elemental de estos he hos se en uentra en los libro de
Weinberger [15. Un tratamiento mas avanzado podra onsultarse en las notas de J.
Ize [8 as omo en el libro de Courant-Hilbert [3. Hay pruebas espe iales para las
e ua iones de Maxwell en las notas de K. O. Friedri hs [7.
Para on luir esta se ion omentamos que hay metodos alternativos para resolver la
e ua ion de onda omo lo son las fun iones de Rieman, los promedio esferi os, y los

5.4. EL PROBLEMA CON VALORES INICIALES

97

poten iales de Ritz. Esto no lo dis utiremos aqu, y remitimos al le tor a los libros de
Courant-Hilbert [3, John [10, y Copson [2.

98

 DE ONDA EN TRES DIMENSIONES


CAPITULO 5. ECUACION

Cap
tulo 6

E ua i
on de difusi
on
En este aptulo se en uentran algunos ejemplos de propaga ion de alor y de otros
pro esos de difusion. Los pro esos de difusion son muy diferentes a los hiperboli os
que se onsideraron al prin ipio de estas notas. En la difusion las solu iones se deforman y los pro esos se relajan a un equilibrio. Por otra parte las e ua iones de
difusion tambien ontrolan la propaga ion de inestabilidades de diferentes tipos . En
este aptulo se examinan algunos ejempos prototpi os.

6.1.

Propaga i
on de alor

Si tenemos un uerpo unidimensional en el intervalo 0  x  l y denotamos por


T (x; t) la temperatura en el punto x al tiempo t, podemos al ular el balan e de alor
en el. La antidad de alor en el tramo x0 , x0 + h, esta dada por
Cantidad de alor = Calor espe  o  masa  temperatura.
Sabemos que
masa =

x0 +h

x0

(x)dx

donde (x) es la densidad. Tenemos as que la antidad de alor entre x0 y x0 + h es


Z

x0 +h

x0

Ce (x)(x)T (x; t)dx; Ce = alor espe  o.

Por otra parte el balan e de alor ( onserva ion de energa) nos di e que el ambio
de la antidad de alor entre x0 y x0 + h = alor que entra alor que sale + alor
99

 DE DIFUSION

CAPITULO 6. ECUACION

100

que suministran agentes externos.


As tenemos denotando por Q(x) el ujo que

d x0 +h
Ce (x)(x)T (x; t)dx = Q(x0 + h) Q(x0 ) + alor suministrado.
dt x0
Falta rela ionar el ujo de alor on la temperatura y esto se obtiene de modo experimental. Experimentalmente se determino que
Z

T (x; t)
x
donde K (x) es la ondu tividad termi a. Por otra parte el alor suministrado por una
fuente externa se puede es ribir omo
Q(x) = K (x)

x0 +h

x0

q(x; t)dx; para alguna fun ion q dada.

Cambiando la variable x0 + h por x se tiene que


x
T (x; t)
d x
q(; t)d:
+
Ce ( )( )T (; t)d = K (x)
dt x0
x
x0
Derivando respe to al lmite superior tenemos que la temperatura satisfa e la e ua ion
Z

T (x; t)

K (x)
+ q(x; t):
Ce (x)(x)Tt (x; t) =
x
x

(6.1)

Esta es una e ua ion de onserva ion. La e ua ion (6.1) debe resolverse on ondi ion
ini ial T (x; 0) = h(x) y ondi iones de frontera en x = 0 y x = l. Si la temperatura o
T
el ujo estan dados en la frontera se ono e T (0; t); T (l; t) o bien T
x (0; t) y x (l; t).
Por otra parte en un extremo se puede dar la temperatura y en otro el ujo. Si se
onsidera la ley de enfriamiento de Newton la ondi ion de frontera queda omo una
ombina ion de T y Tx. La fun ion q(x; t) de la e ua ion (6.1) es un dato del problema.

6.2.

Dispersi
on de ontaminantes

Un problema interesante al que en una primera aproxima ion puede apli arse la
e ua ion de alor es el de difusion de ontaminantes. Para esto suponemos que la
on entra ion de ontaminantes en el punto x al tiempo t es (x; t). Enton es se
umple:

 DE CONTAMINANTES
6.2. DISPERSION

101

Varia ion de la antidad de ontaminantes = ujo de ontaminantes


+ la produ ion del agente,
es de ir:

d x
(; t)d = Q(x; t) Q(x0 ; t) + produ ion del agente.
dt x0
Z

El ujo Q(x; t) se determina experimentalmente. El aso de interes es uando hay un


viento on velo idad U , en uyo aso el ujo puede aproximarse por


(x; t) + U (x; t):
x
donde el primer termino es difusivo y el segundo el efe to del transporte por el viento.
Enton es la e ua ion para difusion y transporte de ontaminantes esta dada, uando
K es onstante, por
t = K xx + U x :
(6.2)
Q(x; t) = K

Una version mas general, uando el oe iente de difusion K es variable, se plantea,


en una region nita, de la siguiente forma:


T

T
K (x)
+ q(x; t) ; a  x  b; t  0;
e (x)(x) =
t x
x
T (x; 0) = T0 (x) = temperatura ini ial que es ono ida
y las ondi iones de frontera en T (a; t) y T (b; t): Estas pueden ser de varios tipos.
Pueden darse T (a; t) y T (b; t), si el alentamiento esta pres rito. Pueden darse los
ujos K T
x en x = a; y x = b: Tambien se puede dar en un extremo un ujo y en el
otro una temperatura.
Para des ribir la ley de enfriamiento de Newton en la frontera se da la ombina ion
K T
x + (T TA ) = 0 donde TA es la temperatura del ambiente. El detalle de las
solu iones a este tipo de problemas esta en el libro de Weinberger. En este aptulo
se des riben problemas uya solu ion si bien es elemental, se dejan para textos mas
avanzados.
Para estudiar el problema de dispersion de ontaminantes por una himenea olo ada
en x = 0 se tiene (a; t) = g(t) donde g(t) es la produ ion de ontaminantes. Ini ialmente se puede suponer el ielo limpio, es de ir (x; 0) = 0: La e ua ion que debe
resolverse es

t = K xx + U x ; x  0; t  0;
(x; 0) = 0; (0; t) = g(t):

 DE DIFUSION

CAPITULO 6. ECUACION

102

Otro problema es la dispersion de un ontaminante que se suelta ini ialmente en


x = 0: La solu ion se bus a ahora en toda la re ta y la ondi ion ini ial es
2; jxj  ;
(x; 0) = Q=
0; jxj > ;
que orresponde a soltar una antidad total Q de ontaminante en el origen.


6.3.

El efe to de las fuentes

Una lase muy importante de problemas es uando se tiene una fuente de alor. Con
una fuente Q; la e ua ion tiene la forma:

Tt = KTxx + Q;
on ondi iones ini iales y de frontera apropiadas. En mu has situa iones Q depende
de la temperatura Q = Q(T ): Esta dependen ia en general es no lineal y da origen a
mu hsimos fenomenos, nuevos e interesantes que a la fe ha no estan ompletamente
entendidos. Un ejemplo es el de las rea iones exotermi as. En este aso Q(T ) = e T :
Permane iendo en el regimen lineal podemos tomar Q(T ) = T: El aso > 0 es
de una fuente mientras que < 0 orresponde a un sumidero. En el primer aso la
e ua ion ordinaria que resulta al tomar K = 0 di e que T = 0 es inestable mientras
que para < 0 es estable. As, la e ua ion on > 0 y K 6= 0 des ribe la intera ion
de la difusion on la inestabilidad. En propaga ion espa io-temporal de pobla iones
o epidemias, > 0 es el termino de na imiento y la e ua ion des ribe la evolu ion
espa io-temporal de una infe ion o una epidemia.
El aso > 0, al interpretarse T omo un voltaje en un able pasivo, representa el
de aimiento del voltaje a lo largo del able debido a las perdidas resistivas.
A ontinua ion resolveremos algunos de estos problemas.
Comenzaremos por el problema de difusion de alor o de ontaminantes (sin viento)
que des ribe la e ua ion del alor on ondi iones ini iales apropiadas.
Las ondi iones de frontera e ini iales dependen de la apli a ion espe  a.
Cuando se tiene una distribu ion ini ial de temperatura T (x; 0) = h(x), y las propiedades
del medio son onstantes, el problema por resolver es

K
T ;
1 < x < 1; t > 0;
Ce  xx
T (x; 0) = h(x); 1 < x < 1:
La solu ion se en uentra usando la transformada de Fourier T^ de T dado que
Tt =

103

6.3. EL EFECTO DE LAS FUENTES

T (x; t) =
T^t (k; t) = Dk2T^;

1
2

1
1

eikx T^(k; t)dk;

T^(k; 0) = h^ (k); D = K=Ce :

Resolviendo la e ua ion para T^ y sustituyendo en la integral tenemos


Z
2
1 1^
T (x; t) =
h(k)e Dk t eikx dk:
2 1
Es interesante observar que varia iones rapidas (k grande) se amortiguan rapidamente.
Por otra parte las varia iones lentas lo ha en mas despa io.
Utilizando el resultado de la2 transformada de Fourier de la gaussiana
dado en el
1 e x2 =4DT de aqu que
Apendi e A, vemos que e Dk t = f^(k; t) para f (x; t) = 2pDT
Z
1 1 ikx ^
T (x; t) =
e f (k; t)h^ (k)dk:
2 1
Ahora apli amos el teorema de onvolu ion para es ribir

T (x; t~) =

p1

2 t~

1
1

2
h( )e (x ) =4t~d;

(6.3)

donde t~ = Dt:
Si la fun ion h(x) representa una ex ita ion lo alizada al tiempo ini ial, h(x) = 21 si
jxj  , h(x) = 0 para jxj > , tenemos que uando  ! 0

T (x; t) =

p1 e

2 Dt

x2 =4Dt :

(6.4)

Vemos que T (x; t) ! 0 uando t ! 1. El maximo se en uentra siempre en x = 0.


La dispersion de la gaussiana es 4Dt y se ha e ada vez mas grande onforme el
tiempo pasa. Es interesante ontrastar esta solu ion on la solu ion de la e ua ion de
onda. Las ondas se mueven al in nito on velo idad nita. El alor se difunde on
una dispersion x2 = 4Dt. El maximo ini ial no se mueve. Podra pensarse a primera
vista que las se~nales de alor se propagan on velo idad in nita ya que T (x; t) 6= 0
para todos los valores de x en uanto t > 0. Esto no es ninguna ontradi ion y se
debe a nuestra hipotesis de \respuesta instantanea": Flujo = K T
x . Por otra parte
la se~nal es exponen ialmente peque~na si x2 > 4Dt. En la aproxima ion de difusion
solo se toman en uenta las es alas de relaja ion del material y no las de la iner ia

 DE DIFUSION

CAPITULO 6. ECUACION

104

que daran una velo idad nita de propaga ion . El le tor interesado podra resolver el
problema

2 utt + ut = Duxx;
u(x; 0) = h(x);
tomar el lmite uando  ! 0 y onven erse en detalle de que uando la iner ia  es
peque~na el alor se difunde \sin sentir" la velo idad nita de propaga ion.
Hemos obtenido una solu ion pero no sabemos si esta es uni a. Para estudiar la
uni idad hay diferentes ideas. Aqu exploraremos el metodo de la entropa. Si tenemos
dos solu iones de la e ua ion del alor que de aen a ero en 1 enton es su diferen ia
T (x; t) = T2(x; t) T1(x; t) tiende a ero uando x ! 1 al igual que Tx :
Enton es T satisfa e la e ua ion

Tt = KTxx; T (x; 0) = 0:
La entropa del sistema esta dada por
Z 1
ln(1 + T )dx
1
si es que T  0: Supongamos que T > 0: (Fsi amente la temperatura que es ini ialmente ero absoluto no puede de re er). El aso T < 0 sera tratado despues.
d
dt

1 T xx
Tt
dx = K
dx
ln(1 + T )dx =
T
1+T
1
1
1 1 +

Z 1
Tx2
dx  0:
= K
1 (1 + T )2

De aqu que la entropa es una fun ion no negativa, no re iente y omienza en ero,
por lo tanto:
Z 1
ln(1 + T )dx = 0 si t > 0:
1
De donde T = 0 si t > 0 ya que si T > 0 la integral sera distinta a ero.
Esta entropa es singular para T < 0: La misma idea puede usarse de otra forma.
Considerando la e ua ion

Tt = KTxx
y multipli ando por T tenemos

105

6.3. EL EFECTO DE LAS FUENTES

d1 2
T = KT Txx:
dt 2

Integrando obtenemos
Z 1
Z 1
Z
d 1 1 2
Tx2dx < 0
T Txxdx = K
T dx = K
dt 1 2
1
1
de donde se sigue que T = 0: Esto prueba la uni idad de la solu ion.
El problema de difusion de ontaminantes

Ct = DCxx + UCx ; C (x; 0) = h (x);


tiene omo solu ion

C (x; t) =

p1 e

2 Dt

(x Ut)2 =4Dt :

El le tor podra veri ar esto modi ando la formula (6.3) o usando el ambio de
variables x0 = x Ut para transformar la e ua ion (6.2) en la e ua ion (6.1). Esta
solu ion expli a la forma ion de la pluma que los ontaminantes produ en al dispersarse en el aire. La zona ontaminada es la zona donde la exponen ial tiene un
exponente menor que uno. De aqu que
(x Ut)2 = 4Dt
es la frontera de esta zona.
p
Las fronteras de la pluma son x = Ut  2 Dt. En el plano (x; t) esta zona se muestra
en la Fig.6.1.
La Fig. 6.1 muestra omo el viento transforma el ontaminante on una velo idad
media U: Ademas la difusion lo expande on una rapidez menor, lo ual da origen a
la pluma.
Queda omo un ejer i io para el le tor el problema de hallar la pluma produ ida por
una himenea.
Consideramos ahora el problema en presen ia de una fuente que depende de la temperatura. Consideramos pues la e ua ion

Tt = DTxx + T;

1 < x < 1; t > 0

0;
T (x; 0) = 10;; xx <
> 0:

 DE DIFUSION

CAPITULO 6. ECUACION

106

x=Ut+ 2 (Dt) 1/2


U

x=Ut 2 (Dt) 1/2

pluma
x

Fig. 6.1
El aso > 0 es el problema de invasion a la zona x > 0 de una inestabilidad T = 1
lo alizada en la zona x < 0. En este aso la difusion alisa la dis ontinuidad provo ando
una perturba ion en x > 0 que es ampli ada por en la zona x > 0: Este pro eso
se repite y la inestabilidad avanza. Para en ontrar la velo idad de avan e ambiamos
de variable T = e tv y obtenemos:

vt = Dvxx; v(x; 0) =

1; x < 0;
0; x > 0:

La solu ion esta dada por la formula (6.3). En este aso tenemos:

v(x; t) =

p1

2 Dt

2
e (x ) =4Dt d;

Cambiando variables  = x + u, tenemos:

T (x; t) =

pe

2 Dt

2
e u =4Dt du:

1
Para estudiar el omportamiento de esta fun ion al ulamos
2

e t x =4Dt
p
:
2 Dt
De la formula anterior podemos on luir que Tx es exponen ialmente peque~na si
x2 =4Dt  t.
Integrando tenemos que
Tx (x; t) =

107

6.3. EL EFECTO DE LAS FUENTES

T (x; t) =

Txdx

y on luimos que T (x; t) es exponen ialmente hi a para

x2 =4Dt  t:

Por otra parte si x2 =4Dt  t la solu ion re e. El punto x = 2 D t separa estas


dos regiones y representa un frente de inestabilidad que invade a la region de quietud.
En la Fig. 6.2 tenemos que

2 D t

t
inestabilidad

quietud

Fig. 6.2
Si a esta e ua ion le a~nadimos un termino de satura ion T 2; obtenemos la e ua ion
de Fisher:

Tt = DTxx + T (1 T )
La inestabilidad se satura en T = 1 y obtenemos un frente que se propaga omo una
onda viajera tal omo se muestra en la Fig. 6.3

 DE DIFUSION

CAPITULO 6. ECUACION

108

T=1

v= 2 D

Fig. 6.3
Estos frentes se propagan on mayor velo idad uando la razon es grande y uando
la difusion es grande. Esto es de esperarse por la fsi a del problema.
Como ultimo ejemplo estudiaremos la propaga ion de una inye ion de orriente en
un able pasivo. En este aso el estado v = 0 es estable por tratarse de un ir uito
RC pasivo. La e ua ion por resolver es:

vt = Dvxx v; x  0; t > 0;
vx (0; t) = h(t) = pulso de orriente inye tado en x = 0;
v(x; 0) = 0; v(x; t) ! 0; x ! 1:

(6.5)

Resolveremos este problema tomando la transformada de Lapla e (Apendi e B) v~ de


v en t dado que t > 0: As
Z

1
est v~(s; x)ds
2i C
Z
1 +i1 st
=
e v~(s; x)ds:
2i i1

v(x; t) =

El ontorno C se en uentra a la dere ha de las singularidades de v~ omo fun ion de


s. Sustituyendo en ontramos la e ua ion para v~(x; s)

v~xx(x; s)

(s + )
v~(x; s) = 0; x 2 R; s > 0;
D
v~x (0; s) = h~ (s); s > 0;
v~(x; s) ! 0; si x ! 1:

109

6.3. EL EFECTO DE LAS FUENTES

La solu ion es

s+

s+

D x:
v^(x; s) = A(s)e D x + B (s)e
El de aimiento
para x ! 1 impli a que A(s) = 0, y la ondi ion en x = 0 impli a
~h(s) = p(s + )=DB (s), por lo tanto
s

v~(x; s) =

D ~
h(s)e
s+

+s x
D

Ahora se tiene que invertir la transformada de Lapla e. La transformada h~ (s) de un


pulso unitario

1
x < ;
h(x) = 0;; x0 <
 ;

es h~ (s) = 1 uando  ! 0: Con todo lo anterior, la solu ion de (6.5) esta dada por:
p Z psD+ x st
D e
ps + e ds
v(x; t) =
2i
p t Z p pxD
De
e p et d
=
2i
0
C
o
n
p
2
pero se sabe que L 1 p1 e jx yj = p1 e (x y) =4t lo ual impli a


t

p 2
1
De t p e (x= D) =4t
t
r
D x2 =4Dt
e
= e t
t
La orriente a lo largo del able es vx y esta dada por

v(x; t) =

vx (x; t) =

e t x
p
3e

x2 =4Dt

2 Dt
Vemos pues que la orriente de ae on una amplitud e t debido a las perdidas
resistivas. El maximo valor de la orriente esta dada en el punto donde x(t) satisfa e

Obtenemos: x(t) = 2Dt.

vxx(x(t); t) = 0:

El pulso de orriente viaja on velo idad 2Dt. Sin embargo la amplitud de re e y la


se~nal se deteriora. Por esta razon las lneas de transmision pasivas deben omplementarse on elementos a tivos (ampli adores) que ompensen el deterioro del pulso.
La naturaleza resuelve este problema en los axones (que ondu en la orriente en el

110

 DE DIFUSION

CAPITULO 6. ECUACION

sistema nervioso) ha iendo que no sea onstante sino que dependa del voltaje de
una manera apropiada. De he ho Hodgking y Huxley postularon un me anismo de
ondu ion a tiva ha iendo pre isamente depender del voltaje. Se obtuvieron solu iones de esta e ua ion no lineal on forma de ondas que viajan sin perder amplitud.
Una vez obtenidas estas solu iones pudieron entender el me anismo de membrana
responsable de la ondu ion a tiva. Este des ubrimiento fue fundamental y Hodking
y Huxley obtuvieron el premio Nobel ya que ambiaron nuestra omprension de los
pro esos de omuni a ion entre los omponentes del sistema nervioso [8.

Ap
endi e A
Transformada de Fourier
En esta se ion expli aremos algunas de las propiedades de la transformada de Fourier
que se han usado en el texto. Una exposi ion de estos resultados se puede en ontrar
en ualquier libro de analisis. Nuestra presenta ion sigue muy de er a la del libro de
Weinberger.
Empezaremos por re ordar que la transformada de Fourier de una fun ion f (x) (que
supondremos lo su ientemente regular e integrable) se de ne omo
Z 1
^
f (k) =
e ikx f (x)dx:
(A.1)
1
Cono iendo f^(k) se puede re uperar f (x) on la formula de inversion
Z
1 1 ikx ^
e f (k)dk:
f (x) =
2 1

(A.2)

Resulta de utilidad al ular la transformada de f 0 (x) en terminos de la transformada


de f (x). Esto lo al ulamos derivando (A.2) y obteniendo
Z
1 1 ikx ^
f 0 (x) =
e ikf (k)dk:
(A.3)
2 1
Observamos que (A.3) nos muestra que f 0 (x) es la transformada inversa de ikf^(k). Por
esto, de (A.1) tenemos que la transformada de f 0 (x) es pre isamente ikf^(k). Se deja
omo un ejer i io el en ontrar la transformada de la n-esima derivada de f en terminos
de f^(k). La formula (A.2) nos di e que ualquier fun ion f (x) puede es ribirse omo
una suma de ondas planas eikx f^(k), uya amplitud es f^(k) y el numero de onda es k.
Analogamente se puede de nir la transformada de Fourier para fun iones de tres variables. Esto se ha e apli ando (A.1) a ada variable separadamente. La transformada
111

112


APENDICE
A

TRANSFORMADA DE FOURIER

de Fourier es una fun ion de tres variables (del ve tor k) y se de ne de la siguiente


manera:
Z 1 Z 1 Z 1
f^(k) =
f (x)e ikx dx:
(A.4)
1 1 1
Si apli amos a (A.4) la transformada inversa variable por variable tenemos:
Z 1 Z 1 Z 1
1
f^(k)eikx dk:
(A.5)
f (x) =
(2)3 1 1 1
Queda omo un ejer i io para el le tor obtener en detalle (A.5).
Probaremos ahora las identidades que usamos para al ular la transformada de Fourier
de r2 f (x).
En primer lugar observemos que
rx eikx = ikeikx ;
(A.6)
2
i
kx
i
kx
i
kx
i
kx
rx e = r  re = r  ike = k  ke :
Para al ular la transformada de r2 f pro edemos por analoga on (A.3) y usando
(A.5) tenemos que
Z
1
2
r f = r  rf = (2)3 3 r  reikx f^(k)dk
R
y debido a (A.6)
Z
1
2
r f = (2)3 3 k  kf^(k)eikx dk:
(A.7)
R
De (A.7) vemos que la transformada de r2 f es jkj2f^(k). (Comparese esta formula
on la orrespondiente para la segunda derivada de fun iones de una sola variable).
Finalmente dis utiremos el teorema de la onvolu ion para transformadas de Fourier.
Re ordemos que la onvolu ion de dos fun iones denotada por f  g, se de ne omo
(f  g)(x) =

R3

f (x  )g( )d:

(A.8)

Queremos ahora expresar la transformada de f  g en terminos de f^ y g^. Para esto,


de (A.8) al ulamos la transformada de f  g de manera que
Z

(f ^ g)(k) =

R3

ikx

Z
R3

f (x  )g( )d dx:

(A.9)

Cambiando de variable x =  +  tenemos de (A.9)


Z
Z
(f ^ g)(k) =
e ik ik
f ()g( )dd
=

R3

R3

e ik g( )d

= f^(k)^g (k):

R3
Z

R3

e ik f ()d

(A.10)

113
Vemos que (A.10) nos di e que la transformada de la onvolu ion de dos fun iones es
el produ to de las tranformadas de di has fun iones. Este resultado, util al al ular
transformadas inversas, fue utilizado en varias o asiones en este texto.
Cal ulamos ahora una transforma ion util que es la de la fun ion gaussiana:
2 2
f (x) = Ae x =G ; G > 0:

Podemos normalizar (por onvenien ia posterior) esta fun ion es ogiendo A para que
Z 1
 1
Z 1
2 =G2
2
2
2
x
f dx = 1 o sea A =
e
dx
:
1
1
Ahora tomando x =  pG2 tenemos que:
p


 1

Z
2
G 1 2
Gp 1
2
A = p
=p :
e d
= p 
G
2 1
2
1=4

La fun ion bus ada es f (x) = 1=24 G1=2 e x =G : El an ho de f es aproximadamente G


1=4
y su maximo es A = 1=24 G1=2 Si G ! 0 se torna ada vez mas angosto y mas alto en
x = 0: El area total de f 2 se mantiene igual a uno.
La transformada de Fourier de f (x) se de ne omo
Z 1
Z 1
2 2
ikx
f (x)e dx = A
e x =G e ikx dx:
1
1
Completamos el uadrado en el exponente y tenemos:

x2
+ i kx = (x=G + ikG=2)2 + k2 G2 =4
G2
Z 1
1
2 2
x
kG 2
e ( G +i 2 ) e k G =4 dx
f (x)e ikx dx = A
1 Z
1
1
2 2
k 2
k
= Ae G =4
e (x=G+i 2 G) dx
1
Z
2 G2 =4 1 (x+i kG )2
k
2 dx
= AGe
e
1

Esta ultima integral se al ula deformando el ontorno (sea por Stokes o por Cau hy)
al eje real. Usando ualquiera de las interpreta iones tenemos que
Z
Z 1
2
G 2
e (x+ik 2 ) dx = e z dz
L
1


APENDICE
A

114

TRANSFORMADA DE FOURIER

donde L es la lnea paralela al eje real que tiene parte imaginaria i kG


2 y se muestra
en la gura A.1

kG
2

Fig. A.1
Z

Trun ando el ontorno L0 a la region L  x  L; tenemos que e z dz = 0 donde


Q
Q es la urva que une los segmentos L0 ; C; ( L; L) y D en dire ion ontraria al reloj.
De aqu que:
Z

L0

2
e z dz =

+L
L

2
e x dx +

2
e z dz +

2
e z dz:

Tomando el lmite uando L ! 1 observamos que las integrales sobre los ontornos
C y D van a ero. Tenemos as que la integral bus ada es:
Z 1
Z 1
p
2
2
z
e dz =
e x dx = :
1
1
Tenemos que la transformada de Fourier esta dada por:

2 2

2 2

AG e k G =4 = (2)1=4 G1=2 e k G =4 :
Es la misma gaussiana on G olo ada multipli ando a la variable k: Esto indi a
que una fun ion muy on entrada (G ! 0) tiene una transformada de Fourier
muy
p
2
G
2
4
extendida. Tambien si tomamos 1=G = 4 tenemos que G = 4 ; G = 2: En este
aso vemos que

p 2
2
f (x) =  1=4 e x =2 y f^(k) = 1=4 2e k =2
es
p de ir, 1=4 f (x) es fun ion propia de la transformada de Fourier on valor propio
2: Si normalizamos la transformada de Fourier para que preserve el produ to es alar hay que dividir f^(k) por p12 : As queda que la gaussiana es fun ion propia de la

115
transformada de Fourier on valor propio 1. Queda omo un ejer i io interesante para
el le tor veri ar que solo hay 4 valores propios que son 1; 1; i; i: Cada valor propio
tiene in nitas fun iones propias y ellas son las fun iones de Hermite. Este resultado
se obtiene derivando on respe to a G y manteniendo la alma en el al ulo. Tambien
usando la fun ion generatriz de los polinomios de Hermite.

116


APENDICE
A

TRANSFORMADA DE FOURIER

Ap
endi e B
Transformada de Lapla e

En la se ion anterior vimos que para al ular la transformada de Fourier de una


fun ion ne esitabamos que esta fuera integrable. Sin embargo, en mu has o asiones
es onveniente representar una fun ion no ne esariamente a otada, en terminos de
exponen iales. Esto se es posible usando la transformada de Lapla e.
Un tratamiento muy bueno del tema y gran antidad de apli a iones se pueden en ontrar en el libro de Van der Pol y Bremmer [14. Nosotros nos limitaremos a dis utir
las propiedades mas simples, siguiendo muy de er a el libro de Weinberger [15.
Empezamos re ordando que la transformada de Lapla e de una fun ion f (t) (su ientemente regular) de nida para t  0 y a otada en la forma

jf (t)j  MeKt; t  0; K > 0; M > 0

(B.1)

se de ne omo

f~(s) =

e st f (t)dt:

(B.2)

En (B.1) y (B.2) vemos que la integral que de ne a f~(s) existe para Refsg > K y
omo en esa region, di ha integral onverge uniformemente, de ne tambien una fun ion analti a de s para Refsg > K . La region de de ni ion de f~(s) se muestra en la
Fig. B.1.
117

118


APENDICE
B

TRANSFORMADA DE LAPLACE

Re{s}=K

Im{s}

,
^
f(s) analitica

Re{s}

Fig. B.1
Ademas uando Refsg ! 1, Refsg > K tenemos de (B.1) y (B.2) que jf~(s)j  jDsj .
As mismo, para Refsg < K la integral (B.2) deja de existir, pero en general f~(s)
tiene una ontinua ion analti a para Refsg < K on polos y puntos rama. Di has
ontinua iones analti as deben determinarse en ada aso parti ular. Queda omo
ejer i io el al ular las transformadas de t, et , os t, y lo alizar sus singularidades en
el plano s.
El siguiente paso es expresar a f (t) en terminos de f~(s). Para esto observamos que si
s = + ik on > K y k real, enton es (B.2) se puede es ribir omo
Z 1
~
~
g^(k) = f (s) = f ( + ik) =
e t f (t)e ikt dt:
(B.3)
0

La e ua ion (B.3) nos muestra que g^(k) = f~( + ik) es la transformada de Fourier de
la fun ion

t
0;
g(t) = e 0f; (t); tt 
 0:

Usando (B.3) y la formula de inversion (A.2), podemos expresar a g(t) en terminos


de g^(k) en la forma
Z
Z
1 1 ikt ~
1 1 ikt
e g^(k)dk =
e f ( + ik)dk:
(B.4)
g(t) = e tf (t) =
2 1
2 1
Multipli ando la (B.4) por e t obtenemos que
Z
1 1 ( +ik)t ~
f (t) =
e
f ( + ik)idk:
(B.5)
2i 1
(B.5) es la representa ion parametri a de
Z
1
est f~(s)ds
(B.6)
f (t) =
2i L

119
donde L es la lnea (paralela al eje imaginario Refsg = ). Se puede veri ar que
(B.6) es independiente de la urva L siempre que esta se tome dentro de la region de
analiti idad de f~(s). Por esto podemos es ribir (B.6) en la forma
Z
1
est f~(s)ds
f (t) =
2i C
donde C es ualquier urva paralela al eje imaginario que esta a la izquierda de todas
las singularidades de f~(s). Queda omo ejer i io omprobar (B.6) para las fun iones
t; os t; et.
Resulta tambien onveniente expresar la transformada de Lapla e de f 0 (t) en terminos
de la transformada de f (t). Tenemos en este aso que
Z 1
Z 1
f~0 (s) =
f 0 (t)e st dt = e st f (t)j1
+
s
e st f (t)dt
0
0

de donde se sigue que f~0(s) = sf~(s) f (0).


Se deja al le tor al ular f~00 en terminos de f~.
Como ultima propiedad de la transformada de Lapla e, debemos men ionar el teorema
de onvolu ion analogo al de las transformadas de Fourier. Para las fun iones de nidas
en el intervalo 0  t < 1, la onvolu ion apropiada esta de nida omo
(f  g)(t) =

f (t )g()d;

t  0:

Cal ulando la transformada de Lapla e de (B.7) tenemos que


Z 1
Z t
st
~
(f  g)(s) =
e
f (t )g()ddt
0
0
Z 1nZ 1
o
=
e st f (t )dt g()d
0

Z 1
Z 1
s
=
e
e st f (t)dtg()d = f~(s)~g(s):
0

(B.7)

(B.8)

La e ua ion (B.8) nos da la expresion de la transformada de


Z

g()d

(B.9)

en terminos de g~(s), ya que basta observar que


t

g()d = (1  g)(t)

de donde se sigue que (1  g)~(s) = ~1g~(s) = g~(ss) .


Esta identidad se uso en el texto al dis utir las solu iones a la e ua ion de onda.

120


APENDICE
B

TRANSFORMADA DE LAPLACE

Ap
endi e C
Fun iones de Green
En mu hos problemas en Fsi a o Biologa, nos interesa ono er la forma en que un
sistema dado responde ante un ierto estmulo, o en forma mas general, ante la suma
de una serie de estmulos o ex ita iones al sistema. Una forma de entender este tipo
de problemas es el onsiderar la solu ion del problema omo la suma de las solu iones
debidas a una sola ex ita ion. De esta forma simpli amos un problema omo la suma
de varios problemas sen illos. Esta suma se puede extender a una suma in nita o bien
a integrar un onjunto de solu iones de manera ontinua.
Esta manera de pensar tiene apli a ion en la solu ion de los problemas que son representados por la e ua ion de Lapla e o de Helmholtz o de Poisson. A ontinua ion
mostraremos omo podemos resolver este tipo de e ua iones, tanto on ondi iones
de frontera de Diri hlet o Neumann, utilizando la solu ion de una e ua ion del tipo
impulso-respuesta, a la ual nombraremos fun ion de Green.

El problema de la e ua ion de Lapla e en una dimension

Para omenzar el estudio de las fun iones de Green vamos a proponer un problema donde pretendemos obtener la solu ion de una e ua ion diferen ial ordinaria de
segundo orden on ondi iones de frontera de tipo Diri hlet:

d2 u
= 0 en 0  x  l ;
dx2
on valores en la frontera u(0) = u1 y u(l) = u2 .
En general no es fa il resolver los problemas de e ua iones ordinarias uando damos
ondi iones a la frontera. En este aso es simple adivinar la solu ion puesto que es
una linea re ta, la ual se es ribe de esta forma:
u u
u(x) = 2 1 x + u1 :
l
121


APENDICE
C

122

FUNCIONES DE GREEN

Ahora vamos a proponer una forma alternativa de resolver este problema. La idea
es en ontrar una fun ion que sea solu ion de la e ua ion diferen ial d2 u=dx2 = 0
perturbada por un es alon de poten ial y on ondi iones de frontera nulas:
0  x < 0 ;
< 0
d2
2


G
(
x;

;

)
=
0  x  1 ;
0
1
:
dx2
0
1 < x  l
y donde pedimos que G(0; 0 ; 1 ) = G(l; 0 ; 1 ) = 0. Es laro que las solu iones en los
intervalos 0  x < 0 y 1 < x  l son lineas re tas y en el intervalo 0  x  1
orresponde a una parabola. De esta forma proponemos la siguiente solu ion:
8

ax
0  x < 0 ;
x2 + x +
 0  x  1 ;
:
(x l)
1 < x  l :
Debemos pedir ontinuidad a esta solu ion ademas de las ondi iones de frontera. Una
ondi ion adi ional que a~nadimos es que a = 1 la ual signi a que la diferen ia
de las derivadas de G en los puntos 0 y 1 dan el valor uno, esta es una aproxima ion
del valor de la segunda derivada en estos puntos singulares.
Los oe ientes a, y pueden es ribirse en fun ion del parametro de la siguiente
forma:
G(x; 0 ; 1 ) =

a=
=

(02

12 ) + (0 1 ) l
;
(0 1 + l)

(02 12 ) + (0 1 ) 0


;
(0 1 + l)

12 ) + (0 1 ) 0
(1 l) 12 1 :
(0 1 + l)
Nos interesa onsiderar el lmite uando el an ho del es alon de poten ial tiende a ero,
es de ir uando 0 = 1 =  . Al onsiderar este lmite, los oe ientes a y quedan
es ritos omo a =  l l y = l . De esta forma la fun ion G(x;  ) la representamos as:
=

(02

8
<

0x< ;
l)
<xl :
Nuestro proposito ahora es mostrar omo podemos aprove har esta solu ion singular
para resolver el problema de valores a la frontera que mostramos al prin ipio de la
se ion.
De nimos la solu ion de la e ua ion d2 u=dx2 = 0, on las ondi iones de frontera tipo
Diri hlet de la forma siguiente:

G(x;  ) =

u( ) = u(0)

 lx
 l(x
l



G(0;  ) + u(l) G(l;  ) ;
x
x

123
es de ir, evaluamos la fun ion u(x)G(x;  )=x en los valores a la frontera y los
sumamos, en este aso solo tenemos dos valores en la frontera. El resultado es u( ) =
(u2 u1)=l + u1 , la ual es exa tamente la solu ion que se habiamos adivinado del
problema ini ial.
Es importante que el le tor apre ie la forma sistemati a de resolver el problema de la
e ua ion de Lapla e en una dimension on valores de frontera de tipo Diri hlet.
Tambien es posible obtener este tipo de solu ion uando tenemos problemas on
ondi iones de frontera tipo Neumann, en este aso la fun ion u( ) se es ribe de
esta forma:


u
u
u( ) =
(0)G(0;  ) + (l)G(l;  )
x
x
donde u
x es evaluado en 0 y en l, estas son las ondi iones de frontera.
Dejamos al le tor repetir este esquema de solu ion pero ahora para una e ua ion de
Poisson:
d2 u
= f (x) en 0  x  l
dx2
y donde las ondi iones de frontera son de tipo Diri hlet, u(0) = u1 y u(l) = u2 . Utili e
la misma fun ion G(x;  ) que en ontramos para el problema de Lapla e unidimensional
y al ule la solu ion de la siguiente forma:
l


u( ) = u(0) G(0;  ) + u(l) G(l;  ) + f (r)G(r;  )dr ;
x
x
0
utili e para ha er este ejer i io el siguiente poten ial, f (x) = Asen(x=l).
Z

Fun ion impulso-respuesta


Consideremos un problema des rito por la e ua ion de Poisson de nida sobre un
r ulo unitario y on ondi iones de frontera de Diri hlet nulas en la ir unferen ia
unitaria:

r2 u(r; ) = f (r; ) ;

r<1 ;

0   < 2

(C.1)

u(1; ) = 0 ;
0    2 :
La parte dere ha de la e ua ion la onsideramos onstante, tal que f (r; ) = q en
el aso de un problema de ele trostati a (donde u representa el valor de voltaje) o
bien f (r; ) = lgT en un problema de elasti idad, tal omo lo hemos estable ido en

124


APENDICE
C

FUNCIONES DE GREEN

la e ua ion (3.7). Hemos visto que en el aso elasti o, la membrana toma una forma
on ava ha ia abajo de manera similar omo se deformara una membrana bajo la
a ion de un horro de aire. La on avidad de la membrana es onstante en todo
punto.
En el aso que f (r; ) no sea una fun ion onstante, enton es la on avidad de la membrana ambia de punto a punto. Consideremos ahora que la fun ion f (r; ) representa
la a ion de jalar la membrana en un solo punto, lo ual llamaremos a esta a ion un
impulso o una fuente (o orrespondientemente un sumidero). Por simpli idad pensemos que este impulso o fuente se da en el entro del r ulo unitario. Por simetra,
la fun ion u y sus derivadas solo dependen de la oordenada radial. De namos el
ujo omo el valor de la derivada normal de u sobre una super ie errada (o una
uerva errada para el aso que estamos examinando). El ujo total F (r) se obtiene
integrando el ujo sobre toda la super ie o urva errada. En este aso onsideremos
una ir unferen ia de radio r < 1:

F (r) =

2 u(r)

r

rd = 2r

u
(r) :
r

El ujo total debe de oin idir on la fuente en el origen, f (r = 0; ) = g


T , la ual se
puede interpretar me ani amente omo una fuerza promedio:

2r

9
u
(r) =
:
r
T

Enton es,

u(r) =

g
1
ln( ) ;
2T r

(C.2)

donde vemos que esta solu ion es singular en el origen. Tal solu ion la podemos
entender omo si jalaramos una membrana ir ular en su punto medio una distan ia
in nita, tal omo se ve en la gura (C.1.a)

125

Fig. C.1.a y C.1.b

En el aso que estiremos de forma in nita la membrana en otro punto distinto al


origen abtendramos una solu ion uya forma sera omo se muestra en la gura
(C.1.b). La altura de la membrana la podemos representar por la fun ion G(r; ; p; ),
donde (r; ) representa la oordenada donde medimos la altura de la membrana o
donde se estia estirando la membrana. Esta fun ion es la solu ion de la e ua ion (C.1)
uando la fun ion f (r; ) representa una fuente puntual. A esta fun ion le llamamos
fun ion de Green. La utilidad que tiene esta fun ion viene del he ho de des omponer
la parte dere ha de la e ua ion (C.1) omo un onjunto ontinuo de fuentes, que
son \moduladas" por la fun ion f (r; ), as la solu ion orresponde a sumar todas
las solu iones debidas a ada fuente puntual lo alizada en el punto (i ; i ), on i =
0; : : : ; N , las uales son moduladas por la fun ion f (r; ) :

u(r; ) =

N
X
i=0

G(r; ; i ; i )f (i ; i )

(C.3)

Esta expresion la justi aremos mas adelante, sin embargo podemos observar que esta
rela ion es similar al problema de Poisson que se propuso para el aso unidimensional
en la se ion anterior.

Metodo de Imagenes
Consideremos un problema de una membrana donde apli amos una fuente (o estiron
in nito) en un punto y pedimos que la membrana no se deforme en una lnea re ta en
el plano. Consideremos una membrana in nita y la lnea re ta que oin ida on el eje
y. Si apli amos un estiron en algun punto en el (x; y) y al mismo tiempo estiramos en

126


APENDICE
C

FUNCIONES DE GREEN

dire ion ontraria pero on la misma intensidad en el punto re ejado sobre la re ta,
( x; y): Enton es podemos ver por simetra que la membrana no se deforma en la
re ta x = 0; tal omo lo podemos observar en la gura (C.2).

Fig. C.2

Tomemos la solu ion (C.2) la ulada en los puntos (x0 ; y0 ) y ( x0 ; y0); enton es la
solu ion a este problema esta des rito de la siguiente forma:

u(x; y) =


1
ln( )
2 R

K 1
ln( ) ;
2 R

donde R = ((x x0 )2 + (y y0 )2 )1=2 y R = ((x + x0 )2 + (y y0 )2 )1=2 :


Esta solu ion se ha obtenido on ayuda de un estiron virtual en el punto ( x0 ; y0);
a este estiron tambien lo podemos llamar una fuente imagen. La solu ion u(x; y)
orresponde a la fun ion de Green en el semiespa io x > 0:
Otro ejemplo sen illo en el uso del metodo de imagenes es el resolver el problema de
una fuente o estiron en un r ulo de radio unitario. La e ua ion que debemos resolver
es la siguiente
2 u(x; y) = f (x x0 ; y y0 ) ;

x2 + y 2  1 :

La fun ion f (x; y) tiende a in nito en el origen y vale ero fuera del origen, esta
fun i'on representa un estiron in nito en el origen. Consideremos el problema de un
estiron en un punto dentro del r ulo unitario, por ejemplo en el punto (x0 ; 0) y
0 < x0 < 1: Ahora onsideremos una fuente imagen, es de ir, on estiron en el punto
(x0 ; 0) on x0 > 1 (este punto esta fuera del dominio de la e ua ion).

127

Po
Ro

Ro
x

Fig. C.3

La gura C.3 muestra la olo a ion de las fuentes. De nimos un punto en la ir unferen ia de radio unitario P0 y las distan ias R0 y R0 del punto P0 a las fuentes. La
solu ion que proponemos a este problema es
1
1
u(x; y) = ln( ) ln(  )
R
R
donde R y R es la distan ia de las fuentes a ualquier punto en el dominio. En el
aso que este punto se en uentre en la frontera del dominio, podemos mostrar que si
x = 1=x, enton es
R
1
1
ln( ) ln(  ) = ln( 0 ) = te :
R0
R0
R0
Esto se puede obtener es ribiendo las distan ias de la siguiente forma:
p

( os  x)2 + sen2  = x2 + 1 2x os  ;
r
r
2
1
1
2
2
(
+1
os ) + sen  =
os  ;
R0 =
2
x
x
x

R0 =

de tal forma que


s

1
2
R0
1
x2 + 1 x os  =
:
=
2
R
x + 1 2x os 
x2
Esta ultima expresion es independiente de la oordenada ; es de ir, la expresion
vale para ualquier punto P0 en la ir unferen ia. Este argumento es tambien valido
uando las fuentes se en uentran olo adas sobre ualquier re ta que pase por el
origen. Asi sustituimos x por la distan ia de la fuente al origen (P ):


APENDICE
C

128

r=1

FUNCIONES DE GREEN

Fig. C.4

La solu ion de nuestro problema esta dado por la fun ion de Green (Fig. C.4)
R
1
G(r; ; ; ) = ln( )
2
R
y
r

r
1
r2 2pr os( ) + 2 ; R = r2 2 os( ) + 2 :


Finalmente, si tenemos una distribu ion ontinua de fuerzas o estirones que a tuan
sobre la membrana y que estan moduladas por la fun ion f (; ), la solu ion a este
problema lo podemos expresar en terminos de la fun ion de Green:
R=

1 1 2
G(r; ; ; )f (; )dd :
u(r; ) =
2 0 0
El le tor puede repetir este ejer i io para el aso tridimensional, uando el dominio es
una esfera de radio unitario. En este aso las fuentes las podemos pensar omo argas
ele tri as y u el poten ial ele tri o.
Z

Fun ion de Green


En esta se ion justi aremos la rela ion (C.3) en dos y tres dimensiones. A partir del
Teorema de Gauss, determinaremos un onjunto de rela iones utiles para nalmente

129
mostrar omo podemos expresar la solu ion de e ua iones del tipo Lapla e, Poisson
o Helmholtz utilizando la fun ion de Green apropiada.
Consideremos un dominio a otado
3 ; su frontera la denotamos omo 
: Tomemos
una fun ion ve torial F :
!3 de lase C 2 (
): El teorema de Gauss nos asegura que
Z Z Z

r  F dx =

Z Z

F  da ;

(C.4)

donde dx es el elemento de volumen y da es el ve tor normal a la super ie multipli ado por el elemento de area. Vamos a proponer que la fun ion F se es riba en
termino de las fun iones es alares u y v; las uales estan de nidas en
y son de lase
C 2(
):

v v v
;u ;u ) :
x y z
Es laro enton es que bajo esta de ni ion r F = ur2v + ru  v: Enton es sustituyendo
F en (C.4) tendremos el siguiente resultado:
F = (u

Z Z Z

Z Z

v
v
v
dx + u dy + u dz :
x
y
z

Ahora de namos la fun ion ve torial H de la siguiente forma:


(ur2 v + ru  rv)dx =

(C.5)

u u u
:
;v ;v
x y z
Apli ando el Teorema de Gauss a la fun ion G, se obtiene un resultado similar a (C.5),
H= v

Z Z Z

Z Z

u
u
u
dx + v dy + v dz
(C.6)
x
y
z
Restando (C.5) de (C.6) obtenemos la rela ion ono ida omo la segunda identidad
de Green:

(vr2 u + ru  rv)dx =

Z Z Z

Z Z

v
u
da ;
v
n
n


v y u son las derivadas par iales de v y u respe to al ve tor normal de la


donde n
n
super ie 
:
(ur2 v

vr2 u)dx =

En el aso bidimensional, utilizamos el teorema de Green, de esta forma, dada dos


fun iones u y v de nidas en un dominio errado s uya frontera sea la urva C , se
obtiene un resultado similar a la segunda identidad de Green.
El le tor puede repetir los al ulos para el aso bidimensional y obtener el siguiente
resultado


APENDICE
C

130
Z Z

FUNCIONES DE GREEN
Z

u
u
d ;
v
n
n
S
C
donde ds es el elemento de area y d es la longitud de ar o sobre la urva.
Ahora dis utiremos sobre el tipo de fun iones que son interesantes utilizar en la segunda identidad de Green. Tomemos omo v(x) la siguiente fun ion:
(ur2 v vru)ds =

1
1
=
R(x; x0 ) k x x0 k
Se puede mostrar que v(x) umple on la e ua ion de Lapla e, r2 v(x) = 0 si x 6= x0 ,
esto lo puede omprobar el le tor omo un ejer i io.

v=

Ahora mostraremos omo podemos expresar la fun ion u(x) en terminos de la fun ion
v(x):

B (x o )

Fig. C.5

Consideremos el dominio
3 y un punto x0 2
: Sea B (x0 ) una bola de radio  on
entro en x0 tal omo se ve en la gura (C.5). Apliquemos la segunda identidad de
Green en el dominio
B (x0 ); abe a larar que en este aso tenemos dos fronteras
de
; la frontera exterior 
y la interior que es B (x0 ) :
Z Z Z

Z Z

1 2
1
r u)dx =
(ur2 ( )
R R

B (x0 )


Z Z
1 
 1
u da
u ( )
R 
 R
B (x0 )

 1
1 
u ( )
u da
 R
R 


 ( 1 ) evaluada en la frontera B (
Suponiendo jj peque~na, enton es 
 x0 ) toma el
R
siguiente valor:

 1
1
 1
( ) = ( ) = 2
 R
r R r= 
De esta manera, podemos evaluar la integral siguiente:

131
1
42
 1
uda = 2 < u >= 4 < u >
u ( )da = 2


B
B  R
donde < u > representa el valor promedio de u en la bola B (x0 ): Asi tambien, el
termino R1 es igual a 21 en la frontera de la bola, por lo tanto:
Z Z
Z Z
u
1
u
1 u
da =
da = 4h i



B R 
En el lmite, uando  ! 0; la expresion anterior se ha e nula y l!
m0 < u >= u(x0 ):
1
2
Re ordando que r ( R ) = 0 en
B (x0 ); enton es la segunda identidad de Green
queda es rita de la siguiente forma:
Z Z

Z Z

Z Z

4u(x0 ) =


1
u

R
(
x;
x0 )


Z Z Z

1 u
da
R(x; x0 ) 

r2 u dx :
R(x x )

(C.7)

Esta expresion nos da el valor de u(x) en el punto x0 de manera expl ita uando
tenemos una e ua ion diferen ial par ial de u donde este involu rado el lapla iano de
u: Esta situa ion la tenemos en la e ua ion de Lapla e (donde la segunda integral
desapare e) o la e ua ion de Poisson. En estos dos asos no apare e la fun ion u(x)
impl itamente en la segunda integral y podemos evaluarla en todo el dominio.
El le tor puede veri ar que si el punto x0 pertene e a la frontera de
; enton es
la expresion de la segunda identidad de Green solo se ve alterada por el ambio del
fa tor 4 a 2 en el primer termino de la expresion.
El aso bidimensional es ompletamente similar al aso en tres dimensiones y se
obtiene el siguiente resultado
2u(x0 ) =

ln

Z Z

1 u
R 

u


1

ln

R



d

1
ds :
R
S
Para este aso, se reemplazo la fun ion v por el ln(1=R); la ual es solu ion de la
e ua ion de Lapla e en el plano uando x 6= x0 :
(r2 u) ln

Consideremos en el aso tridimensional, que la fun ion u(x) umple on la e ua ion


de Lapla e en
; enton es
4u(x0 ) =

Z Z


1
u

R
(
x;
x0 )


1 u
da :
R(x; x0 ) 


APENDICE
C

132

FUNCIONES DE GREEN

De esta forma, tenemos la solu ion de u en ualquier punto de


si ono emos el valor
de u y de u
 en la frontera de
: En la gran mayora de los asos, solo disponemos
u ( ondi iones
del valor de u en la frontera ( ondi iones tipo Diri hlet) o el valor de n
tipo Neumann). >Como podemos apli ar enton es esta formula de Green? La respuesta
esta en utlizar una fun ion algo mas general que 1=R(x; x0 ) en nuestra expresion. Asi
podemos lograr que el valor de esta fun ion, o bien el valor de la derivada normal
u en
sobre la frontera de
se anule. De esta forma solo ne esitaremos ono er u o n
la frontera de
:
Para esto tomemos la expresion de la segunda identidad de Green apli ada a las
fun iones u(x) y w(x): Un punto importante es que pedimos que la fun ion w(x)
umpla on la e ua ion de Lapla e en el dominio
: Asi tenemos:
Z Z Z

Z Z

u
w
w )da
(C.8)
n

n

En esta ultima e ua ion tenemos que r2 w = 0 en todo


: Sumemos esta expresion
(C.8) on la identidad de Green obtenida en (C.7). De esta manera, la identidad de
Green queda transformada en la siguiente e ua ion:
u(x0 ) =

(ur2 w

(u



Z Z

wr2 u)dx =

1

u
1
w
u
4R(x; x0 )
n
n 4R(x; x0 )




Z Z
1
r2 u 4R(x; x ) + w dx :
0



da

Nombremos a 4R(1x;x0 ) + w omo la fun ion de Green, la ual la denotamos omo


G(x; x0 ): La razon de a~nadir la fun ion w en G es para lograr eliminar uno de los
terminos en la integral de super ie, de esta forma solo ne esitamos saber el valor de
u en la frontera. Ahora debemos sele ionar a la
u; o bien el valor de su derivada n
fun ion w que umpla on las siguientes ondi iones
1.

r2 w = 0 en
: La fun ion puede tener singularidades fuera de
:

2. 4R(1x;x0 ) + w = 0 en 
: O bien



1
3. n
4R(x;x0 ) + w = 0 en 
:

Asi tendremos las dos expresiones bien ono idas de la fun ion de Green para determinar la solu ion de u en el dominio
on ondi iones de frontera tipo Neumann:

u(x0 )

Z Z

y para el aso de Diri hlet:

G(x; x0 );

u
da
n

Z Z Z

G(x; x0 )r2 u dx

133
Z Z

u(x0 ) =


u G(x; x0 )da



Z Z Z

G(x; x0 )r2 u dx :

En el aso bidimensional podemos pro eder de manera similar al aso en tres dimensiones, el resultado que se obtiene es el siguiente. Para ondi iones de Neumann
Z Z

u
u(x) = G(x; x0 ) d
n
C

G(x; x0 )r2 u dS

y on ondi ines de Diri hlet:

u(x) =


G(x; x0 )d
n
C
u

Z Z

G(x; x0 )r2 u dS :

En ambos asos, la fun ion de Green esta de nida de la siguiente forma:

G(x; x0 ) =

1
1
+w
ln
2
R(x; x0 )

>Como podemos enton es determinar la fun ion w que se ade ue a nuestro problema?
En el aso que tengamos ondi iones de Diri hlet, la fun ion w debe tener el mismo
valor que 4R(1x;x0) en la frontera. Para lograr este he ho, podemos aprove har el
metodo de imagenes que se vio en la se ion anterior.
Tomemos un ejemplo en tres dimensiones. Sea
la esfera de radio 1 y queremos
resolver el problema siguiente

r2 u

= 0
en
;
u = f (x)
en 
donde

x 2 
:

Lo primero es determinar la fun ion de Green que se ade ue mejor a nuestro problema.
Proponemos a la fun ion w omo la imagen de la fuente olo ada en x0 2
: Es alro
que el punto imagen debe estar fuera del dominio
para que w umpla on la e ua ion
de Lapla e en di ha region. Usando la simetra radial del problema, el punto imagen
debe estar sobre la lnea re ta que une al origen on la fuente en x0 tal omo se ve en
la gura C.6. Si la fuente x0 esta a una distan ia ; enton es el punto imagen debe
estar a una distan ia 1= respe to al origen. El le tor puede omprobar que on esta
on gura ion, la fun ion de Green de nida omo:

134


APENDICE
C

FUNCIONES DE GREEN

1/

xo

xo

Fig. C.6

G(x; x0 ) =

1
4jx x0 j

1
;
4jx x00 j

se anula en la frontera de la esfera. En este aso la fun ion w orresponde a la a ion


de la arga imagen 4jx 1 x00 j :
Esta fun ion umple on la e ua ion de Lapla e en
puesto que x00 esta fuera de
:
Otro ejemplo es uando
orresponde a un ilindro de radio 1: La simetra del
problema nos permite redu irlo a un aso bidimensional. Usamos la fun ion de Green
de nida al nal de la se ion dedi ada al metodo de imagenes para el aso de un
dominio ir ular de radio 1. La fun ion es enton es

1
G(x; x0 ) = ln
2

jx x0 j

1
1
ln
2
1x x00 j

siendo x00 el punto imagen tal omo se ve en la gura C.7. En este aso, la fun ion w
orresponde al punto imagen olo ado en el punto x00 :

135

xo

1/

xo

Fig. C.7

De esta forma vemos que el metodo de imagenes es una forma pra ti a de en ontrar
la fun ion de Green que se ade ue al problema de la e ua ion de Lapla e o Poisson
que se este bus ando. Una mayor expli a ion sobre el uso de la fun ion de Green y
su apli a ion a otras e ua iones omo al de Helmholtz la podemos en ontrar en las
referen ias (Tyn Myint-u) y (Tijonov y Samarsky).
Un ultimo omentario sobre la fun ion de Green apli ada a otro tipo de e ua iones
distintas a la de Lapla e o Poisson. Veamos el aso de la e ua ion de Helmholtz, el
ual se es ribe de esta forma:

r2 u + k 2 u = h

en
:

136


APENDICE
C

FUNCIONES DE GREEN

Notas
Captulo I. El ejemplo de ujo de o hes y la orrespondiente dis usion estan tomadas
de Linear and Nonlinear Waves de G. B. Whitham (John Wiley). La exposi ion de
ara tersti as sigue de er a los libros de Partial Di erential Equations de Copson
(Cambridge Univ. Press) y Partial Di erential Equations de Weinberger (Ginn Blaisdell). Una referen ia util es el libro Partial Di erential Equations de Petrovski. Las
pruebas de uni idad estan tomadas del Vol. II del libro Methods of Mathemati al
Physi s de Courant -Hilbert (Inters ien e).
Captulo II. La presenta ion sigue muy de er a las notas Mathemati al Methods in
Ele tromagmetism de Friedri hs (New York University), aunque los desarrollos se dan
en este texo on mayor detalle. La dis usion del problema de olas en agua es muy
er ano a la del libro Water Waves de Stoker (Inters ien e). Tambien la exposi ion
sobre las e ua iones de Maxwell, sigue de er a las notas de Friedri hs. Mas referen ias
sobre sistemas hiperboli os se en uentran en el Vol. II del libro de Courant-Hilbert.
Para la teora mas moderna, las notas de J. Ize y las referen ias que ah se men ionan. Para muy variadas apli a iones de sistemas hiperboli os el libro Sho k Waves de
Courant-Friedri hs (Inters ien e) y Linear and Nonlinear Waves de Whitham.
Captulo III. Es un aptulo muy orto. La presenta ion es es en ialmente la de Weinberger. Para una dis usion elemental pero detallada del problema de Sturm-Liouville y
sus apli a iones a E ua iones Diferen iales Par iales puede onsultarse el libro Fourier
Series and Boundary Value Problems de R. V. Chur hill (M . Graw Hill). En la parte
de separa ion de variables, los libros de Tikhonov y Samarski traen una dis usion mas
avanzada y resuelven problemas interesantes. Son re omendables para una segunda
le tura. Para una introdu ion a los metodos de Teora del Poten ial en E ua iones
Elpti as, que nosotros omitimos, puede onsultarse el libro de Copson. Finalmente
una introdu ion a la teora mas moderna de E ua iones Elpti as puede en ontrarse
en las notas de J. Ize. Para una dis usion detallada y muy bien es rita del problema
de radia ion, referimos al libro Water Waves de Stoker.
Captulo IV. La parte referente a la e ua ion de segundo orden sigue el Weinberger y
137

138

NOTAS

la de sistemas las notas de Friedri hs. Solo que los asos se ha en on mayor detalle.
Para Transformadas de Lapla e y sus apli a iones referimos al tratado The Lapla e
Transform de Van der Pol y Bremmer. Tambien al Vol. II de Courant-Hilbert en la
se ion: Trans ient problems and operational al ulus. Una referen ia elemental es el
libro Operational Mathemati s de R. V. Cur hill (M . Graw Hill). Mu has apli a iones a propaga ion de ondas de la transformada de Lapla e estan en Mathemati al
Methods of Physi s de H. B. Je reys (Cambridge Univ. Press).
Captulo V. En la obten ion de la formula de Poisson para el problema no homogeneo
se sigue de er a el Courant-Hilbert Vol. II. Un tratamiento extensivo de este tema
aunque muy avanzado esta en Sound Pulses de Friedlander (Cambridge Univ. Press).
La dis usion del problema on valores ini iales sigue el Weinberger y Courant- Hilbert.
Dis usiones interesantes sobre la e ua ion de onda on el metodo de poten iales de
Rietz lo tiene Copson. Metodos alternativos omo promedios esferi os y transformada
de Radon estan dis utidos brevemente en Courant-Hilbert Vol. II. Ah se dan mu has
referen ias sobre este tema.
Finalmente una referen ia muy util aunque mas avanzada es el libro Partial Diferential Equations de F. John (Springer Verlag), tiene gran parte del material tratado en
estas notas y se re omienda omo una segunda le tura.
Captulo VI. En este aptulo se ilustraron algunos me anismos de apa lmite, onve ion e inestabilidad de frente de difusion. La lista de problemas es mas bien representativa de la forma de ata ar problemas de propaga ion de frentes difusivos que
es un ampo de interes muy a tual.

Bibliograf
a

139

140

BIBLIOGRAFIA

Bibliograf
a
[1 Chur hill, R.V. and Brown, J.W, Fourier Series and Boundary Value Problems.
3 ed. New York, M Graw Hill, 1978.
[2 Copson, E.T, Partial Di erential Equations. Cambridge, University, 1975.
[3 Courant, R. and Hilbert, D., Methods of Mathemati al Physi s. New York, Inters ien e Publishers, 1962.
[4 Courant, R. and Friedri hs K.O., Sho k Waves. New York, 1962.
[5 Feynman, R.P., Leighton, R. B and Sands, M. L. Feynman le tures on Physi s.
V.II: Mainly Ele tromagnetism and Matter. Reading, Mass., Addison-Wesley,
1964.
[6 Friedlander, F. G., Sound Pulses. Cambridge, University, 1971.
[7 Friedri hs, K. O., Mathemati al Methods in Ele tromagnetism. Class Notes, New
York University.
[8 Flores Gallegos, Gilberto, Modelos de Condu ion de Impulsos Ele tri os en
Nervios. Revista de la Real A ademia de Cien ias de Madrid. Vol. 87, 1994,
pags. 223-262.
[9 Ize, J. Las e ua iones en derivadas par iales y sus apli a iones. Teora de existen ia para e ua iones en derivadas par iales. Mexi o. IIMAS, 1978 (Comuni a iones
Te ni as, Serie Verde, No. 10).
[10 Jefreys, H.B. Mathemati al Methods of Physi s. Cambridge, University, 1946.
[11 John, F., Partial Di erential Equations. New York, Springer Verlag, 1971.
[12 Maxwell, J. C. Treatise on Ele tri ity and Magnetism. New York, Dover, 1954.
[13 Petrovski, I. G. Partial Di erential Equations. Philadelphia, W.B. Saunders,
1967.
141

142

BIBLIOGRAFIA

[14 Tikhonov, A. N. and Samarski, A. A. Partial Di erential Equations of Mathemati al Physi s. San Fran is o, Holden-Day, 1964.
[15 Tyn Myint-U. Partial Di erential Equation of Mathemati al Physi s. Se ond
Edition. North Holland 1980.
[16 Van der Pol, B. and Bremmer, H. Operational Cal ulus based on the two-sided
Lapla e Integral. 2 ed. Cambridge, University, 1955.
[17 Weinberger, H. F. A rst ourse in Partial Di erential Equations. Waltham,
Blaisdell, 1965.
[18 Whitham, G. B., Linear and Nonlinear Waves. New York, J. Wiley, 1974.

Vous aimerez peut-être aussi