39
Estimation of failure probability in higher- dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam, NL Tao Lin, Xiamen University, China Research partially supported by Fundação Calouste Gulbenkian FCT/POCTI/FEDER

Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

  • View
    214

  • Download
    1

Embed Size (px)

Citation preview

Page 1: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

Estimation of failure probability in higher-dimensional spaces

Ana Ferreira, UTL, Lisbon, PortugalLaurens de Haan, UL, Lisbon Portugal

and EUR, Rotterdam, NLTao Lin, Xiamen University, China

Research partially supported by

Fundação Calouste Gulbenkian

FCT/POCTI/FEDER – ERAS project

Page 2: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

2

A simple exampleA simple example• Take r.v.’s (R, Ф), independent,

and (X,Y) : = (R cos Ф, R sin Ф) .

• Take a Borel set A with positive distance to the origin.

• Write a A : = {a x : x A}.

• Clearly

Page 3: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

3

• Suppose: probability distribution of Ф unknown.

• We have i.i.d. observations (X1,Y1), ... (Xn,Yn), and a failure set A away from the observations in the NE corner.

• To estimate P{A} we may use a {a A} where is the empirical measure.

This is the main idea of estimation of failure set probability.

Page 4: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

4

Page 5: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

5

• Some device can fail under the combined influence of extreme behaviour of two random forces X and Y. For example: rain and wind.

• “Failure set” C: if (X, Y) falls into C, then failure takes place.

• “Extreme failure set”: none of the observations we have from the past falls into C. There has never been a failure.

• Estimate the probability of “extreme failure”

The problem:The problem:

Page 6: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

6

Page 7: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

7

A bit more formalA bit more formal• Suppose we have n i.i.d. observations (X1,Y1),

(X2,Y2), ... (Xn,Yn), with distribution function F and a failure set C.

• The fact “none of the n observations is in C” can be reflected in the theoretical assumption

P(C) < 1 / n .Hence C can not be fixed, we have

C = Cn

and P(Cn) = O (1/n) as n → ∞ .i.e. when n increases the set C moves, say, to the

NE corner.

Page 8: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

8

Domain of attraction condition EVTDomain of attraction condition EVTThere exist• Functions a1, a2 >0, b1, b2 real• Parameters 1 and 2

• A measure on the positive quadrant [0, ∞ ]2 \ {(0,0)} with

(a A) = a-1 (A) ⑴ for each Borel set A, such that

for each Borel set A⊂ with positive distance to the origin.

Page 9: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

9

RemarkRemark

Relation is as in the example⑴ .But here we have the marginal transformations

on top of that.

Page 10: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

10

Page 11: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

11

Page 12: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

12

Page 13: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

13

Hence two steps:Hence two steps:

1) Transformation of marginal distributions

2) Use of homogeneity property of υ

when pulling back the failure set.

Page 14: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

14

ConditionsConditions1) Domain of attraction:

2) We need estimators

with

for i = 1,2 with k k(n)→∞ , k/n → 0, n→∞ .

Page 15: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

15

3) Cn is open and there exists (vn , wn) ∈ Cn such that (x , y) ∈ Cn ⇒ x > vn or y > wn .

4) (stability condition on Cn ) The set

in does not depend on n where

Page 16: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

16

Further : S has positive distance from the origin.

Page 17: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

17

Page 18: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

18

Page 19: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

19

Before we go on, we simplify notation:

NotationNotation

• Note that

Page 20: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

20

With this notation we can write

Cond. 1' :

Cond. 4' :

Page 21: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

21

Then:

Condition 5 Sharpening of cond.1:

Condition 6 1 , 2 > 1 / 2 and

for i = 1,2 where

Page 22: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

22

The EstimatorThe Estimator Note that

Hence we propose the estimator

and we shall prove

Then

Page 23: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

23

More formally:More formally:• Write: pn: P {Cn}. Our estimator is

• Where

Page 24: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

24

TheoremTheorem

Under our conditions

as n→∞ provided (S) > 0.

Page 25: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

25

For the proof note that by Cond. 5

and

Hence it is sufficient to prove

and

For both we need the following fundamental Lemma.

Page 26: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

26

LemmaLemma

For all real γ and x > 0 , if γn → γ (n→∞ ) and cn ≥ c>0,

provided

Page 27: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

27

PropositionProposition

ProofProof RecallRecall

and

Combining the two we get

Page 28: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

28

The Lemma gives

Similarly

Hence

Ɯ

Page 29: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

29

Finally we need to prove

We do this in 3 steps.

Proposition 1Proposition 1 Define

We have

Page 30: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

30

ProofProofJust calculate the characteristic function and

apply Condition 1.

Proposition 2Proposition 2 Define

we have

Next apply Lebesgue’s dominated convergence Theorem.

ProofProof

By the Lemma → identity.

Page 31: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

31

Proposition 3Proposition 3

The result follows by using statement and proof of Proposition 2

ProofProof The left hand side is

By the Lemma → identity.

end of finite-dimensional case

Page 32: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

32

Similar result in function spaceSimilar result in function space

Example:Example: During surgery the blood pressure of the patient is monitored continuously. It should not go below a certain level and it has never been in previous similar operations in the past. What is the probability that it happens during surgery of this kind?

Page 33: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

33

EVT in EVT in C [0,1]C [0,1]

1. Definition of maximum: Let X1, X2, ... be i.i.d. in C [0,1]. We consider

as an element of C [0,1].

2. Domain of attraction. For each Borel set

A ∈ C+ [0,1] with

we have

Page 34: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

34

where for 0 ≤ s ≤ 1 we define

and is a homogeneous measure of degree –1.

Page 35: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

35

ConditionsConditionsCond. 1. Domain of attraction.

Cond. 2. Need estimators

such that

Cond. 3. Failure set Cn is open in C[0,1] and there exists hn ∈ ∂Cn such that

Page 36: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

36

Cond. 4

with

a fixed set (does not depend on n) and

Further:

Page 37: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

37

and

Cond. 5

Cond. 6

Page 38: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

38

Now the estimator for pn: P{Cn} :

where

and

Page 39: Estimation of failure probability in higher-dimensional spaces Ana Ferreira, UTL, Lisbon, Portugal Laurens de Haan, UL, Lisbon Portugal and EUR, Rotterdam,

39

TheoremTheoremUnder our conditions

as n→∞ provided (S) > 0.