[논문 리뷰] Existence of solutions for a singularly perturbed nonlinear non-autonomous transmission problem

Riccardo Molinarolo|arXiv (Cornell University)|2022. 11. 22.

Differential Equations and Numerical Methods참고 문헌 26인용 수 5

한 줄 요약

이 논문은 크기가 ε인 소형 포함체를 가진 다공성 도메인에서 라플라스 연산자를 포함하는 비선형 비자율 전송 문제에 대한 해의 존재성을 확립한다. 기능해석적 접근을 통해 ε > 0 이며 충분히 작은 경우, 해 매핑 ε ↦ (uₒ, uᵢ)가 ε에 대해 실해석적임을 증명하며, 이는 부드러운 종속성과 바나흐 공간 내에서의 해석적 계속을 통한 점근 분석을 보장한다.

ABSTRACT

In this paper we analyse a boundary value problem for the Laplace equation with a nonlinear non-autonomous transmission conditions on the boundary of a small inclusion of size $ε$. We show that the problem has solutions for $ε$ small enough and we investigate the dependence of a specific family of solutions upon $ε$. By adopting a functional analytic approach we prove that the map which takes $ε$ to (suitable restrictions of) the corresponding solution can be represented in terms of real analytic functions.

연구 동기 및 목표

• 크기가 ε인 소형 포함체를 가진 비선형 비자율 전송 문제에 대한 해의 존재성을 확립한다.
• ε → 0+일 때 해 가중치 가중치 (uₒ, uᵢ)의 점근적 행동을 분석한다.
• 소규모 변화의 맥락에서 해 매핑 ε ↦ (uₒ, uᵢ)의 정칙성과 해석적 종속성에 대해 연구한다.
• 외부 도메인과 포함체 사이의 경계에서 비선형 전송 조건을 다루기 위한 기능해석적 프레임워크를 제공한다.
• 비선형, 비자율 전송 문제에 대해 바나흐 공간 내에서 실해석적 계속을 통해 점근 분석 기법을 확장한다.

제안 방법

• 다공성 도메인 Ω(ε) = Ωᵒ \ εΩⁱ에서 라플라스 방정식에 대한 비선형 전송 문제를 설정하고, ε∂Ωⁱ에서 비자율 전송 조건을 적용한다.
• 해 매핑 ε ↦ (uₒ, uᵢ)를 히올더 연속 함수의 바나흐 공간 간의 사상으로 간주하기 위해 기능해석적 프레임워크를 활용한다.
• 충분히 작은 ε > 0에 대해 바나흐 공간 내에서의 은둔함수정리(implicit function theorem)를 적용하여 해의 존재성을 증명한다.
• 해 매핑이 0의 주변에서 ε에 대해 실해석적임을 보이기 위해 실해석적 계속 이론을 적용한다.
• 해의 연산자에 대한 급수 전개를 (w − w*)의 거듭제곱에 따라 활용하여 페티스 적분과 다중선형 연산자를 통해 해를 표현한다.
• 균일 수렴과 지배 수렴 원리를 적용하여 해석적 표현에서 합과 적분의 순서를 바꾸는 것을 정당화한다.

실험 결과

연구 질문

• RQ1 비선형 비자율 전송 문제는 충분히 작은 ε > 0에 대해 해를 갖는가?
• RQ2 ε → 0+일 때 해 (uₒ, uᵢ)는 어떻게 변화하는가?
• RQ3 해 매핑 ε ↦ (uₒ, uᵢ)는 0의 주변에서 ε에 대해 실해석 함수로 표현될 수 있는가?
• RQ4 해의 점근 전개는 ε의 거듭제곱과 포함체의 기하학적 구조에 따라 어떤 구조를 가지는가?
• RQ5 비선형 전송 조건은 기능해석적 방법을 통해 ε에 대한 부드러운 종속성을 보장할 수 있는가?

주요 결과

• 적절한 정칙성 및 소형 조건 하에 F와 G에 대해 모든 ε ∈ (0, ε₀)에 대해 (uₒ, uᵢ) ∈ C¹,α(Ω̅(ε)) × C¹,α(εΩⁱ)인 해가 존재한다.
• 0의 주변에서 해 매핑 ε ↦ (uₒ, uᵢ)는 ε에 대해 실해석적임을 보이며, 이는 해가 ε에 대한 수렴하는 멱급수 전개를 가짐을 의미한다.
• 해의 연산자는 다중선형 연산자 bᵢⱼ(τ′ₗ, w*)과 분할된 간격 Iₗ 위의 적분을 포함하는 급수를 통해 표현되며, 히올더 연속 함수의 바나흐 공간 내에서 수렴을 보장한다.
• 해의 연산자에 대한 페티스 적분 표현은 급수 전개에 대해 균일 수렴과 지배 수렴 원리를 적용하여 정당화된다.
• 실해석적 매핑의 정의에 기반하여 바나흐 공간 간의 실해석적 매핑의 해석성이 (w − w*)의 거듭제곱 급수 전개 수렴성을 통해 확립된다.
• 기능해석적 도구와 해석적 계속을 활용하여 점근 분석 기법을 비선형, 비자율 전송 문제로 확장한다.