Изменения

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

|definition=

}}

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

|definition=

}}

{{Теорема

|author=

}}

{{Теорема

|author=

}}

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

|definition=

}}

{{Теорема

|author=Вейерштрасс

}}

{{Теорема

}}

{{Теорема

|statement=

}}

{{Теорема

|statement=

}}

{{Теорема

|statement=

}}

{{Лемма

|author=Абель

}}

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

|definition=

1) <tex>|x| < R</tex> <tex>\Rightarrow</tex> ряд абсолютно сходится.

3) <tex>|x| > R</tex> <tex>\Rightarrow</tex> ряд расходится.

}}

{{Теорема

|statement=

}}

Вопрос: "Каковы будут радиусы сходимости почленно проинтегрированных или продифференцированных рядов?"

}}

<wikitex>

Пусть $ f(x) = \sum\limits_{n = 0}^{\infty} a_n (x - x_0)^n, \qquad R > 0 \qquad (x_0 - R; x_0 + R) $.

</wikitex>

Для того, чтобы функция была разложима в ряд Тейлора, достаточно чтобы <tex> r_n \xrightarrow[n \to \infty]{} 0 </tex>

<wikitex>

$e^x \stackrel{def}{=} \sum\limits_{k = 0}^{\infty} \frac{x^k}{k!} $

</wikitex>

<wikitex>

$\sin(x) = \sum\limits_{n = 0}^{\infty} {(-1)}^n \frac{x^{2n + 1}}{(2n + 1)!}$

$\cos(x) = \sum\limits_{n = 0}^{\infty} {(-1)}^n \frac{x^{2n}}{(2n)!}$

</wikitex>

<wikitex>

$ (1 + x)^{\alpha} = \sum\limits_{k = 1}^{\infty} \left[ \frac{\alpha (\alpha - 1) \dots (\alpha - k + 1)}{k!} x^k \right] + 1, \alpha \in \mathbb{R} $

</wikitex>

$ n! = \sqrt{2 \pi n} {\left ( \frac ne \right )}^n e^{\frac{\theta_n}{12n}} $

</wikitex>

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

|statement=

}}

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

|definition=

<tex>\left \| \sum\limits_{k = 1}^\infty x_k \right \| \le \sum\limits_{k = 1}^\infty \| x_k \|</tex>

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

|definition=

}}

Среди нормированных пространств выделяется подкласс так называемых гильбертовых пространств.

Экстремальное свойства ряда Фурье заключается в следующем: <tex>\sum \limits_{k=1}^{\infty} (x, l_k)^2</tex> располагается ближе всего к <tex>\|x\|^2</tex>, если <tex>l_k</tex> — ряд Фурье <tex>x</tex>.

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

|definition=

}}

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

|definition=

}}

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

|definition=

}}

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

|definition=

}}

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

|definition=

}}

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

|about=

}}

{{Теорема

|statement=

}}

{{Теорема

}}

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

|definition=

}}

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

|definition=

Данный предел называется '''частной производной''' первого порядка функции <tex>\mathcal{F}_i</tex> по переменной <tex>x_j</tex>.

}}

<tex>\mathcal{F}_i(\overline{a}) - \mathcal{F}_i(\overline{b}) = \mathcal{F}'_i(\theta_i\overline{a}+(1-\theta_i)\overline{b})(\overline{a}-\overline{b})</tex>

{{Теорема

|author=

}}

{{Теорема

|statement=

}}

Определим частные производные и дифференциалы высших порядков.

}}

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

|definition=

{{Теорема

|about=

|statement=

Пусть <tex>f</tex> дифференцируема в точке локального экстремума <tex>a</tex>. Тогда <tex>\forall j = 1..n : \frac{\partial{f}}{\partial{x_j}} \overline{a} = 0</tex>

}}

{{Теорема

|about=

}}

<tex>z=f(\overline x, \overline y),~\overline x=(x_1,\dots x_n),~\overline y=(y_1,\dots y_m)</tex>. Пусть заданы «уравнения связи» в количестве m:

<tex>(\overline{x_0},\overline{y_0})</tex> — '''условный максимум''' функции <tex>f</tex>, если для всех <tex>\overline x \approx \overline{x_0},~\overline y \approx \overline{y_0}</tex> и <tex>(\overline x,\overline y)</tex>, удовлетворяющих уравнениям связи, выполняется неравенство <tex>f(\overline x,\overline y)\le f(\overline {x_0},\overline {y_0})</tex>. Если же <tex>f(\overline x,\overline y)\ge f(\overline {x_0},\overline {y_0}),~(\overline{x_0},\overline{y_0})</tex> — '''условный минимум'''.

<wikitex>

Рассматриваем $ z = f(x, y) $, заданную на прямоугольнике $ a \le x \le b; \quad c \le y \le d $.

$ F(y) = \int\limits_a^b f(x, y) dx $ - интеграл, зависящий от параметра.

</wikitex>

<wikitex>

{{Теорема

</wikitex>

<wikitex>

$ F(y) = \int\limits_a^{\infty} f(x, y) dx \stackrel{?}{\Rightarrow} \Delta F(y) \xrightarrow[\Delta y \to 0]{} 0 $

</wikitex>

<wikitex>

$ \int\limits_c^d dy \int\limits_a^{\infty} f(x, y) dx = \int\limits_a^{\infty} dx \int\limits_c^d f(x,y) dy $

</wikitex>

<wikitex>

</wikitex>

<wikitex>

$ B (a, b) = \int\limits_0^1 x^{a - 1} (1 - x)^{b - 1} dx $

$ \Gamma (a) = \int\limits_0^{\infty} x^{a - 1} e^{-x} dx $

В обоих случаях: интегралы, зависящие от параметра.

</wikitex>

<tex>(\bar{x_i}, \bar{y_i}) \in \Pi_{ij}</tex>

<tex>\overline{s}(f, \tau) = \sum\limits_{i, j} M_{ij} \delta x_i \delta y_j</tex>

* <tex>\iint\limits_\Pi f = \sum\limits_{m = 1}^p \, \iint\limits_{\Pi_m} f</tex>

А ВАС ЭТО НЕ СПРОСЯТ

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

|definition=

}}

{{Теорема

|statement=

}}

А ВАС ЭТО НЕ СПРОСЯТ