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

множества функция множества, возникшая в потенциала теории как аналог физич. понятия электростатич. емкости.

Пусть Sи S*две гладкие замкнутые гиперповерхности в евклидовом пространстве Rⁿ,причем S* о. ватывает S. Такую систему наз. конденсатором (S, S*). Пусть и(х)гармонич. функция в силастн Dмежду Sи S*, принимающая значения 1 па Sи 0 на S*. Емкостью конденсатора С(S, S* )наз. число

где sn=2p^n/2/Г(n/2) площадь единичной сферы в Rⁿ, ди/дппроизводная по. направлению внешней нормали к любой промежуточной гиперповерхности

S', лежащей между Sи S* и охватывающей S, ds-элемент площади S', dwэлемент объема. Иначе Е. конденсатора С(S, S* )можно определить как нижнюю грань интегралов

в классе всех непрерывно дифференцируемых в Dфункций v(x), к-рые на Sи S* принимают значения, соответственно, 1 и 0. Если гиперповерхность S*=S(0, R)есть сфера достаточно большого радиуса Rс центром в начале координат, то, переходя в (1) к пределу при получают емкость компакта К, ограниченного гиперповерхностью S, называемую также гармонической емкостью К, или ньютоновой емкостью К:

при этом Е. С(К)есть аналог электростатич. Е. уединенного проводника К.

В случае плоскости R² конденсатор (L, L* )есть система двух гладких замкнутых непересекающихся простых кривых Lи L*, причем L* охватывает L. Пусть и(х)гармонич. функция в области Dмежду Lи L*, принимающая значения 1 на L и 0 на L*. Емкостью конденсатора C(L, L* )наз. число

где dsэлемент длины дуги линии L', лежащей между Lи L* и охватывающей L. Пусть кривая L* = S(0, R )есть окружность достаточно большого радиуса Rс центром в начале, тогда предельный переход при в формуле

дает винеровскую емкость, или постоянную Робена, компакта К, ограниченного линией L;винеровская Е. может принимать любые значения,Чаще используется логарифмическая емкость, называемая также гармонической или конформной:

к-рая изменяется в пределах

Е. компакта К, ограниченного гиперповерхностью S, при можно определить и несколько иначе.

Пусть vK(x)eмкостный, или равновесный, потенциал этого компакта, т. е. гармоническая всюду вне К, регулярная на бесконечности функция, принимающая на Sзначение 1. Тогда

где D'внешность S. Формула (3) показывает, что Е. С(К)есть совокупная положительная мера m(S), распределенная на S и такая, что ньютонов потенциал простого слоя, порождаемый этой мерой, в точности совпадает с емкостным потенциалом vK(x), т. е.

Мера m наз. емкостной, или равновесной, мерой.

В классе всех положительных борелевских мер lна Ктаких, что l(K) =m(S) = C(K), емкостная мера m дает минимум интегралу энергии

Иначе говоря, Е. С(К)можно определить формулой С(K)=1/inf E(l), где нижняя грань берется в классе всех положительных мер X, сосредоточенных на Кп нормированных условием Х(К)=1.

При п = 2, вследствие особого поведения логарифмич. потенциала на бесконечности, вышеуказанное построение емкостного потенциала возможно только для конденсатора, напр, для (L, S(0, R))при помощи Грина функции G(x, у )для внутренности D" окружности S(0, R )в виде

где емкостный потенциал и K (х; S(0, R ))совпадает в Dс ранее введенной для конденсатора (L, S(0, R ))гармонич. функцией и(х). Е., определяемая по формулам (5), иногда наз. гриновой емкостью; эта конструкция возможна при любом Формула

W(K)=i/inf Е (Х), k(K)=1,

при n = 2 дает винеровскую Е. компакта К, так как интеграл энергии

теперь не всегда положителен.

Емкость произвольного компакта можно определить при помощи описанного свойства минимума энергии:

где интегралы Е(X)вычисляются по формуле (4). При п=2 такой путь приводит к определению винеровской емкости произвольного компакта:

где энергия Е(X)вычисляется по формуле (6). Переход к логарифмич. Е. осуществляется по формуле С(К) =

Равносильный способ состоит в построении емкостного потенциала vK (х)для произвольного компакта К. При его можно определить как наибольший из потенциалов Ul(x). положительных мер l, сосредоточенных на K и таких, что Порождающая vK (х)мера m является емкостной, m(K)=C (К). При n=2 построение емкостного потенциала, как и выше, ведется для конденсатора ( К, S(0, R ))при помощи функции Грина для круга D". Е. компакта С(К)получается далее предельным переходом, как в формуле (2).

Если vK (х)=0, то С(K) = 0. При n=2 равенства C(К) = 0 и равносильны. Компакты нулевой Е. играют в теории потенциала ту же роль, что и множества меры нуль в теории интегрирования. Напр., равенство vK(x)=1 на Кимеет место всюду, за возможным исключением множества точек, принадлежащего нек-рому компакту нулевой Е. Потенциал любой положительной меры, сосредоточенной на компакте Кнулевой Е., неограничен. Более того., для любого компакта Кнулевой Е. существует сосредоточенная на Кположительная мера vтакая, что при и при т. е. любой компакт нулевой Е. является полярным множеством.

Свойства емкостных потенциалов и емкостей компактов: 1) отображения и возрастающие, т. е. из включения вытекает, что всюду С( К 1)<С( К 2);.2) эти отображения непрерывны справа, т. е. для любого фиксированного и любого е>0 существует открытое множество со такое, что если компакт К' подчинен условиям то всюду vK'(x)-vK(x)<e, C(K')-C(K)<e;.3) vK(x)и С(К), как функции K, сильно субаддитивны, т. е.