Описывается преподавание классических задач вариационного исчисления с применением вычислительной техники. Решение задач доводится до построения функций, удовлетворяющих конкретным граничным условиям. Рассматриваются разрывные решения.
Состоит в отыскании образующей тела вращения с наименьшим сопротивлением в
потоке разреженного идеального газа. Разреженный газ представляется в виде
бесконечно малых частиц, не сталкивающихся друг с другом и зеркально отражающихся
от поверхности тела при столкновении с ним.
Прежде всего задача решается, согласно /1/, в предположении малости
величины (т.е. ).
Соответствующее решение уравнения Эйлера имеет вид
(коэффициент сопротивления ). Для определенности взяты граничные условия
и . Ясно, что допущение о малости величины
является грубым.
После этого демонстрируется поиск решения в классе функций .
Каждому значению показателя ставится свое значение коэффициента
сопротивления (рис. 1).
Минимальное значение достигается при
().
Далее, в рамках численного подхода, демонстрируется программа поиска решения методом Эйлера (аппроксимация решения кусочно-линейной функцией). При этом задача сводится к отысканию минимума функции многих переменных. Оптимальное решение (рис. 2) имеет угловую точку /2/.
Необходимо отыскать образующую поверхности вращения, которая минимизировала бы
площадь этой поверхности. Известно, что искомая образующая -- цепная линия
(гиперболический косинус). В зависимости от конкретных граничных условий могут
существовать два решения уравнения Эйлера (каждое ≈- цепная линия), одно или ни
одного.
При традиционном изложении, как правило, останавливаются на задаче выбора
оптимальной из двух кривых и не уделяют внимания случаю отсутствия классического
решения. При численном решении методом Эйлера легко обнаруживается разрывное
решение: два диска, образующей для которых служит ломаная, состоящая из двух
вертикальных отрезков и одного горизонтального, лежащего на оси
(Рис. 3). В /3/ доказано,
что разрывное решение всегда является локальным минимумом. Более того, даже в
области существования решения уравнения Эйлера можно численно найти подобласть,
где глобальный минимум достигается на разрывном решении. На рис. 4 эта подобласть
расположена между "Линией равных площадей" и
"Границей области
существования классического решения"
(граничные условия на левом конце фиксированы: ,
).
В задаче необходимо найти линию наискорейшего спуска между двумя точками в
вертикальной плоскости. Этой линией является дуга циклоиды. Проблема нахождения
конкретной циклоиды для конкретных граничных условий обычно остается за рамками
изложения. Предлагается демонстрационно-обучающая программа, которая для любых
допустимых граничных условий находит и графически изображает оптимальное решение
в виде циклоиды и оптимальное решение в классе двузвенных ломаных (Рис. 5).