Appendix 1: Proof of Theorem 2
The proof is based on the computation of the first order differential of \(l\left( \varvec{\theta }\right) \). The model log-likelihood in Eq. (11) can be expressed as \(l\left( \varvec{\theta }\right) =\sum _{i=1}^I \ln \left( \sum _{k=1}^K f_{ki}\right) \). Thus, the first differential of \(l\left( \varvec{\theta }\right) \) is
$$\begin{aligned} \mathrm {d}l\left( \varvec{\theta }\right) = \sum _{i=1}^I \mathrm {d}\ln \left( \sum _{k=1}^K f_{ki}\right) = \sum _{i=1}^I \left( \sum _{k=1}^K \alpha _{ki}\mathrm {d}\ln f_{ki}\right) . \end{aligned}$$
(24)
Up to an additive constant, \(\ln f_{ki}\) is equal to
$$\begin{aligned}&\ln \pi _k -\frac{1}{2}\ln \det \left( \varvec{\varSigma }_k\right) \\&\quad -\frac{1}{2}\mathrm {tr}\left[ \varvec{\varSigma }_k^{-1}\left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}_{i}^{\prime }\varvec{\beta } \right) ^{\prime }\right] , \end{aligned}$$
and
$$\begin{aligned} \mathrm {d}\ln f_{ki} = \mathrm {d} \ln \pi _k+\mathrm {d}_{ki1}+\mathrm {d}_{ki2}+\mathrm {d}_{ki3}, \end{aligned}$$
(25)
where
$$\begin{aligned}&\mathrm {d}_{ki1} = -\frac{1}{2}\mathrm {d}\left( \ln \det \left( \varvec{\varSigma }_k\right) \right) , \end{aligned}$$
(26)
$$\begin{aligned}&\mathrm {d}_{ki2} = -\frac{1}{2} \mathrm {tr}\left[ \mathrm {d}\left( \varvec{\varSigma }_k^{-1}\right) \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) ^{\prime }\right] , \nonumber \\ \end{aligned}$$
(27)
$$\begin{aligned}&\mathrm {d}_{ki3} = -\frac{1}{2} \mathrm {tr}\left[ \varvec{\varSigma }_k^{-1}\mathrm {d}\left( \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) ^{\prime }\right) \right] .\nonumber \\ \end{aligned}$$
(28)
The four terms in Eq. (25) can be re-expressed as follows:
$$\begin{aligned}&\mathrm {d}\ln \pi _k = \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\mathbf {a}_k, \end{aligned}$$
(29)
$$\begin{aligned}&\mathrm {d}_{ki1} = -\frac{1}{2}\mathrm {tr}\left[ \left( \mathrm {d}\varvec{\varSigma }_k\right) \varvec{\varSigma }_k^{-1}\right] , \end{aligned}$$
(30)
$$\begin{aligned}&\mathrm {d}_{ki2} = \frac{1}{2} \mathrm {tr}\left[ \left( \mathrm {d}\varvec{\varSigma }_k\right) \mathbf {b}_{ki}\mathbf {b}^{\prime }_{ki} \right] , \end{aligned}$$
(31)
$$\begin{aligned}&\mathrm {d}_{ki3} = \left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\mathbf {b}_{ki} + \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\mathbf {b}_{ki}, \end{aligned}$$
(32)
where Eqs. (30)–(32) are obtained by exploiting some results from matrix derivatives (Magnus and Neudecker 1988, pp. 182–183; Schott 2005, pp. 292,293,361). Since the sum of \(\mathrm {d}_{ki1}\) and \(\mathrm {d}_{ki2}\) results in
$$\begin{aligned} \mathrm {d}_{ki1}+\mathrm {d}_{ki2} = -\frac{1}{2}\mathrm {d}\left( \mathrm {v}\varvec{\varSigma }_k\right) ^{\prime }\mathbf {G}^{\prime }\mathrm {vec}\left( \mathbf {B}_{ki}\right) , \end{aligned}$$
(33)
(see Schott 2005, pp. 293,313,356,374) inserting Eqs. (29), (32) and (33) in Eq. (25) leads to
$$\begin{aligned} \mathrm {d}\ln f_{ki}= & {} \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\mathbf {a}_k+ \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\mathbf {b}_{ki} + \left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\mathbf {b}_{ki}\nonumber \\&-\frac{1}{2}\mathrm {d}\left( \mathrm {v}\varvec{\varSigma }_k\right) ^{\prime }\mathbf {G}^{\prime }\mathrm {vec}\left( \mathbf {B}_{ki}\right) \nonumber \\= & {} \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\mathbf {a}_k+ \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\mathbf {b}_{ki} + \left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\mathbf {c}_{ki}. \end{aligned}$$
(34)
Using Eqs. (24) and (34), \(\mathrm {d}l\left( \varvec{\theta }\right) \) can be expressed as
$$\begin{aligned} \mathrm {d}l\left( \varvec{\theta }\right)= & {} \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\sum _{i=1}^I \sum _{k=1}^K \alpha _{ki}\mathbf {a}_k + \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\sum _{i=1}^I \mathbf {X}_{i}\sum _{k=1}^K \alpha _{ki}\mathbf {b}_{ki}\nonumber \\&+\sum _{k=1}^K \left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime } \sum _{i=1}^I \alpha _{ki}\mathbf {c}_{ki}, \end{aligned}$$
(35)
thus proving the theorem.
Appendix 2: Proof of Theorem 3
The proof is based on the computation of the second order differential of \(l\left( \varvec{\theta }\right) \):
$$\begin{aligned} \mathrm {d}^2l\left( \varvec{\theta }\right) = \sum _{i=1}^I \mathrm {d}^2\ln \left( \sum _{k=1}^K f_{ki}\right) , \end{aligned}$$
(36)
where
$$\begin{aligned} \mathrm {d}^2\ln \left( \sum _{k=1}^K f_{ki}\right)= & {} \sum _{k=1}^K \alpha _{ki}\mathrm {d}^2\ln f_{ki}+\sum _{k=1}^K \alpha _{ki}\left( \mathrm {d}\ln f_{ki}\right) ^2\nonumber \\&-\left( \sum _{k=1}^K \alpha _{ki}\mathrm {d}\ln f_{ki}\right) ^2 \end{aligned}$$
(37)
(see Boldea and Magnus 2009, Appendix).
Since \(\left( \mathrm {d}\ln f_{ki}\right) ^2=\left( \mathrm {d}\ln f_{ki}\right) \left( \mathrm {d}\ln f_{ki}\right) ^{\prime }\), using Eq. (34) it results that
$$\begin{aligned} \left( \mathrm {d}\ln f_{ki}\right) ^2= & {} \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\mathbf {a}_k\mathbf {a}^{\prime }_k\mathrm {d}\varvec{\pi } + \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\mathbf {a}_k \mathbf {b}^{\prime }_{ki}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&+ \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\mathbf {a}_k \mathbf {c}^{\prime }_{ki}\mathrm {d}\varvec{\theta }_k \nonumber \\&+ \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\mathbf {b}_{ki}\mathbf {a}^{\prime }_k\mathrm {d}\varvec{\pi } + \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\mathbf {b}_{ki}\mathbf {b}^{\prime }_{ki}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&+\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\mathbf {b}_{ki}\mathbf {c}^{\prime }_{ki}\mathrm {d}\varvec{\theta }_k \nonumber \\&+ \left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\mathbf {c}_{ki}\mathbf {a}^{\prime }_k\mathrm {d}\varvec{\pi } + \left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\mathbf {c}_{ki}\mathbf {b}^{\prime }_{ki}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&+ \left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\mathbf {c}_{ki}\mathbf {c}^{\prime }_{ki}\mathrm {d}\varvec{\theta }_k. \end{aligned}$$
(38)
Similarly,
$$\begin{aligned} \left( \sum _{k=1}^K \alpha _{ki} \mathrm {d} \ln f_{ki}\right) ^2= & {} \left( \sum _{k=1}^K \alpha _{ki}\mathrm {d} \ln f_{ki}\right) \left( \sum _{k=1}^K\alpha _{ki}\mathrm {d}\ln f_{ki}\right) ^{\prime }\nonumber \\= & {} \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\bar{\mathbf {a}}_i\bar{\mathbf {a}}^{\prime }_i\mathrm {d}\varvec{\pi } + \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\bar{\mathbf {a}}_i \bar{\mathbf {b}}^{\prime }_{i}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&+\left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\bar{\mathbf {a}}_i \sum _{k=1}^K \alpha _{ki}\mathbf {c}^{\prime }_{ki}\mathrm {d}\varvec{\theta }_k \nonumber \\&+ \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\bar{\mathbf {b}}_{i}\bar{\mathbf {a}}^{\prime }_i\mathrm {d}\varvec{\pi }+ \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\bar{\mathbf {b}}_{i}\bar{\mathbf {b}}^{\prime }_{i}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&+ \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\bar{\mathbf {b}}_{i}\sum _{k=1}^K\alpha _{ki}\mathbf {c}^{\prime }_{ki}\mathrm {d}\varvec{\theta }_k\nonumber \\&+\left[ \sum _{k=1}^K\left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\alpha _{ki}\mathbf {c}_{ki}\right] \bar{\mathbf {a}}^{\prime }_i\mathrm {d}\varvec{\pi }\nonumber \\&+ \left[ \sum _{k=1}^K\left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\alpha _{ki}\mathbf {c}_{ki}\right] \bar{\mathbf {b}}^{\prime }_{i} \mathbf {X}_{i}^{\prime }\mathrm {d}\varvec{\beta } \nonumber \\&+ \sum _{k=1}^K\sum _{h=1}^K\left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\alpha _{ki}\alpha _{hi}\mathbf {c}_{ki}\mathbf {c}^{\prime }_{hi} \mathrm {d}\varvec{\theta }_l. \end{aligned}$$
(39)
Furthermore,
$$\begin{aligned} \mathrm {d}^2\ln f_{ki}= & {} -\left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\mathbf {a}_k\mathbf {a}^{\prime }_k\mathrm {d}\varvec{\pi } -\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\varvec{\varSigma }_k^{-1}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&-\left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\mathbf {F}^{\prime }_{ki}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\mathbf {F}_{ki}\mathrm {d}\varvec{\theta }_k -\left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\mathbf {C}_{ki}\mathrm {d}\varvec{\theta }_k \end{aligned}$$
(40)
(see Appendix 3). From Eqs. (37), (38), (39) and (42) and by grouping together the common factors it follows that
$$\begin{aligned} \mathrm {d}^2\ln \left( \sum _{k=1}^K f_{ki}\right)= & {} -\left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\bar{\mathbf {a}}_i\bar{\mathbf {a}}^{\prime }_i\mathrm {d}\varvec{\pi }\nonumber \\&+ \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\left[ \left( \sum _{k=1}^K\alpha _{ki}\mathbf {a}_k \mathbf {b}^{\prime }_{ki}\right) -\bar{\mathbf {a}}_i \bar{\mathbf {b}}^{\prime }_{i}\right] \mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta } \nonumber \\&+ \left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\left[ \sum _{k=1}^K\alpha _{ki}\left( \mathbf {a}_{k}-\bar{\mathbf {a}}_i\right) \mathbf {c}^{\prime }_{ki}\mathrm {d}\varvec{\theta }_k\right] \nonumber \\&+ \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\left[ \left( \sum _{k=1}^K\alpha _{ki}\mathbf {b}_{ki} \mathbf {a}^{\prime }_{k}\right) -\bar{\mathbf {b}}_{i}\bar{\mathbf {a}}^{\prime }_i\right] \mathrm {d}\varvec{\pi } \nonumber \\&- \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\left[ \bar{\mathbf {B}}_{i}+ \bar{\mathbf {b}}_{i}\bar{\mathbf {b}}^{\prime }_{i}\right] \mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta } \nonumber \\&-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\left\{ \sum _{k=1}^K\alpha _{ki} \left[ \mathbf {F}_{ki}-\left( \mathbf {b}_{ki}-\bar{\mathbf {b}}_{i}\right) \mathbf {c}^{\prime }_{ki}\right] \mathrm {d}\varvec{\theta }_k\right\} \nonumber \\&+ \left[ \sum _{k=1}^K\left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\alpha _{ki}\mathbf {c}_{ki} \left( \mathbf {a}^{\prime }_k-\bar{\mathbf {a}}^{\prime }_i\right) \right] \mathrm {d}\varvec{\pi }\nonumber \\&- \left\{ \sum _{k=1}^K\left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\alpha _{ki}\left[ \mathbf {F}^{\prime }_{ki} -\mathbf {c}_{ki}\left( \mathbf {b}^{\prime }_{ki}-\bar{\mathbf {b}}^{\prime }_{i}\right) \right] \right\} \mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&- \sum _{k=1}^K\left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\alpha _{ki}\left[ \mathbf {C}_{ki}-\mathbf {c}_{ki}\mathbf {c}_{ki}^{\prime }\right] \mathrm {d}\varvec{\theta }_k\nonumber \\&-\sum _{k=1}^K\sum _{h=1}^K\left[ \left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\alpha _{ki}\alpha _{hi}\mathbf {c}_{ki}\mathbf {c}_{hi}^{\prime }\mathrm {d}\varvec{\theta }_h\right] . \end{aligned}$$
(41)
Inserting Eq. (41) in Eq. (36) completes the proof.
Appendix 3: Second order differential of \(\ln f_{ki}\)
Using Eq. (25) the second order differential of \(\ln f_{ki}\) can be expressed as
$$\begin{aligned} \mathrm {d}^2\ln f_{ki}=\mathrm {d}^2\ln \pi _k+\mathrm {d}\left( \mathrm {d}_{ki1}\right) +\mathrm {d}\left( \mathrm {d}_{ki2}\right) +\mathrm {d}\left( \mathrm {d}_{ki3}\right) . \end{aligned}$$
(42)
From Eq. (29) it follows that
$$\begin{aligned} \mathrm {d}^2\ln \pi _k=-\left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\mathbf {a}_k\mathbf {a}^{\prime }_k\mathrm {d}\varvec{\pi }. \end{aligned}$$
(43)
The second term in Eq. (42) is equal to
$$\begin{aligned} \mathrm {d}\left( \mathrm {d}_{ki1}\right)= & {} -\frac{1}{2}\mathrm {tr}\left[ \mathrm {d}\varvec{\varSigma }_k\left( \mathrm {d}\varvec{\varSigma }_k^{-1}\right) \right] \nonumber \\= & {} \frac{1}{2}\mathrm {tr}\left[ \left( \mathrm {d}\varvec{\varSigma }_k\right) \varvec{\varSigma }_k^{-1}\left( \mathrm {d}\varvec{\varSigma }_k\right) \varvec{\varSigma }_k^{-1}\right] . \end{aligned}$$
(44)
The third term that composes \(\mathrm {d}^2\ln f_{ki}\) results to be
$$\begin{aligned} \mathrm {d}\left( \mathrm {d}_{ki2}\right)= & {} \frac{1}{2}\mathrm {tr}\left[ \mathrm {d}\left( \varvec{\varSigma }_k^{-1}\right) \left( \mathrm {d}\varvec{\varSigma }_k\right) \varvec{\varSigma }_k^{-1}\left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) \right. \\&\left. \times \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) ^{\prime }\right] \\&+\frac{1}{2}\mathrm {tr}\left[ \varvec{\varSigma }_k^{-1}\left( \mathrm {d}\varvec{\varSigma }_k\right) \mathrm {d}\left( \varvec{\varSigma }_k^{-1}\right) \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) \right. \\&\left. \times \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) ^{\prime }\right] \\&+\frac{1}{2}\mathrm {tr}\left[ \varvec{\varSigma }_k^{-1}\left( \mathrm {d}\varvec{\varSigma }_k\right) \varvec{\varSigma }_k^{-1}\mathrm {d}\left( \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) \right. \right. \\&\left. \left. \times \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) ^{\prime }\right) \right] . \end{aligned}$$
By exploiting some properties of the trace of a square matrix (see, e.g., Schott 2005), \(\mathrm {d}\left( \mathrm {d}_{ki2}\right) \) can also be expressed as
$$\begin{aligned} \mathrm {d}\left( \mathrm {d}_{ki2}\right)&= \mathrm {tr}\left[ \left( \mathrm {d}\varvec{\varSigma }_k\right) \mathrm {d}\left( \varvec{\varSigma }_k^{-1}\right) \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) \right. \\&\quad \times \left. \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) ^{\prime }\varvec{\varSigma }_k^{-1}\right] \\&\quad +\frac{1}{2}\mathrm {tr}\left[ \varvec{\varSigma }_k^{-1}\left( \mathrm {d}\varvec{\varSigma }_k\right) \varvec{\varSigma }_k^{-1}\mathrm {d}\left( \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) \right. \right. \\&\quad \left. \left. \times \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) ^{\prime }\right) \right] , \end{aligned}$$
and using two theorems about the vec and trace operators (Schott 2005, Theorems 8.9 and 8.12) it follows that
$$\begin{aligned} \mathrm {d}\left( \mathrm {d}_{ki2}\right)= & {} \mathrm {tr}\left[ \left( \mathrm {d}\varvec{\varSigma }_k\right) \mathrm {d}\left( \varvec{\varSigma }_k^{-1}\right) \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) \right. \nonumber \\&\times \left. \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) ^{\prime }\varvec{\varSigma }_k^{-1}\right] \nonumber \\&-\left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\left( \mathbf {b}^{\prime }_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathrm {d}\left( \mathrm {vec}\varvec{\varSigma }_k\right) \nonumber \\&-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\left( \mathbf {b}^{\prime }_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathrm {d}\left( \mathrm {vec}\varvec{\varSigma }_k\right) . \end{aligned}$$
(45)
From Eqs. (44) and (45) it follows that
$$\begin{aligned} \mathrm {d}\left( \mathrm {d}_{ki1}\right) +\mathrm {d}\left( \mathrm {d}_{ki2}\right)= & {} \frac{1}{2}\mathrm {tr}\left[ \left( \mathrm {d}\varvec{\varSigma }_k\right) \varvec{\varSigma }_k^{-1}\left( \mathrm {d}\varvec{\varSigma }_k\right) \varvec{\varSigma }_k^{-1}\right] \nonumber \\&-\,\mathrm {tr}\left[ \left( \mathrm {d}\varvec{\varSigma }_k\right) \varvec{\varSigma }_k^{-1}\left( \mathrm {d}\varvec{\varSigma }_k\right) \mathbf {b}_{ki}\mathbf {b}^{\prime }_{ki}\right] \nonumber \\&-\left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\left( \mathbf {b}^{\prime }_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathrm {d}\left( \mathrm {vec}\varvec{\varSigma }_k\right) \nonumber \\&-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\left( \mathbf {b}^{\prime }_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathrm {d}\left( \mathrm {vec}\varvec{\varSigma }_k\right) \nonumber \\= & {} \frac{1}{2}\mathrm {tr}\left\{ \left( \mathrm {d}\varvec{\varSigma }_k\right) \varvec{\varSigma }_k^{-1}\left( \mathrm {d}\varvec{\varSigma }_k\right) \left[ \varvec{\varSigma }_k^{-1}\right. \right. \nonumber \\&\left. \left. +\varvec{\varSigma }_k^{-1}-\varvec{\varSigma }_k^{-1}-2\mathbf {b}_{ki}\mathbf {b}^{\prime }_{ki}\right] \right\} \nonumber \\&-\left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\left( \mathbf {b}^{\prime }_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathrm {d}\left( \mathrm {vec}\varvec{\varSigma }_k\right) \nonumber \\&-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\left( \mathbf {b}^{\prime }_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathrm {d}\left( \mathrm {vec}\varvec{\varSigma }_k\right) \nonumber \\= & {} -\frac{1}{2}\mathrm {vec}\left( \left( \mathrm {d}\varvec{\varSigma }_k\right) ^{\prime }\right) ^{\prime }\nonumber \\&\times \left[ \left( \varvec{\varSigma }_k^{-1}-2\mathbf {B}_{ki}\right) ^{\prime }\otimes \varvec{\varSigma }_k^{-1}\right] \mathrm {vec}\left( \mathrm {d}\varvec{\varSigma }_k\right) \nonumber \\&-\left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\left( \mathbf {b}^{\prime }_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathrm {d}\left( \mathrm {vec}\varvec{\varSigma }_k\right) \nonumber \\&-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\left( \mathbf {b}^{\prime }_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathrm {d}\left( \mathrm {vec}\varvec{\varSigma }_k\right) \nonumber \\= & {} -\frac{1}{2}\mathrm {d}\left( \mathrm {v}\varvec{\varSigma }_k\right) ^{\prime }\mathbf {G}^{\prime }\left[ \left( \varvec{\varSigma }_k^{-1}-2\mathbf {B}_{ki}\right) \otimes \varvec{\varSigma }_k^{-1}\right] \nonumber \\&\times \mathbf {G}\mathrm {d}\left( \mathrm {v}\varvec{\varSigma }_k\right) \nonumber \\&-\left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\left( \mathbf {b}^{\prime }_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathbf {G}\mathrm {d}\left( \mathrm {v}\varvec{\varSigma }_k\right) \nonumber \\&-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\left( \mathbf {b}^{\prime }_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathbf {G}\mathrm {d}\left( \mathrm {v}\varvec{\varSigma }_k\right) ,\nonumber \\ \end{aligned}$$
(46)
where the third and fourth equalities are obtained using some properties of the vec operator (see, Schott 2005, p. 294).
From Eq. (32) it is possible to write
$$\begin{aligned} \mathrm {d}\left( \mathrm {d}_{ki3}\right)= & {} \left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\mathrm {d}\mathbf {b}_{ki} + \left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\mathrm {d}\mathbf {b}_{ki}\nonumber \\= & {} -\left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\varvec{\varSigma }_k^{-1}\mathrm {d}\left( \varvec{\varSigma }_k\right) \mathbf {b}_{ki}\nonumber \\&-\left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\varvec{\varSigma }_k^{-1}\mathrm {d}\varvec{\lambda }_k-\left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\varvec{\varSigma }_k^{-1}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\varvec{\varSigma }_k^{-1}\mathrm {d}\left( \varvec{\varSigma }_k\right) \mathbf {b}_{ki}-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\varvec{\varSigma }_k^{-1}\mathrm {d}\varvec{\lambda }_k\nonumber \\&-\left( \mathrm {d}\varvec{\beta }\right) ^{\top }\mathbf {X}_{i}\varvec{\varSigma }_k^{-1}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\= & {} -\mathrm {d}\left( \mathrm {v}\varvec{\varSigma }_k\right) ^{\prime }\mathbf {G}^{\prime }\left( \mathbf {b}_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathrm {d}\varvec{\lambda }_k -\left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\varvec{\varSigma }_k^{-1}\mathrm {d}\varvec{\lambda }_k\nonumber \\&-\left( \mathrm {d}\varvec{\lambda }_k\right) ^{\prime }\varvec{\varSigma }_k^{-1}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta } -\mathrm {d}\left( \mathrm {v}\varvec{\varSigma }_k\right) ^{\prime }\mathbf {G}^{\prime }\left( \mathbf {b}_{ki}\otimes \varvec{\varSigma }_k^{-1}\right) \mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\varvec{\varSigma }_k^{-1}\mathrm {d}\varvec{\lambda }_k-\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\varvec{\varSigma }_k^{-1}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }, \end{aligned}$$
(47)
where the third equality results from the same theorems about the vec and trace operators employed above and the second equality is obtained using the following expression for \(\mathrm {d}\mathbf {b}_{ki}\):
$$\begin{aligned} \mathrm {d}\mathbf {b}_{ki}= & {} \mathrm {d}\left( \varvec{\varSigma }_k^{-1}\right) \left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) +\varvec{\varSigma }_k^{-1}\mathrm {d}\left( \mathbf {y}_i-\varvec{\lambda }_k-\mathbf {X}^{\prime }_{i}\varvec{\beta } \right) \\ \nonumber= & {} -\varvec{\varSigma }_k^{-1}\mathrm {d}\left( \varvec{\varSigma }_k\right) \mathbf {b}_{ki}-\varvec{\varSigma }_k^{-1}\mathrm {d}\varvec{\lambda }_k-\varvec{\varSigma }_k^{-1}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }. \end{aligned}$$
Inserting Eqs. (43), (46) and (47) in Eq. (42) and using the definitions of \(\varvec{\theta }_k\), \(\mathbf {F}_{ki}\) and \(\mathbf {C}_{ki}\) introduced in Sect. 2.3 results in the following expression for \(\mathrm {d}^2\ln f_{ki}\):
$$\begin{aligned} \mathrm {d}^2\ln f_{ki}= & {} -\left( \mathrm {d}\varvec{\pi }\right) ^{\prime }\mathbf {a}_k\mathbf {a}^{\prime }_k\mathrm {d}\varvec{\pi } -\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\varvec{\varSigma }_k^{-1}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta }\nonumber \\&-\left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\mathbf {F}^{\prime }_{ki}\mathbf {X}^{\prime }_{i}\mathrm {d}\varvec{\beta } -\left( \mathrm {d}\varvec{\beta }\right) ^{\prime }\mathbf {X}_{i}\mathbf {F}_{ki}\mathrm {d}\varvec{\theta }_k\\ \nonumber&-\left( \mathrm {d}\varvec{\theta }_k\right) ^{\prime }\mathbf {C}_{ki}\mathrm {d}\varvec{\theta }_k. \end{aligned}$$