[논문 리뷰] On nonhomogeneous elliptic equations with the Hardy-Leray potentials

Huyuan Chen, Alexander Quaas외 1명|arXiv (Cornell University)|2017. 05. 23.

Nonlinear Partial Differential Equations참고 문헌 34인용 수 20

한 줄 요약

이 논문은 하디-레일리 잠재력이 포함된 비동차 타원형 방정식의 해에 대한 향상된 분포적 항등식을 수립하여, 델타 함수를 통한 고립된 특이점의 정밀한 특성화를 가능하게 한다. 일부 비동차 문제에 대해 비음성 해의 존재하지 않음을 증명하고, 하디 유형의 하한을 만족하는 잠재력이 있는 경우 주 특성값의 존재하지 않음을 규명한다.

ABSTRACT

In this paper, we present some suitable distributional identities of the solutions for nonhomogeneous elliptic equations involving the Hardy-Leray potentials and study qualitative properties of the solutions to the corresponding nonhomogeneous problems by the distributional identities. We address some applications on the nonexistence of some nonhomogeneous problems with the Hardy-Leray potentials and the nonexistence principle eigenvalue with some indefinite potentials.

연구 동기 및 목표

• 표준 시험 함수 공간의 한계를 극복하기 위해 하디-레일리 잠재력을 포함한 비동차 타원형 방정식의 해에 대한 향상된 분포적 항등식을 개발하는 것.
• 특히 하디 연산자의 기본 해를 구별하기 위해 델타 함수 표현을 통한 고립된 특이점의 특성화.
• 하디-레일리 잠재력이 있는 비동차 문제에 대해 비음성 해의 존재하지 않음을 규명하는 것.
• 부정적 잠재력이 하디 유형의 하한을 만족하는 슈뢰딩거 유형 방정식에 대해 주 특성값의 존재하지 않음을 조사하는 것.
• 고전적 또는 변분 방법이 강한 특이성으로 인해 실패할 경우에도 분포 방법의 적용 범위를 확장하는 것.

제안 방법

• C^∞_c(\Omega \setminus \{0\})에 속하는 시험 함수를 사용한 수정된 분포적 항등식을 도입하여 특이 해의 분석을 가능하게 한다.
• 하디 연산자 \mathcal{L}_\mu = -\Delta + \mu |x|^{-2}의 기본 해 \Phi_\mu 및 \Gamma_\mu를 분석하고, \tau_{\pm}(\mu)에 대한 명시적 공식을 유도한다.
• 쌍대 항등식을 도출하기 위해 형식적 수반 연산자 \mathcal{L}^*_\mu = -\Delta - \frac{2\tau_+(\mu)}{|x|^2} x \cdot \nabla 를 정의한다.
• 유계 영역에서 특이 잠재력을 갖는 해를 구성하기 위해 하한 및 상한 해 방법을 적용한다.
• 원점 근처에서의 그린 함수 G_\mu의 행동을 이용하여 비교 추정을 유도한다.
• H^1_0 공간에서 G_\mu의 적분 가능성 성질에 기반한 모순 추론을 사용하여 존재하지 않음을 증명하는 정리들을 제시한다.

실험 결과

연구 질문

• RQ1 하디-레일리 잠재력이 포함된 타원형 방정식의 해에 대한 고립된 특이점을 포괄하기 위해 분포적 항등식을 어떻게 향상시킬 수 있는가?
• RQ2 하디-레일리 잠재력이 포함된 비동차 타원형 문제에서 어떤 조건에서 비음성 해가 존재하지 않는가?
• RQ3 유계 영역에서 잠재력이 a_0 |x|^{-2}에 의해 아래로 유계일 때, 슈뢰딩거 연산자에 주 특성값이 존재하는가?
• RQ4 기본 해 \Phi_\mu 및 \Gamma_\mu는 분포적으로 어떻게 행동하는가? 그리고 쌍대성에 의해 이를 구별할 수 있는가?
• RQ5 임계 하디 상수 \mu_0 = -(N-2)^2/4는 해와 고유값의 존재하지 않음에 어떤 역할을 하는가?

주요 결과

• 수반 연산자 \mathcal{L}^*_\mu를 포함하는 새로운 분포적 항등식을 수립하여 델타 함수를 통한 특이점의 정밀한 추적을 가능하게 한다.
• \mu > \mu_0 이고 g가 원점 근처에서 특정 성장 조건을 만족할 경우, 문제 \mathcal{L}_\mu u = g 는 비음성 해를 갖지 않는다.
• N \geq 3 이면, 적절한 g의 조건 하에서 \mathcal{L}_\mu u = g 는 비자명한 비음성 해를 갖지 않는다.
• N = 2 인 경우, 로그 추정과 그린 함수와의 비교를 통해 동일한 존재하지 않음 결과가 성립한다.
• H^1_0(\Omega)에서 -\Delta u = \lambda V u 문제는 V(x) \geq a_0 |x|^{-2} 를 만족하는 어떤 a_0 > 0 에 대해서도 해를 갖지 않는다. 이는 \lambda a_0 > -\mu_0 이라도 성립한다.
• \mu > \mu_0 이면 \mathcal{L}_\mu 와 관련된 그린 함수 G_\mu 는 H^1_0(\Omega) 에 속하지 않으며, 이는 존재하지 않음 증명의 핵심이다.