내부 고차 적분이 경계 트레이스에 미치는 영향

초록

본 논문은 Sobolev 공간 W^{1,p}(Ω) 에 추가적인 L^{q} 적분성이 주어졌을 때, 경계 트레이스의 적분정도와 공간을 정확히 규정한다. 1<p<n, p^{*}<q≤∞ 인 경우 트레이스는 전통적인 분수 Sobolev 공간 W^{1-1/p,p}(∂Ω) 와 새로운 Lebesgue 지수 r=1+q(1-1/p) 의 교집합으로 나타난다. p=1 경우는 Müller의 결과를 재해석한다. 핵심은 비선형 절단을 이용한 새로운 연장 연산자의 구축이며, 이는 최적성을 보장한다.

상세 분석

논문은 “추가적인 내부 적분성(L^{q})이 Sobolev 함수의 경계 트레이스에 어떤 영향을 미치는가”라는 기본 질문을 다룬다. 기존 이론에서는 Lipschitz 영역 Ω에 대해 W^{1,p}(Ω) 의 트레이스 연산자 γ_{∂Ω}가 Y(∂Ω) 로 사상되고, Y는 p=1일 때 L^{1}, 1<p<∞일 때 W^{1-1/p,p}, p=∞일 때 Lip 로 정의된다. 그러나 함수가 추가로 L^{q}(Ω) (q>p^{*})에 속하면, 트레이스 공간이 더 강한 Lebesgue 적분성을 가질 수 있다는 점이 아직 명확히 밝혀지지 않았다.

주요 정리(Theorem 1.1)는 1<p<n, p^{}<q≤∞ 에 대해 γ_{∂Ω}(W^{1,p}(Ω)∩L^{q}(Ω)) = W^{1-1/p,p}(∂Ω) ∩ L^{r}(∂Ω), 여기서 r는 스케일링 관계 r = 1 + q(1-1/p) 로 정의된다. 이 식은 반평면과 일반 Lipschitz 영역 모두에 적용된다. 특히 q→p^{} 일 때 r→p 로 수렴해 기존 Sobolev 트레이스 결과와 자연스럽게 연결된다.

증명에서 가장 어려운 부분은 “⊃” 방향, 즉 주어진 경계 데이터 f∈W^{1-1/p,p}(∂Ω)∩L^{r}(∂Ω) 를 내부 함수 u∈W^{1,p}(Ω)∩L^{q}(Ω) 로 연장하는 것이다. 선형 연장은 r를 만족시키지 못하므로, 저자들은 Poisson 커널을 이용한 선형 연장 v를 만든 뒤, 비선형 절단 함수 η와 지수 β = q/(p-1) 를 도입해 u(x)=η(x_n|v(x)|^{β})·v(x) 와 같이 정의한다. 이 절단은 v가 크게 발산하는 영역을 억제하면서도 경계에서 원래 데이터 f를 정확히 복원한다. 핵심적인 추정은 다음과 같다.

1. 포아송 연장은 ∇v∈L^{p}(ℝ^{n}_{+})와