Кривина (математика)

У диференціальній геометрії, кривина́ — збірна назва ряду кількісних характеристик (чисельних, векторних, тензорних), що описують відхилення того або іншого геометричного «об'єкта» (кривої, поверхні, ріманового простору тощо) від відповідних «пласких» об'єктів (пряма, площина, евклідів простір тощо).

Кривина
Розмірність	${\displaystyle {\mathsf {L}}^{-1}}$
Формула	${\displaystyle \varkappa =1/\rho }$^[1]^[2]
Позначення у формулі	${\displaystyle \varkappa }$ і ${\displaystyle \rho }$
Символ величини (LaTeX)	${\displaystyle \varkappa }$^[1]
Підтримується Вікіпроєктом
Рекомендована одиниця вимірювання	^d^[2]^[3]
Кривина у Вікісховищі

Зазвичай кривина визначається для кожної точки на «об'єкті» і виражається як значення деякого диференціального виразу 2-го порядку. Іноді кривина визначається в інтегральному смислі, наприклад як міра, такі визначення використовують для «об'єктів» зниженої гладкості. Як правило, тотожне перетворення на нуль кривини в усіх точках означає збіг (локальний, але не глобальний) «об'єкта», що вивчається, з «пласким» об'єктом.

У цій статті наводяться тільки декілька простих прикладів визначень поняття кривини.

Кривина кривої

Нехай γ(s) — регулярна крива в d-вимірному евклідовому просторі, що параметризується довжиною. Тоді

${\displaystyle \kappa =|{\ddot {\gamma }}(s)|}$

називається кривиною кривої γ у точці p = γ(s), тут ${\displaystyle {\ddot {\gamma }}(s)}$ позначає другу похідну по s. Вектор

${\displaystyle k={\ddot {\gamma }}(t)}$

називається вектором кривини γ в точці p = γ(t0).

Нижче подані більш інтуїтивні визначення, що пояснюють геометричний зміст кривини.

Величина, обернена до кривини кривої (${\displaystyle r=1/\kappa }$), називається радіусом кривини; він збігається з радіусом стичного кола в даній точці кривої. Центр цього кола називається центром кривини.

Кривина плоскої кривої

Нехай ${\displaystyle \gamma (t):[a,b]\to \mathbb {R} ^{2}}$ — плоска крива. Її кривина в деякій точці ${\displaystyle p=\gamma (t),\;t\in [a,b]}$ умовно кажучи, визначає наскільки крива в деякому малому околі цієї точки відхиляється від прямої. Для змістовності цієї числової характеристики кривина прямої мала б бути рівною нулю, а кривина в точках кола меншого радіуса мала б бути більшою, ніж у точках кола більшого радіуса. Тому кривину прямої можна визначити рівною нулю, а кривину кола радіуса r, як 1/r.

float

Тому якщо в деякому околі точки p крива досить добре наближається деяким колом (це коло називається стичним колом) радіуса r, то її кривину в точці p теж можна прийняти рівною 1/r. Стичне коло в точці ${\displaystyle p=\gamma (t)}$ визначається як границя кіл, що проходять через точки ${\displaystyle p=\gamma (t),\;p_{1}=\gamma (t_{1}),\;p_{2}=\gamma (t_{2})}$ при ${\displaystyle t_{1},t_{2}\to t.}$

Нехай тепер для простоти крива ${\displaystyle \gamma (s)}$ параметризується довжиною і її перша та друга похідні по цьому параметру ${\displaystyle {\dot {\gamma }}(s),{\ddot {\gamma }}(s)}$ визначені й неперервні. Окрім того, ${\displaystyle {\dot {\gamma }}(s)}$ є одиничним вектором тобто ${\displaystyle |{\dot {\gamma }}(s)|=1,\forall s}$ і ${\displaystyle \langle {\dot {\gamma }}(s),{\ddot {\gamma }}(s)\rangle =0,}$ де тут і надалі ${\displaystyle \langle \cdot ,\cdot \rangle }$ позначає скалярний добуток.

Якщо точки ${\displaystyle \gamma (s),\;\gamma (s_{1}),\;\gamma (s_{2})}$ не лежать на одній прямій позначимо через ${\displaystyle C(s,s_{1},s_{2})}$ — центр кола, що проходить через ці точки.

Тоді ${\displaystyle |\gamma (s)-C(s,s_{1},s_{2})|=|\gamma (s_{1})-C(s,s_{1},s_{2})|=|\gamma (s_{2})-C(s,s_{1},s_{2})|}$

З правил диференціювання скалярного добутку і теореми Ролля випливає існування таких чисел ${\displaystyle \xi _{1},\xi _{2},}$ перше з яких знаходиться на проміжку між двома найменшими з чисел ${\displaystyle s,s_{1},s_{2}}$⁣, а друге між двома найбільшими, що:

${\displaystyle \langle {\dot {\gamma }}(\xi _{i}),\gamma (\xi _{i})-C(s,s_{1},s_{2})\rangle =0,\;i=1,2.}$

Повторно продиференціювавши й використавши теорему Ролля отримуємо існування числа ${\displaystyle \eta \in (\xi _{1},\xi _{2})}$ для якого

${\displaystyle \langle {\ddot {\gamma }}(\eta ),\gamma (\eta )-C(s,s_{1},s_{2})\rangle =-\langle {\dot {\gamma }}(\eta ),{\dot {\gamma }}(\eta )\rangle =-1.}$

Якщо тепер ${\displaystyle s_{1},s_{2}\to s}$, то також ${\displaystyle \xi _{1},\eta \to s}$ і тому, якщо ${\displaystyle C(s,s_{1},s_{2})}$ теж прямує до деякого ${\displaystyle C}$, то попередні рівняння в граничному випадку мають вигляд:

${\displaystyle \langle {\dot {\gamma }}(s),\gamma (s)-C\rangle =0,}$

${\displaystyle \langle {\ddot {\gamma }}(s),\gamma (s)-C\rangle =-1.}$

Звідси очевидно, що така границя не може існувати, якщо ${\displaystyle {\ddot {\gamma }}(s)=0.}$ Якщо ж ${\displaystyle {\ddot {\gamma }}(s)\neq 0}$, то можна довести, що жодні три точки в деякому околі точки ${\displaystyle p=\gamma (s)}$ не лежать на одній прямій і попередні побудови мають зміст. Також в цьому випадку з фінальних рівнянь однозначно визначається ${\displaystyle C}$ і з неперервності скалярного добутку випливає, що ${\displaystyle C=\lim _{s_{1},s_{2}\to s}C(s,s_{1},s_{2}).}$

Також з рівнянь випливає, що вектор ${\displaystyle \gamma (s)-C}$ який є радіус-вектором стичного кола є колінеарним до вектора ${\displaystyle {\ddot {\gamma }}(s).}$ Звідси маємо, що для радіуса r стичного кола виконується рівність ${\displaystyle r|{\ddot {\gamma }}(s)|=1}$, яку можна переписати як ${\displaystyle |{\ddot {\gamma }}(s)|={\frac {1}{r}}.}$ Тому саме ${\displaystyle |{\ddot {\gamma }}(s)|}$ можна визначати як кривину кривої в даній точці. У випадку ${\displaystyle |{\ddot {\gamma }}(s)|=0}$ кривина теж вважається нульовою.

Визначення плоскої кривої функцією кривини

Якщо ${\displaystyle \kappa :[0,L]\to \mathbb {R} ^{+}}$ — деяка неперервна функція, із невід'ємними значеннями то існує крива ${\displaystyle \gamma :[0,L]\to \mathbb {R} ^{2}}$ для якої кривина в точці ${\displaystyle p=\gamma (s),s\in [0,L]}$ є рівною ${\displaystyle \kappa (s).}$

Окрім того, дві такі криві можуть бути отримані одна з іншої за допомогою перенесення та повороту площини.

Кривина у просторах вищої розмірності

Для кривих в Евклідових просторах розмірності > 2 попередня побудова теж має зміст при ${\displaystyle {\ddot {\gamma }}(s)\neq 0.}$ В цьому випадку довільні три точки в околі деякої точки ${\displaystyle \gamma (s)}$ теж не належать одній прямій. При прямуванні цих точок до ${\displaystyle \gamma (s)}$ в граничному випадку отримується площина визначена перпендикулярними векторами ${\displaystyle {\dot {\gamma }}(s)}$ і ${\displaystyle {\ddot {\gamma }}(s).}$ В ній і буде лежати граничне коло побудоване як і раніше.

В цьому випадку, проте довільна неперервна функція ${\displaystyle \kappa :[0,L]\to \mathbb {R} }$ не визначає криву ${\displaystyle \gamma (s)}$. Для визначення кривої з точністю до ізометричних афінних відображень потрібні додаткові дані. Наприклад у випадку тривимірного простору також скрут кривої у кожній точці.

Визначення кривини як границі кутових функцій

Нехай знову ж ${\displaystyle \gamma :[0,L]\to \mathbb {R} ^{n}}$ деяка двічі неперервно диференційовна функція параметризована своєю довжиною. Кривину в точці ${\displaystyle \gamma (s),s\in [0,L]}$ можна також визначити в інший спосіб. Нехай ${\displaystyle {\dot {\gamma }}(s),{\dot {\gamma }}(s+\Delta s)}$ — дотичні вектори в точках з відповідними параметрами. Для параметризації довжиною вони є одиничними. Позначимо ${\displaystyle \theta (s,s+\Delta s)}$ — кут між цими векторами. Тоді кривина рівна границі відношення цього кута до довжини кривої між двома точками. Для параметризації довжиною це можна записати як:

${\displaystyle \kappa =\lim _{\Delta s\to 0}{\frac {\theta (s,s+\Delta s)}{\Delta s}}.}$

Дійсно з елементарних властивостей трикутника справедлива рівність${\displaystyle |{\dot {\gamma }}(s+\Delta s)-{\dot {\gamma }}(s)|=2\sin {\frac {\theta (s,s+\Delta s)}{2}}.}$

Звідси маємо

${\displaystyle {\frac {|{\dot {\gamma }}(s+\Delta s)-{\dot {\gamma }}(s)|}{|\Delta s|}}={\frac {\sin {\frac {\theta (s,s+\Delta s)}{2}}}{\frac {\theta (s,s+\Delta s)}{2}}}\cdot {\frac {\theta (s,s+\Delta s)}{|\Delta s|}}.}$

При переході до границі, зважаючи на властивості синуса маємо ${\displaystyle |{\ddot {\gamma }}(s)|=\lim _{\Delta s\to 0}{\frac {\theta (s,s+\Delta s)}{\Delta s}}.}$

Формули для кривини в довільній параметризації

У формулі ${\displaystyle \kappa =|{\ddot {\gamma }}(s)|}$ важливою є параметризація кривої її довжиною. Нехай тепер ${\displaystyle \gamma (t):[a,b]\to \mathbb {R} ^{n}}$ — довільна параметризація. Тоді ${\displaystyle s(t):[a,b]\to [0,L]}$ є бієктивна функція яка для двічі неперервно диференційовних кривих теж є двічі неперервно диференційовною.

Позначаючи ${\displaystyle {\dot {\gamma }}_{s}}$ і ${\displaystyle {\dot {\gamma }}_{t}}$ похідні по відповідних параметрах маємо ${\displaystyle {\dot {\gamma }}_{t}={\dot {\gamma }}_{s}{\dot {s}}_{t}}$. Звідси ${\displaystyle |{\dot {\gamma }}_{t}|={\dot {s}}_{t}}$ і, як наслідок ${\displaystyle {\dot {\gamma }}_{s}={\frac {{\dot {\gamma }}_{t}}{|{\dot {\gamma }}_{t}|}}.}$

Продиференціювавши останню рівність по параметру t маємо:

${\displaystyle {\ddot {\gamma }}_{ss}{\dot {s}}_{t}={\frac {{\ddot {\gamma }}_{tt}}{|{\dot {\gamma }}_{t}|}}-{\frac {({\dot {\gamma }}_{t},{\ddot {\gamma }}_{tt})}{|{\dot {\gamma }}_{t}|^{3}}}{\dot {\gamma }}_{t}.}$

Взявши абсолютні значення після подальших спрощень отримується формула:

${\displaystyle \kappa ^{2}={\frac {|{\dot {\gamma }}|^{2}|{\ddot {\gamma }}|^{2}-\langle {\dot {\gamma }},{\ddot {\gamma }}\rangle ^{2}}{|{\dot {\gamma }}|^{6}}}}$ де всі похідні є по параметру t.

Для плоских кривих записуючи в координатах ${\displaystyle \gamma (t)=(x(t),y(t))}$ формула кривини має вигляд:

${\displaystyle \kappa ={\frac {|y''x'-x''y'|}{\left(x'^{2}+y'^{2}\right)^{\frac {3}{2}}}}.}$

Для кривих у тривимірному просторі кривину можна також записати як:

${\displaystyle \kappa ={\frac {|{\dot {\gamma }}\times {\ddot {\gamma }}|}{|{\dot {\gamma }}|^{3}}}}$,

або в координатах ${\displaystyle \gamma (t)=(x(t),y(t),z(t)):}$

${\displaystyle \kappa ={\frac {\sqrt {(z''y'-y''z')^{2}+(x''z'-z''x')^{2}+(y''x'-x''y')^{2}}}{\left(x'^{2}+y'^{2}+z'^{2}\right)^{\frac {3}{2}}}}}$

Кривина поверхні

Докладніше: Кривина Гауса

Нехай ${\displaystyle \Phi }$ — це регулярна поверхня у тривимірному евклідовому просторі. Хай ${\displaystyle p}$ — точка ${\displaystyle \Phi }$, ${\displaystyle T_{p}}$ — дотична площина до ${\displaystyle \Phi }$ у точці ${\displaystyle p}$, ${\displaystyle n}$ — одинична нормаль до ${\displaystyle \Phi }$ у точці ${\displaystyle p}$, а ${\displaystyle \pi _{e}}$ — площина, що проходить через ${\displaystyle n}$ і деякий одиничний вектор ${\displaystyle e}$ в ${\displaystyle T_{p}}$. Крива ${\displaystyle \gamma _{e}}$, що виходить як перетин площини ${\displaystyle \pi _{e}}$ з поверхнею ${\displaystyle \Phi }$, називається нормальним перетином поверхні ${\displaystyle \Phi }$ у точці ${\displaystyle p}$ у напрямі ${\displaystyle e}$. Величина

${\displaystyle \kappa _{e}=k\cdot n}$

де ${\displaystyle \cdot }$ позначає скалярний добуток, а ${\displaystyle k}$ — вектор кривини ${\displaystyle \gamma _{e}}$ у точці ${\displaystyle p}$, називається нормальною кривиною поверхні ${\displaystyle \Phi }$ у напрямі ${\displaystyle e}$. З точністю до знаку нормальна кривина дорівнює кривині кривої ${\displaystyle \gamma _{e}}$.

У дотичній площині ${\displaystyle T_{p}}$ існують два перпендикулярні напрями ${\displaystyle e_{1}}$ і ${\displaystyle e_{2}}$ такі, що нормальну кривину в довільному напрямі можна представити за допомогою так званої формули Ейлера:

${\displaystyle \kappa _{e}=\kappa _{1}\cos ^{2}\alpha +\kappa _{2}\sin ^{2}\alpha }$

де ${\displaystyle \alpha }$ — кут між ${\displaystyle e_{1}}$ і ${\displaystyle e}$, a величини ${\displaystyle \kappa _{1}}$ і ${\displaystyle \kappa _{2}}$ нормальні кривини в напрямах ${\displaystyle e_{1}}$ і ${\displaystyle e_{2}}$, вони називаються головними кривинами, а напрями ${\displaystyle e_{1}}$ і ${\displaystyle e_{2}}$ — головними напрямами поверхні в точці ${\displaystyle p}$.

Головні кривини є екстремальними значеннями нормальних кривин.

Структуру нормальних кривин в даній точці поверхні зручно графічно зображати за допомогою індикатриси Дюпена.

Величина

${\displaystyle H=\kappa _{1}+\kappa _{2}}$, (іноді ${\displaystyle {\frac {\kappa _{1}+\kappa _{2}}{2}}}$)

називається середньою кривиною поверхні.

Величина

${\displaystyle K=\kappa _{1}\kappa _{2}}$

називається гаусовою кривиною поверхні. Гаусова кривина є об'єктом внутрішньої геометрії поверхонь, зокрема не змінюється при ізометричних вигинаннях.

Див. також

• Кривина Гауса
• ^[en]
• Скалярна кривина
• Поверхня
• Тензор кривини
• Форма кривини

Література

• Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2024. — 2100+ с.(укр.)
• Погорелов А. И. Дифференциальная геометрия (6-е издание). [ 6 жовтня 2014 у Wayback Machine.] М.: Наука, 1974. ^[]
• Рашевский П. К. Курс дифференциальной геометрии (3-е издание). [ 10 вересня 2011 у Wayback Machine.] М.-Л.: ГИТТЛ, 1950. ^[]
• Spivak, Michael (1999), A comprehensive introduction to differential geometry, Volume II, Publish or Perish Press, ISBN  ^[]

Примітки

1. 3-2 // Quantities and units—Part 3: Space and time — 1 — ISO, 2006. — 19 p.
   d:Track:Q15028d:Track:Q26711932
2. 3-2 // Quantities and units — Part 3: Space and time, Grandeurs et unités — Partie 3: Espace et temps — 2 — ISO, 2019. — 11 p.
   d:Track:Q15028d:Track:Q90137277
3. 3-2.a // Quantities and units—Part 3: Space and time — 1 — ISO, 2006. — 19 p.
   d:Track:Q15028d:Track:Q26711932

Інтернет-ресурси

• The Feynman Lectures on Physics Vol. II Ch. 42: Curved Space
• Curvature, Intrinsic and Extrinsic at MathPages