Преобразование Лагерра - Laguerre transform Не путать с Преобразования Лагерра.В математике Преобразование Лагерра является интегральное преобразование назван в честь математика Эдмон Лагерр, который использует обобщенные Полиномы Лагерра L п α ( Икс ) { Displaystyle L_ {п} ^ { альфа} (х)} как ядра преобразования.[1][2][3][4]Преобразование Лагерра функции ж ( Икс ) { displaystyle f (x)} является L { ж ( Икс ) } = ж ~ α ( п ) = ∫ 0 ∞ е − Икс Икс α L п α ( Икс ) ж ( Икс ) d Икс { Displaystyle L {е (х) } = { тильда {f}} _ { alpha} (n) = int _ {0} ^ { infty} e ^ {- x} x ^ { альфа} L_ {n} ^ { alpha} (x) f (x) dx}Обратное преобразование Лагерра дается формулой L − 1 { ж ~ α ( п ) } = ж ( Икс ) = ∑ п = 0 ∞ ( п + α п ) − 1 1 Γ ( α + 1 ) ж ~ α ( п ) L п α ( Икс ) { displaystyle L ^ {- 1} {{ tilde {f}} _ { alpha} (n) } = f (x) = sum _ {n = 0} ^ { infty} { binom {n + alpha} {n}} ^ {- 1} { frac {1} { Gamma ( alpha +1)}} { tilde {f}} _ { alpha} (n) L_ {n} ^ { alpha} (х)}Некоторые пары преобразований Лагерра ж ( Икс ) { Displaystyle е (х) ,} ж ~ α ( п ) { Displaystyle { тильда {f}} _ { alpha} (п) ,} Икс а − 1 , а > 0 { Displaystyle х ^ {а-1}, а> 0 ,} Γ ( а + α ) Γ ( п − а + 1 ) п ! Γ ( 1 − а ) { Displaystyle { гидроразрыва { Гамма (а + альфа) Гамма (п-а + 1)} {п! Гамма (1-а)}}} е − а Икс , а > − 1 { displaystyle e ^ {- ax}, a> -1 ,} Γ ( п + α + 1 ) а п п ! ( а + 1 ) п + α + 1 { Displaystyle { frac { Gamma (п + альфа +1) а ^ {п}} {п! (а + 1) ^ {п + альфа +1}}}} грех а Икс , а > 0 , α = 0 { Displaystyle грех топор, а> 0, альфа = 0 ,} а п ( 1 + а 2 ) п + 1 2 грех [ п загар − 1 1 а + загар − 1 ( − а ) ] { displaystyle { frac {a ^ {n}} {(1 + a ^ {2}) ^ { frac {n + 1} {2}}}} sin left [n tan ^ {- 1 } { frac {1} {a}} + tan ^ {- 1} (- a) right]} потому что а Икс , а > 0 , α = 0 { Displaystyle соз топор, а> 0, альфа = 0 ,} а п ( 1 + а 2 ) п + 1 2 потому что [ п загар − 1 1 а + загар − 1 ( − а ) ] { displaystyle { frac {a ^ {n}} {(1 + a ^ {2}) ^ { frac {n + 1} {2}}}} cos left [n tan ^ {- 1 } { frac {1} {a}} + tan ^ {- 1} (- a) right]} L м α ( Икс ) { Displaystyle L_ {м} ^ { альфа} (х) ,} ( п + α п ) Γ ( α + 1 ) δ м п { Displaystyle { binom {п + альфа} {п}} Gamma ( alpha +1) delta _ {mn}} е − а Икс L м α ( Икс ) { displaystyle e ^ {- ax} L_ {m} ^ { alpha} (x) ,} Γ ( п + α + 1 ) Γ ( м + α + 1 ) п ! м ! Γ ( α + 1 ) ( а − 1 ) п − м + α + 1 а п + м + 2 α + 2 2 F 1 ( п + α + 1 ; м + α + 1 α + 1 ; 1 а 2 ) { Displaystyle { гидроразрыва { Гамма (п + альфа +1) Гамма (м + альфа +1)} {п! м! Гамма ( альфа +1)}} { гидроразрыва {(а-1) ^ {n-m + alpha +1}} {a ^ {n + m + 2 alpha +2}}} {} _ {2} F_ {1} left (n + alpha +1; { frac { m + alpha +1} { alpha +1}}; { frac {1} {a ^ {2}}} right)}[5] ж ( Икс ) Икс β − α { Displaystyle е (х) х ^ { бета - альфа} ,} ∑ м = 0 п ( м ! ) − 1 ( α − β ) м L п − м β ( Икс ) { displaystyle sum _ {m = 0} ^ {n} (m!) ^ {- 1} ( alpha - beta) _ {m} L_ {n-m} ^ { beta} (x)} е Икс Икс − α Γ ( α , Икс ) { Displaystyle е ^ {х} х ^ {- альфа} гамма ( альфа, х) ,} ∑ п = 0 ∞ ( п + α п ) Γ ( α + 1 ) п + 1 { displaystyle sum _ {n = 0} ^ { infty} { binom {n + alpha} {n}} { frac { Gamma ( alpha +1)} {n + 1}}} Икс β , β > 0 { Displaystyle х ^ { бета}, бета> 0 ,} Γ ( α + β + 1 ) ∑ п = 0 ∞ ( п + α п ) ( − β ) п Γ ( α + 1 ) Γ ( п + α + 1 ) { displaystyle Gamma ( alpha + beta +1) sum _ {n = 0} ^ { infty} { binom {n + alpha} {n}} (- beta) _ {n} { гидроразрыв { Gamma ( alpha +1)} { Gamma (n + alpha +1)}}} ( 1 − z ) − ( α + 1 ) exp ( Икс z z − 1 ) , | z | < 1 , α ≥ 0 { displaystyle (1-z) ^ {- ( alpha +1)} exp left ({ frac {xz} {z-1}} right), | z | <1, alpha geq 0 ,} ∑ п = 0 ∞ ( п + α п ) Γ ( α + 1 ) z п { displaystyle sum _ {n = 0} ^ { infty} { binom {n + alpha} {n}} Gamma ( alpha +1) z ^ {n}} ( Икс z ) − α / 2 е z J α [ 2 ( Икс z ) 1 / 2 ] , | z | < 1 , α ≥ 0 { displaystyle (xz) ^ {- alpha / 2} e ^ {z} J _ { alpha} left [2 (xz) ^ {1/2} right], | z | <1, альфа geq 0 ,} ∑ п = 0 ∞ ( п + α п ) Γ ( α + 1 ) Γ ( п + α + 1 ) z п { displaystyle sum _ {n = 0} ^ { infty} { binom {n + alpha} {n}} { frac { Gamma ( alpha +1)} { Gamma (n + alpha +1 )}} z ^ {n}} d d Икс ж ( Икс ) { Displaystyle { frac {d} {dx}} е (х) ,} ж ~ α ( п ) − α ∑ k = 0 п ж ~ α − 1 ( k ) + ∑ k = 0 п − 1 ж ~ α ( k ) { displaystyle { tilde {f}} _ { alpha} (n) - alpha sum _ {k = 0} ^ {n} { tilde {f}} _ { alpha -1} (k) + sum _ {k = 0} ^ {n-1} { tilde {f}} _ { alpha} (k)} Икс d d Икс ж ( Икс ) , α = 0 { Displaystyle х { гидроразрыва {d} {dx}} е (х), альфа = 0 ,} − ( п + 1 ) ж ~ 0 ( п + 1 ) + п ж ~ 0 ( п ) { Displaystyle - (п + 1) { тильда {f}} _ {0} (п + 1) + п { тильда {f}} _ {0} (п)} ∫ 0 Икс ж ( т ) d т , α = 0 { displaystyle int _ {0} ^ {x} f (t) dt, alpha = 0 ,} ж ~ 0 ( п ) − ж ~ 0 ( п − 1 ) { displaystyle { tilde {f}} _ {0} (n) - { tilde {f}} _ {0} (n-1)} е Икс Икс − α d d Икс [ е − Икс Икс α + 1 d d Икс ] ж ( Икс ) { displaystyle e ^ {x} x ^ {- alpha} { frac {d} {dx}} left [e ^ {- x} x ^ { alpha +1} { frac {d} {dx }} right] f (x) ,} − п ж ~ α ( п ) { Displaystyle -n { тильда {f}} _ { alpha} (п)} { е Икс Икс − α d d Икс [ е − Икс Икс α + 1 d d Икс ] } k ж ( Икс ) { displaystyle left {e ^ {x} x ^ {- alpha} { frac {d} {dx}} left [e ^ {- x} x ^ { alpha +1} { frac { d} {dx}} right] right } ^ {k} f (x) ,} ( − 1 ) k п k ж ~ α ( п ) { Displaystyle (-1) ^ {к} п ^ {к} { тильда {f}} _ { альфа} (п)} L п α ( Икс ) , α > − 1 { Displaystyle L_ {п} ^ { альфа} (х), альфа> -1 ,} Γ ( п + α + 1 ) п ! { displaystyle { frac { Gamma (п + альфа +1)} {п!}}} Икс L п α ( Икс ) , α > − 1 { Displaystyle xL_ {п} ^ { альфа} (х), альфа> -1 ,} Γ ( п + α + 1 ) п ! ( 2 п + 1 + α ) { Displaystyle { гидроразрыва { Гамма (п + альфа +1)} {п!}} (2n + 1 + альфа)} 1 π ∫ 0 ∞ е − т ж ( т ) d т ∫ 0 π е Икс т потому что θ потому что ( Икс т грех θ ) грамм ( Икс + т − 2 Икс т потому что θ ) d θ , α = 0 { displaystyle { frac {1} { pi}} int _ {0} ^ { infty} e ^ {- t} f (t) dt int _ {0} ^ { pi} e ^ { { sqrt {xt}} cos theta} cos ({ sqrt {xt}} sin theta) g (x + t-2 { sqrt {xt}} cos theta) d theta, альфа = 0 ,} ж ~ 0 ( п ) грамм ~ 0 ( п ) { displaystyle { tilde {f}} _ {0} (n) { tilde {g}} _ {0} (n)} Γ ( п + α + 1 ) π Γ ( п + 1 ) ∫ 0 ∞ е − т т α ж ( т ) d т ∫ 0 π е − Икс т потому что θ грех 2 α θ грамм ( Икс + т + 2 Икс т потому что θ ) J α − 1 / 2 ( Икс т грех θ ) [ ( Икс т грех θ ) / 2 ] α − 1 / 2 d θ { displaystyle { frac { Gamma (n + alpha +1)} {{ sqrt { pi}} Gamma (n + 1)}} int _ {0} ^ { infty} e ^ {- t} t ^ { alpha} f (t) dt int _ {0} ^ { pi} e ^ {- { sqrt {xt}} cos theta} sin ^ {2 alpha} theta g (x + t + 2 { sqrt {xt}} cos theta) { frac {J _ { alpha -1/2} ({ sqrt {xt}} sin theta)} {[({ sqrt {xt}} sin theta) / 2] ^ { alpha -1/2}}} d theta ,} ж ~ α ( п ) грамм ~ α ( п ) { Displaystyle { тильда {е}} _ { альфа} (п) { тильда {г}} _ { альфа} (п)}[6]Рекомендации ^ Дебнатх, Локенатх и Дамбару Бхатта. Интегральные преобразования и их приложения. CRC press, 2014.^ Дебнат, Л. "О преобразовании Лагерра". Бык. Calcutta Math. Soc 52 (1960): 69-77.^ Дебнат, Л. "Применение преобразования Лагерра к проблеме теплопроводности". Annali dell’Università di Ferrara 10.1 (1961): 17-19.^ Маккалли, Джозеф. «Преобразование Лагерра». SIAM Review 2.3 (1960): 185-191.^ Хауэлл, В. Т. "CI. Определенный интеграл для легендарных функций". Лондонский, Эдинбургский и Дублинский философский журнал и журнал Science 25.172 (1938): 1113-1115.^ Дебнат, Л. "О теореме Фалтунга преобразования Лагерра". Studia Univ. Бабес-Боляи, сер. Phys 2 (1969): 41-45.