Un operator pozitiv într-un spațiu Hilbert este un operator liniar astfel încât pentru oricare dintre spațiile Hilbert. Pentru un operator pozitiv folosiți notația [1] . Uneori, operatorul nul nu este clasificat ca operator pozitiv și este scris dacă operatorul este pozitiv și dacă este pozitiv sau zero. [2]
Un operator pozitiv mărginit este autoadjunct , iar spectrul său se află pe semiaxa pozitivă , iar aceasta este o condiție necesară și suficientă [1] . Un operator pozitiv nemărginit este simetric și admite o extensie autoadjunctă, care este și operator pozitiv [3] [4] .
Următoarele proprietăți sunt valabile pentru operatorii liniari mărginiți .
Fiecare operator pozitiv mărginit are o rădăcină pătrată pozitivă unică , adică un operator astfel încât . Dacă operatorul este inversabil , atunci este și inversabil. Rădăcina pătrată comută cu orice operator comutabil cu [7] [8] .
Orice operator liniar mărginit într-un spațiu Hilbert are o descompunere , unde este un operator pozitiv și este o izometrie parțială. Dacă este un operator normal , atunci operatorul din descompunerea polară este unitar .
Pe multimea operatorilor simetrici se introduce o relatie de ordine partiala : sau daca operatorul este pozitiv, cu alte cuvinte, pentru oricare dintre spatiile Hilbert . Această relație de ordine are următoarele proprietăți.
Un operator simetric se numește semi-mărginit inferior dacă există un număr real astfel încât
pentru oricare din domeniul de aplicare al operatorului ; cea mai mare dintre toate valorile pentru care este valabilă această inegalitate se numește infimul operatorului . Operatorul semilimitat superior și limita sa superioară [9] sunt definite în mod similar .
Operatorul pozitiv este un caz special al unui operator semi-mărginit mai jos. Pe de altă parte, orice operator semi-restricționat poate fi exprimat în termeni de operator pozitiv folosind una dintre următoarele formule:
unde este operatorul de identitate [10] .
expansiunea lui Friedrich. Orice operator simetric semi-mărginit (în special, un operator pozitiv) poate fi extins la un operator auto-adjunct semi-mărginit , iar operatorul va avea aceeași limită (superioară sau inferioară) ca [11] .
Un operator simetric (un operator cu o matrice simetrică ) într-un spațiu euclidian este numit nenegativ dacă pentru oricare . În acest caz, forma pătratică se numește nenegativă , iar matricea operatorului se numește definită nenegativă .
Un operator simetric se numește definit pozitiv dacă pentru orice vector din . În acest caz, forma pătratică și matricea operatorului sunt numite definite pozitive .
Este posibil să se determine dacă o matrice este definită pozitivă sau nenegativă folosind criteriul Sylvester [12] .
Un exemplu de operator semi-mărginit mai jos este operatorul Sturm-Liouville
Unde
daca este considerat in spatiu , referitor la domeniul de definitie al functiei , de doua ori continuu diferentiabil si satisfacand conditiile
unde este o constantă ; funcţiile sunt de asemenea presupuse a fi continue . Într-adevăr, se poate verifica prin calcul direct că
.Dacă , atunci operatorul este pozitiv [11] .