Исследуйте спектр непрерывного оператора на бесконечномерном пространстве (например, оператор дифференцирования на подходящем классе функций): какие понятия из теории операторов необходимы и приведите пример, где спектр не состоит из собственных значений
Коротко — какие понятия нужны, затем конкретный пример. Необходимые понятия: - Банахово/Гильбертово пространство, плотная область оператора, замкнутый и плотнозаданный оператор. - Резольвента и спектр: ρ(T)={λ∈C:(T−λI)−1∈B(X)}\rho(T)=\{\lambda\in\mathbb C:(T-\lambda I)^{-1}\in\mathcal B(X)\}ρ(T)={λ∈C:(T−λI)−1∈B(X)}, σ(T)=C∖ρ(T)\sigma(T)=\mathbb C\setminus\rho(T)σ(T)=C∖ρ(T). - Разложение спектра: точечный спектр (собственные значения) σp(T)={λ:ker(T−λI)≠{0}}\sigma_p(T)=\{\lambda:\ker(T-\lambda I)\neq\{0\}\}σp(T)={λ:ker(T−λI)={0}}, непрерывный спектр σc(T)\sigma_c(T)σc(T) (инъективно, образ плотен, но не совпадает с пространством), остаточный спектр σr(T)\sigma_r(T)σr(T) (образ не плотен). - Для нормальных/самосопряжённых операторов: спектр лежит на оси(для самосопр.) и нет остаточного спектра. - Техника: преобразование (Фурье) переводит дифференцирование в умножение, спектр оператора умножения — существенный образ множителя. Пример: оператор дифференцирования на L2(R)L^2(\mathbb R)L2(R). Рассмотрим оператор DDD на L2(R)L^2(\mathbb R)L2(R) заданный (Df)(x)=f′(x)(Df)(x)=f'(x)(Df)(x)=f′(x) с доменом D(D)=H1(R)\mathcal D(D)=H^1(\mathbb R)D(D)=H1(R). Под действием преобразования Фурье F\mathcal FF получаем FDF−1=Miξ,(Miξf^)(ξ)=iξf^(ξ).
\mathcal F D \mathcal F^{-1}=M_{i\xi},\qquad (M_{i\xi}\hat f)(\xi)=i\xi\hat f(\xi). FDF−1=Miξ,(Miξf^)(ξ)=iξf^(ξ).
Спектр оператора умножения равен существенному образу множителя, поэтому σ(D)=iR.
\sigma(D)=i\mathbb R. σ(D)=iR. Отсутствие собственных значений. Если λ\lambdaλ — собственное значение, то существует ненулевое f∈H1(R)⊂L2(R)f\in H^1(\mathbb R)\subset L^2(\mathbb R)f∈H1(R)⊂L2(R) с f′=λff'=\lambda ff′=λf. Решения этого ОДУ имеют вид f(x)=Ceλxf(x)=Ce^{\lambda x}f(x)=Ceλx; ни для какого λ∈C\lambda\in\mathbb Cλ∈C ненулевая такая функция не принадлежат L2(R)L^2(\mathbb R)L2(R) (кроме тривиального C=0C=0C=0). Аналогично через Фурье: при λ\lambdaλ из спектра (iξ−λ)f^(ξ)=0п.в.,
(i\xi-\lambda)\hat f(\xi)=0\quad\text{п.в.}, (iξ−λ)f^(ξ)=0п.в.,
откуда f^=0\hat f=0f^=0 в L2L^2L2. Значит σp(D)=∅\sigma_p(D)=\varnothingσp(D)=∅. Характер спектра. Для любого λ∈iR\lambda\in i\mathbb Rλ∈iR оператор D−λID-\lambda ID−λI инъективен, образ плотен, но обратный оператор не ограничен (из-за деления на функцию, vanishing в точке), следовательно такие λ\lambdaλ лежат в непрерывном спектре: σc(D)=iR\sigma_c(D)=i\mathbb Rσc(D)=iR, σr(D)=∅\sigma_r(D)=\varnothingσr(D)=∅. Краткое резюме: для D=d/dxD=d/dxD=d/dx на L2(R), D=H1(R)L^2(\mathbb R),\ \mathcal D=H^1(\mathbb R)L2(R),D=H1(R) спектр σ(D)=iR\sigma(D)=i\mathbb Rσ(D)=iR полностью непрерывный (нет собственных значений).
Необходимые понятия:
- Банахово/Гильбертово пространство, плотная область оператора, замкнутый и плотнозаданный оператор.
- Резольвента и спектр: ρ(T)={λ∈C:(T−λI)−1∈B(X)}\rho(T)=\{\lambda\in\mathbb C:(T-\lambda I)^{-1}\in\mathcal B(X)\}ρ(T)={λ∈C:(T−λI)−1∈B(X)}, σ(T)=C∖ρ(T)\sigma(T)=\mathbb C\setminus\rho(T)σ(T)=C∖ρ(T).
- Разложение спектра: точечный спектр (собственные значения) σp(T)={λ:ker(T−λI)≠{0}}\sigma_p(T)=\{\lambda:\ker(T-\lambda I)\neq\{0\}\}σp (T)={λ:ker(T−λI)={0}}, непрерывный спектр σc(T)\sigma_c(T)σc (T) (инъективно, образ плотен, но не совпадает с пространством), остаточный спектр σr(T)\sigma_r(T)σr (T) (образ не плотен).
- Для нормальных/самосопряжённых операторов: спектр лежит на оси(для самосопр.) и нет остаточного спектра.
- Техника: преобразование (Фурье) переводит дифференцирование в умножение, спектр оператора умножения — существенный образ множителя.
Пример: оператор дифференцирования на L2(R)L^2(\mathbb R)L2(R).
Рассмотрим оператор DDD на L2(R)L^2(\mathbb R)L2(R) заданный (Df)(x)=f′(x)(Df)(x)=f'(x)(Df)(x)=f′(x) с доменом D(D)=H1(R)\mathcal D(D)=H^1(\mathbb R)D(D)=H1(R). Под действием преобразования Фурье F\mathcal FF получаем
FDF−1=Miξ,(Miξf^)(ξ)=iξf^(ξ). \mathcal F D \mathcal F^{-1}=M_{i\xi},\qquad (M_{i\xi}\hat f)(\xi)=i\xi\hat f(\xi).
FDF−1=Miξ ,(Miξ f^ )(ξ)=iξf^ (ξ). Спектр оператора умножения равен существенному образу множителя, поэтому
σ(D)=iR. \sigma(D)=i\mathbb R.
σ(D)=iR.
Отсутствие собственных значений. Если λ\lambdaλ — собственное значение, то существует ненулевое f∈H1(R)⊂L2(R)f\in H^1(\mathbb R)\subset L^2(\mathbb R)f∈H1(R)⊂L2(R) с f′=λff'=\lambda ff′=λf. Решения этого ОДУ имеют вид f(x)=Ceλxf(x)=Ce^{\lambda x}f(x)=Ceλx; ни для какого λ∈C\lambda\in\mathbb Cλ∈C ненулевая такая функция не принадлежат L2(R)L^2(\mathbb R)L2(R) (кроме тривиального C=0C=0C=0). Аналогично через Фурье: при λ\lambdaλ из спектра
(iξ−λ)f^(ξ)=0п.в., (i\xi-\lambda)\hat f(\xi)=0\quad\text{п.в.},
(iξ−λ)f^ (ξ)=0п.в., откуда f^=0\hat f=0f^ =0 в L2L^2L2. Значит σp(D)=∅\sigma_p(D)=\varnothingσp (D)=∅.
Характер спектра. Для любого λ∈iR\lambda\in i\mathbb Rλ∈iR оператор D−λID-\lambda ID−λI инъективен, образ плотен, но обратный оператор не ограничен (из-за деления на функцию, vanishing в точке), следовательно такие λ\lambdaλ лежат в непрерывном спектре: σc(D)=iR\sigma_c(D)=i\mathbb Rσc (D)=iR, σr(D)=∅\sigma_r(D)=\varnothingσr (D)=∅.
Краткое резюме: для D=d/dxD=d/dxD=d/dx на L2(R), D=H1(R)L^2(\mathbb R),\ \mathcal D=H^1(\mathbb R)L2(R), D=H1(R) спектр σ(D)=iR\sigma(D)=i\mathbb Rσ(D)=iR полностью непрерывный (нет собственных значений).