פולינומי הרמיט

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

מבחינה מתמטית, הפולינומים הם פתרונות למשוואה הדיפרנציאלית $\frac{d^{2}y}{d{x}^2}-2x\frac{dy}{dx}+2ny=0$ עבור תחום ההגדרה $-\mathrm{\infty }\le x\le \mathrm{\infty }$, והם מוגדרים באופן הבא: ${H}_n(x)=(-1{)}^n{e}^{x^2}\frac{d^n}{d{x}^n}{e}^{-x^2}$

לכאורה פונקציית בסל מהווה פתרון למשוואות מסוג זה, אולם יש לשים לב כי המקדם $(bc{)}^2$ בהגדרתה שווה למספר שלילי.

חמשת פולינומי הרמיט הראשונים

שבעת פולינומי הרמיט הראשונים:

$H_0(x)=1$

$H_1(x)=2x$

$H_2(x)=4x^2-2$

$H_3(x)=8x^3-12x$

$H_4(x)=16x^4-48x^2+12$

$H_5(x)=32x^5-160x^3+120x$

$H_6(x)=64x^6-480x^4+720x^2-120$

תכונות ומאפיינים

אורתוגונליות

קל לראות כי ניתן להציג את המשוואה הדיפרנציאלית שלעיל כאופרטור שטורם-ליוביל: $\frac{d}{dx}[e^{-x^2}\frac{dy}{dx}]=e^{-x^2}2ny$, ולכן על פי תורת שטורם ליוביל פולינומי הרמיט הם מערכת אורתוגונלית: $\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{H}_n(x)H_m(x)e^{-x^2}dx={\delta }_{n,m}(x)A_n$ כאשר ${A}_n$ נתון על ידי ${A}_n=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{H}_n^2(x)e^{-x^2}dx=\sqrt{\pi }{2}^{n}n!$

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

$f(x)=\sum _{n=0}^{\mathrm{\infty }}{C}_n{H}_n(x)$

כאשר את המקדם ${C}_n$ ניתן לחשב על ידי ${C}_n=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}f(x)H_n(x)e^{-x^2}dx$

פונקציה יוצרת

הפונקציה היוצרת, דהיינו פונקציה של שני משתנים ממנה ניתן ליצור את ${H}_n(x)$ על ידי $n$ גזירות היא

$\mathrm{\Phi }(x,h)=e^{2xh-h^2}=\sum _{n=0}^{\mathrm{\infty }}{H}_n(x)\frac{h^n}{n!}$

כאשר כדי ליצור פולינום הרמיט מסדר $n$, יש לגזור את הפונקציה היוצרת $n$ פעמים ולהציב $h=0$.

יחסי רקורסיה

ניתן להגדיר את פולינום הרמיט מסדר $n$ באמצעות יחס הרקורסיה: ${H}_{n+1}(x)=2x{H}_n(x)-2n{H}_{n-1}(x)$

ביטוי מפורש

ניתן להציג את הפולינום גם על ידי הביטוי המפורש הבא (בעזרת שימוש בפונקציית הערך השלם):

$H_n(x)=n!\sum _{m=0}^{\lfloor \frac{n}{2}\rfloor }\frac{(-1{)}^m}{m!(n-2m)!}(2x{)}^{n-2m}$

הצגה אינטגרבילית

הצגה אינטגרבילית של פולינום הרמיט: ${H}_n(x)=\sqrt{\frac{2n}{\pi }}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}(x+it{)}^n{e}^{-t^2}dt$

שימושים

פולינומי הרמיט מופיעים באוסצילטור הרמוני קוונטי שם הפונקציות העצמיות הן

$⟨x|{\psi }_n⟩=\frac{1}{\sqrt{2^{n}n!}}{\left(\frac{m\omega }{\pi \hslash }\right)}^{1/4}\text{exp}(-\frac{m\omega x^2}{2\hslash })H_n\left(\sqrt{\frac{m\omega }{\hslash }}x\right)$

כאשר n הוא מספר טבעי (כלומר 0, 1, 2, ...).

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

מדיה וקבצים בנושא פולינומי הרמיט בוויקישיתוף   

• פולינומי הרמיט, באתר MathWorld (באנגלית)