[논문 리뷰] Global gradient estimates in weighted Lebesgue spaces for parabolic operators

Sun‐Sig Byun, Dian K. Palagachev외 1명|arXiv (Cornell University)|2013. 01. 01.

Advanced Harmonic Analysis Research참고 문헌 31인용 수 21

한 줄 요약

이 논문은 가측 계수를 가진 2차 섬유형 파라볼릭 시스템에 대해 Reifenberg 평탄한 영역에서 가중 리만 공간에서의 전역 기울기 추정을 수립한다. 계수의 부분적 BMO 소형성과 $\omega \in A_{p/2}$ 가중치를 가정함으로써, 약한 해의 공간 기울기가 $L^p_\omega$에 속함을 증명하며, 캘러손–지그문트 이론을 최적의 계수 및 기하 조건을 갖춘 가중 및 비미분 가능 설정으로 일반화한다.

ABSTRACT

We deal with the regularity problem for linear, second order parabolic equations and systems in divergence form with measurable data over non-smooth domains, related to variational problems arising in the modeling of composite materials and in the mechanics of membranes and films of simple non-homogeneous materials which form a linear laminated medium. Assuming partial BMO smallness of the coefficients and Reifenberg flatness of the boundary of the underlying domain, we develop a Calder\\'{o}n--Zygmund type theory for such parabolic operators in the settings of the weighted Lebesgue spaces. As consequence of the main result, we get regularity in parabolic Morrey scales for the spatial gradient of the weak solutions to the problems considered.

연구 동기 및 목표

• 비연속 계수를 갖는 파라볼릭 시스템에 대한 가중 $L^p$-캘러손–지그문트 이론을 개발한다.
• 가중 리만 공간 $L^p_\omega(Q)$에서 약한 해에 대한 전역 기울기 추정을 수립한다.
• 경계가 Reifenberg 평탄하고 계수의 부분적 BMO 소형성이라는 최소 기하 및 계수 조건 하에서 해의 정규성을 특성화한다.
• 비가중 $L^p$ 결과를 가중 설정으로 일반화하여 $p$와 가중치에 대한 최적 조건을 달성한다.
• 해의 공간 기울기에 대한 파라볼릭 모레이 척도에서의 정규성을 도출한다.

제안 방법

• 기울기의 수준 집합을 제어하기 위해 파라볼릭 실린더에서 캘러손–지그문트 유형 분해를 사용한다.
• 파라볼릭 최대 함수와 Muckenhoupt $A_{p/2}$ 가중치를 통해 $L^p_\omega$ 공간에서의 유계성에 기초한다.
• 역 헬더 부등식과 존–니레버그 유형 추정을 사용하여 BMO 노름에서 계수의 진동을 제어한다.
• 계수 행렬과 영역 경계에 대해 차원 1의 $(\delta,R)$-소멸 조건을 도입하여 소형 BMO 진동을 보장한다.
• 경계의 Reifenberg 평탄성에 기반하여 모든 척도에서 초평면으로의 균일한 근사가 가능함을 보장한다.
• $H^1$-유형 공간에서의 약한 해 프레임워크를 사용하고, 커버링 및 반복 추론 기반의 방법으로 $L^p_\omega$ 추정을 유도한다.

실험 결과

연구 질문

• RQ1 파라볼릭 시스템의 약한 해에 대한 공간 기울기의 전역 $L^p_\omega$ 추정을 확보하기 위해 계수와 영역 기하에 어떤 조건이 필요한가?
• RQ2 Muckenhoupt $A_{p/2}$ 가중치의 선택이 최대 연산자의 유계성과 기울기 추정의 타당성에 어떤 영향을 미치는가?
• RQ3 기울기의 $L^p$ 적분 가능성은 가중 공간에서 유지되도록 계수의 불연속성은 어느 정도 허용될 수 있는가?
• RQ4 캘러손–지그문트 이론은 비미분 가능 영역을 갖는 파라볼릭 시스템에 대해 가중 리만 공간으로 일반화될 수 있는가?
• RQ5 이러한 추정이 성립하기 위한 최적의 $p$ 범위와 계수 및 경계의 최소 정규성은 무엇인가?

주요 결과

• $p \in (2,\infty)$ 및 $\omega \in A_{p/2}$ 일 때, 약한 해의 공간 기울기 $Du$ 는 $L^p_\omega(Q)$ 에 속하며, 추정식 $\|Du\|_{L^p_\omega(Q)} \leq c\|\mathbf{F}\|_{L^p_\omega(Q)}$ 를 만족한다.
• 추정식의 상수 $c$ 는 해나 자료에 의존하지 않으며, $n$, $m$, $L$, $\nu$, $p$, $\omega$ 에만 의존한다.
• 계수 행렬 $\mathbf{A}$ 와 영역 $\Omega$ 가 충분히 작은 $\delta$ 를 갖는 $(\delta,R)$-소멸 조건을 만족할 경우 결과가 성립한다.
• $\Omega$ 의 경계는 Reifenberg 평탄해야 하며, 이는 모든 척도에서 초평면으로의 균일한 근사를 보장한다.
• 이 이론은 시스템으로 일반화 가능하다: $\mathbf{F} \in L^p_\omega(Q, \mathbb{R}^{mn})$ 이면 기울기 $D\mathbf{u}$ 는 $L^p_\omega(Q, \mathbb{R}^{mn})$ 에 속한다.
• 결과적으로, 파라볼릭 모레이 공간에서의 정규성이 확보된다: $\mathbf{F} \in L^{p,\lambda}(Q, \mathbb{R}^{mn})$ 이고 $\lambda \in (0, n+2)$ 이면 $D\mathbf{u} \in L^{p,\lambda}(Q, \mathbb{R}^{mn})$ 이다.