FREDHOLMOVA ALTERNATIVA

Podobné dokumenty
Věta o sedlovém bodu a Fredholmova alternativa

Definice : Definice :

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

Vlastní čísla a vlastní vektory

Báze a dimenze vektorových prostorů

Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice

1 Linearní prostory nad komplexními čísly

Projekty - Úvod do funkcionální analýzy

PŘEDNÁŠKA 2 POSLOUPNOSTI

PROSTORY SE SKALÁRNÍM SOUČINEM. Definice Nechť L je lineární vektorový prostor nad R. Zobrazení L L R splňující vlastnosti

Lineární algebra : Skalární součin a ortogonalita

6 Lineární geometrie. 6.1 Lineární variety

Četba: Texty o lineární algebře (odkazy na webových stránkách přednášejícího).

2. přednáška 8. října 2007

1 Báze a dimenze vektorového prostoru 1

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

Lineární algebra : Metrická geometrie

Riemannův určitý integrál

Lineární algebra : Lineární zobrazení

Dnešní látka Variačně formulované okrajové úlohy zúplnění prostoru funkcí. Lineární zobrazení.

x 2 = a 2 + tv 2 tedy (a 1, a 2 ) T + [(v 1, v 2 )] T A + V Příklad. U = R n neprázdná množina řešení soustavy Ax = b.

1 Lineární prostory a podprostory

Lineární algebra : Báze a dimenze

Dnešní látka Opakování: normy vektorů a matic, podmíněnost matic Jacobiova iterační metoda Gaussova-Seidelova iterační metoda

Lineární algebra : Skalární součin a ortogonalita

10. Vektorové podprostory

FIT ČVUT MI-LOM Lineární optimalizace a metody. Dualita. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Necht tedy máme přirozená čísla n, k pod pojmem systém lineárních rovnic rozumíme rovnice ve tvaru

Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.

Učební texty k státní bakalářské zkoušce Matematika Vlastní čísla a vlastní hodnoty. študenti MFF 15. augusta 2008

Úlohy nejmenších čtverců

19 Hilbertovy prostory

Skalární součin je nástroj, jak měřit velikost vektorů a úhly mezi vektory v reálných a komplexních vektorových prostorech.

EUKLIDOVSKÉ PROSTORY

15 Maticový a vektorový počet II

Přednáška 6, 6. listopadu 2013

Lineární zobrazení. 1. A(x y) = A(x) A(y) (vlastnost aditivity) 2. A(α x) = α A(x) (vlastnost homogenity)

K oddílu VI.1 obecné slabé topologie Příklad 1. Necht X = C([0, 1]) s topologií bodové konvergence na [0, 1]. Popište všechny

Učební texty k státní bakalářské zkoušce Matematika Skalární součin. študenti MFF 15. augusta 2008

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA.

Matice lineárních zobrazení

Základy matematické analýzy

Lineární (ne)závislost

Lineární zobrazení. V prvním z následujících tvrzení navíc uvidíme, že odtud plynou a jsou tedy pak rovněž splněny podmínky:

Lineární algebra : Lineární prostor

Definice 13.1 Kvadratická forma v n proměnných s koeficienty z tělesa T je výraz tvaru. Kvadratická forma v n proměnných je tak polynom n proměnných s

Matematika B101MA1, B101MA2

Věta 12.3 : Věta 12.4 (princip superpozice) : [MA1-18:P12.7] rovnice typu y (n) + p n 1 (x)y (n 1) p 1 (x)y + p 0 (x)y = q(x) (6)

Modely Herbrandovské interpretace

1 Soustavy lineárních rovnic

1 Řešení soustav lineárních rovnic

Nechť je číselná posloupnost. Pro všechna položme. Posloupnost nazýváme posloupnost částečných součtů řady.

Matematika I 12a Euklidovská geometrie

Matematická analýza pro informatiky I. Limita funkce

Lineární algebra : Vlastní čísla, vektory a diagonalizace

Dnešní látka: Literatura: Kapitoly 3 a 4 ze skript Karel Rektorys: Matematika 43, ČVUT, Praha, Text přednášky na webové stránce přednášejícího.

Matematická analýza pro informatiky I.

K oddílu I.1 základní pojmy, normy, normované prostory

Primitivní funkce a Riemann uv integrál Lineární algebra Taylor uv polynom Extrémy funkcí více prom ˇenných Matematika III Matematika III Program

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

Vektorový prostor. Př.1. R 2 ; R 3 ; R n Dvě operace v R n : u + v = (u 1 + v 1,...u n + v n ), V (E 3 )...množina vektorů v E 3,

PŘEDNÁŠKA 7 Kongruence svazů

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA II, letní semestr 2000/2001 Michal Marvan. 14.

3. přednáška 15. října 2007

Obsah. Lineární rovnice. Definice 7.9. a i x i = a 1 x a n x n = b,

Soustavy linea rnı ch rovnic

Soustavy. Terminologie. Dva pohledy na soustavu lin. rovnic. Definice: Necht A = (a i,j ) R m,n je matice, b R m,1 je jednosloupcová.

Četba: Texty o lineární algebře (odkazy na webových stránkách přednášejícího).

VĚTY Z LINEÁRNÍ ALGEBRY

Katedra aplikované matematiky FEI VŠB Technická univerzita Ostrava luk76/la1

7. Lineární vektorové prostory

NALG 001 Lineární algebra a geometrie 1, zimní semestr MFF UK Doba řešení: 3 hodiny

Lineární programování

Těleso racionálních funkcí

i=1 λ ix i,λ i T,x i M}.Množinuvektorů

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

maticeteorie 1. Matice A je typu 2 4, matice B je typu 4 3. Jakých rozměrů musí být matice X, aby se dala provést

1 Determinanty a inverzní matice

8 Matice a determinanty

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

Matematická analýza pro informatiky I. Limita posloupnosti (I)

Interpolace, ortogonální polynomy, Gaussova kvadratura

Fakt. Každou soustavu n lineárních ODR řádů n i lze eliminací převést ekvivalentně na jednu lineární ODR

Limita a spojitost funkce a zobrazení jedné reálné proměnné

1.1 Existence a jednoznačnost řešení. Příklad 1.1: [M2-P1] diferenciální rovnice (DR) řádu n: speciálně nás budou zajímat rovnice typu

Vlastní číslo, vektor

2. Schurova věta. Petr Tichý. 3. října 2012

Co jsme udělali: Au = f, u D(A)

Matematika B101MA1, B101MA2

DRN: Kořeny funkce numericky

Matematika pro informatiky

Učební texty k státní bakalářské zkoušce Matematika Diferenciální rovnice. študenti MFF 15. augusta 2008

3 Lineární kombinace vektorů. Lineární závislost a nezávislost

Literatura: O. Zindulka: Matematika 3 (kapitola 4, kapitola 5)

2. Určete jádro KerL zobrazení L, tj. nalezněte alespoň jednu jeho bázi a určete jeho dimenzi.

Arnoldiho a Lanczosova metoda

METRICKÉ A NORMOVANÉ PROSTORY

Matematika 2 pro PEF PaE

Transkript:

FREDHOLMOVA ALTERNATIVA Pavel Jirásek 1 Abstrakt. V tomto článku se snažíme shrnout dosavadní výsledky týkající se Fredholmovy alternativy (FA). Postupně zmíníme FA na prostorech konečné dimenze, FA pro kompaktní perturbaci identity, Fredholmovy operátory a FA pro uzavřený operátor. Zároveň ukážeme souvislosti mezi nimi. Tento článek shrnuje výsledky z diplomové práce [1]. 1. Úvod Fredholmova alternativa představuje analytický nástroj, který nám umožňuje určit nutné a postačující podmínky existence a jednoznačnosti řešení rovnic. Nepodává ale žádnou informaci o tom, jak toto řešení vypadá. Motivací ke zkoumání Fredholnovy alternativy je zobecňování následující dobře známé věty, která se týká soustavy lineárních algebraických rovnic. Věta 1. Pro danou matici A o rozměrech m n platí právě jedna z následujících možností: (1) Bud má rovnice Au = f řešení u R n pro libovolnou pravou stranu f R m, (2) nebo existuje nenulové řešení rovnice A T v = 0. Potom má rovnice Au = f řešení právě tehdy, když platí (f, v) = 0, v : A T v = 0. Matici A lze chápat jako operátor z prostoru R n do prostoru R m. Tvrzení předchozí věty potom můžete zapsat v kompaktní formě R(A) N(A T ) = R m, kde R(A) je obor hodnot 1 a N(A) je nulový prostor 2 operátoru A. Má smysl se ptát, jaké vlastnosti musí mít operátor A definovaný na obecnějších prostorech, aby bylo platné tvrzení předchozí věty (nebo případně nějaké obdobné). V tomto článku se omezíme na Hilbertovy prostory, protože možnost pracovat se skalárním součinem nám výrazně usnadní situaci. 2. Fredholmova alternativa v prostorech konečné dimenze V případě, že uvažujeme operátor definovaný na prostoru, který má konečnou dimenzi, je situace poměrně jednoduchá. Tedy, necht A : X Y, dim(x) < je lineární operátor. Řešíme rovnici Au = f. Zvolíme báze prostorů X a R(A) a rovnici přepíšeme do maticového tvaru Aû = ˆf. 1 Katedra matematiky, Západočeská univerzita, Univerzitní 22, 306 14 Plzeň, email: pjirasek@kma.zcu.cz Key words and phrases. Fredholmova alternativa; Existence a jednoznačnost řešení. 1 {y H : x R n, y = Ax} 2 {x R n : Ax = o}

Nyní použijeme Fredholmovu alternativu pro matice zmíněnou v úvodu. Není složité ukázat, že pokud A je maticí operátoru A, potom A T je maticí adjungovaného operátoru A v duální bázi. Platí tedy následující věta. Věta 2. Necht A : X Y, dim(x) < je lineární operátor. Nastává právě jeden z následujících případů. (1) Rovnice Au = f má řešení pro libovolnou pravou stranu f. (2) Homogenní adjungovaná rovnice A v = 0 má nenulové řešení. 3. Fredholmova alternativa pro kompaktní operátor V této kapitole popíšeme první pokus, jak zobecnit FA pro operátory na prosterech, které nemají konečnou dimenzi. V tomto případě již samotná linearita operátoru tvrzení typu FA nezaručuje. Nejprve tedy budeme uvažovat, že operátor A je kompaktní perturbace identity. Dříve než samotnou FA dokážeme klíčové pomocné tvrzení. Lemma 1. Necht A : D(A) H, kde H je Hilbertův prostor, je lineární operátor definovaný na husté podmnožině prostoru H. Potom platí H = R(A) N(A ). Důkaz. N(A ) je uzavřený, lineární podprostor prostoru H, proto stačí dokázat, že platí rovnost R(A) = N(A ). Nejdříve ukážeme, že R(A) = N(A ). Necht x R(A), potom platí 0 = (Ay, x) = (y, 0) y D(A). A z definice adjungovaného operátoru plyne, že x D(A ) a A x = 0, tedy x N(A ) a R(A) N(A ). Necht x N(A ), potom platí 0 = (y, A x) = (Ay, x) y D(A). Tedy x R(A) a N(A ) R(A). Ukázali jsme, že N(A ) = R(A). Přejdeme-li k ortogonálním doplňkům dostáváme N(A ) = R(A). Abychom dokázali Fredholmovu alternativu potřebujeme dokázat následující rozklad. H = R(A) N(A ). Potřebujeme tedy ještě dokázat uzavřenost oboru hodnot operátoru A. A to, že tato vlastnost platí pro kompaktní perturbaci identity, plyne z vlastností spektra kompaktních, samoadjungovaných operátorů. Následuje tedy FA tak, jak je známá z klasických učebnic funkcionální analýzy, např. [3]. Věta 3. Necht C je kompaktní, samoadjungovaný operátor na Hilbertově prostoru H. (1) K tomu, aby rovnice (C λi)u = f měla pro λ 0 řešení pro každou pravou stranu f H, je nutné a stačí, aby rovnice (C λi)v = 0 měla pouze triviální řešení (tj. aby λ nebylo vlastní číslo operátoru C). Řešení rovnice (C λi)u = f je pak určeno jednoznačně.

(2) Je-li λ 0 vlastní číslo operátoru C, je rovnice (C λi)u = f řešitelná právě tehdy, když její pravá strana f je ortogonální ke všem řešením rovnice (C λi)v = 0. V následujících kapitolách ukážeme, že předpoklad samoadjungovansti operátoru C není klíčový a je možné ho odstranit. 4. Fredholmovy operátory V této kapitole vyzkoušíme jiný přístup k našemu problému. Místo toho abychom hledali vlastnosti operátoru, které jsou postačující ke splnění FA, zadefinujeme operátor, který FA splňuje, a charakterizujeme ho. Definice. Omezený, lineární operátor A : H H, kde H je Hilbertův prostor, nazveme Fredholmův, právě když a dim N(A) = dim N(A ) := n < R(A) = R(A), R(A ) = R(A ). První vlastnost nám pomůže operátory dobře charakterizovat. Díky druhé vlastnosti Fredholmovy operátory splňují FA. Ve článku [5] bylo dokázáno, že operátor A je Fredholmův právě tehdy, když existují izomorfismus B 3 a operátor F, jehož obor hodnot je prostor konečné dimenze 4, takové, že platí rovnost A = B + F. Přestože tento výsledek je velice hezký a srozumitelný, je požadavek na konečnost dimenze nulových prostorů operátorů A a A poněkud umělý. Později ukážeme, že charakterizace operátorů, které splňují FA, uvedená v následující kapitole je obecnější a tento požadavek si neklade. 5. Fredholmova alternativa pro uzavřený operátor Výsledky v této kapitole byly motivány snahou zobecnit FA pro operátory, které nejsou spojité. Připomeňme si lemma 1, které po operátoru požaduje pouze linearitu a hustý definiční obor. Opět potřebujeme najít třídu takových operátorů, které mají uzavřený obor hodnot. Věta 4. Necht A : D(A) H, kde H je Hilbertův prostor, je uzavřený operátor definovaný na husté podmnožině prostoru H a existuje konstanta c > 0, pro kterou platí Ax c x x D(A) N(A). (1) Potom je R(A) uzavřená množina, tedy R(A) = R(A). Důkaz. Nulový prostor uzavřeného operátoru A je uzavřený podprostor prostoru H. Proto platí H = N(A) N(A). 3 Necht X a Y jsou Banachovy prostory. Lineární, omezený operátor A : X Y nazveme izomorfismem, pokud R(A) = Y a N(A) = {0} 4 dim(r(a)) <

Necht {x n } D(A) je taková posloupnost, pro kterou platí Ax n = y n y. Prvky x n můžeme psát ve tvaru x n = u n + v n, kde u n N(A) a v n N(A). Platí tedy Ax n = Au n = y n a y n y m = Au n Au m = A(u n u m ) c u n u m. Dokázali jsme, že posloupnost {u n } je Cauchyovská v prostoru H, a tedy konverguje k nějakému prvku u. Z uzavřenosti operátoru A plyne, že u D(A) a Au = y. Důsledek. Pro operátor A splňující předpoklady předchozí věty platí FA. Tedy N(A ) R(A) = H. (2) 6. Souvislosti Víme tedy, že na prostorech nekonečné dimenze platí FA pro následující tři typy operátorů kompaktní perturbace identity Fredholmovy operátory uzavřené operátory, které splňují nerovnost 1 V této kapitole ukážeme, že libovolná kompaktní perturbace identity je Fredholmův operátor. Ukážeme také, že každý lineární, spojitý operátor, pro který platí Fredholmova alternativa 5, splňuje nerovnost 1. Uvažujme lineární, kompaktní operátor C : H H, kde H je Hilbertův prostor a dokažme, že C λi, kde λ je nenulové komplexní číslo a I je identita na prostoru H, je Fredholmův operátor. Ukážeme, že operátor C λi lze zapsat ve tvaru B +F, kde B je izomorfismus a F je operátor konečného řádu. Na Hilbertově prostoru platí, že pro každý kompaktní operátor (C) existuje posloupnost operátorů konečného řádu ({F n } n=1), která k němu konverguje 6 (např. [4] Proposition 2.2.6). Vybereme z této posloupnosti takový operátor F, aby platilo C F < λ. (3) Označme E = C F. Protože operátory C a F jsou lineární, je lineární i operátor E. Platí tedy C λi = F + E λi. Zbývá tedy dokázat, že E λi je izomorfismus. Nedříve ukažme, že N(E λi) obsahuje pouze nulový prvek. Předpokládejme, že existuje prvek u 0 0, pro který platí (E λi)u 0 = 0. Z linearity (E λi) plyne, že tuto rovnici řeší i prvek ũ 0 = (A F )ũ 0 = Eũ 0 = λũ 0 = λ ũ 0 = λ. To je ale spor s (3). N(E λi) tedy obsahuje pouze nulový prvek. u0 u. Platí ũ 0 0 = 1 a 5 Tím je myšleno, že pro něj platí rozklad prostoru 2. 6 Myšlena konvergence vůči standardní operátorové normě A = sup u 1 Au

Ješte je třeba ukázat, že R(E λi) = H. Pro libovolný (daný) prvek v H musíme najít prvek u H, pro který platí (E λi)u = v, Eu λu = v, λu = Eu v, u = Eu v. (4) λ Označme K(u) = Eu v λ. Pro libovolné dva prvky u 1, u 2 H platí Ku 1 Ku 2 = Eu 1 v Eu 2 v = Eu 1 Eu 2 = λ λ λ = E(u 1 u 2 ) E λ λ u 1 u 2. Protože E λ < 1 7, je K kontrahující operátor a rovnice (4) má podle Banachovy věty o kontrakci (např. [2], str. 86) právě jedno řešení pro libovolný prvek v. Tím jsme dokázali, že E λi je izomorfismus, a tedy C λi je Fredholmův operátor. Fakt, že každý lineární, spojitý operátor, pro který platí Fredholmova alternativa, splňuje nerovnost 1 plyne z následujícího důsledku věty o otevřeném zobrazení. Věta 5. Necht X, Y jsou Banachovy prostory a A L(X, Y ) 8 je prostý. Potom je množina R(A) uzavřená právě tehdy, když existuje konstanta c > 0 taková, že platí Ax c x x X. Otevřenou otázkou zůstává následující problém. Věta 6. Necht A : D(A) H, kde H je Hilbertův prostor, je lineární, uzavřený operátor a D(A) = H. Jsou následující dvě vlastnosti jsou ekvivaletní? (1) Ax c x x D(A) N(A) (2) N(A ) R(A) = H. Víme, že pokud bychom zaměnili slovo uzavřený slovem spojitý, byly by tvrzení ekvivaletní 9. Pokud ale uvažujeme pouze uzavřené operátory, víme, že z tvrzení (1) plyne tvrzení (2). Bohužel opačnou implikaci se nám ještě nepodařilo dokázat nebo vyvrátit. 7 Díky (3). 8 L(X, Y ) je množina všech lineárních, spojitých operátorů z prostoru X do prostoru Y. 9 To je důsledkem předchozí věty.

Reference [1] P. Jirásek: Fredholmova Alternativa (2009) [2] A. Kufner, P. Drábek: Úvod do funkcionální analýzy (1993) [3] A. Kufner, P. Drábek: Funkcionální analýza (1994) [4] P. Drábek, J. Milota: Basic Facts from Linear Analysis (2005) [5] A. G. Ramm: A Simple Proof of the Fredholm Alternative and a Characterization of the Fredholm Operators (2001)