Mathematicians solve 40-year puzzle about constrained surfaces
Researchers have resolved a decades-old problem in regularity theory for constraint maps with free boundaries, proving previously unknown limits on how smooth these mathematical surfaces can be. The findings could improve computational modeling in engineering, optimization, and materials science where constrained systems are critical.
Originaltitel: Constraint Maps with Free Boundaries: the Obstacle Case
<p>This paper revives a four-decade-old problem concerning regularity theory for (continuous) constraint maps with free boundaries. Dividing the map into two parts, the distance part and the projected image to the constraint, one can prove various properties for each component. As has already been pointed out in the literature, the distance part falls under the classical obstacle problem, which is well-studied by classical methods. A perplexing issue, untouched in the literature, concerns the properties of the projected image and its higher regularity, which we show to be at most of class C2,1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C<^>{2,1}$$\end{document}. In arbitrary dimensions, we prove that the image map is globally of class W3,BMO\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W<^>{3,BMO}$$\end{document}, and locally of class C2,1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C<^>{2,1}$$\end{document} around the regular part of the free boundary. The issue becomes more delicate around singular points, and we resolve it in two dimensions. In the appendix, we extend some of our results to what we call leaky maps.</p>