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

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

Список теорем

Ненаписанные теоремы

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

Теоремы без доказательств

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Теорема:

Рассмотрим ряд , где (— метрическое пространство). Пусть есть ряд — сходящийся, такой, что . Тогда равномерно сходится на .

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

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

Теорема:

Пусть ряд , где ( — метрическое пространство), равномерно сходится на . Пусть есть точка , такая, что все непрерывны в . Тогда непрерывна в точке .

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

1) — непрерывна в [math] (\cdot) x_0 [/math]

2)

из 1) и 2) непрерывна в

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

Теорема:

Пусть ( — множество непрерывных функций), равномерно сходится на , .

Тогда[math] * [/math]

[math] * [/math] 1) [math] S(x) [/math] — непрерывно [math] \rightarrow [/math] интеграл имеет смысл.

2) Правая часть имеет смысл — это следует из доказательства.

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

Сделаем предельный переход по [math]N[/math]

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

Теорема:

Пусть ( — множество непрерывно дифференцируемых функций).

1) поточечно сходится на [math] [a; b] [/math]

2) равномерно сходится при [math] x \in [a, b] [/math]

Тогда и .

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

Следует из т. 3 из предыдущего параграфа. Прошлый семестр?

Тогда

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

Теорема:

Пусть , .

1)

2) [math] \sum u_n(x) [/math] равномерно сходится на

Тогда

1) [math] \sum a_n [/math] — сходится

2)

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

1) — имеет предел

Критерий Больцано-Коши [math] \lim S_n^{(a)} = S^{(a)} [/math]

Берём [math] \forall \epsilon \gt 0 [/math] из р. сх-ти

При данном

Выберем [math] x [/math] так близко к [math] x_0 [/math], чтобы

— непр. равномерно в [math] (\cdot) x_0 [/math]

[math] \sum \hat{u}_n(x) [/math] — р. сх. на [math] \langle a, b \rangle [/math]

Утв. 2 следует из т. 1. Стокса-Зайдля для рядов ?

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

()

Теорема:

Пусть , [или даже — предельная точка ]

1) [math] f_n(x) [/math] сходится равномерно к [math] S(x) [/math] при

2)

Тогда

1)

2)

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

Тогда:

Условие 1: [math] \sum u_n [/math] р. сх. к сумме [math] S(x) [/math]

[math] u_n = f_n - f_{n - 1} [/math]

Условие 2: (при [math] n = 1[/math] проявить сообразительность)

по теореме о почл. пр. переходе в суммах:

1) [math] \sum a_k [/math] — сх., т.е.

2)

Замечание: верна теорема [math] f(x, y) [/math]

при условии 1: — и этот предел равномерный

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

Теорема:

Пусть есть ряд ,

1) частичные суммы ряда равномерно ограничены, т.е.

2) [math] b_n(x) [/math] монотонна по [math] n [/math] и равномерно сходится к [math] 0 [/math]

Тогда равномерно сходится на .

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

Теорема:

Пусть сходится. Рассмотрим функцию . Тогда .

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

[math] \sum a_n b_n [/math] — по пр. Абеля равномерно сх-ся [math][0, 1][/math]

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

Теорема:

Пусть — произвольный степенной ряд — комплексная переменная или

Возможны три случая:

1) [math] \forall z \in \mathbb{C} [/math] ряд [math] (A) [/math] сходится

2) [math] (A) [/math] сходится только при [math] z = z_0 [/math]

3) [math] \exists R [/math] [math] 0 \lt R \lt + \infty [/math] при

[math] |z - z_0| \lt R [/math] сходится

[math] |z - z_0| \gt R [/math] расходится

— радиус сходимости

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

Нужно доказать абсолютную сходимость

Признак Коши:

1) [math] \overline{lim} = 0 [/math] при всех [math] z [/math] ряд [math] (A) [/math] сходится абсолютно

2) при , т.е. ряд сходится

при расходится (слагаемые [math] \nrightarrow 0 [/math])

3) — конечен [math] = \frac{1}{R} [/math]

[math] |z - z_0| \lt R [/math] ряд [math] (A) [/math] сходится абсолютно

расходится (слагаемые )

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

Теорема:

Пусть ряд — радиус сходимости. Тогда:

1) Для [math] r : 0 \lt r \lt R [/math] ряд [math] (A) [/math] равномерно сходится в круге [math] \overline{B(z_0, r)} [/math]

2) В круге сумма ряда — непрерывна.

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

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

[math] \sum |a_n| \cdot r^n [/math] — сходится! т.к. [math] \sum a_n \cdot r^n [/math] — абс. сх.

(2) фиксируем [math] z \in B(z_0, R) [/math]; Возьмём

В ряд р. сх. и слагаемые непр. сумма непрерывна.

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

Лемма:

Пусть — комплексно дифференцируема в точке . Тогда, если , отображение дифференцируемо в и выполнены соотношения:

(уравнения Коши-Римана)

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

Теорема:

Ряд

Тогда: 1) радиус сх-ти [math] (A') = R [/math]. 2) при

[Тогда — дифф. при и ]

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

Проверим р. сх. ;

Тогда:

[math] \sum h|a_n|r^{n - 1} [/math] — сх. [math]\Rightarrow[/math] по пр. Вейерштрасса р. сх. при [math] |h| \lt r - |z - z_0| [/math]

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

1.1) [math] \mathrm{exp}(0) = 1 [/math]

1.2)

1.3)

1.4)

Теорема:

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

Следствие: [math] \mathrm{exp}(z) \ne 0 [/math] — ни при каких [math] z [/math]

2.1)

2.2)

2.3)

2.4)

2.5) Пусть [math] T(x) = \mathrm{exp}(ix) [/math]

[math] T(x+y) = T(x)T(y) [/math]

2.6)

2.7)

[math] \sum a_k \to [/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]B(x, r)\subset D[/math]) и подставим [math]th[/math] вместо [math]h[/math] в равенство из определения. По линейности [math]A[/math] имеем:

.

Перенеся [math]f(x)[/math] в левую часть и разделив на [math]t[/math], получим:

,

то есть

.

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

Лемма:

Дифференцируемость отображения в точке равносильна одновременной дифференцируемости всех его координатных функций в точке .

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

Пусть [math]f[/math] дифференцируемо в точке [math]x[/math]. Запишем равенство из определения производного оператора покоординатно:

.

Координатные функции [math]A_i[/math] линейного оператора [math]A[/math] являются линейными, а непрерывность и равенство нулю в нуле отображения [math]\alpha[/math] равносильно такому же свойству его координатных функций [math]\alpha_i[/math]. Поэтому для [math]f_i[/math] выполнено определение дифференцируемости.

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

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

Теорема:

Пусть — дифференцируемо в точке

Тогда и матрица Якоби

Замечание: Для — дифференцируемо в точке ;

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

— это св-во дифф-ти [math] \varphi_k [/math] в [math] \cdot (a) [/math] из опр. частн. производных

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

Теорема:

Пусть , в шаре существуют все и все производные непрерывны в точке . Тогда дифференцируема в точке

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

[math] m = 2 [/math]

// [math] =^* [/math] — По теореме Лагранжа

// // [math] t [/math] — средняя точка

по модулю

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

Лемма:

Пусть — линейный оператор. Тогда , где ( — элементы его матрицы)

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

[math] ||x|| = 0 [/math], т.е. если [math] x = 0 [/math], то тривиально

(КБШ)

[math] x^{(k)} \rightarrow x [/math]

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

Теорема:

[math] F [/math] — дифф. в [math] (\cdot) a, G [/math] — дифф. в [math] (\cdot) b [/math];

Тогда: — дифф. в

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

1.

2. [math] \beta(k)||k|| [/math]

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

Лемма:

Пусть , , ; — дифференцируемые в . тогда:

1)

2)

(здесь — скалярное произведение и )

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

1. Введём координатную ф-ю [math] F = (f_1 \ldots f_l) [/math]

— [math]i[/math]-ая коорд. док. ф-лы; [math] ]f_i \leftrightarrow f [/math]

— ограничена.

2. лин. дифф.

Замечание:

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

Теорема:

— непр. на и дифф. на Тогда:

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

// Если ехать быстро и криво

при [math] \forall t [/math]

// — длина дуги; — длина хорды

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

Теорема:

— дифф. в

— направление

Тогда [math] l [/math] указывает напр-е наискорейшего возр. ф-и, а [math] -l [/math] самого быстрого убывания.

Более того: напр. равенство достижимо для

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

// [math] u = 1 [/math]

//

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

Теорема:

— опр. в окр. [math] (\cdot) a [/math], дифф. в окр. [math] (\cdot) a [/math]

и — непр. в [math] (\cdot) a [/math]

Тогда эти две частные производные равны.

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

— задано при

фикс.

[math] \bar h [/math] — средняя точка

Замечание 1:

Аналогично:

— опр. в окр. — непр. в [math] (\cdot) a [/math]

Замечание 2:

Если [math] f [/math] сущ. част. пр. [math]k[/math]-того порядка в окр. [math](\cdot)a[/math] и все они непр. в [math](\cdot)a[/math]

Для [math] \forall i_1 \ldots i_k [/math] — индексы [math] \in \{ 1 \ldots m \} [/math]

и [math] \forall j_1 \ldots \j_k [/math] — которые получаются из набора [math] i_1 \ldots i_k [/math] перестановка

Верно:

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

Лемма:

Если , — мультииндекс, то

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

Индукция по [math]r[/math]

[math] r = 1 [/math]

[math] r = r + 1 [/math]

<ещё [math] m - \alpha [/math] суммы> = ;

[math] \beta_1 \ge 1 .. [/math] — это ограничение можно убрать, т.к. все слагаемые с [math] \beta_1 = 0 [/math] имеют нулевой индекс

Замечание 1

Замечание 2

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

Лемма:

Пусть , открыто в , , так, что . Также . Пусть . Тогда верно .

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

Лагранж:

Теорема:

Пусть , открыто в , . Тогда существует такое , что .

Также можно обозначить точки через [math] x [/math] и [math] x + h [/math], тогда формула запишется в виде .

Пеано:

Теорема:

Пусть , открыто в , . Тогда .

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

Теорема:

— норма в пр-ве , то есть

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

[math](1)[/math]

1. очевидно // для [math] x \in B(0, 1) [/math]

2. очевидно, св-ва [math] sup [/math]

3. \\ [math] ||A|| + ||B|| = C [/math]

[math](2)[/math]

\\

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

Теорема:

откр. дифф.

Тогда:

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

//

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

Теорема:

Пусть ( — множество обратимых линейных операторов в ), . Тогда:

1) ;

2) ;

3) .

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

Теорема:

Пусть , где открыто, дифференцируемо на . Тогда эквивалентны утверждения:

[math] I) F \in C^{-1}(E) [/math]

— непрерывна.

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

[math] I \Rightarrow II [/math]

? [math] F' [/math] непр. в [math] (\cdot) \overline{X} [/math]

[math] \forall \epsilon \gt 0 [/math] выберем ; при

[math] II \Rightarrow I [/math]

[math] F' [/math] — непрерывна. [math] e_1 \ldots e_m [/math]

[math] F'(x)e_i = [/math]

Точно также:

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

Теорема:

Пусть — точка экстремума . Тогда если существует, то .

Теорема Ролля:

Теорема:

Пусть , дифференцируемо на , на (граница ). Тогда существует .

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

Утверждение:

1) Если форма положительно определена, то существует такое , что для всех
2) Пусть — норма. Тогда .

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

Теорема:

Пусть открыто в , — стационарная точка (то есть ). Тогда справедливы следующие утверждения:

1) Если форма [math] d^2 f(x_0) [/math] положительно определённая, то [math] x_0 [/math] — точка строгого минимума [math] f [/math].

2) Если форма [math] d^2 f(x_0) [/math] отрицательно определённая, то [math] x_0 [/math] — точка строгого максимума [math] f [/math].

3) Если форма неопределённая, то — не точка экстремума .

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

Лемма:

Пусть — диффеоморфизм, . Тогда

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

1) [math] F [/math] — линейное. [math] \exists (F'(x_0))^{-1} [/math]

2)

// при

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

Теорема:

Пусть , где открыто — диффеоморфизм в , . Тогда открыто.

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

Теорема:

Пусть , — обратима и невырождена, . Тогда:

1) [math] F^{-1} \in C^r [/math]

2)

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

Теорема:

Пусть , где открыто, (т.е. 1 раз непрерывно дифференцируемо на , а его первая производная непрерывна на ), . Тогда — диффеоморфизм ( или — сужение отображения на множество ).

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

Теорема:

Пусть , где открыто, . Пусть известно, что невырождено (). Тогда:

1) существуют открытые , и существует единственное , что

2)

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

Теорема:

Пусть (гладкое многообразие), .

Эквивалентные утверждения:

1) — простое [math] k [/math]-мерное многообразие

2) [math] \exists \tilde{U}(p) [/math] и существуют функции класса [math] C^r [/math], для которых выполняются условия:

2.1)

2.2) — линейно независимые

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

Теорема:

Пусть , где открыто, . Пусть имеет в точке локальный относительный экстремум. Тогда , что

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

Пусть ранг реализуется на столбцах . Переобозначим .

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

[math] x \mapsto (x, \Psi(x)) [/math] — гл. параметризация

[math] g(x) = f(x, \Psi(x)) [/math]; Точка [math] a_x [/math] — лок. экстремум [math] g' [/math].

— необходимое усл. экстремума в матр. форме.

Тут должно быть ещё четыре строчки. Но я в них не уверен.

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

Теорема:

Пусть . Тогда — собственное число .

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

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

Теорема:

1) Линейность по векторному полю: .

2) Аддитивность при дроблении пути: если раздробили путь [math] \gamma [/math] на [math] \gamma_1 [/math] и [math] \gamma_2 [/math], то .

3) Замена параметра: если — гладкая, , , , то .

4) Пусть — произведение путей:

,

то .

5) Оценка интеграла: , где — длина пути.

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

Теорема:

Пусть потенциально, — потенциал , — кусочно гладкий. Тогда .

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

1) — доказано для гладкого пути

\\

2)

— гладкий

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

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

Лемма:

Пусть — непрерывна, дифференцируема по при любых и непрерывна на промежутке. Пусть . Тогда дифференцируема и .

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

Теорема:

Пусть — гладкое потенциальное векторное поле в . Тогда

Лемма:

Пусть — выпуклая, — векторное поле в , гладкое и . Тогда — потенциальное.

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

Лемма:

Пусть . Тогда существуют дробление и шары , что .

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

Лемма:

Пусть — кусочно-гладкие, похожие, — локально-потенциальное векторное поле, . Тогда .

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

Лемма:

Пусть . Тогда [любые два пути, мало отличающиеся от данного — похожие] такое, что если пути — «близкие» к , то есть , то похожи.

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

Теорема:

Пусть — локально-потенциальное векторное поле в , — связанно (петельно) гомотопны. Тогда .

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

Теорема:

Пусть — односвязная область, — локально потенциальное поле в . Тогда потенциально.

Следствие: если [math] O [/math] — односвязная, , то [math] V [/math] — потенциально.

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

Теорема:

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

Лемма:

Пусть непрерывна, на строго монотонно убывает, непрерывна. Тогда .

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

Теорема:

Пусть на , непрерывна, непрерывна, строго убывает, . Тогда .

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

Теорема:

Пусть непрерывна на . Тогда существует многочлен , что .

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

Теорема:

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

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

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

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

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

Теорема:

Рассмотрим ряд , :

1) [math] \sum a_n(x) [/math] равномерно сходится, [math] x \in X [/math]

2) [math] b_n(x) [/math] равномерно ограничена и монотонна по [math] n [/math]

Тогда равномерно сходится на .

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

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

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

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

Число — радиус сходимости.

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

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

Пусть . Тогда .

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

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

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

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

Пусть , . — бесконечно малое при , если . ( — -мерный ноль)

o(h) при h->0

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

Пусть . при , если — бесконечно малая при .

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

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

Пусть ( — множество внутренних точек (внутренность) множества D). Если существует такой линейный оператор ( — множество линейных ограниченных операторов из в ), что

,

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

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

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

Оператор из определения производной называется производным оператором отображения в точке .

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

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

Величина называется дифференциалом отображения в точке , соответствующим приращению , и обозначается или .

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

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

Пусть отображение дифференцируемо в точке . Матрица оператора называется матрицей Якоби отображения в точке .

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

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

Пусть . Производная (где — это орт (т.е. единичный вектор — вектор, норма которого равна 1)) называется частной производной функции по -ой переменной в точке и обозначается ещё .

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

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

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

Градиент

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

Пусть . Если существует такой вектор , что , то функция называется дифференцируемой в точке . Вектор-строка называется градиентом функции в точке и обозначается или . Символ называется символом или оператором Гамильтона.

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

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

Предположим, что и частные производные порядка уже определены. Пусть . Частная производная функции порядка по переменным с номерами в точке определяется равенством , если правая часть существует.

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

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

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

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

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

Вектор называют мультииндексом. Величину называют высотой мультииндекса .

Если [math] k = (k_1, .., k_n) [/math] — мультииндекс, [math] (k) \leqslant r [/math], то частную производную порядка [math] k [/math] (порядком частной производной называют как сам мультииндекс, так и его высоту) функций класса [math] C^{(r)} [/math] обозначают . Также полагают , , где [math] h \in \mathbb{R}^n [/math].

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

Из теорем:

С остатком в интегральной форме:

Формула в дифференциалах:

Формула в координатах:

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

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

Пусть . Тогда:

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

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

Напомним, что норма в векторном пространстве [math] X [/math] над [math] \mathbb{R} [/math] — функция [math] p: X \to \mathbb{R}_+ [/math], удовлетворяющая аксиомам нормы: положительная определённость ([math] p(x) = 0 [/math] тогда и только тогда, когда [math] x = 0 [/math]), положительная однородность (, где [math] \lambda [/math] — скаляр), неравенство треугольника (). Аналогично для матриц (там [math] \lambda \in \mathbb{R} [/math]).

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

Пусть — нормированные пространства (оба вещественные или оба комплексные), — линейный оператор. Нормой оператора называется величина .

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

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

Пусть . Если существует такая окрестность точки , что для любого выполняется неравенство:

[math] f(x) \leqslant f(x_0) [/math], то [math] x_0 [/math] называется точкой максимума функции [math] f [/math];

[math] f(x) \lt f(x_0) [/math], то [math] x_0 [/math] называется точкой строгого максимума функции [math] f [/math].

Аналогично определяются точки минимума и строгого минимума. Если является точкой (строгого) максимума или минимума функции , то называется точкой (строгого) экстремума .

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

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

Пусть — квадратичная форма от переменных.

1) Если [math] K(h) \gt 0 [/math] для всех , то форма [math] K [/math] называется положительно определённой.

2) Если [math] K(h) \lt 0 [/math] для всех , то форма [math] K [/math] называется отрицательно определённой.

3) Если форма [math] K [/math] принимает значения разных знаков, то [math] K [/math] называется неопределённой.

4) Если для всех и существует такое , что , то форма называется положительно (отрицательно) полуопределённой.

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

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

Отображение , где открыто, называется диффеоморфизмом, если оно дифференцируемо в нуле, обратимо, и обратное к нему тоже дифференцируемо.

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

Теорема:

Дана система из уравнений для функций от переменных. Функции дифференцируемы раз.

Пусть удовлетворяет системе, . Тогда существует и существует единственное отображение такие, что удовлетворяет системе.

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

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

— простое -мерное многообразие, если . называется параметризацией. Если ( — ранг), то — простое гладкое (класса ) -мерное многообразие.

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

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

Пусть ( — уравнение связи). Тогда — локальный относительный (условный) экстремум при условии . Это значит, что — локальный экстремум . Если , то — локальный минимум (строгий), если , то — локальный минимум (строгий). Аналогично задаются локальные максимумы.

Или в стиле определения обычного экстремума:

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

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

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

Утверждение:

Пусть для точки выполняются условия теоремы о необходимом условии относительного экстремума. Пусть — решение уравнения . Рассмотрим квадратичную форму , где — функция Лагранжа (, — условия), где взяты из условия «подозрительности» точек. Тогда если :

1) положительно определена, то [math] a [/math] — точка локального относительного минимума;

2) отрицательно определена, то [math] a [/math] — точка локального относительного максимума;

3) незнакоопределена, то [math] a [/math] — не точка локального относительного экстремума;

4) знакоопределена, но вырождена, то неизвестно, является ли точкой локального относительного экстремума.

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

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

Путь — , непрерывное

[math] L = \varphi([a; b]) [/math] — носитель пути («кривая»)

— кусочно-гладкий путь, если существует дробление такое, что — гладкий путь.

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

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

, где открыто — векторное поле. Рассматриваем только непрерывные векторные поля

[math] V [/math] — гладкое векторное поле, если

Пусть — непрерывное векторное поле в , — кусочно-гладкий путь в : . Тогда интеграл векторного поля по пути равен , где .

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

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

Пусть ( — область). потенциально в , если существует потенциал , где дифференцируемо в , такой, что .

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

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

из предыдущего определения — потенциал.

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

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

— локально-потенциальное, если такое, что — потенциальное в .

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

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

Интеграл локально-потенциального векторного поля по произвольному пути равен его интегралу по кусочно-гладкому пути, близкому к данному.

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

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

Пусть . — гомотопия этих путей, если она непрерывна и . Связанная гомотопия — . Петельная гомотопия — .

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

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

Область — односвязная, если любая петля в стягиваема: — петельно гомотопные пути, .