Материал из Викиконспекты
Определения
Интегральные неравенства Гельдера и Минковского
Интеграл комплекснозначной функции
Пространство $L^p(E,\mu)$
Пространство $L^\infty(E,\mu)$
Существенный супремум
Фундаментальная последовательность, полное пространство
Плотное множество
Финитная функция
Гильбертово пространство
Ортогональная система, ортонормированная система векторов, примеры
Сходящийся ряд в гильбертовом пространстве
Ортогональная система (семейство) векторов
Ортонормированная система
Коэффициенты Фурье
Ряд Фурье
Базис, полная, замкнутая ОС
Тригонометрический ряд
Коэффициенты Фурье функции
Ядро Дирихле, ядро Фейера
Свертка
Аппроксимативная единица
Усиленная аппроксимативная единица
Метод суммирования средними арифметическими
Измеримое множество на простой двумерной поверхности в R^3
Мера Лебега на простой двумерной поверхности в R^3
Поверхностный интеграл первого рода
Определение: |
[math]\int f(x(t), y(t), z(t)) \sqrt{x'^2 + y'^2 + z'^2} dt[/math] |
Кусочно-гладкая поверхность в R^3
Определение: |
[math]M \subset \mathbb R^3[/math] называется кусочно-гладкой, если [math]M[/math] представляет собой объединение:
- конечного числа простых гладких поверхностей
- конечного числа простых гладких дуг
- конечного числа точек
|
Сторона поверхности
Определение: |
Сторона поверхности — это непрерывное поле единичных нормалей на поверхности |
Задание стороны поверхности с помощью касательных реперов
Определение: |
Репер — упорядоченный набор из двух (неколлинеарных) касательных векторов к поверхности |
Определение: |
Поле реперов [math]v_1, v_2 \colon M \to \mathbb R^3[/math], если [math]\forall x \in M \quad \langle v_1(x), v_2(x) \rangle[/math] — касательный репер |
Определение: |
Сторона поверхности задаётся с помощью касательных реперов:
[math]n_0(x) = \dfrac{v_1(x) \times v_2(x)}{|v_1(x) \times v_2(x)|}[/math] |
Интеграл II рода
Ориентация контура, согласованная со стороной поверхности
Ротор, дивергенция векторного поля
Соленоидальное векторное поле
Теоремы
Теорема о вложении пространств [math]L^p[/math]
Теорема: |
[math](X, a, \mu)[/math]
[math]\mu(X) \lt +\infty[/math]
- [math]1 \leqslant s \lt r \lt +\infty[/math], тогда [math]L^r \subset L^s[/math]
- [math]\parallel f \parallel_s \leqslant (\mu(X))^{\frac{1}{s} - \frac{1}{r}} \times \parallel f \parallel_r[/math]
|
Доказательство: |
[math]\triangleright[/math] |
Шмяк-шмяк и готово |
[math]\triangleleft[/math] |
Полнота $L^p$
Плотность в $L^p$ множества ступенчатых функций
Лемма Урысона
Плотность в $L^p$ непрерывных финитных функций
Теорема о непрерывности сдвига
Теорема о свойствах сходимости в гильбертовом пространстве
Теорема о коэффициентах разложения по ортогональной системе
Теорема о свойствах частичных сумм ряда Фурье. Неравенство Бесселя
Теорема Рисса -- Фишера о сумме ряда Фурье. Равенство Парсеваля
Теорема о характеристике базиса
Лемма о вычислении коэффициентов тригонометрического ряда
Теорема Римана--Лебега
Принцип локализации Римана
Признак Дини. Следствия
Корректность определения свертки
Свойства свертки функции из $L^p$ с функцией из $L^q$
Теорема о свойствах аппроксимативной единицы
Теорема Коши о перманентности метода средних арифметических
Теорема Фейера
Полнота тригонометрической системы
Формула Грина
Формула Стокса
Формула Гаусса--Остроградского
Бескоординатное определение ротора
Бескоординатное определение дивергенции
Описание соленоидальных полей в терминах дивергенции