|
АНАЛИТИЧЕСКАЯ ФУНКЦИЯРасстановка ударений: АНАЛИТИ`ЧЕСКАЯ ФУ`НКЦИЯ АНАЛИТИЧЕСКАЯ ФУНКЦИЯ - функция, края может быть представлена степенным рядом. Исключит. важность класса А. ф. определяется следующим. Во-первых, этот класс достаточно широк: он охватывает большинство функций, встречающихся в основных вопросах математики и ее приложений к естествознанию и технике. Во-вторых, класс А. ф. замкнут относительно основных операций арифметики, алгебры и анализа. Наконец, А. ф. обладают важным свойством единственности: каждая А. ф. образует одно «органически связанное целое», представляет собой «единую» функцию во всей своей естественной области существования. Это свойство, к-рое в 18 в. считалось неотделимым от самого понятия функции, приобрело принципиальное значение после установления - в 1-й пол. 19 в. - общей точки зрения на функцию как на произвольное соответствие. Теория А. ф. была создана в 19 в. в первую очередь благодаря работам О. Коши (A. Cauchy), Б. Римана (В. Riemann) и К. Вейерштрасса (К. Weierstrass). Решающее значение в построении этой теории сыграл «выход в комплексную область». Теория А. ф. возникла как теория функций комплексного переменного; и в настоящее время (70-е гг. 20 в.) теория А. ф. составляет основное содержание общей теории функций комплексного переменного. Существуют различные подходы к понятию аналитичности. В основе одного из них, впервые развитого О. Коши и далеко продвинутого Б. Риманом, лежит структурное свойство функции - существование производной по комплексному переменному, или комплексная дифференцируемость. Этот подход тесно связан с геометрическими представлениями. Другой подход, систематич. развивавшийся К. Вейерштрассом, основывается на возможности представления функций степенными рядами; он связан, тем самым, с аналитическим аппаратом, к-рым может быть изображена функция. Основной факт теории А. ф. заключается в тождественности соответствующих классов функций, рассматриваемых в произвольной области комплексной плоскости. Перейдем к точным определениям. Пусть D - область в комплексной плоскости ℂ. Если каждой точке z ∈ D поставлено в соответствие нек-рое комплексное число w, то говорят, что в области D определена (однозначная) функция f комплексного переменного z, и пишут: w = f(z), z ∈ D (или f : D → ℂ). Функция w = f(z) = f(x + iy) может рассматриваться как комплексная функция двух действительных переменных х и у, определенная в области D ⊂ ℝ2 (ℝ2 - евклидова плоскость). Задание такой функции равносильно заданию двух действительных функций u = φ (x, y), v = ψ (x, y), (x, y) ∈ D (w = u + iv). Зафиксировав точку z ∈ D, придадим z приращение Δ z = Δ x + iΔ y (так, что z + Δ z ∈ D) и рассмотрим соответствующее приращение функции f: Δ f(z) = f(z + Δ z) - f(z). Если Δ f(z) = AΔ z + o(Δ z) при Δ z → 0, или, что то же, если существует то функция f наз. дифференцируемой (в смысле комплексного анализа, или в смысле ℂ) в точке z; A = f'(z) - производная функция f в точке z, а AΔ z = f'(z)dz = df(z) - ее дифференциал в этой точке. Функция f, дифференцируемая в каждой точке области D, наз. дифференцируемой в области D. Сравним понятия дифференцируемости функции f как функции двух действительных переменных (в смысле ℝ2) и в смысле ℂ. В первом случае дифференциал df имеет вид где - частные производные функции f. Переходя от независимых переменных х, у к переменным z, z¯, к-рые формально можно считать новыми независимыми переменными, связанными со старыми соотношениями z = x + iy, z¯ = x - iy (становясь на эту точку зрения, функцию f иногда записывают в виде f(z, z¯)), и, выражая dx и dy через dz и dz¯ по обычным правилам вычисления дифференциалов, получают запись df в комплексной форме: где - (формальные) производные функции f по z и z¯, соответственно. Отсюда видно, что дифференцируемость функции f в смысле ℂ имеет место в том и только том случае, когда она дифференцируема в смысле ℝ2 и справедливо равенство к-рое в развернутой форме можно переписать так: Если функция f дифференцируема в смысле С в области D, то последние соотношения справедливы в каждой точке этой области; они наз. уравнениями Коши-Римана. Эти уравнения встречались уже в 18 в. в связи с изучением функций комплексного переменного в трудах Ж. Л. Д'Аламбера и Л. Эйлера (J. L. D'Alembert, L. Euler). Определение, данное в начале, уточняется так. Функция f, определенная в области D, наз. голоморфной (аналитической) в точке z0 ∈ D, если существует окрестность этой точки, в к-рой функция f представляется степенным рядом Если это свойство имеет место в каждой точке z0 области D, то функция f наз. голоморфной (аналитической) в области D. Функция f, голоморфная в точке z0 ∈ D, дифференцируема в этой точке. Более того, сумма сходящегося степенного ряда имеет производные всех порядков (бесконечно дифференцируема) по комплексному переменному z; коэффициенты ряда могут быть выражены через производные функции f в точке z0 по формулам Степенной ряд, записанный в форме наз. рядом Тейлора функции f в точке z0 . Тем самым, голоморфность функции f в области D означает, что в каждой точке области D функция f бесконечно дифференцируема и ее ряд Тейлора сходится к ней в нек-рой окрестности этой точки. С другой стороны, в теории А. ф. устанавливается следующий замечательный факт: функция f, дифференцируемая в области D, голоморфна в этой области (в отдельной точке это утверждение неверно: f(z) = |z|2 = = zz¯ дифференцируема в точке z0 = 0, но нигде не голоморфна). Следовательно, понятия комплексной дифференцируемости и голоморфности функции в области тождественны; каждое из следующих свойств функции f в области D - дифференцируемость в смысле ℂ, дифференцируемость в смысле ℝ2 вместе с выполнением уравнений Коши-Римана, голоморфность - может служить определением аналитичности f в этой области. Еще одна характеристика А. ф. связана с понятием интеграла. Интеграл от функции f = φ + iψ вдоль (ориентированной спрямляемой) кривой Г: z = z(t), t ∈ [α, β], может быть определен формулой: или при помощи криволинейного интеграла: Центральное место в теории А. ф. занимает следующая интегральная теорема Коши: если f - А. ф. в области D, то ∫Г f(z)dz = 0 для любой замкнутой кривой Г ⊂ D, ограничивающей область, принадлежащую D. Верно и обратное заключение (теорема Мореры): если f непрерывна в области D и для любой такой кривой Г, то f - А. ф. в области D. В частности, в односвязной области аналитическими являются те и только те непрерывные функции f, для к-рых интеграл по любой замкнутой кривой Г ⊂ D равен нулю (или, что то же самое, интеграл по любой кривой Р, соединяющей произвольные точки z1, z2 ∈ D, зависит только от точек z1 и z2 и не зависит от формы этой кривой). Эта характеристика А. ф. лежит в основе многих их приложений. Интегральная теорема Коши позволяет получить интегральную формулу Коши, выражающую значения А. ф. внутри области через ее значения на границе этой области: здесь D - область, граница к-рой ∂D состоит из конечного числа непересекающихся спрямляемых кривых (ориентация ∂D предполагается положительной относительна области D), f - функция, аналитическая в нек-рой области G ⊃ D¯ = D ∪ ∂D. Эта формула позволяет, в частности, свести изучение многих вопросов, связанных с А. ф., к соответствующим вопросам для простейшей функции - ядра Коши 1/(ζ - z), ζ ∈ ∂D, z ∈ D. (Подробнее см. статью Интегральные представления аналитических функций.) Важнейшее свойство А. ф. выражается следующей теоремой единственности: две функции, аналитические в области D и совпадающие на к.-л. множестве, имеющем предельную точку в D, совпадают и во всей области D (тождественны). В частности, А. ф. f(z), z ∈ D, отличная от тождественного нуля, может иметь в области D лишь изолированные нули. Если при этом z0 - нуль функции f, то в некоторой окрестности U(z0) точки z0 имеем f(z) = (z - z0)ν g(z), где ν ≥ 1 - натуральное число (называемое кратностью нуля функции f в z0), a g(z) - А. ф. в U(z0), отличная от нуля. Важную роль в изучении А. ф. играют точки, в к-рых нарушается свойство аналитичности - так наз. особые точки А. ф. Рассмотрим здесь изолированные особые точки (однозначных) А. ф. (подробнее см. Особая точка аналитической функции). Если f - А. ф. в кольце вида 0 < |z - z0 | < ρ, то она разлагается в этой области в ряд Лорана содержащий, вообще говоря, не только положительные, но и отрицательные степени z - z0 . Если в этом разложении члены с отрицательными степенями отсутствуют (аn = 0 для n = - 1, - 2,...), то z0 наз. правильной точкой f (устранимой особой точкой). В правильной точке существует и конечен полагая f(z0) = a0, получаем А. ф. во всем круге |z - z0 | < ρ. Если ряд Лорана функции содержит лишь конечное число членов с отрицательными степенями z - z0 : то точка z0 наз. полюсом функции f (кратности μ); полюс z0 характеризуется тем, что Функция f имеет в точке z0 полюс кратности μ тогда и только тогда, когда функция 1/f имеет в этой точке нуль кратности μ. В случае, когда ряд Лорана содержит бесконечное число отрицательных степеней z - z0 (аn ≠ 0 для бесконечного множества отрицательных индексов N), точка z0 наз. существенно особой точкой; в таких точках не существует ни конечного, ни бесконечного предела функции f. Коэффициент а- 1 разложения функции f в ряд Лорана с центром в изолированной особой точке z0 наз. вычетом функции f в точке z0 : Вычет функции f в точке z0 может быть определен формулой где γ = {z: |z - z0 | = ρ }, ρ > 0 - достаточно мало (так что круг |z - z0 | ≤ ρ не содержит особых точек функции f, отличных от z0). Важная роль вычетов определяется следующей теоремой: если f - А. ф. в области G, за исключением нек-рого множества изолированных особых точек, Г ⊂ G - контур, ограничивающий область D ⊂ G и не проходящий через особые точки функции f, z1, ..., zn - все особые точки f, лежащие в D, то Эта теорема дает эффективное средство для нахождения интегралов (см. также Вычет). Сумма членов ряда Лорана функции f в точке z0, соответствующая отрицательным индексам n, наз. главной частью ряда Лорана (или функции f) в точке z0 . Именно главная часть определяет характер особенности функции f в точке z0 . Функции, представимые в виде отношения двух функций, голоморфных в области D, наз. мероморфными в области D. Мероморфная в области функция голоморфна в этой области за исключением, быть может, конечного или счетного множества полюсов; в полюсах значения мероморфной функции считаются равными бесконечности. Если допустить такие значения, то мероморфные в области D функции могут быть определены как функции, к-рые в окрестности каждой точки z0 ∈ D представимы рядом по степеням z - z0, содержащим конечное (зависящее от z0) число членов с отрицательными степенями z - z0 . Часто аналитическими в области D наз. как голоморфные, так и мероморфные в этой области функции. В этом случае голоморфные функции наз. также регулярными аналитическими, или просто регулярными. Простейший класс А. ф. составляют функции, голоморфные во всей плоскости; такие функции наз. целыми. Целые функции представимы рядами a0 + a1 z + ... + an zn + ... сходящимися во всей плоскости. К ним относятся многочлены от z, функции Теорема Вейерштрасса утверждает, что какова бы ни была последовательность комплексных чисел αn, n = 1, 2, ..., не имеющая предельных точек в С. существует целая функция F, обращающаяся в нуль в точках αn, и только в этих точках (среди точек αn могут быть совпадающие; им отвечает нуль функции F соответствующей кратности). При этом функция F может быть представлена в виде (вообще говоря, бесконечного) произведения целых функций, каждая из к-рых имеет только по одному нулю. Напр., Функции, мероморфные во всей плоскости (т. е. представимые в виде отношения целых функций), наз. мероморфными функциями. Таковыми являются рациональные функции, tg z = sin z / cos z, ctg z = = cos z / sin z, эллиптич. функции и др. Согласно теореме Миттаг-Леффлера, для любой последовательности βn ∈ ℂ, n = 1, 2, ..., не имеющей предельных точек в ℂ, существует мероморфная функция G с полюсами в точках βn (и только в этих точках), главные части к-рой в точках βn совпадают с заранее заданными многочленами от 1/(z - βn). При этом функция G может быть представлена в виде (вообще говоря, бесконечной) суммы мероморфных функций, каждая из к-рых имеет полюс только в одной точке. Напр., Теоремы о существовании голоморфной функции с заданными нулями и мероморфных функций с заданными полюсами и главными частями справедливы и для произвольной области D ⊂ ℂ Важное значение для изучения А. ф. имеют связанные с ними геометрич. представления. Если f : D → C - А. ф., то образ f(D) области D также является областью (принцип сохранения области). При f'(z0) ≠ 0 отображение f сохраняет углы в z0 как по величине, так и по знаку, т. е. является конформным. Таким образом, существует тесная связь между аналитичностью и важным геометрич. понятием конформного отображения. Если f - А. ф. в D и f(z') ≠ f(z'') при z' ≠ z'' (такие функции наз. однолистными), то f'(z) ≠ 0 в D и f определяет взаимно однозначное и конформное отображение области D на область f(D). Теорема Римана, основная теорема теории конформных отображений, утверждает, что в любой односвязной области, граница к-рой содержит более одной точки, существуют однолистные А. ф., конформно отображающие эту область на круг или полуплоскость (см. Конформное отображение, Однолистная функция). Действительная и мнимая части функции f = φ + iψ, голоморфной в области D, удовлетворяют в этой области уравнению Лапласа: т. е. являются гармоническими функциями. Две гармония, функции, связанные между собой уравнениями Коши-Римана, наз. сопряженными. В односвязной области любая гармония, функция φ имеет сопряженную функцию ψ и является, тем самым, действительной частью нек-рой голоморфной в D функции f. Связи с конформными отображениями и гармонич. функциями лежат в основе многих приложений теории А. ф. Функция f(z), z ∈ E (E ⊂ ℂ - произвольное множество) наз. аналитической в точке z0 ∈ E, если существует окрестность этой точки, на пересечении к-рой с множеством Е функция f представляется сходящимся степенным рядом. Функция f наз. аналитической на множестве Е, если она аналитична на нек-ром открытом множестве, содержащем Е (точнее, если существуют открытое множество, содержащее Е, и аналитическая на нем функция F, совпадающая с f на множестве Е). Для открытых множеств понятие аналитичности совпадает с понятием дифференцируемости по множеству. Однако в общем случае это не так; в частности, на действительной прямой существуют функции, не только имеющие производную, но и бесконечно дифференцируемые в каждой точке, к-рые не являются аналитическими ни в одной точке этой прямой. Для справедливости теоремы единственности А. ф. существенно свойство связности множества Е. Именно поэтому А. ф. рассматриваются обычно в областях, т. е. на открытых и связных множествах. Все сказанное выше относилось к однозначным А. ф. f, рассматриваемым в данной области D (или на данном множестве Е) комплексной плоскости. Задаваясь вопросом о возможности продолжения функции f - как А. ф. - в большую область, приходят к понятию А. ф., рассматриваемой в целом - во всей своей естественной области существования. При таком продолжении данной функции область ее аналитичности, расширяясь, может налегать сама на себя, доставляя новые значения функции в точках плоскости, где она уже была определена. Поэтому А. ф., рассматриваемая в целом, вообще говоря, оказывается многозначной. К необходимости изучения многозначных А. ф. приводят многие вопросы анализа (обращение функций, нахождение первообразных и построение А. ф. с заданной действительной частью в многосвязных областях, решение алгебраич. уравнений с аналитич. коэффициентами и др.); такими функциями являются , Ln z, Arcsin z, Arctg z, алгебраические функции и т. д. Регулярный процесс, приводящий к полной А. ф., рассматриваемой в своей естественной области существования, был указан К. Вейерштрассом; он носит назв. аналитического продолжения по Вейерштрассу. Исходным является понятие элемента А. ф. - степенного ряда с ненулевым радиусом сходимости. Такой элемент W0 : определяет нек-рую А. ф. f в своем круге сходимости K0 . Пусть z1 - точка круга K0, отличная от z0 . Разлагая функцию f в ряд с центром в точке z1, получаем новый элемент W1 : круг сходимости к-рого обозначим через К1 . В общей части кругов K0 и К1 ряд W1 сходится к той же функции, что и ряд W0 . Если круг К1 выходит за пределы круга K0, то ряд W1 определяет функцию, заданную посредством W0, на нек-ром множестве вне K0 (где ряд W0 расходится). В этом случае элемент W1 наз. непосредственным аналитич. продолжением элемента W0 . Пусть W0, W1, ..., WN - цепочка элементов, в к-рой Wn + 1 является непосредственным аналитич. продолжением Wn (n = 0, 1, ..., N - 1); тогда элемент WN наз. аналитич. продолжением элемента W0 (посредством данной цепочки элементов). Может оказаться так, что центр круга KN принадлежит кругу K0, но элемент не является непосредственным аналитич. продолжением элемента W0 . В этом случае суммы рядов W0 и WN в общей части кругов K0 и KN имеют различные значения; тем самым аналитич. продолжение может привести к новым значениям функции в круге K0 . Совокупность всех элементов, к-рые могут быть получены аналитич. продолжением элемента W0, образуют полную А. ф. (в смысле Вейерштрасса), порожденную элементом W0 ; объединение их кругов сходимости представляет собой (вейерштрассову) область существования этой функции. Из теоремы единственности А. ф. следует, что А. ф. в смысле Вейерштрасса полностью определяется заданием элемента W0 . При этом в качестве исходного может быть взят любой другой элемент, принадлежащий этой функции; полная А. ф. от этого не изменится. Полная А. ф. f, рассматриваемая как функция точек плоскости, принадлежащих ее области существования D, вообще говоря, является многозначной. Чтобы избавиться от многозначности, функцию f рассматривают не как функцию точек плоской области D, а как функцию точек нек-рой (лежащей над областью D) многолистной поверхности R такой, что каждой точке области D соответствует столько (проектирующихся в нее) точек поверхности R, сколько различных элементов с центром в этой точке имеет полная А. ф. f; на поверхности R функция f становится однозначной функцией. Идея перехода к таким поверхностям принадлежит Б. Риману, а сами они носят назв. римановых поверхностей. Абстрактное определение понятия римановой поверхности позволило заменить теорию многозначных А. ф. теорией однозначных А. ф. на римановых поверхностях. Фиксируем область Δ, принадлежащую области существования D полной А. ф. f, и к.-л. элемент W функции f с центром в точке области Δ. Совокупность всех элементов, к-рые могут быть получены аналитич. продолжением элемента W посредством цепочек с центрами, принадлежащими Д, наз. ветвью А. ф. f. Ветвь многозначной А. ф. может оказаться однозначной А. ф. в области Δ. Так, напр., произвольные ветви функций и Lnz, соответствующие любой односвязной области, не содержащей точку 0, являются однозначными функциями; при этом имеет ровно n, a Lnz - бесконечное множество различных ветвей в каждой такой области. Выделение однозначных ветвей (при помощи тех или иных разрезов области существования) и их изучение средствами теории однозначных А. ф. является одним из осп. приемов исследования конкретных многозначных А. ф. А. А. Гончар. Аналитические функции нескольких комплексных переменных. Комплексное пространство ℂn (состоящее из точек z = (z1, ..., zn), zk = xk + iyk) - это векторное пространство над полем комплексных чисел с евклидовой метрикой От 2n-мерного евклидова пространства ℝ2n оно отличается нек-рой асимметрией: при переходе от ℝ2n к ℂn (т. е. при введении в ℝ2n комплексной структуры) координаты разбиваются на пары, к-рые выступают в комплексе (zk = xk + iyk). Если комплексная функция f = φ + iψ задана в области D ⊂ ℂn и дифференцируема в каждой точке z ∈ D в смысле ℝ2n (т. е. как функция 2n действительных переменных xk и yk), то ее дифференциал может быть представлен в виде где dzk = dxk + idyk, dz¯k = dxk - idyk а символы определяются так же, как и в плоском случае. Если при этом df имеет вид т. е. является комплексно линейной функцией от dz1, ..., dzn, то функция f наз. дифференцируемой в смысле ℂn, или голоморфной, или аналитической в области D. Таким образом, условие голоморфности f в области D ⊂ ℂn состоит из условия ее дифференцируемости в смысле ℝ2n и системы n комплексных равенств ∂f/∂z¯k = 0 (k = 1, ..., n), к-рая равносильна системе 2n уравнений с частными производными 1-го порядка (система Коши-Римана). В пространственном случае (n > 1), в отличие от плоского (n = 1), эта система переопределена - число уравнений превышает число неизвестных функций. Переопределенность остается и при переходе к геометрически более естественному пространственному аналогу голоморфной функции одного комплексного переменного - голоморфному отображению f, осуществляемому системой f = (f1, ..., fn) из n голоморфных в области D ⊂ ℂ функций fk . Отображение f : D → G = f (D) наз. биголоморфным, если оно взаимно однозначно и голоморфно вместе с обратным f- 1 : G → D. Условия голоморфности отображения f : D → ℂn выражаются системой 2n2 действительных уравнений относительно 2n действительных функций. Переопределенность условий голоморфности при n > 1 является причиной ряда эффектов, специфичных для пространственного случая, таких, как отсутствие пространственного аналога Римана теоремы о существовании конформных отображений. По теореме Римана, при n = 1 всякие две односвязные области, границы которых не сводятся к точке, изоморфны. Однако при n > 1 неизоморфными оказываются даже такие простые односвязные области, как шар {|z| < 1} и произведение кругов (поликруг) {|zν | < 1, ν = 1, ..., n}. Неизоморфность обнаруживается при сравнении групп автоморфизмов этих областей (т. е. их биголоморфных отображений на себя) - группы оказываются алгебраически неизоморфными, а биголоморфное отображение одной области на другую, если бы оно существовало, устанавливало бы изоморфизм этих групп. Отмеченное обстоятельство существенно отличает теорию биголоморфных отображений областей комплексного пространства от теории конформных отображений плоских областей. Функция f наз. голоморфной в точке a ∈ ℂn, если она голоморфна в нек-рой окрестности этой точки. По условиям Коши-Римана, голоморфная в точке а функция нескольких переменных голоморфна по каждому переменному (при фиксированных значениях остальных переменных). Справедливо и обратное: если функция f в окрестности нек-рой точки голоморфна по каждому переменному в отдельности, то она голоморфна в этой точке (основная теорема Гартогса). Голоморфность функции f в точке а = (a1, ..., an), по аналогии с плоским случаем, эквивалентна ее разложимости в окрестности этой точки в кратный степенной ряд или, в сокращенной записи, где k = (k1, ..., kn) - целочисленный векторный индекс kν ≥ 0, |k| = k1 + ... + kn и Голоморфная функция бесконечно дифференцируема, и этот ряд - ее ряд Тейлора, т. е. (производные берутся в точке а). На голоморфные функции нескольких переменных распространяются основные факты теории голоморфных функций одного переменного, иногда в измененной формулировке, напр., Вейерштрасса теорема подготовительная, к-рая распространяет на пространственный случай свойство голоморфных функций одного переменного обращаться в нуль как целая степень z - a. Теорема формулируется так: если голоморфная в точке а ∈ ℂn функция f ≢ 0 равна нулю в этой точке, то в нек-рой окрестности U(а) ее можно представить (возможно, после невырожденного линейного преобразования независимых переменных) в виде где k ≥ 1 - целое число, cν (ν = 1, ..., k) - функции от 'z = (z1, ..., zn - 1), голоморфные в окрестности точки 'а = (a1, ..., an - 1) ∈ ℂn (штрих перед буквой обозначает проекцию в пространство первых (n - 1) координат) и равные нулю в a, a φ голоморфна и отлична от нуля в U(а). Эта теорема имеет принципиальное значение для изучения аналитических множеств, к-рые локально, в окрестности каждой своей точки, описываются как множества общих нулей нек-рого числа голоморфных в этой точке функций. Согласно теореме Вейерштрасса, такие множества локально описываются как множества общих нулей полиномов по одному переменному zn с коэффициентами из кольца голоморфных функций от остальных переменных 'z. Это обстоятельство позволяет при локальном изучении аналитич. множеств широко пользоваться алгебраич. методами. Интегральная теорема Коши также несколько видоизменяется в пространственном случае и наз. теоремой Коши-Пуанкаре: пусть функция f голоморфна в области D ⊂ ℂn, тогда для любой (n + 1)-мерной поверхности G, компактно принадлежащей D, с кусочно гладкой границей ∂G При этом интеграл, как и в плоском случае, определяется параметрич. заданием множества: если ∂G имеет уравнение z = z(t), где параметр t = (t1, ..., tn) меняется в n-мерной клетке In = {αk ≤ tβ ≤k, k = 1, ..., n}, то, по определению Отличие пространственного случая от плоского состоит в том, что здесь размерность поверхности G меньше размерности области D, а в плоском случае эти размерности совпадают (n + 1 = 2n). Пространственный аналог интегральной формулы Коши особенно просто выписывается для поликруговых областей, т. е. произведений плоских областей. Пусть D = D1 ×... × Dn - такая область, где Dk - область плоскости комплексного переменного с кусочно гладкой границей ∂Dk (k = 1, ..., n), а функция f голоморфна в области, компактно содержащей D. Тогда последовательное применение интегральной формулы Коши для одного переменного дает для любой точки z ∈ D где Г = ∂D1 ×... × ∂Dn есть n-мерная поверхность на границе ∂D, ζ = (ζ1, ..., ζn) и Однако поликруговые области составляют лишь весьма специальный класс, а в областях общего вида подобное разделение переменных невозможно. Роль интеграла Коши для произвольных областей D ⊂ ℂn с кусочно гладкой границей играет интегральная формула Мартинелли-Бохнера: для любой функции f, голоморфной в области, к-рая содержит D¯, и для любой точки z ∈ D где dζ = dζ1 ...dζn, а Это - формула Грина для пары функций, одна из к-рых голоморфна в D, а другая является фундаментальным решением уравнения Лапласа в пространстве ℝ2n с особенностью в точке ζ = z. При n = 1 это обычный интеграл Коши. При n > 1 формула отличается от кратного интеграла Коши для произведения плоских областей тем, что: во-первых, интегрирование в ней ведется по (2n - 1)-мерной границе области, а не по ее n-мерной части; во-вторых, ее ядро (множитель при f под знаком интеграла) зависит от параметра z не аналитически. В ряде задач, однако, аналитичность ядра существенна, и поэтому желательно построить интегральную формулу с таким ядром для возможно более широкого класса областей. Обширный запас интегральных формул, в том числе для многих областей с аналитич. ядром, содержится в общей Лере формуле. Эта формула имеет вид где ω = (ω1, ..., ωn) - гладкая вектор-функция, dζ и δ определены выше и предполагается, что < ζ - z, ω (ζ) > ≠ 0 при любом фиксированном z ∈ D и ζ, пробегающем ∂D. Величина интеграла в этой формуле не зависит от выбора вектор-функции ω (ζ) (если только < ζ - z, ω (ζ) < ≠ 0 при всех z ∈ D, ζ ∈ ∂D), а при ω (ζ) = ζ¯ - z¯ этот интеграл совпадает с интегралом Мартинелли-Бохнера. Варьирование выбора со для разных классов областей позволяет получить из формулы Лере различные интегральные формулы. В теории А. ф. нескольких переменных рассматриваются и другие интегральные представления, справедливые для тех или иных классов областей. Важный класс составляют так наз. области Beйля, являющиеся обобщением произведения плоских областей. Для них справедливо Бергмана-Вейля представление с ядром, также аналитически зависящим от параметра. Как и в плоском случае, основной интерес представляет изучение особенностей А. ф. ; при этом принципиальное отличие пространственного случая от плоского выражается теоремой Осгуда-Брауна о стирании компактных особенностей, согласно к-рой любая функция f, голоморфная в D\K, где D - область из ℂn (n > 1), а К - компактно принадлежащее D множество, не разбивающее D, голоморфно продолжается во всю область D. По этой теореме голоморфные функции нескольких переменных не могут иметь изолированных особых точек. Место последних в ℂn (n > 1) занимают особые множества, к-рые являются аналитическими, если их размерность ниже 2n - 1. Отмеченное обстоятельство является определяющим для многомерной теории вычетов. В этой теории изучается задача о вычислении интеграла от функции f, голоморфной всюду в области D ⊂ ℂn, за исключением аналитич. множества М, по замкнутой n-мерной поверхности σ, не пересекающейся с М. Так как размерность особого множества М ниже размерности D по крайней мере на 2, то М не разбивает D. Если поверхность σ не зацеплена с М, т. е. ограничивает (n + 1)-мерную поверхность G, компактно принадлежащую D\M, то (по теореме Коши-Пуанкаре) ∫σ fdz = 0. В общем случае для вычисления этого интеграла нужно выяснить, как σ зацеплена с особым множеством М, и вычислить интегралы по специальным n-мерным поверхностям, ассоциированным с отдельными порциями множества М (вычеты). Решение этой задачи связано со значительными топологич. и аналитич. трудностями. В ряде случаев их помогают преодолеть методы, предложенные Мартинелли и Лере. Метод Мартинелли основан на применении топологич. принципа двойственности Александера-Понтрягина и сводит изучение n-мерных гомологии множества D\M к изучению (n - 1)-мерных гомологии особого множества М. Метод Лере имеет более общий характер; он основан на рассмотрении специальных гомологич. классов и вычислении нек-рых дифференциальных форм (форм-вычетов). Многомерная теория вычетов нашла приложения в теоретич. физике (См. Фейнмана интеграл). Теорема Осгуда-Брауна выявляет важное принципиальное отличие пространственной теории от плоской. На плоскости для любой области D можно построить функцию f, к-рая голоморфна в D и не продолжается аналитически за ее пределы, т. е. является естественной областью существования. В пространстве это не так: напр., шаровой слой {1/2 < |z| < 1} не может быть областью существования никакой голоморфной функции, ибо по теореме Осгуда-Брауна любая голоморфная в нем функция непременно аналитически продолжается на весь шар {|z| < l}. Возникает задача характеризации естественных областей существования голоморфных функций - так наз. областей голоморфности. Простой достаточный признак можно сформулировать при помощи понятия барьера в граничной точке области, т. е. функции fζ (z), голоморфной в этой области и неограниченно возрастающей при приближении к ζ. Именно D ⊂ ℂn является областью голоморфности, если для всюду плотного множества точек ее границы можно построить барьер. Этому условию удовлетворяет, в частности, любая выпуклая область; для любой точки ζ ∈ ∂D достаточно в (2n - 1)-мерной опорной плоскости к D в точке ζ выбрать (2n - 2)-мерную плоскость вида и тогда барьером будет функция fζ = 1/Lζ . Следовательно, каждая выпуклая область в ℂn есть область голоморфности. Однако выпуклость не является необходимым признаком голоморфности: произведение плоских областей всегда есть область голоморфности, а такое произведение может и не быть выпуклым. Тем не менее если надлежащим образом обобщить понятие выпуклости, то можно прийти к необходимому и достаточному признаку. Одно из таких обобщений основано на том, что выпуклую оболочку множества K ⊂ ℝn можно описать как совокупность точек, в к-рых значение любой линейной функции не превосходит верхней грани значений этой функции на К. По аналогии, голоморфно выпуклой оболочкой множества K ⊂ D ⊂ ℂn наз. совокупность где O(D) означает множество всех голоморфных в области D функций. Область D ⊂ ℂn наз. голоморфно выпуклой, если из того, что множество компактно принадлежит D, вытекает, что и К^H компактно принадлежит D. Голоморфная выпуклость является необходимым и достаточным условием области голоморфности. Этот критерий, однако, не очень эффективен, ибо голоморфная выпуклость трудно проверяется. Другое обобщение связано с понятием плюрисубгармонической функции, к-рая является комплексным аналогом выпуклой функции. Выпуклую функцию в нек-рой области из ℝn можно определить как функцию, сужения к-рой на принадлежащие области отрезки прямых x = x0 + ω t (здесь х0, ω ∈ ℝ, a t - действительный параметр) являются выпуклыми функциями от t. Плюрисубгармонической в области D ⊂ ℂn наз. такую полунепрерывную сверху в этой области действительную функцию φ, сужение к-рой на принадлежащие D части комплексной прямой z = z0 + ω ζ (z0, ω ∈ ℂn, ζ-комплексный параметр) является субгармонич. функцией от ζ. Если φ дважды непрерывно дифференцируема, то условие ее плюрисубгармоничности по правилу дифференцирования сложных функций выражается условием неотрицательности эрмитовой формы к-рая наз. формой Леви. Область D ⊂ ℂn наз. псевдовыпуклой, если для нее функция - ln d(z, ∂D), где d(z, ∂D) означает евклидово расстояние точки z ∈ D до границы ∂D, является плюрисубгармонич. в этой области. Псевдовыпуклость также является необходимым и достаточным условием области голоморфности. В ряде случаев псевдовыпуклость области удается проверить эффективно. Для областей, не являющихся областью голоморфности, возникает задача описания ее оболочки голоморфности, т. е. наименьшей области голоморфности, в к-рую аналитически продолжается любая функция, голоморфная в D. Для областей простейших типов оболочку голоморфности удается построить эффективно. Однако в общем случае задача неразрешима в классе однолистных областей. В процессе аналитич. продолжения функций за пределы заданной области D в нек-рых случаях возникает многозначность, для избежания к-рой приходится вводить многолистные области наложения над D, аналогичные римановым поверхностям. В классе областей наложения задача построения оболочек голоморфности всегда разрешима. Эта задача также имеет приложения в теоретич. физике, именно - в квантовой теории поля. Переход от плоскости к комплексному пространству существенно расширяет круг геометрич. вопросов, связанных с голоморфными функциями. В частности, такие функции естественно рассматривать не только в областях, но и на комплексных многообразиях - гладких многообразиях четной действительной размерности, соотношения соседства к-рых биголоморфны. Среди них особую роль играют Штейна многообразия - естественные обобщения областей голоморфности. Ряд вопросов анализа сводится к задаче построения в данной области голоморфной функции с заданными нулями или мероморфной функции с заданными полюсами и главными частями лорановских разложений. В плоском случае, согласно теоремам Вейерштрасса и Миттаг-Леффлера и их обобщениям, эти задачи решены для произвольной области. В пространственном случае это не так - разрешимость аналогичных задач, к-рые наз. проблемами Кузена, обусловлена нек-рыми топологич. и аналитич. свойствами рассматриваемых комплексных многообразий. Центральным пунктом решения проблем Кузена является построение из локально заданных функций с теми или иными свойствами глобальной функции, определенной на всем рассматриваемом многообразии и обладающей теми же локальными свойствами. Для такого рода построений оказались очень хорошо приспособленными методы теории пучков, к-рая возникла в процессе алгебраико-топологич. обработки понятия аналитич. функции и нашла важные применения в самых разных отраслях математики. Решение проблемы Кузена методами теории пучков получено в работах А. Картана (Н. Cartan) и Ж. Серра (J. Serre). Б. В. Шабат. Современная теория аналитических функций и их обобщений представляет собой одну из важнейших ветвей анализа, тесно связанную с самыми разнообразными разделами математики и имеющую многочисленные приложения к теоретич. физике, механике и технике. Фундаментальные исследования по теории А. ф. и их приложениям принадлежат советским математикам. Широкий интерес к теории функций комплексного переменного в России возник в нач. 20 в. в связи с замечательными исследованиями рус. ученых по приложениям теории А. ф. к различным вопросам механики сплошных сред. Важнейшие задачи гидро- и аэродинамики были решены на базе методов теории А. ф. в трудах Н. Е. Жуковского и С. А. Чаплыгина. В работах Г. В. Колосова и Н. И. Мусхелишвили эти методы нашли глубокие приложения к теории упругости. В последующие годы теория функций комплексного переменного получила в нашей стране всестороннее развитие. Фундаментальные исследования В. В. Голубева, Н. Н. Лузина, И. И. Привалова и В. И. Смирнова - по граничным свойствам А. ф., М. А. Лаврентьева - по геометрич. теории функций комплексного переменного (квазиконформные отображения и их приложения к газовой динамике), М. В. Келдыша, М. А. Лаврентьева и Л. И. Седова - по приложениям методов теории А. ф. к задачам механики сплошных сред, Д. Е. Меньшова - по теории моногенности, М. В. Келдыша, М. А. Лаврентьева и С. Н. Мергеляна - по теории приближений функций комплексного переменного, И. Н. Векуа - по теории обобщенных А. ф. и их приложениям, А. О. Гельфонда - по теории интерполяции, Н. Н. Боголюбова и В. С. Владимирова - по теории А. ф. нескольких переменных и ее применениям в квантовой теории поля и многие др. сыграли определяющую роль в развитии соответствующих разделов теории А. ф. Теория А. ф. одного и нескольких комплексных переменных и их обобщений продолжает активно развиваться. См. Граничные свойства аналитических функций, Квазиконформное отображение, Граничные задачи теории аналитических функций, Приближение функций комплексного переменного. Лит. : [1] Привалов И. И., Введение в теорию функций комплексного переменного, 11 изд., М., 1967; [2] Смирнов В. И., Курс высшей математики, 8 изд., т. 3, ч. 2, М., 1969; [3] Маркушевич А. И., Теория аналитических функций, 2 изд., т. 1-2, М., 1967-68; [4] Лаврентьев М. А., Шабат Б. В., Методы теории функций комплексного переменного, 4 изд., М., 1973; [5] Голузин Г. М., Геометрическая теория функций комплексного переменного, 2 изд., М., 1966; [6] Евграфов М. А., Аналитические функции, 2 изд., М., 1968; [7] Свешников А. Г., Тихонов А. Н., Теория функций комплексной переменной, М., 1967; [8] Фукс Б. А., Теория аналитических функций многих комплексных переменных, 2 изд., ч. 1-2, М., 1962-63; [9] Владимиров В. С., Методы теории функций многих комплексных переменных, М., 1964; [10] Маркушевич А. И., Очерки по истории теории аналитических функций, М. - Л., 1951; [11] Математика в СССР за тридцать лет, 1917-1947, М. - Л., 1948, с. 319-414; [12] Математика в СССР за сорок лет, 1917-1957, т. 1, М., 1959, с. 381-510; [13] Шабат Б. В.. Введение в комплексный анализ, ч. 1-2, 2 изд., М., 1976; [14] Бицaдзe А. В., Основы теории аналитических функций комплексного переменного, М., 1969. А. А. Гончар, Б. В. Шабат. Источники:
|
|
|||
© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник: http://mathemlib.ru/ 'Математическая библиотека' |