Documentos de Académico
Documentos de Profesional
Documentos de Cultura
OLP H W
= δ [
W →
√ W
π
Versión revisada
Junio 2005.
2 Ecuaciones Diferenciales Parciales
A. Lichnerowicz
4 Ecuaciones Diferenciales Parciales
Estas son las notas de clase, corregidas y aumentadas, del último curso de métodos matemáticos
para fı́sicos, dictado en repetidas ocasiones a estudiantes de la Licenciatura en la Universidad de Los
Andes. Las mismas proveen de manera concisa una exposición contemporánea sobre las Ecuaciones
Diferenciales Parciales (EDP’s) donde, como requisito inicial, se asume un conocimiento elemental
de ecuaciones diferenciales ordinarias y funciones especiales.
Especı́ficamente, se trata el tema de las EDP’s lineales, introduciendo herramientas tales como
funciones de Green y expansiones ortogonales, entendidas desde el punto de vista de la teorı́a de
distribuciones y desarrolladas dentro del contexto del tipo de problemas para el cual son útiles.
Todos los ejemplos son tomados de la fı́sica. Sin embargo, se hace mas énfasis en la estructura
de la EDP y las propiedades de su solución que en los sistemas fı́sicos que pueden ser descritos
por el ejemplo particular considerado. Por lo tanto estas notas también serán de utilidad para
quı́micos e ingenieros. Por supuesto, un tratamiento exhaustivo del tema está más allá del alcance
pretendido y al final de cada capı́tulo el lector encontrará las referencias donde aparecen aquellas
demostraciones omitidas ası́ como posibles generalizaciones.
Quisiera agradecer especialmente a Alejandra Melfo, quien utilizó en varias oportunidades una
versión preliminar de estas notas como material complementario en los cursos por ella dictados, por
todas las observaciones y sugerencias que en gran medida contribuyeron a mejorar la exposición y
el desarrollo de las ideas.
En la presente versión se han corregido varios errores tipográficos, se han mejorado algunas
deducciones y se ha agregado una cantidad importante de problemas y ejercicios. Agradezco a
todos los colegas y estudiantes que han tenido la gentileza de hacerme llegar sus comentarios y
sugerencias a lo largo de estos años.
5
6 Ecuaciones Diferenciales Parciales
Prólogo 5
1 Operadores Diferenciales 11
1.1 Vectores y covectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 La derivada covariante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3 Los operadores divergencia y laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4 Problemas y ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Distribuciones 23
2.1 Funciones de prueba . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3 Multiplicación de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4 Derivación de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.5 Sucesiones y series de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.6 Producto tensorial de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.7 El producto de convolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.8 Ecuaciones de convolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.9 Problemas y ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5 El problema de Cauchy 65
5.1 El problema de Cauchy para las ecuaciones
hiperbólicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
5.1.1 El problema para la ecuación de onda . . . . . . . . . . . . . . . . . . . . . . 65
5.1.2 La ecuación de ondas esféricas . . . . . . . . . . . . . . . . . . . . . . . . . . 72
7
8 Ecuaciones Diferenciales Parciales
9
10 Ecuaciones Diferenciales Parciales
Operadores Diferenciales
En lo que sigue se asume un conocimiento elemental del cálculo vectorial. Las ideas que des-
arrollaremos en esta sección, además de proveer herramientas de calculo muy eficientes, admiten
generalizaciones posteriores de utilidad en varias áreas de la fı́sica y las matemáticas.
11
12 Ecuaciones Diferenciales Parciales
0
transformaciones considerado, esto es, si se cumple ϕ0 (xi ) = ϕ(xi ). Se tiene
B̃ = Bi ω̃ i , (1.10)
donde asumiremos que el conjunto {Bi } transforma, bajo el conjunto de transformaciones generales
de coordenadas considerado, como lo hace el conjunto {∂i ϕ}, esto es,
con aji0 dado por (1.5). Diremos que {Bi } son las componentes del covector B̃ en la cobase {ω̃ i }.
Al espacio de los covectores lo denotaremos por Tx∗ (Rn ) y a la cobase en Tx∗ (Rn ) especificada por
el conjunto {ω̃ i } que satisface (1.8) le denominaremos base dual a {~ei }.
Es claro, el objeto
∇ϕ ≡ ∂i ϕ ω̃ i , (1.12)
es un covector, esto es ∇ϕ ∈ Tx∗ (Rn ) y definimos ∇ϕ, ec.(1.12), como la derivada covariante de ϕ.
Sean {~ei } y {ω̃ j } bases duales. Entonces, dados A ~ ∈ Tx (Rn ) y B̃ ∈ Tx∗ (Rn ), se sigue de (1.8)
que
(B̃, ~ej ) = (Bi ω̃ i , ~ej ) = Bi (ω̃ i , ~ej ) = Bi δji = Bj (1.13)
y
~ = Aj (ω̃ i , ~ej ) = δ i = Ai .
(ω̃ i , A) (1.14)
j
Ası́, un covector es un objeto que aplica vectores a numeros y (1.13) y (1.14) proveen los valores
numéricos de Bj = Bj (x) y Ai = Ai (x) en x.
~
Consideremos a continuación al objeto (B̃, A),
~ = (Bi ω̃ i , Aj ~ej ) = Bi Aj (ω̃ i , ~ej ) = Bi Ai .
(B̃, A) (1.15)
Ahora, al cambio de base en Tx (Rn ) dado por (1.7) le corresponde un cambio de base en Tx∗ (Rn )
definido por
0 0
ω̃ i = aij ω̃ j , (1.16)
0
como se sigue de B̃ = Bi ω̃ i = Bi0 ω̃ i . Por otro lado, de acuerdo con (1.2), (1.5) y (1.6) se tiene
0 0 0
Bi0 Ai = aji0 Bj aii Ai = aji0 aii Bj Ai = δ ji Bj Ai = Bi Ai (1.17)
y la contracción Bi Ai provee entonces un número que es un escalar (un invariante) bajo las trans-
formaciones generales de coordenadas (1.2).
Es fácil verificar que
~ = β(B̃, A)
(β B̃ + γ C̃, A) ~ + γ(C̃, A),
~ (1.18)
donde β y γ son constantes reales y por lo tanto una combinación lineal de covectores es un
covector. Se sigue que el espacio de los covectores Tx∗ (Rn ), esto es, el espacio de las formas lineales
definidas sobre Tx (Rn ), tiene también estructura de espacio vectorial y se le denominará espacio
vectorial dual.
p
Considérese la siguiente generalización. Denominemos tensores del tipo (q ) a objetos de la
forma
i ···i
S = S 1 p j1 ···jq ~ei1 ⊗ · · · ⊗ ~eip ⊗ ω̃ j1 ⊗ · · · ⊗ ω̃ jq , (1.19)
i ···i i ···i
donde el conjunto de numeros {S 1 p j1 ···jq = S 1 p j1 ···jq (x)} (esto es los valores numéricos en
x ∈ Rn ) transforman bajo cambios generales de coordenadas de acuerdo a
i0 ···i0p i0 i0 j i ···ip
S1 j10 ···jq0 (x) = a 1i1 · · · a pip aj1j 0 · · · a qjq0 S 1 j1 ···jq (1.20)
1
y donde ⊗ denota el producto directo (tensorial). Estos tensores aplican q vectores y p covectores
a escalares de manera lineal (diremos que los tensores son aplicaciones multilineales) y al espacio
p
tensorial de los tensores del tipo (q ) de la forma (1.19) lo denotaremos por ⊗p Tx (Rn ) ⊗q Tx∗ (Rn ).
Aquı́ el orden de los indices es esencial. Intercambiar ~ei1 y ~ei2 , por ejemplo, dará un elemento
base diferente siempre que i1 6= i2 . Lo mismo ocurre si intercambiamos ~ei1 y ω̃ j1 (la multiplicación
tensorial es asociativa y distributiva con respecto a la suma, pero no es conmutativa). De lo
anterior se desprende que el espacio tensorial Tx ⊗ Tx∗ es diferente al espacio tensorial Tx∗ ⊗ Tx ,
1
aunque los tensores en ambos espacios son del tipo (1). Es claro que un campo vectorial es un
1 0
tensor del tipo (0) y un campo covector es un tensor del tipo (1).
0
Introduzcamos a continuación el tensor g del tipo (2),
g ≡ gij ω̃ i ⊗ ω̃ j , (1.21)
donde
g(~ei , ~ej ) = gkl (ω̃ k , ~ei )(ω̃ l , ~ei ) = gij
si {~ei } es la base dual a {ω̃ i }, con
gij ≡ gji .
~yB
Ahora, dados dos vectores A ~ cualesquiera, g provee la aplicación
~ B)
g(A, ~ = gij (ω̃ i , A)(ω̃
~ j , B)
~ = gij B j Ai . (1.22)
Identificando esta ultima expresión con la contracción Bi Ai
Bi Ai ≡ gij B j Ai , (1.23)
se sigue que
Bi = gij B j . (1.24)
Ası́, el tensor g, que denominaremos tensor métrico, permite asociar un covector B̃ a todo vector
~ a través de
B
B̃ = Bi ω̃ i ≡ gij B j ω̃ i , (1.25)
de forma tal que se satisfaga (1.23). Se dice que B̃ dado por (1.25) es el dual métrico de B. ~ Por
otro lado, puesto que con esta identificación logramos asociar un invariante (escalar) a dos vectores
~ y B,
cualesquiera A ~ el tensor métrico g endosa al espacio vectorial Tx (Rn ) con un producto interno
~·B
(escalar) A ~ definido por
~·B
A ~ ≡ g(A,
~ B),
~ ~ B
∀ A, ~ ∈ Tx (Rn ) . (1.26)
~ de un vector A
La norma kAk ~ ∈ Tx (Rn ) viene generada por el producto interior definido arriba a
través de
~ 2 = g(A,
kAk ~ A)
~ = gij Ai Aj
~ no depende entonces de la elección del sistema de coordenadas. En lo que sigue, denotaremos
y kAk
por (Rn , g) al espacio Rn equipado con tensor métrico g. Deberá tenerse presente sin embargo que
la definición del dual Tx∗ (Rn ) de Tx (Rn ) no necesita de equipamiento métrico alguno de Rn .
Consideremos a continuación el conjunto {g ij } tal que
g ij gjk = δ ik , (1.27)
esto es, {g ij } son los elementos de la inversa de la matriz cuyos elementos son las componentes
{gij } de g en la base asociada a las coordenadas escogidas. Supondremos que por definición,
dicho conjunto existe y que está bien definido en todo punto de la región de Rn descrita por las
coordenadas escogidas. Entonces
g ij Bj = g ij gjk B k = δ ik B k = B i (1.28)
y tenemos una correspondencia uno a uno entre vectores y covectores. Se debe hacer énfasis en
que vectores y covectores viven en espacios lineales diferentes y que es el tensor métrico el que
permite establecer dicha correspondencia entre los objetos de dichos espacios.
Ilustremos la ideas desarrolladas con un ejemplo muy sencillo. Considérese un espacio vectorial
2-dimensional Tx (R2 ) y hagamos la descripción en coordenadas cartesianas {x1 , x2 }. Los vectores
base en estas coordenadas,
∂~x ∂~x
~ex1 ≡ 1
, ~ex2 ≡ , (1.29)
∂x ∂x2
Sean A~yB ~ dos vectores cualesquiera en Tx (R2 ). En la base cartesiana escogida tendremos que
dichos vectores pueden ser escritos como
~ = Ax1 ~ex1 + Ax2 ~ex2 ,
A ~ = B x1 ~ex1 + B x2 ~ex2 .
B (1.31)
1 2
La cobase {ω̃ x , ω̃ x } dual a {~ex1 , ~ex2 } viene especificada por
1 1 2 2
(ω̃ x , ~ex1 ) = 1, (ω̃ x , ~ex2 ) = 0, (ω̃ x , ~ex1 ) = 0, (ω̃ x , ~ex2 ) = 1 , (1.32)
~·B
A ~ ≡ Ax B x + A y B y . (1.34)
donde ζ es un parámetro real tal que 0 ≤ ζ < 2π y las coordenadas cartesianas en términos
de las cuales el producto escalar es de esta forma se denominarán coordenadas euclı́deas. Las
transformaciones (1.35) forman un grupo que usualmente se denota por SO(2).
A continuación, identificando la contracción Bi Ai con el producto escalar euclı́deo entre vectores
a través de Bi Ai = gij Ai B j (note que Bi Ai involucra a las componentes de un covector y un vector,
1 2 1 1 2 2
no a las componentes de dos vectores), se sigue que Bx1 Ax + Bx2 Ax = Ax B x + Ax B x . Puesto
que A~ y B ~ son campos vectoriales arbitrarios, se desprende de lo anterior que Bx1 = B x1 y
2
Bx2 = B x y por lo tanto
x1 = r cos θ, x2 = r sin θ
(note que la transformación que nos lleva de coordenadas cartesianas euclı́deas a coordenadas
esféricas no es una transformación lineal). Puesto que (r, θ) y (r, θ + 2nπ) representan el mismo
punto (x1 , x2 ), restringiremos los valores de θ a 0 ≤ θ < 2π de forma tal que a cada (x1 , x2 ) le
corresponda un único θ. Ahora con
se sigue que
∂~x
~er ≡ = cos θ ~ex1 + sin θ ~ex2 , (1.39)
∂r
∂~x
~eθ ≡ = −r sin θ ~ex1 + r cos θ ~ex2 . (1.40)
∂θ
La cobase {ω̃ r , ω̃ θ } dual a {~er , ~eθ } viene dada por
1 2
ω̃ r = cos θ ω̃ x + sin θ ω̃ x , (1.41)
1 1 1 2
ω̃ θ = − sin θ ω̃ x + cos θ ω̃ x , (1.42)
r r
como puede verificarse fácilmente. En términos de dicha base, el tensor métrico se escribe como
para obtener directamente las componentes gi0 j 0 en coordenadas polares a partir de (1.37), (1.32)
y (1.41) o bien, empleando (1.20) para obtener
~·B
A ~ ≡ g(A,
~ B)
~ = Ar B r + r 2 A θ B θ
A ~ ≡ Ax1 B x1 − Ax2 B x2 .
~·B (1.48)
donde
Dj V i ≡ ∂j V i + Γijk V k . (1.57)
1
El tensor ∇V~ del tipo (1), definido en (1.56,1.57), se conoce como la derivada covariante del campo
vectorial V~ . Nótese que la acción de ∇ sobre escalares y sobre vectores es diferente. Con la
identificación
∇ϕ ≡ (Di ϕ)ω̃ i (1.58)
se desprende que
Di ϕ ≡ ∂i ϕ. (1.59)
Es posible extender la noción de derivada covariante a otros tipos de tensores. Para ello
definimos la derivada covariante direccional ∇~u V~ de V~ en la dirección de ~u
Ahora, con
∇~u (~ei ⊗ ~ej ) = (∇~u~ei ) ⊗ ~ej + ~ei ⊗ (∇~u~ej ) , (1.63)
se sigue que
se desprende que
Dk T ij ≡ ∂k T ij + Γikl T lj + Γjkl T il (1.66)
y definimos ∇T como
∇T ≡ (Dk T ij ) ω̃ k ⊗ ~ei ⊗ ~ej . (1.67)
2 p p
Es claro, ∇T es un tensor del tipo (1). En general si S es un tensor (q ), ∇S será un tensor (q+1).
Di V i ≡ ∂i V i + Γiik V k . (1.68)
Ahora, dado que los vectores base ~ex1 , · · · , ~exn se postulan independientes de las coordenadas,
tendremos
∂
~exj = 0, ∀ i, j
∂xi
de donde se sigue que todos los coeficientes conexión son cero y por lo tanto
1 n ∂ x1 ∂ n
Di V i = ∂x1 V x + · · · + ∂xn V x = 1
V + ··· + nV x . (1.69)
∂x ∂x
En (1.69) reconocemos (si las coordenadas x1 , · · · , xn son euclı́deas) la expresión conocida como
la divergencia del campo vectorial V~ , que denotaremos por div V~ y que suele escribirse también
como ∇ ~ · V~ . Por construcción (1.68) no depende del sistema de coordenadas escogido y por lo
tanto (1.68) provee la expresión a ser identificada con div V~ en cualesquiera otras coordenadas que
se obtengan (a través de transformaciones generales de coordenadas) a partir de las coordenadas
euclı́deas x1 , · · · , xn . Ası́ definimos
div V~ ≡ Di V i . (1.70)
Por simplicidad, sea V~ un campo vectorial ∈ Tx (R2 ), {~ex1 , ~ex2 } una base cartesiana en Tx (R2 )
y supongamos equipado al espacio R2 con el tensor métrico euclı́deo g dado por (1.37). V~ admite
la expansión
1 2
V~ = V x ~ex1 + V x ~ex2 (1.71)
y tendremos
1 ∂ x1
2 ∂ x2
Di V i = ∂x1 V x + ∂x2 V x = V + V . (1.72)
∂x1 ∂x2
que es la expresión usual de la divergencia de un campo vectorial en coordenadas cartesianas. Por
otro lado, en la base {~er , ~eθ }, dada por (1.39,1.40), se tendrá que
Ahora,
∂
~er =0 ⇒ Γrrr = Γθrr = 0 ,
∂r
∂ 1 1
~er = − sin θ~ex1 + cos θ~ex2 = ~eθ ⇒ Γrθr = 0, Γθθr = ,
∂θ r r
∂ 1 1
~eθ = − sin θ~ex1 + cos θ~ex2 = ~eθ ⇒ Γrrθ = 0, Γθrθ = ,
∂r r r
∂
~eθ = −r cos θ~ex1 − r sin θ~ex2 = −r~er ⇒ Γrθθ = −r, Γθθθ = 0 .
∂θ
que es la expresión de la divergencia del campo vectorial V~ en coordenadas polares. Nótese que
(1.74) ha sido obtenida partiendo de la expansión de V~ en una base ortogonal no normalizada. Si
se escoge trabajar en la base ortonormal definida como {êr = ~er , êθ = 1r ~eθ }, entonces
1
V~ = v r êr + v θ êθ = v r~er + v θ~eθ = V r~er + V θ~eθ
r
y por lo tanto v r = V r y V θ = 1r v θ . De aquı́ que
1 1
divV~ ≡ Di v i = ∂r (rv r ) + ∂θ v θ . (1.75)
r r
Veamos a continuación la acción del operador escalar Di Di sobre campos escalares y vectoriales.
Sea ϕ un campo escalar definido sobre el espacio euclı́deo (Rn , g). Tendremos
Di Di ϕ = Di ∂i ϕ , (1.76)
donde hemos usado (1.27) y el hecho de que la operación de derivación covariante asociada a g
conmuta con la contracción de indices con las componentes de g (véase el ejercicio 3). Ahora,
puesto que g ij ∂j ϕ son las componentes de un campo vectorial, podemos emplear (??). Se sigue
que
Di Di ϕ = Di (g ij ∂j ϕ) = ∂i (g ij ∂j ϕ) + Γiik (g kj ∂j ϕ). (1.78)
Por construcción, Di Di ϕ es un escalar y (1.78) define la expresión comúnmente denominada la-
placiano del campo escalar ϕ,
∆ϕ ≡ Di Di ϕ , (1.79)
donde Di Di ϕ viene dado por (1.78). Puesto que en coordenadas euclı́deas todas las conexiones
son cero y g ij = δ ij , se sigue que
que es la expresión usual del laplaciano del campo escalar ϕ(x), definido sobre el espacio euclı́deo
(Rn , g), en coordenadas euclı́deas.
Nuevamente, por simplicidad, consideremos un campo escalar ϕ definido sobre el espacio R2 ,
este último equipado con el tensor métrico euclı́deo g que en coordenadas cartesianas viene dado
por (1.37). En estas coordenadas tendremos
1
2. Obtenga ∇T para T un tensor del tipo (1).
0
3. Obtenga ∇T para T un tensor del tipo (2). A continuación, muestre de manera explı́cita
que ∇g = 0 para g dado por (1.47). Note que este resultado es el esperado, como se sigue del
hecho de que ∇g es una expresión covariante y de que ∇g = 0 en coordenadas cartesianas. Se
dice que ∇ es el operador derivada asociado a g y la correspondiente operación de derivación
covariante conmuta con la contracción de indices con las componentes de g.
4. Usando el hecho de que la derivada covariante de un campo vectorial ∇V~ (definida por
1
(1.56,1.57)) es un tensor del tipo (1), muestre que las conexiones Γkji definidas en (1.55) no
son las componentes de un tensor.
5. Calcule las derivadas covariantes direccionales ∇~u ~er y ∇~u ~eθ a lo largo de los vectores ~u = ~er
y ~u = ~eθ , con ~er y ~eθ dados por (1.39) y (1.40) respectivamente.
Referencias
B. Felsager, Geometry, Particles and Fields. Springer Verlag. 1998.
B. Schutz, Geometrical methods of mathematical Physics. Cambridge University Press. 1990.
Y.Choquet-Bruhat, C. De Witt-Morette and M. Dillard-Bleick, Analysis, Manifolds and Physics,
Part 1. (revised edition) North Holland. 1996.
B. A. Dubrovin, A. T. Fomenko and S. P. Novikov, Modern Geometry - Methods and Applications,
Part 1. (2nd edition). Springer. 1992.
Distribuciones
Este capı́tulo provee una introducción a la teorı́a de distribuciones. La primera definición de dis-
tribución en el sentido moderno, esto es como funcional, se debe a Sovolev (1936). En lo que
sigue, revisaremos la teorı́a de distribuciones de L. Schwartz (1950), considerada en la actualidad
como la teorı́a adecuada para tratar funciones impropias de manera matemáticamente riguro-
sa. Posteriormente, en los capı́tulos siguientes, veremos que la teorı́a de distribuciones es una
herramienta esencial en la construcción de soluciones para las Ecuaciones Diferenciales Parciales
(EDP’s) lineales.
23
24 Ecuaciones Diferenciales Parciales
2.2 Distribuciones
Definición 2 Diremos que f es un funcional lineal sobre D si existe una regla que asigna a cada
φ(x) ∈ D un número real que denotaremos por hf, φi, tal que
con α1 y α2 reales.
Definición 3 Diremos que T es un funcional lineal continuo sobre el espacio vectorial D, si hT, φj i
converge a hT, φi siempre que {φj } converja a φ en el sentido de la topologı́a de D. Denominaremos
distribuciones a los funcionales lineales continuos sobre D y denotaremos por D0 al espacio de las
distribuciones.
El espacio de las distribuciones, D0 , es el dual (topológico) del espacio vectorial topológico D
definido en 2.1. Por otro lado, D0 es un espacio vectorial también, estando definida la suma T1 + T2
y el producto λT , con λ real, por
y
hλT, φi = λhT, φi.
Definición 4 El soporte de una distribución T es el conjunto cerrado más pequeño fuera del cual
T es nula.
Veamos algunos ejemplos de distribuciones.
Ejemplo 3
Sea L1loc (Rn ) el espacio de las funciones localmente integrables sobre Rn , esto es, integrables sobre
todo dominio acotado Ω de Rn . Sea f ∈ L1loc (Rn ), entonces f define a la distribución f : D(Rn ) → R
a través de Z
φ(x) 7→ dn xf (x)φ(x), ∀φ ∈ D(Rn )
Rn
y hacemos la identificación
Z
hf, φi ≡ dn xf (x)φ(x).
Rn
Vamos a demostrar a continuación que δ(0) es un tipo de distribución que denominaremos singular,
en contraposición a las ya definidas distribuciones regulares. Si δ fuese regular entonces existirı́a
una función f (x) localmente integrable tal que
Z
dn xf (x)φ(x) = φ(0) ∀φ ∈ D(Rn ). (2.3)
Rn
donde
1
φa (0) = ,
e
1
|φa (x)| ≤ .
e
Se tiene
2
Z Z 1 Z
n
n a
d xf (x)φa (x) = d xf (x) exp ≤ dn x|f (x)|.
|x|2 − a2 e
n
R |x|<a |x|<a
R
Si f (x) es localmente integrable entonces lim dn x|f (x)| = 0. Se sigue entonces que
a→0
|x|<a
Z
lim dn xf (x)φa (x) = 0,
a→0
Rn
Ejemplo 6
Si f (x) es localmente integrable, también lo es f (x/α), ∀α real diferente de cero. La distribución
f (x/α) : D(Rn ) → R viene definida por
Z
hf (x/α), φ(x)i = dn x f (x/α)φ(x), ∀φ ∈ D(Rn )
Rn
y dado que
Z Z
n n
d x f (x/α)φ(x) = |α| dn y f (y)φ(αy),
Rn Rn
se tendrá
hf (x/α), φ(x)i = |α|n hf (x), φ(αx)i, ∀φ ∈ D(Rn ).
Ahora bien, sea (Φα f ) (x) ≡ f (x/α). Entonces
Ası́, en R1 se tiene
hαδ(0) , φi = hδ(0) , αφi = α(0)φ(0) = hα(0)δ(0) , φi,
esto es,
αδ(0) = α(0)δ(0)
y en particular
xδ(0) = 0.
Por otro lado, se puede demostrar que no es posible definir un producto de distribuciones
cualesquiera que tenga las propiedades usuales de asociatividad y conmutatividad.
Ejemplo 7
Sea vp x1 el valor principal de Cauchy de 1
x
en R1 , definido por
Z − Z ∞
1 φ φ
hvp , φi ≡ lim+ dx + dx
x →0 −∞ x x
∂f
En este caso, la distribución vendrá dada por
∂x1
Z Z Z Z Z
∂f n ∂f 2 3 n ∂f
1
, φ(x) = d x 1 φ(x) = dx dx · · · dx dx1 1 φ(x)
∂x x ∂x ∂x
Rn
Z∞
Z Z
∂φ
= dx2 · · · dxn f (x)φ(x)|∞
−∞ − dx1 f (x) 1
∂x
−∞
Z Z Z
∂φ
= − dx1 dx2 · · · dxn f (x) 1
∂x
∂
= − f (x), 1 φ(x) .
∂x x
Definición 6 ∀T ∈ D0 , la distribución ∂T
∂xi
viene dada por
∂T ∂
, φ(x) = − T, i φ(x) , ∀φ ∈ D(Rn ). (2.5)
∂xi x ∂x x
con
Dk = (∂1 )k1 (∂2 )k2 · · · . (∂n )kn , |k| = k1 + k2 + · · · + kn , (2.7)
donde todos los coeficientes ak se suponen constantes. Entonces
donde X
D∗ = (−1)|k| ak Dk (2.9)
|k|≤p
Ejemplo 10
En R1 , sea Θ(x) la distribución de Heaviside, asociada a la función localmente integrable Θ = 1 si
x > 0 y Θ = 0 si x < 0. Entonces,
Z∞ Z∞
d d d d
Θ(x), φ = − Θ(x), φ = dxΘ(x) φ = dx φ = φ(0).
dx dx dx dx
−∞ 0
Por lo tanto,
d
Θ(x) = δ(0) ,
dx
en el sentido de las distribuciones.
Ejemplo 11
En R1 , sea α(x) una función infinitamente derivable en el sentido usual de la teorı́a de funciones
y sea δ = δ(0) la distribución delta de Dirac con soporte en x = 0. Entonces,
Se sigue que
αδ 0 = α(0)δ 0 − α0 (0)δ,
y en particular,
x δ 0 = −δ,
x2 δ 0 = 0,
x δ (m) = −m δ (m−1) .
Por último, consideremos un ejemplo en R3 sumamente importante.
Ejemplo 12
Sea ∆ el operador laplaciano. En R3 tenemos en el sentido de las distribuciones
1
∆ = −4πδ(~0) .
|~x|
Por supuesto, r−1 = |~x|−1 no es derivable en r = 0 en el sentido usual de la teorı́a de funciones.
Ahora bien, en el sentido de las distribuciones se tiene
1 1
∆ ,ϕ = (∂x ∂x + ∂y ∂y + ∂z ∂z ) , ϕ
r r
2 1
= (−1) ( , (∂x ∂x + ∂y ∂y + ∂z ∂z )ϕ
r
1
= , ∆ϕ
r
y por lo tanto
Z∞ Z
1 2 1
∆ , ϕ = lim dr r dΩ ∆ϕ.
r →0 r
Esta ultima integral puede evaluarse usando la identidad de Green
Z Z
3 ∂g ∂f
d x(f ∆g − g∆f ) = da f −g ,
∂n ∂n
Ω ∂Ω
∂ ~
donde ∂Ω es la superficie que encierra al volumen Ω, n es la normal a ∂Ω externa a Ω y ≡ n̂ · ∇
∂n
~ el operador gradiente. Tenemos,
con ∇
Z∞ Z Z
2 1 1 1 ∂ϕ ∂ 1
dr r dΩ ∆ϕ − ϕ ∆ = − da −ϕ ,
r r r ∂r ∂r r
r=
donde {} indica derivación en el sentido usual de la teorı́a de funciones. Es trivial verificar que
{∆ 1r = 0} y por lo tanto
Z∞ Z Z
2 1 1 ∂ϕ ∂ 1
dr r dΩ ∆ϕ = − da −ϕ
r r ∂r ∂r r
r=
Z Z
1 ∂ϕ 1
= − da − daϕ 2 .
∂r
r= r=
Se sigue entonces
Z∞ Z Z Z
1 1 1
dr r 2
dΩ ∆ϕ = − 2 daϕ(~x) = − 2 da[ϕ(~0) + (ϕ(~x) − ϕ(~0))],
r
r= r=
Z
1 1
= − 2 4π2 ϕ(~0) − 2 da(ϕ(~x) − ϕ(~0)).
r=
En virtud de la continuidad de ϕ, la ultima integral del miembro derecho tiende a cero para → 0
(note que da ∝ 2 ), entonces
1
∆ , ϕ = −4πϕ(~0)
r
y por lo tanto
1
∆ = −4πδ(~0) .
r
Ejemplo 14
{fr (θ)} para r → 1− con (
1 1−r 2
1+r 2 −2r cos θ
si |θ| ≤ π
fr (θ) = 2π
0 si |θ| > π
A fr (θ) se le conoce como el kernel de Poisson.
Ejemplo 15
{fk (x)} para k → ∞ con fk (x) el kernel de Dirichlet:
k
P 1 imx
e si |x| ≤ π
fk (x) = m=−k 2π
si |x| > π
0
Ejemplo 16
Una función g se dice independiente de x si es de la forma g = 1x ⊗ g(y). De la misma manera,
diremos que una distribución es independiente de x si es de la forma 1x ⊗ Ty :
Z * Z +
h1x ⊗ Ty , ϕi = dm xhTy , ϕxy i = Ty , dm xϕ(x, y)
xm xm
Ejemplo 17
Sean Dxp y Dyq dos operadores diferenciales con respecto a las variables x, y, respectivamente.
Entonces,
Dxp Dyq (Sx ⊗ Ty ) = (Dxp Sx ) ⊗ (Dyq Ty )
Ejemplo 18
En coordenadas cartesianas, la distribución δ en R3 con soporte en ~x = ~0,
δ(~0) ≡ δx ⊗ δy ⊗ δz
Ejemplo 19
Considérese en Rn , en coordenadas cartesianas, la distribución
Rn Rn
Ejemplo 20
En R1 , consideremos a continuación la distribución Gσ definida por
x2
1
Gσ = √ exp − 2 .
σ 2π 2σ
x¯2 ≡ dx x2 Gσ (x) = σ,
−∞
de donde se desprende
p que σ es la desviación cuadrática media de la variable x en torno de su
valor medio, x¯2 − x̄2 .
Si dos variables aleatorias, reales e independientes, siguen la distribución de Gauss con desvia-
ciones medias σ y τ , la suma sigue la distribución
Gσ ∗ Gτ = G√σ2 +τ 2 ,
√
que es también una distribución de Gauss con desviación σ 2 + τ 2 . En particular, la suma de n
variables aleatorias independientes que siguen,
√ cada una, la distribución de Gauss, obedece también
una distribución de Gauss con desviación σ√ n. De aquı́ que la media aritmética de los resultados
de n medidas arroje un error del orden de nn = √1n .
La demostración es sencilla,
Se dice que la convolución con α es una regularización de T provista por α.
En R1 , si T es de soporte acotado se llama transformada de Laplace de T a la función de
variable compleja T̃ (s) definida por
Veamos a continuación algunas propiedades de la convolución con la distribución δ y sus deri-
vadas.
1. δ(0) ∗ T = T ,
2. δ(a) ∗ T = Tx−a ,
0
3. δ(0) ∗ T = T 0.
Pruebas:
1. Partiendo de la definición del producto de convolución se tiene
y por lo tanto
δ(0) ∗ T = T,
δ(0) es la unidad del producto de convolución. Con frecuencia, esto se escribe como
Z
dξ δ(x − ξ)T (ξ) = T (x) .
2. Para T ∈ D0 se define
hTx−a , ψi ≡ hTx , ψ(x + a)i,
que no es mas que la extensión, para T arbitraria, de la expresión correspondiente para la distri-
bución asociada a una función localmente sumable. Ahora,
3. Se tiene
0
hδ(0) ∗ T, ψi = hδ 0 (ξ) ⊗ Tη , ψ(ξ + η)i = hTη , hδ 0 (ξ), ψ(ξ + η)ii
= hTη , −ψ 0 (η)i = −hT, ψ 0 i
= hT 0 , ψi
(n)
y en general δ(0) ∗ T = T (n) .
n
Si D es un operador diferencial con coeficientes constantes en R y δ(0) la distribución de Dirac
en Rn con soporte en el origen, entonces
(Dδ(0) ) ∗ T = DT.
Ası́,
D(T ∗ S) = Dδ(0) ∗ (T ∗ S) = (Dδ(0) ∗ T ) ∗ S = DT ∗ S
o bien
D(T ∗ S) = D(S ∗ T ) = Dδ(0) ∗ (S ∗ T ) = (Dδ(0) ∗ S) ∗ T = DS ∗ T
y por lo tanto
D(T ∗ S) = DT ∗ S = T ∗ DS.
Ejemplo 21
El producto de convolución
1
Φ=ρ∗ ,
r
aparece en la teorı́a electromagnética clásica de Maxwell, donde Φ es el potencial electrostático
asociado a la distribución de carga ρ (de soporte acotado) y r = |~x|. Con ∆ el operador laplaciano
en R3 se tiene
1 1
∆Φ = ∆ ρ ∗ = ρ ∗ ∆ = ρ ∗ (−4πδ(0) ) = −4πρ,
r r
que es la ecuación de Poisson.
Proposición 7 Para que A ∗ X = B tenga solución, es necesario y suficiente que A posea una
inversa A−1 ∈ A0 , tal que
A−1 ∗ A = A ∗ A−1 = δ(0)
y por lo tanto X = A−1 ∗B. Se denominara a A−1 solución elemental de la ecuación de convolución
A ∗ X = B.
Ejemplo 22
Es crucial el hecho de estar en un algebra de convolución para que una ecuación de convolución
tenga una solución única. Por ejemplo, en R3 con ∆ el operador laplaciano y r = |~x| se tiene
(ejemplo 12)
1
∆ = −4πδ(0) .
r
Se sigue que existe una inversa (∆δ(0) ) = −1/4πr ∈ D0 (R3 ), pero D0 (R3 ) no es un álgebra de
−1
0
Considérese a continuación el álgebra D+ y sea δ = δ(0) . Se tiene el siguiente resultado.
Proposición 8 Sea D el operador diferencial de orden m con coeficientes constantes en una va-
riable
dm dm−1 d
D = m + a1 m−1 + · · · + am−1 + am .
dx dx dx
0
Dδ es invertible en D+ y se tiene que (Dδ)−1 = ΘZ, donde Θ es la distribución de Heaviside y Z
es la solución de la ecuación homogénea DZ = 0 que verifica las condiciones iniciales
D(ΘZ) = δ.
Ahora,
D(ΘZ) = δ ∗ D(ΘZ) = Dδ ∗ (ΘZ) = δ
y por lo tanto
(Dδ)−1 = ΘZ.
Ejemplo 23
d
1. La solución elemental para D = dx
− λ , con λ una constante real arbitraria, viene dada
por
(δ 0 − λδ)−1 = Θ(x)eλx .
2
d 2
2. La solución elemental para D = dx 2 + ω , con ω una constante real arbitraria diferente de
cero, viene dada por
sin ωx
(δ 00 + ω 2 δ)−1 = Θ(x) .
ω
d2 d3 x2
d
(a) 2 |x|, (b) 3 Θ(x) , (c) log |x|.
dx dx 2! dx
2. En R1 , pruebe la identidad
(m) (m−1)
xδ(0) = −mδ(0) .
f (x) =
−1, (2k + 1) π2 < x < (2k + 3) π2
donde k toma todos los valores enteros positivos, negativos y cero. Calcule df /dx en el
sentido de las distribuciones.
d2 d2
(a) (Θ(x) cos x), (b) | cos x|.
dx2 dx2
∂2
(Θ(x) ⊗ Θ(y))
∂x∂y
6. Demuestre que en R2 , 1
2π
log |~x|−1 satisface en el sentido de las distribuciones
1
∆ log |~x|−1 = −δ(~x),
2π
donde ∆ es el operador laplaciano.
7. Pruebe que el conjunto {fε (x)} para ε → 0+ es una familia δ en R1 con fε (x) dado por
1 ε
fε (x) =
π ε + x2
2
Ayuda: tenemos
Z ∞ Z ∞ Z ∞
lim dxfε (x)φ(x) = lim+ dxfε (x) (φ(x) − φ(0)) + dxfε (x)φ(0) .
ε→0+ −∞ ε→0 −∞ −∞
A continuación, haciendo el cambio x = εy, evalúe esta ultima expresión. Haga uso del hecho
de que las φ(x) son funciones infinitamente derivables con continuidad y de soporte acotado.
8. Sea {fλ (x)} la familia de funciones localmente integrables en R1 con fλ (x) dada por
y deduzca a partir de esto que {fλ (x)} es una familia Heaviside para λ → ∞.
10. Sea Ω ⊂ R2 la región interior al cuadrado cuyos vertices son los puntos (1, 1), (2, 0), (3, 1),
(2, 2). Sea E(x, y) la función indicadora definida por
+1, (x, y) ∈ Ω,
E(x, y) =
0, (x, y) ∈ R2 y (x, y) ∈
/ Ω.
Calcule en el sentido de las distribuciones ∂y ∂y E − ∂x ∂x E.
12. Demuestre
d4 d2 √ √
d d d d
D = 4 − 2 −2= +i −i − 2 + 2
dx dx dx dx dx dx
16. Demuestre
δ 0 − Θ(x)eλx ∗ (δ 0 − λδ) = δ 00 − λδ 0 − δ
y de aquı́ que
−1 −1
δ 0 − Θ(x)eλx
= (δ 0 − λδ) ∗ (δ 00 − λδ 0 − δ) .
−1
Utilice esta última expresión para encontrar δ 0 − Θ(x)eλx .
donde
−3 −1 −1 −1
(δ 0 − λδ) = (δ 0 − λδ) ∗ (δ 0 − λδ) ∗ (δ 0 − λδ) .
Encuentre de manera explı́cita Θ3λ (x).
iii. Muestre que estos resultados se pueden generalizar a
−m
(δ 0 − λδ) = Θm
λ (x),
donde
−m −1 −1 −1
(δ 0 − λδ) ≡ (δ 0 − λδ) ∗ (δ 0 − λδ) ∗ ... ∗ (δ 0 − λδ) (m veces)
y
xm−1
Θm
λ (x) = Θ(x) e
λx
.
(m − 1)!
0
(b) Considere a continuación la distribución Θαλ (x) ∈ D+ definida por
xα−1
Θαλ (x) = Θ(x) eλx ,
Γ(α)
donde Γ es la función gamma de Euler. Muestre que
1 1
Θλ2 (x) ∗ Θλ2 (x) = Θλ (x).
F + K ∗ F = G,
0
donde F , K y G pertenecen a D+ , con K = Θ(x)k(x), G = Θ(x)g(x) y F = Θ(x)f (x),
el ”kernel” k(x) y la función g(x) se suponen conocidos y localmente sumables y se desea
conocer f (x).
Si existe (δ + K)−1 , se sigue que
F = (δ + K)−1 ∗ G
donde
K {n} ≡ K ∗ K ∗ ... ∗ K (n veces),
se desprende que
F = (δ + H) ∗ G.
Para k(x) = eλx , muestre que H viene dado por H = Θ(x)e(λ−1)x .
La ecuación de convolución F = G + H ∗ G es un tipo particular de las denominadas ecua-
ciones integrales de Volterra de segunda especie, aunque no todas las ecuaciones integrales
de Volterra son ecuaciones de convolución en el sentido de la sección 2.7.
Referencias
L. Schwartz, Mathematics for the Physical Sciences. Hermann, Paris (1968).
I. Stakgold, Green’s functions and Boundary Value Problems. Wiley, New York (1979).
Y.Choquet-Bruhat, C. De Witt-Morette and M. Dillard-Bleick, Analysis, Manifolds and Physics,
Part 1. North Holland. 1982.
Proposición 9 Existe una única solución al problema de valores iniciales (3.1,3.2,3.3) dada por
Zx m−1
X
y(x) = dξZ(x − ξ)f (ξ) + βk Z (k) (x), (3.4)
0 k=0
43
44 Ecuaciones Diferenciales Parciales
0
Considérese la distribución Θ(x)y(x) ∈ D+ . Tendremos (en el sentido de las distribuciones)
donde
Ahora bien,
Lx (Θy) = δ ∗ Lx (Θy) = Lx δ ∗ (Θy)
y con (Lx δ)−1 = ΘZ (véase Proposición 8) se sigue que
Por lo tanto, !
m−1
X
Θy = ΘZ ∗ ΘLx y + βk δ (k) ,
k=0
esto es,
m−1
X
Θy = ΘZ ∗ ΘLx y + βk ΘZ ∗ δ (k) .
k=0
y se tendrá
Zx m−1
X
Θy = dξ Z(x − ξ)f (ξ) + βk (ΘZ),(k) ,
0 k=0
esto es
Zx m−1
X
y(x) = dξ Z(x − ξ)f (ξ) + βk Z (k) (x)
0 k=0
para x > 0.
−1
La solución elemental (Lx δ) = Θ Z se conoce comúnmente como la función de Green para Lx en
0
D+ .
Ejemplo 24
Considere el problema del oscilador armónico forzado descrito por el problema de valores iniciales
d2
2 F dx
x(t) + ω x(t) = sin Ωt, x(0) = a, = 0.
dt2 m dt t=0
d2
En este caso Lt = dt2
+ ω 2 y tenemos que
sin ωt
(Lt δ)−1 = Θ(t) .
ω
Por lo tanto, la solución al problema viene dada por
Zt
sin ω(t − τ ) F
x(t) = dτ sin Ωτ + a cos ωt .
ω m
0
Ui y = αi , 1 ≤ i ≤ n,
donde Lx es un operador diferencial lineal de orden n
dn dn−1 d
Lx = an (x) n
+ a n−1 (x) n−1
+ · · · + a1 (x) + a0 (x), (3.8)
dx dx dx
y Ui es el operador definido por
n
X
Ui y ≡ (cij y (j−1) (a) + dij y (j−1) (b))
j=1
dj y
donde cij , dij y αi son constantes y y (j) ≡ . En general, el problema de contorno puede no
dxj
tener solución y si la tiene puede no ser única.
En lo que sigue consideraremos el problema de contorno para operadores diferenciales lineales de
segundo orden autoadjuntos. Como veremos, las ecuaciones diferenciales ordinarias que aparecen
al separar variables en un gran número de ecuaciones diferenciales parciales de interés involucran
a operadores de este tipo.
Considérese entonces la ecuación diferencial ordinaria no homogénea dada por
Lx y = −f (x), (3.9)
donde Lx es el operador diferencial lineal de segundo orden autoadjunto (véase ejemplo 9)
d d
Lx ≡ p(x) + q(x). (3.10)
dx dx
Se dice que (3.9,3.10) está dada en la forma de Sturm-Liouville. Nótese que cualquier ecuación
diferencial ordinaria lineal de segundo orden no homogénea
d2 d
a2 (x) 2
y + a1 (x) y + a0 (x)y = −g(x),
dx dx
puede ser llevada a la forma de Sturm-Liouville multiplicando por
Z x
1 a1 (x)
exp dξ .
a2 (x) a2 (x)
Se deja como ejercicio propuesto.
Ahora, queremos encontrar la solución al problema
Lx y = −f (x), a < x < b, (3.11)
con Lx dado por (3.10) y que satisface las condiciones de contorno homogéneas y sin mezcla dadas
por
U1 y = c1 y(a) + c2 y 0 (a) = 0, (3.12)
U2 y = d1 y(b) + d2 y 0 (b) = 0, (3.13)
donde al menos unas de las ci y unas de las di son no nulas. Supondremos que p(x) y q(x) son
infinitamente derivables, que p(x) 6= 0 en [a, b] y admitiremos la posibilidad de que f sea solo
localmente integrable, esto es, que f sea una distribución regular tal que las distribuciones Lx y y
−f coincidan en (a, b). Ası́, para φ(x) ∈ D(a, b) se tiene
hLx y, φi ≡ hy, Lx φi,
donde hemos usado el hecho de que Lx es autoadjunto, y por lo tanto y deberá satisfacer
hy, Lx φi = −hf, φi, ∀φ ∈ D(a, b). (3.14)
Relacionado al problema de contorno no homogéneo considerado tenemos el problema de con-
torno homogéneo asociado definido por
Lx y = 0, (3.15)
c1 y(a) + c2 y 0 (a) = 0, (3.16)
0
d1 y(b) + d2 y (b) = 0. (3.17)
Zb
y(x) = dξ g(x, ξ)f (ξ) , (3.18)
a
Zb Zb
h y, Lx φi = dξ hg(x, ξ), Lx φ(x)ix f (ξ) = dξ hLx g(x, ξ), φ(x)ix f (ξ)
a a
Zb Zb
= − dξ hδ(x − ξ), φ(x)ix f (ξ) = − φ(ξ)f (ξ) = −h f, φi,
a a
tales que
c1 y1 (a) + c2 y10 (a) = 0, (3.23)
d1 y2 (b) + d2 y20 (b) = 0. (3.24)
Se sigue que u1 y1 (x) y u2 y2 (x), con u1 y u2 constantes, son las soluciones mas generales a
(3.22,3.23) y (3.22,3.24), respectivamente. Nótese que y1 y y2 deben ser linealmente indepen-
dientes porque de lo contrario tendremos y1 = αy2 y y1 logrará entonces satisfacer las condiciones
Zξ+ε
d dg
= dx p(x) + q(x)g
dx dx
ξ−ε
ξ+ε Zξ+ε
dg(x, ξ)
= p(x) + dxq(x)g(x, ξ)
dx ξ−ε
ξ−ε
y por lo tanto
Zξ+ε Zξ+ε
p(ξ + ε)g 0 (ξ + ε, ξ) − p(ξ − ε)g 0 (ξ − ε, ξ) + dxq(x)g(x, ξ) = − dxδ(x − ξ) = −1. (3.27)
ξ−ε ξ−ε
En el limite ε → 0 tendremos
Zξ+ε
lim dxq(x)g(x, ξ) = 0
ε→0
ξ−ε
p(ξ)[g 0 (ξ + , ξ) − g 0 (ξ − , ξ)] = −1 ,
de donde se sigue
x=ξ + 1
g 0 (x, ξ)|x=ξ− = − . (3.28)
p(ξ)
De (3.25) y (3.28) se desprende
1
u2 (ξ)y20 (ξ) − u1 (ξ)y10 (ξ) = − . (3.29)
p(ξ)
Finalmente, resolviendo algebraicamente las ecuaciones (3.26) y (3.29) encontramos
y2 (ξ)
u1 (ξ) = − (3.30)
p(ξ)W (y1 , y2 , ξ)
y1 (ξ)
u2 (ξ) = − (3.31)
p(ξ)W (y1 , y2 , ξ)
donde
W (y1 , y2 , ξ) = y1 (ξ)y20 (ξ) − y2 (ξ)y10 (ξ), (3.32)
es el Wronskiano de y1 y y2 , claramente diferente de cero puesto que y1 y y2 son linealmente
independientes.
Se sigue entonces que la función de Green, solución elemental del problema de contorno
(3.19,3.20,3.21) viene dada por
con Θ la función de Heaviside y u1 y u2 dados por (3.30) y (3.31). Por supuesto, (3.19) deberá
entenderse en el sentido de las distribuciones. Ası́, para φ(x) ∈ D(a, b) se tiene
donde hemos usado el hecho de que Lx es autoadjunto, y por lo tanto (3.33) será solución de (3.19)
si y solo si
hg(x, ξ), Lx φ(x)i = −φ(ξ), ∀φ(x) ∈ D(a, b).
Es fácil verificar que (3.33) satisface la igualdad anterior suponiendo que y1 y y2 satisfacen Lx y1 =
0 = Lx y2 . Se deja como ejercicio propuesto.
Ejemplo 25
Considere el problema de encontrar la función de Green asociada al problema de contorno
y 00 = −x , 0 < x < 1,
y1 = x y y2 = x − 1,
donde
−(ξ − 1)
u1 (ξ) = =1−ξ
ξ − (ξ − 1)
y
−ξ
u2 (ξ) = = −ξ.
ξ − (ξ − 1)
De aquı́ que la función de Green g asociada al problema venga dada por
Lx y = −f (x) (3.34)
con Lx dado por (3.10) y las condiciones de contorno no homogéneas con mezcla
se sigue (por superposición) que el problema (3.34,3.10,3.35,3.36) tiene como única solución
Zb
α2 α1
y(x) = G(x, ξ)f (ξ)dξ + u1 (x) + u2 (x) . (3.39)
U2 u 1 U1 u2
a
d2 d F (t) d
2
x(t) + 2λ x(t) + ω 2 x(t) = , t > 0, x(0) = 0, x(0) = b, (3.40)
dt dt m dt
que representa el movimiento de un oscilador armónico amortiguado bajo la acción de una
fuerza externa F (t). Supondremos que F (t) = 0 para t < 0.
0
(a) Encuentre la inversa en D+ del operador
d2 d
2
+ 2λ + ω 2 .
dt dt
Trate los casos ω 2 > λ2 (subamortiguado) y ω 2 < λ2 (sobreamortiguado).
(b) De la solución al problema planteado en (3.40) en términos de la función de Green
encontrada en la parte 1a.
d2
y(x) + κ2 y(x) = −f (x), 0 < x < L, y(0) = y(L) = 0.
dx2
(b)
d 2 d
(x y) − n(n + 1)y = −f (x), 0 < x < a, y(0) = y(a) = 0.
dx dx
3. Encuentre la función de Green solución al problema de contorno
d d
(x g) = −δ(x − ξ), 0 < x, ξ < 1,
dx dx
g < ∞, g = 0.
x=0 x=1
d 2 d
(x g) − λ2 x2 g = −δ(x − ξ), 0 < x, ξ < ∞ ;
dx dx
g(0, ξ) < ∞ para x → 0 , g(x, ξ) → 0 para x → ∞ ;
donde λ es una constante real.
Referencias
L. Schwartz, Mathematics for the Physical Sciences. Hermann, Paris (1968).
I. Stakgold, Green’s functions and Boundary Value Problems. Wiley, New York (1979).
E. Butkov, Mathematical Physics. Addison-Wesley, (1968).
4.1 Introducción
Considérese la ecuación diferencial parcial de orden p, en n variables independientes x1 , x2 , · · · , xn ,
dada por
Du = f (x), (4.1)
donde
X
D= ak (x)Dk (4.2)
|k|≤p
con
Dk = (∂1 )k1 (∂2 )k2 · · · . (∂n )kn (4.3)
y
|k| = k1 + k2 + · · · + kn . (4.4)
Tanto los coeficientes {ak (x)} como la función f (x) se suponen conocidos.
Queremos encontrar la solución u de (4.1), bajo el requerimiento de que satisfaga ciertas condi-
ciones subsidiarias. Suponga que queremos asociar “datos iniciales” a (4.1). Para ello, asignamos
valores a u y sus derivadas normales de orden ≤ p − 1 sobre una hipersuperficie Σ. Este tipo de
datos iniciales se conoce como data de Cauchy y el problema de valores iniciales resultante como el
problema de Cauchy para D. Si lo que queremos es encontrar la solución de (4.1) en un dominio Ω
que satisface condiciones de frontera, esto es, que u y/o sus derivadas normales (ó combinaciones
de ambas) tengan un comportamiento prescrito en la frontera ∂Ω de Ω, entonces el problema se
dice de contorno o con condiciones en la frontera.
Para problemas en los que la solución buscada debe satisfacer ciertas condiciones, en general,
deberemos considerar los siguientes puntos:
53
54 Ecuaciones Diferenciales Parciales
iii ¿Depende la solución en forma continua de la data ? Esto es, cambios pequeños en los valores
prescritos por las condiciones subsidiarias, ¿producen cambios pequeños en la solución?
Si la respuesta a estas 3 preguntas es afirmativa se dice que el problema esta “bien planteado”.
Puesto que estamos interesados en resolver el problema de Cauchy (entre otros), vamos a
introducir algunos conceptos importantes en relación a este. Considérese un punto P ∈ Σ siendo
Σ una hipersuperficie suave. Puesto que Σ es suave podemos introducir un sistema de coordenadas
{ξ 1 , · · · , ξ n−1 }, (n − 1)−dimensional para etiquetar los puntos de Σ en un entorno de P . Sea ξ 0
la coordenada a lo largo de la normal a Σ en P . Tendremos que (ξ 0 , ξ 1 , · · · , ξ n−1 ) será entonces
un sistema de coordenadas normal para todos aquellos puntos cercanos a P . Es claro que Σ es la
superficie coordenada ξ 0 = 0 y P es el punto (0, 0, · · · , 0)
De la data de Cauchy sobre Σ se conocen
∂u ∂ p−1 u
u(0, ξ 1 , · · · , ξ n−1 ), (0, ξ 1
, · · · , ξ n−1
), · · · , (0, ξ 1 , · · · , ξ n−1 ).
∂ξ 0 ∂ξ 0 p−1
Si Σ es lo suficientemente suave, podemos calcular sobre Σ las derivadas de cualquier orden con res-
pecto a las coordenadas tangenciales y las derivadas de orden ≤ p − 1 con respecto a la coordenada
normal. Retornando a las variables originales
∂u ∂u ∂ξ j
=
∂xi ∂ξ j ∂xi
y se tendrá que cualquier derivada m-ésima con respecto a las coordenadas x involucra solo deri-
vadas de orden ≤ m con respecto a las coordenadas ξ.
Puesto que las derivadas de orden ≤ p − 1 con respecto a las coordenadas ξ se conocen a partir
de la data de Cauchy, se desprende entonces, que todas las derivadas de orden ≤ p − 1 con respecto
a las coordenadas x se conocen a partir de la data de Cauchy. Para construir la solución u en
p
puntos cercanos a P pero no sobre Σ, las derivadas ∂ p /∂ξ 0 en P se espera vengan determinadas
por Du = f (x), pero esto no será posible si Du en P se puede determinar por completo a partir
de la data de Cauchy.
se dice lineal si g(x, y, u) = c(x, y) u+d(x, y) y se dice semilineal si g(x, y, u) depende no-linealmente
de u.
Sean P y Q dos puntos vecinos, P (x, y) y Q(x + dx, y + dy), sobre Γ. Se sigue que
o
b(P )dx − a(P )dy 6= 0.
Por lo tanto, la curva Γ será caracterı́stica en P = (x, y) si y solo si
Integrando la ecuación (4.6), se obtiene una familia de curvas que son las curvas caracterı́sticas de
(4.5).
Como una ilustración muy sencilla, consideremos la ecuación
∂x u + ∂t u + σu = 0 (4.7)
donde σ ≥ 0. Se sigue de (4.6) que (4.7) será caracterı́stica sobre la familia de curvas x−t = C, con
C constante. El problema usual de Cauchy asociado a (4.7) involucra data dada sobre la “curva
inicial” t = 0, que no es caracterı́stica en ningún punto.
Queremos resolver (4.7) para t > 0 y −∞ < x < ∞, sujetos a la condición inicial u(x, 0) = f (x)
con f (x) conocida pero arbitraria. Como lo sugieren las curvas caracterı́sticas de la ecuación,
haciendo el cambio de variables
α = x − t, β = x + t,
se tiene
σ
∂β u + u = 0,
2
cuya solución viene dada por
u(x, t) = F (x − t)e−σ(x+t)/2 .
Finalmente, exigiendo que se cumpla la condición inicial u(x, 0) = f (x), tendremos
en caso contrario se dice que es semilineal. Aquı́ supondremos que u y los coeficientes son derivables
con continuidad dos veces.
La clasificación de las ecuaciones de segundo orden se basa en la posibilidad de reducir (4.9),
bajo una transformación de coordenadas adecuada, a una forma canónica o estándar.
Consideremos a continuación el problema de Cauchy. Entonces, u y su derivada normal sobre
una curva suave Γ son conocidas. Por lo tanto, ∂x u y ∂y u sobre Γ son conocidas. Como antes,
sean P y Q dos puntos vecinos sobre Γ, entonces
1. b2 − 4ac > 0 en P , hay por lo tanto dos direcciones caracterı́sticas en P y la ec. (4.9) se dice
hiperbólica en P .
3. b2 − 4ac < 0 en P , no existe curva real que satisfaga (4.11) y no hay curva caracterı́stica en
P . La ec (4.9) se dice elı́ptica en P .
Debe hacerse énfasis en que si los coeficientes no son constantes, la ecuación puede ser de
diferentes tipos en varias partes del plano. En lo que sigue ilustraremos el uso de las curvas
caracterı́sticas para transformar (4.9) a la denominada forma canónica.
en virtud de (4.11). Otro tanto puede hacerse con C, esta vez utilizando ϕ2 , obteniéndose C = 0.
Por otro lado, es fácil ver que bajo la transformación de coordenadas considerada se tiene que
B 6= 0. Ası́, (4.14) se reduce a
G1
∂ξ ∂η u = G2 ≡ . (4.15)
B
La ecuación (4.15) es la denominada primera forma canónica para las ecuaciones hiperbólicas. Si
definimos dos nuevas variables independientes
α=ξ+η y β = ξ − η, (4.16)
(4.15) se transforma en
∂α ∂α u − ∂β ∂β u = G3 (α, β, u, ∂α u, ∂β u) (4.17)
que se conoce como la segunda forma canónica de las ecuaciones hiperbólicas.
Ejemplo 26
La ecuación de onda en (1+1)-dimensiones, ∂t ∂t u − ∂x ∂x u = 0, es una ecuación del tipo hiperbólico
y se dice que es t-hiperbólica.
Supongamos ahora que b2 − 4ac = 0. Entonces de (4.11) solo obtenemos una familia real de
caracterı́sticas ξ = c1 = const. y procediendo de la misma manera que en el caso anterior se tiene
A = 0, de donde se sigue que
1 1
2
a (∂x ξ)2 + b∂x ξ∂y ξ + c (∂y ξ)2 = a 2 ∂x ξ + c 2 ∂y ξ = 0,
∂η ∂η u = G3 (ξ, η, u, ∂ξ u, ∂η u) (4.18)
donde G3 ≡ G1 /C, con C 6= 0. La expresión (4.18) define la denominada forma canónica de las
ecuaciones parabólicas.
Ejemplo 27
La ecuación de difusión en (1+1)-dimensiones, ∂t u − ∂x ∂x u = q(x, t), es una ecuación del tipo
hiperbólico y se dice que es t-parabólica.
Por ultimo, consideremos el caso b2 −4ac < 0. La ec (4.11) no tiene soluciones reales, pero tiene
dos soluciones complejas conjugadas que son funciones complejas continuas de variables reales x, y.
Ahora ξ y η son complejas e introduciendo las nuevas variables reales
1 1
α = (ξ + η) y β= (ξ − η), (4.19)
2 2i
se tendrá
ξ = α + iβ y η = α − iβ (4.20)
y la ec (4.14) tendrá la forma
donde
Ahora, al igual que en el caso hiperbólico, tenemos que A = C = 0 lo que a su vez implica
(A − C) + iB = 0,
(A − C) − iB = 0,
∂α ∂α u + ∂β ∂β u = D2 (α, β, u, ∂α u, ∂β u) (4.22)
donde D2 ≡ D/A. La expresión (4.22) define a la denominada forma canónica para las ecuaciones
elı́pticas.
Ejemplo 28
La ecuación de Laplace en (2)-dimensiones, ∂x ∂x u + ∂y ∂y u = 0, es una ecuación del tipo elı́ptico.
Note que una ecuación diferencial parcial dada, puede ser de diferentes tipos en diferentes
regiones.
Ejemplo 29
Considérese la ecuación de Tricomi
∂x ∂x u + x∂y ∂y u = 0,
para la cual b2 − 4ac = −4x. Por lo tanto, dicha ecuación es hiperbólica para x < 0 con forma
canónica
∂ξ u − ∂η u
∂ξ ∂η u =
6 (ξ − η)
3y 3
y elı́ptica para x > 0 con forma canónica (haciendo el cambio de variables α = 2
y β = −x 2 )
1
∂α ∂α u + ∂β ∂β u = − ∂β u.
3β
Si la forma canónica de una ecuación diferencial parcial es simple, entonces su solución general
puede ser encontrada con relativa facilidad. Veamos algunos ejemplos.
Ejemplo 30
La ecuación del tipo hiperbólico
∂x ∂x u − ∂y ∂y u = 0,
bajo la transformación ξ = 12 (x + y), η = 12 (x − y), puede ser llevada a la primera forma canónica
∂ξ ∂η u = 0.
Esta última puede ser integrada fácilmente, obteniéndose u = F (η) + G(ξ), con F y G arbitrarias
y por lo tanto
u(x, y) = F (x + y) + G(x − y) .
Ejemplo 31
Considérese la ecuación
x2 ∂x ∂x u + 2xy∂x ∂y u + y 2 ∂y ∂y u = 0.
Puesto que
b2 − 4ac = 4x2 y 2 − 4x2 y 2 = 0,
es del tipo parabólico. De (4.11) se sigue que las tangentes caracterı́sticas vienen dadas por
dy y
= ,
dx x
Clasificación
1. La ecuación (4.23,4.24,4.25) se dice x1 -hiperbólica si la ecuación
X
ak pk = 0,
|k|=2
tiene 2 raı́ces reales distintas para todo sistema de números reales {p2 }.
Ejemplo 32 n
La ecuación de onda, u ≡ ∂1 ∂1 u − ∂j ∂j u = 0 , es x1 -hiperbólica.
P
j=2
3. Por último tenemos las ecuaciones parabólicas que no están caracterizadas solo por la parte
principal de D. La ecuación (4.23,4.24,4.25) se dice x1 -parabólica si puede ser escrita como
X
∂1 u − ak Dk u = f,
|k| ≤ 2
k1 = 0
Este problema puede ser reemplazado por el siguiente sistema de EDP’s de primer orden
∂i φ = Ai , ∂i Aj − ∂j Ai = 0, ∂i Ai = 0, i, j = t, x,
como puede verificarse fácilmente. Sin embargo, las EDP’s de segundo orden semilineales permiten
una caracterización conveniente de muchos problemas de interés. Las EDP’s hiperbólicas proveen
una descripción causal con velocidad de propagación < ∞, mientras que las EDP’s parabólicas lo
hacen también de manera causal pero con velocidad de propagación infinita. Por otro lado, sistemas
en estado estacionario en los que no hay propagación pueden ser representados por campos que
satisfacen EDP’s elı́pticas. Por supuesto, a un nivel fundamental todas las EDP’s que aparecen
en fı́sica son hiperbólicas y la descripción de un sistema fı́sico en términos de EDP’s elı́pticas o
parabólicas debe entenderse en todo caso como una aproximación o comportamiento limite del
sistema.
6. Considere la E.D.P.
y∂x ∂x u + x∂y ∂y u = 0.
Encuentre la forma canónica en cada uno de los dominios donde su tipo se conserva.
Ayuda: en el segundo y cuarto cuadrantes la ecuación es del tipo hiperbólico y en el primer
y tercer cuadrantes la ecuación es elı́ptica.
Referencias
I. Stakgold, Green’s functions and Boundary Value Problems. Wiley, Interscience, New York
(1979).
T. Myint-U, Partial Differential Equations for Scientists and Engineers. Pearson Education POD
(1987).
R. Courant and D. Hilbert, Methods of Mathematical Physics, Vols. I and II, Wiley, Interscience,
New York (1966).
Y.Choquet-Bruhat, C. De Witt-Morette and M. Dillard-Bleick, Analysis, Manifolds and Physics,
Part 1. North Holland. 1982.
El problema de Cauchy
65
66 Ecuaciones Diferenciales Parciales
Zx+t
1 1
u(x, t) = [f1 (x + t) + f1 (x − t)] + dξf2 (ξ). (5.6)
2 2
x−t
La ec.(5.6) se conoce como la solución de d’Alambert para el problema de Cauchy (5.1, 5.2)
homogéneo, esto es, con q = 0.
Ahora bien, para el problema (5.1, 5.2) con q 6= 0 queremos encontrar una solución que sea
causal con respecto a la variable temporal t. Busquemos la solución fundamental G, solución al
problema
(∂t ∂t − ∂x ∂x )G = G = δ(t)δ(x), −∞ < x, t < ∞, (5.7)
y que satisface
G ≡ 0, ∀t < 0. (5.8)
G es la función de Green o propagador para el problema de valores iniciales considerado.
Ahora bien, como se desprende de (5.7), para x > 0 (ó x < 0) G satisface
G = 0, (5.9)
G = f (x + t) + h(x − t),
con f y h funciones ordinarias derivables dos veces, pero por lo demás arbitrarias. Vamos a
demostrar que G = 21 [Θ(x + t) − Θ(x − t)] es solución en el sentido de las distribuciones de (5.9).
Sea ψ = ψ(x, t) ∈ D. Entonces,
esto es,
Z∞ Z∞
hΘ(x + t), ψi = dt dx (∂t ∂t − ∂x ∂x )ψ(x, t).
−∞ −t
1 1
Haciendo u = 2
(t − x) y v = 2
(t + x), encontramos
Z∞ Z∞ Z∞ Z∞
dt dx (∂t ∂t − ∂x ∂x )ψ(x, t) = 2 dv du ∂u ∂v ψ(u, v) = 0,
−∞ −t 0 −∞
hΘ(x + t), ψi = 0.
esto es,
Z∞ Z t
1
hG, ψi = dt dx ψ.
2
0 −t
esto es, G(x, t) tiene soporte en el interior del cono Γ+ = {(x, t) : x2 ≤ t2 , t ≥ 0} y es por lo tanto
un elemento del algebra D0 (Γ+ ).
Se puede verificar con facilidad que la solución de la ecuación inhomogénea con data inicial
nula
∂t ∂t ω − ∂x ∂x ω = q(x, t), −∞ < x < ∞, t > 0,
ω(x, 0) = ∂t ω(x, 0) = 0,
viene dada por
Z∞ Z∞
ω(x, t) = dτ dξ G(x − ξ, t − τ ) Θ(τ ) q(ξ, τ ), (5.12)
−∞ −∞
con G dada por (5.10). La interpretación de G como propagador se sigue directamente de (5.12),
ya que G propaga el efecto de la fuerza externa q en el punto (ξ, τ ) al punto (x, t). De (5.12) y
(5.11) se sigue que
Z t x+(t−τ
Z )
1
ω(x, t) = dτ dξ q(ξ, τ )
2
0 x−(t−τ )
y G propaga entonces de manera causal (t − τ > 0) y con velocidad finita (|x − ξ| < t − τ ) el efecto
de q.
Finalmente, la solución general de (5.1, 5.2) viene dada por
Zx+t Z t x+(t−τ
Z )
1 1 1
u(x, t) = [f1 (x + t) + f1 (x − t)] + dξf2 (ξ) + dτ dξ q(ξ, τ ). (5.13)
2 2 2
x−t 0 x−(t−τ )
es solución de (5.14, 5.15) para q = 0, en la región x < t, como puede verificarse fácilmente.
La solución de (5.14, 5.15) para q 6= 0 implica encontrar la función de Green G = G(x, t; ξ, τ ),
kernel elemental del operador ∂t ∂t − ∂x ∂x ,
con G dada por (5.10). G dada por (5.20) puede ser obtenida por el denominado método de las
imágenes, esto es, notando que es posible satisfacer la condición de contorno G|x=0 = 0 colocando
fuentes imagen en x = ±ξ. De esta forma el problema (5.14, 5.15) paraf1 = f2 = 0, tiene como
solución
Z∞ Z∞
u(x, t) = dτ dξ G (x, t; ξ, τ ) q(ξ, τ ). (5.21)
0 0
Finalmente, la solución al problema no homogéneo con condiciones iniciales no nulas viene dada por
la suma de la solución al problema homogéneo con condiciones no nulas mas la solución particular
provista por (5.21).
Otro problema interesante para la cuerda semi-infinita es el de una condición de contorno
no-homogénea. Por ejemplo:
........... ..
...........
.... ...
...
.
Caja 5.1: Transformadas de Laplace
0 0
y por lo tanto
Z∞ Z∞ Z∞ Z∞
dveivt0 F̃u (iv) = dveivt0 f˜ (u + iv) = dte−ut f (t) dve−iv(t−t0 ) . (5.25)
−∞ −∞ 0 −∞
Por lo tanto,
Z∞ u+i∞
Z
1 1
f (t0 ) = dv e(u+iv)t0
f˜(u + iv) = ds est0 f˜(s), t0 > 0. (5.27)
2π 2πi
−∞ u−i∞
La ecuación (5.27) es la inversión de (5.24) y la integral se toma sobre una lı́nea vertical
en el semiplano derecho de analiticidad.
Para distribuciones, la expresión (5.24) sugiere la siguiente definición.
y T̃s tendrá sentido siempre y cuando el miembro derecho de (5.28) tenga sentido.
Z∞ Zt
h(t) = dτ Θ(t − τ )f (t − τ )Θ(τ )g(τ ) = dτ f (t − τ )g(τ ). (5.29)
−∞ 0
Multiplicando ambos lados de (5.22) por e−st e integrando en t desde 0 hasta ∞ obtenemos
Z∞ Z∞
dt e (∂t ∂t ω − ∂x ∂x ω) = dt e−st ∂t ∂t ω − e−st ∂x ∂x ω .
−st
0 0
Ahora bien
e−st ∂t ∂t ω = ∂t e−st ∂t ω + s ∂t e−st ω + s2 e−st ω.
De aquı́ que
Z∞ Z∞
dt e−st ∂t ∂t ω = dt ∂t e−st ∂t ω + s ∂t e−st ω + s2 e−st ω ,
0 0
Z∞
−st
∞ ∞
= e ∂t ω 0 + s e−st ω 0 + s2 dte−st ω,
0
2
= s ω̃ (x, s) .
y por lo tanto
2 d2
s ω̃ − 2 ω̃ = 0. (5.31)
dx
De la condición de contorno se tiene
Z∞
ω̃(0, s) = h̃(s) = dte−st h(t). (5.32)
0
Resolviendo (5.31, 5.32) bajo los requerimientos lim ω̃(x, s) = 0 y <e{s} > 0, obtenemos
x→∞
Queremos a continuación invertir (5.33) para x > 0. Ahora bien, de (5.28) se sigue que
−st
[δ(t − x)]∼
s ≡ hδ(t − x), e it = e−sx . (5.34)
De (5.33), (5.34) y del teorema de convolución para transformadas de Laplace (5.30), se sigue que
ω(x, t) viene dada por
Para r < t, u dada por (5.43) no es solución de (5.38), (5.42), puesto que f1 y f2 no se conocen
para r < t . De (5.40) y (5.41) se desprende que U (0, t) ≡ 0 para que u(r, t) esté acotada en r = 0
para t ≥ 0. Siguiendo el razonamiento que nos llevó a (5.17), tendremos
Zt+r
1 1
U (r, t) = [(r + t)f1 (r + t) − (t − r)f1 (t − r)] + dξ ξ f2 (ξ), (5.44)
2 2
t−r
La función de Green o propagador, solución al problema (5.48, 5.49), se puede encontrar fácilmente
empleando transformadas de Fourier.
........ ..
...........
..... ...
... ...
Caja 5.2: Transformadas de Fourier
Definición 11 Sea f (x) una función con valores complejos de la variable real x,
que se anula “suficientemente” rápido para |x| → ∞. Entonces,
Z∞
1
f (x) = dω e−iωx fˆ(ω) (5.51)
2π
−∞
donde
Z∞ Z∞
fˆ(ω) = iωξ
dξ e f (ξ) = dx eiωx f (x), ω real. (5.52)
−∞ −∞
que es valida incluso si ϕ 6∈ Dω con tal que ϕ sea localmente sumable. (5.54) se
conoce como la fórmula de Parseval y sugiere la siguiente definición
ahora bien
dk
Z Z
k iξω
dω(iω) e ϕ(ω) = k dω eiξω ϕ(ω),
dξ
esto es
[(iω)k ϕ(ω)]∧ξ = (ϕ̂(ξ))(k)
y por lo tanto
h(Tx(k) )∧ω , ϕ(ω)iω = (−1)k hTx , [(iω)k ϕ(ω)]∧x ix = hTω∧ , (−iω)k ϕ(ω)iω
= h(−iω)k Tω∧ , ϕ(ω)iω ,
Z
= dξ ϕ(ξ) = h1, ϕiξ ,
Ejemplo 36
A continuación, considérese la distribución T = 1, que es obviamente una distri-
bución acotada. De (5.57) con k = 1 se sigue que
0 = −ix1∧ .
1∧ = cδ.
Z∞ Z∞ Z∞ Z∞ Z∞
−iωx −iωx iωξ
dω e ϕ̂(ω) = dω e dξ e ϕ(ξ) = dω dξ eiω(ξ−x) ϕ(ξ),
−∞ −∞ −∞ −∞ −∞
Z∞ Z∞ Z∞
= dω dy eiωy ϕ(y + x) = dω[ϕ(y + x)]∧ω ,
−∞ −∞ −∞
∧ ∧
= h1, [ϕ(y + x)] iω = h1 , ϕ(y + x)iy ,
= hc δy , ϕ(y + x)i = c ϕ(x)
1∧ = 2πδ.
Ejemplo 37
La distribución Θ(x) puede considerarse como el lı́mite para ε → 0 de Θ(x)e−εx .
De aquı́ que
∧
−iΘ∧ = lim −iΘe−εx
ε→0
Z∞
−i
= lim(−i dxeiωx e−εx ) = lim
ε→0 ε→0 ω − iε
0
ω ε
= lim 2 2
− i lim 2 .
ε→0 ε + ω ε→0 ε + ω 2
[S T ]∧ = Ŝ ∗ T̂ . (5.64)
y
Z∞
1
δ(x) = dω e−iωx (5.66)
2π
−∞
en (5.48), se encuentra
d ∧
G (ω, t) + ω 2 G∧ (ω, t) = δ(t). (5.67)
dt
Por otro lado, la condición (5.49) se transforma en
Ası́,
d 2
G∧ (ω, t) = ( δ(t) + ω 2 δ(t))−1 = Θ(t)e−ω t , (5.69)
dt
e invirtiendo
Z∞
1 2
G(x, t) = dω e−iωx Θ(t)e−ω t . (5.70)
2π
−∞
Se sigue que
Z∞ 2 Z∞ 2
1 1
ix ix
−iωx −ω 2 t ωt1/2 +
G(x, t) = Θ(t) dω e e = Θ(t)e 2t1/2 dω e 2t1/2
2π 2π
−∞ −∞
2
− x4t Z
1 e 2
= Θ(t) 1/2 dz e−z ,
2π t
Γ
donde Γ = {z = u + iv : −∞ < u < ∞, v = x/(2t1/2 )}. Ahora bien, puesto que el integrando es
una función analı́tica se tendrá que I
2
dt e−z = 0
y por lo tanto
x x
R+i −R+i
ZR Z 2t1/2 Z 2t1/2
2
Z−R
−u2 2 2 −u2 + x4t 2 +v 2
du e +i dv e−R +v e2iRv + du e +i dv e−R ei2Rv = 0.
−R −R x x
R+i −R+i
2t1/2 2t1/2
Para R → ∞ se tiene
−R+i x −R+i x
Z 2t1/2 Z−R Z 2t1/2
−R2 2 2 2+ x
1/2
π + lim e i dv ev e−i2Rv + dv ev ei2Rv + lim du e−u = 0,
4t
R→∞ R→∞
x x
R −R+i 1/2 R+i 1/2
2t 2t
esto es,
Z
2
π 1/2
− dz e−z = 0.
Γ
Por lo tanto,
x2
e− 4t
G(x, t) = Θ(t) √ . (5.71)
4πt
G(x−ξ, t−τ ), con G(x, t) dado por (5.71), es el kernel elemental en (x, t) para el operador ∂t −∂x ∂x
en R2 y se le conoce como el kernel de Gauss.
Definición 15 Un kernel sobre Rn es una distribución sobre Rn × Rn , esto es, un elemento del
dual D0 (Rn × Rn ) de las funciones de prueba definidas sobre Rn × Rn .
Nótese que ésta función de Green es causal, sin embargo el tipo de causalidad es diferente al
de (5.10): G(x, t) dada por (5.71) propaga de manera instantánea o con velocidad infinita, como
se sigue del hecho de que G(x − ξ, t − τ ) es diferente de cero siempre y cuando t − τ ≥ 0.
Finalmente, es interesante ver como toma (5.50) los valores iniciales. Por simplicidad supon-
gamos q = 0, entonces
Z∞ 2
e−x /4t
u(x, t) = dξ G(x − ξ, t)f (ξ) = √ ∗ f (x) (5.72)
4πt
−∞
para t > 0. Ahora, en el sentido de las distribuciones se tiene que (Ejemplo 13)
2
e−x /4t
lim+ √ = δ(x)
t→0 4πt
y por lo tanto
lim u(x, t) = δ(x) ∗ f (x) = f (x).
t→0
con G(x, t) dado por (5.71). La solución de (5.73) (5.74) vendrá dada entonces por
Z∞ Z∞ Z∞
u(x, t) dτ dξ G(x, ξ, t, τ ) Θ(τ ) q(ξ, τ ) + dξ G(x, ξ, t, 0) f (ξ). (5.76)
−∞ 0 0
El problema de valores iniciales con condiciones de contorno mas generales será tratado en el
próximo capı́tulo.
1 ∞
Z
−s|x−ξ| 1
ũ(x, s) = dξ e f1 (ξ) + f2 (ξ)
2 −∞ s
donde I0 es la función de Bessel modificada de primer tipo y orden cero. Para ello,
√
∼ p
1 exp(−k s(s + a))
Θ(t − k)e−at/2 I0 ( a t2 − k 2 ) = p , k ≥ 0.
2 s s(s + a)
(b) aplique transformada de Fourier en la variable x a la ecuación para G(x, t), obtenga
Ĝ(ω, t) e invierta usando
h √ i∧ exp(−b√a2 − ω 2 )
Θ(x − b)J0 (a x2 − b2 ) = √ ,
ω a2 − ω 2
Z∞ Z∞
u(x, t) = dτ dξ G(x, ξ, t, τ ) Θ(t)q(ξ, τ )
−∞ 0
Z∞ Z∞
d
+ dξ G(x, ξ, t, 0) f2 (ξ) + dξ G(x, ξ, t, 0) f1 (ξ).
dt
0 0
u(x, 0) = 0, 0 ≤ x < ∞;
Referencias
L. Schwartz, Mathematics for the Physical Sciences. Hermann, Paris (1968).
I. Stakgold, Green’s functions and Boundary Value Problems. Wiley, Interscience, New York
(1979).
E. Butkov, Mathematical Physics. Addison-Wesley, Reading, Mass. (1968).
En este capı́tulo consideraremos el problema de contorno y valores iniciales para las EDP’s del tipo
hiperbólico y parabólico. Por simplicidad, nos restringiremos a aquellos problemas que involucran
a las ecuaciones de onda y de difusion en (1 + 1)-dimensiones.
85
86 Ecuaciones Diferenciales Parciales
∂u
2. La condición de Neumann: se prescribe la derivada direccional ∂n
de u a lo largo de la
normal externa n a la frontera ∂Ω sobre dicha frontera, ∀x0 ∈ R1+ .
∂u
3. La condición mixta: se prescribe ∂n
+ hu sobre la frontera ∂Ω, con h continua, ∀x0 ∈ R1+ .
4. La condición de Robin: se prescribe una condición en una parte de la frontera y otra
condición en el resto.
Entre las técnicas mas sencillas para resolver cierto tipo de problemas con condiciones de
contorno se encuentra el método de separación de variables. Introduciremos aquı́ dicho método,
examinando las condiciones que se deben cumplir para su aplicabilidad en la resolución del pro-
blema de contorno que involucra a las EDP’s de segundo orden. Posteriormente, después de haber
considerado algunos ejemplos especı́ficos, se discutirán sobre bases mas rigurosas la existencia y
unicidad de las soluciones obtenidas.
Consideremos la ecuación de segundo orden en dos variables independientes
a(x, y)∂x ∂x u + b(x, y)∂x ∂y u + c(x, y)∂y ∂y u + F (∂x u, ∂y u, u, x, y) = 0 , (6.5)
que se dice lineal si
F (∂x u, ∂y u, u, x, y) = d∂x u + e∂y u + f u + g. (6.6)
La aplicación del método de separación de variables requiere que la EDP sea lineal y homogénea
y por lo tanto F deberá ser como en (6.6) con g = 0. Además, en general, será necesario llevar
(6.5) a la forma canónica, salvo en aquellos casos en los que los coeficientes sean constantes. Bajo
estas premisas consideremos entonces la EDP lineal y homogénea de segundo orden dada por
a(x, y)∂x ∂x u + c(x, y)∂y ∂y u + d(x, y)∂x u + e(x, y)∂y u + f u = 0 (6.7)
que es claro será
i) hiperbólica, si a = −c
ii) parabólica, si a = 0 o c = 0
iii) elı́ptica si a = c.
La idea del método es construir la solución de (6.7) a partir de “soluciones básicas” de la forma
u(x, y) = X(x)Y (y) 6= 0. (6.8)
Sustituyendo (6.8) en (6.7) encontramos
aX 00 Y + cXY 00 + dX 0 Y + eXY 0 + f XY = 0, (6.9)
donde las primas indican derivación con respecto a la variable respectiva.
Supongamos a continuación que existe una función p(x, y) tal que dividiendo (6.9) entre el
producto p(x, y)X(x)Y (y) se obtiene
X 00 X0 Y 00 Y0
α1 + α2 + α3 = − β1 + β2 + β3 , (6.10)
X X Y Y
donde todas las αi son sólo funciones de x y todas las βi son sólo funciones de la variable y.
Ahora, puesto que las coordenadas x, y son independientes, los miembros izquierdo y derecho
de (6.10) deberán ser iguales a la misma constante, que denotaremos por λ y que denominaremos
constante de separación. Ası́, hemos llevado entonces el problema (6.7) al problema de resolver las
dos ecuaciones diferenciales ordinarias dadas por
α1 X 00 + α2 X 0 + α3 X = λX, (6.11)
β1 Y 00 + β2 Y 0 + β3 Y = −λY. (6.12)
Por supuesto, (6.8) será solución de (6.7) si X e Y son soluciones de (6.11) y (6.12) respectivamente.
Hemos establecido entonces las condiciones bajo las cuales (6.7) es separable.
Por otro lado, para que el problema de contorno sea separable es necesario que las condiciones
de contorno sean separables, lo que nos obliga a elegir un sistema de coordenadas adaptado a
la simetrı́a del problema. Por ejemplo, coordenadas cartesianas si la región Ω (en la cual u es
solución) es un rectángulo, coordenadas polares si Ω es una región circular, etc., de forma tal
que la frontera ∂Ω venga determinada al fijar una de estas variables. Además las condiciones de
contorno deberán ser tales que no involucren derivadas ni variables distintas a las escogidas bajo
el criterio anterior. Por ejemplo, la condición de contorno (u + ∂y u)|r=r0 = 0 con x = r cos ϕ y
y = r sin ϕ no es separable.
Si las condiciones de contorno son separables, las mismas definen junto a (6.11) (o (6.12)) un
problema de autovalores que determina los valores posibles de λ como los autovalores del espectro
de autovalores correspondiente y a X(x) (o a Y (y)) como las autofunciones asociadas.
X 00 − λX = 0, (6.19)
T 00 − λT = 0. (6.20)
De (6.15) y (6.16) se sigue que u(0, t) = X(0) T (t) = 0 y u(`, t) = X(`)T (t) = 0 de donde se
desprende que
X(0) = 0, X(`) = 0. (6.21)
(6.19, 6.21) especifican un problema de autovalores y debemos entonces determinar los valores de
la constante de separación λ para los cuales existen soluciones no triviales.
Es fácil ver que las soluciones al problema de autovalores (6.19, 6.21) vienen dadas por las
autofunciones nπx
Xn = sin (6.22)
`
con autovalores nπ 2
λ = λn = − , (6.23)
`
donde n es un entero positivo.
Para λ’s dados por (6.23), la solución general de (6.20) puede ser escrita en la forma
nπt nπt
Tn (t) = an cos + bn sin , (6.24)
` `
donde an y bn son constantes arbitrarias. Ası́, una solución de la ecuación diferencial (6.13) que
satisface las condiciones de contorno (6.15) viene dada por
nπt nπt nπx
un (x, t) = an cos + bn sin sin , (6.25)
` ` `
aunque claramente la misma no puede satisfacer las condiciones iniciales arbitrarias (6.14).
Ahora bien, puesto que (6.13) es lineal y homogénea, entonces la combinación lineal
∞
X nπt nπt nπx
u(x, t) = an cos + bn sin sin (6.26)
n=1
` ` `
también será solución. Dejando de lado por los momentos la convergencia de la serie de Fourier
(6.26), quedan por determinar los coeficientes an y bn y exigiendo que se cumplan las condiciones
iniciales (6.14) se sigue que
∞
X nπx
u(x, 0) = an sin = f1 (x) (6.27)
n=1
`
y
∞
X nπ nπx
∂t u(x, 0) = bn sin = f2 (x). (6.28)
n=1
` `
Multiplicando (6.27) por sin(mπx/`) e integrando en x se tiene
X∞ Z ` nπx mπx Z ` mπx
an dx sin sin = dx f1 (x) sin . (6.29)
n=1 0 ` ` 0 `
donde debemos determinar un (t). Evidentemente (6.36) satisface las condiciones (6.35). De la
misma manera, reemplazamos q(x, t) por su expansión en serie en la misma base de funciones
∞
X nπx
q(x, t) = qn (t) sin , (6.37)
n=1
`
donde Z `
2 nπx
qn (t) = dx q(x, t) sin . (6.38)
` 0 `
Sustituyendo (6.36) y (6.37) en (6.33) se tiene
∞ 2 ∞
X d nπ 2 nπx X nπx
un (t) + un (t) sin = qn (t) sin (6.39)
n=1
dt2 ` ` n=1
`
d2 mπ 2
u m (t) + um (t) = qm (t) , (6.40)
dt2 `
cuya solución viene dada por
nπt nπt
un (t) = an cos + bn sin
` `
Z t
` nπ (t − τ )
+ dτ qn (τ ) sin . (6.41)
nπ 0 `
De las condiciones iniciales (6.34) se sigue que an y bn vienen dados por (6.31) y (6.32).
Ahora, es oportuno hacer algunos comentarios sobre la convergencia de las soluciones obtenidas.
Admitiendo que los datos iniciales f1 y f2 sean continuamente derivables al menos una vez, las
series de Fourier (6.27) y (6.28) son uniformemente convergentes, aunque esto no nos dice nada
sobre la convergencia de (6.26) y (6.42) ni de la derivabilidad de u respecto a x y t hasta segundo
orden. Mas adelante veremos que las dificultades mencionadas están totalmente ausentes si se
consideran las convergencia y las derivadas en el sentido de las distribuciones ó también si se
proponen funciones f1 y f2 suficientemente derivables.
Consideremos a continuación otros tipos de condiciones de contorno. El problema de Cauchy
(6.13), (6.14) con condiciones de contorno
puede asociarse a las vibraciones longitudinales de un gas contenido en un tubo de longitud ` con
los extremos abiertos. Este se resuelve de la misma manera que el problema anterior, pero esta
vez las condiciones (6.43) imponen soluciones de la forma
nπx
Xn (x) = Cn (x) cos , (6.44)
`
autofunciones de (6.19) con autovalores
nπ 2
λn = − . (6.45)
`
El desarrollo posterior es completamente análogo al seguido para el problema (6.13), (6.14), y
(6.15). Por supuesto, f1 y f2 deben ser expandidas en serie de Fourier de cos (nπx/`).
Otro problema interesante es el problema (6.13), (6.14) con condiciones de contorno
con autovalores 2
(2n + 1) π
λn = − . (6.49)
2`
La solución al problema (6.13, 6.14, 6.46) se obtiene siguiendo los pasos dados al resolver el
problema (6.13, 6.14, 6.15), pero esta vez desarrollando las funciones f1 y f2 en la base de funciones
(6.47). Todo lo anterior es fácilmente extendible al problema no homogéneo.
Consideremos de nuevo el problema (6.33, 6.34, 6.35), esta vez empleando un tratamiento
distribucional. La función de Green asociada es la solución elemental del problema
donde G(x, t; ξ, τ ) = G(x, t−τ ; ξ) y f1o y f2o son las extensiones impares de f1 y f2 respectivamente.
El primer término del miembro derecho de (6.53) es la solución del problema no homogéneo con
condiciones iniciales homogéneas, el segundo y tercer término proveen la solución al problema
homogéneo con condiciones iniciales no homogéneas.
....... ..
...........
..... ...
... ...
Caja 6.1: Series de Fourier
Sea f (x) una función periódica definida sobre R1 con periodo 2π. Su serie de Fourier
viene dada por
∞
X
cn exp (inx) (6.54)
n=−∞
o por
∞
a0 X
+ (an cos (nx) + bn sin (nx)) (6.55)
2 n=1
Para funciones periódicas f (x) definidas sobre R1 y con periodo τ la serie de Fourier
se define como ∞
X
cn exp(i2nπx/τ ), (6.59)
n=−∞
donde Z τ /2
1
cn = dx f (x) exp(−i2nπx/τ ). (6.60)
τ −τ /2
Ahora, deberá notarse que la serie de Fourier de una función localmente integrable
f (x) no converge a f (x) en todo punto x. Esto es evidente, ya que una modificación
de f sobre un conjunto de medida nula no cambia los coeficientes de la serie de Fourier
asociada. Se puede demostrar que tampoco son posibles convergencia en la media (casi
en todas partes) y que aún suponiendo f (x) continua no hay convergencia en todo
punto x.
Considérese la función f (x) = x − π para 0 ≤ x < 2π, con f (x + 2π) = f (x) para
otros valores de x. La serie de Fourier de f (x) viene dada por
∞ X einx
X 1
−2 sin nx = i . (6.61)
n=1
n n6=0
n
o bien
∞ ∞
X 1 X −inx
δ (x − n2π) = e (6.67)
n=−∞
2π n=−∞
De (6.66) se tiene
∞ ∞
X 1 1X
δ (x − ξ − n2π) = + (cos nξ cos nx + sin nξ sin nx) (6.68)
n=−∞
2π π n=1
y de (6.67) se sigue
∞ ∞
X 1 X −in(x−ξ)
δ (x − ξ − n2π) = e (6.69)
n=−∞
2π n=−∞
Sea ϕ(x) ∈ D(−π, π), con D(−π, π) el espacio de las funciones de prueba con soporte
compacto en (−π, π). Entonces
∞ ∞
X 1 1X
h δ (x − ξ − 2nπ) , ϕ (ξ)iξ = h + (cos nξ cos nx + sin nξ sin nx) , ϕ (ξ)iξ
n=−∞
2π π n=1
y se sigue que
Z π ∞ Z π
1 X 1
ϕ(x) = dξ ϕ(ξ) + dξ cos nξ ϕ(ξ) cos nx
2π −π n=1
π −π
Z π
1
+ dξ sin nξ ϕ(ξ) sin nx . (6.70)
π −π
En (6.70) reconocemos la serie de Fourier asociada a ϕ(x).
Hemos mostrado rigurosamente que la identidad en el sentido de las distribuciones
(6.68) expresa el hecho de que el conjunto de funciones { sin nx, cos nx; n = 0, 1, 2, . . . }
es base en D(−π, π). Lo mismo puede decirse de la identidad (6.69) con respecto al
conjunto de funciones { einx ; n = 0, ±1, . . . } y a las expresiones (6.68) y (6.69) se les
conoce como relaciones de cierre o completitud. Estos resultados pueden extenderse al
espacio de Hilbert L2(r) (−π, π): el espacio de todas las funciones reales f (x) de cuadrado
... integrable definidas en el intervalo acotado −π ≤ x ≤ π.
... ...
.......... .
.
. ..........
Sea ∞
X nπx nπx
G (x, ξ; t) = Gsn (ξ; t) sin + Gcn (ξ; t) cos (6.71)
n=0
` `
y con
∞
1 1X nπξ nπx nπξ nπx
δ (x − ξ) = + cos cos + sin sin , (6.72)
2` ` n=1 ` ` ` `
esta última obtenida de la identidad (6.68) para −` ≤ x, ξ ≤ `, se sigue de (6.53) que
∞ 2 nπ 2
X d s nπx c nπx
+ Gn (ξ; t) sin + Gn (ξ; t) cos =
n=1
dt2 ` ` `
∞
!
1 1X nπξ nπx nπξ nπx
+ cos cos + sin sin δ(t). (6.73)
2` ` n=1 ` ` ` `
Ahora bien, solo las partes Gsn (ξ; t) sin nπx/` de (6.71) satisfacen las condiciones de contorno (6.52)
y por lo tanto la solución al problema (6.50-6.52) viene dada por
∞
X 1 nπξ nπx nπt
G (x, ξ; t) = Θ (t) sin sin sin . (6.76)
n=1
nπ ` ` `
Hasta ahora hemos considerado problemas con condiciones de contorno homogéneas. Consi-
deremos a continuación el problema de contorno y valores iniciales para la ecuación de onda con
condiciones de contorno no homogéneas,
De las condiciones iniciales (6.78) y las condiciones de contorno (6.79) se desprende que
....... ..
...........
..... ...
... ...
Caja 6.2: El espacio de Hilbert L2(r) (−π, π)
Definición 16 Se denota por L2(r) (−π, π) al espacio vectorial de todas las funciones
reales f (x) de cuadrado integrable definidas en el intervalo acotado −π ≤ x ≤ π, con
métrica Z π 1/2
2
d2 (f, g) =k f − g k2 = dx| f (x) − g(x) | , (6.87)
−π
donde Z π
(f, g) ≡ dx f (x)g(x) (6.89)
−π
1. d(u, v) ≥ 0,
2. d(u, v) = 0 si y solo si u = v,
3. d(u, v) = d(v, u),
4. d(u, w) ≤ d(u, v) + d(v, w).
lim d(um , un ) = 0,
n,m→∞
donde u(x) = 21 sgnx y u 6∈ C 0 (−π, π). Puesto que no existe función v ∈ C 0 (−π, π)
para la cual d2 (u, v) = 0, no existe v ∈ C 0 (−π, π) para la cual limk→∞ d2 (uk , v) = 0.
C 0 (−π, π) no es completo en la métrica d2 .
Ahora bien, el espacio de Hilbert L2(r) (−π, π) puede ser entendido como la completa-
ción o clausura de C 0 (−π, π) en la métrica (6.97). Del ejemplo anterior, es claro que
L2(r) (−π, π) contiene entonces elementos asociados con sucesiones de Cauchy no conver-
gentes en C 0 (−π, π). Cabe destacar que L2(r) (−π, π) puede ser entendido además como
la completación en la métrica (6.97) del conjunto C 1 (−π, π) de las funciones derivables
una vez en (−π, π) o también de D(−π, π), entre otras. Ası́, C 0 (−π, π), C 1 (−π, π) y
D(−π, π) son densos en L2(r) (−π, π), esto es, todo elemento de L2(r) (−π, π) puede ser
aproximado con precisión arbitraria por elementos de dichos conjuntos.
Por último enunciemos (sin demostración) el teorema de representación de Riesz, que
establece la relación entre los vectores de un espacio de Hilbert y su dual.
Teorema 1 Existe una correspondencia uno a uno entre los vectores de un espacio de
Hilbert H y su dual H0 , definida por
u ∈ H 7→ (u, ) ∈ H0 .
Esto es, a cada forma lineal continua sobre H le corresponde un único vector definido
a través del producto escalar con un elemento de H
Ası́, el dual de L2(r) (−π, π) es (o puede ser identificado con) L2(r) (−π, π) y se tienen las
siguientes inclusiones
D(−π, π) ⊂ L2(r) (−π, π)
L2(r) (−π, π) ⊂ D0 (−π, π)
... ..
... ..
.......... .
. ..........
donde f o es la extensión impar de f y g (x, t; ξ, τ ) = g (x, t − τ ; ξ, 0), con g (x, t; ξ, 0) dada por
∞
1 X −n2 π2 t/`2 nπξ nπx
g (x, t; ξ, 0) = Θ(t) e sin sin , (6.96)
` n=1 ` `
que es la solución a (6.93, 6.94). Se deja como ejercicio propuesto la obtención de (6.96).
....... ..
...........
..... ...
... ...
Caja 6.3: Bases en L2(r) (a, b)
d2
f = λf, −π < x < π;
dx2
U1 f = c1 f (−π) + c2 f 0 (−π) = 0, U2 f = d1 f (π) + d2 f 0 (π) = 0;
asociadas al autovalor λ = −n2 . Para establecer sobre bases rigurosas esta relación y
sus posibles generalizaciones, en lo que sigue daremos algunas definiciones y mostra-
remos unos pocos resultados fundamentales de la teorı́a de operadores lineales sobre
espacios vectoriales normados y metrizables. Nos restringiremos a considerar solo el
caso de los denominados operadores Hilbert-Schmidt autoadjuntos (a los cuales se ex-
tienden muchas de las propiedades de los operadores lineales sobre espacios euclı́deos)
y mostraremos que la existencia de la función de Green para el problema de contorno
(autoadjunto) implica entonces la existencia de bases ortogonales en L2(r) .
Definición 21 Denotaremos por L2(r) (a, b) al espacio vectorial de todas las funciones
reales f (x) de cuadrado integrable definidas en el intervalo acotado a ≤ x ≤ b, con
métrica Z b 1/2
2
d2 (f, g) =k f − g k2 = dx| f (x) − g(x) | , (6.97)
a
donde Z b
(f, g) ≡ dx f (x)g(x) (6.99)
a
donde k(x, ξ) es una función continua sobre L2(r) (Ω × Ω). Se dice que k(x, ξ) es un
kernel Hilbert-Schmidt y por tanto que K es un operador Hilbert-Schmidt.
K∗ f = −γf
definido por Z b
dξ k(ξ, x)f (ξ) = −γf (x), a ≤ x ≤ b,
a
se dice el adjunto del operador K, que aparece en (6.102), definido por (6.101). Si
k(ξ, x) = k(x, ξ), entonces K es autoadjunto.
de donde se sigue que si λi 6= λj entonces fi y fj son ortogonales en L2(r) (a, b). Fi-
nalmente, puede probarse que los autovalores de (6.103) son simples y que pueden ser
listados como
λ1 < λ 2 < · · · < λ n < · · ·
con λn → +∞ para n → ∞.
Supongamos ahora que λ = 0 no es un autovalor de (6.103). En términos de la función
de Green g0 (x, ξ) definida por
que es de la forma
Gf = −γf, γ = λ−1 .
Ası́, las autofunciones de (6.103) son las autofunciones de G y puesto que la función de
Green es simétrica, g0 (ξ, x) = g0 (x, ξ), se sigue que el operador integral G es un operador
Hilbert-Schmidt autoadjunto . Por otro lado, dado que el problema de contorno
(c)
2. Verifique que la ec.(6.53) es la solución para el problema planteado en las ecs.(6.33, 6.34,
6.35).
3. (a) Verifique que la ec.(6.95) es la solución para el problema planteado en las ecs.(6.90, 6.91,
6.92).
(b) Obtenga la función de Green dada por ec.(6.96), solución fundamental al problema
planteado en las ecs.(6.93, 6.94).
4. Obtenga la función de Green G(x, ξ, t), solución elemental causal al problema de contorno y
valores iniciales
G ≡ 0 para t < 0;
G|x=0 = 0, ∂x G|x=1 = 0;
donde h es una constante positiva.
Referencias
L. Schwartz, Mathematics for the Physical Sciences. Hermann, Paris (1968).
I. Stakgold, Green’s functions and Boundary Value Problems. Wiley, New York (1979).
E. Butkov, Mathematical Physics. Addison-Wesley, (1968).
Y.Choquet-Bruhat, C. De Witt-Morette and M. Dillard-Bleick, Analysis, Manifolds and Physics,
Part 1. North Holland. 1982.
Las EDP’s elı́pticas no tienen caracterı́sticas reales. Sin embargo, el problema de Cauchy no es el
indicado para estas ecuaciones ya que se obtienen existencia y unicidad solo en dominios pequeños
y en situaciones en las que todo es analı́tico; además no hay dependencia continua con la data. Es
el problema de contorno puro el que está bien planteado para las ecuaciones elı́pticas.
Ahora bien, sea Ω un conjunto abierto acotado de Rn con frontera ∂Ω regular y supongamos
que queremos encontrar la solución a un problema en Ω con condiciones de contorno prescritas
sobre ∂Ω. En (6.1) mencionamos las condiciones de contorno mas simples y usuales,
∂u
2. La condición de Neumann: se prescribe la derivada normal ∂n
sobre ∂Ω.
∂u
3. Condición mixta: se prescribe ∂n
+ hu sobre ∂Ω, con h continua.
∆u = 0
105
106 Ecuaciones Diferenciales Parciales
Para la ecuación radial (7.6) exigiremos R(0) < ∞. La ecuación (7.5) junto con las condiciones
(7.7) define un problema de autovalores, con autovalores λ = n2 y autofunciones
ó
Φn = Aeinϕ , n∈Z
De (7.6) con λ = n2 se tiene
Crn + Dr−n , n 6= 0
Rn (x) =
E + F log r, n=0
Rn = r|n| , n ∈ Z,
De (7.2) tenemos
∞
X
f (ϕ) = an einϕ , (7.9)
n=−∞
La solución al problema (7.1,7.2) viene dada entonces por (7.8), donde los an (7.10) son los coefi-
cientes de la expansión de f (ϕ) en serie de Fourier.
Es posible, en este caso, reducir la solución a una integral simple. Sustituyendo (7.10) en (7.8)
tenemos " ∞
Z π #
1 X r |n| in(ϕ−ψ) r
u(r, ϕ) = dϕf (ϕ) e , <1
−π 2π n=−∞ a a
Ahora,
∞
X ∞
X ∞
X
z |n| eina = 1 + z n eina + z n e−ina
n=−∞ n=1 n=1
∞ ∞
X n X n
= 1+ zeia + ze−ia
n=1 n=1
zeia ze−ia
= 1+ +
1 − zeia 1 − ze−ia
1 − z2
=
1 − 2z cos a + z 2
y por lo tanto
r 2
π
1−
Z
1 a r
u(r, ϕ) = dψf (ψ) , <1 (7.11)
2π r 2 a
1 − 2 ar cos (ϕ − ψ) +
−π
a
La función
1 1 − ρ2
k(ρ, ϕ) = (7.12)
2π 1 − 2ρ cos ϕ + ρ2
con Z π
1
an = dϕe−inϕ f (ϕ) (7.15)
2π −π
y autovalores
nπ 2
λ=− , n = 1, 2, . . . (7.24)
a
La solución de (7.21) es entonces
nπ
Yn (y) = sinh (y + α) (7.25)
a
y la condición u(x, b) = 0 nos lleva a exigir que Yn (b) = 0, de donde se desprende que α = −b y
por lo tanto nπ
Yn (y) = sinh (y − b) . (7.26)
a
Ası́, la solución de (7.17) es de la forma
∞ nπ
X nπx
u(x, y) = An sinh (y − b) sin (7.27)
n=1
a a
con Z π
1
qn (r) = dϕe−inϕ q(r, ϕ). (7.39)
2π −π
...... ..
...........
...... ...
.... ...
Caja 7.1: Distribuciones y transformaciones de coordenadas
la transformación y = Φ(x), esto es Φ asocia las coordenadas (y1 , · · · , yn ) con las coor-
denadas (x1 , · · · , xn ) del mismo punto. Supondremos además que la transformación es
suave. Si el Jacobiano J de la transformación es positivo en todas partes, entonces Φf
es la distribución definida por
Z
hf, φix = dn x f (x)φ(x)
n
ZRx Z
n
= d y Jf (x(y)) φ(x(y)) = dn y (Φf ) (y) ψ(y)
Rn
y Rn
y
donde (Φf ) (y) = f (x(y)) y ψ(y) ≡ J φ(x(y)). Usaremos (7.42) para definir cambios
de coordenadas en distribuciones no necesariamente regulares.
Sea
δ(x0 ) ≡ δ(x1 − x10 )δ(x2 − x20 ) . . . δ(xn − xn0 )
la distribución delta de Dirac con soporte en x0 ∈ Rn , entonces
δ(x0 ) , φ(x) x = φ(x0 ) (7.43)
Por otro lado, con y0 = y(x0 ), la consistencia con (7.42) requiere que
D E
φ(x0 ) = φ(y0 ) = (Φδ)(y0 ) , ψ(y) (7.44)
y
y por lo tanto
(Φδ)(y0 ) = J −1 δ(y0 ) , (7.45)
donde
δ(y0 ) ≡ δ(y 1 − y01 )δ(y 2 − y02 ) . . . δ(y n − y0n )
δ(r − r0 )δ(θ − θ0 )
. (7.47)
2πr sin θ
Para θ0 → 0, el anillo tiende a un punto en r = r0 , θ = 0 y la distribución δ con
soporte en dicho punto vendrá dada por
δ(r − r0 )
, (7.49)
4πr2
como se puede verificar fácilmente, y de aquı́ que la distribución δ con soporte en
el origen se escriba en coordenadas esféricas como
δ(r − r0 ) δ(r)
lim 2
= . (7.50)
r0 →0 4πr 4πr2
Debemos enfatizar que los miembros derechos de (7.48) y (7.50) deben entenderse
siempre como resultado de un limite.
... ..
... ...
..........
. ...........
n2
1 d d 1
− r Gn − 2 Gn = δ(r − r0 ) , 0 < r, r0 < 1 (7.51)
r dr dr r 2πr
n2
d d
r gn − gn = −δ(r − r0 ) , 0 < r, r0 < 1
dr dr r
gn |r=1 = 0 , gn |r=0 = acotada,
Nótese la presencia del factor r0 en la integral, que proviene del Jacobiano de la transformación.
Finalmente, la solución de (7.35,7.36) viene dada por (7.37) con vn dado por (7.58), esto es
X∞ X∞ Z 1
inϕ
v(r, ϕ) = vn (r) e = dr0 2πr0 Gn (r, r0 ) qn (r0 ) einϕ
n=−∞ n=−∞ 0
X∞ Z 1 Z π
= dr0 r0 Gn (r, r0 ) e inϕ
dϕ0 e−inϕ0 q(r0 , ϕ0 )
n=−∞ 0 −π
Z π Z 1
= dϕ0 dr0 r0 G(r, ϕ; r0 , ϕ0 )q(r0 , ϕ0 ) (7.59)
−π 0
o alternativamente por
∞
1 1 X cos n(ϕ − ϕ0 ) n n −n
G(r, ϕ; r0 , ϕ0 ) ≡ − log r> − r< r > − r> . (7.61)
2π 2π n=1 n
1 1 δ(r − r0 )δ(ϕ − ϕ0 )
∂r (r∂r G) + 2 ∂ϕ ∂ϕ G = − , 0 < r, r0 < 1 , −π < ϕ, ϕ0 < π; (7.62)
r r r
G|r=1 = 0; (7.63)
esto es, la función de Green asociada al problema (7.35,7.36). Por otro lado, partiendo de
(7.62,7.63) es fácil obtener (7.60) (o (7.61)). Se deja como ejercicio propuesto.
La solución al problema de Dirichlet interior al disco para la ecuación de Laplace con condiciones
de contorno no homogéneas, puede también ser expresada en términos de la función de Green como
Z π
∂G(r, ϕ; r0 , ϕ0 )
u(r, ϕ) = − dϕ0 r0 f (ϕ0 ) (7.64)
−π ∂r0
r0 =1
como puede verificarse fácilmente. Ası́, la solución al problema de Dirichlet interior al disco para
la ecuación de Poisson con condiciones de contorno no homogéneas
esto es, G(x; x0 ) es la función de Green o kernel elemental para el operador ∆ en x ∈ Ω que satisface
condiciones de contorno de Dirichlet sobre ∂Ω. Por otro lado, sea u(x0 ) la solución al problema
De aquı́ que Z Z
n 0 0 0 ∂G
u(x) = d x G(x; x ) q(x ) − ds0 f (x0 ) , (7.73)
Ω ∂Ω ∂n0
donde
∂G ~ x0 G(x; x0 ) .
≡ n̂0 · ∇
∂n0
Aquı́ las integrales representan simbólicamente convoluciones de distribuciones en el sentido de
Volterra.
Definición 24 La convolución de Volterra del kernel K(x, x0 ) con la distribución S(x0 ), si existe,
es la distribución h(x) definida por
Nótese que la convolución T ∗ S en el sentido de la sección 2.7 puede ser considerada como la
0
convolución en el sentido de Volterra de la distribución
R n S(x ) con un kernel T (x; x0 ) invariante bajo
traslaciones T (x; x ) = T (x − x ), simbólicamente d x T (x − x0 )S(x0 ).
0 0 0
ϕ|∂Ω = 0. (7.75)
Las autofunciones {ϕn } de (7.74,7.75) forman una base ortogonal (que asumiremos además nor-
malizada) Z
d2 x ϕn0 (x) ϕn (x) = δn0 n , (7.76)
Ω
para el espacio de las funciones ψ ∈ L2(r) (Ω) tales que ψ|∂Ω = 0 y por lo tanto
X Z
2 0 0 0
ψ(x) = d x ϕn (x ) ψ(x ) ϕn (x). (7.77)
n Ω
G|∂Ω = 0 . (7.79)
Multiplicando (7.81) por ϕn0 (x), integrando sobre las variables x en la región Ω y usando (7.76)
encontramos
λn Gn (x0 ) = ϕn (x0 ) (7.82)
y la función de Green solución elemental de (7.78,7.87) vendrá dada entonces por la serie bilineal
X 1
G(x; x0 ) = ϕn (x0 ) ϕn (x). (7.83)
n
λ n
G|∂Ω = 0; (7.87)
donde ∂Ω es la frontera del rectángulo, viene dada por
∞ ∞
4ab X X 1 mπx mπξ nπy nπη
G(x, y; ξ, η) = 2 2 2 2 2
sin sin sin sin . (7.88)
π m=1 n=1 (m b + n a ) a a b b
La solución al problema de Dirichlet no homogéneo para la ecuación de Poisson, en el interior
de un rectángulo y con condiciones de contorno no homogéneas
∆u = −q(x, y) , 0<x<a , 0<y<b (7.89)
u(x, 0) = f1 (x) , u(x, b) = f2 (x) 0≤x≤a (7.90)
u(0, y) = f3 (y) , u(a, y) = f4 (y) , 0≤y≤b (7.91)
viene dada por la versión 2-dimensional de (7.73) con G dado por (7.88). Nótese que si q = 0,
obtenemos la solución al problema (7.32,7.33,7.34).
donde el primer término del miembro derecho de (7.96) es una constante igual al valor promedio
de u sobre ∂Ω. (7.96) es la solución única de (7.92,7.93), modulo una constante aditiva.
1 1 δ(r − r0 )δ(ϕ − ϕ0 )
∂r (r∂r G) + 2 ∂ϕ ∂ϕ G = − , 0 < r, r0 < 1, −π ≤ ϕ, ϕ0 < π ; (7.99)
r r r
1
∂r G|r=1 = −
. (7.100)
2π
Siguiendo pasos análogos a los que nos llevaron a (7.60) obtenemos en este caso
∞
X
G(r, ϕ; r0 , ϕ0 ) = ein(ϕ−ϕ0 ) Gn (r, ro ) (7.101)
n=−∞
con
1 |n| −|n| |n|
4π|n| r> + r > r< , n 6= 0
Gn (r, r0 ) = (7.102)
1
− 2π log r> , n = 0,
donde r< = min{r, r0 } y r> = max{r, r0 }. La solución de (7.97,7.98) viene dada por la versión
2-dimensional de (7.96) con G dada por (7.101,7.102). Se deja como ejercicio la verificación de lo
anterior.
........ ..
...........
..... ...
... ...
Caja 7.2: Expansiones ortogonales y funciones de Green
Con frecuencia las ecuaciones diferenciales ordinarias que aparecen al separar variables
en coordenadas curvilı́neas, en EDP’s que involucran al operador laplaciano, tienen la
forma
Lx u = −λ s(x) u, a < x < b; U1 u = 0 = U2 u; (7.103)
con Lx el operador diferencial de segundo orden autoadjunto dado por (3.10), U1 u = 0
y U2 u = 0 condiciones de contorno homogéneas y sin mezcla del tipo (3.12,3.13) y s
una función real, continua y positiva en a < x < b.
Denotemos a continuación por Hs (a, b) al espacio vectorial de todas las funciones reales
u(x) definidas en el intervalo acotado a ≤ x ≤ b, con norma definida por
Z b 1/2
k u ks = (u, u)1/2
s = dx s(x) | u (x) |2
< ∞, (7.104)
a
donde Z b
(u, v)s ≡ dx s(x) u(x) v(x) (7.105)
a
de donde se sigue
√ que√ si λi 6= λj entonces ui y uj son ortogonales en Hs (a, b) (se dice
también que s ui y s uj son ortogonales en L2(r) (a, b)). Por otro lado, puede probarse
que los autovalores de (7.103) son simples y que pueden ser listados como
con λn → +∞ para n → ∞.
Ahora, en términos de la función de Green (6.105), el problema (7.103) es equivalente
a la ecuación integral Z b
u(x) = −λ dξ s(ξ) g0 (x, ξ) u(ξ),
a
que puede ser reescrita como
Z b
−γ f (x) = dξ k(x, ξ) f (ξ) = K f,
a
p p p
donde hemos definido k(x, ξ) = s(x) g0 (x, ξ) s(ξ), γ = λ−1 y f (x) = s(x) u(x). El
operador integral K generado por el kernel k(x, ξ) ası́ definido, es un operador Hilbert-
Schmidt autoadjunto sobre las funciones f (x) ∈ L2(r) (a, b). De acuerdo al teorema 14,
las autofunciones f (x) de K correspondientes a γ 6= 0 expanden una base ortogonal en
L2(r) (a, b). Se sigue entonces que las autofunciones u(x) de (7.103) expanden una base
ortogonal en Hs y escribimos
δ(x − ξ) X
= un (ξ) un (x), (7.106)
s(x) n
Puesto que el conjunto {un (x)} de las autofunciones de (7.103) es una base ortogonal
en Hs , g admite la expansión
X
g(x, ξ; λ) = gn (ξ, λ) un (x), (7.108)
n
donde Z b
gn (ξ, λ) = (g, un )s = dx s(x) g(x, ξ; λ) un (x).
a
Sustituyendo (7.108) y (7.106) en (7.107), multiplicando el resultado por um (x) e inte-
grando en x entre a y b encontramos
un (ξ)
gn (ξ, λ) =
λ − λn
y por lo tanto g(x, ξ; λ) viene dada por la expansión bilineal
X un (ξ) un (x)
g(x, ξ; λ) = . (7.109)
n
λ − λn
Finalmente, nótese que la expansión (7.109) como función del parámetro complejo λ
tiene polos simples reales en λ = λn con residuos un (ξ)un (x). Esto sugiere entonces la
relación I
1 X
dλ g(x, ξ; λ) = un (ξ)un (x), (7.110)
2πi n
donde la integral en el plano complejo λ se toma sobre un circulo de radio infinito, que
permite generar las autofunciones normalizadas y los correspondientes autovalores del
... problema (7.103) una vez conocida g(x, ξ; λ). ..
... ..
.......... .
. ..........
∆u = 0 , 0<x<1 , 0<y<1
∆u + u = 0 , 0<r<a , 0<θ<α
6. En lo que sigue nos proponemos encontrar de tres maneras diferentes la función de Green
G(x, y, ξ, η), solución elemental al problema de contorno
Referencias
I. Stakgold, Green’s functions and Boundary Value Problems. Wiley, New York (1979).
E. Butkov, Mathematical Physics. Addison-Wesley, (1968).
Y.Choquet-Bruhat, C. De Witt-Morette and M. Dillard-Bleick, Analysis, Manifolds and Physics,
Part 1. North Holland. 1982.
Aquellos problemas que involucran mas de dos variables independientes pueden ser tratados con
las mismas técnicas desarrolladas en los capı́tulos anteriores, las cuales se extienden con facilidad
al caso de n variables independientes.
se obtiene de (8.1)
X 00 Y 00 Z 00
+ =− ,
X Y Z
de donde se sigue que
X 00 Y 00
+ = λ, (8.6)
X Y
Z 00
= −λ (8.7)
Z
donde λ es una constante de separación. En forma análoga, de (8.6) se desprende que
X 00 Y 00
=− + λ = µ,
X Y
125
126 Ecuaciones Diferenciales Parciales
X 00
= µ, (8.8)
X
Y 00
= λ − µ. (8.9)
Y
De las condiciones (8.2) y (8.3), se desprende que
y las ecuaciones (8.8), (8.9) junto con las condiciones (8.10) definen problemas de autovalores con
autofunciones y autovalores
donde hemos escogido las constantes de integración en forma tal que (8.5) satisfaga u(x, y, π) = 0
de acuerdo a (8.4). La solución de (8.1), que satisface las condiciones de contorno homogéneas
especificadas en (8.4), es la superposición
∞ X
∞
X h
2 2
12 i
u(x, y, z) = amn sinh m +n (π − z) sin mx sin ny (8.14)
m=1 n=1
2
Z π Z π
2 2 2
amn sinh m +n π = dx sin mx dy sin nyf (x, y)
π 0 π 0
y por lo tanto los coeficientes amn sinh (m2 + n2 ) π son los coeficientes de la serie de Fourier doble
de f (x, y). La solución al problema (8.1-8.4) viene dada entonces por
h 1
i
∞ X
X ∞ sinh (m2 + n2 ) 2 (π − z)
u(x, y, z) = bmn h 1
i sin mx sin ny, (8.15)
2
sinh (m + n ) π2 2
m=1 n=1
donde 2 Z π Z π
2
bmn = dx dyf (x, y) sin mx sin ny. (8.16)
π 0 0
La solución al problema con condiciones de contorno mas generales se puede obtener por su-
perposición.
u(r, ϕ, z) = R(r)Φ(ϕ)Z(z)
d2 R dR
ζ2 2
+ζ + (ζ 2 − n2 )R = 0, (8.28)
dζ dζ
que es la ecuación de Bessel de orden n y cuya solución general viene dada por
donde Jn y Nn son las funciones de Bessel de primer y segundo tipo (Nn se conoce también como
la función de Neumann).
Exigiendo que limr→0 u(r, ϕ, z) < ∞ llegamos a la conclusión de que E = 0, ya que Nn no
está acotada en el origen. Por otro lado, u(a, ϕ, z) = 0 implica que R(a) = 0 y de aquı́ que
Jn (βa) = 0, de donde se desprende que βnm = αnm /a, donde los {αnm } son las raı́ces de Jn , esto
es, Jn (αnm ) = 0. Por lo tanto se tendrá que
que reconocemos como una serie de Fourier en ϕ y una serie de Fourier-Bessel en r para f (r, ϕ).
Usando Z a r r a0
dr rJn αnm0 Jn αnm = [Jn+1 (αnm )]2 δm0 m , (8.33)
0 a a 2
de (8.32) se sigue
a 2π
a2
Z Z
r `
dr rJ0 α0m dϕf (r, ϕ) = a0m sinh α0m 2π [J1 (α0m )]2 ,
0 a 0 a 2
de donde obtenemos
Z a Z 2π
1 r
a0m = dr dϕ rJ0 α0m f (r, ϕ). (8.34)
πa2 sinh α0m a` [J1 (α0m )]2
0 0 a
y
Z a Z 2π
2 r
bnm = dr dϕ rJn αnm sin nϕ f (r, ϕ). (8.36)
πa2 sinh αnm a [Jn+1 (αnm )]2
`
0 0 a
obtenemos
d dΘ
sin θ sin θ + λ sin2 θ Θ = m2 Θ (8.43)
dθ dθ
y
d2 Φ
+ m2 Φ = 0, (8.44)
dϕ2
donde m2 es otra constante de separación.
La solución general de (8.44) es
e imponiendo
Φ(ϕ) = Φ(ϕ + 2π), Φ0 (ϕ) = Φ0 (ϕ + 2π), (8.46)
se tiene que
Φm (ϕ) = Ceimϕ , m = 0, ±1, ±2, . . . (8.47)
Puesto que la ecuación (8.40) es del tipo de Euler, la solución es de la forma
R(r) = r` (8.48)
`(` + 1) − λ = 0,
de donde se sigue que r−(`+1) es también solución. La solución general de (8.40) es entonces
con ` arbitrario. Para resolver (8.43) es conveniente hacer el cambio x = cos θ, con −1 ≤ x ≤ 1.
Ası́, (8.43) se reescribe como
m2
d 2 dΘ
(1 − x ) + `(` + 1) − Θ = 0. (8.50)
dx dx 1 − x2
La ecuación (8.50) admite como solución la función de Legendre P`m de grado ` y orden m, con
|m| ≤ ` y ` entero tal que ` ≥ 0. (En realidad (8.50) admite también como solución a la función
de Legendre de segundo tipo Qm ` (x), pero ésta no está acotada en x = ±1). La solución de (8.50)
es entonces
Θ = P`m (cos θ). (8.51)
De lo anterior se desprende que la solución de (8.41) viene dada por
12
(2` + 1)(` − m)!
Y`m (θ, ϕ) = (−1)m eimϕ P`m (cos θ), (8.52)
4π(` + m)!
donde
m≤` , m>0
y
∗
Y`m (θ, ϕ) = (−1)m Y`−m (θ, ϕ) , |m| ≤ ` , m < 0. (8.53)
El coeficiente de (8.52) se ha escogido de forma tal que
Z 2π Z π
0∗
dϕ dθ sin θY`m
0 (θ, ϕ)Y`m (θ, ϕ) = δm0 m δ``0 . (8.54)
0 0
Los Ym` son los conocidos armónicos esféricos y constituyen un conjunto ortonormal completo como
veremos mas adelante en la sección 8.2.
Ası́, la solución a la ecuación de Laplace (8.37) viene dada por
∞ X
X `
A`m r` + B`m r−(`+1) Y`m (θ, ϕ).
u(r, θ, ϕ) = (8.55)
`=0 m=−`
Exigiendo que u(r, θ, ϕ) esté acotada en r = 0 se sigue que B`m = 0, ∀`. Finalmente, de (8.38) se
desprende que
∞ X
X `
f (θ, ϕ) = A`n a` Y`n (θ, ϕ) (8.56)
`=0 n=−`
y por lo tanto
Z 2π Z π
A` a =`
dϕ dθ sin θY`m ∗ (θ, ϕ)f (θ, ϕ). (8.57)
0 0
donde ds0 = a2 sin θ0 dθ0 dϕ0 es el elemento infinitesimal de área de la esfera Sa de radio a y ∂n
∂G
0 es
1 1
∂θ [sin θ∂θ Y`m (θ, ϕ)] + m m
2 ∂ϕ ∂ϕ Y` (θ, ϕ) = −`(` + 1)Y` (θ, ϕ).
sin θ sin θ
0∗
Multiplicando (8.67) por Y`m0 (θ, ϕ) e integrando en los ángulos θ y ϕ se tiene, usando (8.54),
1 d 2 d 1 1
2
r G`m − 2 `(` + 1)G`m = − 2 δ(r − r0 )Y`m ∗ (θ0 , ϕ0 ). (8.68)
r dr dr r r
Definiendo
G`m (r; r0 , θ0 , ϕ0 ) ≡ g` (r; r0 )Y`m ∗ (θ0 , ϕ0 ), (8.69)
se sigue de (8.68) que g satisface
d 2 d
r g` − `(` + 1)g` = −δ(r − r0 ). (8.70)
dr dr
g` |r=a = 0 (8.71)
0 1 `
−(`+1) −(2`+1) `
g` (r, r ) = r r −a r> (8.72)
(2` + 1) < >
donde r< = min{r, r0 }, r> = max{r, r0 }. Finalmente, de (8.66), (8.69) y (8.72) obtenemos
∞ X `
Y`m ∗ (θ0 , ϕ0 )Y`m (θ, ϕ) ` `
0 0 0
X 1 r>
G (r, θ, ϕ; r , θ , ϕ )= r< `+1
− 2`+1 (8.73)
`=0 m=−`
2` + 1 r> a
Se deja como ejercicio verificar que la integral de superficie en(8.61) es en efecto la solución
dada en (8.58) para el problema homogéneo.
donde Φ0 es solución al problema homogéneo (F = 0). Supondremos además que Φ está acotada
en todas partes, |Φ(~x, t)| < ∞ ∀~x ∈ R3 , y que F (~x, t) es de soporte acotado.
Puesto que (8.74) es lineal, la solución de (8.74, 8.75) es la suma de la solución al problema
homogéneo Φ0 más la solución al problema no homogéneo
y las condiciones
lim Gret = 0, lim Gret = 0. (8.80)
t→−∞ |~
x|→−∞
donde Z
1 ~
δ(~x)δ(t) = d3 kdω ei(k.~x−ωt) . (8.84)
(2π)4
Sustituyendo (8.82) y (8.84) en (8.81) se sigue que
1
G(~k, ω) = . (8.85)
~k 2 − ω2
Nótese que G(~k, ω) depende de ~k solo a través de |~k|. Tenemos entonces que
Z
1 3 i(~k.~
x−ωt) 1
G(~x, t) = d kdω e . (8.86)
(2π)4 ~k 2 − ω 2
Pasando a coordenadas esféricas, rotando los ejes en el espacio ~k de forma tal que ~k.~x = |~k| |~x| cos θ
con θ el ángulo polar e integrando en las variables angulares se tiene
Z ∞ Z ∞
1 1
G(~x, t) = − 3 dk k sin kr dωe−iωt , (8.87)
4π r 0 −∞ (ω − k)(ω + k)
donde k = |~k| y r = |~x|. La evaluación explı́cita de (8.87) requiere de alguna prescripción para
manejar los polos en ω = ±|~k|, ésta última viene determinada por el tipo de causalidad impuesta
en (8.80).
Para obtener Gret , para t > 0, desplazamos los polos de forma tal que ω = −k → −k − iε y
ω = k → k − iε, con ε → 0+ . Entonces
Z ∞ Z ∞
1 1
Gret (~x, t) = −Θ(t) 3 dk k sin kr dωe−iωt . (8.88)
4π r 0 −∞ (ω − (k − iε))(ω + (k + iε))
Considerando ω como variable compleja, cerrando el contorno de integración por debajo del eje
real y usando el teorema del residuo se tiene
Z ∞
1 exp(−iωt)
Gret (~x, t) = Θ(t) 3 dk k sin kr −2πiRes
4π r 0 (ω − (k − iε))(ω + (k + iε))
Z ∞
1
= Θ(t) 2 dk sin kr sin kt, (8.89)
2π r 0
de donde se obtiene finalmente
1
Gret (~x, t) = Θ(t) δ(t − r). (8.90)
4πr
Gret (~x, t) es un elemento del álgebra de convolución D0 (Γ+ ), donde Γ+ es el cono t2 −|~x|2 ≥ 0, t ≥ 0.
Todas las ecuaciones del tipo hiperbólico con coeficientes constantes tienen soluciones elementales
en D0 (Γ+ ). Por otro lado, el que Gret (~x, t) tenga soporte sobre la superficie del cono Γ juega un
papel determinante en las teorı́as relativistas.
De (8.90) se sigue
1
Gret (~x − x~0 , t − t0 ) = Θ(t − t0 ) δ(t − t0 − |~x − x~0 |). (8.91)
4π|~x − x~0 |
Esta función de Green se denomina retardada porque propaga el efecto de una fuente en el punto
(x~0 , t0 ) al punto (~x, t), siempre y cuando t − t0 = |~x − x~0 | > 0, esto es, solo para t posterior a t0 . Es
claro, t − t0 debe ser igual a la distancia |~x − x~0 |, lo que nos dice que dicho efecto se propaga con
velocidad 1 (velocidad de propagación finita).
Es posible encontrar otras funciones de Green para el operador (∂t ∂t − ∆) que propagan con
una causalidad diferente. Por ejemplo, para t < 0, si desplazamos los polos del eje real añadiendo
una pequeña parte imaginaria positiva y cerramos el contorno por encima del eje real, cálculos
análogos a los de arriba nos proveen la función de Green avanzada
1
Gav (~x − x~0 , t − t0 ) = Θ(t0 − t) δ(t − t0 + |~x − x~0 |), (8.92)
4π|~x − x~0 |
que propaga con velocidad 1 para t − t0 = −|~x − x~0 | < 0.
En teorı́a de campos se define el propagador de Feynman
Z
~ 0 1 ~ ~0 0 1
0
GF (~x − x , t − t ) = d3 kdω ei(k.(~x−x )−ω(t−t )) , (8.93)
(2π)4 ~k 2 − ω 2 − iε
con ε → 0+ . Si interpretamos (8.93) como representando la onda producida en (~x, t) por una
fuente unidad localizada en (x~0 , t0 ), entonces (8.93) propaga (con velocidad 1) las partes de la onda
con frecuencias ω > 0 hacia adelante en el tiempo y las de frecuencias ω < 0 hacia atrás en el
tiempo.
1
(i∂t + ∆)Ψ(~x, t) = V (~x, t)Ψ(~x, t), (8.94)
2m
donde supondremos que V (~x, t) es de soporte acotado. Veamos como emplear en la resolución de
(8.94) algunas de las técnicas desarrolladas con anterioridad.
Supongase que imponemos como condición “inicial” Ψ(~x, t) → Ψ0 (~x, t) para t → −∞, donde
Ψ0 (~x, t) es solución de (8.94) para V (~x, t) = 0. Entonces la solución formal de (8.94) viene dada
por Z
Ψ(~x, t) = Ψ0 (~x, t) + d3 x0 dt0 G(~x − x~0 , t − t0 )V (x~0 , t0 )Ψ(x~0 , t0 ), (8.95)
1
G(~k, ω) = . (8.98)
ω − ~k 2 /(2m)
Note que (8.98) tiene singularidades en ω = ~k 2 /(2m) y por lo tanto, al igual que en (8.87),
requeriremos alguna prescripción para manejar el polo ω = ~k 2 /(2m) en la integral
Z
1 ~ 1
G(~x, t) = d3 k dω ei(k.~x−ωt) . (8.99)
(2π)4
ω − ~k 2 /(2m)
−i
Z
~ ~2
G(~x, t) = 3
Θ(t) d3 kei(k.~x−k t/2m)
(2π)
m 32 2
= −i Θ(t) eim~x /2t , (8.101)
2π it
que es esencialmente el propagador en (3 + 1)-dimensiones para la ecuación de difusión bajo el
reemplazo t → −it, el mismo que transforma a la ecuación de Schrödinger libre en la ecuación de
difusión.
Por último, note que la solución (8.95) permite establecer un esquema iterativo por medio del
cual obtener una solución de (8.94) en teorı́a de perturbaciones. Ası́,
Z
Ψ(~x, t) = Ψ0 (~x, t) + d3 x0 dt0 G(~x − x~0 , t − t0 )V (x~0 , t0 )Ψ(x~0 , t0 ),
Z
= Ψ0 (~x, t) + d3 x0 dt0 G(~x − x~0 , t − t0 )V (x~0 , t0 )Ψ0 (x~0 , t0 )
Z Z
+ d x dt G(~x − x , t − t )V (x , t ) d3 x00 dt00 G(x~0 − x~00 , t0 − t00 )V (x~00 , t00 )Ψ(x~00 , t00 )
3 0 0 ~ 0 0 ~ 0 0
Z
= Ψ0 (~x, t) + d3 x0 dt0 G(~x − x~0 , t − t0 )V (x~0 , t0 )Ψ0 (x~0 , t0 )
Z Z
+ 3 0 0
d x dt d3 x00 dt00 G(~x − x~0 , t − t0 )V (x~0 , t0 )G(x~0 − x~00 , t0 − t00 )V (x~00 , t00 )Ψ0 (x~00 , t00 ) · · ·
1 1
∂t ∂t u − ∂r (r∂r u) − 2 ∂ϕ ∂ϕ u = 0, 0 < r < a, 0 < ϕ < 2π, t > 0,
r r
con condiciones de contorno de Dirichlet
u(a, ϕ, t) = 0, 0 ≤ ϕ ≤ 2π, t ≥ 0,
y condiciones iniciales
donde u0 es una constante positiva. Puede dejar los coeficientes de la expansión expresados
en forma integral.
4. Siguiendo pasos análogos a los dados en la obtención de (8.73), obtenga la función de Green
solución elemental de
1
∆r,θ,ϕ G(r, θ, ϕ; r0 , θ0 , ϕ0 ) = − δ(r − r0 )δ(θ − θ0 )δ(ϕ − ϕ0 ),
r2 sin θ
a < r, r0 < b, 0 < θ, θ0 < π, 0 < ϕ, ϕ0 < 2π,
que satisface las condiciones de contorno de Dirichlet
G|r=a = 0 = G|r=b .
Referencias
E. Butkov, Mathematical Physics. Addison-Wesley, (1968).
J. D. Jackson, Classical Electrodynamics (third edition). Wiley, (1999).
Y.Choquet-Bruhat, C. De Witt-Morette and M. Dillard-Bleick, Analysis, Manifolds and Physics,
Part 1. North Holland. 1982.
Y.Choquet-Bruhat and C. De Witt-Morette, Analysis, Manifolds and Physics, Part 2. North
Holland. 2000.
138
Ecuaciones Diferenciales Parciales 139
continuo, 24
Kernel, 78
de Gauss, 78
Laplace
ecuación de, 105
transformadas de, 34, 69, 70
y convolución, 71
y de Fourier, 77
Laplaciano, 20, 21
Legendre
funciones de, 130
Neumann
condiciones de contorno de, 86, 105, 117,
118
funciones de, 128
Poisson
kernel de, 31, 108
ecuación de, 35, 36, 110
Tensor, 13
métrico, 13