Legendární transformace - Legendre transform - Wikipedia

V matematice Legendární transformace je integrální transformace pojmenoval podle matematika Adrien-Marie Legendre, který používá Legendární polynomy ${ displaystyle P_ {n} (x)}$ jako jádra transformace. Legendre transformace je zvláštní případ Jacobiho transformace.

Legendrova transformace funkce ${ displaystyle f (x)}$ je^[1][2][3]

${ displaystyle { mathcal {J}} _ {n} {f (x) } = { tilde {f}} (n) = int _ {- 1} ^ {1} P_ {n} ( x) f (x) dx}$

Inverzní Legendreova transformace je dána vztahem

${ displaystyle { mathcal {J}} _ {n} ^ {- 1} {{ tilde {f}} (n) } = f (x) = součet _ {n = 0} ^ { infty} { frac {2n + 1} {2}} { tilde {f}} (n) P_ {n} (x)}$

Přidružená legendární transformace

Přidružená legendární transformace je definována jako

${ 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}$

Inverzní Legendreova transformace je dána vztahem

${ displaystyle { mathcal {J}} _ {n, m} ^ {- 1} {{ tilde {f}} (n, m) } = f (x) = součet _ {n = 0 } ^ { infty} { frac {2n + 1} {2}} { frac {(nm)!} {(n + m)!}} { tilde {f}} (n, m) (1 -x ^ {2}) ^ {m / 2} P_ {n} ^ {m} (x)}$

Některé legendární transformační páry

${ displaystyle f (x) ,}$	${ displaystyle { tilde {f}} (n) ,}$
${ displaystyle x ^ {n} ,}$	${ displaystyle { frac {2 ^ {n + 1} (n!) ^ {2}} {(2n + 1)!}}}$
${ displaystyle e ^ {ax} ,}$	${ displaystyle { sqrt { frac {2 pi} {a}}} I_ {n + 1/2} (a)}$
${ displaystyle e ^ {iax} ,}$	${ displaystyle { sqrt { frac {2 pi} {a}}} i ^ {n} J_ {n + 1/2} (a)}$
${ displaystyle xf (x) ,}$	${ displaystyle { frac {1} {2n + 1}} [(n + 1) { tilde {f}} (n + 1) + n { tilde {f}} (n-1)]}$
${ displaystyle (1-x ^ {2}) ^ {- 1/2} ,}$	${ displaystyle pi P_ {n} ^ {2} (0)}$
${ displaystyle [2 (a-x)] ^ {- 1} ,}$	${ displaystyle Q_ {n} (a)}$
${ displaystyle (1-2ax + a ^ {2}) ^ {- 1/2}, | a | <1 ,}$	${ displaystyle 2a ^ {n} (2n + 1) ^ {- 1}}$
${ displaystyle (1-2ax + a ^ {2}) ^ {- 3/2}, | a | <1 ,}$	${ displaystyle 2a ^ {n} (1-a ^ {2}) ^ {- 1}}$
${ displaystyle int _ {0} ^ {a} { frac {t ^ {b-1} , dt} {(1-2xt + t ^ {2}) ^ {1/2}}}, | a | <1 b> 0 ,}$	${ displaystyle { frac {2a ^ {n + b}} {(2n + 1) (n + b)}}}$
${ displaystyle { frac {d} {dx}} vlevo [(1-x ^ {2}) { frac {d} {dx}} vpravo] f (x) ,}$	${ displaystyle -n (n + 1) { tilda {f}} (n)}$
${ displaystyle left {{ frac {d} {dx}} left [(1-x ^ {2}) { frac {d} {dx}} right] right } ^ {k} f (x) ,}$	${ displaystyle (-1) ^ {k} n ^ {k} (n + 1) ^ {k} { tilde {f}} (n)}$
${ displaystyle { frac {f (x)} {4}} - { frac {d} {dx}} left [(1-x ^ {2}) { frac {d} {dx}} vpravo] f (x) ,}$	${ displaystyle left (n + { frac {1} {2}} right) ^ {2} { tilde {f}} (n)}$
${ displaystyle ln (1-x) ,}$	${ displaystyle { begin {cases} 2 ( ln 2-1), & n = 0 - { frac {2} {n (n + 1)}}, & n> 0 end {cases}} ,}$
${ displaystyle f (x) * g (x) ,}$	${ displaystyle { tilde {f}} (n) { tilde {g}} (n)}$
${ displaystyle int _ {- 1} ^ {x} f (t) , dt ,}$	${ 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 {cases}} ,}$
${ displaystyle { frac {d} {dx}} g (x), g (x) = int _ {- 1} ^ {x} f (t) , dt}$	${ displaystyle g (1) - int _ {- 1} ^ {1} g (x) { frac {d} {dx}} P_ {n} (x) , dx}$

Reference