Принцип расширения области
При́нцип расшире́ния о́бласти (принцип Карлемана), гармоническая мера дуг границы области может только возрастать при расширении области через дополнительные дуги , . Точнее, пусть граница области на плоскости комплексного переменного состоит из конечного числа жордановых кривых, – часть , состоящая из конечного числа дуг , и пусть область есть расширение области через дополнительные дуги , т. е. и есть часть границы области . Тогда для гармонических мер справедливо неравенство , , причём знак равенства здесь имеет место только в случае . Принцип расширения области справедлив и для гармонической меры относительно областей евклидова пространства , , или , .
Принцип расширения области находит важные применения в различных ситуациях, связанных с оценками гармонической меры. Например, ещё Т. Карлеман (Carleman. 1921) дал при помощи принципа расширения области решение следующей проблемы Карлемана – Мийю. Пусть граница односвязной области состоит из конечного числа жордановых дуг, точка расположена на или , – круг радиуса с центром , а – часть , попавшая в . Требуется найти оценку снизу для гармонической меры , зависящую только от и , . Решение выражается неравенством
где – сумма длин дуг пересечения
Поскольку , то
Имеются обобщения проблемы Карлемана – Мийю и уточнения формул (1), (2) (Неванлинна. 1941). Принцип расширения области позволяет доказать также теоремы Линделёфа. Многочисленные применения принципа расширения области и формул типа (1), (2) дал А. Мийю (Milloux. 1924, а также Неванлинна. 1941; Евграфов. 1968).