Файл: Арсенин, В. Я. Методы математической физики и специальные функции учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 16.10.2024
Просмотров: 194
Скачиваний: 0
Д о к а з а т е л ь с т в о . |
Пусть иг (М) и и2(М) —два |
ре |
|||||||
шения задачи и v (М) = их (М) — и2 (М). |
|
|
|
|
|||||
Из некоторой точки М0, лежащей внутри поверхно |
|||||||||
сти S, как |
из центра опишем сферу Sp |
настолько боль |
|||||||
|
|
шого радиуса R, чтобы Sp целиком |
|||||||
|
|
лежала в области Dx. Пусть Dp —об |
|||||||
|
|
ласть, |
ограниченная поверхностями |
||||||
|
|
5 и SR (рис. |
21). |
|
|
|
|
||
|
|
на |
Применим первую формулу Гри |
||||||
|
|
для |
функций |
Фх (М) = v (М) и |
|||||
|
|
Ф2 (М) — v(M) в области Dp. Полу |
|||||||
|
|
чим (при q (М) = 0) |
|
|
|
||||
|
|
^ v div (k Vy) dx = — jj &(Yu)2dr + |
|||||||
|
|
° R |
|
|
|
D p |
|
|
|
|
|
|
|
kv f- da |
^ kv |
dn |
do. |
(37) |
|
|
|
|
|
SR |
dn |
s |
|
|
|
|
|
|
|
|
|
|
|
||
Функция v{M) |
является решением задачи |
|
|
|
|||||
|
|
div (k Vo) = 0 |
(в Dx), |
|
|
|
(38) |
||
|
|
( n £ + w ) s = 0. |
|
|
|
(39) |
|||
Поэтому из |
(37) |
получаем |
|
|
|
|
|
|
|
^ k (Vy)2 dx— |
kv j^da — ^ k v ^ d a — 0. |
|
|
||||||
D r |
|
S |
|
|
Sp |
|
|
|
|
Для первой и второй краевых задач интеграл по S равен нулю, поэтому
^ |
k(Vv)2dx — ^ k v ^ d a . |
(40) |
d r |
s r |
|
Для третьей краевой задачи, пользуясь краевыми уело-
dv 1
виями (39), выражаем -^1 через у|$. Получим
^ |
k (4v)2d%-{- ^ k ~ 2 v2 da= |
kv-^da. |
(41) |
D p |
S |
Sp |
|
Формулы (40) и (41) справедливы для любых доста точно больших значений R. Поэтому в них можно перейти к пределу при R-+oо. Оценим интеграл по Sp. В силу
196
регулярности функции v и ограниченности k (М) (k (М) ==g N) имеем
|
5 |
^v Ш ^° |
\N\AB\ |
da |
N \ A B |
4 it |
|
|||
|
L ' и , |
|
|
|||||||
|
Sr |
|
|
|
|
SR |
|
|
|
|
Переходя |
в |
формулах (40) и (41) к пределу при /?->оо |
||||||||
и учитывая |
оценку для интеграла по SR, получим |
|
||||||||
|
|
|
|
|
§ k (Vo)2 dx = 0, |
|
|
(42) |
||
|
|
|
|
|
Di |
|
|
|
|
|
|
|
|
|
^ k (Vo)2 dx-f ^ |
o2 da = 0. |
|
(43) |
|||
|
|
|
|
£>i |
|
s |
|
|
|
|
Из (42) |
следует, что о = |
const. А так |
как о(Л4)-^0 при |
|||||||
Л4 ->со, то о(М) = 0 в Dj. Из (43) следует, |
что o(M)s= |
|||||||||
== const |
в |
Dj |
и |
о |s = 0. |
Из |
непрерывности |
о (Л4) |
в Dx |
||
следует, |
что |
о (Л4) = 0 в £)х. Теорема |
доказана. |
|
||||||
4. |
Заметим, |
что решение второй краевой задачи также |
||||||||
единственно, |
|
поскольку |
в этом случае фиксируется |
зна |
||||||
чение решения на бесконечности (равное нулю). |
|
|||||||||
Свойство |
регулярности решения на |
бесконечности по |
||||||||
надобилось нам для оценки интеграла по вспомогательной |
||||||||||
поверхности |
SR. |
Для двумерного случая требование ре |
||||||||
З а м е ч а н и е . |
||||||||||
гулярности решения на бесконечности слишком сильно, |
||||||||||
так как решения, удовлетворяющего |
ему, может и не |
|||||||||
существовать. |
В |
двумерных задачах достаточно потребо |
||||||||
вать, чтобы искомое решение было ограниченным на бес |
||||||||||
конечности, а частные производные первого порядка рав |
||||||||||
номерно стремились к нулю, |
как В/гмм |
|
|
Г л а в а IX
ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ
В этой главе мы изложим некоторые начальные све дения о линейных интегральных уравнениях второго рода. Для простоты записи мы всюду, кроме § 1, будем рас сматривать одномерный случай. Все результаты верны и для многомерного.
§1. Классификация линейных интегральных уравнений
Уравнения вида
Ф ( М ) - Ц / С ( М , Р)у(Р)йтР = ЦМ),
D
где ср (Р) — искомая функция, f{M) и К (М , Р) —известные функции, D — фиксированная область, X —числовой пара метр, называются интегральными уравнениями Фредгольма второго рода. Если / (М) = 0, уравнение называется одно родным, в противном случае — неоднородным.
Уравнения вида
Ф{ М ) - Х \ К(М, P)q>(P)dxP = f(M),
D (М )
где D (М) — переменная область, зависящая от точки М,
называются интегральными уравнениями Вольтерра вто рого рода. Например, в одномерном случае
а:
Ф(х) — Х^К (х, s) ф (s) ds = f (х)
а
есть уравнение Вольтерра второго рода.
Если f(M) = 0, уравнение называется однородным, в противном случае — неоднородным.
198
Уравнения вида
^ К(М, P)q>(P)dxP = f(M),
D
где D — фиксированная область, называются интеграль ными уравнениями Фредгольма первого рода.
Уравнения вида
^К(М, P)y{P)dxP = f{M)
D (М)
называются интегральными уравнениями Вольтерра пер вого рода. Функция К(М, Р) называется ядром интеграль ного уравнения.
З а м е ч а н и е . Уравнения Вольтерра являются частным видом уравнений Фредгольма. Так, если в одномерном случае положить
О, |
x C s C b , |
Кх (х, s) = |
a < s ^ x , |
К (х, s), |
то уравнение Вольтерра
X
ц>(х) — Х^К (х, s) Ср (s) ds = f (х)
а
можно записать как уравнение Фредгольма с ядром К\{х, s):
ь
ф {х) — XJ Кх (х, s) ф (s) ds—f (х).
а
Ядра Кх{х, s) указанного вида иногда называют ядрами Вольтерра.
§ 2. Интегральные уравнения с вырожденными ядрами
Ядро К(х, s) называется вырожденным, если оно имеет вид
К(х, s)= 2 Ф (x)bi(s), |
(1) |
i= 1 |
|
где at (х) — линейно независимые функции.
Решение уравнения Фредгольма второго рода с вырож денным ядром сводится к решению системы линейных
алгебраических |
уравнений. |
В самом деле, |
подставляя в |
уравнение |
ь |
|
|
ф (х) = X \ К (х, |
s) ф (s) ds + f (x) |
(2) |
199
ядро (1), получим |
|
ф (X) = я X с ‘а‘ (*) + /(*)» |
(3) |
i= 1
ь
где С,- = ^ bi (s) cp (s) ofs— неизвестные числа.
а
Таким образом, решение уравнения (2) с вырожденным ядром надо искать в виде (3). Подставляя эту функцию в уравнение (2 ) и сравнивая коэффициенты при одних и тех же функциях а, (х) справа и слева, получим систему линейных алгебраических уравнений относительно С,-:
Ct — X |
П |
(i — 1,2 , ..., n), |
|
Cj<Xij + Рг |
(4) |
||
a ij = $ «< (5) bj (s) ds, |
Рг = $ / (s) bi (s) ds. |
|
|
a |
|
a |
|
Решив эту систему, мы найдем Ch а следовательно, и решение уравнения (2 ) ф (х).
§ 3. Существование решений
1 . Если ядро вырожденное, то вопрос о существован решения интегрального уравнения Фредгольма сводится к вопросу о существовании решения соответствующей системы алгебраических уравнений (4). В более общем случае мы докажем существование решения уравнения (2)
(при достаточно малых значениях |Я|) |
м е т о д о м |
п о с л е |
||
д о в а т е л ь н ы х п р и б л и ж е н и й . |
|
|
ядро |
|
Для простоты выкладок будем предполагать, что: 1) |
||||
К (х, s) непрерывно |
в квадрате а ^ х , s ^ b; |
тогда |
оно |
|
ограничено некоторой константой А, |
2) функция |
|||
f(x) непрерывна на |
отрезке [а, Ь], |
следовательно, |
она |
ограничена на этом отрезке некоторой константой В,
Построим последовательность функций ф1 (х), ф2 (х), ...
.... ф„(х), ... по следующему правилу:
ь
Ф1 {x) = f { x ) + ^ <\ K {X, s) Фо (s) ds, (5)
О.
где фо(s) — произвольная фиксированная интегрируемая
200