Obstacle Problems with Double Boundary Condition for Least Gradient Functions in Metric Measure Spaces

In the setting of a metric space equipped with a doubling measure supporting a (1, 1)-Poincare inequality, we study the problem of minimizing the BV-energy in a bounded domain omega \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document} of functions bounded between two obstacle functions inside omega \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document} , and whose trace lies between two prescribed functions on the boundary. If the class of candidate functions is nonempty, we show that solutions exist for continuous obstacles and continuous boundary data when omega \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document} is a uniform domain whose boundary is of positive mean curvature in the sense of Lahti, MalATIN SMALL LETTER Y WITH ACUTE, Shanmugalingam, and Speight (2019). While such solutions are not unique in general, we show the existence of unique minimal solutions. Since candidate functions need not agree outside of the domain, standard compactness arguments fail to provide existence of weak solutions as they are defined for the problem with single boundary condition. To overcome this, we introduce a class of epsilon \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \varepsilon $$\end{document} -weak solutions as an intermediate step. Our existence results generalize those of Ziemer and Zumbrun (1999), who studied this problem in the Euclidean setting with a single obstacle and single boundary condition.