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

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

מבחינה מתמטית, הפולינומים הם פתרונות למשוואה הדיפרנציאלית $\ {d^{2}y \over dx^{2}}-2x{dy \over dx}+2ny=0$ עבור תחום ההגדרה $\ -\infty \leq x\leq \infty$, והם מוגדרים באופן הבא: $\ H_{n}(x)={(-1)^{n}}{e^{x^{2}}}{d^{n} \over dx^{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\,$

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

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

קל לראות כי ניתן להציג את המשוואה הדיפרנציאלית שלעיל כאופרטור שטורם-ליוביל: $\ {d \over dx}[e^{-x^{2}}{dy \over dx}]={e^{-x^{2}}}2ny$, ולכן על פי תורת שטורם ליוביל פולינומי הרמיט הם מערכת אורתוגונלית: $\int \limits _{-\infty }^{\infty }{H_{n}(x)H_{m}(x)e^{-x^{2}}dx}=\delta _{n,m}(x)A_{n}$ כאשר $\ A_{n}$ נתון על ידי $\ A_{n}=\int \limits _{-\infty }^{\infty }{H_{n}^{2}(x)e^{-x^{2}}dx}={\sqrt {\pi }}2^{n}n!$

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

$\ f(x)=\sum \limits _{n=0}^{\infty }{C_{n}H_{n}(x)}$

כאשר את המקדם $\ C_{n}$ ניתן לחשב על ידי $\ C_{n}=\int \limits _{-\infty }^{\infty }{f(x)H_{n}(x)e^{-x^{2}}dx}$

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

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

$\ \Phi (x,h)=e^{2xh-h^{2}}=\sum \limits _{n=0}^{\infty }{H_{n}(x){h^{n} \over {n!}}}$

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

יחסי רקורסיה

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

ביטוי מפורש

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

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

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

הצגה אינטגרבילית של פולינום הרמיט: $\ H_{n}(x)={\sqrt {2n \over \pi }}\int \limits _{-\infty }^{\infty }{(x+it)^{n}e^{-t^{2}}dt}$

שימושים

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

$\left\langle x|\psi _{n}\right\rangle ={\frac {1}{\sqrt {2^{n}n!}}}\left({\frac {m\omega }{\pi \hbar }}\right)^{1/4}{\hbox{exp}}\left(-{\frac {m\omega x^{2}}{2\hbar }}\right)H_{n}\left({\sqrt {\frac {m\omega }{\hbar }}}x\right)$

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

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

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