اختبار ديريشليه-جوردان

في الرياضيات ، يوفر اختبار ديريشليه-جوردان شروطًا كافية لدالة دورية ذات قيم مركبةو{\displaystyle f}أن تكون مساوية لمجموع متسلسلة فورييه عند نقطة اتصال. علاوة على ذلك، يتحدد سلوك متسلسلة فورييه عند نقاط عدم الاتصال أيضًا (فهي نقطة المنتصف لقيم عدم الاتصال). وهذا أحد الشروط العديدة لتقارب متسلسلة فورييه .

وضع بيتر غوستاف ليجون ديريشليه الاختبار الأصلي عام 1829، [ 1 ] للدوال الرتيبة القطعية (الدوال التي لها عدد محدود من المقاطع في كل دورة، كل منها رتيب). وقد وُسِّع هذا الاختبار في أواخر القرن التاسع عشر على يد كاميل جوردان ليشمل الدوال ذات التغير المحدود في كل دورة (أي دالة ذات تغير محدود هي الفرق بين دالتين متزايدتين رتيبًا). [ 2 ] [ 3 ]

اختبار ديريشليه-جوردان لمتسلسلات فورييه

يتركو(x){\displaystyle f(x)}لتكن دالة قابلة للتكامل ذات قيم مركبة على الفترة[-π،π]{\displaystyle [-\pi ,\pi ]}والمجاميع الجزئية لمتسلسلة فورييه الخاصة بهاSنو(x){\displaystyle S_{n}f(x)}، مقدمة من Sنو(x)=ك=-ننجكهـأناكx،{\displaystyle S_{n}f(x)=\sum _{k=-n}^{n}c_{k}e^{ikx},} بمعاملات فورييهجك{\displaystyle c_{k}}يُعرَّف بأنه جك=12π-ππو(x)هـ-أناكxدx.{\displaystyle c_{k}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(x)e^{-ikx}\,dx.} ينص اختبار ديريشليه-جوردان على أنه إذاو{\displaystyle f}إذا كان التباين محدودًا ، فعندئذٍ لكلx[-π،π]{\displaystyle x\in [-\pi ,\pi ]}الحدSنو(x){\displaystyle S_{n}f(x)}موجود ويساوي [ 4 ] [ 5 ]ليمنSنو(x)=ليمε0و(x+ε)+و(x-ε)2.{\displaystyle \lim _{n\to \infty }S_{n}f(x)=\lim _{\varepsilon \to 0}{\frac {f(x+\varepsilon )+f(x-\varepsilon )}{2}}.} أو بدلاً من ذلك، ينص اختبار جوردان على أنه إذاوL1{\displaystyle f\in L^{1}}يتميز بتغير محدود في جوارx{\displaystyle x}ثم حدSنو(x){\displaystyle S_{n}f(x)}[ 6 ] يوجد ويتقارب بطريقة مماثلة.

وإذا، بالإضافة إلى ذلك،و{\displaystyle f}متصل عندx{\displaystyle x}، ثم ليمنSنو(x)=و(x).{\displaystyle \lim _{n\to \infty }S_{n}f(x)=f(x).} علاوة على ذلك، إذاو{\displaystyle f}متصلة عند كل نقطة في[-π،π]{\displaystyle [-\pi ,\pi ]}إذا كان التقارب منتظمًا بدلاً من أن يكون نقطيًا فقط .

ينطبق البيان المماثل بغض النظر عن اختيار الفترة الزمنيةو{\displaystyle f}أو أي إصدار من متسلسلة فورييه يتم اختياره.

اختبار جوردان لتكاملات فورييه

يوجد أيضًا اختبارٌ مُشابهٌ لتحويل فورييه على خط الأعداد الحقيقية. [ 7 ] لنفترض أنو(x){\displaystyle f(x)}هو فيL1(-،){\displaystyle L^{1}(-\infty ,\infty )}وتغير محدود في جوار النقطةx{\displaystyle x}. ثم 1πليمم0مدu-و(ت)كوسu(x-ت)دت=ليمε0و(x+ε)+و(x-ε)2.{\displaystyle {\frac {1}{\pi }}\lim _{M\to \infty }\int _{0}^{M}du\int _{-\infty }^{\infty }f(t)\cos u(xt)\,dt=\lim _{\varepsilon \to 0}{\frac {f(x+\varepsilon )+f(x-\varepsilon )}{2}}.} لوو{\displaystyle f}إذا كانت الدالة متصلة في فترة مفتوحة، فإن التكامل على الجانب الأيسر يتقارب بانتظام في تلك الفترة، وتكون النهاية على الجانب الأيمن هيو(x){\displaystyle f(x)}.

هذه النسخة من الاختبار (على الرغم من أنها لا تفي بالمتطلبات الحديثة للدقة) تسبق تاريخيًا اختبار ديريشليه، ويعود الفضل فيها إلى جوزيف فورييه . [ 2 ]

شروط ديريشليه في معالجة الإشارات

في معالجة الإشارات ، غالبًا ما يُحتفظ بالاختبار في شكله الأصلي بسبب دالة ديريشليه: [ 8 ] [ 9 ] [ 10 ] وهي دالة دورية محدودة رتيبة جزئيًاو{\displaystyle f}(التي تحتوي على عدد محدود من الفترات الرتيبة لكل دورة) لها متسلسلة فورييه متقاربة، وقيمتها عند كل نقطة هي المتوسط ​​الحسابي للنهايتين اليسرى واليمنى للدالة. ويشترط شرط الرتابة القطعية وجود عدد محدود فقط من القيم القصوى المحلية لكل دورة، مما يعنيو{\displaystyle f}يتميز بتغير محدود (مع أن العكس غير صحيح). [ 2 ] (اشترط ديريشليه أيضًا أن يكون للدالة عدد محدود من نقاط الانقطاع، لكن هذا القيد صارم بشكل غير ضروري. [ 11 ] ) أي إشارة يمكن إنتاجها فعليًا في المختبر تُحقق هذه الشروط. [ 12 ]

كما هو الحال في اختبار جوردان النقطي، يمكن تخفيف شرط التقييد إذا افترضنا أن الدالة قابلة للتكامل المطلق (أي،L1{\displaystyle L^{1}}) على مدى فترة زمنية، شريطة أن تستوفي الشروط الأخرى للاختبار في جوار النقطةx{\displaystyle x}حيث يتم تحديد الحد. [ 13 ]

انظر أيضاً

ملحوظات

  1. ديريشليت (1829)، "Sur la convergence des series trigonometriques quiservent àrepresénter une fonction Arbitaire entre des Limites donnees"، J. Reine Angew. الرياضيات. ، 4 : 157 – 169
  2. 1 2 3 جاك بيتر (2000)، حول اكتشاف فورييه لمتسلسلات فورييه وتكاملات فورييه ، مؤرشف من الأصل بتاريخ 2022-12-01 ، تم استرجاعه بتاريخ 2024-08-28{{citation}}: CS1 maint: bot: حالة عنوان URL الأصلي غير معروفة ( رابط )
  3. ^ جيم جوردان، Cours d'analyse de l'Ecole Polytechnique، t.2، حساب التكامل ، غوتييه فيلار، باريس، 1894
  4. زيغموند وفيفرمان 2003 ، ص 57.
  5. ليون 1986 ، ص 281-282.
  6. إدواردز 1979 ، ص 156.
  7. إي سي تيتشمارش (1948)، مقدمة في نظرية تكاملات فورييه ، مطبعة كلارندون، أكسفورد، ص 13 .
  8. آلان ف. أوبنهايم؛ آلان س. ويلسكي؛ سيد هاميش نواب (1997). الإشارات والأنظمة . برنتيس هول. ص 198. ISBN  9780136511755.
  9. خاري، بوتولا وراجورا 2023 ، ص. 9.
  10. ^ برواكيس ومانولاكيس 1996 ، ص. 234.
  11. لانكزوس 2016 ، ص 46.
  12. بي بي لاثي (2000)، معالجة الإشارات والأنظمة الخطية ، أكسفورد
  13. لانكزوس 2016 ، ص 48.

مراجع