Jump to content

Циклида Дюпена

Циклида Дюпена

В математике циклидой Дюпена или циклидой Дюпена называется любая геометрическая инверсия стандартного тора , цилиндра или двойного конуса . В частности, последние сами являются примерами циклидов Дюпена. Они были обнаружены ок. 1802 год, написанный (и названный в честь) Шарлем Дюпеном , когда он еще учился в Политехнической школе после Гаспара Монжа . лекций [1] Ключевое свойство циклиды Дюпена состоит в том, что она представляет собой поверхность канала (оболочку однопараметрического семейства сфер) двумя разными способами. Это свойство означает, что циклиды Дюпена являются естественными объектами в геометрии сферы Ли .

Циклиды Дюпена часто называют просто циклидами , но последний термин также используется для обозначения более общего класса поверхностей четвертой степени , которые важны в теории разделения переменных для уравнения Лапласа в трех измерениях.

Циклиды Дюпена исследовали не только Дюпен, но и А. Кэли , Дж. К. Максвелл и Мейбл М. Янг .

Циклиды Дюпена используются в компьютерном проектировании, поскольку циклидные заплаты имеют рациональное представление и подходят для сглаживания поверхностей каналов (цилиндров, конусов, торов и других).

Определения и свойства

[ редактировать ]

Существует несколько эквивалентных определений циклидов Дюпена. В , их можно определить как изображения при любом обращении торов, цилиндров и двойных конусов. Это показывает, что класс циклид Дюпена инвариантен относительно преобразований Мёбиуса (или конформных) .В сложном пространстве эти три последние разновидности можно сопоставить друг с другом путем инверсии, поэтому циклиды Дюпена можно определить как инверсии тора (или цилиндра, или двойного конуса).

Поскольку стандартный тор является орбитой точки под двумерной абелевой подгруппой группы Мёбиуса, отсюда следует, что циклиды также являются орбитой, и это дает второй способ их определения.

Третье свойство, которое характеризует циклиды Дюпена, заключается в том, что их линии кривизны представляют собой круги (возможно, проходящие через точку, находящуюся на бесконечности ). Эквивалентно, сферы кривизны , которые представляют собой сферы, касающиеся поверхности с радиусами, равными обратным главным кривизнам в точке касания, постоянны вдоль соответствующих линий кривизны: это касательные сферы, содержащие соответствующие линии кривизны, как большие круги . Опять же, эквивалентно, что оба листа фокальной поверхности вырождаются в коники. [2] Отсюда следует, что любая циклида Дюпена является поверхностью канала (т. е. оболочкой однопараметрического семейства сфер) в двух разных смыслах, и это дает другую характеристику.

Определение в терминах сфер показывает, что класс циклид Дюпена инвариантен относительно большей группы всех преобразований сферы Ли ; любые два циклида Дюпена лие-эквивалентны . Они образуют (в некотором смысле) простейший класс ли-инвариантных поверхностей после сфер и поэтому особенно важны в геометрии сфер Ли . [3]

Определение также означает, что циклида Дюпена представляет собой оболочку однопараметрического семейства сфер, касающихся трех данных взаимно касательных сфер. Отсюда следует, что она касается бесконечного числа Содди гекслет- конфигураций сфер .

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

[ редактировать ]
(CS): Циклиду Дюпена можно представить двумя способами как оболочку однопараметрического пучка сфер, т. е. как поверхность канала с двумя направляющими . Пара директрис представляет собой фокальные коники и состоит либо из эллипса и гиперболы, либо из двух парабол. В первом случае циклиду определяют как эллиптическую , во втором — как параболическую . В обоих случаях коники содержатся в двух взаимно ортогональных плоскостях. В крайних случаях (если эллипс представляет собой круг) гипербола вырождается в прямую, а циклида представляет собой тор вращения.

Еще одним особым свойством циклиды является:

(CL): Любая линия кривизны циклиды Дюпена представляет собой окружность .

Эллиптические циклиды

[ редактировать ]

Эллиптическую циклиду можно параметрически представить следующими формулами (см. раздел Циклида как поверхность канала ):

Значения расчетных параметров :
- радиус образующей сферы в ко-вершинах эллипса
Два круга в плоскости xz с центрами иметь радиусы .
Здесь: и

Числа являются полубольшой и полумалой осями и линейный эксцентриситет эллипса:

Гипербола является фокальной коникой эллипса. Это означает: фокусы/вершины эллипса являются вершинами/фокусами гиперболы. Две коники образуют две вырожденные фокальные поверхности циклиды.

можно рассматривать как средний радиус образующих сфер.

Для , соответственно получаются линии кривизны (круги) поверхности.

Соответствующее неявное представление :

В случае каждый получает , т.е. эллипс представляет собой круг, а гипербола вырождается в прямую. Соответствующие циклиды являются торами вращения.

(эллипт.) Циклиды Дюпена для расчетных параметров a,b,c,d
симм. роговая циклида роговая циклида роговая циклида кольцевая циклида кольцевая циклида циклида шпинделя

Более интуитивные параметры проектирования — это пересечения циклиды с осью X. раздел Циклический переход через 4 точки по оси X. См .

Параболические циклиды

[ редактировать ]

Параболическая циклида может быть представлена ​​следующим параметрическим представлением (см. раздел Циклида как поверхность канала ):

параболическая циклида со своими директрисами (фокальными параболами)

Число определяет форму обеих парабол, которые являются фокальными кониками:

и

определяет соотношение диаметров двух отверстий (см. схему). означает: оба диаметра равны. Ибо диаграмма .

Соответствующее неявное представление:

параболические циклиды Дюпена для расчетных параметров p=1, k
кольцевая циклида роговая циклида роговая циклида

Примечание : при отображении кружков появляются пробелы, вызванные необходимым ограничением параметров. .

Циклид как поверхность канала

[ редактировать ]
Циклида Дюпена как поверхность канала ( оболочка семейства сфер)

Есть два способа создать эллиптическую циклиду Дюпена в качестве поверхности канала . В первом в качестве направляющей используется эллипс, во втором — гипербола: [4]

Эллипс как директриса

[ редактировать ]

В плоскости xy направляющей является эллипс с уравнением

и .

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

это полумажор и малая полуось. - линейный эксцентриситет эллипса. Следовательно: .Радиусы образующих сфер равны

является параметром конструкции. Его можно рассматривать как среднее значение радиусов сфер. В случае эллипс — это круг, а циклида — тор вращения с радиус образующей окружности (образующей).

На схеме: .

Максвелл: Свойство фокусов эллипса директрисы. Эллипс представляет собой равноудаленные друг от друга набор синих и фиолетовых кругов.

недвижимость Максвелла

[ редактировать ]

Следующее простое соотношение между фактическим центром сферы (точкой эллипса) и соответствующим радиусом сферы принадлежит Максвеллу: [5]

  • Разница/сумма радиусов сферы и расстояния центра сферы (точки эллипса) от одного (но фиксированного) фокуса постоянна.
Доказательство

Фокусы эллипса являются . Если кто-то выбирает и вычисляет расстояние , человек получает . Вместе с радиусом реальной сферы (см. выше) получаем .
Выбор другого фокуса дает:

Следовательно:

В плоскости xy огибающими окружностей сфер являются две окружности с фокусами эллипса в качестве центров и радиусами (см. схему).

Циклическое перемещение по 4 точкам по оси X

[ редактировать ]
Определение конструктивных параметров a,b,c,d, принадлежащих заданным реальным значениям.
вверху: кольцевая циклида с
посередине: рог циклида с
внизу: шпиндель-циклида с

Свойство Максвелла дает основание для определения кольцевой циклиды путем задания ее пересечений с осью x:

Дано: Четыре очка. по оси X (см. диаграмму).

Разыскивается: Центр , полуоси , линейный эксцентриситет и фокусы эллипса директрисы и параметра соответствующего кольцевого циклида.

Из свойства Максвелла получается

Решение для урожайность

Фокусы (по оси x) расположены

и, следовательно,

Центр фокальных коник (эллипса и гиперболы) имеет координату x

Если кто-то хочет отобразить циклиду с помощью приведенного выше параметрического представления, необходимо учитывать сдвиг центра!

Значение порядка чисел

(Расчет выше предполагает , см. схему.)

(H) Обмен генерирует рупорную циклиду.
(S) Обмен , генерирует шпиндель-циклид.
(H1) Для получается однорогая циклида.
(R) Для получается кольцевая циклида, касающаяся самого себя в начале координат.

Параллельные поверхности

[ редактировать ]
Параллельные поверхности кольцевой циклиды с параметрами

Увеличивая или уменьшая параметр , такой, что тип не меняется, получаются параллельные поверхности (похожие на параллельные кривые ) одного и того же типа (см. схему).

Гипербола как директриса

[ редактировать ]

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

Циклида с двумя соприкасающимися сферами с центрами на гиперболе директрисы.

В этом случае сферы касаются циклиды снаружи у второго семейства окружностей (линий кривизны). Каждому плечу гиперболы принадлежит подсемейство окружностей. Сферы одного семейства окружают циклиду (на схеме: фиолетовый). Сферы другого семейства затрагиваются циклидой снаружи (синие).

Параметрическое представление гиперболы:

Радиусы соответствующих сфер равны

В случае тора ( ) гипербола вырождается в ось тора.

Свойство Максвелла для случая гиперболы. Рука гиперболы представляет собой эквидистантную кривую обоих серых кругов.

Свойство Максвелла (случай гиперболы)

[ редактировать ]

Фокусы гиперболы являются . Расстояние до точки гиперболы в фокусе является и вместе с радиусом сферы каждый получает . Аналогично получается . Для точки на втором плече гиперболы выводятся уравнения:

Следовательно:

В плоскости xz окружности сфер с центрами и радиусы есть два круга (на схеме серого цвета) с центрами и радиусы как конверты.

Точечная конструкция

Вывод параметрического представления

[ редактировать ]

Эллиптическая циклида

[ редактировать ]

Эллипс и гипербола (фокальные коники) представляют собой вырожденные фокальные поверхности эллиптической циклиды. Для любой пары Для точек эллипса и гиперболы верно следующее (из-за определения фокальной поверхности):

1) Линия является нормалью циклиды и
2) соответствующая точка циклиды делит хорду с отношением (см. схему).

Из параметрического представления фокальных коник и радиусов сфер

Эллипс:
Гипербола:

получаем соответствующую точку циклиды (см. схему):

(О необычном, но удобном параметрическом представлении гиперболы: см. «Гипербола» .)

параметрическому представлению эллиптической циклиды Детальный расчет приводит к приведенному выше .

Если использовать приведенное в статье параметрическое представление о поверхностях каналов, то, вообще говоря, только одно семейство параметрических кривых состоит из окружностей.

Параболическая циклида

[ редактировать ]
Генерация параболической циклиды как поверхности канала

Вывод параметрического представления для параболического случая происходит аналогично:

С параметрическими представлениями фокальных парабол (вырожденных фокальных поверхностей) и радиусов сфер:

каждый получает

что обеспечивает приведенное выше параметрическое представление параболической циклиды.

Циклиды Дюпена и геометрические инверсии

[ редактировать ]

Преимуществом исследования циклидов является свойство:

(I): Любая циклида Дюпена представляет собой образ либо прямого кругового цилиндра , либо правильного кругового двойного конуса , либо тора вращения путем инверсии (отражения на сфере).

Инверсия на сфере с уравнением можно описать аналитически:

Наиболее важные свойства инверсии сферы:

  1. Сферы и круги отображаются на одних и тех же объектах.
  2. Плоскости и линии, содержащие начало координат (центр инверсии), сопоставляются сами с собой.
  3. Плоскости и линии, не содержащие начало координат, отображаются на сферах или кругах, проходящих через начало координат.
  4. Инверсия инволютивна (идентична обратному отображению).
  5. Инверсия сохраняет углы.

С помощью инверсии можно отобразить произвольные поверхности. Приведенные выше формулы в любом случае дают параметрическое или неявное представление поверхности изображения, если поверхности заданы параметрически или неявно. В случае параметрической поверхности получаем:

кольцевая циклида, возникающая в результате инверсии цилиндра на сфере (пурпурный)
параболический кольцевой циклид, порожденный инверсией цилиндра, содержащего начало координат
роговая циклида, возникающая в результате инверсии конуса
кольцевая циклида, порожденная инверсией тора

Но: только в случае правильных круговых цилиндров, конусов и торов вращения получаются циклиды Дюпена и наоборот.

Пример цилиндра

[ редактировать ]

а) Поскольку линии, не содержащие начала координат, отображаются путем инверсии сферы (на рисунке: пурпурного цвета) на круги, содержащие начало координат, образ цилиндра представляет собой кольцевую циклиду с касающимися друг друга кругами в начале координат. В качестве изображений отрезков прямой, показанных на рисунке, на отрезках окружности линии появляются изображения. Сферы, которые касаются цилиндра с внутренней стороны, наносятся на первый пучок сфер, который образует циклиду как поверхность канала. Вторым пучком сфер, касающимся циклиды, становятся изображения касательных плоскостей цилиндра. Последние проходят через начало координат.
б) Второй пример переворачивает цилиндр, содержащий начало координат. Линии, проходящие через начало координат, сопоставляются сами с собой. Следовательно, поверхность неограничена и представляет собой параболическую циклиду.

Пример конуса

[ редактировать ]

Линии, образующие конус, отображаются на окружностях, которые пересекаются в начале координат и изображении вершины конуса. Изображение конуса представляет собой двурогую циклиду. На рисунке показаны изображения отрезков прямых (конуса), которые на самом деле являются отрезками окружностей.

Пример тора

[ редактировать ]

Оба пучка окружностей тора (показаны на рисунке) отображаются на соответствующие пучки окружностей циклиды. В случае самопересекающегося тора получится веретеноциклида.

круги Вильярсо
Кольцевая циклида с кругами Вильярсо

Поскольку циклиды Дюпена можно рассматривать как изображения торов с помощью подходящих инверсий, а инверсия отображает круг на круг или линию, изображения кругов Вильярсо образуют еще два семейства кругов на циклиде (см. Диаграмму).

Определение параметров конструкции

Формула обращения параметрической поверхности (см. выше) дает параметрическое представление циклиды (как обращения тора) с окружностями как параметрическими кривыми. Но точки параметрической сети распределены плохо. Так что лучше рассчитать параметры конструкции и использовать параметрическое представление выше:

Циклид (синий) как изображение инверсии тора (черный) на единичной сфере (красный)

Дано: Тор, смещенный из стандартного положения по оси X. Пусть будет пересечения тора с осью x (см. схему). Все не ноль. В противном случае инверсия тора не была бы кольцом-циклидой.
Требуются: полуоси и линейный эксцентриситет эллипса (директрисы) и параметра кольца-циклиды, являющегося образом тора при инверсии на единичной сфере.

Инверсионные карты на , которые являются координатами x 4 точек кольца-циклиды (см. схему). Из раздела Циклида через 4 точки по оси X получаем

и

Центр фокальных коник имеет координату x.

Разделение переменных

[ редактировать ]

Циклиды Дюпена — это частный случай более общего понятия циклиды, которое является естественным расширением понятия квадрики . В то время как квадрика может быть описана как множество нулей полинома второго порядка в декартовых координатах ( x 1 , x 2 , x 3 ), циклида задается множеством нулей полинома второго порядка в ( x 1 , x 2 , х 3 , р 2 ), где р 2 = х 1 2 + х2 2 + х 3 2 . Таким образом, это поверхность четвертой степени в декартовых координатах с уравнением вида:

где Q — матрица 3x3, P и R — трехмерные векторы , а A и B — константы. [6]

Семейства циклид порождают различные циклидические координатные геометрии.

В диссертации Максима Бошера 1891 года «Ueber die Reihenentwickelungen der Potentialtheorie » было показано, что уравнение Лапласа с тремя переменными можно решить, используя разделение переменных в 17 конформно различных квадричных и циклидических координатных геометриях. Многие другие циклидические геометрии можно получить, изучая R-разделение переменных для уравнения Лапласа. [7]

См. также

[ редактировать ]
[ редактировать ]

Примечания

[ редактировать ]
  1. ^ О'Коннор и Робертсон 2000
  2. ^ Гильберт и Кон-Фоссен, 1999 г.
  3. ^ Сесил 1992
  4. ^ В. Блашке: Аналитическая геометрия , Springer-Verlag, 2013, ISBN   303486812X , С. 115
  5. ^ упоминается в книге В. Бёма: О циклидах в геометрическом моделировании . Компьютерное геометрическое проектирование 7, 1990, стр. 243–255.
  6. ^ Миллер 1977
  7. ^ Мун и Спенсер 1961
  • Сесил, Томас Э. (1992), Геометрия сферы Ли , Нью-Йорк: Universitext, Springer-Verlag, ISBN  978-0-387-97747-8 .
  • Эйзенхарт, Лютер П. (1960), «§133 Циклиды Дюпена», Трактат о дифференциальной геометрии кривых и поверхностей , Нью-Йорк: Дувр, стр. 312–314 .
  • Гильберт, Дэвид ; Кон-Воссен, Стефан (1999), Геометрия и воображение , Американское математическое общество, ISBN  0-8218-1998-4 .
  • Мун, Парри; Спенсер, Домина Эберле (1961), Справочник по теории поля: включая системы координат, дифференциальные уравнения и их решения , Springer, ISBN  0-387-02732-7 .
  • О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. (2000), «Пьер Шарль Франсуа Дюпен» , архив истории математики MacTutor .
  • Пинкал, Ульрих (1986), «§3.3 Циклиды Дюпена», в Г. Фишере (редактор), «Математические модели из коллекций университетов и музеев» , Брауншвейг, Германия: Vieweg, стр. 28–30 .
  • Миллер, Уиллард (1977), Симметрия и разделение переменных .
  • А. Кэли (1873) «О циклиде», Ежеквартальный журнал чистой и прикладной математики 12: с. 148–163.
  • В. Чандру, Д. Дутта, К. М. Хоффманн (1989) «О геометрии циклид Дюпена», Визуальный компьютер. (5), с. 277–290.
  • К. Дюпен (1822) Приложения геометрии и механики. Бакалавр, Париж.
  • Ф. Кляйн, В. Бляшке (1926) Лекции по высшей геометрии. Спрингер Паблишинг, ISBN   978-3-642-98494-5 , с. 56.
  • Дж. К. Максвелл (1868) «О циклиде», Ежеквартальный журнал чистой и прикладной математики 9: стр. 111–126.
  • М. Дж. Пратт (1989) Смешение циклидов в твердотельном моделировании. В: Вольфганг Штрассер, Ханс-Петер Зайдель (Hrsg.): Теория и практика геометрического моделирования. Спрингер-Верлаг, ISBN   0-387-51472-4 , с. 235.
  • Ю. Л. Сринивас, В. Кумар, Д. Дутта (1996) «Дизайн поверхности с использованием циклидных участков», Компьютерное проектирование 28 (4): 263–276.
  • Мейбл М. Янг (1916) «Циклида Дюпена как самодвойственная поверхность», American Journal of Mathematics 38 (3): 269–286.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 0fae75054c46b21d3bfdfad1dfc9d4f5__1716092580
URL1:https://arc.ask3.ru/arc/aa/0f/f5/0fae75054c46b21d3bfdfad1dfc9d4f5.html
Заголовок, (Title) документа по адресу, URL1:
Dupin cyclide - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)