Funzione parabolica del cilindro

In matematica, una funzione parabolica del cilindro è una funzione speciale che è soluzione dell'equazione differenziale lineare del secondo ordine detta equazione di Weber, un caso particolare dell'equazione ipergeometrica confluente che ha la forma:

\frac{d^{2} f}{d z^{2}} + (a z^{2} + b z + c) f = 0

dove $a$ , $b$ e $c$ sono costanti. Si tratta di un'equazione che può essere ricavata dall'equazione di Laplace espressa in coordinate parabolico cilindriche tramite separazione delle variabili. Storicamente le funzioni paraboliche del cilindro furono infatti introdotte dal matematico tedesco Weber nel 1869 per risolvere l'equazione di Helmholtz in coordinate paraboliche.

L'equazione

Mediante un cambiamento di variabile si può mettere sotto le due distinte forme seguenti:

\frac{d^{2} f}{d z^{2}} - (\frac{z^{2}}{4} + a) f = 0 *

\frac{d^{2} f}{d z^{2}} + (\frac{z^{2}}{4} - a) f = 0 * *

dove sostituendo $f = z^{- 1 / 2} W$ e $y = z^{2} / 2$ si ottiene l'equazione di Whittaker.

Se una soluzione ha la forma:

f (a, z)

sono soluzioni anche $f (a, - z)$ , $f (- a, i z)$ e $f (- a, - i z)$ .

Se una soluzione della $*$ ha la forma:

f (a, z)

una soluzione della $* *$ è:

f (- i a, z \cdot e^{i π / 4})

e per simmetria sono soluzioni della $* *$ anche

f (- i a, - z \cdot e^{i π / 4}) f (i a, - z \cdot e^{- i π / 4}) f (i a, z \cdot e^{- i π / 4})

L'equazione $*$ possiede soluzioni indipendenti pari e dispari:

y_{1} (a; z) = \exp (- z^{2} / 4)_{1} F_{1} (\frac{a}{2} + \frac{1}{4}; \frac{1}{2}; \frac{z^{2}}{2})

e:

y_{2} (a; z) = z \exp (- z^{2} / 4)_{1} F_{1} (\frac{a}{2} + \frac{3}{4}; \frac{3}{2}; \frac{z^{2}}{2})

dove $_{1} F_{1} (a; b; z) = M (a; b; z)$ denota l'equazione ipergeometrica confluente.

Per valori di $a$ semidispari queste soluzioni possono essere riespresse in termini di polinomi di Hermite; alternativamente esse possono essere espresse in termini di funzioni di Bessel.

Una notazione alternativa per le soluzioni dell'equazione $*$ è utilizzata nel libro di Whittaker e Watson. La funzione:

D_{n} (z) = 2^{n / 2 + 1 / 4} z^{- 1 / 2} W_{n / 2 + 1 / 4, - 1 / 4} (z^{2} / 2)

dove $W_{κ, μ} (z)$ è una funzione di Whittaker che è soluzione dell'equazione $*$ per $- a = n + 1 / 2$

Altre soluzioni dell'equazione $*$ sono $D_{n} (- z)$ , $D_{- n - 1} (i z)$ e $D_{- n - 1} (- i z)$ .

Template:DeH. F. Weber "Ueber die Integration der partiellen Differentialgleichung: $\partial^{2} u / \partial x^{2} + \partial^{2} u / \partial x^{2} + k^{2} u$ " Mathematische Annalen 1, 1-36 (1869).
Template:EnMilton Abramowitz and Irene A. Stegun, eds., Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables 1972, Dover: New York. Capitolo 19.
Template:EnE. T. Whittaker e G. N. Watson Modern Analysis pp. 341-348 (Cambridge University Press, 1915)
Template:EnWhittaker, E.T. (1902) "On the functions associated with the parabolic cylinder in harmonic analysis" Proc. London Math. Soc.35, 417–427.