Расстояние от точки до конуса в гильбертовом пространстве
Автор: Худалов Владимир Темирсултанович
Журнал: Владикавказский математический журнал @vmj-ru
Статья в выпуске: 4 т.1, 1999 года.
Бесплатный доступ
В этой статье установлены явные формулы расстояния от точки до произвольного круглого конуса в гильбертовом пространстве [1]. В [2] эти формулы были получены лишь для частного случая регулярного круглого конуса в терминах метрически положительной и метрически отрицательной частей элемента. В качестве пpиложения дано решение одной экстремальной задачи в пространстве непрерывных функций.
Короткий адрес: https://sciup.org/14317994
IDR: 14317994
Текст научной статьи Расстояние от точки до конуса в гильбертовом пространстве
сЗ — Ж1
Учитывая, что получаем
d(x, K(ei,a)) =
Vi+>

41=1.^).
Расстояние достигается на векторе
(У||ж||2 - (е^+^х^ИРУИ2 ~^У2 - (ei, Ж))
U (1 +^2)^1^112 _(еьж)2
Наконец, если х ^ K(ei, а) и ж Е — K(ei, \/1 — а2), то ж Е — К* (ei, а) и ж = 0 + ж, проекция ж на К^е^,^ есть 0, a d(x, К^е^, а)) = ||ж||. Итак, получаем следующую формулу:
0,
d^x, К^ву, а))
если ж Е К(^ei, а);
если ж ^ A"(ei,а) и ж Е — К^е^, V1 — а2);
если ж ^ К(в1,а) и ж ^ —К^е^, \/1 — а2).
ЗАМЕЧАНИЕ. При a = ^ получаем формулу (4) из примера 2.1.2 в [4].
2°. Рассмотрим теперь произвольный круглый конус К^а,^, где a Е Н — произвольный вектор, ||а|| = 1 и а Е (0,1). Пусть Пш — преобразование Хаусхолдера [5], переводящее вектор а в вектор ei.
Тогда Пш : Н —» Н, w = a — ei, Пш — унитарный оператор, т. е. Uj1 = U* = Иш. Согласно утверждению 1.5.2 Иш переводит конус К^а,^ в конус K^e^^aY
Пусть ж Е Н — произвольный вектор. Имеем СТДо) = ei, иш^е^ = а,
иш^ = ж +
Ж1 — (о,ж)
1—01
а —
Ж1 — (о,ж) 1—01
Так как Пш — изометрия, то d^x,K^a,«Y = d(UY(xYK(e[,a)Y
Если ж Е К (а, а), то d^x, К Уд а)) = 0. Если ж ^ К (а, а) и ж Е — К (a, V1 — а2), то (7ш(ж) ^ КУ^а) и ж Е —K(ei, V1 — а2) и, значит, в этом случае
d(x,K(a,a)) = ||Пш(ж)|| = ||ж||.
Если же ж К (а, а) и ж —К^а, V1 — а2), то иш^ ^ К (ei, а) и иш^ ^
-К^еъУТ^^ следовательно, в силу предыдущего пункта, имеем
„ У . жх-(о,ж) жх-(о,ж) Д
о(ж,А(о,а)) =d ж 4---------а---------ei,A(ei,a) = у 1 — (2-1 1 — С1у у
^^- ((2-) ж)) ((2-1 1) Л Т, ч
= ot\ ||ж|| — (е1,ж) Н--— у 1 — а^уа^х) =
V L 1 — 01 J
= а у/ ||ж||2 — (о, ж)2 — У1 — а2 (о, ж).
Найдем проекцию вектора ж на конус К^сусф. Имеем d^x,K^a,a^ = d^U^^x), К(в[, а)), т. е. проекция ж на Кфа,сф равна образу проекции вектора жх — (а, ж) Ж1 — (а, ж)
и^дх) = ж 4------- —а -------—61 1 — (2-1 1 — (2-1
на К^е^оф при отображении Пш. Согласно предыдущему пункту, получим
(FRF^F^F + («, ж) ^=) (^= VFF^Ta?^ - («, ж))
V1№HXFP +"7^(а,ж) Ж1-(а,ж) Ж1 - (а,ж) х
(V1 — а2-у/||ж||2 — (а, ж)2 + а(а, ж))(а-^/||ж||2 — (а, ж)2 — V1 — а2(а, ж))
VINI2 - (а,ж)2
(1 — а2)-\/||ж||2 — (а, ж)2 + а\/1 — а2(а, ж)
VFII2 - (а,ж)2
Итак, получаем следующую формулу:
°,

если ж Е К (а, а);
если ж ф К (а, а) и ж Е —К (a, V1 — а2);
М^ф,^ = < g Е С^д]

Рассмотрим следующую экстремальную задачу: для любой функции / Е ^[а^] найти
^/

ъ
^^ -g^Ydx :
g Е М(ф, а) > .
Результаты пункта 2° позволяют сформулировать следующую теорему.
Теорема 2.4.1. Для любой функции / Е C’yy,] существует единственная непрерывная функция hf Е С*^], которая доставляет инфимум в задаче (3). При этом
если / Е М(ф, а);
df = <
(/« Р(хДх^, если / ф МДцД и / Е -М^ VI-аД,
«(fa №W
- (fa f^W^^V2 - Vl - a2 ff Дх)ф(хДх,
, если J ф МДцоф и f ф —М^ф, \/1 — а2).
Функция hj равна /, если / Е М^ф,Д; hj равна 0, если / ф М^ф,Д и / Е — М^ф, V^ — а2),' если же / ф М(ф,а) и f ф —М^ф, V^ — а2), то

2\ 2
Список литературы Расстояние от точки до конуса в гильбертовом пространстве
- Худалов В. Т. Регулярные конусы в гильбертовом пространстве//Сиб. мат. журн.-1996.-Т. 37, № 1.-С. 193-196.
- Худалов В. Т. Аппроксимативные свойства положительной и отрицательной частей элемента в упорядоченных банаховых пространствах//Мат. заметки.-1996.-Вып. 5.-С. 793-798.
- Худалов В. Т. В гильбертовом пространстве регулярность конуса равносильна самосопряженности//Мат. заметки.
- Худалов В. Т. Упорядоченные банаховы пространства и их приложения.-Владикавказ, 1999.-200 c.
- Хорн Р., Джонсон Ч. Матричный анализ.-М.: Мир, 1989.-655 с.