On the continuity of functionals defined on partitions (Q1791517)

If \(\Omega\subset\mathbb R^n\) is an open set, then a function \(u\in L^1(\Omega)\) is a function of bounded variation if there exists a finite vector-valued Radon measure \(\mu\) on \(\Omega\) such that \(\int\limits_\Omega u\,\operatorname{div}\varphi\, dx=-\int\limits_\Omega \langle\varphi,\mu\rangle\) for any \(\varphi\in C^\infty_C(\Omega,\mathbb R^d)\). The set of functions of bounded variation is \(\text{BV}(\Omega)\). A function \(u\in L^1(\Omega,\mathbb R^n)\) belongs to \(\text{BV}(\Omega,\mathbb R^n)\) if every component belongs to \(\text{BV}(\Omega)\). If \({\mathcal{Z}}=\{z_1,\dots,z_q\}\subset\mathbb R^n\), then \(\text{BV}(\Omega,{\mathcal{Z}})\) is the space of those functions \(u\in\text{BV}(\Omega,\mathbb R^n)\) such that \(u(x)\in{\mathcal{Z}}\) almost everywhere. For any function \(u\in\text{BV}(\Omega,{\mathcal{Z}})\), the set \(S_u\) is the discontinuity set of \(u\), \(v_u=v_u(x)\) is the corresponding normal vector at \(x\in S_u\), and \(u^+\), \(u^-\) are the traces of \(u\) on both sides of the discontinuity set. In this paper, the author considers functionals \(F:\text{BV}(\Omega,{\mathcal{Z}})\to\mathbb R\) of the form \(F(u)=\int\limits_{S_u\cap\Omega}g(x,u^+,u^-,v_u)\,d{\mathcal{H}}^{d-1}\), where \(g\) satisfies \(g(x,a,b,v)=g(x,b,a,-v)\), and proves that if \(g:\Omega\times{\mathcal{Z}}^2\times S^{d-1}\to\mathbb R\) is bounded and continuous, and \(u_n\), \(u\in\text{BV}(\Omega,{\mathcal{Z}})\) are such that \(u_n\to u\) in \(L^1(\Omega)\) and \({\mathcal{H}}^{d-1}(S_{u_n}\cap\Omega)\to{\mathcal{H}}^{d-1}(S_{u}\cap\Omega)\), then \(\lim\limits_nF(u_n)=F(u)\).