文献

J-GLOBAL ID：201802278948448827   整理番号：18A0390631

構成的線形常微分方程式の形式解の分枝指標について【Powered by NICT】

On ramification indices of formal solutions of constructive linear ordinary differential systems

著者 (1件)： Abramov S.A. (Computing Centre of the Russian Academy of Science, Vavilova str., 40, Moscow, 119333, Russia)
資料名： Journal of Symbolic Computation  (Journal of Symbolic Computation)
巻： 79  号： P2  ページ： 475-481  発行年： 2017年 
JST資料番号： D0359D  ISSN： 0747-7171  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： その係数が計算可能なべき級数は,完全ランク線形常微分高次系を考察した。分岐指数の推測値rを固定も与えられたシステムの不規則な形式解の分枝指標と関連アルゴリズム問題は決定不能であることを示した。これは以前証明された定理の強化を得ることを可能にし,正則溶液の部分空間の基礎を構築することができるが,全ての形式解の空間の次元をアルゴリズム的に計算することができないことを示した。事実,,系に加えて,分岐指数のすべての値のリストを知っている場合でも,この次元をアルゴリズム的計算は不可能である。しかし,アルゴリズム的決定可能問題を近傍であるシステムSと整数r,dはS分岐指数Rのd線形独立形式解の存在は,S.のD解を計算できる保証されることをこのような場合Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： アルゴリズム ,  *微分 ,  べき級数 ,  *常微分方程式 ,  *線形性
準シソーラス用語： 近傍 ,  部分空間 , 【Automatic Indexing@JST】

著者キーワード (5件)： 線形微分方程式のシステム ,  計算可能なべき級数 ,  形式解 ,  分岐指数 ,  アルゴリズム的に決定不能問題

分類 (5件)： 振動一般  (BB02010D) ,  信号理論  (ND02020G) ,  細胞生理一般  (EF02010S) ,  その他のオペレーションズリサーチの手法  (KA03070E) ,  梁,桁  (HD03020H)

タイトルに関連する用語 (6件)： 線形 ,  常微分方程式 ,  形式 ,  解 ,  分枝 ,  指標