Многочлены Эрмита

редактировать

Полиномиальная последовательность

В математике полиномы Эрмита являются классической ортогональная последовательность полиномов.

Многочлены установлены в:

Многочлены Эрмита были выявлены Пьером-Симоном Лапласом в 1810 году, хотя и в трудно узнаваемой форме, и подробно изучены Пафнутым Чебышева в 1859 г. Работы Чебышева не получили должного внимания, и они были названы в кормовой части. ээ Чарльз Эрмит, который писал о многочленах в 1864 году, описывая их как новые. Следовательно, они не были новыми, хотя Эрмит был первым, кто определил многомерные полиномы в своих более поздних публикациях 1865 года.

Содержание

  • 1 Определение
  • 2 Свойства
    • 2.1 Ортогональность
    • 2.2 Полнота
    • 2.3 Дифференциальное уравнение Эрмита
    • 2.4 Соотношение рекуррентности
    • 2.5 Явное выражение
    • 2.6 Обратное явное выражение
    • 2.7 Производящая функция
    • 2.8 Ожидаемые значения
    • 2.9 Асимптотическое расширение
    • 2.10 Специальные значения
  • 3 Отношения с другими функциями
    • 3.1 Полиномы Лагерра
    • 3.2 Связь с сливами гипергеометрическими функциями
  • 4 Дифференциально-операторное представление
  • 5 Контурно-интегральное представление
  • 6 Обобщения
    • 6.1 «Отрицательная дисперсия»
  • 7 Приложения
    • 7.1 Функции Эрмита
    • 7.2 Рекурсивное отношение
    • 7.3 Неравенство Крамера
    • 7.4 Функции Эрмита как собственные функции преобразования Фурье
    • 7.5 Распределения Вигнера функций Эрмита
    • 7.6 Комбинаторная интерпретация коэффициентов
    • 7.7 Отношение полноты
  • 8 См. Также
  • 9 Примечания
  • 10 Ссылки
  • 11 Внешние ссылки

Определение

Как и другие классические ортогональные полиномы, полиномы Эрмита могут быть определены из нескольких различных начальных точек. С самого начала отмечая, что обычно используются две различные стандартизации, один из удобных методов выглядит следующим образом:

  • "вероятностные многочлены Эрмита" задаются как
H en (x) = (- 1) nex 2 2 dndxne - x 2 2, {\ displaystyle {\ mathit {He}} _ {n} (x) = (- 1) ^ {n} e ^ {\ frac {x ^ {2}} {2}} {\ frac {d ^ {n}} {dx ^ {n}}} e ^ {- {\ frac {x ^ {2}} {2}}},}{\ displaystyle {\ mathit {He}} _ {n} (x) = (- 1) ^ {n} e ^ {\ frac {x ^ {2}} {2}} {\ frac {d ^ {n}} {dx ^ {n}}} e ^ {- {\ frac {x ^ {2}} {2}}},}
  • в то время как " полиномы Эрмита физиков "задаются как
H n (x) = (- 1) nex 2 dndxne - x 2. {\ displaystyle H_ {n} (x) = (- 1) ^ {n} e ^ {x ^ {2}} {\ frac {d ^ {n}} {dx ^ {n}}} e ^ {- x ^ {2}}.}{\ displaystyle H_ {n} (x) = (- 1) ^ {n} e ^ {x ^ {2}} {\ frac {d ^ {n}} {dx ^ {n}}} e ^ {- x ^ {2}}.}

Эти уравнения имеют формулу формулы Родригеса, а также могут быть записаны как,

H en (x) = (x - ddx) n ⋅ 1, ЧАС N (Икс) знак равно (2 Икс - ddx) n ⋅ 1. {\ Displaystyle {\ mathit {He}} _ {n} (x) = \ left (x - {\ frac {d} {dx}} \ right) ^ {n} \ cdot 1, \ quad H_ {n} (x) = \ left (2x - {\ frac {d} {dx}} \ right) ^ {n} \ cdot 1.}{\ displaystyle {\ mathit {He}} _ {n} (x) = \ left (x - {\ frac {d} {dx}} \ right) ^ {n} \ cdot 1, \ quad H_ {n} (x) = \ left (2x - {\ frac {d} {dx}}) \ right) ^ {n} \ cdot 1.}

Эти два определения не совсем идентичны; каждый является изменением масштаба другого:

H n (x) = 2 n 2 H e n (2 x), H e n (x) = 2 - n 2 H n (x 2). {\ displaystyle H_ {n} (x) = 2 ^ {\ frac {n} {2}} {\ mathit {He}} _ {n} \ left ({\ sqrt {2}} \, x \ right), \ quad {\ mathit {He}} _ {n} (x) = 2 ^ {- {\ frac {n} {2}}} H_ {n} \ left ({\ frac {x} {\ sqrt { 2}}} \ right).}{\ displaystyle H_ {n} (x) = 2 ^ {\ frac {n} {2}} {\ mathit {Он }} _ {n} \ left ({\ sqrt {2}} \, x \ right), \ quad {\ mathit {He}} _ {n} (x) = 2 ^ {- {\ frac {n} {2}}} H_ {n} \ left ( {\ frac {x} {\ sqrt {2}}} \ right).}

Это следовать полиномов Эрмита дисперсии; см. материал о вариациях ниже.

Обозначения He и H используются в стандартных ссылках. Многочлены He n иногда обозначаются H n, особенно в теории вероятностей, что

1 2 π e - x 2 2 {\ displaystyle {\ frac {1} {\ sqrt {2 \ pi}}} e ^ {- {\ frac {x ^ {2}} {2}}}}{\ frac {1} {\ sqrt {2 \ pi }}} e ^ {- {\ frac {x ^ {2}} {2}}}

- функция плотности вероятности для нормального распределения с ожидаемым значением 0 и стандартным отклонением 1.

Первые шесть вероятностных полиномов Эрмита He n (x)
  • Первые одиннадцать вероятностных многочленов Эрмита:
H e 0 (x) = 1, H e 1 (x) = x, H e 2 (x) = x 2 - 1, H e 3 (x) = x 3 - 3 x, H e 4 (x) = x 4 - 6 x 2 + 3, H e 5 (x) = x 5- 10 x 3 + 15 x, H e 6 (x) = x 6-15 x 4 + 45 x 2-15, H e 7 (x) = x 7-21 x 5 + 105 x 3 - 105 x, H e 8 (x) = x 8 - 28 x 6 + 210 x 4 - 420 x 2 + 105, H e 9 (x) = x 9 - 36 x 7 + 378 x 5 - 1260 x 3 + 945 x, H е 10 (x) = x 10 - 45 x 8 + 630 x 6 - 3150 x 4 + 4725 x 2 - 945. {\ displaystyle {\ begin {align} {\ mathit {He}} _ {0} (x) = 1, \\ {\ mathit {He}} _ {1} (x) = x, \\ {\ mathit {He}} _ {2} (x) = x ^ {2} -1, \\ {\ mathit {He}} _ {3} (x) = x ^ {3} -3x, \\ {\ mathit {He}} _ {4} (x) = x ^ {4} -6x ^ {2} +3, \\ {\ mathit {He}} _ {5} (x) = x ^ {5} -10x ^ {3} + 15x, \\ {\ mathit {He}} _ {6 } (x) = x ^ {6} -15x ^ {4} + 45x ^ {2} -15, \\ {\ mathit {He}} _ {7} (x) = x ^ {7} - 21x ^ {5} + 105x ^ {3} -105x, \\ {\ mathit {He}} _ {8} (x) = x ^ {8} -28x ^ {6} + 210x ^ {4} -420x ^ {2} +105, \\ {\ mathit {He}} _ {9} (x) = x ^ {9} - 36x ^ {7} + 378x ^ {5} -1260x ^ {3} + 945x, \\ {\ mathit {He}} _ {10} (x) = x ^ {10} -45x ^ {8} + 630x ^ {6} -3150x ^ {4} + 4725x ^ {2} -945. \ End {align}}}{\ displaystyle {\ begin {align} {\ mathit {He }} _ {0} (x) = 1, \\ {\ mathit {He}} _ {1} (x) = x, \\ {\ mathit {He}} _ {2} (x) = x ^ {2} -1, \\ {\ mathit {He}} _ {3} (x) = x ^ {3} -3x, \\ {\ mathit {He}} _ {4} (x) = x ^ {4} - 6x ^ {2} +3, \\ {\ mathit {He}} _ {5} (x) = x ^ {5} -10x ^ {3} + 15x, \\ {\ mathit {He}} _ {6} (x) = x ^ {6} -15x ^ {4} + 45x ^ {2} -15, \\ {\ mathit {He}} _ {7} (x) = x ^ {7 } -21x ^ {5} + 105x ^ {3} -105x, \\ {\ mathit {He}} _ {8} (x) = x ^ {8} -28x ^ {6} + 210x ^ {4 } -420x ^ {2} +105, \\ {\ mathit {He}} _ {9} (x) = x ^ {9} -36x ^ {7} + 378x ^ {5} -1260x ^ {3 } + 945x, \\ {\ mathit {He}} _ {10} (x) = x ^ {10} -45x ^ {8} + 630x ^ {6} -3150x ^ {4} + 4725x ^ {2 } -945. \ End {align}}}
Первые шесть (физиков) многочленов Эрмита H n (x)
  • Первые одиннадцать физиков 'Многочлены Эрмита:
H 0 (x) = 1, H 1 (x) = 2 x, H 2 (x) = 4 x 2 - 2, H 3 (x) = 8 x 3 - 12 x, H 4 (x) = 16 x 4 - 48 x 2 + 12, H 5 (x) = 32 x 5 - 160 x 3 + 120 x, H 6 (x) = 64 x 6 - 480 x 4 + 720 x 2 - 120, H 7 (x) = 128 x 7 - 1344 x 5 + 3360 x 3 - 1680 x, H 8 (x) = 256 x 8 - 3584 x 6 + 13440 x 4 - 13440 x 2 + 1680, H 9 (x) = 512 x 9 - 9216 x 7 + 48384 x 5 - 80640 x 3 + 30240 x, ​​H 10 (x) = 1024 x 10 - 23040 x 8 + 161280 x 6 - 403200 x 4 + 302400 x 2 - 30240. {\ displaystyle {\ begin {align} 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, \\ H_ {7} (x) = 128x ^ {7} -1344x ^ {5} + 3360x ^ {3} -1680x, \\ H_ {8} (x) = 256x ^ {8} - 3584x ^ {6} + 13440x ^ {4} -134 40x ^ {2} +1680, \\ H_ {9} (x) = 512x ^ {9} -9216x ^ {7} + 48384x ^ {5} -80640x ^ {3} + 30240x, \\ H_ {10 } (x) = 1024x ^ {10} -23040x ^ {8} + 161280x ^ {6} -403200x ^ {4} + 302400x ^ {2} -30240. \ End {выровнено}}}{\ displaystyle {\ begin {align} 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} -1 20, \\ H_ {7} (x) = 128x ^ {7} -1344x ^ {5} + 3360x ^ {3} -1680x, \\ H_ {8} (x) = 256x ^ {8} - 3584x ^ {6} + 13440x ^ {4} -13440x ^ {2} +1680, \\ H_ {9} (x) = 512x ^ {9} -9216x ^ {7} + 48384x ^ {5} -80640x ^ {3} + 30240x, \\ H_ {10} (x) = 1024x ^ {10} -23040x ^ {8} + 161280x ^ {6} -403200x ^ {4} + 302400x ^ {2} -30240. \ end {align}}}

Свойства

Многочлен Эрмита n-го порядка - это многочлен степени n. Версия вероятностей He n имеет старший коэффициент 1, версия физиков H n - старший коэффициент 2.

Ортогональность

Hn(x) и He n (x) - многочлены n-й степени для n = 0, 1, 2, 3,.... Эти многочлены ортогональны относительно весовой функции (мера )

w (x) = е - Икс 2 2 (для ЧАС е) {\ Displaystyle ш (х) = е ^ {- {\ гидроразрыва {х ^ {2}} {2}}} \ quad ({\ text {for}} { \ mathit {He}})}{\ displaystyle w (x) = e ^ {- {\ frac {x ^ {2}} {2}}} \ quad ({\ text {for} } {\ mathit {He}})}

или

w (x) = e - x 2 (для H), {\ displaystyle w (x) = e ^ {- x ^ {2}} \ quad ( {\ text {for}} H),}{\ displaystyle w (x) = e ^ {- x ^ {2}} \ quad ({ \ text {for}} H),}

т.е. мы имеем

∫ - ∞ ∞ H m (x) H n (x) w (x) dx = 0 для все N. {\ Displaystyle \ int _ {- \ infty} ^ {\ infty} H_ {m} (x) H_ {n} (x) \, w (x) \, dx = 0 \ quad {\ text {для всех} } m \ neq n.}{\ displaystyle \ int _ {- \ infty} ^ {\ infty} H_ {m} (x) H_ {n} ( х) \ вес (х) \, dx = 0 \ quad {\ text {для всех}} m \ neq n.}

Кроме того,

∫ - ∞ ∞ H em (x) H en (x) e - x 2 2 dx = 2 π n! δ нм, {\ displaystyle \ int _ {- \ infty} ^ {\ infty} {\ mathit {He}} _ {m} (x) {\ mathit {He}} _ {n} (x) \, e ^ {- {\ frac {x ^ {2}} {2}}} \, dx = {\ sqrt {2 \ pi}} \, n! \, \ Delta _ {nm},}{\ displaystyle \ int _ { - \ infty} ^ {\ infty} {\ mathit {He}} _ {m} (x) {\ mathit {He}} _ {n} (x) \, e ^ {- {\ frac {x ^ { 2}} {2}}} \, dx = {\ sqrt {2 \ pi}} \, n! \, \ Delta _ {nm},}

или

∫ - ∞ ∞ H m (x) H N (Икс) е - Икс 2 d Икс знак равно π 2 N N! δ нм, {\ displaystyle \ int _ {- \ infty} ^ {\ infty} H_ {m} (x) H_ {n} (x) \, e ^ {- x ^ {2}} \, dx = { \ sqrt {\ pi}} \, 2 ^ {n} п! \, \ delta _ {nm},}{\ displaystyle \ int _ {- \ infty} ^ {\ infty} H_ {m} (x) H_ {n} (x) \, e ^ {- x ^ {2}} \, dx = {\ sqrt {\ pi}} \, 2 ^ {n} n! \, \ delta _ {nm},}

где δ nm {\ displaystyle \ delta _ {nm}}\ delta _ {nm} - дельта Кронекера.

Таким образом, вероятностные полиномы ортогональны по стандартной к нормальной функции плотности вероятности.

Полнота

Многочлены Эрмита (вероятностные или физики) образуют ортогональный базис гильбертова пространства функций, удовлетворяющих

∫ - ∞ ∞ | f (x) | 2 w (x) dx < ∞, {\displaystyle \int _{-\infty }^{\infty }{\bigl |}f(x){\bigr |}^{2}\,w(x)\,dx<\infty,}{\ displaystyle \ int _ { - \ infty} ^ {\ infty} {\ bigl |} е (х) {\ bigr |} ^ {2} \, w (x) \, dx <\ infty,}

, в котором внутреннее произведение дается интегралом

⟨f, g⟩ = ∫ - ∞ ∞ f (x) g (x) ¯ w (x) dx {\ displaystyle \ langle f, g \ rangle = \ int _ {- \ infty} ^ {\ infty} f (x) {\ overline {g (x)}} \, w (x) \, dx}{\ displaystyle \ langle f, g \ rangle = \ int _ {- \ infty} ^ {\ infty} е (х) {\ overline {g (x)}} \, w (x) \, dx}

включая Гауссова весовая функция w (x), определенная в предыдущем разделе

Ортогональный базис для L(R, w (x) dx) является полной ортогональной системой. Для ортогональной системы полнота эквивалентна тому факту, что функция 0 единственная функция f ∈ L (R, w (x) dx), ортогональной всем функциям в системе.

Так как линейная оболочка многочленов Эрмита является пространством всех многочленов, нужно показать (в физическом случае), что если f удовлетворяет

∫ - ∞ ∞ f (x) xne - x 2 dx = 0 {\ displaystyle \ int _ {- \ infty} ^ {\ infty} f (x) x ^ {n} e ^ {- x ^ {2}} \, dx = 0}{\ displaystyle \ int _ {- \ infty} ^ {\ infty} f (x) x ^ {n} e ^ {- x ^ {2}} \, dx = 0}

для любого n ≥ 0, тогда f = 0.

Один из способов сделать это - понять, что целая функция

F (z) = ∫ - ∞ ∞ f (x) ezx - Икс 2 dx знак равно ∑ N знак равно 0 ∞ znn! ∫ е (Икс) xne - Икс 2 dx знак равно 0 {\ Displaystyle F (z) = \ int _ {- \ infty} ^ {\ infty} е (х) е ^ {zx-x ^ {2}} \, dx = \ sum _ {n = 0} ^ {\ infty} {\ frac {z ^ {n}} {n!}} \ int f (x) x ^ {n} e ^ {- x ^ {2 }} \, dx = 0}{\ displaystyle F (z) = \ int _ {- \ infty} ^ {\ infty} f (x) e ^ {zx-x ^ {2}} \, dx = \ sum _ {n = 0} ^ {\ infty} {\ frac {z ^ { n}} {n!}} \ int f (x) x ^ {n} e ^ {- x ^ {2}} \, dx = 0}

тождественно обращается в нуль. Тот факт, что F (it) = 0 для каждого действительного t, означает, что преобразование Фурье функции f (x) e равно 0, следовательно, f равно 0 почти всюду. Варианты приведенного выше доказательства применимости к другим весам с экспоненциальным убыванием.

В Эрмита также можно доказатьное тождество, подразумевает явное проявление полноту (см. Раздел отношение полноты ниже).

Эквивалентная формулировка того факта, что полиномы являются ортогональным базисом для L (R, w (x) dx), входят во введении функций Эрмита (см. Ниже) и утверждении, что функции Эрмита являются ортонормированным базисом для L (R ).

Дифференое уравнение Эрмита

Вероятностные полиномы Эрмита являются решениями дифференциального уравнения

(e - 1 2 x 2 u ′) ′ + λ e - 1 2 x 2 u = 0, {\ displaystyle \ left (e ^ {- {\ frac {1} {2}} x ^ {2}} u '\ right)' + \ lambda e ^ {- {\ frac {1} {2}} x ^ { 2}} u = 0,}{\displaystyle \left(e^{-{\frac {1}{2}}x^{2}}u'\right)'+\lambda e^{-{\frac {1}{2}}x^{2}}u=0,}

где λ - постоянная. Налагая граничное решение, что u должен быть полиномиально ограничен на бесконечности, уравнение имеет только в том случае, если λ - неотрицательное целое число, решение однозначно дается формулой u (x) = C 1 H e λ (x) { \ displaystyle u (x) = C_ {1} He _ {\ lambda} (x)}{\ displaystyle u (x) = C_ {1} He _ {\ lambda} (x)} , где C 1 {\ displaystyle C_ {1}}C _ {{1}} обозначает постоянный.

Переписываем дифференциальное уравнение в виде задачи на собственные значения

L [u] = u ″ - xu ′ = - λ u, {\ displaystyle L [u] = u '' - xu ' = - \ lambda u,}{\displaystyle L[u]=u''-xu'=-\lambda u,}

полиномы Эрмита H е λ (x) {\ displaystyle He _ {\ lambda} (x)}{\ d isplaystyle He _ {\ lambda} (x)} могут понимать как собственные функции дифференциального оператора L [u] {\ displaystyle L [u]}{\ displaystyle L [u]} . Эта проблема собственных значений называется уравнением Эрмита, хотя этот термин также используется для совместного использования связанного уравнения

u ″ - 2 x u ′ = - 2 λ u. {\ displaystyle u '' - 2xu '= - 2 \ lambda u.}{\displaystyle u''-2xu'=-2\lambda u.}

, решение которого однозначно дается в терминах полиномов Эрмита физиков в форме u (x) = C 1 H λ (x) {\ displaystyle u (x) = C_ {1} H _ {\ lambda} (x)}{\ displaystyle u (x) = C_ {1} H _ {\ lambda} (x)} , где C 1 {\ displaystyle C_ {1}}C _ {{1}} обозначает константа, после наложения граничного условия, что u должно быть полиномиально ограничена на бесконечности.

Общие решения вышеупомянутых дифференциальных уравнений второго порядка являются линейными комбинациями как полиномов Эрмита, так и вырожденных гипергеометрических функций первого рода. Например, для уравнений Эрмита физиков

u ″ - 2 xu ′ + 2 λ u = 0, {\ displaystyle u '' - 2xu '+ 2 \ lambda u = 0,}{\displaystyle u''-2xu'+2\lambda u=0,}

общее решение принимает форму

U (Икс) знак равно С 1 ЧАС λ (Икс) + С 2 час λ (Икс), {\ Displaystyle и (х) = C_ {1} H _ {\ lambda} (х) + C_ {2} ч _ { \ lambda} (x),}{\ displaystyle u (x) = C_ {1} H _ {\ lambda} (х) + C_ {2} час _ {\ лямбда} (х),}

где C 1 {\ displaystyle C_ {1}}C _ {{1}} и C 2 {\ displaystyle C_ {2}}C _ {{2}} - константы, H λ (x) {\ displaystyle H _ {\ lambda} (x)}{ \ displaystyle H _ {\ lambda} (x)} - полиномы Эрмита (первого рода) физиков, и h λ (x) { \ displaystyle h _ {\ lambda} (x)}{\ displaystyle h _ {\ lambda} (x)} - функции Эрмита (второго рода) физиков. Последние функции компактно представлены как h λ (x) = 1 F 1 (- λ 2; 1 2; x 2) {\ displaystyle h _ {\ lambda} (x) = {} _ {1} F_ {1 } (- {\ tfrac {\ lambda} {2}}; {\ tfrac {1} {2}}; x ^ {2})}{\ displaystyle h _ {\ lambda} (x) = {} _ {1} F_ {1} (- {\ tfrac {\ lambda} {2} }; {\ tfrac {1} {2}}; x ^ {2})} где 1 F 1 (a; b ; z) {\ displaystyle {} _ {1} F_ {1} (a; b; z)}{} _ {1} F_ {1} (a; b; z) - это сливные гипергеометрические функции первого рода. Обычные многочлены Эрмита также могут быть выражены через конфлюэнтные гипергеометрические функции, см. Ниже.

С более общими граничными условиями полиномы Эрмита могут быть обобщены для получения более общих аналитических функций для комплекснозначных λ. Также возможна явная формула полиномов Эрмита в терминах контурных интегралов (Courant Hilbert 1989).

Отношение рекуррентности

Последовательность вероятностных многочленов Эрмита также удовлетворяет рекуррентному действию

H en + 1 (x) = x H en (x) - H en ′ (Икс). {\ displaystyle {\ mathit {He}} _ {n + 1} (x) = x {\ mathit {He}} _ {n} (x) - {\ mathit {He}} _ {n} '(x).}{\displaystyle {\mathit {He}}_{n+1}(x)=x{\mathit {He}}_{n}(x)-{\mathit {He}}_{n}'(x).}

Индивидуальные коэффициенты связаны следующей рекурсивной формулой:

an + 1, k = {- nan - 1, kk = 0, an, k - 1 - nan - 1, kk>0, {\ Displaystyle a_ {n + 1, k} = {\ begin {case} -na_ {n-1, k} k = 0, \\ a_ {n, k-1} -na_ {n-1, k} k>0, \ end {cases}}}{\displaystyle a_{n+1,k}={\begin{cases}-na_{n-1,k}k=0,\\a_{n,k-1}-na_{n-1,k}k>0, \ end {ases}}}

и 0,0 = 1, a 1,0 = 0, a 1, 1 = 1.

Для полиномов физиков, предполагая, что

H n (x) = ∑ k = 0 nan, kxk, {\ displaystyle H_ {n} (x) = \ sum _ {k = 0} ^ {n} a_ {n, k} x ^ {k},}{\ displaystyle H_ {n} (x) = \ sum _ {k = 0} ^ {n} a_ {n, k} x ^ {k}, }

имеем

H n + 1 (x) = 2 x H n (x) - H n ′ ( x). {\ displaystyle H_ {n + 1} (x) = 2xH_ {n} (x) -H_ {n} '(x).}{\displaystyle H_{n+1}(x)=2xH_{n}(x)-H_{n}'(x).}

Индивидуальные коэффициенты связаны следующей формулой рекурсии:

an + 1, k = {- an, k + 1 k Знак равно 0, 2 an, k - 1 - (k + 1) an, k + 1 k>0, {\ Displaystyle a_ {n + 1, k} = {\ begin {case} -a_ {n, k + 1 } k = 0, \\ 2a_ {n, k-1} - (k + 1) a_ {n, k + 1} k>0, \ end {cases}}}{\displaystyle a_{n+1,k}={\begin{cases}-a_{n,k+1}k=0,\\2a_{n,k-1}-(k+1)a_{n,k+1}k>0, \ end {ases}}}

и 0,0 = 1, a 1,0 = 0, a 1,1 = 2.

Полиномы Эрмита составляют последовательность Аппеля, т. Е. Они представляют собой полиномиальную последовательность, удовлетворяющую тождеству

H en ′ (X) = n H en - 1 (x), H n ′ (x) = 2 n H n - 1 (x). {\ Displaystyle {\ begin {align} {\ mathit {He}} _ {n} '(x) = n {\ mathit {He}} _ {n-1} (x), \\ H_ {n} '(х) = 2nH_ {n-1} (х). \ end {align}}}{\displaystyle {\begin{aligned}{\mathit {He}}_{n}'(x)=n{\mathit {He}}_{n-1}(x),\\H_{n}'(x)=2nH_{n-1}(x).\end{aligned}}}

Эквивалентно, по расширяющему Тейлору,

H en (x + y) = ∑ k = 0 n (nk) xn - k H ek (y) = 2 - n 2 ∑ k = 0 n (nk) H en - k (x 2) H ek (y 2), H n (x + y) = ∑ k Знак равно 0 n (nk) H k (x) (2 y) ( n - k) = 2 - n 2 ⋅ ∑ k знак равно 0 n (nk) H n - k (x 2) H k (y 2). {\ displaystyle {\ begin {align} {\ mathit {He}} _ {n} (x + y) = \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} x ^ {nk} {\ mathit {He}} _ {k} (y) = 2 ^ {- {\ frac {n} {2}}} \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} {\ mathit {He}} _ {nk} \ left (x {\ sqrt {2}} \ right) {\ mathit {He}} _ {k} \ left (y {\ sqrt {2}} \ right), \\ H_ {n} (x + y) = \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} H_ {k} (x) (2y) ^ {(nk)} = 2 ^ {- {\ frac {n} {2}}} \ cdot \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} H_ {nk} \ left (x {\ sqrt {2}} \ right) H_ {k} \ left (y {\ sqrt {2}} \ right). \ End {align}}}{\ displaystyle {\ begin { выровнено} {\ mathit {He}} _ {n} (x + y) = \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} x ^ {nk} {\ mathit {He}} _ {k} (y) = 2 ^ {- {\ frac {n} {2}}} \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} {\ mathit {He}} _ {nk} \ left (x {\ sqrt {2}} \ right) {\ mathit {He}} _ {k} \ left (y {\ sqrt {2}} \ right), \\ H_ {n} (x + y) = \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} H_ {k} (x) (2y) ^ {(nk)} = 2 ^ {- {\ frac {n} {2}}} \ cdot \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} H_ {nk} \ left ( x {\ sqrt {2}} \ right) H_ {k} \ left (y {\ sqrt {2}} \ right). \ end {align}}}

Эти темные идентичности очевидны и включены в представление дифференциального оператора, подробно ниже,

H en (x) = e - D 2 2 xn, H n (х) = 2 ne - D 2 4 xn. {\ displaystyle {\ begin {align} {\ mathit {He}} _ {n} (x) = e ^ {- {\ frac {D ^ {2}} {2}}} x ^ {n}, \\ H_ {n} (x) = 2 ^ {n} e ^ {- {\ frac {D ^ {2}} {4}}} x ^ {n}. \ End {align}}}{\ displaystyle {\ begin {align} {\ mathit {He}} _ {n} (x) = e ^ {- {\ frac {D ^ {2}} {2}}} x ^ {n}, \\ H_ {n} (x) = 2 ^ {n} e ^ {- {\ frac {D ^ {2}} {4}}} x ^ {n}. \ end {выровнено }}}

Следовательно, для m-х производных выполняются следующие соотношения:

H en (m) (x) = n! (п - м)! Ен - м (х) = м! (Н м) H e N - м (х), H N (м) (х) = 2 м п! (п - м)! Н н - м (х) = 2 м м! (n m) H n - m (x). {\ displaystyle {\ begin {align} {\ mathit {He}} _ {n} ^ {(m)} (x) = {\ frac {n!} {(nm)!}} {\ mathit {Он }} _ {nm} (x) = m! {\ binom {n} {m}} {\ mathit {He}} _ {nm} (x), \\ H_ {n} ^ {(m)} (x) = 2 ^ {m} {\ frac {n!} {(нм)!}} H_ {nm} (x) = 2 ^ {m} m! {\ binom {n} {m}} H_ {nm} (x). \ End {align}}}{\ displaystyle {\ begin {align} {\ mathit {He}} _ {n} ^ {(m)} (x) = {\ frac {n!} {(Nm)!}} {\ Mathit {He}} _ {nm} (x) = m! {\ Binom {n} {m}} {\ mathit {He}} _ {nm} (x), \\ H_ {n} ^ {(m)} (x) = 2 ^ {m} {\ frac {n!} {(nm)!}} H_ {nm} (x) = 2 ^ {m} m! {\ binom {n} {m }} Н_ {нм} (х). \ Конец {выровнено}}}

Отсюда следует, что многочлены Эрмита также удовлетворяют рекуррентному выражению

H en + 1 (x) = x H en (x) - n H en - 1 (x), H n + 1 (x) знак равно 2 x H n (x) - 2 n H n - 1 (x). {\ displaystyle {\ begin {align} {\ mathit {He}} _ {n + 1} (x) = x {\ mathit {He}} _ {n} (x) -n {\ mathit {He} } _ {n-1} (x), \\ H_ {n + 1} (x) = 2xH_ {n} (x) -2nH_ {n-1} (x). \ end {align}}}{\ displaystyle {\ begin {align} {\ mathit {He}} _ {n + 1} (x) = x {\ mathit {He}} _ {n} (x) -n {\ mathit {He}} _ {n-1} (x), \\ H_ {n + 1} (x) = 2xH_ {n} (x) -2nH_ {n-1} ( х). \ конец {выровнено}}}

Эти последние соотношения вместе с начальными многочленами H 0 (x) и H 1 (x) начать на практике для быстрых вычислений многочленов.

Неравенства Турана равны

H e n (x) 2 - H e n - 1 (x) H e n + 1 (x) = (n - 1)! ∑ я знак равно 0 N - 1 2 N - я я! H е я (х) 2>0. {\ displaystyle {\ mathit {He}} _ {n} (x) ^ {2} - {\ mathit {He}} _ {n-1} (x) {\ mathit {He}} _ {n + 1 } (x) = (n-1)! \ sum _ {i = 0} ^ {n-1} {\ frac {2 ^ {ni}} {i!}} {\ mathit {He}} _ {i} (x) ^ {2}>0. }{\displaystyle {\mathit {He}}_{n}(x)^{2}-{\mathit {He}}_{n-1}(x){\mathit {He}}_{n+1}(x)=(n-1)!\sum _{i=0}^{n-1}{\frac {2^{n-i}}{i!}}{\mathit {He}}_{i}(x)^{2}>0.}

Кроме того, выполняется следующая теорема умножения :

H n (γ x) = ∑ i = 0 ⌊ n 2 ⌋ γ n - 2 i (γ 2 - 1) i (n 2 i) (2 i)! I! H n - 2 i (x), H en (γ x) = ∑ i = 0 ⌊ n 2 ⌋ γ n - 2 i (γ 2 - 1) ((N 2) (2 я)! Я! 2 - я ЧАС - 2 я (х). {\ Displaystyle {\ begin {выровнено} H_ {п} (\ гамма х) = \ sum _ {i = 0} ^ {\ левый \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} \ gamma ^ {n-2i} (\ gamma ^ {2} -1) ^ {i} {\ binom {n} {2i}} {\ frac {(2i)!} {i!}} H_ {n-2i} (x), \\ {\ mathit {He}} _ {n} (\ gamma x) = \ sum _ {i = 0} ^ {\ left \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} \ gamma ^ {n-2i} (\ gamma ^ {2} -1) ^ {i} {\ binom {n } {2i}} {\ frac {(2i)!} {I!}} 2 ^ {- i} {\ mathit {He}} _ {n-2i} (x). \ End {align}}}{\ displaystyle {\ begin {align} H_ {n} (\ gamma x) = \ sum _ {i = 0} ^ {\ left \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} \ gamma ^ {n-2i} (\ gamma ^ {2} -1) ^ {i} {\ binom {n } {2i}} {\ frac {(2i)!} {I!}} H_ {n-2i} (x), \\ {\ mathit {He}} _ {n} (\ gamma x) = \ sum _ {i = 0} ^ {\ left \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} \ gamma ^ {n-2i} (\ gamma ^ {2} -1) ^ {i} {\ binom {n} {2i}} {\ frac {(2i)!} {i!}} 2 ^ {- i} {\ mathit {He}} _ {n-2i} (x). \ end { выровнено}}}

Явное вы ражение ession

Полиномы Эрмита физиков могут быть явно записаны как

H n (x) = {n! ∑ L знак равно 0 N 2 (- 1) N 2 - 1 (2 л)! (n 2 - l)! (2 x) 2 l для четных n, n! ∑ L знак равно 0 N - 1 2 (- 1) N - 1 2 - l (2 l + 1)! (п - 1 2 - л)! (2 x) 2 л + 1 для нечетных п. {\ displaystyle H_ {n} (x) = {\ begin {cases} \ displaystyle n! \ sum _ {l = 0} ^ {\ frac {n} {2}} {\ frac {(-1) ^ {{\ tfrac {n} {2}} - l}} {(2l)! \ left ({\ tfrac {n} {2}} - l \ right)!}} (2x) ^ {2l} {\ текст {для четных}} n, \\\ displaystyle n! \ sum _ {l = 0} ^ {\ frac {n-1} {2}} {\ frac {(-1) ^ {{\ frac {n -1} {2}} - l}} {(2l + 1)! \ Left ({\ frac {n-1} {2}} - l \ right)!}} (2x) ^ {2l + 1} {\ text {для нечетных}} n. \ end {ases}}}{\ displaystyle H_ {n} (x) = {\ begin {cases} \ displaystyle n! \ сумма _ {l = 0} ^ {\ frac {n} {2}} {\ frac { (-1) ^ {{\ tfrac {n} {2}} - l}} {(2l)! \ Left ({\ tfrac {n} {2}} - l \ right)!}} (2x) ^ {2l} {\ text {для четных}} n, \\\ displaystyle n! \ Sum _ {l = 0} ^ {\ frac {n-1} {2}} {\ frac {(-1) ^ {{\ frac {n-1} {2}} - l}} {(2l + 1)! \ left ({\ frac {n-1} {2}} - l \ right)!}} (2x) ^ {2l + 1} {\ text {для нечетных}} n. \ End {cases}}}

Эти два уравнения могут быть объединены в одно сС помощью функции пола :

H n (x) = n! ∑ знак знак равно 0 ⌊ N 2 ⌋ (- 1) ì м! (п - 2 мес.)! (2 х) п - 2 мес. {\ Displaystyle Н_ {п} (х) = п! \ сумма _ {м = 0} ^ {\ left \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} {\ frac {(-1) ^ {m}} {м! (n-2m)!}} (2x) ^ {n-2m}.}{\ displaystyle H_ {n} (x) = n! \ sum _ {m = 0} ^ {\ left \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} {\ frac {(-1) ^ {m}} {m! ( n-2m)!}} (2x) ^ {n-2m}.}

Вероятные многочлены Эрмита У него есть аналогичные формулы, которые получены из них заменой степени 2x со степенью √2 x и умножением всей суммы на 2:

H en (x) = n! ∑ м знак равно 0 ⌊ N 2 ⌋ (- 1) м м! (п - 2 мес.)! х н - 2 м 2 м. {\ Displaystyle He_ {n} (х) = п! \ sum _ {m = 0} ^ {\ left \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} {\ frac {(-1) ^ {m}} {м! (n-2m)!}} {\ frac {x ^ {n-2m}} {2 ^ {m}}}.}{\ displaystyle He_ {n} (x) = n! \ sum _ {m = 0} ^ {\ left \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} {\ frac {(-1) ^ {m}} {m! (n-2m)!}} {\ frac {x ^ {n-2m}} {2 ^ {m}}}.}

Обратное явное выражение

Обратное к вышеприведенным явным выражениям, то есть выражения для мономов в терминах вероятностных многочленов Эрмита He равны

xn = n! ∑ м знак равно 0 ⌊ N 2 ⌋ 1 2 м м! (п - 2 мес.)! Ен - 2 м (х). {\ Displaystyle х ^ {п} = п! \ sum _ {m = 0} ^ {\ left \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} {\ frac {1} {2 ^ {m} m! (n-2m)!}} He_ {n-2m} (x).}{\ displaystyle x ^ {n} = n! \ sum _ {m = 0} ^ {\ left \ lfloor {\ tfrac {n}) {2}} \ right \ rfloor} {\ frac {1} {2 ^ {m} m! (N-2m)!}} He_ {n-2m} (x).}

Соответствующие выражения для полиномов Эрмита H физиков следуют непосредственно, правильно масштабируя это:

xn = n! 2 N ∑ м знак равно 0 ⌊ N 2 ⌋ 1 м! (п - 2 мес.)! Н н - 2 м (х). {\ displaystyle x ^ {n} = {\ frac {n!} {2 ^ {n}}} \ sum _ {m = 0} ^ {\ left \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} {\ frac {1} {м! (n-2m)!}} H_ {n-2m} (x).}{\ displaystyle x ^ {n} = { \ frac {n!} {2 ^ {n}}} \ sum _ {m = 0} ^ {\ left \ lfloor {\ tfrac {n} {2}} \ right \ rfloor} {\ frac {1} { м! (n-2m)!}} H_ {n-2m} (x).}

Производящая функция

Полиномы Эрмита задаются экспоненциальная производящая функция

ext - 1 2 t 2 = ∑ п знак равно 0 ∞ H en (x) tnn!, е 2 Икс Т - Т 2 знак равно ∑ N знак равно 0 ∞ H N (Икс) т N N!. {\ displaystyle {\ begin {align} e ^ {xt - {\ frac {1} {2}} t ^ {2}} = \ sum _ {n = 0} ^ {\ infty} {\ mathit {Он }} _ {n} (x) {\ frac {t ^ {n}} {n!}}, \\ e ^ {2xt-t ^ {2}} = \ sum _ {n = 0} ^ { \ infty} H_ {n} (x) {\ frac {t ^ {n}} {n!}}. \ end {align}}}{\ displaystyle {\ begin {align} e ^ {xt - {\ frac {1} { 2}} t ^ {2}} = \ sum _ {n = 0} ^ {\ infty} {\ mathit {He}} _ {n} (x) {\ frac {t ^ {n}} {n !}}, \\ e ^ {2xt-t ^ {2}} = \ sum _ {n = 0} ^ {\ infty} H_ {n} (x) {\ frac {t ^ {n}} { п!}}. \ конец {выравнивается}}}

Это равенство действительно для всех сложных значений значений x и t, и может быть получено записью разложения Тейлора в точке x всей функции z → e (в случае физиков). Можно также получить интегрирующую функцию (физиков), используя , чтобы записать полиномы Эрмита как

H n (x) = (- 1) nex 2 dndxne - x 2 = (- 1) nex 2 п! 2 π ∮ γ е - z 2 (z - x) n + 1 d z. {\ displaystyle H_ {n} (x) = (- 1) ^ {n} e ^ {x ^ {2}} {\ frac {d ^ {n}} {dx ^ {n}}} e ^ {- x ^ {2}} = (- 1) ^ {n} e ^ {x ^ {2}} {\ frac {n!} {2 \ pi i}} \ oint _ {\ gamma} {\ frac {e ^ {- z ^ {2}}} {(zx) ^ {n + 1}}} \, dz.}{\ displaystyle H_ {n} (x) = (- 1) ^ {n} e ^ {x ^ {2}} {\ frac {d ^ {n}} {dx ^ {n }}} e ^ {- x ^ {2}} = (- 1) ^ {n} e ^ {x ^ {2}} {\ frac {n!} {2 \ pi i}} \ oint _ {\ гамма} {\ гидроразрыва {е ^ {- z ^ {2}}} {(zx) ^ {n + 1}}} \, dz.}

Используя это в сумме

∑ n = 0 ∞ H n (x) tnn!, {\ displaystyle \ sum _ {n = 0} ^ {\ infty} H_ {n} (x) {\ frac {t ^ {n}} {n!}},}\ sum _ {n = 0} ^ {\ infty} H_ {n} (x) {\ frac {t ^ {n}} {n!}},

можно вычислить оставшийся интеграл используя исчисление вычетов, и придем к желаемой производящей функции.

Ожидаемые значения

Если X - случайная величина с нормальным распределением со стандартным отклонением 1 и ожидаемым значением μ, то

E ⁡ [ H en (X)] = μ n. {\ displaystyle \ operatorname {\ mathcal {E}} \ left [{\ mathit {He}} _ {n} (X) \ right] = \ mu ^ {n}.}{\ displaystyle \ operatorname {\ mathcal {E}} \ left [{\ mathit {He}} _ {n} (X) \ right] = \ mu ^ {n}.}

Моменты стандартной нормыли (с нулевым ожидаемым значением) можно считать непосредственно из соотношения для четных индексов:

E ⁡ [X 2 n] = (- 1) n H e 2 n (0) = (2 n - 1)! !, {\ displaystyle \ operatorname {\ mathcal {E}} \ left [X ^ {2n} \ right] = (- 1) ^ {n} {\ mathit {He}} _ {2n} (0) = (2n -1) !!,}{\ displaystyle \ operatorname {\ mathcal {E}} \ left [X ^ { 2n} \ right] = (- 1) ^ {n} {\ mathit {He}} _ {2n} (0) = (2n-1) !!,}

где (2n - 1) !! это двойной факториал. Обратите внимание, что приведенное выше выражение является частным случаем представления вероятностных многочленов Эрмита в виде моментов:

H e n (x) = 1 2 π ∫ - ∞ ∞ (x + i y) n e - y 2 2 d y. {\ displaystyle {\ mathit {He}} _ {n} (x) = {\ frac {1} {\ sqrt {2 \ pi}}} \ int _ {- \ infty} ^ {\ infty} (x + iy) ^ {n} e ^ {- {\ frac {y ^ {2}} {2}}} \, dy.}{\ displaystyle {\ mathit {He}} _ {n} (x) = {\ frac {1} {\ sqrt {2 \ pi}}} \ int _ {- \ infty} ^ {\ infty} (x + iy) ^ {n} e ^ {- {\ frac {y ^ {2}} {2}}} \, dy.}

Асимптотическое разложение

Асимптотически при n → ∞ разложение

е - Икс 2 2 ⋅ ЧАС N (Икс) ∼ 2 N π Γ (N + 1 2) соз ⁡ (Икс 2 N - N π 2) {\ Displaystyle е ^ {- {\ гидроразрыва {х ^ {2}} {2}}} \ cdot H_ {n} (x) \ sim {\ frac {2 ^ {n}} {\ sqrt {\ pi}}} \ Gamma \ left ({\ frac {n + 1} {2 }} \ right) \ cos \ left (x {\ sqrt {2n}} - {\ frac {n \ pi} {2}} \ right)}{\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) \ sim {\ frac {2 ^ {n}} {\ sqrt {\ pi}}} \ Gamma \ left ({\ frac {n + 1} {2}} \ right) \ cos \ left (x {\ sqrt {2n}} - {\ frac {n \ pi} {2}} \ right)}

верно. Для некоторых случаев, демонстрирует широкий диапазон оценок, включает коэффициент амплитуды:

e - x 2 2 ⋅ H n (x) ∼ 2 n π Γ (n + 1 2) cos ⁡ (x 2 n - n π 2) (1 - x 2 2 n + 1) - 1 4 = 2 Γ (n) Γ (n 2) cos ⁡ (x 2 n - n π 2) (1 - x 2 2 n + 1) - 1 4, {\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) \ sim {\ frac {2 ^ {n}} {\ sqrt {\ pi }}} \ Gamma \ left ({\ frac {n + 1} {2}} \ right) \ cos \ left (x {\ sqrt {2n}} - {\ frac {n \ pi}) {2}} \ right) \ left (1 - {\ frac {x ^ {2}} {2n + 1}} \ right) ^ {- {\ frac {1} {4}}} = {\ frac {2 \ Gamma ( n)} {\ Gamma \ left ({\ frac {n} {2}} \ right)}} \ cos \ left (x {\ sqrt {2n}} - {\ frac {n \ pi}) {2} } \ right) \ left (1 - {\ frac {x ^ {2}} {2n + 1}} \ right) ^ {- {\ frac {1} {4}}},}{\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) \ sim {\ frac {2 ^ {n}} {\ sqrt {\ pi}}} \ Gamma \ left ({\ frac {n + 1} {2}} \ right) \ cos \ left (x {\ sqrt { 2n}} - {\ frac {n \ pi} {2}} \ right) \ left (1 - {\ frac {x ^ {2}} {2n + 1}} \ right) ^ {- {\ frac { 1} {4}}} = {\ frac {2 \ Gamma (n)} {\ Gamma \ left ({\ frac {n} {2}} \ right)}} \ cos \ left (x {\ sqrt { 2n}} - {\ frac {n \ pi} {2}} \ right) \ left (1 - {\ frac {x ^ {2}} {2n + 1}} \ right) ^ {- {\ frac { 1} {4}}},}

которое, используя приближение Стирлинга, можно также упростить в пределе до

e - x 2 2 ⋅ H n (x) ∼ (2 ne) n 2 2 cos ⁡ (x 2 n - п π 2) (1 - Икс 2 2 N + 1) - 1 4. {\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) \ sim \ left ({\ frac {2n} {e}} \ right) ^ {\ frac {n} {2}} {\ sqrt {2}} \ cos \ left (x {\ sqrt {2n}} - {\ frac {n \ pi} {2}} \ right) \ left (1 - {\ frac {x ^ {2}} {2n + 1}} \ right) ^ {- {\ frac {1} {4}}}.}{\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) \ sim \ left ({\ frac {2n} {e}} \ right) ^ {\ frac {n} {2}} {\ sqrt {2}} \ cos \ left (x {\ sqrt {2n}} - { \ frac {n \ pi} {2}} \ right) \ left (1 - {\ frac {x ^ {2}} {2n + 1}} \ right) ^ {- {\ frac {1} {4} }}.}

Это расширение необходимо для разрешения волновой функции квантового гармонического осциллятора так, что он согласуется с классическим приближением в соответствии с соглашением .

Лучшее приближение, которое учитывает изменение частоты, дается выражением

e - x 2 2 ⋅ H n (x) ∼ (2 ne) n 2 2 cos ⁡ (Икс 2 N + 1 - Икс 2 3 - N π 2) (1 - Икс 2 2 N + 1) - 1 4. {\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}} } \ cdot H_ {n} (x) \ sim \ left ({\ frac {2n} {e}} \ right) ^ {\ frac {n} {2}} {\ sqrt {2}} \ cos \ left (x {\ sqrt {2n + 1 - {\ frac {x ^ {2}} {3}}}} - {\ frac {n \ pi} {2}} \ right) \ left (1 - {\ frac {x ^ {2}} {2n + 1}} \ right) ^ {- {\ frac {1} {4}}}.}{\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) \ sim \ left ({\ frac {2n } {e}} \ right) ^ {\ frac {n} {2}} {\ sqrt {2}} \ cos \ left (x {\ sqrt {2n + 1 - {\ frac {x ^ {2}}) {3}}}} - {\ frac {n \ pi} {2}} \ right) \ left (1 - {\ frac {x ^ {2}} {2n + 1}} \ right) ^ {- { \ frac {1} {4}}}.}

Более точное приближение, которое учитывает неравномерный ин тервал между нулями у краев, использует замену

x = 2 n + 1 cos ⁡ (φ), 0 < ε ≤ φ ≤ π − ε, {\displaystyle x={\sqrt {2n+1}}\cos(\varphi),\quad 0<\varepsilon \leq \varphi \leq \pi -\varepsilon,}{\ displaystyle x = {\ sqrt {2n) +1}} \ cos (\ varphi), \ quad 0 <\ varepsilon \ leq \ varphi \ leq \ pi - \ varepsilon,}

, с которой один имеет равномерное приближение

e - x 2 2 ⋅ H n (x) = 2 п 2 + 1 4 п! (π n) - 1 4 (sin ⁡ φ) - 1 2 ⋅ (sin ⁡ (3 π 4 + (n 2 + 1 4) (sin ⁡ 2 φ - 2 φ)) + O (n - 1)). {\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) = 2 ^ {{\ frac {n} {2}} + {\ frac { 1} {4}}} {\ sqrt {n!}} (\ Pi n) ^ {- {\ frac {1} {4}}} (\ sin \ varphi) ^ {- {\ frac {1} { 2}}} \ cdot \ left (\ sin \ left ({\ frac {3 \ pi} {4}} + \ left ({\ frac {n} {2}} + {\ frac {1} {4}))} \ right) \ left (\ sin 2 \ varphi -2 \ varphi \ right) \ right) + O \ left (n ^ {- 1} \ right) \ right).}{\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H _ {n} (x) = 2 ^ {{\ frac {n} {2}} + {\ frac {1} {4}}} {\ sqrt {n!}} (\ pi n) ^ {- { \ frac {1} {4}}} (\ sin \ varphi) ^ {- {\ frac {1} {2}}} \ cdot \ left (\ sin \ left ({\ frac {3 \ pi} {4 }} + \ left ({\ frac {n} {2}} + {\ frac {1} {4}} \ right) \ left (\ sin 2 \ varphi -2 \ varphi \ right) \ right) + O \ left (n ^ {- 1} \ right) \ right).}

Аналогичные приближения справедливы для монотонных и переходные регионы. В частности, если

x = 2 n + 1 ch ⁡ (φ), 0 < ε ≤ φ ≤ ω < ∞, {\displaystyle x={\sqrt {2n+1}}\cosh(\varphi),\quad 0<\varepsilon \leq \varphi \leq \omega <\infty,}{\ displaystyle x = {\ sqrt {2n + 1}} \ cosh (\ varphi), \ quad 0 <\ varepsilon \ leq \ varphi \ leq \ omega <\ infty,}

, то

e - x 2 2 ⋅ H n (x) = 2 n 2 - 3 4 n! (π п) - 1 4 (зп φ) - 1 2 ⋅ е (п 2 + 1 4) (2 ф - зп 2 ф) (1 + О (п - 1)), {\ Displaystyle е ^ {- { \ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) = 2 ^ {{\ frac {n} {2}} - {\ frac {3} {4}}} { \ sqrt {n!}} (\ pi n) ^ {- {\ frac {1} {4}}} (\ sinh \ varphi) ^ {- {\ frac {1} {2}}} \ cdot e ^ {\ left ({\ frac {n} {2}} + {\ frac {1} {4}} \ right) \ left (2 \ varphi - \ sinh 2 \ varphi \ right)} \ left (1 + O \ left (n ^ {- 1} \ right) \ right),}{\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) = 2 ^ {{\ frac {n} {2}} - {\ frac {3} {4}}} {\ sqrt {n!}} (\ pi n) ^ {- {\ frac {1} {4}}} (\ sinh \ varphi) ^ {- {\ frac {1} {2}}} \ cdot e ^ {\ left ({\ frac {n} {2}} + {\ frac {1} {4}} \ right) \ left (2 \ varphi - \ sinh 2 \ varphi \ right)} \ left (1 + O \ left (п ^ {- 1} \ право) \ право),}

, а для

x = 2 n + 1 + t {\ displaystyle x = {\ sqrt {2n + 1}} + t }{\ displaystyle x = {\ sqrt {2n + 1}} + t}

с t комплексным и ограниченным приближением

e - x 2 2 ⋅ H n (x) = π 1 4 2 n 2 + 1 4 n! n - 1 12 (Ai ⁡ (2 1 2 n 1 6 t) + O (n - 2 3)), {\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) = \ pi ^ {\ frac {1} {4}} 2 ^ {{\ frac {n} {2}} + {\ frac {1} {4}}} {\ sqrt { n!}} \, n ^ {- {\ frac {1} {12}}} \ left (\ operatorname {Ai} \ left (2 ^ {\ frac {1} {2}} n ^ {\ frac { 1} {6}} t \ right) + O \ left (n ^ {- {\ frac {2} {3}}} \ right) \ right),}{\ displaystyle e ^ {- {\ frac {x ^ {2}} {2}}} \ cdot H_ {n} (x) = \ pi ^ {\ frac {1} {4}} 2 ^ {{\ frac {n} {2}} + {\ frac {1} {4}}} {\ sqrt {n!}} \, n ^ {- {\ frac {1} {12}}} \ left (\ operatorname {Ai} \ left (2 ^ {\ frac {1} {2}} n ^ {\ frac {1} {6 }} t \ right) + O \ left (n ^ {- {\ frac {2} {3}}} \ right) \ right),}

где Ai - функция Эйри первого вида.

Особые значения

Полиномы Эрмита физиков, вычисленные при нулевом аргументе H n (0), называются числами Эрмита.

H n (0) = { 0 для нечетных n, (- 2) n 2 (n - 1)! ! для четного n, {\ displaystyle H_ {n} (0) = {\ begin {cases} 0 {\ text {for odd}} n, \\ (- 2) ^ {\ frac {n} {2}} (п-1) !! {\ text {для четных}} n, \ end {cases}}}{\ displaystyle H_ {n} (0) = {\ begin {cases} 0 {\ text {для нечетных }} n, \\ (- 2) ^ {\ frac {n} {2}} (n-1) !! {\ text {для четных}} n, \ end {case}}}

которые удовлетворяют действию рекурсии H n (0) = −2 (n - 1) H n - 2 (0).

С точки зрения вероятностных полиномов это переводится в

H e n (0) = {0 для нечетных n, (- 1) n 2 (n - 1)! ! для четных n. {\ displaystyle He_ {n} (0) = {\ begin {cases} 0 {\ text {для нечетных}} n, \\ (- 1) ^ {\ frac {n} {2}} (n-1) !! {\ text {для четных}} п. \ end {case}}}{\ displaystyle He_ {n} (0) = {\ begin {cases} 0 {\ text {for odd}} n, \\ (- 1) ^ {\ frac {n} {2}} (n-1) !! {\ text {для четных}} n. \ end {case}}}

Отношения с другими функциями

Многочлены Лагерра

Многочлены Эрмита могут быть выражены как специальные случай многочленов Лагерра :

H 2 n (x) = (- 4) пн! L N (- 1 2) (х 2) знак равно 4 N N! ∑ я знак равно 0 N (- 1) N - я (N - 1 2 N - я) Икс 2 я я!, Н 2 N + 1 (Икс) знак равно 2 (- 4) N N! Икс L N (1 2) (Икс 2) знак равно 2 ⋅ 4 N N! ∑ я знак равно 0 N (- 1) N - я (N + 1 2 N - я) Икс 2 я + 1 я!. {\ displaystyle {\ begin {align} H_ {2n} (x) = (- 4) ^ {n} n! L_ {n} ^ {\ left (- {\ frac {1} {2}} \ right)} (x ^ {2}) = 4 ^ {n} n! \ sum _ {i = 0} ^ {n} (- 1) ^ {ni} {\ binom {n - {\ frac {1} {2}}} {ni}} {\ frac {x ^ {2i} } {i!}}, \\ H_ {2n + 1} (x) = 2 (-4) ^ {n} n! XL_ {n} ^ {\ left ({\ frac {1} {2}} \ right)} (x ^ {2}) = 2 \ cdot 4 ^ {n} n! \ sum _ {i = 0} ^ {n} (- 1) ^ {ni} {\ binom {n + {\ frac {1} {2}}} {ni}} {\ frac {x ^ {2i + 1}} {i!}}. \ end {align}}}{\ displaystyle {\ begin {align} H_ {2n} (x) = (- 4) ^ {n} n! L_ {n} ^ {\ left (- {\ frac {1} {2}} \ right)} (x ^ {2}) = 4 ^ {n} n! \ sum _ {i = 0} ^ {n} (- 1) ^ {ni} {\ binom {n - {\ frac {1} {2}}} {ni}} {\ frac { x ^ {2i}} {i!}},\\ H_ {2n + 1} (x) = 2 (-4) ^ {n} n! xL_ {n} ^ {\ left ({\ frac {1 } {2}} \ right)} (x ^ {2}) = 2 \ cdot 4 ^ {n} n! \ Sum _ {i = 0} ^ {n} (- 1) ^ {ni} {\ binom {n + {\ frac {1} {2}}} {ni}} {\ frac {x ^ {2i + 1}} {i!}}. \ end {align}}}

Связь с конфлюэнтными гипергеометрическими функциями

Полиномы Эрмита физиков могут быть выражены как частный случай функций пара цилиндра :

H n (x) = 2 n U (- 1 2 n, 1 2, x 2) {\ displaystyle H_ {n} (x) = 2 ^ {n} U \ left (- {\ tfrac {1} {2}} n, {\ tfrac {1} { 2}}, x ^ {2} \ right)}{\ displaystyle H_ {n} (x) = 2 ^ {n} U \ left (- { \ tfrac {1} {2}} n, {\ tfrac {1} {2}}, x ^ {2} \ right)}

в правой полуплоскости, где U (a, b, z) - конфлюэнтная гипергеометрическая функция Трикоми. Аналогично

H 2 n (x) = (- 1) n (2 n)! п! 1 F 1 (- N, 1 2; Икс 2), H 2 N + 1 (Икс) = (- 1) N (2 N + 1)! п! 2 Икс 1 F 1 (- N, 3 2; Икс 2), {\ Displaystyle {\ begin {Выровнено} H_ {2n} (x) = (- 1) ^ {n} {\ frac {(2n)! } {n!}} \, _ {1} F_ {1} {\ big (} -n, {\ tfrac {1} {2}}; x ^ {2} {\ big)}, \\ H_ { 2n + 1} (x) = (- 1) ^ {n} {\ frac {(2n + 1)!} {N!}} \, 2x \, _ {1} F_ {1} {\ big ( } -n, {\ tfrac {3} {2}}; x ^ {2} {\ big)}, \ end {align}}}{\ displaystyle {\ begin {align} H_ {2n} (x) = (- 1) ^ {n} {\ frac {(2n)!} {N!}} \, _ {1} F_ {1} {\ big (} -n, {\ tfrac {1} {2} }; x ^ {2} {\ big)}, \\ H_ {2n + 1} (x) = (- 1) ^ {n} {\ frac {(2n + 1)!} {n!}} \, 2x \, _ {1} F_ {1} {\ big (} -n, {\ tfrac {3} {2}}; x ^ {2} {\ big)}, \ end {выравнивается}}}

где 1F1(a, b; z) = M ( a, b; z) - вырожденная гипергеометрическая функция Куммера.

Дифференциально-операторное представление

Вероятностные многочлены Эрмита удовлетворяют тождеству

H en (x) = e - D 2 2 xn, {\ displaystyle {\ mathit {He}} _ {n} (x) = e ^ {- {\ frac {D ^ {2}} {2}}} x ^ {n},}{\ displaystyle {\ mathit {He}} _ {n} (x) = e ^ {- {\ frac {D ^ {2}} {2}}} x ^ {n},}

где D представляет дифференцирование по x, а экспонента интерпретируется расширением его как степенной серии. Когда этот ряд работает с многочленами, нет деликатных вопросов о сходимости этого ряда, благодаря всем членам, кроме конечного числа,ны нулю.

Условия использования для быстрых вычислений, которые можно использовать для быстрых вычислений, которые могут быть записаны явно, это представление дифференциального оператора дает начало конкретной формуле для коэффициентов H n этих многочленов.

формальным выражением для преобразования Вейерштрасса W e, мы видим, что является преобразованием Вейерштрасса (√2) He n (x / √2) равно Икс. Таким образом, по существу преобразование Вейерштрассаает серию полиномов Эрмита в соответствующий ряд Макена.

Существование некоторого формального степенного ряда g (D) с ненулевым постоянным коэффициентом, таким, что He n (x) = g (D) x, является еще одним утверждением, что эти многочлены образуют последовательность Аппеля. Они представляют собой последовательность Аппеля, они тем более являются последовательностью Шеффера.

Контурно-интегральным представлением

Из представленного выше представления производящей функции мы видим, что полиномы Эрмита имеют представление в терминах контурный интеграл, поскольку

H en (x) = n! 2 π я ∮ с е т Икс - т 2 2 т N + 1 д т, Н N (х) знак равно п! 2 π я ∮ С е 2 tx - t 2 tn + 1 dt, {\ displaystyle {\ begin {align} {\ mathit {He}} _ {n} (x) = {\ frac {n!} {2 \ pi i}} \ oint _ {C} {\ frac {e ^ {tx - {\ frac {t ^ {2}} {2}}}} {t ^ {n + 1}}} \, dt, \\ H_ {n} (x) = {\ frac {n!} {2 \ pi i}} \ oint _ {C} {\ frac {e ^ {2tx-t ^ {2}}} {t ^ {n + 1}}} \, dt, \ end {align}}}{\ displaystyle {\ begin {align} {\ mathit {He} } _ {n} (x) = {\ frac {n!} {2 \ pi i}} \ oint _ {C} {\ frac {e ^ {tx - {\ frac {t ^ {2}} { 2}}}} {t ^ {n + 1}}} \, dt, \\ H_ {n} (x) = {\ frac {n!} {2 \ pi i}} \ oint _ {C} {\ гидроразрыва {е ^ {2tx-t ^ {2}}} {t ^ {n + 1}}} \, dt, \ end {align}}}

с контуром, окружающим начало координат.

Обобщения

Полиномы Эрмита, определенные выше, ортогональны по отношению к стандартному нормальному распределению вероятностей, функция плотности которого равна

1 2 π e - x 2 2, {\ displaystyle {\ frac {1} {\ sqrt {2 \ pi}}} e ^ {- {\ frac {x ^ {2}} {2}}},}{\ displaystyle {\ frac {1} {\ sqrt {2 \ pi}}} e ^ {- {\ frac {x ^ {2}} {2}}},}

который имеет математическое ожидание 0 и дисперсию 1.

Масштабирование, аналогично можно говорить о обобщенных полиномах Эрмита

H en [α] (x) {\ displaystyle {\ mathit {He}} _ {n} ^ {[\ alpha]} (x)}{\ displaystyle {\ mathit {He}} _ {n} ^ {[\ alpha]} (x) }

дисперсии α, где α - любое положительное число. Тогда они ортогональны по отношению к нормальному распределению вероятностей, функция плотности которого

(2 π α) - 1 2 e - x 2 2 α. {\ displaystyle (2 \ pi \ alpha) ^ {- {\ frac {1} {2}}} e ^ {- {\ frac {x ^ {2}} {2 \ alpha}}}.}{\ displaystyle (2 \ pi \ alpha) ^ {- {\ frac {1} {2}}} e ^ { - {\ frac {x ^ {2}} {2 \ alpha}}}.}

Они задаются формулой

H en [α] (x) = α n 2 H en (x α) = (α 2) n 2 H n (x 2 α) = e - α D 2 2 (xn). {\ displaystyle {\ mathit {He}} _ {n} ^ {[\ alpha]} (x) = \ alpha ^ {\ frac {n} {2}} {\ mathit {He}} _ {n} \ left ({\ frac {x} {\ sqrt {\ alpha}}} \ right) = \ left ({\ frac {\ alpha} {2}} \ right) ^ {\ frac {n} {2}} H_ {n} \ left ({\ frac {x} {\ sqrt {2 \ alpha}}} \ right) = e ^ {- {\ frac {\ alpha D ^ {2}} {2}}} \ left ( x ^ {n} \ right).}{\ displaystyle {\ mathit {He}} _ {n} ^ {[\ alpha]} (x) = \ alpha ^ {\ frac {n} {2}} {\ mathit {He}} _ {n} \ left ({\ frac {x} {\ sqrt {\ alpha}}} \ right) = \ left ({\ frac {\ alpha} {2}} \ right) ^ {\ frac {n} {2}} H_ {n} \ left ({\ frac {x} {\ sqrt {2 \ alpha}}} \ right) = e ^ {- {\ frac {\ alpha D ^ {2}} {2}}} \ left (x ^ {n} \ right).}

Теперь, если

H en [α] (x) = ∑ k = 0 nhn, k [α] xk, {\ displaystyle {\ mathit {He}} _ {n} ^ {[\ alpha]} (x) = \ sum _ {k = 0} ^ {n} h_ {n, k} ^ {[\ alpha]} x ^ {k},}{\ displaystyle {\ mathit {He}} _ {n} ^ {[\ alpha]} (x) = \ sum _ {к = 0} ^ {n} h_ {n, k} ^ {[\ alpha]} x ^ {k},}

тогда полиномиальная последовательность, n-й член которой равен

(H en [α] ∘ H e [β]) (x) ≡ ∑ k = 0 nhn, k [α] H ek [β] (x) {\ displaystyle \ left ({\ mathit {He}} _ {n} ^ {[\ alpha]} \ circ {\ mathit {He}} ^ {[\ beta]} \ right) (x) \ Equiv \ sum _ {k = 0} ^ {n} h_ {n, k} ^ {[\ alpha]} \, {\ mathit {He}} _ {k} ^ {[\ beta]} (x)}{\ displaystyle \ left ({\ mathit {He}} _ {n} ^ {[\ alpha]} \ circ {\ mathit {He}} ^ {[\ beta]} \ right) (x) \ Equiv \ sum _ {k = 0} ^ {n} h_ {n, k} ^ {[\ alpha]} \, {\ mathit {He}} _ {k} ^ {[\ beta]} (x)}

называется умбральная композиция двух полиномиальных последовательностей. Можно показать, что он удовлетворяет тождествам

(H en [α] ∘ H e [β]) (x) = H en [α + β] (x) {\ displaystyle \ left ({\ mathit {He} } _ {n} ^ {[\ alpha]} \ circ {\ mathit {He}} ^ {[\ beta]} \ right) (x) = {\ mathit {He}} _ {n} ^ {[\ alpha + \ beta]} (x)}{\ displaystyle \ left ({\ mathit {He}} _ {n} ^ {[\ alpha]} \ circ {\ mathit {He}} ^ {[\ beta]} \ right) (x) = {\ mathit {He}} _ {n} ^ {[\ alpha + \ бета]} (х)}

и

H en [α + β] (x + y) = ∑ k = 0 n (nk) H ek [α] (x) H en - k [β] (y). {\ displaystyle {\ mathit {He}} _ {n} ^ {[\ alpha + \ beta]} (x + y) = \ sum _ {k = 0} ^ {n} {\ binom {n} {k }} {\ mathit {He}} _ {k} ^ {[\ alpha]} (x) {\ mathit {He}} _ {nk} ^ {[\ beta]} (y).}{\ displaystyle {\ mathit {He}} _ {n} ^ {[\ alpha + \ beta]} (x + y) = \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} {\ mathit {He}} _ {k} ^ {[\ alpha]} (x) {\ mathit {He}} _ {nk} ^ {[\ beta]} (y).}

последняя идентичность выражается в том, что это параметризованное семейство полиномиальных последовательностей известно как перекрестная последовательность. (См. Приведенный выше раздел о последовательностях Аппеля и о представлении дифференциального оператора, который приводит к его производному. Это тождество биномиального типа для α = β = 1/2, уже встречалось в приведенном выше разделе #Recursion Relations.)

«Отрицательная дисперсия»

Поскольку полиномиальные последовательности образуют группу под операцию составления тени можно обозначить как

H en [- α] (x) {\ displaystyle {\ mathit {He}} _ {n} ^ {[- \ alpha]} (x)}{\ displaystyle {\ mathit {He}} _ {n} ^ {[- \ alpha]} (x)}

последовательность, которая обратна той, что обозначена аналогично, но без знака минус, и, таким образом, говорит о полиномах Эрмита с отрицательной дисперсией. Для α>0 коэффициенты H en [- α] (x) {\ displaystyle {\ mathit {He}} _ {n} ^ {[- \ alpha]} (x)}{\ displaystyle {\ mathit {He}} _ {n} ^ {[- \ alpha]} (x)} - это просто абсолютные значения соответствующих коэффициентов H en [α] (x) {\ displaystyle {\ mathit {He}} _ {n} ^ {[\ alpha]} (x)}{\ displaystyle {\ mathit {He}} _ {n} ^ {[\ alpha]} (x) } .

Они возникают как моменты нормального распределения вероятностей: n-й момент нормального распределения с ожидаемым значением μ и дисперсией σ равен

E [X n] = H en [- σ 2] (μ), {\ displaystyle E [ X ^ {n}] = {\ mathit {He}} _ {n} ^ {[- \ sigma ^ {2}]} (\ mu),}{\ displaystyle E [X ^ {n}] = {\ mathit { He}} _ {n} ^ {[- \ sigma ^ {2}]} (\ mu),}

где X - случайная величина с указанным нормальным распределением. Частный случай тождества кросс-последовательностей говорит, что

∑ k = 0 n (nk) H ek [α] (x) H en - k [- α] (y) = H en [0] (x + у) = (х + у) п. {\ displaystyle \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} {\ mathit {He}} _ {k} ^ {[\ alpha]} (x) {\ mathit { He}} _ {nk} ^ {[- \ alpha]} (y) = {\ mathit {He}} _ {n} ^ {[0]} (x + y) = (x + y) ^ {n }.}{\ displaystyle \ sum _ {к = 0} ^ {п} { \ binom {n} {k}} {\ mathit {He}} _ {k} ^ {[\ alpha]} (x) {\ mathit {He}} _ {nk} ^ {[- \ alpha]} ( y) = {\ mathit {He}} _ {n} ^ {[0]} (x + y) = (x + y) ^ {n}.}

Приложения

Функции Эрмита

Можно определить функции Эрмита (часто называемые функциями Эрмита-Гаусса) из полиномов физиков:

ψ N (x) знак равно (2 nn! π) - 1 2 e - x 2 2 H n (x) = (- 1) n (2 nn! π) - 1 2 ex 2 2 dndxne - x 2. {\ displaystyle \ psi _ {n} (x) = \ left (2 ^ {n} n! {\ sqrt {\ pi}} \ right) ^ {- {\ frac {1} {2}}} e ^ {- {\ frac {x ^ {2}} {2}}} H_ {n} (x) = (- 1) ^ {n} \ left (2 ^ {n} n! {\ sqrt {\ pi}) } \ right) ^ {- {\ frac {1} {2}}} e ^ {\ frac {x ^ {2}} {2}} {\ frac {d ^ {n}} {dx ^ {n} }} e ^ {- x ^ {2}}.}{\ displaystyle \ psi _ {n} (x) = \ left (2 ^ {n} n! { \ sqrt {\ pi}} \ right) ^ {- {\ frac {1} {2}}} e ^ {- {\ frac {x ^ {2}} {2}}} H_ {n} (x) = (- 1) ^ {n} \ left (2 ^ {n} n! {\ Sqrt {\ pi}} \ right) ^ {- {\ frac {1} {2}}} e ^ {\ frac { x ^ {2}} {2}} {\ frac {d ^ {n}} {dx ^ {n}}} e ^ {- x ^ {2}}.}

Таким образом,

2 (n + 1) ψ n + 1 (x) = (x - ddx) ψ n (x). {\ displaystyle {\ sqrt {2 (n + 1)}} ~~ \ psi _ {n + 1} (x) = \ left (x- {d \ over dx} \ right) \ psi _ {n} ( x).}{\ displaystyle {\ sqrt {2 (n + 1)}} ~~ \ psi _ {n + 1} (x) = \ left (x- {d \ over dx}) \ right) \ psi _ {n} (x).}

эти функции содержат квадратный корень из весовой функции и они были надлежащим образом масштабированы, ортонормированы :

∫ - ∞ ∞ ψ n (x) ψ m (Икс) dx знак равно δ нм, {\ Displaystyle \ int _ {- \ infty} ^ {\ infty} \ psi _ {n} (x) \ psi _ {m} (x) \, dx = \ delta _ {nm},}{\ displaystyle \ int _ {- \ infty} ^ {\ infty} \ psi _ {n} (x) \ psi _ {m} (x) \, dx = \ дельта _ {нм},}

, и они образуют ортонормированный базис L (R ). Этот факт соответствует соответствующему утверждению для полиномов Эрмита (см. Выше).

Функции Эрмита связаны с функцией Уиттекера (Whittaker Watson 1996) D n (z):

DN (Z) знак равно (N! π) 1 2 ψ N (Z 2) = (- 1) nez 2 4 dndzne - z 2 2 {\ displaystyle D_ {n} (z) = \ left (n! {\ sqrt {\ pi }} \ right) ^ {\ frac {1} {2}} \ psi _ {n} \ left ({\ frac {z} {\ sqrt {2}}} \ right) = (- 1) ^ {n } e ^ {\ frac {z ^ {2}} {4}} {\ frac {d ^ {n}} {dz ^ {n}}} e ^ {\ frac {-z ^ {2}} {2 }}}{\ displaystyle D_ {n} (z) = \ left (n! {\ Sqrt {\ pi}} \ right) ^ {\ frac {1} {2}} \ psi _ {n} \ left ({ \ frac {z} {\ sqrt {2}}} \ right) = (- 1) ^ {n} e ^ {\ frac {z ^ {2}} {4}} {\ frac {d ^ {n} } {dz ^ {n}}} e ^ {\ frac {-z ^ {2}} {2}}}

и, следовательно, другим функциям параболического цилиндра.

Функции Эрмита удовлетворяют дифференциальному уравнению

ψ n ″ (x) + (2 n + 1 - x 2) ψ n (х) = 0. {\ displaystyle \ psi _ {n} '' (x) + \ left (2n + 1-x ^ {2} \ right) \ psi _ {n} (x) = 0.}{\displaystyle \psi _{n}''(x)+\left(2n+1-x^{2}\right)\psi _{n}(x)=0.}

Это уравнение эквивалентно уравнению Шредингера для гармонического осциллятора в квантовой механике, поэтому эти функции являются собственными функциями.

Функции Эрмита: 0 (черный), 1 (красный), 2 (синий), 3 (желтый), 4 (зеленый) и 5 ​​(пурпурный)
ψ 0 (x) = π - 1 4 e - 1 2 x 2, ψ 1 (x) = 2 π - 1 4 xe - 1 2 x 2, ψ 2 (x) = (2 π 1 4) - 1 (2 x 2 - 1) e - 1 2 x 2, ψ 3 (x) = (3 π 1 4) - 1 (2 x 3 - 3 x) e - 1 2 x 2, ψ 4 (x) = (2 6 π 1 4) - 1 (4 x 4 - 12 x 2 + 3) e - 1 2 x 2, ψ 5 (x) = (2 15 π 1 4) - 1 (4 x 5-20 х 3 + 15 х) ​​е - 1 2 х 2. {\ displaystyle {\ begin {align} \ psi _ {0} (x) = \ pi ^ {- {\ frac {1} {4}}} \, e ^ {- {\ frac {1} {2}} x ^ {2}}, \\\ psi _ {1} (x) = {\ sqrt {2}} \, \ pi ^ {- {\ frac {1} {4} }} \, x \, e ^ {- {\ frac {1} {2}} x ^ {2}}, \\\ psi _ {2} (x) = \ left ({\ sqrt {2} } \, \ pi ^ {\ frac {1} {4}} \ right) ^ {- 1} \, \ left (2x ^ {2} -1 \ right) \, e ^ {- {\ frac {1 } {2}} x ^ {2}}, \\\ psi _ {3} (x) = \ left ({\ sqrt {3}} \, \ pi ^ {\ frac {1} {4}} \ right) ^ {-1} \, \ left (2x ^ {3} -3x \ right) \, e ^ {- {\ frac {1} {2}} x ^ {2}}, \\\ psi _ {4} (x) = \ left (2 {\ sqrt {6}} \, \ pi ^ {\ frac {1} {4}} \ right) ^ {- 1} \, \ left (4x ^ {4} -12x ^ {2} +3 \ right) \, e ^ {- {\ frac {1} {2}} x ^ {2}}, \\\ psi _ { 5} (x) = \ left (2 {\ sqrt {15}} \, \ pi ^ {\ frac {1} {4}} \ right)^ {- 1} \, \ left (4x ^ {5} -20x ^ {3} + 15x \ right) \, e ^ {- {\ frac {1} {2}} x ^ {2}}. \ end {align}}}{\ displaystyle {\ begin {align} \ psi _ {0} (x) = \ pi ^ {- {\ frac {1} {4}}} \, e ^ {- {\ frac {1} {2}} x ^ {2}}, \\\ psi _ {1} (x) = {\ sqrt {2}} \, \ pi ^ {- {\ frac {1} {4}}} \, x \, e ^ {- {\ frac {1} {2}} x ^ {2}}, \\\ psi _ {2} (x) = \ left ({\ sqrt {2}} \, \ pi ^ {\ frac {1} {4}} \ right) ^ {- 1} \, \ left (2x ^ {2} -1 \ right) \, e ^ {- {\ frac {1} {2}} x ^ {2}}, \\\ psi _ {3} (x) = \ left ({\ sqrt {3}} \, \ pi ^ { \ frac {1} {4}} \ right) ^ {- 1} \, \ left (2x ^ {3} -3x \ right) \, e ^ {- {\ frac {1} {2}} x ^ {2}}, \\\ psi _ {4} (x) = \ left (2 {\ sqrt {6}} \, \ pi ^ {\ frac {1} {4}} \ right) ^ {- 1} \, \ left (4x ^ {4} -12x ^ {2} +3 \ right) \, e ^ {- {\ frac {1} {2}} x ^ {2}}, \\\ psi _ {5} (x) = \ left (2 {\ sqrt {15}} \, \ pi ^ {\ frac {1} {4}} \ right) ^ {- 1} \, \ left (4x ^ {5} -20x ^ {3} + 15x \ right) \, e ^ {- {\ frac {1} {2}} x ^ {2}}. \ End {align}}}
Функции Эрмита: 0 (черный), 2 (синий), 4 (зеленый), и 50 (пурпурный)

Соотношение рекурсии

Следуя рекурсивным соотношениям полиномов Эрмита, функции Эрмита подчиняются

ψ n ′ (x) = n 2 ψ n - 1 (x) - n + 1 2 ψ N + 1 (Икс) {\ Displaystyle \ psi _ {n} '(x) = {\ sqrt {\ frac {n} {2}}} \, \ psi _ {n-1} (x) - {\ sqrt {\ frac {n + 1} {2}}} \ psi _ {n + 1} (x)}{\displaystyle \psi _{n}'(x)={\sqrt {\frac {n}{2}}}\,\psi _{n-1}(x)-{\sqrt {\frac {n+1}{2}}}\psi _{n+1}(x)}

и

x ψ n (x) = n 2 ψ n - 1 (x) + n + 1 2 ψ п + 1 (х). {\ displaystyle x \ psi _ {n} (x) = {\ sqrt {\ frac {n} {2}}} \, \ psi _ {n-1} (x) + {\ sqrt {\ frac {n +1} {2}}} \ psi _ {n + 1} (x).}{\ displaystyle x \ psi _ {n} (x) = {\ sqrt {\ frac {n} {2}}} \, \ psi _ {n-1} (x) + {\ sqrt {\ frac {n +1} {2}}} \ psi _ {n + 1} (x).}

Расширение первого отношения на произвольные m-е производные для любого положительного целого числа m приводит к

ψ n (m) (x) Знак равно ∑ К знак равно 0 м (мк) (- 1) К 2 м - К 2 N! (п - т + к)! ψ n - m + k (x) H е k (x). {\ displaystyle \ psi _ {n} ^ {(m)} (x) = \ sum _ {k = 0} ^ {m} {\ binom {m} {k}} (- 1) ^ {k} 2 ^ {\ frac {mk} {2}} {\ sqrt {\ frac {n!} {(n-m + k)!}}} \ psi _ {n-m + k} (x) {\ mathit { He}} _ {k} (x).}{\ displaystyle \ psi _ { n} ^ {(m)} (x) = \ sum _ {k = 0} ^ {m} {\ binom {m} {k}} (- 1) ^ {k} 2 ^ {\ frac {mk} {2}} {\ sqrt {\ frac {n!} {(N-m + k)!}}} \ Psi _ {n-m + k} (x) {\ mat нажмите {He}} _ {k} (x).}

Эту формулу можно использовать в связи с рекуррентными соотношениями для He n и ψ n для вычисления любой производной от Hermite действует эффективно.

Неравенство Крамера

Для действительного x функции Эрмита удовлетворяют следующей оценке из-за Харальда Крамера и Джека Индрица:

| ψ n (x) | ≤ π - 1 4. {\ displaystyle {\ bigl |} \ psi _ {n} (x) {\ bigr |} \ leq \ pi ^ {- {\ frac {1} {4}}}.}{\ displaystyle {\ bigl |} \ psi _ {п} (х) {\ bigr |} \ leq \ pi ^ {- {\ frac {1} {4}}}.}

Функции Эрмита как собственные функции преобразование Фурье

Функции Эрмита ψ n (x) представляют собой набор собственных функций непрерывного преобразования Фурье F. Чтобы в этом убедиться, возьмем физическую версию производящей функции и умножим на e. Это дает

e - 1 2 x 2 + 2 x t - t 2 = ∑ n = 0 ∞ e - 1 2 x 2 H n (x) t n n!. {\ displaystyle e ^ {- {\ frac {1} {2}} x ^ {2} + 2xt-t ^ {2}} = \ sum _ {n = 0} ^ {\ infty} e ^ {- { \ frac {1} {2}} x ^ {2}} H_ {n} (x) {\ frac {t ^ {n}} {n!}}.}{\ displaystyle e ^ {- {\ frac {1} {2}} x ^ {2} + 2xt-t ^ {2}} = \ sum _ {n = 0} ^ {\ infty} e ^ {- {\ frac {1} {2}} x ^ {2}} H_ {n} (x) { \ frac {t ^ {n}} {n!}}.}

Преобразование Фурье левой части задается формулой

F {e - 1 2 x 2 + 2 xt - t 2} (k) = 1 2 π ∫ - ∞ ∞ e - ixke - 1 2 x 2 + 2 xt - t 2 dx = e - 1 2 К 2 - 2 комплекта + Т 2 знак равно ∑ N знак равно 0 ∞ е - 1 2 К 2 H n (к) (- оно) nn!. {\ displaystyle {\ begin {align} {\ mathcal {F}} \ left \ {e ^ {- {\ frac {1} {2}} x ^ {2} + 2xt-t ^ {2}} \ right \} (k) = {\ frac {1} {\ sqrt {2 \ pi}}} \ int _ {- \ infty} ^ {\ infty} e ^ {- ixk} e ^ {- {\ frac { 1} {2}} x ^ {2} + 2xt-t ^ {2}} \, dx \\ = e ^ {- {\ frac {1} {2}} k ^ {2} -2kit + t ^ {2}} \\ = \ sum _ {n = 0} ^ {\ infty} e ^ {- {\ frac {1} {2}} k ^ {2}} H_ {n} (k) { \ frac {(-it) ^ {n}} {n!}}. \ end {align}}}{\ displaystyle {\ begin {align} {\ mathcal {F}} \ left \ {e ^ {- {\ frac {1} {2}} x ^ {2} + 2xt- t ^ {2}} \ right \} (k) = {\ f rac {1} {\ sqrt {2 \ pi}}} \ int _ {- \ infty} ^ {\ infty} e ^ {- ixk} e ^ {- {\ frac {1} {2}} x ^ { 2} + 2xt-t ^ {2}} \, dx \\ = e ^ {- {\ frac {1} {2}} k ^ {2} -2kit + t ^ {2}} \\ = \ sum _ {n = 0} ^ {\ infty} e ^ {- {\ frac {1} {2}} k ^ {2}} H_ {n} (k) {\ frac {(-it) ^ { n}} {n!}}. \ end {align}}}

Преобразование Фурье правой части задается как

F {∑ n = 0 ∞ e - 1 2 x 2 H n (x) tnn! } = ∑ n = 0 ∞ F {e - 1 2 x 2 H n (x)} t n n!. {\ displaystyle {\ mathcal {F}} \ left \ {\ sum _ {n = 0} ^ {\ infty} e ^ {- {\ frac {1} {2}} x ^ {2}} H_ {n } (x) {\ frac {t ^ {n}} {n!}} \ right \} = \ sum _ {n = 0} ^ {\ infty} {\ mathcal {F}} \ left \ {e ^ {- {\ frac {1} {2}} x ^ {2}} H_ {n} (x) \ right \} {\ frac {t ^ {n}} {n!}}.}{\ displaystyle {\ mathcal {F}} \ left \ {\ sum _ {n = 0} ^ {\ infty} e ^ {- {\ frac {1} {2}} x ^ {2}} H_ {n} (x) {\ frac {t ^ { n}} {n!}} \ right \} = \ sum _ {n = 0} ^ {\ infty} {\ mathcal {F}} \ left \ {e ^ {- {\ frac {1} {2} } x ^ {2}} H_ {n} (x) \ right \} {\ frac {t ^ {n}} {n!}}.}

Приравнивание аналогичные степени t в преобразованных версиях левой и правой частей окончательно дают

F {e - 1 2 x 2 H n (x)} = (- i) ne - 1 2 k 2 H n (k). {\ displaystyle {\ mathcal {F}} \ left \ {e ^ {- {\ frac {1} {2}} x ^ {2}} H_ {n} (x) \ right \} = (- i) ^ {n} e ^ {- {\ frac {1} {2}} k ^ {2}} H_ {n} (k).}{\ displaystyle {\ mathcal { F}} \ left \ {e ^ {- {\ frac {1} {2}} x ^ {2}} H_ {n} (x) \ right \}= (- i) ^ {n} e ^ { - {\ frac {1} {2}} k ^ {2}} H_ {n} (k).}

Функции Эрмита ψ n (x) являются ортонормированным базисом L (R ), который диагонализирует оператор преобразования Фурье.

Распределения Вигнера функций Эрмита

Функция распределения Вигнера функции Эрмита n-го порядка связан с полиномом Лагерра n-го порядка. Многочлены Лагерра равны

L n (x): = ∑ k = 0 n (n k) (- 1) k k! xk, {\ displaystyle L_ {n} (x): = \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} {\ frac {(-1) ^ {k}} { k!}} x ^ {k},}{\ displaystyle L_ {n} (x): = \ sum _ {k = 0} ^ {n} {\ binom {n} {k}} {\ frac {(- 1) ^ {k}} {k!}} X ^ {k},}

приводящие к осциллятору функций Лагерра

ln (x): = e - x 2 L n (x). {\ displaystyle l_ {n} (x): = e ^ {- {\ frac {x} {2}}} L_ {n} (x).}{\ displaystyle l_ {n} (x): = e ^ {- {\ frac {x} {2}}} L_ {n} (x).}

Для всех натуральных целых чисел n легко увидеть что

W ψ N (t, f) = (- 1) nln (4 π (t 2 + f 2)), {\ displaystyle W _ {\ psi _ {n}} (t, f) = (- 1) ^ {n} l_ {n} {\ big (} 4 \ pi (t ^ {2} + f ^ {2}) {\ big)},}{\ Displaystyle W _ {\ psi _ {n}} (t, f) = (- 1) ^ {n} l_ {n} {\ big (} 4 \ pi (t ^ {2} + f ^ {2}) {\ big)},}

где распределение Вигнера функции x ∈ L (R, C) определяется как

W x (t, f) = ∫ - ∞ ∞ x (t + τ 2) x (t - τ 2) ∗ e - 2 π i τ fd τ. {\ displaystyle W_ {x} (t, f) = \ int _ {- \ infty} ^ {\ infty} x \ left (t + {\ frac {\ tau} {2}} \ right) \, x \ left (t - {\ frac {\ tau} {2}} \ right) ^ {*} \, e ^ {- 2 \ pi i \ tau f} \, d \ tau.}{\ displaystyle W_ {x} (t, f) = \ int _ {- \ infty} ^ {\ infty} x \ left (t + {\ frac {\ tau} {2}} \ right) \, x \ left (t- {\ frac {\ tau} {2}} \ right) ^ {*} \, e ^ {- 2 \ pi i \ tau f} \, d \ tau.}

Это фундаментальный результат для квантового гармонического осциллятора, открытого Хипом Греневольдом в 1946 году в его докторской диссертации. Это стандартная парадигма квантовой механики в фазовом пространстве..

Есть дальнейшие отношения между двумя семействами полиномов.

Комбинаторная интерпретация коэффициентов

В полиноме Эрмита He n (x) с дисперсией 1 абсолютное значение коэффициента при x является количеством (неупорядоченных) разбиение n-членного множества на k одиночных элементов и n - k / 2 (неупорядоченных) пар. Сумма абсолютных значений коэффициентов дает общее количество разбиений на одиночки и пары, так называемые телефонные номера

1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496,... (последовательность A000085 в OEIS ).

Эта комбинаторная интерпретация может быть связана с полными экспоненциальными полиномами Белла как

H en (x) Знак равно В N (х, - 1, 0,…, 0), {\ displaystyle {\ mathit {He}} _ {n} (x) = B_ {n} (x, -1,0, \ ldots, 0),}{\ displaystyle {\ mathit {He}} _ {n} ( x) = B_ {n} (x, -1,0, \ ldots, 0),}

, где x i = 0 для всех i>2.

Эти числа также могут быть выражены как специальное значение полиномов Эрмита:

T ( n) = H en (i) дюйм. {\ displaystyle T (n) = {\ frac {{\ mathit {He}} _ {n} (i)} {i ^ {n}}}.}{\ displaystyle T (n) = {\ frac {{\ mathit {He}} _ { n} (i)} {i ^ {n}}}.}

Отношение полноты

Формула Кристоффеля – Дарбу для полиномов Эрмита имеет вид

∑ k = 0 n H k (x) H k (y) k! 2 k = 1 n! 2 N + 1 ЧАС N (Y) ЧАС N + 1 (Икс) - ЧАС N (Икс) ЧАС N + 1 (Y) Икс - Y. {\ Displaystyle \ sum _ {k = 0} ^ {n} {\ frac {H_ {k} (x) H_ {k} (y)} {k! 2 ^ {k}}} = {\ frac {1} {n! 2 ^ {n + 1}}} \, {\ frac {H_ {n} (y) H_ {n + 1} (x) -H_ {n} (x) H_ {n + 1} (y)} {xy} }.}{\ displaystyle \ sum _ {k = 0 } ^ {n} {\ frac {H_ {k} (x) H_ {k} (y)} {k! 2 ^ {k}}} = {\ frac {1} {n! 2 ^ {n + 1 }}} \, {\ frac {H_ {n} (y) H_ {n + 1} (x) -H_ {n} (x) H_ {n + 1} (y)} {xy}}.}

Более того, следующее тождество полноты для указанных функций Эрмита выполняется в смысле распределений :

∑ n = 0 ∞ ψ n (x) ψ n (y) знак равно δ (Икс - Y), {\ Displaystyle \ Sum _ {N = 0} ^ {\ infty} \ psi _ {n} (x) \ psi _ {n} (y) = \ delta (xy),}{\ displaystyle \ sum _ {n = 0} ^ {\ infty } \ psi _ {n} (x) \ psi _ {n} (y) = \ delta (xy),}

где δ - дельта-функция Дирака,, ψ n - функции Эрмита, а δ (x - y) представляет меру Лебега на линии y. = x в R, нормализованное так, чтобы его проекция на горизонтальную ось была обычной мерой Лебега.

Эта идентичность распределения следует Wiener (1958), взяв u → 1 в формуле Мелера, действительной, когда −1 < u < 1:

E (x, y; u) : = ∑ n = 0 ∞ un ψ n (x) ψ n (y) = 1 π (1 - u 2) exp ⁡ (- 1 - u 1 + u (x + y) 2 4 - 1 + u 1 - u (x - y) 2 4), {\ displaystyle E (x, y; u): = \ sum _ {n = 0} ^ {\ infty} u ^ {n} \, \ psi _ {n} ( x) \, \ psi _ {n} (y) = {\ frac {1} {\ sqrt {\ pi (1-u ^ {2})}}} \, \ exp \ left (- {\ frac { 1-u} {1 + u}} \, {\ frac {(x + y) ^ {2}} {4}} - {\ frac {1 + u} {1-u}} \, {\ frac {(xy) ^ {2}} {4}} \ right),}{\ displaystyle E (x, y; u): = \ sum _ {n = 0} ^ {\ infty} u ^ {n} \, \ psi _ { n} (x) \, \ psi _ {n} (y) = {\ frac {1} {\ sqrt {\ pi ( 1-u ^ {2})}}} \, \ exp \ left (- {\ frac {1-u} {1 + u}} \, {\ frac {(x + y) ^ {2}} { 4}} - {\ frac {1 + u} {1-u}} \, {\ frac {(xy) ^ {2}} {4}} \ right),}

которое часто эквивалентно выражается как отделимое ядро,

∑ n = 0 ∞ H n (x) H n (y) n ! (u 2) п знак равно 1 1 - u 2 e 2 u 1 + u x y - u 2 1 - u 2 (x - y) 2. {\ displaystyle \ sum _ {n = 0} ^ {\ infty} {\ frac {H_ {n} (x) H_ {n} (y)} {n!}} \ left ({\ frac {u} { 2}} \ right) ^ {n} = {\ frac {1} {\ sqrt {1-u ^ {2}}}} e ^ {{\ frac {2u} {1 + u}} xy - {\ frac {u ^ {2}} {1-u ^ {2}}} (xy) ^ {2}}.}{\ displaystyle \ sum _ { n = 0} ^ {\ infty} {\ frac {H_ {n} (x) H_ {n} (y)} {n!}} \ left ({\ frac {u} {2}} \ right) ^ {n} = {\ frac {1} {\ sqrt {1-u ^ {2}}}} e ^ {{\ frac {2u} {1 + u}} xy - {\ frac {u ^ {2} } {1-u ^ {2}}} (ху) ^ {2}}.}

Функция (x, y) → E (x, y; u) является двумерной Гауссова плотность вероятности на R, которая, когда u близко к 1, очень сконцентрирована вокруг линии y = x и сильно разбросана по этой линии. Отсюда следует, что

∑ n = 0 ∞ un ⟨f, ψ n⟩ ⟨ψ n, g⟩ = ∬ E (x, y; u) f (x) g (y) ¯ dxdy → ∫ f (x) г (Икс) ¯ dx знак равно ⟨е, г⟩ {\ displaystyle \ sum _ {n = 0} ^ {\ infty} u ^ {n} \ langle f, \ psi _ {n} \ rangle \ langle \ psi _ {n}, g \ rangle = \ iint E (x, y; u) f (x) {\ overline {g (y)}} \, dx \, dy \ to \ int f (x) {\ overline { g (x)}} \, dx = \ langle f, g \ rangle}{\ displaystyle \ sum _ {n = 0} ^ {\ infty} u ^ {n} \ langle f, \ psi _ {n} \ rangle \ langle \ psi _ {n}, g \ rangle = \ iint E (x, y; u) f (x) {\ overline {g (y)}} \, dx \, dy \ to \ int f (x) {\ overline {g (x)}} \, dx = \ langle f, g \ rangle}

, когда f и g непрерывны и имеют компактные опоры.

Отсюда следует, что f может быть выражено в функциях Эрмита как сумма серии векторов в L (R ), а именно,

f = ∑ n = 0 ∞ ⟨f, ψ n⟩ ψ n. {\ displaystyle f = \ sum _ {n = 0} ^ {\ infty} \ langle f, \ psi _ {n} \ rangle \ psi _ {n}.}{\ displaystyle f = \ sum _ {n = 0} ^ {\ infty} \ langle f, \ psi _ {n} \ rangle \ psi _ {n}.}

Чтобы доказать указанное выше равенство для E (x, y; u), преобразование Фурье для функций Гаусса используется повторно:

ρ π e - ρ 2 x 2 4 = ∫ eisx - s 2 ρ 2 ds при ρ>0. {\ displaystyle \ rho {\ sqrt {\ pi}} e ^ {- {\ frac {\ rho ^ {2} x ^ {2}} {4}}} = \ int e ^ {isx - {\ frac { s ^ {2}} {\ rho ^ {2}}}} \, ds \ quad {\ text {for}} \ rho>0.}{\displaystyle \rho {\sqrt {\pi }}e^{-{\frac {\rho ^{2}x^{2}}{4}}}=\int e^{isx-{\frac {s^{2}}{\rho ^{2}}}}\,ds\quad {\text{for }}\rho>0.}

Полином Эрмита тогда представлен как

H n ( Икс) = (- 1) nex 2 dndxn (1 2 π ∫ eisx - s 2 4 ds) = (- 1) nex 2 1 2 π ∫ (is) neisx - s 2 4 ds. {\ displaystyle H_ {n} (x) = (- 1) ^ {n} e ^ {x ^ {2}} {\ frac {d ^ {n}} {dx ^ {n}}} \ left ({\ frac {1} {2 {\ sqrt {\ pi}}}} \ int e ^ {isx - {\ frac {s ^ {2}} {4}}} \, ds \ right) = (- 1) ^ {n} e ^ { x ^ {2}} {\ frac {1} {2 {\ sqrt {\ pi}}}} \ int (is) ^ {n} e ^ {isx - {\ frac {s ^ {2}} {4 }}} \, ds.}{\ displaystyle H_ {n} (x) = (- 1) ^ {n} e ^ {x ^ {2}} {\ frac {d ^ {n}} {dx ^ {n}} } \ left ({\ frac {1} {2 {\ sqrt {\ pi}}}} \ int e ^ {isx - {\ frac {s ^ {2}} {4}}} \, ds \ right) = (- 1) ^ {n} e ^ {x ^ {2}} {\ frac {1} {2 {\ sqrt {\ pi}}}} \ int (is) ^ {n} e ^ {isx- {\ гидроразрыва {s ^ {2}} {4}}} \, ds.}

С этим представлением для H n (x) и H n (y) очевидно, что

E (x, y; u) = ∑ n = 0 ∞ un 2 nn! π H n (x) H n (y) e - x 2 + y 2 2 = ex 2 + y 2 2 4 π π ∬ (∑ n = 0 ∞ 1 2 nn! (- ust) n) eisx + ity - s 2 4 - t 2 4 dsdt = ex 2 + y 2 2 4 π π ∬ е - ust 2 eisx + ity - s 2 4 - t 2 4 dsdt, {\ displaystyle {\ begin {align} E (x, y; u) = \ sum _ {n = 0} ^ {\ infty} {\ frac {u ^ {n}} {2 ^ {n} n! {\ sqrt {\ pi}}}} \, H_ {n} (x) H_ {n} (y) e ^ {- {\ frac {x ^ {2} + y ^ {2}} {2}}} \\ = {\ frac {e ^ {\ frac {x ^ {2} + y ^ {2}} {2}}} {4 \ pi {\ sqrt {\ pi}}}} \ iint \ left (\ sum _ {n = 0} ^ {\ infty} {\ frac {1} {2 ^ {n} n !}} (- ust) ^ {n} \ right) e ^ {isx + ity - {\ frac {s ^ {2}} {4}} - {\ frac {t ^ {2}} {4}} } \, ds \, dt \\ = {\ frac {e ^ {\ frac {x ^ {2} + y ^ {2}} {2}}} {4 \ pi {\ sqrt {\ pi}} }} \ iint e ^ {- {\ frac {ust} {2}}} \, e ^ {isx + ity - {\ frac {s ^ {2}} {4}} - {\ frac {t ^ { 2}} {4}}} \, ds \, dt, \ end {align}}}{\ displaystyle {\ begin {align} E (x, y; u) = \ sum _ {n = 0} ^ {\ infty} {\ frac {u ^ {n}} {2 ^ {n} n! {\ sqrt {\ pi}}}} \, H_ {n} (x) H_ {n } (y) e ^ {- {\ frac {x ^ {2} + y ^ {2}} {2}}} \\ = {\ frac {e ^ {\ frac {x ^ {2} + y ^ {2}} {2}}} {4 \ pi {\ sqrt {\ pi}}}} \ iint \ left (\ sum _ {n = 0} ^ {\ infty} {\ frac {1} {2 ^ {n} n!}} (- ust) ^ {n} \ right) e ^ {isx + ity - {\ frac {s ^ {2}} {4}} - {\ frac {t ^ {2} } {4}}} \, ds \, dt \\ = {\ frac {e ^ {\ frac {x ^ {2} + y ^ {2}} {2}}} {4 \ pi {\ sqrt {\ pi}}}} \ iint e ^ {- {\ frac {ust} {2}}} \, e ^ {isx + ity - {\ frac {s ^ {2}} {4}} - {\ гидроразрыв {t ^ {2}} {4}}} \, ds \, dt, \ end {align}}}

, и это дает желаемое разрешение результата идентичности, снова используя преобразование Фурье гауссовских ядер с заменой

s = σ + τ 2, t = σ - τ 2. {\ displaystyle s = {\ frac {\ sigma + \ tau} {\ sqrt {2}}}, \ quad t = {\ frac {\ sigma - \ tau} {\ sqrt {2}}}.}{\ displaystyle s = {\ frac {\ sigma + \ tau } {\ sqrt {2}}}, \ quad t = {\ frac {\ sigma - \ tau} {\ sqrt {2}}}.}

См. Также

Примечания

Ссылки

Внешние ссылки

Последняя правка сделана 2021-05-23 10:17:06
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте