2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Компактность оператора
Сообщение26.11.2014, 03:07 
Аватара пользователя
Есть оператор $T:L^2[0;1] \to L^2[0;1]$, который задается равенством $$(Tf)(x) = \int_0^1 K(x,y)f(y)dy, \; \textmd{где } \; K(x,y) = \frac{1}{\sqrt{x}+\sqrt{y}}$$
Нужно доказать, что он компактен.
В случае, если бы оператор был $C[0;1] \to C[0;1]$. Помогла бы срезка ядра: $K_n(x,y) = \min\{n,K(x,y)\}$. И можно показать, что соответствующая последовательность компактных операторов $(T_nf)(x) = \int_0^1K_n(x,y)f(y)dy$ сходится к $T$.
Здесь же, $\sup\|T_n\| = +\infty$. Так что никакой сходимости не получится. Критерий предкомпактности подмножества в $L^p$ желательно не использовать.

 
 
 
 Re: Компактность оператора
Сообщение26.11.2014, 05:59 
Он Гильберта-Шмидта: ядро квадратично интегрируемо на квадрате.

 
 
 
 Re: Компактность оператора
Сообщение26.11.2014, 17:54 
Аватара пользователя
ewert в сообщении #936199 писал(а):
Он Гильберта-Шмидта: ядро квадратично интегрируемо на квадрате.

Про компактные операторы пока ничего не известно, кроме определения и некоторых базовых свойств(о композиции, пределе и т.д.).

 
 
 
 Re: Компактность оператора
Сообщение26.11.2014, 18:29 
Ну вот о пределе. Значит, известно, что предел по норме конечномерных операторов -- компактен.

Так вот, если $\{\psi_k(x)\}$ -- полная ортогональная система функций на отрезке, то $\{\psi_i(x)\cdot\psi_k(y)\}$ -- полная ортогональная система на квадрате. И ядро, будучи квадратично интегрируемым, раскладывается по этой системе в ряд Фурье. А частичные суммы (двухиндексные) этого ряда, интерпретируемые как ядра, задают именно конечномерные операторы. А сходимость ядер по эль-два-норме влечёт за собой сходимость самих операторов по операторной норме.

 
 
 
 Re: Компактность оператора
Сообщение26.11.2014, 19:57 
Аватара пользователя
ewert в сообщении #936419 писал(а):
Ну вот о пределе. Значит, известно, что предел по норме конечномерных операторов -- компактен.

Так вот, если $\{\psi_k(x)\}$ -- полная ортогональная система функций на отрезке, то $\{\psi_i(x)\cdot\psi_k(y)\}$ -- полная ортогональная система на квадрате. И ядро, будучи квадратично интегрируемым, раскладывается по этой системе в ряд Фурье. А частичные суммы (двухиндексные) этого ряда, интерпретируемые как ядра, задают именно конечномерные операторы. А сходимость ядер по эль-два-норме влечёт за собой сходимость самих операторов по операторной норме.

По сути получилось доказательство этой самой теоремы о компактности оператора Гильберта-Шмидта. Спасибо за помощь.

 
 
 
 Re: Компактность оператора
Сообщение27.11.2014, 17:43 
Ну я просто не понимаю, как могло бы естественным образом получиться иначе. В любом ином варианте вылезет то ли кустарщина, то ли ловля блох, то ли одновременно, и при этом с непременным занудством.

 
 
 [ Сообщений: 6 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group