[논문 리뷰] An overview on constrained critical points of Dirichlet integrals

Lorenzo Brasco, Giovanni Franzina|arXiv (Cornell University)|2019. 07. 01.

Nonlinear Partial Differential Equations참고 문헌 26인용 수 5

한 줄 요약

이 논문은 라플라스 연산자의 고전적 고유값 문제를 일반화하여 $L^q$-정규화된 함수 위에서 딜레르흐 적분의 제약 조건이 붙은 임계점을 조사한다. 변분 성질, 정칙성 결과, 그리고 $q$-스펙트럼에 대한 열린 문제들을 도출하며, 특히 레인-에임턴 방정식과 하향 및 상향 동차 영역($1<q<2$ 및 $2<q<2^*$)에서의 첫 번째 고유함수의 행동에 초점을 맞춘다.

ABSTRACT

We consider a natural generalization of the eigenvalue problem for the Laplacian with homogeneous Dirichlet boundary conditions. This corresponds to look for the critical values of the Dirichlet integral, constrained to the unit $L^q$ sphere. We collect some results, present some counter-examples and compile a list of open problems.

연구 동기 및 목표

• 단위 $L^q$-구 위에서의 딜레르흐 적분의 임계점을 연구함으로써 딜레르흐-라플라스 연산자의 고전적 고유값 문제를 일반화한다.
• 특히 $1<q<2$ (하향 동차) 및 $2<q<2^*$ (상향 동차) 경우에 대해 $q$-스펙트럼의 변분적 및 분석적 성질을 분석한다.
• $q \neq 2$일 때 고전적 스펙트럼 이론 성질(예: 단순성, 최소성)의 붕괴를 보여주는 반례를 규명하고 제시한다.
• $q$-고유값 이론과 그에 해당하는 고유함수에 관한 열린 문제들을 종합적으로 정리한다.
• 첫 번째 $q$-고유함수의 정칙성 결과를 확립하며, 기울기의 음의 거듭제곱의 국소 적분 가능성과 도함수의 호일더 연속성 등을 포함한다.

제안 방법

• 단위 $L^q(\Omega)$-구 위에서의 딜레르흐 적분 최적화 문제로 $q$-고유값 문제를 수립함으로써 레인-에임턴 방정식 $-\Delta u = \lambda |u|^{q-2}u$를 도출한다.
• 라그랑주 승수법을 적용하여 임계점에 대한 오일러-라그랑주 방정식을 유도함으로써 비선형 고유값 문제를 얻는다. 비선형성은 $|u|^{q-2}u$이다.
• 절단 함수 $\eta$를 사용한 가중 에너지 추정과 잘라내기 기법을 활용하여 $q$-고유함수의 도함수 행동을 제어한다.
• $|\nabla U|^{\alpha}$ 표현식에서 $\varepsilon > 0$을 도입한 정규화 절차를 통해 특이점을 다루고 $\varepsilon \to 0$으로의 극한을 취한다.
• 요우의 부등식과 소볼레프 유형 임베딩을 적용하여 변환된 함수 $F_\varepsilon(U_{x_j})$에 대한 $W^{1,2}$에서의 균일한 유계성을 도출함으로써 약한 컴actness와 정칙성 결론을 이끌어낸다.
• 최소 원리를 적용하여 $\Omega$ 내부에서 $U > 0$임을 유추함으로써, $U$의 하한을 통해 $|\nabla U|^{-\beta}$의 적분 가능성에 대한 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 디리클레-라플라스 연산자의 스펙트럼 성질(예: 이산성, 단순성, 최소성)이 $q \neq 2$일 때 $q$-스펙트럼으로 어떻게 일반화되는가?
• RQ2 특히 $|\nabla u|^{-\beta}$의 적분 가능성과 $|\nabla u|^{(\alpha+2)/2}$의 국소 $W^{1,2}$-정칙성에 대해 첫 번째 $q$-고유함수의 정칙성은 어떠한가?
• RQ3 $q \neq 2$일 때 힐버트 공간의 구조가 없기 때문에 표준 스펙트럼 이론 도구의 적용이 어떻게 제한되는가?
• RQ4 단순성 또는 첫 번째 $q$-고유값의 최소성 실패를 보여주는 반례가 존재하는가?
• RQ5 $q$-스펙트럼의 구조, 특히 상향 동차 영역인 $2 < q < 2^*$에서의 열린 문제는 무엇인가?

주요 결과

• 연결된 도메인 $\Omega$에 대해, 첫 번째 $q$-고유값 $\lambda_1(\Omega;q)$는 단순하며, 부호를 제외한 유일한 양의 최소화자를 갖는다.
• $1 < q < 2$일 때, 첫 번째 $q$-고유함수 $U$는 $\alpha = -2(q-1)/(q-2)$에 대해 $|\nabla U|^{(\alpha+2)/2} \in W^{1,2}_{\rm loc}(\Omega)$를 만족하며, 이는 기울기의 보다 높은 적분 가능성 성질을 의미한다.
• 모든 컴acts $K \Subset \Omega$에 대해, $\{x \in K : |\nabla U(x)| = 0\}$의 임계집합은 $N$-차원 측도가 0이다. 비선형 타원형 미분방정식에서 일반적인 임계집합 제어가 불가능한 상황임에도 불구하고 성립한다.
• $\beta < 1/2$일 때, $U$의 양성과 $U^{q-1}/|\nabla U|^\beta$의 적분 가능성 덕분에 $|\nabla U|^{-\beta}$는 $\Omega$에서 국소 적분 가능하다.
• 정규화된 에너지 추정은 $F_\varepsilon(U_{x_j}) = \int_0^{U_{x_j}} (\varepsilon + \tau^2)^{\alpha/4} d\tau$에 대해 $W^{1,2}$에서 균일한 유계성을 제공하며, $\varepsilon \to 0$일 때 약한 수렴으로 $|U_{x_j}|^{(\alpha+2)/2}$로 수렴한다.
• 방정식에 $\varphi = \eta / (\varepsilon + |\nabla U|)^\beta$를 대입한 테스트 방법을 통해 $\int_{B_r} U^{q-1}/|\nabla U|^\beta \, dx$가 유한한 값을 가지며, 이는 기울기의 역수 거듭제곱의 국소 적분 가능성 확인에 기여한다.