1: \begin{definition} Characterizations of asymptotic limits \\

2: \label{def_cc}

3: Consider the  characterization of the $n-$FTFI capacity of Theorem~\ref{thm_FTFI},    restricted to  the time-invariant strategies $(\Lambda_t=\Lambda^\infty, K_{Z_t}=K^\infty), t=1, \ldots, n$, as defined by (\ref{Q_1_3_s1_new})-(\ref{Q_1_10_s1_new}). \\

4: (a) The characterization of the $n-$FTFI capacity for time-invariant strategies is defined by   

5: \begin{align}

6: &C_{n}^o(\kappa,v_0) 

7: \tri  \sup_{\big(\Lambda^\infty, K_{Z}^\infty\big): \hso \frac{1}{n} \sum_{t=1}^n\big(\Lambda^\infty\big)^2 K_{t-1} ^o+ K_{Z}^\infty   \leq \kappa}    \sum_{t=1}^n   \frac{1}{2}\log\Big( \frac{\big(\Lambda^\infty+c\big)^2 K_{t-1}^o  + K_{Z}^\infty +K_{W}}{K_{W}}\Big)\label{Q_1_2_s1_new}\\

8: &\mbox{subject to: $K_t^o, t=1, \ldots,n$ satisfies recursion (\ref{Q_1_10_s1_new}) and $K_{Z}^\infty\geq 0 , t=1, \ldots, n$}\label{Q_1_2_s1_a_new}

9: \end{align}

10: provided the supremum exists in the set. The per unit time-limit is then defined by 

11: \begin{align}

12: &C^o(\kappa,v_0) 

13: \tri \lim_{n \longrightarrow\infty} \frac{1}{n} C_{n}^o(\kappa,v_0) .\label{Q_1_2_s1_new_a}

14: \end{align}

15: provided the supremum exists and the limit exists and it is finite. \\

16: (b) The characterization of the $n-$FTFI capacity for time-invariant strategies, with limit and maximization interchanged is defined by 

17: \begin{align}

18: C^\infty(\kappa,v_0) 

19: \tri & \sup_{\big(\Lambda^\infty, K_{Z}^\infty\big): \hso \lim_{n \longrightarrow \infty} \frac{1}{n} \sum_{t=1}^n  \big(\Lambda^\infty\big)^2 K_{t-1} ^o+ K_{Z}^\infty   \leq \kappa} \lim_{n \longrightarrow \infty}\frac{1}{n}   \sum_{t=1}^n   \frac{1}{2}\log\Big( \frac{\big(\Lambda^\infty+c\big)^2 K_{t-1}^o  + K_{Z}^\infty +K_{W}}{K_{W}}\Big) \label{Q_1_2_s1_new_b}

20: \end{align}

21: provide the limit exists and it is finite and the supremum also exists in the set.

22: \end{definition}

23: