Русская Википедия:Изопериметрическая задача
Изопериметри́ческое нера́венство — геометрическое неравенство, связывающее периметр замкнутой кривой на плоскости и площадь участка плоскости, ограниченной этой кривой. Этот термин также используется для различных обобщений данного неравенства.
Изопериметрический буквально означает «имеющий тот же самый периметр». В частности, изопериметрическое неравенство утверждает, что при длине L замкнутой кривой и площади A плоской области, ограниченной этой кривой,
- <math>4\pi A \leqslant L^2,</math>
и это неравенство превращается в равенство тогда и только тогда, когда кривая является окружностью.
Целью изопериметрической задачи является поиск фигуры наибольшей возможной площади, граница которой имеет заданную длинуШаблон:Sfn.
Изопериметрическая задача была обобщена многими путями для других неравенств между характеристиками фигур, множеств, многообразий. К изопериметрической задаче относятся также оценки величин физического происхождения (моменты инерции, жёсткость кручения упругой балки, основная частота мембраны, электростатическая ёмкость и др.) через геометрические характеристики. Например, есть обобщения для кривых на поверхностях и на области в пространствах большей размерности.
Возможно, наиболее известным физическим проявлением 3-мерного изопериметрического неравенства является форма капли воды. А именно, капля принимает обычно круглую форму. Поскольку количество воды в капле фиксировано, поверхностное натяжение заставляет каплю принять форму, минимизирующую поверхность капли, а минимальной поверхностью будет сфера.
История
В близкой по содержанию задаче Дидоны требуется найти область максимальной площади, ограниченную прямой линией и криволинейной дугой, концы которой лежат на этой прямой. Задача связана с древней легендой об основании Карфагена Дидоной, сестрой царя финикийского города Тира.
Решением изопериметрической задачи является окружность, и это было известно уже в Древней Греции. В своём трактате «Об изопериметрических фигурах» (Шаблон:Lang-grc) Зенодор (II век до н. э.) решает изопериметрическую задачу на плоскости и получает частные результаты в пространстве. Первое математически строгое доказательство изопериметрического неравенства в пространстве было получено в 1884 году Германом Шварцем. С тех пор появилось много других доказательств.
Изопериметрическая задача на плоскости
Классическая изопериметрическая задача датируется античными временами. Задачу можно сформулировать следующим образом: Среди всех замкнутых кривых на плоскости с заданным периметром, какая кривая (если такая есть) максимизирует площадь ограниченной ею области? Можно показать, что этот вопрос эквивалентен следующей задаче: Среди всех замкнутых кривых на плоскости, ограничивающих область заданной площади, какая (если такая есть) минимизирует периметр?
Задача концептуально связана с принципом наименьшего действия в физике и может быть переформулирована согласно этому принципу: что за действия включают большую область с максимальной экономией поддержки? Философ и учёный XV века, кардинал Николай Кузанский, обсуждал вращение, процесс, в котором генерируются окружности, как наиболее прямое отражение процессов, в которых вселенная была создана. Немецкий астроном и астролог Иоганн Кеплер использовал изопериметрический принцип при обсуждении строения солнечной системы в книге Тайна мироздания (1596).
Хотя окружность является очевидным решением задачи, доказательство этого факта не является простой задачей. Первый прогресс по пути доказательства был сделан швейцарским геометром Якобом Штейнером в 1838 с использованием геометрического метода, получившего впоследствии название симметризация ШтейнераШаблон:Sfn. Штейнер показал, что если решение существует, оно должно быть окружностью. Доказательство Штейнера было завершено позднее некоторыми другими математиками.
Штейнер начинает с некоторых геометрических построений, которые легко понять. Например, можно показать, что любая замкнутая кривая, ограничивающая область, не являющуюся полностью выпуклой, можно модифицировать для получения большей площади путём «отражения» вогнутых участков, чтобы они стали выпуклыми. Затем можно показать, что любая замкнутая кривая, не являющаяся полностью симметричной, может быть «наклонена» таким образом, что она будет заключать большую площадь. Единственная фигура, которая полностью выпукла и симметрична, — это окружность, хотя это рассуждение не представляет строгого доказательства (смотрите внешние ссылки).
Изопериметрическое неравенство
Решение изопериметрической задачи обычно выражается в виде неравенства, связывающего длину L замкнутой кривой и площадь A плоскости, ограниченной этой кривой. Изопериметрическое неравенство утверждает, что
- <math>4\pi A \leqslant L^2,</math>
и что это неравенство превращается в равенство тогда и только тогда, когда кривая является окружностью. В самом деле, площадь круга радиуса R равна πR2, а длина окружности равна 2πR, так что обе стороны неравенства становятся равными 4π2R2.
Можно найти десятки доказательств изопериметрического неравенства. В 1902 году Гурвиц опубликовал короткое доказательствоШаблон:Нет АИ, использующее ряды Фурье, которое применимо к произвольным спрямляемым кривым (не обязательно гладким). Элегантное прямое доказательство, основанное на сравнении гладкой простой замкнутой кривой с подходящей окружностью, дал Е. Шмидт (Шаблон:Lang-de2) в 1938 годуШаблон:Нет АИ. Доказательство использует только формулу длины кривой, формулу площади плоской области из теоремы Грина и неравенство Коши — Буняковского.
Для заданной замкнутой кривой изопериметрический коэффициент определяется как отношение площади фигуры к площади круга, имеющего тот же периметр. То есть
- <math>Q = \frac{4\pi A}{L^2},</math>
и изопериметрическое неравенство утверждает, что Q ⩽ 1.
Изопериметрический коэффициент правильного n-угольника равен
- <math>Q_n = \frac{\pi}{n \operatorname{tg}\frac{\pi}{n}}.</math>
Изопериметрическое неравенство на сфере
Пусть C — простая замкнутая кривая на сфере радиуса 1. Обозначим через L длину кривой C и через A площадь области, ограниченной кривой C. Сферическое изопериметрическое неравенство утверждает, что
- <math>L^2 \geqslant A (4\pi - A),</math>
и это неравенство превращается в равенство тогда и только тогда, когда кривая является окружностью. Фактически имеется два способа измерить площадь сферической области, но неравенство симметрично для выбора дополнения.
Это неравенство было открыто Полем Леви (1919), который обобщил его на более высокие размерности и более общие поверхностиШаблон:Нет АИ.
Для случая произвольного радиуса R известноШаблон:Sfn, что
- <math>L^2 \geqslant 4\pi A - A^2/R^2.</math>
Изопериметрическое неравенство в пространствах более высоких размерностей
Изопериметрическая теорема обобщается для поверхностей трёхмерного евклидова пространства. Среди всех простых замкнутых поверхностей с заданной площадью поверхности сфера заключает область максимального объёма. Аналогичные утверждения выполняются в евклидовых пространствах любой размерности.
В общем виде Шаблон:Sfn изопериметрическое неравенство утверждает, что для любого множества S ⊂ Rn, замыкание которого имеет конечную меру Лебега,
- <math>n \omega_n^{1/n} L^n(\bar{S})^{(n-1)/n} \leqslant M^{n-1}_*(\partial S),</math>
где M*n−1 является (n − 1)-мерной ёмкостью Минковского, Ln является n-мерной мерой Лебега, а ωn — объёмом единичного шара в Rn. Если граница S является спрямляемой, то ёмкость Минковского равна (n − 1)-мерной мере Хаусдорфа.
Изопериметрическое неравенство в размерности n можно быстро доказать с помощью неравенства Брунна — МинковскогоШаблон:SfnШаблон:Sfn.
Изопериметрическое неравенство в n-мерном пространстве эквивалентно (для достаточно гладких доменов) Шаблон:Не переведено 5 в Rn с оптимальной константой:
- <math>\left(\int_{\mathbb{R}^n} |u|^{\frac{n}{n - 1}}\right)^{\frac{n - 1}{n}} \leqslant n^{-1} \omega_n^{-1/n} \int_{\mathbb{R}^n} |\nabla u|</math>
для всех u ∈ W1,1(Rn).
Изопериметрическое неравенство в пространствах с мерой
Большинство работ по изопериметрической задаче сделаны в контексте гладких областей евклидовых пространств, или для более общих римановых многообразий. Однако изопериметрическую задачу можно существенно обобщить, используя понятие ёмкости Минковского. Пусть <math>(X,\, \mu,\, d)</math> является метрическим пространством с мерой: X является метрическим пространством с метрикой d и μ в качестве меры Бореля на X. Мера границы, или ёмкость Минковского, измеримого подмножества A из X определяется как lim inf:
- <math>\mu^+(A) = \liminf_{\varepsilon \to 0+} \frac{\mu(A_\varepsilon) - \mu(A)}{\varepsilon},</math>
где
- <math>A_\varepsilon = \{ x \in X \mid d(x, A) \leqslant \varepsilon \}</math>
является ε-расширением множества A.
Изопериметрическая задача в X спрашивает, насколько мало может быть <math>\mu^+(A)</math> для заданной величины μ(A). Если X является евклидовой плоскостью с обычным расстоянием и мерой Лебега, то этот вопрос обобщает классическую изопериметрическую задачу на области плоскости, границы которых не обязательно гладки, хотя ответ будет тем же самым.
Функция
- <math>I(a) = \inf \{ \mu^+(A) \mid \mu(A) = a\}</math>
называется изопериметрическим профилем метрического измеримого пространства <math>(X,\, \mu,\, d)</math>. Изопериметрические профили изучались для графов Кэли дискретных групп и специальных классов римановых многообразий (где обычно рассматриваются области A с обычными границами).
Изопериметрическое неравенство для графов
В теории графов изопериметрические неравенства находятся в центре изучения экспандеров, разреженных графов, имеющих сильную связность. Построение экспандеров породило исследования в чистой и прикладной математике с применением в теории вычислительной сложности, разработке устойчивых компьютерных сетей и теории корректирующих кодовШаблон:Sfn.
Изопериметрические неравенства для графов соотносят размер подмножеств вершин к размеру границ этих подмножеств, что обычно понимается как число рёбер, покидающих подмножество или число соседних вершин. Для графа <math>G</math> и числа <math>k</math> имеются два стандартных изопериметрических параметра графа[1].
- Рёберный изопериметрический параметр: <math>\Phi_E(G, k) = \min_{S\subseteq V} \big\{|E(S, \overline{S})| : |S| = k \big\}.</math>
- Вершинный изопериметрический параметр: <math>\Phi_V(G, k) = \min_{S\subseteq V} \big\{|\Gamma(S) \setminus S| : |S| = k \big\}.</math>
Здесь <math>E(S, \overline{S})</math> обозначает множество рёбер, покидающих <math>S</math>, а <math>\Gamma(S)</math> обозначает множество вершин, имеющих соседей в <math>S</math>. Изопериметрическая задача состоит в понимании, каким образом параметры <math>\Phi_E</math> и <math>\Phi_V</math> ведут себя в семействах графов.
Пример: Изопериметрическое неравенство для гиперкубов
<math>d</math>-мерный гиперкуб <math>Q_d</math> — это граф, вершины которого являются булевыми векторами длины <math>d</math>, то есть, множество <math>\{0,1\}^d</math>. Два таких вектора соединены ребром <math>Q_d</math>, если они отличаются в единственной позиции, то есть расстояние Хэмминга между ними равно в точности единице.
Ниже следуют два изопериметрических неравенства для булева гиперкуба[2].
Изопериметрическое неравенство для рёбер
Изопериметрическое неравенство для рёбер гиперкуба гласит: <math>\Phi_E(Q_d, k) \geqslant k(d - \log_2 k)</math>.
Изопериметрическое неравенство для вершин
Теорема Харпера[3] утверждает, что шары Хэмминга имеют наименьшую вершинную границу среди всех множеств заданного размера. Шары Хэмминга — это множества, которые содержат все точки с Шаблон:Не переведено 5, не превосходящим <math>r</math> для некоторого целого <math>r</math>. Из теоремы следует, что любое множество <math>S \subseteq V</math> с <math>|S| \geqslant \sum_{i=0}^r \binom{n}{i}</math> удовлетворяет <math>|S \cup \Gamma(S)| \geqslant \sum_{i=0}^{r+1} \binom{n}{i}.</math>Шаблон:Sfn
В частном случае, когда размер множества <math>k = |S|</math> имеет вид <math>k = \binom{d}{0} + \binom{d}{1} + \dots + \binom{d}{r}</math> для некоторого целого <math>r</math>, из вышеприведённого следует, что точный вершинный изопериметрический параметр равен <math>\Phi_V(Q_d, k) = \binom{d}{r + 1}</math>Шаблон:Sfn.
Изопериметрическое неравенство для треугольников
Изопериметрическое неравенство для треугольников в терминах периметра p и площади T утверждает, чтоШаблон:Sfn
- <math>p^2 \geqslant 12\sqrt{3} \cdot T,</math>
с равенством в случае правильного треугольника.
Примечания
Литература
- Шаблон:Статья
- Шаблон:Книга
- Бляшке. Круг и шар. — Шаблон:М.: Наука. — 1967.
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга Также сборник трудов, том 2, Reimer, Berlin, (1882).
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Статья
Ссылки
- History of the Isoperimetric Problem at Convergence
- Treiberg: Several proofs of the isoperimetric inequality
- Isoperimetric Theorem at cut-the-knot
- ↑ Определения 4.2 и 4.3 в Шаблон:Harvnb.
- ↑ См. Шаблон:Harvnb и секцию 4 в Шаблон:Harvnb.
- ↑ См. Шаблон:Harvnb или Шаблон:Harvnb.
- Русская Википедия
- Страницы с неработающими файловыми ссылками
- Дифференциальное исчисление многих переменных
- Вариационное исчисление
- Аналитическая геометрия
- Неравенства
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии
