Э.М. Галеев, В.М. Тихомиров - Оптимизация - теория, примеры, задачи (2000) (1125255), страница 47
Текст из файла (страница 47)
Бернулли„включив ее в шшопарамстрическое семейство подобных задач. !. Формалиэациа: (в этой задаче и в задаче о наименьшей поверхности вращения мы пользуемся эйлеронскими обозначениями: х вме вместо х): : х вместо и у У(х!)=УП »=0,1, а<0, у(х)>0, Это — простейшие залачи классического вариационного исчисления. Брахистохрона соответствует а = --', при и = — 1 — это задача о геодезических на полуплоскости Пуайкаре и т.п.
2. Принцип Хагранхса здесь сводится к уравнению Эйлера. Интегрант в (3) не содержит независимого переменного, следовательно, уравнение Эйлера имеет шипеграл энергии: у 2" (1+ус) = Ю2 3. Нсслгдован гдование. При отрицательных и интегрирование уравнения Эйлера приводит к семейству экстремалей: 8 5. Приложения обшей теории к решеяию конкретных задач 283 8 случае брахисгохроны зкстремали — циклоиды, в случае полуплос«ости Пуанкаре — полуокружности с центром на оси Ох. Экстремали, «меюшие общую точку на оси Ох, образуют поле, покрывающее всю зткрытую верхнюю полуплоскость. Отсюда и из формулы Вейерштрасса зытекает, что единственнал экстремаль, соединяющая граничные точки, мллгтсл решением задача. Ответ.
В случае брахистохроны решение задачи доставляет един:твенная циклоида, проходящая через граничные точки; в случае позуплоскости Пуанкаре решение задачи — полуокружность с центром аа оси Ох, проходящая через граничные точки. 4. Аэролннамическая задача Ньютона Найти пыла,, получающееся вращение»« [...] кривой виню АВ, [ко»!орал] будет испытывать наименьшее согуинпивленив в [...] редкой среде греди других твл тай жг длины и ширины». (Цитируется по книге Ньютона «Математические начала натуральной философии»'.) 1. Формализация: Ы! ппп х(0) = 0 х(То) = х~ х(1) > 0 (5) 1+ хз(1) о история этой задачи, ее формализация и решение, идейно вусходящее к Ньютону, можно прочитать в книге [Т] (рассказ восьмой), а решение, базирующееся на принципе Лагранжа, подробно изложено здесь в б 3 гл.
4 и в книге [АТФ, с. 99- 103]. Хотелось бы сказать только, что задача (5)— типичная задача оптимального управления, ее крайне затруднительно исследовать методами классического вариационного исчисления, и зто обстоятельство являлось причиной того, что решение задачи Ньютона фактически нигде не приведено в учебниках по вариационному исчислению. Но она была решена Ньютоном, и решение было опубликовано в «Математических началах» в 1687 году! Так что первая задача оптимального управления была решена раньше рождения вариационного исчисления (годом рождения вариационного исчисления считается год брахистохроны — 1696).
5. Задача Ферма — Торичелли — Штейяера и ее обайцеяяе Найти в и-мерном пространстве точку, сумма расстояний вт которой до вершин нгкеторагв симнлгкса минимальна. 1. Формализации: ' Смг !гримм и. Н. С«ар«ни« трудов, т. 7. М.— Лг И»х. АН СССР, !936. 284 допускает интеграл энергии 0 б д/(х). (7) Глава 6. Общяя теория экстремальимх задач Решение х задачи (5), очевидно, существует. Это — выпуклая задача без ограничений и потому 2. Принцип Лаграняга выражается здесь теоремой Ферма: 3. Исследование. Соотношение (1) (если допустить, что решение — внутренняя точка симплекса) расшифровывается так: сумма единичных векторов, смотрящих иэ точки х в вершины симнлгкга, равна нулю.
Отсюда при и = 2 сразу следуе.г ус«ы между векторами, ведущими из решения задачи к вершинам, равны 120'. Точка внутри треугольника, из которой каждая сторона видна под углом 120' легко строится циркулем и линейкой и называется точкой Торичелли. Если построение невозможно, искомая точка — вершина тупого угла (что также сразу следует из теоремы Ферма).
Подробнее задача обсуждается [ИТ, с. 441]. и [АГТ, 1«й 4.12]. При и > 3 такопз рода построения неизвестны. Но численно решение может быть найдено для очень большого числа неизвестных. Однако, и в многомерном случае можно найти интересные явно решаемые варианты этой задачи. Например, найти точку в Й", сумма расстояний аю каюарай да начала координат и векторов е, = (1,0,...,0), ез = (О, 1,...,0), ..., е„= (0,0,..., 1) была минилнмьнай. 6. Задача о мивнмальной поверхности вращения Среди кривых в верхней налунласкасюи, соединяющих две различные точки, найти такую, натирая при вращении вокруг горизонтальной аси порождает поверхность минимальной площади.
Эта задача и различные ее модификации обсуждаются, начиная с ХЧП века, вплоть до нашего времени. Она связана с именами Лейбница, братьев Бернулли, Лагранжа и многих других. Эта задача присутствует почти во всех учебниках по вариационному исчислению, но редко, где решение доволится до конца. Мы здесь даем некоторые указания, по которым читатель сможет полностью исследовать эту задачу.
! . Формализация. Рассмотрим частный случай общей задачи — с симметричными краевыми условиями: У~~ + У х щ1п' У( хо) У(хо) Ф О, У(х) > О. (6) Это — простейшая задача классического вариационного исчисления. 2. Иринина Лагранжа приводит к уравнению Эйлера. Ввиду того, что интегрант не зависит от независимого переменного, уравнение Эйлера Я»5. Приложении общей теоРЯи к Уегаевию воикйетиы зала х ч 285 дУ д о=:.";ь'У(х) = Р 'сЧРх+Рд Мы видим, что зги экстремали — цепные линии.
3. Исследование. =О, В стре, алн, соединяющие симметричные точки (тогда Р, = се экстремалн, ое получаются из экстремали у = сп х гомотетией. оэ . у ку . Поэтом в сова пности ь. Па амет ы этого они зап олняют только угол, а не всю полуплоскость. ар р тся, что угла находятся из решения уравнения х = сшй х, откуда получас гбао = 1.50088. Внутри угла экстремали покрывают его лвукратно: существуют две экстремали, соединяющие точки ( — хо,уо) и (хо,уо). При этом одна из экстремалей идет ниже другой и касается прямой У = 181оох, т.
е. эта прямая является огибающей семейства нижних экстремалей. Из общей теории следует тогда, что на нижней экстремали не удовлетворяется условие Якоби. А верхняя экстремаль доставляет сильный (локальный) минимум гасе д ( остаточные условия сильного минимума удовлетворя- Помимо экстремалей, расположенных внутри угла, существуют «ломаные»экстремали, состоящие из вертикальных отрезков и отрезка 1 1 < — О. Это можно получить методом принудительного ограни1х1 хо,У = чения, когда в доно лнение к условиям задачи добавляется ограничение ]у'] < АГ и 1У устремляется к оо.
Таким образом, граничные точки (ххо,у) можно соелинить либо одной «ломанои» экст коти малью, либо двумя — «ломаной» и верхней цепной линией. Если сравнить значения на этих двух экстремалях, то оказывается, что они совпадают на прямой, угловой коэффициент, Отсюда (с помощью формулы Вейерштрасса) получаем такой Ответ; если Л«> 18ЗЗ, решением является верхняя цепная линия, если *« ясе ль < гбуз, та ломаная экстргмаль».
(Некоторые дополнительные подробности см. в [ИТ, с. 427-430].) 7. Задачи КеплеРа Вписать в единичный щар а) цилиндр, Ь) конус, с) пирамиду, д) прямоугольный нараллгленинед максимального абаема. Занимательная история постановки задач Кеплера и их решение см. в книге [Т] (рассказ шестой). Это — более простые задачи в сравнении с предыдущими. Ограничимся лишь формализацией задачи о цилиндре. 1. формализация: о,(х) = х,Д:хз -- щ1п; 0 < х < 1.
28б и*!= 'Р+*' Чдг+Сд-*д*, (8) [[хь С; гьхь[[1 ш,п ь=! 1. Формализация: 'Здг „Вддд-',!» Уо(х) — + о! оэ (9) 10. Задача Аполлония !пах [[х — у[[ — д ппп гел Глава 6. Общая теория экстремальных задач Это фактически гладкая задача без ограничений. Читатель самостоятель- но может обдумать н и-мерные варианты всех этих задач. 8.
Заллча Герона н ее обобщение Даны две точки А и В по одну сторону одп прямой !. Требуется найти «а ! такую точку Р, чтобы сумма расстояний от А до Р и от Р до В была наименьшей. 1. Формализаци»: где координаты точек таковы: А = (О,а), В = (Ь,д!). Зто — простейшая одномерная задача без ограничений.
Ее решение совершенно элементарно (см. [Т[). Читатель может самостоятельно поставить и решить аналогичные задачи, скажем, заменив прямую на плоскости окружностью, плоскость— сферой (с поиском кратчайших путей с заходом на окружность большого круга), или плоскостью Лобачевского и т. п. 9.
Задача Сыеллнуса — Ферма о законе преломления света на границе двух сред Согласно принципу Ферма в геометрической оптике ьв неоднородной среде свет избирает такую траекторию, вдоль которой время, затрачиваемое им иа преодоление пути от одной точки до другой, минимально.ь Таким образом, для установления закона Снеллиуса преломления света на прямолинейной границе двух однородных сред сводится к решению задачи С решением этой эзлачи, помимо Снеллиуса и Ферма, связаны имена Декарта и Лейбница — см. об этом в книге [Т[ (рассказ третий).