Преобразование Лежандра - Legendre transform Эта статья посвящена интегральному преобразованию с использованием полиномов Лежандра. О преобразовании инволюции, обычно используемом в классической механике и термодинамике, см. Превращение Лежандра.В математике Преобразование Лежандра является интегральное преобразование назван в честь математика Адриан-Мари Лежандр, который использует Полиномы Лежандра п п ( Икс ) { Displaystyle P_ {п} (х)} как ядра преобразования. Преобразование Лежандра - частный случай Преобразование Якоби.Преобразование Лежандра функции ж ( Икс ) { displaystyle f (x)} является[1][2][3] J п { ж ( Икс ) } = ж ~ ( п ) = ∫ − 1 1 п п ( Икс ) ж ( Икс ) d Икс { displaystyle { mathcal {J}} _ {n} {f (x) } = { tilde {f}} (n) = int _ {- 1} ^ {1} P_ {n} ( х) е (х) dx}Обратное преобразование Лежандра дается формулой J п − 1 { ж ~ ( п ) } = ж ( Икс ) = ∑ п = 0 ∞ 2 п + 1 2 ж ~ ( п ) п п ( Икс ) { displaystyle { mathcal {J}} _ {n} ^ {- 1} {{ tilde {f}} (n) } = f (x) = sum _ {n = 0} ^ { infty} { frac {2n + 1} {2}} { tilde {f}} (n) P_ {n} (x)}Связанное преобразование Лежандра Связанное преобразование Лежандра определяется как J п , м { ж ( Икс ) } = ж ~ ( п , м ) = ∫ − 1 1 ( 1 − Икс 2 ) − м / 2 п п м ( Икс ) ж ( Икс ) d Икс { displaystyle { mathcal {J}} _ {n, m} {f (x) } = { tilde {f}} (n, m) = int _ {- 1} ^ {1} ( 1-x ^ {2}) ^ {- m / 2} P_ {n} ^ {m} (x) f (x) dx}Обратное преобразование Лежандра дается формулой J п , м − 1 { ж ~ ( п , м ) } = ж ( Икс ) = ∑ п = 0 ∞ 2 п + 1 2 ( п − м ) ! ( п + м ) ! ж ~ ( п , м ) ( 1 − Икс 2 ) м / 2 п п м ( Икс ) { displaystyle { mathcal {J}} _ {n, m} ^ {- 1} {{ tilde {f}} (n, m) } = f (x) = sum _ {n = 0 } ^ { infty} { frac {2n + 1} {2}} { frac {(nm)!} {(n + m)!}} { tilde {f}} (n, m) (1 -x ^ {2}) ^ {m / 2} P_ {n} ^ {m} (x)}Некоторые пары преобразований Лежандра ж ( Икс ) { Displaystyle е (х) ,} ж ~ ( п ) { Displaystyle { тильда {f}} (п) ,} Икс п { Displaystyle х ^ {п} ,} 2 п + 1 ( п ! ) 2 ( 2 п + 1 ) ! { displaystyle { frac {2 ^ {n + 1} (n!) ^ {2}} {(2n + 1)!}}} е а Икс { displaystyle e ^ {ax} ,} 2 π а я п + 1 / 2 ( а ) { displaystyle { sqrt { frac {2 pi} {a}}} I_ {n + 1/2} (а)} е я а Икс { Displaystyle е ^ {iax} ,} 2 π а я п J п + 1 / 2 ( а ) { displaystyle { sqrt { frac {2 pi} {a}}} i ^ {n} J_ {n + 1/2} (а)} Икс ж ( Икс ) { Displaystyle xf (х) ,} 1 2 п + 1 [ ( п + 1 ) ж ~ ( п + 1 ) + п ж ~ ( п − 1 ) ] { displaystyle { frac {1} {2n + 1}} [(n + 1) { тильда {f}} (n + 1) + n { тильда {f}} (n-1)]} ( 1 − Икс 2 ) − 1 / 2 { Displaystyle (1-х ^ {2}) ^ {- 1/2} ,} π п п 2 ( 0 ) { displaystyle pi P_ {n} ^ {2} (0)} [ 2 ( а − Икс ) ] − 1 { Displaystyle [2 (а-х)] ^ {- 1} ,} Q п ( а ) { Displaystyle Q_ {п} (а)} ( 1 − 2 а Икс + а 2 ) − 1 / 2 , | а | < 1 { displaystyle (1-2ax + a ^ {2}) ^ {- 1/2}, | a | <1 ,} 2 а п ( 2 п + 1 ) − 1 { displaystyle 2a ^ {n} (2n + 1) ^ {- 1}} ( 1 − 2 а Икс + а 2 ) − 3 / 2 , | а | < 1 { displaystyle (1-2ax + a ^ {2}) ^ {- 3/2}, | a | <1 ,} 2 а п ( 1 − а 2 ) − 1 { displaystyle 2a ^ {n} (1-а ^ {2}) ^ {- 1}} ∫ 0 а т б − 1 d т ( 1 − 2 Икс т + т 2 ) 1 / 2 , | а | < 1 б > 0 { displaystyle int _ {0} ^ {a} { frac {t ^ {b-1} , dt} {(1-2xt + t ^ {2}) ^ {1/2}}}, | a | <1 b> 0 ,} 2 а п + б ( 2 п + 1 ) ( п + б ) { displaystyle { frac {2a ^ {n + b}} {(2n + 1) (n + b)}}} d d Икс [ ( 1 − Икс 2 ) d d Икс ] ж ( Икс ) { displaystyle { frac {d} {dx}} left [(1-x ^ {2}) { frac {d} {dx}} right] f (x) ,} − п ( п + 1 ) ж ~ ( п ) { Displaystyle -n (п + 1) { тильда {f}} (п)} { d d Икс [ ( 1 − Икс 2 ) d d Икс ] } k ж ( Икс ) { displaystyle left {{ frac {d} {dx}} left [(1-x ^ {2}) { frac {d} {dx}} right] right } ^ {k} f (x) ,} ( − 1 ) k п k ( п + 1 ) k ж ~ ( п ) { displaystyle (-1) ^ {k} n ^ {k} (n + 1) ^ {k} { тильда {f}} (n)} ж ( Икс ) 4 − d d Икс [ ( 1 − Икс 2 ) d d Икс ] ж ( Икс ) { displaystyle { frac {f (x)} {4}} - { frac {d} {dx}} left [(1-x ^ {2}) { frac {d} {dx}} справа] f (x) ,} ( п + 1 2 ) 2 ж ~ ( п ) { Displaystyle влево (п + { гидроразрыва {1} {2}} вправо) ^ {2} { тильда {f}} (п)} пер ( 1 − Икс ) { Displaystyle пер (1-х) ,} { 2 ( пер 2 − 1 ) , п = 0 − 2 п ( п + 1 ) , п > 0 { displaystyle { begin {cases} 2 ( ln 2-1), & n = 0 - { frac {2} {n (n + 1)}}, & n> 0 end {cases}} ,} ж ( Икс ) ∗ грамм ( Икс ) { Displaystyle е (х) * г (х) ,} ж ~ ( п ) грамм ~ ( п ) { Displaystyle { тильда {f}} (п) { тильда {g}} (п)} ∫ − 1 Икс ж ( т ) d т { Displaystyle int _ {- 1} ^ {х} е (т) , дт ,} { ж ~ ( 0 ) − ж ~ ( 1 ) , п = 0 ж ~ ( п − 1 ) − ж ~ ( п + 1 ) 2 п + 1 , п > 1 { displaystyle { begin {cases} { tilde {f}} (0) - { tilde {f}} (1), & n = 0 { frac {{ tilde {f}} (n- 1) - { tilde {f}} (n + 1)} {2n + 1}}, & n> 1 end {case}} ,} d d Икс грамм ( Икс ) , грамм ( Икс ) = ∫ − 1 Икс ж ( т ) d т { displaystyle { frac {d} {dx}} g (x), g (x) = int _ {- 1} ^ {x} f (t) , dt} грамм ( 1 ) − ∫ − 1 1 грамм ( Икс ) d d Икс п п ( Икс ) d Икс { displaystyle g (1) - int _ {- 1} ^ {1} g (x) { frac {d} {dx}} P_ {n} (x) , dx}Рекомендации ^ Дебнатх, Локенатх и Дамбару Бхатта. Интегральные преобразования и их приложения. CRC press, 2014.^ Черчилль, Р. В. "Операционное исчисление преобразований Лежандра". Исследования по прикладной математике 33.1–4 (1954): 165–178.^ Черчилль Р. В. и К. Л. Дольф. «Обратные преобразования произведений преобразований Лежандра». Труды Американского математического общества 5.1 (1954): 93–100.