[논문 리뷰] Morse theory methods for quasi-linear elliptic systems of higher order

Guangcun Lu|arXiv (Cornell University)|2017. 02. 22.

Advanced Mathematical Modeling in Engineering참고 문헌 46인용 수 3

한 줄 요약

이 논문은 힐버트 공간 위의 이중 연속 미분 가능하지 않은 함수성에 대한 새로운 국소 모어스 이론을 개발하며, 일반화된 그로몰-마이어 분해 정리와 더 약한 마리노-프로디 섭동 결과를 도입한다. 이러한 도구들은 임계점 및 분기 정리의 일반화를 가능하게 하며, 이를 바탕으로 가설 $\mathfrak{F}_{p,N}$ 하에서 변분 방법을 통해 고차수의 준선형 타원형 시스템을 연구한다. 이는 이전 결과를 $C^2$ 함수성 이상으로 확장한다.

ABSTRACT

We develop the local Morse theory for a class of non-twice continuously differentiable functionals on Hilbert spaces, including a new generalization of the Gromoll-Meyer's splitting theorem and a weaker Marino-Prodi perturbation type result. With them some critical point theorems and famous bifurcation theorems are generalized. Then we show that these are applicable to studies of quasi-linear elliptic equations and systems of higher order given by multi-dimensional variational problems as in (1.3).

연구 동기 및 목표

• 기존의 그로몰-마이어 이론의 제한을 극복하면서, 힐버트 공간 위의 이중 연속 미분 가능하지 않은 함수성의 클래스에 국소 모어스 이론을 확장한다.
• 이러한 함수성에 대해 새로운 분해 정리와 더 약한 마리노-프로디 유형의 섭동 결과를 수립한다.
• 무한차원 설정에서 잠재 연산자의 임계점 및 분기 정리를 일반화한다.
• 개발된 이론을 변분 문제에서 유도되는 고차수 준선형 타원형 시스템에 적용한다.
• 가설 $\mathfrak{F}_{p,N}$ 하에서 $p \geq 2$ 및 $m$-차수 시스템에 대해 새로운 프레임워크의 적용 가능성을 검증한다.

제안 방법

• 이중 연속 미분 가능하지 않은 $C^1$-함수성에 대해 임계점의 구조와 비퇴화된 임계점 근처의 국소 분해를 바탕으로, 일반화된 그로몰-마이어 분해 정리를 도입한다.
• 잠재 연산자 가중치의 가족에 대해 매개변수화된 분해 및 이동 정리를 개발하여, 비구조적 설정에서의 분기 분석을 가능하게 한다.
• 완전한 $C^2$ 정규성 없이도 섭동을 다룰 수 있도록, 잠재 연산자 가중치의 새로운 은밀한 함수 정리(implicit function theorem)를 사용한다.
• 이중 연속 미분 가능하지 않은 함수성에 적용 가능한 더 약한 마리노-프로디 섭동 결과의 버전을 확립하여, 분기 분석에서의 강건성을 확보한다.
• 가설 $\mathfrak{F}_{p,N}$ 하에서 $W_0^{m,p}(\Omega)$ 위에 정의된 함수성에 대해 $(PS)$ 및 $(C)$-조건을 검증한다.
• 일반화된 임계점 이론을 사용하여 고차수 준선형 타원형 시스템에 대해 모어스 부등식과 분기 결과를 유도한다.

실험 결과

연구 질문

• RQ1 힐버트 공간 위의 비-$C^2$ 함수성에 대해 모어스 이론을 확장할 수 있는가, 특히 고차수 타원형 시스템의 맥락에서?
• RQ2 이중 연속 미분 가능하지 않은 $C^1$-함수성에 대해 그로몰-마이어 분해 정리의 적절한 일반화는 무엇인가?
• RQ3 함수성이 $C^2$ 미분 가능성을 갖지 않을 경우 분기 정리는 어떻게 일반화할 수 있는가?
• RQ4 고차수 준선형 타원형 시스템과 관련된 함수성에 대해 $(PS)$ 또는 $(C)$-조건이 성립하는 조건은 무엇인가?
• RQ5 가설 $\mathfrak{F}_{p,N}$ 하에서 $p \geq 2$ 일 때, 새로운 이론이 형식 (1.3)의 변분 문제에 적용 가능한가?

주요 결과

• 이중 연속 미분 가능하지 않은 $C^1$-함수성에 대해 새로운 일반화된 그로몰-마이어 분해 정리가 확립되었으며, 이는 비구조적 설정에서의 국소 모어스 이론 가능성을 보장한다.
• 더 약한 마리노-프로디 섭동 결과의 버전이 도출되었으며, 이는 정규성 조건이 감소한 상황에서도 분기 분석이 가능하게 한다.
• 가설 $\mathfrak{F}_{p,N}$ 하에서 함수성 $\mathcal{F}$에 대해 $(PS)$ 및 $(C)$-조건이 검증되었으며, 이는 임계점 수열의 컴팩턴스를 보장한다.
• 함수성 $\mathcal{F}$에 대해 모어스 부등식이 증명되었으며, 이는 임계군과 기저 공간의 위상적 불변량 간의 관계를 규명한다.
• 고차수 준선형 타원형 시스템에 대해 분기 정리가 일반화되었으며, 쇼우-로터베르크 및 라빈옵츠의 결과를 비-$C^2$ 설정으로 확장한다.
• 이론은 다차원 변분 문제 (1.3)에 성공적으로 적용되었으며, 고차수 타원형 시스템을 연구하는 데 있어 그 유용성을 입증한다.