Главная » Просмотр файлов » 1610912312-9df1f4ce71ce8d14c4cc45dd00711797

1610912312-9df1f4ce71ce8d14c4cc45dd00711797 (824699), страница 55

Файл №824699 1610912312-9df1f4ce71ce8d14c4cc45dd00711797 (Решетняк Ю. Г. Курс математического анализа Ч2 книга 2 (1999)u) 55 страница1610912312-9df1f4ce71ce8d14c4cc45dd00711797 (824699) страница 552021-01-17СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 55)

Каждый из них получается из последовательности (1,2,...,и) вычеркиванием какого-либо одного ее члена. Обозначим символом е, набор индексов, получаемый вычеркиванием числа 1 из последовательности (1,2,..., и). Каноническое представление внешней дифференциальной формы ы спзепени и — 1 имеет вид ы(х) = ~~ ы,,(х)ах". в=1 злее использ ются еле ю е обозначения. Для произвольной формы ш степени и — 1 полагаем ю;(х) = ( — 1)' ~ы,, Тогда каноническое предсгпавление внешней дифференциальной формы ы(х) принимает вид ы(х) = ~~~ ( — 1)' 'ац(х)йх". В=1 (Целесообразность таких обозначений будет видна из дальнейшего.) В 2.

Исчисление внешних дифференциальных форм 301 2.2. УМНОЖЕНИЕ ВНЕШНИХ ИФФЕРЕН ИАЛЬНЫХ ФОРМ Пусть ы и  — произвольные внешние дифференциальные формы степеней т и з соответственно, и(х) = ~> и11х)дх~, 81х) = ) В1(,х)дх 1Е5„' ХЕ5„* — их канонические представления. Внешним произведением дифференциальных форм 1о и В называется внешняя дифференциальная форма Ф степени т + з, определенная равенством 155„' ЗЕ5„' Внешнее произведение дифференциальных форм ьо и В обозначается символом ы Л В. Формально внешнее произведение форм ы и В получается, если их канонические представления перемножить как обычные многочлены, полагая произведение дхг и дхЗ равным дх11 З1 для любых 1, 1. Напомним, что для 1 = (11,11,...,1,) и,У = 01,11,...,1,) символ дх11 ~1 означает внешнюю дифференциальную форму лх~ Дхм лх~ 11х1ьдхзь лх1 Рассмот им п и м е ы. Пример 1. Пусть даны внешние формы первой степени 1о п ь = ~, 1о;дх1 и В = ~; В1дх'.

Тогда, по определению, п и Л В = ~ "Я ш1В,дх* Л дх . 1=1 1=1 При 1 = 1 имеем ох' л ох1 = 0 и, следовательно, Л В = ~~ 1ФНВ,дх1 Л дх1 + ;В1дх1 Л дх'), 1<1<1<о где суммирование ведется по множеству всех пар (1,1) таких, что 1 < 1, При 1 < 1 имеем ох1 Л ох' = — ох1Л дх1 и окончательно получаем и Л В = ~ (1о1В1 — ы;В;)Йх' Л дх1. 1(ю(1(ь 302 Гл. 15.

Интегральное исчисление на многообразиях Лример 2. Пусть В = 2, В Их1 есть внешняя дифференциальная 1=1 форма первой степени, ы — внешняя дифференциальная форма степени и — 1. Запишем каноническое представление формы ы в виде ы(х) = ~( — 1)' 1и;(х)сЬ", ~=1 где е; Е Я„" ~ означает набор индексов, получаемый вычеркиванием числа зиз последовательности (1,2,...,п). На" ем внешнее п оизв ение В Л ы. Если г ~ з, то Вхз Л Вх" = О, так как в этом случае набор индексов Ц, е;) содержит два одинаковых члена. Поэтому произведение В,дхз на 1-е слагаемое в выражении для внешней дифференциальной формы ы при г ф у' обращается в нуль. Следовательно, мы получаем и В Л ы = ~~ ( — 1)' 'м;(х)В;дх' Л дх'*, ~=1 Имеем Вх' Л Ых' = ( — 1)' 'Вх дх ...

х„. В результате получаем ВЛьз = ~~ ы;(х)В; Вх Вх ...Вх". в=1 Отметим некого ые с в о й с т в а опе ации внешнего множе- ния непос ственно вытекаю ие из оп еления. ь Предложение 2.1. Для любых внешних дифференциальных форм ыь, й = 1,2,...,т, степени г и любой внешней дифференциальной формы В степени я выполняется равенство (ы1 + мг + + ьз„~) Л В = ыз Л В + ыз Л В + . + ьз Л В.

Аналогично, для всякой внешней формы ы степени т и любых внешних дифференциальных форм Вь, й = 1,2,...,т, степени з выполняется равенство ыЛ(В1+Вз+ ° ° ° +В )=иЛВз+ыЛВз+ ° ° +ыЛВ 303 3 2. Исчисление внешних дифференциальных форм Данное предложение непосредственно вытекает из определения операции умножения внешних дифференциальных форм. Ф ф Предложение 2.2. 11усть даны вещественная функция о н внешние дифференциальные формы ы и О. Тогда имеют место равенства (аы) Л 0 = ы Л (ад) = а(ы Л 0). Доказательство непосредственно следует из определения умножения внешних дифференциальных форм.

Ф ф Предложение 2.2. Пусть даны внешние дифференциальные формы ь» и О, оеб(ь») = »с, оеб(0) = 1. Тогда имеет место равенство (2.4) ыЛО=( — 1) ОЛь». Действительно, согласно определению имеем ЛО= '„> ~ .,0,4т1"1, ОЛы= "~ ,"1 .,0,4т1"1. Доказательство сводится к установлению того, что для любых 1 Е я~ и Х Е я~ выполняется равенство Ыт1т ~1 = ( — 1)~~ат1~~1. Последовательно меняя в (Х, Х) = (гы 1з,..., гь, 1ы зз,..., з») индекс зз местами с индексом, стоящим от него слева, после Й транспозиций получим набор индексов (1ы гм1з,...,1ь, уз,..., з»), который отличается от (1, Х) тем, что зз занимает в нем первое место, весь блок индексов 1 сдвинут на одно место вправо, а остальные индексы остаются на своих местах.

Проделав ту же процедуру с индексом уз, после к транспозиций полУчим набоР индексов, в котоРом два пеРвых места занимают зз и 1з, блок индексов 1 сдвинут вправо на два места, а остальные индексы остаются на своих прежних местах. Проделав то же построение 1 раз, в итоге получим, очевидно, набор индексов (Х, 1). При этом всего будет выполнено И транспозиций. Таким образом, набор индексов (Х,,Х) превращается в (1,1) за Ы транспозиций. Отсюда следует, что дт1~ ~1 = ( — 1)ыах1т~1, и тем самым справедливость равенства (2.4) установлена.

Предложение доказано. в ф Предложение 2.4. Операция умножения внешних дифференциальных форм ассоциативна, т. е. для любых трех внешних дифференциальных форм ы, О и ф имеет место равенство (ы Л 0) Л ф = а» Л (О Л ф). (2.5) Гл. 15. Интегральное исчисление на многообразиях 304 Действительно, пусть ш = ~ мгйх, 0 = ,'~ ртах, 4 = ,'~, 4кйх~ КЕ5 те 5'„ ГЕ 5„' суть канонические представления данных внешних форм. Согласно определению внешнего произведения дифференциальных форм имеем Лр= ~~~ ~~» ш О Ы 1дт1, ге5„' те5„' В Л ф = ') ~' В,4К 1х1'К1.

те5~ ке5„ В силу предложений 2.1 и 2.2 отсюда следует, что (м Л В) Л ф = ~~~ ~~~ ~~ ыгВтфкйхХД~1 Л Йх ГЕ5„" тЕ5~ КЕ5„ Вычисляя аналогичным образом произведение ш Л (д Л ~), получим шЛ(ВЛ~) = З ') ~ игйт4ках'Лйх1~к1. ге5~' те5~ ке5„ Доказываемое свойство внешнего умножения будет установлено, если мы покажем, что Их<г ~1 Л Ихк = Ихг Л Их< ~'к1 для любых 1, 1, К.

В связи с этим заметим сл ю ее. Пусть Р и ч' — произвольные наборы индексов, принадлежащие $'„и $'„соответственно. Тогда определены внешние дифференциальные формы Нхр и Ых~. Покажем, что произведение этих внешних форм можно вычислять по том же и авил, что и в случае, когда Р Е Я„", а Ч б Я„', т. е.

Ых Л Нх~ = Их1 '~1. (2.6) Действительно, если среди индексов, входящих в Р, есть одинаковые, то Нх = О. В этом случае, как очевидно, также и Их1' ~~ = О. В то же время Ихр Л Их~ = О. Таким образом, для данных Р и Ч равенство (2.6) верно. Точно так же убеждаемся в справедливости равенства (2.6) в случае, если среди индексов, составляющих Я, есть одинаковые. Предположим, что Р = (РыРз,...,Р,), Я = (ды оз,..., д,), где Р; ~ Р пРи ~ ~ 1 и точно так же оь ~ щ при х у~ 1.

Пусть наборы индексов Р' Е о„" з 2. Исчисление внешних дифференциальных форм 305 и Я' Е Я„* являются перестановками Р и Я. Предположим, что Р' получается из Р посредством т«транспозиций, а Я' получено из ч' тз транспозициями. Тогда ах" = ( — 1) 'ах~', ах'~ = ( — 1) 'ахО . Согласно определению внешнего произведения имеем й*рЛйхС' = (-1) + Ч*<" ~'>. Заметим, что набор индексов (Р, 9) получается из (Р', Я') т«+ тз транспозициями и, значит, ах1Р'©~ = ( — 1) '+ 'Их1~ 'с1 ~ = ах Л йх~, что и требовалось доказать. В силу сказанного получаем, что для любых 1,,7 и К имеет место равенство йх1 "> Л йхн = йх' Л ах~'и> = ах~ "н~. Предложение доказано.

ф в Предложение 2.б. Пусть даны внешние дифференциальные формы первой степени Л;, 1 = 1, 2,..., т, где 1 < г < п, Л;(х) = ~ Л; «,(х)Нх»' »;=1 л,(х,) л,(х ) л (х„) Лз(Х1) Лз(хз) Лз(х„) (2.7) л(х„х,...,х,) = л,(х,) л„(х ) . л,(х,) Обозначим правую часть равенства (2.7) символом Л(хнхыХз,...,Х ). Требуется доказать,что Л(х)(Хыхз,...,Х,) = Л(х)(ХмХз,...,Х,) (2.8) при каждом1 = 1,2,...,г, и пусть Л(х) = Лд(х)ЛЛз(х)Л..ЛЛ,(х). Тог- да для любых векторов Хы Хз,...,Х, в пространстве К" выполняется равенство 306 Гл.

15. Интегральное исчисление на многообразиях для любых векторов Хы Хз,..., Х„. В силу известных свойств определителя Л(хнХ1,Хз,...,х,) есть кососимметрическая полилинейная функция степени г переменных ХыХз,...,Х,. Пусть Л(х) есть матрица, образованная коэффициентами внешних форм Л;, г = 1, 2,..., г, Лы(х) Лзз(х) Лз„(х) Лз«(х) Лаз(х) . Лз (х) Л(х) = Лт«(х) Лтз(х) ' ' ' Л~а(х) Из свойств произведения внешних форм, установленных выше, следует, что и а и Л = ~ ~ь ° ) Л «,(х)Лз «,(х)... Лг «,(х)дх~'дх~'... Йх~" . (2.9) «1 — — ««~=« «,=1 Слагаемые в сумме справа, в которых по крайней мере два индекса й; совпадают, обращаются в нуль. Пусть 2 Лг(х)дх есть каноническое представление формы Л(х).

ген„" Для всякого 1 = («ы «з,..., г„), где 1 < ««< «з « г„< п, имеем Лг(х) = Л(х)(е;„е;„...,е,,). Зададим произвольно Х = («д,гз,...,«,) Е Я„'. Тогда слагаемое Лг(х)дхг канонического предсгоавления внешней формы Л равно, как очевидно, с у м м е всех тех выражений в правой части (2.9), для которых набор индексов К = (Йыйз,...,/с,) является перестановкой набора Х, т. е. йз — — «„,, аз — — з,„„..., а,. = « „, где о Е Р .

Для всякой перестановки а Е Р, имеем дхю 1дхв «дх1,~, о1о)ах11ох1Р дхо — о~о)дхг Отсюда следует, что «,~,и,' = ( т' ( р,„. (*р,,;.,~*~ ..~„;. ~+*'. аЕР, з 2. Исчисление внешних дифференциальных форм 307 где суммирование ведется по множеству всех перестановок а б Р,. Сумма справа есть определитель Л„,(х) Л2;,(х) .. Лд;,(х) Лзй(х) Л2гэ(х) ' Л22„(Х) (2.10) Л„,(х) Л„-,(х) . Л„(х) При каждому = 1,2,...,т имеем Лы„(х) = Ль(х)(еч). Отсюда ясно, что величина Л(е;„е;„..., е; ) равна тому же опрецелителю (2.10).

Характеристики

Тип файла
DJVU-файл
Размер
6,66 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6549
Авторов
на СтудИзбе
300
Средний доход
с одного платного файла
Обучение Подробнее