Файл: Арсенин, В. Я. Методы математической физики и специальные функции учеб. пособие.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 ) ;

 

М

вкачестве и (М) возьмем функцию, гармоническую в шаро­ вой области 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