12.07.2015 Views

Ecuaciones Integrales Lineales de Volterra-Dushnik en Espacios de ...

Ecuaciones Integrales Lineales de Volterra-Dushnik en Espacios de ...

Ecuaciones Integrales Lineales de Volterra-Dushnik en Espacios de ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Capítulo 4. Algunas aplicaciones <strong>de</strong> la ecuación integral lineal <strong>de</strong> <strong>Volterra</strong>-<strong>Dushnik</strong> 100c) Para todo t ≥ 0,1límρ→0 ρ∫[t,t+ρ]T(s)ds = T(t).4.2.3. El g<strong>en</strong>erador infinitesimal <strong>de</strong> un semigrupo fuertem<strong>en</strong>tecontinuoDefinición 4.2.3 Sea{ }T(t) un semigrupo fuertem<strong>en</strong>te continuo sobre un espacio <strong>de</strong>t≥0Banach X. Para todo t > 0 <strong>de</strong>finimos el operador lineal A t porConsi<strong>de</strong>remos el subespacioA t x := 1 [T(t) − I]x ∀ x ∈ X.tD(A) :={}x ∈ X : lím A tx existe ,t→0 +y <strong>de</strong>finamos el operador lineal (no necesariam<strong>en</strong>te continuo) A : D(A) −→ X medianteAx := límt→0 + A tx.El operador A es { llamado } el G<strong>en</strong>erador infinitesimal <strong>de</strong>l semigrupo fuertem<strong>en</strong>tecontinuo T(t) .Observación 4.1t≥01) En la <strong>de</strong>finición anterior, es un abuso <strong>de</strong>cir que A es un operador, pues no sabemosque D(A) sea <strong>de</strong>nso <strong>en</strong> X, propiedad que <strong>de</strong>mostramos más a<strong>de</strong>lante.2) La <strong>de</strong>finición <strong>de</strong> g<strong>en</strong>erador infinitesimal A <strong>de</strong> un semigrupo fuertem<strong>en</strong>te continuoproporciona una manera <strong>de</strong> calcular A.Ejemplo 4.2 (Curtain and Zwart [2], Ejemplo 2.1.9) En el semigrupo fuertem<strong>en</strong>te continuoT(t) = e At , <strong>de</strong>l Ejemplo 4.1, A ∈ L(X) es el g<strong>en</strong>erador infinitesimal <strong>de</strong> T(t).{ }Teorema 4.2.2 Sea T(t) un semigrupo fuertem<strong>en</strong>te continuo sobre X con g<strong>en</strong>eradorinfinitesimal A. Entonces, para todo x ∈t≥0X,1límt→0 + t∫[0,t]T(s)xds = x.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!