Русская Википедия:Многозначная аналитическая функция
Шаблон:Другие значения Многозачная аналитическая функция — многозначная комплексная функция, получаемая при помощи аналитического продолжения по всем путям.Шаблон:Sfn
Определение
Пусть <math>D</math> есть <math>\widehat{\mathbb{C}}</math> или <math>\mathbb{C}^n</math> (также в качестве <math>D</math> допускается произвольная область в <math>\widehat{\mathbb{C}}</math>, <math>\mathbb{C}^n</math>, <math>\widehat{\mathbb{C}^n}</math> или <math>\widehat{\mathbb{C}}^n</math>, или даже вообще <math>D</math> может быть произвольным комплексным многообразием).
Через произвольные аналитические элементы
Аналитическим элементом в <math>D</math>Шаблон:Sfn (иногда просто элементомШаблон:Sfn) называется пара <math>(F,f)</math>, где <math>F\subset D</math> — область в <math>D</math>, а <math>f</math> — голоморфная в этой области функция.
Два аналитических элемента <math>(F,f)</math> и <math>(G,g)</math> называются непосредственным аналитическим продолжением друг друга через область <math>\Delta</math>, если пересечение <math>F \cap G</math> непусто и на одной из компонент связности пересечения <math>\Delta \subset F \cap G</math> функции <math>f</math> и <math>g</math> равны.
Аналитический элемент <math>(F_n,f_n)</math> называется аналитическим продолжением элемента <math>(F_0,f_0)</math> через цепочку областей <math>\Delta_1,\ldots,\Delta_n</math>, если существует такая цепочка элементов <math>(F_1,f_1),\ldots,(F_n,f_n)</math>, что каждый элемент <math>(F_i,f_i)</math> является непосредственным аналитическим продолжением элемента <math>(F_{i-1},f_{i-1})</math> через область <math>\Delta_i</math>.Шаблон:Sfn
Отношение «является аналитическим продолжением через цепочку областей, лежащих в <math>D</math>» между аналитическими элементами в <math>D</math> является отношением эквивалентности. По этому отношению эквивалентности все элементы можно разбить на классы эквивалентности. Эти самые классы эквивалентности называются полными в <math>D</math> аналитическими функциями.Шаблон:Sfn Такие классы эквивалентности отождествляются с многозначными функциями следующим образом: значениями многозначной функции на аргументе <math>x</math> считаются значения функций всех элементов на этой точке, для которых функция в ней определена.
Через ростки
Два аналитических элемента <math>(F,f)</math> и <math>(G,g)</math>, имеющие общую точку <math>a</math>, называются эквивалентными в точке <math>a</math>, если функции <math>f</math> и <math>g</math> равны на пересечении <math>F\cap G</math>. Класс эквивалентности аналитических элементов над <math>D</math>, определённых в точке <math>a</math>, по этому отношению эквивалентности называется ростком аналитической функции над <math>D</math> в точке <math>a</math>.Шаблон:Sfn
Пусть <math>\varphi \colon [0;1] \to D</math> — путь. Говорят что росток <math>p</math> в точке <math>\varphi(0)</math> продолжаем вдоль пути <math>\varphi</math>, если существует семейство ростков <math>p_i,\ i\in [0;1]</math> в точках <math>\varphi(i)</math>, удовлетворяющее следующему условию. Для каждого ростка <math>p_i</math>, каждого его элемента <math>(F,f)</math>, каждой связной окрестности <math>U \in [0;1]</math> точки <math>i</math> такой, что <math>\varphi(U)</math> целиком лежит в <math>F</math> и каждого <math>j\in U</math> элемент <math>(F,f)</math> также является элементом для <math>p_j</math>.Шаблон:Sfn Такое семейство однозначно задаётся путём <math>\varphi</math> и ростком <math>\varphi(0)</math>, а росток <math>\varphi(1)</math> называется аналитическим продолжением ростка <math>p</math> вдоль пути <math>\varphi</math>.Шаблон:Sfn Иногда также определяется понятие аналитического продолжения элемента вдоль пути. Его результатом также является росток и определяется оно просто как аналитическое продолжение вдоль пути ростка, определяемого этим элементом в начальной точке пути.
Полной в <math>D</math> аналитической функцией называется множество всех ростков, полученных продолжением некоторого ростка <math>p</math> вдоль всех путей в <math>D</math>, вдоль которых он продолжаем. Полная в <math>D</math> аналитическая функция называется аналитической в <math>D</math>, если этот росток продолжаем вдоль любых путей в <math>D</math>.Шаблон:Sfn С многозначной функцией такое множество ростков отождествляется следующим образом: значениями многозначной функции на аргументе <math>x</math> считаются значения функций всех ростков с центром в <math>x</math> на этой самой точке <math>x</math>.
Без уточнения области аналитичности под полной аналитической функцией обычно имеют в виду полную аналитическую функцию в <math>\widehat{\mathbb{C}}</math> или <math>\mathbb{C}^n</math>. Под термином же многозначная аналитическая функция или просто аналитическая функция могут иметь в виду что угодно из вышеперечисленного в зависимости от контекста.
Через канонические элементы
Пусть далее <math>D</math> есть <math>\widehat{\mathbb{C}}</math> или <math>\widehat{\mathbb{C}}^n</math>. Тогда для каждого ростка существует элемент, канонически представляющий его. Функция такого элемента представляет собой сумму ряда Тейлора функций ростка в его центре, а область — его область сходимости.Шаблон:Sfn Элемент, в котором функция есть сумма степенного ряда, а множество — его область сходимости, называется каноническимШаблон:Sfn (или вейерштрасовымШаблон:Sfn). Такие элементы взаимо однозначно задают ростки, а значит, могут быть использованы вместо них для упрощения предыдущего определения.
Говорят что канонический элемент <math>(F,f)</math> с центром в точке <math>\varphi(0)</math> продолжаем вдоль пути <math>\varphi</math>, если существует семейство канонических элементов <math>(F_i,f_i),\ i\in [0;1]</math> в точках <math>\varphi(i)</math>, удовлетворяющее следующему условию. Для каждого канонического элемента <math>(F_i,f_i)</math>, каждой связной окрестности <math>U \in [0;1]</math> точки <math>i</math> такой, что <math>\varphi(U)</math> целиком лежит в <math>F_i</math> и каждого <math>j\in U</math> элемент <math>(F_i,f_i)</math> является непосредственным аналитическим продолжением элемента <math>(F_j,f_j)</math>.Шаблон:Sfn Такое семейство однозначно задаётся путём <math>\varphi</math> и элементом <math>\varphi(0)</math>, а элемент <math>\varphi(1)</math> называется аналитическим продолжением канонического элемента <math>(F,f)</math> вдоль пути <math>\varphi</math>.Шаблон:Sfn
Полной в <math>D</math> аналитической функцией называется множество всех канонических элементов, полученных продолжением некоторого канонического элемента <math>(F,f)</math> вдоль всех путей в <math>D</math>, вдоль которых он продолжаем.Шаблон:Sfn Можно также через канонические элементы определелить понятие аналитичности в области. Пусть <math>D'</math> — подобласть в <math>D'</math>. Аналитической в <math>D'</math> функцией называется множество всех канонических элементов, полученных продолжением некоторого канонического элемента <math>(F,f)</math>, такого что <math>F\in D'</math> и элемент продолжаем вдоль всех путей в <math>D'</math>, продолжением вдоль всех путей в <math>D'</math>.Шаблон:Sfn С многозначной функцией такое множество канонических элементов отождествляется следующим образом: значениями многозначной функции на аргументе <math>x</math> считаются значения функций всех канонических элементов с центром в <math>x</math> на этой самой точке <math>x</math>.
Риманова поверхность
Иным подходом к определению многозначных аналитических функций является рассмотрение их как однозначных, но на более сложной области определения.
Пусть <math>f</math> — некоторая полная аналитическая функция, <math>M</math> — множество её ростков. Зададим функцию <math>\pi\colon M \to D</math>, которая каждый росток отправляет в его центр. Такая функция порождает на <math>M</math> топологию, если за базу топологии взять прообразы всех открытых множеств. Более того, такая функция — локальный гомеоморфизм, и нетрудно показать, что она также задаёт на <math>M</math> структуру комплексного многообразия. Такое многообразие вместе с функцией проекции называется римановой поверхностью <math>f</math>.
Суть этой конструкции в следующем. Если рассмотреть функцию <math>g\colon M\to D</math>, которая каждому ростку сопоставляет значение его функций в центре, то такая функция будет голоморфна в <math>M</math> и более того, задавать многозначную функцию <math>f</math> следующим образом:
- <math>f(z)=g(\pi^{-1}(z))</math>.
Таким образом, многозначная функция может быть рассмотрена как однозначная, а условие аналитичности сведено к голоморфности.
Особые точки
У многозначных аналитических функций появляются новые виды изолированных особых точек. Однако дать определение изолированной особой точке в многозначном случае не так просто, как в однозначном. В отличие от однозначного случая такая точка может иметь разный характер для разных ветвей, поэтому необходимы дополнительные условия на вид функции, чтобы понятие определялось корректно.
Пусть <math>D'\in D</math> — проколотая окрестность точки <math>a\in D</math>, причём любая её подобласть, не являющаяся проколотой окрестностью <math>a</math>, односвязна. Тогда для любой аналитической в <math>D'</math> функции точка <math>a</math> называется изолированной особой точкой. Особенность таких функций в том, что единственный способ перейти к другому ростку в той же самой точке, это обойти вокруг изолированную точку. В комплексном анализе доказывается, что количество обходов, которое необходимо совершить для возвращения в тот же самый росток, либо одинаково для каждого ростка, либо вернуться в тот же росток вообще невозможно. Это количество называется порядком изолированно особой точки (в случае невозможности возвращения порядок считается равным <math>\infty</math>). Если порядок равен <math>1</math>, то функция является однозначной и классификация особых точек для неё такая же, как для одозначных аналитических функций. Если же порядок особой точки больше <math>1</math>, то такая точка называется точкой ветвления.
Точки ветвления конечного порядка
В окрестности точки ветвления конечного порядка функция <math>f</math> может быть представлена при помощи особого обобщения ряда Лорана: рядом Пюизё. Для точки ветвления порядка <math>m</math> он имеет вид:
- <math>\sum_{n=-\infty}^{+\infty} a_n z^{\frac{n}{m}}</math>
В каждой точке круга сходимости такой ряд имеет <math>m</math> значений (при вычислении его значения в точке <math>z</math> сначала считаются <math>m</math> значений <math>z^{\frac{1}{m}}</math>, а затем каждое из них подставляется в степенной ряд). Такой ряд задаёт все значения многозначной функции <math>f</math> в окрестности особой точки.
По количеству членов ряда с отрицательными степенями можно дать классификацию аналогичную классификации однозначных изолированных особых точек. Также, часто изолированные особые точки делят на алгебраические и трансцендентные. Алгебраическими особыми точками, называют точки конечного порядка, в которых количество отрицательных членов ряда Пюизё конечно. Если же оно бесконечно или точка имеет бесконечный порядок, то она называется трансцендентной.
Логарифмические точки ветвления
Точки ветвления бесконечного порядка называют логарифмическими точками ветвления. Аналога ряда Лорана как в случае точек конечного порядка для них нет, однако сопоставить им некоторый ряд всё же можно. Один из таких рядов имеет следующий вид:
- <math>\sum_{n=0}^{+\infty} a_n \left(\frac{\operatorname{Ln}{(z)}-\alpha}{\operatorname{Ln}{(z)}+\alpha}\right)^n</math>
Примечания
Литература
