セキネ　コウタ   関根　晃太    所属   千葉工業大学  情報変革科学部 情報工学科    千葉工業大学  情報科学研究科 情報科学専攻    職種   准教授
言語種別	日本語
発行・発表の年月	2017/07
形態種別	論文その他
標題	ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法 (現象解明に向けた数値解析学の新展開(2))
執筆形態	共著
掲載誌名	数理解析研究所講究録
掲載区分	国内
出版社・発行元	京都大学数理解析研究所
巻・号・頁	(2037),96-105頁
著者・共著者	関根 晃太, 田中 一成, 大石 進一
概要	本稿では楕円型偏微分方程式の計算機援用証明法で重要となる線形化作用素の逆作用素の評価法について新たな方法を提案する. 線形化作用素の逆作用素の評価法は現在様々な方法が提案されている. その中で本手法の特徴は, 作用素の分数冪を用いてある無限次元一般化固有値問題に変形し, 評価することである. この無限次元一般化固有値問題は作用素の分数冪を用いることで重調和作用素を含まれない定式化も可能である.
ISSN	1880-2818
NAID	120006579085
PermalinkURL	http://id.ndl.go.jp/bib/028615104
researchmap用URL	http://hdl.handle.net/2433/236862