יציבות BIBO

בעיבוד אותות, ובאופן ספציפי בתורת הבקרה, יציבות BIBO (bounded-input, bounded-output; בתרגום לעברית: קלט חסום, פלט חסום) היא סוג של יציבות עבור אותות ומערכות המקבלים קלטים. מערכת יציבה במובן BIBO אם ורק אם פלט המערכת יהיה חסום עבור כל קלט חסום הנכנס למערכת.

אות חסום אם קיים ערך סופי <math>B > 0</math> כך שעוצמת האות לעולם אינה עולה על <math>B</math>. בניסוח מתמטי:

: עבור אותות בזמן רציף : <math>y(t) \iff \exists B \in \mathbb{R}^+ : |y(t)| \leq B \quad \forall t \in \mathbb{R}</math> .
: עבור אותות בזמן בדיד : <math>y[n] \iff \exists B \in \mathbb{R}^+ : |y[n]| \leq B \quad \forall n \in \mathbb{Z}</math> .

== תנאי תחום הזמן עבור מערכות ליניאריות בלתי תלויות בזמן ==
=== תנאי הכרחי ומספיק עבור זמן רציף ===
עבור מערכת ליניארית בלתי תלויה בזמן (LTI) בזמן רציף, התנאי ליציבות BIBO הוא שהתגובה להלם, <math> h(t)</math>, תהיה אינטגרבילית לחלוטין, כלומר, נורמת L<sup>1</sup> שלה קיימת.

: <math> \int_{-\infty}^\infty \left|h(t)\right|\,\mathord{\operatorname{d}}t = \| h \|_1 \in \mathbb{R}</math>

=== תנאי מספיק עבור זמן בדיד ===
עבור מערכת LTI בזמן בדיד, התנאי ליציבות BIBO הוא שהתגובה להלם תהיה ניתנת לסכימה לחלוטין, כלומר, נורמת L<sup>1</sup> שלה קיימת.

: <math>\ \sum_{n=-\infty}^\infty |h[n]| = \| h \|_1 \in \mathbb{R}</math>

==== הוכחת הדיוּת (sufficiency) ====
בהינתן מערכת LTI בזמן בדיד עם תגובה להלם <math> h[n]</math>, הקשר בין הקלט <math>\ x[n]</math> והפלט <math>\ y[n]</math> הוא:

: <math>\ y[n] = h[n] * x[n]</math>

כאשר <math>*</math> מציין קונבולציה. וזו ההגדרה של קונבולציה:

: <math>\ y[n] = \sum_{k=-\infty}^\infty h[k] x[n-k]</math>

יהא <math>\| x \|_{\infty}</math> הערך המקסימלי של <math> |x[n]|</math>, כלומר, נורמת <sup>∞</sup>L

: <math>\left|y[n]\right| = \left|\sum_{k=-\infty}^\infty h[n-k] x[k]\right|</math>

:: <math>\le \sum_{k=-\infty}^\infty \left|h[n-k]\right| \left|x[k]\right|</math> (לפי אי שוויון המשולש)

: <math>
\begin{align}
& \le \sum_{k=-\infty}^\infty \left|h[n-k]\right| \| x \|_\infty \\
& = \| x \|_{\infty} \sum_{k=-\infty}^\infty \left|h[n-k]\right| \\
& = \| x \|_{\infty} \sum_{k=-\infty}^\infty \left|h[k]\right|
\end{align}
</math>

אם <math>h[n]</math> ניתן לסכימה לחלוטין אז <math>\sum_{k=-\infty}^{\infty}{\left|h[k]\right|} = \| h \|_1 \in \mathbb{R}</math> וגם

: <math>\| x \|_\infty \sum_{k=-\infty}^\infty \left|h[k]\right| = \| x \|_\infty \| h \|_1</math>

אז אם <math>h[n]</math> ניתנת לסכימה ו־<math>\left|x[n]\right|</math> חסום, אז <math>\left|y[n]\right|</math> חסום גם משום ש־<math>\| x \|_{\infty} \| h \|_1 \in \mathbb{R}</math>.

ההוכחה לזמן רציף באה מגיעה מטיעונים דומים.

== תנאי תחום התדר עבור מערכות ליניאריות בלתי תלויות בזמן ==
=== אותות זמן רציף ===
עבור מערכת רציונלית בזמן רציף, התנאי ליציבות הוא שתחום ההתכנסות (ROC) של התמרת לפלס של תגובת המערכת להלם כולל את הציר המדומה. כאשר המערכת היא סיבתית, ה-ROC הוא התחום הפתוח מימין לקו אנכי שה (abscissa) שלו היא החלק הממשי של "הקוטב הגדול ביותר", כלומר הקוטב שיש לו את החלק הממשי הגדול ביותר מכל קוטבי המערכת. החלק הממשי של הקוטב הגדול ביותר מגדיר את ה-ROC והוא נקרא האבסיסה של ההתכנסות. לפיכך, כל הקטבים של המערכת חייבים להיות בחצי השמאלי של מישור ה-s על מנת שהמערכת תהיה יציבה BIBO.

מצב יציבות זה יכול להיגזר מתנאי היציבות בתחום הזמן לעיל כדלקמן:

: <math>
\begin{align}
\int_{-\infty}^\infty \left|h(t)\right| \, dt
& = \int_{-\infty}^\infty \left|h(t)\right| \left| e^{-j \omega t }\right| \, dt \\
& = \int_{-\infty}^\infty \left|h(t) e^{-j \omega t} \right| \, dt \\
& \ge \left|\int_{-\infty}^\infty h(t) e^{-j \omega t} \, dt\right| \\
& = |H(j\omega)|
\end{align}
</math>
כלומר, <math>\| h \|_1 \ge |H(j\omega)| </math>, ולכן <math>|H(j\omega)| \in \mathbb{R}</math>, כלומר שתחום ההתכנסות חייב אפוא לכלול את הציר המדומה – <math>j\omega \subset ROC\{H(s)\}</math>.

=== אותות זמן בדיד ===
עבור מערכת רציונלית בזמן בדיד, התנאי ליציבות הוא שתחום ההתכנסות (ROC) של התמרת ה־Z כולל את מעגל היחידה. כאשר המערכת היא סיבתית, ה-ROC הוא התחום הפתוח מחוץ למעגל שהרדיוס שלו הוא גודל הקוטב בעל הגודל הגדול ביותר. לכן, כל הקטבים של המערכת חייבים להיות בתוך מעגל היחידה במישור z עבור יציבות BIBO.

ניתן לגזור מצב יציבות זה באופן דומה לגזירת הזמן הרציף:

: <math>
\begin{align}
\sum_{n = -\infty}^\infty \left|h[n]\right|
& = \sum_{n = -\infty}^\infty \left|h[n]\right| \left| e^{-j \omega n} \right| \\
& = \sum_{n = -\infty}^\infty \left|h[n] (1\cdot {e^{j \omega}})^{-n} \right| \\
& \ge \left|\sum_{n = -\infty}^\infty h[n] (1\cdot {e^{j \omega}})^{-n} \right| \\
& = \left|\sum_{n = -\infty}^\infty h[n] z^{- n} \right| \\
& = \left|H[n]\right|
\end{align}
</math>

כאשר <math>z = r e^{j \omega}</math> ו־<math>r = |z| = 1</math>.

תחום ההתכנסות חייב אפוא לכלול את מעגל היחידה.

== ראו גם ==
* מערכת ליניארית בלתי תלויה בזמן (LTI)
* תגובת הלם סופית (FIR)
* מסנן תגובת הלם אינסופית (IIR)
* עקומת נייקוויסט
* עקומת בודה
* קריטריון יציבות ראות'-הורוביץ

== לקריאה נוספת ==

קטגוריה:הוכחות
קטגוריה:עיבוד אותות ספרתי
קטגוריה:עיבוד אותות