Partial regularity and smooth topology-preserving approximations of rough domains (Q522458)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Partial regularity and smooth topology-preserving approximations of rough domains
scientific article

    Statements

    Partial regularity and smooth topology-preserving approximations of rough domains (English)
    0 references
    0 references
    0 references
    13 April 2017
    0 references
    A method of approximation of bounded domains \(\Omega\subset\mathbb R^m\), \(m\geq 2\), of class \(C^0\) by bounded \(C^{\infty}\)-domains is given. These approximations from the inside and from the outside are in particular \(C^{\infty}\)-diffeomorphic to \(\Omega\), and their closures are homeomorphic to the closure of \(\Omega\). One step of the construction is an approximation \(\rho\) of the signed distance \(d\) from \(\partial\Omega\) (both \(d\) and \(\rho\) positive inside and negative outside of \(\Omega\)) such that \(\rho\) is \(C^{\infty}\) and \(C^{0,1}\) outside \(\partial\Omega\) and with non-zero gradient at points of \(\partial\Omega\). The sets \(\Omega_{\varepsilon}=\{x\in\mathbb R; \rho(x)>\varepsilon\}\) for small \(\varepsilon\)'s serve then as the required approximations. An important tool of the proofs is the existence of a canonical \(C^{\infty}\) field \(G\) of good directions at points from a neighbourhood of \(\partial\Omega\) (i.e., of pseudonormals at points of \(\partial\Omega\)). Then a flow of canonical good directions \(S:\mathbb R\times\mathbb R^m\to\mathbb R^m\) based on \(\rho\) and \(G\) is found so that \(\rho\) is increasing along the flow and used in the proofs essentially. These results are applied to find sufficient conditions under which every continuous field of pseudonormals is a surjection of \(\partial\Omega\) to the corresponding sphere. It is true if \(\Omega\subset\mathbb R^2\) or if moreover the Euler characteristic of \(\Omega\) is non-zero for higher dimensions. Using the previous results it is shown under the assumption that \(\Omega\) has non-zero Euler characteristic that \(\partial\Omega\) has a Lipschitz portion. For \(m=2\) and \(3\) it is shown even without the assumption on the Euler characteristic that each component of \(\partial\Omega\) has a Lipschitz portion.
    0 references
    0 references
    \(C^k\)-domain
    0 references
    pseudonormal
    0 references
    field of good directions
    0 references
    Euler characteristic
    0 references
    topological degree
    0 references
    manifold
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references