![]() |
|
![]() |
Распространим уравнение (4.4) при условии (4.6) следующим образом:
|
|
|
(4.23) |
где вследствие (4.14), – некоторая неопределенная
функция.
Уравнение, объединяющее (4.7) и (4.23), представим в виде
(4.24)
то есть
Введем также взаимосвязанное с ним и близкое по своей структуре уравнение:
(4.25)
где и
– еще две неопределенные
функции (как и
они – гармонические). Целесообразность такого
шага будет раскрыта в процессе дальнейшего изложения.
Представить процедуру
построения уравнений (4.24) и (4.25), с практической точки зрения, несложно.
Есть гармоническая функция которая интегрируется согласно (4.1). Как
показано выше, существуют ядро
и абсолютно интегрируемая функция
при которых уравнение (4.24) удовлетворяется
на
Можно предположить, что каким-то образом функция
определена. Теперь как
так и
– данные функции. Уравнение
(4.24) на
а также и в целом удовлетворяется посредством
функции
Вновь дана Функция
определяется из уравнения (4.25) на
:
(4.26)
Относительно – это интегральное уравнение
Фредгольма второго рода. На основании положений общей теории [1], при условии
(4.18) решение уравнения (4.26) существует и единственно. Есть данные функции
– уравнение (4.25) на
и в целом удовлетворяется посредством
Если использовать обозначения
(4.27)
то (4.24), (4.25) представляют собой интегральные уравнения Фредгольма второго
рода относительно и
со свободными членами соответственно
При условии (4.20) решения этих уравнений:
(4.28)
(4.29)
и
(4.30)
(4.31)
где – резольвента оператора
имеющая вид (4.21).
Вычитая (4.25) из уравнения (4.24), получаем
(4.32)
(4.33)
Из этих соотношений следует,
что функцию через
можно выразить конструктивно,
то есть с помощью решения интегрального уравнения Фредгольма второго рода. Действительно,
при условии (4.18)
определяется через резольвенту ядра
в (4.33). Однако обратная процедура, то есть
представление функции
через
была бы сопряжена с решением интегрального
уравнения Фредгольма первого рода.
К уравнениям (4.24), (4.25)
прибавим «нуль» из (4.1), а именно со свободным членом вида (4.22), получая соответственно
(4.34)
(4.35)
Итак, вместо некорректной задачи (4.1), далее будут рассматриваться две системы интегральных уравнений (4.24), (4.34) и (4.25), (4.35).*
* Заметим, что (4.34) и (4.35) не являются интегральными уравнениями Фредгольма второго рода относительно функций (4.27). |