Линейные ДУ в частных производных второго порядка. Основные уравнения математической физики. Уравнения Максвелла, страница 14

Существует уравнение Фредгольма 1^го рода: ò{a,b}K(x,s)j(s)ds = f(x) (5). Ядро и правая часть удовлетворяют (3), (4).

Теорема: Общее решение уравнения (1) или (2) имеет вид: j(р) = j₀(р) +j^*(р), j₀(р) – некоторое частное решение, j^*(р) – общее решение однородного уравнения, соответствующего уравнению (1) или (2) и имеющего вид: j(р) = ò{D}K(p,p₁)j(p₁)dp₁.

Интегральное уравнение с вырожденным ядром.

Опр.: Ядро К(x,s) интегрального уравнения называется вырожденным, если его можно представить в виде конечной суммы произведений двух функций, одна из которых есть функция х, другая – функция s. К(x,s) = å{i=1,n}a_i(x)*b_i(s) (1).

Будем полагать, что a_i(x) и b_i(s) линейно независимы, при этом они непрерывны на [a,b], тогда ядро K(x,s) будет непрерывным в прямоугольнике Q. Рассмотрим интегральное уравнение Фредгольма с вырожденным ядром: j(х) = lò{a,b}K(x,s)j(s)ds + f(x); j(x) = lå{i=1,n}a_i(x)ò{a,b}b_i(s)j(s)ds + f(x) (2). Пусть уравнение (2) имеет решение U = j(x). Обозначим c_i = ò{a,b}j(s)b_i(s)ds (i=1,…,n) (3). Подставим (3) в (2), получим: j(х) = lå{i=1,n}c_ia_i(x) + f(x) (4). Из (4) следует, что решение интегрального уравнения с вырожденным ядром сводится к нахождению с_i. Заменим в (4) i на j, умножим на b_i(x) и проинтегрируем от a до b, получим: ò{a,b}j(x)b_i(x)dx = ò{a,b}f(x)b_i(x)dx + lå{j=1,n}c_jò{a,b}a_j(x)b_i(x)dx (5). Обозначим ò{a,b}a_j(x)b_i(x)dx = К_ij, i,j=1,…n, ò{a,b}f(x)b_i(x)dx = f_i(x), i=1,…,n. Используем соотношение (3) и тогда из соотношения (5) получим СЛАУ, которым должны удовлетворять коэффициенты с_i. C_i – lå{j=1,n}K_ijC_j = f_i, i=1,…,n (6). Если система (6) разрешима, то интегральное уравнение (2) тоже разрешимо. Пусть (6) имеет решение {C₁,…,C_n}, тогда, подставив их в (4), получим функцию j(х), являющуюся решением уравнения (2). Интегральное уравнение (2) и система (6) эквивалентны в том смысле, что разрешимость (6) влечёт разрешимость (2).

Запишем определитель системы (6): D(l) будет многочлен относительно l, степень которого будет не выше n, и будет отличен от нуля. Д(l)|_l=0 = 1. Д(l) имеет не более n различных корней. Д(l) называется определителем Фредгольма для интегрального уравнения (2). Корни уравнения Д(l)=0 называются характеристическими числами ядра К(x,s). Если l не совпадает ни с одним из корней l₁,…,l_n этого уравнения, то Д(l)¹0, в этом случае система (6) однозначно разрешима при любых правых частях f_i.

Теорема: Если l не есть характеристическое число, то интегральное уравнение (2) имеет единственное решение j(х), определяемое формулой (4), при любой правой части f(x).

1. Если Д(l)¹0, то соответствующее однородное уравнение Фредгольма будет иметь только тривиальное решение, т.к. система (6) будет линейной системой с неравным нулю определителем. Если использовать формулу Крамера для решения (6), то C_i = (1/D(l))*å{k=1,n}D_ik(l)f_k, к=1,…,n (7). D_ik в выражении (7) многочлен от l, степень которого не выше n-1. Подставим (7) в (4), получим: j(x) = f(x) + lå{i=1,n}(1/D(l))*å{k=1,n}D_ik(l)f_ka_i(x). Учитывая, что f_k = ò{a,b}f(x)b_k(x)dx, тогда: j(x) = f(x) + lå{i=1,n}(1/D(l))*å{k=1,n}D_ik(l)a_i(x)* ò{a,b}f(s)b_k(s)ds. Обозначим R(x,s;l) = (1/D(l))*å{k=1,n}D_ik(l)a_i(x)b_k(s), тогда j(x) = f(x) + lò{a,b}R(x,s;l)f(s)ds. Функция R(x,s;l) называется резольвентой (или разрешающее ядро) для уравнения (2). При фиксированных x и s резольвента есть дробно-рациональная функция от l (причём l может быть как действительной так и комплексной величиной). Как функция x и s резольвента есть непрерывная функция.

2. Пусть l характеристическое число. В этом случае определитель системы (6) равен нулю. Соответствующая (6) однородная система C_i – lå{j=1,n}K_ijC_j = 0 (8), будет иметь р, 1£р£n, линейно независимых вектор-решений. {C₁^(t),…, C_n^(t)}. j_t(x) = å{i=1,n} C_i^(t)a_i(x) (t=1,…,p) (9) – нетривиальное решение соответствующего однородного интегрального уравнения. Нетривиальными решениями однородного уравнения называются собственные или фундаментальные функции. Число линейно независимых функций, соответствующих данному характеристическому числу, называется его рангом или кратностью. Очевидно, что если j₁(х) и j₂(х) принадлежат одному и тому же характеристическому числу l, то их сумма тоже будет собственной функцией. Также aj(х), где a=const, j(х) – собственная функция, будет собственной функцией. Собственные функции j_t(x), соответствующие данному характеристическому числу, образуют линейное пространство размерности р. Общим решением однородного уравнения, соответствующего уравнению (2), будет функция j(х) = å{t=1,p}a_tj_t(x), a_t = const. (10).