Дифференциальная геометрия поверхностей: первая квадратичная форма и метрика

Параметризация и векторы локального базиса

Для строгого аналитического описания поверхность в трехмерном евклидовом пространстве задается вектор-функцией двух независимых криволинейных координат (параметров): r(u, v) = x(u, v)i + y(u, v)j + z(u, v)k. Если мы зафиксируем один параметр и будем менять другой, точка опишет на поверхности координатную линию. В каждой гладкой точке поверхности можно вычислить два базовых касательных вектора путем взятия частных производных радиус-вектора: r_u (по параметру u) и r_v (по параметру v). Эти два вектора образуют локальный базис касательной плоскости в данной точке. Именно длины этих векторов и угол между ними определяют, как координатная сетка (u, v) натянута и деформирована на реальной физической криволинейной поверхности.

Коэффициенты первой квадратичной формы

Метрические свойства поверхности алгебраически кодируются в трех скалярных функциях, которые являются коэффициентами первой квадратичной формы. Эти коэффициенты (традиционно обозначаемые латинскими буквами E, F и G) вычисляются как попарные скалярные произведения локальных касательных векторов. Коэффициент E равен скалярному квадрату вектора r_u, коэффициент G — скалярному квадрату вектора r_v, а коэффициент F равен скалярному произведению r_u на r_v. Матрица, составленная из этих трех коэффициентов, является не чем иным, как метрическим тензором поверхности. Поскольку векторы локального базиса линейно независимы, определитель этой матрицы (EG - F^2) всегда строго положителен во всех неособых точках гладкой поверхности.

Вычисление длин дуг и углов

Имея в распоряжении коэффициенты E, F и G, математик может производить любые измерения прямо внутри поверхности, не выходя в объемлющее трехмерное пространство. Квадрат дифференциала длины дуги любой кривой на поверхности вычисляется по формуле первой квадратичной формы: ds^2 = E du^2 + 2F du dv + G dv^2. Это обобщение классической теоремы Пифагора для искривленных пространств. Если на поверхности пересекаются две кривые, косинус угла между ними вычисляется алгебраически через скалярное произведение их дифференциалов, деленное на их локальные длины, выраженные через эти же коэффициенты. Примечательно, что если координатная сетка является ортогональной (линии u и v пересекаются под прямым углом везде), коэффициент F тождественно равен нулю во всех точках.

Определение площади криволинейной поверхности

Еще одним важнейшим приложением первой квадратичной формы является строгое интегральное исчисление площадей. Бесконечно малый элемент площади поверхности dA представляет собой площадь параллелограмма, построенного на дифференциальных касательных векторах r_u du и r_v dv. Из векторной алгебры известно, что площадь этого параллелограмма равна модулю векторного произведения этих векторов. Применяя тождество Лагранжа, модуль векторного произведения можно алгебраически выразить через скалярные произведения, то есть через коэффициенты E, F и G. В результате получается фундаментальная формула дифференциальной геометрии: элемент площади dA = sqrt(EG - F^2) du dv. Интегрируя это выражение по параметрической области, инженеры точно вычисляют площади сложных куполов, парусов и мембран, необходимых для архитектурного проектирования.