Формула Крофтона

Формула Крофтона — классический результат интегральной геометрии. Связывает длину кривой со средним числом пересечений с прямыми.

Названа в честь Моргана Крофтона.

Формулировка

Пусть $\gamma$ — спрямляемая плоская кривая. Для прямой $l$, обозначим через $n_{\gamma }(l)$ число точек, в которых $\gamma$ и $l$ пересекаются. Мы можем параметризовать ориентированные прямые $l$ углом $\phi$ к выбранному направлению и расстоянием $p$ от начала координат, взятым со знаком. Тогда длина кривой $\gamma$ равна

$L=\frac{1}{4}\underset{0}{\overset{2\cdot \pi }{\int }}d\phi \cdot \underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{n}_{\gamma }(\phi ,p)\cdot dp.$

Замечания

• Дифференциальная форма

  $d\phi \wedge dp$

инвариантна относительно движений плоскости. Таким образом, она даёт естественную меру для интегрирования.

• Формула Крофтона эквивалентна следующему утверждению: Длина кривой прямо пропорциональна средней длине её ортогональных проекций. При этом длина проекции считается с учётом кратности.

Приложения

Формула Крофтона даёт доказательства следующих результатов:

• Если замкнутая плоская кривая обходит вокруг выпуклой кривой, то эта выпуклая кривая имеет меньшую длину.
• Теорема Барбье: Кривая постоянной ширины $a$ имеет периметр $\pi \cdot a$.
• Изопериметрические неравенства: среди замкнутых кривых с заданным периметром, круг имеет максимальную площадь.
• Если сферическая кривая имеет длину меньше $2\cdot \pi$, то она лежит в открытой полусфере. Это утверждение является ключевым в доказательстве теоремы Фенхеля о повороте кривой.

Вариации и обобщения

• Задача Бюффона о бросании иглы

• Формула Крофтона обобщается для любой римановой поверхности; при этом для интегрирования используется естественная мера на пространстве геодезических фиксированной длины.
  • Например, длина кривой на единичной сфере равна $\pi \cdot n$, где $n$ обозначает среднее число пересечений кривой с окружностями большого круга.

• Преобразование Радона может рассматриваться как обобщение формулы Крофтона в теории меры.
• Формула Сантало

Литература

• Шаблон:Книга
• Шаблон:Книга
• Лекция 19 в Шаблон:Книга