Математическая энциклопедия - потенциала теория абстрактная

теория потенциала на абстрактных топология, пространствах. П. т. а. возникла в сер. 20 в. из стремления охватить единым аксиоматич. методом широкое многообразие свойств различных потенциалов, применяемых при решении разнообразных задач теории дифференциальных уравнений с частными производными. Первое достаточно полное изложение аксиоматики "гармонических" функций (т. е. решений допустимого класса уравнений с частными производными) и соответствующих потенциалов было дано М. Брело (1957-58, см. [1]), но оно охватывало только уравнения эллиптич. типа. Расширение теории, пригодное и для широкого класса уравнений параболич. типа, получено X. Бауэром (1960-63, см. [3]). Весьма плодотворным оказался вероятностный подход к П. т. а., начало к-ромубыло положено еще в работах П. Леви (P. Levy), Дж. Дуба (J. Doob), Г. Ханта (G. Hunt) и др.

Для изложения П. т. а. удобно понятие гармонического пространства. Пусть X- локально компактное топологич. пространство. Пучком функций на Xназ. отображение , определенное на семействе всех открытых множеств Xи такое, что

1) (U).для любого открытого множества есть семейство функций ;

2) если открытые множества U, V таковы, что UVX, то сужение любой функции из (F) на Uпринадлежит (U).

3) если для любого семейства , открытых множеств сужения нек-рой определенной на функции ина Ui для всех принадлежат , то .

Пучок функций на Xназ. гармоническим пучком, если для любого открытого множества семейство есть действительное векторное пространство непрерывных функций на U. Функция u, определенная на нок-ром множестве , содержащем открытое множество U, наз. -функцией, если сужение u|U принадлежит (U). Гармонич. пучок невырожден в точке , если в окрестности x существует -функция итакая, что

Реальные различия в аксиоматиках Бауэра, Брело, Дуба характеризуются свойствами сходимости функций.

а) Свойство сходимости Бауэра состоит в том, что если возрастающая последовательность

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

б) Свойство сходимости Дуба состоит в том, что если предельная функция vконечна на плотном множестве в X, то vесть -функция.

в) Свойство сходимости Брело состоит в том, что если предельная функция vвозрастающей последовательности -функций на нек-рой области конечна в точке , то vесть -функция.

Если пространство Xлокально связно, то имеют место импликации в) б) а).

Пучок функций на Xназ. гипергармоническим пучком, если для любого открытого множества семейство есть выпуклый конус полунепрерывных снизу функций ;

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

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

можно положить . Пусть теперь

и , если . Аналогично,

или . Функция наз. разрешимой, если для нее и совпадают, , Hj является -функцией; эта функция Н j. и есть обобщенное решение задачи Дирихле в классе -функций. Открытое множество разрешимо относительно , если разрешима любая конечная непрерывная функция с контактным носителем на дU. Для разрешимого множества Uотображение есть положительный линейный функционал, к-рый, следовательно, определяет положительную меру , наз. гарионической мерой на дU в точке х(относительно ).

Локально компактное пространство X с гипергармонич. пучком превращается в гармоническое пространство, если для него выполняются соответствующие четыре аксиомы (см. Гармоническое пространство), причем в аксиоме сходимости имеется в виду свойство Бауэра.

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

Открытое множество Uгармонич. пространства Xс сужением |U в качестве гипергармонич. пучка есть гармоническое пространство X. Гипергармонич. функция ина наз. супергармонической функцией, если для любого относительно компактного разрешимого множества V, , наибольшая миноранта m^V и является гармонической, . Многие свойства классических супергармонич. функций (см. Субгармоническая функция).выполняются и здесь. Потенциалом наз. такая положительная супергармонич. функция и, для к-рой наибольшая гармонич. миноранта m^V и на Xтождественно равна нулю. Гармонич. пространство Xназ. -гармоническим (или -гармоническим) пространством, если для любой точки существует положительная супергармонич. функция и(соответственно потенциал и).на Xтакая, что u(x)>0. Любое открытое множество -гармонического пространства разрешимо.

Принимая за основу гармонич. пучок и определяя соответствующий гипергармонич. пучок с помощью аксиомы мажоранты, получают пространство Бауэра, совпадающее с гармонич. пространством для . Если гармонич. пучок для любого открытого множества состоит из решений hуравнения теплопроводности , то обладает свойством сходимости Дуба и с этим пучком есть -пространство (Бауэра). При этом v - гипергармонич. функция класса С ² тогда и только тогда, если Dv- дv/дt0.

Пространство Брело характеризуется следующими условиями: Xне имеет изолированных точек и локально связно; регулярные множества относительно образуют базу X(регулярность это разрешимость классич. задачи Дирихле в классе ); обладает свойством сходимости Брело. Пространства Брело составляют собственный подкласс т. н. эллиптических гармонич. пространств (см. [4]), т. е. эллиптич. пространств Бауэра. Если гармонич. пучок Ж для любого открытого множества , состоит из решений иуравнения Лапласа Du=0, то с этим лучком есть -пространство Брело, а при есть -пространство Брело. При этом v - гипергармонич. функция класса С ² тогда и только тогда, если Dv0.

Точка уграницы дU разрешимого множества Uгармонич. пространства наз. регулярной граничной точкой, если для любой конечной непрерывной функции ф на дU имеет место предел

а в противном случае уназ. иррегулярной граничной точкой. Пусть F фильтр на U, сходящийся к y. Барьером фильтра Fназ. строго положительная гипергармонич. функция v, определенная на пересечении Uс нек-рой окрестностью уи сходящаяся к 0 вдоль F. Если для относительно компактного разрешимого множества U -гармонического пространства все фильтры, сходящиеся к точкам , имеют барьер, то U - регулярное множество, т. е. все его граничные точки регулярные. Если U - относительно компактное открытое множество -гармонического пространства, на к-ром существует строго положительная гипергармонич. функция, сходящаяся к 0 в каждой точке , то V - регулярное множество.