書誌事項
- タイトル別名
-
- An efficient approach to the numerical verification for solutions of elliptic differential equations with local uniqueness
- ダエンガタ ホウテイシキ ノ カイ ニ タイスル キョクショ イチイセイ ツキ スウチテキ ケンショウホウ ノ コウリツカ
この論文をさがす
抄録
One of the authors have proposed a method to prove the existence and the local uniqueness of solutions to infinite-dimensional fixed-point equations using computer. However, for second-order elliptic boundary value problems, in the case the equation includes the first-order term, it turned out that there is a possibility that the verification algorithm come to an end unsuccessfully. The purpose of this paper is to propose an alternative method to overcome this difficulity. Numerical examples compared with the previous algorithm confirm the effectiveness of the new method.
収録刊行物
-
- 日本応用数理学会論文誌
-
日本応用数理学会論文誌 15 (4), 509-520, 2005
一般社団法人 日本応用数理学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001205767826688
-
- NII論文ID
- 110002976854
-
- NII書誌ID
- AN10367166
-
- ISSN
- 09172246
- 24240982
-
- NDL書誌ID
- 7785528
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- CiNii Articles
- KAKEN
-
- 抄録ライセンスフラグ
- 使用不可