[논문 리뷰] Well-posedness and inverse problems for semilinear nonlocal wave equations

Yi‐Hsuan Lin, Teemu Tyni외 1명|arXiv (Cornell University)|2024. 02. 08.

Numerical methods in inverse problems인용 수 1

한 줄 요약

이 논문은 분수라프라시안에 의해 유도되는 저규칙성 해를 갖는 반선형 비국소 파동방정식에 대해 잘 정의됨을 확립하고, 외부 딜리클레-투-노이만(DN) 측정값으로부터 비선형성과 초기 자료를 유일하게 복원함을 증명한다. 분수라프라시안의 유일 연속성 성질과 룬게 근사 성질을 이용하여, 0 < r ≤ 1인 경우 동차 비선형성 f(x, τ)의 차수 r+1과 초기 자료 (u₀, u₁)가 수동 측정값 조건 하에서도 유일하게 결정됨을 보이며, 관측 가능성 추정이 필요로 하지 않는다는 점—이는 모든 차원 n ∈ ℕ에서 비국소성의 힘을 강조한다.

ABSTRACT

This article is devoted to forward and inverse problems associated with time-independent semilinear nonlocal wave equations. We first establish comprehensive well-posedness results for some semilinear nonlocal wave equations. The main challenge is due to the low regularity of the solutions of linear nonlocal wave equations. We then turn to an inverse problem of recovering the nonlinearity of the equation. More precisely, we show that the exterior Dirichlet-to-Neumann map uniquely determines homogeneous nonlinearities of the form $f(x,u)$ under certain growth conditions. On the other hand, we also prove that initial data can be determined by using passive measurements under certain nonlinearity conditions. The main tools used for the inverse problem are the unique continuation principle of the fractional Laplacian and a Runge approximation property. The results hold for any spatial dimension $n\in \N$.

연구 동기 및 목표

• 분수라프라시안에 의해 유도되는 저규칙성 해를 갖는 반선형 비국소 파동방정식의 잘 정의됨을 확립하기 위해.
• 외부 딜리클레-투-노이만(DN) 측정값으로부터 알려지지 않은 비선형성 f(x, u)을 복원하는 역문제를 다루기 위해.
• 비선형성이 알려지지 않은 상황에서 수동 측정값(즉, 외부 데이터가 0임)을 통해 초기 자료 (u₀, u₁)를 유일하게 결정하기 위해.
• 국소 경우와 달리 관측 가능성 추정이 필요로 하지 않는다는 점에서, 비국소성이 초기 자료 복원에 있어 필수적인 역할을 함을 보여주기 위해.
• 유일 연속성과 룬게 근사 기법을 비선형 비국소 파동방정식으로 확장하기 위해.

제안 방법

• 비국소 파동 역학을 모델링하기 위해 비정수 s > 0인 분수라프라시안 (−Δ)^s 를 사용하며, 유계 리프시츠 도메인 Ω ⊂ ℝⁿ 에서 적용한다.
• 분수라프라시안의 유일 연속성 원리(UCP)를 적용하여, 외부 측정값에서 발생하는 영인 해가 도메인 내로 전파됨을 보장한다.
• 룬게 근사 성질을 활용하여 L²(ΩT)에서 조밀한 해를 갖는 선형 파동방정식의 해를 구성함으로써 비선형 항을 복원한다.
• 성장 조건 하에서 비선형 항 f(x, u)를 L²(ΩT) 및 L²/(r+1)(ΩT) 에서 제어하기 위해 네미츠키 연산자 연속성의 성질을 활용한다.
• 작은 ε에 대한 해의 점근적 전개를 수행한다: uε = εv + Rε, 여기서 v는 선형 파동방정식의 해이며 Rε는 나머지 항이다.
• f(x, τ)의 동차성과 ε → 0일 때 Rε → 0 이라는 수렴성 조건을 이용하여, 역문제를 선형 해로 환원하고, 이후 룬게 근사 기법을 적용한다.

실험 결과

연구 질문

• RQ1 반선형 비국소 파동방정식에서 비선형성 f(x, u)는 외부 딜리클레-투-노이만(DN) 맵을 통해 유일하게 복원될 수 있는가?
• RQ2 비선형성이 알려지지 않은 상황에서, 수동 측정값(즉, 외부 데이터가 0임)을 통해 초기 자료 (u₀, u₁)는 유일하게 결정될 수 있는가?
• RQ3 비국소성이 국소 파동방정식의 경우와 달리, 초기 자료 복원에 있어 관측 가능성 추정이 필요로 하지 않는가?
• RQ4 선형 경우 f(x, u) = a(x)u 에서 DN 맵은 계수 a(x)와 초기 자료 (u₀, u₁)를 모두 유일하게 결정할 수 있는가?
• RQ5 유일 연속성과 룬게 근사 기법의 조합은 비국소 히퍼볼릭 방정식에서 비선형성을 복원하는 데에 충분한가?

주요 결과

• 비선형성 f(x, τ)가 동차이며 차수 r+1(0 < r ≤ 1)인 경우, 방정식 ∂²ₜu + (−Δ)ˢu + f(x, u) = 0 에서 Assumption 3.4의 성장 및 비음성 조건을 만족할 경우 DN 맵이 이를 유일하게 결정함을 보였다.
• 비선형성이 사전에 알려지지 않은 상황에서, UCP와 비국소 구조의 특성 덕분에 수동 측정값(ϕ ≡ 0) 조건 하에서도 초기 자료 (u₀, u₁)가 DN 맵을 통해 유일하게 복원 가능함을 입증하였다.
• 초기 자료 복원 과정에서 관측 가능성 추정이 필요로 하지 않으며, 이는 국소 파동방정식의 경우 일반적으로 필요로 하는 조건과 대비되는 주요 이점이다.
• 선형 경우 f(x, u) = a(x)u 에서, a(x) ∈ Lᵖ(Ω) 또는 L∞(Ω) 이며 (3.10)식을 만족하는 p를 갖는 조건 하에서, 계수 a(x)와 초기 자료 (u₀, u₁)가 DN 맵을 통해 모두 유일하게 결정됨을 보였다.
• 기존 국소 역문제에서 흔히 사용되는 고차 선형화 기법을 피하고, 단일 선형화와 룬게 근사 기법을 활용함으로써 비국소성의 강력함을 극대화하였다.
• 모든 공간 차원 n ∈ ℕ 에서 결과가 성립하며, n에 대한 제약 없이 유한한 시간 영역 T > 0 동안 유효하다.