Математическая энциклопедия - моногенная функция

функция комплексного переменного, имеющая конечную производную.

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

Функция, моногенная в каждой неизолированной точке множества Е, наз. моногенной на Е.

Если E=Gобласть плоскости , то функция, моногенная на G, наз. аналитической функцией в области G.

Если Ене является областью, то моногенные на Ефункции, вообще говоря, уже не обладают характерными свойствами аналитич. ций. Однако если множество Е, не содержащее в своем составе областей, является достаточно "массивным" вблизи большинства своих точек (точнее, если дополнение к Ев плоскости является достаточно разреженным вблизи большинства точек ), то функции, моногенные на Е, обладают в ослабленном виде многими свойствами аналитич. ций. В попытках разобраться в глубинных связях между основными свойствами аналитич. ций понятие аналитич. ции обобщалось различными путями: посредством обобщения ее области определения, обобщения самого понятия производной, ослабления условий Кошп Римана, ослабления условий теоремы Мореры и т. п. (см. [13] § 6). С этой же целью для "тощих" множеств Е, напр, для отрезка выделялись т. н. квазианалитические классы функций. Изучались также функции, определенные на нигде не плотных достаточно массивных компактах Е, близкие аналитич. циям в том смысле, что они могут быть с любой точностью равномерно на Еприближены аналитич. циями или, что то же самое, рациональными функциями переменной z.

Ниже приведены нек-рые результаты из перечисленных направлений.

1. Функции, моногенные в области. Если (при этом и действительнозначные функции), то для аналитичности в области Gдостаточно (и необходимо) выполнения в каждой точке одновременно двух условий:

1)имеют полные дифференциалы и по совокупности действительных переменных (x, y); 2) выполнены условия Коши Римана:

Условия этой теоремы ослаблялись и обобщались. Напр., показано, что требование существования полных дифференциалов у и можно заменить существенно более слабым условием ограниченности и в и, сохранив требование существования первых частных производных функций и всюду в G, потребовать выполнение условий Коши Римана лишь почти всюду в G(в смысле плоской меры, Лебега) (см. [6]).

Пусть какая-либо пара различных прямых, пересекающихся в точке z, R(z) какая-либо тройка выходящих из z попарно неколлинеарных лучей и Е(z) какое-либо измеримое множество, имеющее z своей точкой плотности в смысле Лебега. Аналитичность непрерывной в Gфункции f(z) обеспечивается каждым из следующих условий в отдельности (см. [3] [5]): а) всюду в Gсуществует б) всюду в Gсуществует в) всюду в Gсуществует . Здесь каждое из множеств L(z), R(z), Е(z) свое для каждой точки. Следует заметить, что зависит от f и z, но не зависит от Е(z); производная наз. асимптотической (аппроксимативной) производной, а функция, имеющая аеймптотич. производную в точке z(соответственно в области G), наз. асимптотически моногенной в точке z (соответственно в G). Вместо условия б) достаточно потребовать существования предела для