WEKO3
アイテム
{"_buckets": {"deposit": "25b53e47-f6e0-43c1-a5b7-635153a90bd8"}, "_deposit": {"id": "52412", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "52412"}, "status": "published"}, "_oai": {"id": "oai:tsukuba.repo.nii.ac.jp:00052412", "sets": ["1451", "5654", "2037"]}, "item_5_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2019-07", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "2", "bibliographicPageEnd": "384", "bibliographicPageStart": "357", "bibliographicVolumeNumber": "36", "bibliographic_titles": [{}, {"bibliographic_title": "Japan Journal of Industrial and Applied Mathematics", "bibliographic_titleLang": "en"}]}]}, "item_5_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "This paper provides a methodology of verified computing for solutions to 1D advection equations with variable coefficients. The advection equation is typical partial differential equations (PDEs) of hyperbolic type. There are few results of verified numerical computations to initial-boundary value problems of hyperbolic PDEs. Our methodology is based on the spectral method and semigroup theory. The provided method in this paper is regarded as an efficient application of semigroup theory in a sequence space associated with the Fourier series of unknown functions. This is a foundational approach of verified numerical computations for hyperbolic PDEs. Numerical examples show that the rigorous error estimate showing the well-posedness of the exact solution is given with high accuracy and high speed.", "subitem_description_type": "Abstract"}]}, "item_5_publisher_27": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Springer"}]}, "item_5_relation_11": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type_id": {"subitem_relation_type_id_text": "10.1007/s13160-019-00345-7", "subitem_relation_type_select": "DOI"}}]}, "item_5_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "© The JJIAM Publishing Committee and Springer 2011 The original publication is available at www.springerlink.com"}]}, "item_5_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "author"}]}, "item_5_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0916-7005", "subitem_source_identifier_type": "ISSN"}]}, "item_5_source_id_9": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA10799861", "subitem_source_identifier_type": "NCID"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "高安, 亮紀"}, {"creatorName": "タカヤス, アキトシ", "creatorNameLang": "ja-Kana"}, {"creatorName": "TAKAYASU, Akitoshi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "157846", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "60707743", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000060707743"}, {"nameIdentifier": "0000003874", "nameIdentifierScheme": "筑波大学研究者総覧", "nameIdentifierURI": "http://trios.tsukuba.ac.jp/researcher/0000003874"}]}, {"creatorNames": [{"creatorName": "遠藤, 靖典"}, {"creatorName": "エンドウ, ヤスノリ", "creatorNameLang": "ja-Kana"}, {"creatorName": "ENDO, Yasunori", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "511", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "10267396", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000010267396"}, {"nameIdentifier": "0000000904", "nameIdentifierScheme": "筑波大学研究者総覧", "nameIdentifierURI": "http://trios.tsukuba.ac.jp/researcher/0000000904"}]}, {"creatorNames": [{"creatorName": "Yoon, Suro", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "215099", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-07-01"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "JJIAM_36-2.pdf", "filesize": [{"value": "534.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 534000.0, "url": {"label": "JJIAM_36-2", "url": "https://tsukuba.repo.nii.ac.jp/record/52412/files/JJIAM_36-2.pdf"}, "version_id": "54bc9b3c-cb0c-4af8-b8df-b0482aec860e"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Rigorous numerical computations for 1D advection equations with variable coefficients", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Rigorous numerical computations for 1D advection equations with variable coefficients", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "1", "path": ["1451", "5654", "2037"], "permalink_uri": "http://hdl.handle.net/2241/00157834", "pubdate": {"attribute_name": "公開日", "attribute_value": "2019-10-02"}, "publish_date": "2019-10-02", "publish_status": "0", "recid": "52412", "relation": {}, "relation_version_is_last": true, "title": ["Rigorous numerical computations for 1D advection equations with variable coefficients"], "weko_shared_id": 5}
Rigorous numerical computations for 1D advection equations with variable coefficients
http://hdl.handle.net/2241/00157834
http://hdl.handle.net/2241/00157834a33c7960-2a4b-4285-b61e-6adeb2fc3060
名前 / ファイル | ライセンス | アクション |
---|---|---|
JJIAM_36-2 (534.0 kB)
|
|
Item type | Journal Article(1) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2019-10-02 | |||||||||||
タイトル | ||||||||||||
言語 | en | |||||||||||
タイトル | Rigorous numerical computations for 1D advection equations with variable coefficients | |||||||||||
言語 | ||||||||||||
言語 | eng | |||||||||||
資源タイプ | ||||||||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
タイプ | journal article | |||||||||||
著者 |
高安, 亮紀
× 高安, 亮紀
WEKO
157846
× 遠藤, 靖典× Yoon, Suro |
|||||||||||
抄録 | ||||||||||||
内容記述タイプ | Abstract | |||||||||||
内容記述 | This paper provides a methodology of verified computing for solutions to 1D advection equations with variable coefficients. The advection equation is typical partial differential equations (PDEs) of hyperbolic type. There are few results of verified numerical computations to initial-boundary value problems of hyperbolic PDEs. Our methodology is based on the spectral method and semigroup theory. The provided method in this paper is regarded as an efficient application of semigroup theory in a sequence space associated with the Fourier series of unknown functions. This is a foundational approach of verified numerical computations for hyperbolic PDEs. Numerical examples show that the rigorous error estimate showing the well-posedness of the exact solution is given with high accuracy and high speed. | |||||||||||
書誌情報 |
en : Japan Journal of Industrial and Applied Mathematics 巻 36, 号 2, p. 357-384, 発行日 2019-07 |
|||||||||||
ISSN | ||||||||||||
収録物識別子タイプ | ISSN | |||||||||||
収録物識別子 | 0916-7005 | |||||||||||
書誌レコードID | ||||||||||||
収録物識別子タイプ | NCID | |||||||||||
収録物識別子 | AA10799861 | |||||||||||
DOI | ||||||||||||
識別子タイプ | DOI | |||||||||||
関連識別子 | 10.1007/s13160-019-00345-7 | |||||||||||
権利 | ||||||||||||
権利情報 | © The JJIAM Publishing Committee and Springer 2011 The original publication is available at www.springerlink.com | |||||||||||
著者版フラグ | ||||||||||||
値 | author | |||||||||||
出版者 | ||||||||||||
出版者 | Springer |