Polinomis continus de Hahn

En matemàtiques, els polinomis continus de Hahn són una família de polinomis ortogonals en l'esquema d'Askey per als polinomis ortogonals hipergeomètrics. Es defineixen en termes de funcions hipergeomètriques generalitzades per

p_{n} (x; a, b, c, d) = i^{n} \frac{(a + c)_{n} (a + d)_{n}}{n!}_{3} F_{2} (\begin{matrix} - n, n + a + b + c + d - 1, a + i x \\ a + c, a + d \end{matrix}; 1)

Koekoek, Lesky i Swarttouw (2010) ofereix una llista detallada de les seves propietats.Plantilla:Sfn

Els polinomis estretament relacionats inclouen els polinomis duals de Hahn R_n(x;γ,δ,N), els polinomis de Hahn Q_n(x;a,b,c), i els polinomis duals continus de Hahn S_n(x;a,b,c). Tots aquests polinomis tenen q-anàlegs amb un paràmetre q addicional, com els polinomis q-Hahn Q_n(x;α,β, N;q), etc.

Ortogonalitat

Els polinomis continus de Hahn p_n(x;a,b,c,d) són ortogonals respecte a la funció pes

w (x) = Γ (a + i x) Γ (b + i x) Γ (c - i x) Γ (d - i x) .

\begin{matrix} \frac{1}{2 π} \int_{- \infty}^{\infty} Γ (a + i x) Γ (b + i x) Γ (c - i x) Γ (d - i x) p_{m} (x; a, b, c, d) p_{n} (x; a, b, c, d) d x \\ = \frac{Γ (n + a + c) Γ (n + a + d) Γ (n + b + c) Γ (n + b + d)}{n! (2 n + a + b + c + d - 1) Γ (n + a + b + c + d - 1)} δ_{n m} \end{matrix}

per a $ℜ (a) > 0$ , $ℜ (b) > 0$ , $ℜ (c) > 0$ , $ℜ (d) > 0$ , $c = \overline{a}$ , $d = \overline{b}$ .

La seqüència de polinomis continus de Hahn satisfan la relació de recurrència Plantilla:Sfn

x p_{n} (x) = p_{n + 1} (x) + i (A_{n} + C_{n}) p_{n} (x) - A_{n - 1} C_{n} p_{n - 1} (x),

\begin{matrix} on & p_{n} (x) = \frac{n! (n + a + b + c + d - 1)!}{(2 n + a + b + c + d - 1)!} p_{n} (x; a, b, c, d), \\ A_{n} = - \frac{(n + a + b + c + d - 1) (n + a + c) (n + a + d)}{(2 n + a + b + c + d - 1) (2 n + a + b + c + d)}, \\ i & C_{n} = \frac{n (n + b + c - 1) (n + b + d - 1)}{(2 n + a + b + c + d - 2) (2 n + a + b + c + d - 1)} . \end{matrix}

Els polinomis continus de Hahn continus es poden expressar de forma semblant a la fórmula de Rodrigues Plantilla:Sfn

\begin{matrix} Γ (a + i x) Γ (b + i x) Γ (c - i x) Γ (d - i x) p_{n} (x; a, b, c, d) \\ = \frac{(- 1)^{n}}{n!} \frac{d^{n}}{d x^{n}} (Γ (a + \frac{n}{2} + i x) Γ (b + \frac{n}{2} + i x) Γ (c + \frac{n}{2} - i x) Γ (d + \frac{n}{2} - i x)) . \end{matrix}

Els polinomis continus de Hahn tenen la següent funció generatriu:Plantilla:Sfn

\begin{matrix} \sum_{n = 0}^{\infty} \frac{Γ (n + a + b + c + d) Γ (a + c + 1) Γ (a + d + 1)}{Γ (a + b + c + d) Γ (n + a + c + 1) Γ (n + a + d + 1)} (- i t)^{n} p_{n} (x; a, b, c, d) \\ = (1 - t)^{1 - a - b - c - d}_{3} F_{2} (\begin{matrix} \frac{1}{2} (a + b + c + d - 1), \frac{1}{2} (a + b + c + d), a + i x \\ a + c, a + d \end{matrix}; - \frac{4 t}{(1 - t)^{2}}) . \end{matrix}

Una segona funció generatriu diferent ve donada per

\sum_{n = 0}^{\infty} \frac{Γ (a + c + 1) Γ (b + d + 1)}{Γ (n + a + c + 1) Γ (n + b + d + 1)} t^{n} p_{n} (x; a, b, c, d) =_{1} F_{1} (\begin{matrix} a + i x \\ a + c \end{matrix}; - i t)_{1} F_{1} (\begin{matrix} d - i x \\ b + d \end{matrix}; i t) .

Els polinomis de Wilson són una generalització dels polinomis continus de Hahn.
El polinomis de Bateman F_n(x) estan relacionats amb el cas especial a=b=c=d=1/2 dels polinomis continus de Hahn per

p_{n} (x; \frac{1}{2}, \frac{1}{2}, \frac{1}{2}, \frac{1}{2}) = i^{n} n! F_{n} (2 i x) .

Els polinomis de Jacobi P_n^(α,β)(x) es poden obtenir com un cas limitant dels polinomis continus de Hahn:Plantilla:Sfn

P_{n}^{(α, β)} = \lim_{t \to \infty} t^{- n} p_{n} (\frac{1}{2} x t; \frac{1}{2} (α + 1 - i t), \frac{1}{2} (β + 1 + i t), \frac{1}{2} (α + 1 + i t), \frac{1}{2} (β + 1 - i t)) .