[논문 리뷰] The Dirichlet boundary problem for second order parabolic operators satisfying Carleson condition

Martin Dindoš, Sukjung Hwang|arXiv (Cornell University)|2014. 02. 01.

Differential Equations and Boundary Problems참고 문헌 23인용 수 6

한 줄 요약

이 논문은 시간에 따라 변화하는 도메인에서 계수들이 작은 Carleson 조건을 만족할 때, 두 번째 차수의 포물선형 미분방정식에 대한 Dirichlet 문제의 $L^p$ 해법 가능성($2 \leq p \leq \infty$)을 확립한다. 핵심 결과는 Carleson 노름의 작음 조건이 날카로운 것임을 보이며, 이를 제거하면 주어진 $p$에 대해 $L^p$ 해법 가능성에 실패하게 된다. 또한 저자들은 비탄성 최대 함수에 대한 새로운 추정식을 사용하여 이전 결과에 대한 훨씬 더 짧은 증명을 제공한다.

ABSTRACT

We establish $L^p$, $2\le p\le\infty$ solvability of the Dirichlet boundary value problem for a parabolic equation $u_t-\mbox{div}(A abla u)=0$ on time-varying domains with coefficient matrix $A=(a_{ij})$ that satisfy a small Carleson condition. The result is motivated by similar results for the elliptic equation $\mbox{div}(A abla u)=0$ that were established previously.

연구 동기 및 목표

• 비대칭 계수를 가진 포물선 미분방정식에 대해 작은 Carleson 조건을 만족하는 계수를 갖는 Dirichlet 문제의 $L^p$ 해법 가능성 확립.
• Carleson 노름에 대한 작음 조건이 날카로운 것임을 보이며, 이를 제거하면 주어진 $p$에 대해 $L^p$ 해법 가능성에 실패함을 입증.
• 큰 Carleson 조건 하에서의 $L^p$ 해법 가능성에 대한 이전 결과를 훨씬 더 짧게 증명.
• 타원형 Carleson 조건 프레임워크를 포물선 설정으로 확장하여 포물선 거리와 포물선 거리 함수를 사용함.

제안 방법

• 타원형 Carleson 조건을 포물선 설정에 적응시키기 위해 포물선 거리 함수 $d[(X,t),(Y,\tau)] = (|X-Y|^2 + |t-\tau|)^{1/2}$ 를 사용.
• 경계까지의 포물선 거리 $\delta(X,t) = \inf_{(Y,\tau)\in\partial\Omega} d[(X,t),(Y,\tau)]$ 를 정의.
• 계수 $a_{ij}$ 의 진동에 대한 Carleson 조건과 $\bm{B}$ 의 sup-노름을 각각 $\delta(X,t)^{-1}$ 과 $\delta(X,t)$ 에 의해 가중함.
• 원래 도메인을 계수의 Carleson 노름이 작은 스무스 도메인으로 사상하기 위해 미분동형사상을 사용하여 정규화된 해를 사용할 수 있도록 함.
• 포물선 콘 내에서 해의 점별 성장률을 제어하기 위해 Harnack 부등식(Lemma 4.7)을 적용.
• 다른 광범위 매개변수를 가진 비탄성 최대 함수 간의 동치성을 확립(Lemma 4.2)하고, 반복적 추정을 통해 비탄성 최대 함수의 $L^2$ 유계성을 도출.

실험 결과

연구 질문

• RQ1 계수들이 작은 포물선 Carleson 조건을 만족할 경우, 포물선 Dirichlet 문제의 $L^p$ 해법 가능성은 보장되는가?
• RQ2 Carleson 노름에 대한 작음 조건을 제거하면 주어진 $p$에 대해 $L^p$ 해법 가능성에 실패하는가?
• RQ3 큰 Carleson 조건 하에서의 $L^p$ 해법 가능성 증명을 새로운 핵심 추정식을 통해 단순화할 수 있는가?
• RQ4 이 포물선 설정에서 서로 다른 광범위 매개변수를 가진 비탄성 최대 함수는 동치인가?
• RQ5 시간에 따라 변화하는 그래프 위에서 스무스 계수의 좌표 변환으로부터 자연스럽게 포물선 Carleson 조건이 유도되는가?

주요 결과

• 계수의 편차에 대한 포물선 Carleson 노름이 충분히 작을 경우, $u_t - \text{div}(A\nabla u) - \bm{B}\cdot\nabla u = 0$ 의 $L^p$ Dirichlet 문제는 모든 $p \in [2, \infty]$ 에 대해 해법 가능하다.
• Carleson 노름에 대한 작음 조건은 날카로운 것으로 밝혀졌다: 임의의 $p \in (1, \infty)$ 에 대해, Carleson 조건을 만족하지만 $L^p$ 해법 가능성에 실패하는 연산자가 존재한다.
• 저자들은 큰 Carleson 조건 하에서의 이전 결과에 대한 새로운, 훨씬 더 짧은 증명을 제공하며, 비탄성 최대 함수에 대한 핵심 추정식(Lemma 3.3)에 의존한다.
• 비탄성 최대 함수 $N(u)$ 는 경계 데이터 $f$ 에 대해 $\|N(u)\|_{L^2(\partial\Omega)} \leq C \|f\|_{L^2(\partial\Omega)}$ 를 만족하며, $C$ 는 도메인과 타원성 상수에만 의존한다.
• 다른 광범위 매개변수를 가진 비탄성 최대 함수 간의 동치성이 확립되어, $\|N^{4r}(u)\|_{L^2}$ 를 통해 $\|N^r(u)\|_{L^2}$ 를 반복적으로 제어할 수 있다.
• 작은 Carleson 조건 하에서 $L^2$ 유계성과 쌍대성 및 외삽 기법을 조합함으로써 결과는 전체 범위 $p \in [2, \infty]$ 로 확장된다.