منطقة التقارب | DSP-101

لماذا يهمنا التقارب؟

في الدرس 4.1 كتبنا تعريف تحويل Z: X(z) = Σ x[n] z⁻ⁿ دون أن نطرح سؤالاً جوهرياً: لأي قيم من z يتقارب هذا المجموع اللانهائي فعلاً؟ الإجابة هي منطقة التقارب (ROC) — مجموعة الأعداد المركبة z التي يكون عندها المجموع منتهياً.

منطقة التقارب ليست مجرد تفصيل تقني يمكن تجاهله. فمتتاليتان مختلفتان تماماً قد تشتركان في نفس التعبير الجبري X(z) لكنهما تختلفان في منطقة تقاربهما، مما ينتج عنهما معكوسان مختلفان. تُشفِّر منطقة التقارب ما إذا كانت الإشارة سببية أم مضاد-سببية أم ثنائية الجانب، وتحدد ما إذا كانت دالة النقل H(z) تقابل نظاماً مستقراً. لذا فإن فهم منطقة التقارب ضروري لعكس تحويل Z بشكل صحيح وللتحليل الدقيق للاستقرار.

شرط التقارب المطلق

\sum_{n=-\infty}^{\infty} |x[n]|\,|z|^{-n} < \infty

يتقارب تحويل X(z) حيث يكون هذا المجموع منتهياً. بما أن |z⁻ⁿ| = r⁻ⁿ مع r = |z|، يعتمد التقارب فقط على مقدار z، مما يجعل منطقة التقارب منطقة حلقية في المستوى المركب.

لأن شرط التقارب يعتمد فقط على r = |z|، تأخذ منطقة التقارب دائماً شكل حلقة (أو تنحل إلى حالة خاصة): مجموعة دوائر مركزة عند الأصل. هذا البساطة الهندسية يجعل منطقة التقارب سهلة الرسم على مستوى z، وينتج عنها ثلاثة أشكال نموذجية، واحد لكل نوع من أنواع المتتاليات.

المتتاليات ذات الجانب الأيمن: منطقة التقارب خارج دائرة

المتتالية ذات الجانب الأيمن هي متتالية تساوي صفراً لـ n < N لبعض القيم المحدودة N (قد تبدأ قبل n = 0 لكنها تصبح صفراً في النهاية إلى اليسار). الحالة الأكثر شيوعاً هي المتتالية السببية حيث x[n] = 0 لـ n < 0.

في هذه المتتاليات يهيمن السلوك لقيم n الكبيرة. يتقارب المجموع حين يكون z كبيراً بما يكفي ليتغلب تناقص |z⁻ⁿ| على نمو |x[n]|. تحديداً، إذا كان x[n] ينمو ببطء لا يتجاوز r₀ⁿ، فإن X(z) يتقارب لـ |z| > r₀ — خارج دائرة نصف قطرها r₀.

منطقة التقارب للأسي السببي

\mathcal{Z}\{a^n u[n]\} = \frac{z}{z-a}, \quad |z| > |a|

الأسي السببي aⁿu[n] له منطقة تقارب |z| > |a| — خارج الدائرة ذات نصف القطر |a|. يقع القطب عند z = a على حدود منطقة التقارب ولا يُدرج فيها.

لاحظ أن القطب عند z = a يقع على حدود منطقة التقارب لكنه لا يكون داخلها أبداً. هذه قاعدة كونية: منطقة التقارب لا تحتوي أي أقطاب. الأقطاب هي قيم z التي يتباعد عندها X(z) — وهي تعلّم حدود مكان تقارب المجموع.

المتتاليات ذات الجانب الأيسر: منطقة التقارب داخل دائرة

المتتالية ذات الجانب الأيسر هي متتالية تساوي صفراً لـ n > N لبعض القيم المحدودة N. الحالة الأقصى هي المتتالية المضاد-سببية حيث x[n] = 0 لـ n > 0. تستلزم هذه المتتاليات قيمة صغيرة بما يكفي لـ z — تحديداً |z| < r₀ لبعض r₀.

الصورة السببية

\mathcal{Z}\{a^n u[n]\} = \frac{z}{z-a}, \quad |z|>|a|

سببي: aⁿu[n] → z/(z−a)، ROC: |z| > |a|. منطقة التقارب خارج دائرة.

الصورة المضاد-سببية

\mathcal{Z}\{-a^n u[-n-1]\} = \frac{z}{z-a}, \quad |z|<|a|

مضاد-سببي: −aⁿu[−n−1] → z/(z−a)، ROC: |z| < |a|. نفس التعبير X(z) لكن منطقة تقارب مختلفة ومتتالية مختلفة.

هذه المقارنة جنباً إلى جنب هي أهم توضيح لسبب أهمية منطقة التقارب. كلتا المتتاليتين تُنتجان نفس التعبير النسبي تماماً z/(z−a)، غير أنهما تمثلان إشارتين مختلفتين تماماً في النطاق الزمني — إحداهما سببية ومتناقصة (إذا |a| < 1)، والأخرى مضاد-سببية ومتزايدة. دون تحديد منطقة التقارب، يكون معكوس تحويل Z ملتبساً.

المتتاليات ثنائية الجانب: منطقة التقارب الحلقية

المتتالية ثنائية الجانب تكون غير صفرية لكل من n > 0 و n < 0. يجب أن يتقارب تحويل Z في كلا الاتجاهين في آنٍ واحد، مما يستلزم أن يكون |z| لا كبيراً جداً ولا صغيراً جداً. منطقة التقارب هي حلقة r₁ < |z| < r₂.

مثال ثنائي الجانب

x[n]=a^n u[n] - b^n u[-n-1] \;\Rightarrow\; X(z)=\frac{z}{z-a}+\frac{z}{z-b},\quad |b|<|z|<|a|

متتالية ثنائية الجانب مبنية من أسيَّيْن لها منطقة تقارب حلقية |b| < |z| < |a| (بافتراض |b| < |a|). إذا |b| ≥ |a|، تكون منطقة التقارب فارغة ولا يوجد تحويل Z.

منطقة التقارب الحلقية ممكنة فقط إذا كان نصف القطر الداخلي أصغر تماماً من نصف القطر الخارجي. عند تحليل X(z) بالكسور الجزئية، تُسهم كل حدة إما بمنطقة تقارب خارجية أو داخلية، ومنطقة التقارب الكلية هي تقاطع جميع مناطق التقارب الجزئية. إذا كان التقاطع فارغاً، فالمتتالية لا يوجد لها تحويل Z.

القواعد الخمس لمنطقة التقارب

ثمة قواعد كونية تحكم منطقة التقارب بصرف النظر عن المتتالية المحددة. إتقانها يتيح لك تحديد منطقة التقارب بسرعة من مخطط الأقطاب والأصفار وحده.

القاعدة 1

الشكل الحلقي

منطقة التقارب دائماً حلقة r₁ < |z| < r₂ مركزة عند الأصل (مع السماح بـ r₁ = 0 أو r₂ = ∞ كحالات خاصة).

القاعدة 2

لا أقطاب داخل ROC

لا تحتوي منطقة التقارب أي أقطاب لـ X(z). الأقطاب تقع على الحدود أو خارج منطقة التقارب.

القاعدة 3

ذات الجانب الأيمن ← خارجية

إذا كانت x[n] ذات جانب أيمن، فمنطقة التقارب هي خارج دائرة |z| > r₁، وقد تشمل z = ∞ إذا كانت سببية (N ≥ 0).

القاعدة 4

ذات الجانب الأيسر ← داخلية

إذا كانت x[n] ذات جانب أيسر، فمنطقة التقارب هي داخل دائرة |z| < r₂، وقد تشمل z = 0 إذا كانت مضاد-سببية (N ≤ 0).

القاعدة 5

FIR → كل z (ما عدا 0/∞)

إذا كانت x[n] ذات مدة منتهية (FIR)، فمنطقة التقارب هي المستوى z كاملاً باستثناء z = 0 أو z = ∞ ربما (تبعاً لامتداد المتتالية).

القاعدة 6

X(z) نسبية → الحدود عند قطب

إذا كانت X(z) نسبية، فحدود منطقة التقارب تمر عبر القطب الأبعد أو الأقرب، ولا تقع بين الأقطاب.

منطقة التقارب والاستقرار

الصلة بين منطقة التقارب واستقرار النظام من أعمق النتائج في نظرية تحويل Z. نستذكر أن نظام LTI يكون مستقراً BIBO إذا وفقط إذا كانت استجابته النبضية h[n] قابلة للجمع المطلق: Σ|h[n]| < ∞. هذا هو بالضبط شرط تقارب H(z) على دائرة الوحدة.

مبرهنة الاستقرار

نظام LTI بدالة نقل H(z) يكون مستقراً BIBO إذا وفقط إذا كانت دائرة الوحدة |z| = 1 مدرجة في منطقة التقارب لـ H(z).

للنظام السببي (h[n] ذات الجانب الأيمن)، يعني ذلك أن جميع أقطاب H(z) يجب أن تقع تماماً داخل دائرة الوحدة.

سببي + مستقر ⟺ جميع الأقطاب داخل |z| = 1، ومنطقة التقارب تشمل |z| = 1

توحّد هذه النتيجة شروط الاستقرار في النطاق الترددي والنطاق الزمني. وتشرح أيضاً الصورة الهندسية التي قدمناها في الدرس 4.1: التعيين z = e^sT يحمل المحور التخيلي في المستوى s إلى دائرة الوحدة في المستوى z، لذا فإن "النصف الأيسر = داخل دائرة الوحدة" يتوافق مباشرة مع الأقطاب المستقرة في كلا النطاقين.

نتيجة عملية: عند تصميم المرشحات الرقمية، يجب التأكد من أن جميع أقطاب H(z) لها مقدار أصغر من 1. إطار منطقة التقارب يجعل هذا الشرط دقيقاً وقابلاً للاختبار — فقط حدد الأقطاب على مستوى z وتحقق من وقوعها داخل دائرة الوحدة.

اختيار المعكوس الصحيح

معكوس تحويل Z يسترد x[n] من X(z) عبر تكامل خطي حول مسار مغلق داخل منطقة التقارب. عندما تكون X(z) نسبية، يُعد تحليل الكسور الجزئية هو الطريقة العملية، وتحدد منطقة التقارب الزوج المعكوس المناسب لكل حد.

معكوس تحويل Z (التكامل الخطي)

x[n] = \frac{1}{2\pi j}\oint_C X(z)\,z^{n-1}\,dz

معكوس تحويل Z يكامل X(z)z^(n−1) حول مسار C عكس عقارب الساعة داخل منطقة التقارب. عملياً، الكسور الجزئية وجدول الأزواج المعروفة يُغنيان عن هذا التكامل.

القاعدة بسيطة: لقطب عند z = a، إذا كانت منطقة التقارب |z| > |a|، فالحد الزمني المقابل سببي (aⁿu[n])؛ وإذا كانت منطقة التقارب |z| < |a|، فالحد مضاد-سببي (−aⁿu[−n−1]). تحديد منطقة التقارب إذن يُثبّت المعكوس الفريد لتحويل Z.

الدرس التالي يستعرض الأقطاب والأصفار ومخطط الأقطاب والأصفار — التمثيل البياني لدالة النقل على مستوى z الذي يجعل الاستجابة الترددية والاستقرار وبنية منطقة التقارب قابلة للقراءة الفورية.

النقاط الرئيسية

منطقة التقارب هي مجموعة قيم z التي يتقارب عندها مجموع تحويل Z بصورة مطلقة؛ وهي دائماً تأخذ شكل حلقة مركزة عند الأصل.
منطقة التقارب لا تحتوي أي أقطاب لـ X(z).
المتتاليات ذات الجانب الأيمن (السببية) لها منطقة تقارب = خارج دائرة (|z| > r)؛ والذات الجانب الأيسر لها ROC = داخل دائرة (|z| < r)؛ وثنائية الجانب لها ROC حلقية.
يمكن أن يقابل نفس التعبير النسبي X(z) متتاليات مختلفة تبعاً لمنطقة التقارب المحددة — منطقة التقارب ضرورية لتحقيق المعكوس الفريد لتحويل Z.
نظام LTI السببي يكون مستقراً BIBO إذا وفقط إذا وقعت جميع الأقطاب تماماً داخل دائرة الوحدة (منطقة التقارب تشمل دائرة الوحدة).
لعكس الكسور الجزئية: قطب مع ROC |z| > |a| يُعطي aⁿu[n]؛ و ROC |z| < |a| يُعطي −aⁿu[−n−1].