[논문 리뷰] BMO solvability and the $A_\infty$ condition for second order parabolic operators

Martin Dindoš, Stefanie Petermichl외 1명|arXiv (Cornell University)|2015. 10. 20.

Advanced Harmonic Analysis Research참고 문헌 22인용 수 4

한 줄 요약

이 논문은 시간에 따라 변화하는 계수를 가진 두 번째 차수의 포물선형 연산자에 대해 유계 해의 Carleson 측도 성질과 포물선형 측도의 $A_\infty$ 조건 사이의 등가성을 확립한다. $L^p$ 경계값 문제의 해법 가능성은 포물선형 측도의 $A_\infty$ 성질과 등가임을 증명하며, 이는 해법 가능성 분석을 단순화하고, 특히 Carleson-정규 계수를 가진 연산자에 대해 해법 가능성에 대한 $p$의 범위에 대한 정량적 추정을 가능하게 한다.

ABSTRACT

We prove that the $A_\infty$ property of parabolic measure for operators in certain time-varying domains is equivalent to a Carleson measure property of bounded solutions. Kircheim, Kenig, Pipher, and T. Toro established this criterion on bounded solutions in the elliptic case, improving an earlier result of Dindos, Kenig and Pipher for solutions with data in BMO. The extension to the parabolic setting requires an approach to the key estimate that primarily exploits the maximum principle. For various classes of parabolic operators, this criterion makes it easier to establish the solvability of the Dirichlet problem with data in $L^p$ for some $p$ (see results of Rivera-Noriega), and also to quantify these results in several aspects.

연구 동기 및 목표

• 두 번째 차수의 포물선형 연산자에 대해 포물선형 측도의 $A_\infty$ 성질과 유계 해에 대한 Carleson 측도 조건 사이의 기준을 설정하는 것.
• 타원형 $A_\infty$-Carleson 기준을 시간에 따라 변화하는 도메인과 연산자를 고려한 포물선형 설정으로 확장하여, 시간 의존성으로 인해 발생하는 과제를 극복하는 것.
• Carleson-정규 계수를 가진 일련의 포물선형 연산자에 대해 $L^p$ 해법 가능성의 더 단순한 증명을 제공하며, $p$에 대한 명시적 정량적 의존성을 포함하는 것.
• 경계값 문제의 해법 가능성에 대해 $p$의 범위를 정량화하는 것. 특히 계수 변화의 Carleson 노름에 대한 반전 헬더 지수의 의존성을 추적하는 것.

제안 방법

• 저자들은 기준 연산자 $L_1$과 원래 연산자 $L_0$ 사이를 연결하는 연속체를 형성하는 연산자 가중치 $L_s = \partial_t - \mathrm{div}(A_s\nabla\cdot)$를 구성함으로써 편미분 기반의 변형 기법을 사용한다.
• 집합 $F \subset \Delta_r$ 에 대해 $\sigma(F \cap \Delta_r) > \sigma(\Delta_r)/2$ 를 만족시키는 조건 하에, $\Delta_r$ 위의 sawtooth 영역을 구성하여, 이 영역에서는 $A_2$와 일치하고 나머지 영역에서는 $A_0$와 일치하는 행렬 $A_1$을 정의한다.
• 이 방법은 [DJk]와 [N]의 결과를 활용하여 포물선형 측도 $\omega_{L_2}$ 와 $\omega_{L_1}$ 를 비교함으로써, $\omega_{L_2} \in B_{1+\delta}$ 이면 $\omega_{L_1} \in B_{1+\delta}$ 임을 보여준다.
• 핵심 추정은 최대 원리와 포물선형 용량 기법을 활용하여 테넌트 영역 내에서 기울기의 $L^2$ 노름을 통제하고, 이를 경계 데이터의 BMO 노름과 연결한다.
• Carleson 측도 조건은 차이 $|A_0 - A_2|$ 에 적용되며, $\delta(X)^{-2-n} \sup_{B_{\delta(X)/2}(X)} |A_0 - A_2|$ 가 원래 Carleson 노름 $K_0$ 의 배수로 유계인 Carleson 측도임을 보장한다.
• 반전 헬더 클래스의 전이성은 $L_2$ 에서 $L_0$ 로 $B_{1+\delta}$ 성질을 전파하는 데 사용되며, 이로 인해 $\omega_{L_0} \in B_{1+\delta'}$ 를 얻게 되며, 여기서 $\delta'$ 는 $n, \lambda, \Lambda, \ell, \|\mu\|_{\mathrm{Carl}}$ 에 대해 명시적으로 유계이다.

실험 결과

연구 질문

• RQ1 시간에 따라 변화하는 도메인에서 포물선형 측도에 대한 $A_\infty$ 조건은 유계 해에 대한 Carleson 측도 조건과 등가인가?
• RQ2 포물선형 Dirichlet 문제의 $L^p$ 해법 가능성은 $A_\infty$ 성질을 통해 확립될 수 있으며, $p$의 범위는 정량적으로 추정될 수 있는가?
• RQ3 계수에 대한 Carleson 기울기 조건은 어떤 $p > 1$ 에 대해 $L^p$ 해법 가능성을 보장하는가? 그리고 $p$ 는 Carleson 노름에 어떻게 의존하는가?
• RQ4 Carleson 조건을 만족하는 계수의 변형을 통해, 일련의 연산자 간에 반전 헬더 및 $A_\infty$ 성질을 어떻게 전파할 수 있는가?

주요 결과

• 포물선형 측도의 $A_\infty$ 성질은 유계 해에 대한 Carleson 측도 조건과 등가이며, 이는 타원형 기준을 포물선형 설정으로 확장한 결과이다.
• Carleson 기울기 조건을 만족하는 계수를 가진 연산자에 대해서는, 모든 $p > (1+\delta')/\delta'$ 에 대해 $L^p$ Dirichlet 문제의 해법 가능성이 보장되며, 여기서 $\delta' > 0$ 은 $n, \lambda, \Lambda, \ell, \|\mu\|_{\mathrm{Carl}}$ 에 따라 결정된다.
• BMO Dirichlet 문제는 연속적인 $f$ 에 대해 $\sup_{\Delta \subset \partial\Omega} \sigma(\Delta)^{-1} \int_{T(\Delta)} |\nabla u|^2 \delta \, dXdt \lesssim \|f\|_{BMO}^2$ 의 추정을 통해 해법 가능하다.
• 해법 가능성 임계값 $p$ 가 Carleson 노름에 의존하는 방식이 정량화되었으며, $C(p) \to \infty$ 이다. 이는 Carleson 노름이 증가함에 따라 $p$ 의 범위가 좁아짐을 시사한다.
• 이 방법은 [Rn]에서 다뤄진 연산자들, 특히 경계의 시간 도함수의 $BMO$ 노름이 작은 연산자들에 대해 $L^p$ 해법 가능성의 더 단순한 증명을 제공한다.
• 반전 헬더 클래스의 전이성 덕분에 $L_2$ 에서 $L_0$ 로 $B_{1+\delta}$ 성질이 $O(\epsilon_0^{-1})$ 단계를 거쳐 전파되며, 이로 인해 $\omega_{L_0} \in B_{1+\delta'}$ 를 얻게 되며, 여기서 $\delta'$ 는 영역과 타원성 매개변수에 대해 명시적으로 아래에서 유계이다.