常微分方程式の多点境界値問題の占部の定理のためのChebyshev有限級数近似解の区間演算的存在証明方法について

• Item type: SIG Technical Reports(1)
• 公開日: 2024-11-19
• タイトル: 常微分方程式の多点境界値問題の占部の定理のためのChebyshev有限級数近似解の区間演算的存在証明方法について
• タイトル / 言語: en
• タイトル: On an Interval Arithmetic Existence Proof Method of Chebyshev Finite Series Approximations for Urabe’s Theorems of Multipoint Boundary Value Problems for Ordinary Differential Equations
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 湘南工科大学大学院電気情報工学専攻
• 著者所属(英): en
• 著者所属(英): Graduate School of Electrical and Electronic Engineering, Shonan Institute of Technology
• 著者名: 岡崎, 秀晃
• 著者名(英): Hideaki, Okazaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本報告では，占部の定理に，区間演算を適用して，その解の存在する条件の精度保証を与える定理に拡張するのに，重要な近似解候補を Chebyshev 点での補間によって得られる有限多項式の近似解（積分により得られる係数のない有限 Chebyshev 級数近似）で与える方法について議論する．特に，Chebyshev 級数の無限級数によって得られる無限多項式の近似解，Chebyshev 級数の切り捨て有限級数によって得られる有限多項式の近似解と Chebyshev 点での補間によって得られる有限多項式の近似解について明らかにする．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This report discusses how to apply interval arithmetic to Urabe’s Theorems to extend it to a theorem that gives accuracy guarantees for the conditions under which its solution exists, by giving the important candidate approximate solutions as finite polynomials obtained by interpolation at Chebyshev points (a finite Chebyshev series approximation without any coefficients obtained by integrals). In particular, we clarify approximate solutions of infinite polynomials obtained by an infinite series of Chebyshev series, approximate solutions of finite polynomials obtained by a truncated finite series of Chebyshev series and approximate solutions of finite polynomials obtained by interpolation at Chebyshev points.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN1009593X
• 書誌情報: 研究報告アルゴリズム（AL）; 巻 2024-AL-200, 号 10, p. 1-6, 発行日 2024-11-19
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8566
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会