Файл: Брело, М. О топологиях и границах в теории потенциала.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 23.10.2024
Просмотров: 108
Скачиваний: 0
58 |
Ч. 1. Внутренняя тонкая топология |
= J fdp°, и f разрешима в том и только в том слу
чае, когда она 'dp^-суммируема для всех точек х или
хотя бы для одной точки в каждой компоненте Q (теорема о разрешимости из Брело [3]).
З а м е ч а н и е . Если ѵ супергармонична и имеет гармоническую миноранту, то наибольшую миноранту можно получить как предел
Ни11 (Qn с; Q, Q„ f , U Й„ = Й).
Равенство нулю этого предела характеризует потен циалы.
В качестве следствия аддитивности отображения f 1—> Н f для разрешимых функций f получаем адди
тивность наибольшей гармонической миноранты для функций V (супергармонических ^ 0 ) . Это же можно получить непосредственно, используя аддитивность потенциалов (см. подстрочное примечание на стр. 53).
Р е г у л я р н ы е |
г р а н и ч н ы е |
точки. |
Граничная |
|
точка |
X называется регулярной, |
если H f —>f(X) при |
||
X —> Х |
для всякой |
конечной непрерывной |
функции f. |
Необходимым и достаточным условием для этого
является существование в Q П б, |
где |
б — некоторая |
|||||
окрестность |
точки X, |
положительной |
супергармони |
||||
ческой функции, стремящейся к нулю |
в X (локаль |
||||||
ный критерий), |
или, в случае когда Q |
связно, |
усло |
||||
вие |
Gx (y)—>0, |
у —>Х, |
где X — фиксированная |
точка |
|||
из Q (критерий Булигана). |
|
|
|
||||
|
Заметим, что точка X е <3й иррегулярна (т. е. не |
||||||
регулярна) |
в том и только в том |
случае, когда она |
|||||
иррегулярна для некоторой компоненты Q. Далее, |
|||||||
для |
регулярной |
точки X и для ограниченной сверху |
функции f имеем lim sup H f (х) ^ lim sup f (у).
X e |
Q |
( / e t a |
x - > X |
y - * X |
|
П р и м е р . Точка X |
будет |
регулярной, если в Ѵх |
существует конус (с вершиной X' не на бесконеч ности), непустая внутренность которого вблизи X ' лежит вне образа КА Пй. Это дает возможность по
Гл. VI. Попятил, классической теории потенциала |
59 |
строить содержащее заданный компакт /( открытое |
|
множество Й' (й' с Q), |
у которого все граничные |
точки регулярны. |
|
Точка на бесконечности, если она лежит на 5й, |
|
всегда регулярна при /г ^ |
3. |
Теорема сходимости позволяет показать, что мно жество иррегулярных точек области (и, значит, лю
бого открытого подмножества в й) локально полярно |
|
|
(Келлог — Эвансф_ Рассмотрим |
последовательность |
|
множеств й„ f , й„ cz Q, (J й„ = |
й, с регулярными rpa- |
|
ничными точками. Функция Gx. , продолженная нулем, |
‘ |
|
|
О |
субгармоңична вне х0. Предельная функция Gx", про долженная нулем и затем регуляризованная с помощью lim sup, будет субгармонической (вне х0) и будет на <ЭЙ отличаться от' нуля на локально полярном множестве, которое совпадает с множеством иррегулярных точек.
О б о б щ е н и е . Рассмотрим ^-пространство й0 и '
обозначим через |
йд |
само пространство |
Q0,' |
если оно |
|
компактно, |
или |
его |
компактификацию |
Александрова |
|
(с помощью |
точки А) в противном случае. |
Рассмот |
рим в й0 гриново открытое множество Й. Можно
сформулировать |
аналогичную задачу Дирихле для й |
с границей Эй |
в йд. При этом сохраняются опреде |
ление огибающих и теоремы о разрешимости. Для функции /, заданной на некомпактном Q0, будем обоз начать ft ее продолжение нулем в точке А. Тогда
получают смысл обозначения Н}'°. Сохраняют силу замечание об аддитивности наибольшей гармонической миноранты, определение и свойства регулярности точки
X е <ЭЙ, |
X |
Ф А; й |
называется |
регулярным, |
если |
|||
А ф <Эй и все граничные |
точки регулярны. По-преж |
|||||||
нему |
верен |
тот факт, что иррегулярные точки, отлич |
||||||
ные |
от |
А, |
образуют |
локально полярное множество. |
||||
б) |
Задача Дирихле |
для компактных множеств |
||||||
(Келдыш — Лаврентьев — Брело). |
Пусть |
даны |
ком |
|||||
пактное |
множество К |
в пространстве Грина й и ко |
||||||
нечная |
непрерывная |
функция / |
на дД. |
Супергармо |
нические в некоторой открытой окрестности множе ства К функции о, удовлетворяющие условию
60 Ч. 1. Внутренняя тонкая топология
Нт inf |
v ( x ) ^ f(X) ( Х ^ д К ) , имеют на К нижнюю |
|
х е С |
К, Х-+Х |
_ |
|
|
огибающую Kf- Аналогично определяется Kf с помощью субгармонических функций. Обе эти огибающие равны
пределу Kt функций # “■ по фильтру окрестностей со компакта К, где F — любое непрерывное продолже ние функции f. Точка А <= д/С называется устойчивой, если Kf{X) — f(X), V/. Устойчивость всех точек X ^ д К эквивалентна возможности равномерной на дК ап проксимации любой из рассматривавшихся функций f с помощью функций, гармонических в окрестности К . Более подробно см. об этом Брело [7].
7. Представление Рисса. В пространстве Грина й (или в гриновом открытом подмножестве ^-простран ства) для любой неотрицательной меры р на й функ
ция I Ga (X, у) d\x (у) гипергармонична; в каждой ком
поненте она либо равна + °о, либо является абст рактным потенциалом (п. 4). Обратно, абстрактный
потенциал в й допускает представление f G'-(x, у ) Х
X dy (у) (называемое часто С 9--потенциалом меры р)
с единственной неотрицательной ’) мерой р. |
|
|||
Супергармоническая функция и |
в |
Й, |
имеющая |
|
гармоническую миноранту, допускает |
представление |
|||
и (х) = I GQ (х, у) сіу (у) + |
и |
(х), |
(6) |
|
где и* — наибольшая |
гармоническая |
миноранта в Q, |
||
а р — единственным |
образом определенная |
неотрица |
тельная мера (ассоциированная чмера); определение меры р имеет локальный характер в том смысле, что
ее сужение на |
любое со с : й является ассоциирован |
ной мерой для |
со. |
!) Мы не будем без специальных оговорок пользоваться термином „потенциал“ в случае незнакоопределениой меры. т. е. для разности двух неотрицательных потенциалов.
Гл. VI. Понятия классической теории потенциала |
61 |
8. Порядок в классе супергармонических |
функ |
ций. Мы вводим специальный порядок следующим образом:
|
= « 2 + (супергармоническая функция >0). |
|||
Если |
|
|
|
|
Ui — (потенциал меры р,) + |
(гармоническая функция /г,), |
|||
и2= |
(потенциал меры р2) + |
(гармоническая функция /г2), |
||
то |
условие «, |
и2 эквивалентно |
условиям h i ^ h 2 и |
|
Рі ]> р2 (последнее означает, что |
р, — р2 есть поло |
|||
жительная мера). |
|
|
|
|
Это очевидно |
для потенциалов ц легко доказы |
вается в общем случае. Множество всех неотрица тельных супергармонических функций образует пол ную решетку относительно специального порядка. В случае потенциалов из бэлее слабого условия и ^ і і 2
следует неравенство pj (Q) ^ |
p2(Q). |
Это |
молено пока |
|||
зать, |
рассмотрев |
открытое |
множество |
Q ' c Q ' c ß |
||
и функцию"/?!", которая является |
потенциалом U v |
|||||
меры |
При подходящем выборе Q' |
интеграл J" U v dp , |
||||
будет Vкак. |
угодно |
близок к величине р! (Q), конечной |
||||
или нет, и |
|
|
|
|
|
|
J U vdpi = j U ^ ' d v ^ j |
d v = J |
t/v dp2< p 2(Q).9 |
||||
9. |
Различные дополнения для случая пространства |
Грина, а) На компактном полярном множестве е су
ществует |
мера ѵ ^ О , потенциал которой |
равен + оо |
|||||
на е |
и |
конечен |
на Се |
(Эванс). |
Имеется |
обобщение |
|
(Дени |
[2] и |
Шоке |
[3]) |
на случай |
множеств типа G6. |
||
ß) |
Если |
супергармоническая функция и (с ассоци |
ированной мерой р) конечна на полярном множестве е,
то |
внешняя р-мера е равна |
нулю. В |
самом деле, |
е |
содержится в борелевском |
полярном |
множестве, |
а также в борелевском множестве, на котором и ко нечна. Поэтому мы можем считать, что е борелево и даже компактно, а и — потенциал меры р. Рассмо трим множество Кп. — [х п] и соответствующую