Файл: Арсенин, В. Я. Методы математической физики и специальные функции учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 16.10.2024
Просмотров: 179
Скачиваний: 0
Т е о р е м а о с р е д н е м з н а ч е н и и . Значение в цент ре М0 шаровой области Dr функции и (М), гармонической в Dr и непрерывной вместе с частными производными пер
вого порядка в Dr — Dr -\- Sr, равно |
среднему арифмети |
|||
ческому ее значений на сфере Sr, |
т. |
е. |
|
|
|
и (Мо) = 4nRi § u(M)do. |
(10) |
||
Д о к а з а т е л ь с т в о . Воспользуемся формулой |
(5), |
|||
полагая |
в ней L [и\ = Аи (k (М) = |
1), |
|
|
v= |
(гМом = V(x - х0)2+ |
(у - у,,)2+ (z - z0f ) ; |
|
М0М
вкачестве и (М) возьмем функцию, гармоническую в шаро вой области Dr, ограниченной поверхностью Sr, и непре рывную вместе с их, uv, иг в Dr -\-Sr. При этих условиях
интеграл по D' (D' czDr) равен нулю. Интегралы по Sr
и по Sr, от произведения в силу соотношения (9)
также равны нулю (функция и равна на этих поверх
ностях соответственно 1/R |
и 1/Rlt 6 = 1 ) . Таким образом, |
|
будем иметь |
|
|
$ и Т г { т У а - |
\ и Т г { т ) й о = ° - |
( п ) |
SR |
sRi |
|
Вычисляя производные и применяя к последнему инте гралу теорему о среднем значении интеграла, получим
- ^и{М)Фа = -щ- 4яШ ■и (М*), М* е= SRl.
SR
Устремляя теперь к нулю, получим формулу (10). Мы рассматривали гармонические функции в трехмер
ном пространстве. Для двумерного пространства (плоскости) теорема о среднем значении записывается соотношением
и{М0) = %й? $ “ W d s . |
(1 2) |
cr |
|
Здесь Cr — окружность с центром в точке М0. Для полу чения этой формулы надо в соотношении, аналогичном (5),
взять v — In (Ijfм0м)-
159
Для m-мерного пространства теорема о среднем зна чении гармонической функции выражается соотношением
|
« |
§ и (р ) da> |
(13) |
|
|
SR |
|
где Sx — площадь единичной сферы. |
|
||
Справедлива также |
Пусть и(М) непрерывна в ко |
||
О б р а т н а я |
т е о р е м а . |
||
нечной области |
D. Если для любого шара DR a D , |
огра |
ниченного сферой Sf> (SR cz D), справедливо соотношение (13), то функция и (М) гармонична в области D.
Мы |
не будем приводить доказательства этой теоремы. |
|||||
Эти |
теоремы |
позволяют дать |
другое, |
эквивалент |
||
ное прежнему, определение гармонической |
в области D |
|||||
функции. |
|
|
|
|
|
|
Функция и (М) называется гармонической в области D, |
||||||
если она непрерывна в D и для всякой шаровой |
области |
|||||
DR, ограниченной |
сферой SR с центром в точке |
M0^ D |
||||
и принадлежащей вместе с SR области D, выполняется |
||||||
соотношение |
(13). |
|
его легко перенести |
|||
Пользуясь |
таким определением, |
на широкий класс функционалов *).
3. Для гармонических функций справедлива Т е о р е м а о н а и б о л ь ш е м и н а и м е н ь ш е м з н а
чении. Функция и(М), гармоническая в конечной области D, ограниченной замкнутой поверхностью S , и непрерыв
ная в D — D - \ S, достигает своего наибольшего и наи меньшего значений на границе S.
Д о к а з а т е л ь с т в о . Если и (М) = const в области D, то справедливость теоремы очевидна. Поэтому будем пола
гать, |
что u(M)=£ const |
в D. |
|
|
|
Обозначим через |
H's |
наибольшее значение функции и |
|||
на S, |
а через HD— наибольшее значение функции |
и в D. |
|||
Нам |
надо доказать, что Но = H s• Предположим, |
что это |
|||
неверно. Тогда HD> H S и в некоторой точке M0(M0^D) |
|||||
имеем и (М0) = HD. |
|
|
|
|
|
Рассмотрим вспомогательную функцию |
|
||||
|
J.у |
J_J |
|
|
|
v {М) = и (М) + |
|
s [(х - |
х0Г + ( у - у0у + (г - |
г0)*], |
|
*) |
См. Л е в и П., |
Конкретные |
проблемы функционального ана |
||
лиза, |
«Наука», 1967. |
|
|
|
|
160
где d —диаметр области D, т. е. верхняя граница рас стояний между точками области D; (х0, у0, г0), (х, у, г) —■координаты точек М0 и М. Очевидно, для всех то чек M ^ D
(х - х0f + {у — у0f + ( z - z 0f < d 2,
v (М0) = и (Mo) — HD. С другой стороны, в точках М гра ницы области S имеем
|
|
v (М) < |
Hs |
|
|
Hp + Hs |
< H D. |
|||
|
|
|
|
|
|
|
|
2 |
|
|
Следовательно, |
непрерывная |
в D функция |
v(M) должна |
|||||||
достигать |
наибольшего значения |
в некоторой в н у т р е н |
||||||||
ней |
точке |
Мх области |
D. |
В этой |
точке |
должно быть |
||||
Ду |
0, так как в точке максимума |
ни одна из произ |
||||||||
водных vxx, Vyy, |
vzz не может быть положительной. С дру |
|||||||||
гой стороны, |
|
Н п — Н я |
Ял - Я с |
|
|
|||||
|
|
|
|
0. |
|
|||||
|
|
Ду = Дм + 3 — |
—- = 3 — |
—- > |
|
|||||
Полученное противоречие заставляет |
отказаться |
от гипо |
||||||||
тезы, |
что |
HD> H s . Следовательно, |
HD= HS■ Приме |
|||||||
няя |
полученный |
результат |
к функции— и, мы получим |
|||||||
доказательство |
теоремы |
и |
для |
наименьшего |
значения. |
|||||
С л е д с т в и е . |
Гармоническая |
в области D |
функция |
и (М), не равная тождественно постоянной, не может иметь локальных максимумов и минимумов внутри D.
В самом деле, пусть в точке М0е D функция и (М) имеет, например, локальный максимум. Обозначим через шаровую замкнутую область с центром в точке М0
и радиуса R, целиком лежащую в D. Радиус R можно взять настолько малым, чтобы для всех точек М области , не совпадающих с М0, выполнялось неравенство
и (М) < и (М0).
Применяя доказанную теорему к функции и (М) для области D%0’ получим противоречие с предположением.
Из этой теоремы легко следует единственность реше ния первой внутренней краевой задачи для уравнения
Дм = / ( М) .
Т е о р е м а е д и н с т в е н н о с т и . Решение первой вну тренней краевой задачи
&u = f (М), « !s = Ф (М),
непрерывное в замкнутой области D — D -J- S , единственно.'
6 В. Я. Арсенин' |
161 |
Д о к а з а т е л ь с т в о . Пусть две функции щ и и2 явля ются решением этой задачи. Тогда их разность и = и1 — и2
является гармонической в D функцией, непрерывной в D и равной нулю на S. По теореме о наибольшем и наи
меньшем значении -наибольшее |
и наименьшее значения и |
|||
равны нулю. |
Следовательно, |
и = и1 —«2 = 0 всюду в D. |
||
Легко также доказать теорему о непрерывной зави |
||||
симости решения |
первой |
внутренней краевой задачи от |
||
граничных значений для |
уравнения Au — |
|||
Т е о р е м а |
1. |
Пусть их (М) и и2 {М) — решения первой |
внутренней краевой задачи для уравнения Au=f(M), не
прерывные в D и принимающие |
на границе S области D |
||
значения фДМ) и ф2 (М). Тогда, |
если всюду на S |
выпол |
|
няется неравенство | cpL— ф2 [ < |
е, |
то всюду в D |
выпол |
няется неравенство |
|
|
|
\ их (М) —«2 (М) | < е.
Д о к а з а т е л ь с т в о . |
Функция и ^ щ — щ, гармони |
||||||||||
ческая в D, |
непрерывна |
в D, и и \s — |
— <р2. |
Поскольку |
|||||||
— е < |
фг — ф2 < |
е, то по теореме о наибольшем |
и наимень |
||||||||
шем значении наибольшее |
и |
наименьшее |
значения функ |
||||||||
ции |
и (М ) |
заключены |
|
между — е и |
е. |
Следовательно, |
|||||
| и | < е, т. е. | щ (М) — и2(М) | < е. |
|
|
|
|
|||||||
Верна также |
|
|
|
|
|
|
|
||||
Т е о р е м а 2 . Если последовательность непрерывных в не |
|||||||||||
которой замкнутой и |
ограниченной области D и |
гармо |
|||||||||
нических в D |
функций |
ии «2, .... ип, ... равномерно схо |
|||||||||
дится на границе области, то она также |
равномерно |
||||||||||
сходится в D. При этом предельная функция и (М) будет |
|||||||||||
гармонической в D *). |
|
|
|
|
|
|
|
||||
§ |
2. Сущность метода функций Грина. Некоторые |
||||||||||
|
|
|
|
свойства функций Грина |
|
|
|
||||
1. |
Будем |
рассматривать краевые задачи |
|
|
|||||||
|
|
|
|
L[u]=f{M) |
(в D), |
|
|
|
(14) |
||
|
|
|
|
(ai^ + O 2 « )s = 0 |
|
|
|
(15) |
|||
*) |
Читателю |
рекомендуется |
самостоятельно |
доказать |
первое |
||||||
утверждение этой |
теоремы, |
используя достаточный критерий Коши |
|||||||||
сходимости |
последовательности и принцип максимума |
и минимума. |
|||||||||
Подробнее о свойствах гармонических функций см. книгу И. |
Г. П е т |
||||||||||
р о в с к о г о |
«Лекции об |
уравнениях с частными производными» |
|||||||||
(«Наука», 1965). |
|
|
|
|
|
|
|
|
162