Professional Documents
Culture Documents
Complex Uncetain Rnadom Variable
Complex Uncetain Rnadom Variable
Complex Uncetain Rnadom Variable
DOI 10.1007/s00500-017-2717-1
FOCUS
123
R. Gao et al.
variance and pseudo-variance of a complex uncertain vari- Axiom 3 (Subadditivity Axiom) For every countable
able. Later Chen et al. (2016) studied the convergence of a sequence of events Λ1 , Λ2 , . . ., we have
sequence of complex uncertain variables. ∞
∞
In a complex system, randomness and uncertainty may
M Λi ≤ M{Λi }.
exist simultaneously. To deal with these situations, chance
i=1 i=1
theory introduced by Liu (2013a) was introduced including
concepts of chance measure, uncertain random variable, and Definition 1 (Liu 2007) The set function M is called an
chance distribution. The concepts of expected value and vari- uncertain measure if it satisfies the normality, duality, and
ance of an uncertain random variable were introduced by Liu subadditivity axioms.
(2013a). As an important contribution to chance theory, Liu
(2013b) put forward the operational law for uncertain ran- The triplet (Γ, L, M) is called an uncertainty space. Fur-
dom variables. Guo and Wang (2014) calculate the variance thermore, the product uncertain measure on the product
of an uncertain random variable using the uncertainty distri- σ -algebra L is defined by Liu (2009) as follows:
bution. For related work, the reader may consult Gao et al. Axiom 4 (Product Axiom) Let (Γk , Lk , Mk ) be uncertainty
(2017), Gao and Sheng (2016), Gao and Yao (2016a, b), Liu spaces for k = 1, 2, . . .. The product uncertain measure M
(2014), Liu and Ralescu (2014), Sheng and Yao (2014), Wen satisfies
and Kang (2016), and Yao and Gao (2016).
∞ ∞
In the framework of the results mentioned above, our paper
will present a new concept of complex uncertain random vari- M Λk = Mk {Λk }
able. The remainder of this paper is organized as follows: k=1 k=1
Sect. 2 will be devoted to reviewing some basic concepts
where Λk are arbitrary events chosen from Lk for k =
and properties of uncertain variables, complex uncertain vari-
1, 2, . . ., respectively.
ables and uncertain random variables. Section 3 will be used
to propose a concept of complex uncertain random variable Definition 2 (Liu 2007) An uncertain variable is a measur-
and study some properties. Complex chance distribution of able function ξ from an uncertainty space (Γ, L, M) to the
a complex uncertain random variable will be presented and set of real numbers, i.e., for any Borel set B of real numbers,
studied in Sect. 4. In addition, the expected value and variance the set
will be investigated in Sect. 5. We will define complex nor-
mal uncertain random variable and complex linear uncertain {ξ ∈ B} = {γ ∈ Γ |ξ(γ ) ∈ B}
random variable in Sect. 6. Finally, we give a short summary
in Sect. 7. is an event.
Definition 3 (Liu 2007) Suppose ξ is an uncertain variable.
Then the uncertainty distribution of ξ is defined by
2 Preliminary
Φ(x) = M {ξ ≤ x}
In this section, we will introduce some fundamental concepts
about uncertain variables, complex uncertain variables, and for any real number x.
uncertain random variables.
Next we introduce the definition of independence of uncer-
2.1 Uncertain variable tain variables.
Definition 4 (Liu 2009) The uncertain variables
Let Γ be a nonempty set, and L a σ -algebra over Γ . Each ξ1 , ξ2 , . . . , ξn are said to be independent if
element Λ in L is called an event and assigned a number
M{Λ} to indicate the belief degree that we believe Λ will
n
n
happen. In order to deal with belief degrees rationally, Liu M (ξi ∈ Bi ) = M {ξi ∈ Bi }
i=1 i=1
(2007) suggested the following axioms:
for any Borel sets B1 , B2 , . . . , Bn .
Axiom 1 (Normality Axiom) M{Γ } = 1 for the universal
set Γ ; An uncertainty distribution Φ(x) is said to be regular if
its inverse function Φ −1 (α) exists and is unique for each
Axiom 2 (Duality Axiom) M{Λ} + M{Λc } = 1 for every α ∈ (0, 1). And the inverse uncertainty distribution plays
event Λ; an important role in the operation of independent uncertain
variables.
123
Complex uncertain random variables
Theorem 1 (Liu 2010) Let ξ1 , ξ2 , . . . , ξn be independent Definition 6 (Peng 2012) A complex uncertain variable is a
uncertain variables with continuous uncertainty distribu- measurable function ξ from an uncertainty space (Γ, L, M)
tions Φ1 , Φ2 , . . . , Φn , respectively. If the function to the set of complex numbers, i.e., the set
f (x1 , x2 , . . . , xn ) is strictly increasing with respect to
x1 , x2 , . . . , xm and strictly decreasing with respect to {ξ ∈ B} = {γ ∈ Γ |ξ(γ ) ∈ B}
xm+1 , xm+2 , . . . , xn , then the uncertain variable
is an event for any Borel set B of complex numbers.
ξ = f (ξ1 , ξ2 , . . . , ξn ) Theorem 4 (Peng 2012) A variable ξ from an uncertainty
space (Γ, L, M) to the set of complex numbers is a complex
has the uncertainty distribution uncertain variable if and only if Re(ξ ) and Im(ξ ) are uncer-
tain variables where Re(ξ ) is the real part and Im(ξ ) is the
imaginary part of ξ .
Φ(x) = sup min Φi (x) ∧ min (1 − Φi (x)) . Definition 7 (Peng 2012) Let ξ be a complex uncertain
f (x1 ,x2 ,...,xn )=x 1≤i≤m m+1≤i≤n
variable. Then the complex uncertainty distribution of ξ is
Theorem 2 (Liu 2010) Let ξ1 , ξ2 , . . . , ξn be independent defined by
uncertain variables with regular uncertainty distributions
Φ(z) = M{Re(ξ ) ≤ x, Im(ξ ) ≤ y}
Φ1 , Φ2 , . . . , Φn , respectively. If the function f (x1 , x2 , . . . , xn )
is strictly increasing with respect to x1 , x2 , . . . , xm and
for any complex z = x + i y.
strictly decreasing with respect to xm+1 , xm+2 , . . . , xn , then
the uncertain variable Definition 8 (Peng 2012) Let ξ be a complex uncertain vari-
able. If the expected values of Re(ξ ) and Im(ξ ) exist, then
ξ = f (ξ1 , ξ2 , . . . , ξn ) the expected value of ξ is defined by
Definition 5 (Liu 2007) Let ξ be an uncertain variable. Then Liu (2013a) introduced chance theory in order to model
the expected value of ξ is defined by a complex system with both uncertainty and random-
ness, including chance measure, uncertain random vari-
+∞ 0 able, chance distribution, operational law, expected value.
E[ξ ] = M{ξ ≥ x}dx − M{ξ ≤ x}dx
0 −∞
A chance space refers to the product space (Γ, L, M) ×
(Ω, A, Pr), in which (Γ, L, M) is an uncertainty space and
provided that at least one of the two integrals is finite. (Ω, A, Pr) is a probability space.
Basically, it is another triplet,
Theorem 3 (Liu 2007) Let ξ be an uncertain variable with
uncertainty distribution Φ. If the expected value exists, then (Γ × Ω, L × A, M × Pr)
123
R. Gao et al.
Liu (2013a) proved that the chance measure Ch{Θ} is a Theorem 7 (Liu 2013a) Assume η1 , η2 , . . . , ηm are inde-
monotone increasing function of Θ and pendent random variables with probability distributions
Ψ1 , Ψ2 , . . . , Ψm , and τ1 , τ2 , . . . , τn are uncertain variables
Ch{Λ × A} = M{Λ} × Pr{A} (1) with uncertainty distributions Υ1 , Υ2 , . . ., Υn , respectively.
Then the uncertain random variable
for any Λ ∈ L and any A ∈ A. In particular
ξ = f (η1 , . . . , ηm , τ1 , . . . , τn )
Ch{∅} = 0, Ch{Γ × Ω} = 1.
has a chance distribution
She also proved that the chance measure is self-dual. That is,
for any event Θ, we have
Φ(x) = F(x; y1 , . . ., ym )dΨ1 (y1 ) . . . dΨm (ym )
m
Ch{Θ} + Ch{Θ c } = 1.
where F(x; y1 , . . . , ym ) is the uncertainty distribution of
In addition, Hou (2014) verified that the chance measure is uncertain variable
subadditive. That is, for any countable sequence of events f (y1 , . . . , ym , τ1 , · · · , τn ) for any real numbers y1 , . . . , ym .
Θ1 , Θ2 , . . ., we have
The expected value is the average value of an uncertain
∞ ∞
random variable in the sense of chance measure, and it rep-
Ch Θi ≤ Ch{Θi }. resents the size of an uncertain random variable.
i=1 i=1
Definition 13 (Liu 2013a) Let ξ be an uncertain random
Definition 11 (Liu 2013a) An uncertain random variable is variable. Then the expected value of ξ is defined by
a measurable function ξ from a chance space (Γ, L, M) ×
(Ω, A, Pr) to the set of real numbers, i.e., +∞ 0
E[ξ ] = Ch{ξ ≥ x}dx − Ch{ξ ≤ x}dx
0 −∞
{ξ ∈ B} = {(ω, γ ) ∈ Ω × Γ |ξ(ω, γ ) ∈ B}
provided that at least one of two integrals is finite.
is an event for any Borel set B.
Theorem 8 (Liu 2013a) Suppose ξ is an uncertain random
Theorem 5 (Liu 2013a) Let (Γ, L, M) × (Ω, A, Pr) be a
variable with chance distribution Φ. Then
chance space. Then
+∞ 0
Ch{Λ × A} = M{Λ} × Pr{A} E[ξ ] = (1 − Φ(x))dx − Φ(x)dx.
0 −∞
for any λ ∈ L and any A ∈ A. Theorem 9 (Liu 2015) Assume ξ is an uncertain random
Theorem 6 (Liu 2013a) Let ξ be an uncertain random vari- variable with chance distribution Φ. Then
able on the chance space (Γ, L, M) × (Ω, A, Pr), and let B +∞
be a Borel set. Then {ξ ∈ B} is an uncertain random event E[ξ ] = xdΦ(x).
with chance measure −∞
123
Complex uncertain random variables
experts to estimate such numerical quantities. Complex ran- Example 4 If ξ is a complex uncertain random variable, then
dom variables were used to model such complex quantities. ξ , Re(ξ ) and Im(ξ ) are all uncertain random variables.
However, complex random variables are always sufficient.
Theorem 12 A map ξ from a chance space (Γ × Ω, L ×
Peng (2012) studied complex uncertain variables under the
A, M × Pr) to C is a complex uncertain random variable if
framework of uncertainty theory. We present a concept of
and only if there exist uncertain random variables η and τ
complex uncertain random variable.
satisfying
Definition 14 A complex uncertain random variable is a
function ξ from a chance space (Γ × Ω, L × A, M × Pr) to ξ = η + iτ, i 2 = −1. (2)
the set of complex numbers such that {ξ ∈ B} = {(γ , ω) ∈
Γ × Ω|ξ(γ , ω) ∈ B} is an event in Γ × Ω for any Borel Set Proof First, if ξ is a complex uncertain random variable,
B of complex numbers. then Re(ξ ) and Im(ξ ) are two uncertain random variables by
Theorem 11. Letting η = Re(ξ ) and τ = Im(ξ ), we obtain
Example 1 Take (Γ × Ω, L × A, M × Pr) to be ξ = η + iτ .
{(γ1 , ω1 ), (γ2 , ω2 )} with Ch{(γ1 , ω1 )} = Ch{(γ2 , ω2 )} = Secondly, suppose ξ is a map from a chance space to the
0.5. Then complex numbers and Re(ξ ), Im(ξ ) are uncertain random
variables defined on (Γ × Ω, L × A, M × Pr). Then we
0, (γ , ω) = (γ1 , ω1 )
ξ(γ , ω) = define
i, (γ , ω) = (γ2 , ω2 )
Example 2 Suppose η(ω) is a random variable and τ (γ ) is Since {Re(ξ ) ∈ (x1 , x2 )} and {Im(ξ ) ∈ (y1 , y2 )} are uncer-
an uncertain variable, then tain events on (Γ × Ω, L × A, M × Pr), we know that
is a complex uncertain random variable. is also an event. Obviously, G contains all the sets like {x +
Example 3 Suppose η(ω) is a random variable and τ (γ ) is yi|x ∈ (x1 , x2 ), y ∈ (y1 , y2 )}. Next we will show that G is a
an uncertain variable, then σ -algebra. (1) {ξ ∈ C = Γ × Ω} is an event, so C ∈ G. (2) If
B ∈ C, then B c ∈ C by {ξ ∈ B c } = {ξ ∈ B}c . (3) Suppose
ξ(γ , ω) = τ (γ ) + iη(ω) Bi ∈ G, i = 1, 2, . . . , that is, {ξ ∈ Bi }, i = 1, 2, . . . are
events on the chance space, we obtain that
is a complex uncertain random variable. ∞
∞
Definition 15 Let ξ and ζ be complex uncertain random ξ∈ Bi = {ξ ∈ Bi }
variables defined on the chance space (Γ × Ω, L × A, M × i=1 i=1
Pr). Then ξ = ζ if ξ(γ , ω) = ζ (γ , ω) for almost all
is an event. Thus, we have ∪i Bi ∈ G. It follows from (1)-(3)
(γ , ω) ∈ Γ × Ω.
that G is a σ -algebra. And G contains all open rectangles, so
Theorem 11 Let ξ be a complex uncertain random variable, G includes all Borel sets of complex numbers, that is, ξ is a
and let f : C → be a measurable function. Then f (ξ ) is complex uncertain random variable. The result is proved.
an uncertain random variable.
Theorem 13 Suppose ξ1 , ξ2 , . . . , ξn are complex uncertain
Proof Since f is measurable, f −1 (B) is a Borel set of com- random variables, and let f : Cn → C be a measurable
plex numbers for any Borel set B of real numbers. Since ξ function, then f (ξ1 , ξ2 , . . . , ξn ) is a complex uncertain ran-
is a complex uncertain random variable, for any Borel set dom variable.
f −1 (B) of complex numbers, the set
Proof Since f is a measurable function from Cn to C,
f −1 (B) is a Borel set of complex numbers for any Borel
{ξ ∈ f −1 (B)} = {(γ , ω) ∈ (Γ, Ω)|ξ(γ , ω) ∈ f −1 (B)}
Set B of complex numbers. Hence,
is an event, that is, the set
{(ξ1 (γ , ω), ξ2 (γ , ω), . . . , ξn (γ , ω)) ∈ f −1 (B)}
{ f (ξ ) ∈ B} = {(γ , ω) ∈ (Γ, Ω)| f (ξ(γ , ω)) ∈ B} = { f (ξ1 (γ , ω), ξ2 (γ , ω), . . . , ξn (γ , ω)) ∈ B}
is an event. It follows from Definition 14 that f (ξ ) is a com- is an event. From Definition 14, we know that f (ξ ) is a
plex uncertain random variable.
complex uncertain random variable.
123
R. Gao et al.
We use uncertainty distribution and chance distribution to Proof If ξ and τ are independent uncertain variables, then it
describe an uncertain variable and an uncertain random follows from the product axioms that ξ has a complex chance
variable, respectively. Similarly, we apply complex chance distribution
distribution to describe a complex uncertain random variable.
From Theorem 12, we know a complex uncertain random F(z) = M{ξ ≤ x, τ ≤ y} = M{ξ ≤ x} ∧ M{τ ≤ y} = Φ(x) ∧ Ψ (y)
variable can be expressed as (2). Next we will discuss the
complex chance distribution of a special type of a complex for any complex number z = x + i y.
uncertain random variable If ξ and τ are independent random variables, then ξ has a
complex chance distribution
ξ = η + iτ (3)
F(z) = Pr{ξ ≤ x, τ ≤ y} = Pr{ξ ≤ x} Pr{τ ≤ y} = Φ(x)Ψ (y)
where η is a random variable or an uncertain variable and τ
is also a random variable or an uncertain variable. for any complex number z = x + i y.
If one is an uncertain variable and the other is a random
Remark 1 If both η and τ are random variables, then ξ is
variable, then it follows from Theorem 5 that ξ has a complex
a complex random variable. If both ξ and τ are uncertain
chance distribution
variables, then ξ is a complex uncertain variable.
Definition 16 Let ξ be a complex uncertain random variable. F(z) = Ch{ξ ≤ x, τ ≤ y} = M{ξ ≤ x} × Pr{τ ≤ y} = Φ(x)Ψ (y)
Then, the complex chance distribution of ξ is defined by
or
F(z) = Ch {Re(ξ ) ≤ x, Im(ξ ) ≤ y}
F(z) = Ch{ξ ≤ x, τ ≤ y} = Pr{ξ ≤ x} × M{τ ≤ y} = Φ(x)Ψ (y)
for any complex number z = x + i y.
Example 5 Suppose ξ = η + iτ , η ∼ U (0, 1) is a random for any complex number z = x + i y. The proof is finished.
variable and τ ∼ L(0, 1) is an uncertain variable. Then, the
123
Complex uncertain random variables
Im(ζ ) are same type of variable and independent, then the for every x > 0. Then, we have
expected value of aξ + bζ exists and satisfies
M{|ξ − E(ξ )|2 = 0} = 1,
E[aξ + bζ ] = a E[(ξ )] + bE[(ζ )]
and the proof is finished.
where a, b ∈ C.
we have
Definition 20 Suppose η and τ are two variables, where one
M{|ξ − E(ξ )| ≥ x} = 0
2 is a uniform random variable and the other is a linear uncer-
tain variable. We call
for every x > 0. Due to the duality of uncertain measure, we
have ξ = η + iτ
123
R. Gao et al.
Theorem 19 Let ξ = η + iτ , where η ∼ U (a1 , b1 ) is a Gao R, Sheng YH (2016) Law of large numbers for uncertain random
uniform random variable and τ ∼ L(a2 , b2 ) is a linear variables with different chance distributions. J Intell Fuzzy Syst
31(3):1227–1234
uncertain variable. Then, the expected value of ξ is Gao R, Sun Y, Ralescu DA (2017) Order statistics of uncertain ran-
dom variables with application to k-out-of-n System. Fuzzy Optim
a1 + b1 a2 + b2 Decis Mak 16(2):159–181
E[ξ ] = +i .
2 2 Gao R, Yao K (2016) Importance index of components in uncertain
random systems. Knowl Based Syst 109:208–217
Proof Since η ∼ U (a1 , b1 ) is a random variable and τ ∼ Gao R, Yao K (2016) Importance index of components in uncertain
L(a2 , b2 ) is an uncertain variable, we have reliability systems. J Uncertain Anal Appl 4:7
Goodman NR (1963) Statistial analysis based on a certain multivariate
complex Gaussian distribution. Ann Math Stat 34(1):152–177
a1 + b1 a2 + b2
E[ξ ] = E[η] + i E[τ ] = +i . Guo HY, Wang XS (2014) Variance of uncertain random variables. J
2 2 Uncertain Anal Appl 2:6
Hou YC (2014) Subadditivity of chance measure. J Uncertain Anal
Appl. 2:14
Liu B (2007) Uncertain Theor, 2nd edn. Springer, Berlin
Theorem 20 Let ξ = η + iτ , where η ∼ L(a1 , b1 ) is a Liu B (2009) Some research problems in uncertainty theory. J Uncertain
linear uncertain variable and τ ∼ U (a2 , b2 ) is a uniform Syst 3(1):3–10
random variable. Then, the expected value of ξ is Liu B (2010) Uncertainty theory: a branch of mathematics for modeling
human uncertainty. Springer, Berlin
Liu B (2014) Uncertain random graph and uncertain random network.
a1 + b1 a2 + b2
E[ξ ] = +i . J Uncertain Syst 8(1):3–12
2 2 Liu B (2015) Uncertain Theor, 4th edn. Springer, Berlin
Liu YH (2013) Uncertain random variables: a mixture of uncertainty
Proof Similar to the proof above.
and randomness. Soft Comput 17(4):625–634
Liu YH (2013) Uncertain random programming with applications.
Fuzzy Optim Decis Mak 12(2):153–169
Liu YH, Ralescu DA (2014) Risk index in uncertain random risk anal-
7 Conclusions ysis. Int J Uncertain Fuzziness Knowl Based Syst 22(4):491–504
Pearlman W (1979) Polar quantization of a complex Gaussian random
This paper introduced a concept of complex uncertain ran- variable. IEEE Trans Commun 27(6):892–899
dom variable. For describing and ranking complex uncertain Peng ZX (2012) Complex uncertain variables, Doctoral Dissertation,
Tsinghua University
random variables, we have defined the complex chance distri- Turin GL (1960) The characteristic function of hermitian quadratic
bution and expected value, respectively. Moreover, a concept forms in complex normal variable. Biometrika 47:199–201
of variance of a complex uncertain random variable was pre- Wen ML, Kang R (2016) Reliability analysis in uncertain random sys-
sented. Finally, we defined and studied complex normal and tem. Fuzzy Optim Decis Mak 15(4):491–506
Wooding RA (1956) The multivariate distribution of complex normal
linear uncertain random variables. variable. Biometrica 43:212–215
Sheng YH, Yao K (2014) Some formulas of variance of uncertain ran-
Compliance of ethical standards dom variable. J Uncertain Anal Appl 2:12
Yao K, Gao JW (2016) Law of large numbers for uncertain random
Conflict of interests The authors declare that there is no conflict of variables. IEEE Trans Fuzzy Syst 24(3):615–621
interests regarding the publication of this paper.
Ethical approval This article does not contain any studies with human
participants performed by any of the authors.
References
123