Epsilon-regularity for the solutions of a free boundary system

DOI10.4171/RMI/1430MaRDI QIDQ6058050zbMATH OpenOpenAlexFDO

Authors Francesco Paolo Maiale, Giorgio Tortone, Bozhidar Velichkov

Publication date 26 October 2023

Published in Revista Matemática Iberoamericana (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.03606

boundary Harnack epsilon-regularity free boundary system improvement of flatness regularity of free boundaries viscosity solutions

Mathematics Subject Classification ID

Smoothness and regularity of solutions to PDEs (35B65) Viscosity solutions to PDEs (35D40) Unilateral problems for elliptic systems and systems of variational inequalities with elliptic operators (35J88) Free boundary problems for PDEs (35R35)

Abstract: This paper is dedicated to a free boundary system arising in the study of a class of shape optimization problems. The problem involves three variables: two functions

u

and

v

, and a domain

O m e g a

; with

u

and

v

being both positive in

O m e g a

, vanishing simultaneously on

p a r t i a l O m e g a

and satisfying an overdetermined boundary value problem involving the product of their normal derivatives on

p a r t i a l O m e g a

. Precisely, we consider solutions

u, v i n C (B_{1})

of

-Delta u= f quad ext{and} quad-Delta v=gquad ext{in}quad Omega={u>0}={v>0} ,qquad frac{partial u}{partial n}frac{partial v}{partial n}=Qquad ext{on}quad partialOmegacap B_1.

Our main result is an epsilon-regularity theorem for viscosity solutions of this free boundary system. We prove a partial Harnack inequality near flat points for the couple of auxiliary functions

s q r t u v

and

f r a c 12 (u + v)

. Then, we use the gained space near the free boundary to transfer the improved flatness to the original solutions. Finally, using the partial Harnack inequality, we obtain an improvement-of-flatness result, which allows to conclude that flatness implies

C^{1, a l p h a}

regularity.

Review text

Summary: This paper is dedicated to a free boundary system arising in the study of a class of shape optimization problems. The problem involves three variables: two functions \(u\) and \(v\), and a domain \(\Omega\); with \(u\) and \(v\) being both positive in \(\Omega\), vanishing simultaneously on \(\partial \Omega\), and satisfying an overdetermined boundary value problem involving the product of their normal derivatives on \(\partial \Omega\). Precisely, we consider solutions \(u, v \in C(B_1)\) of \[ \begin{aligned} -\Delta u= f \text{ and } &-\Delta v=g \quad \text{in }\Omega=\{u>0\}=\{v>0\}, \\ &\frac{\partial u}{\partial n} \frac{\partial v}{\partial n} = Q \quad \text{on } \partial \Omega \cap B_1. \end{aligned} \] Our main result is an epsilon-regularity theorem for viscosity solutions of this free boundary system. We prove a partial Harnack inequality near flat points for the couple of auxiliary functions \(\sqrt{uv}\) and \(\frac{1}{2}(u+v)\). Then, we use the gained space near the free boundary to transfer the improved flatness to the original solutions. Finally, using the partial Harnack inequality, we obtain an improvement-of-flatness result, which allows to conclude that flatness implies \(C^{1, \alpha}\) regularity.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Epsilon-regularity for the solutions of a free boundary system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6058050)