M. H. Shermatov, O. I. Egamberdiyev funksional analiz va integral tenglamalar


Download 1.42 Mb.
Pdf ko'rish
bet57/59
Sana16.04.2020
Hajmi1.42 Mb.
#99788
1   ...   51   52   53   54   55   56   57   58   59
Bog'liq
funksional analiz va integral tenglamalar

[a, b× [a, b]

da absolyut, [a, b× [a, b] da tekis yaqinlashuvchi bo`ladi. De-

mak, uning yig`indisi bo`lgan D(x, tλ) funksiya (x, t) bo`yicha uzluksiz va

λ

parametrning analitik funksiyasi bo`ladi.

(39.3) integral tenglamaning Fredholm tomonidan berilgan yechimi quyida-

gi 40.2, 40.4 va 40.5-teoremalarda o`z ifodasini topgan.

40.2-teorema. A) shart bajarilsin va ∆(λ6= 0 bo`lsin. U holda ixtiyoriy

f ∈ L

2

[a, b]



da (39.3) integral tenglama

u(x) = (x) +

1

∆(λ)



Z

b

a

D(x, tλ)(t)dt

(40.5)

formula bilan ifodalanuvchi yagona yechimga ega.

Isbot. Faraz qilaylik, (39.3) tenglama u(x) yechimga ega bo`lsin. Uni

quyidagi ko`rinishda yozib olamiz

u(t) = (t) + λ

Z

b



a

K(t, s)u(s)ds.

(40.6)

(40.6) tenglikni ikkala qismini D(x, tλ) ko`paytirib t− o`zgaruvchi bo`yicha

a

dan gacha integrallab, natijada

Z

b

a

D(x, tλu(tdt =

=

Z



b

a

D(x, tλ)(tdt λ

Z

b



a

Z

b



a

D(x, tλ)K(t, s)u(s)dsdt

(40.7)

tenglikni hosil qilamiz. Ikki karrali integral ostidagi ifoda va lar bo`yicha

integrallanuvchi bo`lganligi uchun, Fubini teoremasiga (37.1-teoremaga qarang)

435


ko`ra, unda integrallash tartibini o`zgartirish mumkin. Uni quyidagicha yoza-

miz


Z

b

a

u(s)

½

λ

Z

b

a

K(t, sD(x, tλdt

¾

ds.

(40.8)

(40.3) Fredholm fundamental munosabatiga ko`ra (40.8) ni quyidagicha yozish

mumkin

Z

b



a

{D(x, sλ− λ ∆(λK(x, s)} u(s)ds.

Bu tenglikka ko`ra (40.7) tenglama ko`rinishi quyidagicha bo`ladi



b

Z

a



D(x, tλu(tdt =

=

b

Z

a

D(x, tλ)(tdt +

b

Z

a



D(x, sλ)u(s)ds − λ ∆(λ)

b

Z

a



K(x, s)u(s)ds.

Agar biz


Z

b

a

D(x, tλu(tdt =

Z

b



a

D(x, sλ)u(s)ds

ayniyatni hisobga olsak oxirgi tenglikdan quyidagini olamiz:



λ

Z

b



a

K(x, tu(t)dt =

1

∆(λ)



Z

b

a

D(x, tλ)(tdt.

λ

R

b



a

K(x, tu(t)dt

ning bu ifodasini (39.3) ga qo'yib



u(x) = (x) +

1

∆(λ)



Z

b

a

D(x, tλ)(t)dt

ni olamiz. Demak, (39.3) tenglamaning ixtiyoriy yechimi (40.5) ko`rinishga ega

ekan. Bu 40.2-teoremani isbotlaydi.

Bu teoremadan natija sifatida aytish mumkinki, agar ∆(λ6= 0 bo`lsa,



(39.3) integral tenglamaga mos bir jinsli integral tenglama faqat nol yechimga

ega bo`ladi.

40.1. Bir jinsli tenglamaning yechimi. Endi (39.3) integral tengla-

maga mos bir jinsli tenglamani, ya'ni



u(x) = λ

Z

b



a

K(x, t)u(t)dt

(40.9)

436


tenglamani qaraymiz. Quyidagi tasdiq o`rinli.

40.3-teorema. Agar ∆(λ

0

) = 0


va D(x, tλ

0

)



aynan nol funksiya

bo`lmasa, u holda shunday t

0

∈ [a, b]

mavjudki, D(x, t

0

λ



0

)

funksiya



u(x) = λ

0

Z



b

a

K(x, t)u(t)dt

(40.10)

tenglamaning aynan nolga teng bo`lmagan uzluksiz yechimi bo`ladi.

Isbot. (40.10) integral tenglamaning yechimini topish uchun barcha λ

larda o`rinli bo`lgan Fredholmning (40.4) fundamental munosabatidan foy-

dalanamiz. Teorema shartida (40.4) munosabat



D(x, tλ

0

) = λ



0

Z

b



a

K(x, s)D(s, tλ

0

)ds



(40.11)

ko`rinishni oladi. Teorema shartiga ko`ra t

0

∈ [a, b]

ni shunday tanlash

mumkunki, D(x, t

0

λ



0

)

aynan nolga teng bo`lmagan funksiya bo`ladi. (40.11)



munosabat barcha t ∈ [a, b] larda, xususan, t

0

bo`lganda ham o`rinli,



ya'ni

D(x, t

0

λ



0

) = λ

0

Z

b



a

K(x, s)D(s, t

0

λ



0

)ds.

Bu esa D(x, t

0

λ



0

)

funksiya (40.10) integral tenglamaning yechimi ekanligini



anglatadi. Yuqorida keltirilgan Adamar teoremasidan ko`rinadiki, D(x, tλ)

funksiya barcha x, t ∈ [a, b] larda tekis yaqinlashuvchi va hadlari uzluksiz

funksiyalardan iborat qator yig`indisi sifatida uzluksizdir.

40.1-ta'rif. Agar biror λ λ



0

uchun ∆(λ

0

) = 0


bo`lsa, λ

0

ga K(x, t)



yadroning xarakteristik soni deyiladi. (40.10) tenglamaning nolmas yechimi

esa K(x, t) yadroning λ

0

xarakteristik songa mos fundamental funksiyasi



deyiladi.

Agar λ

0

− K(x, t)

yadroning xarakteristik soni bo`lsa, u holda µ = 1

0

soni (39.1) tenglik bilan aniqlangan operatorning xos qiymati bo`ladi. K(x, t)



yadroning fundamental funksiyalari, operatorning xos funksiyalari bo`ladi.

437


40.3-teoremada D(x, tλ

0

)



aynan nolga teng emas shartini ∆

0

(λ

0

6= 0



shart bilan almashtirish mumkin. Buning ucnun biz barcha λ larda o'rinli

bo`lgan quyidagi tenglikdan ([10] ga qarang) foydalanamiz

Z

b

a

D(x, xλ)dx −λ 

0

(λ).

(40.12)

Faraz qilaylik, ∆(λ

0

) = 0


va ∆

0

(λ

0

6= 0



bo`lsin. Ma'lumki ((40.1) ga qarang),

∆(0) = 1


shuning uchun λ

0

6= 0

. Agar biz (40.12) formulada λ λ

0

desak,



uning o`ng tomoni noldan farqli bo`ladi, shunday ekan uning chap tomoni

ham nolmas bo`ladi. Bundan D(x, xλ

0

)

aynan nolga teng emasligi va o`z



navbatida D(x, tλ

0

)



ning ham aynan nolga teng emasligi kelib chiqadi.

Agar ∆(λ

0

) = 0


bilan birgalikda D(x, tλ

0

≡ 0



bo`lsa, u holda (40.10)

bir jinsli tenglamaning nolmas yechimlarini topish uchun yuqori tartibli mi-

norlarni qarashga to`g`ri keladi. Yuqori tartibli minorlarni kiritish uchun biz

quyidagi belgilashlardan foydalanamiz:



K



s

1

, s

2

, . . . , s

n

t

1

, t

2

, . . . , t

n

 =



¯

¯

¯



¯

¯

¯



¯

¯

¯



¯

¯

¯



K(s

1

, t

1

K(s



1

, t

2

· · · K(s



1

, t

n

)

K(s

2

, t

1

K(s



2

, t

2

· · · K(s



2

, t

n

)

... ··· ··· ... ···



...

K(s

n

, t

1

K(s



n

, t

2

· · · K(s



n

, t

n

)

¯



¯

¯

¯



¯

¯

¯



¯

¯

¯



¯

¯

(40.13)



va

B

n



x

1

, x

2

, . . . , x

p

y

1

, y

2

, . . . , y

p

 =



=

Z

b



a

· · ·

Z

b



a

K



x

1

, . . . , x



p

, t

1

, . . . , t



n

y

1

, . . . , y



p

, t

1

, . . . , t



n

 dt



1

· · · dt

n

.

(40.14)

Xususan = 0 da

B

0





x

1

, x

2

, . . . , x

p

y

1

, y

2

, . . . , y

p

 = K





x

1

, x

2

, . . . , x



p

y

1

, y

2

, . . . , y

p

 .



(40.15)

438


U holda ∆(λ) ning p − tartibli minori quyidagicha aniqlanadi

D



x

1

, x

2

, . . . , x

p

, λ

y

1

, y

2

, . . . , y

p

, λ

 =



X

n=0

(1)

n

λ

p+n

n!

B

n



x

1

, x

2

, . . . , x

p

y

1

, y

2

, . . . , y

p

 :=



D

p

(x, yλ)

(40.16)

Xususiy hol = 1 da D

1

(x, yλ) = D(x, yλ)



. Ta'kidlash joizki, agar biror

i 6j

uchun x



i

x



j

bo`lsa, u holda (40.13) tenglik bilan aniqlangan



K



x

1

, x

2

, . . . , x

p

y

1

, y

2

, . . . , y

p



determinantning i− chi va j− chi satrlari bir xil bo`ladi va natijada

K



x

1

, x

2

, . . . , x

p

y

1

, y

2

, . . . , y

p

 ≡ 0



bo`ladi. Bundan D

p

(x, yλ≡ 0

ekanligi kelib chiqadi. Xuddi shunday biror

i 6j

uchun y



i

y



j

bo`lsa ham D



p

(x, yλ≡ 0

bo`ladi. Agar (40.13) tenglik

bilan aniqlangan



K



x

1

, x

2

, . . . , x

p

y

1

, y

2

, . . . , y

p



determinantda x

i

bilan x



j

ning o`rnini almashtirsak (40.13) determinantda



i−

chi va j− chi satrlarning o`rni almashadi, bu esa (40.13) determinantning

ishorasini o`zgartiradi. Bu xossa p − tartibli minor D

p

(x, yλ)

uchun ham

o`rinli, ya'ni agar biz p − tartibli minor



D



x

1

, x

2

, . . . , x

p

, λ

y

1

, y

2

, . . . , y

p

, λ

 := D



p

(x, yλ)

da ((40.16) formulaga qarang) x

i

bilan x



j

ni o`rnini almashtirsak, p − tartibli

minor D

p

(x, yλ)

ning faqat ishorasi almashadi.

Fredholmning umumlashgan fundamental munosabatlari quyidagilar:



D



x

1

, x

2

, . . . , x

p

, λ

y

1

, y

2

, . . . , y

p

, λ

 =



439

=

p

X

α=1

(1)

α+β

λ K(x

α

, y

β

D



x



1

, . . . , x

α−1

, x

α+1

, . . . , x

p

, λ

y

1

, . . . , y



β−1

, y

β+1

, . . . , y

p

, λ

 +



+λ

Z

b



a

K(t, y

β

D



x



1

, . . . , x

α−1

, x

α

, x

α+1

, . . . , x

p

, λ

y

1

, . . . , y



β−1

, t, y

β+1

, . . . , y

p

, λ

 dt.



(40.17)

D



x

1

, x

2

, . . . , x

p

, λ

y

1

, y

2

, . . . , y

p

, λ

 =



=

p

X

β=1

(1)

α+β

λ K(x

α

, y

β

D



x



1

, . . . , x

α−1

, x

α+1

, . . . , x

p

, λ

y

1

, . . . , y



β−1

, y

β+1

, . . . , y

p

, λ

 +



+λ

Z

b



a

K(x

α

, tD



x

1

, . . . , x



α−1

, t, x

α+1

, . . . , x

p

, λ

y

1

, . . . , y



β−1

, y

β

, y

β+1

, . . . , y

p

, λ

 dt.



(40.18)

Yuqorida keltirilgan (40.12) munosabat quyidagi umumiy munosabatning xu-

susiy holidir

b

Z

a



· · ·

b

Z

a



D



x

1

, x

2

, . . . , x

p

, λ

x

1

, x

2

, . . . , x

p

, λ

 dx



1

· · · dx

p

= (1)



p

λ

p

(p)



(λ).

(40.19)

(40.17)-(40.19) tengliklarning isboti [10] da keltirilgan. Faraz qilaylik, λ

0

soni



∆(λ) = 0

tenglamaning ildizi bo`lsin. Ma'lumki, ∆(0) = 1 shuning uchun



λ

0

6= 0

. ∆(λ) analitik funksiya bo`lganligi uchun λ

0

uning chekli karrali



noli bo`ladi, ya'ni

∆(λ

0

) = 0



0

(λ

0

) = 0, . . . ,



(r−1)

(λ

0

) = 0,



(r)

(λ

0

6= 0.



Agar biz (40.19) formulada λ λ

0

va desak, u holda (40.19) ning



o'ng tomoni nolmas bo`ladi. Demak, uning chap tomoni ham nolmas, bu esa

o`z navbatida p − tartibli D



p

(x, xλ

0

)

minorning aynan nolmas ekanligini



keltirib chiqaradi. Bu yerdan D

p

(x, yλ

0

)

ning aynan nol funksiya emasligi



kelib chiqadi. Agar λ

0

soni ∆(λ) funksiyaning karrali noli bo`lsa, u holda



440

shunday q ≤ r natural son mavjudki, quyidagilar bajariladi:

∆(λ

0

) = 0, D(x, yλ



0

≡ 0, . . . , D



q−1

(x, yλ

0

≡ 0



bo`lib, D

q

(x, yλ

0

)

aynan nolmas bo`ladi.



40.2-ta'rif. Yuqorida aniqlangan soniga λ

0

xarakteristik sonning kar-



raligi deyiladi.

Shuni ta'kidlaymizki, simmetrik yadrolar uchun tenglik o`rinli. Xusu-

san bizning holimizda ham bo`ladi.

D

q

(x, yλ

0

)

aynan nolmas funksiya bo`lganligi uchun shunday x



1

x



0

1

,



x

2

x



0

2


Download 1.42 Mb.

Do'stlaringiz bilan baham:
1   ...   51   52   53   54   55   56   57   58   59




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling