An Inverse Source Problem For a Time-Fractional Mixed Wave-Diffusion-Wave Equation in a Cylindrical Domain

기술적 요약: 원기둥 영역에서의 시간-분수 혼합 파동-확산-파동 방정식에 대한 역원 문제

문제 설정
본 논문은 원기둥 영역 $\Omega$ 내에서 정의된 혼합형 분수 파동-확산-파동 방정식에 대한 역원 문제를 조사한다. 지배 방정식은 시스템이 서로 다른 시간 간격에 걸쳐 파동 유사 행동과 확산 행동 사이를 전환하는 물리적 과정을 모델링한다. 구체적으로, 영역은 시간 점 $T_1$과 $T_2$에 의해 분리된 세 가지 시간 영역 ($\Omega_1, \Omega_2, \Omega_3$) 으로 분할된다.

지배 방정식은 3-파라미터 미타그-레플러 (Mittag-Leffler) 커널을 포함함으로써 고전적 카푸토 (Caputo) 도함수를 일반화한 프라바카르-카푸토 (Prabhakar-Caputo) 분수 도함수 $P CD^{\alpha, \beta, \gamma, \delta}_{at}$를 포함한다. 이 연산자는 다공성 매체 내 가스 흐름과 같은 비정상 수송 과정에 내재된 복잡한 기억 효과 및 다중 스케일 완화 현상을 모델링할 수 있게 한다. 방정식은 다음과 같은 형태를 띤다:
$$P CD^{\alpha_i, \beta_i, \gamma_i, \delta}_{t_{i-1}t} u(t, r) - \Delta u(t, r) = f(r)$$
여기서 분수 차수 $\beta$는 구간마다 변한다: $1 < \beta_1 \leq 2$ (파동 유사), $0 < \beta_2 \leq 1$ (확산), 그리고 $1 < \beta_3 \leq 2$ (파동 유사). 공간 연산자 $\Delta$는 극좌표계에서의 라플라시안이다.

역 문제는 소스 항 $f(r)$이 미지수이며 공간 변수에만 의존하는 함수 쌍 $\{u(t, r), f(r)\}$을 결정하는 것을 목표로 한다. 이 문제는 다음 조건들로 보완된다:

• $t=0$에서의 초기 조건.
• $r=0$ 및 $r=1$에서의 경계 조건.
• 전환 시간 $T_1$ 및 $T_2$에서 해의 연속성과 분수 도함수의 특정 극한을 보장하는 전송 조건.
• 고정된 시간 $\xi \in [T_1, T_2]$에 대한 추가 최종 시간 측정 조건 $u(\xi, r) = \psi(r)$.

방법론
저자들은 해를 구성하기 위해 변수 분리법을 사용한다. 공간 성분은 슈투름 - 리우빌 (Sturm-Liouville) 시스템을 사용하여 풀며, 1 종 제 0 차 베셀 함수 $J_0(\mu_k r)$ 형태의 고유함수를 산출한다. 여기서 $\mu_k$는 경계 조건의 근들이다.

시간 성분은 각 모드 $k$에 대한 일련의 분수 미분 방정식으로 축소된다. 이러한 방정식에 대한 일반 해는 프라바카르 분수 적분 및 도함수 연산자에서 자연스럽게 도출되는 이변수 미타그-레플러형 함수 ($E_2$) 를 사용하여 표현된다.

역 문제를 해결하기 위해 저자들은 다음을 수행한다:

1. 미지 해 $u(t, r)$와 미지 소스 $f(r)$를 푸리에 - 베셀 급수 전개로 표현한다.
2. 초기, 경계, 전송, 그리고 최종 시간 측정 조건을 적용하여 급수의 미지 계수에 대한 선형 대수 방정식 시스템을 유도한다.
3. 크라메르 (Cramer) 법칙을 사용하여 미지 계수 ($A_{k}$) 와 소스 함수의 푸리에 - 베셀 계수 ($f_k$) 를 명시적으로 푼다.
4. 해의 유일성을 보장하기 위해 시스템의 행렬식 ($\tilde{\Delta}_k$) 을 분석한다.

주요 결과

• 명시적 해석적 표현: 본 논문은 베셀 함수와 이변수 미타그-레플러 함수를 포함하는 무한 급수 형태로 미지 소스 함수 $f(r)$와 해 $u(t, r)$에 대한 명시적 해석 공식을 유도한다.
• 존재성과 유일성: 저자들은 주 행렬식 $\tilde{\Delta}_k$가 0 이 아닐 때 계수에 대한 방정식 시스템이 유일한 해를 가진다고 증명한다. 보조정리 4.1 은 $\lim_{k \to \infty} \tilde{\Delta}_k = T_1 > 0$임을 보여, 충분히 큰 $k$에 대해 행렬식이 0 이 아님을 보장한다.
• 균등 수렴: 무한 급수 해의 균등 수렴에 대한 엄밀한 증명이 제공된다. 이변수 미타그-레플러 함수의 점근적 성질과 입력 데이터 $\phi(r)$ 및 $\psi(r)$의 매끄러움에 기반한 푸리에 - 베셀 계수의 감쇠율을 활용함으로써, 저자들은 특정 정칙성 조건 하 (구체적으로 입력 함수가 적어도 10 회 미분 가능하고 특정 경계 소멸 조건을 만족하는 경우) 에 급수가 절대적으로 그리고 균등하게 수렴함을 확립한다.

의의 및 주장
본 논문은 원기둥 영역 내 혼합형 분수 진화 방정식에 대한 역원 문제를 해결하기 위한 엄밀한 수학적 프레임워크를 제공한다고 주장한다. 주요 기여는 이러한 문제들을 프라바카르 분수 도함수로 확장하는 데 있으며, 이는 표준 카푸토 또는 리우빌 (Riemann-Liouville) 도함수에 비해 기억 효과 모델링에 더 큰 유연성을 제공한다.

저자들은 그들의 접근 방식이 시스템이 파동 및 확산 체제 사이를 전환하는 방정식의 "시간 전환" 특성을 성공적으로 처리한다고 강조한다. 이 연구는 더 복잡한 프라바카르 커널을 통합하고 원기둥 기하학에서 결과 급수 해의 수렴성을 확립함으로써 고전적 포물선 - 쌍곡선 방정식 및 분수 파동 - 확산 시스템에 대한 이전 연구들을 일반화한다. 본 연구는 새로운 실험 설정이나 구체적인 수치 시뮬레이션을 제안하지 않으며, 해석적 해의 이론적 존재성, 유일성, 그리고 수렴성에 집중한다.