닫히지 않은 Orlicz Sobolev 사상의 경계 연장

초록

본 논문은 경계를 보존하지 않을 수도 있는 Orlicz‑Sobolev 사상들의 경계 연속성을 연구한다. 적절한 영역의 기하학적 조건과 왜곡 함수 Q에 대한 평균 진동·로그 성장·적분 발산 조건을 가정하면, 이러한 사상은 정의역의 모든 경계점에 연속적으로 연장될 수 있음을 보인다.

상세 분석

논문은 먼저 Orlicz‑Sobolev 클래스 (W^{1,\varphi}{\text{loc}}(D)) 를 정의하고, 약한 미분과 왜곡 계수 (K{I,\alpha}(x,f)) 를 도입한다. 핵심은 이러한 사상이 “lower (Q)-mapping”이라는 개념과 연결될 수 있음을 보이는 Lemma 2.1·2.2이다. 여기서 (Q(x)=N(f,D)\cdot K_{I,\alpha}(x,f)^{\frac{p-n+1}{n-1}}) 로 정의되며, (N(f,D))는 사상의 다중성이다. 이 연결을 이용해 경계점 (b\in\partial D) 근처에서 모듈러스 추정식 (2.10)을 얻는다.

주요 정리인 Theorem 1.1·1.2는 다음 네 가지 가정을 전제로 한다.

1. 폐집합 (E\subset D) 가 거의 어디에도 밀집하지 않으며, (D) 가 (E\cup\partial D) 에서 유한하게 연결된다.
2. 경계점 (b) 근처에 존재하는 작은 이웃 (V) 에서 (V\cap D) 가 연결되고, (V\setminus E) 가 유한 개의 성분을 가진다.
3. 목표 영역 (D’) 의 (E^{*}) 보완 부분의 경계가 (\alpha)-모듈러스에 대해 강하게 접근 가능한다.
4. 오리클즈 함수 (\varphi) 가 Calderón 조건 (\int_{1}^{\infty}\bigl(t/\varphi(t)\bigr)^{\frac{1}{n-2}}dt<\infty) 을 만족한다.

이때 왜곡 계수가 (K_{I,\alpha}(x,f)\le Q(x)) 를 만족하고, 아래 세 조건 중 하나가 성립하면(5.1) (Q) 가 평균 진동이 유한, (5.2) (q_b(r)=O\bigl(\log\frac1r\bigr)^{,n-1}), (5.3) (\int_{0}^{\delta(b)} t^{,n-1-\alpha} q’_1(t)^{,-1/\alpha},dt=\infty) ) 사상 (f) 은 경계점 (b) 에 연속적으로 연장된다. 모든 경계점에 대해 동일한 조건이 만족되면 전체 정의역 (D) 에서 (D’) 로의 연속 연장이 가능하다.

증명은 먼저 (D\setminus E) 가 유한 개의 연결 성분 (D_i) 로 분해됨을 보이고, 각 (D_i) 에서 (f) 가 닫힌 사상임을 확인한다(즉, 경계 보존). 그 후 Lemma 3.1 의 적분 조건 (3.2)를 이용해 모듈러스 추정과 최대 리프팅 이론을 결합, 경계점 근처에서 이미지가 제한된 집합에 수렴함을 보인다. 마지막으로 (E^{*}) 와 (E) 가 폐집합이므로, 제한값이 실제로 (\partial D’) 에 속함을 확인하여 연속성을 얻는다.

이 결과는 기존 연구에서 닫힌(open‑discrete) Orlicz‑Sobolev 사상에 한정되던 연속 연장 정리를 비닫힌 경우로 일반화한다. 특히, 평균 진동 조건이나 로그 성장 조건 등 다양한 실용적인 (Q) 의 제약을 허용함으로써, 경계가 복잡하거나 다중 연결된 영역에서도 적용 가능함을 보여준다.