A note on convergence of level sets
type: Item
instance of: scholarly article
title: A note on convergence of level sets
zbMATH Open document ID: 0939.28001
DOI: 10.4171/ZAA/865
published in: Zeitschrift für Analysis und ihre Anwendungen
publication date: 1999-05-26T00:00:00Z
full work available at URL: https://eudml.org/doc/48445
review text: Given a sequence of functions \((f_n,f)\) defined on \(\mathbb{R}^N\) such that \(f_n\to f\) in some topology. The author states some convergence results in which the \(\delta_n\)-level set \(\Gamma_n:= \{x\in \mathbb{R}^N:|f_n(x)|\leq \delta_n\}\) of \(|f_n|\) converges in set theoretical sense to the \(0\)-level set \(\Gamma:= \{x\in\mathbb{R}^N: f(x)= 0\}\) of \(f\). There are two main results. The first result concerns with the case when \(f_n\), \(f\in L^p(\mathbb{R}^N)\) \((1\leq p<\infty)\) and \({\mathcal L}^{\mathbb{N}}\) is the Lebesgue measure on \(\mathbb{R}^N\). Let \(\varepsilon_n=\|f- f_n\|\to 0\) and \(0<\delta_n\to 0\) when \(n\to\infty\). (i) If \(\lim_{n\to\infty} \varepsilon_n/\delta_n= 0\), then \(\lim_{n\to\infty}{\mathcal L}^{\mathbb{N}}(\Gamma\Delta \Gamma_n)= 0\) and \({\mathcal L}^{\mathbb{N}}(\Gamma\Delta\limsup_{n\to \infty}\Gamma_n)= 0\); (ii) If \(\Sigma_n(\varepsilon_n/\delta_n)^p< \infty\), then \({\mathcal L}^{\mathbb{N}}(\Gamma\Delta\liminf_{n\to\infty} \Gamma_n)= 0\). Therefore \(\Gamma= \lim_{n\to\infty} \Gamma_n\) up to a set of \(0\)-Lebesgue measure. The second result concerns with the case when \(f_n\), \(f\in W^{1,p}(\mathbb{R}^N)\) \((1\leq p<\infty)\). Here \(\Gamma_n\) converges to \(\Gamma\) up to sets of \(0\)-capacity [see, e.g., \textit{L. C. Evans} and \textit{R. F. Gariepy}: ``Measure theory and fine properties of functions'' (1992; Zbl 0804.28001)]. Let \(f_n\), \(f\in W^{1,p}\), \(\varepsilon_n=\|f- f_n\|\to 0\) and \(0< \delta_n\to 0\) when \(n\to \infty\). (i) If \(\lim_{n\to\infty} \varepsilon_n/\delta_n= 0\), then \(\text{Cap}_p(\limsup_{n\to\infty} \Gamma_n\Delta\Gamma)= 0\); (ii) If \(\Sigma_n(\varepsilon_n/\delta_n)^p< \infty\), then \(\text{Cap}_p(\Gamma\Delta \liminf_{n\to\infty} \Gamma_n)= 0\). Therefore \(\Gamma= \lim_{n\to\infty} \Gamma_n\) up to a set of \(0\)-capacity.
Mathematics Subject Classification ID: 28A20
Mathematics Subject Classification ID: 46E35
Mathematics Subject Classification ID: 49J45
zbMATH DE Number: 1278882
zbMATH Keywords: level sets
zbMATH Keywords: convergence
zbMATH Keywords: Lebesgue measure
zbMATH Keywords: sets of \(0\)-capacity
author: Fabio Camilli
MaRDI profile type: Publication
cites work: Error estimates and free-boundary convergence for a finite difference discretization of a parabolic variational inequality
cites work: Q3134551
cites work: Q5648620
description: scientific article; zbMATH DE number 1278882