[논문 리뷰] The Dirichlet-to-Neumann operator on $C(\partial Ω)$

Wolfgang Arendt, Tom Ter Elst|arXiv (Cornell University)|2017. 07. 18.

Advanced Mathematical Modeling in Engineering참고 문헌 18인용 수 5

한 줄 요약

이 논문은 실수 계수를 가진 두 번째 순서 대칭 발산형 연산자와 $ V \in L_\infty(\Omega) $ 잠재력과 관련된 Dirichlet-to-Neumann 연산자 $ D_V $ 가 $ C(\partial\Omega) $ 상에서 $ C_0 $-반군을 생성함을 증명한다. 이는 $ V $ 가 음수일 때에도 성립하며, Dirichlet 문제의 유일한 해가 존재하는 한 성립한다. 핵심 기여는 $ D_V $ 의 부분 연산자의 정의역이 $ C(\partial\Omega) $ 에서 밀도를 이룬다는 것을 증명함으로써, 연속 함수로의 반군 제한이 강한 연속성을 가지며, 포물선 방법을 통해 첫 번째 고유함수의 무결성과 엄격한 양의 성질을 확립하는 것이다.

ABSTRACT

Let $Ω\subset {\bf R}^d$ be an open bounded set with Lipschitz boundary $Γ$. Let $D_V$ be the Dirichlet-to-Neumann operator with respect to a purely second-order symmetric divergence form operator with real Lipschitz continuous coefficients and a positive potential $V$. We show that the semigroup generated by $-D_V$ leaves $C(Γ)$ invariant and that the restriction of this semigroup to $C(Γ)$ is a $C_0$-semigroup. We investigate positivity and spectral properties of this semigroup. We also present results where $V$ is allowed to be negative. Of independent interest is a new criterium for semigroups to have a continuous kernel.

연구 동기 및 목표

• 연속 함수 공간 $ C(\partial\Omega) $ 에서 $ -D_V $ 가 생성하는 반군이 $ C_0 $-반군임을 증명하는 것. 이는 $ C(\partial\Omega) $ 가 반사적이지 않기 때문에 어렵다.
• $ D_V $ 의 $ C(\partial\Omega) $ 상에서의 부분 연산자의 정의역이 $ C(\partial\Omega) $ 에서 밀도를 이룬다는 것을 증명하는 것. 이는 계수들이 립시츠 연속일 뿐만 아니라 $ V \in L_\infty(\Omega) $ 이며, 부호 제약 없이 성립한다.
• $ L_2(K) $ 상에서 연속 커널을 가지는 반군을 특성화하고, 특히 Dirichlet-to-Neumann 및 로빈 연산자에 대해 $ C(K) $ 상에서의 무결성에 대한 기준을 제공하는 것.
• 경계 $ \partial\Omega $ 가 연결되어 있지 않더라도 $ C(\partial\Omega) $ 상에서의 무결성이 첫 번째 고유함수의 엄격한 양의 성질을 암시한다는 것을 보여주는 것.

제안 방법

• 약한 해 $ (A+V)u = 0 $ 이 $ \Omega $ 내에서 $ \text{Tr}\,u = \varphi $ 를 만족할 때, 형식 방법을 사용하여 Dirichlet-to-Neumann 연산자 $ D_V $ 를 정의하고, $ D_V\varphi = \partial_\nu u $ 라 정의한다.
• 추상 반군 이론을 적용하여 $ L_2(\partial\Omega) $ 상에서 $ -D_V $ 가 생성하는 반군 $ S^V $ 가 연속 커널을 가짐을 보이며, 자기수반성과 양의 성질을 이용한다.
• 해가 매끄러운 데이터를 가진 해를 이용해 근사화하고 타원적 정규성의 성질을 활용하여 $ D_V $ 의 부분 연산자의 정의역이 $ C(\partial\Omega) $ 에서 밀도를 이룬다는 것을 증명한다.
• 반증을 통해 $ C(\partial\Omega) $ 상에서의 반군 $ T^V $ 의 무결성을 증명한다: 적절한 닫힌 이상이 불변일 경우, 첫 번째 고유함수의 엄격한 양의 성질과 모순된다.
• 포물선 진화를 이용하여 강한 최대원리에 의해 $ (T^V_t \varphi)(z) > 0 $ 를 유도한다. 이는 모든 $ t > 0 $, $ z \in \partial\Omega $, 그리고 $ \varphi \geq 0 $, $ \varphi \neq 0 $ 에 대해 성립한다.
• 추상 반군 이론의 기준을 적용하여, $ S^V $ 가 $ L_2(\partial\Omega) $ 상에서 무결성이 있고 첫 번째 고유함수가 엄격히 양수이면, $ T^V $ 는 $ C(\partial\Omega) $ 상에서 무결하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 연속 함수 공간 $ C(\partial\Omega) $ 상에서 Dirichlet-to-Neumann 반군의 제한이 $ C_0 $-반군을 이룬다. 이는 $ C(\partial\Omega) $ 가 반사적이지 않기 때문에 성립하는가?
• RQ2 계수가 립시츠 연속이고 $ V \in L_\infty(\Omega) $ 이며, $ V $ 가 음수일 경우에도 $ D_V $ 의 $ C(\partial\Omega) $ 상에서 부분 연산자의 정의역이 $ C(\partial\Omega) $ 에서 밀도를 이룬다?
• RQ3 경계 $ \partial\Omega $ 가 연결되어 있지 않은 경우에도 Dirichlet-to-Neumann 반군의 $ C(\partial\Omega) $ 상에서의 무결성을 확립할 수 있는가?
• RQ4 경계 $ \partial\Omega $ 가 연결되어 있지 않더라도 $ C(\partial\Omega) $ 상에서의 무결성이 첫 번째 고유함수가 엄격히 양수임을 암시하는가?
• RQ5 $ L_2(\partial\Omega) $ 상에서의 반군 $ S^V $ 는 $ p \in [1,\infty) $ 에 대해 $ L_p(\partial\Omega) $ 상에서 일致한 $ C_0 $-반군으로 확장될 수 있는가?

주요 결과

• 계수 $ a_{kl} $ 가 립시츠 연속이면, $ -D_V $ 가 생성하는 반군 $ S $ 의 $ C(\partial\Omega) $ 상 제한은 $ C_0 $-반군이 된다. 이는 정리 5.3(c) 에서 증명되었다.
• Dirichlet 문제의 해가 유일할 경우, 모든 $ V \in L_\infty(\Omega) $ 에 대해 $ D_V $ 의 $ C(\partial\Omega) $ 상에서 부분 연산자의 정의역은 $ C(\partial\Omega) $ 에서 밀도를 이룬다. 이는 $ V $ 가 음수일 때에도 성립한다.
• $ C(\partial\Omega) $ 상에서 반군 $ T^V $ 는 무결성이다. 즉, 모든 $ \varphi \in C(\partial\Omega) $, $ \varphi \geq 0 $, $ \varphi \neq 0 $ 에 대해, 모든 $ t > 0 $, $ z \in \partial\Omega $ 에 대해 $ (T^V_t \varphi)(z) > 0 $ 이다.
• 경계 $ \partial\Omega $ 가 연결되어 있지 않더라도 $ D_V $ 의 첫 번째 고유함수는 $ \partial\Omega $ 상에서 엄격히 양수이다. 이는 $ C(\partial\Omega) $ 상에서의 $ T^V $ 의 무결성에 기인한다.
• $ L_2(\partial\Omega) $ 상에서 반군 $ S^V $ 는 무결성이며, $ \min\sigma(D_V) $ 는 단순 고유값이다. 이는 추론 7.4 에 의해 증명되었다.
• $ L_p(\partial\Omega) $ 상에서 $ p \in [1,\infty) $ 전부에 대해 반군 $ S^V $ 는 일致한 $ C_0 $-반군으로 확장된다. 이는 추론 7.6 에서 증명되었다.