Граничные свойства обобщенных интегралов типа Коши в пространствах гладких функций Текст научной статьи по специальности «Математика»

УДК 517.956

ГРАНИЧНЫЕ СВОЙСТВА ОБОБЩЕННЫХ ИНТЕГРАЛОВ ТИПА КОШИ В ПРОСТРАНСТВАХ ГЛАДКИХ ФУНКЦИЙ

Т. А. Солдатова

Московский государственный университет им. М.В. Ломоносова, кафедра математического анализа E-mail: tsoldato@yandex.ru

На гладком контуре рассматриваются обобщенные интегралы типа Коши с ядром, зависящим от разности аргументов. Они охватывают как потенциалы двойного слоя для эллиптических уравнений второго порядка, так и обобщенные интегралы типа Коши для эллиптических систем первого порядка. Для функций, определяемых этими интегралами, найдены достаточные условия, обеспечивающие их принадлежность классу Cnвплоть до границы. Получены соответствующие формулы для их предельных значений.

Ключевые слова: обобщенные интегралы типа Коши, краевые задачи, эллиптические уравнения, граничные свойства.

Boundary Properties of Generalized Cauchy Type Integrals in the Space of Smooth Functions T. A. Soldatova

Lomonosov Moscow State University, Chair of Mathematical Analysis E-mail: tsoldato@yandex.ru

The generalized Cauchy type integrals which kernel depends on the difference of arguments are considered on the smooth contour. These integrals cover as potentials of double layer for second order elliptic equations as generalized Cauchy type integrals for first order elliptic systems on the plane. In the paper the sufficient conditions such that these integrals belong Cup to the boundary are found.

Keywords: generalized Cauchy type integrals, boundary problems, elliptic equations, boundary properties.

1. ОДНОРОДНЫЕ ЯДРА

Хорошо известно [1], какое важное значение имеют классические интегралы типа Коши для исследования краевых задач теории функций. Применительно к краевым задачам для эллиптических уравнений второго порядка аналогичную роль играют потенциалы двойного слоя [2]. Интегралы указанных типов можно объединить в форме криволинейных интегралов ядрами однородной степени — 1, зависящими от разности двух комплексных переменных (одна из которых является переменной интегрирования). Данная работа посвящена исследованию граничных свойств этих интегралов в классах для всех п = 0,1,...

Рассмотрим непрерывную на к2 \ 0 функцию ), однородную степени —т, где т — неотрицательное целое число. Последнее означает, что

QK) = r-m Q(0

(1.1)

для любого г > 0. Очевидно, функция Q полностью определяется своими значениями на единичной окружности, которую обозначим т, и допускает оценку ^(£)| < ^|°,т|£|-т, где |^|0>Е означает Бир-норму функции ^ на множестве Е. В частности, отсюда

|Q(y - x)| < 2m|Q|o,T|y|-m при |y| > 2|x|.

(1.2)

В самом деле, в силу (1.1) можем записать Q(y — х) = |у|-т^(£) с вектором £ = (у — х)/|у|, удовлетворяющим условию 1/2 < |£| < 2.

В дальнейшем будут рассматриваться однородные функции Q, удовлетворяющие на окружности т условию Липшица. Напомним, что функция ^ удовлетворяет условию Гельдера с показателем 0 < д < 1 на множестве Е (условию Липшица при д = 1), если конечна полунорма

Г 1 |р(ж) — ^(у)

Класс ограниченных функций с конечной нормой = |^|° + образует банахово пространство Гельдера С(Е). При д < 1 для него используем также обозначение С^(Е). Символ С*(Е) используется для функций, непрерывно дифференцируемых на Е (в случае, когда Е является замкнутой областью).

Обратимся к однородной функции Q е C0,1 (t). В силу свойства однородности (1.1) она удовлетворяет условию Липшица в каждом слое G = < |£| < 5—1} с оценкой норм |Q|1>G < C|Q|1)T, где постоянная C > 0 зависит только от m и 5. В частности, аналогично (1.2) отсюда приходим к оценке

|Q(y - x) - Q(y)|< C|Q11 |У| m 1 при |y| > 2|x|, (1.3)

где постоянная C > 0 зависит только от m.

В дальнейшем основной интерес представляют однородные функции Q степени -1. Теорема 1.1 Пусть функция Q(£) е C0,1 (t) однородна степени —1 и удовлетворяет условию

Q(-e) = —Q(e) (1.4)

для некоторого e е t. Тогда вне прямой L = (te 11 е r} сингулярный интеграл

[ Q(te - x)dt = lim i Q(te - x)dt (1.5)

-R

существует и зависит только от полуплоскости, в которой лежит точка х. Если дополнительно Я е С1 (т), то

[Ш (У - х)<ву = 0, I = 1, 2, х еЬ, (1.6)

где интегралы понимаются в обычном смысле.

Наконец, если функция Я(£) е Ст(т) и нечетна, т.е условие (1.4) выполняется для всех е, то

[ ЬкЯ(т)(Ье - х)<Ь = 0, х е Ь, к = 0,1,... ,т - 1, (1.7)

где Я(т) означает любую из частных производных порядка т. Доказательство. При Я > 2|х| в силу (1.4) имеем:

я

! Я(Ье - х)<Ь = 1'[у+(г) + <р±(Ь) = Я(±Ье - х) - Я(±Ье).

2|ж|<|г|<Я 2|х|

На основании (1.3) функции (р± допускают оценку |^±(£)| < С[Я]^,|х|Ь-2 при Ь > 2|х|. Поэтому интеграл (1.5) действительно существует.

Обозначим ф(х) функцию на к2 \ Ь, определяемую этим интегралом. Доказательство того, что она постоянна в каждой из двух полуплоскостей, сводится к соотношениям

ф(гх) = ф(х), ф(х + Ае) = ф(х), (1.8)

справедливым для любых положительных т и А. В силу однородности

п я п я г

/ Я(Ье - тх)<Ь = Я(Ье - х)<Ь, -я -яг

что в пределе дает первое равенство (1.8). Точно так же при х' = х + Ае можем записать

,я ,я / -я я

Я(Ье - х')<Ь - Я(Ье - х)<Ь = I 1+1 I Я(Ье - х)<Ь.

Так как

-R -R

" -R—X R-A

max IQ (te — x)|—»0 при R —» оо,

R—A<|t|<R

приходим к справедливости и второго равенства в (1.8).

Обратимся ко второму утверждению теоремы. Пусть функция Я е С1 (т) и точка с е Р фиксирована. Тогда как и выше убеждаемся, что функция Я(Ье - х) - Я(Ье - с) суммируема на прямой к.

R

Поскольку этим свойством обладают и ее частные производные по xi5 функцию ф(х) — ф(с) можно продиффернцировать под знаком интеграла. Поскольку эта функция постоянна в полуплоскости, в результате приходим к равенству (1.6).

Что касается последнего утверждения теоремы, то для к = 0 равенство (1.7) получается дифференцированием (1.6). Поэтому доказательство требуется только для к > 1. Пусть для определенности первая координата ei единичного вектора e = (ei, e2) отлична от нуля. Тогда, раскладывая (tei)k = [(te1 — x1) + x1]k по степеням te1 — x1, вместо (1.7) можем доказывать равенство

/ Q(te — x)dt = 0, Q(C) = Ck Q(m) (С).

J R

Очевидно, достаточно убедиться, что функция Q представима в виде конечной суммы

CkQ(m)(C) = Е Q((mi), к < m, (1.9)

i

где функции Qi е Cmi (t) нечетны и однородны степени —1. Тогда указанное равенство будет следствием равенства (1.8) с к = 0, справедливость которого была отмечена выше.

Доказательство представления (1.9) проведем индукцией по m. При m = 1 оно очевидно, пусть рассматриваемое утверждение справедливо по отношению к ekQ(m-1)(C), к < m — 1. Для производной Q(m) возможны следующие два случая:

д д

Q(m) = д Q(m-1) Q(m) = -— Q(m-1)

дС1 ' дС2 '

Соответственно этим случаям имеем:

дд

ekQ(m) = [ekQ(m-1)] — Mek-1 Q(m-1)], ekQ(m) = ^[ekQ(m-1)].

д?1 ds2

Если к < m — 1, то к выражениям в квадратных скобках достаточно применить предположение индукции. В случае к = m — 1 остается заметить, что функция Q0(C) = ekQW(C) однородна степени —1 и нечетна. Последнее следует из того, что каждое дифференцирование характер четности или нечетности меняет на противоположный. Тем самым представление (1.9), а вместе с ним и теорема установлены.

Общее значение интеграла (1.5) в полуплоскости D, лежащей слева от вектора e, обозначим a(Q; e). Ясно также, что замена e на —e приводит к общему значению интеграла (1.5) в полуплоскости, лежащей справа от вектора e. Если функция Q нечетна, то замена t = —t' в интеграле (1.5) приводит к равенству a(Q; —e) = — a(Q; e) для любого вектора e. Другими словами, в этом случае a представляет собой нечетную функцию на t.

Опишем связь a с линейными подстановками. Пусть матрица A е r2x2 имеет положительный определитель, так что определяемое ею линейное преобразование X ^ Ax не меняет ориентации плоскости. В частности, если полуплоскость D лежит слева от е, то образ A(D) при этом преобразовании совпадает с D. Поэтому линейная замена переменных в (1.5) приводит к равенству

a[Q(C); e] = |Ae|a[Q(AC); е], e = |Ae|-1 (Ae). (1.10)

Нетрудно также дать явное выражение для интегралов a±(Q; e). С этой целью положим

f(arge) = Q(e), g(0) = { f(l(arge)— , °^<20 (1.11)

I —f [n — (arg e) — 0], —n/2 < 0< 0.

В терминах функции f условие (1.4) сводится к равенству f(п + arge) = —f(arge), поэтому функция g непрерывна в точке 0 = 0. Если Q е C0,1 (t), то, очевидно, и 2п-периодическая функция f е C0,1 и, значит, этим свойством обладает и функция g на отрезке [—п/2,п/2].

Лемма 1.1. В условиях теоремы 1.1

тг/2

a(Q,e)= / g(0)d0, (1.12)

J sin 0

-п/2

где интеграл понимается как сингулярный в точке в = 0, т.е. является пределом при е ^ 0 интегралов по е < |в| < п/2. В частности, если функция Q(^) нечетна, то

■к/2

ff(Q,e)= / f [(arg e) - в] «И. (1.13)

J sin в

-п/2

Доказательство. Предположим сначала, что e = (0,1), и выберем точку c = (-1, 0) е D. Очевидно, arg(te — c) = arctg t, поэтому

a(Q; e) = f Q(te — c)dt = i ^a^) dt.

JR JR V 1 + t2

Замена tg t = в в этом сингулярном (на го) интеграле приводит к равенству

TV/2

a(Q; e) = / Мde, J cos в

-ж/2

где интеграл понимается как предел при е ^ 0 соответствующих интегралов по |в| < п/2 — е. Поскольку в обозначениях (1.11)

[ Ж de = / Ш de, 9(в) = ( f (п/2;— в)\ 0 <в <п/2

J cos в J sin в yw I — f (—п/2 — в), —п/2 < в < 0,

|0|<п/2-е е<И<п/2 ^

отсюда следует справедливость формулы (1.12) в рассматриваемом случае e = (0,1).

В общем случае произвольного единичного вектора e положим е = (0,1) и рассмотрим линейное преобразование A, осуществляющее поворот плоскости против часовой стрелки на угол а — п/2, а = arg e. При этом повороте е переходит в e и, следовательно,

Q(A ) = ^^, /(в) = f (в + а — п/2).

Поэтому на основании (1.10) предыдущая формула, примененная к Q и e, приводит к равенству (1.12) в общем случае.

Наконец, если функция Q(^) нечетна, то функция f обладает свойством f(в + п) = —f(в), что доказывает равенство (1.13).

Как будет показано ниже, для f е C0'1 формула (1.13) определяет функцию o"(e), принадлежащую C^(t) для любого 0 < д < 1 (класс таких функций естественно обозначить C1-0). Доказательство основывается на следующем вспомогательном предложении, которое представляет собой уточненный вариант одного свойства гельдеровых функций, рассмотренного в известной монографии Н. И. Му-схелишвили.

Лемма 1.2. Пусть ^(u, v) е Cv (G х F), F с rs и 0 < д < v. Тогда для фиксированных u', u'' е G, u' = u'', функция

. N w(u', v) — w(u'', v) „

<£(v) = ^ /—1 J, v е F,

принадлежит классу CV-^(F) и справедлива оценка

< %|v. (1.14)

Доказательство. Из определения видно, что функция ^ ограничена и

|<£|о < max(2|^|o, Mv). (1.15)

Условимся элементы множества E = G х F записывать x, y, z и рассмотрим на E х E функцию

^(x,y) =

|x — y^

которая при x = y полагается равной нулю. Оценим разность W(x,z) — W(y, z). Предполагая для определенности |y — z| < |x — z|, имеем:

wx, z)—^(y, zü < (H-J+|y—z|y|lx^,^X':^y.—zh) ^=—yiv-» •

A = |x — y|» + |y — z|v-» ||x — z |» — |y — z|»| |x — z|» |x — y|v-»|x — z|»

Очевидно,

„ (|x — z| + |y — z|)» |y — z|v-» ||x — z|» — |y — z|»| tv-»(1 — t») A < ч-j-\y-\j_ + \y-L—ü-1-^-U. = (1 + t)» + v .-,

|x — z |» ||x — z| — |y — z||v-» |x — z |» (1 — t)v-»

где положено t = |y — z||x — z|-1 < 1. Поскольку t» + (1 — t)v-» > t + (1 — t) = 1 и, значит, 1 — t» < (1 — t)v-», величина A < 2» + 1 < 3. Таким образом,

|W(x,z) — w(y,z)| < |x — y|v-».

В общем случае произвольных точек (x, y), (x',y') множества E x E можем записать |W(x, y) — W(x',y')| < |W(x,y) — W(x',y)| + |W(x',y) — W(x',y')| и к слагаемым в правой части применить предыдущую оценку. Вспоминая, что </3(v) = W[(u', v), (u'', v)], в результате получим:

|<^(vi) — p(V2 )| < 6[^]v |vi — V2 |V-».

Совместно с (1.15) отсюда следует требуемая оценка (1.14).

Обратимся к формуле (1.13). Рассматривая arge в ее правой части как дополнительную координату параметра u, докажем следующее утверждение.

Лемма 1.3 Пусть g(u,e) е C0'v(G x [—п/2,п/2]), 0 < v < 1. Тогда функция

п/2

a(u) = gí^ de, (1.16)

J sin в

-n/2

принадлежит классу Cv-0(G) и справедлива оценка |a|Cм < C|g|Cv, 0 < ц < v, где постоянная C > 0 зависит только от ц и v. Если дополнительно функция g непрерывно дифференцируема по и, причем ее частная производная g'u удовлетворяет условию Гельдера, то имеет место формула дифференцирования:

п/2

a'(u)= / g^de. (1.17)

j sin e

-n/2

Доказательство. Подинтегральное выражение (1.16) представим в виде

ff(u,e)|e|v-» й(и e) g(u,e) sin e ' ^(u'e)= Wr».

Согласно лемме 1.2 функция g(u,e) принадлежит классу C»(G x [—п/2, п/2]) с соответствующей оценкой норм. Первое утверждение леммы отсюда получается непосредственно.

Что касается формулы дифференцирования (1.17), то без ограничения общности и можно считать одномерным параметром, пробегающим интервал G С r. Для u1?u2 е G положим

~t g(u1 ,в) — g(u2,e) f1 ' г ч п,

5'(и1,и2,в) =-= gu [u1 (1 — s) + u2 s]ds,

u1 — u2 0

предполагая <7(u15 u2, в) = gU(u, в) при u1 = u2 = u. Тогда функция g удовлетворяет условию Гельдера, так что на основании первой части леммы отвечающая ей функция a обладает этим же свойством. Поскольку

m a(u1 ,в) — a(u2,e)

a(u1 ,u2 ,в) =-,

u1 — u2

отсюда следует формула (1.17).

2. ГРАНИЧНЫЕ СВОЙСТВА В ПОЛУПЛОСКОСТИ

Напомним обозначения гельдеровых классов дифференцируемых функций. Пространство Сп,1(Е), где Е С кк - некоторая замкнутая область, состоит из всех п раз непрерывно дифференцируемых функций ф, которые вместе со своими частными производными принадлежат С1(Е). Оно может быть определено индуктивно условием ф, ф' € Сп-1,1(Е) с соответствующей нормой, равной сумме норм указанных функций в пространстве С"-1'1(Е). Когда ясно, о каком множестве Е идет речь, удобно эту норму обозначать |ф|п>1• Напомним, что под ф' понимается любая из частных производных первого порядка. Можно также ввести аналогичные пространства с различными дифференциальными свойствами по разным группам переменных. Пусть Е = С х Е с замкнутыми областями С С кг и Е С г + 5 = к, переменных соответственно и и V. Тогда пространство Сп'т,1(С х Е) определяется индуктивно условиями ф, € Сп-1'т'^ (С х Е) и ф, ф^ € Сп'т-1'^(С х Е) и снабжается соответствующей нормой |ф|п,т)1. Таким образом, все частные производные функции ф, суммарный порядок которых по переменным и (V) не превосходит т (п), принадлежат С^(С х Е). Наивысший порядок таких производных, очевидно, совпадает с т + п.

Применительно к однородным функциям ф(х, £), зависящим от х € Е как от параметра, эти определения модифицируются следующим образом. Пространство С1;0(Е х т) состоит из функций С(Е х т) этого типа, которые принадлежат С1(Е) по первой переменной равномерно по £ € т. Оно снабжается соответствующей нормой |ф| = эир^^ |^|1)Е. Исходя из этого пространства, соответствующие пространства дифференцируемых функций Сп'1;к(Е х т и Сп>т>1;к [(С х Е) х т] вводятся индуктивно по каждой из выделенных переменных, как выше. Например, при п > 1 норма в пространстве Сп'1;к(Е х т) определяется равенством

+ № I п,1;к-1.

Перечислим некоторые элементарные свойства введенных пространств, связанные с операциями умножения и суперпозиции функций.

Лемма 2.1. (а) Если ф, ф € Сп'1 то произведение фф принадлежит тому же пространству и справедлива оценка |фф|п>1 < С|ф|п>1|ф|п)1, где постоянная С > 0 зависит только от п.

(b) Если ф € С(ЕЕ), отображение а : Е ^ Е удовлетворяет условию Липшица и его производная а' € Сп-1'^ (при п > 1), то суперпозиция ф о а принадлежит Сп,1(Е) и справедлива оценка |ф о а|п>1 < С|ф|п>1, где постоянная С > 0 зависит только от п и а.

(c) Если ф € С"-'1(Е), Е = /(Е) и / € С"^1 (Е?), то суперпозиция / о ф принадлежит Сп,1(Е) и справедлива оценка |/ о ф|п>1 < С|/|п>1 |ф|п>1, где постоянная С > 0 зависит только от п.

(ё) Пусть 2 — вектор-функция ф(у) € Сп,1(Е) и ее значения лежат в некотором круговом слое Б5 = (5 < |£| < б-1}. Тогда для №(х,£) € Сп-^;п+1(Е х т) функция ф(х,у) = £[х,ф(у)] принадлежит С(Е х Е) и справедлива оценка |ф|п>1 < С|№|п,^;п+1|ф|п,^, где постоянная С > 0 зависит только от п, б и степени однородности функции №.

Доказательство. При п = 0 доказательство утверждений (а) — (с) непосредственно следует из элементарных неравенств для полунормы [ от произведения и суперпозиции функций:

[фф]1 < |ф|0[ф]^ + [ф]1|ф|0, [/ о ф]1 < [/]1 [ф]1, [ф о а]1 < [ф]1[а]1 .

Общий случай в соответствии с индуктивным определением пространств легко получается из последних неравенств индукцией по п. В силу этих же соображений утверждение (й) также достаточно рассмотреть для п = 0. Как уже отмечалось в разд. 1, однородная функция №(£) € С1 (т) удовлетворяет условию Липшица в каждом круговом слое , причем ее постоянная Липшица в этом слое допускает оценку |ф|о,1 < М, где константа М зависит только от б и степени однородности функции №. Возвращаясь к рассматриваемому случаю, можем утверждать таким образом, что №(х,£) принадлежит С1 (Е) равномерно по £ € т) и С0,1 (£) равномерно по х € Е. Поэтому остается воспользоваться утверждением (с) леммы.

Пусть, как и в предыдущем разделе, Ь означает прямую (£е,£ € к} и Б — полуплоскость дополнения к Ь, лежащая слева от вектора е € т. Пусть функция №(£,£) € С 1;0(к х т) однородна степени

_1 и нечетна по £, она служит ядром интеграла

ф(х) = — х)<р(Ь)^Ь, х е Б, (2.1) ./к

с плотностью ^ е С^(к). Чтобы исключить сингулярность при Ь = го, функцию ^ предполагаем с компактным носителем, не ограничивая общности, можно считать, что

<р(Ь) = 0, при |Ь| > 1. (2.2)

Тогда интеграл (2.1) определяет функцию, непрерывную в открытой полуплоскости Б. Если дополнительно £) е С(к х т), то функция ф е Ск(Б) и ее частные производные вычисляются под знаком интеграла:

ф(к)(х) = (_1)к / д(к)(ь,ье — х)^Ь. (2.3)

./к

Здесь как и в теореме 1.1 под понимается любая из частных производных по £1 , £2 порядка к и аналогичный смысл имеет ф(к). С учетом (2.2) и однородности Q¿k) отсюда следует оценка

1Ф(к) 1<М5 < С ^швх^ ^к) (Ь,£)|, (2.4)

для Бир-нормы этих производных в полуплоскости Б С Б, отстоящей от Ь на расстоянии 1.

Возникает вопрос, при каких дополнительных условиях функция ф(к) непрерывно продолжается на замкнутую полуплоскость и принадлежит С^(Б)? Исследование этого вопроса опирается на следующие два вспомогательных предложения.

Лемма 2.2. Пусть функция ф(х) непрерывно дифференцируема в полуплоскости Б и ее вектор-градиент ф' допускает оценку |ф' (х)| < Мг^-1, где г означает расстояние от точки х до прямой Ь. Тогда она удовлетворяет условию Гельдера с показателем д, причем [фЦв < 4М/д.

Доказательство. Без ограничения общности можно считать, что Б совпадает с полуплоскостью {х2 > 0}. В этом случае, очевидно, г = х2. Положим ^(з) = ф(Ь0 ± з, 5), 5 > 0, где Ь0 е к и один из знаков фиксированы. По предположению леммы (з)| < 2Мз^-1, так что

|р(в1) _ ^(52)| < 2д-1 М |< _ < 2д-1М |51 _ 52 Г.

Пусть теперь х и у — произвольные точки полуплоскости Б. Проведем через них прямые, параллельные векторам е± = (±1,1) и рассмотрим вторую пару противоположных вершин полученного прямоугольника. Одна из этих вершин, которую обозначим г, принадлежит Б. Применяя предыдущую оценку к сужению ф на стороны [х, г] и [у, г] прямоугольника, получим неравенство

|ф(х) _ ф(у)| < |ф(х) _ ф(г)| + |ф(г) _ ф(у)| < 4Мд-1|х _ уГ,

где учтено, что |х _ и |у _ не превосходят |х _ у|.

Из леммы, в частности, следует, что функция ф непрерывно продолжима на замкнутую полуплоскость Б. Поэтому при дополнительном требовании ограниченности она принадлежит пространству С^(Б). Заметим, что ограниченность ф достаточно потребовать в полуплоскости Б С Б, отстоящей от прямой Ь на расстоянии 1, соответственно равенство

|ф| = |ф|о,5 + [ф]»,в (2.5)

определяет эквивалентную норму в пространстве С^(Б).

Лемма 2.3. Пусть функция Р(Ь,£) е Ск>^;0(к. х т) однородна степени _к _ 2 по £ и удовлетворяет условию

ЬР(Ь0, Ье _ х)^Ь = 0, х е Б, (2.6)

Jш

для любых Ь0 е к и г = 0,1,..., к. Тогда интеграл

ф(х) = / Р(Ь, Ье _ х)^Ь, х е Б, ./к

допускает оценку

|ф(х)| < Сг^-1|Р |Ск„;С ,

где г означает расстояние от точки х до прямой Ь и постоянная С > 0 зависит только от ц и к.

Доказательство. Запишем формулу Тейлора

Р(¿, 0 = £ ^Цл^Р(0 (¿0,0 + Д(*, 0 (2.7)

г=0

с остаточным членом

±

\fc-i

A(t,C) = / (S(fc -°^ [p(k) (s,C) - P(k) (tods.

¿0

Очевидно, функция А(£, С) однородна степени — т — 2 по С и допускает оценку

|Д(Ш < С1|Р — ¿0 |к+и, С е т,

где постоянная С1 зависит только от к и ц. Согласно (2.6), (2.7) имеем равенство

■0(х) = А(£, ¿е — х)^,

что приводит к оценке

№(х)| < С1|Р 1ак^о [ ^^^к+Т^ (2.8)

До сих пор ¿о е к в этих рассуждениях было произвольным. Пусть ¿0 таково, что точка ¿0е является проекцией х на прямую Ь, тогда |¿е — х|2 = г2 + |£ — ¿0|2, где г есть расстояние от х до прямой Ь. В результате интеграл в (2.8) перепишется в форме

сю

Г — ¿0 п и 1 [

1 1 0 = 2ги -1 1

JR |te - x|k+2 J (s2 + 1)k/2+i'

0

что завершает доказательство леммы.

Обратимся к функции (2.1) в полуплоскости D, лежащей слева от L. Наряду с ней введем в рассмотрение сингулярный интеграл

ф* (toe) = lim í Q(t, te - toe)y(t)dt = í Q(t,e)y(t)dt, (2.9)

J JR t - to

|t - íü|>e

где принято во внимание свойство нечетности функции Q. Этот интеграл всегда существует, поскольку по предположению функция Q(t,£)y(t) е Cх t) и, значит,

|Q(t, e)y(t) - Q(t°, e)y(t°)| < C|t - t°|^. (2.10)

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

Теорема 2.1 Пусть ядро Q(t, £) е Cn>^n+1 (r х t), n > 0, однородно степени -1 и нечетно по а функция у е Cn,^(r) и удовлетворяет условию (2.2). Тогда функция ф непрерывно про-должима с полуплоскости D на ее замыкание, принадлежит пространству C(D) и допускает оценку

|ф|с«,р < C Мс™^ , (2.11)

где постоянная C > 0 зависит только от n и ц.

Предельные значения ф+^°e) = lim ф(х) при x ^ t°e, x е D, связаны с сингулярным интегралом (2. 9) соотношением

ф+ (t°e) = a[Q(t°,0; e]y(t°) + ф*(t°e), (2.12)

Доказательство. Зафиксируем 0 < к < п и рассмотрим функцию Р(£,£) = ^к01)(¿,£)^(£). По условию она принадлежит классу Ск>^;°, причем

|Р < С• (2-13)

Кроме того, на основании теоремы 1.1 она удовлетворяет условию (2.6). Поэтому к 0 = ф(к01) можем применить лемму 2.3. Следовательно, функция [ф(к)]' = ф(к01) удовлетворяет условию леммы 2.2, на основании которой приходим к оценке

[ф(к) < Ск^к01) |Ск„;0, 0 < к < п.

С учетом (2.4) левую часть здесь можно заменить нормой (2.5) в пространстве С^(Б). В соединении с (2.13) отсюда следует оценка (2.11).

Обратимся к обоснованию формулы (2.12). В силу уже доказанной непрерывности функции ф в замкнутой полуплоскости Б ее предельное значение ф±(Ь°е) можно определять вдоль прямой Ь°, ортогональной Ь и проходящей через точку ¿°е. В этом случае, очевидно,

|Ье - х| > |Ь - |, х е Ь°. (2.14)

В силу (2.2) интегрирование в (2.1) для х е Ь° ив (2.9) можно вести по |Ь — ¿°| < Я = 1 + |Ь°|. Рассмотрим в полуплоскости Б функции

0°(х) = У , ¿е — х)^(Ь°-01 (х) = У — х)^(Ь°

|г—г0|<д —|>д

Последний интеграл здесь понимается как сингулярный на бесконечности, его существование обосновывается аналогично теореме 1.1. Из этой теоремы также следует, что сумма 0° + в полуплоскости Б тождественно равна о"[ф(Ь°, С);е] Как и при доказательстве соотношения (1.7) теоремы 1.1 убеждаемся, что в выражении (х) можно перейти к пределу при х ^ ¿°е под знаком интеграла, который в силу нечетности функции ^ равен нулю. Поэтому

0+ (¿° е) = а[д(^°,С); ). (2.15)

С другой стороны, на основании (2.10), (2.14) и теоремы Лебега о мажорированной сходимости в выражении

ф(х) — 0° (х) = У [ф(Ь,£е — х)^(Ь) — — х)^(Ь°)]^

можно перейти к пределу при х ^ ¿°е, х е Ь°, под знаком интеграла. Поэтому ф+(Ь°е) — -0+ (¿°е)= / — ) Л.

Очевидно, интеграл здесь совпадает с сингулярным интегралом (2.9), так что совместно с (2.15) в результате приходим к справедливости формулы (2.12).

Теорему 2.1 дополним случаем, когда ядро £) = ф(х, £) зависит от х е Б, так что (2.1) переходит в интеграл

ф(х) = ф(х,Ме — х)^(Ь)^, х е Б. (2.16)

Jш

Соответственно этому запишется и сингулярный интеграл (2.9):

ф,(¿°е) = Г е,ь,еМ^ ./к ь — ¿°

Теорема 2.2 Пусть выполнены условия теоремы 2.1 с той разницей, что ф(х, ) е е с;п01[(Б х к) х т], 0 < д < V. Тогда функция ф принадлежит пространству С(Б) с соответствующей оценкой

|ф|с П-М < С |д|Сп,^;п + 1 ".М , (2.17)

для ее нормы и справедлива формула (2.12) для ее предельных значений.

Доказательство. Рассмотрим сначала случай интеграла

ф(и,х) = — х е в, (2.18)

ш

когда ядро Q(t, £) = Я(и,Ь1^) зависит от некоторого параметра и е О С к и принадлежит классу С°,п,и;п+1 [(о х к) х т]. Покажем, что функция ф(и,х) принадлежат пространству С0,п'»(О х В) и справедлива соответствующая оценка ее нормы:

Щс0'™^ < С |Q|C0,n,v;n + 1 |<|с™'М . (2.19)

Как и в случае теоремы 2.1, достаточно установить аналогичные оценки для полунормы , 0 < к < п. Поскольку < [Ф]»,с + [Ф]»,в и на основании теоремы 2.1 оценка

(2.19) справедлива для полунормы [фХк). Поэтому дело сводится к доказательству соответствующей оценки для [фХт) Цс.

Зафиксируем е = шт^ — ц,ц), точки и',и'' е О, и' = и'', и рассмотрим функцию

, Ф(и', х) — Ф(и'',х)

ф(х) =-—---,

7 |и' — и''

которая определяется аналогично (2.1) по отношению к ядру

£(*, о = Ши', г, о — Q(u'', г, 0] |и' — и''Г».

На основании леммы 1.2 функция Q принадлежит пространству Сп'е;0 (к х т) и ее норма оценивается через норму |Q| пространства С0;п'^;п+1 [(О х к) х т] равномерно по и',и''. Поэтому функции ф можем применить теорему 2.1, в которой ц следует заменить на е.

На основании этой теоремы получаем, в частности, оценку вида (2.19) для Бир-нормы функции ф, равномерную по и',и'' е О. Остается заметить, что верхняя грань по и', и'' е О левой части этой оценки совпадает с [фХт) .

Пусть далее О является замкнутой областью и ядро Q принадлежит классу Сп;п>^;п+1 [(О х к) х т]. Тогда при 0 < к < п функция фЦ,к), определяемая по QUk), аналогично (2.18) удовлетворяет условиям рассмотренного выше случая, в которых п следует заменить на п—к. В частности, для нее справедлива оценка (2.19). Следовательно, исходная функция ф(и,х) принадлежат пространству Сп;»(О х В), и справедлива соответствующая оценка ее нормы. Поскольку при О = В функция ф(х,х) совпадает с (2.16), отсюда следует справедливость первого утверждения теоремы.

Что касается формулы (2.12) для предельных значений, то эта формула, очевидно, справедлива для предельных значений ф+ (и,Ь0е) интеграла (2.18) с соответствующим коэффициентом а^(и,Ь0,£); е] и сингулярным интегралом ф*(и,г0е). В случае О = В на основании леммы 1.3 в этой формуле можно перейти к пределу при и ^ г0е. В соответствии с равенством ф(х,х) = ф(х) в результате приходим к формуле (2.12) и для функции (2.16).

Заметим, что в силу леммы 1.3 в условиях теоремы 2.2 функция а^(г0е,г0); е] принадлежит классу Сп'и-0(к). Поэтому формула (2.12) показывает, что первая часть теоремы 2.3 справедлива и для сингулярного интеграла ф*(г0е). Удобно эту теорему переформулировать по отношению к сингулярному интегралу непосредственно.

Теорема 2.3 Пусть к(г0,г) е Сп,и(к х к), функция < е С0 < ц < V, и удовлетворяет условию (2.2). Тогда функция ф, определяемая сингулярным интегралом

Ф(Ь0) = / (2-20)

Jш г — г0

принадлежит С(к) и справедлива оценка

|ф|сП'М < |к|с™'^ |<|с™'М.

Отметим, что при п > 1, аналогично лемме 1.3, обосновывается формула дифференцирования

Ф'(*0) = — / [к(^0, ¿0 — Ь)ф(Ь0 — Ь)] ^ 7М. дЬ0 Ь

сингулярного интеграла (2.20), или, в развернутой форме,

^'('0) = к (Ю + I) ^ + /.^Ь. (2.21)

Из этой формулы, в частности, следует, что случай п > 1 теоремы 2.3 является следствием п = 0.

3. ГРАНИЧНЫЕ СВОЙСТВА В ГЛАДКИХ ОБЛАСТЯХ

Напомним, что гладкая дуга Г на плоскости К2 определяется как образ непрерывно дифференцируемой вектор-функции х = 7(Ь), а < Ь < Ь, которая взаимно однозначна и производная которой 7'(Ь) = 0 для всех Ь. Эта функция является (гладкой) параметризацией этой дуги. Точки 7(а) и 7(Ь) определяют концы дуги, остальные точки Г называются внутренними. Очевидно, параметризация задает ориентацию дуги, т.е. естественный порядок следования точек, определяемый параметром. Если, наоборот, указана ориентация дуги, то каждая ее параметризация либо меняет, либо сохраняет эту ориентацию.

Элемент длины дуги с помощью параметризации 7 определяется равенством = |7'(Ь)|йЬ. Соответственно интеграл от функции ф на Г вычисляется по формуле

ь

I ф(у)й% = У ф[7(Ь)]|7'(Ь)|йЬ.

а

В частности, при ф = 1 получим длину I всей кривой.

Очевидно, если вещественная функция / € С1 [с, й] имеет своим образом [а, Ь], причем / взаимно однозначна и /'(Ь) = 0, с < Ь < й, то функция а = 7 о / будет также гладкой параметризацией дуги Г. Функцию / можно подобрать так, чтобы |а'| = 1. Условимся параметризацию у = а(з) дуги Г называть естественной, если ее производная а' по модулю тождественно равна единице. Этот термин используем и по отношению к параметру 5. Очевидно, любые два естественных параметра отличаются друг от друга постоянным слагаемым.

По определению заданная на Г функция ф(у) непрерывно дифференцируема, если она обладает этим свойством как функция естественного параметра. Соответственно ее производная ф' = ф^ как функция на Г непрерывна, она может быть определена также равенством

ф'(У0)= Нш г ф(У — ф(у0), (3.1)

у^ус.уег ±|у — у01

где верхний (нижний) знак соответствует точкам у, лежащим слева (справа) от у0.

Если у = (у1, у2) рассматривать как вектор-функцию на Г, то, очевидно, эта функция непрерывно дифференцируема и ее производная

е(у) = (у|г)' (3.2)

представляет собой непрерывно меняющийся единичный касательный вектор на Г. Ясно, что он определяется однозначно по ориентируемой кривой Г.

Пример непрерывно дифференцируемой вещественной функции доставляет обращение гладкой параметризации 7 дуги, т.е. функция Ь = ф(у), обратная к у = 7(Ь). Ее производная ф'(у) = 1/|7'(Ь)| всюду положительна. Верно и обратное — любая функция Ь = ф(у) € С1(Г), производная которой всюду отлична от нуля, определяет гладкую параметризацию. В соответствии с этим ее называем гладким параметром. Гладкий параметр можно вводить и в окрестности фиксированной точки т € Г, когда выполнено лишь условие ф'(т) = 0. Рассмотрим два типичных параметра этого типа.

В точке т одна из координат единичного вектора (3.2) отлична от нуля. Если е^ (т) = 0, то декартова координата у^ как функция на Г является гладким параметром в окрестности точки т. Следовательно, в этой окрестности Г является графиком некоторой непрерывно дифференцируемой вещественной

функции Н. Другими словами, существуют такие 5 > 0, а е к и функция Н е С1 [а — 5, а + 5], что гладкая дуга Г(т, 5), описываемая соответствующим уравнением

{У2 = %1), |У1 — а| < 5, }, е1(т) = 0, (33)

{У1 = %2), |У2 — а| < 5}, е2(Т) = 0,

содержится в Г, причем т является ее внутренней точкой. При достаточно малом 5 пересечение Г с соответствующей окрестностью в точности совпадает с этой дугой:

Г(т, 5) = Г П и(т, 5), (3.4)

где и(т, 5) = {|у1 — а| < 5, у — Н(у1>| < 5} при е1 (т) =0 и и(т,5) = {|у2 — а| < 5, |у1 — Н(у1 )| < 5} при е2(т) = 0. В самом деле, если Г(т, 50) имеет тот же смысл, что и выше, то достаточно 5 < 50 выбрать так, чтобы множество и(т, 5) не пересекалось с Г \ Г(т, 5).

Рассмотрим на Г функцию г = ±|у — т|, где верхний (нижний) знак соответствует точкам у е Г, лежащим справа (слева) от т. Эта функция непрерывно дифференцируема и ее производная дается равенством

г = ± (у — т )е(у) |у — т | '

где числитель представляет собой скалярное произведение векторов у—т и е(у). В частности, г'(т) = 1 и, значит, в окрестности т функция г является гладким параметром. Следовательно, существуют такие 5 > 0 и вектор-функция <(г) е С[—50,50], непрерывно дифференцируемая при г = 0, что |<(г)| = 1, <(0) = е(т), г<'(г) ^ 0 при г ^ 0 и гладкая дуга Гт, описываемая уравнением у = т + г<(г), |г| < 5, содержится в Г. Очевидно, функция 7(г) = т + г<(г) является ее гладкой параметризацией со свойством |7(г) — т| = |г|, параметризации такого типа называем радиальными (с центром в точке т). Как и выше убеждаемся, при достаточно малом 5 пересечение Г с кругом |у — т| < 5 совпадает с Гт.

Условимся вектор-функцию а = (а15а2) е С1 (Г) называть сдвигом, если ее производная а' всюду отлична от нуля. В этом случае, очевидно, образ Г1 = а(Г) является гладкой дугой, а обратное отображение а-1 есть также сдвиг. В этом смысле гладкая параметризация и обратное к ней отображение являются сдвигами.

Введем класс Сп > 1,0 < д < 1, гладких дуг, считая по определению принадлежащими этому классу их естественные параметризации. Дуга, принадлежащая классу Спри некотором д, называется ляпуновской. На дугах Г е Спо отношению к естественному параметру определяется и аналогичный класс функций Сп'^(Г). Это определение равносильно тому, что е Сп-1>^(Г). Последнее условие можно принять за индуктивное определение класса С. В частности, по отношению к единичному касательному вектору (3.2) условие Г е Сп'^ равносильно е е Сп-1'^(Г). Ясно также, что если дуга и заданный на ней сдвиг а принадлежат классу Сто образ а (Г) будет дугой того же класса, а обратное отображение принадлежит классу Сп'^ на этой дуге. Этот факт проще всего установить индукцией по п. Из этих же соображений для дуги Г е Сп'^ функция Н в (3.3) принадлежит классу Сп'^[а — 5, а + 5].

Наряду с гладкими дугами важную роль будут играть и гладкие контуры. По определению простой гладкий контур есть образ непрерывно дифференцируемой на единичной окружности т вектор-функции, которая взаимно однозначна и производная которой всюду отлична от нуля. Производная здесь определяется аналогично (3.1) или, что равносильно, по отношению к угловой координате точки на окружности. Обьединение конечного числа попарно непересекающихся простых контуров дает составной контур. На таком контуре Г можно ввести локальный естественный параметр длины дуги и производную можно понимать по отношению к этому параметру. Соответственно вводится и класс непрерывно дифференцируемых функций. Ясно, что производная функции ^ е С 1(Г) может быть определена и равенством (3.1). Понятие сдвига контуров совершенно аналогично случаю дуг. Точно также определяются классы Сконтуров и функций на этих контурах.

Рассмотрим теперь (конечную или бесконечную) область Д, ограниченную контуром Г е С. Контур ориентируем положительно по отношению к Д, т.е. эта область остается слева. Соответ-

ственно этой ориентации понимается касательный вектор (3.2) и граничные значения ф+ (уо), уо £ Г, функций ф £ С (Б).

Рассмотрим в области Б интеграл

ф(х) = J - х)р(у)^ву, х £ Б, (3.5)

где ядро Q нечетно и однородно степени —1 по Функции ф(х) соответствует на Г сингулярный интеграл

ф*(Уо) = Ит / ^уо,У,У— Уо, Уо £ Г. (3.6)

е^0 J

ГП{|у-ус |>е}

Убедимся, что в предположении Q(x, y, £) е C^;1[(Б х Г) х t] , ^ е C^(Г), Г е C^ этот интеграл всегда существует.

Доказательство основывается на следующем замечании. Пусть точки y± е Г лежат по разные стороны от yo, и

lim £-1|t± - to| = 1. (3.7)

ei0

Малую дугу с концами в этих точках обозначим Ге. Тогда предел (3.6) и аналогичный предел интегралов по Г \ Ге существуют одновременно.

В самом деле, подинтегральное выражение -0(y) = Q(y0, y, y — y0)^(y) в окрестности y0 допускает оценку |-0(y)| < C|y — y01-1. Поэтому, переходя к радиальному параметру r с центром в точке y0, получим оценку

J -0(y)dr — J "0(y) dr < Ci ma^y -T^, r± = |t± — t01.

ГП{|у-уо |>e} Г\Г£ e

Совместно с (3.7) отсюда следует справедливость высказанного утверждения.

C помощью этого замечания на сингулярный интеграл легко распространяется формула замены переменных

/ ^(y)dsy = / ^[a(í)]|a'(í)|dst, (3.8)

J а(Г) Jr

где a : Г ^ Г является сдвигом (дуги или контура) Г, причем точка y0 лежит внутри а(Г). В частности, если Г есть отрезок I = [—1,1] действительной оси и a(0) = y0, то в рассматриваемом случае сингулярного интеграла (3.6) можем записать

Ф*Ы = J f^dt, f (t) = Q

, , a(t) — a(0) a(0), a(t), - v;

t

|a'(t)|^[a(t)],

где принято во внимание нечетность и однородность степени —1 функции Q по По предположению Г £ С^, и, значит, функцию а можно выбрать в этом же классе. Очевидно, вектор-функция 1

[а(£) — а(0)]Д = /а'принадлежит классу С^(/) и ее значения лежат в некотором круговом

0

-1

слое С = < |х| < 5 }. Поэтому на основании леммы 2.1 функция /(£) £ С^(/), и, значит, сингулярный интеграл (3.6) действительно существует.

Теорема 3.1. Пусть ядро Q(x, у,£) нечетно и однородно степени —1 по и для некоторого целого п > 0 выполнены условия гладкости

Г £ Сп+1'^, Q(x,y,0 £ Сп'^;п+1 [(Б х Г) х т]. (3.9)

Тогда для р £ С(Г), 0 < д < V, функция ф принадлежит классу Сп^(Б) с оценкой

|ф|с«,Р < С | | ; п + 1 , (3.10)

для ее нормы, где постоянная С > 0 зависит только от д, V и Г. Предельные значения ф+ этой функции связаны с сингулярным интегралом (3.6) соотношением

ф+ (у0)= а(у0)ф(у0) + ф*(у0), = , у0); е(у0)]. (3.11)

Доказательство проведем сначала для «криволинейного» варианта теоремы 2.3, когда роль прямой Ь играет график Г : у2 = ^(у1) функции Н € Сп+1>^(к), определяющий область Б = {х2 > ^(х1)}. Параметрически Г задается уравнением у = 7(Ь), Ь € к, где 71 (Ь) = Ь, 72(Ь) = Н(Ь). Требуется установить оценку (3.11) и формулу (3.12) для интеграла (3.5), взятого по данной бесконечной кривой, где плотность ф € СП'^(Г) имеет компактный носитель, т.е. для некоторого фиксированного Я > 0 выполняется условие ф(у) = 0, |у| > Я.

Рассмотрим преобразование х = а(х) плоскости на себя по формуле х1 = х1, х2 = Н(х1) + х2, переводящее прямую к : х2 = 0 и полуплоскость Б = {х2 > 0} на соответственно Г и Б. Очевидно, это отображение и обратное к нему как вектор-функции удовлетворяют условию Липшица, а их производные принадлежат классу Сп'^(к х к). Поэтому на основании леммы 2.1 (Ь) оценку (3.11) достаточно установить по отношению к преобразованным функциям ф[а(х)] и ф[7(Ь)], связанных соотношением

ф[а(х)] = [ ф[а(х),7(Ь),7(Ь) — а(х)]ф[7(Ь)]|7'(Ь)|йЬ, х2 > 0. (3.12)

JR

По условию Н € Сп+1>^(к), так что матрица-функция

„/ ч ( 1 0\ / ч Н(Ь) — Н(5)

А(Ь,в) = , ч , а(Ь,в) = ^-^,

V ; ^ а(Ь,5) 1 ) V ; Ь — 5 '

принадлежит классу С(к х к). Аналогичный вид имеет и обратная матрица с заменой а на —а, поэтому найдется такое 5 > 0, что выполнены оценки

5|£|<|А(Ь,в)£|< 5-1|С|, с € к2. (3.13)

При фиксированных Ь и 5 линейное преобразование С ^ А(Ь, плоскости на себя обратимо и не меняет ее ориентации, при этом 7(Ь) — а(х) = А(Ь,х2)(Ьё — х) с единичным вектором ё = (1, 0), касательным к прямой к. Соответственно этому (3.12) можем переписать в форме

Ф[а(х)] = I <3(х,Ь,Ьё — х)ф[7(Ь)]|7'(Ь)|йЬ, <Э(х,Ь,£) = д[а(х),7(Ь),А(Ь,х2)С]. (3.14) JR

Из (3.13) и леммы 2.1 следует, что функция (,) удовлетворяет условиям гладкости теоремы 2.3, т.е. принадлежит классу Сп>^;п+1. Поэтому на основании этой теоремы приходим к справедливости оценки (3.11).

Согласно формуле замены переменных (3.8), справедливой и для сингулярного интеграла (3.6), имеем:

Ф*[7(Ь0)]= / 3[7(Ь0)Л(Ь)Л(Ь) — 7(Ь0)]ф[7(Ь)]|У(Ь)|йЬ. ¿ж

Поскольку 7(Ь) = а(Ьё), аналогично (3.13), это равенство можем записать в форме

Ф*[7(Ь0)]= / ^(Ь0е,Ь0,Ьё — Ь0ё)ф[7(Ь)]|7'(Ь)|йЬ.

Л

Поэтому формула (2.12), примененная к последнему интегралу, дает соотношение

Ф+[7 (Ь0)] = ^[^(Ь0 ё,Ь0 ,С),ё]ф[7 (Ь0 )]|У (Ь0)| + Ф* [7 М]. (3.15)

Из определения матрицы А видно, что А(Ь0,Ь0)ё = 7'(Ь0). Очевидно, 7'(Ь0)/|7'(Ь0)| представляет собой единичный касательный вектор е[7(Ь0)] к Г в точке 7(Ь0). Поэтому на основании (1.10) имеем:

а[<Э(Ь0ё, Ь0, С), ё] |т '(Ь0)| = ^[7 М, 7(^0)], е[т (Ь0)]}.

Следовательно, при подстановке 7 формула (3.11) переходит в (3.15). Тем самым «криволинейный» вариант теоремы 2.3 установлен полностью.

Случай области Б = {х2 < Н(ж1)} рассматривается аналогично. Это же относится и к ситуации, когда Г является графиком вида х1 = Н(х2)•

Обратимся к случаю конечной гладкой области Б теоремы. Из (3.9) и леммы 2.1 следует, для любого компакта К С Б функция у) = — х) е С(К х Г). По этой же причине, если

для некоторого е > 0 ядро Q удовлетворяет условию

ф(ж,у,£)=0 при |у — х| > е, С е т, (3.16)

то &(х,у) = Q(x,y,y — х) е Сп'и(Б х Г). В этом случае утверждения теоремы очевидны с ст(у) =0 в (3.11).

Указанное замечание позволяет локализовать теорему по отношению к окрестности фиксированной точки т е Г. Напомним, что в некоторой окрестности и точки т контур Г может быть задан уравнением х2 = ^(х1) или х1 = Н(х2) соответственно случаям е1 (т) = 0 или е2(т) = 0. При этом указанную окрестность можно выбрать в форме (3.3). В силу (3.9) вещественная функция Н здесь принадлежит классу Сп+1'^. Можно также считать, что этим уравнением описывается и дуга Г(т, 5) = Г П и(т, 5). Покроем контур Г конечным числом таких окрестностей иг = и(тг, 5г), г = 1,... , т и рассмотрим разбиение единицы хг(х) е Со°(иг), вписанное в это покрытие. Другими словами, функции \г неотрицательны, и их сумма тождественно равна 1 на Г. Выберем еще срезывающую функцию хКж) е Со°(иг), тождественно равную 1 в окрестности носителя функции %г. Тогда для достаточно малого е > 0 выполняется условие

[1 — Х1 (х)]Хг(у) = 0 при |у — х|> е. (3.17)

Запишем

т т

Q(x, у, С) = X] х](хМх, у, (у) + 5][1 — х1 (х)^(х, у, £)х,-(у).

11

В силу (3.17) слагаемые второй суммы удовлетворяют условию (3.16). Поэтому теорему достаточно установить по отношению к каждому слагаемому первой суммы в отдельности. Итак, опуская индекс ] в обозначениях, дело сводится к интегралу

ф(х) = У х1 (хМх,у,у — х)х(уМу)^У, х е А (3.18)

где х, X1 е Сд^(и) в окрестности и вида (3.3) фиксированной точки т е Г и подчинены условию

х(у)х1 (у) = х(у).

Пусть и определяется первым равенством в (3.3), так что дуга Г(т) = Г П и описывается уравнением у2 = Н(у1), |у1 — а| < 5. Не ограничивая общности можно считать, что и П Б описывается неравенством у2 > Н(у1), |у1 — а| < 5}. В силу равенства XX1 = X множитель х1(у) можно ввести под знак интеграла (3.18). В частности, обозначая х1 V снова через V, можно считать, что функция V обращается в нуль в окрестности концов дуги Г(т). Продолжим функцию Н, определяющую эту дугу, на всю прямую с сохранением ее гладкости до функции Н е Сп+1'^(к). Данная функция определяет бесконечную кривую у2 = Н(у1), которую обозначим Г. Соответственно область Б = {у2 > Н(у1) лежит слева от этой кривой, ориентированной параметром у1? и содержит исходную область Б. Продолжая V нулем на Г, интеграл (3.18) можем брать по Г. В результате теорема сводится к рассмотренному выше «криволинейному» варианту теоремы 2.3.

Библиографический список

1. Мусхелишвили Н.И. Сингулярные интегральные уравнения. М.: Наука, 1968. 511 с.

2. Миранда К. Уравнения с частными производными из эллиптического типа. М.: Изд-во иностр. лит., 1957.