[논문 리뷰] On some nonlinear partial differential equations involving the 1-Laplacian

Mouna Kraïem|arXiv (Cornell University)|2007. 03. 16.

Advanced Mathematical Modeling in Engineering참고 문헌 21인용 수 4

한 줄 요약

이 논문은 $W_0^{1,1}(\bar{\Omega})$에서의 최소화 문제 수열을 통해 1-라플라시안 연산자의 첫 번째 고유함수를 근사하기 위한 페널티 방법을 제안한다. 여기서 이차 페널티 항은 $L^1$-노름 제약 조건을 강제한다. 페널티 매개수 $n \to \infty$일 때, 최소화자들은 $BV(\Omega)$에서 강하게 수렴하여 비음수 최소화자 $\int_\Omega |\nabla u| + \int_{\partial\Omega} |u|$를 이루며, 첫 번째 고유값 $\lambda_1$을 달성한다.

ABSTRACT

In this paper we present an approximation result concerning the first eigenvalue of the 1-Laplacian operator. More precisely, for $Ω$ a bounded regular open domain, we consider a minimisation of the functional ${\ds \int_Ω}| abla u|+n({\ds \int_Ω} |u|-1)^2 $ over the space $W_0^{1,1}(Ω)$. For $n$ large enough, the infimum is achieved in some sense on $BV(Ω)$, and letting $n$ go to infinity this provides an approximation of the first eigenfunction for the first eigenvalue, since the term $n({\ds \int_Ω} |u|^2-1)^2$ "tends" to the constraint $\|u\|_1=1$.

연구 동기 및 목표

• 1-라플라시안 연산자의 첫 번째 고유값과 고유함수에 대한 새로운 변분 근사 방법을 제공하는 것.
• $W^{1,1}(\Omega)$의 반사성이 부족한 점을 보완하기 위해 $W_0^{1,1}(\Omega)$에서 $L^1$-노름에 대한 제약 조건을 가진 페널티 함수를 사용하는 것.
• 유한변화 함수 공간($BV(\Omega)$)에서의 극한 과정을 통해 1-라플라시안에 대한 양수 고유함수의 존재성과 유일성을 확립하는 것.
• 경계 적분 $\int_{\partial\Omega} |u|$를 포함하는 완화된 공식이 타당한 이유를 보이며, 페널티 최소화자가 완화된 기능의 최소화자로 수렴함을 보여주는 것.

제안 방법

• $\|u\|_{L^1} = 1$ 조건 하에서 $\int_\Omega |\nabla u|$의 제약된 최소화를 근사하기 위해 $W_0^{1,1}(\Omega)$에서 $\int_\Omega |\nabla u| + n\left(\int_\Omega |u| - 1\right)^2$의 페널티 함수를 도입한다.
• $BV(\Omega)$에서 수열의 약한 수렴성과 강한 수렴성 성질을 이용하여 $n \to \infty$일 때 페널티 문제의 최소화자들로부터 극한 $u$를 추출한다.
• $TV$와 경계 추적 사상의 하부 연속성 성질을 적용하여 극한을 취하고, 극한 $u$가 $\|u\|_{L^1} = 1$ 조건 하에서 $\int_\Omega |\nabla u| + \int_{\partial\Omega} |u|$를 최소화하는 것을 보여준다.
• 총 변동량과 $L^1$-노름의 수렴성을 증명하여 $u_n$의 $BV(\Omega)$에서의 강한 수렴성을 확보한다.
• $\mathrm{sign}^+(u_n)$의 수렴성과 $-2n(\int_\Omega u_n - 1) \to \lambda_1$의 관계를 이용하여 페널티 항의 점근적 행동을 유도한다.
• $BV(\Omega)$의 $L^1(\Omega)$로의 컴act 임bedding과 측도의 좁은 위상(topology)을 활용하여 완화된 공식의 극한을 정당화한다.

실험 결과

연구 질문

• RQ1 1-라플라시안의 첫 번째 고유함수는 $W_0^{1,1}(\Omega)$에서의 페널티 최소화 문제를 통해 근사될 수 있는가?
• RQ2 $\int_\Omega |\nabla u| + n(\int_\Omega |u| - 1)^2$의 페널티 함수는 $BV(\Omega)$에서 완화된 고유값 문제의 최소화자로 수렴하는 최소화자를 제공하는가?
• RQ3 $n \to \infty$일 때 페널티 문제와 관련된 고유값 $\lambda_{1,n}$의 점근적 행동은 어떠한가?
• RQ4 이 페널티 방법은 경계 적분 $\int_{\partial\Omega} |u|$를 포함하는 고전적인 완화된 공식과 어떻게 관련이 있는가?
• RQ5 페널티 접근법 하에서 극한 고유함수는 유일하고 음수가 아닌가?

주요 결과

• 충분히 큰 $n$에 대해, $\int_\Omega |\nabla u| + n\left(\int_\Omega |u| - 1\right)^2$의 페널티 함수는 $BV(\Omega)$에서 최소값을 가지며, 고유값 문제의 정규화된 근사해를 제공한다.
• $n \to \infty$일 때, 페널티 문제의 최소화자 $u_n$은 $BV(\Omega)$에서 강하게 수렴하여 $\|u\|_{L^1} = 1$ 조건 하에서 $\int_\Omega |\nabla u| + \int_{\partial\Omega} |u|$를 최소화하는 음수가 아닌 함수 $u$로 수렴한다.
• $n \to \infty$일 때, 페널티 문제의 고유값 $\lambda_{1,n}$은 1-라플라시안의 첫 번째 고유값 $\lambda_1$로 수렴한다.
• 극한 함수 $u$는 $\int_\Omega |\nabla u| + \int_{\partial\Omega} |u| = \lambda_1$를 만족함으로써, 완화된 공식이 페널티 문제의 올바른 극한임을 확인한다.
• $-2n(\int_\Omega u_n - 1) \to \lambda_1$의 수렴성은 페널티 매개수와 극한에서의 고유값 사이에 정량적 연관성을 제공한다.
• 이 방법은 $BV(\Omega)$에서의 근사와 컴팩트니스를 활용하여 1-라플라시안에 대한 양수 고유함수의 존재성과 유일성에 대한 새로운 증명을 제공한다.