| 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 operatorul
care 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 T
T
, 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-U
se 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 © 2025 - 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 |