Участник:Yulya3102/Матан3сем

Основные вопросы

Список

Признак Вейерштрасса

Теорема Стокса--Зайдля для рядов

Теорема об интегрировании функционального ряда

Теорема о дифференцировании функционального ряда

Теорема о почленном предельном переходе в суммах

Теорема о перестановке пределов

Признак Дирихле равномерной сходимости функционального ряда

Метод суммирования Абеля

Теорема о круге сходимости степенного ряда

Теорема о равномерной сходимости и непрерывности степенного ряда

Линейные и комплексно линейные отображения. Уравнения Коши--Римана

Теорема о почленном дифференцировании степенного ряда

Экспонента, синус, косинус. Свойства.

Необходимое условие дифференцируемости.

Достаточное условие дифференцируемости

Лемма об оценке нормы линейного оператора

Дифференцирование композиции

Дифференцирование ``произведений

Теорема Лагранжа для векторнозначных функций

Экстремальное свойство градиента

Независимость частных производных от порядка дифференцирования

Полиномиальная формула

Лемма о дифференцировании ``сдвига

Многомерная формула Тейлора (с остатком в форме Лагранжа и Пеано)

Теорема о пространстве линейных отображений

Теорема Лагранжа для отображений

Теорема об обратимости линейного отображения, близкого к обратимому

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

Необходимое условие экстремума. Теорема Ролля

Лемма об оценке квадратичной форме и об эквивалентных нормах

Достаточное условие экстремума

Лемма о почти локальной инъективности

Теорема о сохранении области

Теорема о диффеоморфизме

Теорема о локальной обратимости

Теорема о неявном отображении

Теорема о задании гладкого многообразия системой уравнений

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

Вычисление нормы линейного оператора с помощью собственных чисел

Простейшие свойства интеграла векторного поля по кусочно-гладкому пути

Обобщенная формула Ньютона--Лебница

Характеризация потенциальных векторных полей в терминах интегралов

Лемма о дифференцировании интеграла по параметру

Необходимое условие потенциальности гладкого поля. Лемма Пуанкаре

Лемма о гусенице

Лемма о равенстве интегралов по похожим путям

Лемма о похожести путей, близких к данному

Равенство интегралов по гомотопным путям

Потенциальность локально потенциального поля. Следствие о лемме Пуанкаре

Асимптотика интеграла $\int_0^{\pi/2}\cos^nx\,dx$, $n\no+\infty$

Лемма о локализации (в методе Лапласа)

Метод Лапласа вычисления асимптотики интегралов

Теоерма Вейерштрасса о приближении функций многочленами

Формула Стирлинга для Гамма-функции

Признак Вейерштрасса

http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B8%D0%B7%D0%BD%D0%B0%D0%BA_%D0%92%D0%B5%D0%B9%D0%B5%D1%80%D1%88%D1%82%D1%80%D0%B0%D1%81%D1%81%D0%B0

Теорема о перестановке пределов

https://docs.google.com/viewer?a=v&q=cache:Z1SfYaV1tPAJ:g106.pi17.com/manuals/matan_s3/11_141008_alpha_01.pdf+&hl=ru&pid=bl&srcid=ADGEESh22ESr2QFuJhr4XfkACzo9mAimVz8RbDC6vQ-Gp0b66Ecr17N7x9qblJMcsv5REr2iUU6iTLgH2kac75FJ1ueEcTEom339HMM3TdYnsm_tB3NjTpZQOc5RBH3y00Nzl4AsfByx&sig=AHIEtbTuvWPiEZpTrWkf4edHXYEQnDUY1w

Признак Дирихле равномерной сходимости функционального ряда

http://mipt1.ru/file.php?f=2_matan&id=38

Метод суммирования Абеля

http://dic.academic.ru/dic.nsf/enc_mathematics/12/%D0%90%D0%91%D0%95%D0%9B%D0%AF http://ru.wikipedia.org/wiki/1_%E2%88%92_2_%2B_3_%E2%88%92_4_%2B_%E2%80%A6#.D0.A1.D1.83.D0.BC.D0.BC.D0.B8.D1.80.D0.BE.D0.B2.D0.B0.D0.BD.D0.B8.D0.B5_.D0.BF.D0.BE_.D0.90.D0.B1.D0.B5.D0.BB.D1.8E

Единственность производной

Теорема:

Производный оператор единственный.

Доказательство:

[math]\triangleright[/math]

Покажем, что значение производного оператора [math]A[/math] на каждом векторе [math]h\in\mathbb{R}^n[/math] определяется однозначно. По линейности оператора [math]A\mathbb{O}_n=\mathbb{O}_m[/math]. Зафиксируем [math]h\ne\mathbb{O}_n[/math]. Возьмём достаточно малое по модулю [math]t\in\mathbb{R}\backslash\{0\}[/math] (достаточно взять [math]|t|\in\mathbb{R}\left(0, {r\over |h|}\right)[/math], где [math]B(x, r)\subset D[/math]) и подставим [math]th[/math] вместо [math]h[/math] в равенство из определения. По линейности [math]A[/math] имеем: [math]f(x+th)=f(x)+tAh+o(t), t\to0[/math]. Перенеся [math]f(x)[/math] в левую часть и разделив на [math]t[/math], получим: [math]{f(x+th)-f(x)\over t}=Ah+{o(t)\over t}\underset{t\to0}\to Ah[/math], то есть [math]Ah=\underset{t\to0}\lim{{f(x+th)-f(x)}\over{t}}[/math].

[math]\triangleleft[/math]

Лемма о покоординатной дифференцируемости

Лемма:

Дифференцируемость отображения [math]f[/math] в точке [math]x[/math] равносильна одновременной дифференцируемости всех его координатных функций [math]f_i[/math] в точке [math]x[/math].

Доказательство:

[math]\triangleright[/math]

Пусть [math]f[/math] дифференцируемо в точке [math]x[/math]. Запишем равенство из определения производного оператора покоординатно: [math]f_i(x+h)=f_i(x)+A_i h+\alpha_i(h)|h|, i\in[1:m][/math]. Координатные функции [math]A_i[/math] линейного оператора [math]A[/math] являются линейными, а непрерывность и равенство нулю в нуле отображения [math]\alpha[/math] равносильно такому же свойству его координатных функций [math]\alpha_i[/math]. Поэтому для [math]f_i[/math] выполнено определение дифференцируемости. Обратно, пусть [math]f_i[/math] дифференцируемы в точке [math]x[/math]. Тогда для каждого [math]i\in[1:m][/math] существует линейная функция [math]A_i[/math] и функция [math]\alpha_i[/math], непрерывная и равная нулю в нуле, для которых выполняется равенство. Следовательно, для [math]f[/math] выполняется равенство из определения производного оператора, где [math]A[/math] — оператор с координатными функциями [math]A_i[/math].

[math]\triangleleft[/math]

Определения и факты

Список

Равномерно сходящийся ряд

Признак Абеля равномерной сходимости

Радиус сходимости степенного ряда

Формула Адамара

Комплексная производная

Экспонента, синус и косинус комплексной переменной

Отображение бесконечно малое в точке

$o(h)$ при $h\to 0$

Частные производные

Производная по вектору, по направлению

Частная производная второго порядка, k-го порядка

Классы функций $C^k(E)$

Мультииндекс и обозначения с ним

Формула Тейлора (различные виды записи)

$n$-й дифференциал

Норма линейного оператора

Локальный максимум, минимум, экстремум

Положительно-, отрицательно-, незнако- определенная квадратичная форма

Диффеоморфизм

Формулировка теоремы о неявном отображении в терминах систем уравнений

Гладкое простое $k$-мерное многообразие в ${\mathbb R}^m$

Относительный локальный максимум, минимум, экстремум

Формулировка достаточного условия относительного экстремума

Кусочно-гладкий путь

Интеграл векторного поля по кусочно-гладкому пути

Потенциальное векторное поле

Потенциал векторного поля

Похожие пути

Локально-потенциальное векторное поле

Интеграл локально-потенциального векторного поля по произвольному пути

Гомотопия путей, связанная, петельная гомотопия

Односвязная область

Равномерно сходящийся ряд

http://dic.academic.ru/dic.nsf/enc_mathematics/4568/%D0%A0%D0%90%D0%92%D0%9D%D0%9E%D0%9C%D0%95%D0%A0%D0%9D%D0%9E

Признак Абеля равномерной сходимости

http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B8%D0%B7%D0%BD%D0%B0%D0%BA_%D0%90%D0%B1%D0%B5%D0%BB%D1%8F#.D0.9F.D1.80.D0.B8.D0.B7.D0.BD.D0.B0.D0.BA_.D0.90.D0.B1.D0.B5.D0.BB.D1.8F_.D1.81.D1.85.D0.BE.D0.B4.D0.B8.D0.BC.D0.BE.D1.81.D1.82.D0.B8_.D1.84.D1.83.D0.BD.D0.BA.D1.86.D0.B8.D0.BE.D0.BD.D0.B0.D0.BB.D1.8C.D0.BD.D1.8B.D1.85_.D1.80.D1.8F.D0.B4.D0.BE.D0.B2

Радиус сходимости степенного ряда

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 (тут первое определение)

Экспонента синус и косинус комплексной переменной

http://ru.wikipedia.org/wiki/%D0%AD%D0%BA%D1%81%D0%BF%D0%BE%D0%BD%D0%B5%D0%BD%D1%82%D0%B0#.D0.9A.D0.BE.D0.BC.D0.BF.D0.BB.D0.B5.D0.BA.D1.81.D0.BD.D0.B0.D1.8F_.D1.8D.D0.BA.D1.81.D0.BF.D0.BE.D0.BD.D0.B5.D0.BD.D1.82.D0.B0 (экспронента) http://ru.wikipedia.org/wiki/%D0%A2%D1%80%D0%B8%D0%B3%D0%BE%D0%BD%D0%BE%D0%BC%D0%B5%D1%82%D1%80%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B8#.D0.A2.D1.80.D0.B8.D0.B3.D0.BE.D0.BD.D0.BE.D0.BC.D0.B5.D1.82.D1.80.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.B8.D0.B5_.D1.84.D1.83.D0.BD.D0.BA.D1.86.D0.B8.D0.B8_.D0.BA.D0.BE.D0.BC.D0.BF.D0.BB.D0.B5.D0.BA.D1.81.D0.BD.D0.BE.D0.B3.D0.BE_.D0.B0.D1.80.D0.B3.D1.83.D0.BC.D0.B5.D0.BD.D1.82.D0.B0 (синус косинус)

Дифференцируемое отображение

//[math]\operatorname{Int} D[/math] — множество внутренних точек (внутренность) множества D.

//[math]\mathcal{L}(X\to Y)[/math] — множество линейных ограниченных операторов из [math]X[/math] в [math]Y[/math].

//[math]\mathbb{O}_n[/math] — ???

Определение:

Пусть [math]f:D\subset\mathbb{R}^n\to\mathbb{R}^m,x\in\operatorname{Int}D[/math]. Если существует такой линейный оператор [math]A\in\mathcal{L}(\mathbb{R}^n\to\mathbb{R}^m)[/math], что [math]f(x+h)=f(x)+Ah+o(h), h\to\mathbb{O}_n[/math], то отображение [math]f[/math] называется дифференцируемым в точке [math]x[/math]. При этом оператор [math]A[/math] называется производным оператором, производным отображением или, короче, производной отображения [math]f[/math] в точке [math]x[/math] и обозначается [math]f'(x)[/math].

Производный оператор

[math]V_{\mathbb{O}_n}[/math] — ???

Определение:

Если существует такой линейный оператор [math]A\in\mathcal{L}(\mathbb{R}^n\to\mathbb{R}^m)[/math] и такое отображение [math]\alpha:V_{\mathbb{O}_n}\to\mathbb{R}^m[/math], в нуле непрерывное и равное нулю, что [math]f(x+h)=f(x)+Ah+\alpha(h)|h|[/math], то отображение [math]f[/math] называется дифференцируемым в точке [math]x[/math]. При этом оператор [math]A[/math] называется производным оператором отображения [math]f[/math] в точке [math]x[/math].

Матрица Якоби

Определение:

Пусть отображение [math]f:D\subset\mathbb{R}^n\to\mathbb{R}^m[/math] дифференцируемо в точке [math]x\in\operatorname{Int} D[/math]. Матрица оператора [math]f'(x)[/math] называется матрицей Якоби отображения [math]f[/math] в точке [math]x[/math].

Дифференциал отображения

Определение:

Величина [math]f'(x)h[/math] называется дифференциалом отображения [math]f[/math] в точке [math]x[/math], соответствующим приращению [math]h[/math], и обозначается [math]df(x,h)[/math] или [math]d_x f(h)[/math].

Частные производные

http://ru.wikipedia.org/wiki/%D0%A7%D0%B0%D1%81%D1%82%D0%BD%D0%B0%D1%8F_%D0%BF%D1%80%D0%BE%D0%B8%D0%B7%D0%B2%D0%BE%D0%B4%D0%BD%D0%B0%D1%8F

Производная по вектору, по направлению

http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%B8%D0%B7%D0%B2%D0%BE%D0%B4%D0%BD%D0%B0%D1%8F_%D0%BF%D0%BE_%D0%BD%D0%B0%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D0%B5%D0%BD%D0%B8%D1%8E

Градиент

Определение:

Пусть [math]f:D\subset\mathbb{R}^n\to\mathbb{R},x\in\operatorname{Int}D[/math]. Если существует такой вектор [math]a\in\mathbb{R}^n[/math], что [math]f(x+h)=f(x)+\langle a,h\rangle+o(h),h\to\mathbb{O}_n[/math], то функция [math]f[/math] называется дифференцируемой в точке [math]x[/math]. Вектор-строка [math]a[/math] называется градиентом функции [math]f[/math] в точке [math]x[/math] и обозначается [math]\operatorname{grad} f(x)[/math] или [math]\nabla f(x)[/math]. Символ [math]\nabla[/math] называется символом или оператором Гамильтона.

Частная производная второго порядка, k-го порядка

http://ru.wikipedia.org/wiki/%D0%A7%D0%B0%D1%81%D1%82%D0%BD%D1%8B%D0%B5_%D0%BF%D1%80%D0%BE%D0%B8%D0%B7%D0%B2%D0%BE%D0%B4%D0%BD%D1%8B%D0%B5_%D0%B2%D1%8B%D1%81%D1%88%D0%B8%D1%85_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D0%BE%D0%B2

Мультииндекс и обозначения с ним

http://ru.wikipedia.org/wiki/%D0%9C%D1%83%D0%BB%D1%8C%D1%82%D0%B8%D0%B8%D0%BD%D0%B4%D0%B5%D0%BA%D1%81

Формула Тейлора (различные виды записи)

http://www.webmath.ru/poleznoe/formules4.php

Норма линейного оператора

http://ru.wikipedia.org/wiki/%D0%9D%D0%BE%D1%80%D0%BC%D0%B0_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)#.D0.9D.D0.BE.D1.80.D0.BC.D0.B0_.D0.BE.D0.BF.D0.B5.D1.80.D0.B0.D1.82.D0.BE.D1.80.D0.B0

Локальный максимум, минимум, экстремум

http://www.sernam.ru/lect_math2.php?id=52

Диффеоморфизм

http://ru.wikipedia.org/wiki/%D0%94%D0%B8%D1%84%D1%84%D0%B5%D0%BE%D0%BC%D0%BE%D1%80%D1%84%D0%B8%D0%B7%D0%BC