Wigner semicircle
Probability density function
Cumulative distribution function
Parameters
R
>
0
{\displaystyle R>0\!}
radius (real ) Support
x
∈
[
−
R
;
+
R
]
{\displaystyle x\in [-R;+R]\!}
PDF
2
π
R
2
R
2
−
x
2
{\displaystyle {\frac {2}{\pi R^{2}}}\,{\sqrt {R^{2}-x^{2}}}\!}
CDF
1
2
+
x
R
2
−
x
2
π
R
2
+
arcsin
(
x
R
)
π
{\displaystyle {\frac {1}{2}}+{\frac {x{\sqrt {R^{2}-x^{2}}}}{\pi R^{2}}}+{\frac {\arcsin \!\left({\frac {x}{R}}\right)}{\pi }}\!}
−
R
≤
x
≤
R
{\displaystyle -R\leq x\leq R}
Mean
0
{\displaystyle 0\,}
Median
0
{\displaystyle 0\,}
Mode
0
{\displaystyle 0\,}
Variance
R
2
4
{\displaystyle {\frac {R^{2}}{4}}\!}
Skewness
0
{\displaystyle 0\,}
Excess kurtosis
−
1
{\displaystyle -1\,}
Entropy
ln
(
π
R
)
−
1
2
{\displaystyle \ln(\pi R)-{\frac {1}{2}}\,}
MGF
2
I
1
(
R
t
)
R
t
{\displaystyle 2\,{\frac {I_{1}(R\,t)}{R\,t}}}
CF
2
J
1
(
R
t
)
R
t
{\displaystyle 2\,{\frac {J_{1}(R\,t)}{R\,t}}}
The Wigner semicircle distribution , named after the physicist Eugene Wigner , is the probability distribution supported on the interval [−R , R ] the graph of whose probability density function f is a semicircle of radius R centered at (0, 0) and then suitably normalized (so that it is really a semi-ellipse):
f
(
x
)
=
2
π
R
2
R
2
−
x
2
{\displaystyle f(x)={2 \over \pi R^{2}}{\sqrt {R^{2}-x^{2}\,}}\,}
for −R ≤ x ≤ R , and f (x ) = 0 if |x| > R .
This distribution arises as the limiting distribution of eigenvalues of many random symmetric matrices as the size of the matrix approaches infinity.
It is a scaled beta distribution , more precisely, if Y is beta distributed with parameters α = β = 3/2, then X = 2RY – R has the above Wigner semicircle distribution.
A higher-dimensional generalization is a parabolic distribution in three dimensional space, namely the marginal distribution function of a spherical (parametric) distribution[ 1] [ 2]
f
X
,
Y
,
Z
(
x
,
y
,
z
)
=
3
4
π
,
x
2
+
y
2
+
z
2
≤
1
,
{\displaystyle f_{X,Y,Z}(x,y,z)={\frac {3}{4\pi }},\qquad \qquad x^{2}+y^{2}+z^{2}\leq 1,}
f
X
(
x
)
=
∫
−
1
−
y
2
−
x
2
+
1
−
y
2
−
x
2
∫
−
1
−
x
2
+
1
−
x
2
3
d
y
4
π
=
3
(
1
−
x
2
)
/
4.
{\displaystyle f_{X}(x)=\int _{-{\sqrt {1-y^{2}-x^{2}}}}^{+{\sqrt {1-y^{2}-x^{2}}}}\int _{-{\sqrt {1-x^{2}}}}^{+{\sqrt {1-x^{2}}}}{\frac {3\mathrm {d} y}{4\pi }}=3(1-x^{2})/4.}
Note that R=1.
While Wigner's semicircle distribution pertains to the distribution of eigenvalues, Wigner surmise deals with the probability density of the differences between consecutive eigenvalues.
General properties
The Chebyshev polynomials of the second kind are orthogonal polynomials with respect to the Wigner semicircle distribution.
For positive integers n , the 2n -th moment of this distribution is
E
(
X
2
n
)
=
(
R
2
)
2
n
C
n
{\displaystyle E(X^{2n})=\left({R \over 2}\right)^{2n}C_{n}\,}
where X is any random variable with this distribution and C n n th Catalan number
C
n
=
1
n
+
1
(
2
n
n
)
,
{\displaystyle C_{n}={1 \over n+1}{2n \choose n},\,}
so that the moments are the Catalan numbers if R = 2. (Because of symmetry, all of the odd-order moments are zero.)
Making the substitution
x
=
R
cos
(
θ
)
{\displaystyle x=R\cos(\theta )}
moment generating function it can be seen that:
M
(
t
)
=
2
π
∫
0
π
e
R
t
cos
(
θ
)
sin
2
(
θ
)
d
θ
{\displaystyle M(t)={\frac {2}{\pi }}\int _{0}^{\pi }e^{Rt\cos(\theta )}\sin ^{2}(\theta )\,d\theta }
which can be solved (see Abramowitz and Stegun §9.6.18)
to yield:
M
(
t
)
=
2
I
1
(
R
t
)
R
t
{\displaystyle M(t)=2\,{\frac {I_{1}(Rt)}{Rt}}}
where
I
1
(
z
)
{\displaystyle I_{1}(z)}
Bessel function . Similarly, the characteristic function is given by:[ 3] [ 4]
φ
(
t
)
=
2
J
1
(
R
t
)
R
t
{\displaystyle \varphi (t)=2\,{\frac {J_{1}(Rt)}{Rt}}}
where
J
1
(
z
)
{\displaystyle J_{1}(z)}
§9.1.20) , noting that the corresponding integral involving
sin
(
R
t
cos
(
θ
)
)
{\displaystyle \sin(Rt\cos(\theta ))}
In the limit of
R
{\displaystyle R}
Dirac delta function .
Relation to free probability
In free probability theory, the role of Wigner's semicircle distribution is analogous to that of the normal distribution in classical probability theory. Namely,
in free probability theory, the role of cumulants is occupied by "free cumulants", whose relation to ordinary cumulants is simply that the role of the set of all partitions of a finite set in the theory of ordinary cumulants is replaced by the set of all noncrossing partitions of a finite set. Just as the cumulants of degree more than 2 of a probability distribution are all zero if and only if the distribution is normal, so also, the free cumulants of degree more than 2 of a probability distribution are all zero if and only if the distribution is Wigner's semicircle distribution.
Wigner parabolic Parameters
R
>
0
{\displaystyle R>0\!}
radius (real ) Support
x
∈
[
−
R
;
+
R
]
{\displaystyle x\in [-R;+R]\!}
PDF
3
4
R
3
(
R
2
−
x
2
)
{\displaystyle {\frac {3}{4R^{3}}}\,(R^{2}-x^{2})}
CDF
1
4
R
3
(
2
R
−
x
)
(
R
+
x
)
2
{\displaystyle {\frac {1}{4R^{3}}}\,(2R-x)\,(R+x)^{2}}
MGF
3
i
1
(
R
t
)
R
t
{\displaystyle 3\,{\frac {i_{1}(R\,t)}{R\,t}}}
CF
3
j
1
(
R
t
)
R
t
{\displaystyle 3\,{\frac {j_{1}(R\,t)}{R\,t}}}
The parabolic probability distribution [citation needed supported on the interval [−R , R ] of radius R centered at (0, 0):
f
(
x
)
=
3
4
R
3
(
R
2
−
x
2
)
{\displaystyle f(x)={3 \over \ 4R^{3}}{(R^{2}-x^{2})}\,}
for −R ≤ x ≤ R , and f (x ) = 0 if |x| > R .
Example. The joint distribution is
∫
0
π
∫
0
+
2
π
∫
0
R
f
X
,
Y
,
Z
(
x
,
y
,
z
)
R
2
d
r
s
i
n
(
θ
)
d
θ
d
ϕ
=
1
;
{\displaystyle \int _{0}^{\pi }\int _{0}^{+2\pi }\int _{0}^{R}f_{X,Y,Z}(x,y,z)R^{2}drsin(\theta )d\theta d\phi =1;}
f
X
,
Y
,
Z
(
x
,
y
,
z
)
=
3
4
π
{\displaystyle f_{X,Y,Z}(x,y,z)={\frac {3}{4\pi }}}
Hence, the marginal PDF of the spherical (parametric) distribution is [ 1]
f
X
(
x
)
=
∫
−
1
−
y
2
−
x
2
+
1
−
y
2
−
x
2
∫
−
1
−
x
2
+
1
−
x
2
f
X
,
Y
,
Z
(
x
,
y
,
z
)
d
y
d
z
;
{\displaystyle f_{X}(x)=\int _{-{\sqrt {1-y^{2}-x^{2}}}}^{+{\sqrt {1-y^{2}-x^{2}}}}\int _{-{\sqrt {1-x^{2}}}}^{+{\sqrt {1-x^{2}}}}f_{X,Y,Z}(x,y,z)dydz;}
f
X
(
x
)
=
∫
−
1
−
x
2
+
1
−
x
2
2
1
−
y
2
−
x
2
d
y
;
{\displaystyle f_{X}(x)=\int _{-{\sqrt {1-x^{2}}}}^{+{\sqrt {1-x^{2}}}}2{\sqrt {1-y^{2}-x^{2}}}dy\,;}
f
X
(
x
)
=
3
4
(
1
−
x
2
)
;
{\displaystyle f_{X}(x)={3 \over \ 4}{(1-x^{2})}\,;}
The characteristic function of a spherical distribution becomes the pattern multiplication of the expected values of the distributions in X, Y and Z.
The parabolic Wigner distribution is also considered the monopole moment of the hydrogen like atomic orbitals.
Wigner n-sphere distribution
The normalized N-sphere probability density function supported on the interval [−1, 1] of radius 1 centered at (0, 0):
f
n
(
x
;
n
)
=
(
1
−
x
2
)
(
n
−
1
)
/
2
Γ
(
1
+
n
/
2
)
π
Γ
(
(
n
+
1
)
/
2
)
(
n
>=
−
1
)
{\displaystyle f_{n}(x;n)={(1-x^{2})^{(n-1)/2}\Gamma (1+n/2) \over {\sqrt {\pi }}\Gamma ((n+1)/2)}\,(n>=-1)}
for −1 ≤ x ≤ 1, and f (x ) = 0 if |x| > 1.
Example. The joint distribution is
∫
−
1
−
y
2
−
x
2
+
1
−
y
2
−
x
2
∫
−
1
−
x
2
+
1
−
x
2
∫
0
1
f
X
,
Y
,
Z
(
x
,
y
,
z
)
1
−
x
2
−
y
2
−
z
2
(
n
)
d
x
d
y
d
z
=
1
;
{\displaystyle \int _{-{\sqrt {1-y^{2}-x^{2}}}}^{+{\sqrt {1-y^{2}-x^{2}}}}\int _{-{\sqrt {1-x^{2}}}}^{+{\sqrt {1-x^{2}}}}\int _{0}^{1}f_{X,Y,Z}(x,y,z){{\sqrt {1-x^{2}-y^{2}-z^{2}}}^{(n)}}dxdydz=1;}
f
X
,
Y
,
Z
(
x
,
y
,
z
)
=
3
4
π
{\displaystyle f_{X,Y,Z}(x,y,z)={\frac {3}{4\pi }}}
Hence, the marginal PDF distribution is [ 1]
f
X
(
x
;
n
)
=
(
1
−
x
2
)
(
n
−
1
)
/
2
)
Γ
(
1
+
n
/
2
)
π
Γ
(
(
n
+
1
)
/
2
)
;
{\displaystyle f_{X}(x;n)={(1-x^{2})^{(n-1)/2)}\Gamma (1+n/2) \over \ {\sqrt {\pi }}\Gamma ((n+1)/2)}\,;}
The cumulative distribution function (CDF) is
F
X
(
x
)
=
2
x
Γ
(
1
+
n
/
2
)
2
F
1
(
1
/
2
,
(
1
−
n
)
/
2
;
3
/
2
;
x
2
)
π
Γ
(
(
n
+
1
)
/
2
)
;
{\displaystyle F_{X}(x)={2x\Gamma (1+n/2)_{2}F_{1}(1/2,(1-n)/2;3/2;x^{2}) \over \ {\sqrt {\pi }}\Gamma ((n+1)/2)}\,;}
The characteristic function (CF) of the PDF is related to the beta distribution as shown below
C
F
(
t
;
n
)
=
1
F
1
(
n
/
2
,
;
n
;
j
t
/
2
)
⌝
(
α
=
β
=
n
/
2
)
;
{\displaystyle CF(t;n)={_{1}F_{1}(n/2,;n;jt/2)}\,\urcorner (\alpha =\beta =n/2);}
In terms of Bessel functions this is
C
F
(
t
;
n
)
=
Γ
(
n
/
2
+
1
)
J
n
/
2
(
t
)
/
(
t
/
2
)
(
n
/
2
)
⌝
(
n
>=
−
1
)
;
{\displaystyle CF(t;n)={\Gamma (n/2+1)J_{n/2}(t)/(t/2)^{(n/2)}}\,\urcorner (n>=-1);}
Raw moments of the PDF are
μ
N
′
(
n
)
=
∫
−
1
+
1
x
N
f
X
(
x
;
n
)
d
x
=
(
1
+
(
−
1
)
N
)
Γ
(
1
+
n
/
2
)
2
π
Γ
(
(
2
+
n
+
N
)
/
2
)
;
{\displaystyle \mu '_{N}(n)=\int _{-1}^{+1}x^{N}f_{X}(x;n)dx={(1+(-1)^{N})\Gamma (1+n/2) \over \ {2{\sqrt {\pi }}}\Gamma ((2+n+N)/2)};}
Central moments are
μ
0
(
x
)
=
1
{\displaystyle \mu _{0}(x)=1}
μ
1
(
n
)
=
μ
1
′
(
n
)
{\displaystyle \mu _{1}(n)=\mu _{1}'(n)}
μ
2
(
n
)
=
μ
2
′
(
n
)
−
μ
1
′
2
(
n
)
{\displaystyle \mu _{2}(n)=\mu _{2}'(n)-\mu _{1}'^{2}(n)}
μ
3
(
n
)
=
2
μ
1
′
3
(
n
)
−
3
μ
1
′
(
n
)
μ
2
′
(
n
)
+
μ
3
′
(
n
)
{\displaystyle \mu _{3}(n)=2\mu _{1}'^{3}(n)-3\mu _{1}'(n)\mu _{2}'(n)+\mu _{3}'(n)}
μ
4
(
n
)
=
−
3
μ
1
′
4
(
n
)
+
6
μ
1
′
2
(
n
)
μ
2
′
(
n
)
−
4
μ
1
′
(
n
)
μ
3
′
(
n
)
+
μ
4
′
(
n
)
{\displaystyle \mu _{4}(n)=-3\mu _{1}'^{4}(n)+6\mu _{1}'^{2}(n)\mu _{2}'(n)-4\mu '_{1}(n)\mu '_{3}(n)+\mu '_{4}(n)}
The corresponding probability moments (mean, variance, skew, kurtosis and excess-kurtosis) are:
μ
(
x
)
=
μ
1
′
(
x
)
=
0
{\displaystyle \mu (x)=\mu _{1}'(x)=0}
σ
2
(
n
)
=
μ
2
′
(
n
)
−
μ
2
(
n
)
=
1
/
(
2
+
n
)
{\displaystyle \sigma ^{2}(n)=\mu _{2}'(n)-\mu ^{2}(n)=1/(2+n)}
γ
1
(
n
)
=
μ
3
/
μ
2
3
/
2
=
0
{\displaystyle \gamma _{1}(n)=\mu _{3}/\mu _{2}^{3/2}=0}
β
2
(
n
)
=
μ
4
/
μ
2
2
=
3
(
2
+
n
)
/
(
4
+
n
)
{\displaystyle \beta _{2}(n)=\mu _{4}/\mu _{2}^{2}=3(2+n)/(4+n)}
γ
2
(
n
)
=
μ
4
/
μ
2
2
−
3
=
−
6
/
(
4
+
n
)
{\displaystyle \gamma _{2}(n)=\mu _{4}/\mu _{2}^{2}-3=-6/(4+n)}
Raw moments of the characteristic function are:
μ
N
′
(
n
)
=
μ
N
;
E
′
(
n
)
+
μ
N
;
O
′
(
n
)
=
∫
−
1
+
1
c
o
s
N
(
x
t
)
f
X
(
x
;
n
)
d
x
+
∫
−
1
+
1
s
i
n
N
(
x
t
)
f
X
(
x
;
n
)
d
x
;
{\displaystyle \mu '_{N}(n)=\mu '_{N;E}(n)+\mu '_{N;O}(n)=\int _{-1}^{+1}cos^{N}(xt)f_{X}(x;n)dx+\int _{-1}^{+1}sin^{N}(xt)f_{X}(x;n)dx;}
For an even distribution the moments are
μ
1
′
(
t
;
n
:
E
)
=
C
F
(
t
;
n
)
{\displaystyle \mu _{1}'(t;n:E)=CF(t;n)}
μ
1
′
(
t
;
n
:
O
)
=
0
{\displaystyle \mu _{1}'(t;n:O)=0}
μ
1
′
(
t
;
n
)
=
C
F
(
t
;
n
)
{\displaystyle \mu _{1}'(t;n)=CF(t;n)}
μ
2
′
(
t
;
n
:
E
)
=
1
/
2
(
1
+
C
F
(
2
t
;
n
)
)
{\displaystyle \mu _{2}'(t;n:E)=1/2(1+CF(2t;n))}
μ
2
′
(
t
;
n
:
O
)
=
1
/
2
(
1
−
C
F
(
2
t
;
n
)
)
{\displaystyle \mu _{2}'(t;n:O)=1/2(1-CF(2t;n))}
μ
2
′
(
t
;
n
)
=
1
{\displaystyle \mu '_{2}(t;n)=1}
μ
3
′
(
t
;
n
:
E
)
=
(
C
F
(
3
t
)
+
3
C
F
(
t
;
n
)
)
/
4
{\displaystyle \mu _{3}'(t;n:E)=(CF(3t)+3CF(t;n))/4}
μ
3
′
(
t
;
n
:
O
)
=
0
{\displaystyle \mu _{3}'(t;n:O)=0}
μ
3
′
(
t
;
n
)
=
(
C
F
(
3
t
;
n
)
+
3
C
F
(
t
;
n
)
)
/
4
{\displaystyle \mu _{3}'(t;n)=(CF(3t;n)+3CF(t;n))/4}
μ
4
′
(
t
;
n
:
E
)
=
(
3
+
4
C
F
(
2
t
;
n
)
+
C
F
(
4
t
;
n
)
)
/
8
{\displaystyle \mu _{4}'(t;n:E)=(3+4CF(2t;n)+CF(4t;n))/8}
μ
4
′
(
t
;
n
:
O
)
=
(
3
−
4
C
F
(
2
t
;
n
)
+
C
F
(
4
t
;
n
)
)
/
8
{\displaystyle \mu _{4}'(t;n:O)=(3-4CF(2t;n)+CF(4t;n))/8}
μ
4
′
(
t
;
n
)
=
(
3
+
C
F
(
4
t
;
n
)
)
/
4
{\displaystyle \mu _{4}'(t;n)=(3+CF(4t;n))/4}
Hence, the moments of the CF (provided N=1) are
μ
(
t
;
n
)
=
μ
1
′
(
t
)
=
C
F
(
t
;
n
)
=
0
F
1
(
2
+
n
2
,
−
t
2
4
)
{\displaystyle \mu (t;n)=\mu _{1}'(t)=CF(t;n)=_{0}F_{1}({2+n \over 2},-{t^{2} \over 4})}
σ
2
(
t
;
n
)
=
1
−
|
C
F
(
t
;
n
)
|
2
=
1
−
|
0
F
1
(
2
+
n
2
,
−
t
2
/
4
)
|
2
{\displaystyle \sigma ^{2}(t;n)=1-|CF(t;n)|^{2}=1-|_{0}F_{1}({2+n \over 2},-t^{2}/4)|^{2}}
γ
1
(
n
)
=
μ
3
μ
2
3
/
2
=
0
F
1
(
2
+
n
2
,
−
9
t
2
4
)
−
0
F
1
(
2
+
n
2
,
−
t
2
4
)
+
8
|
0
F
1
(
2
+
n
2
,
−
t
2
4
)
|
3
4
(
1
−
|
0
F
1
(
2
+
n
2
,
−
t
2
4
)
)
2
|
(
3
/
2
)
{\displaystyle \gamma _{1}(n)={\mu _{3} \over \mu _{2}^{3/2}}={_{0}F_{1}({2+n \over 2},-9{t^{2} \over 4})-_{0}F_{1}({2+n \over 2},-{t^{2} \over 4})+8|_{0}F_{1}({2+n \over 2},-{t^{2} \over 4})|^{3} \over 4(1-|_{0}F_{1}({2+n \over 2},-{t^{2} \over 4}))^{2}|^{(3/2)}}}
β
2
(
n
)
=
μ
4
μ
2
2
=
3
+
0
F
1
(
2
+
n
2
,
−
4
t
2
)
−
(
4
0
F
1
(
2
+
n
2
,
−
t
2
4
)
(
0
F
1
(
2
+
n
2
,
−
9
t
2
4
)
)
+
3
0
F
1
(
2
+
n
2
,
−
t
2
4
)
(
−
1
+
|
0
F
1
(
2
+
n
2
,
−
t
2
4
|
2
)
)
4
(
−
1
+
|
0
F
1
(
2
+
n
2
,
−
t
2
4
)
)
2
|
2
{\displaystyle \beta _{2}(n)={\mu _{4} \over \mu _{2}^{2}}={3+_{0}F_{1}({2+n \over 2},-4t^{2})-(4_{0}F_{1}({2+n \over 2},-{t^{2} \over 4})(_{0}F_{1}({2+n \over 2},-9{t^{2} \over 4}))+3_{0}F_{1}({2+n \over 2},-{t^{2} \over 4})(-1+|_{0}F_{1}({2+n \over 2},-{t^{2} \over 4}|^{2})) \over 4(-1+|_{0}F_{1}({2+n \over 2},-{t^{2} \over 4}))^{2}|^{2}}}
γ
2
(
n
)
=
μ
4
/
μ
2
2
−
3
=
−
9
+
0
F
1
(
2
+
n
2
,
−
4
t
2
)
−
(
4
0
F
1
(
2
+
n
2
,
−
t
2
/
4
)
(
0
F
1
(
2
+
n
2
,
−
9
t
2
4
)
)
−
9
0
F
1
(
2
+
n
2
,
−
t
2
4
)
+
6
|
0
F
1
(
2
+
n
2
,
−
t
2
4
|
3
)
4
(
−
1
+
|
0
F
1
(
2
+
n
2
,
−
t
2
4
)
)
2
|
2
{\displaystyle \gamma _{2}(n)=\mu _{4}/\mu _{2}^{2}-3={-9+_{0}F_{1}({2+n \over 2},-4t^{2})-(4_{0}F_{1}({2+n \over 2},-t^{2}/4)(_{0}F_{1}({2+n \over 2},-9{t^{2} \over 4}))-9_{0}F_{1}({2+n \over 2},-{t^{2} \over 4})+6|_{0}F_{1}({2+n \over 2},-{t^{2} \over 4}|^{3}) \over 4(-1+|_{0}F_{1}({2+n \over 2},-{t^{2} \over 4}))^{2}|^{2}}}
Skew and Kurtosis can also be simplified in terms of Bessel functions.
The entropy is calculated as
H
N
(
n
)
=
∫
−
1
+
1
f
X
(
x
;
n
)
ln
(
f
X
(
x
;
n
)
)
d
x
{\displaystyle H_{N}(n)=\int _{-1}^{+1}f_{X}(x;n)\ln(f_{X}(x;n))dx}
The first 5 moments (n=-1 to 3), such that R=1 are
−
ln
(
2
/
π
)
;
n
=
−
1
{\displaystyle \ -\ln(2/\pi );n=-1}
−
ln
(
2
)
;
n
=
0
{\displaystyle \ -\ln(2);n=0}
−
1
/
2
+
ln
(
π
)
;
n
=
1
{\displaystyle \ -1/2+\ln(\pi );n=1}
5
/
3
−
ln
(
3
)
;
n
=
2
{\displaystyle \ 5/3-\ln(3);n=2}
−
7
/
4
−
ln
(
1
/
3
π
)
;
n
=
3
{\displaystyle \ -7/4-\ln(1/3\pi );n=3}
N-sphere Wigner distribution with odd symmetry applied
The marginal PDF distribution with odd symmetry is [ 1]
f
X
(
x
;
n
)
=
(
1
−
x
2
)
(
n
−
1
)
/
2
)
Γ
(
1
+
n
/
2
)
π
Γ
(
(
n
+
1
)
/
2
)
sgn
(
x
)
;
{\displaystyle f{_{X}}(x;n)={(1-x^{2})^{(n-1)/2)}\Gamma (1+n/2) \over \ {\sqrt {\pi }}\Gamma ((n+1)/2)}\operatorname {sgn}(x)\,;}
Hence, the CF is expressed in terms of Struve functions
C
F
(
t
;
n
)
=
Γ
(
n
/
2
+
1
)
H
n
/
2
(
t
)
/
(
t
/
2
)
(
n
/
2
)
⌝
(
n
>=
−
1
)
;
{\displaystyle CF(t;n)={\Gamma (n/2+1)H_{n/2}(t)/(t/2)^{(n/2)}}\,\urcorner (n>=-1);}
"The Struve function arises in the problem of the rigid-piston radiator mounted in an infinite baffle, which has radiation impedance given by" [ 5]
Z
=
ρ
c
π
a
2
[
R
1
(
2
k
a
)
−
i
X
1
(
2
k
a
)
]
,
{\displaystyle Z={\rho c\pi a^{2}[R_{1}(2ka)-iX_{1}(2ka)],}}
R
1
=
1
−
2
J
1
(
x
)
2
x
,
{\displaystyle R_{1}={1-{2J_{1}(x) \over 2x},}}
X
1
=
2
H
1
(
x
)
x
,
{\displaystyle X_{1}={{2H_{1}(x) \over x},}}
The normalized received signal strength is defined as
|
R
|
=
1
N
|
∑
k
=
1
N
exp
[
i
x
n
t
]
|
{\displaystyle |R|={{1 \over N}|}\sum _{k=1}^{N}\exp[ix_{n}t]|}
and using standard quadrature terms
x
=
1
N
∑
k
=
1
N
cos
(
x
n
t
)
{\displaystyle x={1 \over N}\sum _{k=1}^{N}\cos(x_{n}t)}
y
=
1
N
∑
k
=
1
N
sin
(
x
n
t
)
{\displaystyle y={1 \over N}\sum _{k=1}^{N}\sin(x_{n}t)}
Hence, for an even distribution we expand the NRSS, such that x = 1 and y = 0, obtaining
x
2
+
y
2
=
x
+
3
2
y
2
−
3
2
x
y
2
+
1
2
x
2
y
2
+
O
(
y
3
)
+
O
(
y
3
)
(
x
−
1
)
+
O
(
y
3
)
(
x
−
1
)
2
+
O
(
x
−
1
)
3
{\displaystyle {\sqrt {x^{2}+y^{2}}}=x+{3 \over 2}y^{2}-{3 \over 2}xy^{2}+{1 \over 2}x^{2}y^{2}+O(y^{3})+O(y^{3})(x-1)+O(y^{3})(x-1)^{2}+O(x-1)^{3}}
The expanded form of the Characteristic function of the received signal strength becomes [ 6]
E
[
x
]
=
1
N
C
F
(
t
;
n
)
{\displaystyle E[x]={1 \over N}CF(t;n)}
E
[
y
2
]
=
1
2
N
(
1
−
C
F
(
2
t
;
n
)
)
{\displaystyle E[y^{2}]={1 \over 2N}(1-CF(2t;n))}
E
[
x
2
]
=
1
2
N
(
1
+
C
F
(
2
t
;
n
)
)
{\displaystyle E[x^{2}]={1 \over 2N}(1+CF(2t;n))}
E
[
x
y
2
]
=
t
2
3
N
2
C
F
(
t
;
n
)
3
+
(
N
−
1
2
N
2
)
(
1
−
t
C
F
(
2
t
;
n
)
)
C
F
(
t
;
n
)
{\displaystyle E[xy^{2}]={t^{2} \over 3N^{2}}CF(t;n)^{3}+({N-1 \over 2N^{2}})(1-tCF(2t;n))CF(t;n)}
E
[
x
2
y
2
]
=
1
8
N
3
(
1
−
C
F
(
4
t
;
n
)
)
+
(
N
−
1
4
N
3
)
(
1
−
C
F
(
2
t
;
n
)
2
)
+
(
N
−
1
3
N
3
)
t
2
C
F
(
t
;
n
)
4
+
(
(
N
−
1
)
(
N
−
2
)
N
3
)
C
F
(
t
;
n
)
2
(
1
−
C
F
(
2
t
;
n
)
)
{\displaystyle E[x^{2}y^{2}]={1 \over 8N^{3}}(1-CF(4t;n))+({N-1 \over 4N^{3}})(1-CF(2t;n)^{2})+({N-1 \over 3N^{3}})t^{2}CF(t;n)^{4}+({(N-1)(N-2) \over N^{3}})CF(t;n)^{2}(1-CF(2t;n))}
See also
References
^ a b c d Buchanan, K.; Huff, G. H. (July 2011). "A comparison of geometrically bound random arrays in euclidean space" . 2011 IEEE International Symposium on Antennas and Propagation (APSURSI) : 2008–2011. doi :10.1109/APS.2011.5996900 . ISBN 978-1-4244-9563-4 ^ Buchanan, K.; Flores, C.; Wheeland, S.; Jensen, J.; Grayson, D.; Huff, G. (May 2017). "Transmit beamforming for radar applications using circularly tapered random arrays" . 2017 IEEE Radar Conference (RadarConf) : 0112–0117. doi :10.1109/RADAR.2017.7944181 . ISBN 978-1-4673-8823-8 ^ https://ieeexplore.ieee.org/document/7944181/ ^ https://oaktrust.library.tamu.edu/handle/1969.1/157918 ^ W., Weisstein, Eric. "Struve Function" . mathworld.wolfram.com . Retrieved 2017-07-28 . {{cite web }}: CS1 maint: multiple names: authors list (link )^ "Advanced Beamforming for Distributed and Multi-Beam Networks" (PDF) .
External links
Discrete
with finite with infinite
Continuous
supported on a supported on a supported with support
Mixed
Multivariate Directional Degenerate singular Families
![{\displaystyle x\in [-R;+R]\!}](https://wikimedia.org/enwiki/api/rest_v1/media/math/render/svg/3105e8d28b7609d6a4562c205f8431c29be1404c)
%3D_90_0figure92.png)
%3D_90_0_AmplitudeType%3D_Zernike_2D_ModeNumber%3D_0figure9.png)
![{\displaystyle Z={\rho c\pi a^{2}[R_{1}(2ka)-iX_{1}(2ka)],}}](https://wikimedia.org/enwiki/api/rest_v1/media/math/render/svg/fc77de73b171b5bbc9a0fc5ae5f52609fc38052c)
![{\displaystyle |R|={{1 \over N}|}\sum _{k=1}^{N}\exp[ix_{n}t]|}](https://wikimedia.org/enwiki/api/rest_v1/media/math/render/svg/e2e3f8c0532c5a4a78398f6431e31d35613648ff)
![{\displaystyle E[x]={1 \over N}CF(t;n)}](https://wikimedia.org/enwiki/api/rest_v1/media/math/render/svg/7c01b1883bc7fe7e05702ee3b12647f01408199c)
![{\displaystyle E[y^{2}]={1 \over 2N}(1-CF(2t;n))}](https://wikimedia.org/enwiki/api/rest_v1/media/math/render/svg/083e2407aa2415a98987f6a7e81e97e96fe1cc2b)
![{\displaystyle E[x^{2}]={1 \over 2N}(1+CF(2t;n))}](https://wikimedia.org/enwiki/api/rest_v1/media/math/render/svg/617a58c32996c7c8255cc1153038f4035aeb9573)
![{\displaystyle E[xy^{2}]={t^{2} \over 3N^{2}}CF(t;n)^{3}+({N-1 \over 2N^{2}})(1-tCF(2t;n))CF(t;n)}](https://wikimedia.org/enwiki/api/rest_v1/media/math/render/svg/9221f89cf8778847adc97d09b3c51e834d86a24a)
![{\displaystyle E[x^{2}y^{2}]={1 \over 8N^{3}}(1-CF(4t;n))+({N-1 \over 4N^{3}})(1-CF(2t;n)^{2})+({N-1 \over 3N^{3}})t^{2}CF(t;n)^{4}+({(N-1)(N-2) \over N^{3}})CF(t;n)^{2}(1-CF(2t;n))}](https://wikimedia.org/enwiki/api/rest_v1/media/math/render/svg/c0172aae6eb42741cf59802500858508264aa798)
