[논문 리뷰] Quasilinear eigenvalues

Julián Fernández Bonder, Juan Pablo Pinasco외 1명|arXiv (Cornell University)|2014. 02. 26.

Advanced Mathematical Modeling in Engineering참고 문헌 36인용 수 7

한 줄 요약

이 논문은 단조성과 동차성 구조를 갖는 일반적인 비선형 타원형 연산자에 대한 p-라플라시안 고유값 이론을 확장한다. 비선형 고유값의 균질화 결과를 입증하며, 주기적 변동에 따른 고유값과 고유함수의 수렴성을 보이며, 고유도메인 측도에 대한 동일한 상한이 변동 스케일에 관계없이 유지됨을 보인다.

ABSTRACT

In this work, we review and extend some well known results for the eigenvalues of the Dirichlet $p-$Laplace operator to a more general class of monotone quasilinear elliptic operators. As an application we obtain some homogenization results for nonlinear eigenvalues.

연구 동기 및 목표

• 기존의 p-라플라시안 고유값 결과를 더 넓은 범위의 비선형, 단조성 타원형 연산자로 일반화한다.
• 이러한 일반화된 연산자의 변분 스펙트럼과 스펙트럼 성질을 분석한다.
• 계수와 가중치의 주기적 변동 하에서 비선형 고유값의 균질화 결과를 수립한다.
• 균일한 하한을 고유도메인의 측도에 대해 확립한다. 이 하한은 균질화 매개변수에 독립적이다.
• 균질화 극한에서 고유값과 고유함수의 수렴성을 보인다.

제안 방법

• 동차성과 단조성을 갖는 $ a(x,\xi) $를 갖는 발산형 $ -\operatorname{div}(a(x,\nabla u)) = \lambda \rho(x)|u|^{p-2}u $ 을 통한 비선형 연산자의 고유값 문제를 수립한다.
• 변분 방법과 임계점 이론을 사용하여 스펙트럼과 고유함수를 정의한다.
• 집중-콤팩트니스와 단조성 기법을 적용하여 주기적 변동 하에서 고유함수의 행동을 분석한다.
• p-라플라시안과 $\mu_1(\mathcal{N})$ 에 대한 기존 추정치를 비교하여 고유도메인 측도에 대한 균일한 하한을 확립한다.
• 크라스노스체르스키의 기하학적 성질과 대칭 임계점 이론을 사용하여 고유값을 최소-최대 원리에 의해 특성화한다.
• 고유도메인 제어를 통한 상한과 하한 추정을 조합하여 고유값 $\lambda_k^\varepsilon$ 이 한계 고유값 $\lambda_k$ 로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 p-라플라시안의 스펙트럼 성질은 동차성 구조를 갖는 더 일반적인 비선형, 단조성 연산자로 어떻게 일반화될 수 있는가?
• RQ2 계수와 가중치의 주기적 균질화 하에서 고유값과 고유함수의 행동은 어떠한가?
• RQ3 균질화 매개변수 $\varepsilon$ 에 관계없이 고유도메인의 측도에 대한 균일한 하한을 확립할 수 있는가?
• RQ4 진동 문제의 $k$-번째 고유값은 극한 문제의 $k$-번째 고유값으로 수렴하는가?
• RQ5 변분 스펙트럼과 일반화된 고유값 문제의 실제 스펙트럼 사이의 관계는 무엇인가?

주요 결과

• 진동 문제의 $k$-번째 고유값 $\lambda_k^\varepsilon$ 는 $\varepsilon \to 0$ 일 때 극한 문제의 $k$-번째 고유값 $\lambda_k$ 로 수렴한다.
• 고유함수 $u_k^\varepsilon$ 의 각 고유도메인의 측도는 $\varepsilon$ 에 관계없이 양수인 상수 $C(k)$ 로부터 하한이 보장되어 있으며, 이는 농축이 일어나지 않음을 보장한다.
• 각 고유도메인에서의 첫 번째 고유값은 $\lambda_{1,i}^\varepsilon \to \lambda_{1,i} = \lambda_k$ 로 수렴하며, 이때 $\lambda_{1,i}$ 는 극한에서 $k$-번째 고유값과 같다.
• 상한 $\lambda_k^\varepsilon \leq \max_i \lambda_{1,i}^\varepsilon$ 이 성립하며, $\lambda_{1,i}^\varepsilon \to \lambda_k$ 이므로 $\limsup_{\varepsilon \to 0} \lambda_k^\varepsilon \leq \lambda_k$ 가 도출된다.
• 고유도메인 측도 제어와 고유값이 $\lambda_k$ 이하로 떨어질 수 없음이라는 사실을 바탕으로 하한 $\lambda_k \leq \liminf_{\varepsilon \to 0} \lambda_k^\varepsilon$ 이 확립된다.
• 상한과 하한의 조합을 통해 $\lim_{\varepsilon \to 0} \lambda_k^\varepsilon = \lambda_k$ 가 도출되며, 이는 $k$-번째 고유값의 수렴성을 증명한다.