Processus de Lévy en Finance - Laboratoire de Probabilités et ...
Processus de Lévy en Finance - Laboratoire de Probabilités et ...
Processus de Lévy en Finance - Laboratoire de Probabilités et ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
108 CHAPTER 3. NUMERICAL IMPLEMENTATION<br />
The limit relations for J δ (α) follow from the relations for ε δ (α).<br />
We will now pres<strong>en</strong>t an alternative a posteriori param<strong>et</strong>er choice rule, which reduces to the<br />
discrepancy principle wh<strong>en</strong> inequality (3.13) has a solution but also works wh<strong>en</strong> this is not<br />
the case. However, if the param<strong>et</strong>er is chos<strong>en</strong> according to the alternative rule, the sequ<strong>en</strong>ce<br />
of regularized solutions does not necessarily converge to a minimum <strong>en</strong>tropy solution as in<br />
Proposition 3.3 but to a solution with boun<strong>de</strong>d <strong>en</strong>tropy (see Proposition 3.7). Our treatm<strong>en</strong>t<br />
partly follows [50] where this param<strong>et</strong>er choice rule is applied to Tikhonov regularization.<br />
Alternative principle<br />
For a giv<strong>en</strong> noise level δ, if there exists α > 0 that satisfies<br />
c 1 δ 2 ≤ ε δ (α) ≤ c 2 δ 2 , (3.18)<br />
choose one such α; otherwise, choose an α > 0 that satisfies<br />
ε δ (α) ≤ c 1 δ 2 , J δ (α) ≥ c 2 δ 2 . (3.19)<br />
Proposition 3.6. Suppose that the hypotheses 1–3 of page 103 are satisfied and l<strong>et</strong> c 1 and c 2<br />
be as in (3.12). Th<strong>en</strong> there exists α > 0 satisfying either (3.18) or (3.19).<br />
Proof. Suppose that (3.18) does not admit a solution. We need to prove that there exists α > 0<br />
satisfying (3.19). L<strong>et</strong><br />
B := {α > 0 : ε δ (α) ≤ c 1 δ 2 } and U := {α > 0 : ε δ (α) > c 2 δ 2 }.<br />
The limit relations of Lemma 3.5 imply that both s<strong>et</strong>s are nonempty. Moreover, since we have<br />
assumed that (3.18) does not admit a solution, necessarily sup B = inf U. L<strong>et</strong> α ∗ := sup B ≡<br />
inf U. Now we need to show that<br />
By continuity of J δ (α),<br />
J δ (α ∗ ) > c 2 δ 2 . (3.20)<br />
J δ (α ∗ ) ≥ c 2 δ 2 + lim<br />
α↓α ∗ γ δ(α).<br />
If lim α↓α ∗ γ δ (α) > 0 th<strong>en</strong> (3.20) holds. Otherwise from (3.16), P is the minimal <strong>en</strong>tropy martingale<br />
measure and (3.17) implies that Q δ α ⇒ P as α ↓ α ∗ . Therefore, J δ (α ∗ ) = lim α↓α ∗ ε δ (α) =<br />
‖C Q∗ − C δ M ‖2 w > c 2 δ 2 and (3.20) is also satisfied.