Error Estimates of Integral Deferred Correction Methods for Stiff Problems

Abstract: In this paper, we present error estimates of the integral deferred correction method constructed with stiffly accurate implicit Runge-Kutta methods with a nonsingular matrix $A$ in its Butcher table representation, when applied to stiff problems characterized by a small positive parameter $\varepsilon$. In our error estimates, we expand the global error in powers of $\varepsilon$ and show that the coefficients are global errors of the integral deferred correction method applied to a sequence of differential algebraic systems. A study of these errors and of the remainder of the expansion yields sharp error bounds for the stiff problem. Numerical results for the van der Pol equation are presented {to} illustrate our theoretical findings. Finally, we study the linear stability properties of these methods.

\section{Conclusions}
\label{sec5}
\setcounter{equation}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
This paper studies the order of convergence of the InDC-BE and InDC-IRK methods when applied to SSPs, using uniform distribution of quadrature points excluding the leftmost point. We applied the technique of asymptotic expansion in powers of $\varepsilon$ for the smooth exact solution and for the  corresponding numerical solution presented in \cite{hairer1988error, hairer1993solving2}. Two Theorems on global error estimate in the form of $\varepsilon$-expansion are presented and proved. Especially, we point out that the InDC methods improve the order of the $\varepsilon$-independent error, but there is no order improvement on the higher order terms $\varepsilon^\nu$ ($\nu\ge1$).
Such asymptotic analysis enables us to understand the phenomenon of order reduction for InDC methods when applied to stiff problems.
{A solution in order to solve this problem is not a trivial matter. In fact, as mentioned in Remarks \ref{rem:bn} and \ref{notY}, the bottleneck is the order reduction phenomenon in the prediction step. Further deep studies are required. It is an interesting topic for future investigation but it is beyond our scope in this paper.}
Numerical results on van der Pol equations confirm these convergence results.

\section{Appendix.}
\setcounter{equation}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\label{sec: InDC-IRK}

In the appendix, we extend the error estimates of the InDC-BE method to InDC-IRK method when applied to SPPs.
We first describe the InDC-IRK method applied to (\ref{spp}),  then perform an $\varepsilon$-expansion of the numerical solution of this method, and finally we  prove Theorem~\ref{thm: IDC_RK}.

\subsection{InDC-IRK method}

We consider the InDC-IRK method constructed with $s$-stage IRK methods, where $A$ matrices in the Butcher tableau \eqref{eq: B_table} are invertible.
For the internal stages in the IRK method, we introduce the integration matrix and interpolation matrix as following
\begin{equation}
\label{eq: s_cmi}
h S^{c_{mi}, k} =  \int_{\tau_m}^{\tau_m+c_{mi} h}\alpha_k(s) d s,
\quad
P^{c_{mi}, k} = \alpha_k(\tau_m+c_{mi} h),
\end{equation}
$\forall m=0, \cdots, M-1, \quad \forall k=1, \cdots M$ and  $\forall mi = 1, \cdots s$,
where $mi$ is index used for the $i^{th}$-stage of the IRK method over the subinterval $[\tau_m, \tau_{m+1}]$.
Here $\alpha_k(s)$ is the Lagrangian basis function based on the node $\tau_k$.
Let
\[
S^{c_{mi}}(\bar{f}) = \sum_{j = 1}^{M} S^{c_{mi}, j} f(y_j,z_j), \quad P^{c_{mi}}(\bar{f}) = \sum_{j = 1}^{M} P^{c_{mi}, j} f(y_j,z_j),
\]
{then we have}
\begin{equation}
\label{eq: spect_inte_accu}
hS^{c_{mi}}(\bar{f})-\int_{\tau_m}^{\tau_m+c_i h}f(y(s), z(s))ds = \mathcal{O}(h^{M+1}),
\end{equation}
\begin{equation}
\label{eq: spect_inter_accu}
P^{c_{mi}}(\bar{f})-f(y(\tau_m+c_i h), z(\tau_m+c_i h)) = \mathcal{O}(h^{M}),
\end{equation}
for any smooth function $f$. In other words, the quadrature formula given by $hS^{c_{mi}}(\bar{f})$ approximates the exact integration with $(M+1)^{th}$ order accuracy locally, while the interpolation formula given by  $P^{c_{mi}}(\bar{f})$ approximates the exact solution at RK internal stages with $M^{th}$ order accuracy locally.

To compute the numerical error approximating the error function $e^{(k-1)}(\tau_m)$, $d^{(k-1)}(\tau_m)$ with a general IRK method to (\ref{defint}),  {we obtain}
\begin{equation}
\label{princNum}
\left(\begin{array}{c}
\hat{e}_{m+1}^{(k-1)}\\[2mm]
 \varepsilon \hat{d}_{m+1}^{(k-1)}
\end{array}\right)
 = \left(\begin{array}{c}
\hat{e}_{m}^{(k-1)} + h\int_{0}^{1}\delta(\tau_m + \tau h)d\tau\\[2mm
\varepsilon \hat{d}_{m}^{(k-1)} + h \int_{0}^{1}\rho(\tau_m + \tau h)d\tau
\end{array}\right)
 + h \sum_{i=1}^{s} b_i \left(\begin{array}{c}
                          \Delta \hat{\mathcal{K}}^{(k-1)}_{mi}\\[2mm]
                            \Delta \hat{\mathcal{L}}^{(k-1)}_{mi}
                          \end{array}\right),
\end{equation}
and \begin{equation}\label{inter_stag}
\left(\begin{array}{c}
\hat{E}_{mi}^{(k-1)}\\[2mm]
\varepsilon \hat{D}_{mi}^{(k-1)}
\end{array}\right)
 = \left(\begin{array}{c}
\hat{e}_{m}^{(k-1)} + h \int_{0}^{c_{mi}}{\delta}(\tau_m + \tau h)d\tau\\[2mm]
\varepsilon \hat{d}_{m}^{(k-1)} + h \int_{0}^{c_{mi}}{\rho}(\tau_m + \tau h)d\tau
\end{array}\right)
 + h  \sum_{j=1}^{s} a_{ij}  \left(\begin{array}{c}
                         \Delta \hat{\mathcal{K}}^{({k-1})}_{mj}\\[2mm]
                      \Delta \hat{\mathcal{L}}^{({k-1})}_{mj}
                          \end{array}\right),
\end{equation}
with
\begin{eqnarray}
\label{EvF}
\left(\begin{array}{c}
\Delta \hat{\mathcal{K}}^{({k-1})}_{mi}\\[2mm]
\Delta \hat{\mathcal{L}}^{(k-1)}_{mi}
\end{array}\right)
& \doteq& \left(\begin{array}{c}
f(\hat{Y}^{(k)}_{mi} , \hat{Z}^{(k)}_{mi})-P^{c_{mi}}(\bar{\hat{f}}^{(k-1)}) \\[2mm]
g(\hat{Y}^{(k)}_{mi}, \hat{Z}^{(k)}_{mi})-P^{c_{mi}}(\bar{\hat{g}}^{(k-1)})
\end{array}\right) \\[2mm]
\label{EvF2}
&=&\left(\begin{array}{c}
f(\hat{Y}^{(k)}_{mi} , \hat{Z}^{(k)}_{mi})-f(P^{c_{mi}} (\bar{\hat{y}}^{(k-1)}),  P^{c_{mi}} (\bar{\hat{z}}^{(k-1)})) \\[2mm]
g(\hat{Y}^{(k)}_{mi}, \hat{Z}^{(k)}_{mi})-g(P^{c_{mi}} (\bar{\hat{y}}^{(k-1)}), P^{c_{mi}}(\bar{\hat{z}}^{(k-1)}))
\end{array}\right) + \mathcal{O}(h^{M}),
\end{eqnarray}
where we put
\begin{equation}
\label{Newk}
\hat{Y}^{(k)}_{mi} =  P^{c_{mi}} (\bar{\hat{y}}^{(k-1)})+ \hat{E}^{(k-1)}_{mi}, \quad \hat{Z}^{(k)}_{mi} = P^{c_{mi}} (\bar{\hat{z}}^{(k-1)}) + \hat{D}^{(k-1)}_{mi},
\end{equation}
and equation \eqref{EvF2} is due to the high order interpolation accuracy of $P^{c_{mi}}$, see equation \eqref{eq: spect_inter_accu}.
We can rewrite the system \eqref{princNum} and \eqref{inter_stag} as
\begin{equation}\label{newK}
\left(\begin{array}{c}
\hat{y}_{m+1}^{(k)} -  h S^{m,(k-1)}_{\bar{\hat{{f}}}}\\[2mm]
\varepsilon\hat{z}_{m+1}^{(k)} - h S^{m,(k-1)}_{\bar{\hat{{g}}}}
\end{array}\right)
 = \left(\begin{array}{c}
\hat{y}_{m}^{(k)}\\
\varepsilon\hat{z}_{m}^{(k)}
\end{array}\right)
 + h \sum_{i=1}^{s} b_i \left(\begin{array}{c}
                          \Delta \hat{\mathcal{K}}^{({k-1})}_{mi}\\[2mm]
                           \Delta \hat{\mathcal{L}}^{({k-1})}_{mi}
                          \end{array}\right),
\end{equation}
\begin{equation}\label{newapproach}
\left(\begin{array}{c}
\hat{Y}_{mi}^{(k)}- hS^{c_{mi},(k-1)}_{\bar{\hat{f}}}\\[2mm]
\varepsilon \hat{Z}_{mi}^{(k)}-  hS^{c_{mi},(k-1)}_{\bar{\hat{g}}}
\end{array}\right)
 = \left(\begin{array}{c}
\hat{y}_{m}^{(k)} \\
\varepsilon \hat{z}_{m}^{(k)}
\end{array}\right)
 + h  \sum_{j=1}^{s} a_{ij}  \left(\begin{array}{c}
                         \Delta \hat{\mathcal{K}}^{({k-1})}_{mj}\\[2mm]
                        \Delta \hat{\mathcal{L}}^{({k-1})}_{mj}
                          \end{array}\right),
\end{equation}
with
\begin{equation} \label{newS}
\left(\begin{array}{c}
  S^{m,(k-1)}_{\bar{\hat{f}}} = S^m(\bar{\hat{f}}^{(k-1)})\\[2mm]
 S^{m,(k-1)}_{\bar{\hat{g}}} =  S^m(\bar{\hat{g}}^{(k-1)})
                            \end{array}\right),\quad
\left(\begin{array}{c}
  S^{c_{mi},(k-1)}_{\bar{\hat{f}}} = S^{c_{mi}}(\bar{\hat{f}}^{(k-1)})\\[2mm]
 S^{c_{mi},(k-1)}_{\bar{\hat{g}}} =  S^{c_{mi}}(\bar{\hat{g}}^{(k-1)})
                            \end{array}\right).
\end{equation}
\begin{rem}
\label{rem: sa}
Under the assumption $A$ invertible,
from the second equation of \eqref{newapproach} we obtain in vectorial form
\[
 h \Delta \bar{\hat{\mathcal{L}}}^{(k-1)} = A^{-1} (\varepsilon\bar{\hat{Z}}^{(k)}- \varepsilon\hat{z}^{(k)}_{m} \mathbf{1} - h S^{\bar{c}}(\bar{\hat{g}}^{(k-1)}) ),
\]
with $\Delta \bar{\hat{\mathcal{L}}}^{(k-1)} = (\Delta \hat{\mathcal{L}}^{({k-1})}_{m1}, \cdots, \Delta \hat{\mathcal{L}}^{({k-1})}_{ms})^T$, $\mathbf{1} = (1, \cdots, 1)^T$ and $\bar{c} =  (c_{m1}, \cdots, c_{ms})$.
Inserting this into the second equation of \eqref{newK}, we get
\begin{eqnarray}\label{eq: z_linear}
\begin{array}{lll}
\varepsilon\hat{z}^{(k)}_{m+1} = \varepsilon R(\infty)\hat{z}^{(k)}_{m} + \varepsilon b^T A^{-1} \bar{\hat{Z}}^{(k)} + h (S^m(\bar{\hat{g}}^{(k-1)}) - b^T A^{-1}S^{\bar{c}}(\bar{\hat{g}}^{(k-1)}) ).\\
\end{array}
\end{eqnarray}
Of special importance now are stiffly accurate RK methods, i.e., methods which satisfy $b^T A^{-1} = e_s^T$. This implies $R(\infty) = 0$ and
$  b^T A^{-1} S^{\bar{c}}(\bar{\hat{g}}^{(k-1)}) = e_s^T S^{\bar{c}}(\bar{\hat{g}}^{(k-1)}) =S^m(\bar{\hat{g}}^{(k-1)}) $. Hence by \eqref{eq: z_linear} we have:
$\hat{z}^{(k)}_{m+1}  = \hat{Z}^{(k)}_{ms}$
\end{rem}

\subsection{$\varepsilon$-asymptotic expansion of InDC-IRK methods
\label{sec: InDC-IRK-expand}

We formally expand the quantities $\Delta \hat{\mathcal{K}}^{(k-1)}_{mi},
\Delta\hat{\mathcal{L}}^{(k-1)}_{mi}$ from (\ref{EvF}) and $\hat{Y}_{mi}^{(k)}, \
\hat{Z}_{mi}^{(k)},\ \hat{y}_{m+1}^{(k)}, \ \hat{z}_{m+1}^{(k)}$ from \eqref{Newk} and \eqref{newK}
into powers of $\varepsilon$ with $\varepsilon$-independent coefficients
\begin{equation}
\label{ExpNum}
\begin{array}{l}
\hat{y}_{m}^{(k)} = \hat{y}_{m,0}^{(k)} + \varepsilon \hat{y}_{m,1}^{(k)} + \varepsilon^2 \hat{y}_{m,2}^{(k)} + \cdots,\\ [2mm]
\hat{Y}_{mi}^{(k)} = \hat{Y}_{mi,0}^{(k)} + \varepsilon \hat{Y}_{mi,1}^{(k)} + \varepsilon^2 \hat{Y}_{mi,2}^{(k)} + \cdots,\\  [2mm]
\Delta\hat{\mathcal{K}}^{(k-1)}_{mi}=\Delta\hat{\mathcal{K}}^{(k-1)}_{mi,0} + \varepsilon \Delta\hat{\mathcal{K}}^{(k-1)}_{mi,1} + \varepsilon^2 \Delta\hat{\mathcal{K}}^{(k-1)}_{mi,2} + \cdots,\\  [2mm]
\hat{z}_{m}^{(k)} = \hat{z}_{m,0}^{(k)} + \varepsilon \hat{z}_{m,1}^{(k)} + \varepsilon^2 \hat{z}_{m,2}^{(k)} + \cdots,\\  [2mm]
\hat{Z}_{mi}^{(k)} = \hat{Z}_{mi,0}^{(k)} + \varepsilon \hat{Z}_{mi,1}^{(k)} + \varepsilon^2 \hat{Z}_{mi,2}^{(k)} + \cdots,\\  [2mm]
\Delta\hat{\mathcal{L}}^{(k-1)}_{mi}= \varepsilon^{-1}\Delta\hat{\mathcal{L}}^{(k-1)}_{mi,-1} + \Delta\hat{\mathcal{L}}^{(k-1)}_{mi,0} + \varepsilon \Delta\hat{\mathcal{L}}^{(k-1)}_{mi,1} + \varepsilon^2 \Delta\hat{\mathcal{L}}^{(k-1)}_{mi,2} + \cdots.
\end{array}
\end{equation}
Inserting \eqref{ExpNum} into \eqref{EvF} we obtain
\begin{eqnarray}
\label{Index1FG}
\varepsilon^0: \quad
\Delta \hat{\mathcal{K}}^{({k-1})}_{mi,0}
& =&
f(\hat{Y}^{(k)}_{mi,0} , \hat{Z}^{(k)}_{mi,0})-f(  P^{c_{mi}} (\bar{\hat{y}}^{(k-1)}_0),  P^{c_{mi}} (\bar{\hat{z}}^{(k-1)}_0))
+ \mathcal{O}(h^{M}), \\ [2mm]
 \varepsilon^1: \quad
\Delta \hat{\mathcal{K}}^{(k-1)}_{mi,1}
&=&
\left(f_y (\hat{Y}^{(k)}_{mi,0}, \hat{Z}^{(k)}_{mi,0})
\hat{Y}^{(k)}_{mi,1}
+ f_z (\hat{Y}^{(k)}_{mi,0}, \hat{Z}^{(k)}_{mi,0})
\hat{Z}^{(k)}_{mi,1} \right) \notag\\ [2mm]
&&-\left(f_y (P^{c_{mi}}(\bar{\hat{y}}^{(k-1)}_0), P^{c_{mi}}(\bar{\hat{z}}^{(k-1)}_0))
P^{c_{mi}}(\bar{\hat{y}}^{(k-1)}_1) \right. \notag \\ [2mm]
\label{Keps1NU}
&& \left.+ f_z (P^{c_{mi}}(\bar{\hat{y}}^{(k-1)}_0), P^{c_{mi}}(\bar{\hat{z}}^{(k-1)}_0))
P^{c_{mi}}(\bar{\hat{z}}^{(k-1)}_1)   \right) +\mathcal{O}(h^{M}). \\ [2mm]
&& \cdots \nonumber
\label{eq: K_appNU2}
\end{eqnarray}
ans so on.
Similarly, we have
\begin{eqnarray}
\label{Index1FG_L}
 \Delta \hat{\mathcal{L}}^{(k-1)}_{mi,-1}
& =&
g(  \hat{Y}^{(k)}_{mi,0}, \hat{Z}^{(k)}_{mi,0})-g( P^{c_{mi}} (\bar{\hat{y}}^{(k-1)}_0), P^{c_{mi}}(\bar{\hat{z}}^{(k-1)}_0))
+ \mathcal{O}(h^{M}), \\ [2mm]
\label{Leps12}
\Delta \hat{\mathcal{L}}^{(k-1)}_{mi,0}
&=&
\left(g_y (\hat{Y}^{(k)}_{mi,0}, \hat{Z}^{(k)}_{mi,0})
\hat{Y}^{(k)}_{mi,1}
+ g_z (\hat{Y}^{(k)}_{mi,0}, \hat{Z}^{(k)}_{mi,0})
\hat{Z}^{(k)}_{mi,1} \right) \notag\\ [2mm]
&&-\left(g_y (P^{c_{mi}}(\bar{\hat{y}}^{(k-1)}_0), P^{c_{mi}}(\bar{\hat{z}}^{(k-1)}_0))
P^{c_{mi}}(\bar{y}^{(k-1)}_1) \right. \notag \\ [2mm]
&& \left.+ g_z (P^{c_{mi}}(\bar{\hat{y}}^{(k-1)}_0), P^{c_{mi}}(\bar{\hat{z}}^{(k-1)}_0))
P^{c_{mi}}(\bar{z}^{(k-1)}_1)   \right) \notag + \mathcal{O}(h^{M}).\\ [2mm]
&& \cdots
\end{eqnarray}
ans so on.

Because of the linearity of relations (\ref{newK}) and (\ref{newapproach}), we have to order $\varepsilon^{\nu}$ with
$\nu = -1$ in vectorial form
\begin{equation}
\label{NewCond1}
h A \Delta\hat{\mathcal{L}}_{\bar{m},-1}^{(k-1)}  + h S^{\overrightarrow{c}}(\bar{\hat{g}}) = 0, \quad
h b^T \Delta\mathcal{L}_{\bar{m},-1}^{(k-1)}  + h S^m(\bar{\hat{g}}) = 0,
\end{equation}
and for $\nu \ge 0$,
\begin{equation}\label{newK2}
\left(\begin{array}{c}
\hat{y}_{m+1,\nu}^{(k)} -  h S^{m,(k-1)}_{\bar{\hat{\mathbb{F}}}_\nu}\\[2mm]
\hat{z}_{m+1,\nu}^{(k)} - h S^{m,(k-1)}_{\bar{\hat{\mathbb{G}}}_{\nu{+1}}}
\end{array}\right)
 = \left(\begin{array}{c}
\hat{y}_{m,\nu}^{(k)} \\[2mm]
\hat{z}_{m,\nu}^{(k)}
\end{array}\right)
 + h \sum_{i=1}^{s} b_i \left(\begin{array}{c}
                          \Delta \hat{\mathcal{K}}^{(k-1)}_{mi,\nu}\\[2mm]
                           \Delta\hat{\mathcal{L}}^{(k-1)}_{mi,\nu}
                          \end{array}\right),
\end{equation}
\begin{equation}
\label{newK3}
\left(\begin{array}{c}
\hat{Y}_{mi,\nu}^{(k)} - h S^{c_{mi},(k-1)}_{\bar{\hat{\mathbb{F}}}_\nu}\\[2mm]
\hat{Z}_{mi,\nu}^{(k)}  - h S^{c_{mi},(k-1)}_{\bar{\hat{\mathbb{G}}}_{\nu{+1}}}
\end{array}\right)
 = \left(\begin{array}{c}
\hat{y}_{m,\nu}^{(k)} \\
\hat{z}_{m,\nu}^{(k)}
\end{array}\right)
 + h  \sum_{j=1}^{i} a_{ij}  \left(\begin{array}{c}
                         \Delta \hat{\mathcal{K}}_{mj,\nu}^{(k-1)}\\[2mm]
                         \Delta \hat{\mathcal{L}}_{mj,\nu}^{(k-1)}
                          \end{array}\right),
\end{equation}
where
\begin{equation}\label{newSnu}
S^{{m},(k-1)}_{\bar{\hat{\mathbb{F}}}_\nu}=S^{m}(\bar{\hat{\mathbb{F}}}^{(k-1)}_\nu), \quad
S^{{m},(k-1)}_{\bar{\hat{\mathbb{G}}}_{\nu{+1}}}=
S^{m}(\bar{\hat{\mathbb{G}}}^{(k-1)}_{\nu{+1}}).
 \end{equation}
Similarly for  $S^{c_{mi},(k-1)}_{\bar{\hat{\mathbb{F}}}_\nu}$ and  $S^{c_{mi},(k-1)}_{\bar{\hat{\mathbb{G}}}_{\nu{+1}}}$.

\subsection{Proof of Theorem~\ref{thm: IDC_RK}.}
\label{mainT}

Before proving Theorem~\ref{thm: IDC_RK}, we first give some preliminary results as propositions.
We remark that the crucial assumption in Theorem~\ref{thm: IDC_RK} is that the IRK method is \emph{stiffly accurate}. In the case that this property is not satisfied, the method becomes unstable and the numerical solutions diverge, (see Figure~\ref{fig2.2}).

In order to justify this, from the invertibility of matrix $A$ and by the first formula in (\ref{NewCond1}) we get
\begin{equation}
\label{NewCond3}
\Delta\hat{\mathcal{L}}_{m,-1}^{(k)}  = - A^{-1}S^{\overrightarrow{c}}(\bar{\hat{g}}^{(k)}),
\end{equation}
substituting now into the second formula in (\ref{NewCond1}) yields
\begin{equation}
\label{eq: sa_condition}
-b^T A^{-1} S^{\bar{c}}(\bar{\hat{g}}^{(k-1)}) + S^m(\bar{\hat{g}}^{(k-1)}) = 0.
\end{equation}
Then we have the following result as an immediate consequence of the fact that the IRK method is stiffly accurate:
\begin{prop}
\label{prop: SA}
Equation~\eqref{eq: sa_condition} is automatically satisfied, if the IRK methods in the prediction and correction steps of the InDC method are stiffly accurate.
\end{prop}
\begin{proof}
An IRK method is stiffly accurate if
\begin{equation}
\label{SAp}
b^T A^{-1} = e_s^T,
\end{equation}
with $e_s = (0, \cdots, 0, 1)^T$.
From \eqref{eq: sa_condition}  we get
\begin{equation}
\label{saproof}
-e_s^TS^{\bar{c}}(\bar{\hat{g}}^{(k-1)}) + S^m(\bar{\hat{g}}^{(k-1)}) = 0.
\end{equation}
Since the last row of  the spectral integration matrix is $s^{m,k} = \int_{\tau_m}^{\tau_m + c_s h} \alpha_{k}(\tau) d\tau$ by (\ref{SAp}) we get $c_s = 1$ and then $\int_{\tau_m}^{\tau_m + c_s h} \alpha_{k}(\tau) d\tau=\int_{\tau_m}^{t_{m + 1}} \alpha_{k}(\tau) d\tau$. This yields that $e_s^TS^{\bar{c}}(\bar{\hat{g}}^{(k-1)}) = S^m(\bar{\hat{g}}^{(k-1)}) $, and   the equation (\ref{saproof}) is satisfied.
\end{proof}

{Furthermore, similar to the Proposition~\ref{prop: idc_be_sa}, we have the following result for InDC-IRK methods. This Proposition follows from Remark \ref{InDC_SA}. In fact, similar reformulation have been performed for the InDC method constructed with explicit RK methods in the prediction and correction steps \cite{christlieb2009comments}.
\begin{prop}
\label{prop: IDC_RK_B}
The InDC method constructed with stiffly accurate IRK methods can be considered again as a stiffly accurate IRK method with a corresponding Butcher Tableau as in\eqref{eq: B_table} with the matrix $A$ invertible.
\end{prop}
{Now we are in the position to prove Theorem~\ref{thm: IDC_RK} via the following two lemmas.}
\begin{lem}
\label{lem1_for_main}
($\varepsilon^0$ error term)
Consider the reduced system (\ref{reduced}) satisfying (\ref{redg}) with consistent initial values. The numerical solutions {of the InDC method} after $k$ correction loops have the following local error estimates at the interior nodes $\tau_m$,
$m=0, \cdots M$,
\begin{eqnarray}
\label{eq: idc_rk_index1}
\begin{array}{l}
e^{(k)}_{m,0} = \mathcal{O}(h^{min(s_k+1, M+1)}), \quad
d^{(k)}_{m,0} = \mathcal{O}(h^{min(s_k+1, {M+1})}).
\end{array}
\end{eqnarray}
\end{lem}
\noindent
{\bf Proof.}
Since the IRK method in the prediction step is stiffly accurate, by definition \eqref{DefSA}, we have $b^TA^{-1} = e^T_s$.
This implies that the numerical solution is equal to the last stage of the method, i.e.  $\hat{z}_{m+1,0}^{(0)} = \hat{Z}^{(0)}_{ms,0}$ and $\hat{y}_{m+1,0}^{(0)} = \hat{Y}^{(0)}_{ms,0}$. By $g(\hat{Y}^{(0)}_{mi,0},\hat{Z}^{(0)}_{mi,0}) = 0$, we get $\hat{Z}^{(0)}_{mi,0} = \mathcal{G}(\hat{Y}^{(0)}_{mi,0})$ for all $mi$ and, in particular, $\hat{Z}^{(0)}_{ms,0} = \mathcal{G}(\hat{Y}^{(0)}_{ms,0})$.  Then this gives $\hat{z}_{m+1,0}^{(0)} = \mathcal{G}(\hat{y}_{m+1,0}^{(0)})$.

{Now, {by the fact that the IRK method is stiffly accurate and that $\bar{\hat{g}}^{(0)}_0 = (g(\hat{y}^{(0)}_{1, 0}, \hat{z}^{(0)}_{1, 0}), \cdots g(\hat{y}^{(0)}_{M, 0}, \hat{z}^{(0)}_{M, 0})) = \vec{0}$ in the prediction step},  for the {first} correction step, {i.e. $k = 1$},  it follows {from \eqref{newK2}} with $\nu = 0$}
\begin{equation}
\label{yzSol}
\begin{array}{l}
\hat{y}_{m+1,0}^{(1)} =
\hat{y}_{m,0}^{(1)} +  h S^m(\bar{\hat{f}}^{(0)}_{0})
 + h \sum_{i=1}^{s} b_i \Delta \hat{\mathcal{{K}}}^{(0)}_{mi,0},\\
 g(\hat{y}^{(1)}_{m+1, 0}, \hat{z}^{(1)}_{m+1, 0}) =0,
\end{array}
\end{equation}
{where, from \eqref{newK3}, we have for} the internal stages
\begin{equation}
\label{YZsol}
\begin{array}{l}
\hat{Y}_{mi,0}^{(1)} =
\hat{y}_{m,0}^{(1)} + hS^{c_{mi}}(\bar{\hat{f}}^{(0)}_0)
 + h  \sum_{j=1}^{i} a_{ij}
                         \Delta  \hat{\mathcal{{K}}}_{mj,0}^{(0)},\\
g( \hat{Y}^{(1)}_{mi,0}, \hat{Z}^{(1)}_{mi,0})=0.
\end{array}
\end{equation}
Now, from the invertibility of function $g_z$, {by (\ref{yzSol}) and  (\ref{YZsol})} we get $\hat{Z}^{(1)}_{mi,0} = \mathcal{G}(\hat{Y}^{(1)}_{mi,0})$ and
$\hat{z}_{m+1,0}^{(1)} = \mathcal{G}( \hat{y}_{m+1,0}^{(1)})$. Thus the IRK method reads
\begin{equation}
\label{RKeps0}
\begin{array}{c}
\hat{Y}^{(1)}_{mi,0} = \hat{y}^{(1)}_{m,0} + h \sum_{j=1}^s a_{ij} \Delta \mathcal{\hat{K}}^{(0)}_{mj,0}+h S^{{c}_{mi}}(\bar{\hat{f}}_0^{(0)}),\\
\hat{y}^{(1)}_{m+1,0} = \hat{y}^{(1)}_{m,0} + h \sum_{i=1}^s b_{i} \Delta\mathcal{\hat{K}}^{(0)}_{mi,0}+h S^m(\bar{\hat{f}}_0^{(0)}),
\end{array}
\end{equation}
where
$
\bar{\hat{f}}^{(0)}_0 = (f(\hat{y}^{(0)}_{0, 0}, \mathcal{G}(\hat{y}^{(0)}_{0, 0})), \cdots f(\hat{y}^{(0)}_{M, 0}, \mathcal{G}(\hat{y}^{(0)}_{M, 0})).
$
The scheme (\ref{RKeps0}) of updating $\hat{y}^{(1)}_{m+1,0}$ can be interpreted as the applying a correction step {of the InDC method} to the ordinary differential equation (\ref{eqy}). Therefore applying similar local truncation error estimates as in \cite{christlieb2009comments, christlieb2009integral} for InDC frameworks using RK methods when applied to a classical ordinary differential equation, we obtain the local error estimate
\begin{eqnarray}
\label{e-est}
e^{(1)}_{m,0} = \mathcal{O}(h^{min(s_2+1, {M+1})}),
\end{eqnarray}
for $m=0, \cdots M$, with $s_2 = p^{(0)} + p^{(1)}$.
By $\hat{z}^{(1)}_{m,0} = \mathcal{G}(\hat{y}^{(1)}_{m,0})$, using
the Lipschitz condition of $\mathcal{G}$, we get
\begin{equation}
\label{e-est-d}
d^{(1)}_{m,0} = z_{m,0} - \hat{z}^{(1)}_{m,0} = \mathcal{O}(h^{min(s_2+1, {M+1})}).
\end{equation}
Similarly, at internal stages of the IRK method, by $\hat{Z}^{(1)}_{mi,0} = \mathcal{G}(\hat{Y}^{(1)}_{mi,0})$, we have the following local error estimates,
\begin{equation}
\label{e-est2}
E^{(1)}_{mi,0}  = y_0(\tau_m + c_i h) - \hat{Y}^{(1)}_{mi,0} =  \mathcal{O}(h^{min(s_1 + q^{(1)} + 1, M+1)}),
\end{equation}
and
\begin{equation}
\label{e-est2-d}
D^{(1)}_{mi,0} =z_0(\tau_m + c_i h) - \hat{Z}^{(1)}_{mi,0}
= \mathcal{O}(h^{min(s_1 + q^{(1)} + 1, M+1)}),
\end{equation}
where $q^{(1)}$ is the stage order for the IRK method applied to the first correction loop.
We note that the proof of the general $k$ is similar.
$\mbox{ }\rule[0pt]{1.5ex}{1.5ex}$

\begin{rem}
The local truncation error estimate \eqref{e-est} from \cite{christlieb2009integral} is quite technically involved; it is related to
estimating the smoothness of rescaled error functions. The estimate \eqref{e-est2} follows a similar fashion. We refer readers to the original paper \cite{christlieb2009integral} for details.
\end{rem}

\begin{rem}
With the estimates in the above Lemma, i.e. equations \eqref{e-est}-\eqref{e-est2-d}, it follows from equation \eqref{Keps1NU}
\begin{eqnarray}
\Delta \hat{\mathcal{K}}^{(k-1)}_{mi,1}
&=& f_y({y}_{mi,0} , {z}_{mi, 0})\hat{E}^{(k-1)}_{mi,1}
+ f_z({y}_{mi,0} , {z}_{mi, 0})\hat{D}^{(k-1)}_{mi,1} + \mathcal{O}(h^{s_{k-1}+1}).\notag\\
\label{eq: K_appNU}
&\doteq& \Delta \mathcal{K}^{(k-1)}_{mi,1}  + \mathcal{O}(h^{s_{k-1}+1})
\end{eqnarray}
where $\hat{E}^{(k-1)}_{mi,1}$ and $\hat{D}^{(k-1)}_{mi,1}$ are defined by the corresponding $\varepsilon$-expansion of equation \eqref{Newk}, $s_k = \sum_{r =0}^{k} p^{(r)}$, and
$\Delta \mathcal{K}^{(k-1)}_{mi,1}\doteq f_y({y}_{mi,0} , {z}_{mi, 0})\hat{E}^{(k-1)}_{mi,1} + f_z({y}_{mi,0} , {z}_{mi, 0})\hat{D}^{(k-1)}_{mi,1}$. Here we have used the abbreviations $y_{mi,0}$ and $z_{mi,0}$, i.e. the exact solution $y(t)$ and $z(t)$ at the position $t = \tau_m + c_i h$ respectively.
We note that, {from \eqref{Keps1NU}}, we replaced $\hat{Y}^{(k)}_{mi,0}$ and $P^{c_{mi}}(\bar{\hat{y}}^{(k-1)}_0)$ by adding and subtracting $y_{mi,0}$ with an error of $\mathcal{O}(h^{s_{k-1}+q^{(k)}+1})$ and $\mathcal{O}(h^{s_{k-1}+1})$, the same for $\hat{Z}^{(k)}_{mi,0}$ and $P^{c_{mi}}(\bar{\hat{z}}^{(k-1)}_0)$.\\
Similarly, we have from \eqref{Leps12}
\begin{eqnarray}\label{Leps1}
\Delta \hat{\mathcal{L}}^{(k-1)}_{mi,0}
&=& g_y({y}_{mi,0} , {z}_{mi, 0})\hat{E}^{(k-1)}_{mi,1} +
g_z({y}_{mi,0} , {z}_{mi, 0})\hat{D}^{(k-1)}_{mi,1} + \mathcal{O}(h^{s_{k-1}+1})\notag\\
\label{eq: L_app}
&\doteq& \Delta \mathcal{L}^{(k-1)}_{mi,0}  + \mathcal{O}(h^{s_{k-1}+1}),
\end{eqnarray}
where $\Delta \mathcal{L}^{(k-1)}_{mi,0}\doteq  g_y({y}_{mi,0} , {z}_{mi, 0})\hat{E}^{(k-1)}_{mi,1} +
g_z({y}_{mi,0} , {z}_{mi, 0})\hat{D}^{(k-1)}_{mi,1}$.\\
\end{rem}

\begin{lem}
\label{lem2_for_main}
($\varepsilon^\nu$ error term)
Consider the same assumptions as in Theorem~\ref{thm: IDC_RK} with $0<\varepsilon<<1$. Then the numerical solutions of the InDC method after $k$ correction loops have the following local error estimates at the interior nodes $\tau_m$
with $m=0, \cdots M$
\begin{equation}
\label{error_nu}
e^{(k)}_{m,\nu} = y_{m,\nu} - \hat{y}^{(k)}_{m,\nu} = \mathcal{O}(h^{{q}^{(0)}+2-\nu}), \quad
d^{(k)}_{m,\nu} = z_{m,\nu} - \hat{z}^{(k)}_{m,\nu} = \mathcal{O}(h^{{q}^{(0)}+1-\nu}),
\end{equation}
with $1 \leq \nu \leq q^{(0)} + 1$.
\end{lem}
\begin{proof} We first prove \eqref{error_nu} in the case $\nu = 1$.
In the prediction step $(k = 0)$, under the assumption of stiffly accurate IRK method, by the Corollary 3.10 in \cite{hairer1993solving2}, we get that the error estimates for $\varepsilon^1$ in (\ref{errorExp})
at the interior nodes of the InDC {method} with $m=0, \cdots M$ satisfy
\begin{eqnarray}\label{edd}
e^{(0)}_{m,1}= y_{m,1}-\hat{y}^{(0)}_{m, 1} = \mathcal{O}(h^{q^{(0)} + 1}), \quad d^{(0)}_{m,1}= z_{m,1}-\hat{z}^{(0)}_{m,1} = \mathcal{O}(h^{q^{(0)}}).
\end{eqnarray}

We consider $\varepsilon$-expansions of $\hat{y}^{(1)}_{m}$, $\hat{z}^{(1)}_{m}$ and $ \hat{E}^{(1)}_{mi}$ and $\hat{D}^{(1)}_{mi}$ as in \eqref{ExpNum}. Inserting them onto equations \eqref{eq: K_appNU}, \eqref{eq: L_app}, from \eqref{newK2} and \eqref{newK3} for the power $\varepsilon^1$ with {$k = 1$ and $\nu = 1$}, we have
\begin{equation}
\label{RKeps1}
\left(\begin{array}{c}
\hat{y}^{(1)}_{m+1,1} - h S^{{m},(0)}_{\bar{\hat{\mathbb{F}}}_1}\\
\hat{z}^{(1)}_{m+1,0} - h S^{{m},(0)}_{\bar{\hat{\mathbb{G}}}_1} \end{array}\right)
=  \left(\begin{array}{c}
\hat{y}^{(1)}_{m,1}\\
\hat{z}^{(1)}_{m,0}
\end{array}\right)
+ h \sum_{i=1}^s b_{i}
 \left(\begin{array}{c}
\Delta {\mathcal{K}}^{(0)}_{mi,1},\\
\Delta {\mathcal{L}}^{(0)}_{mi,0}
\end{array}\right)
+ \mathcal{O}(h^{p^{(0)}+2}),
\end{equation}
and
\begin{equation}
\label{RKeps1bis}
\left(\begin{array}{c}
\hat{Y}^{(1)}_{mi,1} - h S^{c_{m,i},(0)}_{\bar{\hat{\mathbb{F}}}_1}\\
\hat{Z}^{(1)}_{mi,0} -hS^{c_{m,i},(0)}_{\bar{\hat{\mathbb{G}}}_1}
\end{array}\right)
= \left(\begin{array}{c}
\hat{y}^{(1)}_{m,1} \\
\hat{z}^{(1)}_{m,0}
\end{array}\right)
+ h \sum_{j=1}^s a_{ij}
 \left(\begin{array}{c}
\Delta {\mathcal{K}}^{(0)}_{mj,1}\\
\Delta {\mathcal{L}}^{(0)}_{mj,0}
\end{array}\right)
+ \mathcal{O}(h^{p^{(0)}+2}).
\end{equation}

Now from (\ref{eq:exact-1})  we have for $\varepsilon^1$,
\begin{equation}
\label{exact_eps1}
\begin{array}{c}
{y}_{m+1,1} = {y}_{m,1} +\int_{\tau_m}^{\tau_{m+1}}{\mathbb{F}}_1(t) dt,\quad
{z}_{m+1,0} = {z}_{m,0} +\int_{\tau_m}^{\tau_{m+1}}{\mathbb{G}}_1(t) dt.
\end{array}
\end{equation}
We subtract \eqref{RKeps1} from \eqref{exact_eps1} and so obtain
\begin{equation}
\label{RKeps2}
\left(\begin{array}{c}
e^{(1)}_{m+1,1} +h S^{{m},(0)}_{\bar{\hat{\mathbb{F}}}_1}- \int_{\tau_m}^{\tau_{m+1}}{\mathbb{F}_1}(t) dt\\
d^{(1)}_{m+1,0} +h S^{{m},(0)}_{\bar{\hat{\mathbb{G}}}_1}- \int_{\tau_m}^{\tau_{m+1}}{\mathbb{G}_1}(t) dt
\end{array}\right)
 = \left(\begin{array}{c}
 e^{(1)}_{m,1} \\
  d^{(1)}_{m,0}
  \end{array}\right)
- h \sum_{i=1}^s b_{i}
\left(\begin{array}{c}
 \Delta{\mathcal{K}}^{(0)}_{mi,1}  \\
\Delta {\mathcal{L}}^{(0)}_{mi,0}  \end{array}\right)+ \mathcal{O}(h^{p^{(0)}+2}).
\end{equation}
From  the Corollay 3.10 in \cite{hairer1993solving2} and \eqref{edd}, we have the following estimates for the local errors
\begin{equation}
\label{eq: Est_index2}
\begin{array}{l}
e^{(0)}_{m,0} = y_{m,0} -  \hat{y}^{(0)}_{m,0} = \mathcal{O}(h^{p^{(0)} + 1}), \quad
d^{(0)}_{m,0} = z_{m,0} -  \hat{z}^{(0)}_{m,0} = \mathcal{O}(h^{p^{(0)}+1}),\\
e^{(0)}_{m,1} = y_{m,1} -  \hat{y}^{(0)}_{m,1} = \mathcal{O}(h^{q^{(0)} + 1}), \quad
d^{(0)}_{m,1} = z_{m,1} -  \hat{z}^{(0)}_{m,1} = \mathcal{O}(h^{q^{(0)}}).\\
\end{array}
\end{equation}
Similarly as done in the proof of Lemma \ref{lemma3}, on the right hand-side of (\ref{RKeps2})
we add and subtract the quantities $S^m(\bar{\mathbb{F}}_1)$ and $S^m(\bar{\mathbb{G}}_1)$, {these are the integrals of $(M-1)^{th}$ degree interpolating polynomials on $(\tau_m, \mathbb{F}_1(\tau_m))^M_{m=1}$ and
$(\tau_m,\mathbb{G}_1(\tau_m))^M_{m =1}$ over the subinterval $[\tau_m,\tau_{m+1}]$.
Hence, $\int_{\tau_m}^{\tau_{m+1}} \mathbb{F}_1(\tau)d\tau - h S^m(\bar{\mathbb{F}}_1) = \mathcal{O}(h^{M+1})$ and by \eqref{eq: Est_index2}, we have
$S^m(\bar{\mathbb{F}}_1) - S^{{m},(0)}_{\bar{\hat{\mathbb{F}}}_1} =  \mathcal{O}(h^{q^{(0)}})$ and $ S^m(\bar{\mathbb{G}}_1) - S^{{m},(0)}_{\bar{\hat{\mathbb{G}}}_1} =  \mathcal{O}(h^{q^{(0)}})$.}
Then we {have from (\ref{RKeps2})}
\begin{eqnarray}
\label{RKeps_22}
\begin{array}{lll}
e^{(1)}_{m+1,1}
&=&
e^{(1)}_{m,1} - h \sum_{i=1}^s b_{i} \Delta \mathcal{K}^{(0)}_{mi,1} + \mathcal{O}(h^{q^{(0)} + 1}),\\
d^{(1)}_{m+1,0}
&=&d^{(1)}_{m,0} - h \sum_{i=1}^s b_{i} \Delta \mathcal{L}^{(0)}_{mi,0} + \mathcal{O}(h^{q^{(0)} + 1}).
\end{array}
\end{eqnarray}
Now we consider the $\varepsilon$-expansion of the error at internal stages $\tau_m + c_i h$, and as in equation \eqref{eq: eee} we get
\begin{equation}
\label{eq: Err_Errhat}
\begin{array}{l}
E^{(1)}_{mi, 1} = P^{c_{mi}}(\bar{{e}}^{(0)}_{1}) - \hat{E}^{(0)}_{mi, 1}, \quad
D^{(1)}_{mi, 1} = P^{c_{mi}}(\bar{{d}}^{(0)}_{1}) - \hat{D}^{(0)}_{mi, 1},\\
\end{array}
\quad
\forall k\ge0, m.
\end{equation}
where $\bar{e}^{(0)}_{1}  = (e^{(0)}_{m1,1}, \cdots, e^{(0)}_{ms,1})$, $\bar{d}^{(0)}_{1}  = (d^{(0)}_{m1,0}, \cdots, d^{(0)}_{ms,0})$, $s$ is the number of internal stages in an IRK method.
Especially, by (\ref{eq: Est_index2}), it follows from (\ref{eq: Err_Errhat}),
\begin{equation}
\label{eq: Est_Corr_index2}
\begin{array}{l}
\hat{E}^{(0)}_{mi,1} = - E^{(1)}_{mi, 1} + \mathcal{O}(h^{q^{(0)} + 1}),\quad\\
\hat{D}^{(0)}_{mi,1} = - D^{(1)}_{mi, 1} +\mathcal{O}(h^{q^{(0)}}).
\end{array}
\end{equation}
Similarly as equations \eqref{RKeps_22}, from the definition of stage order for the prediction step, we have for the internal stages in vectorial form
\begin{equation}
\label{RKeps2-internal}
\begin{array}{ccc}
\bar{E}^{(1)}_{1} &=& e^{(1)}_{m,1} \mathbf{1} - h A \Delta \bar{\mathcal{K}}^{(0)}_{1} + \mathcal{O}(h^{q^{(0)} + 1}),\\
\bar{D}^{(1)}_{0} &=& d^{(1)}_{m,0} \mathbf{1}- h A \Delta \bar{\mathcal{L}}^{(0)}_{0} + \mathcal{O}(h^{q^{(0)} + 1}),
\end{array}
\end{equation}
where $\bar{E}^{(1)}_{1}  = (E^{(1)}_{m1,1}, \cdots, E^{(1)}_{ms,1})$, $\bar{D}^{(1)}_{0}  = (D^{(1)}_{m1,0}, \cdots, D^{(1)}_{ms,0})$ and
$\mathbf{1} = (1, 1, \cdots, 1)^T$ is a vector of size $s$.
Now from the second equation in \eqref{RKeps2-internal} and using \eqref{eq: idc_rk_index1} and \eqref{eq: Est_Corr_index2}, we get
\begin{equation}
\label{eps1tris}
\begin{array}{c}
A(g_y(y_{mi, 0}, z_{mi, 0}) \hat{E}^{(0)}_{mi,1} +
g_z(y_{mi, 0}, z_{mi, 0})\hat{E}^{(0)}_{mi,1}) = \mathcal{O}(h^{q^{(0)}}),
\end{array}
\end{equation}
Thus, from the invertibility of matrix $A$ we have
\begin{equation}
\label{eq: D_E}
\hat{D}^{(0)}_{mi,1} = -(g_z^{-1} g_y)(y_{mi, 0}, z_{mi, 0}) \hat{E}^{(0)}_{mi,1} + \mathcal{O}(h^{q^{(0)}}),
\end{equation}
for $mi = m1, \cdots, ms$. Plug the above equation \eqref{eq: D_E} into equation \eqref{eq: K_appNU} and replace $\hat{E}^{(0)}_{mi,1}$ by $E^{(1)}_{mi,1}$ with $\mathcal{O}(h^{q^{(0)}+1})$ error and $\hat{D}^{(0)}_{mi,1}$ by $D^{(1)}_{mi,1}$ with $\mathcal{O}(h^{q^{(0)}})$ error,
by \eqref{eq: Est_Corr_index2} we obtain
\begin{equation}
\Delta \mathcal{K}^{(0)}_{mi,1}
= (f_y -f_z g_z^{-1}g_y)(y_{mi, 0}, z_{mi, 0}) E^{(1)}_{mi,1} + \mathcal{O}(h^{q^{(0)}}).
\label{relKL}
\end{equation}
Our next aim now is to prove the local error $e^{(1)}_{m,1} =  \mathcal{O}(h^{q^{(0)}+1})$ by mathematical induction w.r.t. $m$. Especially, we would like to show that $e^{(1)}_{m+1,1}= \mathcal{O}(h^{q^{(0)}+1})$, if we assume the local error $e^{(1)}_{l,1} = \mathcal{O}(h^{q^{(0)}+1})$, $\forall l\le m$. To show this, we plug equation \eqref{relKL} into the first equation \eqref{RKeps2-internal} and obtain
$
E^{(1)}_{mi,1} =  \mathcal{O}(h^{q^{(0)}+1}),
$
for $mi = m1, \cdots, ms$. From \eqref{relKL}, $\Delta \mathcal{K}^{(0)}_{mi,1} =  \mathcal{O}(h^{q^{(0)}})$ and plug this estimate into the first equation of \eqref{RKeps_22}, we obtain the desired estimate of
\begin{equation}\label{locallocal}
e^{(1)}_{m+1,1}= \mathcal{O}(h^{q^{(0)}+1}).
\end{equation}
Thus, from \eqref{eq: D_E} and \eqref{eq: Est_Corr_index2},  it follows
\begin{equation}
\label{eq: D_error}
D^{(1)}_{mi,1} =  \mathcal{O}(h^{q^{(0)}}).
\end{equation}
Now in order to prove the estimate $d^{(1)}_{m,1} =  \mathcal{O}(h^{q^{(0)}})$, we start to considering equation \eqref{eq: z_linear}. Since the IRK method is stiffly accurate, from Remark~\ref{rem: sa}, we have
$
\hat{z}^{(1)}_{m+1, 1} =  \hat{Z}^{(1)}_{ms, 1}.
$
Hence  from \eqref{eq: D_error},
\begin{equation}
\label{locallocald}
z_1(\tau_{m+1}) - \hat{z}^{(1)}_{m+1, 1} = d^{(1)}_{m+1} = D^{(1)}_{ms,1}  \stackrel{\eqref{eq: D_error}}{=}
\mathcal{O}(h^{q^{(0)}}), \quad m=0, \cdots M-1.
\end{equation}

The above proof can be generalized for the InDC method with different IRK methods applied to $k$ correction steps.
The local error estimates at the interior nodes of the InDC method $\tau_m$
with $m=0, \cdots M$ are
\[
e^{(k)}_{m, 1} =  \mathcal{O}(h^{q^{(0)}+1}), \quad
d^{(k)}_{m, 1} =  \mathcal{O}(h^{q^{(0)}}).
\]
We have thus proved equation \eqref{error_nu} with $\nu = 1$. The general estimates for $\nu > 1$ in equation \eqref{error_nu} can be obtained in a similar fashion to the case of $\nu=1$, as in the Theorem 3.4 in Chap.VI of \cite{hairer1993solving2}.
\end{proof}

\noindent
{\em Proof of Theorem~\ref{thm: IDC_RK}.} The proof is similar to that for Theorem~\ref{thm: IDC_BE}.
In fact, we obtain estimates (\ref{final_estimate})  by using the results of Lemmas \ref{lem1_for_main} and \ref{lem2_for_main}. From Lemma \ref{lem1_for_main} we have the local error estimate, for one time step $t_0$ to $t_1$,
\[
e^{(K)}_{M,0} = \mathcal{O}(H^{min(s_K + 1, M+1)}).
\]
From local to global error, we obtain $e^{(K)}_{n,0} = \mathcal{O}(H^{min(s_K, M)})$. From eq.~\eqref{eq: lemma2_g1} and the Lipshitsz condition of $\mathcal{G}$, we get
\[
d^{(K)}_{n,0} = \mathcal{O}(H^{min(s_K, M)}).
\]
Now in order to complete the proof of the Theorem, we consider the estimates (\ref{error_nu}) in Lemma \ref{lem2_for_main} with $\nu = 1$.
Then we have for the local error estimates after one step (from $t_0$ to $t_1$)

\[
e^{(K)}_{M,1} = \mathcal{O}(H^{q^{(0)}+1}), \quad d^{(K)}_{M,1} = \mathcal{O}(H^{q^{(0)}}).
\]
Finally, the global estimate (\ref{final_estimate}) from the local estimate above is a consequence of the Theorem 4.5 and 4.6 in Chap. VII of \cite{hairer1993solving2}.

\begin{rem}\label{notY}
We remark that we can not improve the estimate of the global error for the $y$-component as done in Theorem 3.4 in  \cite{hairer1993solving2} for high-indices.
Indeed  the reason for such loss of accuracy is related to the evaluation of the integrals in equation (\ref{newSnu}). These integrals are obtained from the prediction step, and {the algebraic variable $z$ obtained in the prediction step is the cause }that reduces the order of the differential variable $y$ {in the correction steps}.
This can be seen in the evaluation from equation (\ref{RKeps2}) to (\ref{RKeps_22}) due to (\ref{eq: Est_index2}). We note that a similar conclusion for the remainder can be drawn.
\end{rem}

\subsection{Estimation of the Remainder} \label{SectRem}
{
Finally, in order to estimate the remainder  for the global error functions $e^{(K)}_n$ and $d^{(K)}_n$,
we have the following result.
\begin{thm}
\label{prop: remainder}
Under the same hypothesis as in Theorem \ref{thm: IDC_RK} for any fixed constant $C>0$ and $\nu \le q^{(0)}+1$, the global error satisfies for $\varepsilon \le CH$
\begin{equation}
\label{remainder}
e^{(K)}_n =
e^{(K)}_{n,0} + \varepsilon e^{(K)}_{n,1} + \cdots + \varepsilon^{\nu} e^{(K)}_{n,\nu}
+\mathcal{O}(\varepsilon^{\nu+1}/H), \quad
d^{(K)}_n =
d^{(K)}_{0,n} + \varepsilon d^{(K)}_{n,1} + \cdots + \varepsilon^{\nu} d^{(K)}_{n,\nu}
+\mathcal{O}(\varepsilon^{\nu+1}/H).
\end{equation}
These estimates
hold uniformly for $H\leq H_0$ and $nH \le Const$.
\end{thm}
\noindent
{\bf Proof.}
By the estimates (\ref{error_nu}) it is sufficient to prove the result for $\nu = q^{(0)} + 1$.

Through the  $\varepsilon$-asymptotic expansion  (\ref{eq: eps_error})   for the global error functions $e^{(k)}_n$ and $d^{(k)}_n$, by considering estimates (\ref{error_nu}) globally, i.e.

\begin{equation}
\label{error_nu_glob}
e^{(k)}_{n,\nu} = y_{n,\nu} - \hat{y}^{(k)}_{n,\nu} = \mathcal{O}(H^{{q}^{(0)}+1-\nu}), \quad
d^{(k)}_{n,\nu} = z_{n,\nu} - \hat{z}^{(k)}_{n,\nu} = \mathcal{O}(H^{{q}^{(0)}+1-\nu}),
\end{equation}

 and $\nu = q^{(0)} + 1$, we get:
\begin{equation}\label{ValR}
{e}^{(K)}_n =
e^{(K)}_{n,0} + \varepsilon e^{(K)}_{n,1} + \cdots + \varepsilon^{\nu} e^{(K)}_{n,\nu}
+\mathcal{O}(\varepsilon^{\nu+1}/H),
\quad
{d}^{(K)}_n =
d^{(K)}_{0,n} + \varepsilon d^{(K)}_{n,1} + \cdots + \varepsilon^{\nu} d^{(K)}_{n,\nu}
+\mathcal{O}(\varepsilon^{\nu+1}/H).
\end{equation}
with $e^{(K)}_{n,0} = y_{n,0}^{(K)} - \hat{y}_{n,0}^{(K)} $ and $d^{(K)}_{n,0}=z_{n,0}^{(K)} - \hat{z}_{n,0}^{(K)} $, $\cdots$ (see formula (\ref{eq: eps_error})).

In order to estimate the remainder, we consider the truncated series of the quantities in (\ref{ExpNum}):
\begin{eqnarray}\label{yYZ}
\hat{\underline{{y}}}_n^{(K)} = \hat{{y}}_{n,0}^{(K)} + \varepsilon \hat{{y}}_{n,1}^{(K)} + \cdots + \varepsilon^{\nu}\hat{y}_{n,\nu}^{(K)}, \quad
 \hat{\underline{{z}}}_n^{(K)} = \hat{{z}}_{n,0}^{(K)} + \varepsilon \hat{{z}}_{n,1}^{(K)} + \cdots + \varepsilon^{\nu}\hat{{z}}_{n,\nu}^{(K)},
 \end{eqnarray}
\begin{eqnarray}\label{Yy}
\hat{\underline{{Y}}}_{ni}^{(K)} = \hat{{Y}}_{ni,0}^{(K)} + \varepsilon \hat{{Y}}_{ni,1}^{(k)} + \cdots + \varepsilon^{\nu}\hat{{Y}}_{ni,\nu}^{(k)}, \quad
 \hat{\underline{{Z}}}_{ni}^{(K)} = \hat{{Z}}_{{ni},0}^{(K)} + \varepsilon \hat{{Z}}_{{ni},1}^{(k)} + \cdots + \varepsilon^{\nu}\hat{{Z}}_{{ni},\nu}^{(K)} ,
  \end{eqnarray}
and
\begin{eqnarray*}
\Delta \hat{{Y}}^{(K)}_{ni} \doteq  \hat{Y}_{ni}^{(K)}-\hat{\underline{Y}}^{(k)}_{ni}, \quad
\Delta\hat{{Z}}^{(K)}_{ni} \doteq  \hat{Z}_{ni}^{(K)}-\hat{\underline{Z}}^{(K)}_{ni}.
\end{eqnarray*}
\begin{eqnarray}\label{Kk}
\begin{array}{c}
\displaystyle \Delta \hat{\underline{\mathcal{K}}}^{(K-1)}_{ni} = \Delta \hat{\mathcal{K}}^{(K-1)}_{ni,0}+ \varepsilon \Delta \hat{\mathcal{K}}^{(K-1)}_{ni,1} + \cdots + \varepsilon^{\nu}\Delta \hat{\mathcal{K}}^{(K-1)}_{ni,\nu},\\
\displaystyle \Delta \hat{\underline{\mathcal{L}}}^{(K-1)}_{ni} = \Delta \hat{\mathcal{L}}^{(K-1)}_{ni,0}+ \varepsilon \Delta \hat{\mathcal{L}}^{(K-1)}_{ni,1} + \cdots + \varepsilon^{\nu}\Delta \hat{\mathcal{L}}^{(K-1)}_{ni,\nu},
\end{array}
\end{eqnarray}
and we use the notation for the remainder
 \begin{eqnarray}\label{Sol_e}
\Delta \hat{{y}}^{(K)}_{n} \doteq  \hat{y}_{n}^{(K)}-\hat{\underline{y}}^{(K)}_{n}, \quad
\Delta \hat{{z}}^{(K)}_{n} \doteq \hat{z}_{n}^{(K)}-\hat{\underline{z}}^{(K)}_{n}.
\end{eqnarray}

Then using (\ref{eq: eps_error}) and (\ref{error_nu_glob}), (\ref{ValR}) is then equivalent to
\begin{eqnarray}\label{EstD}
\Delta \hat{{y}}^{(K)}_{n} = \mathcal{O}(\varepsilon^{\nu+1}/H), \quad \Delta \hat{{z}}^{(K)}_{n} = \mathcal{O}(\varepsilon^{\nu+1}/H).
\end{eqnarray}
 The proof of (\ref{EstD}) is similar to the proof of Theorem 3.8, Chap.~VI in \cite{hairer1993solving2}.  For the sake of brevity, here we point out the main differences and we give some partial results.

We consider the InDC method (\ref{newK})-(\ref{newapproach})-(\ref{newS}).
Inserting (\ref{yYZ})  into (\ref{eq: spect_inte_accu}), it gives
\begin{eqnarray}\label{Sc}
S^{c_{mi},(k-1)}_{\bar{\hat{f}}} - S^{c_{mi},(k-1)}_{\bar{\underline{f}}} = \mathcal{O}(\varepsilon^{\nu+1}),\quad
S^{c_{mi},(k-1)}_{\hat{\hat{g}}} - S^{c_{mi},(k-1)}_{\underline{\hat{g}}} = \mathcal{O}(\varepsilon^{\nu+1}).
\end{eqnarray}
Similarly inserting the quantities (\ref{yYZ}) (\ref{Yy}) and (\ref{Kk}) with $m$ (index of quadrature nodes) instead of $n$ into (\ref{EvF2}) and by (\ref{Index1FG}),
 (\ref{Index1FG_L}) and (\ref{Sc}), we obtain by Lemma (\ref{lem2_for_main}) and  $\nu \le q^{(0)} + 1$,
\begin{equation}\label{estimate!1}
\left(\begin{array}{c}
\underline{\hat{Y}}_{mi}^{(k)}-\underline{\hat{y}}_{m}^{(k)}\\[2mm]
\varepsilon (\underline{\hat{Z}}_{mi}^{(k)}- \underline{\hat{z}}_{m}^{(k)} )
\end{array}\right)
 =
h  \sum_{j=1}^{s} a_{ij}  \left(\begin{array}{c}
\Delta \underline{\mathcal{\hat{K}}}^{(k-1)}_{mi}\\
\Delta \underline{\mathcal{\hat{L}}}^{(k-1)}_{mi}
                          \end{array}\right)
                          + \left(\begin{array}{c}
 \mathcal{O}(h\varepsilon^{\nu+1})\\[2mm]
  \mathcal{O}(\varepsilon^{\nu + 1})
   \end{array}\right).
\end{equation}
This represents the defect when  (\ref{yYZ}) (\ref{Yy}) and (\ref{Kk}) are inserted into the InDC R-K method (\ref{newK})-(\ref{newapproach}).

From now on the the proof is similar to Theorem 3.8, in \cite{hairer1993solving2}.
In fact, applying Theorem 3.6 in  \cite{hairer1993solving2} to (\ref{estimate!1}),
 it yields
 \begin{equation}
 \begin{array}{c}\label{EiDi}
 \displaystyle||\Delta{\hat{Y}}^{(k)}_{mi}||\le C(|| \Delta {\hat{y}}^{(k)}_{m} || + \varepsilon ||\Delta{\hat{z}}^{(k)}_{m} ||) + \mathcal{O}(\varepsilon^{\nu+1}),\\[2mm]
\displaystyle ||\Delta{\hat{Z}}^{(k)}_{mi}||\le C(|| \Delta {\hat{y}}^{(k)}_{m} || + \varepsilon/h ||\Delta{\hat{z}}^{(k)}_{m} ||) + \mathcal{O}(\varepsilon^{\nu+1}/h).
  \end{array}
 \end{equation}
 where here the quantities $\delta_i$ and $\theta_i$ in Theorem 3.6 in  \cite{hairer1993solving2} are given by: $\delta_i = \mathcal{O}(\varepsilon^{\nu+1})$, $\theta_i = \mathcal{O}(\varepsilon^{\nu+1}/h)$.

 In a similar fashion as the point b) of the proof in Theorem 3.8 in \cite{hairer1993solving2}, we obtain for the quantities $\Delta \hat{y}^{(k)}_{m}$ and $\Delta \hat{z}^{(k)}_{m}$ in (\ref{Sol_e})  the recursion
\begin{equation}\label{estimate!2}
\left(\begin{array}{c}
|| \Delta \hat{y}_{m+1}^{(k)}|| \\[2mm]
|| \Delta \hat{z}_{m+1}^{(k)}||
\end{array}\right)
 =
   \left(\begin{array}{cc}
	1 + \mathcal{O}(h) & \mathcal{O}(\varepsilon)\\
        \mathcal{O}(1) & \alpha + \mathcal{O}(\varepsilon)
                          \end{array}\right)
                          \left(\begin{array}{c}
                          || \Delta \hat{y}_{m}^{(k)}|| \\[2mm]
|| \Delta \hat{z}_{m}^{(k)}||
\end{array}\right)
 + \left(\begin{array}{c}
 \mathcal{O}(\varepsilon^{\nu+1})\\[2mm]

  \mathcal{O}(\varepsilon^{\nu + 1}/h)
   \end{array}\right),
\end{equation}
with $\alpha < 1$. The value of $\alpha$ is specified in the Theorem 3.8 in \cite{hairer1993solving2}.

Finally applying Lemma 3.9  in \cite{hairer1993solving2} to the difference inequalities in (\ref{estimate!2}) gives
 \begin{eqnarray}\label{induct}
\Delta \hat{y}^{(k)}_m =  \mathcal{O}(\varepsilon^{\nu+1}/h), \quad  \Delta \hat{z}^{(k)}_m  =  \mathcal{O}(\varepsilon^{\nu+1}/h).
\end{eqnarray}
for $mh \le Const$.
By $H = Mh$, then we get (\ref{EstD}), i.e., the statement of the Theorem.
}

{
\begin{rem}
We note that from  (\ref{remainder}) for Theorem \ref{thm: IDC_BE} and $\nu \le 2$ we get:
\begin{equation}
\begin{array}{lll}
e^{(K)}_n  &=& \mathcal{O}(H^{\min\{K+1, M\}}) + \mathcal{O}(\varepsilon H)+ \mathcal{O}(\varepsilon^2) + \mathcal{O}(\varepsilon^3/H),\\
d^{(K)}_n &=& \mathcal{O}(H^{\min\{K+1, M\}}) + \mathcal{O}(\varepsilon H) + \mathcal{O}(\varepsilon^2) + \mathcal{O}(\varepsilon^3/H),
\end{array}
\end{equation}
 and for Theorem \ref{thm: IDC_RK} with $\nu = q^{(0)}+1$:
\begin{equation}
\begin{array}{lll}
e^{(K)}_n  &=& \mathcal{O}(H^{\min\{s_{K}, M\}}) +\mathcal{O}(\varepsilon H^{q^{(0)}})+\cdots +\mathcal{O}(\varepsilon^{q^{(0)}+1})  + \mathcal{O}(\varepsilon^{q^{(0)}+2}/H), \\
d^{(K)}_n  &=& \mathcal{O}(H^{\min\{s_{K}, M\}}) +\mathcal{O}(\varepsilon H^{q^{(0)}})+\cdots+\mathcal{O}(\varepsilon^{q^{(0)}+1})  + \mathcal{O}(\varepsilon^{q^{(0)}+2}/H).
\end{array}
\end{equation}
\end{rem}
}

\section{InDC Formulations Applied to SPPs}
\label{sec2}
\setcounter{equation}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
In this section, we consider InDC-IRK method for the solution of SPPs written in the form of (\ref{spp}). The use of uniform nodes is important for the increase of high order of accuracy, if high order RK methods are used in correction loops. This is related to the concept of ``smoothness of the rescaled error vector", when we apply high order RK methods in correction loops, for more details see \cite{christlieb2009integral}. The use of quadrature nodes excluding the left-most endpoint leads to an important stability condition for stiff problems, i.e. the method is L-stable {if A-stable with $R(\infty) = 0$}, see \cite{layton2005implications}. Then, in this paper, we consider the InDC methods with uniform nodes excluding the left-most endpoint.

\subsection{InDC Framework}
We consider InDC procedure \cite{dutt2000spectral} applied to a SSP,
\begin{eqnarray}
\label{mainproblem1}
\begin{array}{l}
y'(t) = f(y,z), \ \ \ y(t_0) = y_0,  \\
\varepsilon z'(t) = g(y,z), \ \ \ z(t_0) = z_0.
\end{array}
\end{eqnarray}
The time interval $[0, T]$ is discretized into intervals $[t_n, t_{n+1}]$, $n = 0,1,...,N-1$ such that
\begin{eqnarray*}
0 = t_0 < t_1 < t_2 < ... < t_n < ...< t_N = T,
\end{eqnarray*}
with the step size $H$. Then, each interval $[t_n, t_{n+1}]$ is discretized again into $M$ uniform subintervals with quadrature nodes referred to as
\begin{eqnarray}
\label{eq: node}
t_n \doteq \tau_0 < \tau_1 <\cdots < \tau_M \doteq t_{n+1}.
\end{eqnarray}
Let $h = \frac{H}{M}$ be the size of a substep. {For simplicity of notation, we assume that $h$ is constant.} In this paper, the interval $[t_n,  t_{n+1}]$ will be referred to as a time step while a subinterval $[\tau_m, \tau_{m+1}]$ will be referred to as a substep. We remark that the size of time interval $[t_n, t_{n+1}]$ may vary as the InDC method is a one-step, multi-stage method. We assume the InDC quadrature nodes are uniform, which is a crucial assumption for high order improvement in accuracy, when we apply general high order IRK methods in prediction and correction steps for a classical ODE system \eqref{ODE}, (see discussions in \cite{christlieb2009integral}).
We also note that since $h = \frac{H}{M}$, we will use $\mathcal{O}(h^p)$ and $\mathcal{O}(H^p)$ interchangeably throughout the paper.

Let's assume we have obtained numerical solutions $\hat{y}^{(0)}_m$ and $\hat{z}^{(0)}_m$ approximating the exact solution at $\tau_m$ by using a low order numerical method for (\ref{mainproblem1}) {for a single time interval $[t_n, t_{n+1}]$ with $m=1, \cdots M$}. Here superscript $(0)$ is used to denote the prediction step in the InDC method. {Let us assume that} we build continuous polynomial interpolants $\hat{y}^{(0)}(t)$ and $\hat{z}^{(0)}(t)$ interpolating these discrete values. Now we define the error functions
\begin{equation}
\label{eq: error_function}
e^{(0)}(t) = y(t)-\hat{y}^{(0)}(t), \quad d^{(0)}(t) = z(t)-\hat{z}^{(0)}(t), \quad {t \in [t_n, t_{n+1}]}.
\end{equation}
Note that $e^{(0)}(t)$ and $d^{(0)}(t)$ are not polynomials in general.
We specify the residual function with respect to $y$ and $z$ via the following set of differential equations
\begin{equation}
\label{eq: delta_diff}
\begin{array}{l}
\delta^{(0)}(t) = f(\hat{y}^{(0)}(t),\hat{z}^{(0)}(t))-(\hat{y}^{(0)})'(t), \\[2mm]
\rho^{(0)}(t) = g(\hat{y}^{(0)}(t),\hat{z}^{(0)}(t))-(\varepsilon \hat{z}^{(0)})'(t).
\end{array}
\end{equation}
Thus, by subtracting \eqref{eq: delta_diff} from \eqref{mainproblem1}, the error equations about the error functions \eqref{eq: error_function} become
\begin{equation}
\label{defint}
\begin{array}{l}
(e^{(0)})'(t) - \delta^{(0)}(t)= f(e^{(0)}(t)+\hat{y}^0(t),d^{(0)}(t)+\hat{z}^{(0)}(t))-f(\hat{y}^{(0)}(t),\hat{z}^{(0)}(t)),\\[2mm]
\varepsilon (d^{(0)})'(t)-\rho^{(0)}(t) = g(e^{(0)}(t)+\hat{y}^0(t),d^{(0)}(t)+\hat{z}^{(0)}(t))-g(\hat{y}^{(0)}(t),\hat{z}^{(0)}(t)).
\end{array}
\end{equation}
{A low order numerical method can be used to obtain numerical solutions $\hat{e}^{(0)}_m$ and $\hat{d}^{(0)}_m$ at $\tau_m$ by discretizing the error equations \eqref{defint}. Then the numerical solution can be improved as}
\[
\hat{y}^{(1)}_m = \hat{y}^{(0)}_m +  \hat{e}^{(0)}_m, \quad \hat{z}^{(1)}_m = \hat{z}^{(0)}_m +  \hat{d}^{(0)}_m, \quad \forall m = 0, \cdots M.
\]
Such correction procedures can be repeated in each local time step $[t_n, t_{n+1}]$.
In summary, the strategy of InDC methods is to use a simple numerical method to compute numerical solutions $\hat{y}^{(0)}(t)$ and $\hat{z}^{(0)}(t)$ as prediction, and then to solve a series of correction equations in the integral form based on equations (\ref{defint}), each correction improves the accuracy of numerical solutions from the previous iteration.

\begin{rem}  (About notations.) In our description of InDC, we let $y_m$ $z_m$, $e^{(k)}_m$, $d^{(k)}_m$ denote the exact solutions and exact error functions (without hat); and let $\hat{y}^{(k)}_m$, $\hat{z}^{(k)}_m$, $\hat{e}^{(k)}_m$, $\hat{d}^{(k)}_m$ denote the numerical approximations (with hat) to the exact solutions and error functions.
We use subscript $m$ to denote the location $t = \tau_m$ and use superscript $(k)$ to denote the prediction ($k=0$) and correction loops ($k=1, \cdots$). We let $\bar{\cdot}$ denote the vector on InDC quadrature nodes, for example, $\bar{y} = (y_1, \cdots, y_M)$.
\end{rem}

\subsection{InDC-BE method }

In this subsection, we consider InDC-BE method for the solution of system  \eqref{mainproblem1}.
We use uniformly distributed quadrature nodes $\tau_1,...,\tau_M$ given by \eqref{eq: node} excluding the left-most endpoint.

\begin{enumerate}
\item
(Prediction step) Use a {BE} discretization to compute
$$\bar{\hat{y}}^{(0)} = (\hat{y}^{(0)}_1,...,\hat{y}^{(0)}_m,...,\hat{y}^{(0)}_M)$$
as the approximation of the exact solution $\bar{y} = (y_1,...,y_m,...,y_M)$ for (\ref{mainproblem1}) at quadrature nodes $\tau_1,...,\tau_M$. We make the same for the $z$-component. This gives
\begin{equation}
\label{eq: Euler-eps}
\begin{array}{l}
\hat{y}^{(0)}_{m+1} = \hat{y}^{(0)}_m + h f(\hat{y}^{(0)}_{m+1},\hat{z}^{(0)}_{m+1}),\\[2mm]
\varepsilon \hat{z}^{(0)}_{m+1} = \varepsilon \hat{z}^{(0)}_m + h g(\hat{y}^{(0)}_{m+1},\hat{z}^{(0)}_{m+1}),
\end{array}
\end{equation}
for $m = 0,1,...M-1$.
\item
(Correction loop). {Let $\hat{y}^{(k-1)}$ and $\hat{z}^{(k-1)}$ denote the numerical solutions at the $(k-1)^{th}$ sequence correction, for $k = 1,...,K$ with $K$ the number of correction steps.}
\begin{enumerate}
\item Denote the error function at the $(k-1)^{th}$ correction by $e^{(k-1)}(t) = y(t) - \hat{y}^{(k-1)}(t)$, where $y(t)$
is the exact solution and $\hat{y}^{(k-1)}(t)$ is {a polynomial of degree $(M-1)$ interpolating}  $\bar{\hat{y}}^{(k-1)}$ at quadrature nodes $\tau_1,...,\tau_M$. Similarly denote $d^{(k-1)}(t) = z(t) - \hat{z}^{(k-1)}(t)$.
Let $\delta^{(k-1)}(t)$ and $\rho^{(k-1)}(t)$ be defined by equation \eqref{eq: delta_diff}, but with the upper script $(0)$ replaced with $(k-1)$.
We compute the numerical error vector $\bar{\hat{e}}^{(k-1)} = (\hat{e}_1^{(k-1)},...,\hat{e}_M^{(k-1)})$ {where $\hat{e}_m^{(k-1)}$ is the approximation of $e^{(k-1)}(\tau_m)$ by applying a {BE} method to the integral form of (\ref{defint})} with $\hat{e}_m^{(k-1)}$ approximating $e^{(k-1)}(\tau_m)$ by applying a {BE} method to the integral form of (\ref{defint}),
\begin{equation}
\label{errorEqs}
\begin{array}{lll}
\displaystyle \hat{e}^{(k-1)}_{m+1} &=& \hat{e}^{(k-1)}_m + h \Delta f^{(k-1)}_{m+1}
+ \int_{\tau_m}^{\tau_{m+1}}\delta^{(k-1)}(s)ds,\\[2mm]
\displaystyle \varepsilon \hat{d}^{(k-1)}_{m+1} & =& \varepsilon \hat{d}^{(k-1)}_m +  h \Delta g^{(k-1)}_{m+1}
+\int_{\tau_m}^{\tau_{m+1}}\rho^{(k-1)}(s)ds,
\end{array}
\end{equation}
where
\begin{equation}
\begin{array}{lll}
\displaystyle \Delta f^{(k-1)}_{m+1} &=& f(\hat{y}^{(k-1)}_{m+1} + \hat{e}^{(k-1)}_{m+1},\hat{z}^{(k-1)}_{m+1}+\hat{d}^{(k-1)}_{m+1}) - f(\hat{y}^{(k-1)}_{m+1},\hat{z}^{(k-1)}_{m+1}),\\[2mm]
\displaystyle \Delta g^{(k-1)}_{m+1} &=&g(\hat{y}^{(k-1)}_{m+1} + \hat{e}^{(k-1)}_{m+1},\hat{z}^{(k-1)}_{m+1}+\hat{d}^{(k-1)}_{m+1}) - g(\hat{y}^{(k-1)}_{m+1},\hat{z}^{(k-1)}_{m+1}),
\end{array}
\end{equation}
and
\begin{equation}
\label{appint}
\begin{array}{l}
\int_{\tau_m}^{\tau_{m+1}}\delta^{(k-1)}(s)ds  =  \int_{\tau_m}^{\tau_{m+1}}f(\hat{y}^{(k-1)}(s),\hat{z}^{(k-1)}(s))ds - \hat{y}^{(k-1)}_{m+1} + \hat{y}^{(k-1)}_{m},\\[2mm]
\int_{\tau_m}^{\tau_{m+1}}\rho^{(k-1)}(s)ds = \int_{\tau_m}^{\tau_{m+1}}g(\hat{y}^{(k-1)}(s),\hat{z}^{(k-1)}(s))ds - \varepsilon \hat{z}^{(k-1)}_{m+1} + \varepsilon \hat{z}^{(k-1)}_{m}.
\end{array}
\end{equation}
The integral terms $\int_{\tau_m}^{\tau_{m+1}}$ in equations \eqref{appint} are approximated by a numerical quadrature.
Especially, let $S$ be the integration matrix{;} its $(m, k)$ element is
\[
S^{m,k} = \frac{1}{h}\int_{\tau_m}^{\tau_{m+1}}\alpha_k(s) d s, \quad \mbox{for} \quad m=0, \cdots, M-1, \quad k=1, \cdots M,
\]
where
$\alpha_k(s)$
is the Lagrangian basis function based on the node $\tau_k$. {Note that $S^{m, k}$ can be obtained from the computation based on a standard interval $[0, 1]$.}
Let
\begin{equation}
\label{eq: Sm}
S^m(\bar{f}) = \sum_{j = 1}^{M} S^{m,j}f(y_j,z_j),
\end{equation}
then
\[
hS^m(\bar{f})-\int_{\tau_m}^{\tau_{m+1}}f(y(s), z(s))ds = \mathcal{O}(h^{M+1}),
\]
for any smooth function $f$.  In other words, the quadrature formula given by $hS^{m}(\bar{f})$ approximates the exact integration with $(M+1)^{th}$ order of accuracy {\em locally}.
\item Update the approximate solutions $\bar{\hat{y}}^{(k)} = \bar{\hat{y}}^{(k-1)}+ \bar{\hat{e}}^{(k-1)}$ and $ \bar{\hat{z}}^{(k)} = \bar{\hat{z}}^{(k-1)}+  \bar{\hat{d}}^{(k-1)}$.
\end{enumerate}
\end{enumerate}
\begin{rem}
Using the notation introduced in equation \eqref{eq: Sm}, we get from equation (\ref{errorEqs}) and \eqref{appint},
\begin{equation}
\label{errorEqs2}
\begin{array}{l}
\hat{y}^{(k)}_{m+1} = \hat{y}^{(k)}_m + h \Delta f_{m+1}^{(k-1)} + h S^{m}(\bar{\hat{f}}^{(k-1)}),\\[2mm]
\varepsilon \hat{z}^{(k)}_{m+1} =\varepsilon  \hat{z}^{(k)}_m + h \Delta g_{m+1}^{(k-1)}  + h S^{m}(\bar{\hat{g}}^{(k-1)}).
\end{array}
\end{equation}
\end{rem}
\begin{rem}
Since we consider the nodes excluding the left most quadrature point $t_0$, the order of approximation for integration/interpolation will be one order lower than the usual one considered in \cite{dutt2000spectral, christlieb2009integral}.
\end{rem}
\begin{rem}
The InDC-BE described above, can be generalized to the InDC-IRK method, for solving SPPs \eqref{mainproblem1}. To avoid heavy notations from the InDC-IRK method and for a better presentation of the paper, we organize the description of InDC-IRK method and the corresponding error estimates in
Appendix.
\end{rem}

\subsection{$\varepsilon$-asymptotic expansion}
\label{sec: eps-exp}

In this section, we introduce $\varepsilon$-asymptotic expansion of the exact and numerical solution for system \eqref{mainproblem1}. This $\varepsilon$-asymptotic expansion will be useful to study the behavior of the local error for the InDC method.

{
We are mainly interested in smooth solutions of  \eqref{mainproblem1} which provide the $\varepsilon$-asymptotic expansions for $t>0$, of the form
\begin{equation}
\label{eq: exact-esp}
y(t)=\sum_{j=0}^{\infty} y_{j}(t) \varepsilon^j, \quad
z(t)=\sum_{j=0}^{\infty} z_{j} (t) \varepsilon^j.
\end{equation}
As just pointed out in the introduction, we suppose that the initial values of \eqref{mainproblem1} lie on the smooth solution, i.e. that an expansion of the form (\ref{eq: exact-esp}) holds}.

From (\ref{eq: exact-esp}) we note that the exact solutions have a power series in $\varepsilon$ and, considered a truncated series, a remainder after any $N+1$ number of terms could be obtained or estimated. In particular, for any $t \in [0, \bar{t}]$, the remainder is bounded above by a term $C_N\varepsilon^{N+1}$ with $C_N>0$, for $\varepsilon$ small enough, i.e.
\begin{equation}
\label{eq: exact-espbis}
y(t)=\sum_{j=0}^{N} y_{j}(t) \varepsilon^j + \mathcal{O}(\varepsilon^{N+1}),\quad
z(t)=\sum_{j=0}^{N} z_{j} (t) \varepsilon^j + \mathcal{O}(\varepsilon^{N+1}).
\end{equation}

Furthermore we note that a sequence of DAEs arise in the study of \eqref{mainproblem1}. In fact, the coefficients in the expansion (\ref{eq: exact-esp}) are the solutions of DAEs of different indices, for more details see Chap.~VI.3 of \cite{hairer1993solving2}.
This is obtained by inserting the $\varepsilon$-expansion of the exact solution \eqref{eq: exact-esp} into \eqref{mainproblem1} and collecting terms of equal powers of $\varepsilon$.
\begin{equation}
\label{eq: exact_eps_0}
\varepsilon^0: \quad
\left \{
\begin{array}{l}
y'_0 = f(y_0, z_0) \\
0 =  g(y_0, z_0)
\end{array}
\right.
,
\end{equation}
\begin{equation}
\label{eq: exact_eps_1}
\varepsilon^1: \quad
\left \{
\begin{array}{l}
y'_1 = f_y (y_0, z_0)y_1+f_z (y_0, z_0)z_1\doteq \mathbb{F}_1 \\[2mm]
z'_0 = g_y (y_0, z_0)y_1+g_z (y_0, z_0)z_1 \doteq \mathbb{G}_1\\
\end{array}
\right.
,
\end{equation}
\begin{equation}
\cdots \nonumber
\end{equation}
\begin{equation}
\label{eq: exact_eps_nu}
\varepsilon^{\nu}: \quad
\left \{
\begin{array}{ll}
y'_{\nu} &= f_y (y_0, z_0)y_{\nu}+f_z (y_0, z_0)z_{\nu} + \phi_{\nu} (y_0, z_0,\cdots, y_{\nu-1},z_{\nu-1})\doteq \mathbb{F}_{\nu} \\[2mm]
z'_{\nu-1} &= g_y (y_0, z_0)y_{\nu}+g_z (y_0, z_0)z_{\nu} + \psi_{\nu} (y_0, z_0,\cdots, y_{\nu-1},z_{\nu-1})\doteq \mathbb{G}_{\nu}\\
\end{array}
\right.
,
\end{equation}
with initial values $y_\nu(0)$, $z_\nu(0)$ known from \eqref{eq: exact-esp}. We observe that system \eqref{eq: exact_eps_0} under the condition \eqref{redg} is a DAE of index 1. According to  \cite{hairer1993solving2}, if we consider  \eqref{eq: exact_eps_0} and \eqref{eq: exact_eps_1} together, we have a differential algebraic system of index 2. In general  \eqref{eq: exact_eps_0}-\eqref{eq: exact_eps_nu} is a differential algebraic system of index $\nu$.\

{Now let us look for an $\varepsilon$-asymptotic expansion of the numerical solution at the $k^{th}$ correction step of the InDC-BE method in the form
\begin{equation}
\label{eq: exp_expand}
\hat{y}^{(k)}_m= \sum_{\nu=0}^{\infty} \hat{y}^{(k)}_{m, \nu} \varepsilon^\nu, \qquad
\hat{z}^{(k)}_m =\sum_{\nu=0}^{\infty} \hat{z}^{(k)}_{m, \nu} \varepsilon^\nu.
\end{equation}
The case of $k=0$ corresponds to the prediction step of InDC method. Then, inserting the above ansatz \eqref{eq: exp_expand} into the numerical scheme \eqref{eq: Euler-eps}-\eqref{appint}, and collecting terms of equal powers of $\varepsilon$, we have the following: }
\begin{itemize}
\item for the prediction step ($k=0$)
\begin{eqnarray}
\label{eq:Euler-0}
&\varepsilon^0&: \quad
\left \{
\begin{array}{l}
\hat{y}^{(0)}_{m+1,0} = \hat{y}^{(0)}_{m,0} + h f(\hat{y}^{(0)}_{m+1,0}, \hat{z}^{(0)}_{m+1,0}), \\ [2mm]
0 = g(\hat{y}^{(0)}_{m+1,0}, \hat{z}^{(0)}_{m+1,0}),
\end{array}
\right.\\
\label{eq:Euler-1}
&\varepsilon^1&: \quad
\left \{
\begin{array}{l}
\hat{y}^{(0)}_{m+1,1} = \hat{y}^{(0)}_{m,1} + h \hat{\mathbb{F}}^{(0)}_{m+1,1},
\\  [2mm]
\hat{z}^{(0)}_{m+1,0} = \hat{z}^{(0)}_{m,0} +  h \hat{\mathbb{G}}^{(0)}_{m+1,1},
\end{array}
\right.
\end{eqnarray}
where
\begin{equation}
\left \{
\begin{array}{l}\label{index1f}
\hat{\mathbb{F}}^{(0)}_{m+1,1} \doteq f_y (\hat{y}^{(0)}_{m+1,0}, \hat{z}^{(0)}_{m+1,0}) \hat{y}^{(0)}_{m+1,1} + f_z (\hat{y}^{(0)}_{m+1,0}, \hat{z}^{(0)}_{m+1,0}) \hat{z}^{(0)}_{m+1,1}, \\[2mm]
\hat{\mathbb{G}}^{(0)}_{m+1,1} \doteq
 g_y (\hat{y}^{(0)}_{m+1,0}, \hat{z}^{(0)}_{m+1,0})
\hat{y}^{(0)}_{m+1,1} + g_z (\hat{y}^{(0)}_{m+1,0}, \hat{z}^{(0)}_{m+1,0})
\hat{z}^{(0)}_{m+1,1},
\end{array}
\right.
\end{equation}
\item {for the correction steps ($k\ge1$),}
\begin{eqnarray}
\label{eq:Euler-0-k}
&\varepsilon^0&: \quad
\left \{
\begin{array}{lll}
\hat{y}^{(k)}_{m+1,0} &=& \hat{y}^{(k)}_{m,0} + h \Delta \hat{f}^{(k-1)}_{m+1,0}
+ h S^m(\bar{\hat{f}}^{(k-1)}_0), \\ [2mm]
0 &=& h \Delta \hat{g}^{(k-1)}_{m+1,0}
 +  hS^m(\bar{\hat{g}}^{(k-1)}_0), \\[2mm]
\end{array}
\right.
\\
\label{eq:Euler-1-k}
&\varepsilon^1&: \quad
\left \{
\begin{array}{ll}
\hat{y}^{(k)}_{m+1,1} & = \hat{y}^{(k)}_{m,1} + h \Delta \hat{\mathbb{F}}^{(k-1)}_{m+1, 1}
+ h S^m(\bar{\hat{\mathbb{F}}}^{(k-1)}_1), \\[2mm]
\hat{z}^{(k)}_{m+1,0} &= \hat{z}^{(k)}_{m,0} + h \Delta \hat{\mathbb{G}}^{(k-1)}_{m+1, 1}
+ h S^m(\bar{\hat{\mathbb{G}}}^{(k-1)}_1),\\ [2mm]
\end{array}
\right.
\end{eqnarray}
{where in \eqref{eq:Euler-0-k},}
\begin{equation}
\left \{
\begin{array}{lll}\label{BEf}
\Delta \hat{f}^{(k-1)}_{m+1,0}& =&  f(\hat{y}^{(k)}_{m+1,0}, \hat{z}^{(k)}_{m+1,0})
- f(\hat{y}^{(k-1)}_{m+1,0}, \hat{z}^{(k-1)}_{m+1,0}),\\ [2mm]
\Delta \hat{g}^{(k-1)}_{m+1,0}& =&  g(\hat{y}^{(k)}_{m+1,0}, \hat{z}^{(k)}_{m+1,0})
- g(\hat{y}^{(k-1)}_{m+1,0}, \hat{z}^{(k-1)}_{m+1,0}),\\
\end{array}
\right.
\end{equation}
{and in \eqref{eq:Euler-1-k},}
\begin{eqnarray}
\Delta \hat{\mathbb{F}}^{(k-1)}_{m+1,1} &=&\hat{\mathbb{F}}^{(k)}_{m+1,1} - \hat{\mathbb{F}}^{(k-1)}_{m+1,1}\notag\\ [2mm]
&=&\left(f_y (\hat{y}^{(k)}_{m+1,0}, \hat{z}^{(k)}_{m+1,0})
\hat{y}^{(k)}_{m+1,1}  + f_z (\hat{y}^{(k)}_{m+1,0}, \hat{z}^{(k)}_{m+1,0})
\hat{z}^{(k)}_{m+1,1} \right)\notag \\ [2mm]
&&-\left(f_y (\hat{y}^{(k-1)}_{m+1,0}, \hat{z}^{(k-1)}_{m+1,0})
\hat{y}^{(k-1)}_{m+1,1}  + f_z (\hat{y}^{(k-1)}_{m+1,0}, \hat{z}^{(k-1)}_{m+1,0})
\hat{z}^{(k-1)}_{m+1,1} \right),
\label{eq: tempDF1}
\end{eqnarray}
where
\begin{eqnarray}
\label{eq: Fk}
\hat{\mathbb{F}}^{(k)}_{m+1,1} = f_y(\hat{y}^{(k)}_{m+1,0},\hat{z}^{(k)}_{m+1,0}) \hat{y}^{(k)}_{m+1,1} + f_z(\hat{y}^{(k)}_{m+1,0},\hat{z}^{(k)}_{m+1,0}) \hat{z}^{(k)}_{m+1,1}.
\end{eqnarray}
\end{itemize}
We note that both equations~\eqref{eq:Euler-0}-\eqref{eq:Euler-1} for the prediction step ($k = 0$), and equations~\eqref{eq:Euler-0-k}-\eqref{eq:Euler-1-k} for the correction step ($k\ge1$), are consistent discretizations of equation \eqref{eq: exact_eps_0}-\eqref{eq: exact_eps_1}. It is possible to generalize the $\varepsilon$-asymptotic expansion to $\varepsilon^\nu$ ($\nu \ge2$), but we skip this to avoid heavy notations.

{Finally,  let $\varepsilon$-asymptotic expansion of error functions $e^{(k)}(t)$,  $d^{(k)}(t)$ at the $k^{th}$ iteration be
\begin{equation}
\label{eq: eps_error}
\left (
\begin{array}{l}
e^{(k)}_{m}\\
d^{(k)}_{m}
\end{array}
\right )
=
\left (
\begin{array}{l}
\sum_{\nu=0}^{\infty} e^{(k)}_{m, \nu} \varepsilon^\nu \\
\sum_{\nu=0}^{\infty} d^{(k)}_{m, \nu} \varepsilon^\nu
\end{array}
\right )
=
\left (
\begin{array}{l}
\sum_{\nu=0}^{\infty} (y_{m, \nu} - \hat{y}^{(k)}_{m, \nu}) \varepsilon^\nu \\
\sum_{\nu=0}^{\infty} (z_{m, \nu} - \hat{z}^{(k)}_{m, \nu}) \varepsilon^\nu
\end{array}
\right ).
\end{equation}
}

{Note that in the above ansatz, we consider truncated series of (\ref{eq: eps_error}) with estimate of the remainder as}

\begin{equation}\label{EstRem}
\left (
\begin{array}{l}
e^{(k)}_{m}\\
d^{(k)}_{m}
\end{array}
\right )
=
\left (
\begin{array}{l}

\displaystyle e^{(k)}_{m, 0}  +  e^{(k)}_{m, 1} \varepsilon  + \cdots  e^{(k)}_{m, \nu} \varepsilon^\nu +  \mathcal{O}(\varepsilon^{\nu+1}) \\
\displaystyle d^{(k)}_{m, 0}  +  d^{(k)}_{m, 1} \varepsilon  + \cdots  d^{(k)}_{m, \nu} \varepsilon^\nu + \mathcal{O}(\varepsilon^{\nu+1}) \\
\end{array}
\right ),
\end{equation}
where a finite number of terms $\nu$ are taken. We will see that $\nu$ is related to the value $q^{(0)}$, i.e. the stage order of the implicit RK method in the prediction step $k = 0$.

In {the} later part of this paper, our goal is to give rigorous estimates of the coefficients $e^{(k)}_{m, \nu} = y_{m, \nu} - \hat{y}^{(k)}_{m, \nu}$ and $d^{(k)}_{m, \nu} = z_{m, \nu} - \hat{z}^{(k)}_{m, \nu}$, given  by (\ref{eq: exact-esp}) and  (\ref{eq: exp_expand}) for $1 \le \nu \le q^{(0)}+1$ and, finally, estimates of the remainders will be given.

Similarly, we consider the $\varepsilon$-asymptotic expansion of numerical approximations of error functions $\hat{e}^{(k)}(t)$, $\hat{d}^{(k)}(t)$ at the $k^{th}$ iteration
\begin{equation}
\label{eq: eps_error_hat}
\left (
\begin{array}{l}
\hat{e}^{(k)}_{m}\\
\hat{d}^{(k)}_{m}
\end{array}
\right )
=
\left (
\begin{array}{l}
\sum_{\nu=0}^{\infty} \hat{e}^{(k)}_{m, \nu} \varepsilon^\nu\\
\sum_{\nu=0}^{\infty} \hat{d}^{(k)}_{m, \nu} \varepsilon^\nu
\end{array}
\right )
=
\left (
\begin{array}{l}
\sum_{\nu=0}^{\infty} (\hat{y}^{(k+1)}_{m, \nu} - \hat{y}^{(k)}_{m, \nu}) \varepsilon^\nu \\
\sum_{\nu=0}^{\infty} (\hat{z}^{(k+1)}_{m, \nu} - \hat{z}^{(k)}_{m, \nu}) \varepsilon^\nu
\end{array}
\right ).
\end{equation}
{ Note that} combining \eqref{eq: eps_error} and \eqref{eq: eps_error_hat}, we get with $k, \nu \ge0$,  $m = 0, \cdots M$,
\begin{equation}
\label{eq: err_errhat}
e^{(k)}_{m, \nu} = \hat{e}^{(k)}_{m, \nu} + e^{(k+1)}_{m, \nu},\quad
d^{(k)}_{m, \nu} = \hat{d}^{(k)}_{m, \nu} + d^{(k+1)}_{m, \nu}.
\end{equation}

\begin{rem}
Similar $\varepsilon$-asymptotic expansions can be given for the numerical solutions of the InDC-IRK method. Again, to avoid heavy notations, we organize them in Appendix
\end{rem}

\subsection{
The IRK method applied to SPPs
}
\label{sec2.0}

In order to get more insight in the convergence estimates of InDC methods,
it is useful to consider the convergence results for the RK methods when applied to (\ref{spp}).
We observe that when the parameter $\varepsilon$ in system (\ref{spp}) is small, the corresponding differential equation
is stiff, and when $\varepsilon$ tends to zero, the differential equations become a differential
algebraic system.
The corresponding \emph{reduced} system, i.e. $\varepsilon = 0$, is the differential algebraic equation (DAE)
\begin{equation}\label{reduced}
\begin{array}{l}
y' = f(y,z), \\
0 = g(y,z),
\end{array}
\end{equation}
whose initial values are \emph{consistent} if $0 = g(y_0,z_0)$. We assume that the Jacobian
\begin{equation}
\label{redg}
g_z(y, z) \qquad \textrm{is invertible},
\end{equation}
in a neighbourhood of the solution of (\ref{reduced}). This
assumption guarantees the solvability of (\ref{reduced}) and that the equation $g(y, z) = 0$ possesses
a locally unique solution $z = \mathcal{G}(y)$ (Implicit Function Theorem), which inserted into (\ref{reduced}) gives
\begin{equation}
\label{eqy}
y' = f(y,\mathcal{G}(y)).
\end{equation}
From now on we assume a Lipschitz condition for $\mathcal{G}$. Furthermore, under the assumption \eqref{redg}, equation (\ref{reduced}) is said to be a differential-algebraic equation of index 1. For a definition of the index of differential algebraic problems, we refer to \cite{gear1988differential, hairer1993solving2}.

{Now in order to solve system (\ref{spp}) we apply
an IRK method. This gives
\begin{equation}\label{eq:1-8}
\left(\begin{array}{c}
y_{n+1}\\
 z_{n+1}
\end{array}\right)
 = \left(\begin{array}{c}
y_{n}\\
 z_{n}
\end{array}\right)
 + h \sum_{i=1}^{s} b_i\left(\begin{array}{c}
                           k_{ni}\\
                            \ell_{ni}
                          \end{array}\right) ,
\end{equation}
where
\begin{equation}\label{eq:1-9}
\left(\begin{array}{c}
k_{ni}\\
\varepsilon \ell_{ni}
\end{array}\right)
 = \left(\begin{array}{c}
f(Y_{ni},Z_{ni})\\
g(Y_{ni},Z_{ni})
\end{array}\right),
\end{equation}
and the internal stages are given by
\begin{equation}\label{eq:1-10}
\left(\begin{array}{c}
Y_{ni}\\
 Z_{ni}
\end{array}\right)
 = \left(\begin{array}{c}
y_{n}\\
 z_{n}
\end{array}\right)
 + h  \sum_{j=1}^{s} a_{ij}\left(\begin{array}{c}
                          k_{nj}\\
                           \ell_{nj}
                          \end{array}\right).
\end{equation}
Such method is characterized by the coefficient matrix $A = ({a}_{ij})$ and vectors $c=(c_1,...,c_s)^T$, $b=(b_1,...,b_s)^T$.
They can be represented by a $tableau$ in the usual Butcher notation,
\begin{equation}
\label{eq: B_table}
\begin{array}{c|c}
{c} & {A}\\
\hline
 & {b^T} \end{array}.
\end{equation}
The coefficients $c$ are given by the basic consistency relation
$ c_i = \sum_{j=1}^{s} a_{ij}$.

We now suppose that the matrix $A$ is invertible and put $\varepsilon = 0$, we obtain by algebraic manipulations from \eqref{eq:1-8}, \eqref{eq:1-9}, \eqref{eq:1-10} that,
\begin{equation}\label{eq:1-10bis}
\begin{array}{l}
\displaystyle y_{n+1}=
y_{n} + h \sum_{i=1}^{s} b_i f(Y_{ni},Z_{ni})\\
\displaystyle  z_{n+1} =
R(\infty)z_{n} + h \sum_{i=1}^{s} b_i w_{ij} Z_{nj},
\end{array}
\end{equation}
where
\begin{equation}\label{eq:1-9bis}
\begin{array}{l}
\displaystyle Y_{ni} = y_n + h  \sum_{j=1}^{s} a_{ij} f(Y_{ni},Z_{ni})\\
\displaystyle 0 = g(Y_{ni},Z_{ni}),
\end{array}
\end{equation}
with $R(\infty) = 1- \sum_{i,j=1}^s b_i w_{ij}$, where $R(z)$ is the stability function of the method and $w_{ij}$ the elements of the inverse of the matrix $A$.
We note that the numerical solution $z_{n+1}$ is independent of $\varepsilon$ and this represents an interesting approach to solve the reduced system (\ref{reduced}).
In general the numerical solutions (\ref{eq:1-10bis}) do not lie on the manifold $g(y,z) = 0$. Of special importance here is the following definition which will be an important assumption in the next for the analysis.

\begin{defn}
\label{DefSA} An IRK method is called \emph{stiffly accurate} (SA) if $b^T = e^T_s A$ with $e^T_s = (0,...,0,1)$,
i.e., methods for which the numerical solution is identical to the last internal stage.
\end{defn}

Now we have a couple of remarks in order here.

\begin{rem}
{
By the non-singularity of the matrix $A$ and with Definition \ref{DefSA}, we have $R(\infty) = 0$ for a SA IRK method.
This makes an $A$-stable SA IRK method $L$-stable. Note that a method is called $L$-stable if it is $A$-stable and if its stability function $R(z) \to 0$ when $z \to \infty$. For details, see Chap.~IV.3 in \cite{hairer1993solving2}.
}
\end{rem}

\begin{rem}
By Definition \ref{DefSA}, we get for the numerical solutions $y_{n+1} = Y_{ns}$, and $z_{n+1} = Z_{ns}$, i.e. they are identical to the last internal stage of the method. Furthermore, by the second equation in (\ref{eq:1-9bis}), we have $Z_{ni} = \mathcal{G}(Y_{ni})$ and then $g(y_{n+1}, z_{n+1})=0$, i.e. the numerical solutions lie on the manifold and it follows that the numerical solution $z_{n+1}$ depends on $y_{n+1}$, i.e. $z_{n+1} = \mathcal{G} (y_{n+1})$.
\end{rem}

\begin{rem}
If the method is stiffly accurate, we say that the numerical solutions of the numerical method \eqref{eq:1-10bis}, \eqref{eq:1-9bis}, with $Z_{ni} = \mathcal{G}(Y_{ni})$ and $z_{n+1} = \mathcal{G} (y_{n+1})$ are  identical to the solutions of the Eq.  (\ref{eqy}) with the same Runge-Kutta method,  \cite{hairer1993solving2}.
\end{rem}

Now we review the main convergence results of IRK methods for SPPs, for a detailed review we refer the reader to \cite{hairer1988error, hairer1993solving2}. This result represents the starting point of convergence analysis for InDC methods applied to (\ref{spp}).

Under the assumptions of Theorem 3.8 in Chap.~IV.3 in \cite{hairer1993solving2}, the global error of an IRK method satisfies the following convergence results
 \begin{eqnarray*}
 y_{n} - y(t_n) = \mathcal{O}(h^p) +\mathcal{O}(\varepsilon h^{q+1}), \quad   z_{n} - z(t_n) = \mathcal{O}(h^{q+1}).
 \end{eqnarray*}
In addition, if the method is stiffly accurate, we have
 \begin{eqnarray*}
 z_{n} - z(t_n) = \mathcal{O}(h^p) +\mathcal{O}(\varepsilon h^{q}),
 \end{eqnarray*}
where $p$ is the {\em classical} order of the method, and $q$ is the {\em stage order} of the method, (i.e. condition $C(q)$ of section IV.5 in \cite{hairer1988error}).

Our idea here is to use the error analysis of  IRK methods applied to SPPs obtained in Chap.~VI.3 of \cite{hairer1993solving2}, and extend them to the InDC methods. In fact, in order to do that, we perform an asymptotic expansion of smooth solutions of the system (\ref{spp}) and similarly for the numerical solutions of an IRK method applied to (\ref{spp}). The errors of the $y$ and $z$-component are formally considered as
\begin{equation}
\label{errorExp}
y_n - y(t_n)  =  \sum_{\nu \ge 0} \varepsilon^{\nu} (y_{n,\nu} -y_\nu(t_n)), \quad  z_n - z(t_n)  =  \sum_{\nu \ge 0} \varepsilon^{\nu} (z_{n,\nu} -z_\nu(t_n)),
\end{equation}
where values $y_{\nu}(t)$, $z_{\nu}(t)$ are coefficients of the $\varepsilon$-expansion of the smooth solution for (\ref{spp})  and $y_{n,0}$, $z_{n,0}$, $y_{n, 1}$, $z_{n,1}, ...$, represent the numerical solution of the RK method applied to DAEs of arbitrary order.  Furthermore, the first differences $y_{n,0} -y_0(t_n)$ and $z_{n,0} -z_0(t_n)$ in the expansion (\ref{errorExp}) are the global errors of the RK method applied to the reduced system (\ref{reduced}), i.e.  system of index 1. The other differences for $\nu > 0$ in (\ref{errorExp}) are related to the numerical solutions of the RK method when applied to the DAEs of higher index.
For details, see
\cite{hairer1993solving2}

}

\section{Introduction}
\label{sec1}
\setcounter{equation}{0}
\setcounter{figure}{0}
\setcounter{table}{0}

{The deferred correction (DC) method for solving an initial value problem in the form of
\begin{equation}\label{ODE}
y'(t) = f(t,y(t)), \ \ y(t_0) = y_0 \in \mathbb{R}^N,
\end{equation}
has been investigated intensively \cite{CDC, SRD, AHKW}.
An advantage of the DC method is that one can use a simple numerical method, for instance a first order method, to compute the solution with higher order accuracy. This is accomplished by using a lower order numerical method to solve a series of correction equations during each time step. In each iteration, the order of the method increases.
In \cite{dutt2000spectral}, a new variant of the deferred correction method called the spectral deferred correction (SDC) was proposed. In SDC, a deferred correction procedure is applied to an integral formulation of the error equation in the DC method. It has been shown that the SDC method outperforms DC in many problems with promising numerical results \cite{dutt2000spectral}.} {This is mainly due to the integral formulation of the error equation, as numerical integration is considered to be a more stable and accurate process than numerical  differentiation. Moreover, the selection of quadrature nodes plays some role in the performance of the SDC method \cite{layton2005implications}}. In \cite{dutt2000spectral}, the quadrature nodes in the proposed SDC method are chosen to be Gauss-Lobatto, Gauss-Radau or Gauss-Legendre points for high order of accuracy. When the quadrature nodes are uniform, the SDC method is called the integral deferred correction (InDC) method. There are various SDC/InDC methods with different implementation strategies, e.g. in selecting time integrators in prediction and correction steps \cite{minion2003semi, layton2007implications, layton2008choice, huang2007arbitrary, christlieb2009integral, christlieb2009comments, idcark} and in coupling with the Krylov subspace method \cite{huang2007arbitrary}.
Within the InDC framework, it is shown in \cite{christlieb2009integral, christlieb2009comments} that if an $r$\textsuperscript{th} order integrator is used to solve the error equation, then the accuracy of the scheme increases by $r$ orders after each correction loop. This analysis has recently been extended in \cite{idcark} for the InDC method constructed with implicit and semi-implicit integrators.
In \cite{christlieb2009comments}, the InDC method constructed with high order Runge-Kutta (RK) methods has been reformulated as a RK method, whose Butcher tableau has been explicitly constructed.

The main goal of this paper is to study the convergence behavior of the InDC method constructed using implicit RK methods of different orders, when applied to a special class of stiff problems
called \emph{singular perturbation problems} (SPPs). A typical SPP has the form
\begin{equation}
\label{spp}
\begin{array}{l}
y'(t) = f(y(t),z(t)),\\
\varepsilon z'(t) = g(y(t),z(t)),
\end{array}
\end{equation}
where $y$ and $z$ are vectors in {$\mathbb{R}^{N}$} with {$N$} being the dimension of the vectors and  $\varepsilon > 0$ is the \emph{stiffness} parameter. We call these vectors the differential component for $y$ and {the} algebraic one for $z$. Classical books on this subject are \cite{Tikhonov, Malley}.
In system (\ref{spp}) we assume that
$0 < \varepsilon \ll 1$ and $f$ and $g$ are sufficiently differentiable vector-valued functions.
The functions  $f$, $g$ and the
initial values $y(0)$, $z(0)$ may depend smoothly on
$\varepsilon$. For simplicity of notation, we suppress such dependence.
We require that system (\ref{spp}) satisfies
\begin{equation}
\label{eq: gz}
\mu(g_z(y, z)) \le -1,
\end{equation}
in an $\varepsilon$-independent neighbourhood of the solution, where $\mu$ denotes the logarithmic norm with respect to some inner product. From a classical result in SPPs theory, the condition (\ref{eq: gz}) guarantees the existence of an $\varepsilon$-expansion, whose coefficients are the sum of a smooth function of the independent variable $t$ and an exponentially decaying function of the stretched variable $\tau = t/\varepsilon$ (initial layer). The exponentially decaying function is not present if the initial values of system (\ref{spp}) (which depend on $\varepsilon$) are on the smooth solution,  see Chap.~VI.3 of \cite{hairer1993solving2} for more details. We thus suppose, in our analysis, that the initial values lie on the smooth solution, that $\varepsilon\ll H$ where $H$ is the time step size, and that the initial layer is over.  In fact, arbitrary initial values introduce an initial layer in the solution. One possible way to overcome this difficulty is simply to ensure that the numerical method resolves the initial layer by taking small step size of $\mathcal{O}(\varepsilon)$.

System (\ref{spp}) allows us to understand many phenomena observed for very stiff problems.
Indeed, in \cite{hairer1993solving2} and in the original paper \cite{hairer1988error}, the authors showed that most of the RK methods presented in the literature suffer from the phenomenon of order reduction in the stiff regime.
To this aim, we investigate the same phenomenon when it appears in the InDC framework. In the past, such order reduction has been numerically investigated without much theoretical justification \cite{minion2003semi, idcark}.
The novelty of this paper is to provide rigorous and careful convergence analysis for the global error of the InDC method and investigate its stability property.

In this paper, we study the global error of the InDC method when it is applied to SPPs in the form of (\ref{spp}), in order to seek an understanding on the order reduction phenomenon. First we consider the InDC method constructed with the backward Euler (BE) method, denoted as InDC-BE, and then with implicit RK (IRK) methods, denoted as InDC-IRK.

The main idea is to expand the error in powers of $\varepsilon$, whose coefficients are called error terms, and show convergence results for these error terms. Order reduction phenomenon exists for both differential and algebraic components in the InDC framework. Specifically, under suitable assumptions, the order of convergence for the first term in the $\varepsilon$-expansion of global error increases with high order if a high order RK method is applied in the correction steps of the InDC method;  whereas the order of convergence for the second term in $\varepsilon$-expansion is determined by the stage order of the RK method for the prediction step. We focus our analysis on the InDC method using uniform quadrature nodes, but excluding the left-most endpoint. The uniform distribution of nodes is important to increase accuracy by the corresponding high order, when a high order RK method is applied in correction steps for classical problems; we refer readers to \cite{christlieb2009integral} for details.
 The use of quadrature nodes excluding the left-most endpoint leads to an important stability condition for stiff problems, i.e. the method becomes L-stable if A-stable; we {discuss such stability issues in Section~\ref{sec: stab}}.

{ We also remark that important assumptions on the IRK method are that the method is {stiffly accurate} and has nonsingular matrix $A$ {in its Butcher table representation}.} We will show that, if these properties are not satisfied, the corresponding InDC method becomes unstable and the numerical solution diverges. {A satisfactory explanation of this fact is given in the Appendix}.

The paper is organized in the following way. In the rest of this section,
we present the basic notations of IRK methods for SPPs in \cite{hairer1993solving2} (for more details see \cite{hairer1988error}).
In Section~\ref{sec2}, we introduce the InDC-BE method for SPPs \eqref{spp}.
In Section~\ref{sec3}, main theoretical results are stated in the form of two Theorems; numerical evidence supporting these theoretical  results are summarized and presented. In Section~\ref{sec4}, we prove convergence results for the InDC-BE method. In Section~\ref{sec: stab}, we study the linear stability properties of these InDC methods. Conclusions are given in Section~\ref{sec5}.  {We organize the description of InDC-IRK methods, the $\varepsilon$-expansion of the numerical solution, as well as the corresponding error estimates and the estimation of the remainder, into the Appendix for better readability of the paper}. Throughout the paper, for classical concepts and convergence results related to RK methods applied to SPPs, we will cite the classical book on the subject \cite{hairer1993solving2} (with the Chapter numbering) from time to time.
\input{implicit_RK}

\section{Main results and numerical evidence}
\label{sec3}
\setcounter{equation}{0}
\setcounter{figure}{0}
\setcounter{table}{0}

In this section, we present the main theoretical results in the form of theorems, and provide numerical evidence supporting the main theorems. We will provide a rigorous mathematical proof in the next section.

\subsection{Main results}
The aim of this section is to present convergence results of the InDC-BE and InDC-IRK method  when applied to \eqref{mainproblem1}.

\begin{thm}
\label{thm: IDC_BE}
Consider the stiff system \eqref{spp}, \eqref{eq: gz} with initial values $y(0)$, $z(0)$ admitting a smooth solution.
Consider the InDC-BE method constructed with $M$ uniformly distributed quadrature nodes excluding the left-most point and $K$ correction steps.
Then the global errors after $K$ correction satisfy,
\begin{equation}
\label{eq: final_estimate1}
\begin{array}{lll}
e^{(K)}_n = \hat{y}^{(K)}_n - y(t_n) &=& \mathcal{O}(H^{\min\{K+1, M\}}) + \mathcal{O}(\varepsilon H),\\
d^{(K)}_n=\hat{z}^{(K)}_n - z(t_n) &=& \mathcal{O}(H^{\min\{K+1, M\}}) + \mathcal{O}(\varepsilon H)
\end{array}
\end{equation}
for $\varepsilon \le cH$ and for any fixed constant $c>0$, where  $H = Mh$ is one InDC time step. The estimates hold uniformly for $H\le H_0$ and $nH \le Const$.
\end{thm}
\begin{thm}
\label{thm: IDC_RK}
Consider the stiff system \eqref{spp}, \eqref{eq: gz} with initial values $y(0)$, $z(0)$ admitting a smooth solution.
Consider the InDC method constructed with $M$ uniformly distributed quadrature nodes excluding the left-most point and  a stiffly accurate IRK method of order $p^{(0)}$, stage order $q^{(0)}$ with $(q^{(0)} < p^{(0)})$ for the prediction step. Apply IRK methods of different classical orders $(p^{(1)}, p^{(2)}, \ldots,  p^{(K)})$
in the correction loops, $k=1, \cdots K$. {Assume that each of these {IRK} methods in the prediction and correction loops are stiffly accurate and the matrices $A$ are nonsingular.}
Then the global errors after $K$ correction loops satisfy the estimates
\begin{equation}
\begin{array}{lll}\label{final_estimate}
e^{(K)}_n = \hat{y}^{(K)}_n - y(t_n) &=& \mathcal{O}(H^{\min\{s_{K}, M\}}) +\mathcal{O}(\varepsilon H^{q^{(0)}}),\\%+\cdots +\mathcal{O}(\varepsilon^{\nu} H^{q^{(0)}+1-\nu})  + \mathcal{O}(\varepsilon^{\nu+1}/H) \\
d^{(K)}_n = \hat{z}^{(K)}_n - z(t_n) &=& \mathcal{O}(H^{\min\{s_K, {M}\}}) +\mathcal{O}(\varepsilon H^{q^{(0)}})
\end{array}
\end{equation}
for $\varepsilon \le cH$ and for any fixed constant $c>0$, $s_{K} = \sum_{k=0}^{K} p^{(k)}$, and $H = Mh$ is one InDC time step. The estimates hold uniformly for $H\le H_0$ and $nH \le Const$.
\end{thm}

From the above two theorems, it is observed that the order of convergence for the first terms in (\ref{eq: final_estimate1}) and (\ref{final_estimate}) increases with the correction iteration $k$ , whereas the order for later terms does not change with the number of corrections $k$.

We note that (\ref{eq: eps_error}),  but replacing $m$ with $n$, can be adopted to represent the $\varepsilon$-asymptotic expansion of the global error functions $e^{(K)}_n$ and $d^{(K)}_n$ at the $K$-th correction step, where $e^{(K)}_{n,\nu}$ and $d^{(K)}_{n,\nu}$ for $\nu = 0,1,\cdots$, are the global errors of {InDC stiffly accurate (SA) IRK method (InDC SA-IRK}), applied to the differential algebraic systems of different indices \eqref{eq: exact_eps_0}-\eqref{eq: exact_eps_nu}. In section \ref{sec4}, we only prove Theorem \ref{thm: IDC_BE} for estimating $e^{(K)}_{n,\nu}$ and $d^{(K)}_{n,\nu}$ with $\nu=0, 1$ for the InDC-BE method.

To avoid heavy notations and technical details, we prove Theorem \ref{thm: IDC_RK} for general InDC-IRK methods   and  estimate the remainder {of the expansion (\ref{EstRem})} in sections {\ref{mainT} and \ref{SectRem}} in the Appendix.

\subsection{Numerical evidence}
We present some numerical evidence of  the estimates given in Theorem~\ref{thm: IDC_BE} and Theorem~\ref{thm: IDC_RK}.
Below, we consider the following InDC methods constructed with $M$ quadrature points.
\begin{itemize}
\item The InDC-BE method with $k$ correction steps (InDC-BE-M-k).
The BE method has order {$p=1$} and stage order {$q=1$}.
\item
The InDC method constructed with a second order stiffly accurate DIRK method in
$k$ correction steps (InDC-DIRK2-SA-M-k). The second order DIRK method ({\em DIRK2-SA}) has the Butcher tableau
\begin{equation}
\begin{array}{c|cc}
\gamma & \gamma &0\\
1 & 1-\gamma & \gamma\\
\hline
 & 1-\gamma & \gamma
 \end{array} \ \ \ \ \
\end{equation}
where $\gamma = 1-\frac{\sqrt{2}}{2}$. This method is stiffly accurate with order {$p=2$} and stage order {$q=1$}.
\item The InDC method constructed with a second order non stiffly accurate midpoint method in
$k$ correction steps (InDC-DIRK2-NSA-M-k).
The second order midpoint method ({\em DIRK2-NSA}) has the Butcher tableau
\begin{equation}
\begin{array}{c|c}
1/2 & 1/2\\
\hline
 & 1
 \end{array} \ \ \ \ \
 .
\end{equation}
This method is not stiffly accurate, with order {$p=2$} and stage order {$q=1$}.

\item
The InDC method constructed with a second order stiffly accurate Lobatto IIIA method (trapezoidal rule) in
$k$ correction steps (InDC-LobattoIIIA2-M-k).
This method has the Butcher tableau
\begin{equation}
\begin{array}{c|cc}
0&0 &0\\
1& 1/2 & 1/2\\
\hline
 & 1/2 &1/2
 \end{array} \ \ \ \ \ .
\end{equation}
It is stiffly accurate with matrix $A$ singular. It is $A$-stable but not $L$-stable ($R(\infty) \neq 0$), order {$p=2$} and stage order {$q=1$}.
\item The InDC method constructed with a third order stiffly accurate Radau IIA method in the prediction step and with the BE method in
$k$ correction steps (InDC-Radau-BE-M-k).
The third order Radau IIA method has the Butcher tableau
\begin{equation}
\begin{array}{c|cc}
1/3 & 5/12 &-1/12\\
1 & 3/4 & 1/4\\
\hline
 & 3/4 & 1/4\\
 \end{array} \ \ \ \ \ .
\end{equation}
This method is stiffly accurate with order {$p=3$} and stage order {$q=2$}.
\end{itemize}
The indicated order of convergence by Theorem~\ref{thm: IDC_BE} and Theorem~\ref{thm: IDC_RK} for the $y$ and $z$ components in the SPPs are summarized in Table~\ref{tab: error}. Below we discuss the convergence rates specified in Table \ref{tab: error}.
\begin{itemize}
\item
For the InDC-BE-M-k method, the order of convergence will increase with $k$ for the first error term in equation \eqref{eq: eps_error} when $\varepsilon \ll H$ and  $k\le M-1$, leading to a term of $H^{\min(k+1, M)}$ for the differential and algebraic component in \eqref{eq: final_estimate1}.
{The BE method has stage order $q = 1$}. The order of convergence for the second error term in equation \eqref{eq: eps_error}
will be determined by the stage order of the prediction $q^{(0)} = 1$ when $k$ increases, leading to a term of $\varepsilon H$ in equation \eqref{eq: final_estimate1}.
\item
For the InDC-DIRK2-SA-M-k, the order of convergence will increase with $k$ by $2$ for the first error term in equation \eqref{eq: eps_error} when $\varepsilon \ll H$ and  $k\le M-1$, leading to a term of $H^{\min(2(k+1), M)}$ for the differential and algebraic component in equation \eqref{eq: final_estimate1}. DIRK2-SA method has stage order $q = 1$. The order of convergence for the second error term in equation \eqref{eq: eps_error} will be determined by the stage order of the prediction $q^{(0)} = 1$ when $k$ increases, leading to a term of $\varepsilon H$ in equation \eqref{eq: final_estimate1}.

\item
An important ingredient, suggested by the analysis, is to require that the methods to be stiffly accurate, i.e. $a_{sj} = b_j$ for $j = 1, \cdots , s$ and that the matrix $A$ is nonsingular. Such a choice provides a significant benefit for the convergence of the numerical solution, without which the numerical solutions will diverge. For example, if we consider using the second order non stiffly accurate DIRK method in both the prediction and $k$ correction steps of an InDC framework with $M$ quadrature points (InDC-DIRK2-NSA-M-k), divergence results are expected (see Figure \ref{fig2.2}). Note that in the analysis for InDC-IRK method in the appendix, a satisfactory theoretical explanation of this fact is given. {Finally, if we consider using methods with singular matrix $A$, as for example the second order Lobatto IIIA method, in both the prediction and $k$ correction steps of an InDC framework with $M$ quadrature points (InDC-LobattoIIIA2-M-k, right plot in Figure \ref{fig2.2}), again divergence is expected.}

\item
For the InDC-Radau-BE-M-k, the order of convergence will increase
with $k$ by $1$ for the first error term in equation \eqref{eq: eps_error} when $\varepsilon \ll H$ and  $k\le M-1$, leading to a term of $H^{\min(3+k, M)}$ for the differential and algebraic component in equation \eqref{eq: final_estimate1}.
Radau IIA method has stage order $q = 2$. The order of convergence for the second error term in equation \eqref{eq: eps_error} will be determined by the stage order of the prediction $q^{(0)} = 2$ when $k$ increases, leading to a term of $\varepsilon H^2$ in equation \eqref{eq: final_estimate1}.
\end{itemize}

\begin{table}[htb]
\begin{center}
\caption{{
Global error predicted by Theorem~\ref{thm: IDC_BE} and Theorem~\ref{thm: IDC_RK} with $H \gg \varepsilon$. Note that `SA'/`NSA' means stiffly accurate/not stiffly accurate.
}\label{tab: error}
}
\bigskip
\begin{tabular}{|c | c|c|}
\hline
\cline{1-3} Method & $y-$comp &$z-$comp \\
\hline
\cline{1-3}  InDC-BE-M-k & $H^{\min(k+1,M)} + \varepsilon H$ & $H^{\min(k+1,M)} + \varepsilon H$ \\
\hline
\cline{1-3}   InDC-DIRK2-SA-M-k& $H^{\min(2(k+1),M)} + \varepsilon H$ & $H^{\min(2(k+1),M)} + \varepsilon H$ \\
\hline
\cline{1-3}  InDC-DIRK2-NSA-M-k  & diverges  & diverges\\
\hline
\cline{1-3}  InDC-LobattoIIIA2-SA-M-k  & diverges  & diverges\\
\hline
\cline{1-3}  InDC-Radau-BE-M-k  & $H^{\min(3+k,M)} + \varepsilon H^2$ & $H^{\min(3+k,M)} + \varepsilon H^2$\\
\hline
\end{tabular}
\end{center}
\end{table}

For numerical verification, we first consider a scalar example \cite{hairer1993solving2}
\begin{equation}
\varepsilon z' =  - z + \cos(t)
\end{equation}
with the analytical solution
\[
z(t) = \frac{\cos(t) + \varepsilon \sin(t)}{1+\varepsilon^2} + C\exp(-t/\varepsilon),
\]
where $C = z(0) - 1$ is determined by the initial condition. For a consistent initial condition, let $C=0$. This is a good example to investigate the order of convergence for the $\varepsilon^1$ term in equation~\eqref{errorExp}, as the error for $\varepsilon^0$ is $0$. Indeed, for stiff parameter $\varepsilon = 10^{-6}$ only a region of first order convergence is observed for the BE method, where the global and local error given for the $z$-component is $\mathcal{O}(\varepsilon H)$ (see Corollary 3.10 in \cite{hairer1993solving2}). Figure~\ref{fig1} gives the one step error (local error) and global error of  BE method, expected $\mathcal{O}(\varepsilon H)$ is observed. We also test the InDC-DIRK2-NSA-3-1 and InDC-LobattoIIIA2-SA-4-2 method.
Numerical results are presented in Figure~\ref{fig2.2}. Divergence results are observed when time step is large compared to $\varepsilon$ if an InDC-correction is performed.

\begin{figure}[htb]
\begin{center}
\includegraphics[width=2.5in]{scalar_BE_local}
\includegraphics[width=2.5in]{scalar_BE}
\end{center}
\caption{Scalar example.
Local, i.e. one step error (left plot) and global error at $T = 0.5$ (right plot) of  BE method. $\mathcal{O}(\epsilon H)$ is observed in both plots with $\varepsilon = 10^{-6}$.
}
\label{fig1}
\end{figure}

\begin{figure}
\centering
\includegraphics[width=2.5in]{z-mid}
\includegraphics[width=2.5in]{IDC_Lobatto_4_2}
\caption{Scalar example. $\varepsilon = 10^{-4}$.
Left: global error ($T = 0.1$) of the InDC-second order DIRK method that is not SA with three quadrature points and one correction step.
{Right: global error ($T = 0.1$) of the InDC-second order Lobatto IIIA method with matrix $A$ singular, four quadrature points and one correction step.}
}
\label{fig2.2}
\end{figure}

Now we consider the van der Pol equation \cite{hairer1993solving2} with the well-prepared initial data up to $\mathcal{O}(\varepsilon^3)$
\begin{equation}
\left\{
\begin{array}{l}
y' = z \\
\varepsilon z' = (1-y^2) z - y
\end{array}
\right.,
\quad
\left\{
\begin{array}{l}
y(0) = 2 \\
z(0) = -\frac23 + \frac{10}{81}\varepsilon -\frac{292}{2187} \varepsilon^2
\end{array}
\right.
\end{equation}
\begin{itemize}
\item
Numerical results of the InDC-BE-3-2 method  are presented in the upper row of Figure~\ref{fig6}. The order of convergence for $\varepsilon^0$ term would increase with the correction loops. The $\varepsilon^1$ term of error behaves like $\mathcal{O}(\varepsilon H)$ for both $y$ and $z$ components.
\item The numerical results of the InDC-DIRK2-SA-4-1 method are presented in the middle row of Figure~\ref{fig6}. The order of convergence for $\varepsilon^0$ term would increase with second order with the correction loop. The $\varepsilon^1$ term of error behaves like $\mathcal{O}(\varepsilon H)$ for both $y$ and $z$ components.
\item The numerical results of the InDC-Radau-BE-6-2 method are presented in the botton row of Figure~\ref{fig6}. The order of convergence for $\varepsilon^0$ term would increase with first order correction loop and is observed to be $\mathcal{O}(H^5)$. The $\varepsilon^1$ term of error behaves like $\mathcal{O}(\varepsilon H^2)$ for both $y$ and $z$ components.
\end{itemize}

Numerical observations in Figure~\ref{fig6} are consistent with Theorem~\ref{thm: IDC_BE}, ~\ref{thm: IDC_RK} and Table~\ref{tab: error}. Especially, it is observed that the InDC SA-IRK methods exhibit order reduction both in differential and algebraic components. They produce an estimate for the $y$ and $z$ component in the form of equation \eqref{final_estimate}.
For example, in Figure ~\ref{fig6}, we observe a behavior like $e^{(k)}_n = \mathcal{O}(H^{3}) +  \mathcal{O}(\varepsilon H)$. Furthermore, if the step size $H > \varepsilon^{\frac{1}{s_k-q^{(0)}}}$, $\mathcal{O}(H^{s_k})$ is dominant, otherwise the term $ \mathcal{O}(\varepsilon H^{q^{(0)}})$ is observed.
We observe that in the neighborhood of $H \approx \varepsilon^{\frac{1}{s_k-q^{(0)}}}$, we have a cancellation of error terms between $\mathcal{O}(H^{s_k})$
and $\varepsilon \mathcal{O}(H^{q^{(0)}})$, if error constants are of opposite signs, see for example the plots in middle and bottom rows of Figure~\ref{fig6}.

\begin{figure}
\centering
\includegraphics[width=2.5in]{y-IDC-BE-4-2},
\includegraphics[width=2.5in]{z-IDC-BE-4-2}
\centering
\includegraphics[width=2.5in]{y-IDC-SA-6-1},
\includegraphics[width=2.5in]{z-IDC-SA-6-1}
\centering
\includegraphics[width=2.5in]{err_y_radau_7_2},
\includegraphics[width=2.5in]{err_z_radau_7_2}
\caption{
Van der Pol equation.
Global error ($T = 0.5$) of the InDC-BE-3-2 method (upper row);
and of the InDC-DIRK2-SA-4-1 method  (middle row);
and of the InDC-Radau-BE-6-2 method  (bottom row).
$\varepsilon = 10^{-6}$.
}
\label{fig6}
\end{figure}

\section{Proofs of main results}
\label{sec4}
\setcounter{equation}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
In this section, we prove Theorem~\ref{thm: IDC_BE}, which is a special case of Theorem~\ref{thm: IDC_RK}. By proving Theorem~\ref{thm: IDC_BE} through several lemmas, we demonstrate the basic ingredients of the general proof for Theorem~\ref{thm: IDC_RK} presented in the Appendix.
Our error estimates are based on the $\varepsilon$-expansion outlined in Section~\ref{sec: eps-exp}.

\subsection{Error estimates for Theorem \ref{thm: IDC_BE}.}

We perform local error estimate for Theorem \ref{thm: IDC_BE} by two Lemmas. We again note that since $h = \frac{H}{M}$, we use $\mathcal{O}(h^p)$ and $\mathcal{O}(H^p)$ interchangeably below in our proof. We then prove the global error estimate based on the two Lemmas.

\begin{lem}
\label{lemma1}
($\varepsilon^0$ error term).
Let us assume that the reduce system (\ref{reduced}) with $\varepsilon=0$ satisfies {\eqref{redg}} and that the initial values are consistent.
Consider the InDC-BE method constructed with $M$ uniformly distributed quadrature nodes excluding the left-most point and $k$ correction steps, i.e. \eqref{eq:Euler-0} for the prediction step and \eqref{eq:Euler-0-k} for the correction one, with $k=1, \cdots, K$.
Then the numerical solutions satisfy the following local error estimates
at each interior node of InDC $\tau_m$ with $m = 0,...,M$,
\begin{eqnarray}
\label{eq: lemma2_local}
\begin{array}{l}
e^{(k)}_{m,0} = y_{m,0} - \hat{y}^{(k)}_{m,0} = \mathcal{O}(h^{\min(k+2,M+1)}),
\quad
d^{(k)}_{m,0} = z_{m,0} - \hat{z}^{(k)}_{m,0} = \mathcal{O}(h^{\min(k+2,M+1)}),
\end{array}
\end{eqnarray}
with
\begin{equation}
\label{eq: lemma2_g1}
g(\hat{y}^{(k)}_{m, 0}, \hat{z}^{(k)}_{m, 0}) = 0,
\end{equation}
for $k=0, \cdots, K$.
\end{lem}
\noindent
{\bf Proof.}
For $k = 0$, equation \eqref{eq: lemma2_g1} is a consequence of the consistency of the initial conditions for system  \eqref{eq: exact_eps_0}. Then we start to prove  the local error estimate \eqref{eq: lemma2_local} for the prediction step ($k=0$). For the exact solution, by equation \eqref{eq: exact_eps_0} and assumption \eqref{redg}, we have for the $y_0(t)$ component, equation (\ref{eqy}) and
$g(y_0(t),z_0(t)) = 0$. By equation \eqref{redg}, it follows that $z_0(t) = \mathcal{G}(y_0(t))$.

For the numerical solution, we have \eqref{eq:Euler-0}. By
$
g( \hat{y}^{(0)}_{m,0}, \hat{z}^{(0)}_{m,0}) =0,
$
with $m = 0,...,M$,
we get  $\hat{z}^{(0)}_{m,0} =\mathcal{G}(\hat{y}^{(0)}_{m,0})$
with $\hat{y}^{(0)}_{m,0}$ being numerical solution of the ordinary differential equation (\ref{eqy}).
Then from classical error estimates for the BE method, we have for the local truncation error  $|\hat{y}^{(0)}_{m, 0} - y_{m, 0}|  \le C_m h^2$ with $m = 0,...,M$, for some constant $C_m$ independent of $H$. Therefore, $|\hat{y}^{(0)}_{m, 0} - y_{m, 0}| = \mathcal{O}(h^2)$ and
by $\hat{z}^{(0)}_{m,0} =\mathcal{G}(\hat{y}^{(0)}_{m,0})$ and the Lipschitz condition of $\mathcal{G}$, it follows that $|\hat{z}^{(0)}_{m, 0} - z_{m, 0}| = \mathcal{O}(h^2)$ with $m = 0,...,M$.

Now we prove  the local error estimate \eqref{eq: lemma2_local} and equation \eqref{eq: lemma2_g1} for the correction step $k=1$, assuming a fixed  $M\ge1$. By $g(\hat{y}^{(0)}_{m, 0},\hat{z}^{(0)}_{m, 0}) =0$ in the prediction step, from the second equation in \eqref{eq:Euler-0-k}, we obtain
$
g(\hat{y}^{(1)}_{m, 0},\hat{z}^{(1)}_{m, 0}) =0,
$
with $m = 0,...,M$, i.e. equation \eqref{eq: lemma2_g1} with $k = 1$. Then, from the condition (\ref{redg}) it follows  $\hat{z}^{(1)}_{m,0} = \mathcal{G}(y^{(1)}_{m, 0})$, and this gives from  \eqref{eq:Euler-0-k}
\begin{eqnarray}
\label{eq: lemma2_be}
\begin{array}{l}
\hat{y}^{(1)}_{m+1,0} = \hat{y}^{(1)}_{m,0} + h (\hat{f}(\hat{y}^{(1)}_{m+1,0})-
\hat{f}( \hat{y}^{(0)}_{m+1,0}))
 + h S^{m}(\bar{\hat{f}}^{(0)}_0),
\end{array}
\end{eqnarray}
where $\hat{f}(\hat{y}^{(1)}_{m+1,0})  = f(\hat{y}^{(1)}_{m+1,0},\mathcal{G}(\hat{y}^{(1)}_{m+1,0}))$,  and
$
S^{m}(\bar{\hat{f}}^{(0)}_0) = S^{m}(\hat{f}(\bar{\hat{y}}^{(0)}_0, \mathcal{G}(\bar{\hat{y}}^{(0)}_0))).
$
The method \eqref{eq: lemma2_be} for updating $\hat{y}^{(1)}_{m,0}$ represents the first correction step of the InDC-BE method to solve the non-stiff ordinary differential equation \eqref{eqy}.
Therefore, from classical error estimates of InDC-BE method when applied to a non-stiff ordinary differential equation in \cite{christlieb2009integral}, we have $|y_{m,0} - \hat{y}^{(1)}_{m,0}| \le C_m h^3$ for some constant $C_m$ independent of $h$ with $h \le h_0$. Therefore $|y_{m,0} - \hat{y}^{(1)}_{m,0}| = \mathcal{O}(h^3)$ and
by $\hat{z}^{(1)}_{m,0} =  \mathcal{G}(\hat{y}^{(1)}_{m,0})$ and Lipschitz condition of $\mathcal{G}$, we get $|z_{m,0} - \hat{z}^{(1)}_{m,0}| = \mathcal{O}(h^3)$, $\forall m=1, \cdots M$ and $h \le h_0$. The estimate for general $k>1$ can be proved in a similar fashion and by mathematical induction with respect to $k$.
$\mbox{ }\rule[0pt]{1.5ex}{1.5ex}$
\begin{lem}
\label{lemma3}
($\varepsilon^1$ error term). Assume condition \eqref{eq: gz} holds and initial values of the differential algebraic system \eqref{eq: exact_eps_0}-\eqref{eq: exact_eps_1} are consistent. Consider the InDC-BE method constructed with $M$ uniformly distributed quadrature nodes excluding the left-most point, and with \eqref{eq:Euler-0}-\eqref{eq:Euler-1} for the prediction step and \eqref{eq:Euler-0-k}-\eqref{eq:Euler-1-k} for the correction step with $k=1, \cdots, K$ for solving the differential algebraic system \eqref{eq: exact_eps_0} -\eqref{eq: exact_eps_1}.
Then the local error estimates of the InDC-BE method
\begin{equation}
\label{eq: L5}
e^{(k)}_{m,1} = y_{m,1} - \hat{y}^{(k)}_{m,1} = \mathcal{O}(h^2), \quad
d^{(k)}_{m,1} = z_{m,1} - \hat{z}^{(k)}_{m,1} = \mathcal{O}(h),
\end{equation}
hold for $m=1, \cdots, M$ at the interior nodes of InDC, and for $k=0, \cdots, K$.
\end{lem}
\noindent
{\bf Proof.} The proof for the case of $k=0$ (prediction step) is a consequence of Lemma 4.4 in Chap. VII.4 in \cite{hairer1993solving2}.
We then consider the first correction step with $k=1$ and assume a fixed  $M\ge1$.
We prove \eqref{eq: L5} by mathematical induction w.r.t. $m$. Especially, we know
$e^{(1)}_{m,1} = d^{(1)}_{m,1} = 0$, with $m=0$. We assume \eqref{eq: L5}
is valid for $0, \cdots, m$. We will prove that \eqref{eq: L5} is valid for $m+1$.
The integration of \eqref{eq: exact_eps_1} over
$[\tau_m, \tau_{m+1}]$ gives
\begin{equation}
\label{eq:exact-1}
\varepsilon^1: \quad
\left\{
\begin{array}{lll}
y_{m+1, 1} = y_{m, 1} + \int_{\tau_m}^{\tau_{m+1}} \mathbb{F}_1(\tau) d\tau,\\
z_{m+1, 0} = z_{m, 0} + \int_{\tau_m}^{\tau_{m+1}} \mathbb{G}_1(\tau) d\tau,\\
\end{array}
\right.
\end{equation}
with $\mathbb{F}_1$ and $\mathbb{G}_1$ defined in \eqref{eq: exact_eps_1}.
We consider now
\begin{equation}
\label{ed1}
e^{(1)}_{m+1,1} = y_{m+1,1}-\hat{y}^{(1)}_{m+1,1}, \quad d^{(1)}_{m+1,1} = z_{m+1,1}-\hat{z}^{(1)}_{m+1,1},
\end{equation}
i.e. the difference between the exact and numerical solution at $\tau_{m+1}$. From (\ref{eq: tempDF1}), as well as from the estimates \eqref{eq: lemma2_local} in Lemma~\ref{lemma1}, we have
\begin{eqnarray} \label{eq: Delta_F}
\Delta \hat{\mathbb{F}}^{(k-1)}_{m+1,1} =f_y \hat{e}^{(k-1)}_{m+1,1} + f_z
\hat{d}^{(k-1)}_{m+1,1} + \mathcal{O}(h^{k+1}).
\end{eqnarray}
Here we used the abbreviations $ f_y = f_y (y_{m+1,0}, {z}_{m+1,0})$ and similarly for $f_z$.
Equally, we have
\begin{equation}
\label{eq: Delta_G}
\Delta \hat{\mathbb{G}}^{(k-1)}_{m+1,1}
=  g_y  \hat{e}^{(k-1)}_{m+1,1}   + g_z \hat{d}^{(k-1)}_{m+1,1} + \mathcal{O}(h^{k+1}).
\end{equation}
Then from \eqref{eq: Delta_F} and \eqref{eq: Delta_G} for $k = 1$ it follows
\begin{equation}
\label{eq:new-error}
\left\{
\begin{array}{l}
\Delta \hat{\mathbb{F}}^{(0)}_{m+1,1}= \big( f_y\hat{e}^{(0)}_{m+1,1} + f_z\hat{d}^{(0)}_{m+1,1}) + \mathcal{O}(h^2),\\[3mm]
\Delta  \hat{\mathbb{G}}^{(0)}_{m+1,1} =
\big( g_y\hat{e}^{(0)}_{m+1,1} +
g_z\hat{d}^{(0)}_{m+1,1}) + \mathcal{O}(h^2).
\end{array}
\right.
\end{equation}
Now subtracting equation \eqref{eq:Euler-1-k} from equation \eqref{eq:exact-1} this gives
\begin{eqnarray}
\label{eq:num-1}
\varepsilon^1: \quad
\left\{
\begin{array}{l}
{e}^{(1)}_{m+1,1} = {e}^{(1)}_{m,1}  - h \Delta  \hat{\mathbb{F}}^{(0)}_{m+1,1}- h S^{m}(\bar{\hat{\mathbb{F}}}_1^{(0)})
+\int_{\tau_m}^{\tau_{m+1}} {\mathbb{F}}_1 (\tau)d\tau, \\[3mm]
{d}^{(1)}_{m+1,0} = {d}^{(1)}_{m,0} - h \Delta  \hat{\mathbb{G}}^{(0)}_{m+1,1}- h S^{m}(\bar{\hat{\mathbb{G}}}_1^{(0)})
+\int_{\tau_m}^{\tau_{m+1}} {\mathbb{G}}_1 (\tau) d\tau.
\end{array}
\right.
\end{eqnarray}
On the right-hand side of the equations in (\ref{eq:num-1}) we add and subtract the following quantities: $h S^{m}(\bar{\mathbb{F}}_1)$ and $h S^{m}(\bar{\mathbb{G}}_1)$,  these are the integrals of $(M-1)^{th}$ degree interpolating
polynomials on $(\tau_m, \mathbb{F}_1(\tau_m))_{m=1}^{M}$ and $(\tau_m, \mathbb{G}_1(\tau_m))_{m=1}^{M}$ over the subinterval $[\tau_m, \tau_{m+1}]$, hence they are accurate to the order $\mathcal{O}(h^{M+1})$ locally, i.e.  $\int_{\tau_m}^{\tau_{m+1}}   {\mathbb{F}}_1 (\tau) d\tau -h S^{m}( \bar{\mathbb{F}}_1) = \mathcal{O}(h^{M+1})$. By the  local error estimates in Lemma~\ref{lemma1}, as well as equation \eqref{eq: L5} for $k=0$, it follows that
$S^{m}( \bar{\mathbb{F}}_1)-S^{m}(\bar{\hat{\mathbb{F}}}_1)$ and $S^{m}(\bar{\mathbb{G}}_1)-S^{m}(\bar{\hat{\mathbb{G}}}_1)$ are accurate to the order $\mathcal{O}(h)$.
Thus, {from \eqref{eq:num-1} we get}
\begin{eqnarray}
\label{eq: new_error_2_y}
\left\{
\begin{array}{lll}
{e}^{(1)}_{m+1,1} &=& {e}^{(1)}_{m,1} -  h \left( f_y\hat{e}^{(0)}_{m+1,1} +  f_z\hat{d}^{(0)}_{m+1,1} \right)  + \mathcal{O}(h^2),\\[3mm]
\label{eq: new_error_2_z}
{d}^{(1)}_{m+1,0} &=& {d}^{(1)}_{m,0} - h \left( g_y\hat{e}^{(0)}_{m+1,1} +  g_z\hat{d}^{(0)}_{m+1,1} \right)
+ \mathcal{O}(h^2).
\end{array}
\right.
\end{eqnarray}
Now from \eqref{eq: err_errhat} and \eqref{eq: lemma2_local}, we have
\begin{eqnarray}
\label{eq: eee}
\left\{
\begin{array}{l}
\hat{e}^{(0)}_{m,1} = \hat{y}^{(1)}_{m,1}-\hat{y}^{(0)}_{m,1} = e^{(0)}_{m,1}-e^{(1)}_{m,1} = -e^{(1)}_{m,1} + \mathcal{O}(h^2),\\[3mm]
\hat{d}^{(0)}_{m,1} = \hat{z}^{(1)}_{m,1}-\hat{z}^{(0)}_{m,1} = d^{(0)}_{m,1}-d^{(1)}_{m,1} = -d^{(1)}_{m,1} + \mathcal{O}(h),
\end{array}
\right.
\end{eqnarray}
and put it into equation \eqref{eq: new_error_2_y} gives,
\begin{equation}
\label{eq: new_error_3_y}
\left\{
\begin{array}{l}
{e}^{(1)}_{m+1,1} = {e}^{(1)}_{m,1} + h \left( f_y{e}^{(1)}_{m+1,1} +  f_z{d}^{(1)}_{m+1,1} \right) + \mathcal{O}(h^2),\\[3mm]
{d}^{(1)}_{m+1,0} = {d}^{(1)}_{m,0} + h \left( g_y{e}^{(1)}_{m+1,1} +  g_z{d}^{(1)}_{m+1,1} \right) + \mathcal{O}(h^2).
\end{array}
\right.
\end{equation}
Now using the estimate \eqref{eq: lemma2_local} about ${d}^{(1)}_{m,0}$, from the second equation in \eqref{eq: new_error_3_y} we obtain
\begin{equation}
\label{eq: de1}
{d}^{(1)}_{m+1,1} =  -g^{-1}_z g_y{e}^{(1)}_{m+1,1}  + \mathcal{O}(h),
\end{equation}
with the invertibility of $g_z$.
Inserting this into the first equation in \eqref{eq: new_error_3_y} gives
\begin{eqnarray}
\label{eq: new_error_4_y1}
e^{(1)}_{m+1,1} &=& (1- h (f_y - f_z g_z^{-1}g_y))^{-1}{e}^{(1)}_{m,1} + \mathcal{O}(h^2).
\end{eqnarray}
Finally ${e}^{(1)}_{m+1,1} = \mathcal{O}(h^2)$  follows from \eqref{eq: new_error_4_y1}, and ${d}^{(1)}_{m+1,1} = \mathcal{O}(h)$ from \eqref{eq: de1}.
The estimate for general $k>1$ can be proved in a similar fashion and by mathematical induction with respect to $k$.
$\mbox{ }\rule[0pt]{1.5ex}{1.5ex}$

\begin{rem} \label{InDC_SA}
In \cite{christlieb2009comments}, the InDC method constructed with explicit RK methods in the prediction and correction steps has been reformulated as a high-order explicit RK method whose Butcher tableau is explicitly constructed. Similarly, the InDC-BE can be viewed as an IRK method with the corresponding Butcher tableau. Below we present the Butcher tableau for the InDC-BE method with one loop of correction step.
This takes the form
\begin{align}\label{CBTab}
  \begin{array}{c|cc}
    \vec{c} & T & Z\\
    \vec{c} & P & T \\
    \hline
    & \vec{b}_1^T & \vec{b}_2^T
  \end{array}
\end{align}
where
$
  \vec{c} = \frac1M \left[1, \cdots, M \right]^T,
$
$Z$ is a $M\times M$ matrix of zeros,
$T$ and $P$ are $M \times M$ matrices,
with
 \begin{align*}
   {T}= \frac1M \left[
  \begin{array}{ccccc}
     1 & 0 & 0&\ldots&0\\
     1 & 1 & 0& \ldots&0\\
    \vdots & \vdots & \ddots & \vdots & \vdots \\
     1 & 1 & 1 &\ldots&1
  \end{array}
  \right],
\end{align*}
\begin{align*}
  P = \left[
    \begin{array}{ccccc}
      (\tilde{S}_{11} - \frac1M) & \tilde{S}_{12} &  \ldots & \tilde{S}_{1,M-1} & \tilde{S}_{1,M}  \\
       (\tilde{S}_{21}- \frac1M) & (\tilde{S}_{22} - \frac1M) &  \ldots & \tilde{S}_{2,M-1} & \tilde{S}_{2,M} \\
      \vdots & \vdots & \ddots & \vdots & \vdots \\
       (\tilde{S}_{M,1} - \frac1M) &
      (\tilde{S}_{M,2} -\frac1M) & \ldots
      & (\tilde{S}_{M,M-1}-\frac1M) & (\tilde{S}_{M,M}-\frac1M)
    \end{array}\right],
\end{align*}
where the term
$\tilde{S}_{ij}=\int_{t_0}^{t_i} \alpha_j(s)ds$ with $\alpha_j(s)$ the Lagrangian basis functions for the node $\tau_j$, and the vector
$$
\vec{b}_1^T = \left(\left(\tilde{S}_{M,1} - \frac{1}{M}\right), \left(\tilde{S}_{M,2} - \frac1M\right), \cdots, \left(\tilde{S}_{M,M} - \frac1M)\right) \right), \quad \vec{b}_2^T = \frac{1}{M}(1,1,\cdots, 1).$$
\end{rem}
Now  from remark \ref{InDC_SA} the following proposition follows.
\begin{prop}
\label{prop: idc_be_sa}
The InDC-BE method with $K$ correction steps is an implicit stiffly accurate IRK method with an invertible matrix $A$ in the Butcher tableau \eqref{eq: B_table}. Especially when $K=1$,  we get
\begin{eqnarray}\label{matrixIDC_A}
A =
\left( \begin{array}{cc}
T & Z\\
 P & T
 \end{array}\right).
 \end{eqnarray}
\end{prop}
\begin{rem}
\label{rem:bn}
In the estimates in Lemma \ref{lemma3}, we show that
there is no improvement for $e^{(k)}_{m, 1}$ and $d^{(k)}_{m, 1}$ as $k$ increases, see equation \eqref{eq: L5}.
This is consistent with our numerical evidences presented in the previous section.
The reason is that {\em both} the local and global error for the $z$-component
in the prediction and correction steps is of first order.
This sets the bottleneck for the order increase
in the second equation of \eqref{eq: new_error_2_y}.
\end{rem}

We are now in the position to prove Theorem~\ref{thm: IDC_BE} by the local error estimates of the two lemmas above.
\noindent
{\em Proof of Theorem~\ref{thm: IDC_BE}.}
Our first step here is to estimate $e^{(K)}_{n,0}$ and $d^{(K)}_{n,0}$. For this, from Lemma~\ref{lemma1} we have after one step from $t_0$ to $t_1$, the local error estimate
\begin{equation}
y_0(t_1) - \hat{y}^{(K)}_{M,0} = \mathcal{O}(H^{\min(K+2,{M+1})}),
\end{equation}
with $m = M$ and $\tau_M = t_1$ in equation \eqref{eq: lemma2_local}.
{In the estimate of the global error from local error,  we obtain}
\[
e^{(K)}_{n,0} = y_0(nH) - \hat{y}^{(K)}_{n, 0} =\mathcal{O}(H^{\min(K+1,{M})}).
\]
It thus follows from (\ref{eq: lemma2_g1}), and by the Lipschitz condition of $\mathcal{G}$, that
\[
d^{(K)}_{n,0} = z_0(nH) - \hat{z}^{(K)}_{n, 0} =\mathcal{O}(H^{\min(K+1,{M})}).
\]
Now our next aim is to estimate $e^{(K)}_{n,1}$  and $d^{(K)}_{n,1} $. From Lemma~\ref{lemma3}, we have for the local error estimate
\begin{equation}
y_1(t_1) - \hat{y}^{(k)}_{M,1} = \mathcal{O}(H^2).
\end{equation}
By Lemma~\ref{lemma3}, the proof of the global error estimates for $y$ and $z$  is similar to that of Theorem 4.5 and 4.6 in Chap.~VII.4 of \cite{hairer1993solving2}. Thus we obtain
\[
e^{(K)}_{n,1} = y_1(nH) - \hat{y}^{(k)}_{n, 1} =\mathcal{O}(H), \quad
d^{(K)}_{n,1} = z_1(nH) - \hat{z}^{(k)}_{n, 1} =\mathcal{O}(H),
\]
which proves the statement.
$\mbox{ }\rule[0pt]{1.5ex}{1.5ex}$

\begin{rem}
Similar error estimates can be given for the InDC SA-IRK method. We present and prove these error estimates in Appendix.
\end{rem}

\section{Stability properties}
\label{sec: stab}

One important aspect of stability of numerical integrators can be visualized by the stability region \cite{hairer1993solving2} in a complex plane around the origin.
For implicit methods discussed in Section~\ref{sec3}, we plot their stability regions in Figure~\ref{fig_stab}. In these plots, the region outside the bounded domains are the stability regions. Note that in these methods, the left-most quadrature point is always excluded in the construction of the InDC method.
The following observations can be made.

\begin{enumerate}
\item In general, as more InDC corrections are performed, the stability region shrinks.
\item The InDC-BE method appears to be A-stable with $M$ quadrature nodes and with up to $M-1$ correction loops for $M=4$ and $M=6$. For the other $M$'s, it appears that such conclusion still holds in our tests for $M\le8$. Note that such methods can be viewed as diagonally implicit RK methods.
\item The InDC-DIRK2-SA method appears to be $A(\alpha)$-stable with one and two correction loops, with the angle $\alpha$ decreasing as more correction loops are taken.
\item Among three different implicit RK methods, the InDC method constructed with the BE method appears to have the largest stability region.

\end{enumerate}

\begin{figure}[htb]
\begin{center}
\includegraphics[width=2.5in]{IDC_BE_4_k}
\includegraphics[width=2.5in]{IDC_BE_6_k}\\
\includegraphics[width=2.5in]{IDC_IRK2_6_k}
\includegraphics[width=2.5in]{IDC_IRK3_6_k}
\end{center}
\caption{Stability regions for InDC-BE method with 4 quadrature points (upper left) and 6 quadrature points (upper right) with various correction loops as indicated in the legend.
Lower left plot shows the stability region for the InDC-DIRK2-SA method with 6 quadrature points with zero, one and two correction loops as indicated in the legend.
Lower right plot shows the stability region  for the InDC-Radau method with 6 quadrature points with zero and one correction loops as indicated in the legend.
}
\label{fig_stab}
\end{figure}

{Now we prove the following proposition. We notice that a similar result on the InDC method using the first order BE scheme was established earlier in \cite{layton2005implications}.}
\begin{prop}
Let $\mathcal{R}(z)$ be the stability function of the InDC method constructed by a stiffly accurate IRK method {with nonsingular matrix $A$ in the corresponding Butcher table}.  We assume $M$ uniform quadrature points, but excluding the left-most point, are used. Then $\lim_{|z|\rightarrow\infty}\mathcal{R}(z) = 0$. That is, the method is $L$-stable, if $A$-stable.
\end{prop}
\begin{proof}
{We consider the linear scalar problem $y' = \lambda y$ with $z = \lambda h$ and $y(t=0)=1$.}
{For a stiffly accurate IRK method with nonsingular matrix $A$ the numerical solution for this linear scalar problem is equal to the last internal stage and the corresponding stability function is
\begin{equation}
\label{eq: stab_r}
R(z) = {\bf e}^T (I - A z)^{-1} \mathbf{1}
\end{equation}
with ${\bf e} = (0, \cdots, 0, 1)^T$ and $\mathbf{1} = (1, 1, \cdots, 1)^T$
such that for $z \to \infty$, we get $R(\infty) = 0$, \cite{hairer1993solving2}.
}
Let $\mathcal{R}^{(k)}_m (z)$ be the amplification factor of the InDC method in the $k$-th iteration at the $m$-th quadrature point.
In the prediction step,
\[
\mathcal{R}^{(0)}_m (z) = \left(R \left(\frac zM \right) \right)^m.
\]
Hence $\lim_{|z|\rightarrow\infty}\mathcal{R}^{(0)}_m (z)  = 0$, for $m=1, \cdots, M$, as for the IRK method $\lim_{|z|\rightarrow\infty}{R} \left(\frac z M\right)  = 0$. Let $ \vec{\mathcal{R}}^{(0)} = (\mathcal{R}^{(0)}_1, \cdots, \mathcal{R}^{(0)}_M)$, then  $\lim_{|z|\rightarrow\infty} \vec{\mathcal{R}}^{(0)}(z) = \mathbf{0}$, where $\mathbf{0}$ is a zero vector. {Note that this is true only if the left-most point is excluded.}

In the first correction step, on the first subinterval $[0, \Delta t/M]$, the amplification factor of the updated solution at the IRK intermediate stages can be represented as a vector $\vec{r}^{(1)}_1$ with the length of the vector being $s$, the stage number of the IRK method. Then, {with the help of Butcher table notation in Remark~\ref{InDC_SA},}
\begin{equation}
\label{eq: stab}
\vec{r}^{(1)}_1(z) = \mathbf{1}  + \frac{z}{M} A (\vec{r}^{(1)}_1 - P \vec{\mathcal{R}}^{(0)}) + z S \vec{\mathcal{R}}^{(0)} =  \mathbf{1}  + \frac{z}{M} A \vec{r}^{(1)}_1+ z(-\frac{A P}{M}  + S) \vec{\mathcal{R}}^{(0)}, \quad \mbox{with} \ {\bf 1} = (1, \cdots,  1, 1)'.
\end{equation}
Here we let $P$ and $S$ are interpolation and integration matrices of size $s \times M$; they are coefficients that maps the $M$ function values at quadrature nodes to approximate function values at $s$ IRK intermediate stages ($c_i/M$, $i=1, \cdots, s$) and over $s$ integrals ($[0, c_i/M]$, $i=1, \cdots, s$).
Hence,
\[
\vec{r}^{(1)}_1(z) =(I-\frac{z}{M} A)^{-1} \mathbf{1} +(I-\frac{z}{M} A)^{-1}  z(-\frac{A P}{M}  + S) \vec{{\mathcal R}}^{(0)}.
\]
Since the {IRK} method is stiffly accurate, then
{
\begin{eqnarray}
{\mathcal{R}}^{(1)}_1(z)  &=& {\bf e}^T \cdot \vec{r}^{(1)}_1(z), \qquad \mbox{with} \ {\bf e} = (0, \cdots,  0, 1)^T\notag\\
&=& {\bf e}^T (I-\frac{z}{M} A)^{-1} \mathbf{1}  + {\bf e}^T \cdot (I-\frac{z}{M} A)^{-1}  z(-\frac{A P}{M}  + S) \vec{{\mathcal R}}^{(0)}\notag \\
&\stackrel{\eqref{eq: stab_r}}{=}&R(z_i) + {\bf e}^T \cdot (I-\frac{z}{M} A)^{-1}  z(-\frac{A P}{M}  + S) \vec{{\mathcal R}}^{(0)}.
\end{eqnarray}
}
Hence
\[
\lim_{|z|\rightarrow\infty} {\mathcal R}^{(1)}_1(z) = \lim_{|z_i|\rightarrow\infty} R(z_i) + {\bf e}\lim_{|z|\rightarrow\infty}  \left((I-\frac {z}{M}A)^{-1} z \right) (- \frac{A P}M + S)  \lim_{|z|\rightarrow\infty}  \vec{{\mathcal R}}_0 =0,
\]
since $\lim_{|z|\rightarrow\infty} \vec{{\mathcal R}}_0 = 0$ from the prediction step. {Similar procedure could be repeated for other subintervals by a mathematical induction argument with respect to the $m$, from which we have $\lim_{|z|\rightarrow\infty}{\mathcal R}^{(1)}_m (z)  = 0$, for $m=1, \cdots M$. Specifically, $\lim_{|z|\rightarrow\infty}{\mathcal R}^{(1)}_M (z)  = 0$ after the first correction loop. }

{The same conclusion holds for the future correction steps by the mathematical induction argument with respect to the correction loop $k$, i.e. $\lim_{|z|\rightarrow\infty} {\mathcal {R}}_m^{(k)}(z) = 0$, $m=1, \cdots M$.
}
\end{proof}

\begin{rem}
The above result can be generalized to the case when quadrature nodes are not uniformly distributed. On the other hand, the assumption to exclude the left-most point is necessary to guarantee the $L$-stability. Specifically, if the left-most point is included, then $\lim_{|z|\rightarrow\infty} \vec{{\mathcal R}}_0 \neq 0$, due to its first component.
\end{rem}
\begin{rem}
From the stability plots in Figure~\ref{fig_stab}, the InDC-BE methods are L-stable when $M\le 8$ and for the number of iterations $k\le M$.
\end{rem}