Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem

Shuting Cai, Yoshitaka Watanabe

研究成果: Contribution to journalArticle査読

抄録

We propose a computer-assisted method to prove the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem. First, we numerically show that a symmetry-breaking bifurcation point exists. Then, according to the symmetric property, we define a symmetric operator. Using this operator, we divide the space into a symmetric space and an antisymmetric space. Then, considering the Reynolds number as a variable, we construct an extended system. We confirm the existence of the symmetry-breaking bifurcation point by computer-assisted proofs of the extended system that satisfies both conditions of a bifurcation theorem. The first condition is that the system has an isolated solution and the second is that a linearized operator is bijective. We numerically construct a set containing solutions that satisfy the hypothesis of Banach's fixed-point theorem in a certain Sobolev space and thus the first condition is satisfied. The second condition is equivalent to an equation having the unique trivial solution zero. We prove that this condition is equivalent to an inequality.

本文言語英語
論文番号113603
ジャーナルJournal of Computational and Applied Mathematics
395
DOI
出版ステータス出版済み - 10 15 2021

All Science Journal Classification (ASJC) codes

  • 計算数学
  • 応用数学

フィンガープリント

「Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル