On the boundary behavior of positive solutions of elliptic differential equations
HTML articles powered by AMS MathViewer
- by
A. Logunov
Translated by: the author - St. Petersburg Math. J. 27 (2016), 87-102
- DOI: https://doi.org/10.1090/spmj/1377
- Published electronically: December 7, 2015
- PDF | Request permission
Abstract:
Let $u$ be a positive harmonic function in the unit ball $B_1 \subset \mathbb {R}^n$, and let $\mu$ be the boundary measure of $u$. For a point $x\in \partial B_1$, let $n(x)$ denote the unit inner normal at $x$. Let $\alpha$ be a number in $(-1,n-1]$, and let $A \in [0,+\infty )$. In the paper, it is proved that $u(x+n(x)t)t^{\alpha } \to A$ as $t \to +0$ if and only if $\frac {\mu ({B_r(x)})}{r^{n-1}} r^{\alpha } \to C_\alpha A$ as $r\to +0$, where ${C_\alpha = \frac {\pi ^{n/2}}{\Gamma (\frac {n-\alpha +1}{2})\Gamma (\frac {\alpha +1}{2})}}$. For $\alpha =0$, this follows from the theorems by Rudin and Loomis that claim that a positive harmonic function has a limit along the normal if and only if the boundary measure has the derivative at the corresponding point of the boundary. For $\alpha =n-1$, this is related to the size of the point mass of $\mu$ at $x$ and in this case the claim follows from the Beurling minimum principle. For the general case of $\alpha \in (-1,n-1)$, the proof employs the Wiener Tauberian theorem in a way similar to Rudin’s approach. In dimension $2$, conformal mappings can be used to generalize the statement to sufficiently smooth domains; in dimension $n\geq 3$ it is shown that this generalization is possible for $\alpha \in [0,n-1]$ due to harmonic measure estimates. A similar method leads to an extension of results by Loomis, Ramey, and Ullrich on nontangential limits of harmonic functions to positive solutions of elliptic differential equations with Hölder continuous coefficients.References
- A. C. Allen and E. Kerr, The converse of Fatou’s theorem, J. London Math. Soc. 28 (1953), 80–89. MR 51376, DOI 10.1112/jlms/s1-28.1.80
- Alano Ancona, Principe de Harnack à la frontière et théorème de Fatou pour un opérateur elliptique dans un domaine lipschitzien, Ann. Inst. Fourier (Grenoble) 28 (1978), no. 4, 169–213, x (French, with English summary). MR 513885
- Arne Beurling, A minimum principle for positive harmonic functions, Ann. Acad. Sci. Fenn. Ser. A I 372 (1965), 7. MR 0188466
- Jean Brossard and Lucien Chevalier, Problème de Fatou ponctuel et dérivabilité des mesures, Acta Math. 164 (1990), no. 3-4, 237–263 (French). MR 1049158, DOI 10.1007/BF02392755
- Joan J. Carmona and Juan J. Donaire, The converse of Fatou’s theorem for Zygmund measures, Pacific J. Math. 191 (1999), no. 2, 207–222. MR 1738193, DOI 10.2140/pjm.1999.191.207
- Björn Dahlberg, A minimum principle for positive harmonic functions, Proc. London Math. Soc. (3) 33 (1976), no. 2, 238–250. MR 409847, DOI 10.1112/plms/s3-33.2.238
- Björn E. J. Dahlberg, Estimates of harmonic measure, Arch. Rational Mech. Anal. 65 (1977), no. 3, 275–288. MR 466593, DOI 10.1007/BF00280445
- E. S. Dubtsov, The converse of the Fatou theorem for smooth measures, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 315 (2004), no. Issled. po Lineĭn. Oper. i Teor. Funkts. 32, 90–95, 157 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 134 (2006), no. 4, 2288–2291. MR 2114016, DOI 10.1007/s10958-006-0103-0
- E. S. Dubtsov, Derivatives of regular measures, Algebra i Analiz 19 (2007), no. 2, 86–104 (Russian, with Russian summary); English transl., St. Petersburg Math. J. 19 (2008), no. 2, 225–238. MR 2333898, DOI 10.1090/S1061-0022-08-00995-3
- P. Fatou, Séries trigonométriques et séries de Taylor, Acta Math. 30 (1906), no. 1, 335–400 (French). MR 1555035, DOI 10.1007/BF02418579
- F. W. Gehring, The Fatou theorem for functions harmonic in a half-space, Proc. London Math. Soc. (3) 8 (1958), 149–160. MR0094599 (20:1112)
- F. W. Gehring, The Fatou theorem and its converse, Trans. Amer. Math. Soc. 85 (1957), 106–121. MR 88569, DOI 10.1090/S0002-9947-1957-0088569-X
- Michael Grüter and Kjell-Ove Widman, The Green function for uniformly elliptic equations, Manuscripta Math. 37 (1982), no. 3, 303–342. MR 657523, DOI 10.1007/BF01166225
- G. H. Hardy, Divergent Series, Oxford, at the Clarendon Press, 1949. MR 0030620
- H. Hueber and M. Sieveking, Uniform bounds for quotients of Green functions on $C^{1,1}$-domains, Ann. Inst. Fourier (Grenoble) 32 (1982), no. 1, vi, 105–117 (English, with French summary). MR 658944
- Hermann Hueber and Malte Sieveking, Continuous bounds for quotients of Green functions, Arch. Rational Mech. Anal. 89 (1985), no. 1, 57–82. MR 784103, DOI 10.1007/BF00281745
- Abdoul Ifra and Lotfi Riahi, Estimates of Green functions and harmonic measures for elliptic operators with singular drift terms, Publ. Mat. 49 (2005), no. 1, 159–177. MR 2140204, DOI 10.5565/PUBLMAT_{4}9105_{0}7
- Alexander I. Kheifits, Pointwise Fatou theorem for generalized harmonic functions—normal boundary values, Potential Anal. 3 (1994), no. 4, 379–389. MR 1302417, DOI 10.1007/BF01049809
- Lynn H. Loomis, The converse of the Fatou theorem for positive harmonic functions, Trans. Amer. Math. Soc. 53 (1943), 239–250. MR 7832, DOI 10.1090/S0002-9947-1943-0007832-1
- V. G. Maz′ja, On Beurling’s theorem on the minimum principle for positive harmonic functions, Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 30 (1972), 76–90 (Russian). Investigations on linear operators and the theory of functions, III. MR 0330484
- Yifei Pan and Mei Wang, An application of the Hardy-Littlewood Tauberian theorem to harmonic expansion of a complex measure on the sphere, Real Anal. Exchange 35 (2010), no. 2, 517–524. MR 2683617
- Wade Ramey and David Ullrich, On the behavior of harmonic functions near a boundary point, Trans. Amer. Math. Soc. 305 (1988), no. 1, 207–220. MR 920155, DOI 10.1090/S0002-9947-1988-0920155-9
- Walter Rudin, Tauberian theorems for positive harmonic functions, Nederl. Akad. Wetensch. Indag. Math. 40 (1978), no. 3, 376–384. MR 507830
- James Serrin, On the Harnack inequality for linear elliptic equations, J. Analyse Math. 4 (1955/56), 292–308. MR 81415, DOI 10.1007/BF02787725
- Kjell-Ove Widman, Inequalities for the Green function and boundary continuity of the gradient of solutions of elliptic differential equations, Math. Scand. 21 (1967), 17–37 (1968). MR 239264, DOI 10.7146/math.scand.a-10841
- Zhong Xin Zhao, Green function for Schrödinger operator and conditioned Feynman-Kac gauge, J. Math. Anal. Appl. 116 (1986), no. 2, 309–334. MR 842803, DOI 10.1016/S0022-247X(86)80001-4
Bibliographic Information
- A. Logunov
- Affiliation: Department of Mathematics and Mechanics, St. Petersburg State University, 14th Line 29B, Vasilyevsky Island, St. Petersburg 199178, Russia
- Email: log239@yandex.ru
- Received by editor(s): September 21, 2014
- Published electronically: December 7, 2015
- Additional Notes: Supported by the Russian Science Foundation (project no. 14.21-00035).
- © Copyright 2015 American Mathematical Society
- Journal: St. Petersburg Math. J. 27 (2016), 87-102
- MSC (2010): Primary 35J67, 31B25, 35J08, 31B05
- DOI: https://doi.org/10.1090/spmj/1377
- MathSciNet review: 3443267