Экстремальные значения интеграла средней кривизны на множестве параллелепипедов с заданным геодезическим диаметром

Автор: Рассказова Наталья Владимировна

Журнал: Владикавказский математический журнал @vmj-ru

Статья в выпуске: 2 т.15, 2013 года.

Бесплатный доступ

В работе найдены экстремальные значения интеграла средней кривизны на множестве прямых трехмерных параллелепипедов с заданным геодезическим диаметром поверхности. Наибольшее его значение достигается на вырожденном параллелепипеде с соотношением длин ребер $a:b:c=0:1:1$, наименьшее --- на вырожденном параллелепипеде с соотношением длин ребер $a:b:c=0:0:1$.

Прямоугольный параллелепипед, внутренний диаметр, интеграл средней кривизны

Короткий адрес: https://sciup.org/14318424

IDR: 14318424

Текст научной статьи Экстремальные значения интеграла средней кривизны на множестве параллелепипедов с заданным геодезическим диаметром

Интересной задачей выпуклой геометрии в трехмерном евклидовом пространстве является поиск экстремальных значений естественных функционалов на множестве выпуклых тел, рассматриваемых на подмножестве тел с заданным геодезическим диаметром поверхности тела. Однако вычисление геодезического диаметра выпуклой поверхности является весьма непростой задачей, далекой в настоящее время от своего полного решения. Поэтому целесообразно провести соответствующее исследование для тех семейств выпуклых тел, для которых соответствующая информация доступна. К таким семействам относится семейство трехмерных прямоугольных параллелепипедов, для которых геодезический диаметр поверхностей вычислен в работе [5].

Весьма естественными функционалами на множестве выпуклых тел в k-мерном евклидовом пространстве являются интегралы поперечных мер Минковского W i , где i = 0,1,..., k (см., например, [4, п. 6.1.6]). Пусть A — выпуклое тело, т. е. замкнутое и выпуклое точечное множество, в трехмерном евклидовом пространстве R 3 . Ему можно сопоставить следующие интегралы поперечных мер Минковского: W o (A) = V(A) — объем, W 1 (A) = F (A)/3, W 2 (A) = M (A)/3, W a (A) = const = 4п/3, где F (A) — площадь поверхности, а M (A ) — интеграл средней кривизны. Все эти величины естественно появляются в формуле Штейнера для объема ε-отступления (внешнего параллельного тела) A ε [4, п. 6.1.8]:

4п

V (A e ) = V (A) + F (A)e + M (A)e 2 + 3 ; 3 = W o (A) + 3W i (A)e + 3W 2 (A)e 2 + W 3 (A)e 3 .

Напомним значения интегралов поперечных мер Минковского для прямоугольного параллелепипеда P = ABCDA'B'C'D' в E 3 с ребрами длины | AB | = a, | AD | = b, | AA | = c, где 0 6 a 6 b 6 c. Общеизвестные формулы для объема W o (P) = V (P) = abc и площади

поверхности F(P ) = 2(ab + ac + bc) = W i (P)/3 дополняются формулой W 3 (P) = 4п/3 и M(P ) = n(a + b + c) = W 2 (P )/3 [3].

Для параллелепипеда P будем обозначать через d (P ) поверхность этого параллелепипеда (его границу в естественной топологии трехмерного евклидова пространства). Пусть d(M, N ) — геодезическое (внутреннее) расстояние между точками M Е д(P ) и N Е д(P ), т. е. минимум длин ломаных, лежащих в d(P ) и соединяющих точки M и N . Через D(P ) обозначим геодезический (внутренний, в другой терминологии) диаметр параллелепипеда P (точнее, его поверхности) — максимальное геодезическое (внутреннее) расстояние между парой точек на поверхности параллелепипеда. Отметим, что геодезическое расстояние на поверхности параллелепипеда обладает рядом интересных свойств, о которых можно узнать, например, из работ [1, 2].

Интересной задачей является нахождение экстремальных значений интегралов поперечных мер Минковского (исключая тривиальный случай константы W 3 = 4п/3) для прямоугольного параллелепипеда P = ABCDA'B'С ' D ' с заданным геодезическим диаметром. Для удобства мы будем рассматривать также вырожденные параллелепипеды , что соответствует случаю a = 0.

Максимум площади поверхности был найден в [5] Ю. Г. Никоноровым и Ю. В. Ни-коноровой (минимум в данном случае, очевидно, равен 0 и достигается в точности на (вырожденном) параллелепипеде со свойством b = a = 0), он достигается на параллелепипеде с соотношением длин ребер a : b : c =1:1: V2. В частности, для произвольных параллелепипедов выполняется соотношение ab + ac + bc 6 1+6^ (D(P)) 2 .

Произведенные автором численные расчеты для объема позволяют предположить, что максимальное значение объема достига е тся на параллелепипеде с таким же соотношением длин ребер a : b : c = 1:1: V2", как и в случае с площадью поверхности (минимум равен 0 и достигается в точности на вырожденных параллелепипедах).

В настоящей работе мы исследуем экстремальные значения интеграла средней кривизны . Основным результатом настоящей заметки является следующая

Теорема 1. Среди всех прямоугольных параллелепипедов с заданным геодезическим диаметром наибольшее значение интеграла средней кривизны M (P ) достигается в точности на параллелепипеде с соотношением длин ребер a : b : c = 0 : 1 : 1, а наименьшее значение — на параллелепипеде с соотношением длин ребер a : b : c = 0:0:1. Таким образом, для произвольного прямоугольного параллелепипеда выполнено неравенство nD(P ) 6 M(P ) 6 n V2D(P ), где D(P ) — геодезический диаметр, а M(P ) — интеграл средней кривизны параллелепипеда P .

В дальнейшем нам понадобятся некоторые результаты работы [5], которые мы для удобства читателей процитируем ниже. В частности, в [5] была получена явная формула для расчета внутреннего диаметра поверхности произвольного прямоугольного параллелепипеда.

Предложение 1 [5, теорема 1] . Пусть D(P ) — это геодезический диаметр параллелепипеда P со сторонами длины 0 < a 6 b 6 c. Тогда справедливы следующие утверждения:

  • (I)    если (a, b, c) Е ME , то D(P ) = p(a + b) 2 + c 2 ;

  • (II)    если (a, b, c) Е M \ ME и a2b2 6 c 2 (b a)(a + b + 2c), то

D(P ) = b 2 + 3c 2 + 2b(a + c) 2cP(b + c) 2 2a(c b) a 2 ;

  • (III)    если (a, b, c) Е M \ ME и a 2 b 2 c 2 (b a)(a + b + 2c), то D(P ) = l, где l —

единственный действительный корень уравнения pl2 — (a + c)2 + pl2 — (b + c)2 + p2l2 - (a + b + c)2 = c, удовлетворяющий неравенству l > max{b + c, p(a + b)2 + c2 }. Здесь M = {(a, b, c) E R3 : 0 6 a 6 b 6 c},

ME = {(a, b, c) E M : pmax { 0, a 2 + 2ab 2bc}

+pmax { 0, b 2 + 2ab 2ac } >  2c a b}.

Отметим, что для вырожденного параллелепипеда P (т. е. прямоугольника, поскольку a = 0) его поверхностью d(P) естественно считать дважды накрытый прямоугольник P , пр и этом его геодезический диаметр, очевидно, вычисляется по формуле D(P) = V b 2 + c 2 .

Нам понадобится еще один результат из [5].

Предложение 2 [5, лемма 2] . Геодезическое расстояние между точками A и C 0 (т. е. геодезическое расстояние между двумя противолежащими вершинами параллелепипеда P ) удовлетворяет равенству d(A, C 0 ) = р(a + b) 2 + c 2 .

Теперь мы можем доказать основное утверждение настоящей работы.

  • <1    Доказательство теоремы 1. Мы рассматриваем фиксированное отличное от нуля значение диаметра D(P ). Поэтому для всех параллелепипедов с таким диаметром обязательно выполнено неравенство c >  0.

Заметим, что для вырожденных параллелепипедов (a = 0) неравенство nD(P) 6 M(P ) 6 пp2D(P ) принимает вид nVb 2 + c 2 6 n(b + c) 6 пp2Vb 2 + c 2 . Справедливость последнего неравенства очевидна. Понятно также, что Vb 2 + c 2 = b + c в точности при b = 0, b + c = V2Vb 2 + c 2 — в точности при b = c. Таким образом, нам осталось доказать неравенство nD(P) <  M(P ) < п p2D(P ) для всех невырожденных параллелепипедов ( a >  0).

Сначала займемся доказательством оценки сверху для интеграла средней кривизны M(P ). По предложению 2 геодезическое расстояние между двумя противолежащими вершинами определяется формулой р(a + b) 2 + c 2 . Следовательно, для произвольного прямоугольного параллелепипеда P с длинами ребер 0 6 a 6 b 6 c выполнено неравенство

D(P) p(a + b) 2 + c 2 . (2)

Далее, из неравенства

(D(P )) 2 (a + b) 2 + c 2 — ^(a + b + c) 2 + ^(a + b c) 2 ^(a + b + c) 2

следует p2D(P) a + b + c, что эквивалентно неравенству пp2D(P) M(P ).

Определим теперь случаи, когда последнее неравенство обращается в равенство. Из предложений 1 и 2 следует, что это равенство не может быть выполнено при (a, b, c) E ME (см. (1)), поскольку в этом случае D(P ) > р(a + b) 2 + c 2 . Поэтому мы можем считать, что (a, b, c) E ME и D(P) = p(a + b) 2 + c 2 .

Понятно, что равенство p2p(a + b) 2 + c 2 = a + b + c эквивалентно равенству c = a + b. Осталось проверить, какие значения (a, b, c) E ME удовлетворяют условию c = a + b.

Первое подкоренное выражение из (1) при c = a + b примет следующий вид:

a 2 + 2ab 2bc = (a + b) 2 2bc b 2 = c 2 2bc b 2 = (c b) 2 2b 2 = a 2 2b 2 .

Поскольку a 2 2b 2 6 0, то m i := max { 0, a 2 + 2ab 2bc } = 0. Аналогично второе подкоренное выражение в формуле (1) принимает вид b 2 + 2ab 2ac = b 2 2a 2 . Нас интересует случай, когда b 2 2a 2 > 0, тогда m 2 := max { 0, b 2 + 2ab 2ac } = b 2 2a 2 (в противном случае неравенство в формуле (1) принимает вид 0 = ^'m i + ^ m 2 2c a b = a + b, откуда a = b = c = 0, что мы не рассматриваем).

Подставив найденные выражения в формулу (1), получаем

Vb 2 2a 2 = V m 1 + V m 2 2c a b = a + b.

Последнее неравенство выполнено только при a = 0 и b = c, что соответствует уже разобранному случаю вырожденных параллелепипедов. Таким образом, наибольшее значение интеграла средней кривизны M (P ) достигается в точности на прямоугольных параллелепипедах с соотношением длин ребер a : b : c = 0:1:1.

Теперь перейдем к оценке снизу интеграла средней кривизны M(P). Нам требуется доказать неравенство a + b + c>D(P)                            (3)

для всех невырожденных параллелепипедов. Мы исследуем все три различных выражения для геодезического диаметра параллелепипеда в соответствии с предложением 1.

Рассмотрим сначала случай (I) в предложении 1. Неравенство (3) в данном случае выглядит следующим образом:

a + b + c> p(a + b) 2 + c 2 .                            (4)

Очевидно, что a + b + c > ^ (a + b) 2 + c 2 , а равенство здесь выполняется лишь при a = b = 0, что соответствует случаю вырожденных параллелепипедов. Таким образом, неравенство (4) выполнено.

В случае (II) предложения 1 (при a2b2 6 c2 (b — a)(a + b + 2c)) следует доказать неравенство a + b + c > bjb2 + 3c2 + 2b(a + c) — 2cp(b + c)2 — 2a(c — b) — a2.

Приведем цепочку эквивалентных неравенств:

4c2 ((b + c)2 — 2a(c — b) — a2) > 4c4 — 8ac3 + 4a3c + a4, b2 + 2(a + c)b — (a2 + — +     ) > 0.

c

Решив относительно b уравнение b2 + 2(a + c)b — (a2 + — + ~~ ) = 0, c получим

b = 2a 2c a- ,   b = a- .

Теперь ясно, что неравенство (5) справедливо при b > ас (для 0 < a 6 b 6 c) и, следовательно, при b a( a 2 c ).

В случае (III) предложения 1 выполняется неравенство a 2 b 2 c 2 (b a)(a + b + 2c) (которое мы не будем использовать), а число l удовлетворяет уравнению

V l 2 (a + c) 2 + V l 2 (b + c) 2 + V2l 2 (a + b + c) 2

= c.

Нам следует доказать неравенство a + b + c > l.

Поскольку c = pl2 - (a + c)2 + pl2 - (b + c)2 + p2l2 — (a + b + c)2 > p2l2 — (a + b + c)2, то c2 > 2l2 — (a + b + c)2 и (поскольку обязано выполняться неравенство l > c)

(a + b + c)2 > 2l2 — c2 > 2l2 — l2 = l2, причем равенство a + b+c = l (как нетрудно заметить) влечет равенства c = l и a = b = 0.

Следовательно, мы доказали неравенство (6) для невырожденных параллелепипедов.

Таким образом, наименьшее значение интеграла средней кривизны M(P ) достигается в точности на прямоугольных параллелепипедах с соотношением длин ребер a : b : c = 0:0:1. B

Список литературы Экстремальные значения интеграла средней кривизны на множестве параллелепипедов с заданным геодезическим диаметром

  • Вялый М. Н. Кратчайшие пути по поверхности параллелепипеда//Мат. просвещение. Сер. 3.-М.: МЦНМО, 2005.-Вып. 9.-C. 203-206.
  • Никоноров Ю. Г., Никонорова Ю. В. О внутреннем расстоянии на поверхности параллелепипеда//Тр. Рубцовского индустр. ин-та.-2000.-Вып. 9.-C. 222-228.
  • Сантало Л. А. Интегральная геометрия и геометрические вероятности.-М.: Наука, 1983.-360 с.
  • Хадвигер Г. Лекции об объеме, площади поверхности и изопериметрии.-М.: Наука, 1966.-416 с.
  • Nikonorov Yu. G., Nikonorova Yu. V. The intrinsic diameter of the surface of a parallelepiped//Discrete and Computational Geometry.-2008.-Vol. 40.-P. 504-527.
Статья научная