[논문 리뷰] Generalization of Rellich-Kondrachov theorem and trace compacteness in the framework of irregular and fractal boundaries

Anna Rozanova-Pierrat|arXiv (Cornell University)|2020. 02. 25.

Advanced Mathematical Modeling in Engineering참고 문헌 31인용 수 6

한 줄 요약

이 논문은 비정규적이고 프랙탈 경계를 가진 영역으로 Rellich-Kondrachov 컴팩트성 정리와 트레이스 연산자 컴팩트성의 일반화를 시도하며, 비-Ahlfors 정규 $d$-집합 경계를 가진 'Sobolev 적합 영역'을 도입한다. 비정규적 설정에서 컴팩트 통합과 트레이스 이론을 활용하여, 로빈 경계 조건을 가진 파oisson 방정식의 약한 해에 대한 존재성, 유일성 및 스펙트럼 성질을 확립한다.

ABSTRACT

We present a survey of recent results of the functional analysis allowing to solve PDEs in a large class of domains with irregular boundaries. We extend the previously introduced concept of admissible domains with a d-set boundary on the domains with the boundaries on which the measure is not necessarily Ahlfors regular d-measure. This gives a generalization of Rellich-Kondrachov theorem and the compactness of the trace operator, allowing to obtain, as for a regular classical case the unicity/existence of weak solutions of Poisson boundary valued problem with the Robin boundary condition and to obtain the usual properties of the associated spectral problem.

연구 동기 및 목표

• 비정규적이고 프랙탈 경계를 가진 영역으로 고전적 Rellich-Kondrachov 정리와 트레이스 연산자 컴팩트성의 일반화를 시도한다.
• 경계가 Ahlfors 정규가 아닐 경우에도 약한 해가 잘 정의된 더 넓은 영역의 클래스인 'Sobolev 적합 영역'을 정의한다.
• 이러한 비정규 영역에서 로빈 경계 조건을 가진 파oisson 방정식에 대한 약한 해의 존재성과 유일성을 확보한다.
• 이러한 일반화된 영역에서 라플라스 연산자의 스펙트럼 성질을 Hilbert-Schmidt 정리에 기반하여 확립한다.
• 비정규적 $d$-집합 경계를 가진 $H^1$로의 Poincaré 부등식과 컴팩트 통합을 $d > n-1$ 조건 하에 일반화한다.

제안 방법

• 경계에서 전사적이고 연속적인 트레이스 연산자와 연속적인 우측 역함수를 지닌 유계 영역으로 'Sobolev 적합 영역'의 개념을 도입한다.
• Ahlfors 정규성의 범위를 초월하여 비정규적이고 프랙탈 경계(예: von Koch 곡선 포함)를 포함하는 $d$-집합 경계의 개념을 확장한다.
• 등가 노름 $\|u\|_{\mathrm{Tr}}^2 = \int_\Omega |\nabla u|^2 dx + a \int_{\partial\Omega} |\mathrm{Tr}_{\partial\Omega}u|^2 d\mu$를 사용하여 로빈 경계 조건을 가진 파oisson 문제의 약한 형태를 정의하기 위해 Riesz 표현 정리를 적용한다.
• 유계 Sobolev 적합 영역에 대해 $H^1(\Omega) \subset\subset L^2(\Omega)$의 컴팩트 통합과 $H^1(\Omega) \to L^2(\partial\Omega)$의 트레이스 연산자 컴팩트성 확립.
• 콤팩트이고 자기수반인 연산자 $T = A \circ i_{L_2(\Omega)}$에 Hilbert-Schmidt 정리를 적용하여 라플라스 연산자의 스펙트럼 성질 유도.
• Calderón-Stein 확장 정리와 최근의 $(\varepsilon,\infty)$-영역 및 $W_p^k$-확장 영역 결과를 활용하여 확장 및 트레이스 성질의 타당성 입증.

실험 결과

연구 질문

• RQ1 Ahlfors 정규가 아닌 $d$-집합 경계를 가진 영역으로 Rellich-Kondrachov 컴팩트성 정리가 일반화될 수 있는가?
• RQ2 경계에서 $H^1(\Omega)$에서 $L^2(\partial\Omega)$로의 트레이스 연산자가 컴팩트가 되기 위한 조건은 무엇인가?
• RQ3 프랙탈 또는 비정규 경계를 가진 영역에서 로빈 경계 조건을 가진 파oisson 방정식의 약한 형태가 잘 정의되는가?
• RQ4 비정규 영역에서 라플라스 연산자의 스펙트럼 성질—예를 들어 이산적이고 양의 고유값, 유한 차원 다중성—이 유지되는가?
• RQ5 비정규 경계를 가진 유계 Sobolev 적합 영역에서 $H^1$ 함수에 대해 Poincaré 부등식을 일반화할 수 있는가?

주요 결과

• Ahlfors 정규가 아닐지라도, $d$-집합 경계를 가진 유계 Sobolev 적합 영역으로 Rellich-Kondrachov 정리가 일반화된다.
• 유계 Sobolev 적합 영역에 대해 $H^1(\Omega) \subset\subset L^2(\Omega)$의 통합은 컴팩트하며, 이는 $L^2$에서의 약한 컴팩트성 보장.
• 유계 Sobolev 적합 영역에서 경계가 컴팩트일 경우 트레이스 연산자 $\mathrm{Tr}: H^1(\Omega) \to L^2(\partial\Omega)$는 컴팩트하다.
• 모든 $f \in L^2(\Omega)$ 및 $a > 0$에 대해, 로빈 경계 조건을 가진 파oisson 문제는 $\|u\|_{\mathrm{Tr}} \leq C\|f\|_{L^2(\Omega)}$를 만족하는 $H^1(\Omega)$ 내에 고유한 약한 해 $u$가 존재한다.
• 스펙트럼 문제 $(u,v)_{\mathrm{Tr}} = \lambda (u,v)_{L^2}$는 유한 차원 다중성을 가지며, 증가하는 양의 고유값 $\lambda_j \to \infty$의 가чёт한 집합을 가지며, 해당 고유함수는 $L^2(\Omega)$에서 정규직교 기저이고 $H^1(\Omega)$에서 직교 기저를 이룬다.
• Poincaré 부등식은 $u \in W^{1,p}(\Omega)$에 대해 $ \left\|u - \frac{1}{\lambda(\Omega)}\int_\Omega u\,d\lambda \right\|_{L^p} \leq C\|\nabla u\|_{L^p} $ 형태로 성립하며, $C$는 $Ω$, $p$, $n$에만 의존한다.