Մաթ. Անալիզ/2-րդ կուրս/Լոկալիզացիայի սկզբունքը

testwiki-ից
Jump to navigation Jump to search

Ռիմանի թեորեմը լոկալիզացիայի սկզբունքի մասին:

Դիցուք f(x) ֆունկցիան ինտեգրելի է իսկական իմաստով կամ բացարձակ ինտեգրելի է անիսկական իմաստով [−π;π] միջակայքում, ընդ որում` f(π)=f(−π): f(x) ֆունկցիայի Ֆուրյեի շարքի զուգամիտությունը և գումարի արժեքը կախված է հետևյալ սահմանից.

limn→∞1π∫0δsin⁡(2n+1)u2⋅f(x0+u)+f(x0−u)sin⁡u2du:

Եթե այն գոյություն ունի, ապա Ֆուրյեի շարքի գումարը հենց դա է, ընդ որում`

x∈(x0−δ,x0+δ);∀δ>0:

Մնացած կետերում արժեքները դեր չեն խաղում:

Ապացույց.

f(x) ֆունկցիան պարբերական շարունակենք ամբողջ թվային առանցքի վրա: Դիրիխլեյի ինտեգրալի մեջ կատարենք փոփոխականի փոխարինում`

u=t−x,
Sn(x0,f)=12π∫−ππf(t)Dn(t−x0)dt=12π∫−π−x0π−x0f(x0+u)Dn(u)du=12π∫−ππf(x0+u)Dn(u)du:

Եթե տրված է T պարբերությամբ F(t) ֆունկցիա, ապա.

∫aa+TF(t)dt=∫bb+TF(t)dt:

Ապացույց.

նշանակենք u=t−T: Կունենանք`

∫aa+TF(t)dt=∫abF(t)dt+∫bb+TF(t)dt+∫b+Ta+TF(t)dt=∫abF(t)dt+∫bb+TF(t)dt+∫baF(u+T)dt=∫bb+TF(t)dt:

Հավասարության աջ մասը ներկայացնելով երկու ինտեգրալների գումարի տեսքով, առաջին ինտեգրալի մեջ կատարելով y=−u փոփոխականի փոխարինում, և հաշվի առնելով Դիրիխլեյի կորիզի զույգությունը` Dn(−u)=Dn(−u), կստանանք`

Sn(x0,f)=12π∫−π0f(x0+u)Dn(u)du+12π∫0πf(x0+u)Dn(u)du= =12π∫0πf(x0−y)Dn(y)dy+12π∫0πf(x0+u)Dn(u)du=1π∫0πDn(u)f(x0+u)+f(x0−u)2du:

Ստացված արտահայտության մեջ տեղադրելով Դիրիխլեի կորիզի արժեքը, կստանանք`

Sn(x0,f)=1π∫0πsin⁡(2n+1)u2⋅[f(x0+u)+f(x0−u)]2sin⁡u2du:

Այժմ ֆիքսենք որևէ δ,0<δ<π թիվ, և ստացված հավասարության աջ մասը ներկայացնենք երկու ինտեգրալների գումարի տեսքով`

Sn(x0,f)=1π∫0δsin⁡(2n+1)u2⋅[f(x0+u)+f(x0−u)]2sin⁡u2du+1π∫δπsin⁡(2n+1)u2⋅[f(x0+u)+f(x0−u)]2sin⁡u2du:

Քանի որ 12sin⁡u2 ֆունկցիան անընդհատ է, և, հետևաբար, նաև սահմանափակ [δ,π] հատվածի վրա,

Պատկեր:Gr sin.gif

իսկ f(x0+u)+f(x0−u) ֆունկցիան` ցանկացած x∈[−π;π] դեպքում 2π պարբերական է և ինտեգրելի` ըստ u-ի x∈[−π;π] միջակայքում, ապա ինտեգրելի կլինի նաև նրանց արտադրյալը`

f(x0+u)+f(x0−u)2sin⁡u2,

[δ,π] հատվածի վրա: Հետևաբար, համաձայն Ռիմանի լեմմայի`

limn→∞∫δπsin⁡(2n+1)u2⋅[f(x0+u)+f(x0−u)]2sin⁡u2du=0:

Թեորեմը ապացուցված է՛: -357-