Forward and inverse problems for a time-fractional pseudo-parabolic equation with variable coefficients

기술적 요약: 가변 계수를 갖는 시간-분수 의사-포물형 방정식의 순방향 및 역방향 문제

문제 제기
본 연구는 분리 가능 힐베르트 공간 $H$에서 정의된 시간-분수 의사-포물형 방정식에 관련된 순방향 및 역방향 문제를 조사합니다. 지배 방정식은 다음과 같습니다:
$$D^\rho_t [u(t) + \mu Au(t)] + \sigma(t)Au(t) = r(t)g, \quad t \in (0, T]$$
초기 조건 $u(0) = \phi$를 따릅니다. 여기서 $A$는 컴팩트한 역연산자를 갖는 유계되지 않은 양의 자기수반 연산자이며, $\mu > 0$은 상수입니다. $0 < \rho < 1$은 카푸토 (Caputo) 분수 미분의 차수이고, $\sigma(t)$는 시간 의존 계수이며, $r(t)$는 스칼라 소스 함수입니다. 또한 $g, \phi \in H$입니다.

본 연구는 두 가지 구별되는 문제를 다룹니다:

1. 순방향 문제: 알려진 계수 $\sigma(t)$, $r(t)$, 그리고 소스 항 $g$를 주어 해 $u(t)$를 결정하는 문제.
2. 역방향 문제: $r(t)$가 알려지지 않았을 때, $F: H \to \mathbb{R}$가 유계 선형 범함수이고 $\Phi(t)$가 주어진 스칼라 함수인 추가 과결정 조건 $F[u(t)] = \Phi(t)$를 따르면서 함수 쌍 $\{u(t), r(t)\}$를 결정하는 문제.

방법론
저자들은 연산자 $A$의 고유함수 $\{v_k\}$와 고유값 $\{\lambda_k\}$를 활용하는 푸리에 방법에 기반한 스펙트럼 접근법을 사용합니다.

• 순방향 문제 분석: 해 $u(t)$는 무한 급수 $u(t) = \sum u_k(t)v_k$로 표현됩니다. 이는 편미분 방정식을 계수 $u_k(t)$에 대한 스칼라 코시 (Cauchy) 문제들의 시퀀스로 축소시킵니다. 미타그 - 레플러 (Mittag-Leffler) 함수의 성질과 적분 추정을 사용하여 이러한 스칼라 해들의 존재성과 유일성이 확립됩니다. $C([0, T]; H)$ 공간에서 $u(t)$, $Au(t)$, 그리고 분수 미분$D^\rho_t u(t)$및$D^\rho_t (Au(t))$에 대한 노름 추정을 유도함으로써 전체 문제에 대한 전역 존재성과 유일성이 증명됩니다.
• 역방향 문제 분석: 알려지지 않은 소스 $r(t)$를 풀기 위해 지배 방정식에 범함수 $F$가 적용됩니다. 이는 해 $u(t)$를 포함하는 $r(t)$에 대한 명시적 적분 표현을 도출합니다. 역방향 문제의 해 존재성은 문제를 고정점 방정식 $r(t) = B[r](t)$로 형식화함으로써 확립됩니다. 저자들은 슈아르 (Schauder) 고정점 정리를 적용하여, 연산자 $B$가 $C[0, T]$의 닫혀 있고 볼록하며 유계인 부분집합을 자기 자신으로 사상하며, 그 치역이 상대적으로 컴팩트함을 (아제라 - 아스코리 정리를 통해 검증됨) 보여줍니다. 유일성은 두 가지 가능한 해 사이의 차이가 소멸해야 함을 보임으로써 증명됩니다.
• 수치적 체계: $A$가 2 차 미분 연산자 ($Au = -u_{xx}$) 인 특정 경우에 대해 유한 차분 체계가 개발되었습니다. $t=0$에서의 특이점을 처리하기 위해 카푸토 미분은 등급화된 시간 메시 (graded time mesh) 위의 비균일 L1 근사를 사용하여 근사화되었으며, 공간 미분은 중앙 차분을 통해 처리됩니다. 그 결과 얻어지는 선형 대수 방정식계는 삼대각 행렬이며 토머스 (Thomas) 알고리즘을 사용하여 풀립니다.

주요 기여 및 결과

1. 순방향 모델의 일반화: 이전 연구들이 종종 상수 계수 $\sigma(t)$를 가정했던 것과 달리, 본 연구는 $\sigma(t)$가 시간 의존 함수인 경우를 조사합니다. 저자들은 $\sigma(t)$가 연속이고 엄격하게 양수일 때 해의 전역 존재성과 유일성을 증명합니다.
2. 일반화된 역방향 문제 형식화: 본 논문은 일반적인 선형 범함수 조건 $F[u(t)] = \Phi(t)$ 하에서 시간 의존 소스 $r(t)$를 결정하는 역방향 문제를 다룹니다. 이는 최종 시간에서의 점 평가나 적분 조건과 같은 특정 범함수로 제한되었던 이전 연구들을 일반화합니다. 저자들은 허용 가능한 범함수의 구체적인 예시를 제공하고, 존재성과 유일성을 위한 필요 조건들을 검증합니다.
3. 이론적 증명: 순방향 및 역방향 문제에 대한 해의 존재성과 유일성에 대한 엄밀한 증명들이 제공됩니다. 역방향 문제의 존재성은 슈아르 고정점 정리에 의존하며, 유일성은 에너지 추정을 통해 유도됩니다.
4. 수치적 검증: 순방향 문제에 대한 효율적인 계산 알고리즘이 제시됩니다. 정확한 해가 알려진 특정 테스트 사례를 사용하여 수치 실험이 수행되었습니다. 결과는 제안된 유한 차분 체계의 정확도를 보여주며, 수치 해는 정확한 해와 밀접하게 일치합니다.

의의
저자들은 본 연구의 주요 독창성이 시간-분수 의사-포물형 방정식의 맥락에서 이전에 연구되지 않았던 순방향 문제에서 시간 의존 계수 $\sigma(t)$를 포함하도록 수학적 모델을 일반화한 데 있다고 주장합니다. 또한, 역방향 문제는 특정 경계 조건이나 적분 조건으로 제한된 것들을 넘어 적용 가능한 역방향 문제의 범주를 확장하는 매우 일반적인 범함수 $F$로 다루어집니다. 이 논문은 이러한 일반화된 문제들을 위한 엄밀한 이론적 틀을 확립하고 그 해를 위한 실용적인 수치적 방법을 제공함으로써, 분수 의사-포물형 방정식에 관한 기존 문헌을 확장합니다.