אינטגרל דיריכלה

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

: <math>\int_0^\infty \frac{\sin x}{x} \,dx = \frac{\pi}{2}.</math>

האינטגרל הזה אינו מתכנס בהחלט, מה שאומר ש-<math>\Biggl| \frac{\sin x}{x} \Biggl|</math> אינה אינטגרבילית לפי לבג, כך שאינטגרל דיריכלה אינו מוגדר במובן של אינטגרציית לבג. עם זאת, הוא יכול להיות מוגדר כאינטגרל רימן לא אמיתי. אף על פי שהפונקציה הקדומה של פונקציית ה-sinc אינה פונקציה אלמנטרית, ערך האינטגרל (במובן של רימן) יכול להיות מחושב במגוון דרכים, ביניהן שימוש בהתמרת לפלס, גזירה תחת סימן האינטגרל, ואנליזה מרוכבת.

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

== חישוב האינטגרל ==
=== גזירה תחת סימן האינטגרל (טריק פיינמן)===
תחילה נרשום את האינטגרל כפונקציה של משתנה נוסף <math>s</math>, פונקציה שהיא למעשה התמרת לפלס של <math>\frac{\sin t} t</math>. הפונקציה המתקבלת היא
: <math display="block">f(s)=\int_0^\infty e^{-st} \frac{\sin t} t \, dt.</math>
כדי לחשב את אינטגרל דיריכלה, יש בעצם לקבוע את הערך של <math>f(0)</math>. הרציפות של <math>f</math> ניתנת להצדקה בעזרת משפט ההתכנסות הנשלטת לאחר אינטגרציה בחלקים. גזירה לפי המשתנה הנוסף <math>s>0</math> והפעלת כלל לייבניץ לגזירה תחת סימן האינטגרל (שיטת פיינמן) מניבה:

<math display="block">
\begin{align}
\frac{df}{ds} & = \frac{d}{ds}\int_0^\infty e^{-st} \frac{\sin t}{t} \, dt = \int_0^\infty \frac{\partial}{\partial s}e^{-st}\frac{\sin t} t \, dt \\[6pt]
& = -\int_0^\infty e^{-st} \sin t \, dt.
\end{align}
</math>

כעת, בעזרת נוסחת אוילר <math>e^{it} = \cos t + i\sin t,</math> ניתן לרשום את פונקציית הסינוס כסכום של שני אקספוננטים מרוכבים,
<math display="block">
\sin t = \frac{1}{2i} \left( e^{i t} - e^{-it}\right).
</math>

לפיכך,
<math display="block">
\begin{align}
\frac{df}{ds} & = -\int_0^\infty e^{-st} \sin t \, dt = -\int_{0}^{\infty} e^{-st} \frac{e^{it} - e^{-it}}{2i} dt \\[6pt]
&= -\frac{1}{2i} \int_{0}^{\infty} \left[ e^{-t(s-i)} - e^{-t(s + i)} \right] dt \\[6pt]
&= -\frac{1}{2i} \left [ \frac{-1}{s - i} e^{-t (s - i)} - \frac{-1}{s + i} e^{-t (s + i)}\right]_0^{\infty} \\[6pt]
&= -\frac{1}{2i} \left[ 0 - \left( \frac{-1}{s - i} + \frac{1}{s + i} \right) \right] = -\frac{1}{2i} \left( \frac{1}{s - i} - \frac{1}{s + i} \right) \\[6pt]
&= -\frac{1}{2i} \left( \frac{s + i - (s -i)}{s^2 + 1} \right) = -\frac{1}{s^2 + 1}.
\end{align}
</math>

האינטגרל המקורי (אינטגרל דיריכלה) ניתן לחישוב כעת בעזרת אינטגרציה של הביטוי האחרון ביחס למשתנה <math>s</math> בתוספת קבוע אינטגרציה שיש לקבוע אותו. לפיכך, אינטגרציה לפי <math>s</math> נותנת:

<math display="block">f(s) = \int \frac{-ds}{s^2 + 1} = A - \arctan s,</math>

כאשר <math>A</math> הוא קבוע האינטגרציה שיש לקבוע. מכיוון ש-<math>\lim_{s \to \infty} f(s) = 0</math> מקבלים שערך הקבוע הוא <math>A = \lim_{s \to \infty} \arctan s = \frac{\pi}{2}</math>. זה אומר שבעבור <math>s > 0</math> מתקיים <math display="block">f(s) = \frac{\pi}{2} - \arctan s</math>.

ולבסוף, מרציפות <math>f(s)</math> ב-<math>s = 0</math>, נקבל:

<math>f(0) = \frac{\pi}{2} - \arctan(0) = \frac{\pi}{2}</math>

== ראו גם ==
* sinc
* אינטגרל פרנל

==קישורים חיצוניים==
* 

== הערות שוליים ==

קטגוריה:חשבון אינפיניטסימלי