Combining Claim
1 with (
26) and (
25), we conclude that
\(z^* > b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i - c_i({\varvec{t}},{\varvec{s}}) \) if and only if
$$\begin{aligned}&b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i - c_i({\varvec{t}},{\varvec{s}}) < \left[ \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) }{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) } \right] \Big [ b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i \Big ], \end{aligned}$$
which is equivalent to
$$\begin{aligned}&c_i({\varvec{t}},{\varvec{s}}) > \left[ \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{s}}) \right) }{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) }\right] \Big [ b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i \Big ] = k^b_i({\varvec{t}},{\varvec{s}}). \end{aligned}$$
In that case, substituting the optimal values
$$\begin{aligned} y^*&= b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i ,\\ z^*&= \left[ \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) }{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) } \right] \Big [ b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i \Big ] \end{aligned}$$
in (
22), we obtain
$$\begin{aligned}&\Lambda _{{\varvec{t}},{\varvec{s}}}(y^*,z^*) \\&\quad = \frac{{y^*}^2 \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - 2 y^*z^* {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) + {z^*}^2 \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) }{2\left[ \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2 \right] } \\&\quad = \frac{ \left[ \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - 2 \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2}{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) } + \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2}{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) }\right] \Big [ b - \left( \mu _i -\overline{\lambda }_i\right) {\varvec{t}}_i \Big ]^2}{2\left[ \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2 \right] } \\&\quad = \frac{\Big [ b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i \Big ]^2}{2\,\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) }. \end{aligned}$$
Combining this with (
23) we get that, if
$$\begin{aligned} k^b_i({\varvec{t}},{\varvec{s}}) < c_i({\varvec{t}},{\varvec{s}}), \end{aligned}$$
(28)
then
$$\begin{aligned} \inf \limits _{f\in \mathcal {U}_{{\varvec{t}},{\varvec{s}}}} \big \{ \mathbb {I}(f) \big \} = \frac{\Big [ b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i \Big ]^2}{2\,\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) }. \end{aligned}$$
On the other hand, combining Claim
1 with Eqs. (
26) and (
25), we also get that
$$\begin{aligned} y^* > b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i \end{aligned}$$
if and only if
$$\begin{aligned}&\left[ \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) }{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) } \right] \left[ b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i - c_i({\varvec{t}},{\varvec{s}}) \right] > b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i, \end{aligned}$$
which is equivalent to
$$\begin{aligned}&c_i({\varvec{t}},{\varvec{s}}) < \left[ \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}),\,\, \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{s}}) \right) }{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) }\right] \Big [ b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i - c_i({\varvec{t}},{\varvec{s}}) \Big ] = h^b_i({\varvec{t}},{\varvec{s}}). \end{aligned}$$
In that case, substituting the optimal values
$$\begin{aligned} z^*&= b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i - c_i({\varvec{t}},{\varvec{s}}) ,\\ y^*&= \left[ \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) }{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) } \right] \left[ b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i - c_i({\varvec{t}},{\varvec{s}}) \right] \end{aligned}$$
in (
22), we obtain that
\(\Lambda _{{\varvec{t}},{\varvec{s}}}(y^*,z^*)\) equals
$$\begin{aligned}&\frac{{y^*}^2 \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - 2 y^*z^* {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) + {z^*}^2 \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) }{2\left[ \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2 \right] } \\&\quad = \frac{ \left[ \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2}{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) } - 2 \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2}{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) } + \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \right] \Big [ b - \left( \mu _i -\overline{\lambda }_i\right) {\varvec{t}}_i - c_i({\varvec{t}},{\varvec{s}}) \Big ]^2}{2\left[ \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2 \right] } \\&\quad =\frac{\left[ b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i - c_i({\varvec{t}},{\varvec{s}}) \right] ^2}{2\,\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) }. \end{aligned}$$
Combining this with (
23) we get that, if
$$\begin{aligned} h^b_i({\varvec{t}},{\varvec{s}}) > c_i({\varvec{t}},{\varvec{s}}), \end{aligned}$$
(29)
then
$$\begin{aligned} \inf \limits _{f\in \mathcal {U}_{{\varvec{t}},{\varvec{s}}}} \big \{ \mathbb {I}(f) \big \} = \frac{\left[ b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i - c_i({\varvec{t}},{\varvec{s}}) \right] ^2}{2\,\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) }. \end{aligned}$$
Finally, if neither (
28) nor (
29) hold, Claim
1 implies that
$$\begin{aligned} y^*&= b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i,\\ z^*&= b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i - c_i({\varvec{t}},{\varvec{s}}). \end{aligned}$$
Combining this with (
23), we obtain that
\(\Lambda _{{\varvec{t}},{\varvec{s}}}(y^*,z^*) \) equals
$$\begin{aligned}&\frac{{y^*}^2 \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - 2 y^*z^* {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) + {z^*}^2 \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) }{2\left[ \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2 \right] } \\&= \frac{{y^*}^2 \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) - 2 y^*z^* {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) + {z^*}^2 \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) ^2 }{2\left[ \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2 \right] \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) } \\&= \frac{{y^*}^2}{2\,\mathbb {V}\text {{ar}}\Big ( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \Big )} \\&\quad + \frac{\left[ z^* \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) - y^* {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) \right] ^2 }{2\left[ \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2 \right] \mathbb {V}\text {{ar}}\left( \hat{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) } \\&= \frac{\Big [ b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i \Big ]^2}{2\,\mathbb {V}\text {{ar}}\Big ( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \Big )} \\&\quad + \frac{\left[ \big [ b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i \big ] {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{s}}) \right) - c_i({\varvec{t}},{\varvec{s}}) \mathbb {V}\text {{ar}}\left( \hat{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \right] ^2 }{2\left[ \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) - {\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2 \right] \mathbb {V}\text {{ar}}\left( \hat{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) } \\&= \frac{\Big [ b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i \Big ]^2}{2\,\mathbb {V}\text {{ar}}\Big ( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \Big )} + \frac{\left[ \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{s}}) \right) }{\mathbb {V}\text {{ar}}\left( \hat{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) } [b - (\mu _i-\overline{\lambda }_i) {\varvec{t}}_i] - c_i({\varvec{t}},{\varvec{s}}) \right] ^2 }{2\left[ 1 - \frac{{\mathbb C}\mathrm{ov}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}),\,\, \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) ^2}{\mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \right) \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) } \right] \mathbb {V}\text {{ar}}\left( \bar{A}_i({\varvec{s}},{\varvec{t}}) \right) } \\&=\frac{\Big [ b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i \Big ]^2}{2\,\mathbb {V}\text {{ar}}\Big ( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \Big )} + \frac{\Big [ k^b_i({\varvec{t}},{\varvec{s}})- c_i({\varvec{t}},{\varvec{s}}) \Big ]^2}{2\,\mathbb {V}\text {{ar}}\Big ( \bar{A}_i({\varvec{s}},{\varvec{t}}) \,\Big |\, \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) = b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i \Big )}. \end{aligned}$$
Combining this with (
23) we get that, if
$$\begin{aligned} k^b_i({\varvec{t}},{\varvec{s}}) \ge c_i({\varvec{t}},{\varvec{s}}) \qquad \text {and} \qquad h^b_i({\varvec{t}},{\varvec{s}}) \le c_i({\varvec{t}},{\varvec{s}}), \end{aligned}$$
then
$$\begin{aligned} \inf \limits _{f\in \mathcal {U}_{{\varvec{t}},{\varvec{s}}}} \big \{ \mathbb {I}(f) \big \}&= \frac{\Big [ b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i \Big ]^2}{2\,\mathbb {V}\text {{ar}}\Big ( \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) \Big )} \\&\quad + \frac{\Big [ k^b_i({\varvec{t}},{\varvec{s}})- c_i({\varvec{t}},{\varvec{s}}) \Big ]^2}{2\,\mathbb {V}\text {{ar}}\Big ( \bar{A}_i({\varvec{s}},{\varvec{t}}) \,\Big |\, \bar{A}_i({\varvec{t}}-{\varvec{t}}_i,{\varvec{t}}) = b - \left( \mu _i-\overline{\lambda }_i\right) {\varvec{t}}_i \Big )}, \end{aligned}$$
as desired. Combining Lemmas
3 and
4 concludes the proof of Theorem
3.