Гельфанд - Шапиро - Однородные функции и их приложения PDF

Math-Net.
Ru
Общероссийский математический портал
И. М. Гельфанд, З. Я. Шапиро, Однородные функции и их

приложения, УМН, 1955, том 10, выпуск 3(65), 3–70
Использование Общероссийского математического портала Math-Net.Ru подразу-

мевает, что вы прочитали и согласны с пользовательским соглашением
http://www.mathnet.ru/rus/agreement
Параметры загрузки:
IP: 31.185.4.132
20 июля 2016 г., 01:06:23
1955 г. г т. X, вып. 3 (65$
УСПЕХИ МАТЕМАТИЧЕСКИХ НАУК
ОДНОРОДНЫЕ ФУНКЦИИ И ИХ ПРИЛОЖЕНИЯ

И. М. Г е л ь ф а н д и 3. Я. Ш а и и р о
СОДЕРЖАНИЕ
Введение * . . . , 4
§ 1. Однородные обобщённые функции от одной независимой переменной.
Присоединённые функции , . . . . t>
1. Полюсы и вычеты о д н о р о д н ы х обобщённых функций ( ^ Я ) х > 0 и I х I* ^ 0 В
оо
2. Вычисление регулиризованных значений интегралов V х1ъ (х) dx и

о
о •
\ \хлу(х)(1х дли п р о и з в о л ь н ы х значений X 9
— оо
'). Однородные функции \х\ и j х \A sign x (чётные и нечётные однородные

функции) II
4. Присоединённые однородные функции . 13
0. Дифференцирование и интегрирование однородных функций Ш
§ 2. Однородные функции нескольких независимых неременных, имеющие
особенность только в начале координат 19
1. Полюсы и вычеты однородной обобщённой функции степени X . . . . 19
2. Однородные обобщённые функции целой отрицательной степени . . . . 25
3. Пример — обобщённая функция г1 2$
§ 3 . Разложение 5-функции на плоские волны и приложение к нахождению
фундаментальных решений эллиптических уравнений и решению задачи
Коши • 30
1. Разложение функции гл и о (х1ч . . . , хп) на плоские волны 30
2. Фундаментальные решения эллиптических уравнений с постоянными
коэффициентами 32
3. Решение задачи Коши для тех уравнений, для которых она корректна. З?1
4. Решение задачи Коши для однородных гиперболических уравнений. ;
Формулы Герглотца—Петровского 40;
§ 4. Произвольные функции в степени "к 44
1. Определение приводимых особых точек 44
2. Исследование обобщённой функции G?k (хл, . . . , хп) в случае, когда много
образие G (хх, . . . , хп) = 0 целиком состоит из точек первого порядка . 45
3. Исследование обобщённой функции G* (xi7 ...,хп) в случае, когда
многообразие G (х}, ...,хп) = 0 состоит из точек не выше второго '
порядка 51^
4 И. М. Г Е Л Ь Ф А Н Д И 3 . Я . Ш А П И Р О
4. Обобщённая функция Gx (х{, . . . , хп) в общем случае 57

5. Интегралы от бесконечно дифференцируемой функции ср по поверхностям
уровня Р (х1} . . . , хп) = с 60
§ 5. Преобразование Фурье однородных функций 62
1. Преобразовать Фурье однородных и присоединённых функций от одной
переменной 62
2. Преобразование Фурье однородных функций от многих переменных . . 65
Цитированная литература 69
ВВЕДЕНИЕ
Настоящая статья посвящена изучению однородных обобщённых функ
ций. С общей теорией обобщённых функций читатель может познакомиться
по книге Шварца [1] и статье Гельфанда и Шилова [2].
Однако настоящая статья по содержанию и методам более элементарна,
чем указанные работы. Поэтому мы. будем предполагать у. читателя только
знакомство с элементами теории функций комплексного переменного,
а необходимые для дальнейшего определения обобщённой функции,
её производной и другие сведения приведём в статье в той форме, в кото
рой они нам понадобятся 1 ).
Рассмотрим пространство S функций 2 ) ср (ж) = ср (а;х, . . . , х п ) , имеющих
производные любого порядка и при \х\—^оо убывающих быстрее любой
1
степени -.—т .
Обобщённой функцией называется линейный функционал Г [ср] в про
странстве S. Каждой функции fix), интегрируемой в любой конечной
области, можно отнести функционал
оо
П<Р] = \ f(x)9(x)dx,
— ОО
так что частным случаем обобщённых функций являются обычные интегри

руемые функции.
Значение этого обобщения понятия функции состоит, во-первых, в том,
что оно упрощает рассмотрение различных вопросов анализа. Упрощение
возникает, например, потому, что всякая обобщённая функция имеет
производные любого порядка, допускает преобразование Фурье и т. д.
Во-вторых, введение понятия обобщённой функции даёт возможность
«узаконить» в математике такие функции, как о-функция и её производ
ные 3 ), потребность в которых возникла в различных областях математики
и физики. В-третьих (и это является содержанием настоящей статьи),
понятие обобщённой функции позволяет осмыслить обычные функции,
*) Можно также познакомиться е теорией обобщённых функций в элементарном

изложении по книге Гальперина [3].
2
) Для сокращения записи мы будем часто пользоваться следующими обозначе
ниями: х — точка ?г-мерного пространства с координатами х1У ...,хп, dx = dx1 ... dzn,
| х \ = yrxl+': • • +'х?г.
3
) Обобщённая функция о (х) определяется как функционал, ставящий в соответ
ствие каждой функции у (х) её значение 9 (0).
ОДНОРОДНЫЕ ФУНКЦИИ И ИХ ПРИЛОЖЕНИЯ 5
имеющие неинтегрируемые особенности, т. е. вычислять интегралы от таких

функций или находить их преобразование Фурье.
А Регуляризацией» расходящихся интегралов занимался ещё Адамар
в связи с исследованиями по теории дифференциальных уравнений с част
ными производными [4] и позднее в этой же связи Рисе [5] и Гардинг [6]*
Преобразования Фурье от неиитегрируемых функций впервые рассмотрел
Бохнер [7].
В этой статье мы рассматриваем регуляризацию расходящихся интегра
лов с точки зрения теории обобщённых функций единым методом, восходящим
ещё к М. Риссу,—методом аналитического продолжения по параметру.
Проводимое здесь исследование однородных функций широко исполь
зует этот метод Рисса. А именно для изучения функции G (хъ . . ., хп)
мы изучаем зависимость от л интеграла
. . . ^ GA (х19 . . ., хп) * (хи . . ., хп) dxx ... dxn.

G>0
Такое исследование проводится в § 2 для положительной однородной
функции G(x1, ...,xn) и в § 4 для любой функции G(xly . . . , ж п ) , для
которой многообразие G — 0 имеет только так называемые приводимые
точки, определение которых дано в § 4.
Исследование зависимости от >ч интеграла
\ • • • ^ G?' (хг, . . ., хп) Ф (хг, . . ., хп) dx± ... dxn,

G>0
представляющее на первый взгляд некоторые трудности, проводится в § 4
совсем просто за счёт введения вспомогательного комплексного параметра р
н рассмотрения функции от двух комплексных переменных (см. п. 3 § 4).
Точка зрения аналитического продолжения позволяет понять некото
рые новые аспекты в рассмотрении обычных функций. Оказывается, что,
в то время как, например, Т/ однородная функция степени -—3/о,
2 2
(я +«/*) '
т 1
функцию ~2——2 с той точки зрения, которая вводится здесь, не следует
считать однородной функцией. Заметим также, что, рассматривая в этой
статье однородные функции и способы регуляризации интегралов от таких
функций, мы тем самым даём способ регуляризации более общих интегра
лов. Окрестности особой точки большинства функций можно приближённо
рассматривать как однородные. А именно мы будем говорить, что функ
ция G (хг, . . ., хп) эквивалентна в окрестности начала координат однород
ной функции Р (х19 .. ., хп), если в этой окрестности начала существует*
такое обратимое и бесконечно дифференцируемое преобразование координат
x
k = xh(x'i, •••> О . ч т о
G{xx, . . . , хп) = Р(х'и . . . , х'п).

Очевидно, что с точки зрения интегрируемости в окрестности начала коор
динат и регуляризации соответствующих интегралов эквивалентные функции
ведут себя одинаково.
«Й И. М. Г Е Л Ь Ф А Н Д И 3 . Я. Ш А П И Р О
^! § 1. Однородные обобщённые функции от одной независимой

переменной. Присоединённые функции
г-:.. Ь П о л ю с ы и в ы ч е т ы о д н о р о д н ы х о б о б щ ё н н ы х ф у н к ц и й
(&?л/х>о и \х\х<0< Как известно, функция f {хх, . . . , хп) называется однород
ной-функцией'степени л 1 ), если для любого а О
• . /(ахь ...,axn) = a*f(xv ...,хп). (1)
Для того чтобы определить, что значит обобщённая однородная функция

степени л, перепишем равенство (1) в таком виде, который годится для
обобщённых функций. Функции f(хх, ...,хп) отвечает функционал
T
['t] = ) • • • [ f (xi> • • •, хп) ? (хъ • • •, хп) dx
i ••• dx
n-
Если /(я^; . . . , ха) — интегрируемая по любой конечной области однород

ная функция степени л, то, как легко проверить,
'Т[ч(^> •••/i))=«*+nT[<?(x1, ...,*„)]. (2)
Равенство (2) мы и примем за определение однородной обобщённой

функции, а именно: обобгцённую функцию мы будем называть однород
ной обобщённой • функцией степени X, если для любого а имеет место равен
ство2) (2). В этом параграфе мы рассмотрим хотя и абсолютно элементарный,
но являющийся основой для дальнейшего случай однородных обобщённых
функций одного независимого переменного. Случай функций одного пере
менного не является новым (см. например, [1], [5], где имеются дальней
шие ссылки), так что содержание этого параграфа, кроме может быть п. 4,
было давно известно. Построим однородные обобщённые функции степени
X. Такие функции совсем легко построить при R e X > — 1. А именно
зададим функционалы Г я [ср] и Т я [ср] формулами
со
T*x[9]=^x^{x)dx, (3)
•- о
^ [ ? ] = [ \x\*?(x)dx, (3')
— оо
Легко проверить, что каждый из этих функционалов удовлетворяет равен

ству Т | ср | — j — а я + 1 Т [<р (х)] и, значит, является однородной обобщён-
*) Число X может быть как действительным, так и комплексным.

2
) .Напомним, что обобщённой функцией мы называем линейный функционал над
пространством S функций у(х) = у(хх, . . . ? хп), бесконечно дифференцируемых и убы-
' - • • . • - . • : : . . . ' ' , . - • : • ' . - 1 . - . . . : = • ; : • • •
вающих при | х | -* оо быстрее любой степени -{—— .

ОДНОРОДНЫЕ Ф У Н К Ц И И И ИХ 'ПРИЛОЖЕНИЯ /
пой функцией степени л. Каждый ,и;* этих функционалов определяется

обычной интегрируемой функцией 1 ), а именно первый из них -функцией
(%'')х>о и второй — функцией |.х я | х < 0 .
Для Н е л < 1 интегралы в формулах (3) и (3') расходятся (так как
функция х1 в этом случае неинтегрируема). Чтобы построить однородные
функции для этих А, мы воспользуемся тем обстоятельством, что, как
оо О
л
легко видеть, интегралы \ х ъ (х) dx и \ | х \?- ср (х) dx д л д В е л > — 1 аиа-
0 —оо
лнтически 2 ) зависят от параметра л. Аналитически продолжив эти инте

гралы на другие значения л, мы сумеем построить однородные обобщённые
функции любой степени.
Эти обобщённые функции мы для любых значений л будем обозначать
ос II
Хх* о (x)dxw \ \х\?- $ (х) dx. Для тех значений л, для которых эти инте-
0 -оо
гралы расходятся, мы будем называть эти обобщённые функции регуляри-

зоваиными значениями соответствующих интегралов.
оо О
Т е о р е м а. Обобгцёиные функции \ х?- ср (х) dx и \ ! х \1 о (х) dx допуска-

0 —'оо
ют аналитическое продолжение во всю плоскость комплексного переменного

л, за исключением, может быть, точек л = — 1 ? — 2 , . . . , —А, . .
В точках X — — 1 , - 2 , . . ., — к, . . . эти обобщённые функции имеют про
х
стые полюсы . При этом \ х ср (х) dx имеет вычет при л = —к, равный
о
о
1 1 0 а
TF щ-^"" ^ )' S \x\î'x)dx
— со
к
имеет при л = --к вычет \Г~^--Г-^ ~^(0).
{к 1)1 »
ДЛЯ доказательства заметим, что для Re л > — 1 имеет место равенство
со 1 оо
^х* ср (х) dx=\ х1 [ср (х) - ср (i))]dx -S- { х}- ср (х) dx ±уЩ 3
). (V)
х
) Из равенства / (ах) = i/'f (х) для i > 0 следует, что
с^х'' при х > О,

| а? | при а? < 0.
Через (^ ,Я ) Х>0 мы обозначаем эту функцию при с1 = 11 с2—-О и через | .тл |х<^0 при
2
) Вообще, если имеется функционал Т ; [ср], зависящий от параметра X, и для
любого ср £ £ У я [Ф] —аналитическая функция от X, то соответствующая обобщённая
функция Т называется аналитически зависящей от параметра X.
3
) Вместо отрезка длины 1 мы могли бы здесь вычесть ср (0) на любом отрезке
[0, а]. Это усложнило бы внешний вид дальнейших формул, ничего не меняя по су
ществу.
8 И. М. ГЕЛЬФАНД И 3. Я. ШАПИРО
Так как первый интеграл правой части формулы (4) существует уже для
R e X > — 2 , а второй в силу быстрого убывания ср (х) сходится для всех X,
то первая часть равенства (4) даёт нам аналитическое продолжение
оо
\ xly(x)dx в область R e X > — 2. Отсюда следует также, что при X = — 1

О f
интеграл \xKv(x)dx имеет полюс с вычетом ср (0). Аналогично, записав

•у со
U ^
регуляризованное значение интеграла \ х'- ср (х) dx для Re X > — п — 1
о
в виде г)
со 1
\ x*<f(x)dx= ^ х?- Г ср (х) — Ф (0) — хер' (0) — . . . - ^~* ср("-д>(0)1 dx.+
+ ^x^(x)dx+^v^^)9 (5)
i ft=i
со
мы получим аналитическое продолжение \ х1 ср (х) dx на область ReX>

и
со
> — п — 1. Из этой формулы видно также, что \ х'А ср (х) dx имеет полюсы при
о
о
X = к с вычетами ^ | р . Доказательство для \ | х \х ср (#) йж проводится
—со
совершенно аналогично.
Так как равенство Т ср ( ~ j = а я + 1 Г [ср (ж)], справедливое для обоих
рассмотренных функционалов при R e X > — 1, также аналитически продол
жается по X, то отсюда следует, что при любом X обобщённые функции
со 0
\xK®(x)dx и \ | х\* ср (x)dx~однородные обобщённые функции степени X.

0 —со
Заметим, что если ср (х) — аналитическая функция в круге радиуса

1 + s, то, переходя в формуле (5) к пределу при п— >оо, мы получим для
со
\ х я ср (ж) dx представление
о
со со со
^ х}- ср (х) dx = ^ х я ср (х) dx + ^ (F^(T+T) * ^

ч
о 1 ft=i
2
) Напоминаем, что регуляризованным значением интеграла \ х7' ср (х) dx мы назы-
о
со
взем аналитическое продолжение обобщённой функции V х1 ср (х) dx (Re X > —1) на

о
любые значения X, либо, если не желать иметь дело с аналитическим продолжением,
под этим можно понимать прав}ю часть формулы (5) или (9).
ОДНОРОДНЫЕ Ф У Н К Ц И И И ИХ ПРИЛОЖЕНИЯ 9
В частности, полагая <р (х) — е~х, мы получаем представление для Г-функ-

ции
оо сю
r(x + i ) = ^ ^ ^ + S _ l z 5 l ) ^ j (7)
1 k=i
справедливое уже не для R e X > — 1, а для любых значений X и дающее

в явном виде её полюсы и вычеты.
Функцией Г (Х + 1) = Т\ [ё~х] можно воспользоваться для «нормировки»
7 ^ [ Ф ] . А именно, так как эта функция имеет все те полюсы, что и 7"1[Ф],
Тк [<р] 1
то обобщённая функция —-+ =„ Т\ [ср] есть уже целая аналити-
+
ческая функция от X. При X —» — к эта функция стремится к отношению
вычетов функций (5) и (7), и поэтому при Х = —к
^Lr(_l)*-V*-»(0).
Мы построили, таким образом, с помощью аналитического продолжения
обобщённые функции, которые мы будем в дальнейшем обозначать просто
(%л)х>о и |х|х<о. При этом под обобщённой функцией (хл)х>о понимается
сю
при R e X > — 1 интеграл \ x*v(x)dx, а для остальных X — аналитическое

о
продолжение этого интеграла (или явное выражение, задаваемое фор
мулой (5)). Эта обобщённая функция, как и \х\х<о, не существует при
>/=-1, - 2 , .... - я , ...
При X— — к обобщённая функция (хя)х>о имеет полюс с вычетом
(__1).*-1й<&-1>
а обобщённая функция | х \х<0 имеет полюс с вычетом
Т£=А)Г
^(fe-D (х\ <# (х )х->о | х \х<*§
-п—Д~-. Обобщённые функции r f • и =г--—тт , как было показано выше,
{к—1)1 ' L (к-f-1) 1 (к + I)
1
существуют и при целых отрицательных
-?Sh-lh } X, и имеют место равенства )
= (Г (Х),
д , ) (8)
Г(Х *<о
+ 1) I =( _1)*-18(*-'>(х).
Г(М-1) Л-——/г
Таким образом, при Х = — к обе формулы (8) дают с точностью до знака

одну и ту же однородную обобщённую функцию степени —к, а именно
Ъ(к~*)(х). Вторая однородная обобщённая функция целой отрицательной
степени будет указана в и. 3 этого параграфа.
2. В ы ч и с л е н и е р е г у л я р и з о в а и н ы х з н а ч е н и й интегра-
оо 0
л о в \xlo{x)dx и \ \xx^(x)dx для произвольных з н а ч е н и й X.
х
) Напомним, что под обобщённой функцией о (х) понимается функционал, равный
с (0), под обобщённой функцией o(fe_1) (#) — функционал (— l)**-1 cp(fe_1> (0).
Формула (5)
оо 1 оо
Я {>l {)
\ Х ср (х) (1Х = \ X/' ф ( # ) — . . . — ~7~Zr\\V^ ~ (0) ^ "Г \ ^ " ? ( # ) ^
и о 1
даёт нам явный вид обобщённой функции (хА)х>{} (определённой как ре-
гуляризованное значение интеграла \xk,z(x)dx) в области Re.X > —- п — 1,

о
Если X изменяется в полосе — /г — 1 < ReX < —п, то удобнее пользоваться
оо
другим, более симметричным выражением для \ хля (х) dx.

о
Чтобы получить это выражение, заметим, что д л я Re X < — к
оо
T^-J= - [ х*+к+* dx
1
и, значит, формула (5) при — п — 1 < ReX < — /? может быть переписана
следующим образом:
оо 1
\ x*®(x)dx=* ^ х/ Г ? ( ж ) - ? ( 0 ) - . . . — т ^ ^ п г ? ( " - 1 } (0) 1 dx +

и it
+ ^x*<f(x)dx-^ ^х—^-j(1)!1)(0)^ =
1 /i=i 1
оо
== $ ж* [ ? (ж) - ? (0) - . . . - - ^ Г ) Г ^ ( " ~ П (°) ] ^

0
Итак, в полосе — /г — 1 < ReX < — /г регуляризованиое значение интеграла

оо
\ .х;ср (ж) rfx даётся форму.пои
\ x^{x)dx=\ х* [ ? ( л ) - ? ( 0 ) - * < р ' ( 0 ) - - . . - " ( Й у Г ? ^ " 1 ^ 0 ) ] rfx

' <9>
о 6
А н а л о г и ч н о можно п о л у ч и т ь , что при — п — l < R e X < — п
о о
\ \x^(x)dx = ^ ^^[т^-Т.^-^ЧО)-.-.--^^?^-^^)]^.
—оо —оо
(9')
Таким образом, например, под регуляризованным значением интеграла
;00 ОО
V _j_i?Lj^ следует понимать \ Т/ ^ - Подчеркнём, что формула (9)

/2
J а* ' а ; '2
0 0
ОО
неприменима для регуляризации интеграла \ #Аср (х) dx для целых отрица-

о
тельных значений X. Обычно под регуляризованным значением, например,
оо а оо
интеграла \ ±~-dx. понимается сумма \ J^-L—J-^-dx-\- \ -^-^dx при неко-

.) X * ,| ,X J X
О Д Н О Р О Д Н Ы Е Ф У Н К Ц И И И ИХ П Р И Л О Ж Е Н И Я 11
тором а. Легко проверить, что такой функционал не есть однородная

обобщённая функция. Это — так называемая присоединённая функция.
Подробнее о присоединённых обобщённых функциях будет сказано
ниже (п. 4).
3. О д н о р о д н ы е ф у и к ц и и | х | я и \х | я sign x ( ч ё т н ы е и н е
ч ё т н ы е о д н о р о д н ы е ф у н к ц и и). До сих пор мы характеризовали
обобщённые однородные функции их поведением относительно подобных
преобразований с положительным коэффициентом а. Для того чтобы выяс
нить, что происходит с функциями при подобных преобразованиях с отри
цательным а, достаточно выяснить, как они ведут себя при отражении
(замене х на — х).
Обобщённая функция Т [о (х)] называется чётной, если
T[<f{-x)] = T[<f(x)],
и нечётной, если
Из введённых в п. i однородных функций легко составить чётную и нечёт

ную комбинации. Таковыми являются
1 ж | А = (^ А )*>о + | ж | * < 0 , 1
я я
| х | sign х = (х*)х>0 — | х | <(} . {
Изучим особенности обобщённых функций | х |я и \x\As\gn.x. Так как обоб-

щённая функция (^)^ М) имеет при Х = — к полюс с вычетом уг^туг ^ ~ ! ) (#),
а функция | х | я ^ 0 — полюсе вычетом—JJ—j~, то обобгцённая функция \х\л

имеет полюсы только при Х = — 1 , — 3, 5, . . . , —2т 1, . . . Вычет
я
I х I при X = — 2тп - 1 равен 2 —/т^-гг^ .
1
^ ' (2т)!
Аналогично обобгцённая функция | ж | я sign x имеет полюсы е точках
Х= — 2, — 4, . . . , -2т, . . . с вычетом при Х= ~2т, равным — 2-^- ,? .
Можно пронормировать обобщённую функцию | х | я аналогично тому, как
это было сделано выше для функции (хк)х>о- Для эгого достаточно разде-
<х>
я
лить | х | на регуляризованное значение интеграла \ | х | я е~х2 dx = Y ( —\— J .
—оо
Обобщённая функция
есть целая аналитическая функция от X. Из формулы (7) легко получить,

что
1 t>0
Г 1 ==2 x Ae x2dx 2(-1)"

(^ ) \ ' ~ + S w! (X + 2m + 1)
О т=0
12 И. М. Г Е Л Ь Ф А Н Д И 3 . Я. Ш А П И Р О
поэтому
__(— 1) т В<2т> (х)-т\
~(11) (Щ\ '
V 2 ) |л=-2«
г-2т-1
Аналогично целой аналитической функцией является нечётная обобщённая
функция
ч—)
При этом
|Я Sign : ( — 1)'п-1^(2т-1)(2.)т!
(1Г)
. ^ + 2^ г (2т —1)!
V 2 у !;.=-2т
Дадим формулу для вычисления регуляризованного значения интеграла
оо
\ | х Iя Ф (ж) <ix для Re X < — 1. Для этого воспользуемся регуляризованны-

— 30
оо О
л
ми значениями интегралов \ х у (ж) с?ж и \ ; х |Аср (.г) б/х из формул (9) и
О -"оо
О оо
(9'). Замечая, что \ \x\*y(x)dx=\xxv( — x)dx и применяя формулу (9),

—со О
оо
мы получим, что регуляризованное значение \ \x\?-y(x)dx имеет вид
— оо
$ х>- { о (х) + Ф ( - ж ) - 2 [<р (0) + ^ Т" (0)-г • • • + T ^ S j r ^ < 2 m _ 2 ) ^ 1 } ^

О
(12)
Этот интеграл сходится в полосе — 2т — 1 < Re X < — 2m -f 1 и даёт в этой
полосе (между двумя полюсами) обобщённую функцию \х\л.
Заметим, что формула (12), в частности, определяет обобщённую функ-
1
цию —2- как чётную однородную функцию степени —2т. Например, под
1
обобщённой функцией —2- следует понимать функционал
оо
Г ?(») + ? ( —аг) —2у (0) dx_
) X2
О
Нечётная однородная функция степени —2т, как это следует из форму
лы (11'), равна о( 2 ^-!)(а;).
Аналогично можно показать, что регуляризованное значение интегра-
оо
ла \ | х | я sign ху (х) dx в полосе — 2т — 2 < Re X < — 2т между двумя по-

— оо
люсами обобщённой функции Ix^signx имеет вид

со
Â| T(s) _ T( _^_2[^'(0) + 4?'"(0)^---+^b",p<2m~1)(0)]}da;-

(12')
При X = — 2т - 1 из формулы (12') получается регуляризованное значение

оо
интеграла \ ^4г^1^х> совпадающее с общеизвестным «главным значением

— оо
по Коши» для этого интеграла.

1
Таким образом, - ^ п представляет собой нечётную обобщённую функ
цию степени — 2т — 1. Чётная однородная функция той же степени есть
g(2m) (д.) ( с м формулу (И)).
Мы видим, следовательно, что и при целых отрицательных значениях
X существуют две линейно независимые обобщённые функции степени X.
Этими функциями являются, во-первых, целые отрицательные степени х
на всей прямой и, во-вторых, Ь-функция с её производными.
4. П р и с о е д и н ё н н ы е о д н о р о д н ы е ф у н к ц и и . Однородные функ
ции, как это следует из их определения, являются собственными функция
ми оператора подобного преобразования А: А/ (х) = f (ах). Действительно,
если / (х) — однородная функция степени X, то
Af(x)=f(<ix) = a*f(x).
У произвольного линейного преобразования наряду с собственной функ
цией / 0 , отвечающей данному собственному значению, имеются обычно так
называемые присоединённые функции различных порядков; / 1? / 2 , . . ., fk, ,...
называются присоединёнными функциями к собственной функции / 0 , если
они удовлетворяют соотношениям
^ / i ^ / i + P/o,
-4/ 2 = а / 2 -г P/i,
т. е. линейное преобразование А воспроизводит присоединённую функцию

к-то порядка с точностью до присоединённой функции к — 1-го порядка.
Заметим при этом, что, как легко проверить, сумма присоединённой
функции к-го порядка и присоединённой функции низшего порядка снова
представляет собой присоединённую функцию к-то порядка. В конечномер
ном пространстве, в базисе, состоящем из собственных и присоединённых
векторов линейного преобразования, матрица этого преобразования имеет
жорданову нормальную форму. Присоединённые векторы выбираются при
этом так, чтобы постоянная [3 = 1.
Возвращаясь к однородным функциям, мы скажем, что присоединён
ной однородной функцией первого порядка степени X называется функция
1\(х), которая для любого ос > 0 удовлетворяет равенству
f1(ax) = a*f1(x) + h(<i)f0(x),

где / 0 (х) — однородная функция степени X. Функция h (а) однозначно опре
деляется из тождества
/г(аВ)=^а¥г(Р)^р я /г(а),
14 И. М. Г Е Л Ь Ф А И Д И 3 . Я. Ш А П И Р О
вытекающего из рассмотрения /Дофя). Дифференцируя это тождество по (В

и полагая затем [ 3 = 1 , мы получаем дифференциальное уравнение, решение
которого при начальном условии h (1) = 0 даёт
/г(а) = Ся1пос.
Окончательно, лш будем называть f1 (x) присоединённой однородной функ
цией первого порядка степени X, если для любого а > 0 выполняется условие
f1{<LX)=<l*f1(x)+<L*\n<Lf0(x), (13)
где / 0 (х) — однородная функция степени X. Например, In | ж | есть присоеди
нённая функция первого порядка нулевой степени, так как для а > О
In I о.х | = In | х | -|-In ос.
Аналогично тому, как это было сделано для обобщённых однородных функ
ций, определим теперь обобщённые присоединённые функции. Обобщённая
функция 711[ср(ж)] называется присоединённой однородной функцией перво
го порядка степени X, если для любого а > 0
7,
i[?(f)]==ai+,Ti[?(:r)]âA+,Ilia7,o[(?(a:)]. <14)
где Г 0 [ср]—обобщённая однородная функция степени X. Вообще для любо
го к обобщённая функция Тк [ср (х)] называется присоединённой однородной
функцией А-го порядка степени X, если для всякого а > О
^[(р(т)] = а Л + 1
^['Их)] + аД+,!па
^-1ГсР(ж)]' < 14 ')
где Тк_г [ср] — присоединённая функция к— 1-го порядка.
Выясним теперь, что представляют собой присоединённые обобщённые
функции различных порядков и произвольной степени X. Для этого заме
тим, что если Тл [о] — обобщённая однородная функция степени X, дифферен
цируемая по X, то, дифференцируя её по X, мы получим присоединённую
функцию первого порядка.
Действительно, продифференцировав по X тождество
имеем
Их
clT
т. е. —^-присоединённая функция первого порядка. Аналогично производ
ная по X от присоединённой функции А-го порядка есть присоединённая
функция к -f 1-го порядка.
Выше мы для любого X Ф — п построили две однородные обобщённые
функции степени X, аналитически зависящие от х\ (£я)х>о и 1ж1х<о* ДИФ~
ференцируя, например, (#А)л>о п о К, м ы получаем для каждого \ф—п
«набор» присоединённых обобщённых функций
(х>- In x)x>o, {xl In2 х)х>0, . . . , (х2 hik х)х>0, ..
ОДНОРОДНЫЕ ФУНКЦИЙ И ИХ ПРИЛОЖЕНИЯ 15
Обобщённая функция (хл lnh х)х>о — аналитическая функция X при \Ф—п.

оо
Регуляризованное значение интеграла \ хк h\hx ср (x) dx для Re X < — 1

о
оо
определяется так же, как для интеграла \ хН (х) dx, а именно: для
о
— п — 1 < ReX < —п
со оо
[ х?- Ык х ? (х) dx = Д ж* 1п/? х Г ср (х) - Ф (0) - . . . - "T^zrjyr ? (n__1} (0) 1 ЖЕ. (15)
и О
Формулу (15) можно было бы получить независимо от предыдущего

со
как аналитическое продолжение интеграла \ хК lnk х ср (х) dx в полосу —

о
— п—- ! < R e X < л , но ещё проще получить её, дифференцируя
оо
но X регуляризованное значение интеграла \ хло (х) dx, задаваемое

и
формулой (9).
Таким же образом строятся присоединённые функции всех порядков
к другой однородной функции | х |Ях<о "ри X Ф п.
При X = — п функция (хл)х>о имеет полюс первого порядка. Поэто
му полученная дифференцированием присоединённая функция (хл In х)х>{)
имеет полюс второго порядка, а функция (хл Jnft_1 ос)х>о — полюс Ус-го
порядка.
Мы не построили здесь присоединённых функций целой отрицательной
степени. Так как х1 имеет при Х= —п полюс, то для получения этих
функций мы разложим (хк)х>{) в ряд Лорана в окрестности X = — п. С этой
целью выделим из регуляризованного интеграла
со со
\ х*у (х) dx = \ х*- Г ср (х) - ср (0) х^ (0) - ... - ( - ^ у г ? ( n ~ j ) (°) 1 <*х

о 5
В явном виде слагаемое, перестающее сходиться при X = -п, т. е. запишем
этот интеграл в таком виде 1 ):
1
[х?- [ ? (х) - ? (0) - . . . - 7^гт)Г ]^ +
$ ** [ ср (х) - ср (0) - . . . - ?("^(0)_

ф<«-2) (0) ], / г _ _ ^(п —1)1(1+
т;г=ж
п)
2
) Вместо \ .хя + и - 1 г/я мы .могли бы вычислить интеграл \ х*+п~* dx для любо
1 а
го а > 0. При этом пришлось бы раскладывать в ряд Тейлора ая + 1\ и дальне" тис
формулы стал к бы более громоздкими.
К) И. М. Г Е Л Ь Ф А Н Д И 3 . Я . Ш А П И Р О
Отсюда регуляризованное значение интеграла
и и
n-2CD(n-2) (о)
+ ]х>[?(х)-...-* (;_2^ ] и х ] . (16)
1
Сумма интегралов в правой части равенства представляет собой аналити

ческую функцию X в круге | X + п | < 1. Её значение при X — — п мы назо
вём обобщённой функцией ( — j , а значение её &-й производной по X
при X = —л назовём обобщённой функцией ( —.-- ) . Таким образом, со-
гласно нашему определению обобщённая функция ( — ] ^f есть функционал

#'V*>0
п—Z
оо
^ > dx.
Разложив теперь
$ х* [ <р (z) - ? (0) - . . . - - ^ щ «р («-') (0) ] rfz 4-

о
со
i
в ряд по степеням Х + тг, мы получаем из формулы (16) ряд Лорана для
йяк>о
Из формулы (17) следует, что
(i),>o-,i im „i [(x+n){ ^>° ] -

Поэтому естественно, что ( — J есть присоединённая функция первого
порядка степени — /г. Впрочем, этот факт легко проверить и непосредствен
но, пользуясь определением ( — j
5. Д и ф ф е р е н ц и р о в а н и е и и н т е г р и р о в а н и е о д н о р о д н ы х
ф у н к ц и й . Сделаем несколько нужных для дальнейшего замечаний о диф
ференцировании и интегрировании введённых обобщённых однородных и
присоединённых функций. Если обобщённая функция 71 [ср] задаётся, ехо-
дящимся интегралом
оо
П ? ] = 5J f(x)<f(x)dx,
—оо
где f(x) имеет интегрируемую производную, то, как легко убедиться, инте
грируя по частям:
сю со
[ / ' (х) <f(x)dx=- [f (x) ср' (х) dx (18)

—оо —оо
(проинтегрированные члены пропадают в силу быстрого убывания ср (х) на

бесконечности). Равенство (18) служит основанием для определения произ
водной от произвольной обобщённой функции Т[у]. А именно производная Т'
обобщённой функции Г определяется равенством
Т'[9(х)]=-Т[?'(х)). (19)
Так как функции ср (х) предполагаются бесконечно дифференцируемыми, то
любая обобщённая функция Т имеет производную, определённую равенст-
оо
вом (19). Если У[<р]= \f(x)y(x)dx и f(x) имеет производную / ' (х), инте-
—оо
со
грируемую в любом конечном интервале, то 7" (ср) = \ / ' (х) 9 (х) dx, т. е.
—со
дифференцирование обобщённых функций совпадает с обычным дифферен

цированием.
Рассмотрим теперь однородную обобщённую функцию (хя)х>0, введён
ную в п. 1 этого параграфа. Для X > 0 в силу сделанного замечания
(х%>0=-к(х*-%>0. (20)
Но, как было показано в п. 1, однородная функция (хл)х>о аналитически

продолжается во всю комплексную плоскость, за исключением целых отри
цательных значений X. Очевидно, то же самое можно сказать о левой части
равенства: X (хл~1)х>о. Поэтому равенство (20) также справедливо для лю
бых \Ф—к (& = 1, 2, . . . ) .
Точно так же можно показать, что обычные формулы дифференцирова
ния имеют место для обобщённых функций |я|£<о, | х |я, |#| A sign# и для
присоединённых функций (хА1п^)х>о ит. п. для тех значений X, для кото
рых эти функции аналитичны. В частности, для целых отрицательных
значений X мы получаем, что
2m
(JLY—
И
2 т —1
Если рассмотреть пронормированную (не имеющую полюсов по X) однород-

2 Успехи матем. наук т. X, вып. 3
18 И. М. ГЕЛЬФАНД И 3 . Я. ШАПИРО
ную функцию, например Г( >Т?ч , то Д л я этои

функции уже при всех X
будет иметь место равенство -р тгтг^тч = — г (1?>0 • В частности, при Х = - к
эта формула обращается в формулу -z—— = №(х). Обычные формулы

дифференцирования оказываются, однако, неприменимыми при дифферен
цировании присоединённых функций целого отрицательного порядка, на
пример ( - ^ ) . Действительно, из формулы (17) этого параграфа мы
имеем
V*nA>o ^_nLv ;х>и
(п — 1)! (к + п) J
Продифференцировав по х обе части этого равенства, мы получим
\xnJx>0 x п I V JX>{J
(п —1)1 (А. + л) J
Заменяя в правой части равенства X на Х+1 и разбивая (Х + 1) (хк)х>о на
слагаемые — п-(хл)х>о и (Ъ-\- п-\~ l)-(x*)x>0l мы
можем записать ( — J
в виде
Находя стоящие в правой части равенства пределы с помощью той же

формулы (17), мы получаем, что
В § 3 нам понадобится значение неопределённых интегралов от введён

ных здесь обобщённых функций. Операция интегрирования для обобщённых
функций может быть определена как операция, обратная дифференцирова
нию. Поэтому для Re X > — 1 мы можем, например, написать, что
$ | х |я sign х dx = i | J ^ i + С (X). (22)
Для остальных значений X мы определим \ | х |я sign ж dx, как обычно, с по

мощью аналитического продолжения. Однако уже при X— — 1 первое сла
гаемое правой части имеет полюс, в то время как подинтегральная функ
ция в этой точке аналитична. Для уничтожения этого полюса мы положим
Тогда lim -—-г—-.— = 1п|я|, и мы получаем из формулы (22) при Х =

= — 1 естественное равенство
При остальных значениях X затруднений в понимании формулы (22) не

возникает.
В § 3 нам понадобится s раз интегрировать функцию \х\л. Сделав это;
мы получим, что
J...J|3!|*da;...dx=l^^^-f^(^ (23)
где QA (х) — многочлен степени <5—1 с коэффициентами, зависящими от X.
Мы выберем многочлен QK (x) таким образом, чтобы правая часть par
венства (23) не имела полюсов в точках Х = — 2, — 4, . .. , в которых под-
интегральная функция аналитичыа, а функция т-' ' v пл-Т и м е е т п<>"
люсы. Этим требованием многочлен Qx (x) определяется с точностью до
многочлена, аналитически зависящего от X. Для определённости будем по
лагать
пх (Х) = у ^ !_ (24)
V
VAW Zj (2k—1)1 (s — 2*)! ^ + 2/с * '
§ 2. Однородные функции нескольких независимых переменных,

имеющие особенность только в начале координат
1. П о л ю с ы и в ы ч е т ы о д н о р о д н о й о б о б щ ё н н о й ф у н к ц и и
с т е п е н и X. Обобщённая функция Т в я-мерном пространстве называется
однородной обобщённой функцией степени X, если
Т
Ь (Л' • • • ' ? ) 1 =«Я+ПГ[?(*1> • • • , хп)]. (1)
Например, если функционал Т есть 8-функция, т. е. Т[<р(хг, ... ,#„)] =
= <р(0, . . . , 0), т"
т
[Ч^'---'?)]:=(р(0'---'0)==г^(Ж1----'^
и, значит, 8-функция в тг-мерном пространстве есть однородная функция
степени — п. Так же просто проверить, что любая производная А-го порядка
от В-функции есть однородная функция степени —(п-\-к).
Для ReX>— n однородной обобщённой функцией степени X будет лю
бой функционал вида
5 • • • 5 /(*ь ••-.*«)? (*i. • • •. xn)dxi • • • ж*п>

где /(а?!, . .. , жп) — однородная функция степени X. Однако если ReX< —/i,
то интеграл такого типа не может сходиться из-за слишком быстрого роста
подинтегральной функции в начале координат. Целью настоящего пара
графа являются определение и изучение однородных обобщённых функций
любой степени.
Рассмотрим непрерывную однородную функцию первой степени от
#1? . . . , хп, положительную во всём пространстве, за исключением начала
2*
координат, например г = Ух\ •+- . . . + #п, или вообще Р2т(хъ . . . , хп), где
Р (Х1У . . . , хп) — положительно определённая форма степени 2т. Обозначим
эту функцию F (хъ . . . , хп) и для Re X > — п рассмотрим обобщённую
функцию
' * д [ ? Н ] • • • [ Рх&ь • • • , хп)<?(*!> • • • > xn)dx1 . . . dxn. (2)
Здесь Ф(Ж 1? . . . , жп), как обычно,—бесконечно дифференцируемая и быстро

убывающая на бесконечности функция. Легко проверить, что для тех X,
для которых интеграл сходится, формула (2) определяет однородную обоб
щённую функцию, аналитически зависящую от X.
Покажем, что обобщённая функция \ . . . \ F* (х) ср (х) dx, заданная
в n-мерном пространстве, допускает аналитическое продолжение во всю
плоскость комплексного переменного X, за исключением точек X = — п,
— п — 1, . . . , — п —к, . . . , в которых \ . . . \ Fx (х) ср (ж) йж имеет простые
полюсы.
Полученную обобщённую функцию мы будем, как и в § 1, называть ре-
гуля ризованным значением интеграла \ . . . \ F1 (х) ср (x)dx, и так как регу-
ляризованное значение интеграла при Х > — п совпадает с обычным инте
гралом, то мы сохраним для регуляризованного значения интеграла обо
x
значение \ . . . \ F (х) ср (х) dx.
Для доказательства сформулированного утверждения выберем в /г-мер-
ном пространстве произвольную область D с гладкой границей Г, содержа
щую начало координат, и представим интеграл (2), где ReX > —п, в виде 1 )
Fx [?] = $ • ь - ] Р" (*) [? (*) - Т (0)] dx -r
+ \ ..A F*(x)<f{x)dx + y(0) Г ... [ F*(x)dx (3)

Е—D D
(Е~D — дополнение к области ТУ). Преобразуем \ ••• \ Fl{x)dx. Так как

D
п
х
л x
Р (х) — однородная функция степени X, то 2 k ~Q— ^ к^* (хп - • •» х п) и>
следовательно,
71
} • • • \Р" («1, •••,ж п )й 1 .. .dsn = т 2 \ • • • [ xk~J~- dxi- • -dxw (4)

fe=i
Проинтегрировав по частям по соответствующей переменной каждое слагаемое

правой части, получим, что правая часть формулы (4) может быть пред-
х
) Напомним, что ср (о?) = ср (хъ ... , хп), ср (0) = ср (0, . . . , 0), dx = dx1 . . . dxn и т. д.
ставлена в виде
X
^ FK (x)[x1dx2.. .dxn~~x2dx1---dxn + .. . ± xndx±. ..dx^]-
• D
(Г— граница области D) и, значит,

^ . . . ^ FK (хъ . . . , xn)dx1...dxn^=
D
^ТТТГ \ FX (x)ixidx2- • -dxn- • ^±xndx1.. .dxn^}. (5)
г
Подставляя найденное значение \ .. . \ FK (x) dx в формулу (3), мы
D
получаем
F^]=] . . . $ Fx(x)[<t(x)-<f(0)]dx+ ^ ••• [ F*(x)<?(x)dx +
D E-D
F%
+ Т+7Г [ № [*!dx*- • -dxn - • • • ± *» dxx.. .dxn^\. (6)
Г
Выясним, для каких X определена правая часть формулы (6). Так как;
FK (х) — однородная функция степени X, а Ф(Х) — ср(0) имеет при х = 0 нуль
первого порядка, то первый интеграл правой части сходится для ReX> — п — 1.
Второй и третий интегралы сходятся для всех X, так как при интегриро
вании исключена окрестность начала, а на бесконечности ср (х) стремится
к нулю быстрее любой степени -—- . Таким образом, правая часть форму-
лы (6) имеет смысл при Re X > — п — 1 и представляет собой аналитическую
функцию X, первый полюс которой зависит от размерности пространства,
а именно находится в точке X = — п.
Формула (6) даёт, следовательно, явный вид аналитического продолже
ния обобщённой функции\ . . . \ FK(x)y(x)dx на область ReX>—тг — 1.
Прежде чем перейти к дальнейшему аналитическому продолжению функ
ции изучим более подробно важный для нас далее вычет при X = —п.
Вычет \ . . . V Fx (х) ср (х) dx в точке X — — п равен, как это видно из форму
лы (6),
cp(0)^-!_i Fn(~ «-i. . (7)
Г
Будем в дальнейшем дифференциальную форму

хгdx2. .. dxn — х2 dxx. .. dx.n -f . .. ± xn dxx.. .dxn
коротко обозначать du). Легко проверить, что если а —элемент поверхности,
то — \ rfo) есть объём конуса с вершиной в начале координат, опирающе-
сг
гося на площадку а. Вычет обобщённой функции \ . . . \ Fx (х) ср (х) dx

в точке X = — п запишется коротко в виде
? <°> \ т*щ • <7'>

Г
Выражение (7'), будучи вычетом аналитической функции, не зависит от

1
выбора поверхности Г ). Следовательно, \ • у "* определяется поведением
1 л1 (х)
(X)
Г
функции F~n (х) в любой окрестности начала координат.
Мы назовём 3 Fn(x\ вычетом

функции F'n(х) в начале координат 2 ).
Значение вычетов более подробно выяснится в п. 2 этого параграфа.
Вычет однородной функции степени — п имеет простой геометрический
смысл. Действительно, выберем в качестве замкнутой поверхности Г поверх
ность уровня F (xlf . . . , хп) = 1. Тогда вычет перепишется в виде \ dm.
Вспоминая, что \ dm есть гг~кратный объём конуса, опирающегося на пло
п
щадку а, мы получаем, что вычет функции F (х), т. е. \ —ъп°! , равен пУ,
J * (X)
Г
где V — объём области F(x)^l.
Перейдём теперь к дальнейшему аналитическому продолжению инте
грала тем же самым способом, что и ранее, вычитая и добавляя в интеграле
рК х
) "• ) (п • ••» Яп)?(ж1> .. ., xn)dx1...dxn
D
из функции ср (Х1У .. ., хп) дальнейшие члены её ряда Тейлора, можно

получить формулу, аналогичную (6) и дающую аналитическое продолжение
нашей обобщённой функции в полуплоскость Re X > — п — к — 1. Для
этого нужно только преобразовать интегралы вида
\ • • • J рх (*!' ' ' •' хп) Х1К ' -xnndxi- . .dxn,
подобно тому как это сделано для
x
J ••• J FX(XI> •••> n)dxi'--dxm
D
в интегралы по поверхности Г, ограничивающей D, пользуясь однород

ностью функции Fx (х±. . .х^х^1. . .х"гп.
1
2
)Мы предоставляем читателю доказать это непосредственно.
) Такое определение вычета мы сохраним не только для однородных функций
степени —п, но и для функции, главная особенность которой в точке характеризуется
однородной функцией степени —п. В этом случае поверхность Г нужно уже брать
не произвольной, а стягивающейся к началу координат.
Полученная формула будет иметь следующий вид 1 ):
\ • • Л Fx (х) cp (х) dx =
D <xi+... +a w =fc
m=0 ai+... + an=w
Из этой формулы следует, что \ . . . \ ^ я (х) ср (ж) dx представляет собой ана

литическую функцию для R e X > — п—к—1 (при Х = -—п—к—1 пере
стаёт сходиться первый интеграл). В точках Х = ~п-—т (т = 0 , 1 , . . ., к)
\ . . . \ рА (х) ср (х) dx имеет простые полюсы, вычеты которых очевидны из

последнего слагаемого формулы (8). А именно вычет обобщённой функции
Fx (хъ . . . , хп) при X = —п — т равен 2 )
(-1Г V дт* (*»•.; *п) С s;i.-.aff» , /9ч
ml ^ дхр...дх*» J F n+m (*) ' V
'
x Л
ai+...+a»=m Г
Таким образом, для обобщённой функции Fx [хъ . . . , хп) справедливы,

например, соотношения Л-+
lim—n
(к -\- п) FK (xv . . ., хп) = 8 (я^, . . ., хп) \ Fn(x)
г
lim (b + n + l ) / ^ , . . . , » „ ) =
Л->—п—1
Г a^jrfco du Г а?2 б^со до С хп с?о) до"
и т. д .
С х^1. • хап
Интеграл \ — h ^ - p r - d i o не зависит от выбора поверхности Г. Если при-
г
нять за Г поверхность F (хг, .. ., хп) = 1, то мы получим для этого инте
грала выражение \ ж" 1 .. .ж"пс?о), равное, с точностью до множителя,
одному из моментов m-го порядка области, ограниченной поверхностью
F=*l. Таким образом, вычет обобщённой функции F* (х1у . . ., хп) в точке
*) Напоминаем, что под V . . . \ Fx (х) у (х) dx мы понимаем регуляризован-

ное значение интеграла, т. е. аналитическое продолжение обобщённой функции
S •••$''<•>'«•>'• " " > - > - » - • — ,

2
) Заметим, что формула (9) остаётся в силе и в том случае, когда функция F (х)
обращается в нуль на некотором конусе. В этом случае интеграл (9) нужно понимать
как регуляризованное значение интеграла (см. § 4).
Х = —п — т представляет собой линейный дифференциальный оператор

т-то порядка от Ь(х1,...,хп) с постоянными коэффициентами. Коэффици
енты с точностью до множителя, не зависящего от F', равны всевозмож
ным моментам т-го порядка области, ограниченной кривой F=l.
Для вычисления обобщённой функции Fx (xl9 . . ., хп) при ReX<—я,
k
т. е. регуляризованного значения интеграла \ . . . \ F (x) cp (х) dx, можно
дать вместо формулы (8) более удобную и симметричную формулу.
Для этого заметим, что при R e X < — п — к интегралы вида
\ . . . [ Рл (ж) ж*1. . .x^dxx. . .dxn (OL1+. . . +ап = т < к)

* E-D
сходятся. Граница области E — D есть та же поверхность Г (грани

ца D) с противоположной ориентацией, и поэтому, преобразуя интеграл
\ . . . \ Fx (x)xl1.. .x°^dx1. . .dxn в поверхностный, мы получим, что

E-D
5 ••• lFl(x)xl\..x?dx1...dxn=-Tj^^\Fl{x)x?...x?d«.
E-D Г
Заменяя, таким образом, в формуле (8) поверхностные интегралы по Г
интегралами по области Е — D и объединяя затем все интегралы в один,
мы получим для регуляризованного значения интеграла следующее пред
ставление:
$ . . . \F*(x)<?(x)dx=\} ... ^Fk(x)[9(x)~<?(0)-...
V ^.^JMSLlfe, (10)
«l+...+a«=
справедливое в полосе — n~к— 1 < ReX < —n — к.

Заметим, что если Ф (х) — произвольная однородная функция степени X,
имеющая особенность только в начале координат, и — п — к— 1 < ReX <
<С—п~к, то формула (10) применима для регуляризации интеграла
Ф
5 • •• ^ ^ ' • ' •' жп) ? (хп • • • > x n) ^ i - • - ^ п -
Полученный при этом функционал представляет собой однородную
обобщённую функцию степени X. Он совпадаете Pf \ . . . \Ф(x)y(x)dx

(конечная часть интеграла по Адамару, см. [4]).
Мы показали, таким образом, что всякой формально однородной обыч
ной функции Ф {хъ ...,хп) степени X при \Ф—п~к отвечает по форму
ле (10) обобщённая однородная функция той же степени — регуляризация
интеграла \ . . . \ Ф (х) cp (x) dx. Так как однородную функцию любой сте
пени, имеющую особенность только в начале координат, можно опреде-
лить, задав произвольно её значения на любой замкнутой поверхности

Г, пересекающейся только в одной точке с каждым выходящим из начала
координат лучом, то всякой непрерывной функции на замкнутой поверхности
Г отвечает обобщённая однородная функция степени \ при \Ф —п — к.
2. О д н о р о д н ы е о б о б щ ё н н ы е ф у н к ц и и ц е л о й о т р и ц а
т е л ь н о й с т е п е н и . Перейдём теперь к построению однородных обоб
щённых функций целой степени < — п. Рассмотрим сначала обычную
формально однородную функцию Ф [хг, . . . , хп) степени —п. Чтобы опре
делить соответствующую обобщённую функцию, т. е. регуляризованное зна
чение расходящегося интеграла
J ••• J ф ( ж 1 , •••> xn)<?(xi> ...,xn)dx1...dxn,

выберем произвольную область Z), содержащую начало координат, и положим
{ . . . [ Ф (х) ср (х) dx =
= \ ••• J Ф ( я ) [ ? ( з ) - ? ( 0 ) ] Ж е + J ••• J ®{x)<t(x)dx. (И)

D " E—D
Определённое таким образом регуляризованное значение интеграла

{ • • • { Ф (х) ср (х) dx
зависит, естественно, от выбора области D. Обозначим полученную обоб

щённую функцию символом {Ф, D) и выясним, что происходит с этой
функцией при замене области D другой областью Dv Непосредственно
очевидно, что, заменяя D на Dlf мы получим значение функционала,
отличающееся на
ср (0) ^ . . . ^ Ф (хг, . .., яп) d ^ . . .dxn.
D-Di
Таким образом,
{Ф, D} - {Ф, DJ = 8 (xlt ...,xn)\...\9{x)dx. (12)
D-D!
Так как из формулы (12) следует, что разность обобщённых функций

{Ф, D} и {Ф, Dj] есть однородная обобщённая функция порядка —п,
равная 8 (х1У .. ., хп), то однородность обобщённой функции, определён
ной формулой (И), не зависит от выбора области D.
Проверим, будет ли определённая формулой (И) обобщённая функция
однородна, т. е. удовлетворяет ли она условию
Делая в интеграле
$ ... $Ф(а;)[<р(|)-<р(0)]Ле+$ ... \®{x)<?{x)dx

D E-D
замену переменных — = x'h и обозначая через aD область, полученную

из области D подобным преобразованием с коэффициентом а, мы получим
\ ••• $ Ф ( * ) [ ? ( 0 - ? ( О ) ] ^ - 1 - $ ... $<&(a)<p(f-)«te =
D E-D
= Д . . . \ф(х)[<?(х)—ч(0)]с1х+ { . . . {Ф(х)у(х)с1х + у(0){ . . . Сф(я)Ав.
D E-D D~aD
Очевидно, что для однородности обобщённой функции \ ••• \ Ф (х) <f (x) dz
необходимо и достаточно, чтобы \ ••• \Ф(x)dx = 0 для любого а.
D-aD
Преобразуем это условие. Для этого введём в области D-~aD систему
координат р, иъ . . . , un-lf где р = 1 и о = а — уравнения поверхностей Г
и аГ соответственно, a иг, . . ., ип^ — координаты на поверхностях р = const.
Обозначим хк = рхи. Тогда
1? Хт
dx, dx2. . .dx n = ", '"' " ч dpdu,. . .du^, =
= р ~- dp (z[ dx'2.. .dx'n — x'2 dx[. . .dx'n + . . . ±x'n dx[. . . d x ^ ) = pn-1dp dm,
п г
где дифференциальная форма CZCD рассматривается на поверхности р = 1.

С другой стороны, Ф (хг, . . ., хп) = р- п Ф ( ^ , . . ., я/). Поэтому
^ . . . ^ Ф ( х ь . . . , xn)dx1...dxn =
D-a.D
а
= 5 -у- 5 Ф(Х1) • ••' ж ») с ? ш = 1 п а 5 ф ( % ' • • •'Xn)dm- (13)

1 Г Г
Таким образом, необходимое и достаточное условие того, что регуляризо-
ванное значение интеграла от формально однородной функции Ф (хъ . . ., хп),
т. е. обобщённая функция {Ф, — Z)} степени —п представляет собой одно
родную обобгцённую функцию, таково:
^Ф(Х1,.,.,хп)с1* = 0. (14)
Если это условие не выполнено, то

J • • • ^ ф (**' • • •» жп) ? (xv "-,x^dx1 . . . dxn
есть присоединённая обобщённая функция.
Интеграл в формуле (14) представляет собой не что иное, как вычет
функции Ф (хх, . . ., хп) относительно начала координат, определённый
в п. 1 этого параграфа. Поясним теперь в несколько ином плане, почему
обращение вычета Ф (хг, . . ., хп) в нуль является условием однородности
соответствующей обобщённой функции, а также роль понятия вычета.
Так как Ф {хг, . . . , хп) — формально однородная функция степени —п,
п
х
то согласно уравнению Эйлера ^ и ~ъ— = — яФ или, в дивергентной форме,
п
2 —ffe = 0. Это равенство заведомо удовлетворяется во всех точках,
кроме начала координат, где у Ф (х±, . . . , z) — особенность.

Покажем, что если Ф обобщённая функция, построенная с помощью

*b(xv . . . , хп) по формуле (11), то имеет место равенство
п
= С
i дхк ^ (Xly '"' Хп
^
где с— вычет функции Ф. Для этого согласно определению дифференциро
вания обобщённых функций достаточно в (11) заменить ср(#) на — xk-~-
и просуммировать по к. Мы получим
D E—D
= - \ [<Р И - <Р (0)] 2 ~ Й г ^ - J) [? И - Т (0)] Ф (*) ^ 4-

D Г
т. е.
г
Следовательно, если \ Ф (а^, . . ., xn)du> Ф 0, то однородность функции
г
Ф (х1У . . ., хп) в начале координат нарушается. Если Ф (х1? . . ., ^ — потен
циал некоторого поля, то это нарушение однородности — свидетельство
наличия в особой точке источников, зарядов и т. п.
Мы показали, что условие, при котором формально однородная функ
ция Ф (х17 . . ., хп) степени — п определяет однородную обобщённую функ
цию ( регуляризованное значение интеграла \ . . . \ Ф (х) ср (х) dx Л , состоит
в том, чтобы вычет Ф (х) в начале координат равнялся нулю.
Пусть теперь Ф (хг, . . . , хп) — формально однородная функция степени
— п — к, где А: —целое число. Зададим снова произвольную область D,
содержащую начало координат, и определим регуляризованное значение
интеграла \ . . . \ Ф (х) ср (х) dx по формуле
{ . . . {ф(х)у(х)(1х =
+ 5. ? .^(x)[«p(a ! )-T(0)-...-j^ I j r 2 ^•••^JT M aU"l' t e - ( 1 5 >

E-D 2a=fe-l 1 ••• n J
Д л я однородности обобщённой функции, определённой равенством (15),
необходимо и достаточно выполнение условий
\ . . . \ Ф (ж) х\х . . . ж*» dxx . . . d# n = 0 (04 + • • • + a n = А)
D-aD
для любого а или, что то же самое, условий
Ф (х) х«г ... х% d(o = О К + . - - + <*п = А), (16)

г
т. е. обращение в нуль всех вычетов функции Ф (хъ . . . , хп).
Таким образом, для того чтобы формально однородной функции
Ф (хг, . . ., хп) целого порядка —п — k отвечала однородная обобщённая
функция, необходимо и достаточно, чтобы все вычеты этой функции были
равны нулю.
Заметим, что для целых значений ^ <; — п, кроме обобщённых однородных функ
ций, определяемых обычными функциями, нам известны ещё однородные обобщённые
функции, не связанные ни с какими обычными функциями, а именно Ь(х17 ...,хп)
и её производные. Производные /с-го порядка от b(xlt ..., хп) представляют собой одно
родные обобщённые функции степени —п — /с. Число различных производных &-го
порядка в точности равно числу условий (16). Поэтому общий запас однородных функ
ций степени —п—к оказывается, как и для произвольной нецелой степени \, совпа
дающим с запасом непрерывных функций на замкнутой поверхности Г, охватывающей
начало координат.
В заключение поясним ещё в одном аспекте, почему условием одно
родности обобщённой функции \ . . . \ Ф (х) ср (х) dx, где Ф (х) — формально
однородная функция степени —п — к, является обращение в нуль вычетов
этой функции. Для этого вернёмся к однородной обобщённой функции F
степени X, аналитически зависящей от X. Такая функция, вообще говоря,
имеет полюс при Х = —п — к. Вычет в этом полюсе равен линейной комби
нации интегралов \ F'n'k #Ji . . . x°^du>, где а х + • • • + а п = А, т. е. вычетов
г
функции F~~n~k(x).
Если все вычеты F~n~h (x) равны нулю, то полюс пропадает, и обобщён
ная функция F1 аналитична при Х = —п — к. Естественно, что, являясь
пределом при \—> — п — к однородных обобщённых функций, обобщённая
функция р-п-]г однородна. Если же хотя бы один из вычетов F~n~k (х)
отличен от нуля, то та же самая регуляризация интеграла
С . С F„n-k ^ ? ф dx
даёт уже присоединённую однородную функцию степени —п — к.

3. П р и м е р — о б о б щ ё н н а я функция гл. Рассмотрим в каче
стве примера хорошо изученную (см., например, [1], [5]) однородную обоб
щённую функцию г1 = (х\ + х\ + . . . + х2п)*'2. При X = —п функция
г1 имеет полюс с вычетом 8 (хг, . . . , хп) \ da — Qn§ (хъ . . ., хп), где
г=1
Qn — площадь поверхности сферы г = 1 в я-мерном пространстве. При
х
Х = — лг — 1 вычет г равен нулю, так как все интегралы \ xkd<£ = 0 в силу
г=1
симметрии области. Это же соображение о симметрии области показывает,
что равны нулю вычеты во всех точках Х = — п — ( 2 / п + 1), так что функ
ция г1 может иметь полюсы только в точках Х = — п — 2т. Общая фор
мула (9) позволяет найти вычеты в этих точках, но, чтобы не вычислять
интегралов, мы воспользуемся для этой цели непосредственно проверяемой
для R e X > — п формулой А (г я + 2 ) = (Х + 2) (Х + п) г* (А —оператор Лапласа).
Формула эта, справедливая в силу аналитичности левой и правой части
для любого X Ф — /г, — п — 1, . . . , — п—т, даёт возможность путём иг-крат-
ного применения для любого т представить гк в виде
ГЯ = ±-L (П)
(Х + 2)(Х + 4) . . . (Х + 2т)(Х + л)(Х + п + 2) . . . {\ + п + 2т — 2) ' ^ '
Из формулы (17) следует, что вычет гх при Х = —п — 2т совпадает с выче

том первого порядка (при \-\-2т — п) — обобщённой функции, стоящей в пра
вой части равенства.
Так как дифференциальный оператор А т , применённый к обобщённой
функции, «перебрасывается» на ту функцию, на которую действует функ
ционал (т. е. символически Д т г л + 2т [ср] = г я + 2т [А т ср]), то мы получаем, что
д т /гЯ + 2 т \
П
вычет обобщённой функции ( 1 + 2) _ (l + 2mHl + n) ,,. (Х + п + 2т-2) РИ
Р АтЬ (х х )
X + 2т = —п равен -.—^ ^ у ' "'/ у-т -.—^ . Следовательно,
v
( — 2m — л + 2) . . . ( — п) ( — 2т) . . . ( — 2) '
вычет гх при X = —п — 2т равен
x
\i • - -1 хп) (18)
2т-т\п(п-\-2) . . . (п + 2т — 2) '
ДЛЯ дальнейшего нам удобнее будет пронормировать обобщённую функ

цию г я так же, как это было сделано выше для степеней х на прямой.
С Г 1 / А. -4- л Л
х ? r2
Для нормировки разделим г на \ . . . \ r e~ dx1 . . . dxn~-7> 2 П Г { —у- \ .
Функция
будет, очевидно, целой аналитической функцией X. Так как вычет Г Г ^ - ^
при X = — п — 2т равен —-—~— , то функция . , равная при
А— —п — 2т отношению вычетов числителя и знаменателя, имеет вид

2т".А (-j)mAmb{Xiy ...,*„)_
QriV 1 + п 2 т л ( л + 2) . . . (rc + 2m —2) *

Я= ~n—2m
В частности, при т = 0 получаем

§ 3. Разложение 8-функции на плоские волны и приложение

к нахождению фундаментальных решений эллиптических
уравнений и решению задачи Коши
1. Р а з л о ж е н и е функции гл и Ъ(х17 ...,хп) на плоские
в о л н ы 1 ) . Рассмотрим в n-мерном пространстве обобщённую функцию
]<!>!#!+ • • • + ° V r n l у г Д е (^ъ • • •» шп) ~~ точка на единичной сфере, и усред
ним её по всем направлениям со, т. е. вычислим интеграл
) Ь А + • • • -' ">пжп |А с?о> (1)
(Q — сфера со^ -f . .. + w n = 1, d<*> — элемент площади поверхности этой сферы).

Так как интеграл (1)—однородная, сферически симметричная функция
от а;ь . . . , хп степени X, то он с точностью до множителя равен г я , где
r = Yx\+ .. . ±х2п, т. е.
^ | о з А + . . . + <»пхп \Ыш = С (/г, X) тК (2)
Чтобы найти значение постоянной С(/г, X), положим .т/г — 1 , ггх = . . .
. . . — г с ^ ^ О . Мы получим тогда, что 2 )
С (л, Х)= J |(on|Ado) = 2iu"2

X + /г \
1
Подставляя значение С (п, X) в формулу (2) и поделив на ~
получаем формулу
2
Г
с--.- )
1 Г я 2гд
^ 1 ( 0 ^ ! + ...+«> Л Ж П | rf(0= A + |>v , (3)
основную д л я д а л ь н е й ш е г о .
2
) После сдачи статьи авторы имели возможность познакомиться с содержатель
ным обзором Буро (F. Bureau) «Расходящиеся интегралы и уравнения в частных произ
водных» (Communications of pare and applied the mabics, v. 8, № 1 (19^5), 143—202), где
рассматривается вопрос в несколько иной постановке. В обзоре указана также более
ранняя литература.
2
) Для вычисления интеграла переходим к сферическим координатам 6Х>
02, . . . , 0 n _ i . При этом con = cos 6n_1? a rfw^sin71-2 6n_a dbn__1 с1шп_г1 где ^а>п_г — элемент
поверхности сферы в п — 1-мерном пространстве. Интеграл приобретает вид
те ViZl
2Qn_1 \ sin n - 2 8cos A 6c?e= V

х
г/ +п
П-1 j
поскольку Q n _!==—-— .^ , а V sin n - 2 х o,oslxdx=-7r-B ( —^—, —^— J

V 2 у'
ОДНОРОДНЫЕ ФУНКЦИИ И ИХ ПРИЛОЖЕНИЯ
31
2гя
Эта формула даёт разложение функции — — на так называемые
«плоские волны» и тем самым, как будет показано ниже, часто позволяет
сводить пространственные задачи к плоским и одномерным. Рассмотрим
частный вид этой формулы при X = —п. Если п — нечётно, то по формуле
(Н) § 1
= (-1) 2 \ЦгЬ^{х).
Ч^)
G другой стороны, по формуле (19') § 2
2гх
г^±-») А= - п
где &п —площадь поверхности единичной сферы. Подставив эти значения

в формулу (3) и разделив обе части равенства на Qn, получаем
п-1
( __1) ^ Г ^ 1 ^ |
2
те (л — l ) ! Q n »
п п—1
о .. „ 0 2^ 2(27i)~2~
В пространстве нечетного числа измерении bJu = —— = r ^ g / __<)) '
Подставляя это значение 2 П и упрощая коэффициент, находим окончатель

ную формулу
п-1
s(n_1)
Ь(хъ ...,хп) = {'^n-i \ K ^ i + .--+<»nxn)di>- (3i)
Эта формула была получена А. А. Хачатуровым [8].

Выведем теперь формулу, дающую разложение о-фуыкции на плоские
волны в пространстве чётного числа измерений. В случае чётного п пра
вая часть формулы (3) попрежнему при Х= — ?г обратится в &пЪ(хъ . . ., хп).
С другой стороны, при чётном п
\х Iя | _ 1 _1_
п , 1\ а?1>п >
1
где под — понимается однородная обобщённая функция, введённая в
п. 3 § 1 .
Подставляя эти значения в формулу (3), мы получаем, что при чёт
ном п
2тс 2
Вспоминая, что Qn = — , мы получаем, что в случае чётного п
п
( {п 1){ d<
Ъ(х х)- -^ - [ ° (3\
1 1
где функцию -щ — -. — — - следует понимать как соответствующую
обобщённую функцию, а \ как интегрирование обобщённой функции 1 )
по параметру. Для лучшего понимания формулы (3) применим обе части

равенства к функции ср (хъ ...,хп). Тогда формула (Зх) приобретёт вид
п-1
/ 1) 2 Г Г дт-1)
ср (0, . . ., 0) = щщ^г ] do> J я ] ^ Г ? (хъ ' • • ixn) d
^
ш
я п
п
а
где do — элементарная площадка в плоскости 2 ^ А — 0» ^т дифферея-
k=t
цироваыие по направлению вектора ((%, . . ., о)п).
Аналогично можно записать формулу (3 2 ).
2. Ф у н д а м е н т а л ь н ы е р е ш е н и я э л л и п т и ч е с к и х у р а в н е
н и й с п о с т о я н н ы м и к о э ф ф и ц и е н т а м и . Применим полученную
формулу к задаче об отыскании так называемых фундаментальных решений
эллиптических уравнений.
Пусть дан линейный дифференциальный оператор L ( -—, . . ., ^— j
с постоянными коэффициентами порядка 2т. Обозначим через L0 его глав
ную часть, т. е. часть, содержащую только производные порядка 2т.
Оператор L называется эллиптическим, если при замене в L0 каждого из
д д г / \
о— , • • •, Q— числами о>1? . . ., о)п мы получаем многочлен Ь0 (о)1? . . ., шп),
не обращающийся в нуль при о)^ + • - • + ° \ ! ^ 0. Наша цель —найти так
называемое фундаментальное решение (функцию Грина) эллиптического
уравнения. Функцией Грина дифференциального оператора L называется
решение и (хъ . . ., хп) уравнения
4 £ . - " . £ > - e « » ( * i , •••,*«), (4)
г
) Б'сли задана обобщённая функция Тф ^ , зависящая от параметров <о19 ..., соп,
то под интегралом \ Т^ w dm понимается обобщённая функция (т. е. функционал
Т [у]) такая, что для любой ср значение функционала вычисляется по формуле
Ч9]=5
которое на бесконечности для любого s > 0 удовлетворяет неравенству г)

\U(xit . . ., хп)\ < C>- n + 2 m + e .
Через Q,n здесь, как обычно, обозначается площадь поверхности единичной
сферы х\-\- . . . +х1= 1> Метод решения этой задачи состоит в следующем.
1°. Мы заменяем 8-функцию с коэффициентом г, правой части рассма-
триваемого уравнения функцией —тут;—- .
Г
С "2 J
2г я
2°. Функцию —т-\—;—^ разлагаем на плоские волны (т. е. иредстав-
ляем её согласно формуле (3) этого параграфа как среднее по всем направ
лениям со — ((1)1? . . ., о)п) от функций вида С\ы1х1-\~ . . . -f-ыпхп \л) и решаем
уравнение для правой части вида | to^-f- . . . -| и>пхп | я , что уже элементарно.
Итак, заменяем уравнение (4) уравнением
т f_d^ д_\ _ 2гк
из которого уравнение (4) получается при к= п.

Представим теперь ~ по формуле (3) в виде
г (^АЛ
2гх
ч л> ^ hl^l-V" ••• + » > , Л г | Д ^ .
п 4-
Если найти решение г?ш уравнения
* 2 r(-2-
зависящее только от Е = а> 1 # 1 + . . . -f u>n#n, то решение уравнения (5) запи
шется в виде
и (хъ . . ., хп) - ^ ^ ( с о ^ + . . . + <*>пжп) du>.
Решение уравнения (6) сводится к решению обыкновенного дифференциаль

ного уравнения относительно функции г;,0(£). Так к а к для функции
г\0 (t) = г^ ( ш ^ + • • • - f ">Лж„)
д _ d
то, подставляя функцию vH,(t) в уравнение (6), мы получим обыкновенное

2
) Для того чтобы пояснить это ограничение на рост, заметим, что однородное
решение уравнения L 0 ^ = O(.T1, . . . , хп) порядка 2т должно иметь в точности степень
2т — п (так как Ъ(х±, ...,хп) — однородная функция степени —п). На самом деле
можно показать, что фундаментальное решение может быть присоединённой функцией
первого порядка и степени 2т — п? т. е. может (для 2т > п) расти, как r2m~n In r.
3 Успехи матем. наук, т. X, вып. 3
34 И. М. Г Е Л Ь Ф А Ы Д И 3 . Я. Ш А П И Р О
дифференциальное уравнение порядка 2т

d d
г ( \ I 5 Iя
Пусть G(q —7j, со) есть функция Грина уравнения (7), т. е. решение
уравнения L ( о ) 2 ^ , . . ., ш / г ^ J G = 8 (с —- т]). Тогда интересующее нас реше
ние уравнения (7) имеет вид
сю
1
»» (<) = - ^ г г - \ G (£ - т), а.) | т) Р- Фц (8)
и окончательно
и{хл ^ 1 \ о ( а ) Л т . . . +CD?,.xJc/co. (9)
Чтобы найти теперь функцию Грина дифференциального операто

ра L, нужно, как мы уже говорили, в формулах (8) и (9) поло
жить к ~ —л.
Особенно простой результат получится в случае нечётного числа изме
рений. В этом случае hi-я Co( n_1 ) (т]) и, значит,
••С* 1 )
Таким образом, # пространстве нечётного числа измерений п функция

Грина эллиптического дифференциального оператора L может быть пред
ставлена в виде
U (*ь . . . ^ J = C 1 5 ^ 1 G ( « , «OAD. • (10)
Здесь £ = ш1х1 --}-...+ <*>„#„, a G (с, со) есть функция Грина обыкновен
ного дифференциального оператора L ( а^у,, . . ., w n -^ J • Постоянная
п-Л
2
Г __ _ _ _ _ _ ( - 1 ) ~
С
1~ п-1
2
(2п) 1-3-5 ... (/г — 2)
Разберём более подробно случай однородного эллиптического диффе
ренциального оператора L(L = L0) r). Обыкновенное дифференциальное урав
нение (7) в этом случае приобретает вид
-М¥)
*) В указанном выше (см. примечание на стр. 30) обзоре Ф. Буро фундаменталь
ные решения однородных эллиптических уравнений трактуются близким к указанно
му здесь способом и получены формулы (11), (12).
и, значит,
v'Jm>(l)=-^
,-м.(¥> (<»>1, • • •> ш
п)
Для того чтобы найти г?„, (S), нужно 2 т раз проинтегрировать | £ |л\.
Сделав это, мы получим, что
*•(*>= •=! . ' ((ITRTTr^j + ^ W } ,

Л 2 г L
(^ ~2~ у (Î» • • •' ш и)
где (^ (£)-—зависящий от X многочлен степени, меньшей 2 т — 1, подобран
ный так, чтобы выражение в скобке не имело полюсов по X нигде, кроме
Х = — 1, — 3 , — 5 , . . . (см. формулу (24) § I ) 1 ) . Отсюда получаем, что ре
шение однородного эллиптического уравнения
Т (— -АЛ _ 2гя
V. дхх ' ' ' ' ' дхп J ~ г / I+и
задаётся формулой
(ii)
В частности, при Х = - - я получается функция Грина однородного эллип
тического дифференциального оператора порядка 2 т .
Заметим, что так как интеграл по сфере Q от каждого слагаемого
п
многочлена QK ( ^ <якхк ) удовлетворяет уравнению L ( -~- , . . ., ^— J и = О,
то мы можем в функцию Грина включить только то слагаемое этого мно

гочлена, которое нуяшо, чтобы полученная функция не имела полюса при
X = — п, отбросив все остальные слагаемые.
Разберём более подробно вид функции Грина. При этом будем иссле
довать отдельно случай, когда порядок уравнения не меньше размерности
пространства (2т>п), и случай, когда 2 т < / г . Рассмотрим сначала первый
случай ( 2 т > г г ) . Здесь приходится различать случай пространства нечёт
ной размерности п и случай чётного п. При п нечётном и 2 т > А г предель
ный переход в формуле (11) даёт для функции Грина выражение
п-1
U (*!, •..,*.)= 4.(2,AL-ra)! \ I»А + • • • + «Л Г " " £ ( ^ „ % ) • (12.)

Многочлен (?Л здесь отброшен, так как для предельного перехода он не
нужен. -:
^2m-2k .. ; г
г Вп
) <?*(*) = 2 (Яс-1)\(2т-Щ\(Х + 2к)- Р о ч е м > конкретный вид этого много-
h -1
члена нам не важен.
3*
В случае чётного п и 2т > п при \—.~~п для получения конечного

_ U+2m
^Ийчиния и rи и л и д ш г а дииаь«/щть л X
ш уJ и к ц и и
S соьХь л
,, , , ч - Д , 0—: ТО Слагаемое
(A-f-1) . . . (А. + 1т)
многочлена ^ я ( 2 0 ) А ) ^ коэффициент которого содержит множитель •——,

£2т-п I £ |Я + 2 т
а именно -. ТТГТК——ч, п ,—ч. При этом сумма тт~ттг тт , о v +
r J
(п —1)1 (2m - п)\ (X-j-n) (А. + 1) . . . (А. + 2/п)
+
М 2?п £2m—n I n I M
+ (n-l)l{2m
/ Т Г п т , _—иn)\(\
,/Г+ Г ^n) П"*"*
Р И 1"~^ ~п'" стремится
- г — « - (л-1)1 (2m-/z)!'
к
получаем следующее выражение для функции Грина:
U (х1г . ., хп) -
П —2
"2"
==-/-кД \ ^ ("> А + • • • + «>пж„)ат-п1п | о)^! + . . . + % ^ r ! T 7 — ^ -г, (12.)
п г х п п
*(2п) (2т— п)\ у ' > • 11i I n n] L ( & ! . . . ь>п) v 2/
Заметим, что когда порядок уравнения не меньше размерности простран

ства, интегралы по сфере сходятся, и функция Грина представляет собой
обычную (необобщённую) функцию от хъ . . ., хп, непрерывную в точке
*i = • • • = хп = 0 .
Перейдём к случаю, когда порядок уравнения меньше размерности
пространства (2т < п).
В этих случаях
2 1
,Д + 2ш ! (-1) ("I")
.8(п-2т-1)(ж)
/ ^ +1 (и —2/п — 1)!
г
Р)
для нечётного п и
,Д + 2 т
51~ п +
(^.'И
для четного п.
Отсюда для функции Грина получается при нечётном п (2т < п) выра
жение
^•••,*„) = - Ч § ^ ^ < » - ^ ^ ^ (12.)

2
и при чётном п (2т < тг) выражение

п
U ( r r ^ _ (-l)TQ*(»-2m-l)l Г 1 tfo>
1
И ''"' »' (2«)» J («>,*!+.. •+»П*п)П^1тЬ(»1 « „ Г ^ «'
Зёметим, что стоящие под знаком интеграла в формулах (123) и (124)

функции являются обобщёнными функциями, непрерывно зависящими
от параметров с^, . . ., <оп, и поэтому интегрирование возможно. Функция
U(xv . . ., хп) в формулах (123) и (124) является однородной функцией
степени 2т —п, так как она получается интегрированием по параметрам
однородных функций той же степени. Так как однородная функция сте-
ОДНОРОДНЫЕ ФУНКЦИИ И ИХ ПРИЛОЖЕНИЯ 3?
пени > -—п-в ^-мерном пространстве интегрируема, то функция Грина

U(хх, . . . , хп)и в этом случае является не обобщённой, а обычной функ-*
цией, имеющей в начале координат интегрируемую особенность. ,.
3. Р е ш е н и е з а д а ч и К о ш и д л я т е х у р а в н е н и й , д л я к о т о
р ы х о н а к о р р е к т н а . Рассмотрим дифференциальное уравнение
д_ д_ ~)и = 0
дхх' ' ' '' дхпУ
(Щ
порядка т.
Несколько позже мы сформулируем ограничения, наложенные на это
уравнение. Наша цель - решение задачи Коши для уравнения (13), т. е.
отыскание функции и (t, хъ . . ., хп) для t > О, если заданы значения
= <?h(Xl> • - ч Х
п ) (А = 0, т •1).
(14)
t=zO
Заметим, что достаточно решить задачу для случая, когда отлична от нулд
лишь функция срт_1 (хъ . . ., хп), а ср0 = . . . = срт..2 = О х ). Так как всякую
функцию ср т-1 (х) можно представить в виде срт_1 (х) = J cpm-1 (с) 8 (ж — £). <i£, TO,
таким образом, для того чтобы решить уравнение (13) с условиями (14),
достаточно найти обобщённую функцию К(х, t), являющуюся решением
уравнения
(Н ' Эх;
(13')
при условиях
А'(г, х) = 0 (й = 0, 1, m 2),
f-»0
Зш-1
(14')
8
<?t» т ^ с . * ) L 0 = ( « ь • ••,*»)•
*) Действительно, если и—решение уравнения, удовлетворяющее начальным усло-
dhx
=0 (fc = 0, l , . . . , m —2),
t=0
dtn <=0
r9zz
то функция к х = — также удовлетворяет уравнению и начальным условиям, в кото-
дт~2и
рых отльчны от нуля только . Вычитая из и2 решение м2<,
д[т-2 *-=0 *=0
удовлетворяющее условиям
д*и2
= 0 (А- = 0, 1, ..., w —2),
~l)tk *=0
m
<9 ~ 1 Wo
и dt™-1 \t=0
д* *=о
Щ
мы получим решение и3, для которого при t = 0 отлична от нуля только —у^г^
Аналогично можно получить решение, для которого при £ = 0 из первых m— 1 произ
водных по t отлична от нуля только производная -^г при любом фиксированном
& < 711 — 1.
В этом пункте мы будем предполагать, что для случая двух переменных

х и / соответствующая задача Коши уже решена. Во многих случаях для
двух переменных решение задачи Коши может быть получено в явном
виде. Так, например, если Р ( -_-, — j — однородный многочлен степени т
и уравнение Р (у, 1) = 0 имеет лишь вещественные корни (однородное гипер
болическое уравнение для двух независимых переменных), то общее реше
ние уравнения
задаётся следующим аналогом формулы Даламбера:

m
»(*,*) = 2 fiix+vj), (16)
1=1
где / { (i) — произвольные функции, a vi — корни уравнения Р(ъ\ 1) = 0.

В том, что и (t, x) является решением уравнения, легко убедиться непо
средственной подстановкой. Числа v{ являются скоростями распространения
отдельных плоских волн, характеризуемых функциями Д. Зная общее
решение (16) уравнения Р( — , —- )гг = 0, мы сможем без труда решить
,dt' дх _
задачу Коши для этого уравнения.
Решение задачи Коши для уравнения (13) при произвольном числе
независимых переменных мы проведём сведением к задаче Коши для двух
независимых переменных. Относительно уравнения (13) сделаем следующие
предположения. Каковы бы ни были юъ . . ., соп, дифференциальный опера-
T O p / > w = Р С01 ,,а) 1 обладает тем
( ^ ' §0 (^ ' ^' " ' ^") свойством, что
для уравнения
(17)
*»(£. Ю°"=°
задача Коши корректна.
Перейдём теперь к решению задачи Коши для уравнения (13).*
Рассмотрим это уравнение
д_ _д_
)и = 0 (13)
dt ' дх
при начальных данных
дк~г1и I (А = 0, 1, . . . , т т с - 2 ) ,
dt^- /=0
дт~хи I 2гх (18)
dtm~t \t=0 j , ( X±п_
2
2/*я
Разложим — - т по формуле
2гл
^ |0)Л+...+«>гЛг|Лсга) (3)
44--) .^(i+ij 2
и будем искать решение уравнения (13) с начальными условиями (18), за

меняя правую часть выражения (18) на функцию
п-1
— 1 ы1х1 + . . . + ыпхп\к и затем интегрируя полученную функцию
2
* Г(
по сфере (1)^ + • • • + wn = 1. Если искать решение этой задачи в виде функции

v,o(t, l)= vli>(t,m1x1+ . . . + < v O , то мы придём к следующей двумерной
задаче: ищется решение уравнения
'*•*) —<§.-*к -.а>-° <19>

при начальных условиях
= 0 (A = 0 , l , . . . , m - 2 ) , 1
г=0
dw"4oM) J IMA ^ ( 20 )
n n—i .
dt t=0
(-£) J
Как это непосредственно следует из формулы (3), решение u(t, хъ ..., хп)
задачи (13) и (18) выражается через функцию v^(t, t) следующим образом:
u(t, хъ . . .,х1Ь)= ^ М*> (1)^!+ • • • +<vOcfo>. (21)
Пусть #„>(£, t) - ядро, дающее решение задачи Коши для уравнения

(19). Как мы уже говорили, это ядро получается, если в граничных
условиях (20) заменить функцию— _ 1 1£ |А функцией 8(£). (Это
получилось бы при Х = — 1.)

Поскольку решение уравнения (19) при любых начальных данных
сводится к решению задачи Коши при начальных данных в виде 6-функ-
ции, то решение K^(t, £; X) уравнения (19) при начальных условиях (20)
может быть представлено в виде 2 )
1 °°
К
К* (г, 6; X) =, irî———— \ * ('» * ~ ^ I т< 1Я dyl'
тс
•(ч
JL С — ^ г — ) — о о
Мы можем теперь выразить через функцию K^(t, £) решевие уравне

ния (13) со многими независимыми переменными при начальных условиях
(18). Если обозначить решение этого уравнения через K(t, хъ . . ., хп\ X),
то мы имеем
К (t, хъ . . ., хп; \)=^КШ (t, ( « л -f . . . + (!>пжЛ; X) йсо (22)
*) В тех случаях, когда осмысление этого интеграла встречает затруднения, его

следует понимать как аналитическое продолжение по X, начиная с «безопасных» зна
чений X.
40 11. М. Г Е Л Ь Ф А Н Д И 3 . Я. Ш А П И Р О
ИЛИ
0 0
I f f 1
где $ = о)^! + . . . + o)na;n. Ядро i£ (t, хъ . . ., х п ), дающее решение задачи

Коши с начальными условиями в виде 8-функции, получается, если в фор
мулах (22) или (23) положить Х= — п, поскольку именно при этом значе-
нии X функция——.^—— обращается в 2 - 8 ( ж ь ...,хп).
Особенно простая формула возникает в случае пространства нечётного

Y1 a
__!Y]_|
числа измерений (п — нечётно). Так как при п нечётном—уТГГ\
Г
°бра-
п-1
т
( - 1 ) ( ^ ) n_1
щается при л = — ?г в функцию ^—^~-|
^ Z
J— 8( )
Z(n-i) (TJ), то окончательно
в случае нечётного числа «пространственных» переменных формула для ядра
К{1,хъ . . . , # п ) , дающего решение задачи Коши, приобретает вид
( - 1 ) ~ ( ^ Л 1
* (*, * i , . . . , *„) = ^ — J - ^ - ^ | ^ Z (г, а) Ао, (24)
2
* (д-1)!
где $ = ( 0 ^ ! + • • • + ^пхп- (Поскольку K{t,\) является обобщённой функ

цией, то дифференцирование следует понимать как дифференцирование
в смысле обобщённых функций, а интегрирование — как интегрирование
обобщённых функций, непрерывно зависящих от параметра.)
Подчеркнём ещё раз, что указанная формула справедлива для всех
уравнений, для которых корректна задача Коши, например для любых
параболических и гиперболических уравнений.
4. Р е ш е н и е з а д а ч и К о ш и д л я о д н о р о д н ы х г и п е р б о л и
ческих уравнений. Формулы Герглотца-Петровского.
Разберём в качестве примера более подробно случай гиперболического урав-
нения, не содержащего производных порядка < m ( многочлен Р ( —- , --—
однородный многочлен степени m ). Предположим для определённости,

д1П
<9F равен единице. Мы имеем задачу
что коэффициент при -у-^
P(L A и= О (25)
dhu
= 0 (к = 0 m
д"*~hi 2rK (26)
dt"1'1 f \+ n \
Как мы уже говорили, решение этой задачи сводится к решению сле

дующей одномерной задачи Коши:
р
»(ш> I ) v«-р(I' ш
I ' • • •' шпж)у<о=° (25
'>
й! =° (А = 0, 1, . . . , т и - 2 ) ,
т £ ;Я
(26')
аfitm-l
-% п— 1
С
Как легко проверить, уравнению (25) удовлетворяет всякая функция
x г е
/ ( 2 k®k +î0» Д Уу — какой-либо корень алгебраического уравнения
Р ( у , ш^ . . . , « , „ ) = 0. (27)
Все корни этого уравнения вещественны (в силу гиперболичности уравне
ния (25)); мы будем предполагать, что при любых озь . . ., ып все корни
различны.
Решение f (^j xha\-\ vЛ) представляет собой плоскую волну, распро
страняющуюся со скоростью — vr Будем искать решение задачи Коши
(25') —(26') в виде суммы одинаковых плоских волн
m n
*>«> («, 2 ®hxk) = 2 °jf ( S ^ А + t ' A (28)

распространяющихся со скоростями vjm Суммирование в формуле (28)
ведётся по всем корням уравнения (27). Начальные условия определяют
с- и / из уравнений
2с, = о, 2<y,,=o f ...,2vr 2 =o, Z ^ r ' - i , ]

/(—О (5) = - s - r _ 1 | £ |*. (29)
^-г(^) !
Отсюда
1
C
j - (р. __ ^ ) . . . (Vj — у ; _ 1 ) ( ^ - — L ' y + х ) . . . ( ^ — Vm) ' \
я
Для определения /(E) нужно 7тг — 1 раз проинтегрировать |£| . Вспоминая
сделанные в п. 5 § 1 замечания об интегрировании, мы положим
1
/ т - Г sign ^ - i | s ] *+™-i .
те 2 J
Ч-2-) *-
где многочлен (?я (£) подбирается так, чтобы / (?) не имела как функция
от X полюсов, отличных от X = — 1, — 3, . . ., — (2к + 1), . . . г).
х
) В соответствии с формулой (24) § 1 можно положить
v A (q) = 2j (2/C — l)!7m —2/Г — Т)1~(Х — 2/с) '

Итак,
v» С S ^А) =
г/г с
= 1 V* . > sign ( S "fe^fe + ^ Г " 1 1 2 "ftSfc + ^ 1 vm 1
~ Л
-7- /X + l \ , '] (b + l)(X + 2 ) . . . ( b + m - l )
-\-QЛЯ*№+ <>*)), ( 32 )
J
где Су определяются по формулам (30).
Решение исходной задачи Коши получается из (32) интегрированием
по сфере o)j-j- . . . -j- 0)^ = 1. Обозначая это решение К (t, хъ . . ., жл, X), мы
получаем
ЛГ (t, хъ . . . , жп; X) = ^ Vo> (г, S ^hxh) d^- (33)
При Х= —71 из этой формулы, как и в случае эллиптического уравнения,

получается функция Грина для решения задачи Коши. В формуле (33)
интегрирование проводится по сфере. Выбор сферы в качестве поверхности
интегрирования является здесь по существу случайным и может вызвать
протесты со стороны аффинно настроенных читателей.
Мы даём здесь принадлежащее В. А. Боровикову преобразование
этой формулы к виду, более отвечающему существу задачи. Сделаем в фор
муле (33) замену переменных, а именно положим ^и = ^ . При этом так
з
1
как V о)? — 15 то Ш—-;—г. Поскольку у- —корни уравнения Р (v, о) ь . . .
\Vj \
. . ., u)J = 0 и многочлен Р однороден, мы получим, что числа £1? . . ., 1п

удовлетворяют уравнению Р (1, ^ , . . . , £rt) = 0. Так как для каждого на
правления а) ъ . . ., (Dn имеется п различных корней vjf то, когда точка
(а) ь . . ., о)п) пробегает сферу, соответствующая точка (£1? . . ., %п) дважды
пробегает поверхность Р (1, 1г, . . . , £п) = 0. При этом каждому направлению
о)1? . . ., о)н отвечают т точек поверхности Н (1г, . . ., £п) = Р (1, £х, . . ., £п) = 0.
(И эти же т точек отвечают направлению — со1? . . . , —шп.) Интегри
рование по сфере в формуле (22) мы заменим интегрированием по по
верхности Н = 0. Чтобы сделать замену переменных в формуле (33),
где v,0 (t, 2 X A ) определяется формулой (32), выразим ^ ( ^ 2 Ж А )
и cfo) через £ ь . . ., £п.
Если обозначить через о?а элемент поверхности Н (£х, . . ., £п) = 0, за
ключённый в телесном угле, опирающемся на с?о>, и обозначить через <р
угол между нормалями к площадкам do и с?о>, то, очевидно,
, _ rfo! cos у | _ | S ^Н1{ 1 afo
d(0
— |5 |n-i ~ | g |n j g r a d я | *
а
Рассмотрим теперь отдельное слагаемое функции v&(t, 2 ^ J A ) » именно
f I S *ft"fe + Vjt \"+m~{ Sign ( S *fecofe + Pyt)m-l n ( V Л.

c
i \ (X + l)(X + 2)...(X + m - l ) + V ( 2 J ^ A + *W } .
здесь
1 1
(Vj — V!) ... (Vj — Vj_J)(Vj — Vj + 1) ... (Vj: — Vm) дР\
В силу однородности многочлена P(v, и>ъ . . ., ш71

дР дР m P
v=v.+ 2ю* ^ = К> ">!.•••. *«)=°
(так как г?- — корень уравнения P(v, юъ . . .,о)п) =0); поэтому
1 »,-
с,-^ дР
dv 2J^ du>fc | v = u .
Заменяя а^ через vfik и Р ( 1 , £ ь . . ., Еп) через Я(£ 1? .. ., SJ, получаем,

что
v)~m sign у™" 1 151 м " 1
Су = ~ =
Далее
|2 % + Н \х+т~{ sign ( 2 * А + ^ Г " 1 =

= | Vj Г — 1 sign г^- 1 | 2 * А + * Г " 1 " 1 sign ( 2 *тА + О1""1
и для любого А; имеем
т-2к~[
m— 1
sign г? у
Подставляя значение с,-, du> и функции от 2 # A ' + Z V Б

Ф°РМУЛУ (33),
мы получим
А" (г, ж ь . . . , жп; X) =
2 r r 1 б г я ~ п 1 2 ^ + * iA+m~' s i s n ( 2 ^ + о * 1 - 1 +
4. 0 f 2 ^ +*ЛЛ da ,34v
V
V |6| У J | g r a d # | s i g n ( V $kHz )
^— ^k
Предельный переход при X —-> -— /г, подобный тому, которым получены фор
мулы (12) этого параграфа, даёт нам с точностью до множителя Qn форму
лы Герглотца — Петровского (см. [9]) для решения задачи Коши. Эти фор
мулы были получены для уравнений достаточно высокого порядка (т > п — 1).
При этом, если п~ нечётно, мы получаем формулу
Я [хъ . . . , хп) =
п-1
~ - 2 ( 2 ^ ^ 5 = 1 ) ! \ (2 * А + 0 ™ ^ ( 2 * А + )'<*<•>, (35х)
н=о
44 II. М. ГЕЛЬФАНД И 3 . Я. ШАПИРО
где через d& обозначено выражение — . (Многочлен

|grad#|sign 2 ^ Я Р
VI —> ) здесь при предельном переходе оторошен, так как интеграл

от него равен нулю.) При чётном п получается формула
К (хъ . . ., хп) =
2( I ) 2 Qn
du>. (352)
Логарифм получается, как в формуле (122) с использованием одного из сла

гаемых многочлена Q. Когда порядок уравнения т<п— 1, формулы для
решения задачи Коши приобретают вид: при нечётном п
п-1
К (ху, ..., хл) = tliy^JlrL [ 8(»-») ( У x.fik +1) rfo» (35.)
и при чётном 7г
, п-2
§ 4. Произвольные функции в степени А
1. О п р е д е л е н и е п р и в о д и м ы х о с о б ы х т о ч е к . В этом пара
графе мы рассмотрим обобщённую функцию GA(x1, . . . , # п ) , т. е. изучим
функционал
^ Gx {хг, . . ., хп) ср (хъ . . . , жп) йжг . . . dz n (1)
G>0
как аналитическую функцию от л. Особые точки этой аналитической функ

ции тесно связаны с характером поверхности G (хъ . . ., хп) — 0. Мы не бу
дем в этой статье заниматься случаем, когда поверхность G (хъ . . ., хп) = 0
произвольна, а ограничимся наиболее существенным во всех приложениях
случаем, когда эта поверхность состоит лишь из точек, которые мы назо
вём приводимыми.
Функция G (xlt . . ., хп) называется эквивалентной однородной функции
в окрестности некоторой точки М, если в этой окрестности существует ло
кальная система координат £1? . . ., В^1), в которой функция G (хъ . . ., хп)
превращается в однородную функцию. Ясно, что мы можем определить
функцию, эквивалентную однородной не только в аффинном пространстве,
но и на любом аналитическом многообразии, например на сфере.
2
) Локальной системой координат в окрестности точки М мы называем обратимое
и бесконечно дифференцируемое отображение окрестности точки М в окрестность нача
ла координат.
О Д Н О Р О Д Н Ы Е Ф У Н К Ц И И И ИХ П Р И Л О Ж Е Н И Я 4 Г)
Определение приводимой точки поверхности мы дадим индуктивно по

числу измерений пространства или аналитического многообразия, в кото
ром эта поверхность расположена. Предположим, что для поверхности
в пространстве или на многообразии меньше чем п измерений приводимые
точки определены. Точку М поверхности G (хг, . . ., хп) = 0 мы будем назы
вать приводимой, если:
1) В некоторой окрестности точки М функция G ( х ь . . . , хп) эквива
лентна однородной функции.
2) Пересечение поверхности G (хг, . ..,:r.J = 0 с достаточно малой сфе
рой с центром в М даёт поверхность, каждая точка которой приводима
на этой сфере.
Для функций G (х) на прямой второе требование, естественно, отпадает.
Точка х0, для которой G (х0) —• О, называется приводимой, если в окрест
ности х0 существует такая обратимая бесконечно дифференцируемая функ
ция £ = -Х(я), Х(х0)=0, что G[X-i(t)]=Ekm.
В окрестности приводимой точки М можно ввести локальные коорди
наты £1? . . . , сп такие, что в этих координатах функция G превратится
в однородную функцию от ьъ . . ., qn степени т.
Если локальные координаты можно выбрать так, чтобы функция G
зависела от к переменных, и нельзя выбрать так, чтобы она зависела от
меньшего числа переменных, то точка М называется точкой k-го порядка
и степени т.
Таким образом, каждой точке поверхности мы можем отнести два
числа: порядок А; и степень т этой точки. В частности, если на по
верхности G = 0 gradG /= 0, то каждая точка этой поверхности будет точкой
первого порядка. Действительно, в окрестности любой такой точки можно
выбрать в качестве одной из координат саму функцию G (хъ . . ., хп) = сг
и какие угодно другие координаты £2, . . . , £ п . Ясно, что в этой системе
координат функция G (хх, . . ., хп) превращается в £х, т. е. в однородную
функцию первой степени от одной переменной. Значит, обыкновенная
точка поверхности есть точка первого порядка и первой степени. Если
поверхность G — 0, например, в трёхмерном пространстве состоит из трёх
координатных плоскостей \G = x\x\xl\, то начало координат является точ
кой третьего порядка, координатные оси состоят из точек второго порядка, а
все остальные точки на координатных плоскостях суть точки первого порядка.
Мы предоставляем читателю найти степени каждой из этих особых точек.
Ввиду того, что изучение интеграла (1) в общем случае может
вызвать у читателя затруднения, мы предварительно в п. 2 рассмотрим
случаи, когда поверхность G = 0 состоит только из точек первого
порядка, в и. 3 рассмотрим случай, когда на поверхности G = 0 имеются
особые точки не выше второго порядка, и только в п. 4 рассмотрим общий
случай.
В этом пункте нам понадобится теорема, которую мы приведём без ;к>
казательства.
Пусть G (хъ . . . , хп) —многочлен. Если поверхность G—0 состо
ит лишь из приводимых точек, то она разлагается на конечное число
связных компонент, каждая из которых состоит из точек одного и

того же порядка и степени. А именно на поверхности G = О имеется
конечное число точек п-ro порядка, конечное число линий (п— 1)-го по
рядка и, наконец, конечное число (п — 1)-мерных компонент первого порядка.
Поскольку в окрестности точки первого порядка можно ввести локаль
ные координаты, в которых наша функция G зависит от одного перемен
ного, в окрестности точки второго порядка в соответствующих локаль
ных координатах функция G зависит от двух переменных и т. д., то рас
смотрение функции с особенностями нулевого порядка сводится к изу
чению обобщённых функций от одной независимой переменной, функции
с особенностями второго порядка к функции двух независимых пе
ременных и т. д.
В заключение этого пункта сделаем замечание, которым мы будем не
однократно пользоваться в дальнейшем. Пусть функция ср (хъ . . . , хп) от
лична от нуля только в конечной области. Если имеется покрытие этой
области системой окрестностей, то функция ср (жх, . . ., хп) может быть разло
жена на сумму функций, каждая из которых отлична от нуля только
в одной из этих окрестностей.
Поэтому во всём этом параграфе мы, не оговаривая этого особо,
можем ограничиться случаем, когда функция у(хъ ....,хп) отлична
от нуля только в сколь угодно малой окрестности интересующей нас
точки.
Изучение интеграла (1), зависящего от одного комплексного пара
метра, проводится путём рассмотрения вспомогательной функции двух
комплексных переменных. Этот приём для простейшего случая изло
жен в п. 3.
2. И с с л е д о в а н и е о б о б щ ё н н о й ф у н к ц и и GK (хъ . . ., хп) в
с л у ч а е , к о г д а м н о г о о б р а з и е G (хъ . . ., хп) = 0 ц е л и к о м со
с т о и т и з т о ч е к п е р в о г о п о р я д к а . Пусть G (хъ . . ., хп) — беско
нечно дифференцируемая функция, для которой многообразие G (х1} . . .
. . ., хп) — О есть ограниченное многообразие, состоящее из приводимых то
чек первого порядка.
Рассмотрим функционал, зависящий от X:
. . . ^ G* (х19 . . ., хп) ср (хъ . . ., хп) dxx . . . dxn. (2)

G>0
При R e X > — 1 этот интеграл сходится и представляет собой аналити

ческую функцию X. Покажем, что обобщённая функция
^ . . . ^ G* (хъ .. ., хп) ср (хъ . . ., хп) dx1... dxn

G>0
представляет собой мероморфную функцию X. Каждой связной компоненте

многообразия G — 0, состоящей из точек степени /, отвечает последователь
ность простых полюсов
В частности, если на многообразии G = 0 вообще нет особых точек,

1
то \ . . . \ G (хъ . . ., хп) ср (хъ . . ., хп) dxx . . . dxn имеет полюсы только
G>0
6' точках
1= - 1 , - 2 , . . . , - л , ...
Для доказательства этого утверждения выберем произвольную точку М
многообразия G = 0. В силу сделанного выше замечания мы можем без
ограничения общности предполагать, что ср (хъ . . ., хп) = 0 вне фиксирован
ной малой окрестности D точки М. Обозначим через Вх пересечение обла
сти D с областью G > 0 . Тогда
^ . . . jj G>- (xl9 . . ., ж„.) ср ( ^ ...,xn)dx1.. dxn

G>0
= ^ . . . ^Gx {хъ . . ., хп) ср (жх, . . ., жп) dajj. . . . dxn. (2')
Так как Ж"—точка первого порядка (и степени Z), то мы можем ввести

в области Dx систему координат, в которой G (хг, . . ., хп) — £{, а остальные
п — \ координат с2, . . . , сп выбраны произвольными бесконечно дифферен
цируемыми функциями от хъ . . ., хп с единственным ограничением, чтобы
в Dx выполнялось условие
I) (хг, . . ., хп) ,,
>и
D&, ...,6„) *
В новых координатах ср ( # ъ . . ., жп) = срх (с1? . . ., t n ) и
Положим
•иw = 5 . . . 5«PI(6i. • • •,ищ^гт^тё) d ^--- d l *> (4)

где интеграл вычисляется по пересечению области Dt с поверхностью
G (хъ . . . , # n ) = ^ = const. Функция ф (Sx) — непрерывная и бесконечно диф
ференцируемая функция от £х, определённая в области Dx. С помощью
этой функции
h [?] = \ • • • \ G " (%> • • •, я п ) ? (ж ь . . ., жп) dajx .. . ds f t
Di
перепишется в виде
оо
hlf)=]kU(t1)dt1. (5)
О
Напомним, что так как функция ср (хъ . . ., хп) отлична от нуля только
в малой области, то, проинтегрировав её по некоторым переменным, мы
получим функцию от остальных переменных, также отличную от нуля лишь
в малой области. Поэтому функция в интеграле (5) отлична от нуля только в

малой области. К интегралу (5) применимо то, что говорилось о полюсах
оо
и вычетах функционала V хлу (х) dx в п. 1 § 1.

о
Мы доказали, таким образом, что каждой точке М нулевого порядка
и степени I многообразия G~0 отвечает последовательность полюсов
обобщённой функции GA (хъ . . ., хп)
2 n
\ — __ J_
/ч ~ ~ у , — у , . . . , — у , . . .
При этом вычет интеграла (5) при }J~—n, т. е. при Х= — --у
просто выражается через функцию ф из формулы (4):
ф (У = ^ • • • \ ?х (£ь •.., En) 4 S f r ^ 7 ^ " d £ a ' ' • d^ (4)
а именно, как было показано в § 1, вычет при к= г равен -, -;-~ .

г г
' ° ' I (я —1)!
Укажем теперь выражение для вычетов
^ . . . \0\хъ . . . ^ J c ? ^ , . ..,ж„) da^ . . . dxn
J G>U J
через исходную функцию ср (ж1? . . . , ; z j . Для этого обозначим дифферен

циальную форму, стоящую множителем при <pi в интеграле (4), через day.
rf (6)
»=4&r^ *«•••*»•
Легко показать, что форма dm на поверхности G — 0 не зависит от
выбора переменных £2, . . ., £п. Она однозначно определяется требованием,
чтобы её произведение на d^x давало элемент объёма в пространстве, т. е.
чтобы г )
dv = dh1do). (7)
Мы дали явное выражение формы dad в некоторой системе координат

£1? Е2, . . . , сп. Дадим её инвариантное определение, не зависящее от выбора
координатной системы. Для этого удобно воспользоваться так называемой
алгеброй дифференциальных форм 2 ). В произвольных координатах, на-
г
) Независимость do> от выбора системы координат геометрически вытекает из того,
что объём косого цилиндра, заключённого между малой площадкой da поверхности
G = ^} и соответствующей площадкой поверхности G = (£i + A*i)*, не зависит от направ
ления образующих цилиндра (определяемого выбором £2> • ••> £n)» a равен произведе
нию площади основания на высоту. Высота такого цилиндра равна , * •.. Отсюда и
j ль i 7- dv 7 ds
из того, что dv = d%1 do>—d^-,——-^—, gradGl ' мы« получаем
- v — —также,
. —что аш I g r a d G l '
2
) Дифференциальной формой А:-го порядка в некотором пространстве или
на многообразии с координатами хи . . . , хп называется выражение вида
S a- •l dx-l ...dx? l , где суммирование производится по всем сочетаниям из п инде-
\ ••• k i k
пример в координатах хъ . . ,, xnJ du> есть форма (п — 1)-го порядка

а &i dxi a линейная
2 ^ - V i i • • • n-v форма <#г= 2 -d£ldxi-
Коэффициенты ац • • • { представляют собой кососимметрический
тензор, подчинённый условию
2J ~^7dxi £}ач • • • гп__г ах{г . . . dxin^ = ахг . . , ахп1
где произведение понимается как произведение дифференциальных форм.

Полагая Gl (xv ..., хп) = Р (xv . . . , хп) и обозначая rf^ . . . dxn через
cfo, мы можем это равенство, определяющееrfco,переписать в виде, не зави
сящем от выбора системы координат: dv = dPdm, где произведение пони
мается как внешнее произведение дифференциальных форм.
Читатель, не привыкший к алгебре дифференциальных форм, может
7 D(x . . . , хп) . . da
вместо dm везде понимать, например, уу~l9 1f
t~[dZ 1f
2 • • • dkn или -туг .
Указанное здесь инвариантное определение dm в связи с формулами
Герглотца дал Лерей [11]. Мы будем называть её формой Лерея.
Заметим, между прочим, что обозначение do), которое мы несколько
раз применяли выше (при вычислении вычетов однородной функции
в п. 1 § 2, при разложении г1 на плоские волны, в формулах Герглотца),
во всех случаях имеет один и тот же введённый здесь смысл.
Вернёмся теперь к задаче о выражении вычетов интеграла
\ • • • ^ С я (хъ ...,xn)v (хъ . . ., хп) dx1 ... dxn

G>0
ксов по к. Формы одного и того же порядка можно складывать между собой, складывая
соответствующие коэффициенты. Внешним произведением форм V ai i dxi . . . dxi
и J ] ^; ... j dxJ ••• dxj н а з ы в а е т с я форма порядка &+Z, полученная обычным пере
множением коэффициентов и дифференциалов и приведением подобных членов. Приво
дить подобные члены нужно с соблюдением условия dxidxj =—dxjdxi, обеспечиваю
щего, например, отсутствие членов с двумя одинаковыми дифференциалами. При таком
определении произведения форма J ] % ... \ - - • dxi^dxi оказывается инвариантной
относительно замены переменных. А именно, если xi = xi(xfXl ..., хп)
VI дх; _ /
и dxj = >. ——т- ахи то
«^J дх'.
2 \ ... ik (*i» • • •» хп) dxix • • • dxik = 2 *;i ... jk ^ • • • » < ) dxh ''' dx
jk'
Отсюда автоматически получается правило замены переменных в кратных интегралах.

Например, для двойного интеграла, если х = у(и, v)9 у = <\>(и, v), то
dx =zyudu + cpi dv, dy =zûduJr <\>v dv и dx dys (yutyv — y'vtyu) du dv.

Дифференциальные формы обычно обозначаются одной буквой, например о. Мы
сохраним здесь для них введённое раньше обозначение dm.
Подробнее с алгеброй дифференциальных форм можно познакомиться по книге
П. К. Рашевского [10].
4 Успехи матем. наук, т. X, вып. 3
через функцию ср (жх, . . . , хп). Выше мы показали, что вычет при Х = — 1

равен ф(О), т. е. если поставить вместо ф (^) её значение по формуле (4),
равен интегралу
где ср1(^1, . . . , %п) = <?(хъ . . ., хп). Это выражение для вычета при Х = —1
можно записать формулой, инвариантной относительно выбора системы
координат, а именно вычет равен \ ср (хъ . . . , хп) dm. Очевидно, что вычет
G=0
функционала \ . . . \ GK (хъ ..., хп)^{х1, ..., xn)dx1 . .-. dxn при Х= —1 за-
G>0
висит только от значений функции ср (хъ . . ., хп) на поверхности G — 0.
Перейдём к вычислению следующих вычетов. В связи с их вычисле
нием мы введём на поверхности, кроме дифференциальной формы dm (фор
мы Лерея), ещё ряд инвариантно связанных с поверхностью форм. Вве
дение этих форм представляет, впрочем, и самостоятельный интерес.
Вместо формы dm введём форму
Ч а ) = ?(ж1» •••» жп)Ж°» (8)
где ср —наша бесконечно дифференцируемая функция. Форма d0m есть
форма п — 1-го порядка в гс-мерном пространстве, поэтому её внешняя
производная (с?0о))' есть форма п-то порядка 1 ), т. е. произведение некоторой
функции на дифференциалы всех переменных.
Представим форму (<i0u>)' в виде произведения
(d0co)/=dJPd1(i), (9)
где о^со — некоторая форма (п— 1)-го порядка. Введём, далее, последова
тельность форм с помощью равенств
(d^y^dPdb*. (10)
Можно показать, что хотя формы dkm, как формы во всём пространстве,
определены неоднозначно, на поверхностях Р = const, т. е. G (хъ . . . , хп) —
— const, каждая из этих форм определена с точностью до некоторой формы,
являющейся производной, т. е. формы, интеграл от которой по поверхности
G = const равен нулю.
Вычеты обобщённой функции GK (х, ..., хп) удобно записывать с по-
к
мощью форм dkm. А именно вычет при Х= — j обобщённой функции
*) Внешняя производная дифференциальной формы do> = ^p}ai ... idxi ...dxi

есть форма 2 dai { dx{ . . . dxi , где произведения da- ^ dxi . . . dx{ понимаются
да,:
2 —-г--—
г 1 . . . г^
dxijdxi . . . dxi
альтернированная по всем индексам i, 1Ъ . . . , ife. В частности, ^производная формы
dQa> = /(£>ъ . . . , £71)^2 ••• d^n есть форма - т - ^ ^ 2 •- ^п»
^ . . . ^Gl (х17 . . . , хп) ср (хъ . . . , хп) dxx . . . dxn, где ср ( я ь . . ., хп) отлична
G>0
от нуля только е окрестности некоторой точки первого порядка и степени I,
равен
(11)
1*=1Г 5 ***»•
G=0
Доказательство непосредственно следует из того, что функцию
можно дифференцировать по ^ под знаком интеграла и что в переменных

?ъ ^2> • • •» ^п вычет при Х= — - равен
т
Аналогично вычет при к = —г- равен , _ _ ' — = , __;|т \ dh^
G=0
Заметим теперь, что, получив д л я вычета в ы р а ж е н и е (11), мы можем в с и л у
сделанного в конце п. 1 з а м е ч а н и я с ч и т а т ь ф у н к ц и ю у(хъ . . . , хп) о т л и ч
ной от н у л я в любой конечной области, в ы ч и с л я я п р и этом и н т е г р а л (11)
по тем компонентам м н о г о о б р а з и я , которые состоят из точек степени /.
к ко к к
Если -—- = -— , то при \ = -±- = —~- вычет вычисляется как сумма
., __ nT \ <ifel„iu) по компонентам степени 1г и rj \ ^ - I 0 3 по компонен
там степени Z2.
Аналогично обстоит дело в том случае, когда значение \ принадлежит
одновременно более чем двум последовательностям вида (3).
Определим обобщённую функцию ЦР) равенством (8(Р),ср)= \ cp<i(i>,
где dPdu)z=dv и функцию о^(Р) равенством (&^(-Р),ср) = (—l) fe \ dku>. Тогда
вычет интеграла
^ . . . уР* х19 .. ., хп) ср (х19 . . . , xn)dxx... dxn
р>о
при \— —к—i запишется как ' (S(fe) (Р), ср), т. е. вычет обобщённой
г i)k
функции РА при Х= — к—1 равен , ЫЪ(Р) (ср. с п. 1 § 1).
3. И с с л е д о в а н и е обобщённой ф у н к ц и и Gx (хъ . . . , хп)
в с л у ч а е , к о г д а м н о г о о б р а з и е G (хъ . . . , хп) = 0 с о с т о и т и з
т о ч е к не в ы ш е в т о р о г о п о р я д к а . Предположим теперь, что
поверхность G (хъ . . ., хп) = 0 состоит из приводимых точек не выше
второго порядка. Каждая достаточно малая окрестность точки первого порядка
этой поверхности порождает у обобщённой функции G1 (хъ . . , , хп), т. е.
у интеграла
^ . . . ^ G7 (хг, . . . , хп) ср (xi9 . . . , хп) dxx... dxn, (2)
G>0
последовательность полюсов (3), рассмотренную в п, 2. Нам осталось,

следовательно, выяснить, как влияют на поведение этого функционала как
функции от X приводимые точки второго порядка (это, естественно,—особые
точки поверхности G(xx, .. ., хп) = 0).
Мы докажем, что окрестность каждой точки М второго порядка
и степени т порождает у обобщённой функции Gx (хъ . . . , хп) последова
тельность полюсов
^ __ ?_ ^_ ^_ / /[ о)
т ' т ' * ' '' т ' ^ '
При этом сколь угодно малая окрестность точки второго порядка,
вообще говоря, содержит точки первого порядка и, может быть, различных
степеней. Если какое-либо значение Х = Х0 принадлежит, одновременно после
довательности (12) и одной или нескольким последовательностям (3), отно
сящимся к точкам первого порядка, попадающим в любую окрестность
точки М, т. е. точкам первого порядка, инцидентным точке М, то при
Х = )ч0 обобщённая функция Gx (хъ ..., хп) имеет полюс второго порядка.
Для доказательства возьмём в интеграле
A
S-S ^ G (х ,
G>0
г ..., хп) ср (xlt . .., хп) dx1... dxn
функцию ср, отличную от нуля только в малой окрестности точки М, и

выберем локальную систему координат £ ь .. ., £п в этой точке. Так как
М — точка второго порядка, то эту локальную систему координат можно
выбрать так, что функция G в новых координатах обращается в однород
ную функцию Р от переменных £х и £2, и мы приходим, таким образом,
к задаче об изучении функционала
J... \Р*(у у T l ( у . . . , у ^ S r r f T t t ) ^ d * * • • • di»> (13>

P> 0
где cpx (t1? .. . , у = ср (xl9 . . . , я п ). Положим
Тогда интеграл (13) превращается в интеграл
\]РХ&, Уф (У У ^ Й У (15)
JP>0
где -Р(^, £2) — однородная функция двух переменных степени т , а ф(£ ь £2)
отлична от нуля только в малой окрестности начала координат.
Итак, аналогично тому, как изучение окрестности точки первого по
рядка сводится к изучению однородных функций от одной независимой
переменной, изучение окрестности точки второго порядка сводится к изуче
нию произвольных однородных функций от двух переменных.
Приводимая точка второго порядка кривой Р (Ьг, £2) = 0 е с т ь изолиро
ванная особая точка кривой или точка пересечения ветвей с различными
касательными (рис. 1). Для исследования интеграла (15) при тех значениях
О Д Н О Р О Д Н Ы Е Ф У Щ Щ И И И ИХ ПРИЛОЖЕНИЯ 53
X, при которых обеспечена сходимость, перейдём к полярной системе

координат 1 ) и, пользуясь однородностью, запишем интеграл / я [ф] =•
= $ ^ М ^ У Ф ^ У ^ А в виде
Р>0
оо
h [ф] = \ гш+* dr \ Р> ( У L) ф ( У У du, (16)
о
где Si = т*у £2 = Г У ^ = Ife (и) — координаты точки на окружности г == const.
Рассмотрим теперь вспомогательный функционал, зависящий от двух
не связанных между собой комплеьсных параметров X и [х:
h, ц [Ф] = $ /"^г ^ ^ л (?х, У ? (Ei, У d«. (17)
Очевидно, что при jx^Xra-f 1 интеграл (17) обращается в (16), и нам
достаточно исследовать / я [Х [ф]. Имеет место следующая лемма:
Пусть имеются мероморфная функция двух комплексных переменных
F (К, |х) и две последовательности
У >-а. • • • > К - •• - ( 1 8 ')
i?c./m 72/ш любом фиксированном р ФртР (X, р.) имеет как функция от X
простые полюсы в точках последовательности (18') и гс/ш любом фикси
рованном X т£ Xn F (к, (х) имеет как функция от \ъ простые полюсы в точках
последовательности (18"), то аналитическая функция от одной переменной
/(X) = F (I, X) имеет полюсы в точках обеих последовательностей (18') и (18").
£Ъш значение Х = Х0 принадлежит одновременно обеим последовательностям,
то при Х = Х0 i^(X, X) имеет полюс второго порядка.
Доказательство леммы непосредственно вытекает из
разложения функции F(h, (i) в ряд Лорана по двум
переменным.
Найдём теперь полюсы функции двух комплексных
переменных, задаваемой интегралом (17). Обозначим ин
теграл по do) в этой формуле через / я (г), т. е. положим
л(г)=5 РЛ(\, УФ(УУ^ (19) Рис. 1
г
(через Г обозначена та часть кривой г = 1 , на которой Р ( у у > 0). Осо
бые точки по X функции / я (7*) могут возникнуть лишь от тех точек iV1?
iV2, . . . на кривой, в которых Р ( У У обращается в нуль. Но эти точки
кривой Р ( У у — 0 приводимы на линии интегрирования (по определению
приводимости точки М). Пусть Ni — одна из таких точек.
Её приводимость на кривой Г означает просто, что в окрестности N{
на Г можно ввести локальную координату £, в которой Р однородно и,
значит, имеет вид $ *. Предполагая, что функция ф отлична от нуля только
в окрестности точки Nit мы сводим изучение особенностей / я (г) к изучению
особенностей интегралов \ ^ яг ф 1 (г, tydh.
г
) Вместо полярной системы координат можно взять любую криволинейную си
стему (г, и), в которой координатные линии г = const охватывают начало координат
Но особенности такого интеграла нам хорошо известны из § 1. А именно

такой интеграл имеет простые полюсы в точках
> _ __ А _ А _А
Таким образом мы получаем, что интеграл (19), т. е. функция /я (г),
имеет простые полюсы в точках последовательностей
X = - f , --£-, ..., —£-, ..., (20)
где 1{ — степени точек нулевого порядка, инцидентных исследуемой точке
М, т. е. на плоскости — степени ветвей кривой, проходящих через точку М
(см. рис. 1).
Функция двух комплексных переменных (17) запишется через рассмо
тренную функцию /д (г) следующим образом:
h,M=[r»fx(r)dr. (21)
0
Применяя к интегралу (21) снова результаты п. 1 § 1, мы получаем,

что /л,1х[ф] П Р И фиксированном р., не принадлежащем ни одной из последо
вательностей (20), аналитически продолжается во всю плоскость комплекс
ного переменного р,, за исключением точек
[х= - 1 , - 2 , . . . , - & - 1 , . . . ,
в которых эта функция имеет простые полюсы. Полагая р. = лт + 1 и при
меняя лемму, мы получим отсюда, что интеграл
оо
lr»"+Ur^P*(\,\mb1,i2)du = Ix,m3i+i№]
о
имеет полюсы в точках последовательностей (20)
> — _А _ А _ *+ 1
и в точках последовательности
Если Х = Х0 принадлежит одновременно последовательности (20') йодной

из последовательностей (20), то в точке Х = А0 рассматриваемый интеграл
имеет двойной полюс.
Так как в локальной системе координат
\ " \ С"(хъ • • • , яп)<р(я!, . . . , xn)dx1 .. . dxn =
G>0
с»
P>0 0
то сформулированная в начале этого пункта теорема доказана.
Определим вычеты обобщённой функции GK(xly . .. , хп) в её продоых
полюсах.
/е+ 1
П у с т ь с н а ч а л а Х0 — -, полюс Сл(хъ . . . , хп), возникающий бла-
i
годаря обращению функции G(x1, . . . , хп) в нуль в точках первого порядка.
Выше, в п. 2, мы показали, что вычет в таком полюсе равен интегралу
ту- \ dk&, где c?fe(D — дифференциальные формы, определённые в окрестности
любой точки первого порядка поверхности G(xlt ... , хп) = 0. Если участок
поверхности, по которому интегрируется dfeu>, граничит с точками второго
порядка поверхности G (хъ .. . , хп) = 0, то \ dku> может оказаться расходя
щимся. Вычет равен в этом случае регуляризованному значению соответ
ствующего интеграла 1 ).
Рассмотрим теперь простой полюс Х0 = , возникающий у обобщён
ной функции GK (хъ . .. , хп) из-за обращения функции G (х1у . . . , хп
в нуль в точках второго порядка. Обобщённую функцию GA(a;1, . . . , хп), т. е.
функционал
GX X ж
^ ••• ^ ( *> ' ** ' п ) ? ( ^ i » • • • » xn)dxi ••• dxn,
G>0
мы представили в окрестности точки второго порядка как
о
где
Р (£ ь £2) —значение функции G (хъ . . . , хп) в локальных координатах,
Ф ( ^ У . = ^ • • • 5 Ъ&> • • • ' *"> ntC '.'•'•'An) dls • • • ^"' а ?l(£l

' • • " S * )5S
^ср(а; 1 , . . . , жп). Для тех значений X, для которых интеграл расходится,
функция fx(r) равна регуляризованному значению интеграла (аналитиче
скому продолжению по X функции / д (г) от положительных значений X).
Продифференцируем функцию f^0(r) по г под знаком интеграла (это
допустимо при положительных X, следовательно, допустимо и в регуляризо-
ванном значении интеграла) и положим г —0. Мы получим тогда для вычета
/с + 2
обобщённой функции GK (хъ . . . , хп) при Х0 = выражение
а, р 1 2 г а> р 1 2 г р т
г
) Так как рассматриваемый полюс Х0 — простой, то существует
lim (X — Х0) \ . . . \ GK (х1у ... , хп) ср (а?2, ... , хп) dxx ... dxn.
я->д0 •->G„> 0 " J
Регуляризованное значение vr \ ^кш можно определить, например, как этот предел.

56 И . М. Г Е Л Ь Ф А Н Д И 3 . Я . Ш А П И Р О
В § 2 мы получили форхмулу для вычетов положительной однородной

обобщённой функции (см. формулу (11) § 2). Сравнивая полученное выра
жение с этой формулой, мы» видим, что вычет обобщённой функции
Gl (xl9 . . . , хп) записывается в локальных координатах так же, как вычет
положительной однородной функции, с той разницей, что интеграл по кри
вой Г понимается как регуляризованное значение интеграла (для функции,
положительной в окрестности точки второго порядка, этот интеграл всегда
сходится).
Если подставить в формулу (22) значение
Ъ Ы
, 1б«а1Г J " J ^ д% I ' •••ЛП) ~т, .-.Ли) \ 5х=;,=0 ^ • • • ^П'
то мы получим для вычета следующее выражение:
а z
а, р
fe+2 ^ 3 • • • rfSnr
m
P (6i, • . . , 6n)
т. е. вычет обобщённой функции G* (хъ . . . , # n ), возникший из-за обращения функ

ции G (a?j, . . . , а7п) в нуль в точках второго порядка, запишется в виде интеграла по
цилиндрической поверхности, окружающей эти точки второго порядка.
Однако в эти интегралы входят значения функции срх (£х, ..., 5И) и её производных
только в точках (0, 0, £3» •••> £п)> т. е., другими словами, только значения исходной
функции <р (#i, . . . , хп) и её производных на данной п — 2-мерной компоненте поверх
ности G(xl9 ... , ;rn) —О, состоящей из точек второго порядка. Поэтому мы для точек
второго порядка, так же как это было сделано в п. 2 для точек первого порядка, за
пишем вычет в виде интеграла по некоторой части поверхности G(xl9 . . . ,xn) = 0f
а именно в виде интеграла по п — 2-мерной компоненте поверхности G (xlt ...°, а;п) = 0г
состоящей из точек второго порядка.
Для того чтобы в интеграле для вычета перейти на интегрирование по поверх
ности G (xlt . . . , хп) = 0, произведём в формуле (21) интегрирование по Г. Полагая
-£2^1
г т
Р (Si, У
; &+2
мы представим вычет G (х±1 . . . , хп) при \= в виде интеграла
= 1 =-о= 2 =П0
г л а, й
Г?Й I ^
т. е. в виде интеграла от некоторой дифференциальной формы по части поверхности

G(x1, . . . , хп) — 0, состоящей из точек второго порядка.
Выясним, каков геометрический смысл этой дифференциальной формы. Для этого
в окрестности точки второго порядка и степени т поверхности G(xly . . . , хп)=--0
_1_
введём «квазицилиндрические» координаты \G(xlt . . . , xv) | m , и, £3> ••• » 5П» г Д е £з> •••
. . . , £п — введенные выше локальные координаты, а и—произвольная координата на
линиях | G(x±, . . . , хп)\т =s, 5^ = с^ (заметим, что на самой поверхности G (хХ1 ...
.. . , ж п )=0 координата и может быть не определена, как не определено значение угла
л_
в начале полярной системы координат). Элемент объёма в координатах \G | m , и, $3, ...
2
1 —
... , %п можно записать в виде dv = — d\G \m dx, где dz—форма п — 1-го порядка.
Аналогично тому, как мы определяли выше формы dku, определим теперь после
довательность форм d^z с помощью равенств
d0z = y(x1, ... , xn)dz,

_l_
(d0z)f=d\Gfld1zt
(dh-i*Y=d\G\mdkz.
Все эти формы не определены в точках второго порядка поверхности G (xlt ... , хп) = 0..
Нужные нам формы на самой этой поверхности мы определим следующим образом.
Проинтегрируем формы d^z по всем значениям и, для которых G (х1У ... , хп) > О (если
интегралы расходятся, то возьмём регуляризованные значения соответствующих интегра
лов). Мы получим после интегрирования дифференциальные формы п — 2-го порядка,
определённые уже во всём пространстве. Обозначим форму, полученную интегрирова-
^ к 4- 2
нием dkz, через dhm. Вычет GA (хг, ... , хп) при Х = можно тогда записать в виде
i 54ш'
где интегрирование ведётся по (п — 2)-мерной компоненте поверхности G(xlt ... , xn) = Q,.
состоящей из точек второго порядка.
4. О б о б щ ё н н а я ф у н к ц и я G1 (хг, . . ., хп) в о б щ е м случае.

Перейдём к обобщённым функциям G'A(x1, . . ., хп), для которых поверхность
G (хъ . . ., хп) = 0 состоит из приводимых особых точек произвольного порядка
от первого до п-то включительно.
Предположим для простоты, что G(xx, ...,хп) есть многочлен.
Мы докажем следующую теорему.
Обобщённая функция GK (хх, . . . , хп), задаваемая функционалом
\ . . . \ Gl (х1У . . ., хп) ср (х±, . . ., хп) dxx . . . dxn, есть мероморфная функция
G>0
от X, полюсы которой лежат на конечном числе арифметических прогрес
сий. Каждой связной компоненте поверхности G (хг, ..., хп) = 0, состоящей
из точек порядка г и степени т (см. п. 1), отвечает множество полюсов
функционала Ся[ср], расположенных в точках
\=-^, _'-±!,...,_'-±*,... (20")
При этом, если имеется две, три и т. д. последовательные инцидентные

друг другу связные компоненты поверхности G = 0, состоящих из точек
различных порядков, и значение л — Х0 принадлежит двум, трём и т, д
последовательностям (20"), отвечающим этим компонентам, то в точке

Х==Х0 обобщенная функция Gx(x19 ...,xn) имеет полюс второго, третьего
и т. д. порядков.
Предположим, что полюсы по X интеграла
\ .Л G*(xl9 ...,хп)у(хъ ...9xn)dx1 ...dxn, (2)

% J
G>0
возникающие благодаря точкам порядка <гг — 1, нам известны. При этом

предположении достаточно исследовать интеграл (2) по сколь угодно малой
окрестности точки М п-то порядка.
Введём в этой окрестности локальную систему координат $х, .'. . , £п, в ко
торой Р (£ъ . . . , 1п) ( = G (xl9 . . ., хп)) — однородная функция степени т,
и предположим, что ^(х19 . . ., хп) = 0 вне рассматриваемой области. Инте
грал (2) обратится тогда в интеграл
Л [ф] = $ . . . $ Р>- (5Х, • • •, U ?i (*i, • • •, У d%x... din, (23)

D
где
a i ) — пересечение окрестности, в которой срх =£ 0 с областью JP ( £ Ь . . ., £п) > 0.

При тех X, д л я которых интеграл (22) сходится, перейдём к сфе
рическим координатам. В силу однородности Р (£1? . . ., £п) мы получим
тогда, что интеграл
оо
h w = 5 ^ m + n -'rf/-^ ^л di, • • • , у Ф (6i. • • • л ) rf

«>. (24)
"о г
где Г — пересечение единичной сферы с областью Р (£х, ..., £п) > 0 (f1, ..., 5П) —
точка на Г, %k — rtk, da) — элемент площади поверхности сферы.
Интеграл по Г есть интеграл по (/г —1)-мерной сфере, на которой
поверхность Р ( ? ь . . . ,? п ) = 0, по предположению, имеет только приводи
мые точки и притом не выше п — 1-го порядка.
Согласно предположению нам известны также полюсы этого интеграла
и их кратности.
Вводя снова, как в п. 3, функционал, зависящий от двух комплексных
параметров,
h, у. Ы = \гЫг\ Р* & , . . . X) <Pi (Si, • • • Л ) *«», (25)
Г
и обозначая внутренний интеграл по Г через / я (г):
h{r)=[Px$i, ---X)Та(Ei У <*». (26)

Г
мы придём к ситуации, рассмотренной в п. 3. А именно при фиксирован

ном ]хф—п функционал /*, ^ [cpj имеет полюсы по X на конечном числе
0ДН0Р ОДНЫЕ ФУНКЦИИ И ИХ ПРИЛОЖЕНИЯ 59
последовательностей и при фиксированном X, не принадлежащем ни одной

из этих^ последовательностей, / A , P . [ ? I ] имеет полюсы при р.= — 1, — 2, . . .
. . ., — /г, . . . Единственное отличие от рассмотренного в п. 3 случая,
когда поверхность G (хъ . . . , хп) = О, состоит из точек не выше второго
порядка, заключается в том, что, благодаря индукции, полюсы по X могут
быть не простыми, а уже могут иметь некоторую кратность.
Легко проверить, что лемма, сформулированная в п. 3, распростра
няется и на этот случай.
Полагая jx =\m -+- п— 1, мы получим, что интеграл
оо
^ m + n - i ^ p * ^ ^>...,^)iKE1,...,En)d<D=-
-s
G>0 "
кроме полюсов по X, тех же, что у функции / я (г) (возникающих из-за точек
поверхности G (хъ . . ., хп) — 0, имеющих порядок меньше чем п), имеет
полюсы в точках последовательности
•v n rc+l п-\-к /<)7\
v
т ' т ' ' т '
При этом, если в точке Х = Х0 функция /д(г) имеет полюс кратности /? и Х0
принадлежит последовательности (27), то обобщённая функция G1 [х19 . . . , хп)
имеет в точке Х = Х0 полюс кратности р-\-1. Тем самым наша теорема
доказана.
Так же как и выше, в п. 3, можно определить вычеты обобщённой функции

Gx(xlt ...,хп) в простых полюсах, возникающих из-за обращения функции G(x19...1xn)
в нуль в точках r-го порядка. Для этого элемент объёма в квазицилиндрических ко
ординатах в окрестности точки r-го порядка следует представить в виде
dv=jd (JGI^^W
затем построить формы d^z с помощью равенств
dQz= y(xlt . .., xn)dx9
(dh^)'=d\G\mdhx
и проинтегрировать эти формы по угловым координатам (если соответствующие инте
гралы расходятся, то нужно найти их регуляризованное значение). Полученную инте
грированием c?fcT форму (п—г)-го порядка обозначим с^о>, и тогда вычет обобщённой
к+г | с
функции G*(xi,..., хп) при Х= запишется как jr \ с^ш, где интегрирование
ведётся по (п—-г)-мерной компоненте поверхности G(xl9 .. ., а?п)=0, состоящей из точек
порядка г и степени т.
Отметим, в частности, что вычет обобщённой функции G* (х19 . . . , хп) в простом
к А- п
полюсе Х = , возникающем благодаря наличию у поверхности G (хх, . . . , хп)^-0
некоторой точки порядка п (и степени га), будет равен интегралу от формы нулевого
порядка, т. е. значению в этой точке некоторой функции, представляющей собой
линейную комбинацию S-функции и её производных до порядка к включительно.
Мы определили, при каких значениях X имеются полюсы у обобщённой

функции>
. . . J G^(xlt ...,хп)<?(х19 ...,xn)dx1...dxn.

G> 0
Для простейшего случая однородной, неотрицательной функции G мы

в § 2 видели, что с самых разных точек зрения естественно ввести поня
тие вычетов формально однородной функции, которые характеризовали
особенности этой функции в начале координат, подобно тому как вычет
аналитической функции характеризует её изолированную особую точку.
Для произвольной рассмотренной здесь функции G(x1, . . . , # n ) с приводи
мыми особенностями мы можем аналогичным образом определить вычеты,
связанные с функцией G.
А именно, если D есть максимальная связная компонента многообра-
_r+k
зия G = 0 порядка г и степени т, то под вычетом функции G ш (хъ.. .,хп)
относительно этой компоненты мы будем понимать обобщённую функцию
(функционал), являющуюся вычетом по X аналитической функции G*(xlt...rxn)
г+к
ПНИ А = • .
т
В частности, если G(x1,...,xn) —однородная функция степени т , то вы-
n-f-fe
т
чет G (xv ..., хп) в начале координат равен, как мы выяснили в § 2, ли
нейной комбинации производных к-то порядка от о-функции с коэффициента
ми, равными интегралам по замкнутой поверхности, окружающей начало
координат.
Если G(xx, . . . , хп) — произвольная функция, имеющая в начале коор
динат приводимую особую точку (п — 1)-го порядка и степени т, то вычет
_ n+k
функции G т (х1,...,хп) относительно этой точки также равен линейной
комбинации производных от о-функции не выше к-го порядка с коэффи
циентами, определяемыми по функции G. Аналогично можно определить
вычет не только относительно точки, но и относительно любой связной
компоненты многообразия G = 0 степени т и порядка г.
5. И н т е г р а л ы о т б е с к о н е ч н о д и ф ф е р е н ц и р у е м о й ф у н к
ц и и ср по п о в е р х н о с т я м у р о в н я G (хъ . . ., хп) — с. Сделаем из полу
ченных результатов вывод о поведении интегралов от функции ср(ж1, . . ., хп)
по поверхностям уровня многочлена G (xlt .. ., хп). Мы ограничимся случаем,
когда поверхность G(x1} ...,xn)—0 состоит только из приводимых точек,
и рассмотрим интегралы
/ < с ) = J cpK, ...xn)d*, (28)

G=c
ОДНОРОДНЫЕ Ф У Н К Ц И Й И ИХ ПРИЛОЖЕНИЯ 61
где rfo) —• форма на поверхности G(xv . . . , # п ) = с , определённая-в ц. 2 равен

ством dv = dG-du. Имеет место очевидное тождество (по X)
со
^ 1(с)сЫс = ^ . . . ^ &-(хг1 ...,хп)ч(хг, . . .,xn),dx1...dxn. (29)

О G> О
Выше мы установили, что правая (а следовательно, и левая) часть этого

тождества есть мероморфная функция от X с полюсами в точках Xv, распо
ложенных на конечном числе арифметических прогрессий
mr. ' mr. ' ' ' '' mr. ' ' ' ''
где г--—порядки точек, имеющихся на поверхности G ^ , . . . , ж п ) = 0, m r . —

степени точек г г г о порядка, имеющихся на этой поверхности.
А
Непосредственным интегрированием легко убедиться, что V с~Ао+;-"~1 rfc
о
А
имеет при Х = Х0 полюс первого порядка, \ с~ ; °+ я _ 1 lncc/c имеет при X — Х0
о
А
полюс второго порядка и вообще \ c~ A o + ; ~ 1 lnfe crfc имеет при Х = Х0 полюс
о
порядка А + 1. Поэтому, зная особенности мероморфной функции от X,
задаваемой интегралом (29), можно судить о поведении функции 1(c) при
с —> 0 (поведение функции / (с) при с > s > 0 не влияет на особенности
оо
интеграла \I(c)c*dc).
о
Можно доказать, что в окрестности точки с — 0 функция 1(c) имеет
следующее асимптотическое разложение:
/ (с) = 2 avc-4-i + In с 2 ^ c - ^ - i + . • • + In71'х с J ^ с - ^ - 1 . (30)
При этом в первой сумме суммирование ведётся по всем значениям Xv,

в которых обобщённая функция G} (хг, . . ., хп) имеет какой-либо полюс,
во второй сумме суммирование ведётся по тем значениям Х^, в которых
GK(x±, ...,xn) имеет полюс не ниже второго порядка, и т. д.; в последней
сумме суммирование ведётся по всем значениям Х^, в которых GK (хъ . . ., хп)
имеет полюс п-то порядка.
1
Коэффициенты a v , b^, . . . , gT совпадают с коэффициентами при
1
в разложении интеграла
^ . . . ^ G* (ХЪ . . . , хп) ср (xv . . . , хп) dxx.. Яхп

G > 0
в окрестности соответствующего значения X.

Рассмотрим следующий пример. Пусть G (х, у) = х-у. Тогда первый полюс

обобщённой функции (х-уУ, определённой интегралом \ \ (ху)х <р(#, у) dx dy,
xy>0
будет при Х = — 1. Разложение интеграла \ \ (хуУ^(х, y)dxdy по степе-

ху>0
ням Х-f-l имеет вид
ху>0 —оо —оо
Интеграл I (с)= \ ср (х, у) dm можно представить в виде х )

ху=с
7(с) = J ro{x,y)%L=- J <р(ж,у)^..
Следовательно, интеграл 1(c) при малых с допускает асимптотическое раз

ложение
оо оо
/(c) = «p(0,0)lnC+ [^>dx+ ^ *&£dy+...,

— ОО —ОО
где многоточиями заменены члены, стремящиеся к нулю при с —»0.
§ 5. Преобразование Фурье однородных функций

1. П р е о б р а з о в а н и е Ф у р ь е о д н о р о д н ы х и п р и с о е д и н ё н
н ы х ф у н к ц и й о т о д н о й п е р е м е н н о й . Мы начнём с вычисления
преобразования Фурье обобщённой функции (хл)х>о.
Как всякая операция над обобщёнными функциями, их преобразование
Фурье определяется путём «переноса» действия с обобщённой функции
на функцию <?(х), на которую действует функционал. Д л я абсолютно инте
грируемой функции / (х) её преобразование Фурье (обозначим его f(s))
определяется формулой
оо
J(s)=*-^=- J f{x)eb*dx. (1)

х —оо
Если ср (s) — бесконечно дифференцируемая функция, при | s | —•> оо стремя

щаяся к нулю быстрее любой степени -.—г , то
оо оо оо
[ J (s) у (s) ds =-у= \ \ \ f{x)eisxdx\ y(s)ds =

— oo —oo —oo
oo oo oo
= ^ f(x)[y= j <f(s)eb*ds}dx= ^f(x)j(x)dx.
*) Форму dm на кривой х-у = с находим из равенства dx dy = (х dy + У dx)dm,

откуда можно положить
dy dx
%
~~ У ~~ *
Полученное равенство
оо оо
\f(s)4(s)ds=\f(x)${x)dx (2)
СЮ —ОО
мы используем, чтобы определить преобразование Фурье для произвольной

обобщённой функции. А именно обобщённая функция Т называется пре
образованием Фурье от обобщённой функции Т, если
г[ср] = г й .
Для случая, когда обобщённая функция Т есть функционал вида
\f(x)<?(x) dx
и функция / (х) имеет преобразование Фурье, это определение совпадает

с формулой (1). Рассмотрим теперь преобразование Фурье обобщённой функ
ции (хх)х>0 для — 1 < Re X < 0.
Для этих значений X
^ оэ
FK (s) = (ху>° = —±==- { xxei8X dx. (3)
У ъ 0
Этот интеграл заведомо сходится, если Im s > 0, т. е. F?. (s) представляет

собой функцию от s, аналитическую в верхней полуплоскости. Полагая
s = is^ получаем F?t(is1) = —— -sf-*-1. Отсюда имеем
*<*>--^(т) д+1 - (4>

При этом под выражением ( — j мы будем понимать для вещественных s
те значения функции, которые получаются непрерывным продолжением
из ветви, равной единице при s=i (однозначная ветвь функции, получен
ная, например, разрезом по отрицательной части мнимой полуоси).
Мы можем записать формулу (4) и иначе, а именно
}
Fi(s)= \l% [e 2 (rw)s>0+e 2
| s | s < 0 ]. (5)
Применяя к (£я)х>о и FA(s) формулу (2), мы получаем для — 1 < ReX < 0
равенство
со оо
STÎTT^^-W \ (4-)д+1?(^. (6)

о
Но из результатов § 1 следует, что обе части равенства (6) аналитически

64 И. М. ГЕЛЬФАВД И З . Я. ШАПИРО
зависят от X, и, следовательно, это равенство имеет место Для всехГ зна

чений X, если под входящими в него интегралами понимать их регуляри-
зованные значения, т. е. для любых значений X преобразование Фурье
функции Y (\Х>1) да
^ т с я формулой
-^y=7iri' ! ' 1 " t ' > ( s -'-">->»+ r,lu+ "<i s i-'-')-<»i- <"
Рассмотрим, во что превращается эта формула при целых значениях X.
Если X близко к т, где т — целое положительное число, то
(s-i-i) „ - ( - 1 ) " *"»(') , ( 1 Л ,
1
l s<0 m\(m-l) ~*Л |*! m+1 Л < 0 Г
где многоточиями заменены слагаемые, стремящиеся к нулю при X—>т.

Разлагая по степеням \ — т функции е % и переходя в формуле (7)
к пределу при X—>т, мы получим для т > 0 формулу
(#m)<v^n im+1 Г 1 S(m) М 1
Для целых отрицательных значений X:

Х= ~т — 1 ( т = 0, 1, 2, . . . )
левая часть равенства (7) обращается в ЬШ) (х) (см. формулу 8, § 1), и мы
получаем, что
8- ( я ) = * (±y w e .^*m (9)
v f
Yin V s J угъ
Аналогичным способом можно найти преобразование Фурье обобщённой
функции |#|х<о, затем функций | х |я и j re |A sign ж, рассмотренных в § 1.
Не приводя вычислений, укажем только на следующие две формулы:
|T|^-]/|-r(X~hl)cos^-(X-fl)H|^--1, (Ю)
'^Гх = Y^ г (х + l)sin Y( х + 1) Is I""*"1 si^n s-

I ГС Г 1 S I (И)
В частности, полагая в формуле (10) Х = — 2к, а в формуле (11) Х= — 2А: — 1,
мы получим преобразование Фурье целых отрицательных степеней х на всей
прямой
Т _,/"^ (-i)fc ,
^ = '/ll^fl e l ,fcBi e ns - ("')

Дифференцируя обе части формулы (7) по X, мы можем получить из неё
формулы для преобразования Фурье присоединённых функций. В частности,
Ш*>О=ЙД[(Х+А:);Т]=
(к—1)1 Yin LV * J Ks J \ s j J ^ '
где С — постоянная Эйлера. При к = 1 получаем отсюда
1 г С
(-1 = Y'2n 1П —
s ;
Y%K
V » Ух>0
2. П р е о б р а з о в а н и е Ф у р ь е о д н о р о д н ы х ф у н к ц и й от м н о
г и х п е р е м е н н ы х . Перейдём к преобразованию Фурье однородных обоб
щённых функций от многих переменных. Пусть Fk (xl9 . . . , хп) — однородная
функция степени X. Для положительных значений X определим её преобра
зование Фурье с помощью формулы
F,(s',...,sn) = ~yrhm[..AF,(x1,...,xn)eiVx^+Uix[)dx1...dxn. (13)

2
(2т,)
Можно без труда показать, что предел в правой части равенства (13) суще
ствует и даёт преобразование Фурье Fx{x1, . . ., хп) в смысле формулы (2),
т. е. что
$ . . . \Px{s', ...,s")<p(s', ...,sn)ds' ...dsn =
= \ . . . \Fi (xu ...,xn)y (xv ...,xn)dxl... dxn. (14)
Если считать, как мы это обычно делаем, что интегралы в формуле (14)
аналитически зависят от X, то эта формула может быть аналитически про
должена и на те значения X, для которых интегралы расходятся. В этом
случае под расходящимся интегралом понимается его регуляризованное
значение.
Интеграл \ . . . \ FK (xlt . . ., хп) el (Sxvsv-H* и\) dx± ... dxn можно пред
ставить в более простом виде. А именно, полагая xk = mk, где а>1, . . . , а ) п —
координаты на единичной сфере, мы в силу однородности FK получим
$ . . . \Fx{x1,...,xn)eiV*^^)dx1...dxn =
ОО
= ^ P* + n-ie*P (S "Vv+i 2 1 * 1 ) ^ . ^ ^19 . . . , «)J di*. • (15)

U 2
5 Успехи матем. н а у к , т . X, вып. 3
Интеграл по о представляет собой не что иное, как умноженное на "|/2тс

преобразование Фурье функции (р;"Ьп__1)Р>о в точке 2 им%> + ^ | w |, лежащей
в верхней полуплоскости. Как было показано в п. 1 этого параграфа,
он равен, следовательно, 1 (А + П)
у
Подставляя это значение в формулу (15), мы получим, что
] - - - ] Ъ {*г, • • • ,*„) ei? < - ^ + i ' ш;

) dxx . . . dxa =
= Г (X +n)\Fi(u>1,..., <on) / - ^ ^Г-ТТ)Я+П d
откуда
FA(^...,^) = il<^lim^^(co l f ...,coj/- L _ _ p d a > . (1 6 )

£ £
( 2 ^° * \2J°VV + ' M /
Под знаком интеграла в формуле (16) стоит однородная функция

от о^, . ..,о> п степени --/г. йш — форма Лерея на поверхности сферы. Сле
довательно, интеграл (16) представляет собой вычет функции
X °V v + is | a
Так как для вычисления вычета поверхность интегрирования можно

выбирать с большей степенью произвола, то мы можем считать, что инте
грирование в формуле (16) ведётся по произвольной гладкой замкнутой
поверхности, охватывающей начало координат, а б/со —форма Лерея на этой
поверхности. Для тех значений X, для которых интеграл (16) расходится,
нужно понимать под правой частью формулы (16) регуляризоваиное зна
чение соответствующего интеграла.
С помощью формул (8) и (9) этого, параграфа можно написать частный
вид формулы (16) для целых положительных и отрицательных значений л.
Та блица
преобразований Фурье однородных и присоединённых функций

от одной независимой переменной
Функции, приведённые в настоящей таблице, понимаются как обобщённые
функции. При этом под обобщёнными функциями ( У % > 0 , | # |£<о> 12;!Я> I x \Л signf#,
хл\\п\х\, | хк j In | х | sign x понимаются для Re A. > — 1 функционалы, равные
со 0 со
\ х'у (х) dx, \ j х | *ср (х) dx, \ \x\Ay(x)dx и т. д. Для Re X < — lj под соответ-
0 —со —со
струющими обобщенными функциями понимаются аналитические продолжения этих

функционалов по />. Явные формулы для этих аналитических продолжений даны в § 1.
1
В частности, функционал, отвечающий обобщённой функции —^г » вычисляется
по формуле
у(0)+1ГФ°(0)+...+ ,2та_2,,у(2т-2чо)
^ L _ _ v L =L dx, (17),
и
1
а функционал, отвечающий функции —--—- , —по формуле
т2т
[ dx. (18)
\ 2,2 т + 1
Обобщённая функция ( —^ J понимается как функционал
1 *(х)-<?(0)-х<?'(0)-...~-( ^
£=*1±1 -dx +
\
(
+ J ^ ^-^- **• (19)
1
#
В принятых обозначениях, которым мы здесь следуем, есть одно серьёзное неудобство.
А именно обобщённая функция (XA)X>Q при А —-> —тг вовсе не стремится к обобщённой
функции ( —- J . На самом деле функция хл при \= —п имеет полюс и присо
единённая функция ( —— ) есть лишь второй член разложения (хл)х>0 при \=—п.
А именно
__ ( — lyi-iftm-i) (д.j
(*П, э с
> ° ~ ~ ( л —1)!(^ + я ) " "' V хп Ух>0
Аналогично для функции | х \А на всей прямой нельзя подставлять значения \=—1,
— 3, . . . и т. д., так как при этих значениях X обобщённая функция \х\л имеет полюс,
1 1
но можно подставлять Х==—2, — 4 , . . . Обобщённые функции - — г , - —3^ и т. ш
\х\ \х\
можно определить на основании формулы (19) и аналогичной формулы для
/ 1 N
( п гтг J • Что касается функции | х \л sign х, то здесь исключительными значе 1
\\х\ Jx<0
ниями X являются значения Х = — 2, — 4, . . .
Функции комплексного переменного ( — ) и In —, стоящие в правой части
ч s J s
\
формул (1) и (8), понимаются как аналитические функции в верхней полуплоскости^
из которых первая при s=i равна единице, а вторая при s = i равна нулю. Таким
l
Г iV i
ооразом, под выражениями ( — J и — понимается однозначная ветвь соответствуй
ющей функции, полученная разрезом комплексной плоскости вдоль отрицательной
мнимой полуоси. |
Это значит, что для вещественных s \
• . , • ТС -ТС !
(
\ \1 г- А . — г т. .А -—л
2 2
--) =« ('-'),>о + « 1*!.>о,
In | s | — i ~- для s > 0,
m —= \
\n\s\-\-i~ для F < 0.
5*
Б8 И. М. Г Е Л Ь Ф А Н Д И 3 . Я . Ш А П И Р О
Функции ( -т— ) и In ( -г— ) , входящие в правую часть формул (2) и (9), понима
ются аналогично с заменой i на —г, т. е. эти функции аналитичны в нижней полу
плоскости (разрез вдоль положительной мнимой полуоси). Для вещественных s это
означает, что
/ I V -г? * ,
e*X\s\7^.<
In I s\ + i Y Для s > 0,
IS
In | 5 | — г — для s < 0.
А. О д н о р о д н ы е функции
Функции Преобразования Фурье
1. (* A )*>o Г(Х + 1) /' i V + 1

Ь * - 1 , -2, ...1) V2n ^ s J ,
2
- l*l£<0 r(x+i) ( ^ i V + 1
1Ф _ _ 1 , — 2 , . . . 1) }/2л V is )
3 . J * |Я
| / - | r(^ + l)cos-| (^+1)|5|-я~1
Ь # - 1 , - 3 , ...1)
4. | я | я sign а?
i|/"^-r^+l)siny(X + l)|^rA-1sign5
bqfc - 2 , - 4 , ...1)
3', 4'. а?" я>0,

1/"2UP5^(5) !
целое
1
3 " , 4". |а?| хп~г л>0,
n+1
целое 1/ — /il(i) s
3"',4"\ 4т *>°.
целое Kl^lF"1^'
1П
5. S<"> (яг)
/2TL
*) Обобщённые W
функции ( —n j , i -—— j , -—-—— , " ° a для це лых иг, д
' "* V * / * > 0 ' V | * | n / * < 0 |a?J2m +1 ' | ^ | 2 m
являются не однородными, а присоединёнными обобщёнными функциями. Их преоб
разования Фурье даны в формулах (8) —(И).
Б. П р и с о е д и н ё н н ы е функции
] / l |>(A + l)cos|-(X+l)- -
д
6. | х | In | х |
_|r(X+l)sm-J(X+i)J lepi-1--
Хф - 1 , - 3 , . . .
-|/4Г(*+1)С03т(Х+1)|яг*~11п1«1 •
t - | / l [ r ' ( X + l ) s m | ( K + l) +
А
7. 1 х | In | х | sign a;
Ь=£-2, - 4 , ... + ^ r ( X + l)cos|-(X + l ) ] | » | ^'sign.-
—i \ \ Г (A. + 1) sin у (к + 1) | s Г Л _ 1 In 1 * 1 sign s
6', 7 х . хп\п \х\

| я >• 0, целое У 2 Л)
|s|s"
1 fi* 7 „ 1п|а?|
!
|
' х*
я !> 0, целое
1^1 (S]T tls I s"~2 ln 1s 1 + c 1s 1 s n _ 2 l x>
|
8. ( 1 Л д>0,
целое
^HSr( 1 T" + l t a l - c f- L > T , + T )
9 п>
- (Аш) °> 1 (—l)™-1
\(±rn+lm±-c(±Y+tv\
\\х\п/х<0 . 4 is J is V ls
J J
целое
10. - I — > 0,
I/ 7 "! 7^5yr [ C '' s ' s n _ 2 _ l s 1 's"~2 ln' *|] l)
Л
1 | х \ • а™"1
целое
*) С — постоянная Эйлера.
ЦИТИРОВАННАЯ ЛИТЕРАТУРА
[1] L. S c h w a r t z , Theorie des distributions, т. I и II, Paris, 1950—1951.

[2] И. М. Г е л ь ф а н д и Г. Е. Ш и л о в , Преобразования Фурье быстро
растущих функций и вопросы единственности задачи Коши, УМН VIII,
вып. 6 (58), (1953), 3—54.
[3] И. Г а л ь п е р и н , Введение в теорию обобщённых функций, М., ИЛ, 1954.
[4] J. H a d a m a r d, Le probleme de Gauchy et les equations aux derivees partielles
lineaires hyperboliques, Paris, 1932.
[5] M. R i e s z, Integrale de Riemann—Liouville et probleme de Gauchy, Acta Math.
81 (1949), 1—223.
70 И. М. Г Е Л Ь Ф А Н Д И 3 Я. Ш А П И Р О
[6] L. G a r d i n g, Linear hyperbolic partial differential equations with constant coef

ficients, Acta Math. 85 (1951), 1—62.
i [7] S. В о с h n e r, Vorlesungen uber Fouriersche Integrate, Leipzig, 1932.
[8] A. A. X а ч а т у р о в, Определение значения меры для области /г-мерного про
странства по её значениям для всех полупространств, УМН IX, вып.3(61), (1954),
205—212.
[9] И. Г. П е т р о в с к и й , О диффузии волн и лакунах для гиперболических урав-
| нений, Матем. сб. 17 (59), № 3 (1945), 289—370.
J10] П. К. Р а ш е в с к и й , Геометрическая теория уравнений с частными произ-
I водными, М.—Л., Гостехиздат, 1947.
( И ] J. L е г а у, Les solutions elementaires d'une equation aux derivees partielles
a coefficients constants, Compt. Rend. Acad. Sc. (Paris) 234 (1952), 1112—1115.

Гельфанд - Шапиро - Однородные функции и их приложения PDF

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Гельфанд - Шапиро - Однородные функции и их приложения PDF

Загружено:

Авторское право:

Доступные форматы

Math-Net.

И. М. Гельфанд, З. Я. Шапиро, Однородные функции и их

Использование Общероссийского математического портала Math-Net.Ru подразу-

ОДНОРОДНЫЕ ФУНКЦИИ И ИХ ПРИЛОЖЕНИЯ

2. Вычисление регулиризованных значений интегралов V х1ъ (х) dx и

'). Однородные функции \х\ и j х \A sign x (чётные и нечётные однородные

4. Обобщённая функция Gx (х{, . . . , хп) в общем случае 57

так что частным случаем обобщённых функций являются обычные интегри­

*) Можно также познакомиться е теорией обобщённых функций в элементарном

имеющие неинтегрируемые особенности, т. е. вычислять интегралы от таких

. . . ^ GA (х19 . . ., хп) * (хи . . ., хп) dxx ... dxn.

\ • • • ^ G?' (хг, . . ., хп) Ф (хг, . . ., хп) dx± ... dxn,

G{xx, . . . , хп) = Р(х'и . . . , х'п).

^! § 1. Однородные обобщённые функции от одной независимой

• . /(ахь ...,axn) = a*f(xv ...,хп). (1)

Для того чтобы определить, что значит обобщённая однородная функция

Если /(я^; . . . , ха) — интегрируемая по любой конечной области однород­

'Т[ч(^> •••/i))=«*+nT[<?(x1, ...,*„)]. (2)

Равенство (2) мы и примем за определение однородной обобщённой

Легко проверить, что каждый из этих функционалов удовлетворяет равен­

*) Число X может быть как действительным, так и комплексным.

вающих при | х | -* оо быстрее любой степени -{—— .

пой функцией степени л. Каждый ,и;* этих функционалов определяется

лнтически 2 ) зависят от параметра л. Аналитически продолжив эти инте­

гралы расходятся, мы будем называть эти обобщённые функции регуляри-

Т е о р е м а. Обобгцёиные функции \ х?- ср (х) dx и \ ! х \1 о (х) dx допуска-

ют аналитическое продолжение во всю плоскость комплексного переменного

с^х'' при х > О,

\ xly(x)dx в область R e X > — 2. Отсюда следует также, что при X = — 1

интеграл \xKv(x)dx имеет полюс с вычетом ср (0). Аналогично, записав

мы получим аналитическое продолжение \ х1 ср (х) dx на область ReX>

\xK®(x)dx и \ | х\* ср (x)dx~однородные обобщённые функции степени X.

Заметим, что если ср (х) — аналитическая функция в круге радиуса

^ х}- ср (х) dx = ^ х я ср (х) dx + ^ (F^(T+T) * ^

взем аналитическое продолжение обобщённой функции V х1 ср (х) dx (Re X > —1) на

В частности, полагая <р (х) — е~х, мы получаем представление для Г-функ-

справедливое уже не для R e X > — 1, а для любых значений X и дающее

при R e X > — 1 интеграл \ x*v(x)dx, а для остальных X — аналитическое

Таким образом, при Х = — к обе формулы (8) дают с точностью до знака

л о в \xlo{x)dx и \ \xx^(x)dx для произвольных з н а ч е н и й X.

гуляризованное значение интеграла \xk,z(x)dx) в области Re.X > —- п — 1,

другим, более симметричным выражением для \ хля (х) dx.

\ x*®(x)dx=* ^ х/ Г ? ( ж ) - ? ( 0 ) - . . . — т ^ ^ п г ? ( " - 1 } (0) 1 dx +

== $ ж* [ ? (ж) - ? (0) - . . . - - ^ Г ) Г ^ ( " ~ П (°) ] ^

Итак, в полосе — /г — 1 < ReX < — /г регуляризованиое значение интеграла

\ .х;ср (ж) rfx даётся форму.пои

\ x^{x)dx=\ х* [ ? ( л ) - ? ( 0 ) - * < р ' ( 0 ) - - . . - " ( Й у Г ? ^ " 1 ^ 0 ) ] rfx

V _j_i?Lj^ следует понимать \ Т/ ^ - Подчеркнём, что формула (9)

неприменима для регуляризации интеграла \ #Аср (х) dx для целых отрица-

интеграла \ ±~-dx. понимается сумма \ J^-L—J-^-dx-\- \ -^-^dx при неко-

тором а. Легко проверить, что такой функционал не есть однородная

Из введённых в п. i однородных функций легко составить чётную и нечёт­

Изучим особенности обобщённых функций | х |я и \x\As\gn.x. Так как обоб-

а функция | х | я ^ 0 — полюсе вычетом—JJ—j~, то обобгцённая функция \х\л

есть целая аналитическая функция от X. Из формулы (7) легко получить,

Г 1 ==2 x Ae x2dx 2(-1)"

\ | х Iя Ф (ж) <ix для Re X < — 1. Для этого воспользуемся регуляризованны-

(9'). Замечая, что \ \x\*y(x)dx=\xxv( — x)dx и применяя формулу (9),

$ х>- { о (х) + Ф ( - ж ) - 2 [<р (0) + ^ Т" (0)-г • • • + T ^ S j r ^ < 2 m _ 2 ) ^ 1 } ^

ла \ | х | я sign ху (х) dx в полосе — 2т — 2 < Re X < — 2т между двумя по-

люсами обобщённой функции Ix^signx имеет вид

^A| T(s) _ T( _^_2[^'(0) + 4?'"(0)^---+^b",p<2m~1)(0)]}da;-

При X = — 2т - 1 из формулы (12') получается регуляризованное значение

так что частным случаем обобщённых функций являются обычные интегри

Если /(я^; . . . , ха) — интегрируемая по любой конечной области однород

'Т[ч(^> •••/i))=«+nT[<?(x1, ...,„)]. (2)

Легко проверить, что каждый из этих функционалов удовлетворяет равен

лнтически 2 ) зависят от параметра л. Аналитически продолжив эти инте

\ x®(x)dx= ^ х/ Г ? ( ж ) - ? ( 0 ) - . . . — т ^ ^ п г ? ( " - 1 } (0) 1 dx +

Из введённых в п. i однородных функций легко составить чётную и нечёт

\ ху (х) dx = \ х- Г ср (х) - ср (0) х^ (0) - ... - ( - ^ у г ? ( n ~ j ) (°) 1 <*х

Сумма интегралов в правой части равенства представляет собой аналити

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

В § 3 нам понадобится значение неопределённых интегралов от введён

Для остальных значений X мы определим \ | х |я sign ж dx, как обычно, с по

5 • • • 5 /(ь ••-.«)? (i. • • •. xn)dxi • • • жп>

Fx [?] = $ • ь - ] Р" () [? () - Т (0)] dx -r

+ \ ..A F(x)<f{x)dx + y(0) Г ... [ F(x)dx (3)

Вспоминая, что \ dm есть гг~кратный объём конуса, опирающегося на пло

в интегралы по поверхности Г, ограничивающей D, пользуясь однород

Из этой формулы следует, что \ . . . \ ^ я (х) ср (ж) dx представляет собой ана

сходятся. Граница области E — D есть та же поверхность Г (грани