Гармонические функции и теория потенциала
Автор: Кибирев В.В.
Журнал: Вестник Бурятского государственного университета. Философия @vestnik-bsu
Рубрика: Математика
Статья в выпуске: 6, 2007 года.
Бесплатный доступ
В статье рассматривается связь гармонических функций с потенциалом распределения масс в некоторой области трехмерного пространства. Доказаны две теоремы о том, что если плотность масс ограничена и интегрируема в области, то потенциал и его первые производные равномерно непрерывны, а также если плотность потенциала удовлетворяет условию Гельдера, то этот потенциал удовлетворяет уравнению Пуассона.
Короткий адрес: https://sciup.org/148183765
IDR: 148183765
Текст научной статьи Гармонические функции и теория потенциала
Harmonic functions and the potential’s theory
В области D с границей Г пространства R переменных Хь-., х„ рассмотрим функцию U(Xi,,„, x„)=U(X) точки X - (хь......, х„). Дифференциальное уравнение называется уравнением Лапласа, а его решения - гармоническими функциями. Соответствующее неоднородное уравнение, которое будем писать в виде
Дц = -<цп^(Х), (2) где юп = 2(7^) [г(н/2)] площадь единичной сферы пространства К\ есть уравнение Пуассона, причем р(Х) - заданная функция точки XeD. Если область D ограничена, то обладающее непрерывными вторыми производными в D решение уравнения Лапласа считается регулярной гармонической функцией. Аналогично, если р(Х) непрерывна в D, то решение уравнения Пуассона с непрерывными вторыми производными называется регулярным в D.
Пусть п-З. a p.w,n - аналитическая функция комплексного переменного w. Непосредственной подстановкой в уравнение Лапласа нетрудно проверить, что функция u=f(z-^ lx cos t + iy sin t, l) при любом t удовлетворяет этому уравнению, а отсюда следует, что при любых фиксированных а и b
u(x,y,z)= j/(z + ixcost + iysint,t)c// (3) является решением уравнения Лапласа. Если в этой формуле положим
/(и'т#=и'" exp imt, а= -л, Ь=л, то получим однородный гармонический полином u(x,y,z) =
= J(z + ix cos t + iy sin t)" exp
imldt,
который в сферических координатах
x=r sin 0 cos принимает вид +n = IFt™’*’ £ (cos# + i sin# cos/)" x xcosmtdi - P’P™(cos#)exp imp, где /'"(cos#) - присоединенные функции Лежандра P” (cos#) = (-1Г (sin#r X хр^т-п,т + п + );т + 1;(1 -cos#)/2). Здесь F(a. /3; у s) - гипергеометрическая функция Гаусса, которая при т < п превращается в полином [2]. В сферических координатах при п-3 оператор Лапласа л д / 2 . /А Дц = —--— г и, sin# + r2sin#L#H z 7 + A^sin6) + A(wjsi^ . Пусть u(x, у, z) - регулярная в ограниченной области гармоническая функция, рассмотрим функцию р(л,у,г) = г'ЧДх / г2, у/г2 ,z / FY 2 2 2 2 Г = Х -by + Z * Она определена в области D', получаю- щейся из области D инверсией относительно единичной сферы Syr + у3 + z2 = 1}. Непосредственным подсчетом проверяется соотношение г5 -~--—(г2гл sin = г sin# Эгх ' р sin9 дрх ' где р=г *’. Из этого равенства и вида оператора Лапласа в сферических координатах следует, что функция vfx, у, z) гармонична во всех конечных точках области D’. В пространстве К1, п>3, наряду с функцией и(х;, ...,х^ гармонична функция v(xL ..., хп) = ^""uCxi/r2, .... х^?) , (4) что можно проверить подстановкой в уравнение. Пусть гармоническая функция и регулярна в ограниченной области D. Возьмем некоторую внутреннюю точку области D и осуществим инверсию относительно единичной сферы с центром в этой точке, без ограничения общности считая эту точку началом координат. Область D переходит при этом в область D\ лежащую во внешности образа Г', границы Г области D. Гармоническую функцию v, которая получается из и по формуле (4), будем называть регулярной в области D'. Следовательно, регулярность гармонической функции в области D, простирающейся до бесконечности, определим так: при помощи инверсии относительно сферы с центром во внешней для D точке область D переводим в ограниченную область D'. Гармоническая функция и называется регулярной в D, если соответствующая ей функция v регулярна в D*. В частности, если D содержит некоторую окрестность бесконечно удаленной точки, а и такова, что v регулярна в D', то и называется регулярной в бесконечности. В силу этого определения при п>3 гармоническая функция и(х;, ..., хп) const не регулярна на бесконечности. Найдем решения уравнения Лапласа ф(г), зависящие только от г = ^2 + ... + .x,f. Непосредственным подсчетом из уравнения Лапласа получаем для <р (г) ^" + (rt-l)r"V = 0, общее решение которого имеет вид 3, где С] и Сз - произвольные постоянные. Рассмотрим функции / (И = 7—5л— 3’ («~2)ч П 2 Т^— In-, п-2, r2=£(xt-£). 2тг г Эти функции при т=0 имеют так называемую характеристическую особенность. Любое решение уравнения Лапласа, заданное в области D: V(Xb .... х„, ^, ..., ^ = ^r)+w , где Н=(^. --, ^п )- внутренняя точка области D, a w - регулярная в области D гармоническая функция, называется фундаментальным решением с особенностью в точке Нетрудно построить решение с характеристической особенностью и для более общего уравнения Ди+си=0, где с - некоторая постоянная. Для решений вида этого уравнения теперь получаем ф +---ф +сф-б, г а в результате замены переменных p-r'Tc^^-r^^tpkrJcX приходим к уравнению Бесселя [3]: . 1 . Г (п-2^ 1 р \ г ) р ф=о. Искомое решение с характеристической особенностью является неограниченным при р = 0 решением этого уравнения и имеет вид ^(г) = г2^ V, (гД n-2k + 1, ^(r) = r2^ ^^ ^г^У n = 2k. Здесь Л - функция Бесселя, Nv - функция Неймана: - « * _« я^(г)=2У,(г)[/л z/2 + С]- 34 „ Mlyl у ( 7 £ у J + у 1 где £ + 7 - натуральное число, а С - постоянная Эйлера. При и=3 фундаментальное решение уравнения Лапласа можно взять в виде 1/4 лг. Физически функция r"l = [(x-£) + (у-?) + (*-<) ] является гравитационным потенциалом, который создается в точке Р= (x,y,z) единичной массой, сосредоточенной в точке Q - (ЗД- Пусть д^,?/,0 - функция, заданная в области D. Интеграл u[x,y,z) = I—-------d^drjdQ (5) d r называется потенциалом пространственного распределения масс с плотностью ц в области D. В общем случае интеграл «(^)={д(е)/(г)^.^, (5а) X = (хь ..„xn),Q = (^.„4n)), также называется потенциалом распределения масс в области D с плотностью у. Если точка X лежит во внешности области D. то потенциал и(Х) в этой точке является гармонической функцией. Это легко показать, дифференцируя под знаком интеграла. Если же X^D и ц имеет непрерывные производные, то потенциал (5а) удовлетворяет уравнению Пуассона Дм = -у(Х). Более подробно рассмотрим только случай п=3. Теорема 1. Если плотность у(Х) в (5) ограничена и интегрируема в области D, то потенциал (5) и его первые производные равномерно непрерывны, при чем эти производные можно вычислять дифференцированием под знаком интеграла. Доказательство. Рассмотрим функцию иЛхХ^= \н^'"П^ M^d^dnd^, fg(r) - вспомогательная положительная функция, совпадающая с 1/г при г >6, т.е. 1/>, г >8. Имеет место неравенство к-“|= = [ J p^,n,OVArVr"'"\d^dnd-; < -М W^^^^A^nd^ = АяМ /Дг) + г"' ^dr = -—лМ8\ о 5 где М- максимум |//|, а Дб) - шар г<8. Из этого неравенства следует, что при 8-А последовательнсть неравномерно сходится к потенциалу ним равномерно непрерывен ъП. Из дифференцируемости функции /J(r) = g(x-^,y-?7,z-^') вытекает дифференцируемость и5, причем \р^,дХ)^- fsA)d^di;. ОХ £ ох Рассмотрим сходящийся интеграл w(x,y,z) = = \pU,n,0l"V-\d4dndC, (6) у ОХ У Г ) который получается формальным дифференцированием выражения под знаком интеграла (5). Имеем [ р^,Ц,^ ^-fAA~^r'' d^dr}dC. Л,, ох ох Хоткуда следует неравенство — и, - W < дх 5 У2 dr = 5лМ§. Это значит, что последовательность —ug равномерно сходится к w, поэтому Эх м> = wx и w равномерно непрерывна. Определение 1. Функцию у будем называть непрерывной, по Гельдеру, в области D с показателем а, 0 < а < I, и с коэффициентом К, если для любой пары точек Р и Q области D справедливо неравенство рруре^ррр.еуу где L(P,Q) - расстояние между точками Р и Q. Неравенство в этом определении называется условием Гельдера, а о функции ц иногда говорят, что она удовлетворяет условию Гельдера. Теорема 2. Если плотность д(Х) потенциала (5) удовлетворяет условию Гель-дера в области D, то этот потенциал имеет непрерывные вторые производные и удовлетворяет уравнению Пуассона Ли- -4яц. Доказательство проведем для случая, когда плотность р(Х) непрерывно дифференцируема. При таком предположении в формуле (6) можно проинтегрировать но частям. Имеем D VA\J ; = -$р«,ц,С)™^У^^ = = ^p4-dCdr)dC - ^pr v^S, D Г Г где dS - элемент площади границы Г области D, а г, - косинус угла между внешней нормалью к Г и осью ОС В равенстве для их можно дифференцировать выражение под знаком интеграла в силу тех же обстоятельств, что и в доказательстве теоремы 1. После дифференцирования получим Так как точка Р~(х, у, Г) не зависит от точ ки Q^CCdbO- —р^Р^б, последний Интезу грал в (7) можно записать так: ^p(e)--^)]~[}V- / 1 X - £ а(0 - аМ ] — - Wd^. yj С ЦМЛ ^ ' / Подставив это выражение для J в (7) и воспользовавшись равенством д2 , У2 д^дх Эх приведем (7) к виду / дх\г ) d^d^. /) Аналогичные формулы получаются и для Z^)yi U22* »p(e)-#y)]^w к„(Р) = -д(Р)[ ^^^,5 + / 8z\r 4 + ^(2)-^(Р)]^Г1Ъ^<, л V) где v2 и V; - косинусы углов, составленных внешней нормалью к Г с осями Оц и ОС соответственно. Из формул (8) и (9) следует непрерывность вторых производных функции и и равенство 6 (П a ГП 1 _ . + — - v2 + — — v2dS = -^яр. 2. Гобсон Е.В. Теорема сферических и эллипсоидальных функций. - М.: ИЛ, 1952. - 476 с. 3. Курант Р. Уравнения с частными производ ными. - М.: Мир, 1964. - 830 с. 4. Якушаускас А. К задаче о наклонной производной для эллиптических уравнений // Сиб. мат. журя,- 1975.-Т. 16,-№2.-С. 405-408. 5. Якушаускас А. Аналитическая теория эллиптических уравнений. - Новосибирск: Наука, 1979.- 192 с. ду V г ) Sz\ г ) J При помощи формулы Гаусса-Острограде кого [2] в силу гармоничности г"1 вычисление этого интеграла можно свести к вычислению аналогичного интеграла по сфере L(P,Q) = <5, а этот последний интеграл вычисляется явно[1],[4],[5]. Из-за того, что функция №W(Q)-p(P) в точке Р имеет нуль первого порядка, в предыдущем интеграле можно осуществить интегрирование по частям, в результате че го находим
Список литературы Гармонические функции и теория потенциала
- Бицадзе А.В. Краевые задачи для эллиптических уравнений второго порядка. -М.: Наука, 1966 -204с
- Гобсон Е.В. Теорема сферических и эллипсоидальных функций. -М.: ИЛ, 1952. -476с.
- Курант Р. Уравнения с частными производными. -М.: Мир, 1964. -830 с.
- Якушаускас А. К задаче о наклонной производной для эллиптических уравнений//Сиб. мат. журн. -1975. -1. 16. -№ 2. -С. 405-40».
- Якушаускас А. Аналитическая теория эллиптических уравнений. -Новосибирск: Наука, 1979.-192с.