[논문 리뷰] Free boundary minimal surfaces of any topological type in Euclidean balls via shape optimization

Henrik Matthiesen, Romain Petrides|arXiv (Cornell University)|2020. 04. 13.

Geometric Analysis and Curvature Flows참고 문헌 22인용 수 16

한 줄 요약

이 논문은 형태 최적화 기법을 사용하여 유클리드 구 안의 임의의 위상 유형을 가진 자유 경계 최소 표면을 구성한다. 첫 번째 비자명한 스테코프 고유값에 대한 등적 문제를 해결함으로써, 저자들은 브랜치가 있는 자유 경계 최소 매장이 이루어지는 최대화 메트릭의 존재를 증명하며, 이는 표면의 위상에 의해 제어되는 차원의 유클리드 구로 이끌어낸다.

ABSTRACT

For any compact surface $Σ$ with smooth, non-empty boundary, we construct a free boundary minimal immersion into a Euclidean Ball $\mathbb{B}^N$ where $N$ is controlled in terms of the topology of $Σ$. We obtain these as maximizing metrics for the isoperimetric problem for the first non-trivial Steklov eigenvalue. Our main technical result concerns asymptotic control on eigenvalues in a delicate glueing construction which allows us to prove the remaining spectral gap conditions to complete the program by Fraser--Schoen and the second named author to obtain such mazimizing metrics. Our construction draws motivation from earlier work by the first named author with Siffert on the corresponding problem in the closed case.

연구 동기 및 목표

• 경계를 가진 임의의 컴act 표면이 유클리드 구에 자유 경계 최소 매장이 존재하는지에 대한 문제를 해결하기 위해.
• 길이 정규화 하에 첫 번째 비자명한 스테코프 고유값이 상한을 갖는다는 것을 증명하여 변분적 특성화를 확립하기 위해.
• 세밀한 접합 구조를 통해 프레이저–쇼엔 프로그램을 임의의 위상으로 확장하기 위해, 스펙트럼 갭 조건을 증명하기 위해.
• 고유값의 중복도를 통해 표면의 위상에 따라 목표 차원 $N$을 제어하기 위해.
• 프레이저와 쇼엔이 시작한 존재성 프로그램을 완성하기 위해, 스테코프 고유값 등적 문제에 대한 최대화 메트릭의 존재를 증명하기 위해.

제안 방법

• 경계를 가진 컴 pact 표면에서 첫 번째 비자명한 스테코프 고유값 $\sigma_1(\Sigma,g) \cdot L_g(\partial\Sigma)$ 에 대한 등적 문제를 수립하기 위해.
• 형태 최적화를 통해 단위 경계 길이 제약 조건 하에서 $\sigma_1$ 을 최대화하는 임계 메트릭을 식별하기 위해.
• 목이 좁아지는 극한에서 고유값을 점점 제어하기 위해 새로운 접합 구조를 적용하기 위해.
• 고유함수의 점근적 행동과 그들의 경계에서의 $L^2$-내적을 분석함으로써 스펙트럼 갭 조건을 확립하기 위해.
• 임계 스테코프 메트릭과 유클리드 구로의 자유 경계 최소 매장 사이의 연결 고리를 활용하기 위해.
• 두 번째 공저자의 스펙트럼 갭 기준을 활용하여 상한이 매끄러운 메트릭에 의해 달성된다는 것을 검증하기 위해.

실험 결과

연구 질문

• RQ1 경계가 비어 있지 않은 임의의 컴 pact 표면에 대해 유클리드 구로의 자유 경계 최소 매장을 구성할 수 있는가?
• RQ2 모든 표면 위상에 대해 단위 경계 길이 제약 조건 하에서 첫 번째 비자명한 스테코프 고유값이 최댓값을 갖는가?
• RQ3 세밀한 접합 구조를 통해 스펙트럼 갭 조건을 확립하여 최대화 메트릭의 존재를 보장할 수 있는가?
• RQ4 목표 유클리드 구의 차원 $N$은 표면의 위상 불변량에 따라 어떻게 달라지는가?
• RQ5 모든 위상에 대해 스테코프 고유값 최대화를 위한 프레이저–쇼엔 프로그램은 완료되었는가?

주요 결과

• 경계가 비어 있지 않은 임의의 컴 pact 표면 $\Sigma$ 에 대해, $N$이 $\Sigma$ 의 위상에 따라 달라지는 유클리드 구 $\mathbb{B}^N$ 으로 브랜치가 있는 자유 경계 최소 매장이 존재한다.
• 상한 $\sigma_1(\Sigma,g) \cdot L_g(\partial\Sigma)$ 는 매끄러운 메트릭 $g$ 에 의해 달성되며, 이는 첫 번째 비자명한 스테코프 고유값에 대한 등적 문제를 해결한 것이다.
• 목표 구의 차원 $N$ 은 매장 아래에서의 메트릭의 첫 번째 스테코프 고유값의 중복도에 의해 제어된다.
• 접합 구조는 고유값의 점근적 제어를 가능하게 하며, 필요한 스펙트럼 갭 조건을 충족시킴을 보장한다.
• 이 결과는 프레이저와 쇼엔의 종수 0 표면에 대한 작업을 일반화하고 재증명하며, 모든 위상으로 확장한다.
• 증명은 $\sigma_1(\gamma,k) > \sigma_1(\gamma-1,k+1)$ 와 $\sigma_1(\gamma,k) > \sigma_1(\gamma,k-1)$ 를 $\gamma \geq 0$, $k \geq 2$ 에 대해 확립하며, 귀납법을 통해 최대화자의 존재를 보장한다.