Расстояние от точки до конуса в гильбертовом пространстве

Автор: Худалов Владимир Темирсултанович

Журнал: Владикавказский математический журнал @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 с.
Статья научная