Интуитивно субгармонические функции связаны с выпуклыми функциями одной переменной следующим образом. Если график выпуклой функции и линия пересекаются в двух точках, то график выпуклой функции находится ниже линии между этими точками. Таким же образом, если значения субгармонического функции не являются больше , чем значения гармонической функции на границе с с мячом , то значениями субгармонического функции не являются больше , чем значения гармонической функции также внутри шара .
Супергармонические функции можно определить с помощью того же описания, только заменив «не больше» на «не меньше». В качестве альтернативы, супергармоническая функция - это просто негатив субгармонической функции, и по этой причине любое свойство субгармонических функций может быть легко перенесено на супергармонические функции.
Обратите внимание, что согласно вышеизложенному, функция, которая тождественно −∞ является субгармонической, но некоторые авторы исключают эту функцию по определению.
Максимум субгармонической функции не может быть достигнут в интерьере своей области , если функция не является постоянной, это так называемым принцип максимума . Однако минимум субгармонической функции может быть достигнут внутри ее области.
Субгармонические функции образуют выпуклый конус , то есть линейная комбинация субгармонических функций с положительными коэффициентами также является субгармонической.
Предел убывающей последовательности субгармонических функций субгармоничен (или тождественно равен ).
Субгармонические функции не обязательно непрерывны в обычной топологии, однако можно ввести тонкую топологию, которая делает их непрерывными.
Примеры
Если есть
аналитическая то субгармонично. Можно построить больше примеров, используя перечисленные выше свойства, выбирая максимумы, выпуклые комбинации и пределы. В размерности 1 все субгармонические функции могут быть получены таким образом.
Теорема Рисса о представлении
Если является субгармоническим в области , в
евклидовом пространстве размерности , является гармоническим в , и , то называется гармонической мажорантой . Если существует гармоническая мажоранта, то существует наименьшая гармоническая мажоранта и
в то время как в измерении 2,
где - наименьшая гармоническая мажоранта, - борелевская мера в . Это называется теоремой Рисса о представлении.
Можно показать, что действительная непрерывная функция комплексной переменной (то есть двух вещественных переменных), определенная на множестве, является субгармонической тогда и только тогда, когда для любого замкнутого диска с центром и радиусом выполняется
Интуитивно это означает, что субгармоническая функция в любой точке не превышает среднего значения в круге вокруг этой точки, и этот факт можно использовать для вывода принципа максимума .
Если - голоморфная функция, то
является субгармонической функцией, если мы определим значение в нулях равным −∞. Следует, что
субгармоничен для любого α > 0. Это наблюдение играет роль в теории пространств Харди , особенно для изучения H p, когда 0 < p <1.
В контексте комплексной плоскости связь с выпуклыми функциями также может быть реализована тем фактом, что субгармоническая функция в области, которая постоянна в мнимом направлении, является выпуклой в действительном направлении и наоборот.
Гармонические мажоранты субгармонических функций
Если субгармонична в
области комплексной плоскости, и является гармонической на , то есть гармоническая мажоранта из в случае в . Такое неравенство можно рассматривать как условие роста .
Субгармонические функции в единичном диске. Радиальная максимальная функция
Пусть φ субгармонична, непрерывна и неотрицательна в открытом подмножестве Ω комплексной плоскости, содержащем замкнутый единичный круг D (0, 1). Радиальная функция максимальны для функции ф (ограничиваются единичным кругом) определяются на единичной окружности по
Если P r обозначает ядро Пуассона , то из субгармоничности следует, что
Можно показать , что последний интеграл меньше , чем значение в электронной iθ из Харди-Литтлвуда функции максимальной ф * сужения ф на единичной окружности Т ,
так что 0 ≤ M φ ≤ φ ∗ . Известно, что оператор Харди – Литтлвуда ограничен на L p ( T ) при 1 < p <∞. Отсюда следует , что для некоторой универсальной константы С ,
Если f - функция, голоморфная в Ω и 0 < p <∞, то предыдущее неравенство применяется к φ = | f | п / 2 . Из этих фактов можно вывести, что любая функция F в классическом пространстве Харди H p удовлетворяет
Приложив
дополнительные усилия, можно показать, что F имеет радиальные пределы F ( e iθ ) почти всюду на единичной окружности и (по теореме о доминирующей сходимости ), что F r , определяемый формулой F r ( e iθ ) = F ( r e iθ ) стремится к F в L p ( T ).
Субгармонические функции на римановых многообразиях
полунепрерывно сверху функция. Предположу , что для любого открытого подмножества , и любая гармоническая функция F 1 на U , такая , что на границе U , выполняется неравенство имеет место на всех U . Тогда f называется субгармонической .
Это определение эквивалентно приведенному выше. Также для дважды дифференцируемых функций субгармоничность эквивалентна неравенству , где - обычный