Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introduccion A Las Ecuaciones en Derivadas Parciales PDF
Introduccion A Las Ecuaciones en Derivadas Parciales PDF
Introducci
on a las ecuaciones en
derivadas parciales
En la u
ltima parte del temario de la asignatura Metodos Matem
aticos de la Fsica V vamos
a realizar un estudio introductorio y bastante elemental de las ecuaciones diferenciales en
derivadas parciales (en lo sucesivo abreviadas como edp), una vez que ya se han analizado
con suciente amplitud en los captulos precedentes las ecuaciones diferenciales ordinarias.
8.1
Comentarios generales
Al igual que se hizo anteriormente para las ecuaciones diferenciales ordinarias, el enfoque
que se ofrecera en esta presentacion de las edp ser
a eminentemente pr
actico (no se tarta de
efectuar aqu un an
alisis del mas alto rigor matematico), insistiendo sobre todo en mostrar
los metodos mas usuales de los que se dispone para la resolucion de algunas de las edp m
as
relevantes para un fsico. Se obviar
an, por tanto, la mayor parte de los detalles tecnicos mas
delicados que, siendo muy importantes, forman un campo de estudio amplsimo y sumamente
interesante. Estos vastos territorios necesariamente deben quedar fuera del alcance de un
curso como este, ya que su estudio requerira primero un tiempo del que no disponemos y
segundo el conocimiento de unas tecnicas matematicas bastante sosticadas, que no forman
parte de la formaci
on b
asica de un fsico (por ejemplo determinados temas avanzados de
An
alisis Funcional, como son la teora de los espacios de Hilbert y de Sobolev, o la teora de
la medida).
Por falta de tiempo, tampoco abordaremos en este curso el estudio de los metodos
numericos de resolucion de edp, tecnicas sumamente u
tiles en las aplicaciones concretas,
remitiendo al estudiante interesado a consultar textos m
as especializados (por ejemplo el libro ya cl
asico de Press, Flannery, Teukolsky y Vetterling que aparece citado en la bibliografa
recomendada).
Antes de comenzar con el desarrollo concreto de los captulos en los que se ha organizado
el contenido del curso, parece pertinente hacer unos comentarios generales que conviene tener
presentes a lo largo del desarrollo de los temas que seguiran:
a) La teora de las edp no se restringe, ni mucho menos, al caso de dos variables independientes (x, y) o (x, t), como pudiera deducirse tras el estudio de algunos libros de edp.
1
Captulo 8. Introducci
on a las ecuaciones en derivadas parciales
Es cierto que haremos un enfasis especial en las ecuaciones con dos variables independientes (entre otras cosas porque su estudio es mas sencillo y tambien por su interes
pr
actico), pero no seran las u
nicas que estudiemos, de manera que quien siga este curso
debe ser consciente de que los mas modernos descubrimientos sobre las edp, sean estas
lineales o no lineales, han permitido el an
alisis riguroso de edp con cualquier n
umero
de variables independientes. En concreto, y como se ver
a mas adelante en el caso de las
ecuaciones de segundo orden, es usual efectuar una clasicacion de las edp en diveros
tipos estandar; esto se hace de manera bastante sencilla en el caso de dos dimensiones,
pero crea la falsa impresion en el estudiante de que existe alg
un tipo de esquema de
clasicacion general v
alido en dimensi
on arbitraria, lo cual no es cierto.
b) Aunque en esta asignatura se insistir
a sobre todo en el estudio de edp lineales, muchas
edp interesantes y de gran importancia pr
actica resultan ser no lineales. Hemos de decir
que actualmente se conocen muchos resultados sobre edp lineales y muy pocos sobre
edp no lineales (esto explica sin duda el enfasis que se pone habitualmente en el estudio
de las edp lineales).
c) Muchas de las edp que se estudiar
an en el curso, en especial las edp no lineales de
primer orden, en general no poseen soluciones sucientemente suaves (es decir, soluciones que sean indenidamente derivables). Resulta por tanto conveniente contemplar
la idea de que pueden existir otro tipo de soluciones menos regulares, que se suelen
denominar soluciones generalizadas o soluciones debiles de la edp. Este asunto resulta
ser extremadamente delicado, de manera que nosotros solo lo comentaremos de manera
tangencial y de forma espor
adica en el discurrir de la materia, centr
andonos sobre todo
en la determinaci
on de soluciones que sean sucientemente regulares, llamadas habitualmente soluciones cl
asicas de la edp, que ser
an denidas con mayor precisi
on en la
seccion siguiente.
d) Finalmente, es conveniente saber que la manera de abordar la b
usqueda de soluciones
de edp es radicalmente diferente de lo que el estudiante conoce para las ecuaciones
diferenciales ordinarias. Como ya se indic
o, aqu no vamos a proceder a un an
alisis
de la teora abstracta general de las edp, si no a mostrar una primera introducci
on al
tema para estudiantes cuyo interes primordial es el calculo explcito de soluciones de
edp particulares con alguna relevancia en problemas fsicos.
En los comentarios anteriores se han ido incluyendo algunos conceptos que no han sido
a
un denidos, pero que lo ser
an de forma inmediata o a lo largo del curso.
8.2
Conceptos b
asicos y notaci
on
Tras los comentarios introductorios de la seccion precedente, conviene indicar ahora (aunque
es probable que el estudiante ya sea consciente de ello) que nuestro interes por las edp se debe
a que este tipo de ecuaciones diferenciales aparecen en Fsica cuando se analizan modelos que
involucran la presencia de un n
umero de variables independientes superior a uno, de manera
que entran en juego las derivadas parciales de una o varias funciones dependientes respecto
de las diversas variables independientes. Por ser precisos, hay que decir que las edp tambien
8.2. Conceptos b
asicos y notacion
surgen al estudiar problemas puramente geometricos, como el estudiante probablemente recuerde del curso de geometra diferencial, y al desarrollar el c
alculo variacional , una rama
de las matematicas con gran relevancia en Fsica, que se estudia en la asignatura de Fsica
Matem
atica.
Para evitar confusiones posteriores, conviene que seamos bastante sistematicos y coherentes en el uso de la notacion que vamos a usar en esta parte de la asignatura. As pues,
en lo sucesivo usualmente denotaremos a las variables independientes como {x1 , x2 , . . . , xn }
y a la funci
on inc
ognita que se desea hallar como u(x1 , x2 , . . . , xn ). Obviamente no podemos
ser totalmente inexibles en este convenio, de manera que, sea por comodidad, sea por el
signicados fsico inherente a las variables del problema que estemos analizando, a veces
nos separaremos de esta convencion y usaremos otras variables independientes, por ejemplo
las coordenadas cartesianas espaciales {x, y, z}, o la variable temporal t, o las coordenadas
esfericas {r, , }, etc.
Recordando brevemente algunas ideas b
asicas conocidas de cursos precedentes, sabemos
que dada una funci
on de varias variables independientes u(x1 , . . . , xn ) que sea sucientemente
regular, se puede denir la derivada parcial de u como sigue.
Denici
on 1: la derivada parcial de u respecto de la variable xk , k = 1, . . . , n, es por
denici
on el siguiente lmite
u(x1 , . . . , xk + h, . . . , xn ) u(x1 , . . . , xk , . . . , xn )
u(x1 , . . . , xn )
:= lim
.
h0
xk
h
(8.2.1)
La notaci
on u/x fue introducida por primera vez por Legendre en 1786 (el smbolo
corresponde a la versi
on cursiva de nuestra letra d en el alfabeto cirlico). Una notaci
on
tambien muy usada para las derivadas parciales es
u
:= uxj ,
xj
2u
:= uxj xk ,
xj xk
3u
:= uxj xk x ,
xj xk x
etc.
(8.2.2)
[ ] u(x1 , . . . , xn )
:= x11 xnn u(x1 , . . . , xn ).
x1 1 xnn
(8.2.3)
A continuaci
on se ofrecen algunas deniciones que permitir
an comenzar a jar un poco
mas algunas ideas que han ido apareciendo anteriormente de manera un tanto intuitiva e
imprecisa.
Denici
on 3: diremos que un conjunto U Rn es una regi
on si esta formado por la uni
on
de un conjunto abierto y conexo de Rn junto con una parte de su frontera (la frontera de
Captulo 8. Introducci
on a las ecuaciones en derivadas parciales
(x1 , . . . , xn ) U,
(8.2.4)
(x1 , . . . , xn ) U,
(8.2.5)
donde u := (u1 , . . . , us ) son las s funciones desconocidas de las variables {x1 , . . . , xn } que se
desean determinar.
La denici
on que acabamos de dar es muy general y abarca desde los casos mas sencillos
que podamos imaginar hasta otros extremadamente complicados y sin utilidad aparente.
Ejemplo 1: si u(x, y) es una funci
on de dos variables, ejemplos de edp son
uyyy = 0,
ux = u y ,
(8.2.6)
(8.2.7)
[
]=0
donde A y f son ciertas funciones conocidas que dependen exclusivamente de las variables
independientes, pero no de u ni de sus derivadas.
8.2. Conceptos b
asicos y notacion
Denici
on 7: dada una edp lineal, diremos que es homogenea si en todos los terminos de F
aparece u o alguna de sus derivadas, es decir, debe ocurrir que en (8.2.7) f = 0.
Denici
on 8: diremos que la ecuacion (8.2.4) es cuasilineal si la funci
on F es lineal respecto
de las derivadas parciales de mayor orden de u que aparecen en la ecuacion. La forma m
as
general de una ecuaci
on cuasilineal de orden k es
B (D u) D u(x1 , . . . , xn ) + G(D u) = 0,
] < [
[
] = k,
(8.2.8)
[
]=k
donde la notaci
on indica que las funciones B y G pueden depender tanto de las n variables
independientes, como de u y de las derivadas parciales de u hasta el orden k 1.
Denici
on 9: diremos que la ecuacion (8.2.4) es completamente no lineal si posee una
dependencia no lineal en las derivadas de mayor orden de u que aparecen en la ecuacion.
Una vez establecido claramente el concepto de edp, debemos aclarar que vamos a considerar como soluciones de tales ecuaciones. Parece obvio: diremos que somos capaces de resolver
la edp (8.2.4) si podemos encontrar todas las funciones u(x1 , . . . , xn ) que cumplen (8.2.4)
(normalmente escogidas entre aquellas funciones que satisfacen ademas ciertas condiciones
auxiliares en alguna parte de la frontera U de U ). Precisemos un poco mas dando una
denici
on formal.
on
Denici
on 10: una funci
on u de las variables {x1 , . . . , xn } diremos que es una soluci
cl
asica de la edp (8.2.4) en la regi
on U si se cumplen las siguientes condiciones:
En U la funci
on u(x1 , . . . , xn ) admite todas las derivadas que aparecen en F .
La funci
on u(x1 , . . . , xn ) y todas estas derivadas parciales son continuas en el interior
de la regi
on U .
Al sustituir en la edp u y sus derivadas, la ecuaci
on (8.2.4) se convierte en una identidad
respecto de las variables independientes del problema.
En ocasiones se exige tambien que la soluci
on se continua hasta la frontera U .
Ejemplo 2: he aqu otros casos sencillos de edp con dos variables independientes:
a) 3y 2 ux + uy = 2u + x3 y es una edp lineal, no homogenea y de primer orden.
b) u uxxx + cos(x + ey ) uyy = 0 es una edp cuasilineal de tercer orden.
acil ver que admite
c) uxx + uyy = 0 es una edp lineal, homogenea y de segundo orden. Es f
como solucion u(x, y) = x y; la funci
on u(x, y) = x2 y 2 tambien es una solucion de
la misma ecuacion. Este es un indicio claro de que una misma edp puede poseer una
gran variedad de soluciones completamente diferentes unas de otras.
Para completar este apartado dedicado a denir ciertos conceptos b
asicos y a establecer la
notaci
on que vamos a necesitar posteriormente, conviene comentar, al menos brevemente, el
uso de operadores diferenciales en la teora de las edp. Al estudiar las ecuaciones diferenciales
Captulo 8. Introducci
on a las ecuaciones en derivadas parciales
dn
d
+ + an1 (x)
+ an (x)
n
dx
dx
(8.2.9)
L2 (u) =
u
(x, 0),
t
L3 (u) = u(1, t) +
u
(0, t),
x
etc,
(8.2.10)
son lineales. En lo sucesivo llamaremos problema lineal al formado por una edp lineal junto con unas condiciones auxiliares (iniciales y de contorno) tambien lineales. Este tipo de
problemas, que seran los que m
as detenidamente estudiaremos en los captulos siguientes,
normalmente llevan asociados ciertos principios de superposici
on, que son una consecuencia
directa de la linealidad del problema.
8.3
Aparici
on de edp en problemas puramente matem
aticos
u
= 2by
y
a=
1 u
,
2x x
b=
1 u
.
2y y
u u u
u
+ 2xy 2
+
,
x
y
x y
8.3. Aparici
on de edp en problemas puramente matem
aticos
u
= 3by 2
y
u
u
+y
= 3u,
x
y
u
u
2u
+y
xy
,
x
y
yx
r
s
u
y
=
+
=
3 4 + 3
+
2 = 0.
x
r x
s x
r
x
x x
s
x
1 u
1
r
s
+
= 0.
=
+
=
y
r y
s y
r x3 y
s x
Para que el sistema tenga solucion no trivial, los coecientes de las funciones
han de ser tales que
y
3 u + 1 u
2
x4
x3 x
x
u
u
+y
= 3u.
=0 x
x
y
1
1
u
x3 y
x
Captulo 8. Introducci
on a las ecuaciones en derivadas parciales
Resulta una edp lineal de primer orden. Algunos comentarios a este ejemplo:
1.- La edp tiene soluciones que dependen de una funci
on arbitaria, y por tanto la riqueza
de soluciones de una edp es mucho mayor que en las ecuaciones diferenciales ordinarias.
2.- Esta edp coincide con la obtenida al eliminar constantes de la relaci
on u = ax3 +by 3 ,
3
3
que se puede escribir u/x a b(y/x) = 0, es decir, se trata de un caso particular en
el que (r, s) = r a bs3 .
3.- Si tomamos (r, s) = r a bs cs2 dv 3 siendo a, b, c y d constantes arbitrarias,
la relaci
on escrita explcitamente sera u = ax3 + bx2 y + cxy 2 + dy 3 , y a
un as la edp
seguir
a siendo x u/x+y u/y = 3u. En este caso tenemos 2 variables independientes
y 4 constantes, y al eliminarlas obtenemos simplemente una edp de primer orden. Las
soluciones de una edp de primer orden que contienen el mismo n
umero de constantes
arbitrarias que de variables independientes son muy importantes y reciben un nombre
especial: soluciones completas.
8.4
Conviene que seamos conscientes de que de que no existe en la actualidad ninguna teora
que abarque la resoluci
on de todas las edp. Una teora como esa es muy poco probable que
pueda existir, dada la gran variedad de fen
omenos fsicos, geometricos y probabilsticos que
se describen mediante las edp. En lugar de intentar descubrir una teora tan extremadamente
general, las investigaciones se encaminan mas bien hacia la comprensi
on de diversas edp muy
concretas, que son de gran importancia tanto te
orica como aplicada, con la esperanza de
avanzar as en el descubrimiento de nuevas e interesantes soluciones.
A continuaci
on se ofrece una amplia lista, que dista mucho de ser exhaustiva, de diversas
edp que presentan gran interes incluso para los investigadores actuales de primera lnea, con el
n de que nos familiaricemos con los nombres y las formas tan diversas que adoptan algunas
de las edp mas famosas (para mas informaci
on al respecto puede consultarse el libro de
Zwillinger mencionado en la bibliografa). En estas ecuaciones aparecen diversas constantes,
e incluso funciones de las coordenadas (r ), que no se especican con todo detalle y que
tienen que ver con las propiedades fsicas del problema que se estudia en cada caso. En ellas
se utilizan con frecuencia los operadores gradiente, divergencia y laplaciano (en general en n
dimensiones), que en coordenadas cartesianas tienen la forma bien conocida:
u u
u1 u2
u
un
2u 2u
2u
u =
, u =
,
,...,
+
+. . .+
, 2 u =
+
+
+
.
x1 x2
xn
x1 x2
xn
x2n
x21 x22
Como ya se ha indicado anteriormente, en cada ecuaci
on se sobreentiende cuales son las
variables independientes, con frecuencia t y r (este u
ltimo vector puede ser de dimensi
on
arbitraria).
8.4.1
1. Ecuaci
on de ondas: 2 u =
1
c2
utt .
2. Ecuaci
on del calor, de la difusi
on o de Fick (versi
on simplicada): 2 u =
3. Ecuaci
on de la difusi
on o del calor (versi
on general): ((r, t) u) = ut .
ut .
4. Ecuaci
on de Laplace: 2 u = 0.
5. Ecuaci
on de Poisson: 2 u = 4
(r ).
6. Ecuaci
on de Helmholtz: 2 u + u = 0.
2 u + V (r )u = i ut .
7. Ecuaci
on de Schr
odinger dependiente del tiempo: 2m
2
8. Ecuaci
on de KleinGordon: 2 u
1
c2
utt = 2 u.
9. Ecuaci
on del telegrafo: uxx = a utt + b ut + c u.
10. Ecuaci
on biharm
onica: 2 (2 u) := 4 u = 0.
11. Ecuaci
on biharm
onica de ondas: 4 u = p12 utt .
12. Ecuaci
on de FokkerPlanck (en una dimensi
on espacial): ut = (x u)x + d uxx .
13. Ecuaci
on de Boussinesq: utt 2 uxx = 2 uxxtt .
14. Ecuaci
on de EulerDarboux: (x y) uxy + ux uy = 0.
15. Ecuaci
on de EulerPoissonDarboux: (x + y) uxy + N ux + N uy = 0.
16. Ecuaci
on de Onsager: (ex (ex uxx )xx )xx + b2 uyy = F (x, y).
17. Ecuaci
on de los arm
onicos esfericos (en tres dimensiones):
1
sen
sen
1
2
+
+ ( + 1) Ym = 0.
sen2 2
18. Ecuaci
on de los arm
onicos esfericos (en cuatro dimensiones):
1
uxx + 2(cot x) ux +
sen2 x
1
uyy + (cot y) uy +
uzz
sen2 y
+ (n2 1)u = 0.
19. Ecuaci
on de Tricomi: uyy = y uxx .
20. Ecuaci
on de transporte lineal o ecuaci
on de continuidad: ut + (b u) = 0.
21. Ecuaci
on de Liouville (lineal): ut (b u) = 0.
22. Ecuaci
on de Airy: ut + uxxx = 0.
23. Ecuaci
on de las vigas: ut + uxxxx = 0.
10
Captulo 8. Introducci
on a las ecuaciones en derivadas parciales
8.4.2
1. Ecuaci
on eikonal o de la optica geometrica: (ux )2 + (uy )2 + (uz )2 = n2 (r ).
2. Ecuaci
on de Burger: ut + u ux = uxx .
3. Ecuaci
on de Kortewegde Vries (KdV): ut + uxxx 6u ux = 0.
4. Ecuaci
on de KdV generalizada: ut uxxxxx + u ux = 0.
5. Ecuaci
on de KdV modicada (mKdV): ut + uxxx 6u2 ux = 0.
6. Ecuaci
on de KadomtsevPetviashvili: (ut + uxxx 6u ux )x uyy = 0.
7. Ecuaci
on de Thomas: uxy + ux + uy + ux uy = 0.
8. Ecuaci
on de Buckmaster: ut = (u4 )xx + (u3 )x .
9. Ecuaci
on de GinzburgLandau: ut = (1 + ia)uxx + (1 + ic)u (1 + id)|u|2 u.
10. Ecuaci
on de HamiltonJacobi: St + H(q, Sq1 , . . . , Sqn , t) = 0.
11. Ecuaci
on de Liouville (no lineal): 2 u + eu = 0.
12. Ecuaci
on de Liouville (otra versi
on): uxt = eu .
13. Ecuaci
on de MongeAmp`ere: (uxy )2 uy ux = f (x, y, ux , uy ).
14. Ecuaci
on de MongeAmp`ere (otra version):
det .
..
..
.
.
.
.
.
.
.
uxn x1 uxn x2 uxn xn
= f (r, u, u).
15. Ecuaci
on -4: utt uxx u + u3 = 0.
16. Ecuaci
on de Plateau: (1 + u2x )uxx 2ux uy uxy + (1 + u2y )uyy = 0.
17. Ecuaci
on de los medios porosos: ut = (um u).
18. Ecuaci
on de ondas de Rayleigh: utt uxx = (ut u3t ).
19. Ecuaci
on de Schr
odinger no lineal: iut + uxx 2|u|2 u = 0.
20. Ecuaci
on de Schr
odinger no lineal en las derivadas: iut + uxx i(|u|2 u)x = 0.
21. Ecuaci
on de SineGordon: uxx uyy sen u = 0.
22. Ecuaci
on escalar de reacciondifusi
on: ut 2 u = f (u).
23. Ley de conservacion (escalar): ut + F (u) = 0.
24. Ecuaci
on de las supercies mnimas: (u)/ 1 + (u)2 = 0.
8.4.3
11
uy + vx = 0.
= 4 J,
H
c
+ 1 B = 0.
E
c t
8.4.4
2 u
.
t2
v = 0.
1
P + 2 u.
12
Captulo 8. Introducci
on a las ecuaciones en derivadas parciales
2v
u
2u
=
,
x2
x
y
x y
u
v
= .
y
x
2v
=
2
y
y
u
x
=
2u
.
y x
Si suponemos que u y v son de clase C 2 (U ), donde U es una cierta region del plano real,
estas derivadas parciales estan bien denidas en U . Ademas podemos aplicar el teorema
de Schwarz a las derivadas parciales con respecto a las dos variables. Recordemos que este
resultado nos dice que si u C 2 (U ), tenemos que
2u
2u
=
.
x y
y x
De todo lo anterior resulta entonces que v satisface tambien la ecuacion de Laplace y es, por
lo tanto, una funci
on arm
onica. Al vericar las condiciones de CauchyRiemann, u y v son
funciones arm
onicas conjugadas. Ademas la funci
on u(x, y) + iv(x, y) es una funci
on analtica
de variable compleja en U , consider
andolo como una regi
on del plano complejo C.
8.5
Comentarios nales
En los temas que siguen nuestro objetivo esencial sera encontrar maneras de hallar soluciones
de diversos tipos de edp. Como puede apreciarse por la gran variedad de ejemplos mostrados en la seccion anterior, esto no va a ser una tarea f
acil. Nosotros nos vamos a centrar
esencialmente en el estudio de edp de primer y segundo ordenes.
A veces estaremos interesados en hallar la solucion m
as general posible de una edp, pero
mas frecuentemente habr
a que hallar s
olo la soluci
on que verique unas ciertas condiciones
auxiliares (llamadas normalmente condiciones iniciales, si afectan a una variable temporal, y
condiciones de contorno, o en la frontera, cuando tienen que ver con los valores de la soluci
on
en U ). Un problema de este tipo puede tener una soluci
on, ninguna soluci
on o incluso
innitas soluciones (para las ecuaciones diferenciales ordinarias sucede algo parecido). Esto
nos lleva necesariamente a la consideracion del adecuado planteamiento de los problemas de
edp.
Con mucha frecuencia las edp surgen al confeccionar modelos de un determinado fen
omeno,
usando diferentes hip
otesis. Evidentemente nos interesan aquellos esquemas que describen
adecuadamente la realidad y permiten adem
as efectuar predicciones. Si nuestro modelo representa adecuadamente el fenomenos fsico que estamos estudiando, cabe esperar que posea una
solucion u
nica. A priori no es evidente si un problema de ecuaciones en derivadas parciales
esta bien planteado: aunque fsicamente parezca razonable que la solucion haya de ser u
nica,
puede ocurrir que no tenga soluci
on o que, de tener, no sea u
nica. Aunque estemos seguros
de que la soluci
on existe y es u
nica, esto no basta para armar que el problema est
a bien
13
14
Captulo 8. Introducci
on a las ecuaciones en derivadas parciales
y tambien en problemas de mecanica clasica, optica geometrica, mecanica estadstica, superconductividad, teora cu
antica de campos, fsica de altas energas, y en teora de la relatividad
especial y general. Despues se estudiaran las edp lineales de segundo orden, que son sin duda las que mas relevancia presentan en las aplicaciones fsicas, e incluyen las ecuaciones de
Laplace, del calor y de ondas. El estudio de las ecuaciones de primer y segundo orden se
realiza por separado porque las tecnicas de resolucion de unas y otras son muy diferentes.
8.6
Problemas
Se entregar
an fotocopias.
8.7
Bibliografa