[논문 리뷰] Hopf maximum principle violation for elliptic equations with non-Lipschitz nonlinearity

Yavdat Il’yasov, Youri V. Egorov|arXiv (Cornell University)|2009. 01. 27.

Advanced Mathematical Modeling in Engineering인용 수 6

한 줄 요약

이 논문은 $n \geq 3$ 인 매끄럽고 별형 도메인 $\Omega \subset \mathbb{R}^n$ 에서 비리아스터릭(non-Lipschitz) 비선형성을 가진 일련의 반선형 타원형 방정식 $-\Delta u = \lambda|u|^{\beta-1}u - |u|^{\alpha-1}u$ 에 대해, $0 < \alpha < \beta < 1$ 이고 $n > 2(1+\alpha)(1+\beta)/((1-\alpha)(1-\beta))$ 인 조건에서, 비정규적이고 비음수인 약한 해의 존재를 확립한다. 충분히 큰 $\lambda$ 에 대해 이러한 해들은 경계에서의 노멀 도함수가 경계의 양의 측도를 가진 부분집합에서 0이 되므로, 헉프 경계 최대원리가 위반된다. 이는 비리아스터릭 비선형성으로 인해 고전적 유일성 및 최대원리 성질이 붕괴됨을 보여준다.

ABSTRACT

We consider elliptic equations with non-Lipschitz nonlinearity $$ -Δu = λ|u|^{β-1}u-|u|^{α-1}u$$ in a smooth bounded domain $Ω\subset \mathbb{R}^n$, $n\geq 3$, with Dirichlet boundary conditions; here $02(1+α) (1+β)/(1-α)(1-β)$.

연구 동기 및 목표

• 비리아스터릭 비선형성이 있는 타원형 방정식에서 고차원($n > 1$)에서 헉프 경계 최대원리가 위반될 수 있는지 조사한다.
• 비음수이면서 딜리클레 조건을 만족함에도 불구하고 경계의 일부에서 정규 도함수가 0인 비정규적 약한 해가 존재하는지 확인한다.
• 특히 큰 $\lambda$ 와 특정 성장 지수 $\alpha$, $\beta$ 에 대해 이러한 해가 나타나는 조건을 규명한다.
• 일차원 영역에서 경계에서 도함수가 0인 해가 존재하는 것으로 알려진 현상을 변분 및 스펙트럼 분석을 통해 고차원 영역으로 확장한다.

제안 방법

• 해의 존재를 지배하는 두 개의 임계 스펙트럼 값 $\Lambda_0$ 와 $\Lambda_1$ 을 정의하기 위해 섬세한 방법(fibering method)과 스펙트럼 분석을 사용한다.
• 해의 존재를 위한 필요 조건을 유도하고 에너지 함수를 제약하기 위해 포호자에브 항등식을 적용한다.
• 네하리 만델(Nehari manifold) 위에서 제약된 최소화 문제를 구성하여 $H^1_0(\Omega)$ 내의 약한 해를 찾는다.
• 하한 및 상한 해 기법을 활용하여, 정규 도함수가 0이 아닌 두 번째 해 $w_\lambda$ 가 존재함을 증명함으로써, 이 해가 비정규적이지 않음을 보장한다.
• 강한 수렴성을 확보하기 위해 $H^1_0$ 에서 컴팩트성과 약한 수렴성 추론을 사용하여 최소화 수열의 수렴성과 극한 해 존재성을 보여준다.
• 에버라인-슐리안 정리와 소보레프 포함을 활용하여 $L^p$ 와 $H^1$ 에서 강한 수렴하는 부분수열을 추출한다.

실험 결과

연구 질문

• RQ1 비리아스터릭 비선형성을 가진 고차원 타원형 PDE에서 헉프 경계 최대원리가 위반될 수 있는가?
• RQ2 비선형성이 0에서 비리아스터릭일 경우, $n > 1$ 인 경우에 경계의 양의 측도 부분집합에서 $\partial u/\partial\nu = 0$ 인 비정규적 해가 존재하는가?
• RQ3 $\alpha$, $\beta$, $n$ 에 대한 어떤 조건이 이러한 해의 존재를 가능하게 하는가? 특히 큰 $\lambda$ 에서의 경우를 고려한다.
• RQ4 $\lambda > \lambda^*$ 일 때 비정규적 해의 집합이 무한한가? 이는 해의 연속체 존재와 어떻게 관련되는가?
• RQ5 변분 방법과 섬세한 방법의 스펙트럼 분석을 통해 이러한 해의 존재를 증명할 수 있는가?

주요 결과

• $n > 2(1+\alpha)(1+\beta)/((1-\alpha)(1-\beta))$ 인 경우, $\lambda^* > 0$ 이 존재하여 모든 $\lambda \geq \lambda^*$ 에 대해 문제 (1.1) 은 $\partial\Omega$ 에서 $\partial u_\lambda / \partial\nu = 0$ 인 비정규적이고 비음수인 약한 해 $u_\lambda$ 를 갖는다.
• 모든 $\lambda > \lambda^*$ 에 대해 비정규적 해의 수는 무한하므로, 이러한 해들이 연속체를 이룬다.
• 각 $\lambda > \lambda^*$ 에 대해, $C^{1}(\overline{\Omega})$ 에 속하는 두 번째 약한 해 $w_\lambda$ 가 존재하며, 이는 비음수이지만 비정규적이지 않다. 이는 $\partial\Omega$ 의 양의 $(n-1)$-차원 측도를 가진 부분집합 $U \subseteq \partial\Omega$ 에서 $\partial w_\lambda / \partial\nu \neq 0$ 를 만족한다.
• 이러한 해의 존재는 비선형성이 0에서 비리아스터릭이기 때문에 경계에서 정규 도함수가 0이 되는 해가 존재할 수 있게 하며, 이는 고전적 헉프 원리 위반을 초래한다.
• 이 증명은 변분 방법, 포호자에브 항등식, 섬세한 방법을 통한 스펙트럼 분석에 기반하며, 임계 값 $\Lambda_0$ 와 $\Lambda_1$ 을 규명한다. 이때 $\lambda^* < \Lambda_0$ 이다.
• 기존의 일차원 현상—즉, 경계에서 도함수가 0인 해가 존재하는 현상—을 고차원 영역으로 확장하였으며, 비리아스터릭 비선형성이 유일성 상실과 최대원리 위반을 초래할 수 있음을 보여준다.