In der Mathematik ist das Faxén-Integral (auch Faxén-Funktion ) folgendes Integral[ 1]
Fi
(
α
,
β
;
x
)
=
∫
0
∞
exp
(
−
t
+
x
t
α
)
t
β
−
1
d
t
,
(
0
≤
Re
(
α
)
<
1
,
Re
(
β
)
>
0
)
.
{\displaystyle \operatorname {Fi} (\alpha ,\beta ;x)=\int _{0}^{\infty }\exp(-t+xt^{\alpha })t^{\beta -1}\mathrm {d} t,\qquad (0\leq \operatorname {Re} (\alpha )<1,\;\operatorname {Re} (\beta )>0).}
Das Integral ist nach dem schwedischen Physiker Olov Hilding Faxén benannt, der es 1921 in seiner Doktorarbeit publizierte.[ 2]
Allgemeiner definiert man das
n
{\displaystyle n}
-dimensionale Faxén-Integral als[ 3]
I
n
(
x
)
=
λ
n
∫
0
∞
⋯
∫
0
∞
t
1
β
1
−
1
⋯
t
n
β
n
−
1
e
−
f
(
t
1
,
…
,
t
n
;
x
)
d
t
1
⋯
d
t
n
,
{\displaystyle I_{n}(x)=\lambda _{n}\int _{0}^{\infty }\cdots \int _{0}^{\infty }t_{1}^{\beta _{1}-1}\cdots t_{n}^{\beta _{n}-1}e^{-f(t_{1},\dots ,t_{n};x)}\mathrm {d} t_{1}\cdots \mathrm {d} t_{n},}
mit
f
(
t
1
,
…
,
t
n
;
x
)
:=
∑
j
=
1
n
t
j
μ
j
−
x
t
1
α
1
⋯
t
n
α
n
{\displaystyle f(t_{1},\dots ,t_{n};x):=\sum \limits _{j=1}^{n}t_{j}^{\mu _{j}}-xt_{1}^{\alpha _{1}}\cdots t_{n}^{\alpha _{n}}\quad }
und
λ
n
:=
∏
j
=
1
n
μ
j
{\displaystyle \quad \lambda _{n}:=\prod \limits _{j=1}^{n}\mu _{j}}
für
x
∈
C
{\displaystyle x\in \mathbb {C} }
und
(
0
<
α
i
<
μ
i
,
Re
(
β
i
)
>
0
,
i
=
1
,
…
,
n
)
.
{\displaystyle (0<\alpha _{i}<\mu _{i},\;\operatorname {Re} (\beta _{i})>0,\;i=1,\dots ,n).}
Der Parameter
λ
n
{\displaystyle \lambda _{n}}
wurde nur aus rechnerischen Gründen eingeführt, man kann auch auf ihn verzichten.
Es gilt folgende Beziehung zur Gammafunktion
Fi
(
α
,
β
;
0
)
=
Γ
(
β
)
,
{\displaystyle \operatorname {Fi} (\alpha ,\beta ;0)=\Gamma (\beta ),}
Fi
(
0
,
β
;
x
)
=
e
x
Γ
(
β
)
.
{\displaystyle \operatorname {Fi} (0,\beta ;x)=e^{x}\Gamma (\beta ).}
Für
α
=
β
=
1
3
{\displaystyle \alpha =\beta ={\tfrac {1}{3}}}
erhält man folgende Beziehung zur Scorer-Funktion
Fi
(
1
3
,
1
3
;
x
)
=
3
2
/
3
π
Hi
(
3
−
1
/
3
x
)
.
{\displaystyle \operatorname {Fi} ({\tfrac {1}{3}},{\tfrac {1}{3}};x)=3^{2/3}\pi \operatorname {Hi} (3^{-1/3}x).}
Für
x
→
∞
{\displaystyle x\to \infty }
haben wir folgende Entwicklungen[ 4]
Fi
(
α
,
β
;
−
x
)
∼
Γ
(
β
/
α
)
α
y
β
/
α
,
{\displaystyle \operatorname {Fi} (\alpha ,\beta ;-x)\sim {\frac {\Gamma (\beta /\alpha )}{\alpha y^{\beta /\alpha }}},}
Fi
(
α
,
β
;
x
)
∼
(
2
π
1
−
α
)
1
/
2
(
α
x
)
(
2
β
−
1
)
/
(
2
−
2
α
)
exp
(
(
1
−
α
)
(
α
α
y
)
1
/
(
1
−
α
)
)
.
{\displaystyle \operatorname {Fi} (\alpha ,\beta ;x)\sim \left({\frac {2\pi }{1-\alpha }}\right)^{1/2}(\alpha x)^{(2\beta -1)/(2-2\alpha )}\exp \left((1-\alpha )(\alpha ^{\alpha }y)^{1/(1-\alpha )}\right).}
↑ Frank W. J. Olver: Asymptotics and Special Functions . Hrsg.: A K Peters/CRC Press. 1997, S. 332 , doi :10.1201/9781439864548 .
↑ Hilding Faxén: Einwirkung der Gefässwände auf den Widerstand gegen die Bewegung einer kleinen Kugel in einer zähen Flüssigkeit . Hrsg.: Universität Uppsala . 1921 (kb.se – Doktorarbeit).
↑ Richard Bruce Paris: Asymptotic expansion of n-dimensional Faxén-type integrals . In: A K Peters/CRC Press (Hrsg.): European Journal of Pure and Applied Mathematics . Band 3 , Nr. 6 , 2010, S. 1006–1031 (ejpam.com ).
↑ D. Kaminski und Richard B. Paris: Asymptotics via iterated Mellin–Barnes integrals: Application to the generalised Faxén integral . In: Methods and applications of analysis . Band 4 , 1997, S. 311–325 (intlpress.com ).