4. Трудности, возникающие в более сложных случаях.

Если вопрос о существовании экстремума не представляет серьезных затруднений в элементарных проблемах, зависящих от одной, двух или. вообще, конечного числа переменных, то дело обстоит совсем иначе в случае проблемы Дирихле или даже в случае более простых проблем такого же типа. Причина кроется или в том, что область изменения независимого переменного оказывается некомпактной, или в том, что рассматриваемая функция не является непрерывной. В первом примере пункта 2 мы имеем множество путей причем О стремится к А. Все такие пути, с точки зрения условия проблемы, одинаково допустимы. Но пути в пределе переходят в прямолинейный отрезок который сам уже не представляет собой допустимого пути. Множество допустимых путей в этом примере подобно множеству чисел для которого не имеет места теорема Вейерштрасса об экстремальных значениях (см. стр. 363). Точно такое же положение вещей и во втором примере: если конусы становятся все тоньше и тоньше, последовательность соответствующих поверхностей в пределе переходит в диск с перпендикуляром, торчащим вверх и заканчивающимся точкой Но этот предельный геометрический образ уже не может быть причисляем к «допустимым» поверхностям: множество «допустимых» поверхностей и на этот раз не оказывается компактным.

Рис. 225. Приближение отрезка ломаными линиями

В качестве примера зависимости, не обладающей свойством непрерывности, рассмотрим длину кривой. Длину кривой нельзя считать функцией от конечного числа числовых переменных, так как кривая в целом не может быть характеризована конечным числом «координат», и зависимость длины кривой от самой кривой не является непрерывной. Чтобы убедиться в этом, соединим две точки отстоящие одна от другой на расстоянии зигзагообразной ломаной вместе с отрезком образующей равносторонних треугольников. Из рис. 225 ясно видно, что длина при любом равна в точности Рассмотрим теперь последовательность ломаных линий Отдельные зигзаги ломаной линии уменьшаются по своей высоте, в то время как число их увеличивается, и совершенно ясно, что ломаная в пределе переходит в прямолинейный отрезок в котором уже нет и следов «зигзагообразности». Но длина все время

равна каково бы ни было тогда как длина предельного отрезка равна всего лишь Длина кривой, таким образом, не зависит «от самой кривой» непрерывно.

Все приведенные примеры подтверждают, что при исследовании вопроса о существовании решения экстремальных проблем в более сложных случаях следует проявлять крайнюю осмотрительность.