[논문 리뷰] On the H\\"{o}pf Boundary Lemma for quasilinear problems involving singular nonlinearities and applications

Francesco Esposito, Berardino Sciunzi|arXiv (Cornell University)|2018. 10. 31.

Nonlinear Partial Differential Equations참고 문헌 28인용 수 24

한 줄 요약

이 논문은 $C^{2,\alpha}$ 영역에서 $-\Delta_p u = u^{-\gamma} + f(u)$ 형태의 비선형성과 특이성을 가진 준선형 타원형 방정식에 대해 일반화된 Höpf 경계 보조정리를 수립한다. 경계 근처에서 새로운 스케일링 방법을 도입함으로써, 해가 경계에서 $C^1$ 정규성을 갖지 않더라도 경계 근처에서 정규 도함수 $\partial_\nu u > 0$에 대한 날카운 추정을 도출한다. 주요 기여는 반공간에서의 해에 대한 분류 결과로, 해가 경계에서 $M x_N^{p/(\gamma+p-1)}$와 유사하게 행동함을 증명함으로써, 이동 평면 방법을 이용한 대칭성 결과 적용 가능성을 확보한다.

ABSTRACT

In this paper we consider positive solutions to quasilinear elliptic problem with singular nonlinearities. We provide a H\\"{o}pf type boundary lemma via a suitable scaling argument that allows to deal with the lack of regularity of the solutions up to the boundary.

연구 동기 및 목표

• 특이 비선형성을 가진 준선형 타원형 문제에서 해가 경계 근처에서 $C^1$ 정규성이 부족한 문제를 다루기 위해.
• 해가 경계에서 $C^1$ 정규성을 기반으로 하는 기존 비교 방법에 의존하지 않는 새로운 경계 분석 기법을 개발하기 위해.
• 기울기가 발산할 수 있는 경우에도 경계 근처에서 양해의 정규 도함수에 대한 날카운 추정을 확립하기 위해.
• 반공간에서의 해에 대한 분류 결과를 증명하여, 경계 근처에서의 정확한 점근적 행동을 규명하기 위해.
• 새로운 경계 보조정리를 활용하여 대칭 영역에서 이동 평면 방법을 적용해 대칭성 및 단조성 결과를 증명하기 위해.

제안 방법

• 유한한 영역에서의 원래 문제에서 반공간 $\mathbb{R}^N_+$에서의 극한 문제로의 이행을 위해 스케일링 방법을 사용한다.
• 반공간 $\mathbb{R}^N_+$에서 $-\Delta_p u = u^{-\gamma}$를 분석하여 거듭제곱형 감쇠 조건 하에서 해를 분류한다.
• 서브해와 슈퍼해의 형태인 $u_1 = s_1 \phi_1^t$ 및 $u_2 = s_2 \phi_1^t$를 사용하여 경계 근처에서 비교 원리를 적용한다. 여기서 $\phi_1$는 첫 번째 고유함수이다.
• 해 $u$를 스케일된 형태 $\beta u$와 비교하여 경계 근처 $I_\delta(\partial\Omega)$에서 하한 및 상한을 도출한다.
• 약한 비교 원리(보조정리 3.1)를 사용하여 서로 다른 스케일링 계수를 가진 해들을 엄밀히 비교함으로써, 도출된 추정이 도메인 전역에서 유효함을 보장한다.
• 새로운 경계 보조정리와 함께 이동 평면 방법을 적용하여 엄격히 볼록하고 대칭인 영역에서 해의 대칭성 및 단조성을 증명한다.

실험 결과

연구 질문

• RQ1 해가 경계에서 $C^1$ 정규성을 갖지 않을 경우, 특이 비선형성을 가진 준선형 문제에 대해 Höpf 유형 경계 보조정리를 수립할 수 있는가?
• RQ2 특이 $p$-라플라스 방정식 설정에서 해가 경계 근처에서 정확한 점근적 행동을 어떻게 보이는가?
• RQ3 경계 정규성이 부족한 상황에서도 이동 평면 방법을 특이 준선형 문제에 성공적으로 적용할 수 있는가?
• RQ4 어떻게 스케일링 방법을 사용하여 경계 행동 분석을 반공간 문제로 환원할 수 있는가?
• RQ5 특이성이 존재하는 상황에서 정규 도함수가 경계 근처에서 여전히 양수임을 보장하는 조건은 무엇인가?

주요 결과

• Höpf 유형 경계 보조정리가 증명됨: 임의의 $\beta > 0$에 대해, 경계 근처 영역 $I_\delta(\partial\Omega)$가 존재하여, 정규 방향 $\nu(x)$가 내부 법선 $\eta(x)$와 최소 $\beta$ 이상의 각을 이룰 경우 $\partial_\nu u > 0$임을 보장한다.
• 반공간 $\mathbb{R}^N_+$에서 $-\Delta_p u = u^{-\gamma}$를 만족하고 $\partial\mathbb{R}^N_+$에서 $u=0$인 해는 $u(x) = M x_N^{p/(\gamma+p-1)}$로 분류되며, 여기서 $M = \left[\frac{(\gamma+p-1)^p}{p^{p-1}(p-1)(\gamma-1)}\right]^{1/(\gamma+p-1)}$이다.
• $C^{2,\alpha}$ 유계 영역 $\Omega$에서 해 $u$는 경계 근처에서 $m_1 \text{dist}(x,\partial\Omega)^{p/(\gamma+p-1)} \leq u(x) \leq m_2 \text{dist}(x,\partial\Omega)^{p/(\gamma+p-1)}$를 만족하며, 명시적인 상수 $m_1, m_2 > 0$가 존재한다.
• 이동 평면 방법을 성공적으로 적용하여, 엄격히 볼록하고 대칭인 영역에서 양해는 대칭 평면에 대해 대칭이며, 대칭 방향으로 엄격히 증가함을 증명하였다.
• $\Omega$가 구일 경우, 결과는 회전 대칭성으로 확장되어 해가 회전 대칭이면서 반경 방향으로 감소함을 보여준다.
• 해가 경계에서 $C^1$ 정규성을 갖지 않더라도 스케일링 방법과 반공간에서의 거듭제곱형 서브해 및 슈퍼해와의 비교를 통해 증명 기법이 $C^1$ 경계 정규성에 의존하지 않음을 보였다.