[논문 리뷰] Strictly positive solutions for one-dimensional nonlinear elliptic problems

Uriel Kaufmann, Iván Medri|arXiv (Cornell University)|2014. 05. 14.

Nonlinear Partial Differential Equations참고 문헌 7인용 수 4

한 줄 요약

이 논문은 비선형성의 부호가 변화하는 경우와 부분선형 성장($p \in (0,1)$)을 고려하여, 일차원 비선형 타원형 문제에 대해 엄밀히 양수인 해의 존재성 및 비존재성 조건을 수립한다. 하부 및 상부해법과 적분 추정을 활용하여, 상호비가능한 존재 조건을 도출하고, 해를 허용하는 $p$ 값의 집합을 특성화하며, 비교 원리와 가중치가 부여된 적분 부등식을 통해 일반적인 비선형성으로 결과를 확장한다.

ABSTRACT

We study existence and nonexistence of strictly positive solutions for the elliptic problems of the form $Lu=m\left( x ight) u^{p}$ in a bounded open interval, with zero boundary conditions, where $L$ is a strongly uniformly elliptic differential operator, $p\in\left( 0,1 ight) $, and $m$ is a function that changes sign. We also characterize the set of values $p$ for which the problem admits a solution, and in addition an existence result for other nonlinearities is presented.

연구 동기 및 목표

• 부호가 변화하는 비선형성을 갖는 일차원 비선형 타원형 문제에 대해 엄밀히 양수인 해의 존재에 대한 충분조건과 필요조건을 수립하는 것.
• 해가 존재하는 지수 $p \in (0,1)$의 집합을 특성화하는 것.
• 거듭제곱 형태가 아닌 더 일반적인 비선형성으로 존재성 결과를 확장하는 것.
• 기존 표준 조건이 실패할 경우에도 존재성을 보장하는 가중치 함수 $m(x)$에 대한 상호비가능한 충분조건을 제공하는 것.
• 해가 양의 쌍대의 내부에 있지 않을 수 있음을 보여주며, 부분선형 문제에서 양수성의 미묘함을 부각하는 것.

제안 방법

• 유계 구간 $\Omega = (\alpha, \beta)$ 내에서 문제 $Lu = m(x)u^p$ 에 대해 하부해 및 상부해 기법을 활용하여 비교 프레임워크를 구축한다.
• 그린 함수와 연관된 적분 연산자 $\overline{B}_\alpha$, $\underline{B}_\alpha$ 를 사용하여 해를 추정하고 명시적인 상부해를 구성한다.
• 최대원리를 적용하여 하부해와 상부해를 비교하고, 부분구간에서 $u \leq w$ 를 확보하며, 양수성 실패 시 모순을 유도한다.
• $\|m^+ \underline{B}_\alpha\|_{L^1}$ 와 $\|\overline{B}_\alpha\|_{L^\infty}$ 를 포함하는 적분 부등식을 통해 해의 $L^\infty$ 유계성을 도출한다.
• 일반적인 비선형성 $f(u)$ 의 성장률을 제어하기 위해, $L\varphi = m^+$ 를 만족하는 $\varphi$ 를 이용해 상부해 $k(\varphi + 1)$ 를 구성한다.
• 가중치가 부여된 적분 추정과 매개수 $k$ 를 활용하여 $L(k(\varphi+1)) \geq m f(k(\varphi+1))$ 를 확보함으로써, 영과 무한대 근처에서 거듭제곱 유사한 경계 조건을 만족하는 $f$ 에 대해 존재성을 보장한다.

실험 결과

연구 질문

• RQ1 부호가 변화하는 가중치 함수 $m(x)$ 가 어떤 조건을 만족할 경우, $p \in (0,1)$ 에 대해 문제 $Lu = m(x)u^p$ 가 엄밀히 양수인 해를 갖는가?
• RQ2 해가 존재하는 $p \in (0,1)$ 의 정확한 집합은 무엇이며, 이는 $m(x)$ 와 연산자 $L$ 에 어떻게 의존하는가?
• RQ3 영과 무한대 근처에서 거듭제곱 유사 경계 조건을 만족하는 비선형성 $f(u)$ 에 대해, $f$ 가 반드시 볼록적이거나 단조 증가함이 아닐 경우에도 존재성을 확보할 수 있는가?
• RQ4 엄밀히 양수인 해의 존재를 위한 $m(x)$ 에 대한 필요 조건은 $m^+ \not\equiv 0$ 외에도 존재하는가?
• RQ5 일반 연산자 $L = -u'' + b(x)u' + c(x)u$ 의 경우, $L = -u''$ 인 경우와 비교해 결과는 어떻게 확장되거나 다를까?

주요 결과

• $b \equiv 0$ 인 경우, 엄밀히 양수인 해의 존재에 대해 상호비가능한 두 개의 충분조건을 제시하며, 라플라스 연산자에 대한 이전 결과를 확장하고 개선한다.
• $b \not\equiv 0$ 인 경우, 새로운 충분조건(정리 3.5 및 추론 3.8)을 확립하였으며, 이는 $b \equiv 0$ 인 경우의 조건들과 상호비가능하거나 상호간에 비가비교 가능하다.
• 존재성에 대한 필요조건을 도출하였다(정리 3.11), 즉 $m$ 이 어떤 영역에서 너무 음수일 경우, $m^+ \not\equiv 0$ 이더라도 해가 존재하지 않음을 보여준다.
• 해가 존재하는 $p \in (0,1)$ 의 집합은 $m^-$, $\overline{B}_\alpha$, 그리고 $\|m^+ \underline{B}_\alpha\|_{L^1}$ 을 포함하는 명시적 적분 조건을 통해 특성화된다.
• 영과 무한대 근처에서 $k_1 \xi^p \leq f(\xi) \leq k_2 \xi^p$ 와 $f(\xi) \leq k_3 \xi^q$ 를 만족하는 일반적인 비선형성 $f(u)$ 에 대해, 상부해 $k(\varphi + 1)$ 과의 비교를 통해 존재성을 증명하였다.
• 해 $u$ 는 $\|u\|_{L^\infty} \leq \underline{K}$ 를 만족하며, 여기서 $\underline{K} = \left[k_1 \int_\alpha^\beta \overline{B}_\alpha(x) \|m^+ \underline{B}_\alpha\|_{L^1(\alpha,x)} dx\right]^{1/(1-p)}$ 이다. 이는 거듭제곱 경계 조건이 적용됨을 보장한다.