دالة شبه دورية

في الرياضيات ، تُعرَّف الدالة شبه الدورية ، بشكل عام، بأنها دالة لمتغير حقيقي تتسم بالدورية ضمن أي مستوى دقة مطلوب، وذلك بشرط وجود "فترات شبه دورية" طويلة وموزعة توزيعًا جيدًا. درس هذا المفهوم لأول مرة هارالد بور ، ثم عمّمه لاحقًا كلٌّ من فياتشيسلاف ستيبانوف ، وهيرمان فايل، وأبرام سامويلوفيتش بيسيكوفيتش ، وغيرهم. كما يوجد مفهوم للدوال شبه الدورية على الزمر الأبيلية المدمجة محليًا ، وقد درسه جون فون نيومان لأول مرة .

شبه الدورية خاصيةٌ للأنظمة الديناميكية التي تبدو وكأنها تعيد رسم مساراتها عبر فضاء الطور ، ولكن ليس بدقة تامة. مثال على ذلك نظام كوكبي ، حيث تدور الكواكب في مدارات ذات فترات غير متناسبة (أي، بمتجه فترة لا يتناسب مع متجه الأعداد الصحيحة ). يمكن استخدام نظرية كرونكر من التقريب الديوفانتي لإثبات أن أي تكوين معين يحدث مرة واحدة، سيتكرر ضمن أي دقة محددة: إذا انتظرنا لفترة كافية، يمكننا ملاحظة عودة جميع الكواكب إلى مواقعها السابقة في حدود ثانية قوسية ، على سبيل المثال.

تحفيز

توجد عدة تعريفات غير متكافئة للدوال شبه الدورية. أولها قدمه هارالد بور، الذي انصب اهتمامه في البداية على متسلسلات ديريشليه المنتهية . في الواقع، بتقليص متسلسلة دالة زيتا لريمان ζ ( s ) لجعلها منتهية، نحصل على مجاميع منتهية من الحدود من النوع

هـsسجلن{\displaystyle e^{s\log n}\,}

حيث يُكتب s على الصورة σ  + it مجموع جزئه الحقيقي σ وجزئه التخيلي it . بتثبيت σ ، وبالتالي حصر الانتباه على خط رأسي واحد في المستوى المركب ، يمكننا أن نرى هذا أيضًا على النحو التالي: 

نσهـ(سجلن)أنات.{\displaystyle n^{\sigma }e^{(\log n)it}.\,}

إن أخذ مجموع محدود من هذه الحدود يتجنب صعوبات الاستمرار التحليلي إلى المنطقة σ  <  1. هنا لن تكون "الترددات" log n قابلة للقياس كلها (فهي مستقلة خطيًا على الأعداد النسبية بقدر استقلال الأعداد الصحيحة n ضربيًا - وهو ما يؤول إلى تحليلها إلى عواملها الأولية).

انطلاقاً من هذا الدافع الأولي للنظر في أنواع كثيرات الحدود المثلثية ذات الترددات المستقلة، تم تطبيق التحليل الرياضي لمناقشة إغلاق هذه المجموعة من الدوال الأساسية، في معايير مختلفة .

تم تطوير هذه النظرية باستخدام معايير أخرى من قبل بيسيكوفيتش ، وستيبانوف ، وويل ، وفون نيومان ، وتورينج ، وبوخنر، وغيرهم في عشرينيات وثلاثينيات القرن العشرين.

التعريفات

الدوال المنتظمة أو دوال بور أو دوال بوخنر شبه الدورية

عرّف بور (1925) [ 1 ] الدوال شبه الدورية المنتظمة بأنها إغلاق كثيرات الحدود المثلثية بالنسبة للمعيار المنتظم

و=رشفةx|و(x)|{\displaystyle \|f\|_{\infty }=\sup _{x}|f(x)|}

(حول الدوال المحدودة f على R ). بعبارة أخرى، تكون الدالة f دورية تقريبًا بانتظام إذا كان لكل ε > 0 يوجد توليفة خطية منتهية من موجات الجيب وجيب التمام تبعد مسافة أقل من ε عن f بالنسبة للمعيار المنتظم. يمكن أن تكون ترددات الجيب وجيب التمام أعدادًا حقيقية اختيارية. أثبت بور أن هذا التعريف مكافئ لوجود مجموعة كثيفة نسبيًا من الدورات شبه الدورية ε  ، لكل ε  >  0: أي أن الإزاحات T ( ε )  = T للمتغير t تجعل 

|و(ت+تي)-و(ت)|<ε.{\displaystyle \left|f(t+T)-f(t)\right|<\varepsilon .}

يُعد التعريف البديل الذي قدمه بوخنر (1926) مكافئًا لتعريف بور، وهو بسيط نسبيًا في صياغته:

تكون الدالة f شبه دورية إذا كان لكل متتالية { ƒ ( t  + T n )} من إزاحات f متتالية فرعية تتقارب بشكل منتظم لـ t في ( , + ).  

تُعد دوال بور شبه الدورية هي نفسها بشكل أساسي الدوال المتصلة على تكثيف بور للأعداد الحقيقية.

دوال ستيبانوف شبه الدورية

تم تقديم فضاء الدوال شبه الدورية لستيبانوف ( S <sub>p </sub> ) (لـ p  ≥ 1) بواسطة ف. ف. ستيبانوف (1925). [ 2 ] وهو يحتوي على فضاء الدوال شبه الدورية لبور. وهو إغلاق لكثيرات الحدود المثلثية تحت المعيار. 

وS،ر،ص=رشفةx(1رxx+ر|و(s)|صدs)1/ص{\displaystyle \|f\|_{S,r,p}=\sup _{x}\left({1 \over r}\int _{x}^{x+r}|f(s)|^{p}\,ds\right)^{1/p}}

لأي قيمة موجبة ثابتة لـ r ؛ بالنسبة لقيم مختلفة لـ تعطي هذه المعايير نفس الطوبولوجيا وبالتالي نفس فضاء الدوال شبه الدورية (على الرغم من أن المعيار على هذا الفضاء يعتمد على اختيار r ). 

دوال ويل شبه الدورية

تم تقديم فضاء W<sub> p</sub> لدوال ويل شبه الدورية (لـ p  ≥ 1) بواسطة ويل (1927). [ 3 ] وهو يحتوي على فضاء S<sub> p</sub> لدوال ستيبانوف شبه الدورية. وهو إغلاق لكثيرات الحدود المثلثية تحت شبه المعيار. 

ودبليو،ص=ليمروS،ر،ص{\displaystyle \|f\|_{W,p}=\lim _{r\to \infty }\|f\|_{S,r,p}}

تحذير: توجد دوال غير صفرية ƒ مع || ƒ || W ، p  =  0، مثل أي دالة محدودة ذات دعم مضغوط، لذلك للحصول على فضاء باناخ، يجب على المرء أن يقسم على هذه الدوال.

دوال بيسيكوفيتش شبه الدورية

تم تقديم فضاء الدوال شبه الدورية B p لبيسيكوفيتش بواسطة بيسيكوفيتش (1926). [ 4 ] وهو عبارة عن إغلاق لكثيرات الحدود المثلثية تحت شبه المعيار.

وب،ص=ليم سوبx(12x-xx|و(s)|صدs)1/ص{\displaystyle \|f\|_{B,p}=\limsup _{x\to \infty }\left({1 \over 2x}\int _{-x}^{x}|f(s)|^{p}\,ds\right)^{1/p}}

تحذير: توجد دوال غير صفرية ƒ مع || ƒ || p  =  0، مثل أي دالة محدودة ذات دعم مضغوط، لذلك للحصول على فضاء باناخ، يجب على المرء أن يقسم على هذه الدوال.

للدوال شبه الدورية لبيسيكوفيتش في B 2 امتداد (ليس بالضرورة متقاربًا) كما

أنهـأناλنت{\displaystyle \sum a_{n}e^{i\lambda _{n}t}}

مع كون Σ a 2 n محدودة و λ n حقيقية. وعلى العكس من ذلك، فإن كل متسلسلة من هذا القبيل هي توسيع لدالة دورية من نوع بيسيكوفيتش (وهي ليست فريدة).

يحتوي الفضاء B<sub> p</sub> لدوال بيسيكوفيتش شبه الدورية (لـ p  1) على الفضاء W<sub> p</sub> لدوال فايل شبه الدورية. إذا تم فصل فضاء جزئي من الدوال "الصفرية"، فإنه يمكن تحديده مع فضاء الدوال L<sub> p</sub> على تكثيف بور للأعداد الحقيقية.

الدوال شبه الدورية على مجموعة متراصة محليًا

مع هذه التطورات النظرية وظهور الأساليب المجردة ( نظرية بيتر-ويل ، وازدواجية بونترياغين ، وجبر باناخ )، أصبح من الممكن وضع نظرية عامة. تتلخص الفكرة العامة لشبه الدورية، بالنسبة لمجموعة أبيلية محلية التراص G، في دالة F في L∞ ( G )، بحيث تشكل إزاحاتها بواسطة G مجموعة متراصة نسبيًا . وبصورة مكافئة، فإن فضاء الدوال شبه الدورية هو الإغلاق المعياري للمجموعات الخطية المنتهية لخصائص G. إذا كانت G متراصة ، فإن الدوال شبه الدورية هي نفسها الدوال المتصلة. 

إنّ تكثيف بور للمجموعة G هو الزمرة الأبيلية المدمجة لجميع الخصائص غير المتصلة المحتملة للزمرة الثنائية لـ G ، وهو زمرة مدمجة تحتوي على G كزمرة جزئية كثيفة. يمكن تعريف فضاء الدوال شبه الدورية المنتظمة على G بأنه فضاء جميع الدوال المتصلة على تكثيف بور لـ G. وبشكل أعم، يمكن تعريف تكثيف بور لأي زمرة طوبولوجية G ، ويمكن اعتبار فضاءات الدوال المتصلة أو من نوع Lp على تكثيف بور بمثابة دوال شبه دورية على G. بالنسبة للزمر المتصلة المدمجة محليًا يكون التطبيق من G إلى تكثيف بور الخاص بها أحاديًا إذا وفقط إذا كانت G امتدادًا مركزيًا لزمرة مدمجة، أو بشكل مكافئ، حاصل ضرب زمرة مدمجة في فضاء متجهي محدود الأبعاد.   

تُسمى الدالة على مجموعة متراصة محليًا شبه دورية ضعيفة إذا كان مدارها متراصًا نسبيًا ضعيفًا فيل{\displaystyle L^{\infty }}.

بالنظر إلى نظام ديناميكي طوبولوجي(X،جي){\displaystyle (X,G)}يتكون من فضاء طوبولوجي متراص X مع تأثير المجموعة المتراصة محليًا G ، وتكون الدالة المتصلة على X شبه دورية (ضعيفة) إذا كان مدارها شبه متراص (ضعيف) في فضاء باناخ.ج(X){\displaystyle C(X)}.

الإشارات شبه الدورية في توليف الصوت والموسيقى

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

عندما تكون الإشارةx(ت) {\displaystyle x(t)\ }دورية كاملة ذات فترةP {\displaystyle P\ }إذن، فإن الإشارة تحقق الشرط تمامًا.

x(ت)=x(ت+P)تR{\displaystyle x(t)=x(t+P)\qquad \forall t\in \mathbb {R} }

أو

|x(ت)-x(ت+P)|=0تR. {\displaystyle {\Big |}x(t)-x(t+P){\Big |}=0\qquad \forall t\in \mathbb {R} .\ }

سيكون تمثيل متسلسلة فورييه كالتالي :

x(ت)=أ0+ن=1[أنكوس(2πنو0ت)-بنالخطيئة(2πنو0ت)]{\displaystyle x(t)=a_{0}+\sum _{n=1}^{\infty }{\big [}a_{n}\cos(2\pi nf_{0}t)-b_{n}\sin(2\pi nf_{0}t){\big ]}}

أو

x(ت)=أ0+ن=1رنكوس(2πنو0ت+φن){\displaystyle x(t)=a_{0}+\sum _{n=1}^{\infty }r_{n}\cos(2\pi nf_{0}t+\varphi _{n})}

أينو0=1P{\displaystyle f_{0}={\frac {1}{P}}}التردد الأساسي ومعاملات فورييه هي

أ0=1Pت0ت0+Px(ت)دت {\displaystyle a_{0}={\frac {1}{P}}\int _{t_{0}}^{t_{0}+P}x(t)\,dt\ }
أن=رنكوس(φن)=2Pت0ت0+Px(ت)كوس(2πنو0ت)دتن1{\displaystyle a_{n}=r_{n}\cos \left(\varphi _{n}\right)={\frac {2}{P}}\int _{t_{0}}^{t_{0}+P}x(t)\cos(2\pi nf_{0}t)\,dt\qquad n\geq 1}
بن=رنالخطيئة(φن)=-2Pت0ت0+Px(ت)الخطيئة(2πنو0ت)دت {\displaystyle b_{n}=r_{n}\sin \left(\varphi _{n}\right)=-{\frac {2}{P}}\int _{t_{0}}^{t_{0}+P}x(t)\sin(2\pi nf_{0}t)\,dt\ }
أين ت0 {\displaystyle t_{0}\ }يمكن أن يحدث في أي وقت: -<ت0<+ {\displaystyle -\infty <t_{0}<+\infty \ }.

التردد الأساسيو0 {\displaystyle f_{0}\ }ومعاملات فورييهأن {\displaystyle a_{n}\ }، بن {\displaystyle b_{n}\ }،رن {\displaystyle r_{n}\ }، أوφن {\displaystyle \varphi _{n}\ }هي ثوابت، أي أنها ليست دوالًا للزمن. الترددات التوافقية هي مضاعفات صحيحة للتردد الأساسي.

متىx(ت) {\displaystyle x(t)\ }إذا كانت شبه دورية

x(ت)x(ت+P(ت)) {\displaystyle x(t)\approx x{\big (}t+P(t){\big )}\ }

أو

|x(ت)-x(ت+P(ت))|<ε {\displaystyle {\Big |}x(t)-x{\big (}t+P(t){\big )}{\Big |}<\varepsilon \ }

أين

0<ϵx=x2¯=ليمτ1τ-τ/2τ/2x2(ت)دت. {\displaystyle 0<\epsilon \ll {\big \Vert }x{\big \Vert }={\sqrt {\overline {x^{2}}}}={\sqrt {\lim _{\tau \to \infty }{\frac {1}{\tau }}\int _{-\tau /2}^{\tau /2}x^{2}(t)\,dt}}.\ }

أما تمثيل متسلسلة فورييه فسيكون كالتالي

x(ت)=أ0(ت) + ن=1[أن(ت)كوس(2πن0تو0(τ)دτ)-بن(ت)الخطيئة(2πن0تو0(τ)دτ)]{\displaystyle x(t)=a_{0}(t)\ +\ \sum _{n=1}^{\infty }\left[a_{n}(t)\cos \left(2\pi n\int _{0}^{t}f_{0}(\tau )\,d\tau \right)-b_{n}(t)\sin \left(2\pi n\int _{0}^{t}f_{0}(\tau )\,d\tau \right)\right]}

أو

x(ت)=أ0(ت) + ن=1رن(ت)كوس(2πن0تو0(τ)دτ+φن(ت)){\displaystyle x(t)=a_{0}(t)\ +\ \sum _{n=1}^{\infty }r_{n}(t)\cos \left(2\pi n\int _{0}^{t}f_{0}(\tau )\,d\tau +\varphi _{n}(t)\right)}

أو

x(ت)=أ0(ت)+ن=1رن(ت)كوس(2π0تون(τ)دτ+φن(0)){\displaystyle x(t)=a_{0}(t)+\sum _{n=1}^{\infty }r_{n}(t)\cos \left(2\pi \int _{0}^{t}f_{n}(\tau )\,d\tau +\varphi _{n}(0)\right)}

أينو0(ت)=1P(ت){\displaystyle f_{0}(t)={\frac {1}{P(t)}}}يمثل التردد الأساسي الذي قد يتغير مع الزمن ، ومعاملات فورييه المتغيرة مع الزمن هي

أ0(ت)=1P(ت)ت-P(ت)/2ت+P(ت)/2x(τ)دτ {\displaystyle a_{0}(t)={\frac {1}{P(t)}}\int _{t-P(t)/2}^{t+P(t)/2}x(\tau )\,d\tau \ }
أن(ت)=رن(ت)كوس(φن(ت))=2P(ت)ت-P(ت)/2ت+P(ت)/2x(τ)كوس(2πنو0(ت)τ)دτن1{\displaystyle a_{n}(t)=r_{n}(t)\cos {\big (}\varphi _{n}(t){\big )}={\frac {2}{P(t)}}\int _{t-P(t)/2}^{t+P(t)/2}x(\tau )\cos {\big (}2\pi nf_{0}(t)\tau {\big )}\,d\tau \qquad n\geq 1}
بن(ت)=رن(ت)الخطيئة(φن(ت))=-2P(ت)ت-P(ت)/2ت+P(ت)/2x(τ)الخطيئة(2πنو0(ت)τ)دτ {\displaystyle b_{n}(t)=r_{n}(t)\sin {\big (}\varphi _{n}(t){\big )}=-{\frac {2}{P(t)}}\int _{t-P(t)/2}^{t+P(t)/2}x(\tau )\sin {\big (}2\pi nf_{0}(t)\tau {\big )}\,d\tau \ }

والتردد اللحظي لكل جزء هو

ون(ت)=نو0(ت)+12πφن(ت).{\displaystyle f_{n}(t)=nf_{0}(t)+{\frac {1}{2\pi }}\varphi _{n}^{\prime }(t).\,}

أما في هذه الحالة شبه الدورية، فإن التردد الأساسيو0(ت) {\displaystyle f_{0}(t)\ }الترددات التوافقيةون(ت) {\displaystyle f_{n}(t)\ }ومعاملات فورييهأن(ت) {\displaystyle a_{n}(t)\ }، بن(ت) {\displaystyle b_{n}(t)\ }، رن(ت) {\displaystyle r_{n}(t)\ }، أوφن(ت) {\displaystyle \varphi _{n}(t)\ }ليست بالضرورة ثابتة، بل هي دوال للزمن، وإن كانت دوالًا متغيرة ببطء . بعبارة أخرى، فإن نطاق تردد هذه الدوال الزمنية محدود إلى أقل بكثير من التردد الأساسي لـx(ت) {\displaystyle x(t)\ }أن تعتبر شبه دورية.

الترددات الجزئيةون(ت) {\displaystyle f_{n}(t)\ }هي قريبة جدًا من التوافقية، ولكن ليس بالضرورة تمامًا. المشتق الزمني لـφن(ت) {\displaystyle \varphi _{n}(t)\ }، إنهφن(ت) {\displaystyle \varphi _{n}^{\prime }(t)\ }، وله تأثير في تغيير تردد النغمات الجزئية عن قيمتها التوافقية الصحيحة الدقيقةنو0(ت) {\displaystyle nf_{0}(t)\ }. سريع التغيرφن(ت) {\displaystyle \varphi _{n}(t)\ }هذا يعني أن التردد اللحظي لهذا التوافقي الجزئي يختلف اختلافًا كبيرًا عن قيمة التوافقي الصحيح، مما يعني أنx(ت) {\displaystyle x(t)\ }ليست شبه دورية.

انظر أيضاً

مراجع

  1. ^ H. Bohr، “Zur Theorie der fastperiodischen Funktionen I” Acta Math.، 45 (1925) pp. 29–127
  2. دبليو ستيبانوف(=VV ستيبانوف)، "Sur quelques généralisations des fonctions presque périodiques" CR Acad. الخيال العلمي. باريس، 181 (1925) ص 90-92؛ دبليو ستيبانوف(=VV ستيبانوف)، "Ueber einige Verallgemeinerungen der fastperiodischen Funktionen" Math. آن، 45 (1925) ص 473-498
  3. H. Weyl، "Integralgleichungen und fastperiodische Funktionen" الرياضيات. آن، 97 (1927) ص 338-356
  4. أ. س. بيسيكوفيتش، "حول الدوال شبه الدورية المعممة" وقائع جمعية لندن الرياضية (2)، 25 (1926) ص 495-512

فهرس