Нелинейные операторные уравнения с функциональными возмущениями аргумента нейтрального типа Текст научной статьи по специальности «Математика»

Серия «Математика»

2010. Т. 3, № 4. С. 96-113

Онлайн-доступ к журналу: http://isu.ru/izvestia

УДК 518.517

Нелинейные операторные уравнения с функциональными возмущениями аргумента нейтрального типа *

Н. А. Сидоров

Иркутский государственный университет

А. В. Труфанов

Иркутский государственный университет

Аннотация. Строятся малые решения х(і) ^ 0 при і ^ 0 уравнений с функциональными возмущениями аргумента. Методом диаграмм Ньютона нелинейное уравнение с ФВА сводится к нескольким квазилинейным уравнениям с ФВА. Решение строится в классе непрерывных функций, обладающих логарифмо-степенной асимптотикой.

Ключевые слова: функциональное возмущение аргумента, нелинейные операторные уравнения

с функциональным возмущением аргумента. Наибольший интерес представляет поведение решений х(Ь) в окрестности точек іо, в которых а(Ь о) = і0 .В работе рассматривается следующий случай: а(0) = 0, |а'(0)| = д < 1 и строятся решения х(£) ^ 0 при і ^ 0. Такие возмущения аргумента естественно назвать функциональным возмущением нейтрального типа. В литературе есть лишь частные результаты, касающиеся построения решений таких уравнений в окрестности критических точек £0.

* Работа выполнена при финансовой поддержке Федеральной целевой программы "Научные и педагогические кадры инновационной России"на 2009-2013 гг., государственный контракт №696 от 20 мая 2010.

Введение

Рассматривается операторное уравнение

F (x(t),x(a(t)),t) = 0

(G.1)

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

(0.2)

при к = 2 имеет единственное решение

1

х(Ь) = т Ь 1 2

т.к. соответствующее однородное уравнение имеет только нулевое решение. В дальнейшем будем называть этот случай регулярным. Если к = 2, то соответствующее однородное уравнение имеет ненулевое решение хо(Ь) = сЬ, где с - произвольная постоянная. Такой случай будем называть сингулярным или резонансным.

При к = 2 решением уравнения (0.2) будет функция

х(Ь) = Ь 1П Ь + сЬ.

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

х(Ь) = Ь + Ьх(2Ь)

и выбирая в качестве начального приближения Хо(Ь) = 0, получим ряд

ГО

-—- п(п + 1) .

х(Ь) = ^2^^ Ьп+1,

га=0

сходящийся только в точке Ь = 0. К этому же расходящемуся ряду приводит применение метода неопределенных коэффициентов. Поэтому разработка теории линейных и нелинейных уравнений с ФВА является интересной задачей и актуальной в связи с рядом приложений [11].

В работе предлагается общий метод, позволяющий строить малые разветвляющиеся решения нелинейных операторных уравнений с ФВА нейтрального типа в окрестности точек Ьо, в которых а(Ьо) = Ьо. На сегодняшний день теория ветвления решений нелинейных операторных уравнений хорошо развита [1, 2, 5, 14], но для уравнений с ФВА в этой части имеются лишь частные результаты [3, 4], [12]-[16]. Утверждения, приведенные в работе, являются базисом аналога теории ветвления малых решений уравнений с ФВА нейтрального типа. В отличие от классической теории ветвления, в которой точки ветвления являются алгебраическими точками ветвления и решения строятся в виде рядов

х(і) — кх (= і

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

В первом параграфе приведена процедура сведения нелинейных уравнений (0.1) к нескольким уравнениям вида

Ах(£) — Вх(а(і)) = Е(х(і), х(а(і)),і) (0.3)

с ФВА, называемым нами квазилинейными.

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

В третьем параграфе рассматриваются линейные операторно-разностные уравнения с полиномиальной правой частью

Ах(г) — Вх(г + а) = Р (г).

Исследование решений таких уравнений позволяет формулировать утверждения о структуре решений квазилинейных уравнений с ФВА (0.3).

Параграф 4 посвящен построению решений квазилинейных уравнений (0.3). Там же доказана основная теорема работы.

В работе используется терминология и методы из [7, 1].

1. Редукция к квазилинейным уравнениям с ФВА

ГО

Пусть Е1,Е2 — банаховы пространства, функция а(Ь) = ^2 ®гЬг, |а1| =

г=1

д < 1.

Рассмотрим нелинейное операторное уравнение

Е(х(Ь), х(а(Ь)), Ь) = 0, (1.1)

где Е : Е1 х Е1 х К1 ^ Е2 аналитическое нелинейное отображение в окрестности нуля, т.е.

ГО

Е(х(Ь),х(а(Ь)),Ь) = ^2 Е^кхг(Ь)х3 (а(Ь))Ьк, (1.2)

г+]+к'^1

где Е^к — степенные операторы [7] по х.

Определение 1. Если в разложении (1.2) Е1оо = 0 и Ео1о = 0, то уравнение (1.1) будем называть квазилинейным.

Покажем что замена

х(Ь) = Ье(го + и(Ь)), (1.3)

где е определяется методом диаграммы Ньютона, го — решение определенного нелинейного операторного уравнения и и(Ь) ^ 0 при Ь ^ 0 позволяет свести построение малых решений х(Ь) ^ 0 при Ь ^ 0, с порядком роста е к квазилинейному уравнению с ФВА нейтрального типа относительно функции и(Ь).

Множество индексов {г,Э,к}, отвечающих Ецк = 0, обозначим через вирр{Е}. Для построения показателя е необходимо выбрать его так, чтобы хотя бы два числа из совокупности

к + е(г + э),

где {г,Э, к} € вирр{Е}, совпадали, а остальные были не меньше их. Для этого нанесем на плоскость точки (г + Э,к), где {г,3,к} € зирр{Е}. Не ограничивая общности будем считать, что Е(0, 0, Ь) = 0, т.к. в противном случае уравнение (1.1) имеет тривиальное решение х(Ь) = 0.

Зафиксируем отрезок диаграммы Ньютона, отвечающий уравнению к + е(г + Э) = в, где е = ^ и определяется по формуле

к1 - к2

е =

(г2 + 32) - (й + Л)’

где точки (г1 + Э1,к1), (г2 + Э2,к2) принадлежат выбранному отрезку диаграммы Ньютона.

С помощью замены х(Ь) = Ьег(Ь), ^(0) = 0 приведем уравнение (1.1) к виду

Р(г(Ь), г(а(Ь))) + К(г(Ь), г(а(Ь)),Ь 1) =0, (1.4)

Iе

где

р (г(Ь),г(а(Ь))) = ^ ЕИк zг(t)z3 (а(Ь))(а,(0)У], (1.5)

{г+])е+к=в

и нелинейное отображение К имеет оценку

К(г(Ь), г(а(Ь)),Ь 1) = о(1), Уг(Ь),г(аЬ), Ь ^ 0.

Сокращая (1.5) на Ь и устремляя Ь к нулю получим для определения ^(0) уравнение

Р (г(0),г(0)) =0. (1.6)

Следуя теории ветвления [1] операторное уравнение (1.6) назовем укорочением основного уравнения (1.1), отвечающим выбранному отрезку диаграммы Ньютона.

Пусть г0 = г(0) удовлетворяет (1.6). Тогда построение малых решений уравнения (1.1) с порядком роста е > 0 сводится с помощью замены

(1.3) к отысканию функции и(Ь) ^ 0 при Ь ^ 0 из уравнения

Р (г0 + и(Ь),г0 + и(а(Ь))) + Е(г0 + и(Ь),г0 + и(а(Ь)),Ь 1) = 0. (1.7) Т.к. го удовлетворяет уравнению (1.6), то уравнение (1) принимает вид

А1и(Ь) + А2и(а(Ь)) + Е(г0 + и(Ь),г0 + и(а(Ь)),Ь ^) = 0, (1.8)

А = др(х(1),х(а(1))) | а = др|

Где А1 дх(г) 1г{г)=г{а{г))=г0, А1 дг(а(г)) 1г{г)=г{а{г))=г0

линейные ограниченные операторы и Я(г0 + и(Ь), г0 + и(а(Ь)),Ь^) =

оо оо го

= $3 ^г]0иг(Ь)и3(а(Ь)) + ^2 Х^-^киг(Ь)и3(а(Ь))Ьк/з. (1.9) г+]=2 г+]=0 к=1

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

(1.1) к квазилинейному уравнению (1) с ФВА нейтрального типа.

Теорема 1. Пусть выполнено условие (1.2) , уравнение укорочения (1.6) имеет решение г0, соответствующее отрезку диаграммы Ньютона при выбранном е > 0, пусть оператор А1 непрерывно обратим, А2 = 0, тогда уравнение (1.1) имеет решение

о

х(Ь) = ^ хгЬ%/я, хг = г0. г=г

Доказательство. Т.к. оператор А1 непрерывно обратим, А2 = 0, то коэффициенты хг определяются единственным образом методом неопределенных коэффицентов. Сходимость ряда в окрестности точки Ь =

0 легко устанавливается с помощью принципа сжимающих отображений. □

Замечание 1. Приведенные выше рассуждения можно применить и к исследованию уравнений Вольтерра

т

Р(х(а1(Ь)),..., х(ам(Ь)),Ь) + ^ К(Ь, в)С(х(а1(Ь)),..., х(ам(t)))ds = 0,

о

(1.10)

о

где аг(Ь) = $^ ацР, г = 1,...,К, имеющих важные приложения в

3=вг

энергетике [11, 13].

Отметим, что замена Ь = т5 позволяет избавиться от дробных степеней в уравнении (1). Поэтому в целях прозрачночти изложения будем предполагать, что в уравнении (1) s = 1. Далее уравнение (1) будет исследовано в общем случае, когда А2 = 0. При этом предполагается, что оператор А1 непрерывно обратим.

2. Линейные операторно-разностные системы уравнений с фредгольмовым оператором на диагонали

Пусть оператор C : E1 ^ E2 — фредгольмов, B : E1 ^ E2 — ограниченный оператор. Пусть C имеет полный B-жорданов набор {^(^}, i = 1,..., n, j = 1,...,Pi [l] , т.е. выполняются условия

CtJ^1 =0, i = 1,... ,n,

C(p(j+l) = Bip\j\ i = 1,... ,n, j = 1,.. .,pi — 1,

det < B<f(fi\^j >nj=0 = °

где C*фj = 0,j = 1,... ,n.

Рассмотрим треугольную систему из N операторных уравнений вида

Lx = в, (2.l)

где L = [Lik\i>k=JN, Lik = 0,k> i, i,k = 1,...,N,

L ___ J Baik, k ^ i 1i ai,i— 1 = 0

Lik = C, k = i ,

вектор в Є E2 x ... x E2, x Є E1 x ... x El, число N > max {pi}.

i=l,...,n

Лемма 1. Оператор L действует из EN в EN и является фредголь-мовым. При этом dimN(L) = dimN(L*) = k, где k = pl + ... + pn — B-корневое число фредгольмова оператора C.

Доказательство. Т.к. C — фредгольмов оператор, B — ограниченный, то в силу блочно-треугольной структуры оператора L, оператор L является нормально разрешимым. Осталось проверить равенство dimN(L) = dimN(L*) = k.

Для проверки этого равенства построим базисы в N(L) и в N(L*). Предварительно отметим, что если е* Є N(L), то первая его отличная от нуля кордината необходимо лежит в N(C). Следовательно, эта координата входит в множество span(^i \ ..., <рП)). Поэтому не менее

N — Рг, г = 1,... ,п первых координат соответствующих векторов е € N(Ь) будут нулями. Поэтому векторы е из N(Ь) следует искать в виде

еі

ЛЛ)

1з,з)

і = 1,рі, і = 1,

(2.2)

(з,1) (1)

где еУ’ ' = (р\ .

Подставим (2.2) в однородное уравнение Ьх = 0. Построим рекуррентным образом все ненулевые координаты вектора е?:

ЛЗ,2)

ЛЛ) _

Лі),

= ТВам -j+2N-0+ієі’ = ГВ^і аМ-j+2N -0+і

еЬ,3) =ГВ(т ч+шл#’1 + т-j+3N -о+2єі’2))

еЦ,з) = ГB(aNN-о+іЄЄ011 + ... + aNN-1еЄі'’ 1))

І = 1,Рі, і = 1,...,п,

(2.3)

где Г — регуляризатор Треногина [7] для оператора С. Элементы еУ’3\ з = 2,... ,і будут лежать в Е^-п и являться линейно независимыми. Здесь Еі = Еп ф Е1ос-п, где Еп = зрап{р(1)}, і = 1,...,п.

Таким образом, зрап{е

і = 1,...,п, і = 1,...,рі, з = 2,...,і}

лежит в подпространстве врап^-22,..., ^((Рг\ г = 1,...,п} € Е^-п. Следовательно, dгmN(Ь) = р1 + ... + рп

Построение базиса в N(Ь*) проводим аналогично. Введем однородную сопряженную систему

Ь*е* = С *

1. . 0 ' - В* 1 00 а21 0 а31 а32 ... aN і . . . aN2

. 0 . .1 . . . aNN-і

0 0 0 00

Поэтому векторы е* из N(Ь*) ищем в виде

,и,і)*

£)* =

о00)*

,і = 1,Рі, і = 1,...,п,

(ІД)* і (1)

где вУ’ = Щ

Тогда

в(з,2)* ві

Г* б*

в(з,з)* ві

аМ-3+2М-І+1 0

аМ-3+3М-І+1 аМ-3+3М-3+2

аММ-3+1

аММ-І+2

0

0

амм -1

Лз,1)*

в

(3,3-1)*

І = 2,рі, і = 1,...,п. (2.4)

□

СлЄДСТВИЄ 1. Если вектор Р (°, . . . , 0, Ртах{рі}+1і • • • , Ртах{рі}+т) ,

то система Ьх = в разрешима.

Замечание 2. Если ац-1 = 1, аіз = 0,8 = 1,...,і — 2, то в3 = [0,..., 0, <Рі3]', і = 1,... ,п, І = 1,... ,рі.

3. Линейные операторно-разностные уравнения

При построении решений уравнений вида (1) приходится решать несколько операторно-разностных уравнений с полиномиальной правой частью вида

Ах(г) — Бх(г + а) = Р (г), (3.1)

т

где г Є И, а Є И, Р(г) = ^2 Рігі — определенный полином аргумента г

і=0

степени т, коэффициенты Рі Є Е2 і = 1, т.

Решение х(г) строится в виде полинома аргумента г. Обозначим

С = А — Б.

Лемма 2. Пусть оператор С непрерывно обратим, тогда уравнение

(3.1) имеет единственное решение вида

т

х(г) = ^2 Хігі. (3.2)

і=0

Для доказательства достаточно подставить предлагаемое решение в исходное уравнение. В результате, для определения коэффициентов решения получим треугольную операторную систему с обратимым оператором на диагонали, из которой все коэффициенты решения определяются единственным образом.

Пусть оператор С фредгольмов, йітМ(С) = йітМ(С*) = п, элементы рі,, і = 1,п образуют базис пространства N (С), элементы Щ ,І = 1,п образуют базис пространства N (С *) и выполняется условие

det < Bpk, Фі >

____ = О. (3.3)

k,l=1,n

Лемма 3. Пусть dimN(C) = dimN(C*) = n, выполняется условие

(3.3), тогда уравнение (3.1) имеет решение вида

m+1

x(z) =^2 XiZ%, (3-4)

i=0

зависящее от n произвольных постоянных, где коэффициенты xm+1, ... ,x1 определяются единственным образом в указанной последовательности.

Лемма 4. Пусть dimN(C) = dimN(C*) = 1, {p(j')},j = —

B-жорданова цепочка оператора C, т.е. выполняются равенства

Cp(1) = 0,

C<p(j+1') = Bp(j, j = 1,... ,pi — 1,

< Вр(р\ф >= 0, где C*ф = 0, тогда уравнение (3.1) имеет решение вида

m+p

x(z) = ^2 XiZ%, (3.5)

i=0

зависящее от p произвольных постоянных.

Лемма 5. Пусть dimN(C) = dimN(C*) = n, и {р(^}, i = 1,... ,n, j =

1,...,Pi — полный В-жорданов набор оператора C, тогда уравнение

(3.1) имеет решение вида

m+p

x(z) = ^2 xiZi, (3.6)

i=0

где p = max {pi}, зависящее от k = p1 + ... + pn произвольных посто-

i=1,...,n

янных.

Доказательства лемм 3-5 идентичны, для этого достаточно подставить предлагаемое решение в исходное уравнение. В результате, для определения коэффициентов решения получим треугольную операторную систему с фредгольмовым оператором на диагонали, рассмотренную в предыдущем параграфе. Поэтому справедливость лемм 3,4,5 вытекает из следствия 1. Коэффициенты xi разложений (3.4),(3.5),(3.6)

можно вычислить последовательно методом неопределенных коэффициентов. При этом первым вычисляется коэффициент при старшей степени г. Произвольные постоянные, появляющиеся при вычислениях, определяются из условий разрешимости последующих уравнений системы. Детали вычислений изложены в работах [4, 8], (см. также [3, 9]).

4. Квазилинейные операторные уравнения с ФВА

Рассмотрим уравнение

Лх(Ь) — Ех(а(Ь)) = Е(х(Ь),х(а(Ь)),Ь), (4.1)

где Л,Е — линейные ограниченные операторы, действующие из банахова пространства Е\ в банахово пространство Е2, оператор А непрерывно обратим, функция а(Ь) аналитическая в точке Ь = 0 и

а(0) = 0, |а'(0)| <д< I. (4.2)

Пусть

Е(х(Ь),х(а(Ь)),Ь) =

СО СО

= Х) Е^охг(Ь)х3(а(Ь)) + ^2 ^Е^кхг(Ь)х3(а(Ь))Ьк. (4.3)

г+3=2 г+3=0 к=1

Лемма 6. Зафиксируем число 0 < д2 < 1 и выберем число так, чтобы выполнялось неравенство

д®\\Л-1Е\\ ^ д2. (4.4)

Пусть существует функция хд(Ь) такая, что выполняется оценка

\\Лх*д(г) — Ех*д(а(г)) — Е(х*д(г),х*д(а(г)),г)\\ = о(Щя), Ь ^ 0, (4.5)

тогда существуют числа р > 0, г > 0 такие, что в окрестности |Ь| < Р уравнение (4-1) имеет решение вида

х(Ь)= х*д(Ь)+ V ^, (Ч.б)

где функция V (Ь) ^ 0 при Ь ^ 0 и выполняется оценка

№II Л== ™ах №(Ь)Ы < г. (4.7)

Доказательство. Подставив решение (4.6) в уравнение (4.1) получим равенство

Ахд(і) + і^АУ (і) — Бхд (а(і)) — а(і)®БУ (а (і)) =

х*д(І)+ іЯу (і),х*д

= ії(хо(і)+ іЯу (і),хо(а(і)) + а(і)Яу (а(і)),і). (4.8)

О

Поскольку существует ограниченный обратный оператор A-1, то запишем равенство (4) в виде

V (г) = ф(у (t),t), (4.9)

где

b(V(t),t) = ^A-1BV(a(t)) — AQ- (AxQ(t) —

— Bx*Q(a(t)) — R(xQ(t) +tQv (t),xQ(a(t)) + a(t)Qv (a(t)),t)). (4.10)

Покажем, что отображение Ф^(t),t) является сжимающим. Действительно,

la(t)lQ

\MV2(t),t) — ФШ),Щ = WA^Bim^t)) — V1(a(t))\\ —

— W \\R(x*Q(t) + tQW),xQ(a(t))+ a(t)QV2(a(t)),t) —

— R(xQ(t)+ tQV1 (t),xQ(a(t)) + a(t)QV1(a(t)),t)\\. (4.11)

В силу условий (4.2) и выбора окрестности нуля Щ < р выполняется неравенство

max \\V2(a(t)) — V1(a(t))\\ ^ max \\V2(t) — V1(t)\\ = ||V> — V.\\. (4.12)

В силу условий леммы в определеной окрестности нуля выполняется неравенство

\a(t)\QWA-1BW < q2 < 1. (4.13)

В силу гладкости правой части в уравнении (4.1) можно получить оценку

W \\R(xQ(t)+ tQV2(t),xQ(a(t)) + a(t)QV2(a(t)),t) —

— R(xQ(t)+ tQV1(t),xQ(a(t)) + a(t)QV1(a(t)),t)W <

1

/В R

W dv(a(t)) (xQ(t)+ tQV2(t),xQ(a(t)) + a(t)Q9(V2(a(t)) — V1(a(t))),t) d9la'(0)tlQ WV2(a(t)) — V1(a(t))W +

1

/В R

W gV(tj(xQ(t)+ tQe(V2(t) — V1 (t)),xQ(a(t)) + a(t)QV1(a(t)),t)W

ddltlQWV2(t) — V1(t)W. (4.14)

Выбрав окрестность нуля Щ ^ р4 обеспечим выполнение неравенства

1|А-1\

|t|Q

MR(xQ(t)+ tQV2(t),xQ(a(t)) + a(t)Q V2(a(t)),t) —

— R(xQ(t)+ tQV1(t), xQ(a(t)) + a(t)QV1(a(t)),t)W < . (4.15)

Тогда, при Щ ^ min(p,p4), с учетом (4.12), (4.13), (4), (4) получим

ЦФШ)^) — ФШШ < WV2 — V1W. (4.16)

Покажем, что отображение Ф(V(t), t) не выводит нас из шара WVЦ ^

г.

Воспользуемся неравенством треугольника

I|Ф(V(t),t)W < |^(V(t),t) — Ф(0,t)W + ЦФ(0,т. (4.17)

В силу условия леммы (6), функция Ф(0^) ^ 0 при t ^ 0. Выберем число р5 > 0 так, чтобы при Щ < р5 выполнялось неравенство

ЦФ(0,t)W < (1 — 1-+1 )r.

Следовательно,

l^(V(t),t)W < .. max ) WV(t)W + (1 — ) max WV(t)W. (4.18)

2 Щ^тш(р,р4) 2 |t|^P5

Положим р = min(p, р4, р5), тогда

l^(V(t),t)W < max WV(t)W = r. (4.19)

щ^р

Таким образом, отображение Ф^(t),t) является сжимающим в шаре WVW ^ r при Щ ^ р и функция V(t) может быть построена последовательными приближениями вида

Vn(t) = Ф(^-1(t),t),n = h 2,..., (4 20)

Vo(t) = 0. (4.20)

□

Построение начального приближения xQ(t). Функцию xQ(t) будем строить в виде

Q

xQ(t) = J2 xs(inms. (4.21)

s=1

Поскольку выполняются условия (4.2), то при малом Ь справедливы равенства

а(Ь) = а'(0)Ь + (а(Ь) — а'(0)Ь),

1и1а(Ь)1 = 1и1а/ (0)| + ЫЩ + Ы(1 + ) = (4.22)

= Ы1а'(0)1 + ЫЩ + в1Ь + в2Ь + ...,

где числа вг являются коэффициентами разложения

™ = Ш +)

в ряд Маклорена.

Подставим представление функции (4.21) в уравнение (4.1), учтем равенство (4.22) и получим

Я Я

Л^^хэ(ЫЩ)Ь5 — Е^2хз(Ы1а'(0)1 + ЫЩ + в1Ь + /32Ь2 + .. .)■

8=1 5=1

■ (а'(0)Ь + (а(Ь) — а'(0)Ь)У =

Я Я

= х 8 (ЫЩУ'в ,^2 хз(Ы1а(Ь)1)а(Ь)8, Ь). (4.23)

8=1 8=1

Заметим, что 1 дг

~д¥(Ех*(Ща Щ + г + в(Ь))а(Ь)г)

г=о

1 дг ■ ■

= й д¥ (Еа (0)гЬгхг(Ы1а (0)| + г + в(Ь)))

= Еа,(0)гxг(Ы|а,(0)| + г). (4.24)

Уравнения для определения коэффициентов хг(ЫЩ) полинома х*я(Ь) можно выделить или при помощи метода неопределенных коэффициентов, или по следующей формуле

Лхг(г) — а' (0)г Ех^Ы^а' (0)| + г) =

г-1

-( Е

г. дЬ г-1 г-1

1 дг /

= г.. д¥ {Е^хзУМа'Щ + г + в(Ь))а(Ь)8+

8=1

+ «(Т. х8(гУ8 ^х s(ln|а'(0)| + г + в(Ь))а(ЬУ, Ь)^

8=1 Э=1

г=о

г = 1, 2,..., (4.25)

где г = 1пЩ.

Заметим, что правая часть в (4) зависит от коэффициентов, определенных на предыдущих шагах в = 1, 2,... ,г — 1, и поэтому является полиномом аргумента 1пЩ.

Проводя данную процедуру дифференцирования, мы выделяем те члены равенства (4), которые соответствуют членам порядка Ьг при разложении соответствующих функций, вектор-функций и отображений в ряды Тейлора.

Для решения линейных уравнений (4) можно применить утверждения лемм 2,3,4,5 и определить сколь угодно много коэффициентов хг(1пЩ) искомого полинома х*я(Ь).

Найдем такое число Я коэффициентов хг(1пЩ), чтобы для 0 < д2 < 1 выполнялось неравенство

^'^ЦЛ^ЕЦ <д2 < 1.

Тогда на основании леммы 6 исходное уравнение (4.1) имеет в некоторой окрестности нуля решение

х(Ь) = х*я(Ь)+ Ья V (Ь),

где функция V(Ь) ^ 0 при Ь ^ 0 и может быть построена последовательными приближениями вида (4.20).

Таким образом доказана основная теорема работы:

Теорема 2. Пусть в уравнении (4-1) оператор Л непрерывно обратим, а(0) =0, |а'(0)| < д < 1. Выберем Я так, чтобы

^'^ЦЛ^ЕЦ <д< 1.

Пусть а(Ь), Е(х(Ь),х(а(Ь)),Ь) обладают гладкостью порядка Я в некоторой окрестности нуля. Пусть число X = 0 является регулярной точкой или изолированной фредгольмовой точкой семейства операторов

С (г) = Л + (Х — а'(0)г)Е, г = 1,2,...,д. (4.26)

Тогда уравнение (4-1) имеет решение вида

Я

х(Ь)^ хг(1п Щ)Ьг + Ьяу(Ь). (4.27)

г=1

Здесь коэффициенты хг(1п |Ь|) определяются единственным образом, если X = 0 является регулярной точкой всех операторов С (г), г =

1,... ,Я. Если X = 0 — регулярная точка операторов С (г), г = 1,..., з —

1,3 ^ Я, и изолированная фредгольмова точка оператора С(з), то коэффициенты х1,..., х^-1 определятся единственным образом, а последующие коэффициенты х^(1п Щ),..., хя(1п |Ь|) будут полиномами аргумента 1п Щ, зависящими от свободных параметров. Функция V(Ь),

входящая в решение (4.27), определится методом последовательных приближений и удовлетворяет оценке \\У || = о(1) при Ь ^ 0.

Замечание 3. От требований аналитичности в формулиловке этой теоремы мы отказались, т.к очевидно,что для построения решения достаточно требовать гладкость порядка Я в некоторой окрестности нуля.

Пример. Пусть в интегро-функциональном уравнении

1

V3(Ь, y)+aV(дЬ, у)^2(Ь, У)+! К(У, в)/(V(Ь, в)^(дЬ, в),Ь, в)йв+Ъ(Ь, у) =0

о

(4.28)

число ^ < 1, функции К(у,в),Ъ(Ь,у), /(у1,У22,Ь,в) - непрерывные по всем аргументам. Пусть

/(V(Ь,в)^(дЬ, в),Ь, в) = ^ /гк(Ь,в^г(Ь,в^к(дЬ,в),

г+к'^4

Ъ(Ь,У> = ^ Ъг (У)Ьг.

г^э

На основании изложенной методики, будем искать решение уравнения

(4.28) в виде

V(Ь, у) = Що(у)+ Ь2^(у) + У2(у)1п |Ь|)+ о(Ь2), (4.29)

где Ь ^ 0. Подставляем (4.29) в уравнение (4.28) и пользуясь методом неопределенных коэффициентов получим следующие уравнения для определения функций Уг(у), г = 0,1, 2.

V) + адЦО + Ъз(у) = 0,

(3 + 2ад + ад2)Ц!2¥2 = 0,

(3 + 2ад + ад2^^1 + аУо 1п ^^2 + Ъ4(у) = 0. Следовательно,

V) = —()1.

1 + ад

При вычислении У2, VI возможны два случая:

Случай 1. 3 + 2ад + ад2 = 0.

Тогда Ъ = °, П(у> = — (3+2аЬд41ад2)У2 .

Случай 2. 3 + 2ад + ад2 = 0.

Тогда V2(y) = — аУ\(^\д\, а функция V1(y) остается произвольной.

Решению (4.29) отвечает квазилинейное уравнение вида (0.3), в котором Л = 3V02 + 2адУо2, Е = aдV02. Чтобы воспользоваться основной

теоремой, будем предполагать, что Ъ3(у) = 0 при 0 ^ у ^ 1. Тогда случай 2 означает, что уравнение

Ь(г) 3 + 2ад + дга = 0

имеет в N единственное решение г = 2 и реализуется при а = — ^ .

Таким образом, если Ъ3(у) = 0 при 0 ^ у ^ 1, то Л — дгЕ = 0 при г = 3, 4,..., и на основании доказательства основной теоремы решение

(4.29) раскладывается в логарифмо-степенной ряд

V (Ь, у) = Що (у) + Ь2 (V,1_(у) + У2(у) 1п Щ) + ^ Уг(у, 1п Щ)Ьг,

г'^3

где в случае 1 коэффициенты Vг зависят только от переменной у, V2 =

0. В случае 2 Vl(y) остается произвольной функцией, коэффииценты Vг,г = 3, 4,..., являются полиномами 1п |Ь|, зависят от выбора функции Vl(y) и могут быть вычислены методом неопределенных коэффициентов.

Заключение

Метод, изложенный в этой работе, позволяет доказывать теоремы существования и строить параметрические семества вещественных решений уравнения (0.1) в виде

я ■ о

х(Ь) = Ь* (го + ^2 хг(1п |Ь|)Ь* + о(Щ * ».

г=1

Метод может быть применен для построения теории разветвляющихся решений более общих операторно функциональных уравнений Воль-терра вида (1.10). Некоторые результаты в этом направлении есть в работах [3, 15]. Кроме того, данная методика позволяет изучить решения операторно-функциональных уравнений с ФВА нейтрального типа и в случае возмущений нескольких аргументов [10].

Список литературы

1. Вайнберг М. М. Теория ветвления решений нелинейных уравнений / М. М. Вайнберг, В. А. Треногин. - М. : Наука, 1969. - 527 с.

2. Логинов Б. В. Теория ветвления решений нелинейных уравнений в условиях групповой симметрии / Б. В. Логинов. - Ташкент : ФАН, 1985. - 184 с.

3. Сидоров Н. А. Построение обобщенных решений нелинейных интегро-дифференциальных уравнений / Н. А. Сидоров, Д. Н. Сидоров, А. В. Труфанов // Вестн. МАГУ. Математика. - 2005. - № 8. - С. 123-138.

4. Сидоров Н. А. Структура решений линейных операторных уравнений c функциональным возмущением аргумента I Н. А. Сидоров, А. В. Труфанов II Тр. Средневолж. Мат. о-ва. - 2006. - Т. 1, № 8. - С. 104-109.

5. Сидоров Н. А. Общие вопросы регуляризации в задачах теории ветвления I Н. А. Сидоров. - Иркутск і Изд-во ИГУ, 1982. - Гл. 4.

6. Сидоров Н.А. Нелинейные операторные уравнения с функциональным возмущением аргумента нейтрального типа I Н. А. Сидоров, А. В. Труфанов II Дифференц. уравнения. - 2009. - Т. 45, № 12. - С. 1804-1808.

7. Треногин В. А. Функциональный анализ I В. А. Треногин. - M. і Физматлит, 2002. - 488 с.

8. Труфанов А. В. Квазилинейные операторные уравнения с функциональными возмущениями нейтрального типа I А. В. Труфанов II Вестн. Самар. гос. техн. ун-та. - 2007. - № 2 6). - С. 104-109.

9. Труфанов А. В. Нелинейные операторные уравнения с функциональным возмущением аргумента I А. В. Труфанов II Изв. Иркут. гос. ун-та. Сер.; Математика. - 2007. - T. 1. - С. 308-321.

10. Труфанов А. В. Линейные операторные уравнения двух переменных с функциональными возмущениеми аргументов I А. В. Труфанов, О. В. Бровко II Труды III межвузовской зональной конференции, посвященной памяти проф. Б. А. Бельтюкова. - Иркутск, 2007. - С. 72-74.

11. Apartsyn A. S. Nonclassical Linear Volterra Equations of the First Kind I A. S. Apartsyn. - VSP Brill Academic Publishers і Zeist, 2003. - 195 p.

12. Baron K. Analytic solutions of a system of functional equations I K. Baron, R. Ger, J. Matkowski 11 Publs. math. - 1975. - Vol. 22, N 3-4. - P. 189-194.

13. Denisov A. M. Existence results and regularisation techniques for severely iss-posed integro-functoinal equations I A. M. Denisov, A. Lorenzi II Universita degli studi di Milano, quardno. - 1996. - N 9. - P. 14.

14. Lyapunov-Schmidt Methods in Nonlinear Analysis and Applications I N. Sidorov [et al.] - Kluwer Academic Publishers і DordrechtIBostonILondon, 2002. - P. 547.

15. Sidorov N. A. Generalized solutions of nonluinear integral-functional equations I N. A. Sidorov, D. N. Sidorov, A. V. Trufanov II Nonlinear boundary problems. -2006. - Vol. 16. - P. 96-106.

16. Smajdor W. Local analytic solutions of functional equations I W. Smajdor II

Annal Polon. math. - 1967. - Vol. 19, N 1. - P. 37-45.

17. Smajdor W. Local analytic solutions of functional equations I W. Smajdor II

Annal Polon. math. - 1970. - Vol. 24. - P. 39-43.

N. A. Sidorov, A. V. Trufanov Nonlinear operator equations with functionaly modified argument.

Abstract. Local solution of equation with functionaly modified argument is found. Method of Neuton’s diagramm is used to consider the nonlinear operator equation with functionaly modified argument. The local solution is built in a class of continious function with logariphmic asymptoty.

Keywords: functionaly modified argument, nonlinear operator equation

Сидоров Николай Александрович, доктор физико-математических наук, профессор, Институт математики,экономики и информатики, Иркутский государственный университет, 664000, Иркутск, ул. К. Маркса,

1 тел.: (3952)242210 (sidorovisu@gmail.com)

Труфанов Андрей Викторович, Институт математики,экономики и информатики, Иркутский государственный университет, 664QQQ, Иркутск, ул. К. Маркса, 1 тел.: (3952)24221Q (atrufanov@mail.ru)

Sidorov Nikolay, Irkutsk State University, l, K. Marks St., Irkutsk, 664QQ3 professor, Phone: (3952)24221Q (sidorovisu@gmail.com)

Trufanov Andrey, Irkutsk State University, l, K. Marks St., Irkutsk, 664QQ3 Phone: (3952)24221Q (atrufanov@mail.ru)