Полярная кривая - Polar curve

Эта статья посвящена концепции алгебраической геометрии. Для концепции в авиации, которая носит это название, см. Полярная кривая (авиация). Кривые в полярных координатах см. Полярная система координат § Полярное уравнение кривой.

В эллиптическая кривая E : 4Y²Z =Икс³ − XZ² синим цветом, а его полярная кривая (E) : 4Y² = 2.7Икс² − 2XZ - 0.9Z² для точки Q = (0,9, 0) красным. Черные линии показывают касательные к E в точках пересечения E и его первая полярность относительно Q встреча в Q.

В алгебраическая геометрия, то первый полярный, или просто полярный из алгебраическая плоская кривая C степени п по отношению к точке Q является алгебраической кривой степени п−1, который содержит каждую точку C чья касательная линия проходит через Q. Он используется для исследования взаимосвязи между кривой и ее двойной, например, при выводе Формулы Плюккера.

Определение

Позволять C быть определенным в однородные координаты к ж(х, у, г) = 0 где ж это однородный многочлен степени п, и пусть однородные координаты Q быть (а, б, c). Определите оператора

${displaystyle Delta _{Q}=a{partial over partial x}+b{partial over partial y}+c{partial over partial z}.}$

Тогда Δ_Qж является однородным многочленом степени п−1 и Δ_Qж(х, у, г) = 0 определяет кривую степени п−1 называется первый полярный из C в отношении Q.

Если п=(п, q, р) это неособая точка на кривой C то уравнение касательной в точке п является

${displaystyle x{partial f over partial x}(p,q,r)+y{partial f over partial y}(p,q,r)+z{partial f over partial z}(p,q,r)=0.}$

Особенно, п находится на пересечении C и его первая полярность относительно Q если и только если Q находится по касательной к C в п. За двойную точку C, частные производные от ж все равны 0, поэтому первая полярная точка также содержит эти точки.

Класс кривой

В учебный класс из C можно определить как количество касательных, которые могут быть проведены к C с точки не на C (с учетом кратностей и с учетом мнимых касательных). Каждый из этих касательных касается C в одной из точек пересечения C и первый полярный, и по Теорема Безу есть самое большее п(п−1) из них. Это ставит верхнюю границу п(п−1) на классе кривой степени п. Класс можно точно вычислить, посчитав количество и тип особых точек на C (видеть Формула Плюккера ).

Высшие поляры

В п-й полярный C для натурального числа п определяется как Δ_Q^пж(х, у, г) = 0. Это кривая степени п−п. Когда п является п−1 п-я полярная линия называется полярная линия из C относительно Q. Аналогично, когда п является п−2 кривая называется полярная коническая из C.

С помощью Серия Тейлор в нескольких переменных и используя однородность, ж(λа+ μп, λб+ μq, λc+ μр) можно расширить двумя способами:

${displaystyle mu ^{n}f(p,q,r)+lambda mu ^{n-1}Delta _{Q}f(p,q,r)+{frac {1}{2}}lambda ^{2}mu ^{n-2}Delta _{Q}^{2}f(p,q,r)+dots }$

и

${displaystyle lambda ^{n}f(a,b,c)+mu lambda ^{n-1}Delta _{P}f(a,b,c)+{frac {1}{2}}mu ^{2}lambda ^{n-2}Delta _{P}^{2}f(a,b,c)+dots .}$

Сравнивая коэффициенты λ^пμ^п−п показывает, что

${displaystyle {frac {1}{p!}}Delta _{Q}^{p}f(p,q,r)={frac {1}{(n-p)!}}Delta _{P}^{n-p}f(a,b,c).}$

В частности, п-й полюс C относительно Q это геометрическое место точек п таким образом (п−п) -й полюс C относительно п проходит через Q.^[1]

Поляки

Если полярная линия C по отношению к точке Q это линия L, тогда Q считается столб из L. В данной строке есть (п−1)² полюса (с учетом кратностей и т. д.), где п степень C. Чтобы увидеть это, выберите две точки п и Q на L. Географическое место точек, полярные линии которых проходят через п это первый полюс п а это кривая степени п−1. Аналогично геометрическое место точек, полярные линии которых проходят через Q это первый полюс Q и это тоже кривая степени п−1. Полярная линия точки - это L тогда и только тогда, когда он содержит оба п и Q, поэтому полюса L являются точками пересечения двух первых поляр. По теореме Безу эти кривые имеют (п−1)² точки пересечения, а это полюса L.^[2]

Гессен

Для данной точки Q=(а, б, c) полярная коника - геометрическое место точек п так что Q находится на втором полюсе п. Другими словами, уравнение полярной коники имеет вид

${displaystyle Delta _{(x,y,z)}^{2}f(a,b,c)=x^{2}{partial ^{2}f over partial x^{2}}(a,b,c)+2xy{partial ^{2}f over partial xpartial y}(a,b,c)+dots =0.}$

Коника вырождена тогда и только тогда, когда определитель Гессен из ж,

${displaystyle H(f)={egin{bmatrix}{frac {partial ^{2}f}{partial x^{2}}}&{frac {partial ^{2}f}{partial x,partial y}}&{frac {partial ^{2}f}{partial x,partial z}}\{frac {partial ^{2}f}{partial y,partial x}}&{frac {partial ^{2}f}{partial y^{2}}}&{frac {partial ^{2}f}{partial y,partial z}}\{frac {partial ^{2}f}{partial z,partial x}}&{frac {partial ^{2}f}{partial z,partial y}}&{frac {partial ^{2}f}{partial z^{2}}}end{bmatrix}},}$

исчезает. Следовательно, уравнение |ЧАС(ж) | = 0 определяет кривую, геометрическое место точек, полярные коники которых вырождены, степени 3 (п−2) называется Кривая Гессе из C.

Смотрите также

• Полярная гиперповерхность
• Полярный и полярный

Рекомендации

1. Далее следует Salmon, стр. 49-50, но, по сути, тот же аргумент с другими обозначениями приводится на Basset pp. 16-17.
2. Бассет п. 20, Лосось с. 51

• Бассет, Альфред Барнард (1901). Элементарный трактат о кубических и четвертых кривых. Дейтон Белл и Ко, стр. 16 и далее.
• Лосось, Джордж (1879). Кривые на высшей плоскости. Ходжес, Фостер и Фиггис. стр. 49 и далее.
• Раздел 1.2 Фултона, Введение в теорию пересечений в алгебраической геометрии, CBMS, AMS, 1984.
• Иванов, А. (2001) [1994], "Полярный", Энциклопедия математики, EMS Press
• Иванов, А. (2001) [1994], «Гессен (алгебраическая кривая)», Энциклопедия математики, EMS Press