Introduccin

Estos apuntes estudian principalmente las ecuaciones en derivadas parciales

(EDPs), aunque tambin tratan las soluciones por medio de series y los problemas
de contorno de las ecuaciones diferenciales ordinarias (EDOs). Una EDP es una
ecuacin en la que aparecen derivadas parciales de una funcin incgnita de varias
variables. Todas las EDPs que veremos sern lineales. Ms en concreto, salvo un
breve estudio de las lineales de primer orden, trataremos de EDPs lineales de
segundo orden (con derivadas de orden 2 o menor), del tipo:
[1] L[]

n
X

Aj

2
j

n
X

Bj

+ C = F

j=1

,j=1

donde , Aj , Bj , C y D son funciones de (1 , . . . , n ) . Una solucin de [1] ser

una funcin (1 , . . . , n ) de clase C2 en una regin de Rn que sustituida en la
ecuacin la convierte en una identidad.
Entre las EDPs lineales de segundo orden se encuentran muchas ecuaciones de la
fsica. Entre ellas las tres clsicas:
ecuacin de ondas
ecuacin del calor
y ecuacin de Laplace

tt c2 = 0
t k = 0
= 0

que son ejemplos, respectivamente, de los tres grandes tipos en que se clasifican:
hiperblicas, parablicas y elpticas. La teora avanzada de EDPs viene a ser
la generalizacin del estudio de estas tres ecuaciones. Sus propiedades son tan
diferentes que no existen teoras generales como la de las EDOs lineales.
En el captulo 1 se ver que casi nunca se puede dar la solucin general de una
EDP (por eso, en sucesivos captulos utilizaremos series o transformadas integrales
para resolverla). La hallaremos para algunas de primer orden en dos variables (y
aparecer una funcin arbitraria de las caractersticas, soluciones de una EDO
ligada a la EDP) y para pocas de segundo (con dos funciones arbitrarias). Veremos
qu condiciones adicionales (iniciales o de contorno) se imponen a las EDPs para
conseguir solucin nica. De las clsicas, slo para la de ondas se podr dar por
estos caminos una frmula (de DAlembert) para sus soluciones.
El captulo 2 describe cmo resolver EDOs lineales de segundo orden mediante
series de potencias (nico mtodo posible en la mayora de las ocasiones), en
torno a los llamados puntos regulares y a los singulares regulares, incluido
el llamado punto del infinito. Se aplica el mtodo a tres ecuaciones particulares
(Legendre, Hermite y Bessel) que aparecen al resolver EDPs de la fsica.
El captulo 4 describe el mtodo de separacin de variables para resolver las
ecuaciones clsicas (homogneas y no homogneas, en diferentes coordenadas y
en 2 o ms variables) en recintos sencillos (y acotados, al menos, en una de las
variables). Se supone la solucin como producto de funciones de cada una de las
variables, lo que lleva a resolver EDOs en cada una de ellas, alguna con condiciones
de contorno. Las soluciones quedan expresadas en trminos de series de Fourier.
La necesaria teora (muy diferente de la de los de valores iniciales) de problemas
de contorno para EDOs (homogneos y no homogneos) y una descripcin de
dichas series se dar previamente en el captulo 3.
El captulo 5 trata un par temas independientes. Utilizaremos la transformada
de Fourier para resolver algunas EDPs en recintos no acotados (en particular,
la del calor en la recta infinita). Y hablaremos brevemente de las funciones de
Green para problemas de contorno de EDOs y para Laplace.
Los apuntes acaban con un apndice en el que se repasan algunos conocimientos
matemticos previos (de EDOs, de clculo en varias variables y de convergencia
uniforme) que se utilizan en los captulos anteriores.
1

Para acabar esta introduccin, describamos el significado fsico de las ecuaciones

clsicas. Interpretmoslas nicamente en sus versiones ms sencillas (que son las
ms tratadas en los apuntes): cuando la es funcin de dos variables.
Empecemos con la ecuacin de ondas unidimensional o ecuacin de la cuerda
vibrante. Consideremos las oscilaciones de una cuerda totalmente elstica, tensa
y fija en sus extremos. Se supone que sus oscilaciones son siempre transversales
y de pequea amplitud. En esas condiciones se puede
u
ver que si (, t) representa el desplazamiento vertiinstante t
cal del punto de abscisa en el instante t , la funcin u(x,t)
(, t) satisface la EDP:
x
x
c2 = F(, t)
tt

donde
= To / , con To fuerza de tensin en los extremos, masa por unidad
de longitud (densidad lineal) y F(, t) fuerza externa por unidad de masa que
acta en direccin vertical sobre el punto en el instante t . Para determinar la
evolucin de una cuerda concreta, se ver que debemos fijar la posicin de la
cuerda y la distribucin de velocidades verticales en el instante inicial, es decir,
(, 0) y t (, 0) . Tambin se deber de tener en cuenta que permanece fija en
los extremos = 0 y = L , o sea, que (0, t) = (L, t) = 0 . No olvidemos que el
modelo matemtico de esta cuerda ideal es slo una simplificacin de la realidad;
lo mismo ocurre con las siguientes.
c2

La distribucin de temperaturas a lo largo del tiempo en una varilla delgada (que

podemos suponer unidimensional) viene regida por la ecuacin del calor:
t k = 0
donde (, t) representa la temperatura del punto en el instante t y k > 0 es
una constante proporcional a la conductibilidad e inversamente proporcional a la
densidad y al calor especfico. Si existiesen fuentes de calor en el interior de la
varilla deberamos escribir una F(, t) en el segundo miembro de la ecuacin. A
diferencia de la de ondas, aqu bastar dar slo la distribucin inicial de temperaturas (, 0) (junto con las condiciones de contorno) para determinar la solucin.
La ecuacin de Laplace:
+ yy = 0
puede describir, entre otras situaciones fsicas, la distribucin estacionaria de temperaturas en una placa bidimensional. La existencia de fuentes de calor en el interior de la superficie aportara una F en el segundo miembro (ecuacin de Poisson).
Frente a las dos ecuaciones anteriores que describan la evolucin de un sistema a
lo largo del tiempo, sta describe situaciones estacionarias y los problemas que se
plantean para ella son siempre con condiciones de contorno.

1. Clasificacin; problemas clsicos; ondas

En las EDOs se plantean problemas de valores iniciales, casi siempre con solucin
nica. Para resolverlos (cuando se puede) se suele hallar primero la solucin general y imponer despus uno o varios (dependiendo del orden) datos iniciales. En
este captulo describiremos los problemas anlogos para las EDPs. La variedad y
complicacin ser mucho mayor que en las ordinarias. Por ejemplo, casi nunca se
podr hallar la solucin general de una EDP.
Comenzamos en la seccin 1.1 tratando las EDPs lineales de primer orden en
dos variables, es decir, ecuaciones del tipo:
[1]

A(, y) y + B(, y) = H(, y) + F(, y) ,

con pocas aplicaciones fsicas, pero que plantean de forma sencilla los problemas
de las de segundo orden. Sern resolubles si es posible hallar las soluciones de
una EDO de primer orden, llamadas curvas caractersticas de [1]. En la solucin
general de [1] aparece una funcin p arbitraria (como en el ejemplo = 0 , de
solucin (, y) = p(y) , para cualquier p ). Para precisar esta p fijaremos el valor
de la solucin a lo largo de una curva G del plano y (problema de Cauchy). Un
caso particular ser el problema de valores iniciales, si fijamos (, 0) = () .
La solucin quedar determinada si G no es tangente a las caractersticas.
En 1.2 abordamos las EDPs lineales de segundo orden en dos variables:
[2]

L[] Ayy + By + C + Dy + E + H = F(, y)

Para intentar resolverlas, las escribiremos, con cambios de variables, en la forma ms sencilla posible (forma cannica). Esto llevar a la clasificacin de [2] en
hiperblicas, parablicas y elpticas. En pocos casos, a partir de la forma cannica, se podr hallar la solucin general, dependiente de dos funciones arbitrarias,
que se pueden fijar con datos de Cauchy anlogos a los de [1]. Uno de esos casos
ser la ecuacin de ondas. Para ella deduciremos la frmula de DAlembert que
expresa sus soluciones en trminos de la posicin y velocidad iniciales.
Los datos iniciales puros slo se plantean para las ondas, pues carecen de sentido
fsico y plantean problemas matemticos en las otras dos ecuaciones clsicas. Las
condiciones iniciales y de contorno ligadas a un problema real son diferentes para
cada ecuacin. No hay una teora general de EDPs que abarque todas las posibilidades. En cada caso hay que comprobar que el problema est bien planteado,
es decir, que tiene solucin nica que depende continuamente de los datos
(lo que era trivial en las EDOs). La seccin 1.3 se dedica a describir los diferentes
problemas asociados a las ecuaciones clsicas y a precisar su unicidad.
En 1.4 nos dedicaremos a sacarle jugo a la citada frmula de DAlembert que da la
solucin del problema puro de valores iniciales para la cuerda infinita:

tt c2 = 0 , , t R
(, 0) = () , t (, 0) = g()
Veremos que la solucin (, t) resulta ser la suma de dos ondas que se mueven en
sentido opuesto a velocidad c . Daremos tambin una frmula para las soluciones
de la ecuacin no homognea [con fuerzas externas F(, t) ]. Comprobaremos
como, extendiendo de forma adecuada los datos iniciales a todo R, podemos
abordar problemas con condiciones de contorno. Primero para la cuerda semiinfinita (a la que ser pueden reducir las ondas en el espacio con simetra radial) y
luego para la acotada. Al estar manejando funciones con expresiones distintas en
diferentes intervalos, escribir la solucin explcitamente lleva a discusiones complicadas. Por eso nos conformaremos muchas veces con hallar su expresin para
valores de t o fijos o con los dibujos de la solucin.

1.1. EDPs lineales de primer orden

A(, y) y + B(, y) = H(, y) + F(, y) , = (, y) .

Sea [E]

Para resolverla usaremos la EDO de primer orden [e]

dy
A(,y)
= B(,y)
d

ecuacin
caracterstica

Suponemos que A y B son de C1 (con parciales continuas) y que no se anulan a

la vez en una regin del plano. Entonces [e] tendr en ella unas curvas integrales:
(, y) = K

curvas caractersticas de [E]

(que se podrn hallar explcitamente si [e] es separable, lineal, exacta. . . ).

Haciendo el cambio de variable



= (, y)
, [E] se convierte en:
=y
(o bien = )

y = y +
A + [Ay + B ] = H + F
=

Y como sobre las soluciones y() definidas por (, y) = K se tiene:

(, y()) = K

dy

+ y d =

1
[Ay
B

+ B ] = 0 ,

vemos que [1] pasa a ser una ecuacin en las nuevas variables (, ) en la que no
aparece :
[E]

A(, ) = H(, ) + F(, ) , = (, ) .

Si hubisemos escogido = habramos llegado a [E]

B = H + F .

(Como vemos, tras el cambio queda el trmino con la variable elegida).

[E] (o [E]) es una EDO lineal de primer orden en la variable si consideramos

la constante (y, por tanto, es resoluble). En su solucin aparecer una constante
arbitraria para cada , es decir, una funcin arbitraria de :
RH
RH
RH
R
[] (, ) = p() e A d + e A d AF e A d d , con p arbitraria de C1 .
Deshaciendo el cambio queda resuelta [E] en funcin de e y . En la solucin,
como se observa, aparece una funcin arbitraria de las caractersticas.
Cmo determinar una nica solucin de [E]?, es decir, cmo precisar p ? Cada
solucin describe una superficie en el espacio. Generalizando
u
el problema de valores iniciales para EDOs definimos:

El problema de Cauchy para [E] consiste en hallar la

solucin (, y) que tome unos valores dados sobre
y
una curva G del plano y , o lo que es lo mismo, que
x
contenga una curva dada del espacio.
G


En particular, si G es una recta y = cte por ejemplo, si se pide (, 0) = () ,
se tiene lo que se llama un problema de valores iniciales.
infinitas

ninguna

Pero un problema de Cauchy puede no tener solucin nica.

G
caso D=C=0

Por ejemplo, la solucin general de Ay +B = 0 es (, y) = p (, y)
y cada solucin toma valor constante sobre cada (, y) = K . Si la curva
G donde imponemos los datos es una de esas caractersticas se debe
exigir que est en un plano horizontal z = C . Entonces hay infinitas
soluciones [una para cada funcin p C1 con p(K) = C ]. Si no tiene z
constante, no hay solucin que contenga a .

Ej 1. y 2 y + = 2

dy
d

= y2 ,

1
y

= K

1
y

=K
1

caractersticas

2
2
= + 1y
= 2 = 2 = p() e = p + 1y e , p C1 .
= [mejor]

=
= + 1y
y 2 = 2 =
= y [peor]

2
23
2

= p() e 2

1 2
= p + 1y e y2 y .

Aunque no lo parezca, las expresiones con p y p definen la misma solucin general,

2


1 2

+ 1 2

2
+ 1
y
y
pues e y2 y = e
e , y p + 1y e
es otra funcin arbitraria de + 1y .

Impongamos ahora diferentes datos de Cauchy a la ecuacin y veamos lo que resulta:

2

(, 1) = 1 p(+1) e = 1 . Para precisar la p hacemos +1 = = 1 .

2
+ 2y 12 1
2 2
2
2 + 1y 1
y
y
=e
.
Por tanto: p() = e(1) = e
+1=

O bien, p (+1) e12 = 1 p () = e21

Estos clculos han determinado la nica solucin del problema de valores iniciales.
(0, y) = y p

1/ y=
1

= y
y

p() = 1 =

y
1+y

e , que tambin parece ser nica.

(, 1 ) = 0 y (, 1 ) = 1 darn problemas por estar dados sobre caracterstica.

2

Para el primero: p(0) e = 0 . Lo cumple toda p C1 con p(0) = 0 . Infinitas soluciones.

2

Para el segundo: p(0) e = 1 , p(0) = e . Imposible. No tiene solucin.

Datos sobre caractersticas dan siempre 0 o soluciones
[pues se acaba en p(cte)=algo, que puede ser constante o no].
Tratemos el problema de la unicidad en general. Supongamos que buscamos la solucin con


g(s), h(s) = (s) , g y h derivables [la curva G = (g, h) es suave].


Sustituyendo en [] y despejando
p : p (g(s), h(s)) = R(s) , con R conocida. Como arriba,


llamemos = g(s),
h(s) . Si podemos despejar s en funcin de de forma nica s = s() ,


la p() = R s() queda fijada y, por tanto, hay una nica solucin de [E] con esos datos.
Sabemos que esta funcin inversa existe seguro en un entorno de cada so para el que sea:







d 
d 
= ds
g(s), h(s) s=so = g(so ), h(so ) g0 (so ), h0 (so ) 6= 0 .
ds s=so
Como es perpendicular a las caractersticas y (g0 , h0 ) es tangente a G , deducimos:

Si G no es tangente en ningn punto a las caractersticas hay

solucin nica del problema de Cauchy en un entorno de G.
La tangencia se puede ver sin resolver la EDO [e], a partir de
su campo de direcciones: el vector (B, A) es tangente a sus
soluciones y (A, B) es perpendicular. Por tanto:

(h)

caract.

pendiente A/B

G es tangente a alguna caracterstica en un punto g(so ), h(so ) si y slo si

(so ) g0 A(g, h) h0 B(g, h)s=so = 0 .

Si (s) 6= 0 s el problema de Cauchy tiene solucin nica.

[Si (s) 0 s , G es tangente en cada punto, es decir, es una caracterstica].
Estudiemos de nuevo la unicidad del ejemplo 1, ahora que tenemos teora general:
El primer dato y = 1 , como muestra el dibujo, no era tangente a las caractersticas.
Exactamente lo mismo lo asegura () = 1 12 0 1 = 1 6= 0 .
En el segundo, a = 0 le ocurre lo mismo, y es (y) = 0 y 2 1 1 = 1 6= 0 .

2
Para los otros: () = 1 1 12 1 0 , lo que confirma que G es caracterstica.

(y2) y + = y
(0, y) = y2

Ej 2.


dy
d

y2
1

, y = Ce +2+2 (y22)e = C

y=2x+2

= (y22)e
= y = e +2+2 = p()+e +2 +2 ,
= (parece mejor)

= p [y22]e

+ y+ 2 .


Escogiendo = y no se podra despejar la de = (22)e .

p(y2)+y2 = y2 , p(y2) = 0 p() = 0 , = y+2 2 .

Solucin nica porque = 0 nunca es tangente a las caractersticas.
yy + = 2
(, 1) = 3

Ej 3.

= p()2 = p

dy
d

y
2
y ;

y = C

(, 1) = p

1

= y/
= 2
=y

= 3 p() =

1
3

; =

3
y

[Slo si y > 0 ; la solucin de un problema de Cauchy, en principio, slo es local].

Ej 4. 2y = 4y

dy
d

= 2 y+2 = K caractersticas.

= y + 2
2 = 4y ; = 2 = p() + 2 = p(y+2 ) + y 2
=y

= y + 2
= 4y = 443
=

= p ()+4 22 = p (y+2 )2y2 4

Imponemos diferentes datos de Cauchy a la ecuacin y analizamos la unicidad:

(1, y) = 0
y

p(y+1)+y 2 = 0 , p() = (1)2

p (y+1)2y1 = 0 , p () = 21

= 2y+22 2y2 4 1 .

[ p p fijadas ; = 1 no es tangente a las caractersticas].

(, 2 ) = 0 p(0) + 4 = 0 . Imposible, no hay solucin.

1
x

(, 2 ) = 4

p(0) = 0 . Cada p C1 con p(0) = 0 nos da

una solucin diferente: hay infinitas.

(, 0) = 0 p(2 ) = 0 . Slo queda fijada p() = 0 para 0 ,

pero no hay ninguna condicin sobre p si < 0 .
Podemos elegir cualquier p C1 que valga 0 para 0 , con lo
que existen infinitas soluciones en un entorno de (0, 0) :
(, y) = y 2

y 2 ,

p(v)

y < 2 .

v
'
p validas

si
pero est indeterminada si


En (0, 0) es y = 0 tangente a las caractersticas. Lo confirma = 120(1) .
(, 3 2 ) = 4 25 p(3 ) = 6 , p() = 2 = 22 y4 (, y) .
Hay solucin nica
 pese a ser la curva de datos tangente
 a una caracterstica en
el punto (0, 0) es = 1 2 (32 2) (1) = 32 . A veces hay tangencia
y existe solucin nica. La no tangencia es suficiente pero no necesaria.
Ej 5.

t + c = 0
(, 0) = ()

dy
d

1
c

ct = K
caractersticas

= p(ct) solucin general.

(, 0) = p() = () (, t) = (ct) , solucin nica del problema de valores iniciales.

Para dibujar la grfica de en funcin de
para cada t = T fijo basta trasladar la de ()
una distancia cT (hacia la derecha si c > 0 ).
Se puede interpretar la solucin como una onda que viaja a lo largo del tiempo. [Situacin
similar se dar en la ecuacin de ondas].

x
cT
t

caractersticas

1.2. EDPs lineales de segundo orden; clasificacin

Consideremos [E] L[] A yy + B y + C + D y + E + H = F(, y)

Nos limitamos en estos apuntes al caso de que A , B , . . . , H sean constantes ( A ,

B y C no todas nulas). Como en las EDPs de primer orden, quizs un cambio de
variable bien elegido haga desaparecer trminos de [E], de forma que resulte una
ecuacin resoluble elementalmente. Hagamos un cambio genrico y analicemos la
expresin de [E] en funcin de las nuevas variables:


= p+qy
, con p, q, r, s constantes y jacobiano J = psqr 6= 0 . Entonces:
= r+sy

y = q + s
= p + r

yy = q2 + 2qs + s2
,

y = pq +(ps+qr) + rs ,

= p2 + 2pr + r 2
 2





q A+pqB+p2 C + 2qsA+(ps+qr)B+2prC + s2 A+rsB+r 2 C +
= A + B + C + = F(, )



los puntos representan los trminos en , y .

Intentemos hacer A= C= 0 . Para ello debe ser:

q2 A + pqB + p2 C = 0
.
s2 A + rsB + r 2 C = 0

Si B2 4AC > 0 y A 6= 0 podemos elegir p = r = 1 y q, s =


B

1 
B
2A

B2 4AC


Si A = 0 y C 6= 0 tomamos q = 1 , p = 0 y s = 1 , r = C ; A = C = 0 es caso trivial .

Si B2 4AC = 0 , q y s coinciden y sera J = 0 . Y si es < 0 , q y s seran complejas.

Adems, es fcil verificar que (B)2 4AC = [B2 4AC] J2 y, por tanto, el signo de
B2 4AC no vara con cambios de coordenadas. Todo lo anterior nos lleva a definir:
hiperblica
>0
Si B2 4AC = 0 se dice, respectivamente, que la EDP [E] es parablica
<0
elptica
Encontremos la forma ms sencilla en que podemos escribir [E] (forma cannica)
en cada caso. Si es hiperblica, arriba hemos visto que se convierte con el cambio
p

2
= B B2A4AC y en B + = F . Como (B)2 > 0 , podemos escribir la
=

B+

B2 4AC
2A

forma cannica de las hiperblicas:

+ = F .

A las dos familias de rectas = K , = K se les llama caractersticas de [E].

Si [E] es parablica, slo tenemos =
A = 0 ,

B
2A

y [una familia de caractersticas].

Con esta hacemos

y como
tambin es B = 0 . Para
podemos tomar cualquier r y s tales que J 6= 0 . Se suele tomar = y . As haciendo

=
=y

B
2A

(B)2 4AC = 0

y dividiendo por C se obtiene la

forma cannica de las parablicas:

+ = F .

p
2ABy
4ACB2
Si es elptica, las , son rectas complejas conjugadas:

i
y
2A
2A
(no hay, pues, caractersticas reales). Y no es difcil comprobar que el cambio:
(

2ABy
= p
2

=y

4ACB

lleva [E] a la
forma cannica de las elpticas:

+ + = F .

Si A , B y C son no constantes, si en cada punto (, y) de una regin del plano

es B(, y)2 4A(, y)C(, y) > 0 , = 0 o < 0 , se dice, respectivamente, que la EDP
[E] es hiperblica, parablica o elptica en . Las caractersticas en este caso
general son curvas integrales de EDOs de primer orden (quizs no resolubles).
yy 4y + 5 + = 0

Ej 1.

B2 4AC = 4 < 0 , elptica.

Copiando el cambio de la pgina anterior:


yy = 4 + 4 +
y = 2 +
= +2y

y = 2 +
=y
=
=
Llevndolo a la ecuacin se llega a la forma cannica:
4yy 4y + = 0

Ej 2.

B2 4AC = 0 parablica en todo R2 .

El cambio en este caso sera = +



+ + = 0 .

y = +
= 2+y

=y
= 2

y
2

, o mejor (son las mismas caractersticas):

yy = +2 +
y = 2 + 2
4 = 0 ,
= 4

= 0 .

Esta forma cannica que se resuelve fcilmente: = p() = p()+q() .

Por tanto, la solucin general de la ecuacin es:
(, y) = y p(2+y) + q(2+y)

, con p y q funciones C2 arbitrarias.

Como en este caso, a veces es posible hallar elementalmente la solucin general

de [E] tras ponerla en forma cannica (en la mayora, como en el ejemplo 1, ser
imposible). Identifiquemos las formas cannicas resolubles:
Si slo hay derivadas respecto a una variable:

+ E + H = F .

Esta lineal de orden 2, ordinaria si la vemos como funcin de , se integra viendo la

como un parmetro. Un par de constantes para cada dan lugar a dos funciones
arbitrarias de en la solucin. La ecuacin, como vemos, debe ser parablica.
Si slo aparece y una de las derivadas primeras:

+ D = F .

Se resuelve haciendo = : la lineal de primer orden + D = F es integrable

viendo como parmetro. La contiene, pues, una funcin arbitraria de . Al
integrarla para hallar la aparece otra funcin arbitraria (de ). Las cosas seran
anlogas si en vez de la apareciese la . La ecuacin es hiperblica.
[En las EDOs de segundo orden aparecen dos constantes arbitrarias; aqu hay, en los
dos casos, dos funciones arbitrarias (evaluadas en las caractersticas como ocurra
en las EDPs de primer orden). Se ve que ninguna ecuacin elptica, ni la del calor
t son resolubles por este camino].
[Otras pocas ecuaciones ms pueden llevarse a estas formas resolubles haciendo
cambios de variable del tipo = epy eq que hacen desaparecer alguna derivada
de menor orden o el trmino con la ].
yy + 5y + 4 + 3y + 3 = 9

Ej 3.
B

B2 4AC
2A

B2 4AC = 9 , hiperblica.

yy = + 8 + 16
= y
y = 4

y = 5 4
= 4y
= +
= + 2 +

Entonces: + = 1 , del segundo de los tipos citados. Para resolverla:

= = 1 = p()e 1 (, ) = p()e + q()
La solucin general es:

(, y) = p(4y) ey + q(y) + 4y

, p , q arbitrarias.


La ecuacin similar yy + 5y + 4 + 3 = 9 13 31 = 1 , no es resoluble .

Qu datos adicionales habr que pedir a la EDP lineal de segundo orden [E] para
aislar una nica solucin? Para una EDO de segundo orden era necesario fijar el
valor de la solucin y de su derivada en el instante inicial para tenerla. En una EDP
de primer orden dbamos los valores de en toda una curva G (no tangente a las
caractersticas). Acabamos de ver que en los pocos casos en que [E] era resoluble
aparecan dos funciones arbitrarias en la solucin. Todo ello lleva a plantear el
u
Problema de Cauchy para [E]: hallar la solucin que
tome unos valores dados de y la derivada normal
n a lo largo de una curva dada G del plano y .
y
[Geomtricamente: hallar la superficie solucin que contenga una
curva dada y tenga a lo largo de ella una familia de planos tangentes
tambin dados. La derivada normal ser habitualmente o y ].

En particular, al tomar como G el eje se tiene el problema de valores iniciales

que consiste en hallar la solucin de [E] que cumple (, 0) = () , y (, 0) = g() .
Como ocurra en las de primer orden se puede probar que:
Si los datos son regulares y G no es tangente a las caractersticas en ningn
punto, el problema de Cauchy tiene solucin nica en las proximidades de G .
y

Ej 4. Sea

[P]

yy + 2y + y = 0
(, 0) = , y (, 0) = 0

B2 4AC 0
parablica

B
y = y = K caractersticas. Como y = 0 no es tangente
2A

a ellas, el problema de Cauchy [P] tendr solucin nica.

La ecuacin resulta ser resoluble y podemos comprobarlo:


= y
= 0 = p() + q() e = p(y + q(y) ey .
=y

y = p0 + (qq0 ) ey :
o
o
(, 0) = p() + q() =
p0 ()+q0 () = 1
0
y (, 0) = p0 ()q0 ()+q() = 0
p ()+q0 () = q()

Imponiendo los datos de Cauchy

[ p0 y q0 representan la misma derivada ordinaria en ambas ecuaciones]

q() = 1 p() = 1

= y1 + ey ,

solucin determinada de forma nica por los clculos anteriores.

Acabamos la seccin dando la solucin de la nica de las ecuaciones clsicas resoluble por este camino: la ecuacin de ondas en una dimensin (cuerda vibrante):

tt c2 = 0
[P]
B2 4AC = 4c2 , hiperblica.
(, 0) = () , t (, 0) = g()


= + 2 +
= +ct
A partir de las expresiones de la pgina 7: = ct
tt = c2 [ 2 + ]
4c2 = 0

= 0

forma
cannica

= p() = p() + q() .

Luego la solucin general de la ecuacin de ondas es:

(, t) = p(+ct) + q(ct)

, p y q funciones arbitrarias de C2 .

Imponemos los datos para aislar la solucin del problema de valores iniciales:


p() + q() = ()

cp0 () cq0 () = g()

p() =

1
1
() + 2c
2

(, t) =

R
0

0
p () + q0 () = 0 ()
2p0 () = 0 () + 1c g()
p0 () q0 () = 1c g()

g(s) ds + k q() =


1
1
(+ct) + (ct) + 2c
2

1
1
() 2c
2

+ct

g(s) ds
ct

R
0

g(s) ds k

frmula de
DAlembert

1.3. Los problemas clsicos; unicidad

Qu datos adicionales proporcionan problemas bien planteados para una EDP de segundo
orden en dos variables lineal [E] L[] = F ? Hemos definido ya el problema de Cauchy para
[E]. Es el adecuado a todas las EDPs de segundo orden? No, no lo es. En los problemas
reales aparecen condiciones mucho ms variadas: en unos casos surgen condiciones iniciales y de contorno a la vez, en otros slo de contorno... Adems unos datos de Cauchy pueden
dar lugar problemas mal planteados para EDPs no hiperblicas. Se pueden dar ejemplos de
problemas de Cauchy para Laplace (de solucin nica, pues sin caractersticas reales no
puede haber tangencia con la curva de datos), sin la necesaria dependencia continua.
Conozcamos los principales problemas asociados a las ecuaciones clsicas en dos variables [slo (P1 ) ser de Cauchy]. Para cada uno habra que probar que est bien planteado.
Para ms variables las cosas son anlogas y poco ms complicadas.

Ondas. Tiene solucin nica dependiente continuamente de los datos el

problema puro de
valores iniciales:

(P1 )

tt c2 = F(, t) , , t R
(, 0) = () , t (, 0) = g()

u(x,0)

g(x)
f(x)

para la cuerda infinita (tiene sentido real cuando t es pequeo y

estamos lejos de los extremos). Como damos los datos sobre t = 0
no caracterstica (eran ct = K ) hay solucin nica.

Para la ecuacin homognea ( F 0 ) deduzcamos la dependencia continua de la frmula

de DAlembert, hallada al final de la seccin anterior, que da la solucin nica de (P1 ):
(, t) =


1
1
(+ct) + (ct) + 2c
2

+ct

g(s) ds
ct

[Para que sea C2 ,

debe C2 y g C1 ].

Comprobemos que para datos iniciales prximos sus soluciones (, t) y (, t)

son cercanas en intervalos de tiempo finitos (es decir, la dependencia continua):
si | () ()| < y |g()g()| < , para t [0, T] se tiene:
R +ct
1
|g(s)g(s)| ds
|| 21 | (+ct) (+ct)| + 12 | (ct) (ct)| + 2c
ct
R +cT

< + 2c
.
ds = (1+T) < y t [0, T] , si < 1+T
cT

Otro problema bien planteado para la cuerda acotada cuyos extremos se mueven
verticalmente segn h0 (t) y hL (t) dadas (que estn fijos es un caso particular).
Hay entonces dos condiciones de contorno adicionales:
c2 = F(, t) , [0, L], t R
tt

(P2 ) (, 0) = () , t (, 0) = g()
(0, t) = h0 (t) , (L, t) = hL (t)
Demostremos su unicidad (veremos que la solucin existe, como en otros casos, hallndola explcitamente [en 1.4 a travs de extensiones o en 4.2 por separacin de
variables]; la dependencia continua, que se cumple, no la probamos).
Sean 1 y 2 soluciones cualesquiera de (P2 ) y sea = 1 2 . Entonces cumple:

tt c2 = 0 , [0, L] , t R
(P0 )
(, 0) = t (, 0) = (0, t) = (L, t) = 0
Queremos ver que 0 . Integremos la identidad:
t [tt c2 ] =

1
[2t
2 t

+ c2 2 ] c2
[t ]

para entre 0 y L y t entre 0 y T cualquiera, suponiendo solucin de (Po ):

R
R L
R T
(,T)
(L,t)

1 L 2
t +c2 2 (,0) d c2 0 t (0,t) dt = 21 0 t (, T)2 +c2 (, T)2 d = 0
2 0
pues tt c2 = t (, 0) = (, 0) = t (0, t) = t (L, t) = 0 .
El ltimo corchete es 0 y es funcin continua de . Para que la integral se anule
debe ser t (, T) = (, T) = 0 si 0 L y para cualquier T. Por tanto (, t) es
constante y como (, 0) = 0 debe ser = 1 2 0 . Hay unicidad.

10

Calor. Para la varilla infinita se prueba que est bien planteado:

(P3 )

t k = F(, t) , R, t > 0
(, 0) = () , acotada

Basta un solo dato, la distribucin inicial de temperaturas, para fijar las posteriores.
[No podemos dar arbitrariamente la t (, 0) pues debe ser t (, 0) = k 00 ()+F(, 0) si
es solucin ( t = 0 es caracterstica y (P3 ) no es buen problema de valores iniciales)].

Para la varilla acotada hay condiciones de contorno, que pueden ser de varios
tipos, con diferentes significados fsicos cada uno. Si los extremos toman a lo largo
del tiempo las temperaturas dadas h0 (t) y hL (t) se tiene:
k = F(, t) , (0, L), t > 0
t

(P4 ) (, 0) = ()
(0, t) = h0 (t) , (L, t) = hL (t)

Si lo que fijamos es el flujo de calor en los extremos obtenemos:

k = F(, t) , (0, L), t > 0
t

(P5 ) (, 0) = ()
(0, t) = h0 (t) , (L, t) = hL (t)

[En particular, si h0 (t) = hL (t) = 0 , los extremos estn aislados].

Un tercer tipo de condiciones de contorno combina y :
(0, t) (0, t) = h0 (t) (L, t)+b (L, t) = hL (t) , con , b > 0 .
Expresan la radiacin libre de calor hacia un medio a temperatura dada (si el
extremo = L est ms (menos) caliente que hL entonces irradia (chupa) calor
pues = (hL )/ b < 0 ( > 0 ) y el flujo de calor es siempre en sentido opuesto al
gradiente de las temperaturas; lo mismo sucede con el otro extremo).
(P4 ) (P5 ) (o cualquiera de los otros 7 problemas que aparecen combinando los 3
tipos de condiciones descritos) son todos problemas bien planteados.
Probemos que tienen solucin nica. Sean 1 y 2 soluciones. Entonces = 1 2
satisface el problema con F = = h0 = hL = 0 . Nuestro objetivo es deducir que 0 .
Multiplicando la ecuacin por e integrando respecto a entre 0 y L se tiene:
RL
RL
R
RL

(L,t)
d L 2
t dk 0 d = 21 dt
dk (0,t) +k 0 2 d = 0
0
0
R
2
d L
dt
(, t) d 0
0
[si = 0 = 0 en los extremos la ltima implicacin es clara, ya que k > 0 ; es
tambin fcil verlo si = 0, > 0 si +b = 0, b > 0 ; no se puede dar ese
paso ni probar la unicidad para < 0 b < 0 (fsicamente inadmisible)].
La ltima integral es una funcin U(t) no creciente ( U0 0 ), que cumple U(0) = 0
(pues (, 0) = 0 ) y es U(t) 0 (integrando positivo). De las tres cosas se sigue que
U(t) 0 0 . Unicidad.
Una forma alternativa de probar la unicidad de algunos problemas (que adems permite
atacar la dependencia continua) es utilizar un principio del mximo que se ajuste a
ese problema. Por ejemplo, es cierto este principio que no demostramos:
Si es continua en [0, T][0, L] y satisface t k = 0 en (0, T)(0, L) , los valores
mximo y mnimo de se alcanzan o bien en t = 0 o bien en = 0 bien en = L .
[Si ni la temperatura inicial en la varilla ni la de los extremos supera un valor M , no se
puede crear en su interior una temperatura mayor que M (si no hay fuentes externas);
la prueba a partir de esto de la unicidad y la dependencia continua de (P4 ) sera similar
a la que veremos para Laplace y no la hacemos; si quisiramos demostrar la unicidad
para los otros problemas de la ecuacin del calor, necesitaramos otros principios del
mximo diferentes].

11

Laplace. Los problemas son de contorno. Los dos ms importantes son:

Problema
de
Dirichlet:

(PD )

= F en D
= en D

Problema
de
Neumann:

(PN )

= F en D
n = en D

D dominio
acotado

Donde D es un abierto conexo acotado de R2 , D es su frontera y

n es la derivada en la direccin del vector normal unitario exterior n .
Si vemos la ecuacin describiendo una distribucin estacionaria de temperaturas
en una placa, en (PD ) fijamos las temperaturas en el borde y en (PN ) el flujo de
calor en direccin normal al borde.
Si F , y D son regulares, el (PD ) es un problema bien planteado. Lo resolveremos
en recintos sencillos en el captulo 4. Probemos ahora su unicidad por dos caminos.
Mediante la frmula de Green (generaliza la integracin por partes a R2 ):
C2 (D)C1

Sea

ZZ

ddy =

D . Entonces
D

ZZ

kk2 ddy

n ds
D



Identidad = div kk2 y teorema de la divergencia

ZZ

div f ddy =

I

f n ds .
D

Si 1 y 2 son soluciones de (PD ), = 1 2 verifica el problema con F = = 0 .

La frmula de Green dice entonces que:
ZZ

kk2 ddy = 0 = 0 = cte 0 (pues = 0 en D ).

D

Probamos de otra forma la unicidad de (PD ), y tambin la dependencia continua, con

el siguiente principio del mximo para Laplace (intuitivamente claro: la temperatura de una placa no supera la mxima de su borde) que no demostramos:
Si satisface = 0 en un dominio acotado D y es continua en D
entonces alcanza su mximo y su mnimo en la D .
n = 0 en D
Como = 1 2 , con 1 , 2 soluciones, verifica
, se tiene:
= 0 en D
0 = mn mn m
x m
x = 0 0
D

es solucin de (PD ) con = en D y sea | | < en D . Entonces:


= 0 en D
=
< mn m
x < || < en D.
= en D
D
D
Si

Si la diferencia entre datos es pequea, lo es la diferencia entre soluciones.

Para el (PN ) la situacin es ms complicada. En primer lugar, para que (PN ) pueda
tener solucin es necesario que F y satisfagan la relacin:
ZZ

F ddy =
D

ds
D

[basta aplicar el teorema de la

divergencia a para verlo].

Adems, si (PN ) tiene solucin, esta contiene una constante arbitraria [lo que era
esperable, ya que ecuacin y condicin de contorno slo contienen derivadas].
Tambin se ve que si queremos repetir la prueba de la unicidad con la frmula de
Green, podemos dar todos los pasos excepto la ltima implicacin. Se dice que el
problema de Neumann (PN ) tiene unicidad salvo constante.
[Adems se imponen a Laplace condiciones de contorno del tipo + n = , > 0,
y tambin tienen inters los problemas en que en parte de D hay condiciones tipo
Dirichlet, en otra tipo Neumann... (todos son problemas bien planteados). Tambin se
tratan problemas en D no acotados. Para tener unicidad, adems de los datos en D ,
hay que exigir un adecuado comportamiento en el infinito].

12

1.4. Ecuacin de la cuerda vibrante

En secciones anteriores vimos que para el problema puro de valores iniciales:

u(x,0)
g(x)
tt c2 = 0 , , t R
(P1 )
f(x)
(, 0) = () , t (, 0) = g()
x

las caractersticas eran ct = K , la solucin general

(, t) = p(+ct) + q(ct)

, p y q funciones arbitrarias de C2 ,

y la solucin nica de (P1 ), satisfaciendo ya los datos iniciales:

(, t) =

[1]


1
1
(+ct)+ (ct) + 2c
2

+ct

frmula de
DAlembert

g(s) ds
ct

[Para que sea C2 , deba C2 y g C1 (entonces es solucin clsica o regular).

Si es continua pero no C2 se llama solucin dbil, concepto tpico EDPs. En cada
caso hay que precisar que se admite como solucin dbil y comprobar que el problema
sigue bien planteado (si ms funciones valen como soluciones, seguir la unicidad?)].

La solucin de (P1 ) es la suma de dos ondas que viajan a velocidad c , una

hacia las crecientes y otra hacia las decrecientes. A la vista de [1]:
Llamando G()

1
2c

R
0

g(s) ds :

q() =
p() =

1
()G() va hacia la derecha
2
1
()+G() va hacia la izquierda
2

Para obtener un dibujo de la solucin (, t) en diferentes instantes, identificadas

estas ondas viajeras, bastar trasladar sus grficas y sumarlas (grficamente).
Ej 1. Supongamos = 0 salvo una perturbacin en forma de tringulo
en torno a 0 y que soltamos la cuerda sin impulso ( g = 0 ).
Dibujemos la solucin para diferentes t . Bastar trasladar las dos


ondas que viajan en sentidos opuestos aqu ambas son 12 () :
t=b/2c
b

t=b/c

h/2
b

t=3b/2c

h/2
b

f
0

f/2
b

h/2
b

Ha costado muy poco hacer los dibujos y predecir la evolucin de esta solucin dbil
[bastante ms costara dar la expresin analtica de la solucin para todo y todo t ].
Los picos de la inicial siguen indefinidamente y viajan tambin a velocidad c .

Supongamos ahora que hay fuerzas externas. El problema es:

(P2 )

n c2 = F(, t) , , t R
tt

(, 0) = (), t (, 0) = g()

Sabiendo algo de derivacin de integrales, se comprueba que su solucin es:

[2]

(, t) =


1
1
(+ct)+ (ct) + 2c
2

+ct

g(s) ds +
ct

1
2c

Z tZ

+c[t]

F(s, ) ds d

0 c[t]

Observemos que (, t) slo depende de los valores de en ct y

(x,t)
t
+ ct [puntos de corte con el eje de las caractersticas que pasan
por (, t) ] y de los de g en el intervalo [ct, +ct] . A este intervalo
se le llama dominio de dependencia del punto (, t) . Se comprueba
s
tambin que el recinto descrito por la integral doble es el tringulo del
x
x-ct
x+ct
plano s limitado por el eje = 0 y las caractersticas citadas. As
pues, para hallar la solucin en un punto (, t) se necesita slo: i) los valores de F en
dicho tringulo, ii) los de g en su base, iii) los de en los dos puntos ct y +ct .

13

Ej 2.
=

tt = 2
(, 0) = , t (, 0) = 3

R +t

1
(+t)+(t) + 12 t
2

Utilizando directamente [2]:

3 ds+ 12

R t R +[t]
0 [t]

2 ds d = +3t+2

Rt
0

[t] d = +3t+t 2

A veces es fcil hallar una solucin particular de la ecuacin no homognea y as

evitar el clculo de la integral doble, pues = conduce a un problema con
F = 0 , resoluble con [1] (esto no se podr hacer siempre cuando haya condiciones de
contorno, pues podran dejar de ser homogneas). Por ejemplo si F depende slo de
o de t se puede buscar una () o una (t) . En este caso:

tt = 0
= 2 = 2 +C+K si () = 2 , cumple
(, 0) = +2 , t (, 0) = 3
R


+t
= 12 (+t)+(+t)2 +(t)+(t)2 + t 3 ds = +2 +t 2 +3t = +3t +t 2 .
tt = 2 (t) = t 2 +3t

tt = 0
= = + 3t + t 2 .
(, 0) = , t (, 0) = 0

Pasemos a resolver problemas con condiciones de contorno. En primer lugar, el

problema para la cuerda semi-infinita y fija en un extremo:
tt c2 = 0 , 0, t R
(P3 ) (, 0) = () , t (, 0) = g()
(0, t) = 0

[para que no est rota,

debe ser (0) = 0 ].

La frmula [1] exige funciones definidas y ni ni g estn definidas si < 0 .

Cmo extender estas funciones a todo R? Si llamamos y g a sus extensiones
y se debe cumplir la condicin de contorno:
R ct


1
(0, t) = 12 (ct) + (ct) + 2c
g(s) ds = 0 ,
ct
es claro que y g han de ser impares
respecto a 0 , es decir,
() = () ; g() = g() .
As pues, la solucin de (P3 ) es la del siguiente problema (para la cuerda infinita):
c2 = 0 , , t R
tt


 1 Z +ct
(, 0) = ()
, (, t) = 21 (+ct)+ (ct) + 2c
g (s) ds [3]
ct
t (, 0) = g()
pues cumple la ecuacin, las condiciones iniciales para 0 , y la de contorno.
Las dificultades prcticas del uso de esta solucin es que y g tendrn, en
general, diversas expresiones en distintos intervalos.
Siguiendo con la cuerda semi-infinita, veamos como se resuelve el problema ms
general con fuerzas externas y extremo mvil:
c2 = F(, t) , 0, t R
tt

(P4 ) (, 0) = () , t (, 0) = g()
(0, t) = h0 (t)

[debe ahora ser

(0) = h0 (0) ].

Primero debemos hacer la condicin de contorno homognea, encontrando

una que la cumpla y haciendo = , ya que entonces ser (0, t) = 0 ,
aunque probablemente se complicarn la ecuacin y el resto de condiciones.
La ms clara (no siempre la mejor) es: (t) = h0 (t) .
Una vez que tenemos la condicin de contorno homognea, la solucin del problema en la da [2] si sustituimos sus , g y F por , g y F , siendo sta ltima
la extensin impar de F mirndola como funcin de .

14

 tt = 0 , 0, t R
(, 0) = t (, 0) = 0
Ej 3.
(0, t) = t 2

Hallemos primero la solucin para un y t fijos: (1, 2) .

-2
2
Para anular la condicin de contorno podemos usar la citada:
(
n
= 2
2
2 , <0
tt

tt = 2
, >0
= t 2 (, 0) = t (, 0) = 0
(, 0) = t (, 0) = 0
(0, t) = 0
3
-1
1
h
i
RR
(1, 2) = 12 4 F = 21 (2) rea
+(2) rea
= 3 (1, 2) = 3+4 = 1 .
[Por ser constantes las F a integrar, nos hemos ahorrado el clculo de integrales
dobles. Pero como esto no se podr hacer en general, vamos a perder un poco el
tiempo en hallar (1, 2) sin este atajo. El valor que estamos calculando es:
RR
R 2R 3
(1, 2) = 12 4 F = 12 0 1 F (s, ) ds d
Sobre el tringulo pequeo la integral viene dada por:
R R
R1
1 1 0
2 ds d = 0 (1) d =
2 0 1

1
2

Para el otro cuadriltero hay que dividir en dos el recinto de integracin:

R R
R 2R 3
R1
R2
1 1 3
(2) ds d + 21 1 1 (2) ds d = 0 ( 3) d + 1 (2 4) d = 27 .
2 0 0
Sumando ambos resultados obtenemos (1, 2) = 3 como antes].
Pero podramos conseguir un problema sin F , haciendo el cambio con una mejor.
Tanteando un poco se ve que = 2 +t 2 cumple la condicin y tambin la ecuacin:
tt = 0
= 0 , , t R
f*
tt

(, 0) = 2 , t (, 0) = 0
(0, t) = 0

(1, 2) =

1
[ (3)+ (1)]
2

x2

(, 0) = ()
t (, 0) = 0

-x2

= 4 (1, 2) = 54 = 1

Con este segundo cambio no es difcil dar la (, t) para todo , t 0 (con el primero
nos costara mucho ms). Est claro que hay que considerar dos posibilidades, pues,
aunque + t es siempre positivo, t puede ser tambin negativo, y la tiene
expresiones distintas para valores positivos y negativos:
( 1

2 (+t)2 + 21 (t)2 = 2t, t
(t)2 , t
1

= 2 [ (+t)+ (t)] =

=
0 , t
1 (+t)2 1 (t)2 = 2 t 2 , t
2

[Como las ondas viajan a velocidad c = 1 los puntos a distancia t deban estar
parados en el instante t ].
Veamos que las ondas ttc2 = 0 en el espacio con simetra radial se reducen a
cuerdas semi-infinitas. Pasando el laplaciano a esfricas (en 4.4 se tiene su expresin)
y quitando los trminos con derivadas respecto a y se llega a:



tt c2 rr + 2r r = 0 , r 0, t R
(Pr )
(r, 0) = (r) , t (r, 0) = g(r)
Haciendo el cambio

= r , la ecuacin pasa a ser la de la cuerda: tt c2 rr = 0 .

Y como debe ser acotada, aparece la condicin de contorno: (0, t) = 0(0, t) = 0 .

As pues, el problema en es del tipo (P3 ) que acabamos de tratar:

tt c2 rr = 0 , r 0, t R
(r, 0) = r (r) F(r), t (r, 0) = rg(r) G(r), (0, t) = 0
Si F y G son las extensiones impares de F(r) y G(r) la solucin de (Pr ) es:
(r, t) =

1
1
[F (r +ct)+F (r ct)] + 2cr
2r

que podemos poner en la forma (r, t) =

R r+ct
rct

G(s) ds

1
p(r +ct) + 1r q(r ct)
r

e interpretar como

la suma de dos ondas esfricas, cuyos radios disminuyen o crecen a velocidad c .

La magnitud de la perturbacin propagada es inversamente proporcional al radio.

15

Estudiemos la cuerda acotada y fija en los extremos [la volveremos a ver en 4.2]:
c2 = 0 , [0, L], t R
tt

(P5 ) (, 0) = () , t (, 0) = g()
(0, t) = (L, t) = 0

[debe ser
(0) = (L) = 0 ].

Para hallar su solucin nica con la frmula de DAlembert extendemos y g a

[L, L] de forma impar respecto a 0 y luego de forma 2L-peridica a todo
R, es decir, llamando y g a estas extensiones:
() = () , (+2L) = () ; g() = g() , g(+2L) = g() .
f

f*
-L

-2L

(entonces y g tambin
sern impares respecto a L ).

3L

2L

Como para (P3 ), la solucin de (P5 ) se obtiene aplicando [3] al siguiente problema
(por la imparidad de los datos se cumplen tambin las condiciones de contorno):

tt c2 = 0 , , t R
(, 0) = () , t (, 0) = g()
Para que la dada por [3] sea C2 (regular) deben C2 [0, L] y g C1 [0, L] y adems:
(0) = (L) = 00 (0) = 00 (L) = g(0) = g(L) = 0 [ 0 y g0 existen en 0 y L por la imparidad].

Ej 4.

u(x,0)

tt = 0 , [0, 1], t R
n
, 01/ 2
(, 0) =

(Puede representar la
pulsacin de la cuerda
de una guitarra).

1 , 1/ 21

t (, 0) = (0, t) = (L, t) = 0

1/2

Es complicado hallar explcitamente (, t) , t pues tiene muchas expresiones:

1/2

f*

() =

1 , 3/ 2 1/ 2

, 1/ 2 1/ 2

1 , 1/ 2 3/ 2

2, 3/ 2 5/ 2



Hallar (, t) = 12 ( + t) + ( t) exigira discutir en qu intervalos se mueven
+t y t y sera muy largo (para estas discusiones conviene dibujar los dominios de
dependencia). Algo ms fcil es hallar la solucin para un t o fijos. Por ejemplo:




, 14 = 12 (+ 14 ) + ( 14 )

+ 18
2
3
2
8
3
2
8

+
+
+

18
2

18
2
5
2
8

1/4

= , 0 14
=

1
4

1
4

= 1 ,

34
3
4

-1/2

1/4

1/2

3/4

S es muy fcil hallar para un (, t) dado. No se necesita siquiera la expresin de .

h
h





i



i


1
11
3 + 3
Por ejemplo: 41 , 3 = 12 13
+

= 43 = 14 .
4
4
2
4
4

es 2-peridica

es impar

Tampoco se precisa la expresin de para hacer dibujos: basta trasladar ondas y sumar.
h
h





i



i
Dibujemos: 21 , t = 12 12 +t + 21 t = 12 12 +t t 12
1/2

u(1/2,t)
5

1
0

La grfica tiene periodo 2. Esto es general: por las propiedades de y g la dada

por [3] es 2L
peridica. [Lo que ser evidente en la serie solucin de 4.2].
c

16

Si queremos resolver el problema ms general:

c2 = F(, t) , [0, L], t R
tt

(P6 ) (, 0) = () , t (, 0) = g()
(0, t) = h0 (t) , (L, t) = hL (t)

(hay fuerzas externas y

movemos los extremos)

primero, como en (P4 ) y otros problemas que veremos, hay que hacer las condiciones de contorno homogneas, hallando una que las cumpla y haciendo = .
Tanteando con funciones = (t)+b(t) se ve fcilmente que una posible es:


(, t) = 1 L h0 (t) + L hL (t) [a veces ser mejor buscar otra].
La solucin del problema en la da de nuevo [2], poniendo en vez de , g y F ,
las extensiones impares y 2L-peridicas , g y F (vista F como funcin de ).
tt = 0 , [0, 2], t R
(, 0) = t (, 0) = 0
Ej 5.
(0, t) = t , (2, t) = 0
tt = 0 , [0, 2]

(, 0) = 0, t (, 0) =
(0, t) = (2, t) = 0

1
2

Estudiemos la evolucin de la cuerda para t [0, 2] .

Primero usamos la de arriba = t(1 2 )

=+

tt = 0 , R
(, 0) = 0
t (, 0) = g()

La solucin del ltimo problema es (, t) =

1
2

R +t
t

g .

Sea T [0, 2] fijo. Como [T, +T] no contiene valores negativos a partir de = T :
R +T s






1 R0
s
+1 ds+ 12 0
1 ds = T2 1 , [0, T]
2 T 2
2
(, T) =
R




1 +T s
1 ds = T 2 1 , [T, 2]
2 T 2
(, T) =

T , [0, T]
0 , [T, 2]

La perturbacin viaja a velocidad 1 . La cuerda deba estar en reposo para T .

Por ltimo veamos cmo se debe extender si la condicin de contorno es (0, t) = 0 :



1 
(0, t) = 12 0 (ct)+ 0 (ct) + 2c
g (ct)g(ct) = 0 , 0 impar y g par
se deben extender y g de forma par respecto a 0 (o respecto a L si fuese ah = 0 ).

17

18