Вторая квадратичная форма и главные кривизны поверхности

Вектор нормали и отклонение от касательной плоскости

Для того чтобы измерить изгиб поверхности, необходимо ввести вектор, указывающий направление, перпендикулярное самой поверхности. Вектор единичной нормали (обозначаемый n) вычисляется как векторное произведение локальных касательных векторов r_u и r_v, разделенное на его собственную длину (которая равна sqrt(EG - F^2)). Вторая квадратичная форма математически оценивает скорость, с которой поверхность «отклоняется» от своей касательной плоскости при бесконечно малом смещении точки. Это отклонение пропорционально вторым производным радиус-вектора поверхности (то есть ускорению кривизны) по параметрическим координатам, спроецированным на направление единичной нормали.

Коэффициенты второй квадратичной формы (L, M, N)

Алгебраическая структура второй квадратичной формы аналогична первой, но ее коэффициенты вычисляются иначе. Традиционно они обозначаются латинскими буквами L, M и N. Коэффициент L равен скалярному произведению второй частной производной r_uu на единичную нормаль n. Коэффициент M равен скалярному произведению смешанной производной r_uv на нормаль n. Коэффициент N равен скалярному произведению r_vv на нормаль n. Вторая квадратичная форма записывается как полином: II = L du^2 + 2M du dv + N dv^2. Матрица этих коэффициентов полностью описывает тензор внешней кривизны поверхности. Если все три коэффициента одновременно равны нулю во всех точках, кривизна отсутствует, и наша поверхность является абсолютно плоской плоскостью.

Нормальные сечения и теорема Менье

Кривизна поверхности — это не одно число, а бесконечное множество значений. Если мы проведем плоскость, содержащую вектор нормали к поверхности в данной точке, она рассечет поверхность по некоторой плоской кривой (нормальному сечению). Радиус кривизны этого сечения зависит от того, в каком направлении мы повернули секущую плоскость. Выдающийся французский геометр Жан Батист Менье доказал теорему, связывающую кривизну любого наклонного сечения с нормальным сечением: кривизна наклонного сечения равна кривизне нормального сечения, деленной на косинус угла между их плоскостями. Это позволило математикам полностью сосредоточиться исключительно на изучении нормальных сечений, кривизна которых аналитически вычисляется как отношение второй квадратичной формы к первой: k = II / I.

Главные кривизны и теорема Эйлера

Вращая плоскость нормального сечения на 360 градусов вокруг вектора нормали, мы будем получать разные значения кривизны. Леонард Эйлер алгебраически доказал, что среди всех этих направлений всегда существуют два уникальных, взаимно перпендикулярных направления, в которых кривизна принимает свое максимальное (k1) и минимальное (k2) значения. Эти значения называются главными кривизнами поверхности. Формула Эйлера утверждает, что кривизна в любом произвольном направлении, отклоненном на угол альфа от первого главного направления, вычисляется по потрясающе простому закону: k = k1 * cos^2(альфа) + k2 * sin^2(альфа). Поиск главных направлений сводится к решению задачи на собственные значения матрицы, составленной из коэффициентов L, M, N относительно метрического тензора E, F, G, что вновь демонстрирует мощь линейной алгебры в геометрическом анализе.