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

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

CC BY
46
10
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
функциональное возмущение аргумента / жордановы наборы

Аннотация научной статьи по математике, автор научной работы — А. В. Труфанов

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

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

Nonlinear operator equations with functionally modified argument

Nonlinear operator equation with functionally modified argument is considered. It is shown under which conditions the only analytical solution exists. In irregular case we have a branch of solutions and any solution from the branch has a logariphmicpolinomial approximation. It is shown that the number of free parameters of a branch of solutions depends on equation coefficients Jordan structure.

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

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

Том 1 (2007), № 1, С. 308-321

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

ИЗВЕСТИЯ

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

УДК 517.983

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

А. В. Труфанов (atrufanov@mail.ru)

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

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

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

Введение

Исследуются нелинейные операторные уравнений вида

А(г)х(г) - в(г)х(а(г)) = я(х(г), х(а(г)), г), (0.1)

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

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

Ах(г) - кВх(г + а) = Рт(г), (0.2)

где А, В - линейные ограниченные операторы, действующие из банахова пространства Е\ в банахово пространство Е2, числовой аргумент г Е Я,

* Работа выполнена при финансовой поддержке ИГУ (грант №111-02-000/7-05).

число а € И, правая часть

т

Рт(г) = ^2 рт^

г=0

определенный полином аргумента г степени т, коэффициенты Рт € Е2 г = 1, т, искомое решение х(г) € Е\.

В параграфах 1,2 приведено изучение уравнения (0.2). Уравнение (0.2) рассматривается, как в случае непрерывной обратимости оператора А — кВ, так и в случае наличия у оператора А — к В фредголь-мовой особой точки и полного В-жорданового набора присоединенных элементов.

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

1. Регулярный случай, оператор А — кВ непрерывно обратим

Рассматривается задача (0.2). В случае непрерывной обратимости оператора А — кВ, естественным шагом является построение решения х(г) в виде полинома аргумента г степени т.

Лемма 1. Пусть оператор А — кВ непрерывно обратим, тогда уравнение (0.2) имеет единственнное решение вида

т

х(г) = ^2 хг\ (1.1)

г=0

Доказательство. Подставим решение (1.1) в уравнение (0.2) и путем несложных преобразований получим следующую последовательность

(А — кВ)х з = кВ у ' аг-3хг + Рт, 3 =0,...,т. (1.2)

' 4+! 3-(г — 3)! 3

В силу предположения обратимости оператора А — кВ, все уравнения системы (1.2) разрешаются единственным образом. Для определения коэффициентов решения хт,... ,х\,хо достаточно разрешать уравнения системы (1.2) последовательно, начиная с уравнения

(А — кВ)хт = Р

т. т.

Таким образом, все коэффициенты решения хт,... ,х\,хо определяются единственным образом. □

2. Нерегулярный случай, оператор А — кВ фредгольмов

Пусть в уравнении (0.2) оператор С = А — кВ фредгольмов. Рассмотрение этого случая разобьем на три подслучая:

— оператор С не имеет В-присоединенных элементов,

— размерность пространств йгтИ(С) = йхтИ(С*) = 1 и оператор С имеет В-жорданову цепочку длины р,

— оператор С имеет полный В-жорданов набор.

2.1. ОПЕРАТОР С НЕ ИМЕЕТ В-ПРИСОЕДИНЕННЫХ ЭЛЕМЕНТОВ

Пусть размерность йгтИ(С) = йгтИ(С*) = п, элементы = 1,п образуют базис пространства N (С), элементы ф ,3 = 1,п образуют базис пространства N (С *), и

det(<B^i,фj >) = 0,г,з = 1,п. (2.1)

Лемма 2. Пусть dimN(А — кВ) = dimN((А — кВ)*) = п, и оператор А — кВ не имеет В-присоединенных элементов, тогда уравнение (0.2) имеет решение вида

т+1

х(г) = хггг, (2.2)

г=о

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

Доказательство. Подставим решение (2.2) в уравнение (0.2). Полученное равенство продифференцируем т +1 раз по г, полагая на каждом шаге г = 0. В результате получим систему уравнений

Схт+1 = 0

Схт = кВ(т + 1) ах т+1 + Р^

т+1

Схз = кВ( £ а- х3)+ Р3р,3 = 2,3,...,т — 1

*=з+1{ЛЛ (2.3)

т+1 I _ 1 Сх1 = кВ( £ тгтгЧу а3 1Xs) -

в=2 Л '' т+1

Схо = кВ(Е ша3хз) + Р0т

3=1

С учетом обозначения ^гз = ктт—]——).аг 3, г = 1,т + 1, 3 =

0,г — 1 система уравнений (2.3) примет вид

' Cxm+1 = 0 Cxm = B (Yioxm+i) + Pm Cxm-i = B(Y20Xm+1 + Y2 lXm) + P^-1

Cxj = B(Y(m+1-j) 0xm+1 + • • • + Y(m+1-j) (m-j)xj+1) + j ^^

Cxi = B (Ym 0 xm+1 + • • • + Ymm—1x2) + P™ „ Cxo = B(Ym+10xm+1 + • • • + Ym+1 mx1) + Р^ •

Из первого уравнения системы (2.4) получим

xm+1 = с1^1 + • • • + Cln p^

Из второго уравнения системы (2.4) получим

n

xm = c1<P1 + • • • + еП<Рп + Y10rB c1pi + rpm

i=1

где Г — оператор Шмидта[1] для оператора C. Условие разрешимости второго уравнения имеет вид

Y10 <Bp1,^j >c1 + • • • + < Bpn, Фj >сП = - < Pm, фj >, j =

В силу условия (2.1) константы с1, • • • ,сП определяются единственным образом.

Из третьего уравнения системы (2.4) получим

/ п п

xm-1 = c1<f1 + • • • + сП<Рп + (rBH Y20 £ с1 Pi + Y21 £ c2pi +

v i=1 i=1

n

+Y21Y10 £ c1pi + Y21rpm) + rPm-1 •

i=1

Условие разрешимости второго уравнения имеет вид Y21 ( < Bp1^j > c1 + • • • + < Bpn, Фj > n =

, n n S

= - < B(Y20 £ c1pi + Y21Y10(rB) £ c1pi + Y21Y10rpm + РЦ-Л ,Ф3 >, v i=1 i=1 ' j = 1,---,n-

В силу условия (2.1) константы c21, • • • , c2n определяются единственным образом.

Поскольку в уравнении для определения коэффициента xj участвуют только коэффициенты xj+1, • • •, xm+1, определенные на предыдущих шагах, то продолжая рассуждения можно выписать все оставшиеся коэффициенты решения. Условия разрешимости оставшихся уравнений

системы (2.4) единственным образом определят константы с1,...,сП, ..., Ст+1, ■ ■ ■, С+1, соответственно. Таким образом, коэффициент хо решения х(г) будет зависеть от п свободных постоянных Ст+2,..., Ст+2, а коэффициенты Х1,..., хт+1 решения определятся единственным образом. □

2.2. Оператор С имеет В-жордлнову цепочку длины р

Пусть размерность йгшИ(С) = йгшИ(С*) = 1, и оператор С имеет В-жорданову цепочку {^(^}Р=1 длины р, т.е. выполняются равенства

Ср(1) =0; С^ = В^-1\г = 2,....

(2.5)

< Вр(Г),ф >=0, г = 1,...,р — 1; < В^>(р),ф >=0,

(р)

(2.6)

где функционал ф такой, что С*ф = 0. Выберем, без ограничения общности, ф так, чтобы < Вр(р),ф >= 1.

Лемма 3. Пусть йгшЫ (А — к В) = йгшЫ ((А — кВ)*) = 1, и оператор А — кВ имеет В-жорданову цепочку длины р, тогда уравнение (0.2) имеет решение вида

т+р

Ф) =

хг%

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

(2.7)

i=0

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

Доказательство. Подставим решение (2.7) в уравнение (0.2). Полученное равенство продифференцируем ш + р раз по г, полагая на каждом шаге г = 0. В результате получим систему уравнений

Схт+р = 0

Схт+р-1 = кВ (ш + р) ах т+р

т+р | (

Схт+1 = кВ(^=т+2 (т+1)!(/-(т+1))!а8-(т+ 'хз) т+р

Схт = кВ(

в=т+1

т+р

(т)!(э—(т))!

8-(т)х3) + р

т т

(2.8)

Сх1 = кВ(Т. ЦТ—Га3-1х3) + рт в=2 ( ) т+р

Схо = кВ(Е от?Ох3) + Рот 8=1

р

и

8!

УРАВНЕНИЯ С ФУНКЦИОНАЛЬНЫМ ВОЗМУЩЕНИЕМ АРГУМЕНТА 313 С учетом обозначения Yij = кmm—p—L^..ai—j, i = l,m + p, j =

0,i — l система уравнений (2.7) примет вид

CXm+p — 0

CXm+p— 1 = B(Yl0Xm+p] C Xm+p— 2 = B (j20Xm+p + Y2lXm+p-l)

< Cxm+1 = B(Yp-ioXm+p + ••• + Yp-1 p-2Xm+2) (2.9)

Cxm = B (Yp 0Xm+p + ... + Ypp-lXm+l) + P^

CX 1 = B(Ym+p — 10Xm+p + ... + Ym+p— 1 m+p— 2X2) + Pm

„ Cx0 — B (Ym+p 0Xm+p + ... + Ym+p m+p— Pom

Будем разрешать уравнения системы (2.9) последовательно, начиная с уравнения

CXm+p — 0.

С учетом равенств (2.5), выпишем решение системы (2.9) Xm+p = Cip(1)

Xm+p-1 = С2Р(1) + (Y10C1) P(2)

&m+p-1 2

Xm+p—2 = C3P(1) + (Y20C1 + Y2 1C2) P(2) + (Y2 1Y10C1) p(3) 4-v-' 4-v-'

&m+p-22 0"m + p-2 3

Xm+p—3 = C4P(1) + (Y30C1 + Y3 1C2 + Y32C3) P(2)

4-v-'

&m+p-2 2

+ ((Y31Y10 + Y3 2Y2 0)c1 + Y32Y21C2) P(3) + (Y32Y21Y10C1) p(4)

ч___✓ ч___✓

V ss

&m+p-33 Cm+p-34

Xm+1 = CpP(1) + CTm+12P(2) + ... + ^m+1 pP(p)

Xm = Cp+1^(1) + am 2P(2) + ... + ^mpP(p) + amp+^ Bp(p)+FPm,

где aij - определенные линейные комбинации констант

С1,... ,C(m+p—i)+(2—j), i = m + p — l,..., 0 , j = 2, 3,..., (m + p + 1 — i),

Г - оператор Шмидта [1].

Заметим, что диагональные коэффициенты aij, i + j = m + p + 1 определяются формулой

(2.10)

j—1

ai j =

(ak)m+p—i(m + p)!

С1П Y—1 = C1^-^ZZi, i + j = m + p + 1. (2.11)

Hi

ij i!

s=1

Условия разрешимости первых р уравнений системы (2.9) выпоняют-ся при любом выборе констант с\,... ,ср в силу равенств (2.6). Условие

разрешимости (р + 1)-го уравнения системы (2.9) имеет вид

< В(^р охт+р + ... + Ър-1%т+1) + Рт, Ф >= 0. (2.12)

С учетом равенств (2.6) условие (2.12) можно записать в виде < 7р+1 р°т+1 Рвф(р\ф >= - < рт, ф >,

< С17Р+1 рЪР-1 ...71оВф(р\ф >= - < Рт,Ф >,

(ак)р(ш + р)! п,(р) , ^т ,

—~т\— < вф(р),ф >= - < рт,Ф > .

Для разрешимости (р + 1)-го уравнения системы (2.9) необходимо зафиксировать константу С1 значением

= -т\<Рт-Ф > . (2.13)

1 (ак)р(т + р)\ у '

Продолжая рассуждения можно выписать оставшиеся коэффициенты решения. Каждое из условий разрешимости последних т уравнений наложит условие на константы с2,...,ст +1 соответственно. При этом решение будет зависеть от р произвольных постоянных ст+2,..., ст+р+1. Так как коэффициенты хт+р,... ,хр зависят только от констант С1,..., ст +1, то они будут определены единственным образом.

2.3. Оператор С имеет полный В-жордлнов набор.

Пусть в уравнении (0.2) оператор С = А - кВ фредгольмов,

йгтИ(С) = йгтИ(С*) = п, и оператор С имеет полный В-жорданов

набор г = 1,... ,п, ] = 1,... ,рг т.е. выполняются равенства

С^ =0; = В^(3-1),г = 1,...,п,3 =2,-..,рг (2.14)

ае1;|| <В^\ф3 > ШП=1 =0, (2.15)

где функционалы ф^, 3 = 1,... ,п образуют базис пространства нулей оператора С *. Выберем, без ограничения общности, функционалы ф^, 3 = 1,... ,п так, чтобы

<В^р\фз >= 5г3, г,3 = 1,...,п,

где 5ц = I 1 г = 3 - символ Кронекера. I 0, г = З

Лемма 4. Пусть оператор А — кБ фредгольмов и выполняются равенства (2.14),(2.15), тогда уравнение (0.2) имеет решение вида

т+р

х(г) хггг, (2.16)

г=0

где р = шах{'рг}, г = 1,... ,п, зависящее от к = р1 + ... + рг произвольных постоянных.

Доказательство. Общий ход доказательства утверждения леммы 4 аналогичен ходу доказательства утверждения леммы 3. □

3. Нелинейные операторные уравнения с ФВА.

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

А(Ь)х(Ь) — Б (Ь)х(а(Ь)) = Е(х(Ь),х(а(Ь)),Ь), (3.1)

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

а(0) = 0, |а'(0)| <д< 1. (3.2)

Пусть оператор Л(0) непрерывно обратим,

А(0) = 0, Б(0) = 0. (3.3)

В силу условий (3.2) и аналитичности функции а(Ь) всегда можно выбрать окрестность нуля Щ < р1 так, чтобы выполнялось неравенство

|а(Ь)| <дЩ. (3.4)

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

||А(Ь) — А(0)|| < цА(0)-1и. (3.5)

В силу аналитичности оператор-функции А(Ь) в смысле Фреше, это всегда можно сделать. Тогда в этой окрестности нуля существует оператор А(Ь)-1 и выполняется следующая оценка его нормы

||А(Ь)-1||< ||А(0)-1||. (3.6)

1 — 91

Действительно, запишем оператор A(t) в виде

A(t) = A(0) + A(t) - A(0) = A(0) [i + A(0)-1(A(t) - A(0))'

Будем строить оператор A(t)-1 в виде

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

i г i 1-1 i

A(t)-1 = I + A(0) (A(t) - A(0)) A(0)-1.

В силу неравенства (3.5) и утверждения теоремы об операторе (I — С)-1[1] оператор [I + А(0)-1(А(Щ) — А(0))] существует и его норму можно оценить неравенством

I + A(0) (A(t) - A(0))

1

<

1 - qi

Так неравенство (3.6) справедливо в окрестности \Щ\ < р2.

Пусть норма \\В(0)\\ < Ь, тогда, в силу аналитичности оператор-функции В(Щ), существует окрестность нуля \Щ\ < рз в которой выполняется оценка

\\В (Щ)\\<Ь. (3.7)

Пусть нелинейное отображение Я(х(г),х(а(г)),г) : Е1ХЕ1Х [—Т, Т] ^ Е2 является аналитическим по всем своим аргументам в окрестности точки (0, 0, 0), пусть

Я(х(0),х(0), 0) = 0, (3.8)

и

дЩ '(0'0'°) = дх(а(г)) '(0'0'°) =0'

Тогда отображение Я(х(Ь),х(а(Ь)),1) можно представить в виде

^ те

Е(х(Ь),х(а(Ь)),1) = ^2 Е Ягзкх(Ь)гх(а(Ь)У. (3.9) к=1 г+^0

Нашей задачей является построение решения уравнения (0.1) в заданной окрестности нуля \Щ\ < р, где р = шги(р1, р2, р3).

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

< ,2' (3.10)

1 — ,1

Пусть существует функция х^(Ь) такая, что выполняется оценка \\А(г)х*я(г) — В(г)х*я(г) — Е(х*д(г),х*д(а(г)),г)\\ = а(г% г ^ 0, (3.11)

1

тогда существут числа р > 0, r > 0 такие, что в окрестности |t| < р уравнение (0.1) имеет решение вида

X(t)= X*Q(t)+ tQV (t), (3.12)

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

\\V II = mm ax\\V (t)\k < r. (3.13)

\t\<p

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

A(t)XQ(t) + tQA(t)V (t) — B(t)XQ(a(t)) — a(t)QB(t)V (a(t)) =

= R(XQ(t)+ tQV (t),XQ(a(t)) + a(t)QV (a(t)),t). (3.14)

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

V (Щ) = Ф^ (t),t), (3.15)

где

$(V (t),t) = ^ A(t)—lB(t)V (a(t)) — ^Q1 (A(t)XQ(t) — —B(t)XQ (a(t)) — R(XQ(t)+ tQV (t),XQ(a(t)) + a(t)QV (a(t)),t)).

(3.16)

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

IIФ(V2(t), t) — Ф(V1 (t), t) \ = ^\A(t)—1B(t)\\V2(a(t)) — V1(a(t))\ —

— AP \\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)\\.

(3.17)

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

maX \\V2(a(t)) — V1(a(t))\\ < maX \\V>(t) — V1(t)\\ = V — V1\\. (3.18)

\t\<p \t\<p

В силу условий (3.4),(3.6),(3.7) и выбора окрестности нуля Itl < р выполняется неравенство

|Q\A(t) —1B(t)\ < qQft;\A(0)—1" < ?2 < 1, w< р. (3.19)

щ 1 — Q1

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

AQ11 \\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)\\ = (3.20)

< \\^(V1(t),V1 (a(t)),V2(t),V2(a(t)),t)\\ • \\V2 — V1W,

где

\\R(Vi(t),Vl(a(t)),V2(t),V2(a(t)),t)\ = о(1), t ^ 0. (3.21)

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

\R(V1(t),V1(a(t)), V2(t),V2(a(t)),t)\\ < . (3.22)

Тогда, при \t\ < min(p, p4), с учетом (3.18), (3.19), (3.20), (3.22) получим

\№V2(t),t) - фШШ < (1+2)\\V2 - Vi\. (3.23)

Покажем, что отображение Ф^(t),t) не выводит нас из шара \\V\\ < r. Воспользуемся неравенством треугольника

MV(t),t)\\ < MV(t),t) - Ф(0^)\\ + \\Ф(0,т. (3.24)

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

\\Ф(0,Щ< (i - Ц^ )r.

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

№(V(t),t)\\< max ) \\V(t)\\ + (1-) riiax \\V(t)\\. (3.25)

2 \t\<mm(p,p 4) 2 \t\<P5

Положим p = min(p, p4, p5), тогда

\MV(t),t)\\< max \\V(t)\\ = r. (3.26)

\t\<P

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

Vn(t) = Ф^п-1Ш),П = 1, 2,...,

Vo(t) = 0. (327)

Определение 1. Функцию xQ(t) будем называть асимптотикой порядка Q решения x(t) уравнения (0.1), если выполняется оценка

\\x(t) - x*Q(t)\\ = o(tQ), t ^ 0.

УРАВНЕНИЯ С ФУНКЦИОНАЛЬНЫМ ВОЗМУЩЕНИЕМ АРГУМЕНТА 319 Асимптотику хд(Ь) будем строить в виде

Я

хШ = Е х3(1пЩ)13. (3.28)

8=1

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

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

1п1а(Ь)1 = 1п|а'(0)| + 1пЩ + 1п{1 + ) = (3.29)

= 1п|а'(0)| + 1пЩ + № + в2Ь + ...,

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

«.) = Ш(1 + )

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

Подставим представление асимптотики (3.28) в уравнение (0.1), учтем равенства (3.29) и получим

А(0) Е х.3(1пЩ)Ь8 + (А(Ь) — А(0)) Е х5(1пЩ)Ь8—

8=1 8=1

Е

—Б(0) Е х8(1п|а'(0)| + 1пЩ + в1Ь + в2Ь2 + ...)

8=1

Е

(а'(0)Щ + (а(Ь) — а'(0)Щ))8 — —(Б(Ь) — Б(0)) Е Xs(ln|a(t)|)a(t)s =

8=1

= Е( Е х.3(1пЩ)Г, Е х.^^)^)8^).

8=1 8=1

(3.30)

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

А(0)хг(г) — а'(0)гБ(0)хг(1п|а'(0)| + г) = = 1Ш ((А(0) — А(Ь)) Е х3(г)Г+

+Б(0) Е х8(1п|а'(0)| + г + в(Щ))(а(Щ))8 —

8=1

—Б ^а'^У^хг^п^'Щ + г + в(t))+

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

г- 1

+(Б(Щ) — Б(0)) Е х8(1п|а'(0)| + г + в(t))а(t)s+

8=1

г—1 г—1 \

+Я(Е xs(z)ts,Y.xs(ln|а'(0)| + г + вЩ)а(Щ)8, г = 0,1,2,..., 8=1 8=1 ' ¿=0

(3.31)

где г = 1и\г\.

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

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

Для решения уравнения (3.31) мы можем применить утверждения лемм 1-4 из первого раздела и определить значение коэффициента хг(1и\Щ\).

Зафиксируем 0 < ,2 < 1 и найдем такое число Q членов асимптотики, чтобы в окрестности \Щ\ < р выполнялось неравенство

}ой.\1тГ'вт< «а <,2 < 1,

г 1 — ,1

тогда на основании утверждения леммы 5 исходное уравнение (0.1) имеет локальное решение вида

х(г) = х*д(г) + (г),

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

Теорема 1. Пусть оператор А(0) непрерывно обратим, выполняются равенства а(0) = 0, \а'(0)\ < , < 1, Я(х(0),х(0), 0) = 0, входящие в (0.1) а(Щ), А(г),В(Щ), Я(х(г),х(а(г)),г) обладают достаточной гладкостью в некоторой окрестности нуля, и 'число X = 0 является регулярной точкой или изолированной фредгольмовой точкой семейства операторов

С (г) = А(0) + (X — а'(0)г)В(0), г = 1,2,..., (3.32)

то уравнение (0.1) имеет решение вида

х(г)= х*д(г) + г®ь(г). (3.33)

Если при всех г = 1, 2число X = 0 является регулярной точкой оператора С (г), то асимптотика решения х^(Ь) имеет вид полинома аргумента Щ степени Q, построенное решение является единственным.

Если хотя бы при одном из чисел ] € 1, 2,... число X = 0 является изолированной фредгольмовой точкой оператора С (у), то решение уравнения (0.1) представляет собой пучок указанного числа параметров

и

3-1 Я

х*д(Щ) = Е хгЩг + ^ хг(1пЩ)Щг, (3.34)

г=1 г=з

где хг(1пЩ) конечные полиномы аргумента 1пЩ.

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

1. Треногин В.А. Функциональный анализ. — M:, 1986.

2. Вайнберг М.М., Треногин В.А. Теория ветвления решенийнелинейных уравнений. — М:Наука, 1969.

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

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

A. V. Trufanov

Nonlinear operator equations with functionally modified argument

Abstract. Nonlinear operator equation with functionally modified argument is considered. It is shown under which conditions the only analytical solution exists. In irregular case we have a branch of solutions and any solution from the branch has a logariphmic-polinomial approximation. It is shown that the number of free parameters of a branch of solutions depends on equation coefficients Jordan structure.

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