Қорытынды мән теоремасы

Жылы математикалық талдау, соңғы мән теоремасы (FVT) - байланыстыру үшін қолданылатын бірнеше ұқсас теоремалардың бірі жиілік домені үшін өрнектер уақыт домені уақыт шексіздікке жақындаған кездегі мінез-құлық.^[1]^[2]^[3]^[4]Математикалық, егер ${displaystyle f (t)}$ үздіксіз уақытта (біржақты) Лапластың өзгеруі ${displaystyle F (s)}$ онда соңғы мән теоремасы шарттарды белгілейді

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

Сол сияқты, егер ${displaystyle f [k]}$ дискретті уақытта (біржақты) Z-түрлендіру ${displaystyle F (z)}$ онда соңғы мән теоремасы шарттарды белгілейді

{displaystyle lim _ {k o infty} f [k] = lim _ {z o 1} {(z-1) F (z)}}

Абельдік соңғы теорема уақыт-домен әрекеті туралы болжамдар жасайды ${displaystyle f (t)}$ (немесе ${displaystyle f [k]}$ ) есептеу үшін ${displaystyle lim _ {s, o, 0} {sF (s)}}$ . Керісінше, Tauberian соңғы мән теоремасы жиілік-домендік мінез-құлық туралы болжамдар жасайды ${displaystyle F (s)}$ есептеу үшін ${displaystyle lim _ {t o infty} f (t)}$ (немесе ${displaystyle lim _ {k o infty} f [k]}$ ) (қараңыз Интегралдық түрлендірулерге арналған Абелия және Тауберия теоремалары ).

Лаплас түрлендіруінің соңғы мәндік теоремалары

Шығару ${displaystyle lim _ {t o infty} f (t)}$

Келесі мәлімдемелерде « ${displaystyle s 0}$ 'дегенді білдіреді ${displaystyle s}$ 0-ге жақындайды, ал ' ${displaystyle sdownarrow 0}$ 'дегенді білдіреді ${displaystyle s}$ оң сандар арқылы 0-ге жақындайды.

Стандартты соңғы мән теоремасы

Делік ${displaystyle F (s)}$ не ашық сол жақ жарты жазықтықта, не шығу тегі бойынша болады және солай болады ${displaystyle F (s)}$ шыққан жерінде ең көп дегенде бір полюсі бар. Содан кейін ${displaystyle sF (s) o Lin mathbb {R}}$ сияқты ${displaystyle s 0}$ , және ${displaystyle lim _ {t o infty} f (t) = L}$ .^[5]

Туынды Лаплас түрлендіруін қолдана отырып, соңғы мән теоремасы

Айталық ${displaystyle f (t)}$ және ${displaystyle f '(t)}$ екеуінде де барлығында бар Лаплас түрлендірулері бар ${displaystyle s> 0}$ . Егер ${displaystyle lim _ {t o infty} f (t)}$ бар және ${displaystyle lim _ {s, o, 0} {sF (s)}}$ ол кезде бар ${displaystyle lim _ {t o infty} f (t) = lim _ {s, o, 0} {sF (s)}}$ .^[3]^{:Теорема 2.36}^[4]^:20^[6]

Ескерту

Теореманың орындалуы үшін екі шегі де болуы керек. Мысалы, егер ${displaystyle f (t) = sin (t)}$ содан кейін ${displaystyle lim _ {t o infty} f (t)}$ жоқ, бірақ ${displaystyle lim _ {s, o, 0} {sF (s)} = lim _ {s, o, 0} {frac {s} {s ^ {2} +1}} = 0}$ .^[3]^{:2.37-мысал}^[4]^:20

Жақсартылған Таубериялық Конверстің Қорытынды Құнды Теоремасы

Айталық ${displaystyle f: (0, infty) o mathbb {C}}$ шектелген және дифференциалданатын және бұл ${displaystyle tf '(t)}$ сонымен бірге шектелген ${displaystyle (0, қатал)}$ . Егер ${displaystyle sF (s) o Lin mathbb {C}}$ сияқты ${displaystyle s 0}$ содан кейін ${displaystyle lim _ {t o infty} f (t) = L}$ .^[7]

Кеңейтілген мәндік теорема

Делік ${displaystyle F (s)}$ не ашық сол жақ жарты жазықтықта, не бастапқыда. Содан кейін келесілердің бірі пайда болады:

${displaystyle sF (s) o Lin mathbb {R}}$ сияқты ${displaystyle sdownarrow 0}$ , және ${displaystyle lim _ {t o infty} f (t) = L}$ .
${displaystyle sF (s) o + in mathbb in mathbb {R}}$ сияқты ${displaystyle sdownarrow 0}$ , және ${displaystyle f (t) o + infty}$ сияқты ${displaystyle t ofty}$ .
${displaystyle sF (s) o -infty in mathbb {R}}$ сияқты ${displaystyle sdownarrow 0}$ , және ${displaystyle f (t) o -infty}$ сияқты ${displaystyle t ofty}$ .

Атап айтқанда, егер ${displaystyle s = 0}$ бірнеше полюсі болып табылады ${displaystyle F (s)}$ онда 2 немесе 3 жағдай қолданылады ( ${displaystyle f (t) o + infty}$ немесе ${displaystyle f (t) o -infty}$ ).^[5]

Қорытынды құндылық теоремасы

Айталық ${displaystyle f (t)}$ Лаплас түрлендірілетін болып табылады. Келіңіздер ${displaystyle lambda> -1}$ . Егер ${displaystyle lim _ {t o infty} {frac {f (t)} {t ^ {lambda}}}}$ бар және ${displaystyle lim _ {sdownarrow 0} {s ^ {lambda +1} F (s)}}$ ол кезде бар

{displaystyle lim _ {t o infty} {frac {f (t)} {t ^ {lambda}}} = {frac {1} {Gamma (lambda +1)}} lim _ {sdownarrow 0} {s ^ { лямбда +1} F (-тар)}}

қайда ${displaystyle Gamma (x)}$ дегенді білдіреді Гамма функциясы.^[5]

Қолданбалар

Алуға арналған соңғы мән теоремалары ${displaystyle lim _ {t o infty} f (t)}$ орнатуда өтінімдері бар жүйенің ұзақ мерзімді тұрақтылығы.

Шығару ${displaystyle lim _ {s, o, 0} {sF (s)}}$

Абельдің соңғы мәндік теоремасы

Айталық ${displaystyle f: (0, infty) o mathbb {C}}$ шектелген және өлшенетін және ${displaystyle lim _ {t o infty} f (t) = alfa in mathbb {C}}$ . Содан кейін ${displaystyle F (s)}$ барлығы үшін бар ${displaystyle s> 0}$ және ${displaystyle lim _ {s, o, 0 ^ {+}} {sF (s)} = alfa}$ .^[7]

Бастапқы дәлелдеу^[7]

Ыңғайлы болу үшін делік ${displaystyle | f (t) | leq 1}$ қосулы ${displaystyle (0, қатал)}$ және рұқсат етіңіз ${displaystyle alpha = lim _ {t o infty} f (t)}$ . Келіңіздер ${displaystyle epsilon> 0}$ және таңдаңыз ${displaystyle A}$ сондай-ақ ${displaystyle | f (t) -alpha | <эпсилон}$ барлығына ${displaystyle t> A}$ . Бастап ${displaystyle sint _ {0} ^ {infty} e ^ {- st}, dt = 1}$ , әрқайсысы үшін ${displaystyle s> 0}$ Бізде бар

{displaystyle sF (s) -alpha = sint _ {0} ^ {infty} (f (t) -alpha) e ^ {- st}, dt;}

демек

{displaystyle | sF (s) -alpha | leq sint _ {0} ^ {A} | f (t) -alpha | e ^ {- st}, dt + sint _ {A} ^ {infty} | f (t) ) -alpha | e ^ {- st}, dtleq 2sint _ {0} ^ {A} e ^ {- st}, dt + epsilon sint _ {A} ^ {infty} e ^ {- st}, dt = I + II.}

Енді әрқайсысы үшін ${displaystyle s> 0}$ Бізде бар

{displaystyle II

.

Екінші жағынан, бері ${displaystyle A$ бекітілгені анық ${displaystyle lim _ {s o 0} I = 0}$ , солай ${displaystyle | sF (s) -alpha | <эпсилон}$ егер ${displaystyle s> 0}$ жеткілікті кішкентай.

Туынды Лаплас түрлендіруін қолдана отырып, соңғы мән теоремасы

Келесі шарттардың барлығы орындалды делік:

${displaystyle f: (0, infty) o mathbb {C}}$ үздіксіз ажыратылатын және екеуі де ${displaystyle f}$ және ${displaystyle f '}$ Лаплас трансформациясы бар
${displaystyle f '}$ мүлдем интегралды, яғни ${displaystyle int _ {0} ^ {infty} | f '(au) |, d au}$ ақырлы
${displaystyle lim _ {t o infty} f (t)}$ бар және ақырлы

Содан кейін

{displaystyle lim _ {s o 0 ^ {+}} sF (s) = lim _ {t o infty} f (t)}

.^[8]

Ескерту

Дәлелі Конвергенция теоремасы.^[8]

Функцияның орташа мәні туралы соңғы теорема

Келіңіздер ${displaystyle f: (0, infty) o mathbb {C}}$ келесі шектеу болатындай үздіксіз және шектелген функция болуы керек

{displaystyle lim _ {T o infty} {frac {1} {T}} int _ {0} ^ {T} f (t), dt = alfa in mathbb {C}}

Содан кейін ${displaystyle lim _ {s, o, 0,, s> 0} {sF (s)} = alfa}$ .^[9]

Периодты функциялардың асимптотикалық қосындылары үшін соңғы мән теоремасы

Айталық ${displaystyle f: [0, infty) o mathbb {R}}$ үздіксіз және абсолютті интегралды ${displaystyle [0, ыңғайлы)}$ . Әрі қарай ${displaystyle f}$ асимптотикалық түрде периодты функциялардың ақырлы қосындысына тең ${displaystyle f_ {mathrm {as}}}$ , Бұл

{displaystyle | f (t) -f_ {mathrm {as}} (t) |

қайда ${displaystyle phi (t)}$ толықтай интеграцияланады ${displaystyle [0, ыңғайлы)}$ және шексіздікте жоғалады. Содан кейін

{displaystyle lim _ {s o 0} sF (s) = lim _ {t o infty} {frac {1} {t}} int _ {0} ^ {t} f (x), dx}

.^[10]

Шексіздікке қарай бағыттайтын функцияның соңғы мәндік теоремасы

Келіңіздер ${displaystyle f (t): [0, infty) o mathbb {R}}$ және ${displaystyle F (s)}$ Лаплас түрлендіруі ${displaystyle f (t)}$ . Айталық ${displaystyle f (t)}$ келесі шарттардың барлығын қанағаттандырады:

${displaystyle f (t)}$ нөлде шексіз дифференциалданады
${displaystyle f ^ {(k)} (t)}$ барлық теріс емес сандар үшін Лаплас түрлендіруі бар ${displaystyle k}$
${displaystyle f (t)}$ ретінде шексіздікке ауысады ${displaystyle t ofty}$

Содан кейін ${displaystyle sF (s)}$ ретінде шексіздікке ауысады ${displaystyle s o 0 ^ {+}}$ .^[11]

Қолданбалар

Алуға арналған соңғы мән теоремалары ${displaystyle lim _ {s, o, 0} {sF (s)}}$ есептеу үшін статистикалық және ықтимал қосымшалары бар кездейсоқ шаманың моменттері. Келіңіздер ${displaystyle R (x)}$ үздіксіз кездейсоқ шаманың жинақталған үлестірім функциясы ${displaystyle X}$ және рұқсат етіңіз ${displaystyle ho (s)}$ болуы Лаплас-Стильтес түрлендіруі туралы ${displaystyle R (x)}$ . Содан кейін ${displaystyle n}$ - сәт ${displaystyle X}$ деп есептеуге болады

{displaystyle E [X ^ {n}] = (- 1) ^ {n} қалды. {frac {d ^ {n} ho (s)} {ds ^ {n}}} ight | _ {s = 0} }

Стратегия - жазу

{displaystyle {frac {d ^ {n} ho (s)} {ds ^ {n}}} = {mathcal {F}} {igl (} G_ {1} (s), G_ {2} (s)), нүктелер, G_ {k} (-тар), нүктелер {igr)}}

қайда ${displaystyle {mathcal {F}} (нүктелер)}$ үздіксіз және әрқайсысы үшін ${displaystyle k}$ , ${displaystyle G_ {k} (s) = sF_ {k} (s)}$ функция үшін ${displaystyle F_ {k} (s)}$ . Әрқайсысы үшін ${displaystyle k}$ , қой ${displaystyle f_ {k} (t)}$ ретінде кері Лаплас түрлендіруі туралы ${displaystyle F_ {k} (s)}$ , алу ${displaystyle lim _ {t o infty} f_ {k} (t)}$ , шығару үшін соңғы мән теоремасын қолданыңыз ${displaystyle lim _ {s, o, 0} {G_ {k} (s)} = lim _ {s, o, 0} {sF_ {k} (s)} = lim _ {t o infty} f_ {k) } (т)}$ . Содан кейін

{displaystyle сол жақта. {frac {d ^ {n} ho (s)} {ds ^ {n}}} ight | _ {s = 0} = {mathcal {F}} {Bigl (} lim _ {s, o , 0} G_ {1} (s), lim _ {s, o, 0} G_ {2} (s), нүктелер, lim _ {s, o, 0} G_ {k} (s), нүктелер {Bigr )}}

және демек ${displaystyle E [X ^ {n}]}$ алынды.

Мысалдар

FVT болатын мысал

Мысалы, сипатталған жүйе үшін беру функциясы

{displaystyle H (s) = {frac {6} {s + 2}},}

және сондықтан импульстік жауап жақындайды

{displaystyle lim _ {t o infty} h (t) = lim _ {s o 0} {frac {6s} {s + 2}} = 0.}

Яғни, қысқа импульс мазалағаннан кейін жүйе нөлге оралады. Алайда, Laplace түрлендіруі бірлік қадамы болып табылады

{displaystyle G (s) = {frac {1} {s}} {frac {6} {s + 2}}}

және сондықтан қадамға жауап жауап береді

{displaystyle lim _ {t o infty} g (t) = lim _ {s o 0} {frac {s} {s}} {frac {6} {s + 2}} = {frac {6} {2} } = 3}

және нөлдік күй жүйесі экспоненциалды көтеріліп, соңғы 3 мәніне жетеді.

FVT қолданылмайтын мысал

Тасымалдау функциясы сипатталған жүйе үшін

{displaystyle H (s) = {frac {9} {s ^ {2} +9}},}

соңғы мән теоремасы пайда болады импульстік жауаптың соңғы мәнін 0-ге, ал қадам реакциясының ақырғы мәнін 1-ге тең деп болжау үшін. Алайда уақыт-домен шегі де жоқ, демек, соңғы мән теоремасының болжамдары да дұрыс емес. Шындығында, импульстік жауап та, адымдық реакция да тербеледі және (бұл жағдайда) соңғы мән теоремасы жауаптар тербелетін орташа мәндерді сипаттайды.

Жүргізілген екі тексеру бар Басқару теориясы соңғы мән теоремасы үшін дұрыс нәтижелерді растайтын:

Бөлгіштің нөлдік емес барлық түбірлері ${displaystyle H (s)}$ теріс нақты бөліктері болуы керек.
${displaystyle H (s)}$ басында бір полюс болмауы керек.

Осы ережеде 1 ереже қанағаттандырылмаған, өйткені бөлгіштің түбірлері ${displaystyle 0 + j3}$ және ${displaystyle 0-j3}$ .

Z түрлендіруге арналған соңғы мән теоремалары

Шығару ${displaystyle lim _ {k o infty} f [k]}$

Егер ${displaystyle lim _ {k o infty} f [k]}$ бар және ${displaystyle lim _ {z, o, 1} {(z-1) F (z)}}$ ол кезде бар ${displaystyle lim _ {k o infty} f [k] = lim _ {z, o, 1} {(z-1) F (z)}}$ .^[4]^:101

Сондай-ақ қараңыз

Ескертулер

^ Ван, Руэ (2010-02-17). «Бастапқы және соңғы мән теоремалары». Алынған 2011-10-21.
^ Алан В. Оппенхайм; Алан С.Виллский; С.Хамид Наваб (1997). Сигналдар мен жүйелер. Нью-Джерси, АҚШ: Prentice Hall. ISBN 0-13-814757-4.
^ ^а ^б ^c Шифф, Джоэль Л. (1999). Лапластың өзгеруі: теориясы және қолданылуы. Нью-Йорк: Спрингер. ISBN 978-1-4757-7262-3.
^ ^а ^б ^c ^г. Граф, Урс (2004). Ғалымдар мен инженерлерге арналған лаплас түріндегі трансформациялар және z-трансформалар. Базель: Birkhäuser Verlag. ISBN 3-7643-2427-9.
^ ^а ^б ^c Чен, Джи; Лундберг, Кент Х .; Дэвисон, Даниэль Э .; Бернштейн, Деннис С. (маусым 2007). «Қайта қаралған соңғы мән теоремасы - шексіз шектер және иррационалды функция». IEEE басқару жүйелері журналы. 27 (3): 97–99. дои:10.1109 / MCS.2007.365008.
^ «Лаплас трансформациясының соңғы мәндік теоремасы». ProofWiki. Алынған 12 сәуір 2020.
^ ^а ^б ^c Ульрих, Дэвид С. (2018-05-26). «Таубериялық қорытынды теорема». Math Stack Exchange.
^ ^а ^б Сопасакис, Пантелис (2019-05-18). «Доминирленген конвергенция теоремасын қолданатын соңғы мән теоремасының дәлелі». Math Stack Exchange.
^ Мэрти, Кави Рама (2019-05-07). «Лаплас трансформациясы үшін соңғы мән теоремасының балама нұсқасы». Math Stack Exchange.
^ Глускин, Эмануэль (1 қараша 2003). «Соңғы қорытынды теореманы осылай жалпылауға үйретейік». Еуропалық физика журналы. 24 (6): 591–597. дои:10.1088/0143-0807/24/6/005.
^ Хью, Патрик (2020-04-22). «Шексіздікке қарай бағытталатын функцияның соңғы мәндер теоремасы?». Math Stack Exchange.

Сыртқы сілтемелер

[1]
http://fourier.eng.hmc.edu/e102/lectures/Laplace_Transform/node17.html Лаплас үшін соңғы мән
https://web.archive.org/web/20110719222313/http://www.engr.iupui.edu/~skoskie/ECE595s7/handouts/fvt_proof.pdf Z-түрлендірулеріне соңғы мән

Бұл математикалық талдау - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.

[RWang2010-1] Ван, Руэ (2010-02-17). «Бастапқы және соңғы мән теоремалары». Алынған 2011-10-21.

[OppenheimWillskyNawab1997-2] Алан В. Оппенхайм; Алан С.Виллский; С.Хамид Наваб (1997). Сигналдар мен жүйелер. Нью-Джерси, АҚШ: Prentice Hall. ISBN 0-13-814757-4.

[Schiff1999-3] а ^б ^c Шифф, Джоэль Л. (1999). Лапластың өзгеруі: теориясы және қолданылуы. Нью-Йорк: Спрингер. ISBN 978-1-4757-7262-3.

[Graf2004-4] а ^б ^c ^г. Граф, Урс (2004). Ғалымдар мен инженерлерге арналған лаплас түріндегі трансформациялар және z-трансформалар. Базель: Birkhäuser Verlag. ISBN 3-7643-2427-9.

[ChenLundbergDavisonBernstein2007-5] а ^б ^c Чен, Джи; Лундберг, Кент Х .; Дэвисон, Даниэль Э .; Бернштейн, Деннис С. (маусым 2007). «Қайта қаралған соңғы мән теоремасы - шексіз шектер және иррационалды функция». IEEE басқару жүйелері журналы. 27 (3): 97–99. дои:10.1109 / MCS.2007.365008.

[6] «Лаплас трансформациясының соңғы мәндік теоремасы». ProofWiki. Алынған 12 сәуір 2020.

[UllrichTauberian-7] а ^б ^c Ульрих, Дэвид С. (2018-05-26). «Таубериялық қорытынды теорема». Math Stack Exchange.

[SopasakisUsingDominatedConvergenceTheorem-8] а ^б Сопасакис, Пантелис (2019-05-18). «Доминирленген конвергенция теоремасын қолданатын соңғы мән теоремасының дәлелі». Math Stack Exchange.

[KaviRamaMurthy-9] Мэрти, Кави Рама (2019-05-07). «Лаплас трансформациясы үшін соңғы мән теоремасының балама нұсқасы». Math Stack Exchange.

[10] Глускин, Эмануэль (1 қараша 2003). «Соңғы қорытынды теореманы осылай жалпылауға үйретейік». Еуропалық физика журналы. 24 (6): 591–597. дои:10.1088/0143-0807/24/6/005.

[HewDivergesToInfinity-11] Хью, Патрик (2020-04-22). «Шексіздікке қарай бағытталатын функцияның соңғы мәндер теоремасы?». Math Stack Exchange.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

Қорытынды мән теоремасы - Final value theorem

Лаплас түрлендіруінің соңғы мәндік теоремалары

Шығару лим т → ∞ f ( т ) {displaystyle lim _ {t o infty} f (t)}

Стандартты соңғы мән теоремасы

Туынды Лаплас түрлендіруін қолдана отырып, соңғы мән теоремасы

Жақсартылған Таубериялық Конверстің Қорытынды Құнды Теоремасы

Кеңейтілген мәндік теорема

Қорытынды құндылық теоремасы

Қолданбалар

Шығару лим с → 0 с F ( с ) {displaystyle lim _ {s, o, 0} {sF (s)}}

Абельдің соңғы мәндік теоремасы

Туынды Лаплас түрлендіруін қолдана отырып, соңғы мән теоремасы

Функцияның орташа мәні туралы соңғы теорема

Периодты функциялардың асимптотикалық қосындылары үшін соңғы мән теоремасы

Шексіздікке қарай бағыттайтын функцияның соңғы мәндік теоремасы

Қолданбалар

Мысалдар

FVT болатын мысал

FVT қолданылмайтын мысал

Z түрлендіруге арналған соңғы мән теоремалары

Шығару лим к → ∞ f [ к ] {displaystyle lim _ {k o infty} f [k]}

Қорытынды мән теоремасы

Сондай-ақ қараңыз

Ескертулер

Сыртқы сілтемелер

Шығару ${displaystyle lim _ {t o infty} f (t)}$

Шығару ${displaystyle lim _ {s, o, 0} {sF (s)}}$

Шығару ${displaystyle lim _ {k o infty} f [k]}$