[논문 리뷰] Potential theory for a class of strongly degenerate parabolic operators of Kolmogorov type with rough coefficients

Malte Litsgård, Kaj Nyström|arXiv (Cornell University)|2020. 12. 07.

Numerical methods in inverse problems참고 문헌 30인용 수 4

한 줄 요약

이 논문은 비유계 리프시츠 유형 영역에서 매끄럽지 않은 유계 가측계수를 가진 강하게 탈락한 포물형 콜모고로프 유형 연산자에 대해 강력한 잠재이론을 수립한다. 척도 및 이동에 대해 불변인 추정을 통해 경계 하르낙 부등식, 포물형 측도의 두배 성질, 비교 원리들을 증명하며, 모든 상수는 탈락성과 리프시츠 상수에만 의존한다. 이는 고전적 파비스-사포노프 결과를 탈락한 설정으로 확장한다.

ABSTRACT

In this paper we develop a potential theory for strongly degenerate parabolic operators of the form \[ \mathcal{L}:= abla_X\cdot(A(X,Y,t) abla_X)+X\cdot abla_{Y}-\partial_t, \] in unbounded domains of the form \[ Ω=\{(X,Y,t)=(x,x_{m},y,y_{m},t)\in\mathbb R^{m-1} imes\mathbb R imes\mathbb R^{m-1} imes\mathbb R imes\mathbb R\mid x_m>ψ(x,y,y_m,t)\}, \] where $ψ$ is assumed to satisfy a uniform Lipschitz condition adapted to the dilation structure and the (non-Euclidean) Lie group underlying the operator $\mathcal{L}$. Concerning $A=A(X,Y,t)$ we assume that $A$ is bounded, measurable, symmetric and uniformly elliptic (as a matrix in $\mathbb R^{m}$). Beyond the solvability of the Dirichlet problem and other fundamental properties our results include scale and translation invariant boundary comparison principles, boundary Harnack inequalities and doubling properties of associated parabolic measures. All of our estimates are translation- and scale-invariant with constants only depending on the constants defining the boundedness and ellipticity of $A$ and the Lipschitz constant of $ψ$. Our results represent a version, for operators of Kolmogorov type with bounded, measurable coefficients, of the by now classical results of Fabes and Safonov, any several others, concerning boundary estimates for uniformly parabolic equations in (time-dependent) Lipschitz type domains.

연구 동기 및 목표

• 기존에 등장한 균일 포물형 방정식에 대해 알려진 고전적 경계 잠재이론을, 계수 행렬 $A$가 매끄럽지 않은 강하게 탈락한 포물형 콜모고로프 유형 연산자로 확장하는 것.
• 기저가 비유클리드 리 군의 구조에 맞는 기하학적 특성을 가진 비유계 리프시츠 유형 영역에서 딜리클레 문제의 해법을 확립하는 것.
• 비음수 해가 경계에서 0이 되는 경우에 대해 척도 및 이동에 대해 불변인 경계 비교 원리, 경계 하르낙 부등식, 포물형 측도의 두배 성질을 도출하는 것.
• 파비스와 사포노프의 결과를 탈락한 연산자로 일반화하기 위해, 탈락성과 리프시츠 상수에만 명시적인 의존성을 가지는 정량적 추정을 증명하는 것.

제안 방법

• 분석은 콜모고로프 연산자의 기저가 되는 리 군의 확대 구조에 맞게 조정된 리프시츠 경계 함수 $\psi$로 정의된 비유계 영역에서 수행된다.
• 연산자 $\mathcal{L} = \nabla_X \cdot (A(X,Y,t)\nabla_X) + X\cdot\nabla_Y - \partial_t$ 는 $\mathbb{R}^m$ 에서 유계, 가측, 대칭, 그리고 균일 탈락성 조건을 만족하는 $A$ 를 가진 발산형으로 연구된다.
• 핵심 도구로는 연산자와 관련된 기본해와 그린 함수 $G$ 를 사용하며, 특히 포물형 실린더 $A_{r,\Lambda}^+(Z_0,t_0)$ 에서 조화 측도를 분석한다.
• 경계 하르낙 부등식은 그린 함수와 포물형 측도 $\omega$ 의 비교를 통해 유도되며, 추정치 Lemma 8.1 및 Lemma 8.4 를 이용해 측도 비율을 제어한다.
• 증명은 수반 연산자의 하르낙 부등식과 척도 분석을 기반으로 하며, 위치나 척도에 영향을 받지 않는 균일한 추정치를 도출한다.
• 이론은 콜모고로프 연산자가 비등방성 척도를 가진 초타원형, 탈락한 포물형 방정식의 원형인 구조를 기반으로 구축된다.

실험 결과

연구 질문

• RQ1 계수 행렬 $A$ 가 매끄럽지 않은 경우, 강하게 탈락한 포물형 콜모고로프 유형 연산자에 대해 경계 잠재이론을 개발할 수 있는가?
• RQ2 매끄럽지 않은 계수 조건 하에서 비유계 리프시츠 유형 영역에서 경계 하르낙 부등식과 포물형 측도의 두배 성질이 성립하는가?
• RQ3 경계 추정치의 상수들이 공간적·시간적 위치에 의존하지 않고 탈락성과 리프시츠 상수에만 의존하도록 만들 수 있는가?
• RQ4 이러한 탈락한 설정에서 경계에서 0이 되는 비음수 해에 대해 척도 및 이동에 대해 불변인 비교 원리가 존재하는가?
• RQ5 고전적 결과들이 균일 포물형 방정식에 대해 알려진 바가 있는 바, 이 클래스의 탈락한 콜모고로프 유형 연산자로까지 얼마나 일반화될 수 있는가?

주요 결과

• 논문은 계수 $A$ 의 탈락성 상수와 $\psi$ 의 리프시츠 상수에만 의존하는 경계 하르낙 부등식을 수립하며, 위치나 척도에 영향을 받지 않는다.
• 연산자와 관련된 포물형 측도는 두배 성질을 가지며, 두배 상수는 탈락성과 리프시츠 상수에만 의존한다.
• 비음수 해가 경계에서 0이 되는 경우에 대해 척도 및 이동에 대해 불변인 경계 비교 원리가 증명되었다.
• 부분집합 $E \subset \Delta_{\tilde{r}}(\tilde{Z}_0,\tilde{t}_0)$ 에 대해, 포물형 측도 비율 $\omega(A_{cr,\Lambda}^+(Z_0,t_0), E)/\omega(A_{cr,\Lambda}^+(Z_0,t_0), \Delta_{\tilde{r}}(\tilde{Z}_0,\tilde{t}_0))$ 이 $\omega(A_{c\tilde{r},\Lambda}^+(\tilde{Z}_0,\tilde{t}_0), E)$ 와 비교 가능하다는 것이 입증되었다.
• 그린 함수 비율 $G(A_{c\tilde{r},\Lambda}^+(\tilde{Z}_0,\tilde{t}_0), A_{\tilde{r}/\tilde{c},\Lambda}(\tilde{Z}_0,\tilde{t}_0)) / G(A_{cr,\Lambda}^+(Z_0,t_0), A_{\tilde{r}/\tilde{c},\Lambda}(\tilde{Z}_0,\tilde{t}_0))$ 는 아래와 위로 균일하게 유계이다.
• 모든 추정치는 이동 및 척도에 대해 불변이며, 상수는 $m$, $\kappa$, $M$, 탈락성 및 리프시츠 상수에만 의존하며, 이는 영역의 기하학적 특성 이외에는 고려하지 않는다.