Unit 11, lesson 88

Model uncertainty and robust valuation

How parameter uncertainty differs from model ambiguity, why positive vega makes a volatility envelope exact at its endpoints, what the dual norm bound gives locally, and how robust valuation bounds are defined.

  • Video 88
  • Backtesting and model uncertainty

A one-year call on a stock at 100 with strike 105 can be priced to many decimals once its volatility is fixed, but suppose the volatility is only known to lie between 18 and 28 percent. What range of values does that doubt justify, and what changes when the doubt concerns the model itself rather than one of its inputs? This lesson separates parameter uncertainty from model ambiguity and from numerical error, derives an exact volatility envelope from the sign of vega, bounds first-order changes over a norm ball with the dual norm, and computes robust valuation bounds over families of pricing measures.

Key terms

Parameter uncertainty

Definition Let a model family assign to each parameter vector θ\theta in a set Θ⊆Rd\Theta \subseteq \mathbb{R}^d the value V(θ)V(\theta) of a fixed claim, computed under a stated pricing convention that fixes the pricing measure of each member, the numeraire, the payoff and every input outside θ\theta. Parameter uncertainty is the situation in which the family is taken as given but θ\theta is only known to lie in an uncertainty set U⊆ΘU \subseteq \Theta. It is distinct from numerical error, which is the difference between a computed number and the exact V(θ)V(\theta) at one fixed θ\theta. Refining a grid, adding Monte Carlo paths or tightening a root finder reduces numerical error and leaves parameter uncertainty untouched. The set UU carries a probability statement only if a stated statistical procedure produced it.

In plain words The pricing formula is trusted, but one of its inputs is not known exactly. The question becomes how far the answer moves as that input ranges over the values still considered possible, and no amount of extra computing precision can settle it.

Example In the Black-Scholes model with the constructed inputs S=100S = 100, K=105K = 105, τ=1\tau = 1, r=0.02r = 0.02 and q=0q = 0, the call value C(σ)C(\sigma) is a function of the volatility alone. At σ=0.23\sigma = 0.23 the formula gives C≈7.9011C \approx 7.9011, and a Monte Carlo estimate of the same number would have a standard error that falls like 1/n1/\sqrt{n} in the number nn of paths. Neither fact says whether 0.230.23 is the right volatility. The set U=[0.18,0.28]U = [0.18, 0.28] expresses that doubt, and across it the value runs from about 5.90825.9082 to about 9.89549.8954, as the cards below show.

Model ambiguity

Definition Model ambiguity is uncertainty about the model family or the probability law itself, rather than about inputs inside one family. It is described by a set Q\mathcal{Q} of candidate pricing measures, or of models that each produce one, for example a constant-volatility model next to a stochastic volatility model calibrated to the same quotes. Each member must satisfy the restrictions it is meant to represent, typically equivalence to P\mathbb{P}, the martingale property of the traded prices discounted by the chosen numeraire, and agreement with the quoted prices that are taken as given. A candidate that breaks one of these restrictions is inadmissible for that market. Parameter uncertainty is the special case Q={Qθ:θ∈U}\mathcal{Q} = \{\mathbb{Q}_\theta : \theta \in U\} of one parametric family. When the restrictions tie several parameters together, combining the separate extreme values of each parameter can leave the admissible set.

In plain words Here the doubt is about which probability law, or which kind of dynamics, should price the claim. Every candidate must still reproduce what the market already shows, and market data narrow the candidates without always pinning one down.

Example In a constructed one-period market, a stock at 100100 pays 120120, 100100 or 8080, and cash grows by the factor 1/0.981/0.98, so the discount factor is D=0.98D = 0.98. The market is free of arbitrage because 0.98⋅80<100<0.98⋅1200.98 \cdot 80 < 100 < 0.98 \cdot 120. A measure Q=(qu,qm,qd)\mathbb{Q} = (q_u, q_m, q_d) with positive entries prices the stock correctly exactly when 0.98(120qu+100qm+80qd)=1000.98(120 q_u + 100 q_m + 80 q_d) = 100, which together with qu+qm+qd=1q_u + q_m + q_d = 1 means

qu−qd=100/0.98−10020≈0.10204.\begin{aligned} q_u - q_d &= \frac{100/0.98 - 100}{20} \\[0.4em] &\approx 0.10204 . \end{aligned}

The admissible measures form a one-parameter family with 0.10204<qu<0.551020.10204 < q_u < 0.55102, qd=qu−0.10204q_d = q_u - 0.10204 and qm=1−qu−qdq_m = 1 - q_u - q_d. A call with strike 100100 pays 2020 in the top state only, so its value 0.98⋅20⋅qu=19.6 qu0.98 \cdot 20 \cdot q_u = 19.6\,q_u ranges over the open interval (2.0,10.8)(2.0, 10.8), the interval of arbitrage-free call prices in the sense of Market completeness and nonunique prices. A quoted call price of 66 would leave the single measure with qu=6/19.6≈0.30612q_u = 6/19.6 \approx 0.30612. Taking qu=0.5q_u = 0.5 and qd=0.01q_d = 0.01, each inside its own range, violates the stock restriction, so that pair is not admissible.

Valuation envelope

Definition For a value function VV on an uncertainty set UU, let

V‾U=inf⁡θ∈UV(θ),V‾U=sup⁡θ∈UV(θ).\begin{aligned} \underline{V}_U &= \inf_{\theta \in U} V(\theta), \\[0.4em] \overline{V}_U &= \sup_{\theta \in U} V(\theta). \end{aligned}

The valuation envelope is the interval [V‾U,V‾U][\underline{V}_U, \overline{V}_U]. If UU is compact and VV is continuous on it, both ends are attained, and if UU is also connected, for example an interval or a convex set, every value between them is attained, so the envelope is exactly the image V(U)V(U). The envelope is monotone in the set. If U⊆U′U \subseteq U', then

V‾U′≤V‾U,V‾U′≥V‾U,\begin{gathered} \underline{V}_{U'} \le \underline{V}_U, \\[0.4em] \overline{V}_{U'} \ge \overline{V}_U, \end{gathered}

because optimizing over more candidates cannot give a worse optimum. The envelope is conditional on UU and on the family. It is a confidence interval only when UU comes from a confidence procedure. Then, if the family is correct and the procedure covers the true θ\theta with probability at least 1−a1 - a, the envelope covers V(θ)V(\theta) with probability at least 1−a1 - a, since θ∈U\theta \in U forces V(θ)V(\theta) into the envelope. Nor is the envelope automatically an interval of arbitrage-free prices, which arises when the family is exactly the set of pricing measures consistent with the traded prices, as in the model ambiguity example.

In plain words The envelope answers one question, which values this model produces as the uncertain inputs range over this set. A larger set can only widen it, and how believable its ends are depends entirely on how the set was chosen.

Example For the call, the set [0.18,0.28][0.18, 0.28] gives the envelope from about 5.90825.9082 to about 9.89549.8954, a width of about 3.98733.9873, and the smaller set [0.20,0.26][0.20, 0.26] gives the envelope from about 6.70486.7048 to about 9.09799.0979, inside the first one as the nesting property requires. The next card shows why the endpoints of each set suffice. Both sets were chosen by hand, so neither envelope carries a coverage probability, and neither covers models outside the constant-volatility family.

Monotone parameter bound

Definition Let VV be continuous and nondecreasing on a closed interval [a,b][a, b]. Then V(a)≤V(θ)≤V(b)V(a) \le V(\theta) \le V(b) for every θ∈[a,b]\theta \in [a, b], so the envelope is [V(a),V(b)][V(a), V(b)] with both ends attained, and for a nonincreasing VV the ends swap. When VV is differentiable on (a,b)(a, b), the condition V′≥0V' \ge 0 there is sufficient, by the mean value theorem. In the Black-Scholes model with S,K,τ>0S, K, \tau > 0, constant rr and qq, and σ>0\sigma > 0, the value of a European call is

C=Se−qτΦ(d1)−Ke−rτΦ(d2),\begin{aligned} C &= S e^{-q\tau}\Phi(d_1) \\[0.4em] &\quad - K e^{-r\tau}\Phi(d_2), \end{aligned}

with

d1=1στ[ln⁡SK+(r−q+12σ2)τ],d2=d1−στ.\begin{aligned} d_1 &= \frac{1}{\sigma\sqrt{\tau}}\Bigl[\ln\frac{S}{K} \\[0.4em] &\qquad + \bigl(r - q + \tfrac12\sigma^2\bigr)\tau\Bigr], \\[0.4em] d_2 &= d_1 - \sigma\sqrt{\tau}. \end{aligned}

Since d12−d22=(d1−d2)(d1+d2)=2ln⁡(S/K)+2(r−q)τd_1^2 - d_2^2 = (d_1 - d_2)(d_1 + d_2) = 2\ln(S/K) + 2(r - q)\tau, the ratio φ(d2)/φ(d1)=e(d12−d22)/2\varphi(d_2)/\varphi(d_1) = e^{(d_1^2 - d_2^2)/2} equals (S/K) e(r−q)τ(S/K)\,e^{(r - q)\tau}, which is the identity

Se−qτφ(d1)=Ke−rτφ(d2),S e^{-q\tau}\varphi(d_1) = K e^{-r\tau}\varphi(d_2),

and differentiating the call value gives

∂C∂σ=Se−qτφ(d1) ∂d1∂σ−Ke−rτφ(d2) ∂d2∂σ=Se−qτφ(d1) ∂(d1−d2)∂σ=Se−qτφ(d1)τ>0.\begin{aligned} &\frac{\partial C}{\partial \sigma} \\[0.4em] &= S e^{-q\tau}\varphi(d_1)\,\frac{\partial d_1}{\partial \sigma} \\[0.4em] &\quad - K e^{-r\tau}\varphi(d_2)\,\frac{\partial d_2}{\partial \sigma} \\[0.4em] &= S e^{-q\tau}\varphi(d_1)\,\frac{\partial (d_1 - d_2)}{\partial \sigma} \\[0.4em] &= S e^{-q\tau}\varphi(d_1)\sqrt{\tau} > 0 . \end{aligned}

So the call value is strictly increasing in σ\sigma, and over any interval [σlo,σhi][\sigma_{\text{lo}}, \sigma_{\text{hi}}] with σlo>0\sigma_{\text{lo}} > 0 its envelope within the constant-volatility family is exactly [C(σlo),C(σhi)][C(\sigma_{\text{lo}}), C(\sigma_{\text{hi}})]. The endpoint rule comes from the sign of the derivative, not from a general property of bounded sets, and a value whose derivative changes sign inside UU can have an interior extremum. In several parameters, a value that is nondecreasing in each coordinate on a box ∏i[ai,bi]\prod_i [a_i, b_i] attains its envelope at the two opposite corners aa and bb, but if a restriction ties the parameters together, those corners may lie outside the admissible set.

In plain words If raising the volatility always raises the price, the cheapest price over a volatility range sits at its lowest volatility and the dearest at its highest, and nothing in between needs to be checked. The sign of vega is what justifies this shortcut, so it has to be proved for each payoff.

Example With S=100S = 100, K=105K = 105, τ=1\tau = 1, r=0.02r = 0.02 and q=0q = 0, the volatility 0.230.23 gives d1≈−0.0102d_1 \approx -0.0102 and d2≈−0.2402d_2 \approx -0.2402, and both sides of the density identity equal about 39.892239.8922, which is the vega in currency units per unit of decimal volatility. The endpoints give C(0.18)≈5.9082C(0.18) \approx 5.9082, from d1≈−0.0699d_1 \approx -0.0699 and d2≈−0.2499d_2 \approx -0.2499, and C(0.28)≈9.8954C(0.28) \approx 9.8954, from d1≈0.0372d_1 \approx 0.0372 and d2≈−0.2428d_2 \approx -0.2428. Positive vega makes [5.9082,9.8954][5.9082, 9.8954] the exact envelope of the constant-volatility family over [0.18,0.28][0.18, 0.28], up to the rounding of the printed digits. It says nothing about models outside that family.

Dual norm bound

Definition Let ∥⋅∥\lVert \cdot \rVert be a norm on Rd\mathbb{R}^d. Its dual norm is

∥g∥∗=sup⁡∥u∥≤1g⊤u.\lVert g \rVert_{*} = \sup_{\lVert u \rVert \le 1} g^{\top}u .

For every g∈Rdg \in \mathbb{R}^d and ε>0\varepsilon > 0,

sup⁡∥Δθ∥≤εg⊤Δθ=ε ∥g∥∗,\sup_{\lVert \Delta\theta \rVert \le \varepsilon} g^{\top}\Delta\theta = \varepsilon\,\lVert g \rVert_{*},

because Δθ=εu\Delta\theta = \varepsilon u maps the unit ball onto the ball of radius ε\varepsilon and g⊤(εu)=ε g⊤ug^{\top}(\varepsilon u) = \varepsilon\, g^{\top}u. The infimum is −ε∥g∥∗-\varepsilon\lVert g \rVert_*, since the ball is symmetric. If VV is differentiable at θ0\theta_0, the first-order change ∇V(θ0)⊤Δθ\nabla V(\theta_0)^{\top}\Delta\theta therefore ranges over [−ε∥∇V(θ0)∥∗,ε∥∇V(θ0)∥∗][-\varepsilon\lVert \nabla V(\theta_0) \rVert_*, \varepsilon\lVert \nabla V(\theta_0) \rVert_*] on the ball. Familiar pairs are the Euclidean norm, which is its own dual, the maximum norm, whose dual is ∥g∥1=∑i∣gi∣\lVert g \rVert_1 = \sum_i \lvert g_i \rvert, and the ellipsoidal norm u⊤A−1u\sqrt{u^{\top}A^{-1}u} for a symmetric positive definite matrix AA, whose dual is g⊤Ag\sqrt{g^{\top}A g}. This is a statement about the linear term only. The full change is

V(θ0+Δθ)−V(θ0)=∇V(θ0)⊤Δθ+R(Δθ),\begin{aligned} &V(\theta_0 + \Delta\theta) - V(\theta_0) \\[0.4em] &= \nabla V(\theta_0)^{\top}\Delta\theta + R(\Delta\theta), \end{aligned}

and the bound becomes a guarantee only once the remainder RR is controlled. One way is the mean value theorem. If VV is differentiable on an open set containing the ball, then, using g⊤u≤∥g∥∗∥u∥g^{\top}u \le \lVert g \rVert_*\lVert u \rVert along the segment from θ0\theta_0 to θ0+Δθ\theta_0 + \Delta\theta,

∣V(θ0+Δθ)−V(θ0)∣≤εsup⁡∥θ−θ0∥≤ε∥∇V(θ)∥∗\begin{aligned} &\lvert V(\theta_0 + \Delta\theta) - V(\theta_0) \rvert \\[0.4em] &\le \varepsilon \sup_{\lVert \theta - \theta_0 \rVert \le \varepsilon} \lVert \nabla V(\theta) \rVert_* \end{aligned}

for every Δθ\Delta\theta with ∥Δθ∥≤ε\lVert \Delta\theta \rVert \le \varepsilon.

In plain words To first order a value moves along its gradient, and the worst direction inside an uncertainty ball depends on the shape of the ball as much as on the gradient. The dual norm packs that worst case into one number, but only for the linear part of the change. It describes local sensitivity, not a guarantee over a large set or over other models.

Example For the call at σ=0.23\sigma = 0.23, the one-dimensional ball ∣Δσ∣≤0.05\lvert \Delta\sigma \rvert \le 0.05 gives the first-order change 0.05⋅39.8922≈1.99460.05 \cdot 39.8922 \approx 1.9946 and the interval from about 5.90655.9065 to about 9.89579.8957. The exact envelope from about 5.90825.9082 to about 9.89549.8954 differs at the two ends by about 0.00170.0017 and 0.00030.0003, the contribution of the terms of second and higher order. Here the linear interval happens to contain the exact one, which is not true in general. Now let the rate move too, with rho ∂C/∂r≈41.6930\partial C/\partial r \approx 41.6930 in currency units per unit of decimal rate. The box ∣Δσ∣≤0.02\lvert \Delta\sigma \rvert \le 0.02, ∣Δr∣≤0.005\lvert \Delta r \rvert \le 0.005 is the unit ball of the weighted maximum norm max⁡(∣u1∣/0.02,∣u2∣/0.005)\max(\lvert u_1 \rvert/0.02, \lvert u_2 \rvert/0.005), whose dual is 0.02∣g1∣+0.005∣g2∣0.02\lvert g_1 \rvert + 0.005\lvert g_2 \rvert, so the first-order bound is

0.02⋅39.8922+0.005⋅41.6930≈0.7978+0.2085≈1.0063.\begin{aligned} &0.02 \cdot 39.8922 + 0.005 \cdot 41.6930 \\[0.4em] &\approx 0.7978 + 0.2085 \approx 1.0063 . \end{aligned}

The ellipse (Δσ/0.02)2+(Δr/0.005)2≤1(\Delta\sigma/0.02)^2 + (\Delta r/0.005)^2 \le 1 leaves out the corners of the box, and its dual norm gives the smaller bound 0.79782+0.20852≈0.8246\sqrt{0.7978^2 + 0.2085^2} \approx 0.8246.

Robust valuation bounds

Definition Let Q\mathcal{Q} be a nonempty set of admissible pricing measures, let DD be the discount factor of the stated numeraire convention, for example 1/BT1/B_T with the money-market account or a deterministic D(0,T)D(0, T), and let XX be a payoff with EQ[∣DX∣]<∞\mathbb{E}^{\mathbb{Q}}[\lvert D X \rvert] < \infty for every Q∈Q\mathbb{Q} \in \mathcal{Q}. The robust lower value and the robust upper value are

V‾=inf⁡Q∈QEQ[DX],V‾=sup⁡Q∈QEQ[DX].\begin{aligned} \underline{V} &= \inf_{\mathbb{Q} \in \mathcal{Q}} \mathbb{E}^{\mathbb{Q}}[D X], \\[0.4em] \overline{V} &= \sup_{\mathbb{Q} \in \mathcal{Q}} \mathbb{E}^{\mathbb{Q}}[D X]. \end{aligned}

They need not be attained, as in an open family, and they can be infinite when the expectations are unbounded over the family. Like any envelope, they widen when the family grows. For a fixed payoff the map Q↦EQ[DX]\mathbb{Q} \mapsto \mathbb{E}^{\mathbb{Q}}[D X] is affine under mixtures, since for λ∈[0,1]\lambda \in [0, 1]

EλQ1+(1−λ)Q2[DX]=λ EQ1[DX]+(1−λ) EQ2[DX],\begin{aligned} &\mathbb{E}^{\lambda\mathbb{Q}_1 + (1 - \lambda)\mathbb{Q}_2}[D X] \\[0.4em] &= \lambda\,\mathbb{E}^{\mathbb{Q}_1}[D X] \\[0.4em] &\quad + (1 - \lambda)\,\mathbb{E}^{\mathbb{Q}_2}[D X], \end{aligned}

so adding mixtures of members to the family does not change the bounds. When the family is indexed by a parameter, the shape of the objective in that parameter comes from how the law depends on it, and the extremes have to be found from that objective, by monotonicity, by convexity or by a search over the whole set. With D=1D = 1 and a loss in place of XX, the upper value has the supremum form of the dual representation of a coherent risk measure.

In plain words Each admissible law gives one price, and the robust bounds report the lowest and the highest of these prices. They are only as meaningful as the list of laws allowed, and each law on the list must still respect the payoff and the market prices that motivated it.

Example A constructed claim pays 1010 in one state and 00 in the other, the discount factor is 0.980.98, and the pricing probability pp of the paying state may lie anywhere in [0.4,0.6][0.4, 0.6]. The value 0.98⋅10⋅p=9.8 p0.98 \cdot 10 \cdot p = 9.8\,p is affine in pp, so the bounds sit at the endpoints, V‾=3.92\underline{V} = 3.92 and V‾=5.88\overline{V} = 5.88. If other traded claims already fixed p=0.5p = 0.5, every other member of the family would fail that calibration, and the bounds would collapse to 4.94.9. For a contrast, let two independent events AA and BB each have probability pp, and let a claim pay 11 on A∩BcA \cap B^{c}. Its expected payoff is p(1−p)p(1 - p), with derivative 1−2p1 - 2p and second derivative −2-2, so over [0.4,0.6][0.4, 0.6] the maximum 0.250.25 sits inside the interval at p=0.5p = 0.5, while both endpoints give 0.240.24. The expectation is still linear in the joint law, but the probabilities of the joint law, such as p(1−p)p(1 - p) for A∩BcA \cap B^{c}, are quadratic in pp, and this changed family, not the affine claim above, produces the interior maximum.

Check yourself

  1. The volatility set for the call is widened from [0.18,0.28][0.18, 0.28] to [0.15,0.30][0.15, 0.30], with the other inputs unchanged. Find the new envelope and explain why its lower end cannot lie above the old one.
Show the answer

Vega is positive for every σ>0\sigma > 0, so the envelope is again given by the endpoints. At σ=0.15\sigma = 0.15 the inputs d1≈−0.1169d_1 \approx -0.1169 and d2≈−0.2669d_2 \approx -0.2669 give C≈4.7166C \approx 4.7166, and at σ=0.30\sigma = 0.30 the inputs d1≈0.0540d_1 \approx 0.0540 and d2≈−0.2460d_2 \approx -0.2460 give C≈10.6925C \approx 10.6925. The new envelope from about 4.71664.7166 to about 10.692510.6925 contains the old one from 5.90825.9082 to 9.89549.8954. This is the nesting property. The new set contains the old one, and an infimum over more candidates cannot be larger. The wider envelope reflects a larger stated set, not new information about the market.

  1. A cash-or-nothing call pays 100100 currency units at maturity if ST>105S_T > 105, with the same inputs, so its Black-Scholes value is V(σ)=100 e−rτΦ(d2)V(\sigma) = 100\, e^{-r\tau}\Phi(d_2). A colleague evaluates it at σ=0.18\sigma = 0.18 and σ=0.28\sigma = 0.28 and reports the interval between the two results as its envelope over [0.18,0.28][0.18, 0.28]. Is that right?
Show the answer

The endpoint values are V(0.18)≈39.3368V(0.18) \approx 39.3368 and V(0.28)≈39.6070V(0.28) \approx 39.6070. The endpoint rule needs monotonicity, so compute the derivative. With q=0q = 0,

∂d2∂σ=−ln⁡(S/K)+rτσ2τ−τ2=−d1σ,\begin{aligned} &\frac{\partial d_2}{\partial \sigma} \\[0.4em] &= -\frac{\ln(S/K) + r\tau}{\sigma^2\sqrt{\tau}} - \frac{\sqrt{\tau}}{2} \\[0.4em] &= -\frac{d_1}{\sigma}, \end{aligned}

so ∂V/∂σ=−100 e−rτφ(d2) d1/σ\partial V/\partial\sigma = -100\, e^{-r\tau}\varphi(d_2)\, d_1/\sigma, whose sign is opposite to that of d1d_1. Here ln⁡(100/105)+0.02≈−0.02879<0\ln(100/105) + 0.02 \approx -0.02879 < 0, and d1=0d_1 = 0 exactly when σ2=−2(ln⁡(S/K)+rτ)/τ≈0.05758\sigma^2 = -2(\ln(S/K) + r\tau)/\tau \approx 0.05758, that is, at σ∗≈0.2400\sigma^* \approx 0.2400. Below σ∗\sigma^* the value rises and above it the value falls, so the maximum is interior. At σ∗\sigma^* the input is d2=−σ∗≈−0.2400d_2 = -\sigma^* \approx -0.2400, and V(σ∗)=100 e−0.02Φ(−0.2400)≈39.7158V(\sigma^*) = 100\, e^{-0.02}\Phi(-0.2400) \approx 39.7158. The minimum is the smaller endpoint value, 39.336839.3368 at σ=0.18\sigma = 0.18. The envelope runs from about 39.336839.3368 to about 39.715839.7158, and the colleague’s upper end is too low by about 0.10870.1087.

  1. Let both the volatility and the rate of the call be uncertain, with ∣Δσ∣≤0.02\lvert \Delta\sigma \rvert \le 0.02 and ∣Δr∣≤0.005\lvert \Delta r \rvert \le 0.005 around σ=0.23\sigma = 0.23 and r=0.02r = 0.02. The first-order dual norm bound is about 1.00631.0063. Is the interval 7.9011±1.00637.9011 \pm 1.0063 guaranteed to contain the call value at every point of the box? Find the exact envelope and a bound that is guaranteed.
Show the answer

The first-order interval runs from about 6.89486.8948 to about 8.90748.9074. Vega is positive, and rho, Kτe−rτΦ(d2)K\tau e^{-r\tau}\Phi(d_2), is positive too, so the call value is increasing in each coordinate and the exact envelope sits at the two opposite corners of the box. Repricing gives C(0.21,0.015)≈6.8972C(0.21, 0.015) \approx 6.8972 and C(0.25,0.025)≈8.9089C(0.25, 0.025) \approx 8.9089. The upper corner lies about 0.00150.0015 above the first-order interval, so the interval is not a guarantee. It describes the linear term only, and the remainder here adds to the change. A guaranteed bound comes from the mean value theorem. A numerical search over the box puts the largest value of 0.02 ∂C/∂σ+0.005 ∂C/∂r0.02\,\partial C/\partial\sigma + 0.005\,\partial C/\partial r at about 1.00971.0097, so every value on the box lies in 7.9011±1.00977.9011 \pm 1.0097, from about 6.89146.8914 to about 8.91088.9108, which contains the exact envelope. In this example the monotone corner argument gives the exact answer, and the dual norm calculations give a local approximation and a looser guarantee.

How this lesson connects