Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
12. Построение поля.Возьмём какое-нибудь n-параметрическое семейство экстремалей:
или коротко
и примем, что оно просто покрывает некоторую область D в пространстве переменных Мы примем, что R есть односвязная область и что функции
Решая уравнения (1) относительно
или коротко
Через каждую точку
Теперь мы можем сформулировать задачу настоящего параграфа. Она состоит в нахождении условий, необходимых и достаточных для того, чтобы область
являлась полем для рассматриваемого нами функционала. Так как функция (4) непрерывно дифференцируема в области D, то вопрос сводится к выяснению условий, при которых интеграл Гильберта, построенный с помощью вектор-функции Представляется целесообразным преобразовать интеграл Гильберта к переменным
получим для интеграла Гильберта представление
где L есть путь в области Я, отвечающий пути С в области D. Чтобы интеграл (5) зависел только от концов пути, необходимо, а в силу односвязности области и достаточно, чтобы подиитёгральное выражение было полным дифференциалом. Таким образом, искомые условия сводятся к n равенствам
и
Выполняя дифференцирование, перепишем (6) в виде
Отсюда
где вместо символа Обратимся теперь к условиям (7). Выполняя в них дифференцирование, получаем:
Придадим этим условиям другую форму, для чего присоединим к величинам
Выражая эти переменные через а; и В с помощью формулы (1), получим
Пользуясь выражениями (1), (8), перепишем условия (7) в виде
Левую часть формулы (9) называют скобкой Лагранжа и обозначают символом
Итак, поставленная нами выше задача решена. Искомые условия (необходимые и достаточные) состоят в тождественном равенстве нулю всех скобок Лагранжа, составленных с помощью отвечающего семейству экстремалей (1) n-параметрического семейства (1), (8) канонических переменных. n-параметрическое семейство экстремалей (1), для которого все скобки Лагранжа равны нулю, называют майеровым семейством. Таким образом, n-параметрическое семейство экстремалей, удовлетворяющее перечисленным в начале настоящего параграфа условиям, порождает поле в том и только в том случае, если оно майерово. При Для проверки, является ли
зависящие от х и параметров
то все скобки Лагранжа, составленные с помощью этих величин, от х не зависят. Значение этой теоремы состоит в том, что в силу неё достаточно проверить обращение скобок Лагранжа в нуль лишь для одной точки Доказательство получается простым дифферент цированием:
Пример. Если все экстремали (1) выходят из одной точки
от
и, значит, все скобки Лагранжа в точке
|
1 |
Оглавление
|