Главная » Просмотр файлов » 1610912324-d1d4762aec28c33bb2e9df51074659f6

1610912324-d1d4762aec28c33bb2e9df51074659f6 (824703), страница 136

Файл №824703 1610912324-d1d4762aec28c33bb2e9df51074659f6 (Зорич том 2 2012u) 136 страница1610912324-d1d4762aec28c33bb2e9df51074659f6 (824703) страница 1362021-01-17СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Любому разбиению Р промежутка 1 на промежутки 1м 1о,..., 1ь соответствует разложение Р на множества у(1;), г = 1,..., и. Если все эти ПФрагмент лекций с альтернативным и независимым доказательством формулы замены переменных. ДОПОЛНЕНИЕ 2. ЗАМЕНА ПЕРЕМЕННЫХ В КРАТНОМ ИНТЕГРАЛЕ 775 множества измеримы и пересекаются попарно лишь по множествам ме- ры нуль, то в силу аддитивности интеграла Если 1 непрерывна на Р, то по теореме о среднем где (, Е у(11).

Поскольку 1(С1) = Ду(71)), где т, = у (С1), то нам остается связать р(~р(11)) с р(1,) = ~1 ~. Если бы у было линейным преобразованием, то ~р(11) был бы параллелепипедом, объем которого, как известно из аналитической геометрии и алгебры, был бы равен ~бе1 ф)д(11). Но диффеоморфизм локально является почти линейным отображением, поэтому если размеры промежутков 1, достаточно малы, то с малой относительной погрешностью можно считать, что р(~р(1,)) = ~1(еФ ~р'(7;Ид(11) (можно показать, что при некотором выборе точки т, Е 1; будет иметь место даже точное равенство).

Таким образом, (2) Но справа в этом приближенном равенстве стоит интегральная сумма от функции 1'(у(~))~с1е1~р'(~)~ по промежутку 1, отвечающая разбиению Р этого промежутка с отмеченными точками т. В пределе при А(Р) — 1 0 из (1) и (2) получаем 1(х)йх = Д~р(1))~йеФ~о'(Ф)~Ж. (3) Это и есть искомая формула вместе с ее объяснением. Намеченный путь к ней можно пройти со всеми обоснованиями. Собственно, нам надо только показать законность последнего предельного перехода, предполагавшего, что стоящий в (3) справа интеграл существует, а также уточнить использованную связь р(~р(11)) = (с(еФ у'(7,) ~ .

(Ц. Проделаем это. 776 ДОПОЛНЕНИЕ 2. ЗАМЕНА ПЕРЕМЕННЫХ В КРАТНОМ ИНТЕГРАЛЕ 2. Некоторые свойства гладких отображений и диффеоморфизмов а) Напомним, что любое гладкое отображение ~р замкнутого ограниченного промежутка Х С Н" (как и любого выпуклого компакта) является липшицевым. Это следует из теоремы о конечном приращении и ограниченности у' (в силу непрерывности) на компакте: ]У(гг) — Ф(21)] ~ яцр ]]У (7)]] ]гг — 21~ ~ («]гг — 21]. (4) «е]п,н] Ь) Это, в частности, означает,что при отображении р расстояние между точками не может увеличиться более, чем в Е раз.

Например, если какое-то множество Е с 1 имело диаметр с], то диаметр его образа д(Е) не больше чем ь««, и множество «г(Е) можно покрыть (и-мерным) кубиком с ребром величины Тл( и объемом (Ьд)". Так, если Š— и-мерный кубик с ребром д и объемом б", то его образ покрывается стандартным координатным кубиком объема (Ь,/йд)". с) Из этого следует, что при гладком отображении образ множества меры нуль также является множеством меры нуль (в смысле и-мерной меры).

(Ведь в определении множества меры нуль, как легко заметить, можно ограничиться покрытиями из кубиков вместо покрытий общими п-мерными промежутками — «прямоугольными параллелепипедами«.] Если гладкое отображение у: Р« -+ Р, к тому же имеет и гладкое обратное отображение р 1: Р— > Ре т.е. если «г — диффеоморфизм, то, очевидно, и прообраз множества меры нуль тоже имеет меру нуль.

«]) Поскольку при диффеоморфизме якобиан «]е~у' отображения всюду отличен от нуля, а само отображение взаимно однозначно, то (в силу теоремы об обратной функции) внутренние точки любого множества при таком отображении переходят во внутренние точки образа этого множества, а граничные точки — в граничные точки образа. Вспоминая определение допустимого (измеримого по Жордану) множества как ограниченного множества, граница которого имеет меру нуль, можем заключить, что при диффеоморфизме образ измеримого множества также является измеримым множеством. (Это верно и для любых гладких отображений.) Но для диффеоморфизмов еще и прообраз измеримого множества, очевидно, является измеримым множеством.

ДОПОЛНЕНИЕ 2. ЗАМЕНА ПЕРЕМЕННЫХ В КРАТНОМ ИНТЕГРАЛЕ 777 е) Последнее, в частности, означает, что если ~о: Р~ -+ Р— диффеоморфизм, то из существования интеграла, стоящего в левой части доказываемой формулы (3), вытекает (на основании критерия Лебега) и существование интеграла, стоящего справа. 3. Связь мер образа и прообраза при диффеоморфизме Покажем теперь, что если ~р: 1 -+ ~р(1) — диффеоморфизм, то д(~р(1) ) = Йе1 у'(й) сй, 1 (5) в предположении положительности подынтегральной функции йеФ у'. Отсюда по теореме о среднем, в частности, получится, что найдется такая точка т Е 1, что д(~р(1)) = с1е1 ~о'(7)~1~.

(6) Формула (5) фактически есть частный случай формулы (3), когда 1' = 1. Для линейных отображений она известна, хотя, возможно, без обсуждения деталей, связанных с тем, что она справедлива по отношению к линейным отображениям не только простейших параллелепипедов, но и любых измеримых множеств. Поясним зто. Известно,что линейное отображение раскладывается в композицию простейших, которые, с точностью до возможной перестановки пар координат, сводятся к изменению только одной из них: умножению на число или добавлению к одной из координат другой. Теорема Фубини позволяет сказать, что в первом случае объем любого измеримого множества умножится на тот же множитель, что и умножземая координата (точнее, на его модуль, если рассматриваются неориентированные объемы).

Во втором случае фигура хотя и меняется, но ее объем остается прежним, поскольку соответствующие одномерные сечения лишь сдвигаются, сохраняя линейную меру. Наконец, перестановка пары координат меняет ориентацию пространственного репера (определитель такого линейного преобразования равен -1), но не меняет значения неориентированного объема фигур. (На языке теоремы Фубини зто просто смена порядка двух интегрирований.) 778 ДОПОЛНЕНИЕ 2. ЗАМЕНА ПЕРЕМЕННЫХ В КРАТНОМ ИНТЕГРАЛЕ Остается вспомнить, что детерминант композиции линейных отображений является произведением детерминантов сомножителей.

Итак, считая, что для линейных и аффинных отображений формула (5) уже установлена, докажем ее для произвольного диффеоморфизма с положительным якобианом. а) Воспользуемся еще раз теоремой о конечном приращении, но теперь чтобы оценить возможное отклонение отображения у: 1 — ~ р(1) от аффинного отображения Ф ~ А(1) = ~о(а) + у'(а)(1 — а), где 1— переменная, а а — фиксированная точка промежутка 1. Отображение А: 1 — ~ А(1) есть просто линейная часть тейлоровского разложения отображения ~р в точке а б 1.

Применяя к функции 2 > у(2) — ~о'(а)(2 — а) теорему о конечном приращении, находим (~р(2) — у(а) — ~р'(а)(1 — а)~ < апр фр'(7) — ~р'(а)8 ° (1 — а~. (7) ге[ля) Учитывая равномерную непрерывность непрерывной функции у' на компакте Х, из (7) заключаем, что существует неотрицательная функция 6 + е(д), стремящаяся к нулю при Б -+ +О, такая что для любых точек 1,а Е 1 С В" (1 — а~ < ~/пд ~ )у(~) — А(~И = ~у(~) — ~р(а) — ~р'(а)(~ — а)~ < с(о)Б. (8) Ь) Теперь перейдем непосредственно к доказательству формулы (5). Позволим себе сначала маленькое техническое облегчение: будем считать, что длины ребер параллелепипеда 1 соизмеримы и, следовательно, его можно разбить на одинаковые кубики Щ сколь угодно малого размера ребер 4 = 5 и объема Б," = Б", т.е.

1 = ЦХ; и ~1~ = Е 1Х'~ = Е 5". Ф В каждом кубике Х; фиксируем некоторую точку а;, построим соответствующее аффинное отображение А,(2) = ~р(а,) — ~р'(а,)(~ — а;), рассмотрим образ А;(дХ;) границы дХ, кубика Х; при отображении А, и возьмем с(д)б-окрестность этого образа, которую обозначим через Ь;. В силу (8) образ ~о(д1;) границы дХ; кубика 1, при диффеоморфизме у лежит в Ь;. Значит, имеют место следующие включения и неравенства: А;(11) ~ Ь, С |р(1,) С А (1,) 0 Ь, 1А(1 И вЂ” ~А! < ФХ*)! < !А(1)1+ 1~'1. ДОПОЛНЕНИЕ 2. ЗАМЕНА ПЕРЕМЕННЫХ В КРАТНОМ ИНТЕГРАЛЕ 779 Суммируя их, находим, что ~) (А,(1«)) — ~1 !Ь;( < !(Р(1)/ = ~~» )(р(1;)) < »» /А,(1;)/+ ~ )Ь,/. (9) Но при б — »+О 7 (А((х()(=2 «~«( «))»( /«««(Р)«« » Ф поэтому для доказательства формулы (5) в нашем случае осталось про- верить,что 2 „(Ь(( -» О при в -+ +О.

с) Оценим сверху объем ~Ь,~, опираясь на оценки (4) и (8). Согласно (4) ребра параллелепипеда А;(1,) имеют длину не большую, чем 15, где 6 = 5« — длина ребра кубика 1,. Поэтому (и — 1)-мерная «площады каждой из 2п граней параллелепипеда А,(1,) не больше чем (Ы)" ». Мы берем е(в)в'-окрестность такой грани.

Ее объем оценивается величиной (2+ 2)е(в)в(1 в)" ', где вторая двойка написана для поглощения вклада скругленных частей этой окрестности, возникающих около края самой грани. Таким образом, ~Ь,~ < 2п 4Ь" 'е(6)Б", поэтому ~Ь;~ < 8пЬ" ~~» е(Б)Б»Р = 8п1" 'е(б)(1), и мы видим, что ,'», (Ь,) -+ О при в -+ +О. с1) Проведенная оценка величины ~Ь;~ заодно показывает, что сколь угодно малое уменьшение ребер исходного промежутка 1, которое, возможно, следовало бы сделать, чтобы получить их соизмеримость, в пределе не влияет на результат. 4. Некоторые примеры, замечания и обобщения Итак формула (3) для случая Р« —— 1 и непрерывной функции 1 доказана. Рассмотрим и обсудим некоторые примеры. Эти обсуждения заодно покажут, что на самом деле мы уже доказали формулу (3) не только для Р« — — 1 и не только для непрерывной функции 1'.

а) Пренебрежимые множесшва. Используемые на практике замены переменных или формулы преобразования координат иногда имеют те или иные особенности (например, где-то может быть нарушение взаим- 780 ДОПОЛНЕНИЕ 2. ЗАМЕНА ПЕРЕМЕННЫХ В КРАТНОМ ИНТЕГРАЛЕ ной однозначности, обращение в нуль якобиана или отсутствие дифференцируемости). Как правило, эти особенности бывают на множествах меры нуль и потому сравнительно легко преодолеваются. Например, если нам нужно перейти от интеграла по кругу к интегралу по прямоугольнику, мы часто делаем замену переменных х = гсов у, у = тв1п~о. (10) Это хорошо известные формулы перехода от полярных координат к декартовым на плоскости. Нри этом отображении прямоугольник 1 = ((т, у) Е ж2 ~ 0 ( т ( В, 0 < у < 2к) преобразуется в круг К = ((х, у) Е ж~ )х + у < 11~). Это отображение гладкое, но оно не является диффеоморфизмом: вся сторона прямоугольника 1, на которой т = О, переходит при этом отображении в одну точку (0,0); образы точек (т, 0) и (т,2к) совпадают.

Однако если рассмотреть, например, множества 1 '1 д1 и К 1 Е, где Š— объединение границы дК круга К и радиуса, идущего в точку (О, В), то ограничение отображения (10) на область 1 1 д1 окажется ее диффеоморфизмом на область К ~ Е. Значит, если вместо прямоугольника 1 взять лежащий строго внутри него чуть меньший прямоугольник 18, то к нему и его образу Кв применима формула (6). А тогда, исчерпывая прямоугольник 1 такими прямоугольниками 1в и замечая, что при этом их образы Кя исчерпывают круг К, что ~1Д вЂ” ~ (1( и ~Кв( -+ (К~, в пределе получаем формулу (6) применительно к самой исходной паре К, 1. Сказанное, естественно, относится и к общей полярной (сферической) системе координат в К". Разовьем сделанное наблюдение. Ь) Исчерпания и предельные переходы.

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

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

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

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