Abstract
In the setting of a metric space equipped with a doubling measure supporting a (1, 1)-Poincaré inequality, we study the problem of minimizing the BV-energy in a bounded domain \(\Omega \) of functions bounded between two obstacle functions inside \(\Omega \), 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 \) is a uniform domain whose boundary is of positive mean curvature in the sense of Lahti, Malý, 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 \( \varepsilon \)-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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Availability of data and materials
This declaration is not applicable to the content of this submission.
References
Ambrosio, L.: Fine properties of sets of finite perimeter in doubling metric measure spaces. Calculus of variations, nonsmooth analysis and related topics. Set-Valued Anal. 10, 111–128 (2002)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York (2000)
Ambrosio, L., Gigli, N., Savaré, G.: Gradient Flows in Metric Spaces and the Space of Probability Measures. Birkhäuser, Basel (2005)
Ambrosio, L., Miranda Jr, M., Pallara, D.: Special functions of bounded variation in doubling metric measure spaces. Calculus of variations: topics from the mathematical heritage of E. De Giorgi, 1–45. Quad. Mat., 14 Dept. Math., Seconda Univ. Napoli, Caserta, (2004)
Anzelotti, G., Giaquinta, M.: Funzioni BV e tracce. Ren. Sem. Mat. Univ. Padova. 60, 1–21 (1978)
Björn, A., Björn, J.: Nonlinear potential theory on metric spaces. EMS Tracts in Mathematics, 17. European Mathematical Society (EMS), Zürich, (2011)
Bombieri, E., De Giorgi, E., Giusti, E.: Minimal cones and the Bernstein problem. Invent. Math. 7, 243–268 (1969)
Buonocore, A., Giorno, V., Nobile, A.G., Ricciardi, L.M.: On the two-boundary first-crossing-time problem for diffusion processes. J. Appl. Prob. 27, 102–114 (1990)
Chawla, S.S.: Double boundary layers on an electrically conducting plane surface in a rotating environment. J. Fluid Mech. 90, 363–375 (1979)
Dimitrova, D.S., Ignatov, Z.G., Kaishev, V.K., Tran, S.: On double-boundary non-crossing probability for a class of compound processes with applications. Eur. J. Oper. Research. 282, 602–613 (2020)
Evans, L.C., Gariepy, R.F.: Measure theory and fine properties of functions. Studies in Advanced Mathematics series, CRC Press, Boca Raton, (1992)
Fotouhi, M., Moradifam, A.: General least gradient problems with obstacle. Calc. Var. PDE 58, pp. 19. Paper no. 182, (2019)
Fu, J.C., Wu, T.L.: Linear and nonlinear boundary crossing probabilities for Brownian motion and related processes. J. Appl. Prob. 47, 1058–1071 (2010)
Gagliardo, E.: Caratterizzazioni delle tracce sulla frontiera relative ad alcune classi di funzioni in n variabili. Ren. Sem. Mat. Univ. Padova. 27, 284–305 (1957)
Górny, W.: Existence of minimisers in the least gradient problem for general boundary data. Indiana Univ. Math. J. 70, 1003–1037 (2021)
Górny, W.: (Non)uniqueness of minimizers in the least gradient problem. J. Math. Anal. Appl. 468, 913–938 (2018)
Górny, W.: Planar least gradient problem: existence, regularity and anisotropic case. Calc. Var. PDE. 57, 57–98 (2018)
Górny, W., Mazón, J.M.: The Anzellotti-Gauss-Green formula and least gradient functions in metric measure spaces. Preprint. (2021). https://arxiv.org/abs/2105.00432
Górny, W., Mazón, J.M.: Least gradient functions in metric random walk spaces. ESAIM: Control Optim. Calc. Var. 27, pp. 32. Paper no. S28, (2021)
Górny, W., Rybka, P., Sabra, A.: Special cases of the planar least gradient problem. Nonlinear Anal. 151, 66–95 (2017)
Hajłasz, P.: Sobolev spaces on metric-measure spaces. Contemp. Math. 338, 173–218 (2003)
Hakkarainen, H., Korte, R., Lahti, P., Shanmugalingam, N.: Stability and continuity of functions of least gradient. Anal. Geom. Metr. Spaces. 3, 123–139 (2015)
Heinonen, J.: Lectures on Analysis on Metric Spaces. Universitext, Springer-Verlag, New York (2001)
Heinonen, J., Koskela, P.: Quasiconformal maps in metric spaces with controlled geometry. Acta Math. 181, 1–61 (1998)
Heinonen, J., Koskela, P., Shanmugalingam, N., Tyson, J.: Sobolev spaces on metric measure spaces: an approach based on upper gradients. Cambridge New Mathematical Monographs 27, Cambridge University Press, (2015)
Jerrard, R.L., Moradifam, A., Nachman, A.: Existence and uniqueness of minimizers of general least gradient problems. J. Reine Angew. Math. 734, 71–97 (2018)
Kinnunen, J., Korte, R., Lorent, A., Shanmugalingam, N.: Regularity of sets with quasiminimal boundary surfaces in metric spaces. J. Geom. Anal. 23, 1607–1640 (2013)
Kinnunen, J., Korte, R., Shanmugalingam, N., Tuominen, H.: A characterization of Newtonian functions with zero boundary values. Calc. Var. PDE. 43, 507–528 (2012)
Kline, J.: Non-locality, non-linearity, and existence of solutions to the Dirichlet problem for least gradient functions on metric measure spaces. To appear in Rev. Mat. Iberoam. (2022). https://arxiv.org/abs/2201.02829
Kordyukova, S.A., Kalyakin, L.A.: On a double boundary layer in a nonlinear boundary value problem. Proc. Steklov Inst. Math. 297, S129–S146 (2017)
Korte, R., Lahti, P.: Relative isoperimetric inequalities and sufficient conditions for finite perimeter on metric spaces. Ann. I. H. Poincaré - AN. 31, 129–154 (2014)
Korte, R., Lahti, P., Li, X., Shanmugalingam. N.: Notions of Dirichlet problem for functions of least gradient in metric measure spaces. Rev. Math. Iberoamericana 35, 1603–1648 (2019)
Lahti, P.: Extensions and traces of functions of bounded variation on metric spaces. J. Math. Anal. Appl. 423, 521–537 (2015)
Lahti, P.: A sharp Leibniz rule for BV functions in metric spaces. Rev. Mat. Complut. 33, 797–816 (2020)
Lahti, P.: Superminimizers and a weak Cartan property for p=1 in metric spaces. J. Anal. Math. 140, 55–87 (2020)
Lahti, P.: The variational 1-capacity and BV functions with zero boundary values on doubling metric spaces. Adv. Calc. Var. 14, 171–192 (2021)
Lahti, P., Malý, L., Shanmugalingam, N., Speight, G.: Domains in metric measure spaces with boundary of positive mean curvature, and the Dirichlet problem for functions of least gradient. J. Geom. Anal. 29, 3176–3220 (2019)
Lahti, P., Shanmugalingam, N.: Trace theorems for functions of bounded variation in metric spaces. J. Funct. Anal. 274, 2431–2460 (2018)
Lotov, V.I.: On some boundary crossing problems for Gaussian random walks. Ann. Probab. 24, 2154–2171 (1996)
Malý, L., Snipes, M., Shanmugalingam, N.: Trace and extension theorems for functions of bounded variation. Annali SNS. 18, 313–341 (2018)
Mazón, J.M., Rossi, J.D., de León, S.S.: Functions of least gradient and 1-harmonic functions. Indiana Univ. Math. J. 63, 1067–1084 (2014)
Miranda, M., Jr.: Functions of bounded variation on “good” metric spaces. J. Math. Pures Appl. 9(82), 975–1004 (2003)
Moradifam, A.: Existence and structure of minimizers of least gradient problems. Indiana Univ. Math. J. 67, 1025–1037 (2018)
Moradifam, A., Nachman, A., Tamasan, A.: Uniqueness of minimizers of weighted least gradient problems arising in hybrid inverse problems. Calc. Var. PDE 57, pp. 14. Paper no. 6, (2018)
Nachman, A., Tamasan, A., Timonov, A.: Current density impedance imaging. Tomography and inverse transport theory, Contemp. Math. 559, 135–149 (2011)
Rybka, P., Sabra, A.: The planar least gradient problem in convex domains, the case of continuous datum. Nonlinear Anal. 214, pp. 27. Paper no. 112595, (2022)
Rybka, P., Sabra, A.: The planar least gradient problem in convex domains: the discontinuous case. Nonlinear Differential Equations Appl. 28, pp. 30. Paper no. 15, (2021)
Scheven, C., Schmidt, T.: On the dual formulation of obstacle problems for the total variation and the area functional. Ann. I. H. Poincaré. 35, 1175–1207 (2018)
Shanmugalingam, N.: Newtonian spaces: an extension of Sobolev spaces to metric measure spaces. Rev. Math. Iberoamericana. 16, 243–279 (2000)
Spradlin, G.S., Tamasan, A.: Not all traces on the circle come from functions of least gradient in the disk. Indiana Univ. Math. J. 63, 1819–1837 (2014)
Sternberg, P., Williams, G., Ziemer, W.P.: Existence, uniqueness, and regularity for functions of least gradient. J. Reine Angew. Math. 430, 35–60 (1992)
Ziemer, W.P., Zumbrun, K.: The obstacle problem for functions of least gradient. Math Bohem. 124, 193–219 (1999)
Zuniga, A.: Continuity of minimizers to weighted least gradient problems. Nonlinear Anal. 178, 86–109 (2019)
Acknowledgements
The author was partially supported by the NSF Grant #DMS-2054960 and the Taft Research Center Graduate Enrichment Award. The author would like to thank Nageswari Shanmugalingam for her kind encouragement and many helpful discussions regarding this project, as well as the anonymous referees, whose corrections and comments improved this paper.
Funding
This research was partially supported by NSF Grant #DMS-2054960 and the Taft Research Center Graduate Enrichment Award.
Author information
Authors and Affiliations
Contributions
This declaration is not applicable, as this paper is single-author.
Corresponding author
Ethics declarations
Competing interests
The author has no competing interests to declare.
Ethical approval
This declaration is not applicable to the content of this submission.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kline, J. Obstacle Problems with Double Boundary Condition for Least Gradient Functions in Metric Measure Spaces. Potential Anal (2024). https://doi.org/10.1007/s11118-024-10135-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11118-024-10135-7