In this paper, we mainly consider the stability of $ Φ_{S, F,H} $ harmonic map and $ Φ_{T,F,H} $ harmonic map from or into $ Φ$-SSU manifold. We mainly consider the stability of $ Φ_{S, F,H} $ harmonic map and $ Φ_{T,F,H} $ harmonic map from or into compact convex hypersurface. We also give some Theorems to know when a manifold is $ Φ_{S, F,H} $ -stable or $ Φ_{S, F,H} $ -unstable.
논문 ID : 2212.11731제목 : Φ S , F , H \Phi_{S,F,H} Φ S , F , H 조화사상과 Φ T , F , H \Phi_{T,F,H} Φ T , F , H 조화사상의 안정성저자 : Xiangzhi Cao (난징샤오장대학교 정보공학학부)분류 : math.DG (미분기하학)발표 시간 : 2022년 12월 23일논문 링크 : https://arxiv.org/abs/2212.11731 본 논문은 Φ \Phi Φ -SSU 다양체 위의 Φ S , F , H \Phi_{S,F,H} Φ S , F , H 조화사상과 Φ T , F , H \Phi_{T,F,H} Φ T , F , H 조화사상의 안정성 문제를 주로 연구한다. 저자는 이 두 종류의 조화사상이 컴팩트 볼록 초곡면에서 출발하거나 도달하는 경우의 안정성을 고려하였으며, 다양체가 언제 Φ S , F , H \Phi_{S,F,H} Φ S , F , H -안정 또는 Φ S , F , H \Phi_{S,F,H} Φ S , F , H -불안정인지를 판정하는 정리를 제시하였다.
문제 배경 : 조화사상은 미분기하학의 중요한 연구 대상이다. 고전적인 조화사상 안정성 이론은 풍부한 성과를 가지고 있으며, 예를 들어 Xin은 구면에서 컴팩트 다양체로의 비상수 안정 조화사상이 존재하지 않음을 증명했고, Leung은 컴팩트 다양체에서 구면으로의 비상수 안정 조화사상이 존재하지 않음을 증명했다.연구의 의의 : 본 논문에서 연구하는 Φ S , F , H \Phi_{S,F,H} Φ S , F , H 와 Φ T , F , H \Phi_{T,F,H} Φ T , F , H 조화사상은 고전적인 조화사상의 일반화이며, 여기서:S S S 와 T T T 는 각각 서로 다른 텐서 구조에 대응된다F F F 는 양함수이다H H H 는 포텐셜 함수이다기존의 한계 :Φ \Phi Φ -SSU 다양체 위의 Φ S , F \Phi_{S,F} Φ S , F 조화사상 안정성 연구가 부족하다컴팩트 볼록 초곡면에서의 Φ S , F \Phi_{S,F} Φ S , F 조화사상 안정성 연구가 불충분하다 체계적인 안정성 판정 기준이 부족하다 연구 동기 : Han 등이 Φ \Phi Φ -SSU 다양체에서 얻은 결과를 Φ S , F , H \Phi_{S,F,H} Φ S , F , H 와 Φ T , F , H \Phi_{T,F,H} Φ T , F , H 조화사상으로 확장하는 것이다.Φ S , F , H \Phi_{S,F,H} Φ S , F , H 조화사상의 안정성 이론 수립 : Φ \Phi Φ -SSU 다양체에서 출발하고 도달하는 경우의 안정성 결과를 제시했다Φ T , F , H \Phi_{T,F,H} Φ T , F , H 조화사상의 안정성 정리 증명 : 유사하게 T T T -형 조화사상을 다루었다Okayasu 형 및 Howard 형 정리 획득 : 고전적 결과를 새로운 조화사상 종류로 확장했다다양체 안정성의 판정 기준 제시 : 다양체가 언제 Φ S , F , H \Phi_{S,F,H} Φ S , F , H -안정 또는 불안정인지를 판정하는 조건을 제공했다볼록 초곡면 경우의 처리 : 정의역 또는 목표 다양체가 볼록 초곡면인 경우의 안정성을 연구했다본 논문은 두 종류의 범함수의 임계점을 연구한다:
Φ S , F , H \Phi_{S,F,H} Φ S , F , H 조화사상 : 범함수는 다음과 같다
Φ S , F , H ( u ) = ∫ M F ( ∣ S u ∣ 2 4 ) + H ( u ) d ν g \Phi_{S,F,H}(u) = \int_M F\left(\frac{|Su|^2}{4}\right) + H(u) d\nu_g Φ S , F , H ( u ) = ∫ M F ( 4 ∣ S u ∣ 2 ) + H ( u ) d ν g Φ T , F , H \Phi_{T,F,H} Φ T , F , H 조화사상 : 범함수는 다음과 같다
Φ T , F , H ( u ) = ∫ M F ( ∣ T u ∣ 2 4 ) + H ( u ) d ν g \Phi_{T,F,H}(u) = \int_M F\left(\frac{|Tu|^2}{4}\right) + H(u) d\nu_g Φ T , F , H ( u ) = ∫ M F ( 4 ∣ T u ∣ 2 ) + H ( u ) d ν g 여기서 S u Su S u 와 T u Tu T u 는 각각 서로 다른 텐서 구조이다.
저자는 먼저 제1변분과 제2변분 공식을 수립했다:
제1변분 :
d d t Φ S , F , H ( u t ) ∣ t = 0 = − ∫ M h ( V , τ F , H ) d ν g \frac{d}{dt}\Phi_{S,F,H}(u_t)\bigg|_{t=0} = -\int_M h(V, \tau_{F,H}) d\nu_g d t d Φ S , F , H ( u t ) t = 0 = − ∫ M h ( V , τ F , H ) d ν g
여기서 τ F , H ( u ) = δ ∇ ( F ′ ( ∣ S u ∣ 2 2 ) σ u ) − ∇ H ( u ) = 0 \tau_{F,H}(u) = \delta\nabla\left(F'\left(\frac{|Su|^2}{2}\right)\sigma_u\right) - \nabla H(u) = 0 τ F , H ( u ) = δ ∇ ( F ′ ( 2 ∣ S u ∣ 2 ) σ u ) − ∇ H ( u ) = 0
제2변분 : 안정성 분석을 위한 복잡한 이차형식 표현을 수립했다.
변분 벡터장을 처리하기 위해 평균화 기법을 사용한다. Φ \Phi Φ -SSU 다양체의 경우, 특수한 벡터장을 선택한다:
V D = ∑ i = 1 m v i D e i , v i D = ⟨ E D , e i ⟩ V_D = \sum_{i=1}^m v_i^D e_i, \quad v_i^D = \langle E_D, e_i \rangle V D = ∑ i = 1 m v i D e i , v i D = ⟨ E D , e i ⟩
Φ \Phi Φ -SSU 다양체의 성질을 이용한다:
⟨ Q x M ( X ) , X ⟩ = ∑ i = 1 m ( 4 ⟨ B ( x , e i ) , B ( x , e i ) ⟩ − ⟨ B ( x , x ) , B ( e i , e i ) ⟩ ) < 0 \langle Q_x^M(X), X \rangle = \sum_{i=1}^m (4\langle B(x,e_i), B(x,e_i) \rangle - \langle B(x,x), B(e_i,e_i) \rangle) < 0 ⟨ Q x M ( X ) , X ⟩ = ∑ i = 1 m ( 4 ⟨ B ( x , e i ) , B ( x , e i )⟩ − ⟨ B ( x , x ) , B ( e i , e i )⟩) < 0
통일된 틀 : S S S 형과 T T T 형 조화사상을 통일된 분석 틀에 포함시켰다포텐셜 함수 처리 : 포텐셜 함수 H H H 를 포함한 경우를 체계적으로 다루었다함수 F F F 의 일반성 : F F F 가 특정 형태가 아닌 특정 성장 조건을 만족하도록 허용했다기하학적 제약의 활용 : Φ \Phi Φ -SSU 다양체와 볼록 초곡면의 기하학적 성질을 충분히 활용했다( M m , g ) (M^m,g) ( M m , g ) 가 컴팩트 Φ \Phi Φ -SSU 다양체이고, F F F 가 보조정리 1에 의해 결정되며, ∇ 2 H ≤ 0 \nabla^2 H \leq 0 ∇ 2 H ≤ 0 이라고 하자. 그러면 ( M m , g ) (M^m,g) ( M m , g ) 에서 임의의 리만 다양체 N N N 으로의 안정 Φ S , F , H \Phi_{S,F,H} Φ S , F , H 조화사상은 반드시 상수사상이다.
( N n , g ) (N^n,g) ( N n , g ) 가 컴팩트 Φ \Phi Φ -SSU 다양체라고 하자. 그러면 임의의 컴팩트 리만 다양체 ( M m , g ) (M^m,g) ( M m , g ) 에서 N N N 으로의 안정 Φ S , F , H \Phi_{S,F,H} Φ S , F , H 조화사상은 반드시 상수사상이다.
M ⊂ R m + 1 M \subset \mathbb{R}^{m+1} M ⊂ R m + 1 이 컴팩트 볼록 초곡면이고, 주곡률이 0 < λ 1 ≤ ⋯ ≤ λ m 0 < \lambda_1 \leq \cdots \leq \lambda_m 0 < λ 1 ≤ ⋯ ≤ λ m 을 만족하며 3 λ m < ∑ i = 1 m − 1 λ i 3\lambda_m < \sum_{i=1}^{m-1}\lambda_i 3 λ m < ∑ i = 1 m − 1 λ i 라고 하자. 적절한 조건 하에서, M M M 에서 임의의 컴팩트 리만 다양체 N N N 으로의 비상수 Φ S , F , H \Phi_{S,F,H} Φ S , F , H 안정 사상은 존재하지 않는다.
유사한 결과가 Φ T , F , H \Phi_{T,F,H} Φ T , F , H 조화사상에도 성립한다.
본 논문은 순수 이론 연구이며, 수치 실험이 없다. 주로 엄격한 수학적 증명을 통해 이론 결과를 검증한다.
고전적 조화사상 이론 : Xin, Leung 등의 개척적 업적F F F -조화사상 : Ara 등의 연구Φ \Phi Φ -SSU 다양체 : Han과 Wei의 관련 업적볼록 초곡면 위의 조화사상 : Liu 등의 기여비존재성 결과 : Φ \Phi Φ -SSU 다양체 위에서, 안정 Φ S , F , H \Phi_{S,F,H} Φ S , F , H 와 Φ T , F , H \Phi_{T,F,H} Φ T , F , H 조화사상은 반드시 상수사상이다기하학적 제약의 역할 : Φ \Phi Φ -SSU 성질과 볼록성이 안정성에 결정적인 영향을 미친다통일 이론 : 이 종류의 광의 조화사상을 다루기 위한 통일된 방법을 수립했다기술적 조건 : 함수 F F F 와 포텐셜 함수 H H H 에 대한 일정한 제약이 있다기하학적 가정 : Φ \Phi Φ -SSU 성질에 의존하며, 적용 범위가 제한적이다차원 제약 : 일부 결과는 다양체의 차원이 4보다 크기를 요구한다함수 F F F 에 대한 제약 조건 완화 더욱 일반적인 기하학적 구조 위의 안정성 연구 물리 문제에의 응용 가능성 탐색 이론의 완전성 : 두 종류 조화사상의 안정성 이론을 체계적으로 수립했다기술의 엄밀성 : 증명 과정이 엄격하고 계산이 상세하다확장성의 강함 : 여러 고전적 결과를 통일적으로 확장했다방법의 혁신성 : 복잡한 변분 문제 처리에 기술적 혁신이 있다응용 배경의 불명확성 : 이러한 조화사상의 실제 응용 동기가 부족하다계산의 복잡성 : 일부 증명 과정이 길어서 가독성이 개선될 여지가 있다예시의 부족 : 이론의 유효성을 설명하는 구체적인 비자명한 예시가 부족하다이론적 기여 : 광의 조화사상 이론에 새로운 도구를 제공했다방법의 가치 : 사용된 기법이 다른 변분 문제에도 적용될 수 있다후속 연구 : 관련 분야에 새로운 연구 방향을 제시했다본 연구는 주로 다음에 적용된다:
미분기하학의 변분 문제 연구 조화사상 이론의 추가 발전 기하학적 분석의 안정성 문제 논문은 62편의 관련 문헌을 인용하며, 주요 내용은 다음과 같다:
Xin, YL: 안정 조화사상의 고전적 결과 Ara, M: F-조화사상의 안정성 이론 Han, Y & Wei, SW: Φ-조화사상과 Φ-SSU 다양체 Howard, R: 기하학의 비존재성 정리 종합 평가 : 이는 기술성이 매우 높은 미분기하학 이론 논문으로, 고전적 조화사상의 안정성 이론을 체계적으로 확장했다. 계산이 복잡하지만 이론 틀이 완정하며, 관련 분야에 일정한 기여 가치가 있다.