[논문 리뷰] An $L_q(L_p)$-theory for the time fractional evolution equations with variable coefficients

Ildoo Kim, Kyeong-Hun Kim외 1명|arXiv (Cornell University)|2015. 05. 04.

Fractional Differential Equations Solutions참고 문헌 20인용 수 9

한 줄 요약

이 논문은 주어진 계수의 최소한의 정규성 조건 하에, Caputo 분수도수 $\alpha \in (0,2)$를 사용하여 시간 분수도수 진화 방정식의 계수가 변하는 비선형 방정식에 대해 $L_q(L_p)$-이론을 수립한다. 고전적 PDE 도구—Marcinkiewicz 보간, Calderón-Zygmund 이론, 그리고 변형 기법을 결합하여, 계수가 시간에 대해 불연속일 경우에도 존재성, 유일성 및 정확한 $L_q(L_p)$-추정을 입증한다.

ABSTRACT

We introduce an $L_q(L_p)$-theory for the quasi-linear fractional equations of the type $$ \partial^α_t u(t,x)=a^{ij}(t,x)u_{x^i x^j}(t,x)+f(t,x,u), \quad t>0, \,x\in \mathbf{R}^d. $$ Here, $α\in (0,2)$, $p,q>1$, and $\partial^α_t$ is the Caupto fractional derivative of order $α$. Uniqueness, existence, and $L_q(L_p)$-estimates of solutions are obtained. The leading coefficients $a^{ij}(t,x)$ are assumed to be piecewise continuous in $t$ and uniformly continuous in $x$. In particular $a^{ij}(t,x)$ are allowed to be discontinuous with respect to the time variable. Our approach is based on classical tools in PDE theories such as the Marcinkiewicz interpolation theorem, the Calderon-Zygmund theorem, and perturbation arguments.

연구 동기 및 목표

• 변수 계수를 가진 비선형 시간 분수도수 진화 방정식에 대해 종합적인 $L_q(L_p)$-이론을 개발하는 것.
• 계수에 대한 최소한의 정규성 조건 하에서 해의 존재성, 유일성 및 $L_q(L_p)$-추정을 증명하는 것.
• 주요 계수 $a^{ij}(t,x)$가 시간에 대해 불연속이지만 공간에 대해 균일 연속일 수 있도록 허용하는 것.
• 기존 결과를 일반화하기 위해 $\alpha$, $p$, $q$에 대한 제한적인 대수적 조건을 제거하고 힐버트 공간 또는 연산자 이론 프레임워크를 피하는 것.

제안 방법

• 시간 분수도수 확산 및 파동 과정을 모델링하기 위해 $\alpha \in (0,2)$인 Caputo 분수도수 $\partial_t^\alpha$를 사용한다.
• 해의 평균 진동(중간값) 제어(BMO)로부터 $L_p$-추정을 도출하기 위해 Marcinkiewicz 보간 정리를 적용한다.
• 일정 계수 방정식의 해의 커널에 대해 Calderón-Zygmund 정리를 적용하여 $L_p$-추정을 $L_q(L_p)$-프레임워크로 확장한다.
• 변수 계수를 일정 계수 연산자의 소규모 $L_p$-편향으로 간주하여 편미분 기법을 사용해 처리한다.
• 기본 해를 분석하기 위해 Mittag-Leffler 함수 $E_\alpha(-t^\alpha |\xi|^2)$를 포함하는 표현 공식에 의존한다.
• 잔류 분석 및 특수함수 추정을 활용한 점근 전개를 통해 기본 해 $p(t,x)$와 그 시간 도함수 $q(t,x)$의 도함수에 대한 점별 추정을 수립한다.

실험 결과

연구 질문

• RQ1 시간에 대해 불연속인 변수 계수를 가진 시간 분수도수 진화 방정식에 대해 $L_q(L_p)$-이론을 개발할 수 있는가?
• RQ2 해의 존재성, 유일성 및 $L_q(L_p)$-추정을 보장하기 위해 $a^{ij}(t,x)$에 요구되는 최소 정규성 조건은 무엇인가?
• RQ3 Marcinkiewicz 보간 및 Calderón-Zygmund 이론과 같은 고전적 PDE 도구는 분수도수 시간 도수 설정에 어떻게 적응될 수 있는가?
• RQ4 $\alpha$, $p$, $q$에 대한 대수적 제약 조건 없이 $L_p$-이론을 $L_q(L_p)$-설정으로 얼마나 넓힐 수 있는가?
• RQ5 특히 원점 근처에서 기본 해와 그 도함수의 정확한 점별 행동은 무엇인가?

주요 결과

• 모든 $p,q > 1$ 및 $\alpha \in (0,2)$에 대해 방정식 $\partial_t^\alpha u = a^{ij}(t,x)u_{x^i x^j} + f(t,x,u)$의 해는 $L_q(L_p)$-프레임워크 내에서 존재하고 유일하다.
• 두 번째 순서 공간 도함수 $D_x^2 u$와 첫 번째 순서 시간 도함수 $\partial_t u$의 $L_q(L_p)$-노름은 해 공간에 대해 일관되게 $f(t,x,0)$의 $L_q(L_p)$-노름에 의해 제어된다.
• 주요 계수 $a^{ij}(t,x)$는 시간에 대해 불연속이지만 공간에 대해 균일 연속일 수 있으며, 이는 이전 결과를 크게 일반화한다.
• 도함수 $\partial_t^n D_x^m q(t,x)$에 대한 점별 추정이 확립된다: $R = |x| \leq 1$일 때, $|\partial_t^n D_x^m q(t,x)| \leq N |x|^{-d-m} t^{-n+\alpha-1} (R^2 + R^2 \ln R \cdot \mathbf{1}_{d=2})$이며, 여기서 $N$은 $d$, $m$, $n$, $\alpha$에만 의존한다.
• 기본 해 $p(t,x)$는 분포적 의미에서 $t \neq 0$, $x \neq 0$일 때 $\partial_t^\alpha p = \Delta p$ 및 $\partial_t p = \Delta q$를 만족하며, 부분 적분과 Parseval의 항등식을 통해 검증된다.
• 이 방법은 $H^\infty$-함수 해석학 및 연산자 이론적 프레임워크를 피하며, 대신 BMO 추정 및 Calderón-Zygmund 이론에 의한 커널의 $L_p$-유계성과 같은 실변수 기법에 의존한다.