Статьи Соросовского Образовательного журнала в текстовом формате
Описаны основные понятия теории бесконечно малых изгибаний поверхностей евклидова пространства. Методом интегральных формул дано доказательство жесткости овалоидов. Указано применение теории аналитических функций комплексного переменного к решению задач бесконечно малых изгибаний поверхностей с краем.
БЕСКОНЕЧНО МАЛЫЕ ИЗГИБАНИЯ ПОВЕРХНОСТЕЙВ. Т. ФОМЕНКО
Таганрогский государственный педагогический институт
Предметом нашего рассмотрения являются бесконечно малые изгибания поверхностей евклидова пространства. С понятием поверхности мы часто встречаемся в повседневной жизни. Под поверхностью обычно понимают границу или часть границы тела в пространстве. Например, мы говорим о поверхности земного шара, поверхности крыла самолета или поверхности стола. Поверхность как множество точек в пространстве может быть устроена разнообразно. Поверхности могут быть замкнутыми, подобно сфере или поверхности бублика, либо неограниченно простираться в пространстве наподобие плоскости (рис. 1). Даже в окрестности каждой точки поверхность может быть устроена по-разному. Для сравнения можно взять, к примеру, вершину конуса, точку на ребре пирамиды и точку на сфере или плоскости. Жизненный опыт показывает, что наибольшее применение имеют достаточно гладкие поверхности. С этой целью многие металлические, каменные и деревянные изделия шлифуют и полируют для придания их поверхностям различной степени гладкости, а изделия из тканей гладят, добиваясь с помощью горячего утюга или специального приспособления ровной поверхности ткани. Отсюда и происходит математический термин "гладкость поверхности".
Для изучения гладких поверхностей широко используют методы дифференциального исчисления. Соответствующий раздел геометрии носит название дифференциальной геометрии. Область дифференциальной геометрии, где геометрические образы, в частности поверхности, изучаются на всем их протяжении, называют дифференциальной геометрией "в целом". Исследование поверхностей "в целом" обладает определенной спецификой, требуя помимо обычного аппарата классической дифференциальной геометрии еще дополнительных и разнообразных соображений (интегральных, теоретико-функциональных и т.д.). Однако в окончательном виде многие теоремы этой области геометрии наглядны, формулируются в общеизвестных терминах и доказательства их часто оказываются доступными для понимания без специальной подготовки.
Поверхность удобно также представлять в виде тонкой пленки или оболочки, толщиной которой можно пренебречь по сравнению с другими ее линейными размерами (длиной и шириной оболочки). При такой интерпретации поверхности легко представить себе деформацию поверхности в пространстве. Если с течением времени форма поверхности или ее положение в пространстве изменяются, то будем говорить о деформации поверхности. Обычно на практике рассматривают деформации поверхностей, не допускающие их разрывов с течением времени. В таких случаях говорят о непрерывных деформациях поверхностей. Примером таких деформаций поверхностей могут служить изменение формы воздушного шарика при его надувании или изменение формы мыльной пленки, натянутой на замкнутый проволочный контур при непрерывной деформации последнего. Наибольший интерес в дифференциальной геометрии "в целом" представляют деформации, для которых допускается изменение длин кривых на поверхности, но это изменение в начальный момент деформации мало по сравнению с изменением пространственных расстояний между поверхностями. Такие деформации называют бесконечно малыми изгибаниями поверхности.
Представим себе поверхность, изготовленную в виде тонкой оболочки или пленки из гибкого нерастяжимого материала (например: лист бумаги, шарик для игры в настольный теннис либо сосуд, изготовленный из тонкой жести). Под воздействием внешних сил такая поверхность может менять свое положение в пространстве и свою форму. Изменение положения и формы такой поверхности в начальный момент деформации можно рассматривать как бесконечно малые изгибания этой поверхности. Каждая поверхность в отношении бесконечно малых изгибаний ведет себя по-разному. Так, опыт показывает, что лист бумаги допускает бесконечно малые изгибания с большим произволом, а бесконечно малые изгибания шарика для игры в настольный теннис исчерпываются перемещениями его в пространстве как твердого тела.
Уже в простейших случаях наблюдается различное поведение замкнутых поверхностей и поверхностей с краем в отношении бесконечно малых изгибаний.
Прочность или жесткость любой конструкции, изготовленной из тонких нерастяжимых оболочек, определяется наличием или отсутствием бесконечно малых изгибаний поверхности, описывающей эту конструкцию. Необходимость исследования таких конструкций на прочность часто возникает в авиастроении, автомобильной промышленности, машиностроении и других областях техники. Ниже мы опишем некоторые методы исследований бесконечно малых изгибаний поверхностей и докажем некоторые результаты этой теории.
ИЗГИБАЮЩИЕ ПОЛЯ
Рассмотрим в трехмерном евклидовом пространстве E 3 гладкую поверхность F с радиусом-вектором (рис. 2). Будем считать, что вектор-функция является непрерывно дифференцируемой функцией точки поверхности. Пусть далее - некоторая непрерывно дифференцируемая вектор-функция, заданная на F. Рассмотрим деформацию поверхности F, при которой она к моменту времени t переходит в поверхность Ft с радиусом-вектором
Легко видеть, что при малых значениях параметра t радиус-вектор действительно описывает поверхность при фиксированном значении t. Пусть М - некоторая точка на поверхности F. Сместимся в направлении d из точки М в достаточно близкую к ней точку М '. Тогда длина ds дуги на поверхности F может быть вычислена по формуле , где под знаком радикала в круглых скобках стоит скалярное произведение полного дифференциала на себя. При указанной деформации (1) точки М и М ' поверхности F перейдут соответственно в точки Мt и на поверхности Ft и длина dst дуги на поверхности Ft будет вычисляться по формуле
Очевидно, что функция dst дифференцируема по параметру t.
Бесконечно малым изгибанием поверхности F называют такую деформацию вида (1), при которой длина dst для всех дуг на поверхности F в начальный момент деформации стационарна, то есть
Векторное поле , определяющее указанным образом бесконечно малое изгибание поверхности F, называется изгибающим полем.
Из условия (3) с помощью формулы (2) находим, что вектор-функция , заданная на поверхности F, является изгибающим полем тогда и только тогда, когда выполнено условие
Уравнение (4) называют уравнением бесконечно малых изгибаний поверхности.
Уравнение (4) имеет очевидное решение
где и - произвольно выбранные постоянные векторы, а квадратные скобки означают векторное произведение в E 3.
Изгибающее поле (5) можно интерпретировать как поле смещений точек поверхности F при ее бесконечно малом перемещении в пространстве как твердого тела. Поэтому изгибающие поля вида (5) называют тривиальными, а соответствующие им бесконечно малые изгибания - тривиальными изгибаниями.
Основная задача теории бесконечно малых изгибаний поверхностей состоит в отыскании нетривиальных изгибающих полей, удовлетворяющих уравнению (4). Если поверхность подчинена тем или иным внешним связям, то при решении уравнения (4) нужно учитывать эти связи. Тогда задача теории изгибаний будет заключаться в отыскании решений уравнений (4), совместимых с внешними связями, и в выделении среди них нетривиальных [1].
Если все решения уравнения (4) исчерпываются изгибающими полями вида (5), то поверхность называется жесткой, в противном случае - нежесткой.
В качестве примера нежесткой поверхности укажем на кусок плоскости p, закрепленной по краю ?p. Внешняя связь в этом случае означает, что изгибающее поле равно нулю на краю поверхности. Возьмем векторное поле , где - единичный постоянный вектор нормали к плоскости p, j - некоторая дифференцируемая на p функция, равная нулю на границе ?p. Выберем начало отсчета в E 3 в некоторой точке плоскости p. Тогда радиус-вектор текущей точки плоскости p и его дифференциал расположены в плоскости p. Кроме того, имеем , и потому Это означает, что векторное поле является изгибающим полем при любом выборе функции j. Этим доказана нежесткость куска плоскости, закрепленного по краю. Отметим, что этот факт имеет механическую интерпретацию: мембрана барабана может давать колебания произвольной частоты.
Вопросы гладкости поверхности и ее изгибающих являются важными и сложными в теории бесконечно малых поверхностей и до настоящего времени еще полностью не решены. В дальнейшем, если не оговорено противное, мы будем считать, что рассматриваемые поверхности и их изгибающие поля являются трижды непрерывно дифференцируемыми.
ПОЛЯ ВРАЩЕНИЙ
При исследовании разрешимости уравнения (4) могут возникнуть трудности, связанные с тем, что методы решения дифференциального уравнения (4) позволяют установить существование решений, но явного вида решений зачастую найти не удается. Тогда вопрос о жесткости рассматриваемой поверхности остается открытым. В связи с этим уравнение (4) стремятся заменить другим уравнением с другой искомой функцией, но так, чтобы наличие ненулевого решения этого уравнения гарантировало нежесткость рассматриваемой поверхности. С этой целью вместо изгибающего поля вводят новое векторное поле , связанное с полем следующим образом: для всякого изгибающего поля существует единственное поле , такое, что Так как, согласно (1), имеем
то вектор , приложенный к некоторой точке поверхности F, можно рассматривать как вектор мгновенной оси вращения пучка линейных элементов поверхности F, связанного с этой точкой. Именно поэтому поле называют полем вращений бесконечно малого изгибания поверхности F.
В теории бесконечно малых изгибаний поверхностей часто используют поверхность Y, определяемую радиусом-вектором , отложенным от начала координат в E 3. Эту поверхность называют диаграммой вращений бесконечно малого изгибания поверхности F.
Справедливо утверждение: в соответствующих гладких точках поверхностей F и Y касательные плоскости к ним параллельны. Аналитически этот факт устанавливается следующим образом. Пусть = (u1, u2), (u1, u2) k $, где $ - некоторая плоская область, - какая-нибудь параметризация поверхности F или ее части. Касательная плоскость поверхности в каждой ее точке определяется векторами
Обозначим коэффициенты первой и второй квадратичных форм поверхности F соответственно через где - единичный вектор нормали к F ; Из определения поля вращений следует, что Учитывая, что в рассматриваемом случае находим
где a, b, g - некоторые функции, что и доказывает наше утверждение. При сделанных предположениях относительно гладкости рассматриваемых поверхностей и их изгибающих полей можно установить, что поле дважды непрерывно дифференцируемо. Это означает, что и поэтому из формул (6) следует, что функции a, b, g удовлетворяют следующей системе дифференциальных уравнений, рассматриваемой в области $:
Здесь - символы Кристоффеля поверхности F, вычисленные по формулам:
Всякое ненулевое решение системы (7) в случае односвязной поверхности F порождает нетривиальное изгибающее поле поверхности F ; наличие только нулевого решения системы (6) обозначает жесткость рассматриваемой поверхности.
Помимо диаграммы вращений Y по изгибающему полю поверхности F могут быть построены еще некоторые вспомогательные поверхности, связанные с исходной поверхностью F свойствами алгебро-геометрической природы. Всего таких поверхностей вместе с исходной поверхностью 12, и их совокупность носит название венка Дарбу. Они достаточно хорошо изучены.
ЖЕСТКОСТЬ ОВАЛОИДОВ
Здесь будет предложено принадлежащее В. Бляшке доказательство одной из важных теорем бесконечно малых изгибаний. Предварительно напомним некоторые понятия.
Геометрическое тело в пространстве E 3 называют выпуклым, если все точки отрезка прямой, соединяющей любые две точки тела, также принадлежат этому телу. Поверхность выпуклого тела называют выпуклой поверхностью. Шар, куб, тетраэдр - выпуклые тела, а поверхности, их ограничивающие, - выпуклые поверхности. Овалоидом называют всякую замкнутую выпуклую поверхность. Поверхность шара, куба, тетраэдра, трехосный эллипсоид - все это овалоиды. Имеет место
Теорема. Трижды непрерывно дифференцируемый овалоид, гауссова кривизна которого К > 0, есть поверхность жесткая.
Напомним, что гауссова кривизна К вычисляется по формуле
Доказательство этой теоремы мы проведем с помощью интегральной формулы Бляшке, которая, в свою очередь, является некоторой модификацией известной формулы Грина из курса математического анализа. Пусть и - соответствующие односвязной области $ плоскости (u1, u2) куски поверхности F и диаграммы вращений Y ее бесконечно малого изгибания. Обозначим через ?$ границу области $. Очевидно равенство
где круглыми скобками обозначено смешанное произведение трех векторов в E 3. Применяя к полученному равенству формулу Грина, находим
Учитывая формулы (6), запишем эту формулу в виде
где D = - bg = a2, а интеграл слева является интегралом по поверхности F с границей ?F. Это и есть формула Бляшке. Поместим начало координат в E 3 внутри овалоида F, а внутренние координаты на поверхности выберем так, чтобы вектор нормали был направлен во внешнюю относительно F область пространства E 3. Тогда имеем > 0 всюду на F. Так как К > 0, то внутренние координаты на поверхности F можно считать изотермически сопряженными, то есть b11 = b22 > 0 и b12 = 0 [1]. Но тогда из первой формулы системы (7) следует, что g = b, и поэтому всюду на F имеем D = -b2 - a2 # 0. Проведем на овалоиде какую-нибудь замкнутую простую гладкую кривую С, разбивающую овалоид на два односвязных куска F1 и F2 . Запишем теперь формулу Бляшке применительно к каждому из кусков F1 и F2 . Учтем, что ?F1 ╞ С, ?F2 ╞ , где контур проходится в направлении, противоположном направлению обхода контура С. Поэтому, складывая соответственно левые и правые части полученных формул для поверхностей F1 и F2 , получим
Учитывая, что на поверхности F выполняются неравенства > 0, D # 0, находим D ╞ 0. Но тогда имеем a ╞ b ╞ g ╞ 0. Это означает, что рассматриваемый овалоид допускает только тривиальные бесконечно малые изгибания, он, таким образом, есть поверхность жесткая. В частности, поверхность шара, эллипсоиды суть поверхности жесткие.
Используя метод интегральных формул и теорию общих выпуклых поверхностей, А.В. Погорелов доказал следующий результат: общая замкнутая выпуклая поверхность является жесткой вне ее плоских областей [2].
Известны также некоторые классы жестких замкнутых невыпуклых поверхностей. Например, доказано, что тор (то есть поверхность бублика) является жесткой поверхностью. Этот результат обобщается на множество замкнутых поверхностей, называемых поверхностями типа Т. Однако до сих пор представляет интерес описание новых классов жестких замкнутых поверхностей [3].
НЕЖЕСТКИЕ ЗАМКНУТЫЕ ПОВЕРХНОСТИ
Ответ на вопрос, существуют ли замкнутые нежесткие поверхности, был дан в 1929 году С.Э. Кон-Фоссеном, который показал, что всякий трижды непрерывно дифференцируемый овалоид вращения может быть превращен в нежесткую замкнутую поверхность вращения путем продавливания вдоль любой ее параллели сколь угодно малого желоба (рис. 3). Ширина и глубина желоба не произвольны: они берутся из определенного запаса значений, среди которых имеются и сколь угодно малые. Это означает, что всякий овалоид вращения является предельной поверхностью для нежестких замкнутых гладких поверхностей вращения, то есть в любой достаточно малой пространственной окрестности овалоида вращения существуют нежесткие замкнутые гладкие поверхности вращения. Вопрос, обладает ли аналогичным свойством произвольный гладкий овалоид, до сих пор остается открытым. Известно только, что нежесткие замкнутые поверхности - явление редкое. Все известные нежесткие замкнутые гладкие поверхности являются поверхностями вращения либо получены из них некоторыми преобразованиями (например, аффинными сжатиями).
О ЖЕСТКОСТИ ПОВЕРХНОСТЕЙ С КРАЕМ
Если для замкнутых поверхностей нежесткие поверхности - явление исключительное, то поверхности с краем, как правило, являются поверхностями нежесткими. Вот почему для придания жесткости, например, сосуду, изготовленному из тонкой жести, вдоль его края делают специальные закругления.
Наиболее полно изучены бесконечно малые изгибания поверхностей с краем в случае К > 0. Методом исследования здесь выступает теория аналитических функций комплексного переменного. Проиллюстрируем этот метод на исследовании бесконечно малых изгибаний сферических кусков, ограниченных гладким краем.
Пусть F - односвязный кусок сферы единичного радиуса, заданный в стереографических координатах x, y уравнением
, (x, y) k $,
где $ - некоторая односвязная плоская область, u = = 1 + x2 + y2. Подсчет показывает, что
Обратимся к системе (7). Из первого уравнения этой системы находим g = b. Тогда второе и третье уравнения системы (7) перепишутся в виде
Сделаем замену искомых функций в системе (8), положив a = u2g, b = u2a. Тогда система (8) принимает вид
Систему (9) называют уравнениями Коши-Римана. Она показывает, что функция w = a + ib, i - мнимая единица, является аналитической функцией комплексного переменного z = x + iy, (x, y) k $. Это означает, что каждая аналитическая функция w = w(z), z k $, отличная от тождественного нуля, порождает нетривиальное бесконечно малое изгибание куска сферы. Таким образом, доказана теорема: всякий односвязный кусок сферы есть поверхность нежесткая.
Установленное соответствие между множеством изгибающих полей куска сферы и множеством аналитических в области $ функций дает возможность интерпретировать свойства аналитических функций как свойства куска сферы в отношении бесконечно малых изгибаний. Естественно возникает вопрос, при каких условиях, налагаемых на изгибающее поле вдоль края поверхности, последнюю можно сделать жесткой. Этот и подобные вопросы ждут окончательного решения.
ЛИТЕРАТУРА
1. Векуа И.Н. Обобщенные аналитические функции. М.: Наука, 1988. 510 с.
2. Погорелов А.В. Внешняя геометрия выпуклых поверхностей. М.: Наука, 1969. 760 с.
3. Сабитов И.Х. Локальная теория изгибаний поверхностей // Итоги науки и техники. Современные проблемы математики. 1989. Т. 48. С. 196-270.
* * *
Валентин Трофимович Фоменко, доктор физико-математических наук, профессор, зав. кафедрой алгебры и геометрии Таганрогского государственного педагогического института, член-корреспондент Российской академии естествознания, заслуженный деятель науки РФ. Область научных интересов: геометрия, дифференциальные и интегральные уравнения. Автор и соавтор более 150 научных работ, одной монографии и четырех учебных пособий для студентов.