2. Ikki qatlamli ayirmali sxemalarning turg’unligini tekshisrish.
Q ulaylik uchun quyidagi vektorlarni kiritamiz:
Ushbu (x0, tk), (x1, tk), . . . , (xm, tk) tiginlar to’plamini k – qatlam deymiz, shuning uchun ham yk va φk vektorlarni uh va φh funksiyalarning k - qatlamdagi qiymatidek qarash mumkin. Quyidagi normalarni kiritamiz:
Ta’rif. Ayirmali sxema C fazoning to’rdagi normasida turg’un deyiladi, agar h va τ ga bog’liq bo’lmagan shunday o’zgarmas c1 son topilib, uning uchun
(18)
baho o’rinli bo’lsa.
Endi (7),(8) ayirmali sxemaning turgunligini tekshiramiz.
1-teorema. Agar τ≤h2/2 bo’lsa, u holda (7),(8) ayirmali sxema C fazoning to’rdagi normasida turg’undir.
Isboti. (7) tenglamani quyidagi ko’rinishda yozib olamiz:
=(1-2ρ) +ρ +ρ +τ
bunda Agar ga ichki ( ) nuqtada erishilsa u holda
= ρ τ │≤
≤(1-2ρ)║ ║+2ρ║ ║+τ║ ║=║ ║+ τ║ .
Aks holda
=max(│ │,│ │)≤max(║ )║,║ ║)
Demak,
Endi (7),(8) masalaning yechimini
yk = +
ko’rinishda yozib olamiz, bunda (7),(8) masalaning o’ng tomoni =0 bo’lgandagi yechimi, esa (7),(8) masalaning chegaraviy va boshlang’ich shartlari nolga teng bo’lgan yechimi. (19) ga ko’ra uchun quyidagini hosil qilamiz:
Ikkinchi tomondan uchun (19)ga ko’ra
bu yerda (k+1)τ≤ Tdan foydalandik. Shunday qilib, quyidagiga ega bo’lamiz:
bunda =max(l,T). Bu tengsizlik barcha k, 0 ≤ k ≤ N uchun o’rinli, demak ayirmali sxema Cfazoning to’rdagi normasi uchun turg’un ekan. Teorema isbotlandi.
Dostları ilə paylaş: |