UNIVERSIDAD NACIONAL DEL CALLAO

FACULTAD DE CIENCIAS NATURALES Y MATEMATICA

ESCUELA PROFESIONAL DE MATEMATICA

INFORME FINAL DE PRACTICA

PRE-PROFESIONAL

MODALIDAD DE INVESTIGACION

TITULO: EXISTENCIA LOCAL DE SOLUCIONES DEBILES

ABSTRACTA DE LA ONDA CON
PARA LA ECUACION

TERMINO
DISIPATIVO

AUTOR: GIAN MARCOS MALDONADO RUIZ

CODIGO:
082993J

ASESOR: Mg. DIONICIO ORLANDO MORENO VEGA

No : 023-2013-CD-EPM-FCNM
RESOLUCION

SEMESTRE ACADEMICO:
2013-A
BELLAVISTA-CALLAO
2013

A mis padres:
Marcos Maldonado Alvarado
Milagritos Ruiz Ruiz
A mis hermanos:
Jose, Arturo y Marcos.

Agradecimientos
Al concluir este trabajo, que presento como practica pre-profesional en la modalidad de investigacion en matematica, deseo manifestar mi gratitud:
A Dios, esencia de mi ser y primera causa del exito logrado en mas de una
etapa de mi existencia.
Al profesor Mg. Dionicio Orlando Moreno Vega, por haber sido un excelente
orientador, mas tambien, un verdadero amigo y un maestro en los consejos,
comprendiendo muy bien la relacion profesor - alumno. Agradesco, tambien
por la confianza dada, acreditando siempre en mi trabajo, por la paciencia
y exigencia necesarios; por la enorme contribucion, sin la cual este trabajo
no sera realizado. En fin, por el excelente trabajo de orientacion.
A mi familia, por el apoyo e incentivo, estimulandome a estudiar siempre.
A mis padres y hermanos por su cari
no y apoyo incondicional.
Al profesor Lic. Lenin Rolando Cabracancha Montesinos, por acreditar en
mi trabajo, incentivarme y participar en mi desenvolvimiento, auxiliandome
siempre en la contribucion de mi trabajo.
A mis compa
neros de curso y amigos de la Facultad de Ciencias Naturales
y Matematica de la Universidad Nacional del Callao.

iii

A. DATOS GENERALES
A1. DATOS DEL ESTUDIANTE
APELLIDOS Y NOMBRES

: Maldonado Ruiz Gian Marcos

CODIGO

: 082993J

INSTITUCION

: Universidad Nacional del Callao

FACULTAD

: Ciencias Naturales y Matematica

ESCUELA ACADEMICA
PROFESIONAL : Matematica

SEMESTRE ACADEMICO

: 2013-A

TITULO

: Existencia Local de Soluciones Debiles

para la Ecuacion Abstracta de la
Onda con Termino Disipativo

A2. DATOS DEL PROFESOR ASESOR

APELLIDOS Y NOMBRES

: Moreno Vega Dionicio Orlando

CODIGO

: 1387

CATEGORIA Y DEDICACION

: Auxiliar, Tiempo Completo

CONDICION

: Nombrado

ESPECIALIDAD

: Matematica

FACULTAD

: Ciencias Naturales y Matematica

A3. DATOS DE LA INSTITUCION

INSTITUCION

: Universidad Nacional del Callao

DIRECCION

: Av. Juan Pablo II 306, Bellavista-Callao

TELEFONO

: (051) 429 9740 - 429 9748

iv

B. CRONOGRAMA DE ACTIVIDADES REALIZADAS

DURACION

: Abril 2013 - Julio 2103

HORARIOS DE PERMANENCIA : Jueves - 2 horas (2 p.m. - 4 p.m.)

ACTIVIDADES REALIZADAS

: Se realizaron las siguientes activida-

des.
Reuniones semanales sobre el proyecto de investigacion bajo la asesora
del Mg. Dionicio Orlando Moreno Vega.
Se recopilo informacion sobre antecedentes tecnicos relacionado al proyecto.
B
usqueda de informacion en bibliotecas de otras universidades.
B
usqueda de nformacion en internet.
Exposiciones semanales sobre los avances del proyecto.
CRONOGRAMA ANALITICO SEMANAL

REVISION
DE BIBLIOGRAFIA Y RECOLECCION
DE IN
FORMACION
SEMANA 1: Revision de bibliografa.
SEMANA 2: Recoleccion de informacion.
DESARROLLO DEL TRABAJO
SEMANA 3: Revisar algunos resultados, lemas y teoremas de Ecuaciones
Diferenciales Ordinarias.
SEMANA 4: Revisar algunos resultados, lemas y teoremas de Ecuaciones
Diferenciales Parciales.
SEMANA 5: Estudiar los resultados, teoremas y propiedades de los espacios funcionales LP p0, T ; Xq vectoriales.
v

SEMANA 6: Investigar acerca de la existencia y unicidad de soluciones

de una ecuacion diferencial parcial de evolucion.
SEMANA 7: Determinar y encontrar las estimativas requeridas.
SEMANA 8: Realizar el pasaje a lmite de las soluciones aproximadas.
SEMANA 9: Demostrar la existencia local de soluciones.
SEMANA 10: Realizar la verificacion de los datos iniciales.
SEMANA 11: Mostrar la unicidad de las soluciones.

ANALISIS
DEL TRABAJO
SEMANA 12: Analisis de los resultados obtenidos.
SEMANA 13: Aporte de nuestros resultados.
SEMANA 14: Discusiones y conclusiones de nuestros resultados.
FINAL Y EXPOSICION
DEL INFORME
REDACCION
SEMANA 15: Redaccion final.
SEMANA 16: Exposicion del informe.

Descripcion-Semanas

Revision de bibliografa

Analisis de informacion
Desarrollo del trabajo

9 10 11 12 13 14 15 16

Analisis del trabajo

x
x

Redaccion final

x
x

Exposicion del informe

C. CARACTERISTICAS DEL TRABAJO

Las caractersticas del trabajo se presentaran a continuacion.

vi

Indice
Resumen

ix

Introducci
on

1. Preliminares

1.1. Ecuacion diferencial parcial . . . . . . . . . . . . . . . . . . . . .

1.2. Los espacios Lp pq . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Espacio de las Funciones de Prueba . . . . . . . . . . . . . . . . .

1.4. El espacio de Distribuciones . . . . . . . . . . . . . . . . . . . . .

1.4.1. Convergencia en D1 pq . . . . . . . . . . . . . . . . . . . .

10

1.4.2. La derivacion en D1 pq . . . . . . . . . . . . . . . . . . . .

10

1.5. Espacios de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . .

10

1.5.1. El espacio dual de H0m pq . . . . . . . . . . . . . . . . . .

12

1.6. Distribuciones en espacios de Banach . . . . . . . . . . . . . . . .

13

1.7. Los Espacios Funcionales Lp p0, T ; V q . . . . . . . . . . . . . . . .

14

1.8. Distribuciones Vectoriales . . . . . . . . . . . . . . . . . . . . . .

16

1.8.1. Derivacion en D1 p0, T ; V q . . . . . . . . . . . . . . . . . . .

17

1.9. Definiciones de Convergencias . . . . . . . . . . . . . . . . . . . .

18

1.10. Resultados Importantes . . . . . . . . . . . . . . . . . . . . . . . .

18

1.10.1. Operadores lineales . . . . . . . . . . . . . . . . . . . . . .

18

1.10.2. El espacio dual . . . . . . . . . . . . . . . . . . . . . . . .

19

vii

1.10.3. Operador Hilbert Adjunto . . . . . . . . . . . . . . . . . .

20

1.10.4. Formas bilineales . . . . . . . . . . . . . . . . . . . . . . .

21

2. Soluciones D
ebiles

25

2.1. Problema Aproximado . . . . . . . . . . . . . . . . . . . . . . . .

26

2.2. Estimativas a Priori . . . . . . . . . . . . . . . . . . . . . . . . . .

32

2.2.1. Primera Estimativa a Priori . . . . . . . . . . . . . . . . .

32

2.2.2. Segunda Estimativa a Priori . . . . . . . . . . . . . . . . .

35

2.3. Pasaje al Lmite . . . . . . . . . . . . . . . . . . . . . . . . . . . .

36

2.4. Verificacion de los Datos Iniciales . . . . . . . . . . . . . . . . . .

40

2.4.1. Verificacion de up0q u0 . . . . . . . . . . . . . . . . . . .

40

2.4.2. Verificacion de u1 p0q u1 . . . . . . . . . . . . . . . . . . .

41

2.5. Unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

42

Resultados

44

Conclusiones

46

Bibliografa

47

viii

Resumen
En este trabajo estudiaremos la existencia local y unicidad de soluciones debiles
para una ecuacion diferencial parcial hiperbolica de evolucion de tipo de onda no
homogenea de la forma:

2
u ` Au ` u1 f en H

up0q u0
en V

1
u p0q u1
enH

Los resultados de existencia de soluciones para datos iniciales u0 P V , u1 P H suficientemente peque

no son obtenidos aplicando el metodo de Faedo - Galerkin;
donde:
V un espacio de Hilbert separable real, cuyo producto interno es representado por pp, qq y la norma } }.
H un espacio de Hilbert separable real, cuyo producto interno es representado por p, q y la norma | |.
V H denso y una inmersion V en H compacta y continua.
Identificando H con su dual H 1 , obteniendose V H H 1 V 1 .
un subconjunto abierto y acotado bien regular de Rn de frontera .
A : V V 1 un operador lineal, acotado, autoadjunto, simetrico y coercivo.
ix

f P L2 p0, T ; Hq acotado.
Palabras Claves: Ecuacion de onda, metodo de Faedo - Galerkin, Teorema de
Caratheodory, Existencia de soluciones debiles.

Introducci
on
El presente trabajo es un proyecto de investigacion realizado en la Facultad de
Ciencias Naturales y Matematica bajo la asesora del Mg. Dionicio Orlando Moreno Vega.
Diversas ecuaciones diferenciales parciales de evolucion de segundo orden son
estudiadas en ciencias como en ingenieria, tales como:

Considerando:

u2 ` u ` u1 f px, tq en Q s0, T r
u0

en s0, T r

upx, 0q u0 pxq

en

u1 px, 0q u1 pxq

(1)

en

un subconjunto abierto y acotado bien regular de Rn de frontera .

1
V H0 pq con producto interno ppu, vqq
uvdx `
uvdx y la

1{2

2
2
norma }u}
|u| dx ` |v| dx
.

H L pq con producto interno pu, vq

1{2
2
|u| dx
.

A .
f P L2 p0, T ; L2 pqq: u0 P H01 pq, u1 P L2 pq.
1

uvdx y la norma |u|

Tambien

Considerando:

u2 ` 2 u ` u1 f px, tq en s0, T r
u0

en

upx, 0q u0 pxq

en

u1 px, 0q u1 pxq

(2)

en

un subconjunto abierto y acotado bien regular de Rn de frontera .

Hp; q tv P L2 pq; v P L2 pqu con producto interno

1{2

2
2
ppu, vqq uvdx` uvdx y la norma }u}
|u| dx ` |u| dx
V

H L2 pq con producto interno pu, vq

1{2
2
|u|
|u| dx

uvdx y la norma

A 2
f P L2 p0, T ; L2 pqq; u0 P H01 pq, u1 P L2 pq
y muchos otros modelos, por lo que estamos interesados en proporcionar un modelo abstracto que abarque todas las situaciones anteriores.
Motivados por esto estudiaremos la ecuacion abstracta:

2
u ` u ` u1 f en H

upx, 0q u0 pxq
xPV

1
u px, 0q u1 pxq
xPH

(3)

Considerando las hipotesis antes mencionadas se demuestra la existencia local

de soluciones debiles de 3, empleando el metodo de Faedo - Galerkin, lo cual
consiste en hallar soluciones para aproximarlas, luego se hallan las estimativas
correspondiente, su pasaje al lmite, se verifican sus condiciones iniciales y por
u
ltimo su unicidad.
2

Captulo 1
Preliminares
Con la finalidad de obtener un mejor entendimiento de la exposicion, presentamos
a continuacion algunos conceptos y resultados importantes en el desarrollo del
trabajo.

1.1.

Ecuaci
on diferencial parcial

Una ecuacion diferencial parcial (EDP) es una ecuacion matematica envolviendo

derivadas parciales, sea una expresion de la forma:

Bu B 2 u
Bmu
F x1 , , xn , u,
0
,
, ,
Bxi Bxi Bxj
Bxi1 Bxim

(1.1)

Donde x px1 , , xn q pertenece a alg

un dominio Rn y u : R es una
funcion con derivadas hasta el orden m cuando la derivada parcial de orden mas
alto tiene orden m. Una de las distinciones mas fundamentales entre ecuaciones
diferenciales es aquella entre ecuaciones lineales y no lineales.
Definici
on 1.1. Decimos que la EDP (1.1) es lineal si F es lineal en relacion a
u y a todas sus derivadas parciales, caso contrario, la EDP es no lineal.
3

Dependiendo del tipo de la no linealidad, las EDP1 s no lineales son clasificadas

de la siguiente forma:
1. Ecuaciones semilineales: Cuando F es no lineal solamente con relacion a u
pero es lineal con relacion a todas sus derivadas parciales.
2. Ecuaciones cuasilineales: Cuando F es lineal solamente con relacion a las
derivadas parciales del orden de la ecuacion.
3. Ecuaciones totalmente no lineales: Cuando F es no lineal con relacion a las
derivdas parciales del orden de la ecuacion.
En la tabla siguiente, algunos ejemplos importantes de EDP1 s y clasificacion:

NOMBRE

ECUACION

TIPO

Ecuacion del transporte

u t ` ux 0

Primer orden, lineal

Ecuacion de burgers

ut ` uux 0

Primer orden, cuasilineal

Ecuacion eikonal

|u| 1

Ecuacion de Laplace

u 0

Segundo orden, lineal

Ecuacion de Poisson

u f pxq

Segundo orden lineal

Ecuacion de Helmholtz

u u

Segundo orden, lineal

Ecuacion del calor

ut u

Segundo orden, lineal

Ecuacion de la onda

utt u

Segundo orden, lineal

iut ` u vpxqu

Segundo orden, lineal

Ecuacion de Klein - Gordon

utt u m2 u

Segundo orden, lineal

Ecuacion del telegrafo

utt ` 2dut uxx

Segundo orden, lineal

Ecuacion de Poisson no lineal

u f puq

Segundo orden, semilineal

Ecuaccion de reaccion-difusion

ut u ` f puq

Segundo orden, semilineal

Ecuacion de Yamabe

u Kpxqu

Segundo orden, semilineal

Ecuacion de Burgers (viscosa)

ut ` uux Vuxx

Ecuacion de Schrodinger

1er. orden, totalm. no lineal

n`2
n2

Segundo orden, cuasilineal

Ecuacion del p-Laplaciano

Ecuaci
on de la superficie mnima

Ecuacion de Monge - Ampere

divp|u|p2 uq 0

u
ut div ?
0
2
1`|u|

Ecuacion de Airy
Ecuaci
on de Korteweg-de Vries (kdv)

Segundo orden, cuasilineal

Segundo orden, cuasilineal

detpD2 uq f

Seg. orden, totalm. no lineal

utt ` uxxx 0

Tercer orden, lineal

ut ` uux ` uxxx 0

Tercer orden, cuasilineal

2 u 0

Cuarto orden, lineal

utt 2 u

Cuarto orden lineal

Ecuacion biharmonica
Ecuaci
on de vibraci
on de la placa

La mayora de las ecuaciones diferenciales parciales surgen de modelos fsicos,

una parte importante surge de problemas en Geometra Diferencial.

1.2.

Los espacios Lppq

Construyamos los elementos de Lp pq.

Sea un subconjunto abierto de Rn , p P R con 1 p 8, denotaremos

"

L pq u : R medible;

|upxq| dx `8 ,

el cual es un espacio vectorial con las operaciones usuales de funciones.

Definimos el funcional:
} }Lp pq : Lp pq R
u

}u}Lp pq

|upxq| dx

p1

Resulta que }u}Lp pq es una seminorma. Se dice que u v casi siempre en si y

solo si existe M tal que:
upxq vpxq; @x P zM y medpM q 0.
5

Para obtener una norma se define una relacion de equivalencia R:

Sea
u, v P Lp pq; uRv u v c.s. en
Denotaremos por Lp pq el espacio cociente
Lp pq

Lp pq
trus; u P Lp pqu,
R

el cual es un espacio de Banach con la norma

p1
p
|rus|Lp pq
|upxq| dx ; u P Lp pq.

Observaci
on 1.1. Si u P L pq; rus u implica que u P Lp pq.

Es decir
}u}Lp pq |rus|Lp pq
Cuando p 2, L2 pq es un espacio de Hilbert con el producto interno

pu, vq upxqvpxqdx; u, v P L2 pq

su norma inducida sera denotada por

12
2
}u}L2 pq
|upxq| dx ; u P L2 pq

Se define para p 8
L8 pq tu : R; medible y existe una constante c 0 tal que |upxq| C c.t.p. en u,
provista de la norma
}u}L8 nf tC 0, |upxq| C c.t.p. en u,
xP

Si definimos el supremo esencial como

supessxP |upxq| nftC 0, |upxq| C c.t.p. en u,
tendremos que,
}u}L8 supessxP |upxq|; u P L8 pq.
6

Observaci
on 1.2. Sea 1 p `8, se designa por q el exponente conjugado
de p, es decir,

1
p

1
q

1.

Teorema 1.1 (Desigualdad de Holder). Sean u P Lp pq y v P Lq pq con 1

p 8. Entonces
1

u.v P L pq y

|upxqvpxq|dx }u}Lp }v}Lq

Demostraci
on. Ver H. Brezis [2].

Teorema 1.2 (Desigualdad de Minkonwsky). Sean u P Lp pq y v P Lq pq con

1 p 8. Entonces
}u ` v}Lp }u}Lp ` }v}Lq
Demostraci
on. Ver Adams [1].

Teorema 1.3. Lp pq es un espacio de Banach para todo 1 p 8.

Demostraci
on. Ver H. Brezis [2].

Teorema 1.4. Lp pq es separable y reflexivo para todo 1 p 8.

Demostraci
on. Ver H. Brezis [2].

Sean V y W espacios de Banach con V W como subespacio vectorial (probablemente con normas diferentes). Si la aplicacion de inclusion
i:V W
es continua, denotamos V W decimos que V tiene inmersion continua en W .
Esto es equivalente a si existe C 0 tal que:
}u}W C|u|v , @u P V,
Teorema 1.5. Sea Rn abierto acotado con 1 p q 8. Entonces
1

Lq pq Lp pq y }u}Lp pq }u}Lq pq pmedpqq p q

7

Demostraci
on. Ver R. Adams [1].

Teorema 1.6 (Representacion de Riesz para Lp pq). Sea 1 p 8 y T P

1

rLp pqs1 . Entonces existe v P Lp pq tal que para todo u P Lp pq

T puq upxqvpxqdx

y
}v}p1 }T }rLp pqs1
As: rLp pqs1 Lp1 pq.
Demostraci
on. Ver R. Adams [1].

Teorema 1.7 (Representacion de Riesz para L1 pq). Sea T P rL1 pqs1 . Entonces
existe v P L8 pq tal que para todo u P L1 pq

T puq upxqvpxqdpxq

y
}v}8 }T }rL1 pqs1 .
As: rL1 pqs1 L8 pq.
Demostraci
on. Ver R. Adams [1].

Definici
on 1.2 (Soporte de funciones). Sea Rn y u : R, el soporte de
u (en ) es el conjunto
soppuq tx P ; upxq 0u.

1.3.

Espacio de las Funciones de Prueba

Sea un subconjunto abierto de Rn , : R. Diremos que tiene soporte

compacto en , si soppq es un conjunto de . Con C08 pq, denotamos el espacio
8

vectorial de funciones infinitamente diferenciables en con soporte compacto en

. As
C08 pq t : R; u es infinitamente diferenciables y soppq compacto u.
Observaci
on 1.3. Un multindice de dimension n es una n-upla de n
umeros
enteros no negativos p1 , . . . , n q, el modulo del multindice sera denotado
n

i , dado x px1 , . . . , xn q P Rn , por D representamos el operador

por ||
i1

diferencial de orden ||, definido por:

D

D||
Bx1 1 Bx2 2 Bxnn

cuando 0, definimos: D0 .
Definici
on 1.3. Sea la sucesion p q1 C08 pq. Diremos que converge a
en C08 pq; denotando , 8, si:

i) Existe un compacto K tal que soppv q K, @v P N.

ii) D pv q converge uniformemente a cero en K, @ p1 , . . . , n q P Nn ,
es decir,
sopxPK |D v pxq D pxq| 0
Luego el espacio vectorial C08 pq, dotado de esta convergencia es llamado el
el espacio de las Funciones de Prueba, el cual es denotado con Dpq.
Dpq t : R; P C08 pq y soppqu es compacto .

1.4.

El espacio de Distribuciones

Una distribucion T : Dpq R es una aplicacion lineal y continua (en el sentido

de la convergencia Dpq), donde es un abierto de Rn , es decir,

i) T p ` q T pq ` T pq
9

ii) Si p q Dpq, P Dpq tal que entonces T p q T pq (T es

continua).
El espacio de distribuciones es denotado con D1 pq, en consecuencia:
D1 pq tT : Dpq R; T es lineal y continuau
Notaci
on 1.1. Si T P D1 pq, denotamos T pq xT, y; P Dpq.

1.4.1.

Convergencia en D1 pq

Diremos que pT q D1 pq converge a T P D1 pq, es decir, T T en D1 pq si,

y solo si xT , y xT, y en R, @ P Dpq.

1.4.2.

La derivaci
on en D1 pq

Consideremos una distribucion T P D1 pq, P Nn , la derivada de orden de T

es definida como una funcional lineal D T definido en Dpq por
xD T, y p1q|| xT, D y , @ P Dpq
Nota 1.1. Existen funcionales en Lp pq cuyas derivadas debiles no provienen de
ninguna funcion de Lp pq.

Tal hecho motiva la definicion de una clase significativa de espacios de Banach

de funciones, conocidos con el nombre de los espacios de Sobolev.

1.5.

Espacios de Sobolev

Sean m, p P N, definimos el espacio

W m,p pq tu P Lp pq; D u P Lp pq, @ || mu.
(D u en el sentido distribucional)
10

Para p 2, se denota W m,2 pq H m pq, es decir

H m pq tu P L2 pq; D u P L2 pq, @ || mu.
Llamado el espacio de Sobolev (de orden n); con las operaciones usuales (de
clases) de funciones es un espacio vectorial.
Definimos la bilineal:
pp , qqH m pq : H m pq H m pq R
pu, vq ppu, vqq

||m

D uD vdx

es un producto interno en H m pq, que induce la norma

12

|D u|2L2 pq
}u}H m pq
||m

H m pq es un espacio de Hilbert, como se puede ver en L. Medeiros - Milla [10].

}}H m pq

Observaci
on 1.4. Dpq

H m pq por lo que definimos

}}H m pq

H0m pq Dpq

H m pq

que por definicion es un subespacio vectorial cerrado. As u P H0m pq si y solo si

existe una sucesion p q1 Dpq tal que u en H m pq.

Teorema 1.8 (Teorema de Poincare-Friederick). Sea Rn abierto acotado.

Entonces existe C 0 tal que
|u|L2 pq

Bu

Bxi

i1

L2 pq

12

, @u P H01 pq

Demostraci
on. Ver H. Brezis [2]

Observaci
on 1.5. Se prueba del teorema 1.8 que existen constantes C0 , C1 positivas tal que:
C0 |u|H 1 pq |u|L2 pq C1 |u|H 1 pq , @u P H01 pq
11

1.5.1.

El espacio dual de H0m pq

Sea Rn abierto acotado n P N, n 1, el espacio dual de H0m pq es el espacio

H m pq pH0m pqq1 tT : H0m pq R; T es lineal y continuau.
Con las operaciones usuales de funciones H m pq es un espacio vectorial, con el
funcional:
|T pvq|
vPH0m pq |v|H0m pq

|T |H m pq supess
v0

resulta que H

pq es un espacio normado completo (es un espacio de Banach).

Nota 1.2. T P H m pq denotamos xT ; vy T pvq.

Observaci
on 1.6. El espacio de Sobolev W m,p pq es de Banach con la norma
p1

|D u|pLp pq , @ u P W m,p pq.

|u|W m,p pq
||m

Observaci
on 1.7.

Dpq H0m pq L2 pq H m pq D1 pq
Teorema 1.9 (Meyer-Serrin).
W m,p pRn q W0m,p pRn q
Demostraci
on. Ver R. Adams [1].

Teorema 1.10 (Inmersiones de Sobolev). Sea Rn abierto acotado, bien

regular. Entonces valen las siguientes inmersiones continuas:
i) Si n 2m entonces H m pq Lp pq, 2 p

2m
n2m

ii) Si n 2m entonces H m pq Lp pq, 2 p `8

iii) Si n 2m entonces H m pq C k pq, k m 1
Demostraci
on. Ver E. Zeidler [15].

n
2


12

1.6.

Distribuciones en espacios de Banach

Sea X un espacio de Banach, T 0.

Definici
on 1.4. Decimos que u :s0, T r X es una funcion simple (funcion escalon), si:
uptq

j1

Ai ptqxi ,

donde xi P X, i 1, 2, , m y Ai es la funcion caracterstica del conjunto

medible seg
un Lebesgue.
Definici
on 1.5. Decimos que u :s0, T r X es una funcion medible Bochner, si
existe pun qPN una sucesion de funciones simples tal que:
lm |un ptq uptq|X 0, c.t.p en s0, T r

n8

Definici
on 1.6. Dada la funcion simple
u : s0, T r X
u

uptq

j1

Ai ptqxi

Definimos la integral de Bochner de u mediante la relacion:

T
m

xi med Ai P X
uptqdt
0

j1

Definici
on 1.7. Decimos que u :s0, T r X es de Bochner integrable, si existe
una sucesion de funciones simples pun qnPN tal que:
i) La aplicacion t }un ptq uptq}X es Lebesgue integrable @ n P N.
T
ii) Si lm
|un ptq uptq|X dt 0.
n8

13

1.7.

Los Espacios Funcionales Lpp0, T ; V q

Sea 1 p `8 y V un espacio de Banach separable (esto por cuestiones

tecnicas). Definimos el espacio:
$
& u :s0, T r V ; u es medible de Bochner y
p
L p0, T ; V q
%
t }uptq}V P Lp p0, T q
$

& u :s0, T r V ; u es medible de Bochner y

T

%
}uptq}PV 8
0

,
.

,
/
.
/
-

con las operaciones usuales a clases de funciones Lp p0, T ; V q es un espacio vectorial.

Luego el funcional:
}u}Lp p0,T ;V q

T
0

}uptq}pV dt

p1

en Lp p0, T ; V q define una norma, para 0 p 8 resulta que pLp p0, T ; V q; }u}Lp p0,T ;V q q
es un espacio de Banach.
As mismo para p 2, y V es un espacio de Hilbert. Entonces L2 p0, T ; V q es un
espacio de Hilbert, con el producto interno
T
puptq, vptqqV 1V dt.
pu, vqL2 p0,T ;V q
0

Esta bien definido, puesto que t puptq, vptqq es Lebesgue medible y

T
T
}uptq}V }vptq}V dt
puptq, vptqqV 1 V dt
0
0
T
T
1
1
2
}uptq}V dt `
}vptq}2V dt 8

0 2
0 2
la cual induce la norma BOCHIANA (de Bochner)
}u}L2 p0,T ;V q

T
0

14

}uptq}2V dt

12

Para el caso p `8 definimos:

$

& u :s0, T r V ; u es medible de Bochner y

8
L p0, T ; V q

}u}L8 supess|uptq|V 8
%
tPs0,T r

,
/
.
/
-

El cual con las operaciones usuales es un espacio de Banach con la norma

}u}L8 p0,T ;V q supess|uptq|V
tPs0,T r

Nota 1.3. En ambos casos Lp p0, T ; V q es un espacio de Banach.

Teorema 1.11. Si V es un espacio de Banach, y 0 T 8. Entonces Lp p0, T ; V q
es separable en el caso que V sea separable y 1 p 8.
Demostraci
on. Ver E. Zeidler [15].

Teorema 1.12. Sean V, H dos espacios de Banach, si la inmersion V H

es continua. Entonces para todo 1 q p 8, la inmersion Lp p0, T ; V q

Lq p0, T ; Hq es tambien continua.

Demostraci
on. Ver E. Zeidler [15].

Teorema 1.13. Si V es un espacio de Banach, el espacio dual de Lp p0, T ; V q es

1 1
isomorfo al espacio Lq p0, T ; V 1 q donde ` 1 y 1 p, q 8.
p q
Demostraci
on. Ver E. Zeidler [15].

Mayores detalles sobre los espacios Lp p0, T ; V q pueden ser encontrados en el libro
de E. Zeidler [15].

15

1.8.

Distribuciones Vectoriales

Sea u P Lp p0, T ; V q, 1 p `8, donde V es un espacio de Banach definimos la

aplicacion
Tu : Dp0, T q V
Tu pq xTu , y

uptqptqdt.

en el sentido de Bochner
La cual esta definida, es lineal y continua.
i) Tu esta bien definida
Veamos:
| xTu , y |

0t

|uptqptq|dt

}uptq}V |ptq|dt

max|ptq|
}uptq}V dt

tPK

CK
CK

Ksoppq

t
0

t
0

}uptq}V dt
1
p1

p1q dt
1

t
0

}uptq}V dt

p1

, para 1 p `8

CK pT q p1 }u}Lp p0,T ;V q `8
ii) Tu es lineal y continua.
Tu es lineal; en efecto, por la linealidad de la integral
Veamos la continuidad de Tu
Sea la sucesion pv qv1 Dp0, T q tal que v 0 en Dp0, T q.
Es decir:
Existe K r0; T s compacto tal que soppv q K, @ v 1
16

D v 0 uniformemente en K @ v P N
se tiene que
T

| xTu , v y | uptqv ptq dt

0
t
|uptq||v ptq|dt

max|v ptq|
}uptq}V dt
tPK

1
p1

pT q }u}Lp p0,T ;V q max|v ptq| 0

tPK

puesto que }u}Lp p0,T ;V q 8 y D v 0 uniformemente en K.

Por lo tanto | xTu , v y | 0 en R
puesto que }u}Lp p0,T ;V q 8 y D v 0 uniformemente en K
por lo tanto | xTu , v y | 0 en R
Luego Tu es continua.
As podemos construir el espacio:
D1 p0, T ; V q tT : Dp0, T q V ; T es lineal y continuau
donde D1 p0, T ; V q es llamado el espacio de las distribuciones vectoriales con valores en V definidas sobre s0; T r.

1.8.1.

Derivaci
on en D1 p0, T ; V q

Dada una distribucion vectorial u P D1 p0, T ; V q, definimos la derivada en el sentido de las distribuciones vectoriales, denotando por u1 o du como:
dt
B
F
B
F
du
d
, u,
@ P Dp0, T q, en V.
dt
dt
en general la derivada de orden nse define como:
B
F
F
B pnq
dpnq
d puq
n
@ P Dp0, T q, en V.
, p1q u,
dtn
dtn
17

En particular todo elemento u P Lp p0, T ; V q posee derivada de todos los ordenes

en el sentido de las distribuciones vectoriales sobre s0; T r.

1.9.

Definiciones de Convergencias

Sea V un espacio de Banach y V 1 su espacio dual.

1. Una sucesion pu q1 V , se dice que converge fuertemente en V , si existe
uPV;
|u u|V 0, si `8
2. Una sucesion pu q1 V , converge debilmente en V , si existe u P V tal
que
xv, u yV 1V ; @ v P V 1
en este caso denotaremos u u.
3. Una sucesion pu q1 V 1 , converge debil estrella en V 1 , si existe u P V 1 ;
xu , wyV 1 V xu, wyV 1 V ; @ w P V

en este caso se denota u u.

1.10.

Resultados Importantes

1.10.1.

Operadores lineales

Sean E y F dos espacios vectoriales normados, se designa con LpE, F q el espacio

de operadores lineales y continuos de E en F .
As
LpE, F q tT : E F ; T es lineal y continuau

18

con las operaciones usuales de un espacio vectorial, con el funcional:

|Tx |F
xPE |x|E

|T |LpE,F q sup
x0

resulta que pLpE, F q; | |LpE,F q q es un espacio de normado.

En el caso en que E F , denotaremos LpE, F q LpEq.
Observaci
on 1.8.
i) Si T : E F es una aplicacion acotada entonces @ A E acotado, T pAq es
acotado en F .
ii) T : E F es lineal y continua si y solo si, existe un M 0 tal que
|Tx |F M |x|E , @ x P E.
Mayores detalles ver H. Brezis [2].

1.10.2.

El espacio dual

Sea E un espacio de normado, se denomina el espacio dual del espacio de normado

de E.
Denotado E 1 a:
E 1 tf : E R; f es lineal y continuau
con el funcional:
| xf, xy |
xPE |x|E

f |E 1 sup
x0

sup| xf, xy |
xPE
x0

Para f P E 1 , denotamos f pxq xf, xyE 1 E .

Teorema 1.14. E 1 es un espacio de Banach.
Demostraci
on. Ver Kosaku Yosida [8].
Observaci
on 1.9. El teorema no exige que E sea un espacio de Banach.
19

1.10.3.

Operador Hilbert Adjunto

Sean H1 y H2 dos espacios de Hilbert, A P LpH1 , H2 q. El operador Hilbert Adjunto

A1 de A es el operador

A1 : H1 H2 tal que pAx, yq px, A1 yq @ x P H1 y y P H2

Teorema 1.15 (Teorema de existencia). El operador Hilbert Adjunto A1 de A
existe y es u
nico. A1 P LpH1 , H2 q, que verifica |A1 | |A|.
Demostraci
on. Ver R.E. Showalter [14]

Definici
on 1.8. Sea H un espacio de Hilbert. Un operador A P LpHq se dice
que es autoadjunto (o hermitiano), si:
A1 A
Definici
on 1.9. Sea H un espacio de Hilbert. Un operador A P LpHq se dice
que es simetrico si:
pAx, yq px, Ayq @ x, y P H
Observaci
on 1.10. Si A es autoadjunto y simetrico tenemos:
pT x, yq px, T 1 yq px, T yq pT y, xq
Definici
on 1.10. Sea H un espacio de Hilbert. Un operador A P LpHq se dice
que es coercivo si:
D c 0, tal que pAx, xq c|x|2 @ x P H
Teorema 1.16. Supongamos que V sea separable, sea A un operador compacto
y autoadjunto, entonces V admite una base hilbertiana formada por lo vectores
propios de A
Demostraci
on. Ver H. Brezis [2]


20

1.10.4.

Formas bilineales

Consideremos el espacio de Hilbert V real, dotado del producto interno pp , qq y

la norma } }, se dice que una forma bilineal a : V V R es:
i) Continua:
si D 0, |apu, vq| }u}}v} @ u, v P V
ii) Coercivo:
Si D 0, apu, uq }u}2 @ u P V
iii) Simetrico:
Si apu, vq apv, uq @ u, v P V
Teorema 1.17. Sea V un espacio de Hilbert real separable. dotado del producto
interno pp , qq y la norma } }, entonces existe una correspondencia uno a uno

con el operador lineal continuo y autoadjunto A : V V 1 y la forma bilineal

a : V V R, continua simetrica y coerciva, la cual es dada por:
xAu, vyV 1 V apu, vq @ u, v P V
Demostraci
on. Ver E. Zeidler [15].

Teorema 1.18 (Teorema Espectral). Sean V y H espacios de Hilbert (V separable) con sus respectivas estructuras tV ; pp , qq, } }u y tH; p , q, | |u con inmersion
V H compacta y densa. Si A : V V 1 es un operador lineal continuo y
autoadjunto, definido
xAu, vyV 1 V apu, vq @ u, v P V
con apu, vq una forma bilineal continua simetrica y coerciva. Entonces
i) Existe un sistema ortonormal completo pwi qiPN formado por los vectores propios del operador del operador A.
21

ii) Los valores propios i asociados a wi forman una sucesi

on no decreciente
0 1 2 3 i 8
y cumple la relacion
apwi , vq xAwi , vyV 1 V i pwi , vq @ u, v P V.
Demostraci
on. Ver E. Showalter [14].

Observaci
on 1.11. Si apu, vq ppu, vqqV cumple las condiciones del teorema
anterior, tenemos
ppu, vqqV xAu, vyV 1 V i pu, vqH @ u, v P H
Sea A : V W un operador lineal, con V, W espacios de Hilbert, entonces las
dos condiciones siguientes son equivalentes
i) A es acotado, si existe una constante 0 tal que
}Au} }u}
ii) A es continua, es decir un u con n 8, implica Aun Au, cuando
n 8.
Teorema 1.19. Sea V, W espacios de Hilbert, si A : V W es lineal y continua
entonces A es debil sucesi
on y continua, es decir un u con n 8, implica.
Aun Au, cuando n 8
Teorema 1.20 (Teorema de Caratheodory). Sea Rn`1 abierto y f : Rn
tal que satisface las siguientes condiciones sobre .
i) f pt, xq es medible en t para cada x fijo.
ii) f pt, xq es continua en x para cada t fijo.
22

iii) Para cada conjunto K compacto de , existe una funci

on real integrable
mK ptq tal que
|f pt, xq|Rn mK ptq, @ pt, xq P K
Entonces el problema

$
& x1 ptq f pt, xq
% xpt q x
0

tiene solucion para cualquier pt0 , x0 q P

Demostraci
on. Ver Coddington-Levinson [4].

Teorema 1.21 (Teorema de Lions-Aubin). Sean B0 , B y B1 espacios de Banach

con B0 y B1 reflexivos, si B0 B1 y la inmersion de B0 en B es compacta,
entonces para todo 1 p0 , p1 8, T 0 se tiene el espacio
W tv; v P Lp0 p0, T ; B0 q, v 1

dv
P Lp1 p0, T ; B1 qu
dt

dotado de la norma
}v}2W r0,T s }v}2Lp0 p0,T ;B0 q ` }v 1 }2Lp1 p0,T ;B1 q
es un espacio de Banach reflexivo y la inmersion W Lp0 p0, T ; Bq es compacta.
Demostraci
on. Ver J. Lions [9].

Lema 1.1 (de Gronwall). Sea z zptq, z 0 pz P L1 p0, T qq tal que

t
zptq K1 ` K2 zpsqds, @ t P p0, T q,
0

entonces
zptq K1 exppK2 tq, @ t P p0, T q.
Demostraci
on. Ver J. M. Sotomayor [13]

23

Teorema 1.22 (Teorema de Rellich). Sea un abierto y acotado de Rn , entonces

la inmersion H0m`1 en H0m es compacta.
Demostraci
on. Ver L. Medeiros - M. Milla [10].

Teorema 1.23. Sean V, H espacios de Banach y de Hilbert respectivamente con

V H H 1 V 1 consideremos el espacio de Banach
1

Wp p0, T q tu P Lp p0, T ; V q, u1 P Lp p0, T ; V 1 qu

con la norma
}u}Wp p0,T q }u}Lp p0,T ;V q ` }u1 }Lp1 p0,T ;V 1 q
Se tiene
i) Wp p0, T q Cpp0, T q; Hq; D c0 0{|u|Cpp0,T q;Hq c0 }u}Wp p0,T q @ u P Wp p0, T q
ii) Si u P Wp p0, T q entonces la aplicaci
on t |uptq|2H es absolutamente continua
en r0, T s y se verifica lo siguiente:
d
|uptq|2H 2 xu1 ptq, vptqy
dt
Demostraci
on. Ver E. Zeidler [15].

24

Captulo 2
Soluciones D
ebiles
En este captulo dedicado a probar la existencia y unicidad de soluciones debiles
para el siguiente problema

con

2
u ` Au ` u1 f en H

up0q u0
en V

p
u p0q u1
en H

u0 P v, u1 P H y f P L1 p0, T ; Hq acotado

(2.1)

(2.2)

Donde A : V V 1 un operador lineal, acotado, autoadjunto, simetrico y coercivo;

V y H dos espacios de Hilbert separable real tal que V H con inmersion
continua, compacta y densa.
Definici
on 2.1. Una funcion u :s0, T r H satisfaciendo
u P L8 p0, T ; V q
u1 P L8 p0, T ; Hq
u2 P L8 p0, T ; V 1 q
es llamada solucion debil del problema (2.1), si para todo P V , se tiene
d 1
pu ptq, q ` pAuptq, q ` pu1 ptq, q pf ptq, q
dt
25

en el sentido de las distribuciones sobre s0, T r y ademas

up0q u0 y u1 p0q u1
Teorema 2.1. Satisfaciendo las condiciones (2.2). Entonces el problema (2.1)
admite una u
nica solucion debil en el sentido de la definicion 2.1.
Demostraci
on del Teorema 2.1.
Para probar la existencia de solucion debil mdel problema (2.1) utilizaremos el
metodo de Faedo-Galerkin que consiste de las siguientes etapas:
(i) Aproximaciones de Galerkin, que consiste en proyectar el problema de subespacios de dimension finita obteniendo el problema aproximado. Este a su
vez es un sistema de ecuaciones diferenciales ordinarias con valores iniciales
cuya existencia de solucion local sera garantizada por el teorema de Caratheodory.
(ii) Estimativas a priori, que consiste que atraves de la ecuacion aproximada
encontrar lmites para la solucion y sus derivadas.
(iii) Pasaje al lmite, que consiste en demostrar que las soluciones aproximadas
convergen para la solucion del problema original.
(iv) Verificacion de los datos iniciales, que consiste en verificar que la solucion
obtenida en la etapa anterior satisface los datos iniciales.
Sea pwj qjPN las autofunciones del operador lineal A, es decir, soluciones del problema espectral
ppj , vqq j pj , vq; @ v P V ; j P N

2.1.

Problema Aproximado

Como V y H son espacios de Hilbert tal que V H con inmersion continua,

compacta y densa.
26

Siendo V separable. Sea pj qjPN una base Hilbertiana de V ; es decir:

}j } 1
@j P N
i)
ppi , j qq 0
@i j
ii) El espacio vectorial generado por los pj qjPN es denso en V .

La existencia de los pj qjPN esta garantizada por el teorema espectral.

Para m P N, consideremos
Vm r1 , 2 , , m s
El subespacio de V de dimension finita generado por los mprimeras autofunciones de la base. Definamos
um ptq

j1

gjm ptqj P Vm

(2.3)

Donde las funciones gjm ptq son escogidas de modo que pum qmPN sea solucion del
siguiente sistema de ecuaciones diferenciales ordinarias.
pu2m ptq, q ` pAum ptq, wq ` pu1m ptq, q pf ptq, q; P Vm

(2.4)

con condiciones iniciales

um p0q u0m u0 en V

(2.5)

u1m p0q u1m u1 en H

(2.6)

Ahora de (2.3) y(2.4) y si i @ i 1, 2, , m. Obtenemos

m
m
m

1
2
gjm
ptqj , i pf ptq, i q; i P Vm
gjm ptqj i `
gjm
ptqj , i ` A
j1

j1

j1

(2.7)

Se sigue de (2.7)
m

j1

2
gjm
ptqpj , i q `

j1

gjm ptqpAj , i q `
27

j1

1
gjm
ptqpj , i q pf ptq, i q

2
1
gjm
ptqpi , i q ` gim ptqpAi , i q ` gim
pi , i q pf ptq, i q
2
1
gim
ptq ` i gim ptq ` gim
ptq pf ptq, i q, @ i 1, 2, , m

(2.8)

Luego el sistema (2.8) admite solucion en r0, Tm r, 0 Tm T ; es decir

2
1
g1m
ptq ` 1 g1m ptq ` g1m
ptq pf ptq, 1 q

2
1
g2m
ptq ` 2 g2m ptq ` g2m
ptq pf ptq, 2 q

..

2
1
gmm ptq ` m gmm ptq ` gmm
ptq pf ptq, m q
Ordenando matricialmente (2.9) obtenemos

2
g1m
ptq
1 0 0
g1m ptq

g2m ptq
0 2 0
g2m ptq

.. ` ..
..
. . . ..
.
.
.
.

2
gmm ptq
0 0 m
gmm ptq
m1

mm

pf ptq, 1 q

1) Supongamos que um p0q u0m , Como u0 P V . Entonces

j1

gjm p0qj y u0m

puo , j qj

j1

De donde tenemos
gjm p0q pu0 , wj q 1 j m
28

m1

Por otro lado:

Um p0q

pf ptq, 1 q

pf ptq, 2 q

; F pt, W q

..

pf ptq, m q

Y 2 ptq ` BY ptq ` Y 1 ptq F pt, W q

(2.10)

m1

mm

Luego el sistema (2.8) sera de la forma

pf ptq, 2 q

..

pf ptq, m q

m1

Denotando en (2.10)

g1m ptq
1 0 0

g2m ptq
0 2 0

Y ptq .
; B.
. . . ..
.
.
.
.
.

..
gmm ptq
0 0
. m
m1

(2.9)

(2.11)

2) Supongamos que u1m p0q u1m , como u1 P H. Entonces

u1m p0q

j1

1
gjm
p0qj y u1m

pu1 , j qj

j1

De donde tenemos
1
gjm
p0q pu1 , j q 1 j m

Luego de 1) y 2) tenemos

g p0q
1m

g2m p0q

Y p0q
..
.

gmm p0q

m1

1
g1m
p0q

pu , q
0 1

pu0 , 2 q
Y0

..

pu0 , m q

g2m p0q
1

Y p0q .

..

1
gmm
p0q

m1

pu1 , 1 q

pu1 , 2 q

Y1

..

pu1 , m q

Obtenemos el sistema

2
Y ptq BY ptq Imm Y 1 ptq ` F pt, W q

Y p0q Y0

1
Y p0q Y1

Entonces

2
Y ptq BY ptq Imm Y 1 ptq ` F pt, W q

1
Y ptq mm Y ptq ` Imm Y 1 ptq ` mm Y p0q Y0

1
Y p0q Y1

Donde : Matriz nula m m

Imm : Matriz identidad m m

29

(2.12)

(2.13)

Tomando

Y 1 ptq

xptq
Y ptq

2m1

Supongamos que xptq sea solucion de (2.13). Entonces

1
2
F pt, wq
Y ptq
I B
Y ptq

Y ptq
I

Y ptq

2m1

2m1

2m2m

2m1

(2.14)

De lo cual

I B

G
I

2m2m

F pt, wq

; F pt, wq

2m1

1
y p0q

xp0q
yp0q

2m1

y1

y0

x0

2m1

Luego el sistema (2.13) se puede escribir

1
x ptq Gxptq ` F pt, wq

xp0q x0

(2.15)

Considerando T : R2m R R2m tal que T px, tq Gxptq ` F pt, wq y reemplazando en (2.15). Obtenemos

1
x ptq T px, tq

xp0q x0

(2.16)

Mostraremos que el sistema (2.16) cumple las condiciones del Teorema de Caratheodory.
Sea E r0, `8r, donde
D tx P R2m : }x}R2m u
con una constante positiva y x0 P D
Veamos
30

a) T px, tq es medible en t para x fijo. En efecto fijando x obtenemos que T px, tq es

constante, como toda funcion constante es medible; entonces T px, tq es medible
para t Ps0, T r.
b) T px, tq es continua en x para t fijo. En efecto si t es fijo entonces x tambien
es fijo; luego T px, tq es constante por tanto continua en x.
c) Para cada compacto K de E existe una funcion real integrable Ix ptq, tal que
}T px, tq}R2m Ix ptq; @ px, tq P K
En efecto
Como x P D, tenemos }x}R2m . Entonces
}T px, tq}R2m }Gxptq ` F pt, wq}R2m
}T px, tq}R2m }Gxptq}R2m ` |}F pt, wq}|R2m R2m
}T px, tq}R2m |}G}|R2m R2m }x}R2m ` |}F pt, wq}|R2m R2m
}T px, tq}R2m |}G}|R2m R2m ` |}F pt, wq}|R2m R2m
}T px, tq}R2m ` Ik ptq
Donde
|}G}|R2m R2m ; |}F pt, wq}|R2m R2m
Como Ik ptq es una constante en un compacto K de E. Entonces Ik ptq es
integrable para todo t 0.
Podemos concluir que el problema (2.16) satisface las condiciones del Teorema de
Caratheodory. De esta forma, existe x solucion en r0, Tm r; Tm T y por tanto
um es solucion del problema aproximado (2.4)-(2.6) en el intervalo r0, Tm r.
Su extension al intervalo r0, T s es consecuencia de las estimativas a priori que
seguiremos a continuacion.

31

2.2.

Estimativas a Priori

2.2.1.

Primera Estimativa a Priori

En (2.4) tomando u1m ptq P Vm . Obtenemos

pu2m ptq, u1m ptqq ` pAum ptq, u1m ptqq ` pu1m ptq, u1m ptqq pf ptq, u1m ptqq
1d
1d 1
|um ptq|2 `
pAum ptq, um ptqq ` |u1m ptq|2 pf ptq, u1m ptqq
2 dt
2 dt
1d
t|u1 ptq|2 ` pAum ptq, um ptqqu ` |u1m ptq|2 ` pf ptq, u1m ptqq
2 dt m

Integrando de 0 a t; t Ps0, Tm r, Tm T
t
t
1
2
1
2
1
2
|um ptq| `pAum ptq, um ptqq`2 |um ptq| dt |um p0q| `pAum p0q, um p0qq`2 pf ptq, u1m ptqqdt
0
0
t
|u1m ptq|2 `pAum ptq, um ptqq`2|u1m |2L2 p0,T ;Hq |u1m |2 `pAu0m `u0m q`2 pf ptq, u1m ptqqdt
t0
|u1m ptq|2 `pAum ptq, um ptqq`2|u1m |2L2 p0,T ;Hq |u1m |2 `pAu0m , u0m q`2 |f ptq||u1m ptq|dt(2.17)
0

Observaci
on 2.1.
|u1m |2 ` pAu0m , u0m q c1
donde c1 constante arbitraria
En efecto
(a) u1m u1 en H; si m 8. Entonces
|u1m | |u1 | en R
Entonces pu1m q es acotado
Es decir,
|u1m | c0 ; c0 0

32

(2.18)

(b) u0m uo en V , si m 8. Entonces

}u0m } }u0 } en R
Entonces pu0m q es acotado
Es decir,
}u0m } c0 ; c0 0

(2.19)

pAu0m , u0m q |Au0m ||u0m |

(2.20)

Luego
(c)

Nota 2.1. Como A : V V 1 operador lineal acotado, es decir, D M1 0 { |Au| M1

y V H con inmersion continua, es decir, D M2 0 { |u| M2 }u} @ u P V .
Por Nota 2.1 en (2.20) tenemos
pAu0m , u0m q M1 M2 }u0m }

(2.21)

Por (2.19) en (2.21), tenemos

pAu0m , u0m q M1 M2 c0
pAu0m , u0m q c1
Donde c1 M1 M2 c0 ; c1 0
Por (2.18) y (2.22), obtenemos
|u1m |2 ` pAu0m , u0m q c1
Donde c1 c0 ` c1 ; c1 0
Observaci
on 2.2. Sabemos que
1
1
|a||b| |a|2 ` |b|2
2
2
Entonces
1
1
|f ptq||u1m ptq| |f ptq|1{2 p|f ptq|1{2 |u1m ptq|q |f ptq| ` |f ptq||u1m ptq|2
2
2
33

(2.22)

Integrando de 0 a t, t Ps0, Tm r, Tm T . Obtenemos

t
1 t
1 t
1
|f ptq|dt `
|f ptq||u1m ptq|2 dt
|f ptq||um ptq|dt
2 0
2 0
0
t

1 t
1 t
1
|f ptq||um ptq|dt
|f ptq|dt `
|f ptq||u1m ptq|2 dt
2
2
0
0
0

Observaci
on 2.3.
t
0

|f ptq|dt |f |L1 p0,T ;Hq c2

Donde c2 es una constante arbitraria

Luego por la observacion 2.1, 2.2 y 2.3 en (2.17). Obtenemos
t
1
2
1 2
|um ptq| ` pAum ptq, um ptqq ` 2|um |L2 p0,T ;Hq c1 ` c2 ` |f ptq||u1m ptq|2 dt
0
t
|u1m ptq|2 ` pAum ptq, um ptqq ` 2|u1m |2L2 p0,T ;Hq c3 ` |f ptq||u1m ptq|2 dt
0
t
|u1m ptq|2 ` pAum ptq, um ptqq c3 ` |f ptq||u1m ptq|2 dt
(2.23)
0

Denotemos
m ptq |u1m ptq|2 ` pAum ptq, um ptqq
Vemos que
m ptq 0
|u1m ptq|2 m ptq

(2.24)

Entonces en (2.23), tenemos

m ptq c3 `

t
0

|f ptq||u1m ptq|2 dt

(2.25)

De (2.24), obtenemos
t
0

|f ptq||u1m ptq|dt

34

t
0

|f ptq|m ptqdt

(2.26)

De (2.26) en (2.25), obtenemos

m ptq c3 `

t
0

ptqm ptqdt

Donde |f ptq| ptq

Por Lema de Gronwall en (2.26) tenemos
m ptq c4 exp
m ptq c4 exp
Es decir
|u1m ptq|2

psqds

psqds

` pAum ptq, um ptqq c4 exp

Por coercividad de A tenemos

T
0

psqds c5

|u1m ptq|2 ` }um ptq}2 c5 @ t Ps0, Tm ; Tm T r

Observaci
on 2.4. En la desigualdad anterior c5 0 es independiente de m y t,
luego por el teorema de prolongamiento de soluciones de ecuaciones diferenciales
ordinarias, se obtiene que es posible prolongar la solucion um al intervalo r0, T s,
es decir
|u1m ptq|2 ` }um ptq}2 c5 @ t P r0, T s
As tenemos que

2.2.2.

pum q esta acotado en L8 p0, T ; V q

(2.27)

pum q esta acotado en L8 p0, T ; Hq

(2.28)

Segunda Estimativa a Priori

En (2.4) tomando u2m ptq P Vm , obtenemos

pu2m ptq, u2m ptqq ` pAum ptq, u2m ptqq ` pu1m ptq, u2m ptqq pf ptq, u2m ptqq
|u2m ptq|2 |pAum ptq, u2m ptqq| ` pu1m ptq, u2m ptqqq ` |pf ptq, u2m ptqq|
|u2m ptq|2 |Aum ptq||u2m ptq| ` |u1m ptq||u2m ptq| ` |f ptq||u2m ptq|
35

(2.29)

Nota 2.2. Como f P L1 p0, T ; Hq acotado, es decir,

D c6 0 tal que |f ptq| c6 @ t P r0, T s
Entonces considerando nota 2.1 y 2.2, ademas por la primera estimativa a priori
(2.28) en (2.29), obtenemos
|u1m ptq|2 M1 |u2m ptq| ` c5 |u2m ptq| ` c6 |u2m ptq|
Sea R M1 ` c5 ` c6 . Luego de la desigualdad anterior tenemos
|u2m ptq| R; 0 t T

(2.30)

Nota 2.3. Por dualidad, si identificamos H con su dual H 1 , gracias al teroema

de representacion de Riesz obtenemos V H H 1 V 1 donde cada espacio es
denso en el siguiente y las inmersiones son continuas.
Entonces, considerando nota 2.3 en (2.30) tenemos
}u2m ptq}V 1 c3 @ t P r0, T s
As tenemos que
pu2m ptqq esta acotado en L8 p0, T ; V q

2.3.

(2.31)

Pasaje al Lmite

De la primera estimativa a priori (2.27) y (2.28) podemos asegurar la existencia

de una subsucesion pumk qkPN de la sucesion pum qmPN , tal que

um u en L8 p0, T ; V q

u1m u1 en L8 p0, T ; Hq
De (2.32), para todo P L1 p0, T ; V q tenemos
xum ptq, yL8 p0,T ;V qL1 p0,T ;V 1 q xuptq, yL8 p0,T ;V qL1 p0,T ;V 1 q
36

(2.32)
(2.33)

xuptq, yV V 1 dt
xum ptq, yV V 1 dt
0
T
ppuptq, qqdt
ppum ptq, qqdt
0
0
T
T
pAum ptq, qdt
pAuptq, qdt
0
T
0

En particular tomando ptq ptqv; P Dp0, T q, v P V

T
T
ec234 pAum ptq, vqptqdt
pAuptq, vqptqdt
0

(2.34)

Observaci
on 2.5.
pAum ptq, vq P L1oc p0, T q para todo v P V
En efecto
Sea K s0, T r un conjunto compacto tal que

|pAum ptq, vq|dt

|Aum ptq||v|dt |v| |Aum ptq|dt
K

Por lo tanto

|pAum ptq, vq|dt |v|

T
0

|Aum ptq|dt 8

pAum ptq, vq P L1oc p0, T q

Entonces considerando la observacion 2.5 en (2.34) tenemos
xpAum ptq, vq, yD1 p0,T qDp0,T q xpAuptq, vq, yD1p0,T qDp0,T q @ P Dp0, T q
Es decir
pAum ptq, vq pAuptq, vq @ v P V en D1 p0, T q
De (2.33), para todo P L1 p0, T ; H 1 q tenemos
xu1m ptq, yL8 p0,T ;HqL1 p0,T ;H 1 q xu1 ptq, yL8 p0,T ;HqL1 p0,T ;H 1 q
T
0

xu1m ptq, yHH 1

dt
37

T
0

xu1 ptq, yHH 1 dt

(2.35)

T
0

pu1m ptq, qdt

T
0

pu1 ptq, qdt

En particular tomando ptq ptqv; P Dp0, T q, v P V

T
T
1
pum ptq, vqptqdt
pu1 ptq, vqptqdt
0

(2.36)

Observaci
on 2.6.
pu1m ptq, vq P L1oc p0, T q para todo v P V
En efecto
Sea K s0, T r un conjunto compacto tal que

1
1
|pum ptq, vq|dt
|um ptq||v|dt |v|
|u1m ptq|dt
K

Por lo tanto

|pu ptq, vq|dt |v|

T
0

|u1m ptq|dt 8

pu1m ptq, vq P L1oc p0, T q

Entonces, considerando observacion 2.6 en (2.36) tenemos
xpu1m ptq, vq, yD1 p0,T qDp0,T q xpu1 ptq, vq, yD1 p0,T qDp0,T q @ P Dp0, T q
Es decir
pu1m ptq, vq pu1 ptq, vq @ v P V en D1 p0, T q

(2.37)

Ahora por continuidad del operador derivacion en (2.37)

d
d 1
pum ptq, vq pu1 ptq, vq @ v P V en D1 p0, T q
dt
dt
Observaci
on 2.7. En resumen tenemos de (2.29), (2.31) y (2.32)
i) pAum ptq, vq pAuptq, vq
ii) pu1m ptq, vq pu1 ptq, vq
38

(2.38)

iii)

d
d 1
pum ptq, vq pu1 ptq, vq
dt
dt
Para todo v P V en D1 p0, T q

Con estas convergencias veamos el paso al lmite de la ecuacion aproximada,

fijamos un m0 P N y tomamos m m0 ; multiplicamos la ecuacion aproximada
por ptq P Dp0, T q e integramos de 0 a T
T
0

pu2m ptq, vqptqdt`

T
0

pAum ptq, vqptqdt`

T
0

pu1m ptq, vqptqdt

T
0

pf ptq, vqptqdt
(2.39)

Integrando por partes

T
T
T
2
1
pu1m ptq, vq1 ptqdt
pum ptq, vqptqdt pum ptq, vqptq |0
0

pu1m ptq, vqptqdt pum ptq, vqptq|T0

Como P Dp0, T q, entonces p0q pT q 0

pum ptq, vq1 ptqdt

Luego en (2.39)
T
T
T
T
1
1
1
pf ptq, vqptqdt
pum ptq, vq ptqdt` pAum ptq, vqptqdt pum ptq, vq ptqdt
B

xpu1m ptq, vq, 1 y

F

` xpAum ptq, vq, y xpum ptq, vq, y xpf ptq, vq, y

d 1
pu ptq, vq, ` xpAum ptq, vq, y ` xpu1m ptq, vq, y xpf ptq, vq, y (2.40)
dt m
Aplicando los lmites de la observacion 2.7 en (2.40), obtenemos
B
F
d 1
pu ptq, vq, `xpAuptq, vq, y`xpu1 ptq, vq, y xpf ptq, vq, y @ v P Vm0 ; P Dp0, T q
dt
Entonces
d 1
pu ptq, vq ` pAuptq, vq ` pu1 ptq, vq pf ptq, vq @ v P Vm0 en D1 p0, T q
dt
Como Vm0 es denso en H. Entonces
d 1
pu ptq, vq ` pAuptq, vq ` pu1 ptq, vq pf ptq, vq @ v P H en D1 p0, T q
dt
Lo que demuestra que uptq es solucion debil del problema (2.1).
39

2.4.

Verificaci
on de los Datos Iniciales

Considerando las convergencias en (2.32), (2.33) y aplicando el mismo criterio en

la segunda estimativa a priori (2.31) obtenemos que
u P L8 p0, T ; V q
u1 P L8 p0, T ; Hq
u2 P L8 p0, T ; V 1 q
As
u P tv P L8 p0, T ; V q; v 1 P L8 p0, T ; V 1 qu Cpr0, T s; V q
u1 P tv P L8 p0, T ; Hq; v 1 P L8 p0, T ; H 1 qu Cpr0, T s; Hq
Luego tiene sentido up0q y u1 p0q

2.4.1.

Verificaci
on de up0q u0

Sean v P V y P C 1 pr0, T s, Rq tal que pT q 0 y p0q 1

De (2.32) implica que
T
0

pum ptq, vq ptqdt

puptq, vq1 ptqdt

(2.41)

pu1m ptq, vqptqdt

pu1 ptq, vqptqdt

(2.42)

De (2.33) implica que

T
0

Sumando (2.41) y (2.42) tenemos que

T
T
d
d
rpum ptq, vqptqsdt
rpuptq, vqptqsdt
0 dt
0 dt
Como pT q 0, entonces
pum p0q, vqp0q
40

Como p0q 1, entonces

pum p0q, vq pup0q, vq; v P V

(2.43)

Por hipotesis um p0q u0 en V ; m 8

osea pum p0q, vq pu0 , vq; v P V

(2.44)

De (2.43) y (2.44) y la unicidad de lmite

pup0q, vq pu0 , vq; v P V
Por tanto up0q u0

2.4.2.

Verificaci
on de u1 p0q u1

Sean v P V y P C 1 pr0, T s, Rq tal que pT q 0 y p0q 1

De (2.23) implica que
T
0

pu1m ptq, vqptqdt

T
0

pu1 ptq, vqptqdt

Por la continuidad de la derivacion

T
T
d
d
1
rpum ptq, vqptqsdt
rpu1 ptq, vqptqsdt
dt
dt
0
0
Como pT q 0. Entonces
pu1m p0qqp0q pu1 p0q, vq v P V
Como p0q 1. Entonces
pu1m p0q, vq pu1 p0q, vq v P V

(2.45)

Por hipotesis u1m u1 en H; m 8

osea pu1m p0q, vq pu1 , vq; v P V
41

(2.46)

De (2.45), (2.46) y la unicidad de lmite

pu1 p0q, vq pu1 , vq v P V
Por tanto u1 p0q u1
De esta manera obtenemos una solucion local para (2.1) definida sobre r0, T s.
A continuacion demostraremos la unicidad de la solucion local como lo indica el
teorema 2.1.

2.5.

Unicidad

Supongamos que u y u son soluciones dadas por el Teorema 2.1. Luego, de (2.1)
se tiene

u2 ` Au ` u1 f
u2 ` Au ` u1

up0q u0 up0q

u1 p0q u1 u1 p0q

en H
(2.47)
en V
en H

Sea ptq uptq uptq entonces de (2.47) y de u P L8 p0, T ; V q, u1 P L8 p0, T ; Hq

y u2 P L8 p0, T ; V 1 q. Tenemos

2
ptq ` Aptq ` 1 ptq 0 en H

p0q 0
en V

p
p0q 0
en H

Tal que

P L8 p0, T ; V q, 1 P L8 p0, T ; Hq y 2 P L8 p0, T ; V 1 q

Por otra parte tomando 1 ptq; vemos que
2p 2 ptq, 1 q ` 2pAptq, 1 q ` 2p 1 ptq, 1 q 0
d
d 1 2
| ptq| ` pAptq, q ` 2| 1 ptq|2 0
dt
dt
d
t| 1 ptq|2 ` pAptq, qu ` 2| 1 ptq|2 0
dt
42

(2.48)

Integrando de 0 a T
1

| ptq| ` pAptq, q ` 2

T
0

| 1 ptq|2 dt 0

| 1 ptq|2 ` pAptq, q ` 2| 1 |2L2 p0,T ;Hq 0

Por la coercividad de A, tenemos
| 1 ptq|2 ` }ptq}2 ` 2} 1 }2L2 p0,T ;Hq | 1 ptq|2 ` pAptq, q ` 2| 1 |2L2 p0,T ;Hq
| 1 ptq|2 ` }ptq}2 ` 2| 1 |2L2 p0,T ;Hq 0
Se tiene
| 1 ptq|2 0; }ptq}2 0; | 1 |2L2 p0,T ;Hq 0
Por tanto
}ptq} 0
ptq 0
uptq uptq 0
uptq uptq
uu
As queda demostrado la unicidad de la solucion local.

43

Resultados
En el presente trabajo se ha estudiado la ecuacion abstracta de la onda con
termino disipativo

Donde:

2
u ` Au ` u1 f en H

up0q u0
en V

1
u p0q u1
en H

(2.49)

V un espacio de Hilbert separable real, cuyo producto interno es representado por pp, qq y la norma } }.
H un espacio de Hilbert separable real, cuyo producto interno es representado por p, q y la norma | |.
V H denso y una inmersion V en H compacta y continua.
Identificando H con su dual H 1 , obteniendose V H H 1 V 1 .
un subconjunto abierto y acotado bien regular de Rn de frontera .
A : V V 1 un operador lineal, acotado, autoadjunto, simetrico y coercivo.
f P L2 p0, T ; Hq acotado.
Para datos pu0 , u1 q P V H se ha demostrado la existencia y unicidad de una

44

solucion debil u de 2.49, en la clase

u P L8 p0, T ; V q

u1 P L8 p0, T ; Hq

u2 P L8 p0, T ; V 1 q
Este estudio es de vigencia actual en el area de las Ecuaciones Diferenciales Parciales de Evolucion, por lo que el trabajo sirve de aporte para aquellas personas
interesadas en el estudio e investigacion del area de las Ecuaciones Diferenciales
Parciales.

45

Conclusiones
De nuestro trabajo concluimos lo siguiente:
1. Probamos la existencia y unicidad de las soluciones debiles del siguiente
problema

2
u ` Au ` u1 f en H

up0q u0
en V

1
u p0q u1
en H

2. Podemos adecuar diversas ecuaciones diferenciales parciales de evolucion de

segundo orden para ser resueltos usando nuestro modelo abstracto.
3. Nuestro metodo de solucion es aplicable a sistemas disipativos lineales.

46

Bibliografa
[1] R. ADAMS, Sobolev spaces. Academic Press, New York - London and San
Francisco, 1976.
[2] H. BREZIS, An
alisis Funcional. Teora y aplicaciones. Alianza Editorial,
Madrid, 1983.
[3] E. H. BRITO, The damped elastic stretched string equation generalized; existence; uniqueness. Appl. Anal. 13, 219 - 233, 1982.
[4] E. A. CODDINGTON y N. LEVINSON, Theory of Ordinary Differential
Equations. Mc. Graw-Hill, New York, 1955.
[7] S. KESAVAN, Topics in Functional Analysis and Applications. John Wiley
& Sons, New Delhi, 1989.
[8] KOSAKU YOSIDA, Functional Analysis. Springer - Verlag, Berlin Heidelberg, Germany, 1995.
[9] J. L. LIONS, Quelques methodes de resolution des problemes aux limites non
lineaires. Dunod, Paris, 1969.
[10] L. A. MEDEIROS y M. MILLA, Espacos de Sobolev Iniciacao aos Problemas
Elticos n
ao Homogeneos. IM - UFRJ, 2000.
[11] L. TARTAR, topics in Nonlinear Analysis. Universite PARIS, 1978.
47

[12] M. MILLA, An
alise Espectral em Espacos de Hilbert. Textos de Metodos
Matematicos, IM - UFRJ, 1990.
[13] J. M. SOTOMAYOR TELLO, Licoes de Equacoes Diferenciais ordinarias.
IMPA, Rio de Janeiro, 1979.
[14] R. E. SHOWALTER, Hilbert Space Methods for Partial Differential Equation, Electrinoc Journal of Differential Equations, Monograph. TEXAS, 011994.
[15] E. ZEIDLER, Nonlinear Functional Analysis, Vol. II/B. Springer-Verlag,
1990.
[16] EVANS LAWRENCE C, Partial Differential Equations. AMS, 1998.
EDP un Curso de Graduacao. Colecao
[17] IORIO VALERIA DE MAGALHAes,
matematica universitaria:IMPA 1991.

48