Uniqueness for an inverse problem of determining order and temporal factor of the source for time-fractional evolution equations

기술 요약: 시간-분수 진화 방정식의 차수 및 원천 시간 인자 결정에 관한 역문제의 유일성

문제 정식화
본 논문은 힐베르트 공간 $X$에서의 시간-분수 진화 방정식에 대한 코시 문제와 관련된 역문제를 조사한다. 순방향 문제는 다음과 같은 방정식으로 정의된다:
$$\partial_t^\alpha u(t) = -Au(t) + p(t)f$$
여기서 $A$는 컴팩트 역원을 갖는 양의 정부호 자기 수반 연산자이고, $f \in X$는 알려진 원천 프로파일이며, 미지수는 분수 차수 $\alpha \in (0, 1) \cup (1, 2)$와 시간 의존적 원천 인자 $p(t) \in C[0, T]$이다. 초기 조건은 해 $u$가 분수 소볼레프 공간 $H^\alpha(0, T; X)$에 속한다는 요구 조건에 의해 암묵적으로 정의되며, 이는 적절한 경우 트레이스(trace)의 의미에서 $u(0)=0$ (및 $\alpha > 1$인 경우 $u'(0)=0$)을 강제한다.

역문제를 해결하기 위해 제공되는 과결정 조건(overdetermination condition)은 고정된 가중 함수 $\psi \in D(A)$와의 스칼라 곱이다:
$$(u(t), \psi)_X = \Psi(t), \quad 0 < t < T.$$
주된 목적은 이 데이터로부터 $\alpha$와 $p(t)$를 동시에 복원하는 것의 유일성을 결정하는 것이다.

방법론
저자들은 스펙트럼 분해와 $t=0$ 근처에서의 점근적 분석을 결합하여 사용한다. 방법론은 다음과 같은 핵심 단계에 의존한다:

1. 고유함수 전개: 저자들은 $u(t)$를 $A$의 고유함수들을 사용하여 전개한다. 이는 진화 방정식을 미텔-레플레르 함수(Mittag-Leffler function) $E_{\alpha, \beta}(z)$를 포함하는 급수로 변환한다.
2. 점근적 분해: 핵심 기술은 $t=0$ 근처에서 해(또는 해의 스칼라 곱)를 "가장 덜 매끄러운" 선도 성분과 "더 매끄러운" 나머지 성분으로 분해하는 것이다. 구체적으로, 저자들은 분수 적분 $J^\alpha$와 분수 미분 $\partial_t^\alpha$가 $p(t)$의 $t=0$에서의 선도 차수와 관련된 $t^{\alpha+m}$처럼 거동하는 지배적 항을 상위 차수의 항들로부터 분리할 수 있다는 성질을 활용한다.
3. 허용 클래스: 저자들은 미지인 원천 인자 $p(t)$와 $q(t)$를 특정 허용 클래스($P$ 및 $\tilde{P}$)로 제한한다. 이 클래스들은 함수가 $t=0$ 근처에서 $p(t) \sim p_0 t^m$처럼 거동하며 특정 매끄러움 조건을 만족할 것을 요구한다.
4. 점근성을 통한 유일성: 두 가지 잠재적 해 $(\alpha, p)$와 $(\beta, q)$의 데이터 $(u(t), \psi)_X$의 점근적 전개를 비교함으로써, 파라미터들이 동일하지 않으면 모순을 도출한다. 이 과정에는 전개의 선도 차수(leading powers)를 분석하는 작업이 포함된다.
5. 적분 방정식 및 안정성: $\alpha$가 알려졌을 때 $p(t)$를 복원하기 위해, 문제는 볼테라 적분 방정식으로 환원된다. 저자들은 존재성, 유일성 및 리프시츠 안정성 추정치를 확립하기 위해 일반화된 그론월(Gronwall) 부등식을 활용한다.

주요 기여 및 결과

• 분수 차수($\alpha$)의 유일성: 본 논문은 $p$가 클래스 $P$에 속하고 $(f, \psi)_X \neq 0$인 경우, 연산자 $A$의 구체적인 형태에 관계없이 데이터 $(u(t), \psi)_X$에 의해 분수 차수 $\alpha$가 유일하게 결정됨을 입증한다. 이는 서로 다른 연산자 $\tilde{A}$를 갖는 두 시스템을 비교하는 경우에도 성립한다.
• 원천 인자($p(t)$)의 유일성:
  • $\alpha$가 알려져 있고 두 시스템의 $A$가 동일하다면, $p(t)$는 유일하게 결정된다.
  • $\alpha$를 모르는 경우, 논문은 $p, q \in \tilde{P}$ (더 높은 매끄러움 $a \ge m+2$를 요구하는 더 좁은 클래스) 조건 하에서 $p(t)$가 $\alpha$와 동시에 유일하게 결정됨을 증명한다.
  • 정리 1.1과 정리 1.2는 데이터가 모든 $t \in (0, T)$에 대해 일치하면 $\alpha = \beta$이고 $p = q$임을 단언한다.
• 초기 데이터의 역할: 저자들은 $u(0)=0$ ($u \in H^\alpha$에 의해 함축됨)이라는 가정이 결정적임을 강조한다. 만약 초기 데이터가 0이 아니면 ($u(0) \neq 0$), $p(t)$에 대한 유일성이 실패할 수 있음을 보여주는 예시가 제공된다.
• $\alpha \in (0, 1)$에 대한 정교화된 결과: $\alpha \in (0, 1)$인 경우에 대해, 저자들은 데이터 $(u(t), \psi)_X$가 충분히 매끄럽다면(구체적으로 $\partial_t^\alpha (u, \psi)_X \in H^\theta$와 $\theta > 1/2$), 데이터가 0일 때 원천 인자 $p(t)$는 반드시 0이어야 함을 증명한다. 이는 $p(t)$가 반드시 $t=0$에서 0이 되지 않더라도 특정 정칙성 조건을 만족하는 경우까지 유일성 결과를 확장한다.
• 안정성: 정리 1.3은 $\alpha$를 알 때 $p(t)$를 결정하기 위한 양방향 리프시츠 안정성 추정치를 제공하며, $p$의 노름을 관측된 데이터의 분수 미분의 노름과 연결한다.

의의 및 주장
본 논문은 엘립틱 연산자 $A$에 대한 사전 지식 없이 분수 차수와 시간 의dependent 원천을 동시에 식별하는 역문제를 해결한다고 주장한다. 점적인 관측 $u(x_0, t)$나 특정 고유함수에 의존하는 기존 연구들과 달리, 본 연구는 임의의 가중 함수 $\psi \in D(A)$만으로도 $(0, T)$ 구간 동안의 연속적인 관측이 제공된다면 충분하다는 것을 보여준다.

저자들은 자신의 결과가 $t=0$ 근처에서의 해를 특이한 선도 항과 더 매끄러운 나머지 항으로 분해하는 것에 기반하고 있음을 강조한다. 이 기법을 통해 데이터의 점근적 거동으로부터 분수 차수 $\alpha$를 직접 추출할 수 있다. 또한, 본 논문의 결과는 추상적인 힐베르트 공간에 대해 확립되었으나, 디리클레 경계 조건을 가진 유계 영역에서의 라플라스 연산자로 확장될 가능성이 있음을 언급하며, 이는 향로 연구의 주제로 남겨둔다. 본 연구는 새로운 실험적 응용을 제안하기보다는 분수 미적분학의 이러한 역문제에 대한 유일성의 엄밀한 이론적 토대를 제공하는 데 목적이 있다.