[논문 리뷰] Uniqueness in determining the orders of time and spatial fractional derivatives

Masahiro Yamamoto|arXiv (Cornell University)|2020. 06. 26.

Fractional Differential Equations Solutions참고 문헌 22인용 수 7

한 줄 요약

이 논문은 단일 공간 점에서의 해의 점별 측정을 통해 확산 방정식에서 시간 분수 차수 $\alpha \in (0,2)\setminus\{1\}$와 공간 분수 차수 $\beta \in (0,1)$를 유일하게 결정할 수 있음을 증명한다. 증명은 고유함수 전개와 미트아그-레플러 함수의 점근 분석에 기반하며, 초기 자료와 고유값에 대한 적절한 조건 하에서 $0<t<T$ 범위에서 $u_{\alpha,\beta}(x_0,t)$가 $\alpha$와 $\beta$를 유일하게 특정함을 보여준다.

ABSTRACT

We prove the uniqueness in determining both orders of fractional time derivatives and spatial derivatives in diffusion equations by pointwise data. The proof relies on the eigenfunction expansion and the asymptotics of the Mittag-Leffler function.

연구 동기 및 목표

• 확산 방정식에서 단일 공간 점에서의 해 측정값을 이용하여 시간 분수 차수 $\alpha$와 공간 분수 차수 $\beta$를 유일하게 결정하는 것을 확립한다.
• 제한된 데이터를 이용한 비정상 확산 모델에서 분수 차수를 규명하는 역문제를 다루며, 정확한 물리 모델링에 필수적인 문제를 해결한다.
• 단일 점에서의 해 데이터가 분수 차수를 유일하게 결정할 수 있는 조건을 제공함으로써 기존 접근법의 한계를 극복한다.
• 기존의 분수 확산에 대한 역문제 결과를 확장하여, 시간과 공간 분수 차수를 동시에 유일하게 규명하는 것을 목표로 한다.

제안 방법

• 타원형 연산자 $A$의 고유값 $\lambda_k$와 고유함수 $\varphi_{kj}$를 이용하여 해 $u_{\alpha,\beta}(x,t)$의 고유함수 전개를 수행한다.
• 시간적 성분으로서 미트아그-레플러 함수 $E_{\alpha,1}(-\lambda_k^\beta t^\alpha)$를 활용한다.
• 큰 $\ell$에 대한 미트아그-레플러 함수의 점근 분석을 통해 계수 $a_k = (a, \varphi_{kj})$를 포함하는 항등식을 유도한다.
• 비퇴화성 확보를 위해 조건 $\sum_{j=1}^{m_{k_0}} (a, \varphi_{k_0j}) \varphi_{k_0j}(x_0) \neq 0$ 및 $\lambda_{k_0} \neq 1$을 적용한다.
• $\lambda_k^{\beta\ell}$를 포함하는 방정식계를 유도하고, 두 후보 차수 $\beta$와 $\beta_1$ 간의 비교를 통해 $\beta = \beta_1$가 아닐 경우 모순을 이끌어내어 유일성을 입증한다.
• 유도된 항등식에서 $\ell \to \infty$로의 극한을 분석하기 위해 무한급수에 대해 리만 수렴 정리를 적용한다.

실험 결과

연구 질문

• RQ1 단일 공간 위치에서의 점별 해 데이터로부터 시간 분수 차수 $\alpha$와 공간 분수 차수 $\beta$를 유일하게 결정할 수 있는가?
• RQ2 초기 자료와 타원형 연산자의 고유구조에 대해 어떤 조건이 $\alpha$와 $\beta$의 유일성 규명을 보장하는 데 필수적인가?
• RQ3 $\lambda_{k_0} \neq 1$ 조건이 $\beta$의 유일성에 필수적인 이유는 무엇인가?
• RQ4 미트아그-레플러 함수의 점근적 행동이 유일성 증명에 어떻게 기여하는가?
• RQ5 초기 자료의 모든 푸리에 계수들이 비영이 아니라는 조건 없이도 $\alpha$와 $\beta$를 유일하게 결정할 수 있는가?

주요 결과

• $0 < t < T$ 범위에서의 해 $u_{\alpha,\beta}(x_0,t)$는 제시된 조건 하에 $\alpha \in (0,2)\setminus\{1\}$과 $\beta \in (0,1)$을 유일하게 결정한다.
• 조건 $\sum_{j=1}^{m_{k_0}} (a, \varphi_{k_0j}) \varphi_{k_0j}(x_0) \neq 0$ 및 $\lambda_{k_0} \neq 1$는 $\beta$의 유일성에 필수적이며, 이 조건이 만족되지 않으면 해는 $\beta$에 대해 독립적이다.
• 유일성 증명은 $\lambda_{k_0} > 1$ 및 $\lambda_{k_0} < 1$의 두 경우에 대해 모순을 이용하여 $\beta_1 = \beta$임을 보이며, $\lambda_k^{\beta\ell}$를 포함하는 급수의 점근적 행동을 활용한다.
• $\alpha$의 유일성은 조건 $(A^{-\beta}a)(x_0) \neq 0$에 의해 도출되며, 이는 전체 정규성 조건 (1.2)를 요구하지 않는다.
• $\{m/\alpha \mid m \in \mathbb{N}\}$ 이 $\mathbb{N}$ 에서 조밀한 경우에도 결과가 성립하며, 이 경우 $\ell_n \to \infty$ 인 수열을 구성하여 이 집합을 피하는 것이 가능하다.
• 이전 연구들과 달리 모든 푸리에 계수들이 비영이 아니라는 조건을 요구하지 않아, (1.3) 조건은 Tatar와 Ulusoy(2015)의 (1.4) 조건보다 훨씬 약한 조건이 된다.