Mosco Convergence of Gradient Forms with Non-Convex Interaction Potential

Abstract

This article provides a new approach to address Mosco convergence of gradient-type Dirichlet forms, EN\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {E}}^N$$\\end{document} on L2(E,μN)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^2(E,\\mu _N)$$\\end{document} for N∈N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$N\\in {\\mathbb {N}}$$\\end{document}, in the framework of converging Hilbert spaces by K. Kuwae and T. Shioya. The basic assumption is weak measure convergence of the family (μN)N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${(\\mu _N)}_{N}$$\\end{document} on the state space E—either a separable Hilbert space or a locally convex topological vector space. Apart from that, the conditions on (μN)N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${(\\mu _N)}_{N}$$\\end{document} try to impose as little restrictions as possible. The problem has fully been solved if the family (μN)N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${(\\mu _N)}_{N}$$\\end{document} contain only log-concave measures, due to Ambrosio et al. (Probab Theory Relat. Fields 145:517–564, 2009). However, for a large class of convergence problems the assumption of log-concavity fails. The article suggests a way to overcome this hindrance, as it presents a new approach. Combining the theory of Dirichlet forms with methods from numerical analysis we find abstract criteria for Mosco convergence of standard gradient forms with varying reference measures. These include cases in which the measures are not log-concave. To demonstrate the accessibility of our abstract theory we discuss a first application, generalizing an approximation result by Bounebache and Zambotti (J Theor Probab 27:168–201, 2014).