In mathematics, the parabolic cylinder functions are special functions defined as solutions to the differential equation
This equation is found when the technique of separation of variables is used on Laplace's equation when expressed in parabolic cylindrical coordinates. The above equation may be brought into two distinct forms (A) and (B) by completing the square and rescaling z, called H. F. Weber's equations:
and
If f ( a , z ) {\displaystyle f(a,z)} is a solution, then so are
f ( a , − z ) , f ( − a , i z ) and f ( − a , − i z ) . {\displaystyle f(a,-z),f(-a,iz){\text{ and }}f(-a,-iz).}
If f ( a , z ) {\displaystyle f(a,z)\,} is a solution of equation (A), then f ( − i a , z e ( 1 / 4 ) π i ) {\displaystyle f(-ia,ze^{(1/4)\pi i})} is a solution of (B), and, by symmetry,
f ( − i a , − z e ( 1 / 4 ) π i ) , f ( i a , − z e − ( 1 / 4 ) π i ) and f ( i a , z e − ( 1 / 4 ) π i ) {\displaystyle f(-ia,-ze^{(1/4)\pi i}),f(ia,-ze^{-(1/4)\pi i}){\text{ and }}f(ia,ze^{-(1/4)\pi i})}
are also solutions of (B).
Solutions There are independent even and odd solutions of the form (A). These are given by (following the notation of Abramowitz and Stegun (1965)):
y 1 ( a ; z ) = exp ( − z 2 / 4 ) 1 F 1 ( 1 2 a + 1 4 ; 1 2 ; z 2 2 ) ( e v e n ) {\displaystyle y_{1}(a;z)=\exp(-z^{2}/4)\;_{1}F_{1}\left({\tfrac {1}{2}}a+{\tfrac {1}{4}};\;{\tfrac {1}{2}}\;;\;{\frac {z^{2}}{2}}\right)\,\,\,\,\,\,(\mathrm {even} )}
and
y 2 ( a ; z ) = z exp ( − z 2 / 4 ) 1 F 1 ( 1 2 a + 3 4 ; 3 2 ; z 2 2 ) ( o d d ) {\displaystyle y_{2}(a;z)=z\exp(-z^{2}/4)\;_{1}F_{1}\left({\tfrac {1}{2}}a+{\tfrac {3}{4}};\;{\tfrac {3}{2}}\;;\;{\frac {z^{2}}{2}}\right)\,\,\,\,\,\,(\mathrm {odd} )}
where 1 F 1 ( a ; b ; z ) = M ( a ; b ; z ) {\displaystyle \;_{1}F_{1}(a;b;z)=M(a;b;z)} is the confluent hypergeometric function. Other pairs of independent solutions may be formed from linear combinations of the above solutions. One such pair is based upon their behavior at infinity:
… excerpt ends here. Continue reading the full article.
