[논문 리뷰] On non-autonomous maximal regularity for elliptic operators in divergence form

Pascal Auscher, Moritz Egert|arXiv (Cornell University)|2016. 02. 26.

Advanced Harmonic Analysis Research참고 문헌 12인용 수 25

한 줄 요약

이 논문은 시간에 따라 변화하는 계수를 가진 비자율적 타원형 미분형 연산자에 대해 $ L^2(Ω) $에서 최대 정규성을 확립한다. 계수 행렬의 분수 $ \frac{1}{2} $-미분에 대한 척도 불변인 BMO 유형 조건이 $ H = L^2(\Omega) $에서 최대 정규성을 확보하는 데 충분함을 증명하며, 이는 고전적인 $ \alpha $-Hölder 연속성 조건($ \alpha > \frac{1}{2} $)이 실패하는 경우에도 성립한다. 이 결과는 이전 연구에서 열어두었던 한계 경우를 해결하며, 커mutator 추정과 분수 미적분학을 통한 시간 도함수 분석을 활용한다.

ABSTRACT

We consider the Cauchy problem for non-autonomous forms inducing elliptic operators in divergence form with Dirichlet, Neumann, or mixed boundary conditions on an open subset $\\Omega$ $\\subseteq$ R n. We obtain maximal regularity in L 2 ($\\Omega$) if the coefficients are bounded, uniformly elliptic, and satisfy a scale invariant bound on their fractional time-derivative of order one-half. Previous results even for such forms required control on a time-derivative of order larger than one-half.

연구 동기 및 목표

• 비자율적 타원형 연산자에 대해 $ L^2(\Omega) $에서 최대 정규성을 보장하기 위해 시간에 대한 $ \frac{1}{2} $-정규성이 충분한지 여부를 해결하는 것.
• 이전 결과에서 요구된 조건인 계수 또는 그 시간 도함수에 대한 $ \alpha > \frac{1}{2} $-Hölder 연속성 조건을 초월하는 것.
• 최대 정규성을 보장하는 계수 행렬 $ A(t,x) $의 시간 변화에 대해 날카로운 척도 불변 조건을 수립하는 것.
• 분리 가능성을 가정하지 않고 유계성, 준강한성 및 가측성 조건만을 사용하여 $ V^* $에서 Lions의 최대 정규성 결과를 재증명하는 것.

제안 방법

• 시간에 따라 변화하는 연산자 $ \mathfrak{A}(t) \in \mathcal{L}(V,V^*) $를 정의하기 위해 비자율 형식 $ \mathfrak{a}(t,v,w) = \int_\Omega A(t,x)\nabla v \cdot \overline{\nabla w}\,dx $를 사용하는 것.
• 시간을 $ \mathbb{R} $로 확장하는 기법을 적용하여 $ f \in L^2(0,T;H) $와 $ A $를 $ \mathbb{R} $로 확장함으로써 $ \mathbb{R} $ 위에서의 전역 소볼레프 공간을 활용할 수 있도록 하는 것.
• 분수 시간 도함수 $ D_t^{1/2} $와 계수 행렬 $ A $의 커mutator를 활용하며, $ L^2 $-유계성을 확보하기 위해 Murray(2015)의 날카로운 커mutator 추정을 적용하는 것.
• 에너지 추정과 $ \|u\|_H^2 $의 절대 연속성에 기반하여 확장된 문제 $ u' + u + \mathfrak{A}u = e^t E_0f $, $ u(0) = 0 $에 대해 $ u \in H^1(\mathbb{R};H) \cap H^{1/2}(\mathbb{R};V) $의 존재를 증명하는 것.
• 초기 조건이 0이 되는 것을 보이기 위해 $ \|u(0)\|_H^2 = -2\operatorname{Re}\int_{-\infty}^0 \langle u', u \rangle \, dt $의 항등식을 활용하는 것.
• 계수 행렬 $ A $의 $ L^2(\mathbb{R};H) $에서의 커mutator $ [A, D_t^{1/2}] $의 유계성에 기반하여 $ H $에서 반나절 도함수의 획득을 보장함으로써 $ H $에서 최대 정규성을 확립하는 것.

실험 결과

연구 질문

• RQ1 시간에 대해 $ \frac{1}{2} $-정규성을 가지는 계수 행렬 $ A(t,x) $는 비자율적 타원형 연산자에 대해 $ L^2(\Omega) $에서 최대 정규성을 보장하는가?
• RQ2 시간에 대해 $ \alpha = \frac{1}{2} $의 경계 경우가 $ H $에서 최대 정규성을 달성할 수 있는가, 즉 $ \alpha > \frac{1}{2} $-Hölder 연속성이 성립하지 않는 경우에도 가능한가?
• RQ3 $ \mathfrak{A}(t) $의 $ \frac{1}{2} $-Hölder 연속성이 분산형 연산자에 대해 $ H $에서 최대 정규성을 보장하는가?
• RQ4 $ H $의 분리 가능성 조건을 가정하지 않고, 유계성과 준강성 조건만을 사용하여 $ V^* $에서의 추상적 최대 정규성 결과를 재증명할 수 있는가?
• RQ5 $ A $에 대해 척도 불변인 BMO 유형 조건이 성립할 때, $ L^2(\mathbb{R};H) $에서 커mutator $ [A, D_t^{1/2}] $가 여전히 유계인가, 이는 $ H $에서 반나절 도함수의 획득을 가능하게 하는가?

주요 결과

• 이 논문은 계수 행렬 $ A(t,x) $의 시간 변화에 대해 척도 불변인 BMO 유형 조건을 만족할 경우, 비자율적 분산형 타원형 연산자에 대해 $ H = L^2(\Omega) $에서 최대 정규성을 확립한다. 특히 조건은 $ \sup_I \frac{1}{\ell(I)} \int_I \int_I \frac{|A(t,x) - A(s,x)|^2}{|t-s|} \, dt\,ds < \infty $ a.e. $ x \in \Omega $ 로 표현된다.
• 이 조건은 날카로우며 $ \alpha = \frac{1}{2} $의 경계 경우를 나타내며, Fackler가 제기한 질문인 $ \frac{1}{2} $-정규성이 충분한지 여부를 해결한다.
• 복소수 또는 비대칭 계수를 가진 경우에도, 계수 자체에 대해 위와 유사한 조건이 만족되면 $ H $에서 최대 정규성이 성립한다.
• 초기값 문제의 해 $ u $는 $ \|u\|_{H^{1/2}(0,T;H)} + \|u\|_{H^1(0,T;V)} \leq C \|f\|_{L^2(0,T;H)} $ 를 만족하며, 상수 $ C $ 는 $ \lambda, \Lambda, M, T, n $ 및 BMO 유형 상수 $ M $ 에 의존한다.
• 이 증명은 $ f $ 와 $ A $ 를 $ \mathbb{R} $로 확장하고 $ \mathbb{R} $에서 문제를 해결한 후, 에너지 추정과 $ \|u\|_H^2 $ 의 절대 연속성에 기반해 $ u(0) = 0 $ 이 되는 것을 보여, $ [0,T] $ 로 제한했을 때 원하는 해를 얻을 수 있음을 보장한다.
• 계수 행렬 $ A $ 와 분수 도함수 $ D_t^{1/2} $ 의 커mutator $ [A, D_t^{1/2}] $ 가 $ L^2(\mathbb{R};H) $ 에서 유계임이 $ H $ 에서 반나절 도함수의 획득을 가능하게 하는 핵심 메커니즘이며, 이는 척도 불변인 BMO 유형 조건에 의해 보장된다.