[논문 리뷰] Sobolev spaces on non-Lipschitz subsets of $\mathbb{R}^n$ with application to boundary integral equations on fractal screens

Simon N. Chandler‐Wilde, David P. Hewett외 1명|arXiv (Cornell University)|2016. 07. 07.

Nonlinear Partial Differential Equations참고 문헌 29인용 수 4

한 줄 요약

이 논문은 ℝⁿ의 비-Lipschitz 부분집합, 특히 프랙탈 및 거친 영역에 대해 힐버트-소볼레프 공간의 기능적 해석 프레임워크를 개발하여 파동 산산각 문제에서 경계 적분 방정식(BIE)의 엄밀한 분석을 가능하게 한다. 주요 기여는 경계가 프랙탈일 경우 근사 스크린에서의 BIE 해가 수렴하지 않을 수 있음을 보여주는 조건을 확립하는 것이다. 특히, $χ^{1/2}(Γ)$와 $H^{1/2}_{\overline{\Gamma}}$가 다를 조건을 규명한다.

ABSTRACT

We study properties of the classical fractional Sobolev spaces (or Bessel potential spaces) on non-Lipschitz subsets of $\mathbb{R}^n$. We investigate the extent to which the properties of these spaces, and the relations between them, that hold in the well-studied case of a Lipschitz open set, generalise to non-Lipschitz cases. Our motivation is to develop the functional analytic framework in which to formulate and analyse integral equations on non-Lipschitz sets. In particular we consider an application to boundary integral equations for wave scattering by planar screens that are non-Lipschitz, including cases where the screen is fractal or has fractal boundary.

연구 동기 및 목표

• ℝⁿ의 비-Lipschitz 부분집합에 대해 소볼레프 공간의 엄밀한 기능적 해석적 프레임워크를 구축함으로써, 경계 적분 방정식(BIE) 응용에 기여한다.
• 임의의 열린 및 닫힌 집합에서 다양한 소볼레프 공간 정의—예를 들어 $H^s(\Omega)$, $χ^s(\Omega)$, $H^s_F$—간의 관계를 명확히 한다.
• 도메인이 Lipschitz 정규성을 갖지 않을 경우 소볼레프 공간 정의의 등가성에 관해 문헌에서 애매하게 여겨지는 점을 해결한다.
• 이 소볼레프 공간들의 쌍대 공간을 자연스럽게 실현하여 BIE의 변분 형식을 지원한다.
• 비-Lipschitz 도메인에서의 보간 척도 실패를 입증함으로써, McLean의 표준 참고서에서 잘못된 주장된 바를 수정한다.

제안 방법

• 저자들은 푸리에 분석, 쌍대성 및 제약 기법을 사용하여 ℝⁿ의 임의의 열린 및 닫힌 부분집합에서 고전적인 힐버트-소볼레프 공간을 정의하고 분석한다.
• 특히 $s = -1/2$일 때, 잠재이론의 결과를 활용하여 집합이 주어진 정규성의 분포를 지지할 수 있는지 여부를 판단하기 위해 $s$-무효성(s-nullity) 개념을 활용한다.
• 논문은 프랙탈 스크린에서 경계 적분 방정식의 해를, 각각 Lipschitz 집합의 유한한 합집합인 $\Gamma_j$로 이루어진 수열로 스크린을 근사함으로써 구성한다.
• 데이터 $g_j$ 가 극한 집합에서의 극한 $g_\infty$로 수렴할 조건 하에, $\phi_j \in \u03c7^{1/2}(\Gamma_j)$ 에서의 해들이 극한 $\phi \in \u03c7^{1/2}(\Gamma)$ 로 수렴함을 증명한다. 여기서 $\Gamma = \bigcup_j \Gamma_j$ 이다.
• 이 방법은 $\u03c7^{1/2}(\Gamma) = \overline{\bigcup_j \u03c7^{1/2}(\Gamma_j)}$ 라는 사실에 기반하여, 소볼레프 공간 노름에서의 수렴을 가능하게 한다.
• 집합 $G = \mathrm{int}(\overline{\Gamma}) \setminus \Gamma$ 를 사용하여 $\u03c7^{1/2}(\Gamma)$ 와 $H^{1/2}_{\overline{\Gamma}}$ 를 구분한다. 만약 $\dim_H(G) > 1$ 이면, $\u03c7^{1/2}(\Gamma) \subsetneqq H^{1/2}_{\overline{\Gamma}}$ 임을 보여준다.

실험 결과

연구 질문

• RQ1 비-Lipschitz 집합 $\Gamma$ 에 대해 $\u03c7^{1/2}(\Gamma)$ 와 $H^{1/2}_{\overline{\Gamma}}$ 가 일치하는 조건은 무엇인가?
• RQ2 스크린 $\Gamma_j$ 가 수렴하는 수열에 대해, $\Gamma_j \to \Gamma^*$ 가 르베그 측도와 하우스도르프 거리에서 수렴할 때, 근사 스크린에서의 BIE 해가 극한 스크린에서의 해로 수렴할 수 있는가?
• RQ3 집합 $G = \mathrm{int}(\overline{\Gamma}) \setminus \Gamma$ 의 하우스도르프 차원이 $\widetilde{H}^{1/2}(\Gamma) = H^{1/2}_{\overline{\Gamma}}$ 의 정당성에 어떤 역할을 하는가?
• RQ4 소볼레프 공간의 보간 성질이 도메인이 Lipschitz가 아닐 경우, 특히 분수 차수 $s = 1/2$ 에서도 유지되는가?
• RQ5 비-Lipschitz $\Gamma$ 에 대해, BIE의 변분 형식을 지원하기 위해 $\widetilde{H}^{1/2}(\Gamma)$ 의 쌍대 공간을 자연스럽게 어떻게 실현할 수 있는가?

주요 결과

• 시어핀스키 삼각형 $F$ 에 대해, 집합 $G = \mathrm{int}(\overline{\Gamma}) \setminus \Gamma$ 는 하우스도르프 차원 $\log 3 / \log 2 \approx 1.585 > 1$ 을 가지며, 이는 $\u03c7^{1/2}(\Gamma) \subsetneqq H^{1/2}_{\overline{\Gamma}}$ 를 의미한다.
• 근사 스크린 $\Gamma_j$ 에서의 뉴먼 BIE 해 $\phi_j$ 는 $\u03c7^{1/2}(\Gamma)$-노름에서 극한 $\phi$ 로 수렴하지만, $\u03c7^{1/2}(\Gamma) \subsetneqq H^{1/2}_{\overline{\Gamma}}$ 일 경우 이 극한은 $H^{1/2}_{\overline{\Gamma}}$ 에서의 해 $\phi^*$ 와 다를 수 있다.
• 구멍의 크기가 르베그 측도로 수렴하는 스크린에서의 해의 극한은 전체 스크린에서의 해로 수렴하지 않을 수 있다. 즉, 구멍의 측도가 0으로 수렴하더라도 그렇다.
• 집합 $G = \mathrm{int}(\overline{\Gamma}) \setminus \Gamma$ 가 $-1/2$-무효성이 아닐 경우, 즉 $\dim_H(G) > 1$ 일 경우, $\u03c7^{1/2}(\Gamma)$ 는 $H^{1/2}_{\overline{\Gamma}}$ 보다 엄밀히 작다.
• 비-Lipschitz 도메인에서는 소볼레프 공간의 보간 성질이 실패하며, McLean의 책에서 잘못된 주장된 바를 정정한다. 따라서 이러한 공간들을 거친 집합에서 신뢰성 있게 정의하기 위해 보간을 사용할 수 없다.
• 쌍대 공간 $\widetilde{H}^{1/2}(\Gamma)$ 는 자연스럽게 $H^{-1/2}(\Gamma)$ 와 일치하며, 이 쌍대성은 근사 수열의 수렴과 함께 유지되어 약한 수렴 논증이 가능하다.