نواة فيجر

قطعة من عدة حبات Fejér

في الرياضيات ، تُعرف نواة فيير بأنها نواة قابلة للجمع تُستخدم للتعبير عن تأثير جمع سيزارو على متسلسلات فورييه . وهي نواة غير سالبة، مما يُنتج متطابقة تقريبية . سُميت هذه النواة نسبةً إلى عالم الرياضيات المجري ليبوت فيير ( 1880-1959 ).

تعريف

تحتوي نواة فيجير على العديد من التعريفات المكافئة. فيما يلي ثلاثة من هذه التعريفات:

1) التعريف التقليدي يعبر عن نواة FejérFن(x){\displaystyle F_{n}(x)}من حيث نواة ديريشليه

Fن(x)=1نك=0ن-1دك(x){\displaystyle F_{n}(x)={\frac {1}{n}}\sum _{k=0}^{n-1}D_{k}(x)}

أين

دك(x)=s=-ككهـأناsx{\displaystyle D_{k}(x)=\sum _{s=-k}^{k}{\rm {e}}^{isx}}

هوك{\displaystyle k}نواة ديريشليه من الرتبة th .

2) نواة فيجيرFن(x){\displaystyle F_{n}(x)}ويمكن كتابتها أيضًا في صيغة مغلقة على النحو التالي [ 1 ]

Fن(x)=1ن(الخطيئة(نx2)الخطيئة(x2))2=1ن(1-كوس(نx)1-كوس(x)){\displaystyle F_{n}(x)={\frac {1}{n}}\left({\frac {\sin({\frac {nx}{2}})}{\sin({\frac {x}{2}})}}\right)^{2}={\frac {1}{n}}\left({\frac {1-\cos(nx)}{1-\cos(x)}}\right)}

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

باستخدام حقيقة أن نواة ديريشليه يمكن كتابتها على النحو التالي: [ 2 ]

دك(x)=الخطيئة((ك+12)x)الخطيئةx2{\displaystyle D_{k}(x)={\frac {\sin((k+{\frac {1}{2}})x)}{\sin {\frac {x}{2}}}}}،

يمكن استنتاج ذلك من تعريف نواة فيجير أعلاه:

Fن(x)=1نك=0ن-1دك(x)=1نك=0ن-1الخطيئة((ك+12)x)الخطيئة(x2)=1ن1الخطيئة(x2)ك=0ن-1الخطيئة((ك+12)x)=1ن1الخطيئة2(x2)ك=0ن-1[الخطيئة((ك+12)x)الخطيئة(x2)]{\displaystyle F_{n}(x)={\frac {1}{n}}\sum _{k=0}^{n-1}D_{k}(x)={\frac {1}{n}}\sum _{k=0}^{n-1}{\frac {\sin((k+{\frac {1}{2}})x)}{\sin({\frac {x}{2}})}}={\frac {1}{n}}{\frac {1}{\sin({\frac {x}{2}})}}\sum _{k=0}^{n-1}\sin((k+{\frac {1}{2}})x)={\frac {1}{n}}{\frac {1}{\sin ^{2}({\frac {x}{2}})}}\sum _{k=0}^{n-1}{\big [}\sin((k+{\frac {1}{2}})x)\cdot \sin({\frac {x}{2}}){\big ]}}

باستخدام المتطابقة المثلثية:الخطيئة(α)الخطيئة(β)=12(كوس(α-β)-كوس(α+β)){\displaystyle \sin(\alpha )\cdot \sin(\beta )={\frac {1}{2}}(\cos(\alpha -\beta )-\cos(\alpha +\beta ))}، لدى المرء

Fن(x)=1ن1الخطيئة2(x2)ك=0ن-1[الخطيئة((ك+12)x)الخطيئة(x2)]=1ن12الخطيئة2(x2)ك=0ن-1[كوس(كx)-كوس((ك+1)x)]،{\displaystyle F_{n}(x)={\frac {1}{n}}{\frac {1}{\sin ^{2}({\frac {x}{2}})}}\sum _{k=0}^{n-1}[\sin((k+{\frac {1}{2}})x)\cdot \sin({\frac {x}{2}})]={\frac {1}{n}}{\frac {1}{2\sin ^{2}({\frac {x}{2}})}}\sum _{k=0}^{n-1}[\cos(kx)-\cos((k+1)x)],}

مما يسمح بتقييمFن(x){\displaystyle F_{n}(x)}كمجموع متداخل :

Fن(x)=1ن1الخطيئة2(x2)1-كوس(نx)2=1ن1الخطيئة2(x2)الخطيئة2(نx2)=1ن(الخطيئة(نx2)الخطيئة(x2))2.{\displaystyle F_{n}(x)={\frac {1}{n}}{\frac {1}{\sin ^{2}\left({\frac {x}{2}}\right)}}{\frac {1-\cos(nx)}{2}}={\frac {1}{n}}{\frac {1}{\sin ^{2}\left({\frac {x}{2}}\right)}}\sin ^{2}\left({\frac {nx}{2}}\right)={\frac {1}{n}}\left({\frac {\sin({\frac {nx}{2}})}{\sin({\frac {x}{2}})}}\right)^{2}.}

3) يمكن أيضًا التعبير عن نواة Fejér على النحو التالي:

Fن(x)=|ك|ن-1(1-|ك|ن)هـأناكx{\displaystyle F_{n}(x)=\sum _{|k|\leq n-1}\left(1-{\frac {|k|}{n}}\right)e^{ikx}}

ملكيات

نواة Fejér هي نواة قابلة للجمع الإيجابي. من الخصائص المهمة لنواة FejérFن(x)0{\displaystyle F_{n}(x)\geq 0}بمتوسط ​​قيمة 1{\displaystyle 1}.

التفاف

الالتفافFن{\displaystyle F_{n}}موجب: لـو0{\displaystyle f\geq 0}فترة2π{\displaystyle 2\pi }إنه يرضي

0(و*Fن)(x)=12π-ππو(y)Fن(x-y)دy.{\displaystyle 0\leq (f*F_{n})(x)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(y)F_{n}(xy)\,dy.}

منذ

و*دن=Sن(و)=|ج|نو^جهـأناجx،{\displaystyle f*D_{n}=S_{n}(f)=\sum _{|j|\leq n}{\widehat {f}}_{j}e^{ijx},}

لدينا

و*Fن=1نك=0ن-1Sك(و)،{\displaystyle f*F_{n}={\frac {1}{n}}\sum _{k=0}^{n-1}S_{k}(f),}

وهو مجموع سيزارو لمتسلسلات فورييه. وبحسب متباينة يونغ للالتفاف ،

Fن*ولص([-π،π])ولص([-π،π]) لكل 1ص ل ولص.{\displaystyle \|F_{n}*f\|_{L^{p}([-\pi ,\pi ])}\leq \|f\|_{L^{p}([-\pi ,\pi ])}{\text{ لكل }}1\leq p\leq \infty \ {\text{لـ}}\ f\in L^{p}.}

بالإضافة إلى ذلك، إذاول1([-π،π]){\displaystyle f\in L^{1}([-\pi ,\pi ])}، ثم

و*Fنو{\displaystyle f*F_{n}\rightarrow f}ae

منذ[-π،π]{\displaystyle [-\pi ,\pi ]}محدود،ل1([-π،π])ل2([-π،π])ل([-π،π]){\displaystyle L^{1}([-\pi ,\pi ])\supset L^{2}([-\pi ,\pi ])\supset \cdots \supset L^{\infty }([-\pi ,\pi ])}لذا فإن النتيجة تنطبق على الآخرينلص{\displaystyle L^{p}}مساحات،ص1{\displaystyle p\geq 1}أيضًا.

لوو{\displaystyle f}إذا كانت الدالة متصلة، فإن التقارب يكون منتظمًا، مما يؤدي إلى إثبات نظرية فايرشتراس .

  • إحدى نتائج التقارب النقطي ae هي تفرد معاملات فورييه: إذاو،زل1{\displaystyle f,g\in L^{1}}معو^=ز^{\displaystyle {\hat {f}}={\hat {g}}}، ثمو=ز{\displaystyle f=g}هذا يتبع من الكتابة
و*Fن=|ج|ن(1-|ج|ن)و^جهـأناجت،{\displaystyle f*F_{n}=\sum _{|j|\leq n}\left(1-{\frac {|j|}{n}}\right){\hat {f}}_{j}e^{ijt},}

والتي تعتمد فقط على معاملات فورييه.

  • والنتيجة الثانية هي أنه إذاليمنSن(و){\displaystyle \lim _{n\to \infty }S_{n}(f)}إذا كان موجودًا، فإنليمنFن(و)=و{\displaystyle \lim _{n\to \infty }F_{n}(f)=f}أي، لأن سيزارو يعنيFن*و{\displaystyle F_{n}*f}تتقارب إلى حد التسلسل الأصلي إن وجد.

التطبيقات

تُستخدم نواة فيجير في معالجة الإشارات وتحليل فورييه .

انظر أيضاً

مراجع

  1. هوفمان، كينيث (1988). فضاءات باناخ للدوال التحليلية . دوفر. ص  17. ISBN 0-486-45874-1.
  2. ^ كونيجسبرجر ، كونراد. التحليل 1 (باللغة الألمانية) ( الطبعة السادسة). سبرينغر. ص. 322.