6.21.5 Вычисление опорной функции гладкого выпуклого ком-
пакта при заданном параметрическом уравнении его гра-
ницы. Постановка задачи о сужении
Опорная функция, обладающая свойством однородности, опре-
деляется своими значениями на единичной сфере (в плоском случае
единичной окружности). Поэтому плоский выпуклый компакт опреде-
ляется значениями его опорной функции на единичной окружности,
т.е функцией c
0
(α)=c(ψ)|
ψ=q(α)
угла α ∈ [0, 2π]. Приближённо ин-
формацию о выпуклом множестве можно хранить в памяти машины в
виде таблиц функции c
0
(·) – сужения опорной функции на единичную
окружность. В связи с этим представляет интерес следующая задача.
Задача о сужении. Предполагая известными параметрические
уравнения границы ∂U гладкого выпуклого компакта U,найтифунк-
цию
c
0
(α)=c(ψ)|
ψ=q(α)
,α∈ [α
0
,α
0
+2π], (35)
где c(·) – опорная функция выпуклого компакта U, q(α)=
cos α
sin α
–
единичный вектор.
При решении этой задачи мы, естественно, не предполагаем из-
вестнойопорную функцию c(ψ), а пользуемся параметрическими урав-
нениями границы. На основании определения опорной функции мы
сразу можем записать, при задании границы параметрическим урав-
нением x = y(β), β
0
β β
1
, для функции (35) следующее выраже-
ние
c
0
(α) = max
β∈[β
0
,β
1
]
y(β),q(α)
,
в котором при каждом заданном α требуется выполнить максимиза-
цию по β. Имея в виду эту формулу, рассмотрим другие алгоритмы
решения задачи о сужении, более удобные в определённых ситуациях
с вычислительной точки зрения.
6.21.6 Решение задачи о сужении при задании граничной кри-
вой натуральным уравнением
Обратимся сейчас к решению задачи о сужении в случае задания
кривой ∂U натуральным уравнением
x = Y (s), 0 s L, (36)
215