Шпаргалка

Математический анализ

Все темы на одной странице

8модулей

24статей

5определений

1формул

Множества и предел последовательности

Аксиомы вещественных чисел, теория множеств, предел числовой последовательности

Аксиомы вещественных чисел и теория множеств

Фундамент математики → Теория множеств Кантора → Аксиомы вещественных чисел → Операции над множествами → Счётные и несчётные множества → Практическое значение → Связь с информатикой и логикой → Мощность множеств и диагональный аргумент Кантора

Математический анализ начинается с вопроса, который кажется тривиальным: что такое число? Мы привыкли работать с числами с детства, но строгое определение вещественного числа потребовало трёх столетий усилий лучших математиков — от Ньютона и Лейбница до Кантора и Дедекинда.

Вещественные числа образуют числовую прямую — непрерывный континуум, в котором между любыми двумя числами всегда найдётся третье. Это свойство, называемое плотностью, отличает вещественные числа от рациональных. Рациональных чисел тоже «бесконечно много», но они не заполняют числовую прямую полно...

Георг Кантор в 1870-х годах создал теорию множеств — язык, на котором написана вся современная математика. Множество — это любая совокупность определённых и хорошо различимых объектов. Кантор сделал поразительное открытие: существуют бесконечности разных «размеров».

Натуральных чисел {1, 2, 3, ...} бесконечно много — это счётная бесконечность. Удивительно, но рациональных чисел столько же, сколько натуральных: можно построить взаимно однозначное соответствие между ними (диагональный аргумент Кантора). А вот вещественных чисел больше — их несчётно много. Кант...

Предел числовой последовательности: определение и свойства

Интуиция и строгость → Определение предела (ε-N) → Ограниченность и монотонность → Арифметика пределов → Важнейшие пределы → Теорема о сжатой переменной → Расходящиеся последовательности → Последовательность Коши → Бесконечно малые и бесконечно большие → Пределы в алгоритмах и вычислениях

·lim (aₙ + bₙ) = a + b
·lim (aₙ · bₙ) = a · b
·lim (aₙ / bₙ) = a / b (при b ≠ 0)

Понятие предела — сердце математического анализа. Интуитивно мы понимаем, что последовательность 1/2, 1/4, 1/8, 1/16, ... «стремится к нулю» — её члены становятся сколь угодно малыми. Но что значит «сколь угодно»? Как сделать это утверждение математически строгим?

Ответ дал Огюстен Луи Коши в первой половине XIX века, а окончательную форму придал Карл Вейерштрасс: предел последовательности через ε-N.

Число a называется пределом последовательности {aₙ}, если для любого ε > 0 существует натуральное число N такое, что для всех n > N выполнено |aₙ - a| < ε.

Разберём это определение по словам. «Для любого ε > 0» — мы задаём произвольно малую погрешность. «Существует N» — начиная с некоторого номера. «Для всех n > N выполнено |aₙ - a| < ε» — все последующие члены лежат в ε-окрестности числа a.

Принцип полноты и теорема Больцано–Вейерштрасса

Почему полнота важна → Четыре эквивалентных формулировки → Теорема Больцано–Вейерштрасса: доказательство → Частичные пределы и число Больцано–Вейерштрасса → Принцип вложенных отрезков на практике → Супремум и инфимум → Компактность и её значение → Числа Лиувилля и трансцендентность → Принцип вложенных отрезков и его следствия

Принцип полноты вещественных чисел — самая глубокая из аксиом, отличающая вещественные числа от рациональных. Он имеет несколько эквивалентных формулировок, каждая из которых открывает новый угол зрения.

Рассмотрим последовательность 1, 1.4, 1.41, 1.414, 1.4142, ... — это десятичные приближения √2. Каждый следующий член точнее предыдущего. В рациональных числах этот предел не существует — √2 иррационально. Но мы «знаем», что где-то он должен быть, потому что числовая прямая непрерывна. Принцип по...

1. Аксиома супремума. Если непустое множество ограничено сверху, то у него существует точная верхняя грань (супремум).

2. Принцип вложенных отрезков (Кантора). Если [a₁, b₁] ⊇ [a₂, b₂] ⊇ ... — система вложенных отрезков, то их пересечение непусто. Если длины отрезков стремятся к нулю, пересечение состоит ровно из одной точки.

Функции одной переменной: предел и непрерывность

Предел функции, непрерывность, теоремы Вейерштрасса и Больцано

Предел функции: определение Коши и его следствия

От последовательностей к функциям → Определение предела (ε-δ) → Односторонние пределы → Бесконечные пределы и пределы на бесконечности → Замечательные пределы → Эквивалентные бесконечно малые → Теорема о пределе монотонной функции → Связь с последовательностями (критерий Гейне) → Методы вычисления пределов → Пределы в экономике и финансах

Предел последовательности — это предел «дискретной» функции, определённой на натуральных числах. Теперь перейдём к непрерывным функциям, заданным на интервалах вещественной прямой.

Что значит «f(x) стремится к L при x, стремящемся к a»? Интуиция подсказывает: когда x близко к a, значение f(x) близко к L. Но насколько близко? Определение через ε и δ даёт точный ответ.

Число L называется пределом функции f(x) при x→a, если для любого ε > 0 существует δ > 0 такое, что для всех x с 0 < |x - a| < δ выполнено |f(x) - L| < ε.

Заметим: x = a не входит в условие (0 < |x - a|). Предел описывает поведение функции вблизи точки, но не в самой точке. Это позволяет говорить о пределе даже там, где функция не определена.

Непрерывность функций и теоремы об их свойствах

Что значит «непрерывная функция»? → Классификация разрывов → Свойства непрерывных функций → Теорема Вейерштрасса → Теорема Больцано (теорема о промежуточном значении) → Равномерная непрерывность → Теорема о сохранении знака → Непрерывность в экономике и технике → Равномерная непрерывность и теорема Кантора

Интуитивно непрерывная функция — та, которую можно нарисовать, не отрывая ручку от бумаги. Формальное определение переводит эту интуицию в строгий язык.

Функция f называется непрерывной в точке a, если: 1. f определена в точке a 2. Существует lim(x→a) f(x) 3. lim(x→a) f(x) = f(a)

Все три условия важны. Нарушение любого из них даёт разрыв. Функция f(x) = sin(x)/x при x ≠ 0 и f(0) = 1 непрерывна везде. А если положить f(0) = 0 — в нуле будет разрыв первого рода (устранимый).

Устранимый разрыв: предел существует, но не равен значению функции. Достаточно переопределить функцию в этой точке.

Теоремы о среднем и локальные свойства функций

Теоремы о среднем как мост → Теорема Ролля → Теорема Лагранжа (теорема о конечных приращениях) → Теорема Коши (обобщённая теорема о среднем) → Правило Лопиталя → Формула Тейлора → Применение теорем о среднем → Правило Лопиталя в деталях → Монотонность и оценки через теоремы о среднем → Обобщённая теорема Коши о среднем значении

·lim(x→0) sin(x)/x = lim(x→0) cos(x)/1 = 1 ✓
·lim(x→∞) ln(x)/x = lim(x→∞) (1/x)/1 = 0

Теоремы о среднем значении связывают локальные свойства функции (значения производной в точке) с глобальными (изменение функции на интервале). Они — рабочие лошадки математического анализа, используемые в доказательствах сотен других результатов.

Если f непрерывна на [a, b], дифференцируема на (a, b) и f(a) = f(b), то существует точка c ∈ (a, b) такая, что f'(c) = 0.

Геометрический смысл: если функция возвращается в исходную точку, в какой-то момент она «разворачивается» — производная обращается в ноль.

Доказательство: по теореме Вейерштрасса f достигает максимума и минимума на [a, b]. Если оба находятся на концах, f ≡ const и f' ≡ 0. Иначе хотя бы один внутренний экстремум — в нём производная равна нулю.

Производная и дифференциал

Дифференцируемость, правила дифференцирования, формула Тейлора

Производная: определение и геометрический смысл

История: споры Ньютона и Лейбница → Определение производной → Связь дифференцируемости и непрерывности → Правила дифференцирования → Производные высших порядков → Дифференциал → Теорема об обратной функции → Логарифмическое дифференцирование → Применение в физике и экономике → Численное дифференцирование

Определения

Скорость и ускорение: — первая и вторая производные положения по времени. Предельный доход MR = dTR/dQ — производная общей выручки по объёму. Условие максимума прибыли MR = MC выводится из приравнивания производных. Эластичность спроса E = (dQ/dp) · (p/Q) — производная, ...

Формулы

Пример: (arcsin x)' при x = sin t: d(arcsin x)/dx = 1/(sin'(t)) = 1/cos(t) = 1/√(1 − x²). Это стандартная формула для производной арксинуса.

·(xⁿ)' = nxⁿ⁻¹
·(ln x)' = 1/x
·(sin x)' = cos x
·(cos x)' = -sin x
·(arctan x)' = 1/(1+x²)

В конце XVII века Ньютон и Лейбниц независимо создали дифференциальное исчисление. Ньютон называл производную «флюксией» и думал о ней физически — как о мгновенной скорости. Лейбниц разработал удобные обозначения dy/dx, которые мы используем до сих пор. Их подходы были эквивалентны, но многолетни...

Производная функции f в точке x₀ — это предел отношения приращения функции к приращению аргумента:

Если этот предел существует, функция называется дифференцируемой в точке x₀.

Физический смысл: f'(x₀) — мгновенная скорость изменения f в точке x₀. Если f(t) — положение частицы, то f'(t) — её скорость.

Экстремумы и исследование функций

Задача об экстремуме → Необходимые условия экстремума → Достаточные условия → Выпуклость и точки перегиба → Схема исследования функции → Глобальные экстремумы → Выпуклость и экономические приложения → Метод множителей Лагранжа (первое знакомство) → Асимптоты и поведение на бесконечности → Выпуклость и вторая производная: экономические приложения

·критических точек внутри отрезка
·значений на концах a и b

Найти максимум или минимум — одна из самых практичных математических задач. Компания хочет максимизировать прибыль. Инженер — минимизировать потребление энергии. Физик — найти конфигурацию с минимальной энергией.

Теорема Ферма: Если f дифференцируема в точке x₀ и в ней достигается локальный экстремум, то f'(x₀) = 0.

Точки, где f' = 0 или f' не существует — критические точки. Экстремумы могут быть только в критических точках. Но не каждая критическая точка — экстремум: f(x) = x³, f'(0) = 0, но x = 0 — не экстремум (точка перегиба).

Признак первой производной: Если f' меняет знак с + на − при переходе через x₀, то x₀ — максимум. С − на + — минимум. Без смены знака — не экстремум.

Формула Тейлора и приложения

Идея полиномиальной аппроксимации → Формула Тейлора → Разложения стандартных функций (a = 0, ряд Маклорена) → Применения формулы Тейлора → Применение в физике и технике → Погрешность аппроксимации и практика → Метод Тейлора в численном анализе → Многомерный ряд Тейлора и матрица Гессе → Оценка остатка и практическая точность → Вычисление пределов методом разложения Тейлора

Многочлены — самые простые функции: для их вычисления нужны только сложение и умножение. Идея Тейлора: приближать произвольную функцию многочленом, согласующимся с функцией в заданной точке как можно лучше.

«Согласование» означает: многочлен и функция совпадают в точке a по значению, по первой производной, по второй, ..., по n-й. Этот многочлен единственен и называется многочленом Тейлора.

Pₙ(x) = Σₖ₌₀ⁿ f^(k)(a)/k! · (x-a)^k = f(a) + f'(a)(x-a) + f''(a)(x-a)²/2! + ... + f^(n)(a)(x-a)ⁿ/n!

Остаточный член в форме Лагранжа: Rₙ(x) = f^(n+1)(c)/(n+1)! · (x-a)^(n+1) для некоторого c между a и x.

Интеграл Римана

Определённый интеграл, теорема Ньютона–Лейбница, техника интегрирования

Интеграл Римана: определение и существование

Задача об площади → Суммы Римана → Критерий Римана → Свойства интеграла → Несобственные интегралы → Связь интеграла с вероятностью → Критерий Лебега интегрируемости по Риману → Интеграл как предел интегральных сумм → Критерий Лебега интегрируемости по Риману → Суммы Дарбу и точная характеристика интегрируемости

Как найти площадь под кривой y = f(x) от a до b? Если f = const, ответ тривиален. Если f — многочлен, можно разбить на трапеции. Но что для произвольной функции?

Идея Римана (1854): разбить отрезок [a, b] на малые части, на каждой части приближённо заменить функцию константой, суммировать прямоугольники.

Разбиение T: a = x₀ < x₁ < ... < xₙ = b. Для каждого подотрезка [xᵢ₋₁, xᵢ] длиной Δxᵢ выбираем точку ξᵢ ∈ [xᵢ₋₁, xᵢ].

Функция f интегрируема по Риману на [a, b], если существует предел сумм Римана при λ→0, не зависящий от выбора разбиения и точек ξᵢ. Этот предел — определённый интеграл ∫ₐᵇ f(x)dx.

Теорема Ньютона–Лейбница и техника интегрирования

Великая теорема → Методы интегрирования → Приложения определённого интеграла → Дополнительные приёмы интегрирования → Формула Ньютона–Лейбница и ОДУ → Геометрические приложения → Интегрирование по частям в теории вероятностей → Теорема о среднем для определённого интеграла

·∫xⁿ dx = xⁿ⁺¹/(n+1) + C
·∫eˣ dx = eˣ + C
·∫sin x dx = -cos x + C
·∫dx/x = ln|x| + C

Теорема Ньютона–Лейбница — главный результат математического анализа. Она объединяет две на первый взгляд несвязанные задачи: нахождение площади (интеграл) и нахождение производной (дифференциал).

Формулировка: Если f непрерывна на [a, b] и F — любая первообразная f (то есть F' = f), то:

Это означает: чтобы вычислить площадь под кривой, достаточно найти первообразную и подставить концы.

Первая часть теоремы: Функция Φ(x) = ∫ₐˣ f(t) dt дифференцируема, и Φ'(x) = f(x).

Несобственные интегралы и их сходимость

Что такое несобственный интеграл → Признаки сходимости → Важнейшие несобственные интегралы → Абсолютная и условная сходимость → Формула Стирлинга → Бета-функция и связь с гамма-функцией → Преобразование Лапласа как несобственный интеграл → Главное значение Коши и условная сходимость → Признак Дирихле для несобственных интегралов → Сравнение признаков сходимости несобственных интегралов

Стандартный интеграл Римана требует: функция определена и ограничена на замкнутом конечном отрезке. Что если область интегрирования бесконечна или функция неограничена?

Тип II (неограниченная функция): ∫ₐᵇ f(x) dx (f → ∞ при x→a+) = lim(ε→0+) ∫ₐ₊ₑᵇ f(x) dx.

Если предел существует и конечен — интеграл сходится. Иначе — расходится.

Эталоны: ∫₁^∞ dx/xᵖ сходится при p > 1, расходится при p ≤ 1. ∫₀¹ dx/xᵖ сходится при p < 1, расходится при p ≥ 1.

Ряды

Числовые и функциональные ряды, признаки сходимости, степенные ряды

Числовые ряды и признаки сходимости

Бесконечная сумма → Геометрический ряд → Признаки сходимости рядов с неотрицательными членами → Абсолютная и условная сходимость → Теорема Римана → Скорость убывания и скорость сходимости → Ряды в вычислениях → Теорема Абеля о граничном поведении → Арифметика сходящихся рядов → Признаки сравнения и асимптотический признак

Сумма 1 + 1/2 + 1/4 + 1/8 + ... — может ли бесконечная сумма быть конечной? Интуиция говорит «нет», но математика показывает: да, если слагаемые убывают достаточно быстро.

Числовой ряд — это формальная запись Σₙ₌₁^∞ aₙ. Его частичная сумма Sₙ = a₁ + a₂ + ... + aₙ. Ряд сходится, если последовательность {Sₙ} имеет конечный предел S. Тогда S = Σₙ₌₁^∞ aₙ.

Необходимое условие сходимости: Если ряд сходится, то aₙ → 0. Обратное неверно: ряд Σ 1/n (гармонический ряд) расходится, хотя 1/n → 0.

Это фундаментальный ряд: через него выражаются ставки аннуитетов, задачи оценки бизнеса (ряд дисконтированных денежных потоков).

Функциональные ряды и равномерная сходимость

Зачем нужна равномерная сходимость → Равномерная сходимость → Свойства равномерно сходящихся рядов → Степенные ряды → Поточечная и равномерная сходимость: наглядный пример → Ряды Тейлора как степенные ряды → Функциональные ряды в анализе данных и машинном обучении → Тестирование равномерной сходимости → Обмен предела и интеграла при равномерной сходимости → Равномерная сходимость и непрерывность суммы ряда

·S(x) = Σfₙ(x) непрерывна на [a, b]
·Можно интегрировать почленно: ∫ₐᵇ S(x)dx = Σ∫ₐᵇ fₙ(x)dx
·При дополнительных условиях — дифференцировать почленно

Пусть ряд Σfₙ(x) сходится в каждой точке x к функции S(x). Можно ли утверждать, что S непрерывна, если все fₙ непрерывны? Или что интеграл ряда — это ряд интегралов?

Ответ: нет, если сходимость только поточечная! Нужна более сильная форма — равномерная сходимость.

Ряд Σfₙ сходится равномерно к S на множестве E, если для любого ε > 0 существует N такое, что для всех n > N и всех x ∈ E: |S(x) - Sₙ(x)| < ε. Одно и то же N работает для всех x.

Критерий Коши: Ряд равномерно сходится ⟺ для любого ε > 0 существует N такое, что для m > n > N: |∑ₖ₌ₙ₊₁ᵐ fₖ(x)| < ε для всех x ∈ E.

Ряды Фурье

Идея разложения в тригонометрический ряд → Ортогональность тригонометрической системы → Теорема Дирихле → Равенство Парсеваля → Комплексная форма и преобразование Фурье → Сходимость ряда Фурье: тонкости → Равенство Парсеваля и энергия сигнала → Непериодические функции и преобразование Фурье → Двумерное преобразование Фурье и обработка изображений → Принцип неопределённости в анализе сигналов

Жан Батист Жозеф Фурье в 1807 году предложил революционную идею: любую «разумную» функцию можно разложить в ряд по тригонометрическим функциям. Это позволяло решать уравнение теплопроводности — задачу, с которой Фурье работал как инженер.

Тригонометрический ряд Фурье: f(x) = a₀/2 + Σₙ₌₁^∞ (aₙ cos(nx) + bₙ sin(nx)), где

Функции 1, cos x, sin x, cos 2x, sin 2x, ... ортогональны в пространстве L²[-π, π]:

Именно ортогональность позволяет вычислить коэффициенты: умножаем f(x) на cos(nx) и интегрируем — все остальные слагаемые исчезают.

Функции многих переменных

Дифференцирование, кратные интегралы, экстремумы функций нескольких переменных

Частные производные и полный дифференциал

Переход к нескольким переменным → Частные производные → Дифференцируемость → Градиент и производная по направлению → Теорема о смешанных производных → Матрица Гессе и достаточное условие экстремума → Условные экстремумы: метод множителей Лагранжа

·H положительно определена (все собственные значения > 0) → локальный минимум.
·H отрицательно определена (все собственные значения < 0) → локальный максимум.
·H неопределённого знака (есть положительные и отрицательные) → седловая точка (не экстремум).

Реальные задачи редко зависят от одной переменной. Температура зависит от координат x, y, z и времени t. Прибыль фирмы — от цен, объёмов, затрат. Потенциальная энергия системы частиц — от положений всех частиц. Анализ функций многих переменных — непосредственный шаг к пониманию реального мира, и ...

Частная производная f по xᵢ в точке a — это обычная производная по xᵢ при фиксированных остальных переменных:

Для f(x, y) = x²y + sin(y): ∂f/∂x = 2xy (дифференцируем по x, y — параметр), ∂f/∂y = x² + cos(y) (дифференцируем по y, x — параметр).

Экономическая интерпретация: Если f(K, L) — производственная функция (K — капитал, L — труд), то ∂f/∂K — предельный продукт капитала: насколько вырастет выпуск при увеличении капитала на единицу при фиксированных трудовых ресурсах. Функция Кобба–Дугласа f = AK^α L^β: ∂f/∂K = αAK^(α-1)L^β = αf/K. ...

Кратные интегралы и их вычисление

Зачем нужны кратные интегралы → Двойной интеграл: определение и геометрический смысл → Теорема Фубини: сведение к повторному интегралу → Замена переменных и якобиан → Тройные интегралы и криволинейные координаты → Вероятностные приложения

Одномерный интеграл находит площадь под кривой. Кратные интегралы обобщают это на несколько измерений: двойной интеграл вычисляет объём под поверхностью, массу плоской пластины с переменной плотностью, вероятность попадания в область для двумерного распределения. Тройные интегралы — объёмы, центр...

Исторически кратные интегралы возникли у Лейбница и Ньютона при решении задач механики, но строгое обоснование появилось только у Коши и Римана в XIX веке. Ключевое препятствие — область интегрирования может быть произвольной фигурой, а не прямоугольником. Теорема Фубини, которую мы разберём ниже...

Пусть f(x,y) определена и ограничена на замкнутой области D ⊂ ℝ². Разбиваем D на малые кусочки с площадями ΔAₖ, выбираем в каждом точку (ξₖ, ηₖ) и формируем интегральную сумму Σ f(ξₖ, ηₖ) ΔAₖ. Если этот предел существует при измельчении разбиения и не зависит от способа разбиения и выбора точек, ...

Геометрический смысл: если f(x,y) ≥ 0, то двойной интеграл равен объёму под поверхностью z = f(x,y) над областью D. При f = 1 получаем площадь области: S(D) = ∬_D dA.

Теоремы о неявных функциях и обратных отображениях

Постановка вопроса → Теорема о неявной функции: одномерный случай → Производная неявной функции через полный дифференциал → Многомерная теорема о неявной функции → Теорема об обратном отображении → Связь с методом Лагранжа и приложения к оптимизации

Большинство важных математических зависимостей задаётся неявно: уравнениями, системами уравнений, условиями равновесия. Уравнение состояния газа связывает давление, объём и температуру, но мы хотим знать, как меняется давление при изменении температуры при фиксированном объёме. Уравнение кривой F...

Теоремы о неявных и обратных отображениях отвечают на фундаментальный вопрос: когда нелинейная система «локально» ведёт себя как линейная? Ответ — когда соответствующее линейное приближение (матрица Якоби) обратимо. Это, по существу, принцип линеаризации, пронизывающий весь математический анализ.

Теорема (Коши, 1831): Пусть F: U ⊂ ℝ² → ℝ непрерывно дифференцируема, F(x₀, y₀) = 0 и ∂F/∂y(x₀, y₀) ≠ 0. Тогда существуют окрестности V ∋ x₀ и W ∋ y₀ такие, что для каждого x ∈ V уравнение F(x, y) = 0 имеет единственное решение y = φ(x) ∈ W. Функция φ непрерывно дифференцируема, и φ'(x) = -∂F/∂x(...

Условие ∂F/∂y ≠ 0 — ключевое. Геометрически это значит: поверхность уровня F = 0 «пересекает» вертикальное направление нетрансверсально. Аналогия: линейное уравнение ax + by = 0 разрешается по y тогда и только тогда, когда b ≠ 0.

Векторный анализ

Криволинейные и поверхностные интегралы, формулы Грина, Стокса, Гаусса

Криволинейные интегралы

Мотивация: работа, масса провода, поток → Кривая и её параметризация → Криволинейный интеграл первого рода (по длине дуги) → Криволинейный интеграл второго рода (по координатам) → Теорема Грина → Потенциальные поля и независимость от пути

Три задачи приводят к криволинейным интегралам. Первая: найти массу тонкого провода с переменной линейной плотностью ρ(x,y) — нельзя просто умножить длину на плотность, если плотность меняется. Вторая: найти работу, совершённую силовым полем F(x,y) = (P, Q) при перемещении частицы вдоль кривой — ...

Гладкая кривая C задаётся параметрически: r(t) = (x(t), y(t)), t ∈ [a, b], где x(t), y(t) непрерывно дифференцируемы и |r'(t)| = √(x'² + y'²) ≠ 0 (нет «остановок»). Элемент длины дуги: ds = |r'(t)| dt = √(x'²(t) + y'²(t)) dt.

Пример: полуокружность C: x = cos t, y = sin t, t ∈ [0, π]. Длина: ∫₀^π |r'(t)| dt = ∫₀^π 1 dt = π. ✓

Это интеграл скалярной функции f по длине кривой. Не зависит от ориентации кривой (знак ds всегда положителен).

Поверхностные интегралы и формула Стокса

Зачем нужны поверхностные интегралы → Параметрически заданные поверхности → Поверхностный интеграл первого рода → Поверхностный интеграл второго рода (поток) → Формула Стокса: связь ротора с циркуляцией → Формула Гаусса–Остроградского: дивергенция и источники → Уравнения Максвелла: единый язык

·Сфера радиуса R: r(φ,θ) = (R sin φ cos θ, R sin φ sin θ, R cos φ), φ ∈ [0,π], θ ∈ [0,2π]. |N| = R² sin φ.
·Цилиндр r = R: r(θ,z) = (R cos θ, R sin θ, z). |N| = R.
·График z = f(x,y): r(x,y) = (x, y, f(x,y)). |N| = √(fx² + fy² + 1).

Плоская пластина с переменной плотностью требовала двойного интеграла. Поверхность в пространстве — трёхмерная кривая — требует поверхностного интеграла. Физические задачи, приводящие к ним: масса поверхности с переменной плотностью, тепловой поток через неравномерно нагретую оболочку, поток жидк...

Касательные векторы: rᵤ = ∂r/∂u = (∂x/∂u, ∂y/∂u, ∂z/∂u) и r_v = ∂r/∂v — лежат в касательной плоскости к поверхности.

Смысл: интегрируем скалярную функцию f по площади поверхности. Не зависит от ориентации.

Дифференциальные формы и теорема Стокса в общей форме

Единство за многообразием → Дифференциальные формы: определение → Внешнее произведение → Внешний дифференциал → Обобщённая теорема Стокса → Замкнутые и точные формы. Когомологии де Рама → Дифференциальные формы в физике

Определения

1-форма: — выражение ω = P₁ dx₁ + P₂ dx₂ + ... + Pₙ dxₙ, где Pᵢ — гладкие функции, а dx₁,...,dxₙ — «базисные формы». Интеграл 1-формы по кривой — это криволинейный интеграл второго рода.
2-форма: — выражение ω = Σᵢ<ⱼ Pᵢⱼ dxᵢ ∧ dxⱼ, где ∧ — внешнее произведение (антикоммутативное: dxᵢ ∧ dxⱼ = −dxⱼ ∧ dxᵢ, dxᵢ ∧ dxᵢ = 0). В ℝ³: ω = P dy∧dz + Q dz∧dx + R dx∧dy. Интеграл 2-формы по поверхности — поверхностный интеграл.
k-форма: — кососимметричная k-линейная форма на касательных векторах. В ℝⁿ k-форм ровно C(n,k) базисных штук.

M	ω	∂M	dω	Результат
Отрезок [a,b]	f (0-форма)	{a, b}	df = f'dx (1-форма)	∫ₐᵇ f'dx = f(b)−f(a) — Ньютон–Лейбниц
Область в ℝ²	P dx+Q dy (1-форма)	Контур ∂D	(Qx−Py)dx∧dy	∮P dx+Q dy = ∬(Qx−Py)dA — Грин
Поверхность в ℝ³	1-форма	Контур ∂S	ротор	∮F·dr = ∬rot F·n dS — Стокс
Объём V	2-форма	Поверхность ∂V	дивергенция	∬∂V F·n dS = ∭ div F dV — Гаусс

·Ассоциативность: (α ∧ β) ∧ γ = α ∧ (β ∧ γ).
·Антикоммутативность: α ∧ β = (−1)^{pq} β ∧ α.
·Линейность по каждому аргументу.

Теорема Ньютона–Лейбница, теорема Грина, теорема Стокса, теорема Гаусса–Остроградского — выглядят как четыре разные теоремы о четырёх разных видах интегралов. На самом деле это одна теорема в разных измерениях: интеграл внешней производной по многообразию равен интегралу исходной формы по его гра...

Дифференциальные формы появились в конце XIX века в работах Пуанкаре, Карлемана, Картана. Они объединяют анализ, топологию и геометрию и являются правильным языком для общей теории интегрирования на многообразиях — от классической механики до общей теории относительности.

0-форма на ℝⁿ — это просто гладкая функция f: ℝⁿ → ℝ. Её «интеграл» по точке — значение функции.

1-форма — выражение ω = P₁ dx₁ + P₂ dx₂ + ... + Pₙ dxₙ, где Pᵢ — гладкие функции, а dx₁,...,dxₙ — «базисные формы». Интеграл 1-формы по кривой — это криволинейный интеграл второго рода.

Теория меры и интеграл Лебега

Мера Лебега, интеграл Лебега, теоремы о предельном переходе

Мера Лебега и интеграл Лебега

Зачем понадобился новый интеграл → Мера Лебега: обобщение длины → Интеграл Лебега: горизонтальные слои → Теоремы о предельном переходе → Критерий интегрируемости по Риману → Применения: вероятность и функциональный анализ

·m({x₀}) = 0 для любой точки x₀.
·m(ℚ ∩ [0,1]) = 0: рациональные числа — счётное множество, покрываемое интервалами суммарной длины ε при любом ε > 0.
·Канторово множество C ⊂ [0,1]: строим, убирая из [0,1] средние трети. C — несчётное замкнутое совершенное множество без внутренних точек. m(C) = 0! Несчётное, но «нулевое по мере».
·m([0,1]) = 1, m((a,b)) = b − a независимо от открытости/замкнутости концов.

К концу XIX века математики столкнулись с ограничениями интеграла Римана. Первая проблема — функции с «плохими» разрывами. Функция Дирихле D(x) = 1 для рациональных x и D(x) = 0 для иррациональных не интегрируема по Риману: при любом разбиении [0,1] нижняя сумма Дарбу равна 0 (в каждом отрезке ес...

Вторая проблема — предельный переход. Если fₙ → f и каждая fₙ интегрируема, то интегрируема ли f? Верно ли lim ∫fₙ = ∫f? Для Римана ответ «не обязательно» — нужна равномерная сходимость. Но в теории вероятностей, функциональном анализе и теории дифференциальных уравнений нам нужны куда более общи...

Анри Лебег (1875–1941) в своей докторской диссертации 1902 года создал теорию, решающую обе проблемы. Его подход: измерять «размер» множеств, а не разбивать область на отрезки.

Начнём с простого: длина отрезка [a,b] = b − a. Длина конечного объединения непересекающихся отрезков = сумма длин (аддитивность). Можно ли распространить это «измерение» на произвольные множества?

Пространства Lp и теорема Фубини

Зачем нужны пространства функций → Пространства Lᵖ: определение и норма → Неравенство Гёльдера и Минковского → Пространство L²: гильбертова структура → Теорема Фубини и Тонелли → Теорема Радона–Никодима и условное ожидание

Определения

Lᵖ(X, μ): — пространство (классов) измеримых функций f: X → ℝ таких, что ∫_X |f(x)|ᵖ dμ(x) < ∞.

·L²([0,1]): функции с конечной «средней квадратичной» нормой. Квадратично-интегрируемые функции.
·l²: последовательности (aₙ) с Σ|aₙ|² < ∞. Счётный аналог L².
·L¹([0,1]): абсолютно интегрируемые функции. Норма = ∫₀¹|f|dx.

После введения интеграла Лебега естественно спросить: какие функции «хорошо себя ведут»? Для чего нам вообще нужен класс функций, а не просто отдельные функции? Ответ — задачи анализа редко живут в «одной функции». Мы приближаем функции рядами, ищем решения уравнений в классе функций, изучаем схо...

Пространства Lᵖ — это правильные функциональные пространства для анализа, теории вероятностей, обработки сигналов и квантовой механики.

Lᵖ(X, μ) — пространство (классов) измеримых функций f: X → ℝ таких, что ∫_X |f(x)|ᵖ dμ(x) < ∞.

Технически, L^p состоит из классов эквивалентности: f ~ g если f = g почти всюду (μ-а.в.). Это делает ‖f − g‖_p = 0 эквивалентным f = g а.в., что нужно для невырожденности нормы.

Преобразование Фурье и теорема Планшереля

Идея: разложить сигнал по частотам → Преобразование Фурье на L¹(ℝ) → Формула обращения и пространство Шварца → Вычисление примеров → Теорема Планшереля: продолжение на L² → Принцип неопределённости Гейзенберга → Решение УЧП методом Фурье → Быстрое преобразование Фурье (FFT)

Ряды Фурье разлагают периодическую функцию по частотам 1/T, 2/T, 3/T, ... Но что делать с непериодическим сигналом — например, конечным импульсом или функцией на всей вещественной оси? Шаг к непериодическому случаю: увеличим период T → ∞. Дискретный набор частот n/T становится непрерывным спектро...

Это один из самых универсальных инструментов математики — он одновременно работает в теории чисел, квантовой механике, теории дифференциальных уравнений, статистике, обработке сигналов и машинном обучении.

Для f ∈ L¹(ℝ) (абсолютно интегрируемой функции) преобразование Фурье определяется как:

(Используется соглашение с e^{-iωx}; в физике часто e^{-2πiξx}, в технике — e^{-jωt}.)