Спектр линейного оператора — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
(не показано 11 промежуточных версий 7 участников)
Строка 24: Строка 24:
  
 
{{Утверждение
 
{{Утверждение
|about=вхождение резольвенты в круг радиуса <nowiki>||А||</nowiki>
+
|about=вхождение спектра в круг радиуса <nowiki>||А||</nowiki>
 
|statement=
 
|statement=
 
<tex>\{ |\lambda| > \|A\|\} \subset \rho(A)</tex>
 
<tex>\{ |\lambda| > \|A\|\} \subset \rho(A)</tex>
Строка 48: Строка 48:
 
По определению нижней грани, <tex>\forall \varepsilon > 0 \exists n_0: r \le \|A^{n_0}\|^{\frac{1}{n_0}} < r + \varepsilon</tex>.
 
По определению нижней грани, <tex>\forall \varepsilon > 0 \exists n_0: r \le \|A^{n_0}\|^{\frac{1}{n_0}} < r + \varepsilon</tex>.
  
Любое <tex n > n_0</tex> представим как <tex>n = p_n n_0 + q_n</tex>, где <tex>q_n = 0, 1, \ldots, n_0 - 1</tex>.
+
Любое <tex> n > n_0</tex> представим как <tex>n = p_n n_0 + q_n</tex>, где <tex>q_n = 0, 1, \ldots, n_0 - 1</tex>.
  
 
Таким образом, <tex>\|A^n\| = \|A^{p_n n_0 + q_n}\| \le \|A^{p_n n_0}\| \|A^{q_n} \|\le \|A^{n_0}\|^{p_n} \|A\|^{q_n}</tex>
 
Таким образом, <tex>\|A^n\| = \|A^{p_n n_0 + q_n}\| \le \|A^{p_n n_0}\| \|A^{q_n} \|\le \|A^{n_0}\|^{p_n} \|A\|^{q_n}</tex>
Строка 54: Строка 54:
 
Значит, <tex>{\|A^n\|}^{\frac{1}{n}} \le {\|A^{n_0}\|}^{\frac{p_n}{n}} {\|A\|}^{\frac{q_n}{n}}</tex>.
 
Значит, <tex>{\|A^n\|}^{\frac{1}{n}} \le {\|A^{n_0}\|}^{\frac{p_n}{n}} {\|A\|}^{\frac{q_n}{n}}</tex>.
  
Рассмотрим <tex>{\|A^{n_0}\|}^{\frac{p_0}{n}} = {\|A^{n_0}\|}^{\frac{n_0}{p_n n_0 + q_n}} \le {\|A^{n_0}\|}^{\frac{n_0}{p_n n_0}} = \|A^{n_0}\|^{\frac{1}{n_0}} < r+ \varepsilon</tex>.
+
Рассмотрим <tex>{\|A^{n_0}\|}^{\frac{p_n}{n}} = {\|A^{n_0}\|}^{\frac{p_n}{p_n n_0 + q_n}} \le {\|A^{n_0}\|}^{\frac{p_n}{p_n n_0}} = \|A^{n_0}\|^{\frac{1}{n_0}} < r+ \varepsilon</tex>.
  
 
Теперь рассмотрим <tex>\frac{q_n}{n} \le \frac{n_0 - 1}{n} \xrightarrow[n \to \infty]{} 0</tex>, значит, <tex>\|A\|^{\frac{q_n}{n}} \to 1</tex>, то есть, <tex>\forall \varepsilon > 0 \exists n \forall n' > n: \|A\|^{\frac{q_{n'}}{n'}} \le 1 + \varepsilon</tex>.
 
Теперь рассмотрим <tex>\frac{q_n}{n} \le \frac{n_0 - 1}{n} \xrightarrow[n \to \infty]{} 0</tex>, значит, <tex>\|A\|^{\frac{q_n}{n}} \to 1</tex>, то есть, <tex>\forall \varepsilon > 0 \exists n \forall n' > n: \|A\|^{\frac{q_{n'}}{n'}} \le 1 + \varepsilon</tex>.
Строка 69: Строка 69:
 
Если сходится <tex>\sum\limits_{n=0}^{\infty} (\frac{1}{\lambda} A)^n</tex>, то он и будет совпадать с <tex>(I - \frac{1}{\lambda}  A)^{-1}</tex> (показывали это в [[Теорема_Банаха_об_обратном_операторе | теореме Банаха для I - C]])
 
Если сходится <tex>\sum\limits_{n=0}^{\infty} (\frac{1}{\lambda} A)^n</tex>, то он и будет совпадать с <tex>(I - \frac{1}{\lambda}  A)^{-1}</tex> (показывали это в [[Теорема_Банаха_об_обратном_операторе | теореме Банаха для I - C]])
  
Так как пространство банахово, операторный ряд сходится если сходится соответствующий рад из норм: <tex>\|\sum\limits_{n=0}^{\infty} (\frac1\lambda A)^n \| \le \sum\limits_{n=0}^{\infty} |\frac1\lambda|^n \|A\|^n</tex>, по радикальному признаку Коши, последний ряд сходится, если <tex>\sqrt[n]{|\frac1\lambda|^n \|A\|^n} = |\frac1\lambda| \sqrt[n]{\|A\|^n} \to |\frac1\lambda| r_\sigma < 1</tex>.
+
Так как пространство банахово, операторный ряд сходится если сходится соответствующий рад из норм: <tex>\|\sum\limits_{n=0}^{\infty} (\frac1\lambda A)^n \| \le \sum\limits_{n=0}^{\infty} |\frac1\lambda|^n \|A^n\|</tex>, по радикальному признаку Коши, последний ряд сходится, если <tex>\sqrt[n]{|\frac1\lambda|^n \|A^n\|} = |\frac1\lambda| \sqrt[n]{\|A^n\|} \to |\frac1\lambda| r_\sigma < 1</tex>.
  
 
Таким образом, при <tex>r_\sigma < |\lambda|</tex>, обратный оператор к <tex>I - \frac{1}{\lambda}A</tex> существует, то есть <tex>\lambda \in \rho(A)</tex>. Значит, спектр полностью содержится во множестве, в котором <tex>r_\sigma \ge |\lambda|</tex>.
 
Таким образом, при <tex>r_\sigma < |\lambda|</tex>, обратный оператор к <tex>I - \frac{1}{\lambda}A</tex> существует, то есть <tex>\lambda \in \rho(A)</tex>. Значит, спектр полностью содержится во множестве, в котором <tex>r_\sigma \ge |\lambda|</tex>.
Строка 78: Строка 78:
 
|statement=<tex>R_\lambda</tex> как функция из комплексного числа в ограниченный оператор, аналитична в <tex>\rho(A)</tex> и в бесконечно удаленной точке комплексной плоскости.
 
|statement=<tex>R_\lambda</tex> как функция из комплексного числа в ограниченный оператор, аналитична в <tex>\rho(A)</tex> и в бесконечно удаленной точке комплексной плоскости.
 
|proof=
 
|proof=
{{TODO|t=какая-то хурма полная. Что такое <tex>\lambda_0</tex>, например?</tex>}}
 
  
<tex>A - \lambda I = A = (A - \lambda_0 I) - (\lambda - \lambda_0)I = (A - \lambda_0 I) - (\lambda - \lambda_0)(A - \lambda_0 I)R_{\lambda_0} = (A - \lambda_0 I)(I - (\lambda - \lambda_0)R_{\lambda_0})</tex>
+
пусть <tex> \lambda_0 \in \rho(A)</tex>:
  
<tex>(I - (\lambda - \lambda_0)R_{\lambda_0}) = \sum\limits_{n=0}^{\infty} R_{\lambda_0}^n (\lambda - \lambda_0)^n</tex> {{---}} сходится при <tex>|\lambda - \lambda_0| \approx 0</tex>.
+
<tex>A - \lambda I = (A - \lambda_0 I) - (\lambda - \lambda_0)I = (A - \lambda_0 I) - (\lambda - \lambda_0)(A - \lambda_0 I)R_{\lambda_0}</tex><tex> = (A - \lambda_0 I)(I - (\lambda - \lambda_0)R_{\lambda_0})</tex> — если взять достаточно малое <tex>\lambda - \lambda_0</tex>, можно так обратить.
  
{{TODO|t=вот здесь что-то подозрительное}}
+
<tex>(I - (\lambda - \lambda_0)R_{\lambda_0}) ^ {-1} = \sum\limits_{n=0}^{\infty} R_{\lambda_0}^n (\lambda - \lambda_0)^n</tex> {{---}} сходится при <tex>|\lambda - \lambda_0| \approx 0</tex>.
  
<tex>A - \lambda I = (A - \lambda_0 I) \sum\limits_{n=0}^{\infty} R_{\lambda_0}^n (\lambda - \lambda_0)^n = \sum\limits_{n=0}^{\infty} R_{\lambda_0}^{n-1} (\lambda - \lambda_0)^n</tex>, следовательно, <tex>(A - \lambda I)^{-1}</tex> аналитична.{{TODO|t=WAT}}
+
<tex>(A - \lambda I) ^ {-1}  = R_{\lambda_0} \sum\limits_{n=0}^{\infty} R_{\lambda_0}^n (\lambda - \lambda_0)^n = \sum\limits_{n=0}^{\infty} R_{\lambda_0}^{n+1} (\lambda - \lambda_0)^n</tex>, следовательно, <tex>(A - \lambda I)^{-1}</tex> аналитична.
  
 
Также, так как <tex>A - \lambda I = -\lambda (I - \frac1\lambda A)</tex>, то при <tex>|\lambda| \approx \infty</tex>, <tex>R_\lambda = -\sum\limits_{n=0}^{\infty} \frac{A^n}{\lambda^{n-1}}</tex>, и <tex>R_\lambda</tex> аналитична при <tex>\lambda = \infty</tex>.
 
Также, так как <tex>A - \lambda I = -\lambda (I - \frac1\lambda A)</tex>, то при <tex>|\lambda| \approx \infty</tex>, <tex>R_\lambda = -\sum\limits_{n=0}^{\infty} \frac{A^n}{\lambda^{n-1}}</tex>, и <tex>R_\lambda</tex> аналитична при <tex>\lambda = \infty</tex>.
Строка 96: Строка 95:
 
<tex>\|A\| < +\infty \implies \sigma(A) \ne \emptyset</tex>
 
<tex>\|A\| < +\infty \implies \sigma(A) \ne \emptyset</tex>
 
|proof=
 
|proof=
Если <tex>L(X)</tex> (пространство линейных ограниченных операторов <tex>A: X \rightarrow X</tex>) банахово, то в нем можно рассматривать операторно степенные ряды <tex>\sum\limits_{n=0}^{\infty} A_n\lambda^n</tex>, их свойства копируют свойства обычных степенных рядов. Воспользуемся аналитичностью резольвенты: если <tex>\sigma(A) = \emptyset</tex>, то <tex> \rho(A) = \mathbb{C}</tex>, то есть в пределах любого круга и в бесконечно удаленой точке резольвента ограничена, тогда по [http://en.wikipedia.org/wiki/Liouville%27s_theorem_(complex_analysis) теореме Лиувилля] ({{TODO|t=ее надо уметь доказывать? В формулировке в википедии я не понимаю, для чего аналитичность в бесконечности. Вот [http://en.wikipedia.org/wiki/Entire_function тут] написано так: "As a consequence of Liouville's theorem, any function that is entire on the whole Riemann sphere (complex plane and the point at infinity) is constant.". А также в теореме Лиувилля требуется ограниченность всех точек в совокупности, почему В общем, разобраться надо.}}), <tex>R_\lambda</tex> — константная функция, но тогда бы все <tex>A - \lambda I</tex> были бы одинаковы, чего, очевидно, быть не может, то есть получили противоречие и спектр непуст.
+
Если <tex>L(X)</tex> (пространство линейных ограниченных операторов <tex>A: X \to X</tex>) банахово, то в нем можно рассматривать операторно степенные ряды <tex>\sum\limits_{n=0}^{\infty} A_n\lambda^n</tex>, их свойства копируют свойства обычных степенных рядов. Воспользуемся аналитичностью резольвенты: если <tex>\sigma(A) = \emptyset</tex>, то <tex> \rho(A) = \mathbb{C}</tex>, то есть в пределах любого круга и в бесконечно удаленой точке резольвента ограничена, тогда по [http://en.wikipedia.org/wiki/Liouville%27s_theorem_(complex_analysis) теореме Лиувилля] (если на всей комплексной плоскости функция <tex>f(z)</tex> равномерно ограничена, она тождественно равна постоянной) ({{TODO|t=требуется ограниченность всех точек в совокупности, непонятно почему это выполняется. Еще она формулируется для фунции в C, а не в операторы, что меня смущает. Вот [http://www.mathforum.ru/forum/read/1/572/ тут] или  [http://planetmath.org/spectrumisanonemptycompactset тут], возможно, есть объяснение}}), <tex>R_\lambda</tex> — константная функция, но тогда бы все <tex>A - \lambda I</tex> были бы одинаковы, чего, очевидно, быть не может, то есть получили противоречие и спектр непуст.
 
}}
 
}}
  
 
[[Категория: Функциональный анализ 3 курс]]
 
[[Категория: Функциональный анализ 3 курс]]

Текущая версия на 19:31, 4 сентября 2022

Эта статья находится в разработке!

В пределах этого параграфа подразумевается, что оператор [math]A[/math] — линейный, ограниченный.


Определение:
Рассмотрим некоторое [math]\lambda \in \mathbb C[/math]. Если для него существует и непрерывен оператор [math]R_\lambda(A) = R_\lambda = (A - \lambda I)^{-1}[/math] ([math]I[/math] — единичный оператор), то он называется резольвентой. Множество [math]\lambda[/math], для которых существует [math]R_\lambda[/math], обозначается [math]\rho(A)[/math], и называется резольвентным множеством, дополнение к нему обозначается [math]\sigma(A)[/math] и называется спектром оператора [math]A[/math].


Теорема (о резольвентном множестве):
[math]\rho(A)[/math] — открытое множество в [math]\mathbb C[/math];
Доказательство:
[math]\triangleright[/math]

Пусть [math]\lambda_0 \in \rho(A)[/math], тогда существует [math]R_{\lambda_0}[/math].

[math]A - \lambda I = (A - \lambda_0 I) - (\lambda - \lambda_0) I = (A - \lambda_0 I) - (\lambda - \lambda_0) (A - \lambda_0 I) R_{\lambda_0} = (A - \lambda_0 I) (I - (\lambda - \lambda_0) R_{\lambda_0})[/math]

Если [math]|\lambda - \lambda_0| \|R_{\lambda_0}\| \lt 1[/math], то [math](I - (\lambda - \lambda_0) R_{\lambda_0})[/math] непрерывно обратим по теореме Банаха.

Тогда и оператор [math]A - \lambda I[/math] тоже непрерывно обратим, так как [math] (A - \lambda I)^{-1} = ((A - \lambda_0 I) (I - (\lambda - \lambda_0) R_{\lambda_0}))^{-1} = (I - (\lambda - \lambda_0) R_{\lambda_0})^{-1} (A - \lambda_0 I)^{-1} [/math], и тогда он непрерывен как компзиция непрерывных.

Нужное нам условие выполняется, если [math]|\lambda - \lambda_0| \lt \frac1{\|R_{\lambda_0}\|}[/math], таким образом, любая точка [math]\lambda_0[/math] множества [math]\rho(A)[/math] входит в него вместе с некоторой окрестностью.
[math]\triangleleft[/math]
Утверждение (вхождение спектра в круг радиуса ||А||):
[math]\{ |\lambda| \gt \|A\|\} \subset \rho(A)[/math]
[math]\triangleright[/math]

[math]A - \lambda I = -\lambda(I - \frac1\lambda A)[/math]

Если [math]|\lambda| \gt \|A\|[/math], то [math]\frac1{|\lambda|} \|A\| \lt 1[/math], [math](I - \frac1\lambda A)[/math] непрерывно обратим, и [math]A[/math] имеет резольвенту. Отсюда мгновенно получаем требуемое.
[math]\triangleleft[/math]


Определение:
[math]r_\sigma(A) = \inf\limits_{n \in \mathbb N} \sqrt[n]{\|A^n\|}[/math] — спектральный радиус оператора.


Так как [math]\|A^n\| \le \|A\|^n[/math], то [math]r_\sigma(A) \le \|A\|[/math].

Утверждение:
[math]r_\sigma(A) = \lim\limits_{n \to \infty} \sqrt[n]{\|A^n\|}[/math]
[math]\triangleright[/math]

Обозначим для краткости [math]r_\sigma(A)[/math] за [math]r[/math].

По определению нижней грани, [math]\forall \varepsilon \gt 0 \exists n_0: r \le \|A^{n_0}\|^{\frac{1}{n_0}} \lt r + \varepsilon[/math].

Любое [math] n \gt n_0[/math] представим как [math]n = p_n n_0 + q_n[/math], где [math]q_n = 0, 1, \ldots, n_0 - 1[/math].

Таким образом, [math]\|A^n\| = \|A^{p_n n_0 + q_n}\| \le \|A^{p_n n_0}\| \|A^{q_n} \|\le \|A^{n_0}\|^{p_n} \|A\|^{q_n}[/math]

Значит, [math]{\|A^n\|}^{\frac{1}{n}} \le {\|A^{n_0}\|}^{\frac{p_n}{n}} {\|A\|}^{\frac{q_n}{n}}[/math].

Рассмотрим [math]{\|A^{n_0}\|}^{\frac{p_n}{n}} = {\|A^{n_0}\|}^{\frac{p_n}{p_n n_0 + q_n}} \le {\|A^{n_0}\|}^{\frac{p_n}{p_n n_0}} = \|A^{n_0}\|^{\frac{1}{n_0}} \lt r+ \varepsilon[/math].

Теперь рассмотрим [math]\frac{q_n}{n} \le \frac{n_0 - 1}{n} \xrightarrow[n \to \infty]{} 0[/math], значит, [math]\|A\|^{\frac{q_n}{n}} \to 1[/math], то есть, [math]\forall \varepsilon \gt 0 \exists n \forall n' \gt n: \|A\|^{\frac{q_{n'}}{n'}} \le 1 + \varepsilon[/math].

Тогда, с одной стороны, по определению [math]r[/math] как инфимума, для всех [math]n[/math]: [math]r \le \|A^n\|^{\frac{1}{n}}[/math], но с другой, по только что показанному, для произвольного [math]\varepsilon[/math], начиная с какого-то [math]n[/math] можно сказать, что [math]\|A^n\|^{\frac{1}{n}} \le (r + \varepsilon) (1 + \varepsilon)[/math]. Тогда из этого получаем, что [math]\|A^n\|^{\frac{1}{n}} \to r[/math], что и требовалось доказать.
[math]\triangleleft[/math]
Утверждение:
[math]\sigma(A) \subset \{\lambda \mid |\lambda| \le r_\sigma(A)\}[/math]
[math]\triangleright[/math]

[math] A - \lambda I = - \lambda (I - \frac{1}{\lambda} A)[/math], найдем, при каких [math]\lambda[/math] у [math]I - \frac{1}{\lambda} A[/math] есть обратимый.

Если сходится [math]\sum\limits_{n=0}^{\infty} (\frac{1}{\lambda} A)^n[/math], то он и будет совпадать с [math](I - \frac{1}{\lambda} A)^{-1}[/math] (показывали это в теореме Банаха для I - C)

Так как пространство банахово, операторный ряд сходится если сходится соответствующий рад из норм: [math]\|\sum\limits_{n=0}^{\infty} (\frac1\lambda A)^n \| \le \sum\limits_{n=0}^{\infty} |\frac1\lambda|^n \|A^n\|[/math], по радикальному признаку Коши, последний ряд сходится, если [math]\sqrt[n]{|\frac1\lambda|^n \|A^n\|} = |\frac1\lambda| \sqrt[n]{\|A^n\|} \to |\frac1\lambda| r_\sigma \lt 1[/math].

Таким образом, при [math]r_\sigma \lt |\lambda|[/math], обратный оператор к [math]I - \frac{1}{\lambda}A[/math] существует, то есть [math]\lambda \in \rho(A)[/math]. Значит, спектр полностью содержится во множестве, в котором [math]r_\sigma \ge |\lambda|[/math].
[math]\triangleleft[/math]
Утверждение (аналитичность резольвенты в резольвентном множестве):
[math]R_\lambda[/math] как функция из комплексного числа в ограниченный оператор, аналитична в [math]\rho(A)[/math] и в бесконечно удаленной точке комплексной плоскости.
[math]\triangleright[/math]

пусть [math] \lambda_0 \in \rho(A)[/math]:

[math]A - \lambda I = (A - \lambda_0 I) - (\lambda - \lambda_0)I = (A - \lambda_0 I) - (\lambda - \lambda_0)(A - \lambda_0 I)R_{\lambda_0}[/math][math] = (A - \lambda_0 I)(I - (\lambda - \lambda_0)R_{\lambda_0})[/math] — если взять достаточно малое [math]\lambda - \lambda_0[/math], можно так обратить.

[math](I - (\lambda - \lambda_0)R_{\lambda_0}) ^ {-1} = \sum\limits_{n=0}^{\infty} R_{\lambda_0}^n (\lambda - \lambda_0)^n[/math] — сходится при [math]|\lambda - \lambda_0| \approx 0[/math].

[math](A - \lambda I) ^ {-1} = R_{\lambda_0} \sum\limits_{n=0}^{\infty} R_{\lambda_0}^n (\lambda - \lambda_0)^n = \sum\limits_{n=0}^{\infty} R_{\lambda_0}^{n+1} (\lambda - \lambda_0)^n[/math], следовательно, [math](A - \lambda I)^{-1}[/math] аналитична.

Также, так как [math]A - \lambda I = -\lambda (I - \frac1\lambda A)[/math], то при [math]|\lambda| \approx \infty[/math], [math]R_\lambda = -\sum\limits_{n=0}^{\infty} \frac{A^n}{\lambda^{n-1}}[/math], и [math]R_\lambda[/math] аналитична при [math]\lambda = \infty[/math].
[math]\triangleleft[/math]
Теорема (непустота спектра ограниченного оператора):
[math]\|A\| \lt +\infty \implies \sigma(A) \ne \emptyset[/math]
Доказательство:
[math]\triangleright[/math]

Если [math]L(X)[/math] (пространство линейных ограниченных операторов [math]A: X \to X[/math]) банахово, то в нем можно рассматривать операторно степенные ряды [math]\sum\limits_{n=0}^{\infty} A_n\lambda^n[/math], их свойства копируют свойства обычных степенных рядов. Воспользуемся аналитичностью резольвенты: если [math]\sigma(A) = \emptyset[/math], то [math] \rho(A) = \mathbb{C}[/math], то есть в пределах любого круга и в бесконечно удаленой точке резольвента ограничена, тогда по теореме Лиувилля (если на всей комплексной плоскости функция [math]f(z)[/math] равномерно ограничена, она тождественно равна постоянной) (

TODO: требуется ограниченность всех точек в совокупности, непонятно почему это выполняется. Еще она формулируется для фунции в C, а не в операторы, что меня смущает. Вот тут или тут, возможно, есть объяснение), [math]R_\lambda[/math] — константная функция, но тогда бы все [math]A - \lambda I[/math] были бы одинаковы, чего, очевидно, быть не может, то есть получили противоречие и спектр непуст.
[math]\triangleleft[/math]