[논문 리뷰] An Eigenvalue problem for the Infinity-Laplacian

Tilak Bhattacharya, Leonardo Marazzi|arXiv (Cornell University)|2012. 11. 13.

Nonlinear Partial Differential Equations참고 문헌 8인용 수 7

한 줄 요약

이 논문은 점근적 라플라시안 연산자에 대해 유계 도메인에서 주 eigenvalue와 그에 해당하는 양의 eigenfunction의 존재를 입증한다. 이는 점근적 해법과 비교 원리를 사용하여 이루어지며, 구에서 첫 번째 eigenfunction이 반경 방향이면서, 스케일링을 제외한 유일성과 정의 부호를 갖는다. 또한 가중치 함수가 일정할 경우 반경 대칭 해에 대해 무수히 많은 고유값이 존재함을 보인다.

ABSTRACT

We study an eigenvalue problem for the infinity-Laplacian on bounded domains. We prove the existence of the principal eigenvalue and a corresponding positive eigenfunction. The work also contains existence results when the parameter, in the equation, is less than the first eigenvalue. A comparison principle applicable to these problems is also proven. Some additional results are shown, in particular, that on star- shaped domains and on C^2 domains higher eigenfunctions change sign. When the domain is a ball, we prove that the first eigenfunction has one sign, radial principal eigenfunction exist and are unique up to scalar multiplication, and that there are infinitely many eigenvalues.

연구 동기 및 목표

• 유계 도메인에서 점근적 라플라시안 연산자에 대해 첫 번째(주) 고유값과 그에 해당하는 양의 고유함수의 존재를 입증하는 것.
• 고유값 문제의 점근적 해법에 적용 가능한 비교 원리를 입증하는 것.
• 별형 또는 C² 도메인에서 고유함수의 부호 성질을 조사하여, 고유값이 높을수록 고유함수가 부호를 전환함을 보이는 것.
• 구에서 반경 고유함수를 분석하여 스케일링을 제외한 유일성과, 가중치가 일정할 경우 무수히 많은 고유값 존재를 입증하는 것.
• 고유함수의 단조성과 등고선 성질을 통해 첫 번째 고유값을 특성화하는 것.

제안 방법

• 비선형이며 탈퇴하는 타입의 점근적 라플라시안 연산자에 대해 점근적 해법 이론을 사용하는 것.
• 점근적 해법에서 하위해와 초위해를 제어하기 위해 비교 원리를 적용하는 것.
• inf-convolution을 통한 회전된 해의 조합을 이용해 반경 초위해를 구성하는 페론의 방법을 활용하는 것.
• 고유함수를 봉인하고 부호 성질을 유도하기 위해 $ \psi(|x|, L) $ 형태의 명시적 장벽 함수를 구성하는 것.
• 구에서의 반경 고유값 문제를 PDE를 ODE로 축소하고 거듭제곱 함수를 사용해 해를 구하는 것.
• 포함된 도메인에서 첫 번째 고유값의 단조성과 등고선을 분석하여 유일성과 부호 성질을 입증하는 것.

실험 결과

연구 질문

• RQ1 양의 가중치 함수를 갖는 점근적 라플라시안 고유값 문제에 대해 주 고유값이 존재하는가?
• RQ2 유계 도메인에서 점근적 라플라시안에 대해 양의 고유함수를 구성할 수 있는가?
• RQ3 별형 또는 C² 도메인에서 고유값이 높을수록 고유함수는 반드시 부호를 전환하는가?
• RQ4 구에서 반경 고유함수의 첫 번째 고유함수는 스칼라 곱을 제외한 유일한가?
• RQ5 가중치가 일정할 경우 반경 고유함수를 지닌 무수히 많은 고유값이 존재하는가?

주요 결과

• 첫 번째 고유값 $ \lambda_{\Omega} $ 는 존재하며 양수이며, $ C(\overline{\Omega}) $ 내에 해당하는 양의 고유함수를 갖는다.
• 구 $ B_R(o) $ 에서 첫 번째 고유함수는 반경 방향이며, 양수이며 스케일링을 제외한 유일하다.
• 가중치 $ a(x) $ 가 반경 방향이면서 일정할 경우, 반경 고유값 문제에는 무수히 많은 고유값이 존재한다.
• C² 또는 별형 도메인에서는 고유값이 높을수록 고유함수가 부호를 전환한다.
• 첫 번째 고유값은 도메인 포함 관계에 대해 엄격히 단조적이다: $ A \subset B $ 이면 $ \lambda_A > \lambda_B $ 이다.
• 모든 $ \lambda < \lambda_\Omega $ 에 대해 비교 원리가 성립하며, 이는 비동차 문제의 존재 결과를 도출할 수 있다.