Свешников, Боголюбов, Кравцов. Лекции по математической физике (1125176), страница 28
Текст из файла (страница 28)
Полученная 6 оценка обеспечивает непрерывность интеграла У(М) в точке Рга когда М стремится к Ра по нормали п,(Ра). Следовательно, функция У(М) непрерывна в точке Ра. дР Таким образом, разрывные свойства — согласно (6.20) дл, .определяются вторым слагаемым К(М), Используя формулы (6,15), (6.16) для потенциала двойного слоя, из (6.20) получаем 1(гп (М) = 3 (Ра)+%; (Ра) = м л. мел для = а (! 6)+)а' (! а)+2пр (~ а) ди а (Ра) ~ +2п!а (Ра) дл, ду 86 где ( — (Ра)) — прямое значение нормальной производной в точ(, дл, ке Р,. Аналогичным образом д!' 6 да' а а !!ш — (М) = ~ — (Р,)' 2п„(Р,), м г, мсп дл дл„ Введем обозначения: ( — (Р)) — внутреннее предельное значение др дл, дк нормальной производной,,'потенциала простого слоя; ~ — (Р) ~— ) внешнее предельное значение нормальной производной потенциала простого слоя.
Если поверхность незамкнутая, то внутренняя н внешняя стороны поверхности определяются выбором внешней нормали. Тогда разрывные свойства нормальной производной потенциала простого слоя можно описать следуюшими формулами: !80 ( — ) =( — ) +2лц(Р), ( — ) = ( — ) — 2пр(Р), (6. 21) (6.22) ( — ) — ( — ) =4лц(Р). (6.23) $7. МЕТОД ИНТЕГРАЛЬНЫХ УРАВНЕНИИ РЕШЕНИЯ КРАЕВЫХ ЗАДАЧ Метод разделения переменных и метод функции Грина позволяют получить явное решение краевых задач только в случае областей простейшего вида. Сведение краевых за- 181 Формулы для производной по внутренней нормали отличаются от полученных лишь знаком у вторых слагаемых.
Отметим, что при более жестких условиях на функцию ц(Р) можно показать, что формулы (6.21) — (6.23) справедливы прн любом способе стремления точки М к точке Р,~5 (за исключением направления, касательного к поверхности 5). Заметим, что из формулы (6.16) можно получить для нормальной производной потенциала простого слоя выражение вида — ~ (М) = — 1 р (Р) ~~~ г(5„, где ф — угол между нормалью п,(Р,) к поверхности 5 в точке Рм на которой находится точка М, и вектором йчр. На плоскости нормальная производная потенциала простого слоя также разрывна при переходе через кривую С, и формулы, определяющие величину разрыва, имеют вид ~ дР ~ ~ аи ~о ( д1 ) ( дР 1 2 (Р) Рассмотренные свойства поверхностных потенциалов были получены при условии, что функции ц(Р) и т(Р) являются ограниченными и непрерывными на поверхности 5 (или кривой С в двумерном случае).
Это условие можно ослабить. Более детальные исследования показывают, что основные свойства поверхностных потенциалов сохраняются и в том случае, когда функции Р(Р) н т(Р) квадратнчно ннтегрируемы на 5 (ц(Р), т(Р)~(.2(5)). При этом соответствующие поверхностные интегралы остаются гармоническими функциями вне 5, а полученные выражения для их предельных значений выполняются почти всюду на 5.
дач при помощи поверхностных потенциалов к интегральным уравнениям Фредгольма второго рода удобно для исследования разрешимости краевых задач. Метод интегральных уравнений дает также алгоритм численного решения краевых задач для достаточно широкого класса областей. В этом параграфе метод интегральных уравнений применяется для исследования внутренних и внешних краевых задач Дирихле и Неймана для уравнения Лапласа в трехмерном случае. Получены интегральные уравнения для этих задач и изучены вопросы их разрешимости. 1. Основные свойства интегральных уравнений Интегральные уравнения широко применяются при исследовании краевых задач математической физики. В нашем курсе они будут использованы при изучении разрешимости краевых задач для уравнения Лапласа.
В этом параграфе будут приведены (без доказательства) основные теоремы теории интегральных уравнений Фредгольма второго рода *>. Рассмотрим интегральное уравнение Фредгольма второго рода (М)=) ~К(М, Ри(О) (т,+)(М), о при этом будем считать, что 0 — конечная область размерности п. Ядро К(М, Щ предполагается вещественным. Функция К*(М, О) =— К(11, М) называется союзным ядром, а интегральное уравнение с союзным ядром и (М) = Л ') К (1;1, М) о (О) с(т + д (М) (7,2) о называется союзным интегральным уравнением.
В дальнейшем предполагается, что ядро К(М, Я) либо непрерывно яо совокупности аргументов, либо полярно, т. е. представимо в виде К(М О)= "(м')) пм о где а<п и функция Н(М, О) непрерывна. Если а<п/2, то ядро называется слабо полярным. Число Л называется собственным значением ядра К(М, О), если существует нетривиальное решение однородного уравнения и (М) ) ~ К (М 1е) и (Е Ь .
(7.3) *> Смл В в си лье в а А. Б., Тихонов Н. А. Интегральные уравнения. Изл-во МГУ, 1989'.' 182 Нетривиальное решение уравнения (7.3) называется собственной функцией, соответствующей данному собственному значению Х. Вещественное, симметричное, непрерывное или полярное ядро, отличное от тождественного нуля, имеет по крайней мере хотя бы одно собственное значение. Множество собственных значений не более чем счетно и не имеет конечных точек сгущения. Если число собственных значений конечно, то ядро К(М, сг) является вырожденным. Рангом собственного значения называется максимальное число линейно независимых собственных функций, соответствующих этому собственному значению.
Ранг собственного значения конечен. Вопросы разрешимости неоднородного интегрального уравнения решаются теоремами Фредгольма. Первая теорема Фредгольма. Если )с не является собственным значением ядра К(М, ® (т. е. однородное уравнение (7.о) имеет только тривиальное решение), то неоднородное уравнение (7.1) и союзное ему уравнение (7.2) имеют и при этом единственньсе решения при любьсх непрерывньсх правьсх частях.
В то рая теорема Ф р ед гальма Если )с является собственным значением ядра К(М, с С), то оно будет и собственньсм значением союзного ядра, и ранги их одинаковы. Третья теорема Ф р е д гол ь м а. Если Х является собственным значением ядра К(М, (г), то неоднородное уравне.ние (7.1) либо не имеет решения, либо решение его существует, но неединственно. Для разрешимости уравнения (7.1) необходимо и достаточно, чтобы правая часть )(М) уравнения была ортогональна всем собттвенньсм функциям союзного ядра, соответствующим данному значению )с. Заметим, что теоремы Фредгольма справедливы и в том случае, если интегральное уравнение рассматривать в пространстве Ее()з) Напомним енсе теорему Гильберта — Шмидта, справедливую для случая непрерывного или слабо полярного ядра.
Теорем а Г ил ьбе рта — Ш м идт а. Функция 1(М), истокообразно представимая при помощи ядра К(М, 1г), т. е. представимая в виде 1(М)= ~К(М, 1;с)й(адт,, й Е,(О), о разлагается в абсолютно и равномерно сходящийся в О ряд по собственным функциям данного ядра. Л о к а з а т е л ь с т в о приведенных выше теорем можно найти в руководстве по теории интегральных уравнений е>.
' См., например: В а с и лье в а А. Б., Тихонов Н. А Интегральные уравнения. Ивд-во МГУ, 1989; Владимиров В. С Уравнения математической финики Мг Наука, 1988. 188 2. Интегральное уравнение для внутренней задачи Днрихле Рассмотрим внутреннюю задачу Дирихле би=.О в О, (7. 4) Будем считать, что 5 — поверхность Ляпунова, а функция Г(Р) непрерывна на 5.
Решение задачи (7.4) будем искать в виде потенциала двойного слоя: и (М) = — ~ т (Р) д ! о(5р, дл й р (7.5) 11 (М)=!(Р,), Р, ров 8 причем точка Ме-=0 стремится к граничной точке Р поверхности 5 изнутри области гУ. При этом, чтобы получить решение, непрерывное в замкнутой области !о, необходимо в качестве граппчных значений искомого решения на поверхности 5 принять предельные значения и;(Ро) потенциала двойного слоя (7.5) изнутри области. Из условия (7.6), учитывая свойства потенциала двойного слоя (см.
формулу (6.15)), получаем — ). т(Р) о(5р+2пт(ро) =-)(Ро) Ро е- =5 (7 7) длр !!Рр 3 Г1ерепишем (7.7) в виде ! Г (р) д 1 (5 ! )(Р) р е 5 (78) 2л д дл Ррр 2л 3 р Соотношение (7.8) есть интегральное уравнение Фредгольма второго рода с полярным ядром относительно неизвестной плотности т(Р), причем в силу оценки (6.9), полученной в предыдущем параграфе, для ядра уравнения (7.8) имеет место оценка обеспечивающая сходимость интеграла. !84 где по-прежнему ядро интегрального представления (7.5) является производной фундаментального решения по внешней нормали пр к поверхности 5. При любой непрерывной плотности т функция (7.5) удовлетворяет уравнению Лапласа всюду в О. Плотность т(Р) определим так, чтобы на поверхности 5 функция (7.5) непрерывно примыкала к граничному условию Если сушествует решение т(Р) уравнения (7.8), то, подставляя его в формулу (7.5), получим классическое решение внутренней задачи Дирихле.