분수 차수와 확산계수를 위한 베이지안 역문제의 정식화와 안정성

본 연구는 분수 차수와 확산계수를 포함하는 타원형 분수 편미분방정식(FPDE)의 역문제를 베이지안 관점에서 체계화한다. 서론에서는 FPDE가 지하수 흐름, 재무 모델링, 재료 과학 등 다양한 분야에서 비국소 현상을 묘사하는 데 필수적이며, 특히 차수 s와 확산계수 A가 실험적 불확실성에 의해 정확히 알려지지 않는 상황을 강조한다. 이러한 배경에서 저자들은 사전분포 μ₀를 통해 입력 파라미터 (s, A)의 불확실성을 정량화하고, 관측 데이터 y=G(s,A)+η (η는 평균 0, 공분산 Γ인 가우시안 잡음)와 결합해 사후분포 μ_y 를 도출한다. 전방 모델은 L_A=−div(A∇·)의 분수 거듭제곱 L_A^s 를 스펙트럼 정의(λ_k^s ψ_k)로 구성하고, Neumann 경계조건 하에 해 p_{s,A}∈H^s(D) 가 존재함을 보인다. 전방 사상 F:(s,A)↦p_{s,A} 의 연속성은 두 가지 경로로 증명된다. 첫 번째는 L_A의 고유값·고유함수 전개를 이용해 λ_k^s 가 s와 A에 대해 연속함을 이용하는 스펙트럼 방법이며, 두 번째는 Caffarelli‑Silvestre 확장 문제를 도입해 (d+1)차원에서 가중 발산 연산자 div(y^a B∇·) 로 변환한 뒤, 가중 Sobolev 공간 H¹(y^a) 에서 연속성을 확보한다. 이 두 접근법은 각각 f∈L²(D)와 f∈H^{−s}(D)와 같은 서로 다른 소스 정규성을 허용한다. 관측 연산자 O는 유한 차원 선형 맵으로 가정하고, G=O∘F 가 측정 가능함을 확인한다. 베이지안 역문제의 일반 이론(문헌