[논문 리뷰] Determination of time dependent factors of coefficients in fractional diffusion equations

Kenichi Fujishiro, Yavar Kian|arXiv (Cornell University)|2015. 01. 08.

Advanced Mathematical Modeling in Engineering참고 문헌 8인용 수 6

한 줄 요약

이 논문은 시간에 따라 변화하는 계수를 가진 시간 분수형 확산 방정식에서 역 문제에 대한 안정성 추정을 수립하며, 해의 점별 관측 자료로부터 시간에 따라 변화하는 소스 또는 반응 계수를 유일하고 안정적으로 재구성할 수 있음을 증명한다. 분수형 미적분학과 에너지 추정을 활용하여, 최소한의 정규성 가정 하에 허들러 유형의 안정성 경계를 도출하며, 고전적 역 문제 이론을 비정상적 확산 거동을 모델링하는 분수형 PDE에까지 확장한다.

ABSTRACT

We consider fractional diffusion equations and study the stability of the inverse problem of determining the time-dependent parameter in a source term or a coefficient of zero-th order term from observations of the solution at one point in a bounded domain.

연구 동기 및 목표

• 제한된 점별 관측 자료로부터 시간 분수형 확산 방정식의 시간에 따라 변화하는 계수를 식별하는 역 문제를 다루는 것.
• 소스 항과 제로차 계수 문제 모두에 대해 재구성의 유일성과 안정성을 확립하는 것.
• 비정상적 확산을 모델링하는 분수형 순서 PDE의 맥락으로 고전적 역 문제 이론을 확장하는 것.
• 계수와 데이터에 대한 최소한의 정규성 가정 하에 정량적 안정성 추정을 제공하는 것.

제안 방법

• Caputo 도함수의 순서 $\alpha \in (0,1)$를 갖는 시간 분수형 확산 방정식에 대한 두 개의 초기경계값 문제(IBVPs)를 설정한다.
• 군 이론과 분수형 적분을 이용하여 $H^2(\Omega)$에서의 해의 존재성과 정규성을 증명한다.
• 일반화된 그론발레 부등식을 적용하여 해의 노름을 제어하고, 역 문제에 대한 안정성 추정을 유도한다.
• 소볼레프 포함과 경계 추정을 활용하여 점별 해 값과 전체 해 노름 간의 관계를 설정한다.
• 단일 점 $x_0$에서 관측된 해를 이용하여 시간에 따라 변화하는 계수 $f(t)$에 대한 사전 경계를 유도한다.
• 분수 도함수의 구조와 강제 추정을 활용하여 $f(t)$에 대한 허들러 유형의 안정성을 확보한다.

실험 결과

연구 질문

• RQ1 시간 분수형 확산 방정식의 시간에 따라 변화하는 계수 $f(t)$는 단일 공간 위치에서의 해의 점별 관측 자료로부터 유일하게 결정될 수 있는가?
• RQ2 단일 점 관측 자료로부터 $f(t)$를 복원하는 역 문제에 대해 어떤 안정성 추정을 확립할 수 있는가?
• RQ3 계수 $f(t)$와 데이터의 정규성은 재구성의 안정성에 어떤 영향을 미치는가?
• RQ4 분수 순서 $\alpha$는 역 문제의 안정성에 어떤 역할을 하는가?

주요 결과

• 최소한의 정규성 가정 하에, $x_0 \in \overline{\Omega}$에서의 점별 관측 자료로부터 시간에 따라 변화하는 계수 $f(t)$를 복원하는 역 문제는 유일하게 해를 갖는다.
• 허들러 유형의 안정성 추정이 확립된다: 소스 항 문제에 대해 $\|f\|_{L^\infty(0,T)} \leq C \|\partial_t^\alpha u(x_0, \cdot)\|_{L^\infty(0,T)}$.
• 반응 계수 문제의 경우 안정성 추정은 $\|f\|_{L^\infty(0,T)} \leq C \|\partial_t^\alpha v(x_0, \cdot)\|_{L^\infty(0,T)}$ 형태를 띠며, $C$는 도메인과 데이터에 의존한다.
• IBVP (1.1)의 해 $u$는 $s > d/2$일 때 $\partial_t^\alpha u \in L^p(0,T; H^s(\Omega))$를 만족하여, 점별 경계 정규성을 보장한다.
• 증명은 해의 차이의 성장률을 제어하기 위해 에너지 추정과 일반화된 그론발레 부등식에 의존한다.
• 결과는 최소한의 부드러움 가정 하에서도 강인하다: $f \in L^\infty(0,T)$, $R \in L^p(0,T; H^2(\Omega))$, $q \in L^\infty(0,T; H^2(\Omega))$.