[논문 리뷰] $L^p$-maximal hypoelliptic regularity of nonlocal kinetic Fokker-Planck operators

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|2016. 08. 19.

Advanced Mathematical Physics Problems참고 문헌 7인용 수 3

한 줄 요약

이 논문은 시간에 의존하는 계수를 가진 비국소 운동학적 Fokker-Planck 방정식의 일군의 클래스에 대해 $L^p$-최대 초타원적 정칙성( maximal hypoelliptic regularity)을 확립하며, 해가 강제항의 $L^p$-노름에 비례하는 분수 차수의 공간적 및 속도적 정칙성을 확보함을 증명한다. 핵심 결과는 날카운 추정: $\|\Delta_{x}^{\alpha/(2(1+\alpha))}u\|_p + \|\Delta_{\mathrm{v}}^\alpha/2u\|_p \leq C\|f\|_p$ for $p \in (1,\infty)$이며, 고전적인 초타원적 이론을 비국소 연산자로 확장한다.

ABSTRACT

For $p\in(1,\infty)$, let $u(t,x,v)$ and $f(t,x,v)$ be in $L^p(\mathbb{R} imes \mathbb{R}^d imes \mathbb{R}^d)$ and satisfy the following nonlocal kinetic Fokker-Plank equation on $\mathbb{R}^{1+2d}$ in the weak sense: $$ \partial_t u+v\cdot abla_x u=Δ^{α/{2}}_v u+f, $$ where $α\in(0,2)$ and $Δ^{α/{2}}_v$ is the usual fractional Laplacian applied to $v$-variable. We show that there is a constant $C=C(p,α,d)>0$ such that for any $f(t, x, v)\in L^p(\mathbb{R} imes \mathbb{R}^d imes \mathbb{R}^d)=L^p(\mathbb{R}^{1+2d})$, $$ \|Δ_x^{α/{(2(1+α))}}u\|_p+\|Δ_v^{α/{2}}u\|_p\leq C\|f\|_p, $$ where $\|\cdot\|_p$ is the usual $L^p$-norm in $L^p(\mathbb{R}^{1+2d}; d z)$. In fact, in this paper the above inequality is established for a large class of time-dependent non-local kinetic Fokker-Plank equations on $\mathbb{R}^{1+2d}$, with $U_t v$ and $\mathscr{L}^{ν_t}_{σ_t}$ in place of $v\cdot abla_x$ and $Δ^{α/2}_v$. See Theorem 3.3 for details.

연구 동기 및 목표

• 지역 연산자에서 비국소 운동학적 Fokker-Planck 연산자로의 $L^p$-정칙성 이론을 확장하는 것.
• 위치 및 속도 변수에서 해에 대한 날카운 분수 스무딩 추정을 수립하는 것.
• 푸리에 분석과 특이 적분 기법을 사용하여 기존의 $L^2$-결과를 $p \in (1,\infty)$인 $L^p$-공간으로 일반화하는 것.
• 일반적인 시간에 의존하는 계수 $U_t$ 및 $\mathscr{L}^{\nu_t}_{\sigma_t}$를 가진 시간에 의존하는 비국소 운동학적 방정식의 초타원적 정칙성을 다루는 것.

제안 방법

• 주파수 영역에서 연산자를 분석하기 위해 푸리에 변환을 사용하여 PDE를 다항식 문제로 변환하는 것.
• 혼합 노름을 시간, 위치, 속도 변수에서 제어하기 위해 허들러 부등식과 푸비니 정리를 적용하는 것.
• 비국소 연산자의 기호 $\psi^{\nu_r}_{\sigma_r}$로부터 유도된 지수 감쇠 추정을 통해 진동적 적분을 추정하는 것.
• 변수 변경과 대칭 추정을 사용하여 해의 분수 라플라스 연산자의 $L^2$-노름을 유계로 제한하는 것.
• 약형 $(1,1)$ 추정과 보간을 통해 $L^2$ 결과를 $p \in (1,\infty)$인 $L^p$로 확장하는 것.
• 한계 절차와 매끄럽고 컴acts지지된 함수로의 근사화를 통한 주요 부등식의 증명

실험 결과

연구 질문

• RQ1 기존의 $L^2$ 결과를 확장하여, $p \in (1,\infty)$에 대해 분수 초타원적 정칙성 추정 $\|\Delta_x^{\alpha/(2(1+\alpha))}u\|_p + \|\Delta_{\mathrm{v}}^{\alpha/2}u\|_p \leq C\|f\|_p$ 가 성립하는가?
• RQ2 일반적인 시간에 의존하는 계수를 가진 시간에 의존하는 비국소 운동학적 Fokker-Planck 연산자에 대해 $L^p$-최대 초타원적 정칙성이 확립될 수 있는가?
• RQ3 비국소 운동학적 방정식에 대해 속도 변수에서 분수 라플라스 연산자를 포함할 때, 위치 및 속도 변수에서의 해의 정칙성 획득의 정확한 척도는 무엇인가?
• RQ4 운반과 비국소 확산 간의 상호작용은 해의 $L^p$-정칙성에 어떻게 영향을 미치는가?

주요 결과

• 논문은 날카운 $L^p$-최대 초타원적 정칙성 추정을 확립한다: $\|\Delta_x^{\alpha/(2(1+\alpha))}u\|_p + \|\Delta_{\mathrm{v}}^{\alpha/2}u\|_p \leq C\|f\|_p$ for all $p \in (1,\infty)$, 여기서 $C = C(p,\alpha,d) > 0$.
• 이 결과는 $U_t{\mathrm{v}}$ 및 $\mathscr{L}^{\nu_t}_{\sigma_t}$ 가 ${{\mathrm{v}}\cdot\nabla_x}$ 및 $\Delta^{\alpha/2}_{\mathrm{v}}$ 를 대체하는 광범위한 시간에 의존하는 비국소 운동학적 Fokker-Planck 방정식의 클래스에 대해 성립한다.
• 특히 $p=2$일 경우, 증명은 푸리에 분석, 진동적 적분의 $L^2$-유계성, 기호 $\psi^{\nu_r}_{\sigma_r}$ 의 지수 감쇠 추정에 기반한다.
• 추정에서 상수 $C$ 는 해에 독립적이며, 오직 $p$, $\alpha$, 차원 $d$ 에만 의존한다.
• 이 방법은 앨렉산더(2015)와 부슈(2002)의 이전 $L^2$ 결과를 약형 추정과 보간을 통해 전체 범위 $p \in (1,\infty)$로 확장한다.
• 위치 변수에서의 척도 $\alpha/(2(1+\alpha))$ 는 최적이며, 기존의 $L^2$-경우와 일치하여, 이 연산자가 분수 초타원적 성격을 지닌다는 것을 확인한다.