Лемниската: определение, свойства и история¶

Лемниската — это плоская алгебраическая кривая, имеющая форму «восьмёрки» или перевёрнутого знака бесконечности. В математике лемниската представляет собой геометрическое место точек, произведение расстояний от которых до двух фиксированных точек (фокусов) постоянно и равно квадрату половины расстояния между фокусами. Наиболее известной разновидностью является лемниската Бернулли, названная в честь швейцарского математика Якоба Бернулли, который впервые подробно исследовал её в 1694 году. Лемнискаты относятся к классу овалов Кассини и обладают рядом уникальных свойств, включая связь с эллиптическими функциями и комплексным анализом.

¶История

Первое известное описание кривой, напоминающей лемнискату, принадлежит древнегреческому математику Персею, который изучал сечения тора (около II века до н. э.). Однако систематическое исследование лемнискаты началось в эпоху Возрождения. В 1694 году Якоб Бернулли опубликовал работу «О лемнискате» (лат. «De Lemniscata»), в которой он определил кривую как геометрическое место точек, произведение расстояний до двух фокусов постоянно. Бернулли использовал лемнискату для изучения свойств эллиптических интегралов, которые не выражались через элементарные функции.

В XVIII веке лемниската привлекла внимание Леонарда Эйлера, который в 1750-х годах разработал теорию эллиптических функций, используя лемнискату как модельный пример. Эйлер показал, что длина дуги лемнискаты выражается через эллиптический интеграл первого рода, а сама кривая связана с комплексным логарифмом. В XIX веке Карл Фридрих Гаусс и Нильс Хенрик Абель продолжили изучение лемнискаты, связав её с эллиптическими функциями и модулярными формами. Гаусс в 1797 году ввёл понятие «лемнискатных функций» — аналогов тригонометрических функций, но с периодом, определяемым лемнискатой.

В XX веке лемниската нашла применение в физике, в частности в теории поля и в задачах о распространении волн, а также в компьютерной графике для построения плавных кривых.

¶Определение и уравнение

¶Геометрическое определение

Лемниската Бернулли определяется как множество точек \(P\) на плоскости, для которых произведение расстояний до двух фиксированных точек \(F_1\) и \(F_2\) (фокусов) постоянно и равно квадрату половины расстояния между фокусами. Если расстояние между фокусами равно \(2a\), то условие записывается как:

\[ |PF_1| \cdot |PF_2| = a^2. \]

¶Уравнение в декартовых координатах

Поместим фокусы в точки \((-a, 0)\) и \((a, 0)\). Тогда уравнение лемнискаты в декартовых координатах имеет вид:

\[ (x^2 + y^2)^2 = 2a^2 (x^2 - y^2). \]

Это уравнение является алгебраическим четвёртой степени. Кривая симметрична относительно обеих осей координат и начала координат.

¶Уравнение в полярных координатах

В полярных координатах (\(\rho, \theta\)) с началом в центре лемнискаты уравнение упрощается:

\[ \rho^2 = 2a^2 \cos 2\theta. \]

Здесь \(\rho\) — радиус-вектор, \(\theta\) — полярный угол. Уравнение определено для углов, при которых \(\cos 2\theta \geq 0\), то есть для \(\theta \in [-\pi/4, \pi/4] \cup [3\pi/4, 5\pi/4]\). При \(\theta = \pm \pi/4\) и \(\theta = \pm 3\pi/4\) \(\rho = 0\), что соответствует узловой точке (самопересечению) в начале координат.

¶Параметрическое представление

Лемниската может быть параметризована с помощью эллиптических функций. Например, используя функцию Якоби:

\[ x = a \frac{\operatorname{cn}(t)}{\operatorname{dn}(t)}, \quad y = a \frac{\operatorname{sn}(t) \operatorname{cn}(t)}{\operatorname{dn}(t)}, \]

где \(\operatorname{sn}\), \(\operatorname{cn}\), \(\operatorname{dn}\) — эллиптические функции Якоби с модулем \(k = 1/\sqrt{2}\). Параметр \(t\) изменяется от 0 до \(4K\), где \(K\) — полный эллиптический интеграл первого рода, равный для \(k = 1/\sqrt{2}\) приблизительно 1,85407.

¶Свойства

¶Геометрические свойства

• Симметрия: Лемниската симметрична относительно осей \(x\) и \(y\), а также относительно начала координат (центральная симметрия).
• Узловая точка: В начале координат кривая имеет самопересечение (двойную точку) с касательными, образующими углы \(\pm 45^\circ\) к оси \(x\).
• Асимптоты: Лемниската не имеет асимптот, но её ветви уходят в бесконечность при \(\theta \to \pm \pi/4\) (в полярных координатах \(\rho \to 0\)).
• Площадь: Площадь, ограниченная лемнискатой Бернулли, равна \(2a^2\).
• Длина дуги: Полная длина лемнискаты выражается через эллиптический интеграл: \(L = 4a \sqrt{2} K(1/\sqrt{2})\), где \(K\) — полный эллиптический интеграл первого рода. Численно \(L \approx 5,244a\).

¶Аналитические свойства

• Алгебраическая кривая: Лемниската является алгебраической кривой четвёртого порядка. Её уравнение в декартовых координатах — многочлен степени 4.
• Связь с эллиптическими функциями: Длина дуги лемнискаты задаётся эллиптическим интегралом \(F(\phi, k)\), где \(k = 1/\sqrt{2}\). Обратная функция к этому интегралу — лемнискатная функция, которая является эллиптической функцией с периодами, кратными \(K\).
• Комплексный анализ: Лемниската является образом окружности при отображении \(w = z^2\) (или обратном отображении \(z = \sqrt{w}\)). В комплексной плоскости лемниската представляет собой линию уровня функции \(\operatorname{Re}(z^2) = \text{const}\).
• Кривизна: Радиус кривизны в узловой точке равен нулю, а в точках на оси \(x\) (при \(x = \pm a\sqrt{2}\)) кривизна максимальна.

¶Связь с другими кривыми

• Овалы Кассини: Лемниската является частным случаем овала Кассини, когда расстояние между фокусами равно \(2a\), а произведение расстояний равно \(a^2\). При других значениях параметра овалы Кассини принимают форму эллипсов или «яйцеобразных» кривых.
• Лемниската Бута: Существует обобщение — лемниската Бута (или «лемниската с двумя фокусами»), которая определяется как геометрическое место точек, для которых сумма расстояний до двух фокусов постоянна. Однако она не является алгебраической кривой в обычном смысле.
• Лемниската Героно: В теории чисел существует лемниската, связанная с эллиптическими кривыми, но она не имеет прямого геометрического аналога.

¶Виды лемнискат

¶Лемниската Бернулли

Наиболее известная разновидность, описанная выше. Используется в математическом анализе, теории эллиптических функций и физике.

¶Лемниската Бута

Определяется как геометрическое место точек, для которых произведение расстояний до двух фокусов равно квадрату некоторой константы, но фокусы могут располагаться несимметрично. Уравнение в декартовых координатах: \((x^2 + y^2)^2 = 2a^2 (x^2 - y^2) + c\), где \(c\) — параметр. При \(c = 0\) получается лемниската Бернулли.

¶Лемниската Героно

В теории чисел и алгебраической геометрии лемниската Героно — это кривая, задаваемая уравнением \(y^2 = x^3 - x\), которая является эллиптической кривой. Она не имеет формы «восьмёрки», но называется лемнискатой из-за связи с эллиптическими функциями.

¶Лемниската в полярных координатах

Обобщённая лемниската может быть задана уравнением \(\rho^n = a^n \cos n\theta\) для чётных \(n\). При \(n = 2\) получается лемниската Бернулли, при \(n = 4\) — кривая с четырьмя лепестками (так называемая «четырёхлепестковая роза»).

¶Применение

¶Математика

• Эллиптические функции и интегралы: Лемниската является классическим примером для изучения эллиптических интегралов, которые не выражаются через элементарные функции. Длина дуги лемнискаты задаёт эллиптический интеграл первого рода.
• Комплексный анализ: Лемниската используется для иллюстрации конформных отображений, в частности отображения \(w = z^2\).
• Теория чисел: Лемниската связана с эллиптическими кривыми и модулярными формами, что важно для доказательства Великой теоремы Ферма и других задач.

¶Физика

• Электродинамика: Лемниската описывает линии равного потенциала для некоторых конфигураций зарядов, например, для двух точечных зарядов одинаковой величины, расположенных на расстоянии \(2a\).
• Оптика: Форма лемнискаты встречается в задачах о дифракции света на круглых отверстиях.
• Механика: Лемниската используется в теории колебаний, например, для описания траекторий маятников с переменной длиной.

¶Инженерия и компьютерная графика

• Сплайны: Лемниската применяется для построения плавных кривых в системах автоматизированного проектирования (САПР) и в компьютерной анимации.
• Архитектура: Форма лемнискаты используется в дизайне арок, мостов и декоративных элементов.

¶Символизм

• Символ бесконечности: Лемниската является прообразом математического символа бесконечности (\(\infty\)), который был введён в 1655 году Джоном Валлисом. Хотя символ не является точной лемнискатой, он имеет схожую форму.

¶Интересные факты

• Якоб Бернулли назвал кривую «лемнискатой» от латинского слова «lemniscus» (лента), из-за её сходства с перевязанной лентой.
• Лемниската Бернулли является одной из немногих алгебраических кривых, для которых длина дуги выражается через эллиптический интеграл.
• В 1797 году Гаусс открыл, что лемниската связана с комплексным умножением эллиптических функций, что привело к развитию теории эллиптических кривых.
• В современной математике лемниската используется как пример кривой, имеющей узловую точку, что важно для теории особенностей.

¶Источники

• Бернулли, Якоб. «О лемнискате» (1694). В кн.: «Opera Omnia», т. 1.
• Эйлер, Леонард. «Введение в анализ бесконечно малых» (1748). Глава о кривых.
• Гаусс, Карл Фридрих. «Disquisitiones generales circa seriem infinitam» (1812).
• Абель, Нильс Хенрик. «Исследования об эллиптических функциях» (1827).
• Привалов, И. И. «Введение в теорию функций комплексного переменного» (1935). Глава о конформных отображениях.
• Корн, Г., Корн, Т. «Справочник по математике» (1970). Раздел о кривых.