Administratie | Alimentatie | Arta cultura | Asistenta sociala | Astronomie |
Biologie | Chimie | Comunicare | Constructii | Cosmetica |
Desen | Diverse | Drept | Economie | Engleza |
Filozofie | Fizica | Franceza | Geografie | Germana |
Informatica | Istorie | Latina | Management | Marketing |
Matematica | Mecanica | Medicina | Pedagogie | Psihologie |
Romana | Stiinte politice | Transporturi | Turism |
Ecuatii cu nucleu compact
Vom studia ecuatia de forma :
x ─ λU(x) =y (*
unde U este un operator liniar continuu, care aplica spatiul Banach X in el insusi. O astfel de ecuatie va fi numita ecuatie de speta a doua, iar operatorul U - nucleul ecuatiei. Aceasta terminologie este imprumutata din teoria ecuatiilor integrale, unde se numeste ecuatie de speta a doua ecuatia
spre deosebire de ecuatia de speta intai :
Desi formal, ecuatia functionala (*) poate fi scrisa si sub forma unei ecuatii "de speta intai"
T (x) = y (T=I-λU),
totusi separarea operatorului identitate se dovedeste a fi indicata, intrucat operatorul U poate avea proprietatile mai bune decat operatorul T, care sa permita sa se studieze mai complet ecuatia (*)
Consideram :
x ─ U(x) =y (x, y є X)
si adjuncta ei
g ─ U*(g f (f, g є X*)
presupunand ca U (prin urmare si U*) sunt operatori compacti in spatiul Banach X. Notam T = I ─ U, unde, prin I s-a notat operatorul identitate in spatiul X. Cu aceasta notatie ecuatia (1) poate fi scrisa mai scurt :
T(x = y
Iar ecuatia (2) :
T*(g f
Intrucat T* = I* ─ U* si I*este operatorul identitate in X*.
I.1 Proprietati ale operatorului T
Vom demonstra in prealabil trei leme.
Lema I.1.1 Multimea T (X) este inchisa.
Demonstratie Sa notam
si sa consideram spatiul cat
si operatorulcare aplica in .Vom nota prin φ omomorfismul natural al spatiului X pe . Fie T(X) un sir convergent catre un element X. Deoarece exista elementele astfel ca Din definitia normei in spatiul cat exista astfel incat
Vom demonstra ca sirul este marginit. In caz contrar, trecand, daca este necesar, la un subsir, putem presupune ca In virtutea relatiei (3),sirul este marginit, de aceea, trecand inca o data la
un subsir, putem considera ca converge. Fie, de exemplu, Avand in vedere ca T(xn) = T (xn) =y putem scrie
si prin urmare,
deci z є Xo. Dar atunci
ceea ce este imposibil, intrucat = 1 pentru orice n=1,2, . .
Astfel, sirul si conform relatiei (3), si sirul este marginit. Putem ,de aceea considera ca este un sir convergent. Daca, de exemplu, U ()x atunci
Deci obtinem
ceea ce trebuia demonstrat.
Lema I.1.2. Sirul de multimi
este crescator si contine doar un numar finit de multimi distincte.
Demonstratie. Prima parte a afirmatiei lemei este aproape evidenta, deoarece, daca atunci si cu atat mai mult adica
x
Pentru demonstrarea celei de-a doua parti, vom nota si vom stabili ca, daca, pentru un n=1,2, . ,Xn = Xn atunci si
Sa alegem . Aceasta inseamna ca
si, prin urmare,T(x)X=X.Dar atunci TT, adica x є Xn+1. Astfel Deoarece incluziunea opusa are loc intotdeauna, avem, in definitiv, ca
Sa presupunem acum ca pentru fiecare n = 1,2, .
Fiecare Xn este subspatiu al spatiului Xn de aceea, conform lemei cvasiperpendiculare, in Xn poate fi ales un element normat astfel ca
Fie m n. Sa consideram elementul
unde am notat Vom demonstra ca m . In acest scop,
Deoarece
Tinand seama de inegalitatea (4), avem
Pe de alta parte este un sir marginit, deci datorita compacitatii operatorului U din sirul se poate extrage un subsir convergent, ceea ce contrazice (5)
Lema I.1.3. Printre multimile
exista doar un numar finit de multimi distincte.
Demonstratia este asemanatoare in linii generale cu demonstratia lemei precedente si ca urmare o vom da fara a intra in amanunte.
Sa observam ca multimile (6) sunt inchise conform lemei I.1.1 si in afara de aceasta, formeaza un sir descrescator. Este clar ca din egalitatea
pentru un n, rezulta ca
Si lema este, in acest caz, demonstrata.
Admitand ca vom construi cu ajutorul lemei cvasiperpendiculare un sir astfel incat
(7)
Fie m n. Ca si in lema I.1.2, avem
Dar
Si astfel
. Din (7) rezulta atunci
care contrazice compacitatea operatorului U
I.2. Teorema de caracterizare a operatorului T
Sa notam r cel mai mic dintre numerele intregi nenegative n pentru care
. Daca, in particular, , punem r = 0
Fie apoi
.
Urmatoarea teorema contine o caracterizare a operatorului T si prin urmare, a ecuatiei (1).
Teorema I.2.1.
a) Operatorul T aplica injectiv subspatiul X' pe el insusi.
b) Subspatiul este finit dimensional. Operatorul T aplica in el insusi.
c)Fiecare element x є X poate fi reprezentat in mod unic sub forma
pe langa aceasta, exista o constanta M 0 astfel incat
d) Operatorul U admite reprezentarea
unde sunt operatori compacti, care aplica spatiul X in X' operatorul ) si in (operatorul ). In plus operatorul are invers bilateral continuu si este valabila relatia
Demonstratie. a) Deoarece
Daca T(x)=0, unde atunci, alegand conform lemei I.1.2 astfel ca , vom avea si prin urmare exista astfel ca Dar atunci si de aceea de unde avem
b)Avem
unde operatorul U este o combinatie liniara de puteri pozitive ale operatorului U.
Astfel operatorul U este compact. Deoarece pentru rezulta ca orice multime marginita din este relativ compacta. este finit-dimensional.
Multimea in cazul este evident Daca si incluziunea este triviala.
c) Sa notam operatorul T considerat doar pe multimea . Pe baza lemei I.1.1 aplicata operatorului tragem concluzia ca multimea este inchisa si prin urmare este spatiul Banach.De aici operatorul T care aplica injectiv X' pe el insusi are invers continuu
Fie x un element arbitrar din X, sa punem
(12)
Este clar ca x' є X' si deoarece
─ ─
ceea ce demonstreaza posibilitatea reprezentarii lui x sub forma (8). Daca este o alta reprezentare a elementului x in forma (8) deci astfel incat atunci
+
Dar deoarece si de aceea
Si unicitatea reprezentarii (8) este demonstrata.
Existenta estimarilor (9)rezulta pe baza relatiilor (12) din continuitatea operatorului
d) Avand in vedere ca U=I ─ T avem pentru
deci operatorul U aplica in el insusi. Analog ne convingem ca
Sa punem pentru arbitrar
(13)
Unde si sunt cei din reprezentarea elementului x in forma (8). Tinand seama de estimarile (9) ne convingem fara dificultate ca si sunt operatori liniari continui. In afara de aceasta este clar ca si , Mai departe este evident ca
Din aceste relatii rezulta ca
Operatorul aplica spatiul X in spatiul finit-dimensional in care fiecare multime marginita este relativ compacta. De aceea U este operator compact. Din U=U-Use poate trage concluzia ca operatorul U este compact.
Sa demonstram , in sfarsit, ca operatorul are invers bilateral continuu. Pentru aceasta este suficient sa stabilim in primul rand ca implica x = 0 si in al doilea rand ca . Fie Reprezentand x sub forma (8) obtinem ca
Deoarece vom avea ca urmare a unicitatii reprezentarii elementului 0 sub forma (8),
si pe baza punctului a), . De aici
Sa consideram acum un element arbitrar . Sa-l reprezentam sub forma
si sa punem
Deoarece
Si
Asadar
Teorema este in intregime demonstrata.
Observatie. Fie m cel mai mic dintre numerele intregi nenegative n astfel ca . Atunci m = r.
In acest scop luand si reprezentandu-l sub forma (8) obtinem
ceea ce este posibil in virtutea punctului a) doar pentru De aici si prin urmare .
Mai departe , daca , atunci punand x in forma (8) vom avea
si prin urmare de asemenea .
Teorema urmatoare este consecinta unui caz particular al acestei observatii.
Teorema I.2.2. Pentru ca ecuatia (1) sa aiba solutie pentru orice y є X este necesar si suficient ca ecuatia omogena
(15)
sa aiba solutie unica (evident x
Intr-adevar rezolubilitatea ecuatiei (1) pentru orice y є X inseamna ca astfel spus ca r = 0. Unicitatea solutiei ecuatiei (15) este echivalenta cu faptul ca m = 0.
I.3.Legatura ecuatiei cu adjuncta ei
In teorema urmatoare se stabileste o legatura intre ecuatiile (1) si (2).
Teorema I.3.1 Multimile N(T) si N(T) au aceeasi dimensiune finita.
Demonstratie. Deoarece si pe baza punctului b)al teoremei I.2.1, este finit - dimensional, rezulta ca N(T) va fi finit - dimensional. Intrucat U este tot operator compact, cele spuse sunt aplicabile si multimii N(T)
Fie n dimensiunea lui N(T) si m dimensiunea lui N(T). Fie un sistem de elemente liniar independente din N(T) si elementele liniar independente din N(T)
Intrucat elementele sunt liniar independente exista un sistem biortogonal de functionale
Analog exista elementele astfel ca
Sa presupunem ca . Sa consideram in spatiul X operatorul V=U+W unde
Deoarece operatorul liniar W aplica X intr-un spatiu finit - dimensional el este compact. Inseamna ca si V este operator compact. Sa consideram ecuatia
Fie o solutie a sa :
Din aceasta egalitate rezulta ca
adica tinand seama de relatiile (17)
si prin urmare a faptului ca vom avea
Impreuna cu (19) aceasta da , adica si deci poate fi reprezentat sub forma
Deoarece in virtutea relatiilor (16) din (21) rezulta ca si de aceea si . Astfel ecuatia (18)are solutie unica. Conform teoremei I.2.2 ecuatia neomogena corespunzatoare este rezolubila pentru orice membru drept. In particular ecuatia
are solutie. Sa notam solutia acestei ecuatii. Pe de o parte ,
Insa pe de alta parte
Astfel trebuie ca
Posibilitatea inegalitatii se exclude prin rationamente analoage. Anume, in locul ecuatiei (18) trebuie considerata in spatiul ecuatia
I.4.Alternativa Fredholm
Reunind teoremele demonstrate mai sus, obtinem urmatorul rezultat.
Teorema I.4.1. Fie ecuatiile (1) si (2) au solutii pentru orice membru drept si atunci solutiile lor sunt unice; fie ecuatiile omogene
au acelasi numar finit de solutii liniar independente respectiv . In acest ultim caz pentru ca ecuatia (1) (respectiv ecuatia (2)sa aiba solutie , este necesar si suficient ca
iar solutia generala a ecuatiei (1) are forma :
iar solutia generala a ecuatiei (2):
unde este o solutie oarecare a ecuatiei(1) (respectiv2) iar sunt constatate arbitrare.
Avand in vedere analogia cu teorema cunoscuta din teoria ecuatiilor integrale , teorema de fata se numeste alternativa lui Fredholm
Acest document nu se poate descarca
E posibil sa te intereseze alte documente despre:
|
Copyright © 2024 - Toate drepturile rezervate QReferat.com | Folositi documentele afisate ca sursa de inspiratie. Va recomandam sa nu copiati textul, ci sa compuneti propriul document pe baza informatiilor de pe site. { Home } { Contact } { Termeni si conditii } |
Documente similare:
|
ComentariiCaracterizari
|
Cauta document |