1632
правки
Изменения
м
{{В разработке}}
rollbackEdits.php mass rollback
Как обычно, будем рассматривать функцию двух переменных.
Площадь сектора <tex>S = \frac12R^2\alpha</tex>. Пусть эта формула нам известна. (рис 1)
КАРТИНКА КАРТИНКА[Окружности радиуса <tex> r </tex> и <tex> r + \Delta r </tex> с общим центром. Также нарисован угол <tex> \Delta \alpha </tex>, площать <tex> \Delta S </tex> - площадь сегмента, окраниченного двумя окружностями и углом.]
<tex>\Delta \alpha</tex>, <tex>\Delta r \approx 0</tex>
<tex>\frac{\Delta S}{\Delta\alpha\Delta r} = r + \frac12\Delta r</tex>
<tex>\Delta \alpha, \Delta r \to 0 \Rightarrow \frac{\Delta S}{\Delta\alpha \Delta r} \to 0r</tex>
Или, <tex>\Delta S \approx r\Delta\alpha\Delta r</tex>.
Рассмотрим полярные координаты. <tex>\begin{cases}x & = r\cos \alpha\\y & = r\sin\alpha \\\end{cases}</tex>
Рассмотрим линии уровня. <tex>l_r</tex> {{---}} ГМТ, для каждой из которых значение радиуса одно и то же и равно <tex>r</tex>.
предел выше. Тогда этот предел {{---}} коэффициент искажения элементарной площади при переходе из одной системы осей в другую.
<tex>T(\alpha, r) = \binom{(x=r\cos\alpha}, y=r\sin\alpha)</tex>
Прямоугольник <tex>\Delta\alpha\times\Delta r</tex> под действим <tex>T</tex> переходит в <tex>\Delta S</tex>, причём <tex>\frac{\Delta S}{\Delta\alpha\Delta r} \to r</tex>(<tex>\Delta\alpha, \Delta r \to 0</tex>).
пределах прямоугольника. (рис 5)
КАРТИНКА[<tex> P \in E_P </tex> преобразованием T переходит в <tex> P' \in E_P' </tex>]
<tex>\forall\varepsilon > 0\ \exists \delta > 0 : \operatorname{diam} E_P < \delta \Rightarrow \left|\frac{|E_p|}{|E'_P|} - r \right| < \varepsilon, \forall P \subset \Pi</tex>
Рассмотрим квадрируемую фигуру <tex>E</tex>. <tex>E = \bigcup\limits_{j = 1}^p E_j</tex>;<tex>E_i \cap E_j = \varnothing, \forall i \ne j</tex>; <tex>|E| = \sum\limits_{j = 1}^p |E_j|</tex>
<tex>|E_j| = r_j|E'_j| + \alpha_j |E'_j|</tex>, где <tex>\alpha_j</tex> {{---}} бесконечно малое.
Тогда первое слагаемое {{---}} интегральная сумма, а второе стремится к нулю. Тогда
<tex>|E | = \iint\limits_{E'}rd\alpha dr + 0 = \iint\limits_{E'} rd\alpha dr</tex>
Пример.
КАРТИНКА[Круг под действием преобразования переходит в прямоугольник.]
Плошадь круга. <tex>|E| = \iint\limits_\Pi r d\alpha dr</tex> <tex>= \int\limits_0^{2\pi} d\alpha \int\limits_0^R r dr</tex> <tex>=\pi r^2</tex>
=== Общий случай ===
<wikitex>
Пусть
$\begin{cases}
x & = x(u, v)\\
y & = y(u, v)\\
\end{cases}$;
где $(x, y)$ {{---}} прямоугольные координаты, $(u, v)$ {{---}} криволинейные.
$l_u$, $l_v$ {{---}} линии уровня(координатные линии) в $OXY$.
КАРТИНКА КАРТИНКА[Кривые линии уровня и переход их под действием преобразования в стандартные линии уровня для плоскости.]
Рассмотрим элементарную клетку получвшейся криволинейной сети.
КАРТИНКА КАРТИНКА[в безобразии из предыдущей пары картинок рассматриваем элементарную клетку $E_{uv}$, зажатую между соседними линиями]
В $OXY$ элементарная клетка {{---}} прямоугольник.
<tex dpi =150>\frac{|E_{uv}|}{|E'_{uv}|} = \frac{|E_{uv}|}{\Delta u\Delta v}</tex>
Соединим отрезками вершины клетки, получим четырёхугольник, который примерно параллелограмм, и вычислим его площадь.
Можно действовать по-другому: построить касательные к линиям уровня в точках пересечения, нормировать их, получить паралелограмм и считать его площадь.
Эти попытки связаны с тем, что хочется понять, что в общем случае будет аналогом коэффициентом <tex>r</tex> в полярных координатах.
<tex> K_u</tex> - касательные.
$\overline K_u = (x_v'; y_v')$ {{---}} касательный вектор к линии уровня $l_u$
$\overline K_v = (x_u'; y_u')$ {{---}} касательный вектор к линии уровня $l_v$
$K_u\Delta v, K_v\Delta u$ - элементарные приращения, приблизительно образующие $E_{uv}$. Построим на них параллелограмм, его площадь:
$P(u, v) = \begin{pmatrix}
x_u' & y_u' \\
x_v' & y_v' \\
\end{pmatrix}
$
$J(u, v) = det(P(u, v))$;
$ S = |J(u, v)|\Delta u \Delta v$.
Для $p \in E_p$, $\frac{|E_p|}{|E_p'|} \xrightarrow[diam E'_p \rightarrow 0]{}{|J(u, v)|}$, получившийся предел называется якобианом преобразования.
В итоге получаем $|E| = \iint\limits_{E}dxdy = \iint\limits_{E'}|J(u, v)|dudv$
<Сюда можно впилить долгий монолог о сложности понятия площади поверхности>
Собственно вот он:
Анри Картан - плоскость - линейное многообразие(Подход снимает вопрос образа триангуляции)
<tex>S \begin {cases}
x &= x(u, v)\\
y &= y(u, v)\\
z &= z(u, v)\\
\end {cases} </tex>
<tex>(u,v) \in E \subset \mathbb R</tex>
Площадь <tex>S \stackrel{def}= \iint\limits_{E} \sqrt{(\frac{D(x; y)}{D(u;v)})^2+(\frac{D(x; z)}{D(u;v)})^2+(\frac{D(y; z)}{D(u;v)})}^2dudv=</tex>
<tex>=\iint\limits_{E'}|J(u, v)|dudv</tex>; где <tex>\frac{D(x,y)}{D(u,v)}=\begin {vmatrix}
x_u' & x_v' \\
y_u' & y_v' \\
\end {vmatrix}
</tex>
{{Теорема
|about=
Замена переменных интегрирования в двойном интеграле
|statement=
Пусть дан закон преобразования переменных,
$\begin{cases}
x & = x(u, v)\\
y & = y(u, v)\\
\end{cases}$;
$E$ - квадрируемая фигура в $Oxy$, якобиан преобразования определен так же, как и ранее. Пусть $f: E \rightarrow \mathbb R$. Тогда выполняется $|E| = \iint\limits_{E}f(x, y)dxdy = \iint\limits_{E'}f(x(u, v), y(u, v))|J(u, v)|dudv $
|proof=
Если всё делать строго, мы утонем в некоторой дифференицальной геометрии. Будем всё делать нестрого.
Покроем плоскость сетью координатных линий с малыми шагами, в результате $E$ будет разбиваться на части элементарными криволинейными параллелограммами.
Перейдем к образу:
КАРТИНКА КАРТИНКА[переход к образу, все так же, как и для фигуры Е ранее]
Каждая прямоугольная клетка справа является образом элементарного криволинейного параллелограмма слева.
$E$ - квадрируема, значит, сумма площадей параллелограммов(а в образе - прямоугольников) на границе будет сколь угодно малой при устремлении ранга разбиения к нулю. Значит, можно принебречь суммой этих групп слагаемых в соответствующих интегральных суммах.
Рассмотрим кусочек интегральной суммы, $f(p_i)|E_i|$. Как мы ранее установили, $|E_i| = \iint\limits{E_i'}|J(u, v)|dudv$.
Пусть <tex>p_i=(x_i, y_i)</tex>,<tex>p_i'=(u_i,v_i)</tex>,
<tex>\begin{cases}
x_i & = x_i(u_i, v_i)\\
y_i & = y_i(u_i, v_i)\\
\end{cases}</tex>;
<tex>p_i'</tex>-образ точки <tex>p_i</tex>/
Если писать интегральные суммы для образа, то текущее слагаемоеЖ
$f(x(u_i, v_i), y(u_i, v_i)) |J(u_i, v_i)|\Delta u_i \Delta v_i$.
Сравним с 2 слагаемых:
<tex>| f(x_i, y_i)||E_i| - f(x(u_i, v_i), y(u_i, v_i)) |J(u_i, v_i)|\Delta u_i \Delta v_i | =</tex>
<tex>= |f(x_i, y_i)| \iint \limits_{E_i'}|J(u, v)|dudv - |J(u_i, v_i)|\Delta u_i \Delta v_i | \le</tex>
(так как $\Delta u_i \Delta v_i = \iint\limits_{E_i'}dudv$.)
Преобразование координат гладкое <tex> \Rightarrow </tex><tex>J</tex> - непрерывная функция; всё множество компактно <tex>\Rightarrow</tex> <tex>f</tex> равномерно непрерывна <tex>\Rightarrow </tex>
<tex>rang~ \tau < \delta, \forall E_i' ||J(u, v)|-|J(u_i, v_i)|| \le \varepsilon \Rightarrow </tex>
$\le f(x_i, y_i) \iint\limits_{E_i'} \left| |J(u, v)| - |J(u_i, v_i)| \right|dudv \le$
<tex>\iint \limits_{E_i'}||J(u, v)| - |J(u_i, v_i)||\Delta u_i \Delta v_i | \le</tex>
$\le \varepsilon |E_i'|$
Тогда для интеграла по всей $E$ имеем:
$\left| \sum\limits_{i=1}^n f(p_i)|E_i| - \sum\limits_{i=1}^n f(x(u_i, v_i), y(u_i, v_i)) |J(u_i, v_i)|\Delta u_i \Delta v_i \right| \le $
$ \le \varepsilon \sum\limits_{i=1}^n |E'_i| = \varepsilon \sum\limits_{i=1}^n |E'| $.
Это выполняется для любого $\varepsilon > 0$, значит в пределе <tex>\iint\limits_{E}f(x, y)dxdy = \iint\limits_{E'}f(x(u, v), y(u, v))|J(u, v)|dudv</tex>, а следовательно теорема доказана.
}}
В теории интеграла Лебега будет установлена более общая теорема(Фубини)
</wikitex>
[[Категория:Математический анализ 1 курс]]
