[논문 리뷰] Maximal parabolic regularity for divergence operators including mixed boundary conditions

Robert Haller‐Dintelmann, Joachim Rehberg|ArXiv.org|2009. 03. 02.

Numerical methods in inverse problems참고 문헌 46인용 수 7

한 줄 요약

이 논문은 실수 계수를 가진 두 번째 순서의 발산형 연산자에 대해, 실로스키 경계 조건, 불연속 계수, 그리고 혼합 딜레르흐-뉴먼 경계 조건을 포함한 매우 비연속적인 도메인에서도 분포 공간에서 최대 평행 정규성을 확립한다. 핵심 기여는 이러한 연산자가 서로 다른 미분 지수를 가진 소볼레프, 베소프, 리조르킨-트리벨 공간에서 최대 평행 정규성을 만족한다는 것을 증명하는 것이다. 이는 그로거의 정규 집합에 기반한 국소화 및 보간 기법을 통해 기존의 $L^p$ 결과를 분포 설정으로 확장한 것이다.

ABSTRACT

We show that elliptic second order operators $A$ of divergence type fulfill maximal parabolic regularity on distribution spaces, even if the underlying domain is highly non-smooth, the coefficients of $A$ are discontinuous and $A$ is complemented with mixed boundary conditions. Applications to quasilinear parabolic equations with non-smooth data are presented.

연구 동기 및 목표

• 비연속 데이터를 가진 발산 연산자에 대해 최대 평행 정규성을 $L^p$ 공간에서 소볼레프, 베소프, 리조르킨-트리벨 공간으로 확장함으로써 분포 공간으로의 일반화를 시도한다.
• 기존의 $L^p$ 결과가 비균일 뉴먼 조건과 분포형 우변을 배제한다는 한계를 해결한다.
• 비선형 혼합 경계 조건을 가진 비선형 편미분 방정식에 대해 이러한 분포 공간에서 최대 평행 정규성을 확립한다.
• $q>2$일 때 $L^q$에서 $(-\nabla\cdot\mu\nabla+1)^{-1/2}$의 동형사상이 성립하지 않는다는 점을 극복하기 위해 국소화 및 도메인에 대한 기하학적 가정을 사용한다.
• 이론을 시스템 및 시간에 의존하는 계수로 일반화하고, 비선형 편미분 방정식에 대한 응용을 제공한다.

제안 방법

• 최대 평행 정규성을 이중 공간으로 확장하기 위한 기초로, $L^p$ 공간에서의 제곱근 연산자 $(-\nabla\cdot\mu\nabla)^{1/2}$에 대한 정규성 결과를 활용한다.
• 비립시츠 경계와 비정규 기하학을 다루기 위해 그로거의 모델 집합에 기반한 국소화 절차를 적용한다.
• $L^q$와 $H^{-1,q}_\Gamma$ 공간 사이의 보간 기법을 활용하여 중간 함수 공간에서의 정규성을 도출한다.
• 도메인 $Ω \cup \Gamma$가 그로거-정규 집합임을 가정함으로써, 체적을 보존하는 리프시츠-등장사상이 존재함을 보장하여 국소 기하학을 단순화한다.
• 비선형 편미분 방정식을 표준 추상형으로 재구성하여, 프뤼스(2002)의 존재성 및 유일성 결과를 적용한다. 이 경우 타원 연산자가 $H^{1,q}_\Gamma$에서 위상적 동형사상이어야 한다.
• $q \in [2, \infty)$ 범위에서 기하학적 가정 하에 $(-\nabla\cdot\mu\nabla+1)^{-1/2}$가 $L^q$에서 $H^{1,q}_\Gamma$로의 위상적 동형사상임을 이용하여, 정규성의 전이를 가능하게 한다.

실험 결과

연구 질문

• RQ1 비연속 계수와 혼합 경계 조건을 가진 발산 연산자에 대해, $L^p$ 대신 분포 공간에서 최대 평행 정규성이 확립될 수 있는가?
• RQ2 q>2일 때 $L^q$에서 $(-\nabla\cdot\mu\nabla+1)^{-1/2}$의 동형사상이 성립하지 않는다는 점이 이중 공간으로의 평행 정규성 확장에 장애가 되는가?
• RQ3 비선형 혼합 경계 조건을 가진 비선형 편미분 방정식에 대해 이 이론은 어느 정도까지 비연속적인 설정에서 일반화될 수 있는가?
• RQ4 그로거-정규성과 같은 도메인에 대한 기하학적 가정이 비정규 도메인에서 정규성 결과의 국소화를 어떻게 가능하게 하는가?
• RQ5 결과는 시스템 및 시간에 의존하는 계수로 확장될 수 있으며, 그에 필요한 최소한의 가정은 무엇인가?

주요 결과

• 도메인과 경계 부분이 그로거의 정규성 조건을 만족할 경우, 실수 계수를 가진 두 번째 순서 발산형 연산자에 대해 모든 $q \in [2, \infty)$에 대해 $H^{-1,q}_\Gamma$ 공간에서 최대 평행 정규성이 성립한다.
• 핵심 기술적 결과는 $Ω \cup \Gamma$가 그로거-정규 집합일 경우 $(-\nabla\cdot\mu\nabla+1)^{-1/2}: L^q \to H^{1,q}_\Gamma$가 $q \in [2, \infty)$ 범위에서 위상적 동형사상임을 보여준다.
• 국소화 방법은 전역 동형사상이 실패하는 경우에도, 비연속 도메인에서 $L^q$에서 $H^{-1,q}_\Gamma$로 최대 평행 정규성을 성공적으로 전이한다.
• $L^q$와 $H^{-1,q}_\Gamma$ 사이의 보간은 미분 지수 $[0, -1]$을 가진 중간 공간, 즉 베소프 및 리조르킨-트리벨 공간에서 최대 평행 정규성을 도출한다.
• 타원 연산자 $-\nabla\cdot\mu\nabla + 1$이 $q > d$일 때 $H^{1,q}_\Gamma$에서 위상적 동형사상이면, 혼합 비선형 경계 조건을 가진 비선형 편미분 방정식에 대해서도 결과가 적용된다. 여기서 $d$는 공간 차원이다.
• 이론은 대각선 시스템으로 확장 가능하며, 시간에 의존하는 계수 및 최소한의 수정으로 비균일 딜레르흐 조건을 포함할 수 있다.