[논문 리뷰] A nonlinear singular perturbation problem

А. Г. Рамм|ArXiv.org|2004. 05. 03.

Differential Equations and Numerical Methods참고 문헌 7인용 수 3

한 줄 요약

이 논문은 해의 한계 방정식에 대한 비선형 연산자의 프레셰 도함수(Fréchet derivative)가 프리드홀름(Fredholm)이거나 가역적이지 않은 힐버트 공간에서 비선형 특이 섭동 문제를 연구한다. 특정한 해석적 성장 조건 $\|(A + \varepsilon)^{-1}\| \leq c\varepsilon^{-1}$을 가정함으로써, $\varepsilon \to 0$일 때 $\|u_\varepsilon - y\| \to 0$이 되는 존재성과 수렴성을 증명하며, 이때 $\|u_\varepsilon - y\| = O(\varepsilon)$이며, 작은 $O(\varepsilon)$-근방에서 유일성을 확립한다. 이 결과는 뉴턴형 커널을 가진 비선형 적분방정식에 적용된다.

ABSTRACT

Let F(u_\ve)+\ve(u_\ve-w)=0 \eqno{(1)} where $F$ is a nonlinear operator in a Hilbert space $H$, $w\in H$ is an element, and $\ve>0$ is a parameter. Assume that $F(y)=0$, and $F'(y)$ is not a boundedly invertible operator. Sufficient conditions are given for the existence of the solution to \eqref{e1.1} and for the convergence $\lim_{\ve o 0}\|u_\ve-y\|=0$. An example of applications is considered. In this example $F$ is a nonlinear integral operator.

연구 동기 및 목표

• 해의 한계 방정식에서 프레셰 도함수 $F'(y)$가 가역적이거나 프리드홀름이 아닐 때, $\varepsilon \to 0$일 때 비선형 연산 방정식 $F(u_\varepsilon) + \varepsilon(u_\varepsilon - w) = 0$의 해 $u_\varepsilon$가 수렴하는지 분석한다.
• 표준적인 가역성 조건보다 약한 조건인 $\|(A + \varepsilon)^{-1}\| \leq c\varepsilon^{-1}$ 하에서, $\|u_\varepsilon - y\| \to 0$의 존재성과 수렴성을 확립한다. 여기서 $A = F'(y)$이다.
• 기존의 특이 섭동 이론이 $F'(y)$가 등장사상 또는 프리드홀름 연산자인 경우에 국한되는 것을 넘어서, 특히 $F'(y)$가 컴팩트이거나 해석적 성장이 특이한 경우에 적용 가능하도록 이론을 확장한다.
• 뉴턴 포텐셜을 포함하는 비선형 적분방정식에 이 이론을 적용 가능함을 보여준다. 여기서 $F(u) = \int_D \frac{u^3(s)}{4\pi|x-s|} ds$이다.

제안 방법

• 방정식 $F(u_\varepsilon) + \varepsilon(u_\varepsilon - w) = 0$을 $z_\varepsilon = u_\varepsilon - y$로 치환함으로써 고정점 문제로 변환하여, $\phi(z_\varepsilon) + \varepsilon z_\varepsilon + \varepsilon(y - w) = 0$을 도출한다. 여기서 $\phi(z) = F(y + z)$이다.
• 테일러 전개 $\phi(z) = Az + K(z)$를 사용하고 $\|K(z)\| \leq \frac{M_2\|z\|^2}{2}$로 제한하며, 방정식을 $z_\varepsilon = -A_\varepsilon^{-1}K(z_\varepsilon) - \varepsilon A_\varepsilon^{-1}(y - w)$로 재구성한다. 여기서 $A_\varepsilon = A + \varepsilon I$이다.
• 해석적 성장 조건 $\|(A + \varepsilon)^{-1}\| \leq c\varepsilon^{-1}$과 $y - w = Av$를 만족하며 $\|v\|$가 충분히 작은 조건 하에, 반경 $R = O(\varepsilon)$인 구 $B(0, R)$에서 샤우더의 고정점 정리를 적용한다.
• 고정점 사상이 작은 구에서 수축임을 보임으로써 유일성을 증명한다. 이를 위해 $\|K(z) - K(v)\| \leq \left(\frac{M_3 R^2}{6} + M_2 R\right)\|z - v\|$의 추정을 사용하고, 작은 $\varepsilon$에 대해 수축 인자가 1보다 작아지도록 한다.
• 구체적인 비선형 적분방정식 $\int_D \frac{u^3(s)}{4\pi|x-s|} ds + \varepsilon(u_\varepsilon - w) = f$에 대해, $f = 0$일 때 해석적 성장 조건을 확인하고, $n=3$일 때 $H^1(D)$에서 소볼레프 공간 추정을 적용한다.
• 해석적 성장 조건을 만족함을 보이고, $R = \varepsilon^{2/3}$인 구에 대해 $T(u) = -\varepsilon^{-1}F(u) + \varepsilon h$가 그 안으로 사상되며, 작은 $\varepsilon$에 대해 수축임을 보여 $H^1(D)$에서 존재성과 수렴성을 확립한다.

실험 결과

연구 질문

• RQ1 프레셰 도함수 $F'(y)$가 가역적이거나 프리드홀름이 아닐 때, $\varepsilon \to 0$일 때 편미분 방정식 $F(u_\varepsilon) + \varepsilon(u_\varepsilon - w) = 0$의 해 $u_\varepsilon$가 $y$로 수렴하는 조건은 무엇인가?
• RQ2 기존의 특이 섭동 이론은 $F'(y)$가 등장사상 또는 프리드홀름 연산자인 경우에 국한되지만, $F'(y)$가 컴팩트 연산자이거나 해석적 성장 조건 $\|(A + \varepsilon)^{-1}\| \leq c\varepsilon^{-1}$을 만족할 경우로 확장 가능한가?
• RQ3 표준적인 가역성 조건이 성립하지 않을 때, $w$에 대한 어떤 조건이 $u_\varepsilon$의 존재성과 수렴성 보장에 기여하는가?
• RQ4 추상적인 수렴 결과를 뉴턴형 커널을 가진 특정한 비선형 적분방정식에 어떻게 적용할 수 있는가?
• RQ5 이러한 경우의 수렴 속도 $\|u_\varepsilon - y\|$는 무엇이며, 작은 $O(\varepsilon)$-근방에서 유일성이 확보될 수 있는가?

주요 결과

• 조건 $\|(A + \varepsilon)^{-1}\| \leq c\varepsilon^{-1}$ 하에서, $A = F'(y)$이고 $F$가 $y$의 근방에서 세 번 연속적으로 프레셰 미분 가능하며 컴팩트일 경우, 모든 충분히 작은 $\varepsilon > 0$에 대해 편미분 방정식의 해 $u_\varepsilon$가 존재한다.
• $\varepsilon \to 0$일 때 수렴 $\|u_\varepsilon - y\| \to 0$이 성립하며, 이 수렴 속도는 $\|u_\varepsilon - y\| = O(\varepsilon)$이다. 이는 순수한 수렴보다 더 강력한 결과이다.
• $y$를 중심으로 반경 $R = O(\varepsilon)$인 구에서 해의 유일성이 성립한다. 이때 $\|v\| < \frac{1}{2M_2 c(1 + c)}$여야 하며, 여기서 $y - w = Av$이고 $c$는 해석적 성장 조건의 상수이다.
• 특정한 적분방정식 $\int_D \frac{u^3(s)}{4\pi|x-s|} ds + \varepsilon(u_\varepsilon - w) = 0$에 대해, $w = \varepsilon h$이고 $\|h\|_{H^1(D)} = 1$일 때, 모든 $\varepsilon \in (0, \varepsilon_0)$에 대해 $H^1(D)$에서 유일한 해 $u_\varepsilon$가 존재한다. 여기서 $\varepsilon_0$는 충분히 작다.
• 해는 $\|u_\varepsilon\|_{H^1(D)} = O(\varepsilon^{2/3})$를 만족하며, $\varepsilon \to 0$일 때 $\|u_\varepsilon\|_{H^1(D)} \to 0$이 되어, 자명한 해 $y = 0$로의 수렴이 확인된다.
• 반경 $R = \varepsilon^{2/3}$로 선택함으로써 $H^1(D)$에서 수축 사상 원리가 성공적으로 적용되었으며, 수축 인자는 $O(\varepsilon^{1/3})$로 작아서 작은 $\varepsilon$에 대해 1보다 작다.