WikiDer > Dastlabki qiymat teoremasi - Vikipediya

Initial value theorem - Wikipedia

Yilda matematik tahlil, boshlang'ich qiymat teoremasi bog'lash uchun ishlatiladigan teorema chastota domeni ga ifodalar vaqt domeni vaqt yaqinlashganda xatti-harakatlar nol.^[1]

Shuningdek, u IVT qisqartmasi ostida ma'lum.

Ruxsat bering

{ displaystyle F (s) = int _ {0} ^ { infty} f (t) e ^ {- st} , dt}

(bir tomonlama) bo'ling Laplasning o'zgarishi ning ƒ(t). Agar ${ displaystyle f}$ chegaralangan ${ displaystyle (0, infty)}$ (yoki agar bo'lsa) ${ displaystyle f (t) = O (e ^ {ct})}$ ) va ${ displaystyle lim _ {t - 0 ^ {+}} f (t)}$ mavjud bo'lsa, unda boshlang'ich qiymat teoremasi aytadi^[2]

{ displaystyle lim _ {t , to , 0} f (t) = lim _ {s to infty} {sF (s)}.}

Isbot

Avval buni aytaylik ${ displaystyle f}$ chegaralangan. Demoq ${ displaystyle lim _ {t to 0 ^ {+}} f (t) = alfa}$ . Integraldagi o'zgaruvchining o'zgarishi ${ displaystyle int _ {0} ^ { infty} f (t) e ^ {- st} , dt}$ buni ko'rsatadi

{ displaystyle sF (s) = int _ {0} ^ { infty} f chap ({ frac {t} {s}} right) e ^ {- t} , dt}

.

Beri ${ displaystyle f}$ chegaralangan, the Dominant konvergensiya teoremasi buni ko'rsatadi

{ displaystyle lim _ {s to infty} sF (s) = int _ {0} ^ { infty} alfa e ^ {- t} , dt = alfa.}

Albatta bu erda bizga DCT kerak emas, faqat oddiy hisob-kitoblar yordamida juda oddiy dalillarni keltirish mumkin:

Tanlash bilan boshlang ${ displaystyle A}$ Shuning uchun; ... uchun; ... natijasida ${ displaystyle int _ {A} ^ { infty} e ^ {- t} , dt < epsilon}$ va keyin eslatma ${ displaystyle lim _ {s to infty} f chap ({ frac {t} {s}} o'ng) = alfa}$ bir xilda uchun ${ displaystyle t in (0, A]}$ .)

Buni nazarda tutgan teorema ${ displaystyle f (t) = O (e ^ {ct})}$ chegaralangan teoremadan kelib chiqadi ${ displaystyle f}$ : Aniqlang ${ displaystyle g (t) = e ^ {- ct} f (t)}$ . Keyin ${ displaystyle g}$ chegaralangan, shuning uchun biz buni ko'rsatdik ${ displaystyle g (0 ^ {+}) = lim _ {s to infty} sG (s)}$ .Lekin ${ displaystyle f (0 ^ {+}) = g (0 ^ {+})}$ va ${ displaystyle G (s) = F (s + c)}$ , shuning uchun