분수 라빈 함수에 대한 브레지스 플레티에 결과

초록

본 논문은 차원 N 에서 0<s<1인 분수 라플라시안 (−Δ)^s에 대해, 해의 부분 미분을 경계의 정규 미분 u/δ^s와 연관시키는 표현식을 도출한다. 이를 이용해 2s>1인 경우 과잉결정 문제의 해가 전역적으로 Lipschitz 연속임을 보이고, 그린 함수에 대한 Pohozaev 항등식을 얻는다. 특히, 고전적인 브레지스·플레티에 결과를 분수 차원으로 일반화하여, 분수 로빈 함수의 기울기와 경계 적분 사이의 관계를 제시하고, 대칭 영역에서 임계점의 비퇴화성을 논한다.

상세 분석

논문은 먼저 분수 라플라시안 (−Δ)^s의 정의와 H^s_0(Ω) 공간을 정리하고, Dirichlet 문제 (−Δ)^s u = f(x,u) , u=0 in Ω^c 에 대한 고유 해의 존재와 L^∞‑추정량을 상기한다. 핵심은 Green 함수 G_s(x,·) 를 이용해 해 u(x)=∫_Ω G_s(x,z)f(z,u(z))dz 로 표현하는데, G_s는 특이점 x에서 |x−z|^{2s−N} 형태의 핵심항과 조화함수 H_Ω(x,·) 로 분해된다. 기존의 정수 차원에서는 ∂i u 를 ∂z_i G_1와 경계 적분으로 바로 얻을 수 있지만, 분수 차원에서는 G_s가 충분히 매끄럽지 않아 직접적인 미분이 불가능하다. 이를 해결하기 위해 저자들은 두 단계의 정규화 절차를 도입한다. 첫 번째는 거리함수 δ를 이용한 경계 근처 차단 함수 ξ_k 로 G_s를 0으로 만들고, 두 번째는 중심 x 주변에서 ρ(8|x−y|^2/δ(x)^2) 형태의 함수 ϕ{μ,x} 로 특이점을 매끄럽게 제거한다. 이렇게 만든 시험함수 ξ_k ϕ{μ,x} G_s(x,·) 를 정칙성 결과가 알려진 변분 항등식

∫_Ω ∂_i v (−Δ)^s w dz = −∫_Ω ∂i w (−Δ)^s v dz − Γ(1+s)^2 ∫{∂Ω} γ_s^0(v) γ_s^0(w) ν_i dσ

에 대입한다. 여기서 γ_s^0(w)=w/δ^s|{∂Ω} 은 분수 노멀 미분을 의미한다. 한계 과정(k→∞, μ→0)에서 주요 기술적 난관은 두 차단 함수가 만든 잔여항이 0으로 수렴함을 보이는 것이며, 이를 위해 Lemma 2.1에서 제시된 적분 정체식과 ρ에 대한 정밀 계산 (Lemma 2.1, a{N,s}