[논문 리뷰] The strong Legendre condition and the well-posedness of mixed Robin problems on manifolds with bounded geometry

Bernd Ammann, Nadine Große외 1명|arXiv (Cornell University)|2018. 10. 16.

Nonlinear Partial Differential Equations참고 문헌 39인용 수 5

한 줄 요약

이 논문은 유계 기하학을 갖는 비콤파クト 리만다이프만에서 두 번째 차수 미분 연산자에 대한 혼합 로빈 경계값 문제의 적절성과 정칙성을 확립한다. 강한 레지오르드 조건, 유계 계수, 그리고 로빈 연산자의 균일한 양성 조건 하에서, $s \geq 0$ 에 대해 소볼레프 공간 $H^s(M;E)$ 내에서 존재성, 유일성 및 연속적 의존성을 증명하며, 고전적 결과를 유한 폭과 경계 분해를 갖는 비콤파クト 설정으로 확장한다.

ABSTRACT

Let $M$ be a smooth manifold with boundary $\partial M$ and bounded geometry, $\partial_D M \subset \partial M$ be an open and closed subset, $P$ be a second order differential operator on $M$, and $b$ be a first order differential operator on $\partial M \smallsetminus \partial_D M$. We prove the regularity and well-posedness of the mixed Robin boundary value problem $$Pu = f \mbox{ in } M,\ u = 0 \mbox{ on } \partial_D M,\ \partial^P_νu + bu = 0 \mbox{ on } \partial M \setminus \partial_D M$$ under some natural assumptions. Our operators act on sections of a vector bundle $E o M$ with bounded geometry. Our well-posedness result is in the Sobolev spaces $H^s(M; E)$, $s \geq 0$. The main novelty of our results is that they are formulated on a non-compact manifold. We include also some extensions of our main result in different directions. First, the finite width assumption is required for the Poincaré inequality on manifolds with bounded geometry, a result for which we give a new, more general proof. Second, we consider also the case when we have a decomposition of the vector bundle $E$ (instead of a decomposition of the boundary). Third, we also consider operators with non-smooth coefficients, but, in this case, we need to limit the range of $s$. Finally, we also consider the case of uniformly strongly elliptic operators. In this case, we introduce a \emph{uniform Agmon condition} and show that it is equivalent to the Gårding inequality. This extends an important result of Agmon (1958).

연구 동기 및 목표

• 비콤파クト 다양체에서 유계 기하학을 갖는 경계값 문제의 적절성 이론을 확장한다.
• 강한 레지오르드 조건을 만족하는 두 번째 차수 연산자에 대해 혼합 딜리클레-로빈 문제의 정칙성과 강제성을 확립한다.
• 유한 폭을 갖는 비콤파クト 다양체로 푸앵카르에 부등식과 가르딩 부등식을 일반화한다.
• 경계에서 균일한 아그몬 조건을 통해 강제성을 특성화하여, 소볼레프 공간 내에서의 해의 존재성을 보장한다.

제안 방법

• 벡터 번들의 다발 $E$ 위의 다변량 $M$ 에서 두 번째 차수 미분 연산자 $P$ 와 첫 번째 차수 경계 연산자 $b$ 를 사용하여 혼합 로빈 문제를 수립한다.
• 경계 조건을 설정: $\partial_D M$ 에서 딜리클레 조건, $\partial_R M$ 에서 로빈 조건, $\partial_N M$ 에서 뉴먼 조건을 적용하며, $\partial_D M \sqcup \partial_R M \sqcup \partial_N M = \partial M$ 이다.
• 균일 타원성을 확보하기 위해 강한 레지오르드 조건을 적용하고, 유계 기하학을 통해 계수와 곡률을 제어한다.
• 유한 폭 가정 하에 균일한 푸앵카르에 부등식을 도출하며, 이는 강제성에 있어 핵심적이다.
• 균일 아그몬 조건을 통해 강제성을 확립하고, 이를 가르딩 부등식과 문제의 적절성에 연결한다.
• 단위 분할과 경계점에서 계수를 동결하여 국소 모델로의 축소를 통해 전역적 강제성과 정칙성을 증명한다.

실험 결과

연구 질문

• RQ1 유계 기하학을 갖는 비콤파クト 다양체에서 혼합 로빈 문제의 적절성은 어떤 기하학적 및 분석적 조건 하에서 성립하는가?
• RQ2 강한 레지오르드 조건은 비콤파クト 설정에서 균일 타원성과 강제성을 어떻게 보장하는가?
• RQ3 유한 폭 조건은 푸앵카르에 부등식과 소볼레프 공간 내에서의 해 존재성 확립에 어떤 역할을 하는가?
• RQ4 비콤파クト 다양체에서 강제성 연산자에 대해 균일 아그몬 조건과 가르딩 부등식은 어떻게 동치인가?
• RQ5 이 이론은 비연속 계수를 갖는 연산자 또는 분해된 벡터 번들의 경우로 확장될 수 있는가?

주요 결과

• 모든 $s \geq 0$ 에 대해 $H^s(M;E)$ 내에서 혼합 로빈 문제는 존재성, 유일성 및 자료에 대한 연속적 의존성을 갖는다.
• 유계 기하학과 유한 폭 조건을 갖는 다양체에서 균일한 푸앵카르에 부등식이 성립하며, 새로운 일반적 방법을 통해 증명된다.
• 연산자 $\tilde{P}$ 의 강제성은 경계에서의 균일 아그몬 조건과 동치이며, 해의 존재성을 보장한다.
• 강한 레지오르드 조건은 균일 타원성을 보장하고, 시스템 및 비연속 계수로의 확장을 가능하게 한다.
• 형식적 자기수반성과 $W^{1,\infty}$ 계수 조건 하에서 $P$ 의 자기수반성이 확립되며, 경계 조건에 의해 정의된 정의역을 갖는다.
• 균일 아그몬 조건과 가르딩 부등식 간의 동치성은 증명되었으며, 고전 결과를 비콤파クト 설정으로 일반화한다.