[论文解读] Bifurcation of Fredholm Maps I; The Index Bundle and Bifurcation

Jacobo Pejsachowicz|arXiv (Cornell University)|May 7, 2010

Nonlinear Differential Equations Analysis参考文献 29被引用 6

一句话总结

该论文通过指标丛与广义J-同调映射，引入了参数化非线性弗雷德霍姆映射族的拓扑分岔指数β(f)，实现了无需假设孤立奇点的全局分岔检测。关键贡献是基于阿蒂亚-辛格族指标定理的费多索夫精化形式的上同调公式——该公式从线性化的主符号计算分岔指数，从而为多参数非线性椭圆边值问题提供了经典吕普夫-施密特方法无法触及的新分岔判别准则。

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.

研究动机与目标

• 开发一种全局拓扑不变量，用于检测非线性弗雷德霍姆映射族中的分岔点，且无需假设线性化中存在孤立奇点。
• 通过利用弗雷德霍姆算子的同伦不变量，将分岔理论拓展至经典吕普夫-施密特约化之外。
• 基于线性化的主符号，为多参数非线性椭圆边值问题族建立可计算的分岔判别准则。
• 通过指标丛与上同调指标定理，弥合椭圆拓扑与分岔理论之间的鸿沟。
• 为在经典方法失效的非线性PDE中检测分岔点，提供一种全新的非局部方法。

提出的方法

• 分岔指数β(f)被定义为线性化族的指标丛在广义J-同调映射下的像。
• 指标丛由解的平凡分支上的线性化族构造而成。
• J-同调映射将K-理论类映射到稳定同伦群，从而从指标丛中提取出一个拓扑不变量。
• 应用费多索夫对阿蒂亚-辛格族指标定理的上同调形式，将指标丛的示性类表示为与主符号相关的形式。
• 通过在球丛上对符号的微分形式进行积分，利用公式计算分岔指数：$\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 费多索夫对阿蒂亚-辛格定理的精化形式所导出的上同调指标公式，能否用于推导出超越吕普夫-施密特方法的新分岔判别准则？

主要发现

• 分岔指数β(f)是良定义的，并且在族f的同伦下保持不变，提供了一种稳健的代数分岔点度量。
• 线性化族的指标丛编码了参数空间的全局拓扑信息，使得即使奇点非孤立，也能检测到分岔。
• 分岔指数β(f)通过费多索夫公式计算，该公式将指标丛的示性类表示为与主符号微分形式相关的表达式。
• 该方法成功检测到吕普夫-施密特方法因非孤立奇点而失效的多参数非线性椭圆BVP族中的分岔。
• 阿格拉诺维奇约化确保了非线性问题可局部化为指标理论工具适用的形式，从而验证了全局方法的有效性。
• 本文证明：若分岔指数β(f)非零，则在平凡分支上至少存在一个分岔点，从而建立了分岔存在的充分条件。