1: \begin{proof}($\mathrm{Theorem \,4.1}$)

2: In the addition formula for the little $q$-Jacobi polynomials $p_n$,

3: replace $l$ by $l+m,$ $z$ by $z+m,$ $x$ by $q^{x+m}$ and $N$ by

4: $N+m$, we get addition formula for $p_{l+m}(q^{x+m};q^{\nu},1;q)$

5: \begin{align*}

6: &p_{l+m}(q^{x+m};q^{\nu},1;q)\widehat{K}_{z+m}(q^{x-N};t,N+m;q)\\&=\sum_{r=0}^{l+m}\sum_{s=0}^{r}(1-\delta_{rs})c_{l+m,l+m,r,s}^{(\nu)}(q)

7: (-1)^{r-s}t^{1/2(r+s)}q^{1/2(r-s)}q^{z(r+s)}\\&

8:  \times

9: (q^{z+m},tq^{z+m};q^{-1})_{r-s}^{1/2}

10: (q^{N-z+1};q)_{r-s}^{1/2}

11: p_{l+m-r}(q^{z+m+s-r},q^{\nu+r+s},q^{r-s};q)\\&

12:  \times

13: p_{l+m-r}(tq^{z+s+m-r},q^{\nu+r+s},q^{r-s};q)

14: p_{s}(q^{N-z},q^{\nu-1},q^{r-s};q)\widehat{K}_{z+m+s-r}(q^{x-N};t,N+m;q)\\&+\sum_{r=0}^{l+m}\sum_{s=0}^{r}c_{l+m,l+m,r,s}^{(\nu)}(q)

15: (-1)^{r-s}t^{1/2(r+s)}q^{1/2(r-s)}q^{r^2-s^2}q^{(z+m)(r+s)}\\&

16: \times(q^{z+m+1},tq^{z+m+1};q)_{r-s}^{1/2}

17: (q^{N-z};q^{-1})_{r-s}^{1/2}

18: p_{l+m-r}(q^{z+m},q^{\nu+r+s},q^{r-s};q) \\&

19: \times p_{l+m-r}(tq^{z+m},q^{\nu+r+s},q^{r-s};q)

20: p_{s}(q^{N-z+s-r},q^{\nu-1},q^{r-s};q)\widehat{K}_{z+m+r-s}(q^{x-N};t,N+m;q).

21: \end{align*}

22: As $m\rightarrow \infty$, the right-hand side and left-hand sides of

23: these formula tends to the right-hand side and left-hand side of the

24: addition formula for $q$-Bessel \eqref{41}. We give a rigorous

25: proof of these limits by using the dominated

26: convergence theorem.\\

27: From \eqref{cc1} and \eqref{cc2} there exists a positive constant $K$

28: such that

29: \begin{equation}

30: c_{l+m,l+m,r,s}^{(\nu)}(q)\sim

31: Kq^{-(l+m)(r+s)+s(s+r+1)}\, \, \, as\,\,\,

32: m\rightarrow\infty.

33: \end{equation}

34: Then by the use of proposition 3.2 and lemma 4-2, the summand in the

35: first sum of the second hand side of next formula is bounded in

36: absolute value by $Cq^{-l(r+s)+1/2s^2}$, where $C$ is positive

37: constant and independent of $s,r$. Similarly, the summand in the

38: second sum at the second hand side of next formula is bounded in

39: absolute value by $Cq^{-l(r+s)+1/2r^2}.$

40: \end{proof}