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


Download 1.42 Mb.
Pdf ko'rish
bet31/59
Sana16.04.2020
Hajmi1.42 Mb.
#99788
1   ...   27   28   29   30   31   32   33   34   ...   59
Bog'liq
funksional analiz va integral tenglamalar

n

elementlarning



α

1

x

1

α



2

x

2

· · · α



n

x

n

237


chiziqli kombinatsiyasidan L

0

dan olingan elementgagina farq qiladi, ya'ni



α

1

x

1

α



2

x

2

· · · α



n

x

n

y, y ∈ L



0

.

Bu tasvirning yagonaligini ko`rsatamiz. Aytaylik



α

0

1

x

1

α



0

2

x

2

· · · α



0

n

x

n

y



0

, y

0

∈ L

0

tasvir ham o`rinli bo`lsin. U holda

0 = (α

1

− α



0

1

)x



1

+ (α

2

− α

0

2

x



2

· · · + (α



n

− α

0

n

)x



n

y − y



0

tenglikka kelamiz. Bundan α

1

α



0

1

, α

2

α



0

2

, . . . , α



n

α



0

n

, y y

0

.

Mustaqil ishlash uchun savol va topshiriqlar



1.

Chiziqli fazoga misollar keltiring.

2.

Chiziqli bog`langan (chiziqli bog`lanmagan) sistema ta'rini bering.



3.

Chiziqli fazo o`lchami ta'rini bering.

4.

[11]



kesmada aniqlangan uzluksiz va juft (toq) funksiyalar to`plamini

C

+

[11] (C



[11])

bilan belgilaymiz. C

+

[11] (C



[11])

to`plam

C[11]

chiziqli fazoning qism fazosi bo`lishini isbotlang.

5.

˜

L



(0)

p

[a, b]

qism fazoning o`lchamini toping.

6.

L



p

[a, b]

faktor fazoning o`lchamini toping.

24- § . Chiziqli funksionallar

Bu paragraf chiziqli funksionallar, ularning ayrim xossalariga bag`ishlangan.

24.1-ta'rif. chiziqli fazoda aniqlangan sonli funksiya funksional de-

yiladi. Agar barcha x, y ∈ L lar uchun

(y) = (x) + (y)

238


bo`lsa, additiv funksional deyiladi.

24.2-ta'rif. Agar ixtiyoriy x ∈ L va barcha α ∈ C lar uchun



(αx) = αf (x)

bo`lsa, bir jinsli funksional deyiladi. Agar ixtiyoriy x ∈ L va barcha α ∈ C

sonlar uchun

(α x) = ¯

α f (x)

bo`lsa, u holda kompleks chiziqli fazoda aniqlangan funksional qo`shma bir

jinsli deyiladi, bu yerda ¯α soni α ga qo`shma kompleks son.

24.3-ta'rif. Additiv va bir jinsli funksional chiziqli funksional deyiladi.

Additiv va qo`shma bir jinsli funksional qo`shma chiziqli (yoki antichiziqli)

funksional deyiladi.

Chiziqli funksionallarga misollar keltiramiz.

24.1-misol. R



n

− n

o`lchamli vektor fazo va = (a

1

, a

2

, . . . , a



n

∈ R



n

tayin bir element bo`lsin. U holda



: R

n

→ R, f (x) =

n

X

i=1



a

i

x

i

moslik R


n

da chiziqli funksional bo`ladi.



(z) =

n

X

k=1



a

k

¯

z



k

tenglik bilan aniqlanuvchi : C



n

→ C

akslantirish qo`shma chiziqli funksio-

nalni aniqlaydi.

24.2. Quyidagi va I



C[a, b→ C

funksionallar

I(x) =

Z

b



a

x(tdt,

I

(x) =

Z

b

a

x(tdt

C[a, b]

fazodagi chiziqli va qo`shma chiziqli funksionalga misol bo`ladi.

24.3. y

0

∈ C[a, b]

berilgan element bo`lsin. Har bir x ∈ C[a, b] funksi-

yaga


(x) =

Z

b



a

x(ty

0

(tdt



239

sonni mos qo`yamiz. Bu funksionalning chiziqliligi integrallash amalining asosiy

xossalaridan kelib chiqadi.



F

(x) =

Z

b

a

x(ty

0

(tdt



funksional C[a, b] fazoda qo`shma chiziqli funksional bo`ladi.

24.4. `

2

fazoda chiziqli funksionalga misol keltiramiz. k− tayin bir natural



son bo`lsin. `

2

dagi har bir = (x



1

, x

2

, . . . , x



k

, . . .)

uchun


f

k

(x) = x



k

deymiz. Bu funksionalning chiziqliligi ko`rinib turibdi.

24.1. Chiziqli funksionalning geometrik ma'nosi

Bizga chiziqli fazoda aniqlangan, nolmas chiziqli funksional berilgan

bo`lsin. Bu funksional uchun f(x) = 0 shartni qanoatlantiruvchi barcha

x ∈ L

nuqtalar to`plami uning yadrosi deyiladi va Ker f { x ∈ L :



(x) = 0}

ko`rinishda belgilanadi. Ker f to`plam ning qism fazosi bo`ladi.

Haqiqatan ham, agar x, y ∈ Ker f bo`lsa, u holda ixtiyoriy a, b sonlar uchun

(a x b y) = a f (x) + b f (y) = 0

tenglik o`rinli.



Ker f

qism fazoning koo`lchami birga teng. Haqiqatan ham, Ker f ga

qarashli bo`lmagan, ya'ni f(x

0

6= 0



bo`ladigan qandaydir x

0

elementni



olamiz. Bunday element mavjud, chunki f(x6= 0 (aynan nolga teng emas).

Umumiylikni chegaralamasdan hisoblashimiz mumkinki, f(x

0

) = 1


(aks hol-

da biz x

0

/f (x

0

)



ni olgan bo`lar edik, chunki f(x

0

/f (x

0

)) = 1


). Ixtiyoriy x

element uchun x − x

0

· f (x)

desak, u holda



(y) = (x − x

0

· f (x)) = 0,

ya'ni y ∈ Ker f . Qaralayotgan element a x

0

+y , y ∈ Ker f



ko`rinish-

da tasvirlanadi va bu tasvir yagonadir. Haqiqatan ham,

240


a x

0

y , y ∈ Ker f



va a

0

x

0

y



0

, y

0

∈ Ker f

bo`lsin. U holda (a−a



0

x

0

y



0

− y

tenglik o`rinli. Agar a



0

bo`lsa, y



0

ekanligi ko`rinib turibdi. Agar a − a



0

6= 0

bo`lsa, u holda



x

0

=



y

0

− y

a − a

0

∈ Ker f

ekanligi kelib chiqadi. Bu esa x

0

/

∈ Ker f

shartga zid. Bu qarama-qarshilik

tasdiqni isbotlaydi.

Bu yerdan kelib chiqadiki, ikkita x



1

va x

2

elementlar Ker f qism fazo



bo`yicha bitta qo`shni sinfda yotishi uchun f(x

1

) = (x



2

)

shartning bajarilishi



zarur va yetarli. Haqiqatan ham,

x

1

(x



1

x

0

y



1

, y

1

∈ Ker f, x

2

(x



2

x

0

y



2

, y

2

∈ Ker f

tenglikdan

x

1

− x

2

= ((x



1

− f (x

2

)) x



0

+ (y

1

− y

2

)



tenglik kelib chiqadi. Bu yerdan kelib chiqadiki, x

1

− x

2

∈ Ker f

bo`lishi


uchun (x

1

− f (x



2

) = 0


bo`lishi zarur va yetarli.

Ker f

qism fazo bo`yicha har qanday ξ sinf o`zining ixtiyoriy vakili bilan

bir qiymatli aniqlanadi. Bunday vakil sifatida a x

0

ko`rinishdagi elementni



olish mumkin. Bu yerdan ko`rinadiki, L/Ker f qism fazoning o`lchami birga

teng ekan, ya'ni Ker f ning koo`lchami birga teng.

Chiziqli funksionalning yadrosi Ker f o`zida nolga aylanadigan funksio-

nalni o`zgarmas ko`paytuvchi aniqligida bir qiymatli aniqlaydi.

Haqiqatan ham, va funksionallar yadrolari teng bo`lsin, ya'ni Ker f =

Ker g

. U holda uchun x

0

∈ L

elementni shunday tanlaymizki, f(x

0

) = 1


bo`lsin. Ko`rsatamizki, g(x

0

6= 0



. Ixtiyoriy x ∈ L uchun

(xx

0

+y, y ∈ Ker f



va (x) = (x(x

0

)+(y) = (x(x



0

)

tengliklarga egamiz. Agar g(x



0

) = 0


bo`lsa, g(x≡ 0 bo`lar edi. g(x) =

241


g(x

0

)(x)



tenglikdan va funksionallarning proporsional ekanligi kelib

chiqadi.


Koo`lchami birga teng bo`lgan ixtiyoriy L

0

qism fazo berilgan bo`lsin. U

holda shunday chiziqli funksional mavjudki, Ker f L

0

bo`ladi. Buning

uchun L

0

qism fazoda yotmaydigan ixtiyoriy x

0

∈ L

elementni olamiz va

ixtiyoriy x ∈ L elementni a x

0

y, y ∈ L



0

ko`rinishda yozamiz. Bunday

yoyilma yagona. f(x) = tenglik yordamida aniqlanuvchi chiziqli funksio-

nalning yadrosi Ker f L



0

bo`ladi.


L

chiziqli fazoda koo`lchami birga teng bo`lgan qandaydir L



0

qism fa-


zo berilgan bo`lsin. U holda fazoning L

0

qism fazo bo`yicha har qan-

day qo`shni sin L

0

qism fazoga parallel bo`lgan gipertekislik deyiladi (xusu-

san, L

0

qism fazoning o`zi θ elementni saqlovchi, ya'ni koordinata boshidan

o`tuvchi gipertekislik hisoblanadi). Boshqacha aytganda, L

0

qism fazoga paral-

lel bo`lgan M

0

gipertekislik - bu L



0

qism fazoni qandaydir x

0

∈ L

vektorga


parallel ko`chirishdan paydo bo`ladigan to`plam, ya'ni

M

0

L



0

x

0

{ y x



0

, x ∈ L

0

} .

Ko`rinib turibdiki, agar x

0

∈ L

0

bo`lsa, M



0

L



0

bo`ladi, agarda x

0

/

∈ L

0

bo`lsa, u holda M



0

6L

0

.

Agar f − L chiziqli fazoda aniqlangan chiziqli funksional bo`lsa, M



f

=

{ x ∈ L :



(x) = 1}

to`plam Ker f qism fazoga parallel gipertekislik

bo`ladi. Haqiqatan ham, f(x

0

) = 1



bo`ladigan x

0

elementni tanlab, ixtiyo-



riy elementni α x

0

y , y ∈ Ker f



ko`rinishda yozishimiz mumkin.

Ikkinchi tomondan, agar M



0

koo`lchami birga teng bo`lgan L



0

qism fa-


zoga parallel va koordinata boshidan o`tmaydigan gipertekislik bo`lsa, u holda

shunday yagona chiziqli funksional mavjudki,



M

0

{x (x) = 1}

242


bo`ladi. Haqiqatan ham, M

0

L



0

x

0

, x

0

∈ L

bo`lsin. U holda har qanday

x ∈ L

element yagona ravishda a x

0

+y, y ∈ L



0

ko`rinishda tasvirlanadi.



(x) = a

tenglik yordamida aniqlanadigan chiziqli funksional izlanayotgan

funksional bo`ladi. Uning yagonaligi quyidagidan kelib chiqadi:

Agar x ∈ M



0

da g(x) = 1 bo`lsa, u holda y ∈ L



0

da g(y) = 0 bo`ladi.

Bundan

g(a x

0

y) = (a x



0

y)

tenglik kelib chiqadi.

Shunday qilib, chiziqli fazoda aniqlangan noldan farqli barcha chiziqli

funksionallar bilan koordinata boshidan o`tmaydigan dagi barcha giperte-

kisliklar o`rtasida o`zaro bir qiymatli moslik o`rnatildi.

Mustaqil ishlash uchun savol va topshiriqlar

1.

Chiziqli funksionalning geometrik ma'nosini tushuntiring.



2.

C[a, b]

fazoda gipertekislikka misol keltiring.

3.

C[a, b]

fazoda f(x) = x(b) chiziqli funksionalni qaraymiz. C[a, b] fa-

zoda { f ∈ C[a, b] : f(x) = 1 to`plam gipertekislik bo`ladimi?

4.

[a, b→ , f (x) = x(a)

chiziqli funksionalning yadrosini to-

ping. Ker f V

0

[a, b]



tenglik to`g`rimi?

5.

C[11] → R

va

(x) =

Z

1



1

(tdt

funksionalning chiziqli ekanligini ko`rsating. Toq funksiyalar to`plami



C

[11] = { x ∈ C[11] : x(−t) = −x(t}

uchun C

− 11]



⊂ Ker f

munosabat to`g`rimi?

6.

: R

3

→ R, f (x) = x

1

chiziqli funksionalning yadrosini toping. Bu



fazoda

©

x ∈ R

3

(x) = 1



ª

gipertekislikni chizmada tasvirlang.

243


25- §. Qavariq to`plamlar va qavariq funksionallar

L

- haqiqiy chiziqli fazo, va uning ikki nuqtasi bo`lsin. U holda



α x + (1 − αy, α ∈ [01]

ko`rinishdagi barcha elementlar to`plami va nuqtalarni tutashtiruvchi

kesma deyiladi va u [x, y] bilan belgilanadi, ya'ni

[x, y] = { α x + (1 − α:



α ∈ [01]} .

25.1-ta'rif. Agar M ⊂ L to`plam o`zining ixtiyoriy x, y ∈ M nuqtala-

rini tutashtiruvchi [x, y] kesmani ham o`zida saqlasa, ga qavariq to`plam

deyiladi.

25.2-ta'rif. Agar biror x ∈ E nuqta va ixtiyoriy y ∈ L uchun shunday

ε ε(y0

son mavjud bo`lib, barcha t, | t | < ε larda ty ∈ E muno-

sabat bajarilsa, x ∈ E nuqta E ⊂ L to`plamning yadrosiga qarashli deyiladi.

E ⊂ L

to`plamning yadrosi − J(E) bilan belgilanadi, ya'ni



J(E) = {x ∈ E ∃y ∈ L, ∀ε ε(y0, ∀t ∈ , |t| < ε, x ty ∈ E} .

25.3-ta'rif. Yadrosi bo`sh bo`lmagan qavariq to`plam qavariq jism deyiladi.

25.1-misol. R

3

fazoda kub, shar, tetrayedr, tekislikda to`g`ri to`rtburchak,



doira, uchburchak qavariq jism bo`ladi. `

2

fazodagi



B[01] =

(

x ∈ `

2

:



X

n=1

|x

n

|

2

≤ 1

)

birlik shar qavariq jism bo`ladi.



25.2. R

2

da to`g`ri chiziq (kesma) qavariq to`plam bo`ladi, lekin qavariq



jism bo`lmaydi. Chunki, uning yadrosi bo`sh to`plam (mustaqil isbotlang).

Agar qavariq to`plam bo`lsa, u holda uning yadrosi J(M) ham qavariq

to`plamdir. Haqiqatan ham,

244


x, y ∈ J (M)

va α x + (1 − αy, α ∈ [01]

bo`lsin. U holda ixtiyoriy a ∈ L uchun shunday ε

1

0, ε

2

0

sonlar


mavjudki, | t

1

| < ε

1

, | t

2

| < ε

2

shartni qanoatlantiruvchi barcha t



1

, t

2

larda t



1

a

va t

2

a

elementlar to`plamda yotadi. Bundan kelib chi-

qadiki, barcha |t| < ε ε = min (ε

1

, ε

2

)

larda



α (t a)+(1−α) (t a) = α x+(1−αy+α t a+(1−αt a z+t a ∈ M,

ya'ni z ∈ J (M) .

25.1-teorema. Istalgan sondagi qavariq to`plamlarning kesishmasi yana

qavariq to`plamdir.

Isbot. Faraz qilaylik,

=

\

α



M

α

bo`lib, barcha M



α

lar qavariq to`plamlar bo`lsin, va lar ning ikki ix-

tiyoriy nuqtasi bo`lsin. U holda va nuqtalarni tutashtiruvchi [x, y] kesma

M

α

larning har biriga qarashli va demak, ga ham qarashli. Shunday qilib,



M

haqiqatan ham qavariq to`plam ekan.

Shuni eslatib o`tamizki, qavariq jismlarning kesishmasi yana qavariq jism



bo`lavermaydi. Bunga quyidagi misolda ishonch hosil qilish mumkin.

25.3. Tekislikdagi (x, y) : 0 ≤ x ≤ 1≤ y ≤ va =



(x, y) : 0 ≤ x ≤ 1≤ y ≤ }

qavariq jismlarning kesishmasi



P ∩ Q (x, y) : 0 ≤ x ≤ 1, y = 1}

kesmadan iborat bo`lib, u qavariq jism emas (25.2-misolga qarang).

Qavariq to`plam tushunchasi qavariq funksional tushunchasi bilan uzviy

bog`liq.


25.4-ta'rif. Agar haqiqiy chiziqli fazoda aniqlangan manymas funk-

sional


1) (y≤ p (x) + (y, ∀x, y ∈ L,

245


Download 1.42 Mb.

Do'stlaringiz bilan baham:
1   ...   27   28   29   30   31   32   33   34   ...   59




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