משפט פייר

באנליזה מתמטית, משפט פייר הוא משפט העוסק בקירוב במידה שווה של פונקציות רציפות על ידי פולינומים טריגונומטריים, הקרוי על שם המתמטיקאי ההונגרי־יהודי ליפוט פייר.

רקע

באנליזה מתמטית נודעת חשיבות רבה לקירוב במידה שווה של פונקציות כלליות על ידי פונקציות פשוטות יותר, לדוגמה פולינומים טריגונומטריים. טור פורייה של פונקציה אינטגרבילית כלשהי אינו בהכרח מתכנס אל הפונקציה, אלא תחת הנחות נוספות (כדוגמת ליפשיציות מקומית). למרות זאת, אנו יודעים שסיכום צזארו של טור יכול להניב לעיתים התכנסות גם במקרים בהם הטור המקורי איננו מתכנס. גרעין פייר עוסק אפוא בסדרת ממוצעי צזארו של טור פורייה, וקובע כי הוא מתכנס במידה שווה לכל פונקציה רציפה.

ניסוח

תהי $f:ℝ\to ℂ$ רציפה ומחזורית $2\pi$, ונסמן ${\sigma }_{N}f:=F_N\ast f$, כלומר ${\sigma }_{N}f$ הוא הקונבולוציה של $f$ עם גרעין פייר, ובניסוח מפורש:$$\begin{array}{cc}{\sigma }_{N}f\left(x\right)& =(F_N\ast f)\left(x\right)=\frac{1}{N+1}\sum _{n=0}^N(D_n\ast f)\left(x\right)=\frac{1}{N+1}\sum _{n=0}^N{S}_{n}f\left(x\right)=\\ \\ & =\frac{1}{N+1}\sum _{n=0}^N\sum _{k=-n}^n\hat{f}\left(n\right)e^{inx}=\sum _{n=-N}^N(1-\frac{\left|n\right|}{N+1})e^{inx}\end{array}$$ או במילים אחרות, ${\sigma }_{N}f$ הוא סדרת הממוצעים החלקיים של טור פורייה. אזי הסדרה ${\sigma }_{N}f$ מתכנסת במידה שווה אל $f$ בכל $ℝ$ כאשר $n\to \mathrm{\infty }$.

הוכחה

יהי $\epsilon >0$. נתון כי $f$ רציפה ומחזורית $2\pi$, ולכן ניתן לראותה כרציפה על קטע סגור וסופי, כלומר קומפקטי. וכעת, לפי משפט ויירשטראס $f$ חסומה, נסמן $M>0$ להיות חסם שלה, ולפי משפט קנטור $f$ רציפה במידה שווה, ולכן קיימת $\delta >0$ כך שלכל $x,y\in ℝ$ המקיימים $|x-y|<\delta$ מתקיים $|f\left(x\right)-f\left(y\right)|<\frac{\epsilon }{2}$. מתכונות גרעין פייר, קיים $N_0$ כך שלכל $N>N_0$ מתקיים: ${\int }_{\left|x\right|\ge \delta }{F}_N\left(x\right)\le \frac{\epsilon }{2M}$. לבסוף נזכור כי גרעין פייר מקיים ${\int }_{-\pi }^{\pi }{F}_N\left(x\right)dx=2\pi$ וכן $F_N\left(x\right)\ge 0$ לכל $N\in \mathbb{N}$ ולכל $x\in ℝ$, וכעת לכל $N>N_0$ ולכל $x\in ℝ$ מתקיים: $$\begin{array}{cc}|{\sigma }_{N}f\left(x\right)-f\left(x\right)|& =|(F_N\ast f)\left(x\right)-f\left(x\right)|=|\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{F}_N\left(t\right)f(x-t)dt-f\left(x\right)|=\\ & =\frac{1}{2\pi }\left|{\int }_{-\pi }^{\pi }{F}_N\left(t\right)(f(x-t)-f\left(x\right))dt\right|\le \frac{1}{2\pi }{\int }_{-\pi }^{\pi }{F}_N\left(t\right)|f(x-t)-f\left(x\right)|dt=\\ & =\frac{1}{2\pi }[{\int }_{-\delta }^{\delta }{F}_N\left(t\right)|f(x-t)-f\left(x\right)|dt+{\int }_{\delta \le \left|t\right|\le \pi }{F}_N\left(t\right)|f(x-t)-f\left(x\right)|dt]\le \\ & \frac{1}{2\pi }\frac{\epsilon }{2}{\int }_{-\delta }^{\delta }{F}_N\left(t\right)dt+\frac{M}{\pi }{\int }_{\delta \le \left|t\right|\le \pi }{F}_N\left(t\right)dt\le \frac{1}{2\pi }\frac{\epsilon }{2}{\int }_{-\pi }^{\pi }{F}_N\left(t\right)dt+\frac{M}{\pi }\frac{\epsilon }{2M}<\frac{\epsilon }{2}+\frac{\epsilon }{2}=\epsilon \end{array}$$ ולכן ${\sigma }_{N}f\stackrel{u}{\to }f$, כמבוקש.

הכללה

ההוכחה לעיל משתמשת בשלושת התכונות הייחודיות של גרעין פייר, ולכן תקפה לכל גרעין שמקיים אותן. באופן כללי, נגדיר את $𝕋:=ℝ/2\pi \mathbb{Z}$ (הטורוס מרדיוס $2\pi$; כמובן שבחירת הרדיוס היא שרירותית), ותהי ${\left(K_n\right)}_{n=1}^{\mathrm{\infty }}\subset L^1\left(𝕋\right)$ סדרת פונקציות אינטגרביליות בטורוס, אזי נאמר כי הסדרה $K_n$ היא גרעין טוב (או גרעין סכימה, באנגלית summability kernel) אם מתקיימות שלוש התכונות הבאות:

• האינטגרל על הטורוס שווה ל־$2\pi$: $\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{K}_n\left(x\right)dx=1$.
• נורמת $L^1$ חסומה במידה אחידה: קיים $M>0$ כך שלכל $n\in \mathbb{N}$ מתקיים ${\Vert K_n\Vert }_1=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }\left|K_n\left(x\right)\right|dx\le M$.
• המסה מתרכזת במרכז: לכל $\delta >0$ מתקיים ${\int }_{\delta \le \left|t\right|\le \pi }\left|K_n\left(x\right)\right|dx\underset{n\to \mathrm{\infty }}{\overset{}{\to }}0$.

אם $K_n$ גרעין טוב אזי ממשפט פייר נוכל להסיק כי לכל $f\in C\left(𝕋\right)$ (פונקציה רציפה בטורוס) מתקיים $K_n\ast f\to f$ במידה שווה.

דוגמאות לגרעינים טובים הם גרעין פייר וגרעין פואסון. גרעין דיריכלה לעומת זאת, איננו גרעין טוב, שכן הוא איננו מקיים את הדרישה השנייה.

ראו גם

• גרעין פייר
• גרעין דיריכלה
• טור פורייה