2014 dxdy logo

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

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




На страницу 1, 2, 3, 4  След.
 
 функан, функционал в гильбертовом пространстве
Сообщение14.05.2008, 22:41 
Помогите, пожалуйста, решить задачу.
Пусть $H$ - гильбертово пространство. $A$ - линейный непрерывный оператор из $H$ в $H$. Доказать, что если
$$  \sup_{x \in H} \frac {|(x,y)|}{||A^{*}x||} < \infty,$$ то $y \in Im A$, где $A^{*}$ - сопряжённый оператор.

 
 
 
 Re: функан
Сообщение15.05.2008, 08:46 
Аватара пользователя
infantier писал(а):
Помогите, пожалуйста, решить задачу.
Пусть $H$ - гильбертово пространство. $A$ - линейный непрерывный оператор из $H$ в $H$. Доказать, что если
$$  \sup_{x \in H} \frac {|(x,y)|}{||A^{*}x||} < \infty,$$ то $y \in Im A$, где $A^{*}$ - сопряжённый оператор.


Из разложения
$H=Ker\, A^*\oplus \overline{Im\,A},\quad Ker\, A^* \bot \overline{Im\,A}$ получается, что $y\in \overline{Im\,A}$
вернусь подумаю, что с этим дальше делать :)

 
 
 
 
Сообщение15.05.2008, 17:38 
Зададим на замыкании образа новое скалярное произведение: $<u,v>=(A^*u,A^*v)$. Из условия задачи следует, что $(x,y)$ для данного $y$ является линейным ограниченным функционалом относительно новой нормы. По теореме Рисса этот функционал представляется как $(x,y)=<x,w>=(A^*x,A^*w)=(x,AA^*w)$ для всех $x$ из замыкания образа. Если теперь $y$ тоже принадлежит замыканию образа, то он принадлежит и самому образу.

В этой цепочке есть один пробел, но он легко восполняется.

 
 
 
 
Сообщение16.05.2008, 20:28 
Аватара пользователя
ewert писал(а):
Зададим на замыкании образа новое скалярное произведение: $<u,v>=(A^*u,A^*v)$. Из условия задачи следует, что $(x,y)$ для данного $y$ является линейным ограниченным функционалом относительно новой нормы. По теореме Рисса этот функционал представляется как $(x,y)=<x,w>=(A^*x,A^*w)=(x,AA^*w)$ для всех $x$ из замыкания образа. Если теперь $y$ тоже принадлежит замыканию образа, то он принадлежит и самому образу.

да здесь не нужно уже никаких замыканий, из Ваших рассуждений следует, что $y=AA^*w$ и все!

 
 
 
 
Сообщение16.05.2008, 20:31 
zoo писал(а):
да здесь не нужно уже никаких замыканий, из Ваших рассуждений следует, что $y=AA^*w$ и все!

Нужно, по предположению игрек изначально принадлежит именно замыканию. И потом, пробел в доказательстве всё же остаётся.

 
 
 
 
Сообщение16.05.2008, 20:42 
Аватара пользователя
ewert писал(а):
zoo писал(а):
да здесь не нужно уже никаких замыканий, из Ваших рассуждений следует, что $y=AA^*w$ и все!

Нужно, по предположению игрек изначально принадлежит именно замыканию. И потом, пробел в доказательстве всё же остаётся.

а зачем предполагать, что $y$ принадлежит замыканию? Зачем вообще новое скал. произведение задавать на замыкании, а не во всем пространстве? Если под пробелом Вы понимаете невырожденность нового скалярного произведения и его эквивалентность исходному, то это действительно несложно.

 
 
 
 
Сообщение16.05.2008, 20:45 
zoo писал(а):
а зачем предполагать, что $y$ принадлежит замыканию? Если под пробелом Вы понимаете невырожденность нового скалярного произведения и его эквивалентность исходному, то это действительно несложно.

Затем, что проблема именно в том, чтобы доказать принадлежность именно образу, а не его замыканию. Поэтому мы вынуждены работать именно на замыкании.

Невырожденность действительно банальна, а вот эквивалентность попросту неверна. В этом и пробел.

(Новое скалярное произведение на всём пространстве не задать -- там оно не обязано быть невырожденным.)

 
 
 
 
Сообщение16.05.2008, 21:00 
Аватара пользователя
ewert писал(а):
zoo писал(а):
а зачем предполагать, что $y$ принадлежит замыканию? Если под пробелом Вы понимаете невырожденность нового скалярного произведения и его эквивалентность исходному, то это действительно несложно.

Затем, что проблема именно в том, чтобы доказать принадлежность именно образу, а не его замыканию. Поэтому мы вынуждены работать именно на замыкании.

Невырожденность действительно банальна, а вот эквивалентность попросту неверна. В этом и пробел.

(Новое скалярное произведение на всём пространстве не задать -- там оно не обязано быть невырожденным.)

Ха. Я как вегда поторопился. Погодите погодите. Ач то-то для меня и невырожденность перестала быть банальной. Поясните пожалуйста.

 
 
 
 
Сообщение16.05.2008, 21:02 
Ну, если ненулевой игрек принадлежит принадлежит замыканию образа, то он не принадлежит ядру сопряжённого. Вы ж сами из этого исходили.

 
 
 
 
Сообщение16.05.2008, 22:11 
Как же тогда решать эту задачу?

 
 
 
 
Сообщение16.05.2008, 22:13 
ну, схему-то я изложил, за исключением проблемы с неэквивалентностью -- пусть пока повисит. Или Вам срочно?

 
 
 
 
Сообщение16.05.2008, 22:25 
Аватара пользователя
ewert:
Действительно, торможу.
но тогда если $x\in \overline{Im\, A}$ и $\|x\|\ge 1$ то $\|A^*x\|\ge c>0$ Это следует из принципа открытости отображения. Поэтому
$|(x,y)|\le\frac{1}{c}\|y\|\|A^*x\|$ Это доказывает, что Ваше скал. произведение на $\overline{Im\, A}$ эквивалентно исходному.

 
 
 
 
Сообщение16.05.2008, 22:25 
Да, и еще одна мелочь -- нужно не забыть доказать, что пространство с новым скалярным произведением будет полным (то бишь гильбертовым). А то хотя бы теорему Рисса нельзя применять.

 
 
 
 
Сообщение16.05.2008, 22:40 
zoo писал(а):
ewert:
Действительно, торможу.
но тогда если $x\in \overline{Im\, A}$ и $\|x\|\ge 1$ то $\|A^*x\|\ge c>0$ Это следует из принципа открытости отображения. Поэтому
$|(x,y)|\le\frac{1}{c}\|y\|\|A^*x\|$ Это доказывает, что Ваше скал. произведение на $\overline{Im\, A}$ эквивалентно исходному.

Да оно не может быть эквивалентным (вообще говоря). Эквивалентность означает, что сопряжённый оператор, суженный на ортогональное дополнение к своему ядру, ограниченно обратим. А с какой стати?

Добавлено спустя 1 минуту 36 секунд:

AD писал(а):
Да, и еще одна мелочь -- нужно не забыть доказать, что пространство с новым скалярным произведением будет полным (то бишь гильбертовым). А то хотя бы теорему Рисса нельзя применять.

Совершенно верно, в этом и проблема. Это пространство, вообще говоря, не будет полным. Однако полнота и не обязательна -- достаточно, что оно плотно в своём пополнении.

 
 
 
 
Сообщение17.05.2008, 10:28 
zoo писал(а):
ewert писал(а):
Да оно не может быть эквивалентным (вообще говоря).

Либо контрпример на бочку, либо где ошибка в моих рассуждениях.

Да возьмите любой оператор, для простоты -- обратимый, но не ограниченно обратимый. Вот и не будет эквивалентности, раз обратный неограничен.
В соображения открытости я не вникал, но Вы там явно где-то перепутали прямой оператор с обратным.

Мне тоже кажется, что должно быть какое-то простое решение. Более того, структура утверждения такова, что оно верно, скорее всего, и для не обязательно ограниченных операторов. Однако более разумного доказательства пока в голову как-то не приходит.

 
 
 [ Сообщений: 60 ]  На страницу 1, 2, 3, 4  След.


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