9.
- голоморфные функции двойной переменной
Перейдем к определению класса голоморфных функций
Hol

Свойство обычной дифференцируемости функции двух переменных в некоторой точке,
записанное в терминах пары независимых двойных переменных

и

, имеет вид:
 |
(93) |
или в изотропном базисе:
Здесь мы определяем

где символ

-малое в последнем выражении справа имеет смысл, общепринятый в
вещественном анализе.
Определим класс
Hol

-голоморфных (в точке) функций условием

в (
93).
При этом мы приходим к следующему выражению для приращения функции голоморфной функции:
 |
(94) |
С учетом доопределения операции деления с помощью (
81), мы
можем записать условие

-голоморфности в точке

с помощью формальной
частной производной:
 |
(95) |
где
 |
(96) |
При этом частная производная в (
95) понимается как предел:
 |
(97) |
где

-- норма прямой суммы 1-мерных
вещественных евклидовых норм.
Функцию

, голоморфную в каждой точке некоторой открытой области

будем называть голоморфной в области

и отмечать этот факт
так:

Hol

С учетом (
96) производную
(
95) можно расписать в компонентах следующим образом:
 |
(98) |
откуда приходим к следующему общему виду

-голоморфной функции двойной переменной в изотропном базисе:
 |
(99) |
где

-- дифференцируемые функции вещественной переменной.
Таким образом, мы приходим к заключению, что класс

-голоморфных
функций устроен как декартов квадрат вещественно-дифференцируемых
функций одной переменной:
Hol
Это обстоятельство означает, что голоморфные функции двойной
переменной устроены проще, чем голоморфные функции комплексной переменной. В частности, на двойной плоскости
нет тождества голоморфности и аналитичности
13.
Тем не менее, далее мы увидим, что значительная часть свойств
комплексных голоморфных функций формально воспроизводится и их

-голоморфными аналогами. Перейдем к установлению этих свойств.
Уравнение (
98) по существу представляет гиперболические
условия Коши-Римана в изотропном базисе. Переходя к стандартному
базису

с учетом (
96) получаем для функции

:
 |
(100) |
-- гиперболические условия Коши-Римана, выражающие свойство

-дифференцируемости в базисе

Они отличаются знаком от стандартных условий Коши-Римана на
Применяя оператор

к уравнению

комплексной
дифференцируемости, получаем дифференциальное следствие
 |
(101) |
которому удовлетворяет всякая

-голоморфная функция. Из
(
96) следует, что оператор

вещественный, и что он с точностью до числового множителя
совпадает с 2-мерным волновым оператором (который можно было бы назвать "гиперболическим
лапласианом"):
 |
(102) |
Отсюда, в свою очередь, следует, что компоненты

-голоморфной
функции в любом базисе удовлетворяют волновому уравнению:
 |
(103) |
Множество

мы будем называть

-
гармоническими
функциями, а

-гармонические функции

и

являющиеся компонентами некоторой

-голоморфной функции естественно называть
сопряженными

-гармоническими функциями. Рассмотрим произвольную

-гармоническую функцию

в переменных

в которых

По известной теореме математической физики ее всегда можно
представить как сумму произвольных дважды дифференцируемых функций опережающего и
запаздывающего аргументов:
Условия (
100) приводят к системе дифференциальных уравнений
на

-гармонически сопряженную функцию

в базисе

:
 |
(104) |
Условия интегрируемости этой системы уравнений:

выполняются тождественно, а сама система интегрируется
непосредственно. Результат -- функция

-гармонически
сопряженная к

-- имеет вид:
const |
(105) |
откуда приходим к заключению, что
в базисе14
всякая
-гармоническая функция определяет свою
-гармонически сопряженную с точностью до константы.
Всякую

-голоморфную функцию можно рассматривать как отображение
(деформацию)

Ввиду соотношений:

в изотропном базисе мы имеем:
 |
(106) |
-- конформный закон преобразования метрики.
Из него непосредственно следует сохранение гиперболических углов
между любой парой направлений в точке

в которой

а также сохранение изотропных направлений, вдоль которых

Следствием последнего обстоятельства является
сохранение конформной структуры

:
для всех

и

Hol

Свойство (
107) мы уже неоднократно наблюдали на рассмотренных ранее конкретных
примерах.
След.: 10. Теорема и формула
Выше: Алгебра, геометрия и физика
Пред.: 8. Гиперболические спиноры