[논문 리뷰] Maximization of the Steklov eigenvalues with a diameter constraint

Abdelkader Al Sayed, Beniamin Bogosel외 2명|arXiv (Cornell University)|2020. 04. 29.

Advanced Mathematical Modeling in Engineering참고 문헌 16인용 수 8

한 줄 요약

이 논문은 지름 제약 조건 하에서 스테클로프 고유값을 최대화하는 문제를 다루며, 구가 첫 번째 비자명한 고유값을 포함해 어떤 경우에도 최대화자일 수 없음을 증명한다. 이는 부피나 둘레 제약 조건과는 반대로, 형태 최적화 기법과 수치 알고리즘을 통해 최적의 볼록 도메인의 존재를 확립하고, 높은 고유값에 대해 최적의 형태가 점점 납작해지고 최적점에서 다중 고유값을 가지며, 수치 결과로 $ k = 1,2,3 $에 대해 비볼록 최대화자가 존재하는 것으로 확인된다.

ABSTRACT

In this paper, we address the problem of maximizing the Steklov eigenvalues with a diameter constraint. We provide an estimate of the Steklov eigenvalues for a convex domain in terms of its diameter and volume and we show the existence of an optimal convex domain. We establish that balls are never maximizers, even for the first non-trivial eigenvalue that contrasts with the case of volume or perimeter constraints. Under an additional regularity assumption, we are able to prove that the Steklov eigenvalue is multiple for the optimal domain. We illustrate our theoretical results by giving some optimal domains in the plane thanks to a numerical algorithm.

연구 동기 및 목표

• 고정된 지름 제약 조건 $ D(\Omega) = d_0 $ 하에서 스테클로프 고유값 $\sigma_k(\Omega)$ 의 최대화 문제를 다루는 것.
• 지름 제약 조건 하에서 스테클로프 고유값 최대화 문제에 대해 최적의 볼록 도메인의 존재를 확립하는 것.
• 부피나 둘레 제약 조건에서 알려진 최대화 성질과는 달리, 구가 지름 제약 조건 하에서 $\sigma_k(\Omega)$ 의 최대화자인지 여부를 조사하는 것.
• 특히 고유값의 중복성과 지름 제약 조건이 정확히 두 점에서 포화되는 것과 같은 최적 도메인의 구조를 분석하는 것.
• 볼록성 가정 없이 최적 도메인을 계산하는 데 사용할 수 있는 수치 알고리즘을 개발하고 검증하는 것.

제안 방법

• 스테클로프 고유값의 양의 동차성($\sigma_k(t\Omega) = \sigma_k(\Omega)/t$)을 활용하여 지름 제약 조건 문제를 $D(\Omega)\sigma_k(\Omega)$ 를 최대화하는 등가의 비제약 문제로 재구성한다.
• 형태 미분 이론을 적용하여 스테클로프 고유값과 지름 기능에 대한 기울기 정보를 유도하고, 이를 수치 최적화에 활용한다.
• 고정된 간격 $[-D/2, D/2]$ 에서 정의된 두 함수 $f_1, f_2$ 를 이용한 평면 도메인의 매개화를 적용하고, 이에 따라 볼록성을 확보하기 위해 이산적 볼록성/오목성 제약 조건을 도입한다.
• FreeFEM에서 유한요소 방법을 사용하여 이산화된 도메인에서 스테클로프 고유값 문제를 수치적으로 해결한다.
• 경계의 법선 방향 변화에 해당하는 $f_1$ 과 $f_2$ 의 변형을 통해 $\sigma_k(\Omega)D(\Omega)$ 를 최대화하는 경사형 최적화 알고리즘을 구현한다.
• 두 번째 수치적 접근에서는 볼록성 제약 조건을 완화하여 비볼록 최대화자를 탐색하고, 최적 형태가 반드시 볼록일 필요가 없음을 확인한다.

실험 결과

연구 질문

• RQ1 임의의 차원에서 지름 제약 조건 하에서 첫 번째 비자명한 스테클로프 고유값 $\sigma_1(\Omega)$ 의 최대화자가 구인가?
• RQ2 지름 제약 조건 하에서 $\sigma_k(\Omega)$ 의 최적 도메인이 최적점에서 다중 고유값을 가지는가?
• RQ3 최적 도메인에서 지름 제약 조건이 정확히 두 점에서 포화되는가? 이 성질은 다양한 고유값에 걸쳐 유지되는가?
• RQ4 고유값 $k$ 가 증가함에 따라 $\sigma_k(\Omega)$ 의 최적 형태는 어떻게 변화하며, 납작해지는가?
• RQ5 비볼록 도메인이 볼록 도메인보다 높은 값을 $\sigma_k(\Omega)D(\Omega)$ 에서 제공할 수 있는가? 이는 볼록성 가정 없이 최대화자가 존재하는가에 대한 함의를 무엇을 뜻하는가?

주요 결과

• 모든 $k \geq 1$ 에 대해 지름 제약 조건 하에서 구는 $\sigma_k(\Omega)$ 의 최대화자일 수 없으며, 이는 부피나 둘레 제약 조건에서의 최대화 성질과는 정반대이다.
• 첫 번째 고유값의 경우 최적 도메인은 $\sigma_1(\omega_1^*)D(\omega_1^*) = 2.13623$ 를 만족하며, 수치적 형태는 모서리 부근에서 약간의 비볼록성을 보인다.
• For $k=2$, 최적 도메인은 $\sigma_2(\omega_2^*)D(\omega_2^*) = 4.92925$ 를 얻으며, 경계 일부에서 볼록성에서의 명백한 이탈이 관찰된다.
• For $k=3$, 최적 도메인은 $\sigma_3(\omega_3^*)D(\omega_3^*) = 7.76108$ 를 얻으며, 볼록 케이스와는 뚜렷한 형태의 차이를 보인다.
• 각 $k$ 에 대해 최적 도메인은 정규성 가정 하에 다중 스테클로프 고유값을 가짐을 증명하였다.
• 모든 수치적 해에서 지름 제약 조건이 정확히 두 점에서 포화되어 있으며, 이는 이론적 기대와 일치한다.