[논문 리뷰] A semilinear problem with a W^{1,1}_0 solution

Lucio Boccardo, Gisella Croce외 1명|arXiv (Cornell University)|2012. 06. 16.

Advanced Mathematical Physics Problems참고 문헌 2인용 수 5

한 줄 요약

이 논문은 비반사적 소볼레프 공간 $W^{1,1}_0(\Omega)$ 내에서 비선형 확산 항에 $|u|$ 가 분모에 포함된 열화된 비선형 타원형 방정식에 대한 분포해의 존재성을 확립한다. 오른쪽 항 $f \in L^2(\Omega)$ 를 근사하고, 사전 추정, 잘라내기 기법, $L^2$ 내에서의 약한 수렴을 사용하여, 저자들은 해 $u$ 가 $W^{1,1}_0(\Omega) \cap L^2(\Omega)$ 에 속함을 증명하며, 이는 이전 결과에서의 경계 사례 $m=2$ 를 해결한다.

ABSTRACT

We study a degenerate elliptic equation, proving the existence of a W^{1,1}_0 distributional solution.

연구 동기 및 목표

• 비선형 확산 항이 $\mathrm{div}\left(\frac{a(x)\nabla u}{(1+b(x)|u|)^2}\right)$ 형태인 열화된 타원형 방정식에 대해 $W^{1,1}_0(\Omega)$ 내에서 분포해의 존재성을 확립한다.
• 이전 결과에서 $W^{1,q}_0$ 해 또는 엔트로피 해를 얻은 바에 비해, 소스 항 $f$ 의 적분 가능성에서 경계 사례 $m=2$ 를 다룬다.
• 특히 특이하거나 열화된 연산자와 관련하여, 반사적 공간 $W^{1,s}_0$ ($s>1$) 를 초월해 $W^{1,1}_0$ 해 이론을 확장한다.
• 표준적인 $L^p$-기반 방법이 컴actness가 부족하여 실패할 경우, 비반사적 소볼레프 공간 내 해에 대한 엄밀한 프레임워크를 제공한다.

제안 방법

• $L^2(\Omega)$ 소스 항 $f$ 를 $L^\infty(\Omega)$ 내의 유계 함수 수열 $\{f_n\}$ 으로 근사하며, $|f_n| \leq |f|$ 이고 $f_n \to f$ 가 $L^2(\Omega)$ 내에서 강하게 수렴하도록 한다.
• 제약된 문제의 형태를 사용하여 샤펜의 정리를 적용한 고정점 원리에 기반해, $H^1_0(\Omega) \cap L^\infty(\Omega)$ 내의 근사해 $u_n$ 을 구성한다.
• 사전 추정을 도출하기 위해, $|u_n| \psi_{i,k}(u_n)$ 형태의 잘라내기 기반 시험 함수를 사용하며, 여기서 $\psi_{i,k}$ 는 $u_n$ 이 수준 $k$ 를 초월할 때의 부호를 근사한다.
• 바이탈리의 정리를 적용해 $\{u_n^2\}$ 의 등적분성(equiintegrability)을 증명하고, $u_n$ 이 $L^2(\Omega)$ 내에서 강한 수렴을 보임을 유도한다.
• $\{\partial_i u_n\}$ 의 등적분성을 확립하고, 덴포르드-페티스 정리를 적용해 $\partial_i u_n$ 이 $L^1(\Omega)$ 내에서 $\partial_i u$ 로 약한 수렴을 함을 증명하며, 이는 $u \in W^{1,1}_0(\Omega)$ 를 보여준다.
• 약한 공식에서의 극한을 취할 때, $\frac{\nabla u_n}{1+B|u_n|}$ 이 $L^2(\Omega)^N$ 내에서 $\frac{\nabla u}{1+B|u|}$ 로 수렴하고, $\frac{1+B|u_n|}{(1+b(x)|u_n|)^2}$ 가 $L^\infty(\Omega)$ 내에서 강한 수렴을 보임을 이용한다.

실험 결과

연구 질문

• RQ1 비선형 확산 항에 $|u|$ 가 분모에 포함된 $L^2$ 데이터를 가진 열화된 타원형 문제에 대해, $W^{1,1}_0(\Omega)$ 내에서 분포해가 존재할 수 있는가?
• RQ2 이전 결과에서 $q<2$ 인 $W^{1,q}_0$ 해나 엔트로피 해를 얻은 바에 비해, $f$ 의 적분 가능성에서 임계 사례 $m=2$ 는 어떻게 되는가?
• RQ3 표준적인 $L^p$-기반 컴팩턴스가 실패할 경우, 비반사적 공간 $W^{1,1}_0(\Omega)$ 내에서 해를 얻는 것은 가능한가?
• RQ4 $u_n$ 이 $W^{1,1}_0$ 내에서 오직 약하게 수렴할 경우, 비선형 항 $\frac{a(x)\nabla u_n}{(1+b(x)|u_n|)^2}$ 에서 극한을 어떻게 취할 수 있는가?

주요 결과

• 모든 $f \in L^2(\Omega)$, $a(x) \in [\alpha, \beta]$, $b(x) \in [0, B]$ 에 대해 문제 (1) 은 $W^{1,1}_0(\Omega) \cap L^2(\Omega)$ 내에서 분포해 $u$ 를 가진다.
• 모든 $\varphi \in W^{1,\infty}_0(\Omega)$ 에 대해 약한 공식 $\int_\Omega \frac{a(x)\nabla u \cdot \nabla \varphi}{(1+b(x)|u|)^2} + \int_\Omega u\varphi = \int_\Omega f\varphi$ 가 만족된다.
• 근사해 수열 $\{u_n\}$ 이 $L^2(\Omega)$ 내에서 강하게 $u$ 로 수렴하므로, 약한 공식 내의 저차항 및 우변 항의 수렴이 보장된다.
• $\{\nabla u_n\}$ 이 등적분성을 가지며, $\partial_i u_n$ 이 $L^1(\Omega)$ 내에서 $\partial_i u$ 로 약하게 수렴하므로 $u \in W^{1,1}_0(\Omega)$ 이다.
• $\frac{\nabla u_n}{1+B|u_n|}$ 의 극한이 $L^2(\Omega)^N$ 내에서 $\frac{\nabla u}{1+B|u|}$ 로 약하게 수렴하며, 이는 비선형 연산자에서 극한을 취하는 데 필수적이다.
• 이전 연구를 개선하여, $f$ 의 $L^m$ 적분 가능성에서 경계 사례 $m=2$ 로 존재성을 확장하였으며, 이전 결과에서는 $q<2$ 인 $W^{1,q}_0$ 해나 엔트로피 해만을 제공하였다.