[논문 리뷰] Degenerate elliptic operators: capacity, flux and separation

Derek W. Robinson, Adam Sikora|arXiv (Cornell University)|2006. 01. 14.

Advanced Mathematical Modeling in Engineering참고 문헌 10인용 수 14

한 줄 요약

이 논문은 리프시츠 경계를 가진 열린 집합 $\Omega$ 에서 비강한 타원형 미분연산자의 비타당한 형식을 갖는 반군이 $L_2(Ω)$ 를 보존함을 보여주며, 이는 에너지의 경계 $\partial\Omega$ 를 통한 유량이 0이거나, 연산자에 대한 $\partial\Omega$ 의 용량이 0일 때에만 성립한다. 이 결과는 연산자의 계수와 경계 행동의 기하학적 및 분석적 성질을 통한 비강한 타원형 PDE의 분리 현상의 특성화에 기반한다.

ABSTRACT

Let $S=\{S_t\}_{t\geq0}$ be the semigroup generated on $L_2(\Ri^d)$ by a self-adjoint, second-order, divergence-form, elliptic operator $H$ with Lipschitz continuous coefficients. Further let $Ω$ be an open subset of $\Ri^d$ with Lipschitz continuous boundary $\partialΩ$. We prove that $S$ leaves $L_2(Ω)$ invariant if, and only if, the capacity of the boundary with respect to $H$ is zero or if, and only if, the energy flux across the boundary is zero. The global result is based on an analogous local result.

연구 동기 및 목표

• 비강한 타원형 미분연산자에 대한 리프시츠 연속 계수를 갖는 반군이 $L_2(\Omega)$ 를 불변으로 유지하는 조건을 특성화하는 것.
• 열린 부분집합 $\Omega$ 와 관련된 $L_2(\mathbb{R}^d)$ 상의 반군 작용이 불변 부분공간으로 분리되는 데 필요한 충분한 조건을 규명하는 것.
• 에너지 유량이 $\partial\Omega$ 를 가로질러 0이 되는 것, $\partial\Omega$ 의 용량이 0이 되는 것, 그리고 반군 $S_t$ 에서 $L_2(\Omega)$ 가 불변임을 보이는 것 사이의 동치성을 확립하는 것.
• 강한 타원형 및 부분타원형 이론의 결과를 계수에 대한 최소한의 정규성 가정을 가진 비강한 연산자로 확장하는 것. 특히 리프시츠 연속성에 초점을 맞춘다.

제안 방법

• 분석은 딜레클레 형식 이론과 $C_c^\infty(\mathbb{R}^d)$ 상에서의 닫히지 않은 대칭 이차형식 $h(\varphi, \psi) = \sum_{i,j} \int \partial_i\varphi \, c_{ij} \, \partial_j\psi$ 를 사용한다. 여기서 $c_{ij}$ 는 리프시츠 연속이며, 행렬 $C = (c_{ij})$ 는 거의 어디서나 대칭적이고 정부호이다.
• 반군 $S_t$ 는 형식 $\overline{h}$ 의 폐포와 관련된 자기수반 연산자 $H$ 에 의해 생성되며, $L_2(\Omega)$ 에서의 불변성은 경계 $\partial\Omega$ 의 에너지 유량과 용량을 통해 분석된다.
• 경계 $\partial\Omega$ 를 통한 에너지 유량은 해의 법선 도함수를 통해 정의되며, 특히 $\Gamma_\eta = 0$ 이 되는 조건을 통해 $\Gamma_\psi = \sum_{i,j} c_{ij} \partial_i\psi \, \partial_j\psi$ 와 관련된다. 여기서 $\eta$ 는 경계를 정의하는 함수이다.
• 용량은 $\partial\Omega$ 의 근방에서 $\varphi \geq 1$ 이고 $\varphi \in D(\overline{h})$ 인 테스트 함수 $\varphi$ 에 대해 $\overline{h}(\varphi)$ 의 하한값을 통해 정의되며, 용량이 0이면 경계를 통한 에너지 손실이 없다는 것을 의미한다.
• 증명은 국소적 및 전역적 특성화를 사용하며, 리프시츠 연속성 덕분에 강한 타원성 없이도 형식 $h$ 가 닫힘을 보장하는 프리드리히스 확장의 성질에 기반한다.
• 강한 타원형 근사 $H_\varepsilon = H + \varepsilon \Delta$ 의 점근적 극한을 고려하여 한계 연산자 $H_0$ 와 관련된 형식 $h_0$ 를 도입함으로써, 비강한 경우의 비닫힘 형식을 다룰 수 있다.

실험 결과

연구 질문

• RQ1 리프시츠 경계를 가진 열린 집합 $\Omega \subset \mathbb{R}^d$ 에 대해 비강한 타원형 미분연산자에 의해 생성된 반군 $S_t$ 가 $L_2(\Omega)$ 를 보존하는 조건은 무엇인가?
• RQ2 경계 $\partial\Omega$ 를 통한 에너지 유량이 0임이 반군 $S_t$ 에서 $L_2(\Omega)$ 의 불변성과 동치인가?
• RQ3 반군이 $L_2(\Omega)$ 는 보존하지만 $L_2(\Omega^c)$ 는 보존하지 않는 분리 현상은 연산자 $H$ 에 대해 $\partial\Omega$ 의 용량으로 특성화될 수 있는가?
• RQ4 계수 행렬 $C = (c_{ij})$ 의 기하학적 및 분석적 성질, 특히 $\partial\Omega$ 에서의 비강성에 기인한 영향이 반군의 불변성에 어떻게 작용하는가?
• RQ5 결과는 비연속 계수로까지 어떻게 일반화될 수 있으며, 점진적 극한 구성은 비강한 연산자의 거동을 어떻게 복원하는가?

주요 결과

• 반군 $S_t$ 가 $L_2(\Omega)$ 를 불변으로 유지하는 것은, 경계 $\partial\Omega$ 에서 $\sum_{i,j} c_{ij} n_i n_j = 0$ 거의 어디서나 성립할 때에만 성립한다. 여기서 $n$ 은 외부 법선이다.
• $L_2(\Omega)$ 가 반군 $S_t$ 에 대해 불변임은, 형식 $h$ 에 대해 경계 $\partial\Omega$ 의 용량 $C_h(\partial\Omega)$ 가 0임과 동치이다.
• $\partial\Omega$ 의 용량이 0이면 경계를 통한 에너지 손실이 없음을 의미하며, 이는 반군 작용 하에서 비자명한 불변 부분공간이 존재하는 것과 동치이다.
• 계수 $c_{ij}$ 가 리프시츠 연속이라는 가정 하에, 강한 타원성 없이도 형식 $h$ 가 프리드리히스 확장에 의해 닫힘을 보장하므로 이 결과는 성립한다.
• 테스트 함수와 용량 및 에너지 밀도의 변분 특성화를 통해, 유량 0과 용량 0 사이의 동치성이 입증된다.
• 점진적 극한의 경우, 동일한 동치성은 한계 반군 $S_t^{(0)}$ 에 대해서도 성립함을 보여, 분리 현상이 비강한 극한에서도 유지됨을 보였다.