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.  Гиперболические спиноры