Documente Academic
Documente Profesional
Documente Cultură
Contenido
Unidad 2. El problema de Cauchy para EDP de segundo orden............................................4
Presentacin de la unidad........................................................................................................ 4
Propsitos de la unidad............................................................................................................4
Competencia especfica de la unidad......................................................................................4
2.1. Clasificacin de las EDP cuasilineales de segundo orden..............................................4
2.1.1. El problema de Cauchy para alguno ejemplos de EDP de segundo orden.............4
2.1.2. Formas cannicas y clasificacin...............................................................................4
2.1.3. EDP con coeficientes constantes...............................................................................4
2.1.4. Problema de Cauchy y superficies caractersticas...................................................4
2.2. El Problema de Cauchy para la ecuacin de onda en dimensiones espaciales uno,
dos y tres.................................................................................................................................... 5
2.2.1. La ecuacin de onda en dimensin uno: La frmula de DAlembert.......................5
2.2.2. La ecuacin de onda en dimensin espacial tres: Mtodo de las medias esfricas.
................................................................................................................................................. 9
2.2.3. El problema de Cauchy en dimensin espacial dos: Mtodo de descenso de
Hadamard.............................................................................................................................. 15
2.2.4. La ecuacin de onda no homognea........................................................................17
2.2.5. Energa y unicidad de solucin del problema de Cauchy.......................................19
2.2.6. Propiedades de la solucin de la ecuacin de onda de acuerdo a la dimensin
espacial................................................................................................................................. 21
2.3. El problema de Cauchy para la ecuacin de calor.........................................................24
2.3.1. Ncleo de Gauss. Solucin del problema de Cauchy..............................................25
2.3.2. El principio del mximo. Resultados clsicos de unicidad....................................34
2.3.3. El problema de Cauchy no homogneo...................................................................37
2.3.4. Comparacin entre las soluciones del problema de Cauchy para la ecuacin de
onda y la ecuacin de calor.................................................................................................43
Autoevaluacin........................................................................................................................ 44
Evidencia de aprendizaje. Resolucin de ejercicios.........................................................44
Autorreflexiones...................................................................................................................... 45
Cierre de la unidad................................................................................................................... 45
Para saber ms........................................................................................................................ 45
Propsitos de la unidad
Tras el estudio del problema de Cauchy para las ecuaciones de primer orden que se ha hecho
en temas anteriores, parece natural plantear el mismo problema para ecuaciones de orden
superior. Se limitar a dar algunos resultados de carcter cualitativo general, para ecuaciones
de segundo orden y slo en lo referente a la estructura algebraica de la ecuacin, que es lo que
permitir la clasificacin en tipos.
R2
y que, por
tanto, fijando dos datos; el valor de la funcin y de la derivada respecto a la direccin normal en
una recta, se espera obtener una solucin de la respectiva ecuacin que satisfaga estos datos
de Cauchy.
Ejemplo 1.
Considera el siguiente problema
uxt =0
u ( x , 0 )= 0 ( x )
u t ( x , 0 )= 1 ( x)
(2.1.1 .1)
Se supondrn los datos regulares, por ejemplo, con segunda derivada continua. Sea
u(x ,t )
una solucin clsica, es decir, una funcin con segundas derivadas continuas que verifica la
ecuacin puntualmente. Entonces, en particular, se verifica
es decir,
(2.1.1 .1) no es
1 c , donde c
ut ( x ,t )= ( t ) , independientede x ,
por lo que todas las funciones verificando la ecuacin son de la forma
u ( x , t )=w 1 ( x )+ w2 (t )
El problema
ii)
Si
w2
w 2(0)=0
w '2(0)=0 . Por
Ejemplo 2.
Considera el siguiente problema para la ecuacin para la ecuacin de calor
u t=u xx
u ( x , 0 )= 0 ( x ) ,
u t ( x , 0 )= 1 ( x)
(2.1.1 .2)
Ejemplo 3.
El problema que sigue requiere el uso de algunos resultados bsicos de variable compleja. (Si
fuese necesario, puedes encontrarlos en L.V. Ahlfors, "Complex Analysis)
u xx +u yy =0 en y >0
,
u ( x , 0 ) =0
u y ( x ,0 )=h( x )
Una funcin
(2.1.1 .3)
u(x , y )
u=R f (z)
para
f =u+iv
funcin analtica en
y >0
.
El principio de reflexin de Schwarz prueba que en estas hiptesis la funcin
~
f (z),I z0
f ( z )=
f ( z ) , I z <0
donde
f =uiv
es la funcin conjugada de
f , es analtica. Adems
~
R f =~u donde
u(x, y), y 0
~
u ( x , t )=
u ( x , y ) , y <0
(2.1.1 .3)
~
u(x , 0)
~
u y ( x , 0)
Ejemplo 4.
Por ltimo se va a analizar otro problema de valores iniciales. Se trata de la ecuacin de ondas
utt u xx =0
u ( x , 0 )=f ( x ) ,
u t ( x , 0 )=g ( x)
(2.1.1 .4)
1
X= ( x+ t )
2
1
T = ( xt)
2
la ecuacin se transforma en
u XT =0
(2.1.1 .5)
u ( X ,T )=w1 ( X ) +w 2 ( T )
o bien en las coordenadas primitivas
u ( X ,T )=w1 ( x+t ) +w 2 ( xt )
(2.1.1 .4) es
x+t
f ( x+t ) + f ( xt) 1
u ( x , t )=
+ g ( s ) ds
2
2 xt
que es la conocida como frmula de D'Alambert. (Ve el tema 2.2.1)
i , j=1
aij ( x ) x ux
D 0
(
( )
y l C 2 , D=
x y= y ( x ) , y l= yl ( x 1 , , x n ) ,l=1,2, ,n
yi
x j
y1 , y2 , , yn
,
x1 , x2 , , x n
Entonces por el teorema de la funcin inversa en un entorno de ese punto se puede invertir la
transformacin o expresar
Se denota
en funcin de
y : x =x( y) .
Se tiene:
n
u
~
u yl
=
x i l=1 y l x i
y por lo tanto
2
n
n
2 u
u
2 ~
u yl yk
~
u yl
=
=
+
x i x j x j x i k ,l=1 y l y k xi x j l=1 y l x i y j
( )
k ,l=1
n
n
yl y k n ~
2 y l
2 ~
u
u
a
+
a
+ ( y, ~
u , ~
u )=0
y l y k i , j=1 i x i x j l=1 y l i , j =1 ij xi x j
n
y y
~
a
(
y
)
=
ai x l xk
lk
Denotando
i , j=1
i
j
se obtiene
k ,l=1
~a ( y )
lk
2 ~
u
~
+( y , ~
u , ~
u ) =0
yl yk
x 0 , poniendo
yl
y
(x 0) , kj= k .
y 0= y (x 0 ) , li =
xi
xj
n
Entonces en el punto
x0
se puede escribir
aij
~
al k ( y o ) = aij ( x 0 ) l i kj
i , j=1
en el punto
que es la frmula de
x0 .
aij
aij ( x 0 ) pi p j
(2.1.2 .1)
i , j=1
x0 .
pi= l k ( y 0 ) ql , det ( l i ) 0
(2.1.2 .2)
l=1
(2.1.2 .1) en
~al k ( y 0 ) q l qk .
k ,l=1
(2.1.2 .1)
x0
(2.1.2 .2) .
Del lgebra Lineal es conocido que existe una transformacin lineal no singular
(2.1.2 .2)
q l q l con m n
2
l=1
(2.1.2 .3)
l=r +1
no dependen
( aij ( x 0 ) )
Si en la forma cuadrtica
(2.1.2 .3)
x0 :
se tiene
x0
m=n
y si
r=m o
r=0 se dice
Si
1 r n1
cuando
(2.1.2 .3)
r=1
r=n1
x 0 . En el caso
se llama ultrahiperblica.
(P)
Si
m<n
x 0 . Si
m=n1
Observaciones:
En el caso (E) todos los cuadrados son del mismo signo, es decir, (La forma cuadrtica
estrictamente definida).
En el caso (H) hay
u
u
u
F x1 , , x n , u ,
,,
,,
, =0
x1
xn
xi x j
Se considera por ahora ecuaciones de 2 orden con variables independientes:
F x , y ,u ,
u u 2 u 2 u 2 u
,
,
,
,
=0
x y x2 x y y2
(2.1.3 .1)
f =0
f 0
es una ecuacin no
homognea.
Adems una ecuacin lineal con coeficientes constantes es aquella en que
aij ,bi , c
son
constantes.
Es posible pasar de las variables
= ( x , y ) , = ( x , y )
El problema que no planteamos es: Cmo elegir
variables la ecuacin
u x =u x +u x ,u y =u y +u y , uxx =u x +2 u x x +u x +u xx +u xx , u xy=u x y +u ( x y + y x ) +u x y +
y la funcin
Se nota que si la ecuacin inicial fuera lineal la transformada tambin resulta lineal.
Se toman ahora
como funcin de
a 11
(2.1.3 .2)
z= ( x , y )
1. Si
es solucin de la ecuacin
(2.1.3 .3)
( x , y )=C
z=( x , y)
satisface la ecuacin
(2.1.3 .2) ,
entonces se tiene:
z= ( x , y )
es solucin de
(2.1.3 .2)
(2.1.3 .3) .
( 2.1.3 .2 )
caractersticas.
Demostracin
1.
Del hecho que
2
a11
z=( x , y)
x
x
2 a12
+ a22=0
y
y
( )
( )
Para que
( x , y )=C
(2.1.3 .3)
(2.1.3 .3) .
satisface
dy x ( x , y )
=
dx y ( x , y )
y=f (x ,C )
Pero entonces:
a11
[(
x ( x , y )
x ( x , y )
dy 2
dy
2 a12 + a22= a11
2a 12
+ a22
dx
dx
y (x , y )
y ( x , y )
( )
=0
y=f (x ,C)
2.
Sea
ahora
(x, y)
una
primera
integral
de
(2.1.3 .3) .
Entonces
a11
x ( x , y )
(x , y)
dy 2
dy
2 a12 + a22= a11
+2 a12 x
+a 22
dx
dx
y (x , y )
y ( x , y )
( )
Si se pone
a11 =0
= ( x , y )
y si
entonces se hace
(x, y)
donde
(x, y)
= ( x , y )
a22=0 .
2
dy a 12 a12a11 a 22
=
dx
a11
(x , y )
La relacin
(x, y)
(x , y)
de
se reduce a:
u= ( , , u ,u )
(2.1.3 . 4 )
donde
F 1
2 a 12
Haciendo
, =
= + , = , es decir, =
2
2
se obtiene:
1
1
1
u = ( u +u ) , u= ( u u ) , u= (u u )
2
2
4
y por lo tanto la ecuacin se puede expresar tambin en la forma:
u u = 1 , 1=
b) En la regin de parabolicidad se tiene una sola primera integral
hace el cambio
independiente con
En este caso
= ( x , y ) , =(x , y )
(x , y)
donde
( x , y)
es cualquier funcin
( x , y) .
( a11 x + a 22 y )( a11 x + a 22 y ) =0
2
ya que
y entonces se
Si no aparece
F 1
a22
como parmetro.
c) En la regin de elipticidad, sea
2
dy a 12+ a12 a11 a22
=
dx
a 11
Entonces
(x , y)
dy a 12 a12a11 a 22
=
dx
a11
2
=R , =I
(2.1.3 . 5)
= +i , = i
Entonces:
2
a11 x +2 a12 x y +a 22 y =( a11 x +2 a12 x y + a22 y ) ( a11 x +2 a12 x y +a 22 y ) +2i ( a11 x x +a 12 ( x y + y x ) +a22
es decir, en el cambio
a 11 =a22 , a 12=0
Entonces la ecuacin toma la forma:
u +u = ( , , u , u ,u ) , =
1
F
a 22
u xx u yy =
u xx +u yy =
u xx =
tipo elptico
u + b 1 u + b 2 u + c u+ f ( , )=0
tipo hiperblico
tipo parablico
en lugar de
u :
u=e + v
Entonces:
u =e + ( v + v )
u=e + ( v + v )
u=e + ( v + v + v + v )
u =e + ( v + 2 v + 2 v )
u =e + ( v +2 v + 2 v )
v + v + ( b 1+2 ) v + ( b 2 +2 ) v + ( 2 + 2 + b 1 + b 2 + c ) v +f 1 =0.
Se seleccionan
de la forma:
v + v +v + f 1=0
se anulen y queda
tipo elptico
tipo hiperblico
(2.1.3 . 6)
tipo parablico
aij u x x + b i u x + cu+f =0
i
i , j=1
i=1
primero con un cambio lineal de coordenadas se reduce a la forma cannica y despus se hace
{ ( ) }
n
u= exp
el cambio:
i x i v
i=1
y se seleccionan los
de manera conveniente
i , j=1
i=1
k = k ( x 1 , , x n ) ,
Entonces:
n
u x = u ik , ik =
i
k=1
k
xi
u x x = u ik jl + u ( k ) x x
i
k , l=1
k l
k=1
k ,l=1
akl u + b k u +cu +f =0
k l
k=1
Donde
a kl = aij ik jl
i , j=1
i=1
i , j=1
b k = bi ik + aij ( k )x x
i
i , j=1
y i= ik k ,
k=1
k ,l=1
i , j=1
Es decir, los coeficientes de las segundas derivadas se transforman como los coeficientes de
una forma cuadrtica bajo una transformacin lineal.
Como la matriz
|a iio|=1 0
(2.1.3 . 7)
o
ii
a =0 ( i j ) , i , j=1, , n
Adems la cantidad de elementos de la diagonal nulos, iguales a
o a
no vara
(2.1.3 .7) .
coeficientes
(n1)
son distintos de
coeficientes
a oii
( x oi , , x on )
a oii
o
a ii
0 , siendo
son distintos de
mismo signo y
es igual a
m>0
0
de ellos del
( x oi , , x on )
k o
( x , , x on )= oik
xi i
n
a oik y i y k
cuadrtica
tales que en
ik ( x oi , , x on ) =
se cumpla que la
reduzca la forma
i ,k=1
( x oi , , x on )
cannicas:
n
u x x +=0
i
i=1
tipo elptico
u x x = u x x +
1
i=2
n
ux x =
i
i=1
i=m+1
i i
ux x +
i
nm
u x x + =0
i =1
Se ver el problema de cuando la ecuacin puede ser reducida a una forma cannica en toda
una vecindad de un punto
( x 0i , , x 0n )
i ( x1 , , xn )
diferenciales:
i , j=1
i , j=1
a kl = aij ik jl = a ij
que son
k l
=0
xi x j
n(n1)
. Pero
2
n(n1)
>n
2
(nmero de funciones
i ) para
n>3 , es decir,
hay ms ecuaciones que funciones a determinar y por esta razn puede no haber solucin para
n>3 , por lo que puede no existir el cambio de variables que haga cero los elementos no
diagonales.
Adems, para
n=3
n 3
Luego para
a ii
vecindad de un punto con un nico cambio de variable aunque en toda la vecindad sea del
mismo tipo. En el caso
{ ( ) }
n
u= exp
i x i v
i=1
se reduce a una forma muy simple pues se pueden generalmente eliminar los trminos en
primeras derivadas (salvo en el caso parablico).
n=2 .
Se tiene que la ecuacin que define las caractersticas asigna un cono de direcciones a cada
punto
x0 ,
Como consecuencia:
Si se fijan datos sobre una caracterstica el problema de Cauchy resultante es
sobredeterminado.
Ejemplos.
1. La ecuacin
C={( 1 , 2 ) :1 2=0 } .
x= ,t= .
El Ejemplo (1) del Tema 2.1.1 tiene fijados los datos sobre la caracterstica
t=0
y es
t=0
y es
sobredeterminado.
2. La ecuacin
C={( 1 , 2 ) :22=0 } .
t= .
En el Ejemplo (2) del Tema 2.1.1 se tiene fijos los datos sobre la caracterstica
sobredeterminado.
Se ver en el subtema correspondiente a la ecuacin del calor, que en este caso tiene sentido
u( x , 0) .
t=0 y es sobredeterminado.
C={( 1 , 2 ) :2122=0 }
x+ t= , xt=
En este caso el problema 4 tiene fijos los datos sobre
S= { ( x , y ) : g ( x , y ) =0 }
es decir
donde
uv
significa la derivada de
en direccin
de la normal
S . Como resumen
( P)
depende de si la curva
sobre la
es caracterstica o no.
( P) es sobredeterminado.
u tt ( x , t ) u ( x , t )=F ( x ,t ) , ( x ,t ) R N R
u ( x , 0 )=f ( x ) , x R N
ut ( x , 0 )=g ( x ) , x RN ,
donde
(2.2.1)
N=1, 2, 3.
u tt u xx=0, ( x ,t ) R R
u ( x ,0 )=f ( x ) , x R
ut ( x ,0 )=g ( x ) , x R ,
(2.2.1.1)
donde se suponen los datos con regularidad suficiente para que podamos efectuar todos los
clculos. Al final se precisan las condiciones de regularidad que se requieren.
Observacin. Si se tiene la ecuacin de ondas con velocidad de propagacin
c , es decir,
(2.2.1.1). (Hgase
El mtodo que sigue es debido a DAlembert y puede resumirse en las siguientes etapas
1) Mediante un cambio de variables se obtienen todas las soluciones de la ecuacin.
2) Se determina una solucin que satisfaga los datos. Se comprueba que hay una nica
solucin.
La idea del cambio de variable a realizar viene sugerida por una sencilla observacin.
Si supones
u C ( R ) , se tiene
( t + x )( t x ) u
utt u xx =
=
+
x t x
t t x
(
(
(2.2.1.2)
x,t
)
)
(2.2.1.3)
(2.2.1.4)
1
x = (x+ t)
2
1
t= ( xt )
2
(2.2.1.5)
o bien,
=x+t
{xt=xt
(2.2.1.6)
Se te deja comprobar que se obtiene (2.2.1.4) haciendo los cambios de haciendo los cambios
de variable anteriores
En resumen, si se parte de la ecuacin de onda
utt u xx =0 ,
en el cambio (2.2.1.6) se pasa a
u xt =0,
(2.2.1.7)
ut = ( t ) ,
o bien
t
u ( x , t )= ( s ) ds+ ( x ) .
Es decir, las soluciones de (2.2.1.7) son de la forma
u ( x , t )=w 1 ( x ) +w 2 ( t ) ,
con
u ( x , t )=w 1 ( x+ t ) + w2 ( x t ) ,
(2.2.1.8)
(2.2.1.9)
w 1(x +t)
mientras que
w 2(x t)
1 ,
velocidad
w1
w2
tales
que
u ( x , 0 ) =w 1 ( x )+ w2 ( x )=f (x)
u t ( x , 0 )=w'1 ( x ) w '2 ( x )=g( x )
(2.2.1.10)
o bien
w1 ( x ) +w 2 ( x )=f (x)
x
w1 ( x)w 2 ( x )= g ( s ) ds+c ,
(2.2.1.11)
es decir
[
]
1
w ( x ) = [ f ( x ) g ( s ) dsc ]
2
x
w 1 ( x )=
1
f ( x ) + g ( s ) ds+c
2
x
(2.2.1.12)
u ( x , t )=
f ( x+t ) + f ( xt) 1
+ g (s) ds
2
2 xt
(2.2.1.13)
que se tome,
Sean
u ( x , t )=
Adems
f ( x+t ) + f ( xt) 1
+ g (s) ds
2
2 xt
u C 2(R 2)
(2.2.1.14)
u es solucin del problema (2.2.1.1) resulta del clculo que se ha hecho para obtenerla.
Se establecer la dependencia continua respecto a los datos. Supongamos que se tienen datos
f , g tales que
f ( x )f ( x )=0, x [a , b]
g ( x )g ( x )=0, x [ a ,b ] ,
(2.2.1.15)
, x [a , b]
1+|ba|
|g ( x )g ( x )| , x [ a ,b ] ,
1+|ba|
(2.2.1.16)
|f ( x )f ( x )|
|u ( x , t )u ( x , t )|
f ( x +t ) +f ( xt )( f ( x+t ) + f ( xt ) ) 1 x+t
+ |g ( s )g ( s )|ds
2
2 xt
+
|ba|=
1+|ba| 1+|ba|
Observacin. Resulta del teorema (2.2.1.1): La solucin no mejora la regularidad de los datos.
De otra parte, si se fija
(x 0 , y 0 ),
u( x 0 ,t 0 ) , depende exclusivamente de
I =[a , b]
del eje
t=0 . A
(x 0 , y 0 ) . Si ahora se considera
valor de la solucin de la ecuacin de ondas depende del valor de los datos sobre
I , esta
dado por
B ( I )= {( x , t ) R2| x +t [ a ,b ] x t [a , b]}.
La regin
en
t> 0
xt=b
I . La frontera de B ( I )
xt =a ,
x+|t|=a , x t b . Dicha
frontera est formada por rectas caractersticas, de acuerdo con lo estudiado en el tema 2.1.4.
La forma que tiene el dominio de influencia se traduce en que la velocidad de propagacin de
las ondas es finita, ms precisamente, en nuestro caso es uno.
I { x0 } , t=0
x0
. Entonces en
del punto
t=t 0
[x 0t 0 , x0 ]
y hacia la derecha
Entonces
[x 0 , x0 +t 0 ] .
velocidad media=
u ttu=0, ( x , t ) R 3 R
u ( x , 0 )=f ( x ) , x R 3
ut ( x , 0 )=g ( x ) , x R3
donde a
f yg
(2.2.2.1
)
se les supone por el momento regularidad suficiente para que los clculos
puedan llevarse a cabo. Al final se precisarn las hiptesis de regularidad de los datos para que
la solucin sea clsica.
Seguramente la experiencia fsica de que las ondas se propagan esfricamente, sugiri a
Poisson el mtodo para resolver el problema (2.2.2.1) que se estudia detalladamente a
continuacin. La idea conductora del mtodo es buscar una expresin de la solucin que
permita usar la frmula de DAlembert unidimensional estudiada en el subtema previo.
Supongamos que
|x y|r
utt ( y , t) dy=
x R 3 y r >0 .
u ( y , t ) dy .
|x y|r
(2.2.2.2
)
(
(
i=1
|x y|r
u ( y ,t ) dy=
u x ( x+ rv , t ) v i d ( rv )=
uv ( y , t ) d ( y )=
u x ( y ,t ) v i d ( y )=
i=1
|x y|=r
|v|=1
(2.2.2.3
)
|x y|=r
u x ( x+ rv ,t ) v i
r2
|v|=1 i=1
u r ( x +rv , t )d ,
d=r 2
|v|=1
donde
es la normal exterior.
Por otro lado, el trmino de la izquierda en (2.2.2.2) se calcula pasando a coordenadas polares
r
utt ( y , t) dy= 2
0
|x y|r
(2.2.2.4
)
utt ( x + v ,t ) dd .
|v|=1
2
0
utt ( x + v ,t ) dd=r 2
|v|=1
|v|=1
u tt ( x +rv , t ) d=
r2
(2.2.2.5
)
ur ( x +rv , t ) d
2r
|v|=1
resulta
u r ( x+ v , t ) d+ r 2
|v|=r
urr ( x+ rv ,t ) d ,
|v|=1
(2.2.2.6
)
de donde
(2.2.2.7
)
2 r
u ( x+rv , t ) d =
t 2 4 |v|=1
1
2 1
u
(
x+
rv
,t
)
d
+
r
u ( x+ rv ,t ) d
r 4 |v|=1
r 2 4 |v|=1
2 r
u ( x +rv , t ) d
r 2 4 |v|=1
Llamado
M u( x , r , t)=
1
u ( x +rv ,t ) d
4 |v|=1
(2.2.2.8
)
de
u , en el punto
y el instante
t , la expresin
(2.2.2.7) se traduce en
u
r M
u
r M
(2.2.2.9
)
r M u , de una solucin
r M u ( x , r , t ) =1 ( x , r +t ) +2 ( x , rt ) .
En particular, si tomamos lmites para
r 0
0=1 ( x , t )+ 2 ( x ,t ) ,
(2.2.2.11
)
o bien
1 ( x , t ) =2 ( x ,t ) .
(2.2.2.12
)
r M u ( x , r , t ) =1 ( x , r +t ) 1 ( x ,tr ) .
(2.2.2.13
)
resulta
M u ( x ,r , t )+ r ( M u )r ( x , r , t ) = 1 ( x , r +t ) 1 ( x ,tr ) .
y tomando lmites de nuevo para
r 0
(2.2.2.14
)
en (2.2.2.14), se obtiene
lim M u ( x , r ,t )=2 1 ( x ,t ) ,
(2.2.2.15
)
r 0
lim M u ( x , r ,t )=u (x , t)
r 0
1 , es
decir,
u ( x , t )=2 '1 ( x , t ) ,
(2.2.2.16
)
datos iniciales del problema (2.2.2.1). Pero de (2.2.2.13), se concluyen las dos identidades
siguientes
u
rM
'
'
r ( x , r ,t )=1 ( x , r +t )+1 ( x , tr )
u
rM
o bien,
(2.2.2.17
)
u
r M
(2.2.2.18
)
r
r
u ( x +rv , 0 ) d +
u1 ( x+rv , 0 ) d=
r 4 |v|=1
4 |v
|=1
2 '1 ( x , r )=
t 0 , resulta
(2.2.2.19
)
r
r
f ( x+ rv ) d +
g ( x +rv ) d .
r 4 |v|=1
4 |v
|=1
Como
en trminos de
u ( x , t )=
'
1 , podemos escribir
t
t
f ( x +tv ) d +
g ( x +tv ) d .
t 4 |v|=1
4 |v|=1
(2.2.2.20
)
f C 3 (R3 )
g C 2(R 3)
si se
tema.
Teorema 2.2.2.1
Sean
f C 3 (R3 )
u(x ,t )
u( x ,t )
que, en efecto, es solucin del problema (2.2.2.1). En primer lugar se tiene que
satisface
lim
t0
1
t
t
f ( x +tv ) d +
f ( x +tv ) , v d+
g ( x +tv ) d
4 |v|=1
4 |v|=1
4 |v
|=1
(2.2.2.21
)
f (x )
por la regularidad de
lim u t ( x , t ) =
t0
g . Y tambin
1
1
g ( x +tv ) d+ 4 f ( x +tv ) , v d +
4 |v|=1
|v|=1
lim
(2.2.2.22
)
t0
+lim t
t0
{ (
1 2
4 t2
f ( x +tv ) d +
|v|=1
1
4 t
)}
g ( x +tv ) d =
|v|=1
g (x)
f x (x)
i
v i d)
|v|=1
3
1
lim
f ( x+ tv ) , v d= 1
4 i=1
t 0 4 |v|=1
ya que las componentes de la normal en la esfera son funciones impares y entonces su integral
se anula.
Para ver que es solucin basta notar que si
h C ( R )
y se define
v ( x , t )=t M h ( x , t ) ,
donde
M h ( x ,t )=
entonces,
1
h ( x +tv ) d
4 |v|=1
(2.2.2.23)
v tt ( x , t )=2
M h ( x , t ) +t 2 M h ( x ,t ) .
t
t
Calcularemos ahora
h ( y ) dy=
(2.2.2.24)
1
h v ( y ) d ( y )=
4 t 2 |x y|=t
1
4 t 2 |x y|t
3
(2.2.2.25)
1
1
h ( y ) v i d ( y ) =
h ( x+ tv ) v i d=
2 x
4
|v|=1 i=1 x
4 t |x y|=t i=1
i
M h (x , t) ,
t
donde se ha aplicado el teorema de la divergencia y que
d ( y )=t 2 d .
1
1
h ( y ) dy=
h ( y ) d ( y ) .
2
4 t |x y| t
4 t 2 0 |x y|=
(2.2.2.26)
h ( y ) d ( y )=
|x y|=
t
2
1
M h( x , t ) =
2
t 4 t2 0
t
t
h ( y ) d ( y )+ 4 1 t 2 h ( y ) d ( y )
0 |x y|=t
|x y|t
t
2 t3 0
(2.2.2.27)
v .
f , g y f , g , y sean u
y
a)
b) Para
en
,| f ( x ) f ( x )|<
,| g ( x ) g ( x )|<
|f ( x ) f ( x )|< 3+T
3+ T
3+T
Entonces partir de (2.2.2.20), obtenemos
|u ( x , t )u ( x , t )| .
u tt ( x 1 , x 2 , t ) u ( x 1 , x 2 , t )=0 ( x 1 , x 2 , t ) R 2 R
u ( x 1 , x 2 ,0 )=f ( x1 , x2 ) ( x 1 , x 2 ) R2
(2.2.3.1)
ut ( x 1 , x 2 , t ) =g ( x1 , x 2) ( x 1 , x 2 ) R .
La idea para obtener la solucin de (2.2.3.1) en funcin de los datos es sencilla y debida a J.
Hadamard. De forma precisa es la siguiente.
Se consideran los datos en (2.2.3.1) como funciones definidas en
R R , independientes de
x 3 , es decir,
(2.2.3.2)
y se calcula la solucin de la ecuacin de ondas en tres dimensiones espaciales con los datos
(2.2.3.2). Tal solucin viene dada por la expresin
v ( x , t )=
t
~f ( x +tv ) d + t
~g ( x+ tv)d ,
t 4 |v
4
|=1
|v|=1
La no dependencia de
~
f
~
g
de la variable
v x x =0
x 3 , en particular entonces
(2.2.3.3)
x 3 , motiva que
. Por tanto,
sea independiente de
problema (2,2.3.1).
Con estas ideas, la solucin de (2.2.3.1) viene expresada por
u ( x 1 , x 2 , t )=
t
~
f ( x 1 +t v 1 , x2 +t v 2, x 3+t v 3 ) d +
t 4 |v| =1
2
(2.2.3.4)
t
~g( x 1+ t v 1 , x2 +t v 2, x3 +t v 3 )d ,
4 |v| =1
2
t
~
t
~
f ( x 1+t v 1 , x 2 +t v 2, x 3 +t v 3)d=
f ( y ) d ( y),
4 v + v +v =1
4 t |x y|=1
2
1
2
2
2
3
y 3= t 2( x1 y 1) ( x 2 y 2 )
el element de rea es
(2.2.3.5)
td y 1 d y 2
1 /2
(t 2( x 1 y 1 )2 ( x 2 y 2 )2 )
1 /2
|x y|=(t 2( x 1 y 1 )2 ( x 2 y 2 )2 )
Llamado
td y 1 d y 2
t
~
2
f ( y ) d ( y )=
f ( y1 , y2 )
.
1/ 2
4 t |x y|=1
4 t |x y|=1
( t 2|x y|2 )
t
~f ( x 1+t v 1 , x 2 +t v 2, x 3 +t v 3)d= 4 tt ~f ( y ) d ( y),
4 v + v +v =1
|x y|=1
2
1
2
2
(2.2.3.6)
2
3
Con este planteamiento podemos formular el teorema de existencia y unicidad para dimensin
espacial dos que se obtiene gratuitamente del teorema (2.2.2.1).
Teorema 2.2.3.1 Sean
f C 3 ( R2 )
u ( x 1 , x 2 , t )=
f ( y1 , y2 ) d y1 d y2 1
g ( y 1 , y 2 ) d y1 d y 2
1
+
,
1
1
t 2 |x y|=t
2 |x y|=t
2 2
2 2
2
2
(t |x y| )
(t |x y| )
(2.2.3.7)
u tt ( x , t ) u ( x , t )= ( x ,t ) ( x , t ) R N R
N
u ( x ,0 )=0, x R
ut ( x , 0 ) =0, x R N ,
(2.2.4.1)
N=1, 2 o 3 .
C ( R R) y
Es evidente que si se resuelve el problema (4.4.1), con los resultados de las secciones
anteriores y la linealidad de la ecuacin, se habr resuelto el problema general
u tt ( x , t ) u ( x , t )= ( x ,t ) ( x , t ) R N R
u ( x , 0 ) =f ( x ) , x R N
u t ( x , 0 ) =g ( x), x R N ,
(2.2.4.2)
La idea de como obtener la solucin de (4.4.1) es sugerida por el mtodo de variacin de las
constantes de las ecuaciones diferenciales ordinarias lineales, que se ve complicado aqu por el
hecho de que el espacio de soluciones de la ecuacin homognea no es de dimensin finita.
Desde un punto de vista fsico se puede obtener el mtodo por la siguiente idea: Puesto que el
impulso, es decir, la fuerza por unidad de tiempo, es igual a la masa por la velocidad, o cantidad
de movimiento, entonces la solucin del problema (2.2.4.1) parece que debe poder expresarse
como una "suma" de soluciones de los problemas.
u tt ( x , t , s )u ( x ,t , s )=0
u ( x , s , s )=0
(
u t x , s , s )= ( x , s ),
(2.2.4.3)
Teorema 2.2.4.1Sea
t
u ( x , t )= v ( x , t , s ) ds
(2.2.4.4)
u ( x , 0 )=0 y
ut ( x ,t )=v t ( x , t , t )+ v t ( x , t , s ) ds= vt ( x , t , s ) ds
0
derivando respecto a
(2.2.4.5)
en (2.2.4.5) resulta
utt ( x , t )=v t ( x , t , t ) + v tt ( x ,t , s ) ds
(2.2.4.6)
( x ,t ) + v ( x ,t , s ) ds= ( x , t ) +
0
v ( x ,t , s ) ds =
( x ,t ) + u ( x , t ) ,
es decir,
u es solucin
N=1, 2
U tt ( x , t , s )U ( x ,t , s )=0
U ( x , 0, s )=0
U t ( x , 0, s ) = ( x , s ) .
(2.2.4.7)
x+t
1
( y , s ) dy , si N =1
2 xt
( y , s ) dy
1
si N =1
2 |x y| t t 2| x y|2
1
( x , s ) d ( y ) , si N =3 .
4 t |x y|=t
(2.2.4.8)
u ( x , t )= v ( x , t , s) ds U ( x , ts , s ) ds ,
0
t x+(t s)
1
( y , s ) dy , si N =1
2 0 x(t s)
t
( y , s ) dy
1
si N =1
(2.2.4.9)
1
1
( x , s ) d ( y ) ds si N=3.
4 t 0 ts |x y
|= ( t s)
u tt ( x , t ) u ( x , t )=0 ( x , t ) R N R
N
u ( x ,0 )=f ( x ) , x R
N
ut ( x , 0 )=g ( x ) , x R , N =1,2, 3
y supongamos que
(2.2.5.1)
existencia probados en las secciones anteriores, y que tienen soporte compacto, es decir, son
cero fuera de una bola
B (0, R) .
u(x ,t )
de (2.2.5.1) el
fijo
sop u ( x , t ) B ( 0, R+|t |) .
ut
se tiene
N
2
1
1
0=ut ( utt ( x , t )u ( x ,t ) ) = ( U t )2t + |u xi|t ( u xi u t ) x =
2
2 i=1
i=1
i
(2.2.5.2)
1 2
2
u t +| x u| } {( u xi ut )i=1, ,N } ,
{
2
donde
B (0 , ) R2
con
> R+ t 0
para
t 0 fijado
2
1
2
{ut ( x ,t 0 ) +| x u ( x ,t 0 )| }dx
2 B(0 , ) t
(2.2.5.3)
{( u xi ( x ,t 0 ) ut ( x ,t 0 ) )i=1, , N } dx ,
B (0 , )
llamando
S (0, )
a la frontera de la bola
B (0, )
B (0 , )
(2.2.5.4)
(u xi ( x , t0 ) ut ( x , t0 ) )i=1,, N , v d 0 para ,
S (0 , )
se concluye
0=
2
d 1
{u 2t ( x , t 0 ) +| x u ( x , t 0 )| }dx .
dt 2 B (0 , )
(2.2.5.3)
La expresin
E(t)=
2
1
{u2t ( x , t 0 ) +| x u ( x , t 0 )| }dx .
2 B (0 , )
E(t) E (0)=
2
1
{g( x )+| x f ( x)| }dx .
2 B (0 , )
(2.2.5.3)
v tt v=0 ( x ,t ) R N R
v ( x , 0 )=f ( x ) , x R N
v t =g ( x ) , x R N , N=1, 2,3
(2.2.5.1)
E(t)=
2
2
1
{|u t ( x , 0 )| +| x v ( x ,0 )| }dx
2 B (0 , )
de donde,
v t (x , t)=0
x v ( x , t )=0 , es decir,
v es constante y como
v ( x , 0)=0 ,
v ( x , t) 0 , o bien,
u1 ( x ,t)=u2 (x ,t).
u C 2(R
[0,T ])
y tal que
u 0
0<t 1< t 0
Se integra la identidad
C t1
(2.2.6.1)
0=
S
1
2
2
1
2
2
u t| +| x u| } v 0+ uxi ut v i d ( y ) {|ut| +| x u| } dx
{
|
2
i=1
B 2
B t1
siendo
elemento de rea en
(2.2.6.2)
t1
v =(v 0 , v 1 , .. , v N )
d ( y )
es el
S . Se
observa que la base del tronco de cono no aparece en (2.2.5.9) por suponerse los datos nulos
en
t=0.
2
v =( , v 1 .. , v N )
2
integral sobre
y entonces
v 2i =1v 20= 12 ;
i=1
en segundo lugar si
en (2.2.6.2) se tiene
( x i v 0ut v i)2
N
N
1
2
2
ut v 0 v i + d ( y ) 0
v 0 i=1
i=1
I s=
S
I s designa la
(2.2.6.3)
1
2
2
1
ut| +| x u| ) v0 + u xi u t v i d ( y ) =
(
|
2
2 S
i =1
como resulta por ser suma de cuadrados. De esta forma (2.2.6.2) y (2.2.6.3)
permiten concluir
|ut|
2
( 2+| x u| ) dx
(2.2.6.4)
1
0=
2B
t1
La regularidad de
cualquier
x Bt
y cualquier
y como en la base de
ut ( x , t 1 )=0
u
x u( x , t 1)=0
para
t=0
x B , u( x , 0) 0 , resulta
u ( x , t ) 0 para ( x ,t ) C .
2.2.6.1 Definicin
i) Dada una bola
conjunto de puntos
el dominio de determinacin
en el plano
R R
t=0
C( x 0 , r )
es el
B .
al conjunto
2.2.6.2 Definicin.
Dado un punto
puntos
( x 0 ,t 0 ) R N R
( x , 0 ) R N {0 }
ondas en el punto
el dominio de dependencia
A N (x 0 ,t 0 0) es el conjunto de
A N ( x 0 ,t 0 )
El teorema anterior junto con las frmulas (2.2.1.14), (2.2.2.20) y (2.2.3.7), permiten determinar
en el plano
es
N
R R tal que los conos caractersticos con vrtice en B ( B ) cortan a
B .
El mismo calculo hecho para la ecuacin de ondas en una dimensin en la tema
2.2.1, demuestra en general que la
De nuevo consideramos las frmulas (2.2.1.14), (2.2.2.20) y (2.2.3.7). Se aprecia una diferencia
sustancial entre lo que ocurre en dimensiones
1 y
N= 1 y
N=2
(x 0 , t 0) es
A N ( x 0 , t 0 )= {( x , 0 )||xx 0|t 0}N =1,2,3
Mientras que en dimensin
N=3
el dominio de dependencia es
x 0 ,t 0
con vrtice en ( x 0 , t 0) , se tiene
S3
(2.2.6.5)
t=0
A 2 (x 0 ,t 0 ) en
A 1 ( x 0 ,t 0)
es slo la frontera de
RN y R , respectivamente.
La propiedad que expresa (2.2.5.12) se refiere diciendo que la ecuacin de ondas en dimensin
BR
t0
C( x 0 , t 0 )
corta a
x0 R N
B
Pero entonces es claro que a partir de ese instante continua verificndose que
corta a
si
en
existe
t=0 .
C( x 0 , t 0 )
1 y 2
con seal inicial de soporte compacto, tiene la propiedad que cuando la perturbacin alcanza un
punto permanece perturbndole para todo tiempo posterior. Pinsese en las ondas de agua de
un estanque como ejemplo. Si el agua vuelve al reposo es por rozamiento y otras
perturbaciones externas.
Si se verifica el principio fuerte de Huygens, es decir si estamos en
punto
en
x0 R3
(x 0 , t)
interseca
R3 R , y se toma un
es un intervalo acotado.
Puede imaginar el lector un espacio fsico sin principio de Huygens?, Cmo podran
comunicarse los individuos en un espacio fsico sin principio de Huygens?
ut u=F ( x ,t )
( 2.3 .0.1 )
2.1.1
1.2.1
con
por
t , en
la ecuacin del calor aparece un signo menos delante de la derivada con respecto al tiempo.
Esto dice que la ecuacin del calor describe fenmenos irreversibles. Por otra parte, como se
ver en la Unidad 3, al efectuar este cambio de variables en la ecuacin del calor el decaimiento
exponencial de la solucin con respecto al tiempo se convierte en crecimiento exponencial.
En este tema se proyecta estudiar el problema de Cauchy en
RN
comprobando que es
compatible, si bien es necesaria una condicin unilateral para obtener solucin nica, por ser
caracterstico.
Al fin de poder demostrar resultados de unicidad se establecer el principio del mximo para
la ecuacin del calor.
Se empezar este tema con el estudio de algunos resultados bsicos relativos a la
transformada de Fourier de funciones integrables definidas en todo el espacio. Estos resultados
sern indispensables para obtener la solucin fundamental de la ecuacin del calor que es el
objeto del segundo subtema.
La obtencin de la solucin fundamental es el objeto del subtema
2.3 .3
2.3 .5 . El subtema
RN
funciones integrables en
Sea
|f (t)|dt<
por
f^ ( )= e2 it f ( t ) dt
( 2.3 .1.1 )
g ( x ) =ea|x| ,a> 0.
(2.3 .1.1) para la funcin
Escribiendo la frmula
g se tiene
^g ( )= e2 it ea|x| dt
( 2.3 .1.2 )
poniendo
2
a t +2 it= a t+i
+ 2
a
a
2
resulta
^g ( )=e
(
e
a t +i
) dt
( 2.3 .1.3 )
R+ i0
va de
R+i
R>0
(2.3 .1.3)
consideramos la trayectoria
a
R+i
R+i0
con el punto
y el punto
R+ i
R+ i
con
R+i0 . El interior de
ez dz=0
Como adems
lim
1
2
( a )
e( a R+ is ) ds = 0
resulta que
(
e
a t +i
) dt = e
a t
dt = e
dy
1
=
a a
( 2.3 .1.4 )
Dado que
e y dy=
sustituyendo en
^g ( )=
1
e
a
( 2.3 .1.5 )
g C (R) .
xm
x R
dn g
(x ) <c (m ,n)
d xn
donde
( 2.3 .1.6 )
Ambas propiedades se obtienen por clculo directo. Es posible agrupar en una familia a todas
las funciones verificando las propiedades 1) y 2) de la gaussiana. Tal clase de funciones se
S ( R)
S ( R)
se da de la
siguiente forma:
S ( R )= f C ( R ) : x R x
De la propia definicin de
d f
( x ) < cm ,n < , n ,m N
n
dx
se sigue que:
a) Si
f , g S y , R , entonces f + g S .
b) Si
f , g S , entonces fg S .
Adems si
( 2.3 .1.7 )
(2.3 .1.6)
n=0
m=2
se
tiene que
|(1+|x| ) f ( x )| M
2
( 2.3 .1.8 )
por lo tanto,
es decir,
( 2.3 .1.9 )
es integrable.
f S (R)
f^ ( )= e2 it f (t)dt ,
( 2.3 .1.10 )
y la integral es finita. De
( 2.3 .1.11 )
f S (R) .
f S ( R ) , entonces
f^ C (R) y adems
k
d f^
k
( )= g^ ( ) , siendo g ( x ) =(2 ix ) f (x )
k
d
( 2.3 .1.12 )
k
d f^
( x ) S ( R ) , adems
k
dx
2)
^
dk f
k
()= ( 2 i ) f^ ()
k
dx
3) Si se supone tambin que
( 2.3 .1.13 )
h ( x )= f ( t ) g ( xt ) dt f g(x)
( 2.3 .1.14 )
integral de convolucin de
h^ ( )= ^f ( ) ^g ( )
( 2.3 .1.15 )
f^ S ( R) .
4)
en
S , es decir, ^ : S S .
(2.3 .1.13) .
(2.3 .1.12) .
(2.3 .1.15) .
Observaciones.
1) La transformada de Fourier se extiende a
RN
por la frmula
f^ ( )= f ( t ) e2 i t , dt
R
donde
, es el producto escalar en RN .
u=f , en R2
(2.3 .1.17)
se transforma en
2
4 2|| u^ ( )= f^ ( )
Para que la estrategia expuesta culmine con xito el clculo de una solucin de
(2.3 .1.17) ,
(2.3 .1.18)
||
que puede verse como una extensin a la transformada de Fourier del teorema de RiemannLebesgue demostrado para series de Fourier, es decir, tenemos un resultado de localizacin.
Realmente el resultado, que es conocido tambin como teorema de Riemann-Lebesgue, es
para funciones integrables y puede obtenerse de (2.3.1.18) por un argumento de densidad de
Sea f
funcin integrable en
R , es decir,
|f|dx<
, entonces
||
(2.3 .1.19)
Para
funcin integrable y
g S
> 0 existe
tal que
|f g|dx <
Entonces
lim |f^ ( )|
||
f , g S ( R ) . Entonces
f^ ( y ) g ( y ) dy= f ( y ) g^ ( y ) dy
Demostracin.
Basta utilizar el teorema de Fubini,
2 it
t
g ()dt
2 it
e f () d
f ( )
(2.3 .1.20)
Este resultado y el hecho que la transformada de Fourier de una gaussiana es otra gaussiana
sern los ingredientes fundamentales de la prueba del teorema de inversin.
Si
f S
se tiene que
f^
Sea
transformada de Fourier de
f S
se define:
( ^f ) ( t )= e 2 it f^ ( ) d
La conjetura es que
( ^f ) =f
f S ( R) , entonces ( ^f ) =f .
2.3 .1.6
teorema.
2.3.1.7 Teorema [Identidad de Plancherel]
Si i
f S
se verifica:
f 2=f^2
Demostracin
Sea
x
g( x)=f ) y, por tanto,
demostradas en el teorema
f 2= f ( x ) f ( x ) dx=fg ( 0 )=
(^
fg ) ( ) d= ^f ( ) ^g ( ) d=
|f^ ( )| d=f^ 2
Observacin.
La densidad de
obre
en
L2 . En efecto, sea f L2
y supongamos
{ gn }n N S
tal que
lim gn f 2=0
Se define:
f^ ( )=lim ^gn ( ) .
n
L2
L2 , es
decir,
f 2=f^2 , f L2
Continuando con el Ncleo de Gauss, el trabajo de realizar la transformada de Fourier permitir
resolver las dimensiones para las cuales no es posible aplicar el mtodo de obtener el ncleo,
esto se explica adelante.
Se empieza por el caso dimensional espacial uno que es ms sencillo de describir y en el que
usaremos un argumento de homogeneidad fuerte al cambio de escala, que reduce el
problema a una ecuacin ordinaria.
El uso de la transformacin de Fourier permitir obtener la solucin fundamental en
dimensiones mayores.
A) En el caso de dimensin
fundamental.
x= y ,t= s y consideramos
u ,
v ( y , s )=u ( y , s ) =u ( x , t )
v
Para que
v sv yy=0
al calcular,
v sv yy= ut uxx
=2
de manera que si
se tiene que,
v sv yy= ( ut u xx )=0
Como consecuencia, parece natural buscar soluciones que respeten la homogeneidad
observada, es decir, soluciones que dependen de la variable
x
t . La forma de una de
u ( x , t )=t f
x
.
t
( )
Imponiendo que
Donde
x
t . Desde el punto de vista fsico se sabe que hay que imponer la conservacin
u( x ,t )dx= t f xt
( ) dx=1
es decir,
tf
+
x
dx=t 2 f ( y ) dy=1
t
( )
1
2 . La ecuacin ordinaria puede escribirse
como
'
( 2 f ' +f ) =0
Tomando en particular las soluciones de
2
|x|
4t
'
2 f +f =0,es decir , f ( ) =c e
1
2
u ( x , t )=( 4 t ) e
|x|
4t
ut u=0, x R N , t >0
u ( x , 0 )=f ( x ) , x R N , f S ( R N )
Donde
( 2.3 .1.21 )
u^ ( , t)= e2 i x, u ( x , t ) dx
R
se tiene
2
N
u^ t ( , t )+ 4 || u^ ( , t )=0 , R , t>0
u^ ( , 0 )= f^ ( )
t , considerando
(2.3 .1.22)
u^ ( , t )= ^f ( ) e4 || t
Como se trata de una funcin gaussiana podemos calcular su transformada de Fourier, como se
hizo anteriormente, resultando otra gaussiana a la que llamamos ncleo de Gauss. Ms
precisamente
2
e2 i x , e4 || t d=
N
( 4 t )
N
2
|x|
4t
u ( x , t )=
( 4 t )
|x y|
4t
N
N
2 R
f ( y)dy
(2.3 .1.23)
que al ser
Llamando
K (x )=
(4 )
N
2
|x|
4
y definiendo
K t ( x )=
1
t
N
2
( xt ) ,
es decir,
2
K t ( x )=
( 4 t )
N
2
|x|
4t
se verifica
1)
2)
K t ( x ) dx=1
3)
lim
x RN ,
t 0 |x|> >0
K t ( x ) dx=0
K t (x )
f C ( R N )
(2.3 .1.23)
continuas.
2.3.1.7 Teorema
Sea
f C ( R N )
|f (x)|< M
tal que
x R N . Entonces,
si
u(x ,t )
definida por
u C ( R N ( 0, )) ,
2)
ut u=0 si
3)
4)
x R N , t >0 ,
lim u ( x 0 , t ) =f ( x0 )
t0
|u ( x , t )| x R N|f ( x )|, ( x , t ) R N ( 0, ) .
Demostracin.
Kt
x0 R
En cuanto a 3) para
Kt .
, se tiene
|u ( x 0 ,t )f (x 0 )|= K t ( x 0 y ) ( f ( y )f ( x 0 ) ) dy .
Por la continuidad de
; entonces en
(2.3 .1.24)
|u ( x 0 ,t )f (x 0 )|=
(2.3 .1.24)
> 0 tal que si
resulta
K t (x 0 y )dy +2 x R N |f ( x )|
|x0 y|<
K t (x 0 y)dy 2
(2.3 .1.25)
|x 0 y|<
K .
2.1.4 , el problema
2.3 .1.7
u tu xx =0, ( x , t ) R (0, )
u ( x , 0 )=0
(2.3 .1.26)
u xx =ut ,( x ,t ) R 2
u ( 0, t )=g ( t ) , t R
ux ( 0,t )=0,
(2.3 .1.27)
(2.3 .1.26) .
t
g ( t )= e , t>0
0, t 0
para
(2.3 .1.28)
una solucin no nula del problema caracterstico, con lo cual se obtiene la no unicidad
mencionada. Es posible mostrar que la solucin obtenida del problema de Cauchy no es
acotada en
para
( x , t ) R N (0, T ) , entonces ella tiene que ser identicamente nula en este dominio.
Sin embargo, hay un resultado de D. Widder, mucho ms interesante, no slo desde el punto de
vista matemtico sino tambin por su significado fsico.
Una de las consecuencias del Segundo Principio de la Termodinmica es que la temperatura
absoluta es siempre positiva. Este hecho sugiere que la condicin natural a verificar por las
soluciones de la ecuacin del calor es la condicin unilateral
Evidentemente es lo mismo suponer
u 0 .
de que la temperatura sea positiva, el problema de Cauchy para la ecuacin del calor tiene una
nica solucin.
(3.3 .1) .
en
Sea
R N
Se define
DT
P ( { 0 } ) ( [0,T ])
2.3.2.1 Teorema
Sea
T)
u C ( D
, tal que ut , u x x C ( D T ( { T } ) ) ,i , j=1,2, , N
i
ut u 0 en DT .
Entonces
max u=max u
p
DT
Demostracin
Si se hace la hiptesis adicional
ut u<0 en D T
(2.3 .2.1)
'
ut ( x 0 ,t 0 ) =0, u ( x 0 , t 0 ) 0,
(2.3 .2.1) . Por consiguiente, en la hiptesis
( x 0 ,T ) {T }
DT
'
, para cualquier
se tendra
ut ( x 0 ,t 0 ) 0, u ( x0 , t 0 ) 0,
que contradice tambin
alcanza en
(2.3 .2.1)
el mximo se
P .
Se trata ahora de quitar la hiptesis adicional. Para ello se considera para cada
funcin
>0
la
v ( x , t )=u ( x , t )+ |x| .
v
La funcin
u , verificndose adems
v t v=ut u2 N< 0
u . Entonces puesto que v verifica la hiptesis
max v =max v .
P
DT
Pero entonces,
2
DT
max u max u
DT
max u max u
P
DT
prueba el resultado.
Observamos que el principio del mximo para la ecuacin del calor excluye parte de la frontera,
justamente la frontera temporal en la direccin del tiempo creciente.
Este principio de mximo se llama dbil porque no excluye que el mximo se tome en un
punto interior.
Se tiene un enunciado ms fuerte debido a L. Nirenberg, el cual se ver sin demostracin. Para
los detalles te remitimos al libro: M.H. Protter, H.F. Weinberger, "Maximum Principles in
Differential Equations" Ed. Springer Verlag 1984
Principio del mximo fuerte
Sea
2.3 .2.1
en
DT . Si existe
( x 1 , t 1) D T
tal que
u ( x 1 , t 1 ) =M =max u ,
DT
entonces
uM .
. Consideremos
el problema
u t u=0, x , t>0
u ( x ,t )=0, x , t>0
u ( x , 0 )=0, x .
(2.3 .2.2)
Por aplicacin directa del principio del mximo se tiene el siguiente corolario, el cual establece
(2.3 .2.2) .
ut , u x x C ( D T ( { T } ) ) ,i , j=1,2, , N
( 2.3 .1.21 )
tiene
RN
w ( x ,t )= 2 t+
|x|
N
,R,
u t u=0, x RN ,t >0
u ( x , 0 )=f ( x ) , x R N , f continua y acotada en R N .
Entonces
(2.3 .2.3)
u1 u2 .
Demostracin.
|u1 ( x , t )| M 1
si
|u2 ( x , t )| M 2
M =max {M 1 , M 2 } .
llamamos
La
funcin
v t v=0, x R N , t >0
u ( x , 0 )=0, x R N .
v
La idea es aplicar a
y la funcin
|x|
2 NM
w R ( x , t )= 2 2 t +
, RR,
N
R
que como se ha visto satisface la ecuacin de calor, en particular en
|x|< R , t>0 .
Adems
| y| R ,
t [0,T ]
v w R
y a
w R v , resulta que
w R ( x , t ) v ( x , t ) w R ( x , t )
para cada
Dejando fijo
lmite para
( x , t)
tal que
(2.3 .2.4)
|x| R , 0 t T .
( x , t) , la desigualdad
R
(2.3 .2.4)
es vlida si
se tiene
(x , t)
v 0
como se quera.
( 2.3 .1.21 )
( 2.3 .1.23 ) .
u t u=F ( x , t ) , x R N , t> 0
u ( x , 0 )=f ( x ) , x RN
(2.3 .3.1)
que sean ciertos los clculos que vamos a realizar. Ms tarde se estudiaran cuales son las
condiciones de regularidad suficientes.
Se ver que un papel importante lo jugar la solucin fundamental. Ahora vamos a escribir la
solucin fundamental con la singularidad desplazada, es decir, consideramos
v ( x , t , y , s ) K t s (x y) , es decir
v ( x , t , y , s )=
( 4 ( t s ) ) N /2
exp
|x y|
4 ( t s )
,t>s.
(2.3 .3.2)
Por clculo directo, o bien, por los argumentos en el tema 2.3.1 se tiene el siguiente resultado.
i v t y v=0 si t> s .
ii v s + y v=0
si
t> s .
ya
s , y, lo cual es
claro por tener s el signo contrario a t. Obsrvese, por ltimo, que el laplaciano se puede tomar
v .
importante de la funcin
definida por
(2.3 .3.2) y R N
un dominio, entonces
V ( x , ts )= v ( x ,t , y , s ) dy
Verifica
lim V ( x , ts )= 1, x .
ts 0
0, x
).
R .
( uv )s=u s v +v s u=v uu v
(2.3 .3.3)
BR RN
( u ( v s + v )v ( uus ) ) dyds=
BR
vFdyds=
0 BR
(2.3 .3.4 )
s 0
uv dy + ( v un u vn ) d ( y ) ds
BR
0 BR
s t uv dylim
BR
lim
donde
n es la normal exterior a B R
es acotada, como
u
n
decaen
s 0 + uv dy
BR
s t uv dy lim
BR
(6.3.3.5
)
vFdyds=lim
0 BR
s t u ( y , s ) v ( x , t , y , s ) dy =u ( x , t ) ,
BR
lim
(2.3.3.6
)
s 0+ u ( y , s ) v ( x , t , y , s ) dy= u ( y , 0 ) v ( x , t , y , 0 ) dy=
BR
BR
lim
(2.3.3.7
)
f ( y )v ( x , t , y , 0)dy ,
BR
BR
Sustituyendo el valor de
BR
exp
N
( 4 ( t s ) ) 2
(2.3.3.8
)
se tiene
2
|x y|
F ( y , s ) dyd +
4 ( t s )
t
u ( x , t )=
(2.3.3.9
)
( 4 t )
f ( y ) exp
N
2 BR
|x y|
4t
dy
Una vez hecha la conjetura de cmo escribir la solucin slo falta un resultado de regularidad
en funcin de la regularidad de
K t ( x )=
1
N
( 4 t ) 2
( )
|x|
exp
,t>0
4t
(2.3.3.10
)
F (x ,t)
,
xi
f ( x)
i=1, , N
y sean
F( x , t )
RN ( 0, T ) , para algn
T>0 .
Entonces la funcin
u ( x , t )= K t ( x y ) f ( y ) dy + K (t s) (x y) F ( y , s )dyds ,
R
0 RN
(2.3.3.11)
Verifica
(1)
u C ( R N [ 0, T ) )
(2)
u
2 u
C ( R N ( 0,T ) ) ,
C ( R N ( 0, T ) ) ,i , j=1,. . , N
t
xi x j
(3)
Demostracin
Lamamos
u1 ( x , t ) = K t (x y ) f ( y )dy
R
y
t
u2 ( x , t ) = K ( ts ) F ( y , s) dyds
(2.3.3.12
)
0 RN
u t u=0, x R ,t >0
u ( x , 0 ) =f (x ), x R N
x y
=z
en la integral (2.3.3.12) resulta
2 ts
K (t s) ( x y ) F ( y , s )=
R
u2 ( x , t )=
( 6.3 .3.13 )
K 1 ( z) F ( x +2 z ts , s) dzds.
0 RN
x+ 2 z ts , s
h ( x , z ,t , s )=K 1 (z) F ), es continuo en
El integrando,
x , z RN
0< s<t
verificando
x h( x , z , t , s) es continuo y que
adems que
|h ( x , z ,t , s )|=|k 1 ( z ) F ( x+ 2 z ts , s )|
e|x|
N /2
|F ( y , )|,
( y , ) R N [ 0, T )
(6.3.3.14
)
Siendo tambin
| x h ( x , z ,t , s )|
|z|e|z|
|F ( y , )|
N
N/2
(
y
,
R
[ 0, T )
2
2
K 1 ( z) . Es decir, tanto
6.3 .3.15
g ( x , t , s )= K 1 (z) F( x , 2 z ts , s) dz
R
(2.3.3.16
)
RN , ms concretamente.
|g ( x , t , s )| M =( y , ) RN [ 0,T )|F ( y , )| .
s t , resulta
g ( x , t , t )=F( x , t) .
u2 C(R [ 0, T ))
u2 ( x , 0 )=0
La funcin
u2 es acotada, siendo
|u ( x , t )| MT
( y , ) RN [ 0,T ) 2
u2 tiene derivadas primeras continuas verificndose
t
u 2
1
1
F
( x , t ) = N /2
ds e|z|
( x+ 2 z ts , s ) dzds .
xi
0 ts
i
R
2
(2.3.3.17
)
Por (2.3.3.15) se puede demostrar que es posible que es posible derivar la expresin (2.3.3.17)
obtenindose que
continuas en
R (0, T )
y en particular se verifica
u2 ( x , t )=
N /2
ds e|z| z i F ( x +2 z ts , s ) dzds
1
ts
2
(2.3.3.18
)
escribimos
u 2 ( x ,t +k ) u2 ( x , t )
=
k
t +k
g ( x , t+ k , s )g( x ,t , s)
1
g(x , t+ k , s)ds+
ds I 1 ( k )+ I 2 (k )
k t
k
0
(2.3.3.19
)
k0
la funcin
g( x ,t , s)
respecto a
x , adems
gt ( x , t , s ) =
1
N /2
ya que
F
e|z|
( x +2 z ts , s ) dz
x
ts
2
I 2 ( k ) =
N /2
(2.3.3.20
)
lim
k 0
u2
verifica la ecuacin
u 2
= u2+ F ,
t
Como se quera demostrar.
incluir trminos en los que slo aparece un nmero par de derivadas. Esto no es as en el caso
de la ecuacin del calor. Por otra parte, la frmula de dAlembert para la solucin de la ecuacin
de ondas es tambin perfectamente reversible en tiempo. En particular, predice que las
Conservacin de energa.
Las diferencias antes mencionadas se observan tambin el comportamiento temporal de la
energa de las soluciones.
En efecto mientras que en la ecuacin de ondas de energa
E (t)=
1
[u2t ( x , t ) +u2x (x , t)]dx
2R
e ( t )=
1
u2 dx
2R
1
1
u ( x , t )= [ f ( x+ t ) + g ( xt ) ] + g ( s ) ds
2
2 xt
(x , t)
[xt , x+t ]
depende
denominado
dominio de dependencia.
Del mismo, el valor de los datos iniciales en el punto
exclusivamente en el cono:
|xx 0|t
x0
en el instante
t=0
se perciben
propagacin sea infinita de modo que una perturbacin del dato inicial en cualquier punto es
instantneamente percibida en todos los puntos de la recta real.
Autoevaluacin
Para reforzar los conocimientos relacionados con los temas que se abordaron en esta unidad
del curso, es necesario que resuelvas la autoevaluacin.
2. Lee las instrucciones y resuelve los problemas que se plantean, tomando en cuenta el
contenido de la unidad.
3. .Guarda y enva tu reporte al portafolio de evidencias con la nomenclatura
MEDP1_U1_EA_XXYZ.
4. Enva tu reporte al portafolio de evidencias y espera la retroalimentacin de tu
Facilitador(a). Una vez que la tengas, atiende sus comentarios y reenva la nueva versin
de tu evidencia.
Nota: No olvides consultar la Escala de evaluacin para conocer los criterios con que ser
evaluado tu trabajo.
Autorreflexiones
Como parte de cada unidad, es importante que ingreses al foro Preguntas de autorreflexin y
leas los cuestionamientos que formul tu Facilitador(a), ya que a partir de ellos debes elaborar
tu Autorreflexin y enviarla mediante la herramienta Autorreflexiones. No olvides que tambin
se toman en cuenta para la calificacin final.
Para saber ms
Para una mejor comprensin de los resultados de esta Unidad se recomienda revisar algunos
temas relacionados con:
1. Transformaciones lineales de matrices y reduccin a la forma cannica con aplicaciones
a formas cuadrticas para lo que pueden consultarse los textos:
a. David XC. Lay, Linear Algebra and its applications, Addison Wesley 1994.
b. Gene H. Golub, Charles F. van Loan, Matrix Computation, Third Ed. John
Hopkins Univ. Press, 1996.
2. Teora elemental de curvas y superficies con resultados bsicos de las integrales de
lnea, superficie y volumen, que pueden consultarse en la Parte 2 del libro:
a. Tom Apostol, Calculus T. 2, 2nd Ed. John Wiley, 1969.
3. El Teorema de Cauchy - Kovalevskaya sobre la existencia y el Teorema de unicidad de
Holmgrem para la solucin del problema de Cauchy para ecuaciones con coeficientes y
datos analticos sobre una superficie analtica no caracterstica, que se pueden consultar
en:
a. Fritz John, Partial Differencial Equations, Third Ed. Serie Applied Math. Sciences
1, Springer Verlag, 1978.
Referencias bibliogrficas
Kurmyshev, E.V. (2003). Fundamentos de mtodos matemticos para fsica e ingeniera.
Mxico. Editorial Limusa.
Mauch, S. (2003). Introduction to Methods of Applied Mathematics or Advanced Mathematical
Methods
for
Scientists
and
Engineers.[Versin
electrnica]
Recuperado
de
http://maji.utsi.edu/courses/06_690_perturbations_2/ref_math_advmathmethods_sean_mauch.p
df