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

Можно ли свернуть лист бумаги в сферу без складок и разрывов? Нет. У листа $K=0$, у сферы $K=1/R^2>0$, а Theorema Egregium Гаусса (1827) гласит: гауссова кривизна сохраняется при изгибании. Именно это объясняет, почему карты мира всегда искажают либо формы, либо площади - и почему пицца не падает, если согнуть корку вдоль.

• **SE(3)-сети (AlphaFold2, DiffDock):** поверхности белков описываются через $K$ - rotation-invariant descriptor, не меняющийся при вращении молекулы
• **LiDAR и SLAM (PCL, Open3D):** нормали и кривизна поверхностей - основа 3D object recognition; оператор формы дает локальный репер в каждой точке
• **Тонкостенные конструкции (aerospace FEM):** условие $H=0$ определяет минимальные поверхности с нулевыми изгибными напряжениями - оптимальная форма несущих оболочек

Предварительные знания

• Поверхности: первая фундаментальная форма

Оператор формы и вторая фундаментальная форма

Первая форма отвечает на вопрос: как далеко? Вторая - на вопрос: как сильно согнуто? Чтобы измерить изгиб, надо следить за единичной нормалью $\mathbf{N}$ при движении по поверхности. Если нормаль поворачивается быстро - поверхность крута. Если почти не меняется - почти плоская.

**Оператор формы** (оператор Вейнгартена) $S$ связывает дифференциал нормали с дифференциалом положения: $d\mathbf{N} = -S \cdot d\mathbf{r}$. Знак минус - соглашение: нормаль на выпуклой поверхности отклоняется навстречу направлению движения. $S$ - линейный оператор касательной плоскости в себя. Его собственные значения - главные кривизны $\kappa_1$, $\kappa_2$.

SE(3)-эквивариантные сети (AlphaFold2, DiffDock) работают с поверхностями белков в пространстве $\mathbb{R}^3$. Ключевое свойство: внутренняя геометрия (гауссова кривизна $K$) инвариантна при вращениях и трансляциях. Белок можно повернуть как угодно - его $K$ не изменится. Именно поэтому features на основе кривизны используются как rotation-invariant descriptor в молекулярном докинге.

**Вторая фундаментальная форма** $II$ - это квадратичная форма, связанная с $S$ через первую форму: $II(\mathbf{u}, \mathbf{v}) = -d\mathbf{N} \cdot d\mathbf{r}$. В координатах: $II = L\,du^2 + 2M\,du\,dv + N_{\!c}\,dv^2$, где $L = \mathbf{r}_{uu} \cdot \mathbf{N}$, $M = \mathbf{r}_{uv} \cdot \mathbf{N}$, $N_{\!c} = \mathbf{r}_{vv} \cdot \mathbf{N}$. Это проекции ускорений параметрических линий на нормаль - насколько поверхность «уходит» от касательной плоскости.

$S$ - самосопряжённый оператор ($S = S^\top$ в ортонормальном базисе), поэтому собственные значения вещественны, а собственные направления ортогональны. Главные направления - те, в которых изгиб максимален и минимален. В LiDAR-обработке (PCL, Open3D) собственные векторы тензора кривизны поверхности используются как локальный репер для 3D object recognition.

Гауссова и средняя кривизна

Из двух главных кривизн $\kappa_1$, $\kappa_2$ строятся два разных инварианта. **Гауссова кривизна** $K = \kappa_1 \kappa_2$ - это произведение. Она определяет, как поверхность изгибается «в целом». **Средняя кривизна** $H = (\kappa_1 + \kappa_2)/2$ - среднее. Она определяет, стремится ли поверхность уменьшить свою площадь.

Знак $K$ говорит всё о типе точки. $K > 0$ - эллиптическая (чаша, бугор): поверхность изгибается в одну сторону в обоих главных направлениях. $K < 0$ - гиперболическая (седло): в разные стороны. $K = 0$ - параболическая (цилиндр, конус): хотя бы одна главная кривизна нулевая. $H = 0$ при $K < 0$ - минимальная поверхность: мыльная плёнка, катеноид.

Minimal surfaces ($H=0$) - не экзотика. Aerospace structures моделируются как тонкие оболочки с $H \approx 0$: минимизация средней кривизны = минимизация изгибных напряжений. В FEM (finite element method) именно условие $H = 0$ определяет форму оптимальной несущей поверхности крыла или обтекателя. Катеноид и геликоид - базовые примеры из учебников по механике конструкций.

На торе $K$ меняет знак: внешняя сторона - $K > 0$, внутренняя - $K < 0$, два кольца (верх/низ) - $K = 0$. Интеграл $\iint_T K\,dA = 0$ (теорема Гаусса-Бонне для тора, $\chi = 0$). Суммарная кривизна тора - ноль.

Theorema Egregium: кривизна изнутри

Вот что удивительно: $K$ вычисляется только через первую фундаментальную форму. Не нужно знать, как поверхность вложена в $\mathbb{R}^3$. Не нужна вторая форма. Только $E, F, G$ и их производные - всё. Это **Theorema Egregium** (от лат. «замечательная теорема»), доказанная Гауссом в 1827 году.

Формально: $K$ выражается через символы Кристоффеля $\Gamma^k_{ij}$, которые зависят только от $g_{ij} = (E,F,G)$ и их производных. Это сложная формула - но принцип прост. Жук на поверхности, умеющий только измерять расстояния вдоль неё, может вычислить $K$. Никакого третьего измерения.

Следствие, которое изменило математику: изометрия (изгибание без растяжения) сохраняет $K$. Лист бумаги ($K=0$) можно свернуть в цилиндр ($K=0$) или конус ($K=0$) - метрика не меняется. Но нельзя получить сферу ($K = 1/R^2 > 0$). Для этого потребуется растяжение - то есть разрыв листа. Именно поэтому карты мира всегда врут: либо формы, либо площади, либо расстояния - что-то искажается всегда.

$H$ (средняя кривизна) - **внешний** инвариант. Жук без третьего измерения не может её вычислить. Цилиндр и плоскость изометричны ($K=0$), но $H$ разная: у цилиндра $H = 1/(2R) \neq 0$, у плоскости $H = 0$. Это разграничение - фундамент дифференциальной геометрии Римана.

Ключевые идеи

• **Оператор формы** $S$: $d\mathbf{N} = -S\cdot d\mathbf{r}$ - главные кривизны $\kappa_1, \kappa_2$ как собственные значения
• **$K = \kappa_1\kappa_2$** (Гаусс): знак определяет тип точки; **$H = (\kappa_1+\kappa_2)/2$**: $H=0$ - минимальная поверхность
• **Theorema Egregium:** $K$ выражается только через первую форму - это внутренний инвариант, сохраняемый при изометрии
• **Следствие:** изометрия $K=0$ (лист, цилиндр) не может перейти в $K>0$ (сфера) - карты мира искажают, бумага не оборачивает апельсин

Связанные темы

Вторая форма завершает классическую теорию поверхностей:

• Поверхности: первая фундаментальная форма — Первая форма - внутренняя метрика; $K$ связывает обе формы через Theorema Egregium
• Кривые в пространстве — Нормальная кривизна кривой на поверхности - частный случай оператора формы
• Теорема Гаусса-Бонне — Глобальный интеграл $K$ по поверхности равен топологическому инварианту $2\pi\chi$

Вопросы для размышления

• Пицца-фокус работает именно через Theorema Egregium: пицца плоская внутренне ($K = 0$), сгиб вдоль оси создаёт ненулевую кривизну $\kappa_1 \neq 0$ вдоль линии сгиба. Theorema Egregium гарантирует $K = \kappa_1 \cdot \kappa_2 = 0$, значит $\kappa_2 = 0$ - перпендикулярно линии сгиба пицца не может прогибаться вниз, кончик держится. Какую геометрическую роль играет рукоятка корки?
• Теорема Гаусса-Бонне: $\iint K\,dA = 2\pi\chi(S)$. Для сферы $\chi=2$, для тора $\chi=0$. Почему на торе $\iint K=0$, хотя $K$ меняет знак от точки к точке?
• Если $K$ - внутренний инвариант, является ли $H$ тоже внутренним? Может ли двумерное существо, живущее на поверхности, измерить $H$ без выхода в третье измерение?

Связанные уроки

• dg-02 — Первая форма - метрика, без неё нет смысла в кривизне
• dg-01 — Нормальная кривизна кривой - частный случай оператора формы
• dg-04 — Теорема Гаусса-Бонне связывает K с топологией поверхности
• ig-02-fisher-metric — Fisher-информация - риманова кривизна на многообразии распределений
• ig-07-natural-gradient — Натуральный градиент учитывает внутреннюю кривизну пространства параметров
• la-13-eigenvectors