Математический анализ
Криволинейные интегралы
Работа электрического поля при перемещении заряда вычисляется как криволинейный интеграл 2-го рода. Длина кривой ДНК - интеграл 1-го рода. Эти два понятия объединяют геометрию и физику в единый аппарат, который лежит в основе теорем Грина, Стокса и Гаусса.
- Электродинамика: работа поля $W = \int_C \mathbf{F} \cdot d\mathbf{r}$ при движении заряда
- Биофизика: длина молекулы ДНК в пространстве через интеграл по дуге
- Гидродинамика: циркуляция скорости $\oint_C \mathbf{v} \cdot d\mathbf{r}$ вокруг вихря
- Компьютерная графика: длина сплайна для анимации движения по кривой
- Механика: работа силы при движении по произвольной траектории
Цели урока
- Вычислять криволинейные интегралы 1-го рода (по длине дуги) для нахождения длин кривых и масс
- Вычислять криволинейные интегралы 2-го рода (по координатам) для нахождения работы поля
- Применять теорему Грина для преобразования контурных интегралов в двойные
Предварительные знания
- Определённый интеграл и его геометрический смысл
- Параметрическое задание кривых
- Частные производные и градиент
Интеграл первого рода: по длине дуги
Для кривой $\mathbf{r}(t) = (x(t), y(t), z(t))$, $t \in [a,b]$: $\int_C f\,ds = \int_a^b f(\mathbf{r}(t))\,|\dot{\mathbf{r}}(t)|\,dt$, где $|\dot{\mathbf{r}}| = \sqrt{\dot{x}^2 + \dot{y}^2 + \dot{z}^2}$ - скорость движения по кривой. Интеграл не зависит от параметризации и направления обхода.
Интеграл второго рода: работа поля
Работа поля $\mathbf{F} = (P, Q, R)$ вдоль кривой $C$: $\int_C P\,dx + Q\,dy + R\,dz = \int_a^b \mathbf{F}(\mathbf{r}(t)) \cdot \dot{\mathbf{r}}(t)\,dt$. Меняет знак при смене направления обхода. Для потенциального поля $\mathbf{F} = \nabla U$: интеграл зависит только от концов пути, $\int_C = U(B) - U(A)$.
Теорема Грина: $\oint_{\partial D} P\,dx + Q\,dy = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)dA$. Связывает контурный интеграл по границе области с двойным интегралом по области. Частный случай теоремы Стокса.
Криволинейный интеграл I рода
В 2019 году Tesla оптимизировала охладительные трубопроводы Model 3, сократив их суммарную длину на 12 метров на автомобиль. Ключевой инструмент - криволинейный интеграл первого рода, вычисляющий длину кривой в пространстве.
Криволинейный интеграл первого рода зависит от ориентации кривой (направления обхода)?
Криволинейный интеграл II рода (по координатам)
Работа, которую двигатель SpaceX Falcon 9 совершает против гравитации при подъёме на 70 км, вычисляется как криволинейный интеграл второго рода: сила умножается на вектор смещения вдоль траектории.
Поле F = (2xy, x²) потенциально, т.к. ∂(x²)/∂x = 2x = ∂(2xy)/∂y. Чему равна работа вдоль любого пути из (0,0) в (1,2)?
Длина полуокружности радиуса $R$
$\mathbf{r}(t) = (R\cos t, R\sin t)$, $t \in [0, \pi]$. $|\dot{\mathbf{r}}| = R$. $L = \int_0^\pi R\,dt = \pi R$. Масса проволоки с плотностью $\rho(x,y) = y$: $m = \int_0^\pi R\sin t \cdot R\,dt = 2R^2$.
Итоги
- Интеграл 1-го рода $\int_C f\,ds$ не зависит от параметризации; вычисляется через $|\dot{\mathbf{r}}(t)|dt$
- Интеграл 2-го рода $\int_C \mathbf{F}\cdot d\mathbf{r}$ меняет знак при смене направления; для потенциальных полей зависит только от конечных точек
- Теорема Грина $\oint_{\partial D} = \iint_D$ - мост между одномерным интегралом по контуру и двумерным по площади
Связь с другими темами
Криволинейные интегралы обобщаются в теореме Стокса: $\oint_{\partial S} \mathbf{F}\cdot d\mathbf{r} = \iint_S (\nabla \times \mathbf{F})\cdot d\mathbf{S}$. Это специальный случай общей теоремы Стокса для дифференциальных форм, объединяющей все интегральные теоремы математического анализа.
- Связанные темы — развивает
Вопросы для размышления
- Почему для потенциального поля работа не зависит от пути? Какое свойство градиента это обеспечивает?
- Теорема Грина позволяет вычислить площадь через контурный интеграл: $A = \frac{1}{2}\oint(x\,dy - y\,dx)$. Как это следует из формулы Грина?
- Циркуляция $\oint \mathbf{v}\cdot d\mathbf{r}$ - мера завихрённости потока. Как это связано с ротором $\nabla \times \mathbf{v}$ через теорему Стокса?