방사형 교란 하 전기 임피던스 단층촬영 선형화 문제의 고유구조

초록

본 논문은 단위 구(볼) 내부의 전도도 교란을 라디얼(방사형) 함수로 제한하고, 그에 대한 프레셰 미분 연산자 F의 고유구조를 분석한다. 구면조화함수와 정규화된 Jacobi 다항식을 이용해 F의 고유함수가 구면조화함수임을 보이고, 고유값에 대한 명시적 식과 ℓ‑1/2 차수의 균등 감쇠를 증명한다. 이를 통해 F가 유한‑계수 연산자로 근사 가능하고, 제한된 라디얼 교란 공간에서 콤팩트함을 확보한다.

상세 분석

논문은 전기 임피던스 단층촬영(EIT)에서 비선형 전도도 γ와 경계 전류 f 사이의 관계를 기술하는 Neumann‑to‑Dirichlet(ND) 연산자 Λ(γ)를 고려한다. γ=1(균일 전도도) 주변에서의 프레셰 미분 F = DΛ(1;·)는 (1.2)식으로 정의되며, 이는 두 조화함수 u_f, u_g의 기울기 내적에 교란 η를 곱한 적분 형태이다. 저자는 라디얼 교란 공간 R⊂L²(B) (즉, 각 반경 r에 대해 θ에 무관한 함수)로 제한함으로써, η가 각도에 의존하지 않으므로 구면조화함수들의 기울기와의 교차항이 사라진다. 이때 구면조화함수 f_{ℓ,m}는 라플라스‑베셀 연산자의 고유함수이며, 고유값 ℓ(ℓ+d‑2) 를 가진다(식 3.2).

라디얼 부분은 가중치 r^{d‑1} 에 대해 정규 직교성을 갖는 Jacobi 다항식 P_k(r) (식 3.5)으로 전개한다. η(r)=∑{k≥0}a_k(η)P_k(r) 로 표현하고, 모노미얼 r^{2ℓ‑2}을 Jacobi 다항식의 선형 결합(식 3.8)으로 변환한다. 이렇게 하면 (4.3)식에서 ⟨Fη f{ℓ,m}, f_{ℓ’,m’}⟩가 ℓ=ℓ’, m=m’일 때만 비제로이며, 고유값은

λ_ℓ(η)=2ℓ‑2 ∑_{k=0}^{ℓ‑1}(-1)^{k+1} a_k(η) √{2k+d} · (2ℓ‑2+d)! (2ℓ‑2)! /