Это не официальный сайт wikipedia.org 01.01.2023

Криволинейный интеграл — Википедия

Криволинейный интеграл

(перенаправлено с «»)

Криволинейный интеграл — интеграл, вычисляемый вдоль какой-либо кривой.

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

ОпределениеПравить

Начальные условияПравить

КриваяПравить

Пусть l   — гладкая (непрерывно дифференцируемая), без особых точек и самопересечений кривая (допускается одно самопересечение — случай замкнутой кривой), заданная параметрически:

l :   r ( t ) ,  

где rрадиус-вектор, конец которого описывает кривую, а параметр t направлен от какого-то начального значения a к конечному значению b. Для интеграла второго рода направление, в котором движется параметр, определяет само направление кривой l .   При этом не играет роли, что больше — b или a.[1]

Интегрируемая функцияПравить

Пусть дана скалярная или векторная функция, от которой рассматривается интеграл вдоль кривой l :   f ( r )   или f ( r ) .  

РазбиениеПравить

Разбиение отрезка параметризацииПравить

  • Пусть дано разбиение отрезка [ a , b ]   (или [ b , a ]  ) то есть множество { t k } k = 0 n = { t 0 ,   . . . , t n } ,   где:
    • a = t 0 < < t n = b ,   если a < b ;  
    • или a = t 0 > > t n = b ,   если a > b .  
  • Мелкостью этого разбиения называется число max k = 1 , n ¯ { | t k t k 1 | } ,   обозначающее максимальное возможное из расстояний между всеми соседними значениями этого разбиения.
  • Введём набор промежуточных точек разбиения — точек ξ k ,   каждая из которых лежит между t k 1   и t k   ( k = 1 , n ¯  ).

Разбиение кривойПравить

  • Зададим разбиение кривой { r ( t k ) } k = 0 n ,   которое соответствует разбиению { t k } k = 0 n   отрезка параметризации.
  • За l k   обозначим часть кривой r ( t )   от значения параметра t = t k 1   до значения t = t k ,   где k = 1 , n ¯ .  
  • Зададим набор промежуточных точек разбиения кривой — точек r ( ξ k ) ,   каждая из которых лежит на l k   ( k = 1 , n ¯  ).

Интегральные суммыПравить

Ниже для определения интегральных сумм используются промежуточные точки r ( ξ k ) ,   разбиение { t k } k = 0 n   и участки l k   кривой l .   Рассмотрим две интегральные суммы:

  • интегральную сумму для интеграла первого рода:
    k = 1 n f ( r ( ξ k ) ) | l k | ,   где |lk| — длина участка lk;
  • интегральную сумму для интеграла второго рода:
    k = 1 n f ( r ( ξ k ) ) ( r ( t k ) r ( t k 1 ) ) ,  
где вектор-функция f скалярно умножается на приращение r(tk) − r(tk−1).

Криволинейный интегралПравить

Если в интегральных суммах n неограниченно увеличить так, чтобы мелкость стремилась к нулю, то в пределе получится криволинейный интеграл от функции f   ( f  ) по кривой l .   Если этот предел действительно существует, то говорят, что функция f   ( f  ) интегрируема по кривой l .   Тогда интегралы первого и второго рода обозначаются:

l f ( r ) | d r | , l f ( r ) d r ,  

где dr — вектор-дифференциал вдоль кривой. В случае с интегралом второго рода важно направление кривой: от этого зависит направление самого дифференциала dr.

Если кривая l   замкнута (начало совпадает с концом), то вместо значка   принято писать .  

Криволинейный интеграл первого родаПравить

 
Иллюстрация криволинейного интеграла первого рода на скалярном поле

СвойстваПравить

  1. Линейность:
    l ( α f ( r ) + β g ( r ) ) | d r | = α l f | d r | + β l g | d r | .  
  2. Аддитивность: если l 1   и l 2   пересекаются в одной точке, то
    l 1 l 2 f | d r | = l 1 f | d r | + l 2 f | d r | .  
  3. Монотонность: если f g   на l  , то
    l f | d r | l g | d r | .  
  4. Теорема о среднем: при непрерывности функции f   на l   для интеграла l f | d r |   возможно подобрать такую точку ξ l ,   что
    l f ( r ) | d r | = l f ( ξ ) | d r | ,   или, что то же самое, l f ( r ) | d r | = f ( ξ ) | l | .  
  5. Изменение направления обхода кривой интегрирования не влияет на знак интеграла:
    A B f | d r | = B A f | d r | = B A f | d r | .  
  6. Криволинейный интеграл первого рода не зависит от параметризации кривой.

ВычислениеПравить

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

l f ( r ) | d r | = a b f ( r ) | r ˙ ( t ) d t | = b a f ( r ) | r ˙ ( t ) d t | ,  

или, если раскрыть модуль дифференциала dt,

l f ( r ) | d r | = { a b f ( r ) | r ˙ ( t ) | d t = b a f ( r ) | r ˙ ( t ) | ( d t ) , если   a < b , a b f ( r ) | r ˙ ( t ) | ( d t ) = b a f ( r ) | r ˙ ( t ) | d t , если   a > b .  

где точкой обозначена производная по t.

Криволинейный интеграл второго родаПравить

 
Иллюстрация криволинейного интеграла второго рода на векторном поле

СвойстваПравить

1. Линейность:

l ( α f + β g ) d r = α l f d r + β l g d r .  

2. Аддитивность:

A B f d r + B C f d r = A B C f d r .  

3. B A f d r = A B f ( d r ) = A B f d r .  

Замечание. Для криволинейных интегралов второго рода несправедливы свойство монотонности, оценка модуля и теорема о среднем.

ВычислениеПравить

Пусть AB — гладкая кривая, заданная параметрически (как в определении) и наделённая направлением от A до B. Пусть функция f   определена и интегрируема вдоль кривой l .   Тогда

A B f ( r ) d r = a b f ( r ) r ˙ ( t ) d t ,  

а при изменении обхода кривой:

B A f ( r ) d r = b a f ( r ) r ˙ ( t ) d t = a b f ( r ) r ˙ ( t ) d t .  

Взаимосвязь криволинейных интеграловПравить

Если обозначить за τ   единичный вектор касательной к кривой l ,   который имеет то же направление, в каком параметризирована сама кривая, то взаимосвязь между криволинейными интегралами такова:

d r = τ | d r | .  

В терминах самих интегралов это выглядит так:

l f d r = l ( f τ ) | d r | ,  

где l   — гладкая, спрямляемая кривая, наделённая направлением, а вектор-функция f   интегрируема на ней.

Трёхмерное евклидово пространствоПравить

В трёхмерном евклидовом пространстве дифференциалы координат вектора, направленного вдоль направленной кривой, выражаются через направляющие косинусы, если воспользоваться определением скалярного произведения:

d x = cos ( i , τ ) | d r | ;  
d y = cos ( j , τ ) | d r | ;  
d z = cos ( k , τ ) | d r | .  

Тогда, раскладывая скалярное произведение в l f d r = l ( f τ ) | d r |   по координатам, взаимосвязь криволинейных интегралов можно выразить так:

l f x ( x , y , z ) d x = l f x ( x , y , z ) cos ( i , τ ) | d r | ;  
l f y ( x , y , z ) d y = l f y ( x , y , z ) cos ( j , τ ) | d r | ;  
l f z ( x , y , z ) d z = l f z ( x , y , z ) cos ( k , τ ) | d r | .  

Механические приложенияПравить

A = l F d r .  
  • Масса m криволинейного (бесконечно тонкого) тела l, линейная плотность которого вдоль кривой l равна μ(r), выражается интегралом
m = l μ ( r ) | d r | .  
  • Центр масс (центра тяжести) криволинейного тела l с линейной плотностью μ(r) выражается через радиус-вектор rc как
r c = 1 m l μ ( r ) r | d r | ,  где m — масса кривой l.
  • Моменты инерции кривой l при её вращении вокруг координатных осей в 3-мерном пространстве:
I x = l ( y 2 + z 2 ) μ ( r ) | d r | ,  
I y = l ( z 2 + x 2 ) μ ( r ) | d r | ,  
I z = l ( x 2 + y 2 ) μ ( r ) | d r | .  
  • Сила притяжения точечной массы m0 в начале координат с криволинейным телом l равна
F = γ m 0 l μ ( r ) r 3 | d r | ,  
где μ(r) — линейная плотность кривой l, γ — гравитационная постоянная.

См. такжеПравить

ПримечанияПравить