Файл: Брело, М. О топологиях и границах в теории потенциала.pdf

или на {s'!^ h (I X — х01) < s'1+1). Доказательство со­ вершенно аналогично.

З а м е ч а н и е 2. Можно получить интегральную форму критерия. Она устанавливается сперва для замкнутых множеств (Келлог — Василеску— Фростман) как следствие критерия Винера пли непосред­

нечасто.

Тем не менее, используя его, можно несколько усилить теорему IX. 3 (см. Дени [1]) и более точно описать множество тех окружностей | х0— х\ = г, ко­ торые не пересекают множество, разреженное в точке ,ѵ0 (приложение 3 теоремы IX . 4) (см. Брело [4]).

критерия состоит в сходимости ряда с общим членом

У о ^ хо-

Ь) Иные формы мы получим, рассматривая вме­

шиеся приведенные функции относительно е[)1п на такие же функции, но относительно е Л Л.» В случае R"

(п ^ 3) это не дает ничего нового. В случае R2sto экви­ валентно сходимости последовательности {пу(е(]/п)} (Цудзи). Доказательство получается соответствующим видоизменением приведенного выше.

Гл. IX . Дальнейшее изучение классической разреженности 105

на бесконечности могут быть получены интересные формы критерия. Например, разреженность эквива­ лентна тому, что внешняя классическая емкость ко­ нечна (см. Брело [6, 3, 10]).

7.Некоторые применения теории разреженности

и тонких пределов. (См. Брело[5— 10].) Л е м м а IX. 11.

Пусть и —■ ограниченная снизу супергармоническая функция в открытом множестве со cz Rre. Положим 2?хи — lim inf и(у) для х<=да . Тогда если х0^ д а —

то Ссо разрежено в xQ и и имеет в х0 тонкий предел, равный 3?хаи-

Доказательство. Пусть К .— число, лежащее строго между членами доказываемого неравенства. Рассмо­

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

Доказательство. Все сводится к случаю, когда со ограничено в R'1 и функция и ограничена снизу в «в-

супергармоническую в окрестности х0, причем ѵ(ха)

имеет конечный тонкий предел, и должно иметь бес­ конечный тонкий предел в х0.

З а м е ч а н и е . Очевидно достаточно, чтобы функ­ ция и была ограничена снизу в некоторой тонкой окрестности, содержащейся в о, поскольку она содер­ жится в открытом множестве, на котором и также ограничена снизу.

Доказательство. Как мы уже видели, lim inf и/А*0 равен нулю при условии, что pu (*0) = 0 , а следова­ тельно, он всегда конечен (см. доказательство тео­ ремы IX. 7). Если К больше этого lim inf, то множе­ ство, где u/hXt > К , должно быть разреженным (тео­ рема IX. 7, а)), и это показывает, что и/Ігх„ имеет тонкий предел, равный этому lim inf.

жено в х0, и и/ІгХо имеет в х0 тонкий предел, равный X.

Доказательство. Прибавляя функцию а!гх. (а > Я),

мы сводим дело к случаю и '^ 0, когда проходит до­

Гл. IX. Дальнейшее изучение классической разреженности 107

казательство, подобное доказательству леммы IX . 11. Введем число К , заключенное строго между обоими lim inf, и рассмотрим функцию inf (и, К hxj , продол­ женную вне (.ѵ'о) с помощью Д/г.ѵ Эта функция может быть продолжена в .ѵ0 как функция U супергармони­ ческая, в окрестности д:0; тогда множество {х Ф х0, U (x)/hXe(x)=K) будет разрежено в х0(теорема IX . 13, а)), и U/hXa имеет тонкий предел Я, (лемма IX. 13), чем и завершается доказательство.

Т е о р е м а IX. 15. Если функция и супергармо­ нична в со (открытом подмножестве пространства Грина Q) и неотрицательна вблизи точки х0е да,

в которой Ссо разрежено, то отношение u/GXo имеет конечный тонкий предел в х0.

Доказательство. Вопрос сводится к случаю огра­ ниченного множества со в R'\ Доказательство прово­ дится аналогично доказательству теоремы IX . 12 с использованием теоремы IX . 7 и предыдущей леммы.

Заметим, что условие и ~^0 можно заменить усло­ вием ограниченности снизу функции u/Gx, в тонкой окрестности точки хй. Разумеется, GXa можно в тео­

реме IX. 15 заменить на любую функцию GXa, где область Q' э А'0.

С л е д с т в и е . Решение # “ задачи Дирихле имеет тонкий предел в иррегулярной точке х0 (равно как и

отношение Hf/Gi\; фактически последний предел равен нулю), по крайней мере для f ^ O .

Этот результат можно уточнить. А именно, упо­

мянутый тонкий предел равен f fdv, где v = bev“ (это

очевидно, если f — потенциал на Q).

108 Ч. 1. Внутренняя тонкая топология

и Gyt(xn) стремится к тонкому пределу G^ в х0 (у0е й ),

т. е. к lim sup Gy0(это условие не зависит от //0). Более

-Ѵ0

подробно см. об этом Брело [16].

8. Дальнейшие дополнения и указания, а) Тонкая топология полезна также при изучении поведения супергармонической функции в окрестности регуляр­ ной граничной точки. Можно поставить задачу Дирихле

мере для относительно компактных открытых мно­ жеств); это дает те же самые огибающие (Брело [13]). b ) Используя понятие равномерной интегрируе­ мости, введенное в теорию потенциала Дубом [1], можно доказать следующий результат: если гармо­ ническая функция и в относительно компактной области со имеет граничные тонкие пределы / почти всюду (относительно гармонической меры) и если и

равномерно интегрируема по гармоническим мерам р“г

c) Уцомяйем о понятиях разреженности порядка ср (Брело [5]) и внутренней разреженности (т. е. разре­

делено) имеет конечный тонкий предел в каждой точке, за исключением некоторого полярного множества ци-меры нуль, т. е. о-полярного множества (гл. V III, п. 6). Этот результат Дуба [4], который покрывает теорему IX . 15, в действительности был получен как следствие более общего результата (также принад­ лежащего Дубу) о поведении супергармонических

в теории так называемых B LD -функций (или уточнен­