Tightness and weak convergence in the topology of local uniform convergence for stochastic processes in the dual of a nuclear space

Let ${\mathrm{\Phi }}^{\mathrm{\prime }}$ denote the strong dual of a nuclear space $\mathrm{\Phi }$ and let $C_{\mathrm{\infty }}({\mathrm{\Phi }}^{\mathrm{\prime }})$ be the collection of all continuous mappings $x:[0,\mathrm{\infty })\to {\mathrm{\Phi }}^{\mathrm{\prime }}$ equipped with the topology of local uniform convergence. In this paper we prove sufficient conditions for tightness of probability measures on $C_{\mathrm{\infty }}({\mathrm{\Phi }}^{\mathrm{\prime }})$ and for weak convergence in $C_{\mathrm{\infty }}({\mathrm{\Phi }}^{\mathrm{\prime }})$ for a sequence of ${\mathrm{\Phi }}^{\mathrm{\prime }}$-valued processes. We illustrate our results with two applications. First, we show the central limit theorem for local martingales taking values in the dual of an ultrabornological nuclear space. Second, we prove sufficient conditions for the weak convergence in $C_{\mathrm{\infty }}({\mathrm{\Phi }}^{\mathrm{\prime }})$ for a sequence of solutions to stochastic partial differential equations driven by semimartingale noise.