×

Regularity properties of a free boundary near contact points with the fixed boundary. (English) Zbl 1050.35157

This paper concerns the regularity properties of solutions of a free boundary problem. Let \(\Omega\) be a domain in the half space \(\mathbb{R}^n_+= \{x\in\mathbb{R}^n: x_1> 0\}\), \(n\geq 2\), and suppose that a function \(u\) satisfies \[ \Delta u=\chi_\Omega\quad\text{in}\quad B^+,\quad u=|\nabla u|=0\quad\text{in}\quad B^+\setminus\Omega,\quad\text{and}\quad u= 0\quad\text{on}\quad \Pi\cap B, \] where \(B\) is the unit ball with center at the origin, \(B^+= \{x\in B: x_1> 0\}\), \(\Pi= \{x_1= 0\}\), and \(\chi_\Omega\) denotes the characteristic function of \(\Omega\). The free boundary \(\Gamma(u)\) is defined by \[ \Gamma(u)= \{x: u(x)=|\nabla u(x)|= 0\}\cap \partial\Omega. \] The main purpose of this paper is to study the behavior of the free boundary near the contact points \(\Gamma_0(u)= \Gamma(u)\cap\Pi\) with neither \(u\geq 0\) nor Lipschitz regularity assumption on \(\partial\Omega\). The authors show, among other things, that the free boundary is the graph of a \(C^1\) function near the contact points. The interior points of the free boundary have been well studied by L. A Caffarelli, L. Karp and H. Shahgholian [Ann. Math. (2) 151, 269–292 (2000; Zbl 0960.35112)].

MSC:

35R35 Free boundary problems for PDEs
35J60 Nonlinear elliptic equations
35B65 Smoothness and regularity of solutions to PDEs

Citations:

Zbl 0960.35112
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] H. W. Alt, L. A. Caffarelli, and A. Friedman, Variational problems with two phases and their free boundaries, Trans. Amer. Math. Soc. 282 (1984), 431–461. · Zbl 0844.35137 · doi:10.1090/S0002-9947-1984-0732100-6
[2] D. E. Apushkinskaya and N. N. Uraltseva, On the behavior of the free boundary near the boundary of the domain (in Russian), Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 221 (1995), 5–19.; English translation in J. Math. Sci. (New York) 87 (1997), 3267–3276. · Zbl 0927.35135
[3] I. Athanasopoulos and L. A. Caffarelli, A theorem of real analysis and its application to free boundary problems , Comm. Pure Appl. Math. 38 (1985), 499–502. · Zbl 0593.35084 · doi:10.1002/cpa.3160380503
[4] I. Athanasopoulos, L. A. Caffarelli, and S. Salsa, The free boundary in an inverse conductivity problem , J. Reine Angew. Math. 534 (2001), 1–31. · Zbl 0965.35185 · doi:10.1515/crll.2001.033
[5] H. Berestycki, L. A. Caffarelli, and L. Nirenberg, “Uniform estimates for regularization of free boundary problems” in Analysis and Partial Differential Equations , Lecture Notes in Pure and Appl. Math. 122 , Dekker, New York, 1990, 567–619. · Zbl 0702.35252
[6] H. Berestycki and B. Larrouturou, A semi-linear elliptic equation in a strip arising in a two-dimensional flame propagation model , J. Reine Angew. Math. 396 (1989), 14–40. · Zbl 0658.35036
[7] H. Berestycki, B. Larrouturou, and L. Nirenberg, “A nonlinear elliptic problem describing the propagation of a curved premixed flame” in Mathematical Modeling in Combustion and Related Topics (Lyon, 1987) , NATO Adv. Sci. Inst. Ser. E Appl. Sci. 140 , Nijhoff, Dordrecht, 1988, 11–28.
[8] L. A. Caffarelli, The regularity of free boundaries in higher dimensions , Acta Math. 139 (1977), 155–184. · Zbl 0386.35046 · doi:10.1007/BF02392236
[9] –. –. –. –., Compactness methods in free boundary problems , Comm. Partial Differential Equations 5 (1980), 427–448. · Zbl 0437.35070 · doi:10.1080/0360530800882144
[10] ——–, The obstacle problem revisited , J. Fourier Anal. Appl. 4 (1998) 383–402. · Zbl 0928.49030 · doi:10.1007/BF02498216
[11] L. A. Caffarelli, D. Jerison, and C. E. Kenig, Ann. of Math. (2) 155 (2002), 369–404. \CMP1 906 591 JSTOR: · Zbl 1142.35382 · doi:10.2307/3062121
[12] L. A. Caffarelli, L. Karp, and H. Shahgholian, Regularity of a free boundary with application to the Pompeiu problem , Ann. of Math. (2) 151 (2000), 269–292. JSTOR: · Zbl 0960.35112 · doi:10.2307/121117
[13] L. Caffarelli and J. Salazar, Solutions of fully nonlinear elliptic equations with patches of zero gradient: Existence, regularity and convexity of level curves , Trans. Amer. Math. Soc. 354 (2002), 3095–3115. \CMP1 897 393 JSTOR: · Zbl 0992.35101 · doi:10.1090/S0002-9947-02-03009-X
[14] L. A. Caffarelli and H. Shahgholian, The structure of the singular set of a free boundary in potential theory , 2000, unpublished. · Zbl 0960.35112
[15] J. R. Cannon and C. D. Hill, On the movement of a chemical reaction interface , Indiana Univ. Math. J. 20 (1970/1971), 429–454. · Zbl 0209.12802 · doi:10.1512/iumj.1970.20.20037
[16] C. M. Elliott, R. Schätzle, and B. E. E. Stoth, Viscosity solutions of a degenerate parabolic-elliptic system arising in the mean-field theory of superconductivity , Arch. Ration. Mech. Anal. 145 (1998), 99–127. · Zbl 0927.35117 · doi:10.1007/s002050050125
[17] A. Friedman, Variational Principles and Free-Boundary Problems , Pure Appl. Math., Wiley, New York, 1982. · Zbl 0564.49002
[18] D. Gilbarg and N. S. Trudinger, Elliptic Partial Differential Equations of Second Order , 2d ed., Grundlehren Math. Wiss. 224 , Springer, Berlin, 1983. · Zbl 0562.35001
[19] A. Gurevich, Boundary regularity for free boundary problems , Comm. Pure Appl. Math. 52 (1999), 363–403. · Zbl 0928.35213 · doi:10.1002/(SICI)1097-0312(199903)52:3<363::AID-CPA3>3.0.CO;2-U
[20] L. Karp and H. Shahgholian, Regularity of a free boundary problem , J. Geom. Anal. 9 (1999), 653–669. · Zbl 0965.35194 · doi:10.1007/BF02921977
[21] D. Kinderlehrer and L. Nirenberg, Regularity in free boundary problems , Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 4 (1977), 373–391. · Zbl 0352.35023
[22] D. Kinderlehrer and G. Stampacchia, An Introduction to Variational Inequalities and Their Applications , Pure Appl. Math. 88 , Academic Press, New York, 1980. · Zbl 0457.35001
[23] O. A. Ladyzhenskaya and N. N. Uraltseva, Estimates on the boundary of the domain of first derivatives of functions satisfying an elliptic or a parabolic inequality (in Russian), Trudy Mat. Inst. Steklov. 179 (1988), 102–125.; English translation in Proc. Steklov Inst. Math. 1989 , no. 2, 109–135. · Zbl 0707.35023
[24] N. N. Uraltseva, \(C^1\) regularity of the boundary of a noncoincident set in a problem with an obstacle (in Russian), Algebra i Analiz 8 , no. 2 (1996), 205–221.; English translation in St. Petersburg Math. J. 8 , no. 2 (1997), 341–353. · Zbl 0869.35116
[25] –. –. –. –., On the properties of a free boundary in a neighborhood of the points of contact with the known boundary (in Russian), Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 249 (1997), 303–312.; English translation in J. Math. Sci. (New York) 101 (2000), 3570–3576.
[26] –. –. –. –., On the contact of a free boundary with a given boundary (in Russian), Mat. Sb. 191 , no. 2 (2000), 165–173. · Zbl 0956.35139 · doi:10.1070/SM2000v191n02ABEH000457
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.