[논문 리뷰] Unique determination of potentials and semilinear terms of semilinear elliptic equations from partial Cauchy data

Oleg Imanuvilov, Masahiro Yamamoto|arXiv (Cornell University)|2012. 05. 20.

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

한 줄 요약

이 논문은 두 차원에서 반선형 타원형 방정식의 역문제에 대해 유일성 결과를 확립하며, 임의의 부분경계에서의 부분 코시 데이터로부터 잠재력 $ q $ 와 반선형 항 $ f(x,u) $ 둘 다 유일하게 결정될 수 있음을 증명한다. 이 접근법은 복소 기하학적 옹크솔루션, 카르레만 추정식, 그리고 점점 큰 매개변수 $ \tau \to \infty $ 에서의 점근적 분석을 결합하여, 특정한 해 궤적에 의해 결정되는 영역에서 $ q_1 = q_2 $ 와 $ f_1 - f_2 = 0 $ 이 성립함을 보여준다.

ABSTRACT

For a semilinear elliptic equation, we prove uniqueness results in determining potentials and semilinear terms from partial Cauchy data on an arbitrary subboundary.

연구 동기 및 목표

• 반선형 타원형 방정식의 미지 계수를 부분 코시 데이터로부터 식별하는 역문제를 다루는 것.
• 반선형 항 $ f $ 가 알려져 있거나 일정한 정규성 및 성장 조건을 만족할 경우 선형 잠재력 $ q $ 의 유일성 증명.
• 잠재력 $ q $ 가 알려져 있을 때 반선형 항 $ f $ 의 유일성 증명.
• $ q $ 와 $ f $ 의 결과를 융합하여 더 강한 정규성 및 성장 조건 하에서 동시 유일성 확보.

제안 방법

• 지수 가중 함수를 갖는 복소 기하학적 옹크솔루션(CGO)을 사용하여 반선형 방정식의 특수한 해를 구성하는 것.
• 비선형 항이 존재하는 상황에서 해와 그 기울기의 행동을 제어하기 위해 카르레만 추정식을 적용하는 것.
• 큰 매개변수 $ \tau \to \infty $ 에서의 점근적 분석을 통해 계수 차이에 대한 정보를 추출하는 것.
• CGO 해의 내적에서 발생하는 진동적 적분을 분석하기 위해 정적 위상 원리를 활용하는 것.
• 해의 차이와 계수의 차이를 포함하는 함수 $ \mathfrak{G}(u_1, v) $ 를 구성하며, 이 함수가 점점 큰 $ \tau $ 에서 점점 0이 됨을 보이는 것.
• 특히 $ \tau \to \infty $ 의 극한에서 부분 코시 데이터 $ \widetilde{\Gamma} $ 에 대한 경계 적분 추정식과 영역 추정식을 사용하는 것.

실험 결과

연구 질문

• RQ1 반선형 타원형 방정식에서 잠재력 $ q $ 는 임의의 부분경계 $ \widetilde{\Gamma} \subset \partial\Omega $ 에서의 부분 코시 데이터로부터 유일하게 결정될 수 있는가?
• RQ2 잠재력 $ q $ 가 알려져 있을 때 반선형 항 $ f(x,u) $ 는 어떤 조건에서 유일하게 복원될 수 있는가?
• RQ3 더 강한 정규성 및 성장 조건 하에서 동시에 $ q $ 와 $ f(x,u) $ 를 부분 코시 데이터로부터 복원하는 것이 가능한가?
• RQ4 비선형성의 구조, 특히 $ u $ 가 매우 클 경우에 비선형성 $ f $ 가 복원의 유일성에 어떤 영향을 미치는가?

주요 결과

• 잠재력 $ q $ 는 부분 코시 데이터 $ \mathcal{C}_{q_1,f_1} = \mathcal{C}_{q_2,f_2} $ 가 동일할 경우, $ C^{2+\alpha} $ 정규성과 $ f $ 에 대한 표준 성장 조건 하에서 $ \Omega $ 전역에서 유일하게 결정된다.
• 잠재력 $ q $ 가 알려져 있고 $ f \in C^{3+\alpha} $ 이며 $ y=0 $ 에서 적절한 성장 및 소멸 조건을 만족할 경우, 반선형 항 $ f $ 는 집합 $ \bigcup_{j\in\{1,2\}}\bigcup_{F\in\mathcal{U}_j}\mathcal{O}_F $ 에서 유일하게 결정된다.
• 더 강한 정규성 및 성장 가정 하에서 $ q $ 와 $ f $ 의 동시 유일성은 영역 $ \bigcup_{j\in\{1,2\}}\bigcup_{F\in\mathcal{U}_j}\mathcal{O}_F $ 에서 성립한다.
• 해의 컴acts부분에서의 사전 $ L^\infty $ 유계성으로 인해 $ f $ 는 임의로 큰 $ y $ 에서 복원될 수 없으며, 이는 유일성의 범위를 제한한다.
• 내적 $ \mathfrak{G}(u_1, v) $ 의 점근적 분석은 정적 위상 공식을 도출하며, 이는 차이 $ q_1 - q_2 $ 를 고립시키고, 조밀성에 의해 내부 점에서 $ q_1 = q_2 $ 를 증명한다.
• 점근 전개에서 경계 적분 항은 $ o(1/\tau) $ 차수에서 사라지며, 이는 진동적 적분 항을 통해 점에서 $ q_1 - q_2 $ 를 회복할 수 있음을 허용한다.