Kể từ A: D (A) → L2 (Ω) là một toán tử tuyến tính tích cực tự liên hợp đông được xác định
với tên miền D (A) ⊂ L2 (Ω) và với chỉ những thuốc làm tiêu độc nhỏ gọn, A có một phổ rời rạc
mà chỉ có giá trị riêng dương { λk} ∞ k = 1 thỏa mãn
0 <λ1? λ2? ...., Λk → ∞, khi k → ∞,
và eigenfunctions tương ứng {ek} ∞ k = 1 soạn một cơ sở trực chuẩn của
không gian Hilbert L2 (Ω) sao cho
(ej, ek) = δjk và Aek = λkek , j, k = 1, 2, ...
Do đó chúng ta có thể xác định các không gian điện phân đoạn và các nhà khai thác như sau
đang được dịch, vui lòng đợi..