Файл: Иоффе, А. Д. Теория экстремальных задач [учеб. пособие].pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 15.10.2024
Просмотров: 135
Скачиваний: 0
432 ГЛ. 10. ПРИЛОЖ ЕНИЕ ТЕОРИИ К ЗАДАЧАМ
множества S требуется найти нижнюю грань выпуклой функции, которая является максимумом из выпуклых функций. Это обстоятельство дает возможность приме нить теорему об очистке. Выделим соответствующее утверждение в виде леммы.
Л е м м а 1. Для того чтобы шар В(х0,г) был описан ным шаром для множества S, состоящего более чем из одной точки, необходимо и достаточно, чтобы он был описанным шаром для некоторого симплекса с верши нами, расположенными на S.
Из леммы сразу вытекает, что неравенство Юнга
достаточно установить лишь для симплексов в |
R". |
Д о к а з а т е л ь с т в о л е ммы . Положим |
|
/ (х) — тах| х — у |. |
|
j/es |
|
Ясно, что / — непрерывная, выпуклая функция, |
расту |
щая на бесконечности. Следовательно, найдется такой вектор х0, что f (xQ) = inff(x) — R(S). В точке х0 выпол няется соотношение
0 е= <3/ (лг0), |
(2) |
являющееся необходимым и достаточным условием ми нимума.
|
Воспользуемся теперь теоремой об очистке. В соот |
||||
ветствии с этой |
теоремой |
и в силу |
(2) найдутся такие |
||
векторы 2,- е R", |
г/; е |
S, |
г, что |
г ^ . п + 1 и положи |
|
тельные числа kit 1< |
/ < |
|
|||
2/ |
|х0— iji I, |
1 < / < г , |
|Xa—tji |= |
/(лг0) = R(S), |
|
|
£ *,,= = I, |
i u < z ,= o . |
|
||
|
t—l |
|
<=i |
|
В силу того, что 5 состоит более чем из одной точки,
f(x о) = |
|*о — Hi I Ф 0 и, |
значит, дх \х^— ij-t | состоит |
из |
|
единственного |
элемента |
(х0— y t)/\ х0 — г/, |. Отсюда |
и |
|
нз (3‘) |
получается, что |
|
|
|
|
|
(хоVi) |
0 ФФ Xq— Xitfi, |
(4) |
|
1=1 |
\xa~yi\ |
i= 1 |
|
Векторы {(/,} являются вершинами симплекса в Rn. Если теперь начать снова решать задачу об описанном шаре,
43 4 |
ГЛ. 10. |
ПРИЛОЖ ЕНИЕ ТЕОРИИ К ЗАДАЧАМ |
||
|
k |
1 |
tt 1 |
то |
и, поскольку |
k~— > — -— при |
£ > ( 2 ) > ] / Д ( 2 ) .
Это неравенство справедливо для любых симплексов,
а значит, по доказанному |
ранее, — для любых мно |
жеств S. Неравенство переходит в равенство, если 2 — |
|
правильный симплекс. Предложение 1 доказано. |
|
10.2.2. Теорема Хелли. |
Пусть {4 v}v<==jv— некоторое |
семейство выпуклых замкнутых подмножеств Rn. Пред положим, что среди множеств Av есть хотя бы одно ограниченное. Тогда, если пересечение любых п -f- 1 мно
жеств |
А у |
непусто, то и пересечение всех множеств Av |
||
также непусто. |
|
|||
Доказательство теоремы Хелли проведем вариацион |
||||
ными методами. Положим |
|
|||
|
|
/ (х) — supp {х, AJ — sup inf |л: — у |. |
||
|
|
|
v e J V |
v e A f |
Ясно, |
что |
f(x о) = 0 тогда |
и только тогда, когда |
|
|
( ] |
А^, |
следовательно, |
надо показать, что нижняя |
v e l V
грань функции f достигается и равна нулю. Предполо жим сначала, что N состоит из конечного числа элемен
тов: N — {\........k}. Для определенности |
пусть ограни |
ченным будет множество А\. Тогда |
f(x) — конечная |
функция, растущая на бесконечности, поскольку f(x) ^
^ |
р(х, Л])-> оо |
при |л:|—*•оо. Значит, нижняя грань |
|||
функции f |
достигается в некоторой точке Xq, где |
|
|||
|
|
|
0<=<3/(л:0). |
(5) |
|
с |
Снова применим теорему об очистке. В соответствии |
||||
ней и с |
(5) |
найдутся |
индексов vi, .... |
vr, |
|
г чисел Я; > 0, |
1 ^ i ^ г, и г |
векторов у и ... , уг |
та |
||
ких, что |
|
г/г<=др(л:0, AV{), |
|
||
|
а) |
|
|
||
|
б) |
|
р (* о . AV{) = |
/ (х0), |
|
|
в) |
|
2 я г= 1 , |
|
|
|
|
|
1=1 |
|
|
|
г) |
|
2 ^t!/i = |
0. |
|
|
|
|
г=1 |
|
|
§ 10.3. ВОЗБУЖДЕНИЕ ОСЦИЛЛЯТОРА |
435 |
Еще раз применим то же рассуждение, что провели в
конце доказательства |
леммы 1. |
Рассмотрим функцию |
|
fi (х) = |
max р (х, Лу ). |
|
|
|
i<i<f |
|
|
Из уравнений а) — г) |
вытекает, |
что 0 |
е <?/i (х0), и сле |
довательно, в точке х0 |
функция /у имеет минимум. С дру |
|||||||
гой стороны, из |
соотношения б) вытекает, |
что |
(х0) |
= |
||||
= f(x0). Но по условию теоремы любые г ^ |
п -f-1 мно |
|||||||
жеств |
пересекаются, значит, / i ( x o ) = |
0. В итоге |
получи |
|||||
лось, |
что |
/( х0) = |
0, а это означает, что все множества |
|||||
Av, v — 1, |
... , N, пересекаются. |
|
|
|
и |
|||
Пусть |
теперь |
N — любое бесконечное множество |
||||||
Av„ |
ограничено. |
По |
доказанному, |
пересечение |
AVa |
с любым конечным семейством множеств Av непусто. Такие пересечения образуют, следовательно, центриро ванную систему. По известному свойству компактных множеств отсюда следует, что все множества A v пере секаются. Теорема Хелли полностью доказана.
§ 10.3. Оптимальное возбуждение осциллятора
Здесь решается одна задача из теории управления. Изложение во многих местах — конспективное. Чита телю надлежит восполнить пропущенные детали.
10.3.1. Задача об оптимальном параметрическом воз буждении осциллятора. Рассмотрим задачу;
|
|
tx-> inf; |
|
||
|
|
х -f- (1 |
—- ей) х — 0, |
|
|
*(0) = |
*о, |
х (0) = |
Уо, |
x2{t{) + x2(tl) = |
\, |
|
0 < и < 1 , 0 < е < 1. |
|
|||
Поясним |
ее физическое содержание. Уравнение |
||||
x + s (/)* = 0 |
есть |
уравнение |
гармонического |
осцилля |
тора с переменной жесткостью s(t). В нашем случае
жесткость s(0 |
может меняться в |
пределах |
1— е ^ |
||
В невозбужденном |
состоянии, |
когда |
и = 0, |
||
s = 1 и энергия |
осциллятора |
равна |
(х2+ |
х2)/2. Таким |
образом, задача состоит в отыскании такого закона воз буждения жесткости осциллятора, при котором (после