[논문 리뷰] Lojasiewicz-Simon gradient inequalities for analytic and Morse-Bott functionals on Banach spaces and applications to harmonic maps

Paul M. N. Feehan, Manousos Maridakis|arXiv (Cornell University)|2015. 10. 13.

Nonlinear Partial Differential Equations참고 문헌 45인용 수 9

한 줄 요약

이 논문은 바나흐 공간 위의 해석적이고 모어스-보트 함수에 대해 일반화된 로자이에비치-시몬 경사 불등식을 수립하여 이전 가정을 크게 약화시켰다. 이 결과를 바탕으로 최소한의 소볼레프 정규성 조건 하에서 조화 맵 에너지 함수에 대해 새로운 더 일반적인 로자이에비치-시몬 불등식을 도출하였으며, 이는 분야 내 기존 결과들을 확장한다.

ABSTRACT

We prove two abstract versions of the Lojasiewicz-Simon gradient inequality for an analytic functional on a Banach space (stated earlier without proof as Theorem 2.4.5 in Huang (2006)) that generalize previous abstract versions of this inequality, significantly weakening their hypotheses and, in particular, the well-known infinite-dimensional version of the gradient inequality due to Lojasiewicz proved by Simon (1983). We also prove that the optimal exponent of the Lojasiewicz-Simon gradient inequality is obtained when the functional is Morse-Bott and not necessarily analytic, improving on similar results due to Chill (2003, 2006), Haraux and Jendoubi (2007), and Simon (1996). We apply our abstract Lojasiewicz-Simon gradient inequality to prove a Lojasiewicz-Simon gradient inequality for the harmonic map energy functional using Sobolev spaces which impose minimal regularity requirements on maps between closed, Riemannian manifolds. Our Lojasiewicz-Simon gradient inequality for the harmonic map energy functional significantly generalizes those of Kwon (2002), Liu and Yang (2010), Simon (1983, 1985), and Topping (1997).

연구 동기 및 목표

• 이전의 추상적 서술의 가정 조건을 약화시켜 바나흐 공간 위의 더 넓은 범주에 속하는 함수에 대해 로자이에비치-시몬 경사 불등식을 확장하는 것.
• 함수의 해석성이 없더라도 최적의 지수가 모어스-보트일 때 실현됨을 증명하는 것.
• 추상적 불등식을 닫힌 리만 다각형 간의 사상에 대한 조화 맵 에너지 함수에 적용하여 최소한의 정규성 요구 조건을 충족시키는 것.
• 기존의 조화 맵에 대한 로자이에비치-시몬 불등식을 일반화하여 시몬, 쿤, 리우와 양, 토픽의 결과들을 포함하는 것.
• 기하학적 흐름의 수렴 분석을 위해 최소 정규성 기반의 날카운 뚜렷한 프레임워크를 수립하는 것.

제안 방법

• 함수와 그 헤시안에 대한 조건을 완화시켜 바나흐 공간에서의 로자이에비치-시몬 경사 불등식에 대한 추상적 프레임워크를 개발하는 것.
• 스펙트럼 이론과 컴act성 추론을 사용하여 더 약한 해석적 또는 모어스-보트 조건 하에서 경사 불등식을 도출하는 것.
• 불등식의 최적 지수가 해석성이 없더라도 함수가 모어스-보트일 때 정확히 실현됨을 특성화하는 것.
• 최소 정규성 조건(예: H^1)을 갖는 소볼레프 공간 위에서 정의된 조화 맵 에너지 함수에 추상적 결과를 적용하는 것.
• 에너지 함수의 임계점의 구조와 목적지 다각형의 기하학적 성질을 활용하여 필요한 조건을 검증하는 것.
• 유도된 경사 불등식을 통해 최적 지수를 사용한 감쇠 추정에서의 수렴 속도를 확립하는 것.

실험 결과

연구 질문

• RQ1 로자이에비치-시몬 경사 불등식은 분석적 및 컴팩트성 조건을 크게 약화시킨 바나흐 공간 위의 함수에 대해 일반화될 수 있는가?
• RQ2 함수가 해석적이지 않더라도 모어스-보트일 경우 로자이에비치-시몬 불등식의 최적 지수는 무엇인가?
• RQ3 추상적 경사 불등식은 최소한의 소볼레프 정규성 조건 하에서 조화 맵 에너지 함수에 적용 가능한가?
• RQ4 이 새로운 불등식은 시몬, 쿤, 리우와 양, 토픽의 이전 결과들보다 강도와 일반성 면에서 어떻게 비교되는가?
• RQ5 새로운 불등식 프레임워크 하에서 조화 맵 흐름의 수렴에 어떤 영향을 미치는가?

주요 결과

• 논문은 이전 버전의 가정 조건을 완화시켜 바나흐 공간 위의 해석적 함수에 대해 새로운 더 일반적인 로자이에비치-시몬 경사 불등식을 수립하였다.
• 해석성이 없더라도 함수가 모어스-보트일 때 최적 지수가 정확히 실현됨을 증명하였으며, 칼, 하라우, 점두비 및 시몬의 결과를 향상시켰다.
• 추상적 불등식을 닫힌 리만 다각형 간의 H^1 사상 위의 조화 맵 에너지 함수에 성공적으로 적용하였으며, 최소한의 정규성 조건만 요구되었다.
• 도출된 조화 맵에 대한 불등식은 쿤(2002), 리우와 양(2010), 시몬(1983, 1985), 토픽(1997)의 이전 결과들을 일반화하고 강화하였다.
• 이 프레임워크는 최적 지수에 기반한 날카운 수렴 속도를 제공하며, 이는 모어스-보트 구조에서 도출된 최적 지수에 의해 결정된다.
• 이 방법은 무한차원 설정에서 기하학적 흐름의 수렴 분석을 위한 통합된 접근법을 수립한다.