Аргумент (комплексный анализ)

В математике (особенно в комплексном анализе ) аргумент комплексного числа $z$ , обозначаемый $arg(z)$ , представляет собой угол между положительной действительной осью и линией, соединяющей начало координат и $z$ , представленный как точка на комплексной плоскости , показанная как $\varphi$ на рисунке 1. По соглашению положительная действительная ось изображается направленной вправо, положительная мнимая ось изображается направленной вверх, а комплексные числа с положительной действительной частью считаются имеющими аргумент против часовой стрелки с положительным знаком.

Когда рассматривается любой действительный угол, аргумент представляет собой многозначную функцию, работающую с ненулевыми комплексными числами . Главное значение этой функции является однозначным и обычно выбирается в качестве уникального значения аргумента, лежащего в интервале $(- π, π]$ . ^[1]^[2] В этой статье многозначная функция будет обозначаться $arg(z)$ , а ее главное значение будет обозначаться $Arg(z)$ , но в некоторых источниках капитализация этих символов поменяна местами.

Определение [ править ]

Аргумент + комплексного числа $z = x, iy$ обозначаемый $arg(z)$ , определяется двумя эквивалентными способами:

Геометрически в комплексной плоскости как двумерный полярный угол $\varphi$ от положительной вещественной оси к вектору, представляющему $z$ . Числовое значение определяется углом в радианах и является положительным, если измеряется против часовой стрелки.
Алгебраически, как и любая действительная величина $\varphi$ такой, что $z=r(\cos \varphi +i\sin \varphi )=re^{i\varphi }$ для некоторого положительного действительного $r$ (см. формулу Эйлера ). Величина $r$ представляет собой модуль (или абсолютное значение) $z$ , обозначаемый | $г$ |: $r={\sqrt {x^{2}+y^{2}}}.$

Названия величины , модуля и фазы , ^[3]^[1] для аргумента иногда используются эквивалентно.

Согласно обоим определениям видно, что аргумент любого ненулевого комплексного числа имеет множество возможных значений: во-первых, что касается геометрического угла, то ясно, что вращение всей окружности не меняет точку, поэтому углы, отличающиеся на целое число, кратное 2π $радиан$ (полный круг ) такие же, как показано на рисунке 2 справа. Аналогично, судя по cos , $второе$ периодичности sin и $определение$ также обладает этим свойством. Нулевой аргумент обычно остается неопределенным.

Альтернативное определение [ править ]

Комплексный аргумент также можно определить алгебраически через комплексные корни как:

\arg(z)=\lim _{n\to \infty }n\cdot \operatorname {Im} {\sqrt[{n}]{z/|z|}}

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

z

путем деления на

|z|

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

\arg(0)

остается неопределенным.

Основная ценность [ править ]

Поскольку полный поворот вокруг начала координат оставляет комплексное число неизменным, существует множество вариантов выбора. $\varphi$ обведя начало координат любое количество раз. Это показано на рисунке 2, представлении многозначной ( множественнозначной) функции. $f(x,y)=\arg(x+iy)$ , где вертикальная линия (не показана на рисунке) разрезает поверхность на высотах, представляющих все возможные варианты угла для этой точки.

Когда четко определенная требуется функция, то обычным выбором, известным как главное значение , является значение в открытом-замкнутом интервале $(- π рад, π рад]$ , то есть от $- π$ до $π$ радиан , исключая $- π$ сам рад (эквивалент от -180 до +180 градусов , исключая саму -180°). Это представляет собой угол до половины полного круга от положительной действительной оси в любом направлении.

Некоторые авторы определяют диапазон главного значения как находящийся в закрыто-открытом интервале $[0, 2 π)$ .

Обозначения [ править ]

Начальная буква главного значения иногда пишется с заглавной буквы, как в $Arg z$ , особенно если рассматривается также общая версия аргумента. Обратите внимание, что обозначения различаются, поэтому $arg$ и $Arg$ могут меняться местами в разных текстах.

Множество всех возможных значений аргумента можно записать в терминах $Arg$ как:

\arg(z)=\{\operatorname {Arg} (z)+2\pi n\mid n\in \mathbb {Z} \}.

Вычисление из действительной и мнимой части [ править ]

Если комплексное число известно в виде его действительной и мнимой частей, то функция, вычисляющая главное значение $Arg$ , называется арктангенсной функцией с двумя аргументами $atan2$ :

\operatorname {Arg} (x+iy)=\operatorname {atan2} (y,\,x)

.

Функция $atan2$ доступна в математических библиотеках многих языков программирования, иногда под другим именем, и обычно возвращает значение в диапазоне $(-π, π]$ . ^[1]

В некоторых источниках аргумент определяется как $\operatorname {Arg} (x+iy)=\arctan(y/x),$ однако это верно только тогда, когда $x > 0$ , где $y/x$ четко определен и угол лежит между $-{\tfrac {\pi }{2}}$ и ${\tfrac {\pi }{2}}.$ Распространение этого определения на случаи, когда $x$ не является положительным, относительно сложно. В частности, можно определить главное значение аргумента отдельно в полуплоскости $x > 0$ и двух квадрантах с $x < 0$ , а затем соединить определения вместе:

\operatorname {Arg} (x+iy)=\operatorname {atan2} (y,\,x)={\begin{cases}\arctan \left({\frac {y}{x}}\right)&{\text{if }}x>0,\\[5mu]\arctan \left({\frac {y}{x}}\right)+\pi &{\text{if }}x<0{\text{ and }}y\geq 0,\\[5mu]\arctan \left({\frac {y}{x}}\right)-\pi &{\text{if }}x<0{\text{ and }}y<0,\\[5mu]+{\frac {\pi }{2}}&{\text{if }}x=0{\text{ and }}y>0,\\[5mu]-{\frac {\pi }{2}}&{\text{if }}x=0{\text{ and }}y<0,\\[5mu]{\text{undefined}}&{\text{if }}x=0{\text{ and }}y=0.\end{cases}}

См. atan2 для получения дополнительной информации и альтернативных реализаций.

Личности [ править ]

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

z=\left|z\right|e^{i\operatorname {Arg} z}.

Это действительно действительно только в том случае, если $z$ не равно нулю, но может считаться действительным для $z = 0,$ если $Arg(0)$ рассматривается как неопределенная форма , а не как неопределенная.

Далее следуют некоторые другие личности. Если $z 1$ и $z 2$ — два ненулевых комплексных числа, то

{\begin{aligned}\operatorname {Arg} (z_{1}z_{2})&\equiv \operatorname {Arg} (z_{1})+\operatorname {Arg} (z_{2}){\pmod {\mathbb {R} /2\pi \mathbb {Z} }},\\\operatorname {Arg} \left({\frac {z_{1}}{z_{2}}}\right)&\equiv \operatorname {Arg} (z_{1})-\operatorname {Arg} (z_{2}){\pmod {\mathbb {R} /2\pi \mathbb {Z} }}.\end{aligned}}

Если $z \neq 0$ и $n$ — любое целое число, то ^[1]

\operatorname {Arg} \left(z^{n}\right)\equiv n\operatorname {Arg} (z){\pmod {\mathbb {R} /2\pi \mathbb {Z} }}.

Пример [ править ]

\operatorname {Arg} {\biggl (}{\frac {-1-i}{i}}{\biggr )}=\operatorname {Arg} (-1-i)-\operatorname {Arg} (i)=-{\frac {3\pi }{4}}-{\frac {\pi }{2}}=-{\frac {5\pi }{4}}

Использование комплексного логарифма [ править ]

От $z=|z|e^{i\operatorname {Arg} (z)}$ , мы получаем $i\operatorname {Arg} (z)=\ln {\frac {z}{|z|}}$ , альтернативно $\operatorname {Arg} (z)=Im[\ln {\frac {z}{|z|}}]=Im[\ln z]$ . Поскольку мы берем мнимую часть, любая нормализация действительным скаляром не повлияет на результат. Это полезно, когда есть комплексный логарифм .

Расширенный аргумент [ править ]

Расширенный аргумент числа z (обозначается как ${\overline {\arg }}(z)$ ) — множество всех действительных чисел, конгруэнтных $\arg(z)$ форма 2 $\pi$ . ^[4]

{\overline {\arg }}(z)=\arg(z)+2k\pi ,\forall k\in \mathbb {Z}

Ссылки [ править ]

^ Перейти обратно: ^а ^б ^с ^д Вайсштейн, Эрик В. «Сложный аргумент» . mathworld.wolfram.com . Проверено 31 августа 2020 г.
^ «Чистая математика» . внутренний.ncl.ac.uk . Проверено 31 августа 2020 г.
^ Математический словарь (2002). фаза .
^ «Алгебраическая структура комплексных чисел» . www.cut-the-knot.org . Проверено 29 августа 2021 г.

Библиография [ править ]

Альфорс, Ларс (1979). Комплексный анализ: введение в теорию аналитических функций одной комплексной переменной (3-е изд.). Нью-Йорк; Лондон: МакГроу-Хилл. ISBN 0-07-000657-1 .
Поннусвами, С. (2005). Основы комплексного анализа (2-е изд.). Нью-Дели; Мумбаи: Нароса. ISBN 978-81-7319-629-4 .
Бердон, Алан (1979). Комплексный анализ: принцип аргументации в анализе и топологии . Чичестер: Уайли. ISBN 0-471-99671-8 .
Боровский, Ефрем; Борвейн, Джонатан (2002) [1-е изд. 1989 как Математический словарь ]. Математика . Словарь Коллинза (2-е изд.). Глазго: ХарперКоллинз . ISBN 0-00-710295-Х .

Внешние ссылки [ править ]

Аргумент в математической энциклопедии .

[:1-1] Перейти обратно: ^а ^б ^с ^д Вайсштейн, Эрик В. «Сложный аргумент» . mathworld.wolfram.com . Проверено 31 августа 2020 г.

[2] «Чистая математика» . внутренний.ncl.ac.uk . Проверено 31 августа 2020 г.

[phase-3] Математический словарь (2002). фаза .

[4] «Алгебраическая структура комплексных чисел» . www.cut-the-knot.org . Проверено 29 августа 2021 г.

[1]

[2]

[3]

[4]