În matematică , operatorul Laplace discret este analog cu operatorul Laplace continuu , definit ca o relație pe un grafic sau o grilă discretă . În cazul unui graf cu dimensiuni finite (având un număr finit de vârfuri și muchii), operatorul Laplace discret are o denumire mai generală: matricea Laplace .
Noțiunea de operator Laplace discret provine din probleme fizice precum modelul Ising și gravitația cuantică în buclă și din studiul sistemelor dinamice . Acest operator este folosit și în matematica computațională ca analog al operatorului Laplace continuu. Cunoscut sub numele de filtru Laplace, acesta își găsește adesea aplicație în procesarea imaginilor . În plus, operatorul este folosit în învățarea automată pentru grupare și învățarea semi-automatizată pe graficele de vecinătate.
Operatorul Laplace discret este adesea folosit în procesarea imaginilor, cum ar fi aplicațiile de detectare a marginilor sau de estimare a mișcării. Laplacianul discret este definit ca suma derivatelor secunde și este calculat ca suma picăturilor de pe vecinii pixelului central.
Implementare în procesarea imaginilorPentru semnale unidimensionale, bidimensionale și tridimensionale, Laplacianul discret poate fi specificat ca o convoluție cu următoarele nuclee:
Filtrul 1D:
sau cu diagonale:
Filtru 2D:
pentru primul plan = ; pentru al doilea ; pentru a treia
Aceste nuclee sunt derivate folosind derivate parțiale discrete.
Există diferite definiții ale Laplacianului discret, care diferă în semn și factor de scară (uneori medii la vârfurile învecinate, uneori doar suma; aceasta este irelevantă pentru un grafic obișnuit ).
Fie G =( V , E ) un grafic cu vârfurile V și muchiile E . Definim o funcție de valori de la vârfurile graficului până la inel . Atunci laplacianul discret al va fi definit ca
unde d ( w , v ) este funcția de distanță dintre vârfurile graficului. Această sumă este pe cei mai apropiați vecini ai v . Vârfurile graficului final pot fi numerotate, apoi maparea poate fi scrisă ca un vector coloană ale cărui elemente sunt valorile mapării: . Definiția de mai sus a Laplacianului poate fi rescrisă și sub formă vectorială folosind matricea Laplace :
Dacă muchiile graficului au ponderi, adică funcția de greutate este dată , atunci definiția poate fi scrisă ca
unde este greutatea muchiei .
Îndeaproape se află definiția operatorului de mediere :
Spectrul laplacianului discret este de interes cheie; când are un spectru auto-adjunct , este real . Dacă , atunci spectrul se află în segment (în timp ce operatorul de mediere are valorile spectrale în ) și conține zero (pentru funcții constante). Cea mai mică valoare proprie diferită de zero se numește interval spectral . De obicei, se distinge și conceptul de rază spectrală, care este de obicei definită ca cea mai mare valoare proprie.
Vectorii proprii sunt independenți condiționat (pentru graficele obișnuite) și sunt similari cu vectorii proprii ai unui operator de mediere (diferiți în plus), deși valorile proprii pot diferi prin convenție.
Dacă un grafic este o rețea pătrată infinită, atunci definiția sa a Laplacianului poate fi legată de Laplacianul continuu prin limita rețelei infinite. De exemplu, în cazul unidimensional pe care îl avem
Această definiție a laplacianului este adesea folosită în matematica computațională și procesarea imaginilor . În acest din urmă caz, este considerat ca un fel de filtru digital , ca un filtru de limită , numit filtru Laplace.
Să fie un potențial dat pe grafic. Rețineți că P poate fi considerat și ca un operator multiplicativ care acționează în diagonală pe :
Apoi , există operatorul Schrödinger discret , analog operatorului Schrödinger continuu .
Dacă numărul de muchii ale unui vârf este mărginit uniform, atunci H este mărginit și autoadjunct.
Proprietățile spectrale ale Hamiltonianului său pot fi derivate din teorema lui Stone ; aceasta este o consecință a dualității dintre mulțimile parțial ordonate și algebra booleană .
Pe zăbrele obișnuite, operatorul are de obicei atât o undă călătorie, cât și soluții de localizare Anderson , în funcție de periodicitatea sau aleatorietatea potențialului.
Funcția lui Green a operatorului Schrödinger discret este dată de rezoluția operatorului liniar :
unde este înțeles ca simbolul Kronecker pe grafic: adică este egal cu 1 dacă v = w și 0 în caz contrar.
Pentru fix și complex , funcția lui Green este considerată ca o funcție a lui v , o soluție unică a ecuației