[논문 리뷰] On the discrepancy principle

А. Г. Рамм|ArXiv.org|2003. 04. 17.

Numerical methods in inverse problems참고 문헌 2인용 수 14

한 줄 요약

이 논문은 선형 불안정 문제에서 변분 정규화와 잔차 원칙(DP)의 수렴성에 대한 간단한 증명을 제공하며, 표준 가정 하에 DP가 진짜 해로의 수렴을 이끌어낸다는 것을 보여준다. 또한 DP는 데이터에 대해 균일한 수렴을 보장하지 못하며, 비선형 연산자 방정식에 대해 수렴을 보장하는 사전 정규화 파rameter 선택법을 제안한다.

ABSTRACT

A simple proof of the convergence of the variational regularization, with the regularization parameter, chosen by the discrepancy principle, is given for linear operators under suitable assumptions. It is shown that the discrepancy principle, in general, does not yield uniform with respect to the data convergence. An a priori choice of the regularization parameter is proposed and justified for some nonlinear operator equations.

연구 동기 및 목표

• 선형, 유계, 단사 연산자에 대해 정규화 파arameter가 잔차 원칙을 통해 선택될 때 변분 정규화 방법의 수렴성을 확립하는 것.
• 잔차 원칙이 불안정 문제에서 노이즈가 있는 데이터에 대해 균일한 수렴을 보장하는지 조사하는 것.
• 비선형 연산자 방정식에 대해 수렴을 달성하기 위한 사전 정규화 파arameter 선택법을 제안하고 정당화하는 것.
• 콤팩트성과 단사성 조건을 초월하여, 비자명한 영공간을 가진 경우를 포함해 수렴 결과를 확장하는 것.
• 잔차 원칙이 균일한 수렴을 이끌지 못함을 보이고, 유계된 데이터 변동을 가진 반례를 구성함으로써 이를 입증하는 것.

제안 방법

• 티호노프 유형 함수를 사용한 변분 정규화: $ F(u) = ||Au - f_{ u}||^2 + a||u||^2 $로 $ u $ 에 대해 최소화하여 $ u_a $ 를 도출.
• 잔차 원칙을 적용하여 $ a = a(\nu) $ 를 $ ||Au_a - f_{\nu}|| = C\nu $ 의 해로 선택하며, $ C \geq 1 $ 이고 잔차가 노이즈 수준과 일치하도록 보장.
• 스펙트럼 이론과 연산자 항등식을 사용하며, 특히 $ u_a = (B + a)^{-1}A^*f_{\nu} $ 를 사용하여 수렴 행동 분석, 여기서 $ B = A^*A $.
• 약수렴과 컴팩트성 추론을 사용하여 $ u_{\nu} \rightharpoonup y $ 를 보이고, 노름의 하부 연속성과 $ ||u_{\nu}|| \to ||y|| $ 를 통해 강수렴을 증명.
• 비선형 문제의 경우, $ F(u) = ||Au - f_{\nu}|| + \nu||u||_1 $ 를 도입하며, $ ||\cdot||_1 $ 은 밀집 부분공간 $ H_1 $ 에서 더 강한 노름이며, 사전 오차 한계를 사용.
• 스펙트럼 분석을 통해 반례를 구성하며, 고유값 $ \mu_j = j^{-1} $ 를 사용하고 $ ||Tf_{\nu} - TAv|| \geq c\nu / \sqrt{a} $ 를 도출하여 균일 수렴 실패를 입증.

실험 결과

연구 질문

• RQ1 잔차 원칙은 선형 불안정 문제에서 정규화된 해가 진짜 해로 수렴하는가?
• RQ2 잔차 원칙은 비선형 연산자 방정식으로 확장될 수 있는가? 만약 가능하면 어떤 조건에서 가능한가?
• RQ3 잔차 원칙은 데이터 $ f_{\nu} $ 에 대해 균일한 수렴을 이끌어내는가, 아니면 데이터에 따라 수렴 속도가 달라지는가?
• RQ4 연산자 $ A $ 가 콤팩트하거나 단사적이지 않을 경우 정규화된 해의 행동은 어떠한가?
• RQ5 비선형 문제에서 잔차 원칙을 대체할 수 있는 사전 파arameter 선택법이 존재하는가? 그리고 수렴을 보장할 수 있는가?

주요 결과

• 표준 가정 하에 선형, 유계, 단사 연산자에 대해 $ A $ 가 콤팩트이든 아니든, $ \|u_{\nu} - y\| \to 0 $ 이며 $ \nu \to 0 $ 일 때 수렴이 보장된다.
• $ A $ 가 단사적이지 않더라도 해 $ y $ 가 $ N(A) $ 와 수직이면 수렴이 유지되며, 정규화된 해 $ u_{\nu} $ 는 $ N(A) $ 의 옥류공간에 머무른다.
• 잔차 원칙은 $ f_{\nu} $ 에 대해 균일한 수렴을 보장하지 못한다: $ \nu \to 0 $ 이어도 $ \sup_{v \in S_{\nu}} \|u_{\nu} - v\| \geq c > 0 $ 인 데이터 수열이 존재한다.
• 비선형 문제의 경우, $ F(u) = ||Au - f_{\nu}|| + \nu||u||_1 $ 과 $ u_{\nu} $ 가 $ F(u_{\nu}) \leq \inf F + \nu $ 를 만족시키는 사전 파arameter 선택법을 통해 $ \|u_{\nu} - y\| \to 0 $ 이 보장된다. 단, 단사성과 $ y \in H_1 $ 이 성립해야 한다.
• 고정된 $ f_{\nu} $ 가 $ A $ 의 범위에 속하지 않으며, $ a = a(\nu) \sim c_1 \nu^2 $ 인 반례를 구성하여 $ \|u_{\nu} - v_{\nu}\| \geq c > 0 $ 를 도출함으로써 균일 수렴의 실패를 입증.
• $ A $ 가 콤팩트이고 $ f_{\nu} \notin R(A) $ 이면, 수열 $ v_{\nu} = B^b z_a $ 는 수렴하지 않으며 $ \|v_{\nu}\| \to \infty $ 가 된다. 이는 수렴의 위반을 의미하며 균일성의 부재를 증명한다.