Abstract
Let (X, d, μ) be a metric measure space satisfying a Q-doubling condition (Q > 1) and an L2-Poincaré inequality. Let \({\cal L} = {\cal L} + V\) be a Schrödinger operator on X, where \({\cal L}\) is a non-negative operator generalized by a Dirichlet form, and V is a non-negative Muckenhoupt weight that satisfies a reverse Hölder condition RHq for some q ⩾ (Q + 1)/2. We show that a solution to \(({\cal L} - \partial _t^2)u = 0\) on X × ℝ+ satisfies the Carleson condition
if and only if u can be represented as the Poisson integral of the Schrödinger operator ℒ with the trace in the BMO (bounded mean oscillation) space associated with ℒ.
Similar content being viewed by others
References
Auscher P, Coulhon P, Duong X, et al. Riesz transform on manifolds and heat kernel regularity. Ann Sci Éc Norm Supér (4), 2004, 37: 911–957
Auscher P, Rosén A, Rule D. Boundary value problems for degenerate elliptic equations and systems. Ann Sci Éc Norm Supér (4), 2015, 48: 951–1000
Auscher P, Tchamitchian P. Square Root Problem for Divergence Operators and Related Topics. Astérisque, vol. 249. Paris: Soc Math France, 1998
Barton A. The Dirichlet problem with BMO boundary data and almost-real coefficients. Rev Mat Iberoam, 2015, 31: 713–752
Beurling A, Deny J. Dirichlet spaces. Proc Natl Acad Sci USA, 1959, 45: 208–215
Biroli M, Mosco U. A Saint-Venant type principle for Dirichlet forms on discontinuous media. Ann Mat Pura Appl (4), 1995, 169: 125–181
Björn A, Björn J. Nonlinear Potential Theory on Metric Spaces. Zürich: Eur Math Soc, 2011
Bui T, Duong X, Ly F. Maximal function characterizations for new local Hardy-type spaces on spaces of homogeneous type. Trans Amer Math Soc, 2018, 370: 7229–7292
Coulhon T, Jiang R, Koskela P, et al. Gradient estimates for heat kernels and harmonic functions. J Funct Anal, 2020, 278: 108398, 67pp
Davies E. Pointwise bounds on the space and time derivatives of heat kernels. J Operator Theory, 1989, 21: 367–378
Dindos M, Kenig C, Pipher J. BMO solvability and the A∞ condition for elliptic operators. J Geom Anal, 2011, 21: 78–95
Duong X, Yan L. Duality of Hardy and BMO spaces associated with operators with heat kernel bounds. J Amer Math Soc, 2005, 18: 943–973
Duong X, Yan L. New function spaces of BMO type, the John-Nirenberg inequality, interpolation, and applications. Comm Pure Appl Math, 2005, 58: 1375–1420
Duong X, Yan L, Zhang C. On characterization of Poisson integrals of Schrödinger operators with BMO traces. J Funct Anal, 2014, 266: 2053–2085
Dziubański J. Note on H1 spaces related to degenerate Schrödinger operators. Illinois J Math, 2005, 49: 1271–1297
Dziubański J, Garrigós G, Martínez T, et al. BMO spaces related to Schrödinger operators with potentials satisfying a reverse Hölder inequality. Math Z, 2005, 249: 329–356
Dziubański J, Zienkiewicz J. Hardy space H1 associated to Schrödinger operator with potential satisfying reverse Holder inequality. Rev Mat Iberoam, 1999, 15: 279–296
Dziubański J, Zienkiewicz J. Hp spaces for Schrödinger operators. Banach Center Publ, 2002, 56: 45–53
Fabes E, Johnson R, Neri U. Spaces of harmonic functions representable by Poisson integrals of functions in BMO and Lp,λ. Indiana Univ Math J, 1976, 25: 159–170
Fabes E, Kenig C, Serapioni R. The local regularity of solutions of degenerate elliptic equations. Comm Partial Differential Equations, 1982, 7: 77–116
Fefferman C. Characterizations of bounded mean oscillation. Bull Amer Math Soc NS, 1971, 77: 587–588
Fefferman C, Stein E. Hp spaces of several variables. Acta Math, 1972, 129: 137–193
Fukushima M, Oshima Y, Takeda M. Dirichlet Forms and Symmetric Markov Processes. Berlin: Walter de Gruyter, 1994
Gehring F. The Lp-integrability of the partial derivatives of a quasiconformal mapping. Acta Math, 1973, 130: 265–277
Gyrya P, Saloff-Coste L. Neumann and Dirichlet Heat Kernels in Inner Uniform Domains. Astérisque, vol. 336. Paris: Soc Math France, 2011
Hajłasz P, Koskela P. Sobolev met Poincaré. Mem Amer Math Soc, 2000, 145: 688, 101pp
Heinonen J, Koskela P, Shanmugalingam N, et al. Sobolev Spaces on Metric Measure Spaces: An Approach Based on Upper Gradients. Cambridge: Cambridge University Press, 2015
Hofmann S, Kenig C, Mayboroda S, et al. Square function/non-tangential maximal function estimates and the Dirichlet problem for non-symmetric elliptic operators. J Amer Math Soc, 2015, 28: 483–529
Hofmann S, Le P. BMO solvability and absolute continuity of harmonic measure. J Geom Anal, 2018, 28: 3278–3299
Hofmann S, Le P, Morris A. Carleson measure estimates and the Dirichlet problem for degenerate elliptic equations. Anal PDE, 2019, 12: 2095–2146
Hofmann S, Lu G, Mitrea D, et al. Hardy spaces associated to non-negative self-adjoint operators satisfying Davies-Gaffney estimates. Mem Amer Math Soc, 2011, 214: 1007, 78pp
Hofmann S, Mayboroda S, McIntosh A. Second order elliptic operators with complex bounded measurable coefficients in Lp, Sobolev and Hardy spaces. Ann Sci Éc Norm Supér (4), 2011, 44: 723–800
Huang J, Li P, Liu Y. Extension of Campanato-Sobolev type spaces associated with Schrödinger operators. Ann Funct Anal, 2020, 11: 314–333
Jiang R. Gradient estimate for solutions to Poisson equations in metric measure spaces. J Funct Anal, 2011, 261: 3549–3584
Jiang R, Lin F. Riesz transform under perturbations via heat kernel regularity. J Math Pures Appl (9), 2020, 133: 39–65
Jiang R, Xiao J, Yang D. Towards spaces of harmonic functions with traces in square Campanato spaces and their scaling invariants. Anal Appl Singap, 2016, 14: 679–703
Jiang R, Yang D. Orlicz-Hardy spaces associated with operators satisfying Davies-Gaffney estimates. Commun Contemp Math, 2011, 13: 331–373
Kurata K. An estimate on the heat kernel of magnetic Schrödinger operators and uniformly elliptic operators with non-negative potentials. J Lond Math Soc (2), 2000, 62: 885–903
Li H-Q. Estimations Lp des opérateurs de Schrödinger sur les groupes nilpotents. J Funct Anal, 1999, 161: 152–218
Lin C-C, Liu H. BMOL (ℍn) spaces and Carleson measures for Schrödinger operators. Adv Math, 2011, 228: 1631–1688
Ma T, Stinga P, Torrea J, et al. Regularity properties of Schrödinger operators. J Math Anal Appl, 2012, 388: 817–837
Martell J, Mitrea D, Mitrea I, et al. The BMO-Dirichlet problem for elliptic systems in the upper half-space and quantitative characterizations of VMO. Anal PDE, 2019, 12: 605–720
Muckenhoupt B. Weighted norm inequalities for the Hardy maximal function. Trans Amer Math Soc, 1972, 165: 207–226
Russ E. The atomic decomposition for tent spaces on spaces of homogeneous type. In: CMA/AMSI Research Symposium Asymptotic Geometric Analysis, Harmonic Analysis, and Related Topics. Proceedings of the Centre for Mathematics and its Applications, Australian National University, vol. 42. Canberra: Austral Nat Univ, 2007, 125–135
Saloff-Coste L. Parabolic Harnack inequality for divergence-form second-order differential operators. Potential Anal, 1995, 4: 429–467
Shen Z. Lp estimates for Schrödinger operators with certain potentials. Ann Inst Fourier Grenoble, 1995, 45: 513–546
Shen Z. On fundamental solutions of generalized Schrödinger operators. J Funct Anal, 1999, 167: 521–564
Song L, Tian X, Yan L. On characterization of Poisson integrals of Schrödinger operators with Morrey traces. Acta Math Sin Engl Ser, 2018, 34: 787–800
Song L, Yan L. A maximal function characterization for Hardy spaces associated to non-negative self-adjoint operators satisfying Gaussian estimates. Adv Math, 2016, 287: 463–484
Song L, Yan L. Maximal function characterizations for Hardy spaces associated with non-negative self-adjoint operators on spaces of homogeneous type. J Evol Equ, 2018, 18: 221–243
Stein E, Weiss G. On the theory of harmonic functions of several variables. I. The theory of Hp-spaces. Acta Math, 1960, 103: 25–62
Strömberg J-O, Torchinsky A. Weighted Hardy Spaces. Berlin: Springer-Verlag, 1989
Sturm K-T. Analysis on local Dirichlet spaces. III. The parabolic Harnack inequality. J Math Pures Appl (9), 1994, 75: 273–297
Sturm K-T. Analysis on local Dirichlet spaces. II. Upper Gaussian estimates for the fundamental solutions of parabolic equations. Osaka J Math, 1995, 32: 275–312
Yang D, Yang D, Zhou Y. Localized Morrey-Campanato spaces on metric measure spaces and applications to Schrödinger operators. Nagoya Math J, 2010, 198: 77–119
Yang D, Zhou Y. Localized Hardy spaces H1 related to admissible functions on RD-spaces and applications to Schröodinger operators. Trans Amer Math Soc, 2011, 363: 1197–1239
Acknowledgements
This work was supported by National Natural Science Foundation of China (Grant Nos. 11922114, 11671039 and 11771043). The first author thanks Professor Lixin Yan for many helpful discussions during the preparation of this work. The authors are grateful for the referees’ comments on the original version of this paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
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). https://doi.org/10.1007/s11425-020-1834-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11425-020-1834-1