Научная статья на тему 'О связях бесконечных систем линейных алгебраических уравнений с некоторыми математическими структурами. II'

О связях бесконечных систем линейных алгебраических уравнений с некоторыми математическими структурами. II Текст научной статьи по специальности «Математика»

CC BY
88
21
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук

Аннотация научной статьи по математике, автор научной работы — Федоров Фома Михайлович

Указаны определенные связи между бесконечными системами линейных алгебраических уравнений с некоторыми математическими структурами, в частности, с интегральными уравнениями Фредгольма второго рода, с пространством Гильберта и с другими пространствами последовательностей1, с краевыми задачами теории аналитических функций и с некоторыми другими структурами.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Defined relations between infinity systems of linear algebraic equations with some mathematic structure are have been determined, specifically with integral Fredholm equations of degree2, Hilbert space and other spaces of sequences, boundary-value problems of theory of analytic functions and some other structures.

Текст научной работы на тему «О связях бесконечных систем линейных алгебраических уравнений с некоторыми математическими структурами. II»

УДК 512.6:519.61

О СВЯЗЯХ БЕСКОНЕЧНЫХ СИСТЕМ ЛИНЕЙНЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ С НЕКОТОРЫМИ МАТЕМАТИЧЕСКИМИ СТРУКТУРАМИ. II

Ф, М. Федоров

Данная статья является продолжением работы [1].

5. Связь бесконечных систем с интегральными уравнениями Фредгольма.

(а) Пусть дано следующее однородное интегральное уравнение Фредгольма второго рода:

1

у(х) + \ ! К(х, в)у(в) ¿в = 0, (1)

о

ядро которого имеет вид

( (в — 1)х при 0 < х < в,

к(х,в) = {\ \ ; ; ' (2)

[ в(х — 1) при в ^ х ^ 1. Легко видеть, что ядро К(х, в) представляет собой функцию Грина для краевой задачи у"(х) = 0 и у(0) = 0, у(1) = 0, т. е. К(х,в) = Г(х, в). Если возьмем функцию д(х), тождественно равную единице, т. е. д(х) = 1, то получим К(х, в) = Г(х, в) = Г(х, в)д(в).

Из теории краевых задач [2] и интегральных уравнений [3] известно, что решения краевой задачи

Цу) = Нх) — хд{х)у{х ), (3)

где Ь(у) — дифференциальный оператор п-го порядка, при краевых условиях

у(0) = 0, у(1) = 0, (4)

© 2007 Федоров Ф. М.

и неоднородного интегрального уравнения Фредгольма

1

у(х) + Цх) ! Г(ж, в)д(в)у(в) ¿з = Ф(х), (5)

о

1

где при условиях (4) функция Ф(х) имеет вид Ф(х) = §Г(х, в)/(в) ¿в,

о

эквивалентны.

Для уравнения (1) справедливо

1

ф(х) = У Г(х, в)/(в) ¿в = 0.

о

Отсюда заключаем, что /(х) = 0, кроме того, Ь(у) = у"{х).

С учетом всех этих замечаний уравнение (3) будет иметь вид

у" (х) + \у(х) = 0. (6)

Таким образом, решение интегрального уравнения (1) эквивалентно решению краевой задачи (6), (4). Как мы видели в п. 4 из [1], решение данной краевой задачи сводится к решению соответствующей бесконечной системы.

Конечно, общее решение уравнения (6) общеизвестно, но нас интересует связь бесконечных систем уравнений с интегральными уравнениями, поэтому задачу решаем, как и в п. 4 из [1], граничным методом.

Граничному методу [4] решения дифференциальных уравнений в частных производных с краевыми условиями соответствует метод степенных рядов решения краевых задач теории ОДУ. В соответствии с этим решения уравнения (6) с условиями (4) ищем в виде степенного ряда:

у{х) = ^2а,гхг, (7)

г=0

где аг — искомые коэффициенты.

Непосредственно из (6) с учетом (4) получаем

у"(0) = 0, у"(1) = 0, (8)

а бесконечно дифференцируя (6), что возможно, если имеет место разложение (7) в интервале [0,1], и используя (8), имеем

Л(0) = 0, у^ j(l) = 0, ¿ = 0,1,2,.... (9)

Первое условие в (9) дает, что все a?i = 0 в (7), поэтому решение ищем в виде

y(x) = 5>x2 i+1. (10)

i

Поскольку производные у^2в силу (10) имеют вид

т _ ~ (2j + 2p+l)! 2р+1

У (2р + 1)! '

то, введя обозначение bj+p = xj+p и используя второе условие в (9), придем к бесконечной системе вида (16) [1]:

~ (2j + 2p+l)! _

Z^ (2p+l)l j+p ~ ^ '

ГТТР П - (23+2P+1V-

хде — (2p+l)! '

Нетрудно видеть, что коэффициенты aj,j+p имеют вид (6) [1], т. е.

1 (2k + 3)'

ar= {2p+l)V = + m =(2fc + 2)(2fc + 3).

Применяя теорему 7 [1] и используя уравнение 11 [1], окончательно получаем

у(х) = Asm(kirx). (12)

Необходимо заметить, что, построив уравнение в частных производных, соответствующее уравнению (6), например, такое как

dT(x,t) _ d2T(x,t) dt ~ дх2 '

с теми же граничными условиями (4), но относительно T(x,t) по координате x и решив данную задачу граничным методом, получим тот же результат, что и (12).

Подставляя решение (12) в (1), убеждаемся, что интегральное уравнение удовлетворяется. Таким образом, неизвестные = bi бесконечной системы (11) являются коэффициентами в разложении (10) решения интегрального уравнения (1) в степенной ряд.

(б) Теория Фредгольма решения интегрального уравнения дает несколько иную, чем указано выше, структурную связь между бесконечной системой линейных алгебраических уравнений и данным интегральным уравнением [3].

Пусть вместо (1) дано следующее неоднородное интегральное уравнение в общем виде:

b

y(x) = \J K(x, s)y(s) ds + f(x). (13)

a

Идея Фредгольма, замечательная по своей простоте и плодотворности, заключается в следующем. Задача решения интегрального уравнения (13) рассматривается как аналитический аналог алгебраической проблемы решения системы n линейных алгебраических уравнений с n неизвестными. Именно, интеграл в (13) заменяется интегральной суммой, отвечающей разбиению отрезка [a, b] изменения переменной s на n

r b — a о = -.

n

Необходимо еще раз подчеркнуть, что идея Фредгольма, т. е. метод замены интегрального уравнения системой линейных алгебраических уравнений, до сих пор широко используется в практике расчетов различных интегралов на современных компьютерах.

Точное уравнение (13) заменяется приближенным

n

y(x) = \^2 K(x, Sj) yj S + fx, (14)

i

где в качестве Sj можно взять, например, абсциссы середин интервалов разбиения.

Полагая в формуле (14) ж = зх,з,...,зп, получаем линейную алгебраическую систему относительно «неизвестных

п

у(*) = у^) (г = 1,2,...,п). (15)

¿=1

Будем считать, что у(х) и /(ж) сохраняют в г-м интервале постоянные значения, равные соответственно у(з^) и /(з^ а ядро К(х, з) сохраняет в каждом частичном квадрате с индексами г и ] постоянное значение, равное К(з^, з^.

Определитель системы (15)

Пп( А) =

1— АК(в1,91)6 —АК(з1,В2)8 ... -АК(з1,зп) б —АК(з2,31)6 1— АК(з2,з2)б ... —АК(з2,зп) б

—АК^п^^б —АК(зп,з2)6 ... 1— АК(зп,3п) 3

(16)

А

Если А отлично от корня многочлена Пп(А), то система (15) имеет единственное решение при любых правых частях и это решение может быть найдено по известным формулам Крамера. Решая ее, мы найдем все у{зг) и, таким образом, получим приближенное выражение искомой функции у^ж).

Чем больше п, тем точнее функция уп{ж) аппроксимирует искомую функцию. Естественно, речь здесь идет о методе редукции, который необходимо обосновать.

В пределе при п ^ <х линейная система (15) переходит в интегральное уравнение (13), т. е. в континуальный аналог бесконечной си-

уп ж у ж

ния (13), что и доказал позднее Гильберт [5] для случая непрерывного ядра.

(в) Укажем одно сходство с формулой (13) из [1], связанное с инте-

п Кп

уравнения (13) определить условиями [2]

b

К*,.)-КМ, = tMWM)<«

и положить

то предел

b b

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Aj = lim " 1 = lim —-= (17)

n — <X> Vn n—ж n Vn

существует и представляет собой квадрат наименьшего собственного значения интегрального уравнения (13).

Для полной ясности приведем формулу (13) из [1] в укороченном виде:

A V

lim sn = lim " = lim " = s, (18)

n—n—An-1 n—Vn — \

An Vn

конечно-разностного уравнения (4) из [1]. Если вспомнить, что величина -j = А является наименьшим собственным числом соответствующей краевой задачи [1, п. 4], то становится очевидной сходность формул (17) и (18).

6. Связь бесконечных систем с пространством Гильберта или с пространством последовательностей. Здесь рассматриваем еще одну связь бесконечных систем с интегральными уравнениями, т. е. с теорией интегральных уравнений Гильберта. Данная теория построена Гильбертом [5,6] на базе созданной им теории линейных и билинейных форм с бесконечным числом переменных.

На первый взгляд, данный пункт можно было включить подпунктом в предыдущий пункт, но имеется существенная причина рассматривать его отдельным пунктом, что будет ясно из нижеизложенного.

(а) Пусть задано интегральное уравнение II рода: ь

у{х) +I К{х,в)у{в)с1в = Пх). (19)

а

Основная формальная идея теории интегральных уравнений Гильберта состоит в следующем. Пусть имеется полная ортонормированная система функций {и)п(х)} та интервале (а, 6), и пусть функции у(х) и /(х) разлагаются то этим функциям на интервале (а,Ь), т. е.

ж

у{х) = Т.у^Р (х), № = ^ (20)

р=0 р=0

где

ь ь

ур = I у(г^р(г) А, ¡р = у ¡(г)юр(г)А. (21)

Подставляя разложение (20) в (19), затем умножая обе части уравнения на wq (х) и интегрируя от а до Ь с учетом ортонормированности системы функций ^п(х)}, получаем

^ ь ь

уЧ + ^ / I K(x,в)wq( х^р( в)йхв,вур = fq, 0,1,2,....

р=1 а а

Введя обозначение

ь ь

apq —

аа

ЛКх,вК( хК( ^^

последнюю систему уравнении запишем в виде

ж

у^^^З ^ ур = fq, q = ®,l,'2^,..., (22)

р

т. е. решение интегрального уравнения (19) свелось к решению бесконечной системы линейных алгебраических уравнений (22).

Обратно, подставляя вместо уч и их представления (21) в (22), перенося правую часть (22) в левую и учитывая свойство конечных интегралов и 'Шд X ф 0, имеем

у(х) + ^2 к(х, ^Ур'АЮ ^ - Нх) =

Р=1 а

Отсюда, используя разложение (20), приходим к интегральному уравнению (19).

Таким образом, решение интегрального уравнения (19) эквивалентно решению бесконечной системы линейных алгебраических уравнений (22). При этом имеются в виду только те решения этой системы, для которых

52у1 <+

р=1

т. е. система рассматривается в гильбертовом пространстве. Эти огра-

ух

и /(х) в ряд то функциям {шп(x)}•

Исследование системы (22) в гильбертовом пространстве позволяет изучить свойства уравнения (19), и наоборот.

Дальнейшие исследования других авторов [7-10] показали, что полезными в плане изучения бесконечных систем оказались не только гильбертовы пространства, но и другие пространства последовательностей, в частности пространства растущих последовательностей [7,10].

(б) Например, Ф. Д. Беркович в работах [7,10] и др. исследует бесконечную систему вида

оо

^ап-к Ъп+к1к = Сп (п=0, 1,...). (23)

й=0 к=0

Можно указать, что континуальными аналогами системы (23) являются интегральные уравнения типа свертки.

В случае, когда {ап}™^ € Ь, {Ьп}(( 6 ¡ь € к, а решение

{1п}( ищется в ¡2, т. е. в гильбертовом пространстве, система (23)

изучалась Ф. Д. Берковичем в его ранних работах. В рассматриваемых работах [7,10] система (23) изучается уже в других пространствах последовательностей, в частности в пространствах растущих последовательностей [7].

Рассматривается пространство / 8 последовательностей комплексных чисел а = {ап}жж, абсолютно сходящихся с весом ап, с нормой

ж

\\а\\к=) = I] |ап|ап, где ап = (1 + |п|)8 (п = 0, ±1,...), а в — фик-

п= — ж

сированное натуральное число. Легко показывается, что /а8 — нормированное кольцо. Кольцо /8 последовательностей {ап} изоморфно

ж

кольцу рядов Фурье А{в) = ^ апвтв, абсолютно сходящихся с

п= — ж

весом ап. Изоморфизм осуществляется соответствием

ж

а= {ап}жж ^ А(0)= ]Г апеп,

п= — ж

при этом \\А(в)\\шм = \\а\\1(^ .

В силу выбора веса ап функции А{в) го кольца будут 2п-периодическими и в раз непрерывно дифференцируемыми, причем ряд Фурье в-й производной А8 (в) абсолютно сходится.

Наряду с ¿(8 рассматривается банахово пространство Ш8 растущих последовательностей / = {/п}жж таких, что ¡п = о((1 + |п|)я) (п = 0, ±1,...), и вводится норма

||/|им = -ж8<Т<ж{(1ТЩу}-

Указывается, что пространство Ш8 является сопряженным кольцу /(т. е. (/(8)* = Ш8. Для дальнейшего изложения приведем некоторые определения. Операторы А и В соответственно определяются следующим образом:

Ар = < ак—п^Л (п = 0,1,...), В^^ Ъи+п^к \ (п = ОД,...); 1к=0 ) 1к=0 ) число а(Ы) является размерностью подпространства решений уравнения Ыр = 0.

Основную теорему, полученную Ф. Д. Берковичем в работах [7,10], можно сформулировать следующим образом.

Теорема 1. Для разрешимости системы (23) в классе т(^ необходимо и достаточно выполнение условий

ж

0, .7 = 1,2,..., а(А + В,

п=0

где {дП] } — совокупность линейно независимых решений из /(^ однородной системы

ж ж

+ Ък+п дк = 0 (п = 0,1,...), к=0 к=0

для которой система (23) является сопряженной.

(в) Много исследований бесконечных систем в пространствах последовательностей провел Ю. II. Грибанов. В частности, в своих работах [8,9] он изучал сходимость метода редукции к решению системы бесконечных уравнений по норме пространства последовательностей.

Пусть в — пространство всех бесконечных числовых последовательностей, т. е. векторов X = {хп} с бесконечным числом координат хп• н — пространство всех векторов с конечным числом, отличных от нуля координат; Е — бесконечная единичная диагональная матрица. Будем называть / с в пространством последовательностей, если

/

трем дополнительным требованиям:

1) Н С /;

2) ух|| = 0 лишь для X = {0};

3) IXу = 8ир 1РпХу,

1 ^п<ж

Рп

рица п-го порядка единичная, а все другие элементы матрицы равны нулю.

Примером пространства последовательностей, не являющегося координатным пространством, может служить пространство

а = < X е в : вир I

к=1

Хк

< оо

с нормой ^Х У = вир

1<п<то

Е Хк к

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

. Пространство

а ф [а] = <^X е а : ряд ^ хк сходится ^ .

к

Пусть в рамках пространства последовательностей / рассматривается бесконечная система линейных уравнений:

X = АХ + Н :

хт — ^ ^ атк хк ""Ь

к

(т = 1,2,...). (24)

Это значит, что матричный оператор А отображает пространство / в себя, Н е / и рассматриваются только решения системы уравнений

X е /.

Основным результатом, полученным Ю. И. Грибановым в работах [8,9], заключается в следующем.

Теорема 2. Пусть ||А|| < 1. Для того чтобы метод редукции сходился по норме пространства последовательностей к решению системы уравнений (24), необходимо и достаточно, чтобы X е [/].

(г) В работе [9] сделано весьма полезное для изучения бесконечных систем вида (16) [1], т. е. для систем, заданных в гауссовой форме.

Используя нижеописанный способ, можно получить любое число различных конкретных пространств последовательностей. Пусть

А

/аи ООО

®21 а22 О О

а31 а32 а33 О

\ ...

причем ann ф 0 (n = 1,2,...). Тогда, как нетрудно убедиться, про-

n Л

ankxk < <х > с нормой

k=i J

странство l(A) = \ X е s : sup

1 ^п<ж

WX || = sup

1<П<ж

^ ^ankxk k=l

является пространством последовательностей в описанном выше смысле.

Отметим, что пространства m и а получаются описанным способом при соответствующем выборе матрицы A. Например, m = l(E). Указано, что

Г п }

< X е l(A) : существует конечный ankXk f

k

lA

сходимости любого метода суммирования, порожденного бесконечной

ann

щей нормировке банаховым пространством последовательностей.

7. Связь бесконечных систем с краевыми задачами теории аналитических функций. В ряде работ [7,10-12] показана тесная связь бесконечных систем линейных алгебраических уравнений с краевыми задачами теории аналитических функций типа Римана, Гильберта и Карлемана.

(а) Например, в работе [11] В. С. Рогожин исследует бесконечные системы с неизвестными x^.

ж

xn = an-k xk + bn (n = 0,1,2,...). (25)

k

bn

ж

Предполагается, что A(z) = anzn регулярна для r < \z\ < R.

n= — ж

Коротко, это соответствие обозначается символом an ^ A(z). Ищется решение lim \/|жп| = Rq > г. Из элементарных свойств разложений

n—>ж

Лорана вытекают следующие теоремы.

Теорема 3. Если ап ^ А(г), Ьп ^ В (г) и существует кольцо, где А(г) и В (г) — одновременно регулярные функции, то

Эта теорема аналогична формуле свертки в теории преобразований Фурье.

Теорема 4. Пусть А(г) регулярна в кольце га < \г\ < Еа, В (г) регулярна в кольце гь < \г\ < Еь (гь > Еа) н для всех п= - -- — 1 , 0,1... выполняются равенства

При этих условиях A(z) и B(z) аналитически продолжаются в кольце ra < \z\ < Еъ п в этом кольце A(z) = B(z).

Эта теорема аналогична «общей теореме», применяемой в теории преобразований Фурье для перехода от интегральных уравнений типа свертки к задачам теории функций комплексного переменного.

С учетом теорем 3 и 4 по аналогии с методикой В. А. Фока и Хопфа и Винера решение системы (25) приводится к следующей задаче.

Найти функции X+(z) и X—(z), первая из которых регулярна для \z\ < Е, за исключением нулей функции A(z) — 1, где она может иметь полюсы порядка не выше, чем порядок соответствующего пуля функции A(z) — 1, а вторая регулярна для \z\ > r н обращается в нуль па бесконечности, если в кольце D : r < z < Е выполняется соотношение

Такую задачу, следуя Ф. Д. Гахову и Ю. II. Черскому, В. С. Рогожин предлагает называть площадной задачей.

Указано, что совокупность решений этой задачи совпадает с решениями краевой задачи Римана Х+(1)[А(1) — 1] = X-(¿), условие которой задано на окружности \г\ = г — е, где е столь мало, что в кольце

X+(z)[A(z) — 1] = X— (z).

г < \г\ < г + £ нет нулей функции А(г) — 1. Также не представляет труда и непосредственное решение площадной задачи методом, почти буквально совпадающим с методом решения задачи Римана. Оказывается, что совокупность решений площадной задачи действительно содержит такие функции Х+(г), которые имеют полюсы в пулях разности А(г) — 1.

В. С. Рогожин в работе [11] сделал замечательное уточнение. Система (25), несколько иначе записанная, как пишет В. С. Рогожин, рассматривалась в работе Я. И. Фельда [12], речь о которой пойдет ниже. Однако полное решение в этой работе не было получено. Выше уже упоминалось, что площадная задача, соответствующая системе (25), эквивалентна задаче Римана при подходящем выборе контура. Если же за контур взять окружность, лежащую в кольце г < \г\ < Е и содержащую внутри себя нули функции А(г) — 1 (С(г) в обозначениях Я. И. Фельда), то часть решений площадной задачи, а следовательно, часть решений системы (25) будут потеряны. А именно, будут потеряны решения системы (25), отвечающие решениям Х+(г), имеющим полюсы в пулях функции А(г) — 1, принадлежащих внутренности окружности, несущей краевое условие.

(б) Сохраняя обозначения Я. И. Фельда [12], систему (25) перепишем в виде

У^ AnZm-n = Бт, т > О, (26)

п=0

где Zm и Бт — заданные, Ат — неизвестные последовательности.

Для решения системы (26) Я. И. Фельд [12] прежде всего строит функции

^ ^ ^ /(т) = ^Ап-шп\ д{ю) = ^Бп^п, G(w) = YJZnWn. (27)

п=0 п=0 п=0

При этом на коэффициенты Zn и Бп он налагает такие условия, чтобы функция была голоморфна в круге < го, а С(-ы) — в кольце Г2 < М < Г1 Г = г-1 >1, го > Г2). Предполагается также, что

искомая функция /(ад) голоморфна в круге |т| < г, где г — наименьшее из чисел го и Г1, что и на самом деде выполняется. Тогда величины Лп, являющиеся коэффициентами разложения /(ги) в ряд Тейлора, можно выразить при помощи формул Коши

= <{ 4тт ¿т, п > 0, (28)

С

где с — произвольный контур (в круге |т| < г), охватывающий начало координат, который удобно выбрать лежащим в кольце Г2 < М < г. Далее, при условии выполнения равенств

дли = 0 при то < 0 (29)

С

из заданной системы (26) с учетом (27) Я. Н. Фельд получает уравнения вида

//(т)О(т) — а(т) ,

м ; Кт'+1 УК ' Зли = 0 при то > 0. (30)

С

Поэтому решение системы (26) сводится к нахождению функции /{т), удовлетворяющей уравнениям (29) и (30). Последнюю задачу, в свою очередь, легко привести к неоднородной задаче Римана (Я. П. Фельд эту задачу называет задачей Гильберта, однако это название исторически не оправдано). Применительно к рассматриваемому случаю задачу Римана удобно сформулировать следующим образом. Необходимо найти кусочно-голоморфную функцию

, ч Г Ф+(т) при т € , ч

фМ = с -' (31)

[ Ф (т) при т € в ,

где Ф+ (т) голоморфна в области внешней по отношению к контуру с, стремится к нулю при |г<;| ^ го, а Ф-( ю) голоморфна в области в-,

с

Ф+(£) = Ф-(г)С(г) - на контуре с. (32)

Здесь О(1) и д{р) — заданные на с функции, удовлетворяющие условию Гёльдера, причем О(Ь) ф 0 на с; Ф+(£) и Ф-(£) — граничные значения Ф(л) на с при стремлении л к точке £ контура с из областей и в-

соответственно. Поскольку определенные формулами (27) функции О д

Римана (31), (32), тем самым находим функцию /(л), полагая /(л) = Ф-(л).

Таким образом, решение бесконечной системы (26) сведено к задаче Римана.

(в) Выше в п. 6 указано, что Ф. Д. Беркович в своих работах [7,10] исследовал бесконечную систему (23) в пространствах последовательностей Iя и тя. Кроме этих пространств он также рассматривал пространство (л^) линейных функционалов Р(в) — обобщенных функций (о.ф.), заданных на пространстве основных функций Каждому элементу / = {/п} пространства тя ставится в соответствие о.ф. Р(в), для которой числа {/п} являются коэффициентами Фурье, при этом доказывается, что каждую о.ф. можно представить единственным образом: слабо сходящимся рядом Фурье Р{&)= £ /,

пе

п

гпв

Для дальнейшего исследования системы (23) предполагается, что {ап}, {Ьп} € /я, а свободный член с равен {сп} € тя. Решение /п ищется в тя. Доказывается, что система (23) в этих предположениях эквивалентна краевой задаче типа Карлемана в классе обобщенных функций (л^).

Действительно, введя обозначения

/+= Г /п, П > 0, ,- = Г 0, п > 0,

10, п < 0, /п \ /п, п < 0,

и пользуясь единственностью представления о.ф. Р(в) рядом Фурье, равенством Парсеваля, а также легко проверяемыми с его помощью

соотношениями

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

ж

{¥{6),е—ывЛ(6)) = 2п ]Т ап-кк

к= — ж

ж

-6),е—ывЛ{6)) = {¥{6),еывЛ(-6)) = 2п £ аи+кIк,

к= — ж

систему (23) можно переписать следующим образом:

±.(1?+(0)А(0), е-™9) + ±(1Г+(-0)В(0), е-™6)

= ±-(С(в) + Я-(в), е-™в) (п = 0, ±1,.. .)•

Последние соотношения можно рассматривать как равенства коэффициентов Фурье двух о.ф. Р+(6)Л(6) + Р+ (-6)В(6) и С(6) + Г— (6). Таким образом, приходим к задаче типа Карлемана: найти функцию (г), аналитическую внутри единичного круга , и функцию Я— (г), аналитическую во внешности единичного круга Б— н исчезающую на бесконечности, по краевому условию

Л(6)Г+(6) +В(6)Г+ (-6) = С(6) + Г— (6) (0< 6 < 2п), (33)

где Л(0), В(6) п С(6) — заданные функции, причем Л(6) п В(6) € С(6) € (и^) н предельные значения Я± (6) функций Я± (г) суть некоторые о.ф. из (ю^). При этом

Я±(6) = Я±(е'в) = Ит Я±(г)= Нт Я±(те'10),

где предел понимается в смысле сходимости в (ю^).

Исходя из краевого условия (33) и повторяя предыдущие рассуждения в обратном порядке, придем к системе (23). Таким образом, эквивалентность системы (23) и задачи Карлемана (33) доказана. При этом каждому решению задачи Карлемана (33) соответствует по формуле /„ = е~тв) (п = 0,1,...) определенное решение системы (23).

Методы решения задач типа Римана, Гильберта и Карлемана подробно изложены в фундаментальном труде Ф. Д. Гахова [13].

ЛИТЕРАТУРА

1. Федоров Ф. М. О связях бесконечных систем линейных алгебраических уравнений с некоторыми математическими структурами. I // Мат. заметки ЯГУ. 2006. Т. 13, вып. 1. С. 66-79.

2. Камке Э. Справочник по обыкновенным дифференциальным уравнениям. М.: Наука, 1971.

3. Краснов М. Л. Интегральные уравнения. М.: Наука, 1975.

4. Федоров Ф. М. Граничный метод решения прикладных задач математической физики. Новосибирск: Наука, 2000.

5. Hilbert D. Grundzuge einer allgemeinen Theorie der linearen Integralgleichungen. Leipzig; Berlin: Verl. von Teubner, 1924.

6. Математическая энциклопедия. M.: Советская энциклопедия, 1977. Т. 1. С.974-975.

7. Беркович Ф. Д. О решении одной бесконечной системы линейных алгебраических уравнений в классе растущих последовательностей // Докл. АН СССР. 1963. Т. 149, № 3. С. 495-498. "

8. Грибанов Ю. И. О методе редукции для бесконечных систем линейных уравнений // Изв. вузов. Математика. 1962. № 1. С. 28-40.

9. Грибанов Ю. И. К теории метода редукции для бесконечных систем линейных уравнений // Изв. вузов. Математика. 1964. № 5. С. 12-16.

10. Беркович Ф. Д. О решении одной бесконечной системы линейных алгебраических уравнений в классе растущих последовательностей // Уч. зап. Кабар.-Балкар. гос. ун-та. 1961. № 16. С. 83-88.

11. Гогожин В. С. Один класс бесконечных систем линейных алгебраических уравнений // Докл. АН СССР. 1957. Т. 114. № 3. С. 486-489.

12. Фельд Я. Н. О бесконечных системах линейных алгебраических уравнений, связанных с задачами о полубесконечных периодических структурах // Докл. АН СССР. 1955. Т. 102, № 2." С. 257-260.

13. Гахов Ф. Д. Краевые задачи. М.: Наука, 1977.

г. Якутск

4 декабря 2006 г.

i Надоели баннеры? Вы всегда можете отключить рекламу.