Académique Documents
Professionnel Documents
Culture Documents
ua
iones en
Derivadas Par
iales
Dr. Antonmaria Minzoni
ii
A Angela, Soa 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
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CONTENIDO
viii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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 diere 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 innitas; 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 innitas.
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
Fig. 1.1
CAPITULO 1. ECUACIONES HIPERBOLICAS
d x
(; t)d:
dt x0
Z
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
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) = 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
(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
(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
1 < x < 1; t 0;
1 < x 0; t 0;
1 < x 0;
t 0:
Geometr
a de las
ara
ter
sti
as
= 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)
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)
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( );
(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:
(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
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 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. Reriendonos 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
(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)
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 indenidamente 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)
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)
(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
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 innitas 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
(1.35)
utt =
2 uxx ;
u(x; 0) = f (x);
ut (x; 0) = 0;
1 < x < 1; t 0;
(1.36)
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
(1.37)
v(x) = w(x) + d;
(1.38)
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
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)
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
(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
(1.45)
v(
) =
v(
) =
v() =
w(
); 0;
w(
); 0;
w( ); 0:
(1.46)
(1.47)
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
=
=
=
=
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.
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
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)
(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:
(1.51)
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 maniesta. 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)
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.
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
(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
(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
(1.62)
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)
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)
CAPITULO 1. ECUACIONES HIPERBOLICAS
26
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
x t donde hay
DE ONDA
1.5. UNICIDAD DE LAS SOLUCIONES PARA LA ECUACION
27
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 arma
ion.
Este resultado nos da la uni
idad para el problema de la
uerda innita 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) =
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
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 deni
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
(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
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
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):
L x);
w(x; t) = g(t
z (x; t) = 0:
(2.11)
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
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
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 =
(2.16)
g:
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)
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=
g
h
g
h
1
1
; U 1=
2
1
h
g
q
h
g
1
A
36
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
(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) =
(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
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.
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
y al es ribir en (2.23)
Q=
(x; t)dx
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 =
= 0 intensidad de orriente = 0 I =
0 J n dS;
40
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
41
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
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 );
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
E (x; 0) = 0;
x
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)
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
0 0
Z
Et3 dx B 2 ( ; t) + B 2 ( ; t) = 0 j (t)
2
2
2
2
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
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)
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)
B )(0; ) = 0j ( ):
45
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
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:
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
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
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.
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) =
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
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)
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
52
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
u0
u0
dl = 0
n
jru0 j2 dxdy = 0; u0 = 0 en
;
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) =
53
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)
S2
Z
S3
Z
S4
de donde
S2
v n ds +
S4
w n ds =
S3
v n ds +
S1
v n ds:
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
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)
que es una e
ua
ion elpti
a igual a la de la membrana que dis
utimos al prin
ipio de
esta se
ion.
55
S
(x)
E (x)
n
Fig. 3.2
3.2.
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
56
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
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 dene una fun
ion
ontinua
para r a.
57
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
58
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
59
y
u=0
y=b
u=0
2 u = 0
u=f
u=0
x=a
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
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
60
donde
An =
(3.26)
(3.27)
a
2
n
d
f ( ) sen
nb
a
a senh a 0
Z
f 00 g dx =
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 innito, ya que D es de dimension
innita. 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
2 u = 0
u=f1(x)
u=f2(y)
x
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 deni
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 denido para r < a siempre que
Z
2
jf ( )jd < 1:
Ademas la formula (3.31) dene 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.32)
63
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
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)
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
;
u max f;
x2
x 2
:
v = u + (x2 + y2 )
r2 v = 4
v max u + R2
x2
(3.36)
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).
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 )
66
Resolviendo la e
ua
ion tenemos
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 innita, a saber, el problema de difra
ion.
u(x; z ) =
(3.39)
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;
(3.41)
2
r2 v + k 2 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
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
(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
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)
Gn
e i(kr wt)
pr ;
r ! 1:
(3.50)
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)
70
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 innito 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
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
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
n=1
donde
n=1
(4.3)
fn sin (nx); 0 x ;
2
f ( ) sin (n )d:
fn =
0
De (4.3) se tiene el sistema innito 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)
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
(x,t)
u=0
u=0
w ()
C
f(x)
B
w
Fig. 27
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:
75
Estudiaremos ahora el problema para una
uerda innita. 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 innito 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 innitamente 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
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 < :
(4.12)
77
utt = uxx;
u(x; 0) = f (x);
ut (x; 0) = 0;
1 < x < 1; t 0;
1 < x < 1;
1 < x < 1:
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
U 1
v^
^i
p
0p
eikt= LC
ikt=
LC
0
e
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 innito 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
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
deni
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
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
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)
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
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
t + r (u) = 0;
(ut + u ru) ur (u) =
rp + Fext ;
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
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)
f~(x0 ; s) s(t jx x0 j) 0
e
dx ds:
x0 j
R3 4 jx
(5.13)
5.2.
La f
ormula de Poisson y su interpreta
i
on
xi
observador
x0
xi
x
xxi
Fig. 5.1
5.3. APLICACIONES DE LA FORMULA
DE POISSON
87
(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
88
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
(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
(x; t) =
1
4jxj
2
2
1
1
g(x0 ; y0 ; t
(5.23)
90
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 :
92
= 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.
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
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
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;
u^(k; t) = g^(k)
sin (k k) 2 t
:
(k k) 12
(5.27)
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)
Z
R3
g(x + )
sin (k k) 2 t ik o
1 e dk d:
jkjK (k k) 2
nZ
(5.30)
94
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) =
95
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)
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
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
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
x0 +h
x0
(x)dx
x0 +h
x0
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
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
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
d x
(; t)d = Q(x; t) Q(x0 ; t) + produ
ion del agente.
dt x0
Z
(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
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
6.3.
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 ) = eT :
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
T (x; t) =
T^t (k; t) = Dk2T^;
1
2
1
1
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)
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
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
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;
0;
T (x; 0) = 10;; xx <
> 0:
DE DIFUSION
CAPITULO 6. ECUACION
106
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 = etv 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;
T (x; t) =
pe
2 Dt
2
e u =4Dt du:
1
Para estudiar el
omportamiento de esta fun
ion
al
ulamos
2
et 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
T (x; t) =
Txdx
x2 =4Dt t:
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)
1
est v~(s; x)ds
2i C
Z
1
+i1 st
=
e v~(s; x)ds:
2i
i1
v(x; t) =
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
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
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
vxx(x(t); t) = 0:
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 dene
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)
112
APENDICE
A
TRANSFORMADA DE FOURIER
R3
f (x )g( )d:
(A.8)
(f ^ g)(k) =
R3
ikx
Z
R3
(A.9)
R3
R3
= 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
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
kG
2
Fig. A.1
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 innitas 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
(B.1)
se dene omo
f~(s) =
e st f (t)dt:
(B.2)
En (B.1) y (B.2) vemos que la integral que dene a f~(s) existe para Refsg > K y
omo en esa region, di
ha integral
onverge uniformemente, dene tambien una fun
ion analti
a de s para Refsg > K . La region de deni
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:
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
f (t )g()d;
t 0:
(B.7)
(B.8)
g()d
(B.9)
g()d = (1 g)(t)
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 innita 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.
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)
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.
Denimos 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
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. Denamos 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
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
innita, tal
omo se ve en la gura (C.1.a)
125
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
innito) en un punto y pedimos que la membrana no se deforme en una lnea re
ta en
el plano. Consideremos una membrana innita 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
x2 + y 2 1 :
La fun
ion f (x; y) tiende a innito en el origen y vale
ero fuera del origen, esta
fun
i'on representa un estiron innito 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. Denimos 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 =
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
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 denidas en
y son de
lase
C 2(
):
v v v
;u ;u ) :
x y z
Es
laro enton
es que bajo esta deni
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
(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
vr2 u)dx =
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
Z Z
1
u
R
(
x;
x0 )
1 u
da :
R(x; x0 )
APENDICE
C
132
FUNCIONES DE GREEN
Z Z
u
w
w )da
(C.8)
n
n
(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
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
G(x; x0 );
u
da
n
Z Z Z
133
Z Z
u(x0 ) =
u G(x; x0 )da
Z Z Z
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
u(x) =
G(x; x0 )d
n
C
u
Z Z
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
ongura
ion, la fun
ion de Green denida
omo:
134
APENDICE
C
FUNCIONES DE GREEN
1/
xo
xo
Fig. C.6
G(x; x0 ) =
1
4jx x0 j
1
;
4jx x00 j
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 Dierential Equations de Copson
(Cambridge Univ. Press) y Partial Dierential Equations de Weinberger (Ginn Blaisdell). Una referen
ia util es el libro Partial Dierential 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. Jereys (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 Dierential 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 Dierential 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 Dierential Equations. Philadelphia, W.B. Saunders,
1967.
141
142
BIBLIOGRAFIA
[14 Tikhonov, A. N. and Samarski, A. A. Partial Dierential Equations of Mathemati
al Physi
s. San Fran
is
o, Holden-Day, 1964.
[15 Tyn Myint-U. Partial Dierential 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 Dierential Equations. Waltham,
Blaisdell, 1965.
[18 Whitham, G. B., Linear and Nonlinear Waves. New York, J. Wiley, 1974.