• Ешқандай Нәтиже Табылған Жоқ

Комплекс коэффициенттi шексiз айырымдық теңдеулер жүйесiнiң коэрцитивтi шешiлу шарттары

N/A
N/A
Protected

Academic year: 2022

Share "Комплекс коэффициенттi шексiз айырымдық теңдеулер жүйесiнiң коэрцитивтi шешiлу шарттары"

Copied!
11
0
0

Толық мәтін

(1)

Қ.Н. Оспанов

1

, Т.Н. Бекжан

2

, Д.Р. Бейсенова

1,3

1Л.Н.Гумилев атындағы Еуразия ұлттық университетi, Астана, Қазақстан;

2Синьцзян университетi, Үрiмшi, Қытай;

3Е.А.Бөкетов атындағы Қарағанды мемлекеттi университетi, Қазақстан (E-mail: [email protected])

Комплекс коэффициенттi шексiз айырымдық теңдеулер жүйесiнiң коэрцитивтi шешiлу шарттары

Бұл бағалаулар жүйеге сәйкес келетiн матрицалық оператордың анықталу облысын толық сипаттай- ды. Жүйенiң коэффициенттерi шенелмеген тiзбектер құрайды. Ал алынған нәтижелер осы коэффи- циенттердiң тербелiсiне тәуелсiз. Соңғы факт шексiз айырымдық жүйелердiң табиғаты, сингулярлы дифференциалдық теңдеулерге қарағанда, мүлдем өзгеше екенiн дәлелдейдi.

Кiлт сөздер: коэрцитивтi шешiлу, шексiз айырымдық жүйе, шешiмдi бағалау, үзiлiссiз қайтарымды оператор, тұйық оператор, финиттi тiзбек.

1 Кiрiспе

h ∈ (0, h0) (h0 бекiтiлген оң сан) санын алып, Zh = {xn, xn=nh, n∈Z} деп белгiлейiк. Алдағы уақытта нақты не комплексmxj =mjhсанының орнына қысқашаmj деп жазамыз. Төменде

(L0y)j :=h−2(2)yj+h−1rj+yj+h−1sj+yj+qjyj+pjyj=fj, j∈Z, (1.1) шексiз айырымдық жүйесiн қарастыратын боламыз. Мұндағы rj — берiлген нақты, ал sj,qj, pj, fj — комплекс сандар,y¯j− yj-дiң комплекс түйiндесi

+yj=yj+h−yj,(∆+y)j = (yj+h−yj),∆(2)yj =yj+h−2yj+yj−h(j∈Z). Егер

y={yj}+∞j=−∞,y¯={y¯j}+∞j=−∞, L0y=n

(L0y)jo+∞

j=−∞, f ={fj}+∞j=−∞;

r=diag{rj, j∈Z}, s=diag{sj, j∈Z}, q=diag{qj, j∈Z}, p=diag{pj, j∈Z},

+y={∆+yj}+∞j=−∞,∆+y=

+yj +∞

j=−∞,∆(2)y=n

(2)yj

o+∞

j=−∞

деп белгiлеулер енгiзсек, онда (1.1) теңдеуi келесi түрде жазылады:

L0y=h−2(2)y+h−1r∆+y+h−1s∆+y+qy+py=f. (1.2) Айталық,f ∈l2(h)болсын, мүндағы

l2(h) =





y={yj}+∞j=−∞:kyk2,h=

+∞

X

j=−∞

|yj|2h

1 2

<∞



 .

Жүмыста (1.2) айырымдық теңдеулердiң шексiз жүйесiнiңf ∈l2(h)кеңiстiгiнде коэрцитивтi шешiлу мүм- кiндiгiн зерттейтiн боламыз. Егерrj,sj сандары нөлге тең немесе олар шенелген тiзбектер құратын болса, онда (1.2) жүйесiнiң шешiлу шарттары белгiлi Штурм-Лиувилль айырымдық жүйесiне ұқсас әдiспен алы- нады [1]. Ал егерrмен sматрицаларының ең болмағанда бiреуi шенелмеген болса, онда (1.2) нұқсанды жүйе болып табылады. Мұндай жүйелер тек симметриялы жағдайда ғана iшiнара зерттелген [2]. Ал (1.2) - симметриялы емес және комплекс коэффициенттi жүйе. s = p = 0, q = ¯q дербес жағдайында ол [3]

жұмысында қарастырылды. Бұл мақалада [3] жұмыстағы ұқсас әдiс пайдаланылса да, соңғыдан едәуiр

Ре по зи то ри й Ка рГ У

(2)

айырмашылықтары бар. Атап айтқанда,s=p= 0,q= ¯qболған жағдайда, бiздiң мақаламыздың негiзгi нәтижесi [3] жұмысындағы Теорема 3.1 нәтижесiмен беттеседi, бiрақ осы Теорема 3.1-дегi коэффициент тербелiсiне қойылған (3.2) шарты алынып тасталды. Басқаша айтқанда, [3]-те алынған нәтижелер күрт жақсартылды. Екiншiден, (1.2) жүйесiне сәйкес матрица [3]-те қарастырылған жүйе матрица құрылымы- на қарағанда күрделi.

(1.2) жүйесiн зерттеу тек теориялық қызығушылықтан тумаған. Бұл жүйенi стохастикалық процестер мен стохастикалық дифференциалдық теңдеулер теориясында пайда болатын есептер алып келедi [4]. Ал стохастикалық дифференциалдық теңдеулердi аналитикалық зерттеу А.Н. Колмогоровтың [5] мақаласы- нан бастау алады. Бұл бағыттағы зерттеулер ауқымы барған сайын кеңейе түсуде. Мысалы, осы мәселеге арналған [6] монографиясында 900-ден аса әдебиетке сiлтеме жасалған.

˜l деп барлық финиттi тiзбектер жиынын белгiлейiк

˜l=n

{wj}+∞j=−∞ : ∃N, wj= 0, ∀j : |j| ≥No .

Ескерту.Жоғарыда енгiзiлген белгiлеулердiң барлығы мақаланың аяғына дейiн сақталады.

Анықтама 1.1 Егер{zj}+∞j=1⊂˜l (j= 1,2, ...) тiзбегi табылып, kzj−yk2,h→0,kL0zj−fk2,h→0(j → ∞)

қатыстары орындалатын болса, ондаy={yj}+∞j=−∞ ∈l2(h)элементiн (1.2) жүйесiнiң шешiмi деп атайды.

Белгiлi аз бұлқыну теоремасының [7] бiр салдарын келтiрейiк.

Лемма 1.1 Lu=Au+Buоператоры берiлсiн. Айталық,A: l2(h)→l2(h),D(A)⊆D(B)болсын және мына шарттар орындалсын:

1)A— тұйық және үзiлiссiз қайтарымды оператор;

2)kBuk2,h≤αkAuk2,h,∀u∈D(A), 0< α <1.

СондаL операторы да қайтарымды жәнеR(L) =l2(h).

2 Бiр нұқсанды айырымдық теңдеулер жүйесi үшiн коэрцитивтi бағалаулар

(l0y)j :=h−2(2)yj+h−1rj+yj=fj, j∈Z, (2.1) жүйесiн қарастырамыз. Мұндағы(l0y)j = (l0y)xj (j∈Z). Егерl0y =n

(l0y)jo+∞

j=−∞ деп белгiлесек, онда (2.1) теңдеуi былай жазылады:

l0y=h−2(2)y+h−1r∆+y=f. (2.2) Анықтама 2.1 Егер{zj}+∞j=1⊂˜l тiзбегi табылып,

kzj−yk2,h→0,kl0zj−fk2,h→0 (j→+∞)

қатыстары орындалатын болса, ондаy={yj}+∞j=−∞ ∈l2(h)элементiн (2.1) жүйесiнiң шешiмi деп атайды.

˜l+=n

{wj}+∞j=−∞∈˜l: wj= 0, j=−1, −2, ...o болсын. Егер [8] жұмысында дәлелденген 2.1 леммасында bn = P+∞

j=naj деп алсақ, онда

+bn=bn+1−bn =−an болғандықтан, мынадай тұжырымға келемiз.

Салдар 2.1 Айталық,1< p <+∞болсын. Сонда

+∞

X

n=0

|unbn|p

!1p

≤C

+∞

X

n=0

|vn+bn|p

!p1

,{bk}+∞k=0∈˜l+, (2.3) теңсiздiгi орындалуы үшiн

B0= sup

r=0,1,2,...

r

X

n=0

|un|p

!1p +∞

X

n=r

|vn|−p0

!p10

<∞

Ре по зи то ри й Ка рГ У

(3)

болуы қажеттi және жеткiлiктi. Мұндағы 1 p+ 1

p0 = 1.

Сонымен бiрге, егерC (2.3) бағалауы орындалатындай ең кiшi тұрақты болса, онда B0≤C≤p1p(p0)p10B0.

˜l=n

{wj}+∞j=−∞∈˜l: wj= 0, j= 0,1,2, ...o

болсын.

Лемма 2.1 Айталық,1< p <+∞болсын. Онда

−1

X

n=−∞

|unbn|ph

!p1

≤C˜

−1

X

n=−∞

|vn+bn|ph

!1p

,{bk}−1k=−∞∈˜l, (2.4) теңсiздiгi орындалуы үшiн

B˜ = sup

τ=−1,−2,...

0

X

n=τ

|un|p

!1p τ

X

n=−∞

|vn|−p0

!p10

<∞ болуы қажеттi және жеткiлiктi. Мұндағы

1 p+ 1

p0 = 1.

Сонымен бiрге, егерC˜ (2.4) орындалатындай ең кiшi тұрақты болса, онда B˜≤C˜≤p1p(p0)p10B.˜

Бұл лемма жоғарыдағы 2.1 салдарын пайдаланып, [8] жұмысындағы лемма 2.2 алынған әдiспен дәлел- денедi.

Ендi (2.2)-де берiлген нұқсанды айырымдық операторды қарастырып, ол үшiн априорлық бағалаулар аламыз.

Лемма 2.2 Айталық,rjh≥ε >0(j∈Z)болсын. Онда әрбiрy∈˜l үшiн

√r∆+y h

2,h

√1 r l0y

2,h

(2.5) бағалауы орындалады.

Дәлелдеу. y∈˜l болсын.

+yj

h =zj

деп белгiлейiк. Онда

(∆+yj) = ∆(2)yj =h−1zj

болады да, (2.1) мына түрге келедi:

˜l0z

j =h−1(zj−zj−h) +rjzj=fj, j∈Z.

Соңғы жүйенiң екi жағынzj =zjh - қа көбейтiп, нәтижесiнj-лер бойынша қосындылаймыз:

h−1

+∞

X

j=−∞

zjh−z(j−1)h zjh+

+∞

X

j=−∞

rjhz2jh=

+∞

X

j=−∞

fjhzjh. (2.6) Бұл өрнектегi

A:=

+∞

X

j=−∞

zjh−z(j−1)h zjh

қосындысы терiс емес екенiн байқауға болады. Шынында да

Ре по зи то ри й Ка рГ У

(4)

A=

+∞

X

j=−∞

zjh−z(j−1)h zjh=

+∞

X

j=−∞

zjhzjh

+∞

X

j=−∞

z(j−1)hzjh=

+∞

X

j=−∞

zjhzjh

+∞

X

k=−∞

zkhz(k+1)h=

=

+∞

X

j=−∞

zjhzjh

+∞

X

j=−∞

zjhz(j+1)h=−

+∞

X

j=−∞

zjh z(j+1)h−zjh

=−

+∞

X

j=−∞

z(j−1)h zjh−z(j−1)h

=

=−

+∞

X

j=−∞

z(j−1)h−zjh

zjh−z(j−1)h

+∞

X

j=−∞

zjh zjh−z(j−1)h ,

немесе

2A=

+∞

X

j=−∞

zjh−z(j−1)h2

.

Демек,A≥0. Онда (2.6)-дан

+∞

X

j=−∞

rjhz2jh

+∞

X

j=−∞

fjhzjh.

Лемма шартын және Гельдер теңсiздiгiн пайдалансақ,

+∞

X

j=−∞

rjhzjh2

+∞

X

j=−∞

fjh

√rjh

2

1 2

+∞

X

j=−∞

√rjhzjh

2

1 2

,

осыдан

+∞

X

j=−∞

√rjhzjh2 h

1 2

+∞

X

j=−∞

fjh

√rjh 2

h

1 2

, y∈˜l.

Соңғы бағалауданzj =+hyj екенiн ескерiп, (2.5)-ке келемiз. Лемма дәлелдендi.

(2.5) теңсiздiгi жәнеrjh≥ε >0(j∈Z)шартынан

√r∆+y h

2,h

≤ 1

√εkfk2,h, y∈˜l, (2.7) бағалауы шығады.

Келесi түрдегi белгiлеулердi енгiзейiк:

αϕ,ψ(n) =

n

X

j=0

j|2

1 2

+∞

X

j=n

ψ−2j

1 2

(n= 0,1,2, ...);

βϕ,ψ(k) =

−1

X

j=k

j|2

1 2

k

X

j=−∞

ψj−2

1 2

(k=−1,−2, ...);

γϕ,ψ = max sup

n=0,1,2,...

αϕ,ψ(n), sup

k=−1,−2,...

βϕ,ψ(k)

! ,

мұндағыϕ={ϕj}+∞j=−∞jxj)және ψ={ψj}+∞j=−∞ — берiлген тiзбектер.

Лемма 2.3 Айталық,r={rj}+∞j=−∞ тiзбегirj ≥ε >0(j ∈Z)және F= sup

n=0,1,2,...

α1,r(n)<∞, (2.8)

Ре по зи то ри й Ка рГ У

(5)

F∗∗= sup

k=−1,−2,...

β1,r(k)<∞ (2.9)

шарттарын қанағаттандырсын. Ондаy∈˜l элементi үшiн

kyk2,h≤C0kl0yk2,h (2.10)

теңсiздiгi орындалады. Мұндағы

C0= 2

rF+F∗∗

ε .

Лемма (2.5) бағалауынан және Салдар 2.1 мен Лемма 2.1-ден шығады.

Егер (2.10) және (2.7) теңсiздiктерiн бiрiктiрсек, онда kyk2,h+

√r∆+y h

2,h

≤C1kl0yk2,h, y∈D(˜l). (2.11) Мұндағы

C1= 1

√ε h2√

F+F∗∗+ 1i .

Айталық,λ≥0болсын. Келесi

ly:=h−2(2)y+h−1(r+λ)∆+y = f, f ∈l2(h), (2.12) теңдеуiн қарастырайық.

Теорема 2.1 Егер{rjh}+∞j=−∞ тiзбегirjh≥ε >0 (j∈Z), (2.8) және (2.9) шарттарын қанағаттандырса, онда (2.12) теңдеулер жүйесiнiңy∈l2,hшешiмi бар және ол жалғыз. Сонымен бiргеyшешiмi үшiн

h−2(2)y 2,h+

h−1(r+λ)∆+y

2,h≤c1(h)kfk2,h (2.13) бағалауы орындалады.

Дәлелдеу. Айталық,

˜

yn+m= (y−m+1, y−m+2, ..., y0, ..., yn−1, yn), n, m∈N, элементi

ly˜n+m= ˜fn+m (2.14)

теңдiгiн қанағаттандырсын. Мұндағы

n+m= (f−m+1, f−m+2, ..., f0, ..., fn−1, fn).

Теорема шарттары орындалғанда мұндай y˜n+m элементi жалғыз ғана. Шынында да, (2.14) - (n+m)×

×(n+m)өлшемдi сызықты алгебралық теңдеулер жүйесi. Егерly˜n+m= 0болса, онда (2.10) теңсiздiгiнен

˜

yn+m= 0болатыны шығады. Осыдан әрбiр f ∈˜l үшiн (2.13) теңдеуiнiң шешiмi бар және жалғыз екенiн аламыз.

Айталық,f ∈l2(h), алn f˜s

o⊂˜lоған жинақталатын тiзбек болсын:

s−f

2,h→0, s→ ∞.y˜s(s∈Z) деп келесi ly = ˜fs жүйесiнiң шешiмiн белгiлейiк. Онда анықтама бойынша kly˜s−fk2 → 0,s → ∞, ал (2.10)-нан

ky˜sk2,h≤C1kly˜sk2,h екенiн аламыз. Соңғы теңсiздiктен

ky˜k−y˜mk2,h≤C1kly˜k−ly˜mk2,h→0, k, m∈N,

орындалатыны шығады. Олай болса,{y˜s}+∞s=−∞— фундаментальды тiзбек.l2(h)банах кеңiстiгi болғандық- тан,k˜ys−yk¯ 2,h→0 (s→ ∞)орындалатындайy¯∈l2 элементi табылады. Сонымен,

k˜yk−yk¯ 2,h→0,kly˜k−fk2,h→0, k→ ∞.

Ре по зи то ри й Ка рГ У

(6)

Демек, 2.1 анықтамасы бойыншаy¯— (2.12) теңдеулер жүйесiнiң шешiмi. Ендеше әрбiрf ∈l2үшiн (2.12) теңдеулер жүйесiнiң шешiмi бар. Шешiмнiң жалғыз екенi (2.10) теңсiздiгiнен шығады.

Ендi (2.12) теңдеулер жүйесiнiңy шешiмi үшiн (2.13) бағасы орындалатынын көрсетейiк.

h−1+y=z деп белгiлейiк. Ондаλ= 0жағдайында (2.12)

Loz=h−1z+rz=f түрiне келедi. Мұндағыrz={rjzj}+∞j=−∞.

Loz=h−1z+rz(D(Lo) = ˜l)

операторыныңl2(h)кеңiстiгiндегi тұйықталуынL түрiнде белгiлейiк. Айта кетерлiгi,L операторы тео- рема шарты орындалғандаl2(h)-та анықталған. Себебi (2.11) теңсiздiгiнен әрбiрz∈˜l үшiн

kzk2,h≤C1kLozk2,h

екенiн аламыз. Стандартты әдiс бойынша бұл теңсiздiк әрбiр z∈D(L)үшiн де орындалатынын көремiз.

Демек,D(L)⊂l2.

Теорема шарттары орындалғанда әрбiрλ≥0үшiн, жоғарыда көрсетiлгендей,Lλ=L +λE:l2(h)→

→l2(h)операторы қайтарымды. МұндағыE – бiрлiк оператор. Ендiz∈D(Lλ)үшiн келесi h−1+z

2,h+k(r+λ)zk2,h≤CkLλzk2,h бағалауы орындалатынын көрсетейiк.

Lλz=h−1z+ (r+λ)z=f (2.15) теңдеуiн қарастырамыз. Мұндағы

r+λ=diag{rj+λ, j∈Z}.

Айталық,{zj}+∞j=−∞∈˜l . (2.15) жүйесiндегij-шi теңдеудiң екi жағынzj =zjh-қа көбейтсек, онда h−1(zj−zj−h)zj+ (rj+λ)z2j =fjzj, j∈Z.

Осы теңдiктердij-лер бойынша қосындылаймыз. Сонда

h−1

+∞

X

j=−∞

(zj−zj−h)zj+

+∞

X

j=−∞

(rj+λ)zj2=

+∞

X

j=−∞

fjzj. (2.16)

Жоғарыдағы Лемма 2.2-нiң дәлелдеуiнен алатынымыз

h−1

+∞

X

j=−∞

zjh−z(j−1)h

zjh= h−1 2

+∞

X

j=−∞

zjh−z(j−1)h2

≥0.

Онда (2.16)-дан

h−1 2

+∞

X

j=−∞

zjh−z(j−1)h2

h≤

+∞

X

j=−∞

fjhzjhh≤

+∞

X

j=−∞

fjh2h

1 2

+∞

X

j=−∞

zjh2 h

1 2

=kfk2,hkzk2,h. (2.17)

Ре по зи то ри й Ка рГ У

(7)

(2.7)-ден бiздiң белгiлеуiмiз бойыншаkzk2,h≤C1kfk2,h.Ендеше (2.17)-ден

h−2(2)y

2,h≤C2kfk2,h теңсiздiгiн аламыз. Онда (2.12) теңдiгiнен

h−1(r+λ) ∆+y 2,h=

−h−2(2)y+f 2,h

h−2(2)y

2,h+kfk2,h≤(C2+ 1)kfk2,h. Соңғы екi теңсiздiктi бiрiктiрсек, онда

h−2(2)y 2,h+

h−1(r+λ) ∆+y

2,h≤[2C2+ 1]kfk2,h, y∈˜l.

Бұл теңсiздiк (2.12) теңдеуiнiң әрбiрy шешiмi үшiн де орындалатыны оңай тексерiледi. Теорема дәлел- дендi.

l арқылы˜l жиынында анықталған

ly=h−2(2)y+h−1(r+λ)∆+y, λ≥0,

айырымдық операторыныңl2(h)кеңiстiгi нормасындағы тұйықталуын белгiлейiк.

3 Негiзгi теорема және оның дәлелдеyнi

Теорема 3.1 Айталық, r = {rj}+∞j=−∞ тiзбегi (2.8) және (2.9) шарттарын қанағаттандырсын.

s={sj}+∞j=−∞ тiзбегi үшiн rj ≥α|sj|+δ, δ >0 (j∈Z), 3A1(h)< α <4A1(h)(мұндағыA1(h)- (2.13)-тегi тұрақты) шарттары орындалсын.qжәне pтiзбектерi үшiн

γq,r<∞; (3.1)

γp,r<∞ (3.2)

шарттары орындалсын. Онда (1.1) теңдеулер жүйесiнiңy ∈l2(h)шешiмi бар және ол жалғыз. Сонымен бiрге осыy шешiмi үшiн

h−2(2)y 2+

h−1r∆+y 2+

h−1s∆+y

2+kqyk2+kpyk2≤C3kL0yk2 (3.3) бағалауы орындалады.

Дәлелдеу. h=kτ (k >0,k — тұрақты) алмастыруын жасасақ, (1.2) мына түрге келедi:

L0y=τ−2(2)y˜+kτ−1r∆˜ +y˜+kτ−1s∆˜ +y˜+k2q˜y˜+k2p˜y˜=k2f ,˜ f˜∈l2(τ), мұндағы

˜

y={˜y}+∞j=−∞=y(kτ); ˜r=diag{˜r, j∈Z}+∞j=−∞=r(kτ);

˜

q=diag{q˜, j∈Z}+∞j=−∞=q(kτ),˜s=diag{s˜, j∈Z}+∞j=−∞=s(kτ);

˜

p=diag{p˜, j∈Z}+∞j=−∞ =p(kτ),f˜=n f˜

o+∞

j=−∞ =f(kτ).

Немесе

ly˜+kτ−1s∆˜ +y˜+k2q˜y˜+k2p˜y˜=k2f ,˜ мұндағыl=l(τ)

l(τ)y=τ−2(2)y˜+kτ−1r∆˜ +y˜ (˜y∈D(l))− теңдiгiмен анықталған тұйық оператор.

Ре по зи то ри й Ка рГ У

(8)

˜

r={˜r}+∞j=−∞тiзбегi 2.1 теоремасының шарттарын қанағаттандырады, сондықтанlоператоры қайта- рымды және керil−1операторы үзiлiссiз. Ал (2.13) теңсiздiгi бойынша әрбiрy˜∈D(l)үшiн келесi бағалау орындалады:

τ−2(2)2,τ

+

τ−1k˜r∆+

2,τ ≤A˜1(τ)klyk˜ 2,τ. (3.4) Келесi теңдiктер орынды:

γp,˜˜r= 1

p,r, γq,˜˜r= 1 kγq,r.

Шынында да, егер αp,˜˜r, βp,˜˜r және αq,˜˜r, βq,˜˜rөрнектерiнде q˜j = k−2qj, p˜j = k−2pj және r˜j = k−1rj деп ауыстырулар енгiзсек, алатынымыз:

αp,˜˜r=

n

X

j=0

˜ p2j

1 2

+∞

X

j=n

˜ rj−2

1 2

=

n

X

j=0

k−2pj2

1 2

+∞

X

j=n

k−1rj−2

1 2

=

= 1 k

n

X

j=0

˜ p2j

1 2

+∞

X

j=n

r−2j

1 2

= 1 kαp,r;

βp,˜˜r=

−1

X

j=k

˜ p2j

1 2

k

X

j=−∞

˜ r−2j

1 2

=

−1

X

j=k

k−2pj2

1 2

k

X

j=−∞

k−1rj−2

1 2

=

= 1 k

−1

X

j=k

p2j

1 2

k

X

j=−∞

r−2j

1 2

= 1 kβp,r.

Дәл осылар сияқтыαq,˜˜r= 1kαq,r жәнеβq,˜˜r= 1kβq,r теңдiктерi орындалады. Олай болса, γp,˜˜r= max sup

n=0,1,2,...

αp,˜˜r, sup

k=−1,−2,...

βp,˜˜r

!

= max 1

k sup

n=0,1,2,...

αp,r, sup

k=−1,−2,...

βp,r

!

= 1 kγp,r;

γq,˜˜r= max sup

n=0,1,2,...

αq,˜˜r, sup

k=−1,−2,...

βq,˜˜r

!

= max 1

k sup

n=0,1,2,...

αq,r, sup

k=−1,−2,...

βq,r

!

= 1 kγq,r.

(2.3), (2.4) теңсiздiктерiн және(3.1), (3.2) шарттарын пайдалансақ,

+∞

X

j=−∞

k2p˜y˜

2

1 2

=

−1

X

j=−∞

k2p˜y˜

2

1 2

+

+∞

X

j=0

k2p˜y˜

2

1 2

≤2k2

−1

X

j=−∞

|˜rj+j|2

1 2

+ 2k2B0

+∞

X

j=0

||˜rj+j||2

1 2

≤2k2γp,˜˜r

+∞

X

j=−∞

||˜rj+j||2

1 2

= 2k2γp,˜˜rk˜r∆+yk˜ 2,τ;

+∞

X

j=−∞

k2q˜y˜

2

1 2

=

−1

X

j=−∞

k2q˜y˜

2

1 2

+

+∞

X

j=0

k2q˜y˜

2

1 2

≤2k2

−1

X

j=−∞

|˜rj+j|2

1 2

+ 2k2B0

+∞

X

j=0

||˜rj+j||2

1 2

Ре по зи то ри й Ка рГ У

(9)

≤2k2γq,˜˜r

+∞

X

j=−∞

||˜rj+j||2

1 2

= 2k2γq,˜˜rk˜r∆+yk˜ 2,τ, немесе

k2p˜y˜

2,τ ≤2kτ γp,˜˜r

−1r∆˜ +2,τ,

k2q˜y˜

2,τ ≤2kτ γq,˜˜r

−1r∆˜ +

2,τ. (3.5) Екiншiден, теорема шартынан

−1+

1α−1˜r|∆+|және c1

1(τ)α1c1

1(τ), мұндағы

˜

c1(τ)— (3.4) теңсiздiгiндегi тұрақты. Сондықтан (3.4) бойынша kτ−1s∆˜ +

2,τ ≤ 1 3˜c1

−1r∆˜ +2,τ ≤ 1

3klyk˜ 2,τ. (3.6) Егер

k= min 1

6τ γp,˜˜r˜c1, 1 6τ γq,˜˜r˜c1

деп ұйғарсақ, онда (3.4) теңсiздiгiнен

k2p˜˜y 2,τ ≤ 1

3klyk˜ 2,τ, (3.7)

ал (3.5) теңсiздiгiнен

k2q˜˜y 2,τ ≤ 1

3klyk˜ 2,τ (3.8)

шығады. (3.6), (3.7) және (3.8) теңсiздiктерiнен Лемма 1.1 бойынша (1.2) теңдеуiнiң шешiмi бар және жалғыз екенiне көз жеткiземiз.

Айталық, y˜(1.2) теңдеуiнiң шешiмi болсын. Сонда (3.4), (3.7), (3.8) және (3.6) теңсiздiктерiнен ала- тынымыз:

τ−2(2)2,τ+

τ−1k˜r∆+2,τ+

τ−1k˜s∆+2,τ +

k2q˜˜y 2,τ +

k2p˜˜y 2,τ

≤ 2

3 +A1(τ)

klyk˜ 2,τ. (3.9)

(3.6) және (3.7) бойынша

klyk˜ 2,τ =

ly˜+τ−1k˜s∆+y˜+k2p˜˜y 2,τ +

τ−1k˜s∆+y˜+k2p˜˜y ≤

ly˜+τ−1k˜s∆+y˜+k2p˜˜y 2,τ +2

3klyk˜ 2,τ, осыдан

klyk˜ 2,τ ≤3kL0yk˜ 2,τ. (3.10) (3.9) және (3.10)-нан

τ−2(2)2,τ+

τ−1k˜r∆+2,τ+

τ−1k˜s∆+2,τ +

k2q˜˜y 2,τ +

k2p˜˜y 2,τ

≤(2 + 3c1(τ))kL0yk˜ 2,τ.

Осыданτ =hk алмастыруын жасап, (3.3) теңсiздiгiне келемiз. Теорема дәлелдендi.

Бұл мақала Қазақстан Республикасының Бiлiм және ғылым министрлiгiнiң 0085/ПЦФ-14 мақсат- ты бағдарламасы және 5132/ГФ4 грантық жобасы есебiнен iшiнара қаржыландырылды.

Әдебиеттер тiзiмi

1 Отелбаев М. Коэрцитивные оценки и теоремы разделимости для эллиптических уравнений в Rn / М. Отелбаев // Труды МИ АН СССР. — 1983. — Т. 161. — С. 195–217.

Ре по зи то ри й Ка рГ У

(10)

2 Костюченко А.Г. О некоторых спектральных свойствах дифференциальных операторов: дис. ... д-ра физ.-мат. наук: 01.01.02 / Анатолий Гордеевич Костюченко. — М.: Изд-во МГУ, 1966.

3 Оспанов Қ.Н. Екiншi реттi айырымдық бiр теңдеулер жүйесi шешiмдерiнiң қасиеттерi жайлы / Қ.Н. Оспанов, А. Зұлхажав // Қарағанды ун-нiң хабаршысы. Математика сер. — 2015. — № 2(78).

— 124–136-б.

4 Pr¨uss J., Rhandi A., Schnaubelt R. The domain of elliptic operators on Lp(Rd) with unbounded drift coefficients / J. Pr¨uss, A. Rhandi, R. Schnaubelt // Houston J. Math. — 2006. — Vol. 32, No. 2. — P. 563–576.

5 Kolmogoroff A.N. Uber die analytischen Methoden in der Wahrscheinlichkeitsrechnung / A.N. Kolmogoroff // Mathematische Annalen. — 1931. — Vol. 104.

6 Bogachev V.I. Fokker-Planck-Kolmogorov Equations / V.I. Bogachev, N.V. Krylov, M. Reckner, S.V. Sha- poshnikov. — AMS, 2015. — Vol. 207.

7 Каtо Т. Perturbation theory for lenear operators. (Th. 1.1, Th. 1.16 §4) / Т. Каtо. — Berlin. Heidelberg;

New York: Springer-Verlag, 1966. — 740 p.

8 Зұлхажав А. Екiншi реттi айырымдық теңдеулер жүйесiнiң коэрцитивтi шешiлу шарттары / А. Зұл- хажав // Л.Н.Гумилев атындағы ЕҰУ хабаршысы. — 2015. — № 6(109). — 334–337-б.

К.Н. Оспанов, Т.Н. Бекжан, Д.Р. Бейсенова

Условия коэрцитивной разрешимости бесконечной системы разностных уравнений с комплексными коэффициентами

Эти оценки полностью описывают область определения матричного оператора, который соответству- ет системе. Коэффициенты системы составляют неограниченные последовательности, a полученные результаты не зависят от колебания этих коэффициентов. Последний факт доказывает, что природа бесконечно разностных систем совсем иная, чем у сингулярных дифференциальных уравнений.

Ключевые слова:коэрцитивные решения, бесконечная разница систем, оценка решения, непрерывный возврат оператора, замкнутый оператор, линейная цепь.

K.N.Ospanov, T.N.Bekjan, D.R.Beisenova

Coercive solvability conditions of an infinite system of difference equations with complex coefficients

These estimates completely describe definition range of the matrix operator which corresponds to system.

Coefficients of system make the unlimited sequences. And the received results do not depend on fluctuation of these coefficients. The last fact shows that the nature of infinitely difference systems absolutely other than singular differential equations.

Keywords: coercive solution, infinite difference system, solution estimation, continuous return operator, closed operator, linear phinite.

References

1 Otelbaev, M. (1983). Koertsitivnye otsenki i teoremy razdelimosti dlia ellipticheskikh uravnenii v Rn [Coercive estimates and separability theorems for elliptic equations in Rn]. Trudy MI AN SSSR — Proceedings of the USSR Academy of Sciences MI, 161, 195–217 [in Russian].

Ре по зи то ри й Ка рГ У

(11)

2 Kostyuchenko, A.G. (1966). O nekotorykh spektralnykh svoistvakh differentsialnykh operatorov [On some spectral properties of differential operators].Doctor’s thesis.Moscow: Izdatelstvo MHU [in Russian].

3 Ospanov, K.N., Zulhazhav, A. (2015). Ekinshi retti aiyrymdyk bir tendeuler zhuiesi sheshimderinin kasietteri zhaily [On the properties of solutions of one system of second order difference equations].

Karahandy universitetinin khabarshysy. Matematika seriiasy – Bulletin of Karaganda University. Series Mathematics, 2,78, 124–136 [in Kazakh].

4 Pruss, J., Rhandi, A. & Schnaubelt, R. (2006). Houston J. Math., Vol. 32, 2, 563–576.

5 Kolmogoroff, A.N. (1931). Uber die analytischen Methoden in der Wahrscheinlichkeitsrechnung. Mathe- matische Annalen, Vol. 104.

6 Bogachev, V.I., Krylov, N.V., Reckner, M. & Shaposhnikov, S.V. (2015). Fokker-Planck-Kolmogorov Equations. AMS, Vol. 207.

7 Каtо, Т. (1966). Perturbation theory for lenear operators. (Th. 1.1, Th. 1.16 §4). Berlin. Heidelberg; New York: Springer-Verlag.

8 Zulhazhav, A. (2015). Ekinshi retti aiyrymdyk tendeuler zhuiesinin koertsitivti sheshilu sharttary [Condi- tions of Coercitive Solutions of the Second Order Differential Equations System].L.N.Gumilev atyndahy Euraziia ulttyk universitet khabarshysy – Bulletin of L.N. Gumilyov Eurasian National University, 6,109, 334–337 [in Kazakh].

Ре по зи то ри й Ка рГ У

Ақпарат көздері

СӘЙКЕС КЕЛЕТІН ҚҰЖАТТАР

 Уәкілетті органның интернет-ресурсы немесе салықтық мобильді қосымшасы арқылы банктік қарыз және (немесе) микрокредит беру шарттары, сондай-ақ

Probably: (a) such decomposition can be done only in the case if these physical quantities have strong interaction; (b) there exists an associative subalgebra of the

Біздің ойымызша егер де өкіл іске қатысушы тұлғалардың мүдделерін олардың туған тілінде немесе еркін меңгеретін тілінде қорғай алмайтын болса, онда

ТЕРБЕЛМЕЛІ АРАЛЫҚ КОЭФФИЦИЕНТТІ ЕКІНШІ РЕТТІ ШЕКСІЗ АЙЫРЫМДЫҚ ЖҮЙЕНІҢ КОЭРЦИТИВТІ ШЕШІЛУ ШАРТТАРЫ Мақалада теріс емес аралық коэффициентті екінші ретті

Білетініміздей, егер кері байланыс тұзағында қосындыланған (толық) фазалық ығысу 2πn тең немесе үлкендеу болса, күшейткіштің өздік қозуы туындайды,

Егер стерженьнің ұзындығы l=10 м ал тізбектің толық кедергісі (гальвонометр тізбегімен қоса) R=10 Ом болса, онда стержень ұштарына қосылған

Егер  бүрыш жиілігі өзгерсе, онда N ( j  ) векторының бағыты және ұзындығы өзгеріп, ол өзінің ұшымен комплексті жазықтықта кейбір қисық сызықты

mi.Jli :J/CoHe aoe6uemi r/JoKyflbmemiH 6imip2e11. 8MTKeHi 6ip MeMAeKerre He Hapce,l],eH Ae KeMIIIiAiK KeTirr )J(aTca, OA KeMrniAiK xaAbIK,TbI(1 K,aTeA iriHeH eMeC, eA