CAPITULO 6

LA ECUACION DEL CALOR

Introduccin o
La ecuacin del calor, o ut u = F (x, t), es el modelo ms sencillo de ecuacin de difusin y fue obtenida en la seccin 1.3 con a o o o detalle. Hemos visto en la seccin 2.3 cmo el problema de Cauchy para la ecuacin o o o del calor con datos en t = 0 es un problema caracter stico. En la seccin 3.4 se o ha estudiado el comportamiento de la difusin de calor en un medio unidimensional, o advirtiendo que se trata de un modelo irreversible y viendo cmo la ecuacin del calor o o mejora los datos, es decir, tiene efecto regularizante. En este cap tulo se proyecta estudiar el problema de Cauchy en RN comprobando que es compatible, si bien es necesaria una condicin unilateral para obtener solucin o o unica, por ser caracter stico . A n de poder demostrar resultados de unicidad se establecer el principio del a mximo para la ecuacin del calor. a o
291

292

La obtencin de la solucin fundamental es el objeto de la primera seccin. Con ella o o o obtendremos una solucin del problema de Cauchy homogneo. Se estudia tambin o e e un contraejemplo de Tychono que pone de maniesto la no unicidad. La seccin 6.2 se dedica a estudiar el principio del mximo en dominios acotados o a y a los teoremas de unicidad ms simples. a La solucin del problema no homogneo ser el objeto de la seccin tercera y en la o e a o seccin cuarta se estudiar el resultado general de unicidad de Widder. Esta ultima o a seccin se puede reducir en una primera lectura a informarse del resultado, obviando o las demostraciones. Se cierra el cap tulo con un apartado de ejercicios.

293

6.1.- Ncleo de Gauss. Construccin de soluciones. u o

Al igual que se ha hecho en la ecuacin de Laplace, tratamos de obtener soluciones o de la ecuacin del calor que son singulares en el origen. o Empezaremos por el caso de dimensin espacial uno que es ms sencillo de escribir, o a y en el que usaremos un argumento de homogeneidad frente al cambio de escala, que reduce el problema a una ecuacin ordinaria. o El uso de la transformacin de Fourier nos permitir obtener la solucin fundao a o mental en dimensiones mayores. A) En el caso de dimensin N = 1, hay un camino muy elemental de obtener la o solucin fundamental. o Buscaremos soluciones autosemejantes, es decir, soluciones que al cambiar la escala convenientemente permanecen invariantes. Ms precisamente, la escala conveniente a queda determinada observando que en la ecuacin del calor hay una derivada en o el tiempo y dos en el espacio. Con esta observacin, hacemos el cambio de escala o x = y, t = s y consideramos para una solucin u, o v(y, s) = u( y, s) = u(x, t). Para que v sea solucin hemos de tener, o vs vyy = 0 pero si calculamos, vs vyy = ut 2 uxx , de forma que si = 2 tenemos, vs vyy = (ut uxx ) = 0. Como consecuencia, parece natural buscar soluciones que respeten la homogeneidad x observada, es decir, soluciones que dependan de la variable = . La forma de una t tal funcin, ser, o a x u(x, t) = t f ( ). t Imponiendo que u verique la ecuacin, ut uxx = 0, se debe tener, o f () + f () f () = 0, 2
x donde = t . Desde el punto de vista f sico se sabe que hay que imponer la conservacin de la cantidad de calor. Normalizando se traduce en, o

u(x, t)dx =

x t f ( )dx = 1, t

294

es decir,

1 x t f ( )dx = t+ 2 t

f (y)dy = 1,

por tanto, necesariamente se ha de tener = 1 . La ecuacin ordinaria puede o 2 escribirse como (2f + f ) = 0. Tomamos en particular las soluciones de 2f + f = 0, es decir, f () = ce
||2 4

que para que tenga integral uno, debe ser, u(x, t) = (4t) 2 e
1 |x|2 4t

ncleo de Gauss, que es la solucin fundamental buscada. u o La justicacin del nombre quedar clara en unas pocas l o a neas. El mtodo es extensible a ms dimensiones. Se omiten ms detalles, pues tenemos e a a un mtodo alternativo que estudiamos a continuacin. e o B) Consideremos el problema ut u = 0, u(x, 0) = f (x), x RN , xR ,
N

(6.1.1)

t>0 f S(RN ).

Recordamos que S es el espacio de funciones temperadas introducido en la seccin o 3.6, en el cual la transformacin de Fourier se comporta bien. Si aplicamos la o transformacin de Fourier en las variable espaciales, es decir, o u(, t) =
RN

e2i

x,

u(x, t)dx,

se tiene (6.1.2) ut (, t) + 4 2 ||2 u(, t) = 0, (). u(, 0) = f RN , t>0

Integrando la ecuacin ordinaria en t, considerando como parmetro, se obtiene o a

2 2 u(, t) = f ()e4 || t .

295

Como se trata de una funcin gaussiana podemos calcular su transformada de o Fourier, como se hizo en la seccin 3.6, resultando otra gaussiana a la que llamamos o ncleo de Gauss. Ms precisamente u a e2i
RN x,

e4

||2 t

d =

1 (4t)
N 2

|x|2 4t

Por tanto, en virtud del apartado 3) del teorema (3.6.3) se tiene (6.1.3) u(x, t) = 1 (4t)
N 2

e
RN

|xy|2 4t

f (y)dy,

que al ser f S(RN ), est bien denida. a Llamando |x|2 1 4 K(x) = , N e (4) 2 y deniendo Kt (x) = es decir, Kt (x) = se verica (1) Kt (x) > 0, para todo x RN , (2) Kt (x)dx = 1,
RN

1 t
N 2

x K( ), t e
|x|2 4t

1 (4t)
N 2

(3) limt0

|x|>>0

Kt (x)dx = 0.

Las tres propiedades se comprueban de forma inmediata por clculo directo. (Vase a e la seccin 3.6) o A Kt (x) la llamaremos solucin fundamental de la ecuacin del calor. El siguiente o o resultado justica esta denominacin. o Observemos que la frmula (6.1.3) tiene sentido tambin si, por ejemplo, se supone o e que f C(RN ) y est acotada. Por eso se formula el resultado en el contexto de las a funciones continuas. 6.1.1. Teorema. Sea f C(RN ) tal que |f (x)| < M si x RN . Entonces, u(x, t) denida por (6.1.3) verica (1) u C (RN (0, )), (2) ut u = 0 si x RN , t > 0, (3) lim u(x0 , t) = f (x0 ) siendo la convergencia uniforme,
t0

(4) |u(x, t)| supxRN |f (x)|, (x, t) RN (0, ).

296

Demostracin. o La demostracin es una copia de la hecha con el ncleo de Poisson, ya que Kt (x) o u es una aproximacin de la identidad. En efecto, los apartados 1) y 2) resultan de o la deduccin de Kt y pueden comprobarse tambin por clculo directo sin grandes o e a dicultades. La conclusin 4) resulta directamente de la propiedad 2) para el ncleo o u de Gauss Kt . En cuanto a 3) para x0 RN , escribimos

(6.1.4.)

|u(x0 , t) f (x0 )| = |

Kt (x0 y)(f (y) f (x0 ))dy|.

Por la continuidad de f , dado > 0 existe > 0 tal que si |yx0 | < , |f (y)f (x0 )| < ; entonces en (6.1.4) resulta (6.1.5.) |u(x0 , t)f (x0 )|
|x0 y|<

Kt (x0 y)dy+2 sup |f (y)|

xRN |x0 y|>

Kt (x0 y)dy 2,

en virtud de las propiedades del ncleo K. u

Ejemplo de Tychono: No unicidad de solucin del Problema de Cauchy o para la ecuacin del calor. o Como se estudi en el cap o tulo 2, el problema (6.1.1) es caracter stico, por lo que sin condiciones adicionales no es de esperar unicidad. As lo pone de maniesto el ejemplo debido a Tychono que se analiza a continuacin. o Consideremos el problema (6.1.6) ut uxx = 0, u(x, 0) = 0 (x, t) R (0, )

que obviamente tiene la solucin cero. La idea es usar el problema no caracter o stico, uxx = ut , (x, t) R2 (6.1.7) u(0, t) = g(t), t R ux (0, t) = 0, para buscar soluciones de (6.1.6). Elegiremos g(t) = 0 si t 0, para conseguir u(x, 0) = 0 y buscaremos

(6.1.8) para que sea solucin. o

u(x, t) =
j=0

gj (t)xj ,

297

Suponiendo regularidad suciente, se deriva trmino a trmino en (6.1.8) y se e e sustituye en la ecuacin, obtenindose o e

(6.1.9)
j=0

gj (t)xj =
j=2

j(j 1)gj (t)xj2 ,

y para vericar los datos en (6.1.7) (6.1.10) g0 (t) = g(t), g1 (t) = 0.

De (6.1.9) resulta que para j 2, gj (t) = (j + 1)(j + 2)gj+2 (t) que, junto a (6.1.10) da i) Si j = 2k + 1, gj = 0. ii) Si j = 2k, g2k (t) = Sustituyendo en (6.1.8) resulta

1 dk g (t). (2k)! dtk

(6.1.11)

u(x, t) =
k=0

x2k dk g (t). (2k)! dtk

Tras este clculo formal pasamos a elegir g de forma que se tenga la convergencia a necesaria para que (6.1.11) dena una solucin clsica de la ecuacin del calor. o a o Para > 1 se toma (6.1.12) g(t) = et 0,

t>0

t 0.

De esta forma g C (R) y

dk g (0) = 0, con lo que se comprueba directamente dtk que se verica el dato inicial u(x, 0) = 0. Para estudiar la convergencia de la serie dk g (6.1.11) estimamos el comportamiento de k (t) como funciones de variable compleja, dt utilizando la frmula integral de Cauchy sobre el contorno o = {z C| |z t| = t}, con a determinar.

298

De esta forma se tiene (6.1.13) dk g k! (t) = dtk 2i

i

exp(z ) dz. (z t)(k+1)

Como para z se tiene z = t + te

= t(1 + ei ), resulta

(z ) = t ((1 + ei ) ). Eligiendo tal que 1 < ((1 + ei ) ), 2 obtenemos 1 (z ) > t 2 y entonces de (6.1.13) se tiene la estimacin siguiente o (6.1.14.) | dk g k! 1 (t)| exp( t ), dtk (t)k 2 t > 0.

Sustituyendo las estimaciones (6.1.14) en (6.1.11), tenemos |u(x, t)|

| (6.1.15)
k=0 k=0

dk g |x|2k (t)| k dt (2k)!

k! 1 |x|2k exp( t ) k (t) 2 (2k)! ( |x|2 k 1 1 x2 t ) ) exp( t ) = exp( ). (t) k! 2 t 2

(
k=0

La desigualdad (6.1.15) prueba la sumabilidad de la serie y, por tanto, que u es una funcin continua. Derivando trmino a trmino se comprueba la derivabilidad de o e e u por argumentos anlogos. Se dejan al cuidado del lector los detalles. a Como consecuencia hemos obtenido una solucin no nula del problema (6.1.6), es o decir no se tiene unicidad. La solucin u no es una funcin acotada en R (0, ). o o Este resultado no nos sorprende pues en el cap tulo 2 vimos que (6.1.6) es un problema caracter stico. En las secciones que siguen se estudiaran resultados de unicidad cuando se pide que la solucin est en una clase de funciones adecuada. o e

299

6.2.-El principio del mximo. a Resultados clsicos de unicidad. a

Comenzamos esta seccin estableciendo el principio del mximo dbil para el proo a e blema de Dirichlet. Como consecuencia, tendremos la prueba de unicidad para el problema (3.4.1) con B = 0, estudiado en 3.4. Sea RN un dominio acotado con frontera regular , y sea 0 < T < . Denimos DT = (0, T ) y la frontera parablica de DT , o p ( {0}) ( [0, T ])

6.2.1. Teorema. Supongamos u C(DT ), tal que ut , uxi xj C(DT ( {T })), i, j = 1, 2, . . . , N y ut u 0 Entonces max u = max u
p DT

en

DT = (0, T ).

Demostracin. o Si se hace la hiptesis adicional o (6.2.1) ut u < 0 en (0, T ),

el resultado es inmediato. En efecto, si se tuviese que el mximo se alcanza en un a punto (x0 , t0 ) DT (0, T ), T < T , habr de vericarse que a ut (x0 , t0 ) = 0, u(x0 , t0 ) 0,

con lo cual se contradir (6.2.1). Por consiguiente, en la hiptesis (6.2.1) el mximo a o a no se puede alcanzar en DT cualquiera que sea T < T . Si el mximo se alcanzase en a (x0 , T ) {T } se tendr a ut (x0 , t0 ) 0, u(x0 , t0 ) 0,

que contradice tambin (6.2.1). Por tanto, en la hiptesis (6.2.1), el mximo se alcanza e o a en p . Se trata ahora de quitar la hiptesis adicional. Para ello consideramos para cada o > 0 la funcin o v(x, t) = u(x, t) + |x|2 .

300

Es evidente que la funcin v goza de la misma regularidad que u, vericando adems o a vt v = ut u 2N < 0, de acuerdo con las hiptesis sobre u. Entonces puesto que v verica la hiptesis (6.2.1) o o concluimos que max v = max v.
p DT

Pero entonces, max u max v = max v max u + max |x|2 .

DT DT p p

Como es para > 0 arbitrario, se tiene max u max u,

DT p

que con la desigualdad obvia, max u max u,

p DT

prueba el resultado.

Observamos que el principio del mximo para la ecuacin del calor excluye parte a o de la frontera, justamente la frontera temporal en la direccin del tiempo creciente. o Este principio de mximo se llama dbil porque no excluye que el mximo se tome a e a en un punto interior. Como en el caso el ptico, se tiene el llamado principio del mximo fuerte, del cual a la versin del matemtico canadiense y profesor del Courant Institute de New York, o a L. Nirenberg, es vlida incluso para una clase de ecuaciones ms general. a a El resultado para la ecuacin del calor es el siguiente. o Principio del mximo fuerte. a Sea u vericando las hiptesis del teorema 6.2.1 en DT . Si existe (x1 , t1 ) DT tal o que u(x1 , t1 ) = M = max u,
DT

entonces u M . La idea de la demostracin es establecer un principio de Hopf para la ecuacin o o del calor, anlogo al obtenido en la ecuacin de Laplace. La longitud de este texto a o aconseja no dar ms detalles sobre este resultado, en tanto que no va a ser usado. a Una referencia idnea para estudiar el principio del mximo fuerte es el libro de o a

301

M.H. Protter, H.F. Weinberger, Maximum Principles in Dierential Equations Ed. Springer Verlag 1984, al cual remitimos al lector interesado en los detalles.

A continuacin aplicamos el principio del mximo dbil a la obtencin de algunos o a e o resultados de unicidad. Sea como antes RN un dominio acotado con frontera regular . Consideremos el problema ut u = 0, x , t > 0 u(x, t) = 0 x , t > 0 u(x, 0) = 0, x .

(P )

Por aplicacin directa del principio del mximo se tiene el siguiente corolario, el o a cual establece la unicidad para el problema (P). 6.2.2. Corolario. Sea u C(DT ), tal que ut , uxi xj C(DT ( {T })), i, j = 1, 2, . . . , N solucin o del problema (P). Entonces u 0. Menos obvia es la segunda consecuencia del principio del mximo dbil. a e Como hemos visto en la seccin anterior el problema de Cauchy (6.1.1), en general, o puede tener ms de una solucin. No obstante, si nos restringimos a ciertas clases de a o funciones, vamos a poder demostrar la unicidad. En esta seccin nos limitaremos al o ejemplo, muy interesante, de funciones acotadas. Demostraremos que dentro de la clase de funciones acotadas, el problema (6.1.1) tiene una unica solucin. o La prueba de este resultado, que formularemos precisamente ms tarde, reposa en a el principio del mximo; la dicultad est en que en el problema de Cauchy se tiene a a todo RN y no un dominio acotado. En otras palabras, sobre la frontera lateral de la frontera parablica, no se tienen condiciones. Esta dicultad se resolver con el o a conocimiento de ciertas soluciones expl citas de la ecuacin del calor, con las cuales o haremos un proceso de comparacin. o Es claro que cualquier funcin de la forma o w (x, t) = (2t + |x|2 ), N R,

es una solucin de la ecuacin del calor en RN [0, ). Estas son las soluciones de o o la ecuacin del calor que usaremos para comparar. o Podemos pasar a establecer el resultado de unicidad con precisin. o

302

6.2.3. Teorema. Sean u1 , u2 soluciones acotadas del problema (6.2.2) ut u = 0, u(x, 0) = f (x), x RN , xR ,
N

t>0 f continua y acotada en RN .

Entonces u1 u2 . Demostracin. o o Si |u1 (x, t)| M1 y |u2 (x, t)| M2 , llamamos M = max{M1 , M2 }. La funcin v = u1 u2 verica el problema vt v = 0, v(x, 0) = 0, x RN , xR .
N

t>0

La idea es aplicar a v el principio del mximo como en el corolario (6.2.2). Directaa mente esto no es posible dado que el dominio es todo RN ; para soslayar esta dicultad consideramos para cada R > 0 la bola |x| < R y la funcin o wR (x, t) = 2N M |x|2 (2t + ), 2 R N R R, t > 0.

que como hemos visto verica la ecuacin del calor, en particular en |x| < R, o Adems a wR (x, 0) |v(x, 0)| = 0, y wR (y, t) 2M |v(y, t)|, si |y| = R,

t>0

Aplicando el principio del mximo en el cilindro |y| R, a wR v, resulta que (6.2.3) wR (x, t) v(x, t) wR (x, t),

t [0, T ] a v wR y a

para cada (x, t) tal que |x| R, 0 t T Fijo (x, t), la desigualdad (6.2.3) es vlida si R > |x|. Entonces tomando l a mite para R se tiene v(x, t) = 0 Como (x, t) es arbitrario se concluye que v0 como quer amos demostrar. Como consecuencia inmediata podemos formular el importante resultado que sigue.

303

6.2.4. Corolario. La unica solucin acotada del problema (6.1.1) con dato acotado, es dada por la o frmula (6.1.3). o En la seccin 6.4 estudiaremos otros resultados de unicidad, concretamente, los o teoremas 6.4.1 y 6.4.5.

6.3.-El problema de Cauchy no homogneo. e

Nos vamos a ocupar del problema ut u = F (x, t), u(x, 0) = f (x), x RN ,
N

(6.3.1)

t>0

xR ,

donde la regularidad de los datos F y f la suponemos, por el momento, suciente para que sean ciertos los clculos que vamos a realizar. Ms tarde se estudiarn cuales son a a a las condiciones de regularidad sucientes. Como en el caso de la ecuacin de Laplace un papel importante lo jugar la solucin o a o fundamental. Ahora vamos a escribir la solucin fundamental con la singularidad o desplazada, es decir, consideramos v(x, t, y, s) Kts (x y), es decir, (6.3.2) v(x, t, y, s) = 1 |x y|2 exp( ), N/2 4(t s) (4(t s)) t > s.

Por clculo directo, o bien, por los argumentos en la seccin 6.1 se tiene el siguiente a o resultado. 6.3.1. Lema. Sea v denida por (6.3.2), entonces, i) vt y v = 0 si t > s. ii) vs + y v = 0 si t > s. El apartado i) podemos traducirlo diciendo que fuera de la singularidad la solucin o fundamental verica la ecuacin del calor respecto a t y a y, mientras que el apartado o ii) establece que la funcin v verica la ecuacin del calor retrgrada como funcin o o o o de s, y, lo cual es claro por tener s el signo contrario a t. Obsrvese, por ultimo, que e el laplaciano se puede tomar tambin con respecto a x y se sigue vericando el lema. e Un cambio de coordenadas y lo visto en la seccin 6.1. permiten escribir la siguiente o propiedad importante de la funcin v. o

304

6.3.2. Lema. Sea v denida por (6.3.2), entonces v(x, t, y, s)dy = 1,

RN

para cada

x RN

t > s.

6.3.3. Lema. Sea v denida por (6.3.2) y RN un dominio, entonces V (x, t s) =

v(x, t, y, s)dy,

verica
ts0

lim V (x, t s) =

1, 0,

x x . /

( Basta aplicar el teorema (6.1.1) a la funcin caracter o stica de ). Supongamos ahora que u es una solucin regular del problema (6.3.1) y sea BR o RN la bola de centro el origen y radio R. Observemos que llamando (y, s) las variables de espacio y tiempo respectivamente, se tiene (6.3.3) (uv)s = us v + vs u = vu uv

de acuerdo con el apartado ii) del lema 6.3.1. Teniendo en cuenta (6.3.3), integrando en BR (0, t) y utilizando la frmula de o Green (5.1.2) en la integral de espacio, obtenemos la siguiente identidad
t t

vF dyds = (6.3.4)
0 BR 0 BR

(u(vs + v) v(u us ))dyds =

t

st

lim

uvdy lim
BR

s0+

uvdy +
BR 0 BR

(v

u v u )d(y)ds n n

donde n es la normal exterior a BR y d(y) el elemento de supercie sobre BR . v Si se supone, por ejemplo, que u es acotada, como v y decaen exponencialmente n cuando R , pasando al l mite en (6.3.4) se obtiene
t

(6.3.5)
0 BR

vF dyds = lim
st

BR

uvdy lim+
s0

uvdy.
BR

305

Observamos ahora que segn el teorema 6.1.1 u (6.3.6) lim u(y, s)v(x, t, y, s)dy = u(x, t),
BR

st

y tambin, por el mismo resultado, e (6.3.7)

s0+

lim

u(y, s)v(x, t, y, s)dy =

BR BR

u(y, 0)v(x, t, y, 0)dy =

BR

f (y)v(x, t, y, 0)dy,

sustituyendo (6.3.6) y (6.3.7) en (6.3.5) obtenemos: Si u es solucin regular del problema (6.3.1), entonces o
t

(6.3.8)

u(x, t) =
0 BR

v(x, t, y, s)F (y, s)dyds +

BR

f (y)v(x, t, y, 0)dy.

Sustituyendo el valor de v tenemos, u(x, t) = (6.3.9) |x y|2 1 exp( )F (y, s)dyds+ N/2 4(t s) 0 BR (4(t s)) . 1 |x y|2 + f (y) exp( )dy 4t (4t)N/2 BR
t

Una vez hecha la conjetura de cmo escribir la solucin slo falta un resultado o o o de regularidad en funcin de la regularidad de F y f que nos permita concluir que o la funcin u denida por (6.3.9) es solucin clsica del problema (6.3.1). A ello o o a dedicamos el resto de esta seccin. o Usaremos el siguiente resultado de regularidad de funciones denidas por una integral 6.3.4. Lema. Sean 1 y 2 abiertos de RN . A) Sea f : 1 2 RN RN R vericando: i) Para cada x 1 , la funcin y f (x, y) es integrable. o ii) Para cada y 2 , la funcin x f (x, y) es continua. o iii) Existe una funcin no negativa g integrable en 2 tal que |f (x, y)| g(y) para cada o y 2 . Entonces h(x) = f (x, y)dy
2

es continua. B) Si adems f verica, a iv) Para y 2 , la funcin x f (x, y) tiene derivadas primeras continuas respecto o a xi , i = 1, ..., N .

306

v) Existe una funcin no negativa g integrable en 2 tal que | f (x, y)| g(y) para o cada y 2 . Entonces, h(x) =
2

f (x, y)dy

tiene derivadas primeras continuas que adems se calculan por la frmula a o (6.3.10) h (x) = xi f (x, y)dy, xi i = 1, ...N

Demostracin. o A) Sea x0 1 y {xk }kN tal que limk xk = x0 . Entonces consideramos h(xk ) =
2

f (xk , y)dy.

Por la hiptesis de continuidad de f , la sucesin de funciones {gk (y) = f (xk , y)}kN o o verica que lim gk (y) = f (x0 , y)
k

y por iii) |gk (y)| g(y), por consiguiente podemos aplicar el teorema de convergencia dominada de Lebesgue para concluir que lim h(xk ) =
2

f (x0 , y)dy,

y como es para cualquier sucesin la funcin h es continua. o o B) Sea {tk }kN una sucesin de nmeros reales tendiendo a cero. o u Sea {ei | i = 1, ..., N } la base cannica de RN y consideremos o h(x + tk ei ) h(x) = tk 1 (f (x + tk ei , y) f (x, y))dy. tk

Por el teorema del valor medio se tiene h(x + tk ei ) h(x) = tk f (x + k (y)ei , y) dy, xi

donde 0 < k (y) < 1. Por la hiptesis sobre la continuidad de las derivadas parciales o de f y la condicin v), se verica o lim h(x + tk ei ) h(x) = tk f (x, y) dy, xi

307

cualquiera que sea la sucesin. Por tanto, o h(x + tk ei ) h(x) = k tk lim es decir, h(x) = xi
2

f (x, y) dy, xi

f (x, y) dy, xi

como quer amos demostrar. La continuidad de las derivadas parciales se obtiene del apartado A) del Teorema. El resultado que se presenta a continuacin da condiciones sucientes para la existeno cia de solucin clsica del problema no homogneo (6.3.1). Al igual que ocurre en la o a e ecuacin de Laplace la sola continuidad del segundo miembro de la ecuacin no es suo o ciente para que la solucin tenga derivadas segundas. Este extremo lo discutiremos o en detalle despes de establecer el resultado de regularidad que venimos anunciando u y que pasamos a detallar. Recordamos que la solucin fundamental para la ecuacin del calor es o o Kt (x) = 6.3.5. Teorema. F (x, t) , xi funciones continuas y acotadas en RN (0, T ), para algn T > 0. u Entonces la funcin u(x, t) denida para (x, t) RN [0, T ) por o Sea f (x) funcin continua y acotada en RN y sean F (x, t) y o
t

1 |x|2 exp( ), 4t (4t)N/2

t > 0.

i = 1, ...N

(6.3.11)

u(x, t) =
RN

Kt (x y)f (y)dy +
0 RN

K(ts) (x y)F (y, s)dyds,

verica (1) u C(RN [0, T )) u 2u (2) C(RN (0, T )), C(RN (0, T )), i, j = 1, ...N t xi xj (3) u es la unica solucin acotada del problema (6.3.1). o Demostracin. o Llamamos u1 (x, t) =
RN

Kt (x y)f (y)dy

308

y
t

(6.3.12)

u2 (x, t) =
0 RN

K(ts) (x y)F (y, s)dyds.

Por el teorema 6.1.1. la funcin u1 verica 1) y 2). En particular, de 1) resulta que o u1 (x, 0) = f (x), y por tanto u1 es solucin del problema homogneo, o e ut u = 0, u(x, 0) = f (x), x RN , xR .
N

t > 0,

Basta entonces demostrar que u2 verica 1), 2) y es solucin del problema o ut u = F (x, t), u(x, 0) = 0, xR x RN ,
N

t>0

xy Haciendo el cambio de variables espaciales = z en la integral (6.3.12), resulta 2 ts

t

u2 (x, t) =
0

K(ts) (x y)F (y, s)dyds =

RN

(6.3.13)
0

K1 (z)F (x + 2z t s, s)dzds.
RN

El integrando, h(x, z, t, s) = K1 (z)F (x + 2z t s, s), es continuo en x, z RN y 0 < s < t vericando adems que x h(x, z, t, s) es continuo y que a (6.3.14) 2 1 |h(x, z, t, s)| = |K1 (z)F (x + 2z t s, s)| N/2 e|z| sup |F (y, )|, (y, )RN [0,T ) siendo tambin e (6.3.15) |
x h(x, z, t, s)|

2 1 |z|e|z| sup |F (y, )|, 2 N/2 (y, )RN [0,T )

donde se ha sustituido el valor de K1 (z). Es decir, tanto h como su gradiente respecto a x estan mayorados por funciones integrables. Por consiguiente aplicando el lema (6.3.4) a la funcin o (6.3.16) g(x, t, s) =
RN

K1 (z)F (x + 2z t s, s)dz,

309

resulta que es continua y acotada en RN [0, T ), ms concretamente, a |g(x, t, s)| M = sup

(y, )RN [0,T )

|F (y, )|.

Adems aplicando el teorema 6.1.1 para s t, resulta g(x, t, t) = F (x, t). a Por consiguiente se tiene, i) u2 C(RN [0, T )) ii) u2 (x, 0) = 0 iii) La funcin u2 es acotada, siendo o sup
(x,t)RN [0,T )

|u2 (x, t)| M T

Aplicando ahora la segunda parte del lema 6.3.4 se tiene que la funcin u2 tiene o derivadas primeras continuas vericndose a 1 u2 (x, t) = N/2 xi integrando por partes resulta (6.3.17) u2 1 (x, t) = xi 2 N/2
t t

e|z|
0 RN

F (x + 2z t s, s)dzds, xi

1 ds ts

2 e|z| zi F (x + 2z t s, s)dzds.

RN

Por (6.3.15) se puede aplicar el lema (6.3.4) a (6.3.17) obtenindose que u2 tiene e derivadas segundas respecto a x continuas en RN (0, T ) y en particular se verica (6.3.18) u2 (x, t) = 1 N/2
0 t

1 ds ts

e|z| zi

F (x + 2z t s, s)dzds. xi

RN

Por otro lado, para calcular la derivada con respecto al tiempo t escribimos u2 (x, t + k) u2 (x, t) = k 1 t+k g(x, t + k, s)ds + k t

t 0

g(x, t + k, s) g(x, t, s) ds I1 (k) + I2 (k). k

Por el teorema fundamental del clculo, a (6.3.19)

k0

lim I1 (k) = g(x, t, t) = F (x, t).

310

Por el lema (6.3.4), la funcin g(x, t, s) tiene derivada respecto a t ya que F tiene o derivadas parciales respecto a x; adems a gt (x, t, s) = N/2 1 ts e|z| zi
RN
2

F (x + 2z t s, s)dz xi

y, por tanto, por (6.3.15) se concluye que (6.3.20) lim I2 (k) = 1 N/2
0 t

k0

1 ts

e|z| zi
RN

F (x + 2z t s, s)dzds. xi

De las igualdades (6.3.18), (6.3.19) y (6.3.20), se concluye que u2 verica la ecuacin o del calor no homognea, es decir, e u2 = u2 + F, t como quer amos demostrar.

En la seccin 5.6, se estudi cmo la continuidad del segundo miembro en la o o o ecuacin de Poisson no es suciente para tener solucin clsica, es decir con derivadas o o a segundas continuas. El mismo ejemplo que se consider all nos servir para hacer el anlisis en la o a a ecuacin del calor no homognea. As pues consideremos la funcin o e o u0 (x) = (x2 x2 )( log |x|)1/2 , 1 2 |x| < 1

que tiene derivadas primeras continuas pero no derivadas segundas. Sin embargo se vio en 5.6 que tiene laplaciano continuo; lo que ocurre es que se producen cancelaciones entre las derivadas segundas, incluso en x = 0. Consideremos la extensin por cero o de u0 a todo RN , y una funcin de corte, (|x|), C (RN ), tal que (|x|) = 1 si o 1 3 |x| < y (|x|) = 0 si |x| > . Denimos f (x) = (|x|)u0 (x) y F (x) = f (x). As 2 4 N N ambas funciones son continuas y acotadas en R y en R (0, ) respectivamente. Es obvio que la funcin u(x, t) f (x) es solucin acotada, no clsica, del problema o o a de Cauchy (6.3.21) ut u = F (x), u(x, 0) = f (x), x RN , xR .
N

t>0

Que u es solucin se entiende como que se verica la ecuacin punto a punto. Sin o o embargo como se vio en la seccin 5.6. u no tiene derivadas segundas en el origen. o

311

Hemos de demostrar que (6.3.21) no tiene solucin clsica. o a Supongamos, por el contrario, que existiese T > 0 y g solucin clsica de (6.3.21) o a en RN (0, T ). En esta hiptesis se tiene que o w = u g f (x) g verica: i) w C 2 en 0 < |x| < 1, 0 < t < T T ii) w C 1 en |x| < 1, < t < T y es solucin de o 2 (6.3.22) wt w = 0, w(x, 0) = 0.

Probaremos que w es necesariamente C 2 en |x| < 1, T > t > T /2, con lo cual, por ser g C 2 , resultar u C 2 , lo cual es una contradiccin. a o Para probar que w tiene derivadas segundas continuas, jemos (x, t) con |x| < 1 y T /2 < t < T y sea > 0 tal que (0, t (T /2)). Sea v(x, y, t, s) denida por (6.3.2). Como se verica
N

(6.3.23)

(w(y, s)v(x, y, t, s))s +

i=1

(w(y, s)vyi (x, y, t, s) wyi (y, s)v(x, y, t, s))yi

v(ws w) w(vs + v) = 0, integrando sobre el dominio = {(y, s)| < |y| < 1, T /2 < s < t } con 0 < < |x| y aplicando las frmulas de Green, obtenemos o w(y, t )v(x, y, t , t)dy =
<|y|<1

w(y, T /2)v(x, y, T /2, t)dy

<|y|<1 t

[w(y, s)
T /2 t T /2 |y|=1

w v (x, y, t, s) (y, s)v(x, y, t, s)]d(y)ds ny ny v w (x, y, t, s) (y, s)v(x, y, t, s)]d(y)ds ny ny

[w(y, s)
|y|=

I1, + I2, + I3,, . Pasando al l mite para 0 se tiene

0

lim

w(y, t )v(x, y, t , t)dy =

<|y|<1

= lim

w(y, t )<|y|1 (y)v(x, y, t , t)dy = w(x, t),

RN

312

por el lema (6.3.3) y el teorema (6.1.1). El resto de los trminos son inmediatos por el e teorema de convergencia de Lebesgue. Pasando al l mite ahora para 0 concluimos que w(x, t) =
|y|<1 t

w(y, T /2)v(x, y, t, T /2)dy [w(y, s)

|y|=1

ds
T /2

w v (x, y, t, s) (y, s)v(x, y, t, s)]d(y)ds, ny ny

que implica que w C 2 siguiendo la misma argumentacin que en la demostracin o o del teorema 6.3.5.

6.4.- Temperaturas positivas.

Esta seccin est dedicada a un resultado muy interesante por razones matemticas o a a y por su signicado f sico. Una de las consecuencias del Segundo Principio de la Termodinmica es que la a temperatura absoluta es siempre positiva. Este hecho sugiere que la condicin natuo ral a vericar por las soluciones de la ecuacin del calor es la condicin unilateral, o o u 0. Evidentemente es lo mismo suponer u H, pues el cambio en la escala de temperaturas v = u H, conduce al caso v 0. Sugerimos al lector recordar las leyes de la termodinmica, para lo cual una hermosa a referencia puede ser el celebrrimo curso de R.P. Feynman. e (Vase la versin en espaol, R.P. Feynman F e o n sica Volumen I, Cap tulo 44, Addison Wesley Iberoamericana 1987). Presentaremos un resultado obtenido en 1944 por D. Widder, profesor de Harvard. Widder prueba que con la condicin f o sicamente natural de que la temperatura sea positiva, el problema de Cauchy para la ecuacin del calor tiene una unica solucin. o o Desde el punto de vista matemtico este resultado es muy interesante, dado que se a establece la unicidad con una condicin unilateral solamente, es decir, u(x, t) > 0. o En realidad, D. Widder prob ms cosas, por ejemplo, que una solucin de la o a o ecuacin del calor que sea positiva y continua, se puede expresar en un tiempo t por o la integral de la solucin fundamental por el valor de dicha solucin en un tiempo o o anterior. Es decir, la frmula (6.1.3) caracteriza las soluciones positivas. o Precisaremos estos enunciados en su momento. Antes de nada diremos que la referencia que seguiremos es el trabajo del propio Widder, que se recoge en el libro: D. Widder, The heat equation, Academic Press, 1975. Empezamos estableciendo otro resultado de unicidad, que tiene inters por s mismo e al recoger una hiptesis natural de crecimiento del dato y la solucin, y que se usar o o a a continuacin. Dicho resultado est en el esp o a ritu del teorema 6.2.3. cambiando la 2 acotacin por la ley de crecimiento |u(x, t)| Aea|x| . Este crecimiento es el natural, o teniendo en cuenta el decaimiento en el innito de la solucin fundamental. o

313

Ms precisamente se tiene el siguiente enunciado. a 6.4.1. Teorema. Sea u C(RN (0, T ), vericando el problema (6.4.1) ut u = 0, (x, t) RN (0, T ) 2 |u(x, t)| < M ea|x| , para ciertas constantes positivas M, a, (x, t) RN (0, T ) u(x, 0) = 0, x RN . Entonces u(x, t) 0 para todo (x, t) RN (0, T ). Demostracin. o La demostracin se hace iterando el resultado sobre intervalos del tiempo de lono 1 gitud convenientemente pequea. Para empezar elegimos A tal que A > a y A > 4T . n Consideramos la funcin o v(x, t) =
A|x|2 1 e (14At) , (1 4At)N/2

que como se observa es precisamente (6.4.2) v(x, t) = (4)N/2 K(1+2 t) (x), donde = i 4A

y Kt (x) es la solucin fundamental de la ecuacin del calor como se obtuvo en la o o seccin 6.1. Simplemente la regla de la cadena y la expresin (6.4.2) demuestran que o o 1 v(x, t) es solucin de la ecuacin del calor en RN (0, 4A ). Adems, como para cada o o a x RN , v(x, t) es una funcin creciente en t, se concluye que o (6.4.3) v(x, t) v(x, 0) = eA|x| , (x, t) RN (0,
2

1 ). 4A

1 Fijado un punto (x0 , t0 ) en la banda RN (0, 4A ), elegimos R > |x0 | y tomamos un mltiplo de la funcin v. Exactamente tomamos u o

(6.4.4)

w(x, t) = M e(aA)R v(x, t).

1 Sea ahora el cilindro D = {(x, t)| |x| < R, 0 < t < 4A } y comparemos las funciones |u(x, t)| y w(x, t) sobre la frontera parablica de D, es decir, sobre los puntos (x, 0), o 1 con |x| < R y los puntos (x, t), con |x| = R y 0 t 4A . Sobre los primeros, es decir, la base, se tiene

(6.4.5)

|u(x, 0)| = 0 < w(x, 0) = M e(aA)R eA|x|

314

y sobre la supercie lateral (6.4.6) 2 2 2 |u(x, t)| < M eaR M e(aA)R v(x, 0) M e(aA)R v(x, t) = w(x, t), w(x, t) u(x, t) w(x, t), En particular, (6.4.7) |u(x0 , t0 )| < M e(aA)R v(x0 , t0 ),
2

si

|x| = R.

Por tanto, aplicando el principio del mximo, teorema 6.2.1, se concluye que a en (x, t) D.

que se verica para todo R > |x|. Tomando l mites en (6.4.7) cuando R , obtenemos, 1 ), 4A ya que hemos elegido A > a. Para acabar, repetimos el argumento anterior a la 1 funcin u(x, t + ), con 0 < < o ; de esta forma concluimos que u(x, t) 0 en 4A 2 RN (0, ). Repitiendo el argumento una cantidad nita de veces, concluimos la 4A prueba. u(x0 , t0 ) = 0, cualquiera que sea (x0 , t0 ) RN (0, En la demostracin que haremos del resultado de Widder, se utiliza la siguiente o observacin de clculo. o a 6.4.2. Lema. Sea u(x, t) solucin de la ecuacin del calor tal que u(x, 0) = 0, entonces o o
t

v(x, t) =
0

u(x, s)ds

es solucin de la ecuacin del calor. Adems si u es positiva v es creciente en t para o o a x jo y v es subarmnica como funcin de x para t jo. o o Demostracin. o En efecto, en primer lugar, vt = u en virtud del teorema fundamental del clculo. a En segundo lugar,
t t

v(x, t) =
0

u(x, s)ds =
0

us (x, s)ds = u(x, t),

por tanto, vt = v, es decir, v satisface la ecuacin del calor. o Si u 0 se tiene vt = u = v 0, por tanto tenemos las propiedades anunciadas para v. Necesitaremos el siguiente lema, que viene a establecer que entre todas las posibles soluciones positivas de la ecuacin del calor, la ms pequea es la que da la frmula o a n o integral (6.1.3). Este resultado ser crucial para probar el resultado de unicidad, y a como consecuencia, el teorema de representacin de soluciones positivas de Widder. o

315

6.4.3. Lema. Sea u C(RN [0, T )), tal que, ut , uxi xj C(RN (0, T )). Supongamos que (1) ut u = 0 en RN [0, T ) (2) u(x, t) 0 en RN [0, T ). Entonces se verica (6.4.8)
RN

Kt (x y)u(y, 0)dy u(x, t).

Demostracin. o Con las hiptesis que tenemos, lo primero que no est claro es que la integral en o a (6.4.8) sea nita. Por simplicidad llamaremos f (x) = u(x, 0) y consideraremos una funcin de corte regular, precisamente, C0 (RN ) vericando, o 1, si |x| (R 1) R (x) = R |x|, si (R 1) |x| R 0, si R |x|. Si se dene ahora (6.4.9) vR (x, t) =
RN

Kt (x y)f (y)R (y)dy,

es nita pues f es continua y con soporte en una bola. El teorema 6.1.1 establece que la funcin vR denida por (6.4.9) verica el problema o vR v = 0, (x, t) RN (0, T ) R t N (6.4.10) vR (x, t) 0, (x, t) R (0, T ) vR (x, 0) = f (x)R (x), x RN . Sea MR = max f (y) y sea |x| > R, entonces,
|y|<R

0 vR (x, t) M
|y|<R

K(x y, t)dy 1 dy ||x| |R||N

(6.4.11)

M N/2

|y|<R N

1 M dy N/2 N |x y|

|y|<R

M R cN , ||x| |R||N

316

pues se tiene que |s|N e|s| < 1 y |x y| ||x| R| cuando x est en el exterior de a la bola de radio R. Por consiguiente, dado > 0, (6.4.12) 0 vR (x, t) , si |x| (M, R, n).

En particular, tenemos i) 0 vR (x, t) + u(x, t) si |x| = , 0 < t < T , ya que por hiptesis u es positiva o en toda la banda. ii) vR (x, 0) f (x) = u(x, 0) u(x, 0) + si |x| . Entonces, i) y ii) junto con el principio del mximo, implican que a vR (x, t) u(x, t) + , si |x| < , 0 t < T. Adems de (6.4.12) y ser u 0 se concluye que para todo > 0, a vR (x, t) u(x, t) + , para todo (x, t) RN (0, T ). Si observamos que vR (x, t) vR (x, t) y R (x) R (x) si R < R en todo punto x y para 0 t < T , podemos pasar al l mite aplicando el teorema de convergencia montona, es decir, se tiene, o 0 v(x, t) = lim vR (x, t) =
R RN

Kt (x y)f (y)dy u(x, t)

que prueba que la integral es nita y, de paso, el lema. La siguiente consecuencia consiste en hacer una traslacin en el tiempo, pero es o util tenerla escrita con precisin. o 6.4.4. Corolario. Sea u en las hiptesis del lema 6.4.3. Si t1 (0, T ), entonces o Kt (x y)u(y, t1 )dy u(x, t + t1 ),
RN

si

0 < t < T t1

La etapa decisiva de los resultados de Widder viene a continuacin. o 6.4.5. Teorema. Sea u C(RN [0, T )), tal que, ut , uxi xj C(RN (0, T )). Supongamos que (1) ut u = 0 en RN [0, T ) (2) u(x, t) 0 en RN [0, T ). (3) u(x, 0) = 0 en RN .

317

Entonces, u(x, t) 0 si (x, t) RN (0, T ). Demostracin. o Por el lema 6.4.2. se tiene que
t

v(x, t) =
0

u(x, s)ds

es solucin de la ecuacin del calor y al ser u 0, vt 0 y v 0. Observamos que o o si se prueba que, v(x, t) 0, se tiene u(x, t) 0. Por tanto suponemos, sin que ello suponga restriccin, que u adems verica o a i) ut 0 ii) u 0, es decir, u es subrmonica como funcin de x para t jo. a o Fijamos t1 , 0 < t1 < T y 0 < t0 < T t1 . Por el corolario 6.4.4 se tiene que (6.4.13) M = (4t0 )N/2
RN

Kt0 (y)u(y, t1 )dy (4t0 )N/2 u(0, t0 + t1 ) <

Es claro que si |y| 2|x| se tiene |x|2 |y|2 (4t0 )N/2 Kt0 (y) = e 4t0 e t0 .

(6.4.14)

De otra parte, como u es subarmnica se tiene la desigualdad de la media para bolas o (5.5.6), es decir, (6.4.15) u(x, t1 ) 1 |B1 ||x|N u(y, t1 )dy
|xy||x|

1 |B1 ||x|N

u(y, t1 )dy,
|y|2|x|

pues se tiene que la bola de centro x y radio |x| est contenida en la bola de centro a el origen y radio 2|x|. Como consecuencia de (6.4.15) y usando tambin (6.4.14), e concluimos que, |x|N u(x, t1 )e t0 |y|2 1 e 4t0 u(y, t1 )dy |B1 | |y|2|x| 1 1 (4t0 )N/2 Kt0 (y)u(y, t1 )dy = M M1 . |B1 | |B1 |
RN
|x|2

Es decir, hemos demostrado que

|x|2 e t0 0 u(x, t1 ) M1 M1 e t0 , N |x| |x|2

318

si |x| > 1. Como u(x, t1 ) es continua para |x| 1, est acotada en la bola unidad. a Por consiguiente, para una constante conveniente, M2 , se tiene (6.4.16) 0 u(x, t1 ) M2 e
|x|2 t0

para todo x RN .

Si ahora se tiene en cuenta que ut 0, concluimos, 0 u(x, t) u(x, t1 ) M2 e

|x|2 t0

para todo (x, t) RN (0, t1 ).

Aplicando el teorema 6.4.1 resulta u(x, t) 0 en la banda RN (0, t1 ). Como tanto t0 y t1 son arbitrarios se prueba el teorema. Para nalizar este apartado obtendremos una consecuencia importante del teorema 6.4.5 que mejora el lema 6.4.3, estableciendose la representacin de las soluciones o positivas de la ecuacin del calor como la integral de Gauss del valor inicial. o 6.4.6. Teorema. Sea u C(RN [0, T )), tal que, ut , uxi xj C(RN (0, T )). Supongamos que (1) ut u = 0 en RN [0, T ) (2) u(x, t) 0 en RN [0, T ). Entonces se verica (6.4.17)
RN

Kt (x y)u(y, 0)dy = u(x, t).

Demostracin. o En el lema (6.4.3) se estableci la desigualdad o Kt (x y)u(y, 0)dy u(x, t).

RN

Por otra parte ambos miembros de la desigualdad son solucin de la ecuacin del o o calor, por tanto, w(x, t) = u(x, t)
RN

Kt (x y)u(y, 0)dy 0,

verica las hiptesis del teorema 6.4.5. Consecuentemente w(x, t) 0 que es lo que o quer amos demostrar.

319

EJERCICIOS DEL CAPITULO 6

1. Sea la funcin f : [0, 1] R denida por o f (x) = 1 cos(2x). Se considera el problema ut uxx = 0, t > 0, x (0, 1) u(0, t) = 0 = u(1, t), t > 0 u(x, 0) = f (x), x (0, 1).

(P )

a) Demustrese que (P) tiene una solucin regular y que es unica. e o b) Determ nese limt u(x, t) c) Determ nese el mximo de u(x, t) en [0, 1] [0, ). a 2. Sea la funcin f : [0, 1] R denida por o f (x) = Prubese que f C 2 ((0, 1)). e Se considera el problema ut uxx = 0, t > 0, x (0, 1) ux (0, t) = 0 = ux (1, t), t > 0 u(x, 0) = f (x), x (0, 1). 1 2
k=0

cos(kx) . (k + 1)4

(P )

a) Demustrese que (P) tiene una solucin regular. e o 1 1 2 b) Considerando la energ E(t) = 2 0 u (x, t)dx, conclyase si la solucin determia u o nada en a) es unica. c) Determ nese limt u(x, t) 3. Sea f funcin continua y acotada en RN . Para cada k N, sea Bk RN la bola o de centro el origen y radio k. Sea uk la solucin del problema o (Pk ) ut u = 0, u(x, 0) = f (x), x Bk , x Bk , T >t>0

320

uk C(Bk [0, T ]). Supongamos que existe M > 0, independiente de k, tal que |uk (x, t)| M en el cilindro Bk [0, T ]. Demostrar que sobre cada cilindro D [0, T ], N donde D R es un dominio acotado,
k

lim uk (x, t) = u(x, t),

donde la convergencia es uniforme y u es la unica solucin acotada del problema de o Cauchy ut u = 0, x RN , T > t > 0 u(x, 0) = f (x), 4. a) b) c) Resolver los problemas siguientes: ut 4uxx = 0, u(x, 0) = 2. 2 ut uxx = 0, u(x, 0) = ex . ut uxx = 0, u(x, 0) = sen x. x RN .

5. Sea el problema ut uxx = 0, x > 0, t > 0 u(x, 0) = f (x), x > 0, u(0, t) = 0, t > 0,

(P )

donde se supone que f es continua y acotada en 0 < x < y f (0) = 0. Demostrar que (P) tiene una unica solucin acotada. Obtngase la frmula de representacin de o e o o la solucin. o Indicacin.- Hgase una extensin impar de f a todo R y apl o a o quese lo estudiado. 6. Probar anlogo resultado al del problema 5), cuando se sustituye la hiptesis de a o 2 acotacin por la hiptesis de crecimiento |u(x, t)| M eax . o o 7. Demostrar que el problema ut uxx = F (x, t), x > 0, u(x, 0) = 0, x > 0, u(0, t) = 0, t > 0, t>0

(P )

donde se supone que F tiene derivadas primeras continuas y |F (x, t)| M , tiene una unica solucin acotada. Escr o base una frmula expl o cita para u.

321

8. Resolver los problemas: ut uxx = 0, x > 0, t > 0 u(x, 0) = x2 , x > 0, (a) ux (0, t) = 0, t > 0, ut uxx = 0, x > 0, t > 0 u(x, 0) = 0, x > 0, ux (0, t) = q > 0, t > 0.

(b)

9. Sea el problema ut uxx = 0, l > x > 0, t > 0 u(x, 0) = u0 (x), l > x > 0, u(0, t) = 0 = u(l, t), t > 0,

(P )

Se llama funcin de Green de (P) a una funcin G(x, , t) que verica: o o i) G es regular si t > 0 y x = y verica Gt = Gxx si x = . ii) G(0, , t) = G(l, , t) = 0, es decir, verica los datos de contorno. iii) lim + G(x, , t) = 0. iv) lim +
x=t0 + t0

G(x, , t)dx = 1.

(En este sentido se trata de la solucin de un problema con dato singular, concreo tamente una de Dirac, como se vi en el cap o tulo 3.) Constryase la funcin de Green para (P), usando la solucin fundamental. u o o 10. Resolver el problema ut uxx = F (x, t), l > x > 0, t > 0 u(x, 0) = u0 (x), l > x > 0, u(0, t) = (t), u(l, t) = 0, t > 0,

(P )

mediante la funcin de Green hallada en el Problema 9). o 11. Resolver los problemas a) ut = 4uxx + tet , u(x, 0) = 2. b) ut = uxx + t sen x, u(x, 0) = sen x. 2 a) 4ut = uxx , u(x, 0) = e2xx .

322

12. Resolver los siguientes problemas de Cauchy en el plano (a) ut u = et , (x, y) R2 , t>0

u(x, y, 0) = cos x sen y, 2ut u = 0,

(x, y) R2 , t>0

(b)

(x, y) R2 ,

u(x, y, 0) = cos(xy),

(x, y) R2 .

13. Resolver los siguientes problemas de Cauchy en R3 (P ) ut u = 0, (x, y, z) R3 , t>0

u(x, y, z, 0) = u0 (x, y, z),

(x, y, z) R3 ,

para, a) u0 (x, y, z) = cos(x + y + z). 2 2 2 b) u0 (x, y, z) = e(x +y +z ) . 2 2 2 c) u0 (x, y, z) = (x + y + z)e(x +y +z ) . 2 2 2 d) u0 (x, y, z) = sen (x + y + z)e(x +y +z ) . 14. Sea RN un dominio acotado y consideremos u solucin del problema, o 2 ut u + u = 0, x , t > 0 u(x, 0) = u0 (x), x (P ) u(x, 0) = 0, x . Supongamos que u0 (x) < 0 en , se puede concluir que u(x, t) 0? Demostrar que si u(x, t) es una solucin de (P), se verica o u(x, t) sup(max{0, u0 (x)}).
x

15. Dada la ecuacin ut a2 uxx bux cu = F (x, t), a, b, c R, a = 0, demostrar o que se reduce a la ecuacin del calor con el cambio de variables o x = y bt, t = t, v(y, t) = ect u(y bt, t).

Aplicar el resultado anterior para calcular la solucin acotada de los problemas que o siguen. (P ) ut a2 uxx bux cu = F (x, t), u(x, 0) = u0 (x), x R. x R, t>0

323

siendo, a) u0 (x) = 1, F (x, t) = 1, a = 1, b = 0, c = 1. b) u0 (x) = cos x, F (x, t) = et , a = 1, b = 2, c = 1. c) u0 (x) = cos x, F (x, t) = et , a = 2, b = 0, c = 2. d) u0 (x) = 1, F (x, t) = t sen x, a = 1, b = 0, c = 1. 2 e) u0 (x) = ex , F (x, t) = 0, a = 1, b y c arbitrarios. Escribir la frmula de la solucin acotada, para F derivable, u0 continua y acotada. o o 16. Sea el problema de Cauchy (P ) ut u = 0, x RN , t>0

u(x, 0) = u0 (x),

x RN .

Supongamos u0 C(RN ) tal que para algn > 0 verica u (C) demostrar que entonces, u(x, t) = 1 (4t)
N 2

|u0 (x)| M e|x| ,

e
RN

|xy|2 4t

u0 (y)dy,

1 es solucin del problema (P) en la banda RN (0, ). Determinar una clase de o 4 funciones donde u sea la solucin unica. o Demostrar que si se supone que se verica la condicin (C) para todo > 0, o entonces u(x, t) est bien denida y es solucin de (P) en RN (0, ). a o 17. Sea D = {(x, t)| Comprubese que la funcin e o 1 u(x, t) = et cos x e4t cos 2x, 2 verica ut uxx = 0 en D y se anula en la parte de frontera de D dada por la curva t= 1 1 cos 2x log( ). 3 2 cos x /4 < x < /4, t<

1 1 cos 2x log( )}. 3 2 cos x

Qu se puede decir del Principio del Mximo en un caso como este? e a Este ejemplo de no unicidad es debido a Bieberbach.

324

18. Sea el problema ut uxx = F (x, t), x [0, l], t > 0, F C([0, l] [0, )) u(x, 0) = u0 (x), x [0, l], u0 C([0, l]) ux (0, t) = 0 = ux (l, t)

(P )

Estudiar: a) Si el problema tiene solucin unica. o Indicacin: Si u y v son soluciones, sea w = u v. Der o vese E(t) = y util cese la ecuacin. o b) Si F 0, limt u(x, t).

l 0

|w(x, t)|2 dx