[논문 리뷰] Embedding operators and boundary-value problems for rough domains

Goldshtein, V. G., А. Г. Рамм|ArXiv.org|2004. 11. 08.

Advanced Numerical Analysis Techniques참고 문헌 11인용 수 4

한 줄 요약

이 논문은 최소한의 경계 부드러움 조건을 갖는 불규칙한 도메인에 대해 딜리클레, 뉴먼, 루빈 경계 조건을 갖는 타원형 경계값 문제의 존재성과 프레드홀름 성질을 증명한다. 이를 위해 소볼레프 공간과 르베그 공간 사이의 통합 연산자 분석을 수행한다. 주요 기여는 $ i_2: H^1(D) \to L^2(\partial D) $ 가 립시츠 경계를 갖는 도메인과 등거리성으로 등가인 도메인을 포함한 광범위한 불규칙한 도메인 클래스에서 컴팩트하다는 것을 증명하는 것이다. 이는 스펙트럼 이론 및 산산조각 내기 응용에 기여한다.

ABSTRACT

In the first part of the paper boundary-value problems are considered under weak assumptions on the smoothness of the domains. We assume nothing about smoothness of the boundary $\partial D$ of a bounded domain $D$ when the homogeneous Dirichlet boundary condition is imposed; we assume boundedness of the embedding $i_{1}:H^{1}(D) o L^{2}(D)$ when the Neumann boundary condition is imposed; we assume boundedness of the embeddings $i_{1}$ and of $i_{2}:H^{1}(D) o L^{2}(\partial D)$ when the Robin boundary condition is imposed, and, if, in addition, $i_{1}$ and $i_{2}$ are compact, then the boundary-value problems with the spectral parameter are of Fredholm type. Several examples of the classes of rough domains for which the embedding $i_2$ is compact are given. Applications to scattering by rough obstacles are mentioned.

연구 동기 및 목표

• 경계에 최소한의 부드러움 조건을 갖는 도메인으로 타원형 경계값 문제 이론을 확장한다.
• 불규칙한 도메인에 대해 $ i_1: H^1(D) \to L^2(D) $ 와 $ i_2: H^1(D) \to L^2(\partial D) $ 의 유계성과 컴팩트성 분석을 수행한다.
• 약한 정규성 조건 하에서 스펙트럼 매개변수를 갖는 경계값 문제의 프레드홀름 성질을 확립한다.
• 컴팩트 트레이스 통합 $ i_2 $ 를 갖는 새로운 불규칙한 도메인 클래스—정육면체와 등거리성으로 등가인 도메인—을 도입하고 특성화한다.
• 특히 외부 도메인에서 불규칙한 장애물에 의한 산산조각 내기 문제에 결과를 적용한다.

제안 방법

• 경계의 부드러움을 요구하지 않기 위해 경계값 문제의 약한 공식화(예: $[u,\phi] = (F,\phi)$)를 사용한다.
• 외부 도메인에서 해의 존재성을 보이기 위해 한계 흡수 원리를 적용한다.
• 표준 도메인에서의 등거리성 홈오모르피즘을 통해 $ QI $ 도메인(정육면체와 등거리성으로 등가인 도메인)의 클래스를 정의한다.
• 등거리성과 홈오모르피즘의 N-1 성질을 이용해 $ QI $-도메인에서 트레이스 통합 $ i_2: H^1(D) \to L^2(\partial D) $ 가 컴팩트하다는 것을 증명한다.
• $ i_2 $ 와 $ i_1 $ 의 컴팩트성으로 스펙트럼 매개변수를 갖는 문제의 프레드홀름 성질을 확립한다.
• 경계가 부드러운 성분을 갖는 더 큰 도메인 $ \widetilde{D} $ 에 $ D' $ 을 통합함으로써 외부 도메인 $ D' = \mathbb{R}^n \setminus D $ 에 이론을 적용한다.

실험 결과

연구 질문

• RQ1 경계 $ \partial D $ 에 대해 어떤 최소한의 정규성 조건이 딜리클레, 뉴먼, 루빈 경계값 문제의 해가 $ H^1(D) $ 에 존재하도록 보장하는가?
• RQ2 불규칙한 도메인에서 트레이스 통합 $ i_2: H^1(D) \to L^2(\partial D) $ 가 언제 컴팩트한가?
• RQ3 비부드러운 도메인에서 스펙트럼 매개변수를 갖는 경계값 문제에 대해 프레드홀름 성질을 확립할 수 있는가?
• RQ4 어떤 불규칙한 도메인 클래스가 컴팩트 트레이스 통합을 갖는가? 기하학적으로 어떻게 특성화할 수 있는가?
• RQ5 결과는 불규칙한 장애물이 있는 외부 도메인에서 산산조각 내기 문제로 어떻게 확장되는가?

주요 결과

• $ i_2: H^1(D) \to L^2(\partial D) $ 는 $ QI $ 클래스에 속하는 도메인에서 컴팩트하다. 이 클래스는 정육면체와 등거리성으로 등가인 모든 도메인을 포함한다.
• $ QI $ 클래스는 립시츠 경계를 갖는 도메인과 더불어, 예를 들어 경계가 어떤 립시츠 함수의 그래프가 되지 않는 나선형 도메인과 같이 더 불규칙한 경계를 갖는 도메인도 포함한다.
• $ D \in Q $ 이면, 스펙트럼 매개변수를 갖는 루빈 조건 경계값 문제는 $ i_1 $ 과 $ i_2 $ 가 컴팩트할 경우 프레드홀름 형식을 갖는다.
• $ a \in (1,2) $ 에 대해 외부 도메인에서의 딜리클레, 뉴먼, 루빈 문제의 해는 $ H^1_{\text{loc}}(D') \cap L^2_a(D') $ 에 존재하며, $ (A - i0)^{-1}F $ 의 극한으로 주어진다.
• $ \widetilde{D} \subset D' $ 이며 $ \partial D $ 와 부드러운 컴act 다양체 $ S $ 로 이루어진 유계 부분도메인에 대해 $ \widetilde{D} \in Q $ 이면, 트레이스 통합 $ i_2 $ 는 컴팩트하다.
• 삼각형에서 나선형 도메인을 등거리 미분동형사상으로 구성함으로써, 이러한 도메인들이 $ QI $ 에 속하고, 원점 이외의 점에서는 경계가 $ Q $-립시츠임을 보여준다.