Участник:Yulya3102/Матан3сем
Основные вопросы
Список
Признак Вейерштрасса
Теорема Стокса--Зайдля для рядов
Теорема об интегрировании функционального ряда
Теорема о дифференцировании функционального ряда
Теорема о почленном предельном переходе в суммах
Теорема о перестановке пределов
Признак Дирихле равномерной сходимости функционального ряда
Метод суммирования Абеля
Теорема о круге сходимости степенного ряда
Теорема о равномерной сходимости и непрерывности степенного ряда
Линейные и комплексно линейные отображения. Уравнения Коши--Римана
Теорема о почленном дифференцировании степенного ряда
Экспонента, синус, косинус. Свойства.
Необходимое условие дифференцируемости.
Достаточное условие дифференцируемости
Лемма об оценке нормы линейного оператора
Дифференцирование композиции
Дифференцирование ``произведений
Теорема Лагранжа для векторнозначных функций
Экстремальное свойство градиента
Независимость частных производных от порядка дифференцирования
Полиномиальная формула
Лемма о дифференцировании ``сдвига
Многомерная формула Тейлора (с остатком в форме Лагранжа и Пеано)
Теорема о пространстве линейных отображений
Теорема Лагранжа для отображений
Теорема об обратимости линейного отображения, близкого к обратимому
Теорема о непрерывно дифференцируемых отображениях
Необходимое условие экстремума. Теорема Ролля
Лемма об оценке квадратичной форме и об эквивалентных нормах
Достаточное условие экстремума
Лемма о почти локальной инъективности
Теорема о сохранении области
Теорема о диффеоморфизме
Теорема о локальной обратимости
Теорема о неявном отображении
Теорема о задании гладкого многообразия системой уравнений
Необходимое условие относительного локального экстремума
Вычисление нормы линейного оператора с помощью собственных чисел
Простейшие свойства интеграла векторного поля по кусочно-гладкому пути
Обобщенная формула Ньютона--Лебница
Характеризация потенциальных векторных полей в терминах интегралов
Лемма о дифференцировании интеграла по параметру
Необходимое условие потенциальности гладкого поля. Лемма Пуанкаре
Лемма о гусенице
Лемма о равенстве интегралов по похожим путям
Лемма о похожести путей, близких к данному
Равенство интегралов по гомотопным путям
Потенциальность локально потенциального поля. Следствие о лемме Пуанкаре
Асимптотика интеграла $\int_0^{\pi/2}\cos^nx\,dx$, $n\no+\infty$
Лемма о локализации (в методе Лапласа)
Метод Лапласа вычисления асимптотики интегралов
Теоерма Вейерштрасса о приближении функций многочленами
Формула Стирлинга для Гамма-функции
Признак Вейерштрасса
Теорема: |
Рассмотрим ряд , где ( — метрическое пространство). Пусть есть ряд — сходящийся, такой, что . Тогда равномерно сходится на . |
Доказательство: |
Для доказательства достаточно проверить справедливость критерия Коши. |
//критерий Коши — это, блин, што?
Теорема Стокса--Зайдля для рядов
Теорема: |
Пусть ряд , где , равномерно сходится на . Пусть есть точка , такая, что все непрерывны в . Тогда непрерывна в точке . |
Теорема об интегрировании функционального ряда
Теорема: |
Пусть ( — множество непрерывных функций), равномерно сходится на , . Тогда |
Теорема о дифференцировании функционального ряда
Проверить пункты про сходимость
Теорема: |
Пусть ( — множество непрерывно дифференцируемых функций). поточечно сходится на , . при , — равномерно сходится на к . Тогда и . |
Теорема о почленном предельном переходе в суммах
Теорема: |
Пусть , .
1) 2) равномерно сходится наТогда 1) 2) — сходится |
Теорема о перестановке пределов
(
)Теорема: |
Пусть , (или даже — предельная точка )
1) сходится равномерно к при2) Тогда 1) 2) |
Признак Дирихле равномерной сходимости функционального ряда
Теорема: |
Пусть есть ряд ,
1) частичные суммы ряда равномерно ограничены, т.е. 2) Тогда монотонна по и равномерно сходится к равномерно сходится на . |
Метод суммирования Абеля
Теорема: |
Пусть сходится. Рассмотрим функцию . Тогда . |
Теорема о круге сходимости степенного ряда
Теорема о равномерной сходимости и непрерывности степенного ряда
Линейные и комплексно линейные отображения. Уравнения Коши--Римана
Теорема о почленном дифференцировании степенного ряда
Экспонента, синус, косинус. Свойства.
Пусть
Единственность производной
Теорема: |
Производный оператор единственный. |
Доказательство: |
Покажем, что значение производного оператора определения. По линейности имеем: на каждом векторе определяется однозначно. По линейности оператора . Зафиксируем . Возьмём достаточно малое по модулю (достаточно взять , где ) и подставим вместо в равенство из. Перенеся в левую часть и разделив на , получим:, то есть . |
Лемма о покоординатной дифференцируемости
Лемма: |
Дифференцируемость отображения в точке равносильна одновременной дифференцируемости всех его координатных функций в точке . |
Доказательство: |
Пусть из определения производного оператора покоординатно: дифференцируемо в точке . Запишем равенство. Координатные функции Обратно, пусть линейного оператора являются линейными, а непрерывность и равенство нулю в нуле отображения равносильно такому же свойству его координатных функций . Поэтому для выполнено определение дифференцируемости. дифференцируемы в точке . Тогда для каждого существует линейная функция и функция , непрерывная и равная нулю в нуле, для которых выполняется равенство. Следовательно, для выполняется равенство из определения производного оператора, где — оператор с координатными функциями . |
Необходимое условие дифференцируемости.
Достаточное условие дифференцируемости
Лемма об оценке нормы линейного оператора
Лемма: |
Пусть — линейный оператор. Тогда , где ( — элементы его матрицы) |
Дифференцирование композиции
Дифференцирование «произведений»
Теорема Лагранжа для векторнозначных функций
Экстремальное свойство градиента
Теорема: |
Пусть функция дифференцируема в точке . Тогда для любого верно . |
Независимость частных производных от порядка дифференцирования
Полиномиальная формула
Лемма о дифференцировании «сдвига»
Многомерная формула Тейлора (с остатком в форме Лагранжа и Пеано)
Теорема о пространстве линейных отображений
Теорема Лагранжа для отображений
Теорема об обратимости линейного отображения, близкого к обратимому
Теорема о непрерывно дифференцируемых отображениях
Необходимое условие экстремума. Теорема Ролля
Лемма об оценке квадратичной форме и об эквивалентных нормах
Достаточное условие экстремума
Лемма о почти локальной инъективности
Теорема о сохранении области
Теорема о диффеоморфизме
Теорема о локальной обратимости
Теорема о неявном отображении
Теорема о задании гладкого многообразия системой уравнений
Необходимое условие относительного локального экстремума
Вычисление нормы линейного оператора с помощью собственных чисел
Простейшие свойства интеграла векторного поля по кусочно-гладкому пути
Обобщенная формула Ньютона--Лебница
Характеризация потенциальных векторных полей в терминах интегралов
Лемма о дифференцировании интеграла по параметру
Необходимое условие потенциальности гладкого поля. Лемма Пуанкаре
Лемма о гусенице
Лемма о равенстве интегралов по похожим путям
Лемма о похожести путей, близких к данному
Равенство интегралов по гомотопным путям
Потенциальность локально потенциального поля. Следствие о лемме Пуанкаре
Асимптотика интеграла $\int_0^{\pi/2}\cos^nx\,dx$, $n\no+\infty$
Лемма о локализации (в методе Лапласа)
Метод Лапласа вычисления асимптотики интегралов
Теоерма Вейерштрасса о приближении функций многочленами
Формула Стирлинга для Гамма-функции
Определения и факты
Список
Равномерно сходящийся ряд
Радиус сходимости степенного ряда
Формула Адамара
Комплексная производная
Частные производные
Частная производная второго порядка, k-го порядка
Классы функций $C^k(E)$
Мультииндекс и обозначения с ним
Формула Тейлора (различные виды записи)
$n$-й дифференциал
Норма линейного оператора
Локальный максимум, минимум, экстремум
Положительно-, отрицательно-, незнако- определенная квадратичная форма
Диффеоморфизм
Формулировка теоремы о неявном отображении в терминах систем уравнений
Гладкое простое $k$-мерное многообразие в ${\mathbb R}^m$
Относительный локальный максимум, минимум, экстремум
Формулировка достаточного условия относительного экстремума
Кусочно-гладкий путь
Интеграл векторного поля по кусочно-гладкому пути
Потенциальное векторное поле
Потенциал векторного поля
Похожие пути
Локально-потенциальное векторное поле
Интеграл локально-потенциального векторного поля по произвольному пути
Гомотопия путей, связанная, петельная гомотопия
Односвязная область
Равномерно сходящийся ряд
Признак Абеля равномерной сходимости
Теорема: |
Рассмотрим ряд , :
1) равномерно сходится,2) Тогда равномерно ограничена и монотонна по равномерно сходится на . |
Радиус сходимости степенного ряда
http://school-collection.edu.ru/catalog/res/e7fcbdcc-1e1d-438f-b821-dbbe69c37389/view/
Формула Адамара
http://ru.wikipedia.org/wiki/%D0%9A%D1%80%D1%83%D0%B3_%D1%81%D1%85%D0%BE%D0%B4%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D0%B8 (в других местах бред)
Комплексная производная
http://clubmt.ru/lec3/lec34.htm (тут первое определение)
Экспонента синус и косинус комплексной переменной
Определение: |
|
Отображение, бесконечно малое в точке
Определение: |
Пусть | , . — бесконечно малое при , если . ( — -мерный ноль)
o(h) при h->0
Определение: |
Пусть | . при , если — бесконечно малая при .
Дифференцируемое отображение
Определение: |
Пусть то отображение , называется дифференцируемым в точке . При этом оператор называется производным оператором, производным отображением или, короче, производной отображения в точке и обозначается . | ( — множество внутренних точек (внутренность) множества D). Если существует такой линейный оператор ( — множество линейных ограниченных операторов из в ), что
Производный оператор
Определение: |
Оператор | из определения производной называется производным оператором отображения в точке .
Дифференциал отображения
Определение: |
Величина | называется дифференциалом отображения в точке , соответствующим приращению , и обозначается или .
Матрица Якоби
Определение: |
Пусть отображение | дифференцируемо в точке . Матрица оператора называется матрицей Якоби отображения в точке .
Частные производные
Производная по вектору, по направлению
Определение: |
Пусть | , , . Предел называется производной функции по вектору в точке и обозначается или . Если , то вектор называется направлением, а производная по нему — производной по направлению .
Градиент
Определение: |
Пусть | . Если существует такой вектор , что , то функция называется дифференцируемой в точке . Вектор-строка называется градиентом функции в точке и обозначается или . Символ называется символом или оператором Гамильтона.
Частная производная второго порядка, k-го порядка
Классы функций $C^k(E)$
Мультииндекс и обозначения с ним
Формула Тейлора (различные виды записи)
http://www.webmath.ru/poleznoe/formules4.php
$n$-й дифференциал
Норма линейного оператора
Напомним, что норма в векторном пространстве
над — функция , удовлетворяющая аксиомам нормы: положительная определённость ( тогда и только тогда, когда ), положительная однородность ( , где — скаляр), неравенство треугольника ( ). Аналогично для матриц (там ).
Определение: |
Пусть | — нормированные пространства (оба вещественные или оба комплексные), — линейный оператор. Нормой оператора называется величина .
Локальный максимум, минимум, экстремум
http://www.sernam.ru/lect_math2.php?id=52