[논문 리뷰] Asymptotic behaviors of fundamental solution and its derivatives related to space-time fractional differential equations

Kyeong-Hun Kim, Sungbin Lim|arXiv (Cornell University)|2015. 04. 28.

Fractional Differential Equations Solutions참고 문헌 18인용 수 16

한 줄 요약

이 논문은 $\alpha \in (0,2)$, $\beta > 0$ 인 공간-시간 분수형 PDE $\partial_t^\alpha u = -(-\Delta)^\beta u$ 의 기본 해와 그 임의의 순서의 공간-시간 분수 도함수에 대한 날카운 점근적 행동과 상한을 정립한다. 포크 H-함수와 경로 적분의 성질을 이용하여 $D_x^n (-\Delta_x)^\gamma D_t^\sigma I_t^\delta p(t,x)$ 에 대한 정밀한 추정치를 도출하며, 이는 이전 연구에서 $\alpha=1$ 또는 $\beta=1$ 이라는 제약 조건이 있었던 바를 초월하고, 확률적 및 결정론적 PDE에서의 $L_p$-추정치를 가능하게 한다.

ABSTRACT

Let $p(t,x)$ be the fundamental solution to the problem $$ \partial_{t}^αu=-(-Δ)^βu, \quad α\in (0,2), \, β\in (0,\infty). $$ In this paper we provide the asymptotic behaviors and sharp upper bounds of $p(t,x)$ and its space and time fractional derivatives $$ D_{x}^{n}(-Δ_x)^γD_{t}^σI_{t}^δp(t,x), \quad \forall\,\, n\in\mathbb{Z}_{+}, \,\, γ\in[0,β],\,\, σ, δ\in[0,\infty), $$ where $D_{x}^n$ is a partial derivative of order $n$ with respect to $x$, $(-Δ_x)^γ$ is a fractional Laplace operator and $D_{t}^σ$ and $I_{t}^δ$ are Riemann-Liouville fractional derivative and integral respectively.

연구 동기 및 목표

• 공간-시간 분수형 PDE $\partial_t^\alpha u = -(-\Delta)^\beta u$ 의 기본 해 $p(t,x)$ 에 대한 엄밀하고 자립적인 분석을 제공함으로써 일반적인 $\alpha \in (0,2)$ 와 $\beta > 0$ 에 대해 다루는 것.
• 공간 및 시간 분수 도함수의 전체 클래스인 $D_x^n (-\Delta_x)^\gamma D_t^\sigma I_t^\delta p(t,x)$ 에 대해 날카운 상한과 점근적 행동을 도출하는 것.
• 이전 연구에서 $\alpha=1$ 또는 $\beta=1$ 이라는 조건이 필요로 했고 일반적인 $\gamma$, $\sigma$, $\delta$ 를 다루지 못했던 한계를 극복하기 위해, 멜린-라플라스-푸리에 변환에 의존하지 않는 포크 H-함수 기반의 방법을 개발하는 것.

제안 방법

• 저자들은 포크 H-함수를 통한 기본 해의 멜린-베른스 적분 표현을 이용하여 그 구조와 감쇠 성질을 분석한다.
• 복소 평면에서의 경로 적분 기법을 적용하여 점근 전개를 도출하며, 특히 $t$ 와 $|x|$ 의 다양한 영역에서 $p(t,x)$ 와 그 도함수의 행동에 중점을 둔다.
• 포크 H-함수와 그 도함수의 잔여류와 성장 특성을 철저히 분석하고, 잔여류 정리와 모레라 정리를 포함한 성질을 이용하여 해석적 계속성을 정당화한다.
• 반사 및 중복 공식을 이용한 감마 함수의 항등식과 포크 H-함수의 함수 방정식을 활용하여 다양한 매개변수 영역 간의 관계를 유도한다.
• 일반화된 도함수 $p_{\sigma,\gamma}(t,x)$ 의 푸리에 변환을 $|\xi|^{2\gamma} t^{-\sigma} E_{\alpha,1-\sigma}(-|\xi|^{2\beta} t^\alpha)$ 로 규명하여 미타그레플레르 함수와 연결한다.
• 공간 차원($d=1$, $d\geq2$)과 매개변수 범위에 따라 별도로 분석을 수행하며, 특히 $\gamma = 0$, $\gamma = \beta$, 또는 $\gamma \in (0,\beta)$ 인 경우를 구분한다.

실험 결과

연구 질문

• RQ1 일반적인 공간-시간 분수형 PDE $\partial_t^\alpha u = -(-\Delta)^\beta u$ 에서 $\alpha \in (0,2)$, $\beta > 0$ 인 경우, 기본 해 $p(t,x)$ 와 그 임의의 순서의 공간-시간 분수 도함수의 날카운 점근적 행동은 무엇인가?
• RQ2 시간과 공간에서 $D_x^n (-\Delta_x)^\gamma D_t^\sigma I_t^\delta p(t,x)$ 의 상한은 어떻게 행동하는가? 특히 소규모 $t$ 와 큰 $|x|$ 영역에서의 행동은 어떻게 되는가?
• RQ3 이전 연구에서 제한 조건으로 $\alpha=1$ 또는 $\beta=1$ 이었기 때문에 제약을 받았던 바, 기본 해 도함수의 추정치는 일반적인 경우로 어떻게 확장할 수 있는가?
• RQ4 일반화된 도함수 $p_{\sigma,\gamma}(t,x)$ 의 푸리에 변환의 정확한 구조는 무엇이며, 이는 어떻게 미타그레플레르 함수와 관련이 있는가?
• RQ5 유도된 추정치는 비동차 분수형 진화 방정식에 대한 $L_q(L_p)$-추정치와 다중성 소음이 있는 확률적 PDE에 대한 $L_p$-추정치를 증명하는 데 어떻게 응용될 수 있는가?

주요 결과

• 모든 $n \in \mathbb{Z}_+$, $\gamma \in [0,\beta]$, $\sigma,\delta \in [0,\infty)$ 에 대해 $\alpha \in (0,2)$ 와 $\beta > 0$ 에 대해 유효한 $D_x^n (-\Delta_x)^\gamma D_t^\sigma I_t^\delta p(t,x)$ 의 날카운 상한을 정립하였으며, 이는 이전 연구에서 $\alpha=1$ 또는 $\beta=1$ 이라는 조건이 필요로 했던 바를 초월한다.
• 일반화된 도함수 $p_{\sigma,\gamma}(t,x)$ 의 푸리에 변환은 $|\xi|^{2\gamma} t^{-\sigma} E_{\alpha,1-\sigma}(-|\xi|^{2\beta} t^\alpha)$ 로 나타나며, 이는 정밀한 스펙트럼 기반 특성화를 제공한다.
• $d=1$, $\gamma=0$, $\sigma=1$ 인 경우, 기본 해는 $\mathcal{F}\{p(t,\cdot)\}(\xi) = E_\alpha(-|\xi|^{2\beta} t^\alpha)$ 를 만족하며, 이는 기존 결과와 일치함을 확인하고 방법의 타당성을 검증한다.
• 멜린-베른스 적분에서 $z = -\gamma/\beta$ 에서의 잔여류는 0이 되어 해석적 성질이 유지되고, 이는 매개변수 범위 전반에 걸쳐 균일한 추정치 유도를 가능하게 한다.
• 이전 연구에서 필요로 했던 차원 $d$ 와 매개변수 $\beta, \delta, \gamma, \sigma$ 의 제약 없이, 멜린-라플라스-푸리에 변환에 의존하지 않는 방법을 통해 차원 및 매개변수에 대한 제약 없이 분석이 가능하다.
• 유도된 추정치는 비동차 분수형 진화 방정식에 대한 $L_q(L_p)$-추정치와 다중성 소음이 있는 확률적 PDE에 대한 $L_p$-추정치를 증명하는 데 응용되어, 이러한 추정치의 이론적 기초를 확립한다.