Riesz Transform and Hardy Spaces Related to Elliptic Operators Having Robin Boundary Conditions on Lipschitz Domains with Their Applications to Optimal Endpoint Regularity Estimates
Dachun Yang,Sibei Yang,Yang Zou
DOI: https://doi.org/10.1007/s00526-024-02785-7
2024-01-01
Calculus of Variations and Partial Differential Equations
Abstract:Let n≥ 2 and Ω be a bounded Lipschitz domain of ℝ^n . Assume that L_R is a second-order divergence form elliptic operator having real-valued, bounded, symmetric, and measurable coefficients on L^2(Ω ) with the Robin boundary condition. In this article, via first obtaining the Hölder estimate of the heat kernels of L_R , the authors establish a new atomic characterization of the Hardy space H^p_L_R(Ω ) associated with L_R . Using this, the authors further show that, for any given p∈ (n/n+δ _0,1] , H^p_z(Ω )+L^∞ (Ω )=H^p_L_N(Ω )=H^p_L_R(Ω )⫋ H^p_L_D(Ω )=H^p_r(Ω ), where H^p_L_D(Ω ) and H^p_L_N(Ω ) denote the Hardy spaces on Ω associated with the corresponding elliptic operators respectively having the Dirichlet and the Neumann boundary conditions, H^p_z(Ω ) and H^p_r(Ω ) respectively denote the “supported type” and the “restricted type” Hardy spaces on Ω , and δ _0∈ (0,1] is the critical index depending on the operators L_D , L_N , and L_R . The authors then obtain the boundedness of the Riesz transform ∇ L_R^-1/2 on the Lebesgue space L^p(Ω ) when p∈ (1,∞ ) [if p>2 , some extra assumptions are needed] and its boundedness from H_L_R^p(Ω ) to L^p(Ω ) when p∈ (0,1] or to H^p_r(Ω ) when p∈ (n/n+1,1] . As applications, the authors further obtain the global regularity estimates, in L^p(Ω ) when p∈ (0,p_0) and in H^p_r(Ω ) when p∈ (n/n+1,1] , for the inhomogeneous Robin problem of L_R on Ω , where p_0∈ (2,∞ ) is a constant depending only on n, Ω , and the operator L_R . The main novelties of these results are that the range (0,p_0) of p for the global regularity estimates in the scale of L^p(Ω ) is sharp and that, in some sense, the space X:=H^1_L_R(Ω ) is also optimal to guarantee both the boundedness of ∇ L^-1/2_R from X to L^1(Ω ) or to H^1_r(Ω ) and the global regularity estimate ‖∇ u‖ _L^n/n-1 (Ω ; ℝ^n)≤ C‖ f‖ _X for inhomogeneous Robin problems with C being a positive constant independent of both u and f.