×

Area integral estimates for higher order elliptic equations and systems. (English) Zbl 0892.35053

Let \(\Omega\) be a domain in \(\mathbb{R}^n\), and \(L\) an elliptic equation (or system). When one studies boundary value problems for \(L\) in \(\Omega\), and the given data are in some \(L^p\), the boundary is to be understood in the sense of nontangential \(L^p\) estimates. When the boundary \(\partial \Omega\) of \(\Omega\) is just Lipschitz, there are additional difficulties. In this situation, it is known that the nontangential maximal function gives a very precise control over the growth of solutions of the boundary value problem. But there is another approach, via the square function of solutions, which presents some advanges. The goal of this article is to show the \(L^p\) equivalence (for \(0<p <\infty)\) between the nontangential maximal function and the square function of a solution \(u\). Namely, let \(\Gamma(Q) = \Gamma_a (Q) =\{x\in \Omega,| X- Q| \leq(i+a) d(X,\partial \Omega)\}\) be the nontangential approach region when \(Q\in \partial \Omega\), \(a>0\) depends only on the Lipschitz constant of \(\Omega\). Then the maximal nontangential function \(N(u)\) is defined by \(N(u)(Q)= \sup_{x\in \Gamma(Q)} | u(X) |\). The square function for a function \(u\) in \(\Omega\) is defined by \[ S(u)(Q)= \left(\int_{\Gamma (Q)} {\bigl| \nabla u(X) \bigr|^2 \over | X- Q|^{n-2}} dX \right)^{1/2}. \] The elliptic systems considered by the authors, called elliptic symmetric \(K\)-systems are of the form \(Lu= \sum^K_{l=1} L^{ql}u^l\) for \(u= (u^1, \dots, u^K)\), where \(L^{kl}= \sum_{| \alpha| =|\beta |=m} D^\alpha a^{kl}_{\alpha \beta} D^\beta\) for \(m,k,l\) position integers, \(a^{kl}_{\alpha \beta}\) real constants, with \(L^{kl}= L^{lk}\), and the system is strongly elliptic, i.e. \(\text{Re} \sum^k_{k,l=1} L^{kl} (\xi) \zeta_k \overline \zeta_lz \geq| \xi |^{2w} |\zeta |^2\) for \(\zeta\in \mathbb{C}^n\), \(\xi\in \mathbb{R}^n) \). Because of the fact that the boundary of \(\Omega\) is not necessarily smooth, the authors have to use an adapted distance function \(\delta\) (a variant of Dahlberg’s adapted distance function [Stud. Math. 66, 13-24 (1979; Zbl 0422.31008)] used already by C. Kenig - E. Stein), whose merit is that \(\delta (X)\approx \text{dist} (X,\partial \Omega)\), and that \(\delta(X) |\nabla \nabla \delta(X) |^2dX\) is a Carleson measure; the transverse differentiation of \(\delta\) has also good properties.
To give a feeling of the proofs, the authors show first that, for harmonic \(u\), \[ \int_{\partial \Omega} S^2(u)d \sigma \approx \int_{\partial \Omega}N^2 (u)d \sigma. \] Now, in the general case of higher order elliptic systems things are more complicated; the idea is to approximate from the inside \(\Omega\) by Lipschitz domains, and to use the properties of being a Charleson measure of \(\delta\), and a trick that allows on the boundary of a domain to change the indices of components of the unit normal vector with the indices of spatial derivatives by introducing tangential derivatives. This gives, for bounded Lipschitz domains with connected boundary, and elliptic \(K\)-systems of order \(2m\) an inequality which shows the fact that the nontangential maximal function \(N(u)\) of a solution is dominated by the square function \(S(u)\).
The reciprocal uses in an essential way results of J. Pipher and G. C. Verchota [Ann. Math., II. Ser. 142, No. 1, 1-38 (1995; Zbl 0878.35035)], a result of Habicht on strictly positive polynomials with real coefficients, and a reduction to elliptic operators of a special form (i.e. of type \(\sum_{| \alpha | =p} a_\alpha (D^\alpha)^2\), \(a_\alpha> 0\) \(\forall\) \(\alpha\), \(|\alpha |=p)\). For the latter, tedions but elementary calculations give the result (here the adapted distance function is essential). Finally, the authors show how to modify the previous proofs for proving the \(L^p\) equivalence of \(N(u)\) and \(S(u)\).

MSC:

35J40 Boundary value problems for higher-order elliptic equations
42B25 Maximal functions, Littlewood-Paley theory
35J55 Systems of elliptic equations, boundary value problems (MSC2000)
PDFBibTeX XMLCite
Full Text: DOI Numdam EuDML

References:

[1] V. ADOLFSSON and J. PIPHER, The inhomogeneous Dirichlet problem for Δ2 in Lipschitz domains (preprint).0934.35038 · Zbl 0934.35038
[2] S. AGMON, Lectures on elliptic boundary value problems, D. Van Nostrand, Princeton, NJ, 1965.0142.3740131 #2504 · Zbl 0142.37401
[3] [3] , and , Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. II., Comm. Pure Appl. Math., 17 (1964), 35-92. · Zbl 0123.28706
[4] [4] and , Boundary value problems in Lipschitz cylinders for three dimensional parabolic systems, Rivista Mat. Ibero., 8, no 3 (1992), 271-303. · Zbl 0782.35033
[5] [5] and , Estimates for the Stokes operator in Lipschitz domains, Ind. U. Math. J., 44, no 4 (1995), 1183-1206. · Zbl 0858.35098
[6] [6] and , Distribution function inequalities for the area integral, Studia Math., 44 (1972), 527-544. · Zbl 0219.31009
[7] [7] and , An old question of Hilbert, Queen’s papers on pure and applied math 46 (1977), Queen’s University Kingston, Ontario, 385-405. · Zbl 0382.12010
[8] [8] , and , L’intégrale de Cauchy définit un opérateur borné sur L2 pour les courbes lipschitziennes, Ann. of Math., 116 (1982), 361-387. · Zbl 0497.42012
[9] B.E.J. DAHLBERG, On the Poisson integral for Lipschitz and C1 domains, Studia Math., 66 (1979), 13-24.0422.3100881g:31007 · Zbl 0422.31008
[10] [10] , Weighted norm inequalities for the Lusin area integral and the non-tangential maximal functions for functions harmonic in a Lipschitz domain, Studia Math., 67 (1980), 297-314. · Zbl 0449.31002
[11] [11] , Poisson semigroups and singular integrals, Proc. A.M.S., 97, no 1 (1986), 41-48. · Zbl 0595.31009
[12] [12] , and , Area integral estimates for elliptic differential operators with nonsmooth coefficients, Arkiv. Mat., 22 (1984), 97-108. · Zbl 0537.35025
[13] [13] and , Lp estimates for the 3-dimensional systems of elastostatics on Lipschitz domains, Analysis and partial differential equations, Lecture Notes in Pure and Appl. Math., vol. 122, Dekker, New York, (1990), 621-634. · Zbl 0702.35076
[14] [14] , and , The Dirichlet problem for the biharmonic equation in a Lipschitz domain, Ann. Inst. Fourier, Grenoble, 36-3 (1986), 109-135. · Zbl 0589.35040
[15] [15] and , Interior estimates for elliptic systems of partial differential equations, Comm. Pure Appl. Math., 8 (1955), 503-538. · Zbl 0066.08002
[16] [16] and , HP spaces of several variables, Acta Math., 129 (1972), 137-193. · Zbl 0257.46078
[17] [17] , and , Inequalities, 2nd ed, Cambridge University Press, Cambridge, 1988. · Zbl 0010.10703
[18] [18] and , L2 solvability and representation by caloric layer potential in time-varying domains, Annals Math., 144 (1996), 349-420. · Zbl 0867.35037
[19] [19] and , The inhomogeneous Dirichlet problem in Lipschitz domains, J. Funct. Anal., 130 (1995), 161-219. · Zbl 0832.35034
[20] [20] , Plane waves and spherical means, Interscience Publishers, Inc., New York, 1955. · Zbl 0067.32101
[21] [VSCC92] , and ,
[22] [22] , and , Convolution singular integrals on Lipschitz surfaces, Journ. A.M.S., 5 (1992), 455-481. · Zbl 0763.42009
[23] T.S. MOTZKIN, The arithmetic - geometric inequality, Inequalities (O. Shisha, ed), Academic Press, New York, 1967, 205-224.
[24] J. NECAS, Sur les domaines du type N, Czechoslovak. Math. J., 12 (1962), 274-287.0106.2700127 #2709 · Zbl 0106.27001
[25] J. PIPHER and G. VERCHOTA, Area integral results for the biharmonic operator in Lipschitz domains, Trans. A. M. S., 327, no 2 (1991), 903-917.0774.3502292a:35052 · Zbl 0774.35022
[26] J. PIPHER and G. VERCHOTA, The maximum principle for biharmonic functions in Lipschitz and C1 domains, Commentarii Math. Helvetici, 68 (1993), 385-414.0794.3100594j:35030 · Zbl 0794.31005
[27] J. PIPHER and G. VERCHOTA, Dilation invariant estimates and the boundary Gårding inequality for higher order elliptic operators, Ann. of Math., 142 (1995), 1-38.0878.3503596g:35052 · Zbl 0878.35035
[28] [28] and , Maximum principles for the polyharmonic equation on Lipschitz domains, Potential Analysis, 4, no 6 (1995), 615-636. · Zbl 0844.35013
[29] [29] , Resolvent estimates in Lp for elliptic systems in Lipschitz domains, J. Funct. Anal., 133, no 1 (1995), 224-251. · Zbl 0853.35015
[30] [30] , Singular Integrals and Differentiability Properties of functions, Princeton University Press, Princeton, N.J., 1970. · Zbl 0207.13501
[31] [31] , Layer potentials and regularity for the Dirichlet problem for Laplace’s equation in Lipschitz domains, J. Funct. Anal., 59, no 3 (1984), 572-611. · Zbl 0589.31005
[32] [32] , The Dirichlet problem for the polyharmonic equation in Lipschitz domains, Ind. Math. J., 39, no 3 (1990). · Zbl 0724.31005
[33] [33] , Potential for the Dirichlet problem in Lipschitz domains, Potential Theory - ICPT94 (Král et al., eds.), Walter de Gruyter & Co., Berlin (1996), 167-187. · Zbl 0858.35033
[34] [34] and , Nonsymmetric systems on nonsmooth planar domains, to appear, Trans. A.M.S.. · Zbl 0892.35055
[35] G.C. VERCHOTA and A.L. VOGEL, Nonsymmetric systems and area integral estimates, in preparation.0941.35022 · Zbl 0941.35022
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.