Abstract
Let \((X,d,\mu )\) be a metric measure space satisfying a doubling condition and the \(L^2\)-Poincaré inequality. This paper is concerned with the boundary behavior of harmonic functions on the (open) upper half-space \(X\times {\mathbb {R}}_+\). We show that the traces of harmonic functions are in the bounded mean oscillation (BMO) space if and only if they satisfy the Carleson condition. This characterization is new even for uniformly elliptic operator on Euclidean spaces.
Similar content being viewed by others
References
Ambrosio, L., Pinamonti, A., Speight, G.: Tensorization of Cheeger energies, the space \(H^{1,1}\) and the area formula for graphs. Adv. Math. 281, 1145–1177 (2015)
Auscher, P., Axelsson, A.: Weighted maximal regularity estimates and solvability of non-smooth elliptic systems I. Invent. Math. 184, 47–115 (2011)
Auscher, P., Duong, X.T., McIntosh, A.: Boundedness of Banach space valued singular integral operators and Hardy spaces, unpublished manuscript (2005)
Auscher, P., Tchamitchian, P.: Square root problem for divergence operators and related topics. Astérisque No. 249, pp. viii+172 (1998)
Auscher, P., Rosén, A., Rule, D.: Boundary value problems for degenerate elliptic equations and systems. Ann. Sci. Éc. Norm. Supér. (4) 48, 951–1000 (2015)
Beurling, A., Deny, J.: Dirichlet spaces. Proc. Nat. Acad. Sci. USA 45, 208–215 (1959)
Biroli, M., Mosco, U.: Sobolev inequalities for Dirichlet forms on homogeneous spaces, in Boundary value problems for partial differential equations and applications. RMA Res. Notes Appl. Math., vol. 29. pp. 305–311, Masson, Paris (1993)
Biroli, M., Mosco, U.: A Saint-Venant type principle for Dirichlet forms on discontinuous media. Ann. Mat. Pura Appl. 169, 125–181 (1995)
Björn, A., Björn, J.: Nonlinear Potential Theory on Metric Spaces, EMS Tracts in Mathematics, vol. 17. European Mathematical Society (EMS), Zürich (2011)
Björn, A., Björn, J.: Tensor products and sums of \(p\)-harmonic functions, quasiminimizers and \(p\)-admissible weights. Proc. Am. Math. Soc. 146, 5195–5203 (2018)
Björn, J., Shanmugalingam, N.: Poincaré inequalities, uniform domains and extension properties for Newton–Sobolev functions in metric spaces. J. Math. Anal. Appl. 332, 190–208 (2007)
Chen, J.: A representation theorem of harmonic functions and its application to BMO on manifolds. Appl. Math. J. Chinese Univ. Ser. B 16, 279–284 (2001)
Coifman, R., Weiss, G.: Extensions of Hardy spaces and their use in analysis. Bull. Am. Math. Soc. 83, 569–645 (1977)
Coulhon, T., Jiang, R., Koskela, P., Sikora, A.: Gradient estimates for heat kernels and harmonic functions. J. Funct. Anal. 278, 108398 (2020)
Duong, X., Yan, L.: Duality of Hardy and BMO spaces associated with operators with heat kernel bounds. J. Amr. Math. Soc. 18, 943–973 (2005)
Duong, X., Yan, L.: New function spaces of BMO type, the John-Nirenberg inequality, interpolation, and applications. Commun. Pure Appl. Math. 58, 1375–1420 (2005)
Duong, X., Yan, L., Zhang, C.: On characterization of Poisson integrals of Schrödinger operators with BMO traces. J. Funct. Anal. 266, 2053–2085 (2014)
Dziubański, J., Garrigós, G., Martínez, T., Torrea, J., Zienkiewicz, J.: BMO spaces related to Schrödinger operators with potentials satisfying a reverse Hölder inequality. Math. Z. 249, 329–356 (2005)
Eriksson-Bique, S., Giovannardi, G., Korte, R., Shanmugalingam, N., Speight, G.: Regularity of solutions to the fractional Cheeger-Laplacian on domains in metric spaces of bounded geometry. J. Differ. Equ. 306, 590–632 (2022)
Fabes, E., Johnson, R., Neri, U.: Spaces of harmonic functions representable by Poisson integrals of functions in BMO and \(L_{p,\lambda }\). Indiana Univ. Math. J. 25, 159–170 (1976)
Jiang, R.: Riesz transform via heat kernel and harmonic functions on non-compact manifolds. Adv. Math. 377, 107464 (2021)
Fabes, E., Kenig, C., Serapioni, R.: The local regularity of solutions of degenerate elliptic equations. Commun. Partial Differ. Equ. 7, 77–116 (1982)
Fabes, E., Neri, U.: Characterization of temperatures with initial data in BMO. Duke Math. J. 42, 725–734 (1975)
Fefferman, C.: Characterizations of bounded mean oscillation. Bull. Am. Math. Soc 77, 587–588 (1971)
Fefferman, C., Stein, E.: \(H^p\) spaces of several variables. Acta Math. 129, 137–193 (1972)
Fukushima, M., Oshima, Y., Takeda, M.: Dirichlet Forms and Symmetric Markov Processes. de Gruyter Studies in Mathematics, vol. 19. Walter de Gruyter & Co., Berlin (1994)
Gyrya, P., Saloff-Coste, L.: Neumann and Dirichlet heat kernels in inner uniform domains. Astérisque, No. 336, pp. viii+144 (2011)
Heinonen, J., Koskela, P., Shanmugalingam, N., Tyson, J.T.: Sobolev Spaces on Metric Measure Spaces. An Approach Based on Upper Gradients. New Mathematical Monographs, vol. 27, p. xii+434. Cambridge University Press, Cambridge (2015)
Hofmann, S., Le, P., Morris, A.: Carleson measure estimates and the Dirichlet problem for degenerate elliptic equations. Anal. PDE 12, 2095–2146 (2019)
Hofmann, S., Le, P.: BMO solvability and absolute continuity of harmonic measure. J. Geom. Anal. 28, 3278–3299 (2018)
Hofmann, S., Kenig, C., Mayboroda, S., Pipher, J.: Square function/non-tangential maximal function estimates and the Dirichlet problem for non-symmetric elliptic operators. J. Am. Math. Soc. 28, 483–529 (2015)
Hofmann, S., Lu, G., Mitrea, D., Mitrea, M., Yan, L.: Hardy spaces associated to non-negative self-adjoint operators satisfying Davies-Gaffney estimates. Mem. Am. Math. Soc. 214, vi+78 (2011)
Hofmann, S., Mayboroda, S.: Hardy and BMO spaces associated to divergence form elliptic operators. Math. Ann. 344, 37–116 (2009)
Hofmann, S., Mayboroda, S., McIntosh, A.: Second order elliptic operators with complex bounded measurable coefficients in \(L^p\), Sobolev and Hardy spaces. Ann. Sci. Éc. Norm. Super. (4) 44, 723–800 (2011)
Huang, J., Li, P., Liu, Y.: Extension of Campanato–Sobolev type spaces associated with Schrödinger operators. Ann. Funct. Anal. 11(2), 314–333 (2020)
Jiang, R.: Cheeger-harmonic functions in metric measure spaces revisited. J. Funct. Anal. 266, 1373–1394 (2014)
Jiang, R., Li, B.: Dirichlet problem for Schrödinger equation with the boundary value in the BMO space. Sci. China Math. 65, 1431–1468 (2022)
Jiang, R., Lin, F.: Riesz transform under perturbations via heat kernel regularity. J. Math. Pures Appl. (9) 133, 39–65 (2020)
Keith, S., Zhong, X.: The Poincaré inequality is an open ended condition. Ann. Math. (2) 167, 575–599 (2008)
Koskela, P., Rajala, K., Shanmugalingam, N.: Lipschitz continuity of Cheeger-harmonic functions in metric measure spaces. J. Funct. Anal. 202, 147–173 (2003)
Koskela, P., Zhou, Y.: Geometry and analysis of Dirichlet forms. Adv. Math. 231(5), 2755–2801 (2012)
Li, B., Li, J., Lin, Q., Ma, B., Shen, T. : A revisit to “On BMO and Carleson measures on Riemannian manifolds”. Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 1–27. (2023). https://doi.org/10.1017/prm.2023.58
Li, B., Ma, B., Shen, T., Wu, X., Zhang, C.: On the caloric functions with BMO traces and their limiting behaviors. J. Geom. Anal. 33, 215 (2023)
Li, B., Shen, T., Tan, J. Wang, A.: On the Dirichlet problem for the Schrödinger equation in the upper half-space. Anal. Math. Phys. 13, 85 (2023). https://doi.org/10.1007/s13324-023-00834-6
Li, P., Peng, L.: Poisson semigroup characterization and the trace theorem of a class of fractional mean oscillation spaces. Math. Methods Appl. Sci. 41(9), 3463–3475 (2018)
Yang, W., Li, B.: Boundary behavior of harmonic functions on metric measure spaces with non-negative Ricci curvature. (Chinese) Adv. Math. (China) 50, 245–258 (2021)
Martell, J.: Sharp maximal functions associated with approximations of the identity in spaces of homogeneous type and applications. Studia Math. 161, 113–145 (2004)
Martell, J., Mitrea, D., Mitrea, I., Mitrea, M.: The BMO-Dirichlet problem for elliptic systems in the upper half-space and quantitative characterizations of VMO. Anal. PDE 12, 605–720 (2019)
Mastyło, M., Sawano, Y., Tanaka, H.: Morrey-type space and its Köthe dual space. Bull. Malays. Math. Sci. Soc. 41, 1181–1198 (2018)
Shanmugalingam, N.: Harmonic functions on metric spaces. Illinois J. Math. 45, 1021–1050 (2001)
Song, L., Wu, L.: The CMO-Dirichlet problem for the Schrödinger equation in the upper half-space and characterizations of CMO. J. Geom. Anal. 32, 130 (2022)
Song, L., Yan, L.: Maximal function characterizations for Hardy spaces associated with nonnegative self-adjoint operators on spaces of homogeneous type. J. Evol. Equ. 18, 221–243 (2018)
Stein, E., Weiss, G.: On the theory of harmonic functions of several variables. I. The theory of \(H^p\)-spaces. Acta Math. 103, 25–62 (1960)
Sturm, K.: Analysis on local Dirichlet spaces. III. The parabolic Harnack inequality. J. Math. Pures Appl. (9) 75, 273–297 (1996)
Yan, L.: Classes of Hardy spaces associated with operators, duality theorem and applications. Trans. Am. Math. Soc. 360, 4383–4408 (2008)
Yang, D., Zhou, Y.: Some new characterizations on spaces of functions with bounded mean oscillation. Math. Nachr. 283, 588–614 (2010)
Zhang, Q., Tang, L.: Variation operators on weighted Hardy and BMO spaces in the Schrödinger setting. Bull. Malays. Math. Sci. Soc. 45, 2285–2312 (2022)
Acknowledgements
Bo Li and Tianjun Shen would like to thank their advisor Prof. Renjin Jiang for proposing this joint work and for the useful discussions and advice on the topic of the paper. Yutong Jin was supported by the National Innovation and Entrepreneurship Training Program for Colleague Students (202310354015). Bo Li was supported by NNSF of China (12201250), NSF of Zhejiang Province (LQ23A010007) and NSF of Jiaxing (2023AY40003). Tianjun Shen was supported by NNSF of China (11922114 & 11671039) and NSF of Tianjin (20JCYBJC01410).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there is no conflict of interests regarding the publication of this paper.
Additional information
Communicated by Rosihan M. Ali.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Jin, Y., Li, B. & Shen, T. Harmonic functions with BMO traces and their limiting behaviors on metric measure spaces. Bull. Malays. Math. Sci. Soc. 47, 12 (2024). https://doi.org/10.1007/s40840-023-01603-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40840-023-01603-1