[논문 리뷰] AN ELLIPTIC EQUATION WITH A MILD SINGULARITY AT u = 0: EXISTENCE AND HOMOGENIZATION

Daniela Giachetti, Pedro J. Martínez−Aparicio외 1명|arXiv (Cornell University)|2015. 02. 22.

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

한 줄 요약

이 논문은 비선형성 $ g(u) $가 $ u = 0 $ 근처에서 $ 1/u^\gamma $와 유사하게 행동하는 반선형 타원형 방정식에 대한 비음성 해의 존재성과 안정성을 증명한다. 이는 강한 계수와 유계 계수 조건 하에서 성립하며, 단조성 조건 하에서 유일성도 입증한다. 또한, 작은 구멍이 여러 개 있는 다공성 영역에서 이러한 방정식의 균질화를 연구한다.

ABSTRACT

In this paper we consider semilinear elliptic equations with singularities, whose prototype is the following \begin{equation*} \begin{cases} \displaystyle - div \,A(x) D u = f(x)g(u)+l(x)& \mbox{in} \; \Omega, u = 0 & \mbox{on} \; \partial \Omega, \end{cases} \end{equation*} where $\Omega$ is an open bounded set of $\mathbb{R}^N,\, N\geq 1$, $A\in L^\infty(\Omega)^{N imes N}$ is a coercive matrix, $g:[0,+\infty) ightarrow [0,+\infty]$ is continuous, and $0\leq g(s)\leq {{1}\over{s^\gamma}}+1$ $\forall s>0$, with $0 1$ if $N=2$, $r=1$ if $N=1$, $f(x), l(x)\geq 0$ a.e. $x \in \Omega$. We prove the existence of at least one nonnegative solution and a stability result; moreover uniqueness is also proved if $g(s)$ is nonincreasing or almost nonincreasing. Finally, we study the homogenization of these equations posed in a sequence of domains $\Omega^\epsilon$ obtained by removing many small holes from a fixed domain $\Omega$.

연구 동기 및 목표

• 주어진 조건 하에서 $ u = 0 $ 근처에서 $ g(u) \leq 1/u^\gamma + 1 $ 형태의 특이 비선형성을 가진 반선형 타원형 방정식에 대한 음이 아닌 약한 해의 존재성을 확립하기 위해.
• 자료와 방정식의 구조에 대한 변화에 따른 해의 안정성을 분석하기 위해.
• 만약 $ g $ 가 비증가이거나 거의 비증가일 경우 해의 유일성을 증명하기 위해.
• 고정된 영역 $ \Omega $ 에서 많은 작은 구멍이 제거된 영역 $ \Omega^\epsilon $ 에서 이러한 방정식의 균질화 극한을 연구하기 위해.

제안 방법

• 특이성이 $ u = 0 $ 에서 발생하므로, 적분 가능성을 확보하기 위해 가중 임베딩 공간과 절단 기법을 사용하여 특이성을 다루기 위해.
• 약한 해의 존재성을 증명하기 위해 하한 및 상한 해의 방법과 사전 추정을 조합하여 $ L^\infty \cap H^1_0 $ 에서의 해 존재성을 확보하기 위해.
• 다공성 영역에서의 균질화 과정을 분석하기 위해 보완된 컴팩턴스와 약한 수렴 기법을 적용하기 위해.
• 행렬 $ A(x) $ 의 강한 조건과 $ f(x), l(x) $ 의 유계성 조건을 활용하여 $ \epsilon $ 에 독립적인 균일 추정을 유도하기 위해.
• 특이성을 다루기 위해 절단된 비선형성을 가진 근사 문제의 수열을 구성한 후, 극한으로의 전환을 수행하기 위해.
• $ \Gamma $-수렴 이론과 이중 척도 수렴을 활용하여 $ \epsilon \to 0 $ 근처에서의 균질화된 극한 방정식을 규명하기 위해.

실험 결과

연구 질문

• RQ1 어떤 조건 하에서 $ u = 0 $ 에 특이성을 가진 반선형 타원형 방정식이 음이 아닌 약한 해를 갖는가?
• RQ2 해는 특이 비선형성 $ g(u) $ 의 구조에 어떻게 의존하는가? 특히 $ g(u) \leq 1/u^\gamma + 1 $ 인 경우에 대해.
• RQ3 해는 언제 유일한가? 그리고 $ g $ 의 단조성은 유일성에 어떤 역할을 하는가?
• RQ4 작은 구멍이 여러 개인 다공성 영역 $ \Omega^\epsilon $ 에서 정의된 이러한 방정식의 균질화 극한은 무엇인가?
• RQ5 해는 $ \epsilon \to 0 $ 근처에서 어떻게 행동하는가? 그리고 균질화된 영역에서의 효과적 방정식의 구조는 어떠한가?

주요 결과

• 논문은 $ g $ 에 대한 주어진 성장 조건 하에서, $ u \in L^\infty(\Omega) \cap H^1_0(\Omega) $ 인 적어도 하나의 음이 아닌 약한 해가 존재함을 증명한다.
• 해의 수렴이 $ H^1_0(\Omega) $ 에서 강하게 일어남을 보여주는 안정성 결과를 확립한다. 이는 자료와 비선형성의 근사화에 따라 성립한다.
• 만약 $ g $ 가 $ (0, \infty) $ 에서 비증가이거나 거의 비증가일 경우, 해의 유일성이 증명된다.
• 균질화 설정 하에서, $ \Omega^\epsilon $ 에서의 해 $ u^\epsilon $ 이 $ H^1_0(\Omega) $ 에서 약하게 수렴하고 $ L^2(\Omega) $ 에서 강하게 수렴하여 극한 $ u $ 를 이루며, 이는 효과적 계수를 가진 균질화된 방정식을 만족한다.
• 균질화된 방정식은 원래 방정식과 동일한 구조를 유지하지만, 이중 척도 수렴과 보정자 방법을 통해 유도된 효과적 행렬 $ A^\text{hom} $ 을 갖는다.
• 특이 항의 적분 가능성 보장을 위해 $ \gamma < 1 $ 이면 $ N = 1 $, $ \gamma < 2 $ 이면 $ N = 2 $, $ \gamma < 2 $ 이면 $ N \geq 3 $ 인 조건 하에서 존재성 및 수렴 결과가 성립한다.