ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ С СИММЕТРИЧНЫМ ЯДРОМ


ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ С СИММЕТРИЧНЫМ ЯДРОМ

- интегральное уравнение (и. у.) с симметричным действительным ядром: К( х, s) = K(s, x).

Теория линейных и. у. с симметричным и действительным ядром была впервые построена Д. Гильбертом (D. Hilbert, 1904) привлечением теории симметричных квадратичных форм с помощью перехода от конечного числа переменных к бесконечному. Затем Э. Шмидт (Е. Schmidt, 1907) предложил более элементарный метод обоснования результатов Д. Гильберта. Поэтому теорию И. у. с с. я. часто наз. также теорией Гильберта- Шмидта. Значительное ослабление ограничений, налагаемых в этой теории на заданные и искомые элементы уравнения, было достигнуто Т. Карлеманом (Т. Carleman) (см. ниже).

Пусть имеется и. у. 2-го рода с действительным симметричным ядром:

При построении теории И. у. с с. я. достаточно предполагать, что симметричное ядро Кизмеримо на квадрате [а, b]X[ а, b]

а свободный член f и искомая функция j - интегрируемые с квадратом функции на отрезке [ а, b](интегралы понимаются в смысле Лебега).

Разработка теории И. у. с с. я. начинается с изучения ряда общих свойств собственных чисел и собственных функций однородного симметричного и. у.:

А именно, доказывается, что: уравнение (3) обладает по крайней мере одним собственным числом (когда Кпочти всюду не равно нулю); собственные функции, принадлежащие различным собственным числам,- ортогональны; собственные числа - действительны; ввиду действительности ядра без ограничения общности можно предполагать, что собственные функции действительны; на любом конечном сегменте значений параметра Xможет находиться лишь конечное множество собственных чисел.

Множество всех собственных чисел уравнения (3) наз. спектром этого уравнения. Спектр - непустое конечное или счетное множество чисел {m1, m2, ..., ..., mn,...}; каждому числу mn спектра соответствует конечное множество линейно независимых собственных функций. Собственные числа и собственные функции можно расположить в виде последовательностей:

так, что абсолютные величины собственных чисел не убывают каждое собственное число повторяется столько раз, сколько собственных функций ему соответствует. Поэтому каждому числу mk в (4) соответствует лишь одна собственная функция. Можнс считать, что система функций {jk} ортонормирована. Последовательности (4) наз. системой собственных чисел и собственных функций симметричного ядра Кили уравнения (3). Нахождение этой системы равносильно полному решению однородного симметричного и. у. (3).

Ряд Фурье ядра К( х, s), рассматриваемого как функция от sотносительно ортонормированной системы (jk(s)}, будет

Так составленный ряд из системы собственных чисел и собственных функций симметричного ядра Кназ. билинейным рядом ядра Кили билинейным разложением ядра Кпо его собственным функциям. Этот ряд сходится в среднем к ядру К, т. е.

Если же билинейный ряд (5) сходится равномерно, то

В частности, это последнее равенство всегда имеет место, если ядро обладает лишь конечным множеством собственных чисел. В этом случае ядро Кявляется вырожденным. Имеет место и обратное утверждение: вырожденное симметричное ядро имеет конечное множество собственных чисел (и, следовательно, конечное множество собственных функций). Билинейный ряд непрерывного на квадрате ядра Кс положительными собственными числами сходится равномерно.

Зная систему (4) собственных чисел и собственных функций, можно построить решение неоднородного уравнения (1). Имеют место следующие теоремы.

Если X не является собственным числом ядра К, то симметричное п. у. (1) имеет единственное решение Ф, выражаемое формулой

где lk- собственные числа, fk - коэффициенты Фурье функции f относительно ортонормированной системы {jm} собственных функций ядра, т. е.

Пусть l=l1- собственное число ядра К;тогда симметричное и. у. (1) разрешимо лишь в случае, если удовлетворяются условия

где j1;..., jq - собственные функции, принадлежащие собственному числу l1. При соблюдении этих условий все решения уравнения (1) выражаются формулой

где c1, ..., cq- произвольные постоянные.

Если ядро Кимеет бесконечное множество собственных чисел и, следовательно, в правых частях формул (6), (7) стоят бесконечные ряды, то они сходятся в среднем. Если от ядра Кдополнительно потребовать, что оно удовлетворяет условию

то упомянутые ряды будут сходиться абсолютно и равномерно.

Формулы (6) и (7) наз. формулами Шмидта. Большая часть теории И. у. с с. я. легко распространяется и на комплекснозначные функции. В этом случае аналогом действительного симметричного ядра является эрмитово ядро:

Если известна система (4) собственных чисел и собственных функций симметричного ядра К, то можно легко исследовать симметричное уравнение Фредгольма 1-го рода

Пусть, как и выше, симметричное ядро Куравнения (8)- интегрируемая с квадратом функция на квадрате

а правая часть f и искомое решение j - такие же функции на сегменте [а, b]. Симметричное ядро наз. полным, если система его собственных функций {jm} полна (замкнута).

Теорема Пикара. Пусть К( х, s)- полное ядро. Тогда для разрешимости уравнения (8) необходимо и достаточно, чтобы ряд

где fk - коэффициенты Фурье функции f, сходился. При выполнении этого условия решение (единственное) представимо в виде

причем последний ряд сходится в среднем.

Т. Карлеман [5] построит теорию при менее ограничительных условиях на симметричное ядро К, чем у Д. Гильберта и Э. Шмидта. Эти условия следующие:

1) существует в смысле Лебега и

для любого х неравно х i, где i}- некоторая последовательность точек, к-рая может иметь конечное число предельных точек; 2) может существовать конечное множество точек s1, ..., sn О {xi}, в окрестности к-рых функция

не интегрируема, но она интегрируема на множестве De , оставшемся после удаления из сегмента [ а, b]интервалов (si-e, si+e), i=1,..., га, где е - произвольное достаточно малое положительное число.

Пусть К e ( х,s) - функция, к-рая равна нулю на множестве точек {( х, s)}таких, что |s-si|e , i=l,..., n, а вне этого множества в квадрате совпадает с ядром Куравнения (1). Идея метода Карлемана заключается в следующем: взамен уравнения (1) рассматривается линейное интегральное уравнение второго рода с ядром К e. Изучив спектр и решения этого уравнения, затем с помощью перехода к пределу при исследуется спектр и решения уравнения (1).

Лит.:[1] Нilbert D., Grundziige einer allgemeinen Theorie der linearen Integralgleichungen, Lpz.- В., 1912 (2 Aufl., 1924); [2] Schmidt E., "Math. Ann.". 1907, Bd 63, S. 433-76; Bd 64, S. 161-74; 1908, Bd 65, S. 370-99; [3] Виаpда Г., Интегральные уравнения, пер. с нем., М.- Л., .1933; [4] Михлин С. Г., Лекции по линейным интегральным уравнениям, М., 1959; [5] Carleman Т., Sur les equations integrales singulieres a noyau reel et symetrique, Uppsala, 1923.

Б. В. Хведелидзе.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ С СИММЕТРИЧНЫМ ЯДРОМ" в других словарях:

  • ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ — уравнение, содержащее искомую функцию под знаком интеграла. И. у. делятся на два основных класса: линейные И. у. и нелинейные И. у. Линейные И. у. имеют вид где А, К, f заданные функции, из которых Аназ. коэффициентом, К ядром, f свободным членом …   Математическая энциклопедия

  • ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ — ур ние, содержащее неизвестную ф цию под знаком интеграла. Их принято разделять на две большие группы: линейные и нелинейные И. у. Линейным И. у. наз. ур ние вида где А, К, f заданные ф ции, j неизвестная ф ция, D область евклидова пространства.… …   Физическая энциклопедия

  • НАГРУЖЕННОЕ ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ — интегральное уравнение, которое в одномерном случае имеет вид где искомая, заданная в непрерывные функции, заданные фиксированные точки, заданные непрерывные в квадрате функции. В том случае, когда где положительные постоянные …   Математическая энциклопедия

  • ФРЕДГОЛЬМА УРАВНЕНИЕ — интегральное уравнение вида Ф. у. 1 го род а, или вида Ф. у. 2 го рода, если интегральный оператор является вполне непрерывным в нек ром функциональном пространстве Е. Предполагается, что свободный член f и искомая функция принадлежат… …   Математическая энциклопедия

  • Функциональный анализ (математ.) — Функциональный анализ, часть современной математики, главной задачей которой является изучение бесконечномерных пространств и их отображений. Наиболее изучены линейные пространства и линейные отображения. Для Ф. а. характерно сочетание методов… …   Большая советская энциклопедия

  • Функциональный анализ — I Функциональный анализ         часть современной математики, главной задачей которой является изучение бесконечномерных пространств и их отображений. Наиболее изучены линейные пространства и линейные отображения. Для Ф. а. характерно сочетание… …   Большая советская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.