[논문 리뷰] Bifurcation of Fredholm Maps I; The Index Bundle and Bifurcation

Jacobo Pejsachowicz|arXiv (Cornell University)|2010. 05. 07.

Nonlinear Differential Equations Analysis참고 문헌 29인용 수 6

한 줄 요약

이 논문은 인덱스 번들의 및 일반화된 J-호모모르피즘을 이용하여 비선형 프레드홀름 맵의 매개변수화된 가중치에 대해 위상적 분기 지수 β(f)를 도입한다. 이는 고립된 특이점을 가정하지 않고도 전역적 분기 탐지가 가능하게 한다. 주요 기여는 페도소프의 아티야-식리 가족 인덱스 정리의 개선을 통해 도출된 코homological 공식으로, 선형화의 주요 기호로부터 분기 지수를 계산함으로써 고립된 특이점이 없는 다중매개변수 비선형 타원형 경계값 문제에서의 분기 기준을 제시한다. 이는 리아프노프-슐라이드 방법으로는 도달할 수 없는 영역을 아우른다.

ABSTRACT

We associate to a parametrized family $f$ of nonlinear Fredholm maps possessing a trivial branch of zeroes an {\it index of bifurcation} $β(f)$ which provides an algebraic measure for the number of bifurcation points from the trivial branch. The index $β(f)$ is derived from the index bundle of the linearization of the family along the trivial branch by means of the generalized $J$-homomorphism. Using the Agranovich reduction and a cohomological form of the Atiyah-Singer family index theorem, due to Fedosov, we compute the bifurcation index of a multiparameter family of nonlinear elliptic boundary value problems from the principal symbol of the linearization along the trivial branch. In this way we obtain criteria for bifurcation of solutions of nonlinear elliptic equations which cannot be achieved using the classical Lyapunov-Schmidt method.

연구 동기 및 목표

• 비선형 프레드홀름 맵의 가중치에서 고립된 특이점을 가정하지 않고도 분기점 탐지를 위한 전역 위상적 불변량을 개발하는 것.
• 프레드홀름 연산자의 호모토피 불변량을 활용하여 고전적인 리아프노프-슐라이드 축소를 초월한 분기 이론을 확장하는 것.
• 선형화의 주요 기호를 이용하여 다중매개변수 비선형 타원형 경계값 문제의 분기 기준을 계산 가능한 형태로 설정하는 것.
• 인덱스 번들과 코homological 인덱스 정리들을 통해 타원형 위상수학과 분기 이론을 연결하는 것.
• 고전적 방법이 실패하는 비선형 PDE에서 분기점 탐지를 위한 새로운 국소적이지 않은 방법을 제공하는 것.

제안 방법

• 분기 지수 β(f)는 선형화된 가중치의 인덱스 번들의 일반화된 J-호모모르피즘에 의한 상(image)으로 정의된다.
• 인덱스 번들은 해의 정상 분지에 沿한 선형화 가중치의 가중치에서 구성된다.
• J-호모모르피즘은 K-이론 클래스를 안정적 호모토피 군으로 매핑하여 인덱스 번들의 위상 불변량을 추출할 수 있게 한다.
• 페도소프의 아티야-식리 가족 인덱스 정리의 코homological 형태가 적용되어 인덱스 번들의 캐런 특성치를 주요 기호의 형태로 표현한다.
• 분기 지수 β(f)는 구의 매장을 통한 기호의 미분형식의 적분을 통해 계산되며, 공식은 다음과 같다: $\operatorname{ch}(\mathrm{Ind\,}S) = -\sum_{j=n}^{\infty} \frac{(j-1)!}{(2\pi i)^j (2j-1)!} \oint_{S^{2n-1}} \mathrm{tr}(\sigma^{-1}d\sigma)^{2j-1}$.
• 비선형 타원형 BVP는 인덱스 이론적 분석에 적합한 형태로 아그라노비치 축소를 통해 감소된다.

실험 결과

연구 질문

• RQ1 비선형 프레드홀름 맵의 가중치에서 고립된 특이점을 가정하지 않고도 전역 위상 불변량이 분기점 탐지에 사용될 수 있는가?
• RQ2 선형화된 연산자 가중치의 인덱스 번지를 이용하여 계산 가능한 분기 지수를 정의할 수 있는가?
• RQ3 일반화된 J-호모모르피즘은 매개변수 공간의 K-이론과 분기 탐지 사이의 연결에 어떤 역할을 하는가?
• RQ4 비선형 타원형 BVP의 주요 기호가 분기하는 해의 존재를 어느 정도 결정할 수 있는가?
• RQ5 페도소프의 아티야-식리 정리의 개선된 코homological 인덱스 공식이 리아프노프-슐라이드 방법을 초월한 새로운 분기 기준을 유도하는 데 사용될 수 있는가?

주요 결과

• 분기 지수 β(f)는 잘 정의되어 있으며, 가중치 f의 호모토피에 대해 불변이므로 분기점에 대한 강력한 대수적 측도를 제공한다.
• 선형화된 가중치의 인덱스 번지는 매개변수 공간의 전역 위상 정보를 캐리하고 있으며, 특이점이 고립되어 있지 않을 경우에도 분기 탐지가 가능하게 한다.
• 분기 지수 β(f)는 주요 기호의 미분형식에 따라 표현되는 페도소프의 공식을 통해 계산된다.
• 비선형 타원형 BVP의 다중매개변수 가중치에서 리아프노프-슐라이드 방법이 비특이점이 고립되어 있지 않아 실패할 경우에도 이 방법은 분기를 성공적으로 탐지한다.
• 아그라노비치 축소는 비선형 문제를 인덱스 이론적 기계장치가 적용 가능한 국소적 형태로 감소시키며, 이는 전역적 접근의 타당성을 검증한다.
• 논문은 분기 지수 β(f)가 0이 아닐 경우, 정상 분지에 적어도 하나의 분기점이 존재함을 증명하여 분기의 충분 조건을 설정한다.