[논문 리뷰] Combining the Runge approximation and the Whitney embedding theorem in hybrid imaging

Giovanni S. Alberti, Yves Capdeboscq|arXiv (Cornell University)|2019. 04. 03.

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

한 줄 요약

이 논문은 $ d \geq 2 $ 차원에서 두 번째 순서 타원 PDE에 대해, 임의의 컴acts부분집합에서 야코비안의 최대질서(즉, 영이 아닌)를 갖는 해를 유도하는 $ 2d $개의 경계조건의 집합이 $ H^{1/2} $ 위상에서 열려 있고 조밀하다는 것을 증명한다. 이 방법은 룬게 근사성질과 윌리엄슨 투영 논증을 조합하여 이러한 해를 구성적으로 구축하며, 사진음향 및 열음향 단층촬영과 같은 하이브리드 영상 모odalities에서 필수적인 강력한 영이 아닌 제약 조건을 가능하게 한다.

ABSTRACT

This paper addresses enforcing non-vanishing constraints for solutions to a second order elliptic partial differential equation by appropriate choices of boundary conditions. We show that, in dimension $d\\geq2$, under suitable regularity assumptions, the family of $2d$ solutions such that their Jacobian has maximal rank in the domain is both open and dense. The case of less regular coefficients is also addressed, together with other constraints, which are relevant for applications to recent hybrid imaging modalities. Our approach is based on the combination of the Runge approximation property and the Whitney projection argument [Greene and Wu, Ann. Inst. Fourier (Grenoble), 25(1, vii):215-235, 1975]. The method is very general, and can be used in other settings.

연구 동기 및 목표

• 하이브리드 영상에서 두 번째 순서 타원 PDE의 해에 대해 야코비안 제약 조건이 영이 아님을 보장하는 문제를 다루는 것.
• 알려지지 않은 계수에 의존하지 않는 경계조건을 통해 야코비안의 최대질서를 갖는 해를 얻을 수 있음을 보여주는 것.
• 이러한 경계조건이 $ 2d $ 해에 대해 $ H^{1/2} $ 위상에서 열려 있고 조밀한 집합을 이룬다는 것을 확립하는 것.
• 야코비안 제약 조건을 초월하여 연관된 물리적 역문제에서 관련된 보다 일반적인 국소적 질서 조건으로 이 방법을 확장하는 것.
• 최소한의 정규성 가정으로도 넓은 범위의 타원 연산자에 적용 가능한 구성적이고 일반적인 프레임워크를 제공하는 것.

제안 방법

• 유일계속성 조건을 만족할 때 유효한 룬게 근사성질을 활용하여 원하는 국소적 행동을 갖는 해를 구성하는 것.
• 콤팩트 집합에서 질서 조건을 유지하면서 필요한 경계조건의 수를 줄이기 위해 윌리엄슨 투영 논증을 적용하는 것.
• 전체 질서를 갖는 $ C^{0,α} $ 사상의 $ k $-튜플 집합이 $ C^{0,α} $에서 열려 있고 조밀하다는 사실을 활용하여, 교차성과 사르드 유사 논증을 적용하는 것.
• 작은 계수를 갖는 해의 선형 조합을 통한 변형 전략을 활용하여, 콤팩트 집합 전역에서 거의 모든 곳에서 전체 질서를 확보하는 것.
• 기울기 사상 $ \zeta(u_i) $ 에 대한 유한차원 질서 조건으로 문제를 환원하고, 매개변수 공간에서 측도론적 논증을 통해 분석하는 것.
• $ 2d $ 경계조건의 경우에 결과를 적용하여, 해당 해 가중치가 $ H^{1/2}(∂\Omega)^{2d} $ 에서 열려 있고 조밀하다는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 알려지지 않은 계수를 가진 두 번째 순서 타원 PDE의 해에 대해, 경계조건을 통해 야코비안이 영이 아님을 보장할 수 있는가?
• RQ2 최대질서 야코비안 해를 유도하는 경계조건의 집합이 $ H^{1/2} $ 위상에서 열려 있고 조밀한가?
• RQ3 기하학적 및 근사 기법을 통해 필요한 경계조건의 수를 유계화하고 최소화할 수 있는가?
• RQ4 런게 근사와 윌리엄슨 투영의 조합이 이러한 제약 조건을 달성하는 구성적 방법을 제공하는가?
• RQ5 이 프레임워크는 야코비안 조건을 초월하여 보다 일반적인 국소적 질서 조건으로 확장 가능한가?

주요 결과

• $ d \geq 2 $ 인 경우, 임의의 컴팩트 $ K \subset \Omega $ 에서 야코비안이 최대질서를 갖는 해를 유도하는 $ H^{1/2}(∂\Omega)^{2d} $ 내의 $ 2d $-튜플 경계조건 집합은 열려 있고 조밀하다.
• 이 방법은 균일 타원 연산자 $ L $ 에 대해 임의의 미묘한 정규성 조건을 만족할 경우에도 적용 가능하며, $ \ell = 0 $ (즉, $ L^\infty $ 계수)의 경우도 포함된다.
• 필요한 경계조건의 수는 $ 2d $ 이하로 유계화되며, 경계 데이터의 소규모 변형에 대해 안정적이다.
• 야코비안 조건 외에도 일반적인 형태의 제약 조건 $ \operatorname{rank}(\nabla u_1, \dots, \nabla u_N) = d $ 에도 적용 가능하다.
• 계수가 뿐만 아니라 $ L^\infty $ 수준에서도 결과가 성립하여, 실제 하이브리드 영상 문제에서 정규성 부족 상황까지 적용 가능성이 확장된다.
• 증명은 윌리엄슨 투영을 통한 교차성 논증에 기반하며, 유한차원 변형에서 계수의 거의 모든 선택에 대해 $ K $ 전역에서 거의 모든 곳에서 질서 조건이 만족됨을 보여준다.