High-precision Verified Eigenvalue Bounds for Self-adjoint Differential Operators

来源 :第八届工业与应用数学国际大会 | 被引量 : 0次 | 上传用户:zhucejuren2011
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  general framework to give high-precision verified eigenvalue bounds for self-adjoint differential operators will be proposed.The framework is based on the non-conforming finite element method theories and Lehmann-Goerisch's theorem.We will demonstrate the efficiency of the proposed method by its applications to eigenvalue problems of Lapalace and Biharmonic differential operators.
其他文献
  In competitive markets,it is essential to improve the productivity,which can be achieved by raising the material removal rate.Yet,the dynamic behavior of th
会议
  Jeu de taquin is a combinatorial operation on skew Young tableaux.We consider difference equations that describe a Jeu de taquin slide and their relation to
会议
  O'Connell-Yor polymer is a typical directed polymer model in 2 dimensioanl random media which belongs to the KPZ universality class and has nice integrable
会议
  Assembly systems for consumer products are usually consisted of many machines arranged into various configurations.Variability and reliability at the machin
会议
  A connection between biorthogonal polynomials and plane partitions is discussed.For a combinatorial problem of counting plane partitions in a rectangular bo
会议
  Computing the symmetry Lie algebra of a CR-manifold,what is called in this terminology by the associated Lie algebra of infinitesimal CRautomorphisms,relies
会议
  A novel,inverse scattering-type,technique for solving Cauchy problems for integrable cellular automata will be presented for the case of the ultradiscrete K
会议
  The shuffle algebra of multiple zeta values comprises values at positive arguments.In joint work with L.Guo,we generalized it to the case nonnegative argume
会议
  Using families of Manin Kernels in differentially closed fields we answer a question of Brown and Gordon,showing that the Dixmier-Moeglin equivalence fails
会议
  This talk will survey very recent improvements of the classical,Wilkinson-style error bounds for summation,inner products,and complex arithmetic.In particul
会议