[논문 리뷰] Mixed variational approach to finding guaranteed estimates from solutions and right-hand sides of the second-order linear elliptic equations under incomplete data

Yuri Podlipenko, Yury Shestopalov|arXiv (Cornell University)|2014. 11. 13.

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

한 줄 요약

이 논문은 두 번째 순서 선형 타원형 미분방정식의 해와 우변에 대해 불완전한 데이터에서 선형 함수형의 보장된(미니맥스) 추정치를 계산하기 위한 혼합 변분 방법을 개발한다. 여기서 해와 노이즈에 대해 알려진 것은 유계 집합 뿐이다. 이 방법은 혼합 변분 방정식에 의해 지배되는 최적 제어 문제로 추정을 공식화하며, 최적 추정치와 추정 오차가 이러한 방정식의 해를 통해 명시적으로 표현됨을 증명한다. 또한 갈레르킨 근사의 수렴성을 확립한다.

ABSTRACT

We investigate the problem of guaranteed estimation of values of linear continuous functionals defined on solutions to mixed variational equations generated by linear elliptic problems from indirect noisy observations of these solutions. We assume that right-hand sides of the equations, as well as the second moments of noises in observations are not known; the only available information is that they belong to given bounded sets in the appropriate functional spaces. We look for linear with respect to observations optimal estimates of solutions of aforementioned equations called minimax or guaranteed estimates. We develop constructive methods for finding these estimates and estimation errors which are expressed in terms of solutions to special mixed variational equations and prove that Galerkin approximations of the obtained variational equations converge to their exact solutions. We study also the problem of guaranteed estimation of right-hand sides of mixed variational equations.

연구 동기 및 목표

• 해와 노이즈에 대해 유계 집합만 알려진 상태에서 두 번째 순서 선형 타원형 미분방정식의 해로부터 선형 함수형의 구조적(보장된, 미니맥스) 추정 방법을 개발하는 것.
• 물리적 양(예: 유량, 기울기)의 직접적인 물리적 의미를 지닌 혼합 변분 형식이 필수적이므로, 기존의 미니맥스 추정 이론을 혼합 변분 형식으로 확장하는 것.
• 유도된 혼합 변분 시스템의 유일한 해 존재성과 갈레르킨 근사가 그 정확한 해로 수렴하는 것을 증명하는 것.
• 이들 혼합 변분 방정식의 해를 통해 보장된 추정치와 추정 오차의 명시적 표현을 도출하는 것.

제안 방법

• 제어는 관측 연산자이고 상태는 변분 시스템의 해가 되는 혼합 변분 방정식에 의해 지배되는 최적 제어 문제로 추정 문제를 공식화하는 것.
• 해와 보조 변수(예: 유량 또는 기울기)를 동시에 결정하는 혼합 변분 형식을 도입하며, 이는 물리적으로 의미 있는 양이며 추정에 핵심적이다.
• 안정성 조건(standard inf-sup 조건) 하에서 유일한 해를 갖는 혼합 변분 방정식의 시스템을 이끌어내기 위해 안정점 문제를 통한 최적성의 필요 및 충분 조건을 도출하는 것.
• 갈레르킨 방법을 적용하여 혼합 변분 방정식의 근사 해를 구성하고, 적절한 노름에서 정확한 해로의 수렴성을 증명하는 것.
• 리스 표현 정리와 쌍대 이론을 사용하여 추정치와 오차를 이중 혼합 변분 문제의 해를 통해 표현하는 것.
• 미니맥스 추정 문제와 관측 공간 위의 제약 최적화 문제 사이의 등가성을 확립하여, 유한 요소 방법을 통한 수치 계산이 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 해와 노이즈에 대해 유계 집합만 알려진 상태에서 두 번째 순서 선형 타원형 미분방정식의 해로부터 선형 함수형의 보장된 추정치를 어떻게 계산할 수 있는가?
• RQ2 불완전한 데이터 상황에서 혼합 변분 형식을 사용하여 보장된 추정치와 추정 오차의 명시적 표현을 유도할 수 있는가?
• RQ3 혼합 변분 방정식의 해를 지배하는 갈레르킨 근사의 수렴 행동은 어떠한가?
• RQ4 동일한 변분 프레임워크를 사용하여 타원형 방정식의 알려지지 않은 우변을 어떻게 추정하고 해결할 수 있는가?
• RQ5 미니맥스 추정 문제와 혼합 변분 방정식에 의해 지배되는 최적 제어 문제 사이의 관계는 무엇인가?

주요 결과

• 선형 함수형의 보장된 추정치는 표준 inf-sup 조건 하에서 유일하게 해가 존재하는 혼합 변분 방정식의 해를 통해 명시적으로 표현된다.
• 추정 오차는 이중 혼합 변분 문제의 해의 노름으로 주어지며, 최악의 평균 제곱 오차에 대한 계산 가능한 상한을 제공한다.
• 혼합 변분 방정식의 갈레르킨 근사는 에너지 노름에서 정확한 해로 수렴하므로 수치적 신뢰성을 확보한다.
• 해로부터의 미니맥스 추정치는 혼합 변분 시스템에 의해 지배되는 최적 제어 문제를 푸는 것과 동치이며, 비용 함수는 노이즈와 데이터 공분산 구조를 포함한다.
• 적분 관측 연산자인 경우, 미니맥스 추정치는 관측값의 선형 함수형으로 표현되며, 계수는 이중 혼합 변분 문제의 해에 의해 결정된다.
• 나코네치의 이전 결과를 일반화하여, 물리적 의미를 지닌 유량, 기울기, 소스 항의 추정이 가능한 혼합 변분 형식으로 프레임워크를 확장한 것이다.