Лекция 9 | Математический анализ | Александр Храбров | Лекториум

Лекция 9 | Математический анализ | Автор: Александр Храбров | Курс: Математический анализ | Организаторы: Математическая лаборатория имени П.Л. Чебышева

Следите за новостями:

[VNPetroFF]

1:15:00 Напрашивается вопрос про возможность ослабления условий теоремы о замене переменной в интеграле. А именно можно ли заменить диффеоморфизм Φ на непрерывно дифференцируемую биекцию двух открытых областей? То есть можно ли разрешить обращаться якобиану замены переменных в ноль? Если мера множества тех точек, где якобиан нулевой, равна нулю, мы их можем выкинуть из области интегрирования и это не скажется на результате. А когда мера множества нулей якобиана равна нулю? Якобиан функция непрерывная, следовательно прообраз замкнутого множества обязательно замкнут, прообраз нуля есть замкнутое измеримое множество. Предположим множество нулей якобиана имеет непустую внутренность, содержит непустое открытое множество, тогда существует точка и некоторая её окрестность, сужение на которую функции Φ есть "плоское" отображение, его область значений является куском m−1-мерной поверхности, и значит Φ не биекция, поэтому множество нулей якобиана нигде не плотное. Но мера Лебега нигде не плотных множеств, как справедливо было замечено, необязательно равна нулю. Что представляют собой нули якобиана? Давайте предположим, что Φ дважды непрерывно дифференцируемая функция, тогда якобиан будет просто непрерывно дифференцируемой функцией и в точках своих нулей представляется первым линейным членом ряда Тейлора. Предположим градиент от якобина там не ноль и по непрерывности не ноль в некоторой окрестности, что означает, используя теорему о неявной функции, возможность представления пространства нулей якобиана в виде гладкой m−1 гиперповерхности в ℝ^m, прообраз нуля есть гладкое многообразие размерности m−1. Однако можно сделать вывод, что в случае, когда градиент от якобиана на множестве нулей не нулевой, мера Лебега этого множества равна нулю. Контрпример гладкой биективной функции с ненулевой мерой нулей якобиана я не придумал. Бывают ли такие функции?
Также можно попробовать ослабить условия иначе, пусть якобиан будет ненулевой, но отображение необязательно биекция, тогда про Φ можно сказать, что она диффеоморфизм только локально и область интегрирования раскладывается на объединение окрестностей, где теорема о замене работает. Мы можем сделать объединение дизъюнктным и сложить по нему все интегралы. Однако необходимо добавить условие, что множество тех точек, на которых функция Φ не взаимно однозначная, имеет нулевую меру Лебега.

[АзизЭмбарек]

Когда выложат недостающее начало этой лекции?