[논문 리뷰] Past and recent contributions to indefinite sublinear elliptic problems

Uriel Kaufmann, Humberto Ramos Quoirin외 1명|arXiv (Cornell University)|2020. 01. 01.

Nonlinear Partial Differential Equations참고 문헌 36인용 수 3

한 줄 요약

이 논문은 유계 평활 도메인에서 딜리클레 또는 노이만 경계 조건을 갖는 비정상적 비선형 타원형 문제 −Δu = a(x)u^q에 대한 비음수 해의 존재성, 유일성, 양성 성질을 검토한다. 여기서 0 < q < 1 이고 a(x)는 부호를 변화시킨다. 하한-상한 해법과 변분 기법을 통해, 특히 a(x)에 대한 반지름 대칭성과 부호 구조 가정 하에 양해석적(강한 양해석적 포함) 해와 사망핵 해(열린 집합에서 0이 되는 해)의 존재를 위한 충분조건을 확립한다. 주요 기여는 기존 결과의 종합적 정리에 더하여, 최소한의 정규성 및 기하학적 가정 하에서 양해석적 해에 대한 새로운 기준을 제시하는 데 있다.

ABSTRACT

We review the indefinite sublinear elliptic equation $-Δu=a(x)u^{q}$ in a smooth bounded domain $Ω\subset\mathbb{R}^{N}$, with Dirichlet or Neumann homogeneous boundary conditions. Here $0

연구 동기 및 목표

• 부호 변화가 있는 가중치 a(x)를 갖는 비정상적 비선형 타원형 문제 −Δu = a(x)u^q (0 < q < 1)에 대한 기존 결과를 종합하고 확장하는 것. 특히 비음수 해의 존재성과 구조에 중점을 둔다.
• a(x)의 부호와 기하학적 성질이 해가 양해석적, 강한 양해석적, 또는 사망핵(열린 집합에서 0이 되는) 성질을 갖는 데 미치는 영향을 명확히 하는 것.
• 하한-상한 해법과 변분 프레임워크를 사용하여, 비반지름 및 비연속 가중치를 포함한 최소한의 가정 하에 양해석적 해의 존재를 위한 새로운 충분조건을 확립하는 것.
• 비정상적 비선형 문제에서 강한 최대원리가 실패하는 상황을 조사하고, 여전히 양성 성질이 유지되는 조건을 특성화하는 것.
• 미해결 문제와 향후 연구 방향을 규명하며, p-라플라시안 및 일반적인 두阶 타원형 연산자로의 확장을 포함한다.

제안 방법

• Sobolev 공간에서 고정점 정리에 기반해, 순서가 정해진 하한-상한 해를 구성함으로써 하한-상한 해법을 사용해 해의 존재성을 확보한다.
• 변수변환 v = (1−q)⁻¹u¹⁻ⁱ를 적용하여 원래 방정식을 최대원리 적용이 가능한 형태로 변형함으로써, 유일성 증명이 가능하도록 한다.
• 에너지 함수 I_q(u) = ∫_Ω (½|∇u|² − 1/(q+1) a(x)|u|^{q+1}) 를 최소화하는 변분 기법을 적용해 비자명한 해의 존재를 확보한다.
• Ω₊ = {x ∈ Ω : a(x) > 0} 의 기하학적 및 위상수학적 조건(유한한 연결 성분, 내부 구 조건 등)을 도입하여, 유일성 및 양성 결과를 강화한다.
• a(x)에 대한 반지름 대칭성을 도입하여, 예를 들어 a₊와 a₋의 적분을 포함한 부등식과 같은 명시적 충분조건을 유도함으로써, 딜리클레 및 노이만 문제에서의 양해석적 해 존재 조건을 도출한다.
• 가중치 a_δ = b₁ − δb₂를 사용한 비교 논증을 통해, δ가 충분히 클 경우 (PN)의 비자명한 해가 {b₂ > 0} 내의 컴acts부분집합에서 0이 되며, 이로써 사망핵 해를 구성한다.

실험 결과

연구 질문

• RQ1 a(x)와 q ∈ (0,1)에 어떤 조건이 성립할 경우, 딜리클레 문제 (PD)는 양해석적 해를 갖는가? 그리고 그러한 해는 언제 유일한가?
• RQ2 노이만 문제 (PN)에서 비자명한 해의 존재에 있어 ∫_Ω a < 0 조건의 정확한 역할은 무엇이며, 이는 해의 양성과 어떻게 관련되는가?
• RQ3 PN에 대해 비자명한 해를 구성할 수 있으며, 그 해가 열린 부분집합에서 0이 되는 비자명한 사망핵을 갖는가? 이러한 현상이 발생하는 a(x)의 조건은 무엇인가?
• RQ4 비반지름 또는 비연속 가중치 a(x) ∈ L^r(Ω), r > N인 경우, (A.1) 및 (A.2)를 가정하지 않고도 존재성 및 양성 결과를 확장할 수 있는가?
• RQ5 q → 0⁺ 일 때, (PN)의 양해석적 해 u_q ≫ 0 의 점근적 행동은 어떻게 되는가? 특히 IN(a) = (0,1) 인 경우에 대해 설명하라.

주요 결과

• 노이만 문제 (PN)에서 ∫_Ω a < 0 조건은 비자명한 해의 존재에 대해 必要 및 충분조건이며, (A.0) 조건 하에 이러한 해는 P°_N 내에서 유일하다.
• a가 반지름 대칭일 경우, a ≥ 0 on B_{R₀}, a ≤ 0 on A_{R₀,R}, 그리고 부등식 (6.1)을 만족하면 (PD)는 양해석적 해를 갖는다. 추가로 ∫_Ω a < 0 이면 (PN) 역시 양해석적 해를 갖는다.
• 반지름 대칭인 a가 (A.0) 및 B_{R₀}에서 a⁻의 L∞-노름을 포함한 부등식 (6.3)을 만족할 경우, 노이만 문제 (PN)는 강한 양해석적 해 u ≫ 0 를 갖는다. 이는 a⁻의 미분 가능성 또는 단조성 조건 없이도 성립한다.
• a_δ = b₁ − δb₂ 이며 b₁, b₂ ≥ 0, 서로 이격된 지지집합을 가지며 δ가 충분히 클 경우, a = a_δ 및 q ≤ q₀ 인 (PN)의 비자명한 해는 임의의 ρ > 0 에 대해 G_ρ 내에서 0이 되며, 따라서 G_ρ 에서 사망핵을 갖는다.
• PN이 양해석적 해를 갖는 q ∈ (0,1) 의 집합, 즉 IN은 어떤 a에 대해서는 (0,1) 이 될 수 있으며, IN(a_n) = (q_n, 1) 이고 q_n ց 0 인 수열 a_n 이 존재한다.
• P°_D (또는 P°_N) 내에서 Ω₊ 에서의 기저 해의 유일성은 (A.1) 및 (A.2)를 가정하지 않아도 성립하며, [32] 및 Remark 5.2(i) 에서 보여지듯이 더 약한 가정 하에서도 해는 여전히 양해석적이다.