분수 칼데론 문제 해법: 단일 측정으로 전위 복원하는 갤러킨 유한 요소법

초록

본 연구는 분수 슈뢰딩거 방정식에서 단일 외부 측정 데이터만을 사용하여 전위를 수치적으로 복원하는 새로운 전략을 제안합니다. 갤러킨 유한 요소법과 티호노프 정규화를 결합한 방법으로, 외부 관찰 영역에서의 플럭스 측정값으로부터 내부 전위를 안정적으로 추정합니다. 이 방법은 전방 문제 해법과 역문제 복원 단계를 분리하여 계산 효율성을 높였으며, 1차원 및 2차원 수치 실험을 통해 부드러운 전위와 불연속 전위 모두에 대한 복원 가능성을 입증했습니다.

상세 분석

이 논문은 분수 미적분학과 역문제 이론의 교차점에 위치한 고난이도 수치 해법 연구입니다. 핵심 기여는 단일 측정(single-measurement) 설정 하에서도 작동하는 실용적인 복원 알고리즘을 제시한 점입니다. 기존 분수 칼데론 문제는 이론적 유일성(uniqueness)이 증명되었으나, 로그 안정성(logarithmic stability)으로 인해 수치 구현이 매우 까다로웠습니다.

논문의 기술적 핵심은 두 단계로 구성됩니다:

1. 외부 고유연속 문제 해결: 관찰 영역 W에서 측정된 플럭스 데이터 g와 알려진 외부 디리클레 데이터 f를 이용해, 내부에서만 지원되는 보정 함수 u0를 복원합니다. 이는 본질적으로 컴팩트 연산자 L의 역문제를 푸는 것과 같으며, 티호노프 정규화가 필수적입니다.
2. 안정화된 계수 복원: 복원된 상태 u = u_f + u0를 이용해 전위 q를 계산합니다. q = -((-∆)^s u)/u라는 공식은 u가 0에 가까운 영역에서 불안정할 수 있으므로, 논문은 최소제곱 몫(least-squares quotient) 접근법과 추가 정규화를 도입하여 이를 안정화합니다.

이론적 분석에서 중요한 점은 이산화된 관찰 연산자 Q_h^W의 일관성(consistency)을 보장하는 가정(Assumption 3.2)과, 복원된 상태 및 전위에 대한 사전 오차 추정(a priori error estimate)을 유도한 것입니다. 또한, 연속 역문제의 로그 안정성과 이산 복원 오차를 결합하여 총 계수 오차(total coefficient error)에 대한 바운드를 제시했습니다.

수치적 구현 측면에서, 제안된 프레임워크의 강점은 전방 솔버(유한 요소법으로 분수 라플라시안 해결)와 역문제 복원 단계를 명확히 분리했다는 점입니다. 이로 인해 관찰 연산자 행렬은 기하학적 구조와 분수 차수에만 의존하므로, 한 번 조립하면 다양한 전위 q에 대해 재사용이 가능해 계산 효율이 크게 향상됩니다. 또한 외부 영역에서 복원된 상태 u0가 0이므로, 관찰점 x ∈ W에서의 분수 라플라시안 (-∆)^s u0(x) 계산은 비특이 적분으로 단순화되어 수치적 안정성이 개선됩니다.