On a two-phase free boundary condition for p-harmonic measures

• Let Ωi⊂Rn,i∈{1,2} , be two (δ, r 0)-Reifenberg flat domains, for some 0<δ<δ^ and r 0 > 0, assume Ω1∩Ω2=∅ and that, for some w∈Rn and some 0 < r, w∈∂Ω1∩∂Ω2,∂Ω1∩B(w,2r)=∂Ω2∩B(w,2r) . Let p, 1 < p < ∞, be given and let u i , i∈{1,2} , denote a non-negative p-harmonic function in Ω i , assume that u i , i∈{1,2}, is continuous in Ω¯i∩B(w,2r) and that u i = 0 on ∂Ωi∩B(w,2r) . Extend u i to B(w, 2r) by defining ui≡0 on B(w,2r)∖Ωi. Then there exists a unique finite positive Borel measure μ i , i∈{1,2} , on R n , with support in ∂Ωi∩B(w,2r) , such that if ϕ∈C∞0(B(w,2r)) , then∫Rn|∇ui|p−2⟨∇ui,∇ϕ⟩dx=−∫Rnϕdμi.Let Δ(w,2r)=∂Ω1∩B(w,2r)=∂Ω2∩B(w,2r) . The main result proved in this paper is the following. Assume that μ 2 is absolutely continuous with respect to μ 1 on Δ(w, 2r), d μ 2 = kd μ 1 for μ 1-almost every point in Δ(w, 2r) and that logk∈VMO(Δ(w,r),μ1) . Then there exists δ~=δ~(p,n)>0 , δ~<δ^ , such that if δ≤δ~ , then Δ(w, r/2) is Reifenberg flat with vanishing constant. Moreover, the special case p = 2, i.e., the linear case and the corresponding problem for harmonic measures, has previously been studied in Kenig and Toro (J Reine Angew Math 596:1–44, 2006).

Ämnesord

NATURVETENSKAP  -- Matematik (hsv//swe)

NATURAL SCIENCES  -- Mathematics (hsv//eng)

NATURVETENSKAP  -- Matematik -- Sannolikhetsteori och statistik (hsv//swe)

NATURAL SCIENCES  -- Mathematics -- Probability Theory and Statistics (hsv//eng)

Nyckelord

Mathematics

matematik

matematisk statistik

Mathematical Statistics

Publikations- och innehållstyp

ref (ämneskategori)

art (ämneskategori)