[논문 리뷰] Harmonic mappings between singular metric spaces

Chang‐Yu Guo|arXiv (Cornell University)|2017. 02. 16.

Geometric Analysis and Curvature Flows참고 문헌 70인용 수 3

한 줄 요약

이 논문은 특이성 있는 미터 공간 간의 조화 사상의 존재성, 유일성 및 내부 정칙성을 확립하며, 특히 RCD(K,N) 공간에서 NPC 목표로의 결과를 확장한다. 에너지 함수열(Korevaar-Schoen 및 Kuwae-Shioya)을 사용하여 이를 수행한다. 조화 사상에 대해 리우빌 유형 정리를 증명하고, 조화 사상 흐름을 구성함으로써 이전의 결과들을 메트릭 측도 공간에서 곡률 경계가 있는 경우에 통합하고 일반화한다.

ABSTRACT

In this paper, we survey the existence, uniqueness and interior regularity of solutions to the Dirichlet problem of Korevaar and Schoen in the setting of mappings between singular metric spaces. Based on known ideas and techniques, we separate the necessary analytical assumptions to axiomatizing the theory in the singular setting. More precisely, - We extend the existence result of Guo and Wenger [25] for solutions for the Dirichlet problem of Korevaar and Schoen to the purely singular setting. - When Y has non-positive curvature in the sense of Alexandrov (NPC), we show that the ideas of Jost [40] and Lin [52] can be adapted to the purely singular setting to yield local Holder continuity of solutions. - We extend the Liouville theorem of Sturm [67] for harmonic functions to harmonic mappings between singular metric spaces. - We extend the theorem of Mayer [57] on the existence of the harmonic mapping flow and solve the corresponding initial boundary value problem. Combing these known ideas, with the more or less standard techniques from analysis on metric spaces based on upper gradients, leads to new results when we consider harmonic mappings from RCD(K,N) spaces into NPC spaces. One advantage of this type of axiomatization is that it works for minimizers of other Dirichlet energy functional. In particular, as applications of the established theory, we deduce similar results for the Dirichlet problem based on the Kuwae-Shioya energy functional and for the Dirichlet problem based on upper gradients.

연구 동기 및 목표

• 특이성 있는 미터 공간에서 조화 사상의 딜리클레 문제에 대한 해의 존재성과 유일성을 확장한다.
• 비양성 곡률(NPC) 목표 공간 설정에서 해의 국소 허더 연속성을 확립한다.
• 조화 함수에 대한 리우빌 정리를 특이성 있는 미터 공간 간의 조화 사상으로 일반화한다.
• 특이 설정에서 조화 사상 흐름의 존재성과 잘 정의됨을 증명한다.
• 상한 기울기와 소볼레프 공간을 사용하여 특이 공간에서의 에너지 함수열에 대한 분석적 가정을 통합하고 공리화한다.

제안 방법

• 공간 평균을 사용하는 볼 위의 근사 에너지로 특이성 있는 미터 측도 공간에서의 Korevaar-Schoen 에너지 함수열을 적응한다.
• 상한 기울기 기법과 메트릭 공간 값을 갖는 소볼레프 공간을 사용하여 약한 해와 에너지 함수열을 정의한다.
• RCD(K,N) 공간 이론과 초완전성(ultra-completions)을 적용하여 완비성과 곡률 조건을 확보한다.
• 절단 및 캐리어 기반 기법을 사용하여 근사 연속 함수와 함께 하모닉성 및 리우빌 유형 결과를 증명한다.
• L^2(X,Y)의 NPC 구조와 에너지 함수열의 볼록성을 활용하여 Mayer와 Sturm의 조화 흐름 및 최소화자에 관한 결과를 적용한다.
• Jost와 Lin의 방법을 메트릭 공간 분석과 결합하여 NPC 곡률 가정 하에서 허더 정칙성을 증명한다.

실험 결과

연구 질문

• RQ1 특이성 있는 미터 공간 간의 조화 사상, 특히 RCD(K,N) 영역과 NPC 목표로의 존재성과 유일성은 어떻게 일반화될 수 있는가?
• RQ2 Korevaar-Schoen 에너지 함수열에 대한 딜리클레 문제의 해가 특이 설정에서 국소 허더 연속성을 보일 조건은 무엇인가?
• RQ3 RCD(K,N) 공간에서 NPC 공간으로의 조화 사상에 대해 리우빌 유형 정리는 성립하는가?
• RQ4 특이 설정에서 조화 사상 흐름을 구성하고, 그것이 에너지 최소화자로 수렴함을 증명할 수 있는가?
• RQ5 특이성 있는 미터 공간으로의 조화 사상 이론을 일반화하기 위해 필요한 최소한의 분석적 가정은 무엇인가?

주요 결과

• Korevaar-Schoen 에너지 함수열에 대한 딜리클레 문제는 특이 설정에서 고유한 해를 갖는다. 이는 매끄러운 다양체에서의 결과를 확장한다.
• 목표 공간이 NPC일 경우 딜리클레 문제의 해는 국소 허더 연속성을 갖는다. 이는 고전적 결과를 특이 공간으로 일반화한다.
• 리우빌 유형 정리가 성립한다: RCD(K,N) 공간에서 NPC 공간으로의 모든 조화 사상은 반드시 상수이다.
• 조화 사상 흐름은 존재하며 에너지 최소화자로 수렴한다. 이는 특이 설정에서의 초기 경계값 문제를 해결한다.
• 유한 에너지를 갖는 사상의 공간은 닫혀 있고 NPC이며, 볼록성과 하방 하중성 덕분에 흐름 이론의 적용이 가능하다.
• 특이 설정에서 다양한 소볼레프 공간 공식화(Korevaar-Schoen, Kuwae-Shioya, 상한 기울기 기반) 간의 동치성이 확립된다.