Репер Френе и геометрия пространственных кривых

Как описать форму кривой?

Возьмём нить, изогнутую в пространстве. Как передать её форму математически? Обычная параметризация r(t) = (x(t), y(t), z(t)) зависит от произвольного выбора параметра t — неудобно. Нам нужны инварианты: числа, описывающие форму, не зависящие от выбора координат и параметризации.

Для кривой таких инвариантов два: кривизна (как быстро поворачивает касательная) и кручение (как плоскость касательной поворачивается вокруг кривой). Вместе они полностью определяют форму кривой — и именно через них строится репер Френе, подвижный ортонормированный базис, «скользящий» вдоль кривой.

Натуральная параметризация

Перейдём к натуральной параметризации — по длине дуги s. Определение: s = ∫₀ᵗ |r'(τ)| dτ, откуда ds/dt = |r'(t)|. В натуральной параметризации скорость постоянна: |r'(s)| = 1. Это «скорость единичной длины» — движение вдоль кривой с постоянной скоростью 1 (метр в метр).

Почему важна натуральная параметризация? Потому что производные по s имеют геометрический смысл: r'(s) — единичная касательная, r''(s) — показывает, как быстро кривая «поворачивает».

Триэдр (репер) Френе

На регулярной кривой r(s) в каждой точке определены три ортонормированных вектора:

Касательный вектор: τ = r'(s) = dr/ds. Направлен вдоль кривой. |τ| = 1.

Кривизна: κ(s) = |τ'(s)| = |r''(s)| ≥ 0. Измеряет скорость поворота касательной. Большая κ — кривая «резко поворачивает». Для прямой: κ = 0.

Главный нормальный вектор (при κ > 0): ν = τ'(s)/κ = r''(s)/|r''(s)|. Единичный вектор, перпендикулярный τ, направленный к центру кривизны. Интуиция: если смотреть вдоль кривой, ν указывает «куда поворачивать».

Бинормаль: β = τ × ν — перпендикулярна обоим. Тройка {τ, ν, β} образует репер Френе — правую ортонормированную систему координат, «привязанную» к кривой.

Формулы Серре–Френе

Как меняется репер вдоль кривой? Три формулы:

dτ/ds = κν (касательная поворачивает к нормали с «угловой скоростью» κ)

dν/ds = −κτ + χβ (нормаль поворачивается к касательной и к бинормали)

dβ/ds = −χν (бинормаль поворачивается к нормали с «угловой скоростью» χ)

Здесь χ(s) — кручение кривой. Описывает, как плоскость (τ, ν) — «соприкасающаяся плоскость» — поворачивается вокруг касательной. Если χ = 0 — кривая остаётся в плоскости (плоская кривая).

Разбор символов: χ может быть отрицательным (кручение «в другую сторону»). В некоторых текстах кручение обозначается τ, но мы используем χ, чтобы не путать с касательным вектором.

Теорема фундаментальная

Теорема (о существовании и единственности): Если заданы непрерывные функции κ(s) > 0 и χ(s), то существует единственная (с точностью до движения в пространстве) кривая с данными кривизной и кручением.

Пара (κ(s), χ(s)) — это «ДНК» кривой: из неё полностью восстанавливается форма.

Числовые примеры

Прямая: r(s) = (s, 0, 0). r' = (1,0,0), r'' = (0,0,0). κ = 0. Репер Френе вырожден.

Окружность радиуса R: r(s) = (R cos(s/R), R sin(s/R), 0). r' = (−sin(s/R), cos(s/R), 0). r'' = (−cos(s/R)/R, −sin(s/R)/R, 0). κ = 1/R (постоянная!). χ = 0 (плоская кривая).

Цилиндрическая спираль: r(t) = (R cos t, R sin t, ht). Длина дуги: s = t√(R²+h²). В натуральной параметризации: κ = R/(R²+h²) = const, χ = h/(R²+h²) = const.

Числовой пример: R = 1, h = 1: κ = 1/2, χ = 1/2. Угол подъёма: tan α = χ/κ = h/R = 1 → α = 45°.

ДНК — двойная спираль: R ≈ 1 нм, шаг h ≈ 0.34 нм на пару оснований × 10 пар = 3.4 нм, R/h ≈ 0.3. Угол подъёма α ≈ 17°. Репер Френе описывает геометрию молекулы жизни!

Реальное приложение: проектирование дорог

Переходная кривая на дороге (от прямой к дуге) должна иметь монотонно нарастающую кривизну — иначе у водителя возникает внезапный боковой толчок. Клотоида (κ = s, кривизна пропорциональна длине дуги) решает эту задачу: плавный переход от κ = 0 (прямая) к κ = κ₀ (окружность). Все современные автомагистрали и железнодорожные пути используют клотоиду как переходную кривую.

Репер Френе в инженерии и медицинских технологиях

Тройка Френе–Серре находит прямые практические применения в инженерии и биомедицине. При создании анимации движения камеры вдоль заданного пути в трёхмерной сцене ориентация камеры задаётся рамкой Френе: вектор τ указывает направление движения, ν — «верх» камеры. Однако в точках с нулевой кривизной рамка Френе вырождается, что нежелательно для компьютерной графики. Поэтому на практике используется «транспортированный репер» (rotation-minimizing frame): он минимизирует суммарное вращение вдоль кривой и применяется в системах автоматизированного проектирования (CAD) при программировании траекторий сверления, намотке волокна при производстве композитных труб и при управлении промышленными роботами-манипуляторами. В медицинской визуализации кривизна и кручение центральной оси кровеносных сосудов, вычисленные по данным МРТ-ангиографии, используются для диагностики аневризм и планирования эндоваскулярных операций. В нейронауке геометрия аксонов нейронов (кривые в трёхмерном пространстве мозга) анализируется через κ(s) и χ(s) по данным диффузионной МРТ для картирования связей белого вещества головного мозга.

Задание: (а) Докажите, что цилиндрическая спираль при R=2, h=3 имеет κ = 2/13 и χ = 3/13. (б) По формулам Серре–Френе: dβ/ds = −χν. Физический смысл: что это говорит о том, как наклонена плоскость (τ, ν) вдоль спирали? (в) Плоская кривая (χ=0): покажите, что β = const, и вся кривая лежит в одной плоскости. (г) Как связаны κ и χ спирали с её «шагом» и «радиусом»?