Półgrupy kontrakcji w przestrzeniach Banacha Procesy
Transkrypt
Półgrupy kontrakcji w przestrzeniach Banacha Procesy
Półgrupy kontrakcji w przestrzeniach Banacha Procesy Stochastyczne, wykład 9, T. Byczkowski, Procesy Stochastyczne, PPT, Matematyka MAP1136 16 kwiecień, 2012 Półgrupy kontrakcji Generator półgrupy Definicja. (Tt )t≥0 - mocno ciągła półgrupa kontrakcji na X, X - rzeczywista p. Banacha, gdy Tt ∈ L(X), T0 = I oraz ||Tt || ≤ 1 dla każdego t ≥ 0; Tt Ts = Tt+s dla wszystkich t, s > 0; limt→0+ ||Tt x − x|| = 0, dla wszystkich x ∈ X. Definicja. Ux = limt→0+ Tt x−x , t x ∈ DU , U - generator (Tt ), DU - dziedzina. x ∈ DU ⇔ granica definiująca U istn. (w normie). U jest liniowy na DU , które jest podprzestrzenią liniową X. U odpowiednik macierzy G (przyp. skończenie wym.) Tw. 1. x ∈ DU ⇒ Tt x ∈ DU , t > 0 oraz zachodzi d (Tt x) = U(Tt x) = Tt (Ux), t > 0 dt Półgrupy kontrakcji Generator półgrupy c. d. Dowód Tw. 1. Pochodna w sensie zbieżności w normie. Dla h > 0 Tt+h x − Tt x Th − I Th x − x = Tt · = · Tt x; h h h granica drugiego wyrażenia istnieje i równa się Tt (Ux). Granica trzeciego - też istnieje i zachodzi wzór, dla prawostr. pochodnej. Podobnie lewostr. pochodna w t > 0: gdy h < 0, ale t + h > 0, to || T(−h) x − x Tt+h x − Tt x − Tt Ux|| = ||Tt+h [ − T(−h) Ux]| h (−h) ≤ || T(−h) x − x T(−h) x − x − T(−h) Ux|| ≤ || − Ux|| (−h) (−h) h→0 +||Ux − T(−h) Ux|| → 0 . Półgrupy kontrakcji Generator półgrupy c. d. Lemat 1. DU - dziedzina U - gęsta w X, U - domknięty na DU . Dowód. Dla t > 0 i x ∈ X zachodzi: y = Rt 0 Tu xdu ∈ DU : Z Z t 1 t [ Tu+h xdu − Tu xdu] = h 0 0 Z Z t Z Z t+h Z h Z t 1 t 1 t+h [ Tu xdu − Tu xdu] = [ ... + − − ]. h h h h 0 t 0 h 1 [Th y − y ] = h Po uproszczeniu zewnętrznych całek otrzymujemy zbieżność do Tt x − x, gdy h → 0. Z ciągłości Tt : Tu x → x dla u → 0 czyli 1 t y → x, gdy t → 0, więc DU - gęsta w X. Z Tw. 1, gdy x ∈ DU , d to Tt x ∈ DU oraz dt Tt x = Tt Ux więc, dla 0 ≤ s < t < ∞ zachodzi Z t [Tt − Ts ]x = Tu Uxdu . s Półgrupy kontrakcji Generator półgrupy, rezolwenta Niech xn ∈ DU , lim xn = x0 i lim Uxn = y0 . Wtedy Z t Z t Tt x0 − x0 = lim(Tt xn − xn ) = lim Tu Uxn du = Tu y0 du , 0 0 na mocy zbieżności jednostajnej Tu Uxn do Tu y0 , na odcinku [0, t]. Stad 1 lim+ [Tt x0 − x0 ] = y0 = Ux0 , t→0 t więc generator U ma wykres domknięty. Wniosek. Jeśli DU = X to U ciągły więc ograniczony. Dowód. Dowód wynika z twierdzenia o wykresie domkniętym. R∞ Definicja. Rλ x = 0 e −λt Tt xdt -rezolwenta półgrupy (Tt ). R∞ Rλ - operator ograniczony: ||Rλ x|| ≤ 0 e −λt dt||x|| = ||x|| λ . Półgrupy kontrakcji Rezolwenta półgrupy (Tt ) Uwaga. Gdy Tt = exp(tU) i U - ograniczony, to dla dużych λ Z ∞ −1 Rλ = exp(t(U−λI ))dt = exp(t(U−λI ))(U−λI )−1 |∞ 0 = (λI −U) . 0 Istotnie, λI − U = λ(I − U/λ) więc ||I − (I − U/λ)|| = ||U||/λ < 1, gdy λ - odp. duże, więc λI − U - odwracalny, dla odp. dużego λ > 0. Wzór Rλ = (U − λI )−1 zachodzi w ogólnym przypadku. Tw. 2. U - gener. półgrupy (Tt ). Odwz. (λI − U) : DU −→ X na jest 1 − 1 i na, dla λ > 0; Rλ = (λI − U)−1 : X −→ DU . Dowód Tw. 2. Zachodzi Z ∞ Z ∞ Th Rλ y = Th e −λt Tt y dt = e −λt Tt+h y dt = 0 0 Z ∞ Z h λh −λt λh λh e e Tt y dt = e Rλ y − e e −λt Tt y dt . 0 h Półgrupy kontrakcji Rezolwenta półgrupy (Tt ) c. d. Stąd 1 e λh − 1 e λh [Th − I ]Rλ y = Rλ y − h h h Z h e −λu Tu y du . 0 Gdy h → 0+ , otrzymujemy Rλ y ∈ DU oraz URλ y = λRλ y − y . Stąd, x = Rλ y jest rozwiązaniem równania λx − Ux = y , dla dow. y ∈ X więc λI − U odwzorowuje (obraz Rλ ) = Rλ X na całe X. Dla λ > 0 i y ∈ X rozwiązanie λx − Ux = y jest jedyne: Niech x1 , x2 ∈ DU będą rozw. λx − Ux = y . z = x1 − x2 spełnia d Tt z = Tt Uz równanie λz = Uz. Z Tw. 1 mamy Tt z ∈ DU i dt d −λt −λt = λTt z, czyli dt (e Tt z) = 0 więc e Tt z jest stałe dla t ≥ 0. Jednak limt→∞ e −λt Tt z = 0, limt→0+ e −λt Tt z = z, więc z = 0 = x1 − x2 . Stąd λI − U jest 1 − 1 na DU i Rλ X ⊆ DU oraz λI − U odwzorowuje Rλ X na całe X, więc Rλ X = DU . Oznacza to, że Rλ = (λI − U)−1 odwzorowuje X na DU . Półgrupy kontrakcji Rezolwenta półgrupy (Tt ) c. d. Wniosek. Dla każdego x ∈ X zachodzi limλ→∞ λRλ x = x . Stąd też wynika, że DU jest gęste w X. Dowód. Zachodzi Z ∞ ||x − λRλ x|| = ||x − λ e −λt Tt xdt|| = 0 Z ∞ Z ∞ || e −u (x − Tu/λ x)du|| ≤ e −u ||x − Tu/λ x||du −→ 0, 0 0 gdy λ → ∞, bo ||x = Tu/λ x|| → 0 a f-cja podcałkowa ogr. przez 2e −u ||x||. Z Tw. 2: Rλ X = DU więc udowodniony wzór daje, że DU jest gęste w X. Tw. 3. Generator wyznacza jednoznacznie półgrupę (Tt ) Półgrupy kontrakcji Generator półgrupy (Tt ) c. d. Dowód Tw. 3. Niech U będzie generatorem półgrup (Tt ) i (St ). Z Tw. 2 Rλ = (λI − U)−1 więc obydwie półgrupy mają tę samą rezolwentę, czyli Z ∞ e −λt (Tt − St )xdt = 0 . 0 Nakładając dowolny funkcjonał liniowy x ∗ otrzymujemy Z ∞ Z ∞ ∗ −λt x ( e (Tt − St )xdt) = e −λt x ∗ (Tt − St )xdt = 0 0 Z = ∞ e −λt u(t)dt = 0 , 0 x ∗ (Tt gdzie u(t) = − St )x jest funkcją ciągłą o transf. Laplace’a równej 0. Z jednoznaczności transformaty Laplace’a u(t) ≡ 0. Z dowolności x ∗ : Tt = St . Półgrupy kontrakcji Generator półgrupy (Tt ) c. d. Tw. 4. (Tt ) - półgrupa o generatorze U, x ∈ DU . Wtedy u(t) = Tt x - jedyne rozwiązanie r.r. du = Uu dt spełniające warunki: (a) u(t) - różniczkowalne w sposób ciągły dla t > 0; (b) ||u(t)|| ≤ C e mt , dla pewnych C , m; (c) u(t) → x, gdy t → 0. Dowód. Z Tw. 1, u(t) = Tt x spełnia pow. r.r. oraz warunek (a). Jednocześnie ||u(t)|| = ||Tt x|| ≤ ||x||, więc zachodzi (b). Warunek (c) wynika z mocnej ciągłości półgrupy (Tt ). Wystarczy więc pokazać jedyność. Półgrupy kontrakcji Generator półgrupy (Tt ) c. d. Jedyność rozwiązania. Niech u1 , u2 będą rozwiązaniami spełniającymi (a) - (c). Połóżmy v (t) = u1 (t) − u2 (t). v spełnia (a) i (b) oraz dąży do 0 gdy t → 0+ . Niech w (t) = e −λt v (t), dla λ > m = max(m1 , m2 ). Otrzymujemy d w (t) = −λw (t) + e −λt Uv (t) = −e −λt (λI − U)v (t) dt d więc w (t) = −Rλ dt w (t). Całkując obydwie strony od 0 do s otrzymujemy Z s Z s d w (t)dt = −Rλ w (t)dt = −Rλ w (s) 0 0 dt bo w (0) = 0 oraz Rλ komutuje z całką. Gdy s → ∞, lewa strona dąży do transf. Laplace’a v , zaś prawa, na mocy (b) i wyboru λ, dąży do 0. Tak więc, transf. Laplace’a znika dla λ > m, a zatem v (t) ≡ 0. Półgrupy kontrakcji Generator półgrupy (Tt ) c. d. Wniosek. Gdy generator U - ograniczony, to Tt = exp(tU). Dowód. Gdy U jest ograniczony, to u(t) = exp(tU) spełnia r.r. z Tw. 4 oraz (a) i (c). Także || exp(tU)|| ≤ exp(t||U||)||x||, co daje (b). Z Tw. 4 otrzymujemy Tt x = exp(tU)x, dla każdego x ∈ DU = X. Tw. Hille-Yosida. U : DU −→ X - generator półgrupy (Tt ) gdzie (Tt ) - pewna półgrupa kontrakcji na X ⇔ U spełnia następujące warunki: DU jest gęsta w X; dla dow. λ > 0 i dow. y ∈ X równanie λx − Ux = y posiada jedyne rozwiązanie x ∈ DU ; rozwiązanie x spełnia ||x|| ≤ ||y ||/λ. Półgrupy kontrakcji