山本 野人
| 名誉教授・その他関係者 | 名誉教授 |
- プロフィール:
主として精度保証付き計算法の研究に従事している。特に、偏微分方程式の解の数値的検証法および固有値の精度保証法の研究が中心である。
研究者情報
学歴
委員歴
- 2021年04月01日 - 2022年03月31日
代表会員, 日本応用数理学会, その他 - 2020年04月01日 - 2021年03月31日
代表会員, 日本応用数理学会, その他 - 2015年03月01日 - 2017年02月28日
理事, 日本応用数理学会 - 2011年03月 - 2013年02月
a member of the council, 学協会 - 2011年03月 - 2013年02月
評議員, 日本数学会, 学協会 - 2010年03月 - 2012年02月
a member of the council, 学協会 - 2010年03月 - 2012年02月
評議員, 日本応用数理学会, 学協会 - 2005年10月 - 2007年09月
応用数学分科会委員, 日本数学会, 学協会
研究活動情報
論文
- Numerical verification method on complex ODEs for existence of global solutions within finite domains
Koki Nitta; Nobito Yamamoto
ラスト(シニア)オーサー, JSIAM Letters, The Japan Society for Industrial and Applied Mathematics, 15巻, 掲載ページ 69-72, 出版日 2023年08月, 査読付
研究論文（学術雑誌） - Inclusion method of optimal constant with quadratic convergence for
Takehiko Kinoshita; Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao
Journal of Computational and Applied Mathematics, Elsevier BV, 417巻, 掲載ページ 114521-114521, 出版日 2023年01月
研究論文（学術雑誌） - シミュレーションと精度保証
山本野人
筆頭著者, シミュレーション, 41巻, 3号, 掲載ページ 176-182, 出版日 2022年09月, 査読付, 招待
日本語 - A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
Koki Nitta; Nobito Yamamoto
Japan Journal of Industrial and Applied Mathematics volume, Springer, 39巻, 2号, 掲載ページ 467-513, 出版日 2022年05月, 査読付, We propose a verification method for specification of homoclinic orbits as application of our previous work for constructing local Lyapunov functions by verified numerics. Our goal is to specify parameters appeared in the given systems of ordinary differential equations (ODEs) which admit homoclinic orbits to equilibria. Here we restrict ourselves to cases that each equilibrium is independent of parameters. The feature of our methods consists of Lyapunov functions, integration of ODEs by verified numerics, and Brouwer’s coincidence theorem on continuous mappings. Several techniques for constructing continuous mappings from a domain of parameter vectors to a region of the phase space are shown. We present numerical examples for problems in 3 and 4-dimensional cases.
研究論文（学術雑誌）, 英語 - On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases
Koki Nitta; Toshiki Sasaki; Nobito Yamamoto
JSIAM Letters, 14巻, 掲載ページ 33-36, 出版日 2022年03月16日, 査読付
研究論文（学術雑誌）, 英語 - Erratum: Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002))
Kaname Matsue; Tomohiro Hiwaki; Nobito Yamamoto
Journal of Computational and Applied Mathematics, 384巻, 出版日 2021年03月01日, This note states the correction of arguments in the proof of Theorem 3.2 in the original paper.
研究論文（学術雑誌） - Errata to ‘‘On the construction of Lyapunov functions with computer assistance’’
Kaname Matsue a; Tomohiro Hiwaki b; Nobito Yamamoto
Journal of Computational and Applied Mathematics, 384巻, 掲載ページ 113175, 出版日 2021年03月01日, 査読付
研究論文（学術雑誌）, 英語 - Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases
Gen Terasaka; Masao Nakamura; Koki Nitta; Nobito Yamamoto
JSIAM Letters, 12巻, 掲載ページ 37-40, 出版日 2020年07月21日, 査読付
研究論文（学術雑誌）, 英語 - On the construction of Lyapunov functions with computer assistance
Kaname Matsue; Tomohiro Hiwaki; Nobito Yamamoto
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, ELSEVIER SCIENCE BV, 319巻, C号, 掲載ページ 385-412, 出版日 2017年08月, 査読付, This paper aims at applications of Lyapunov functions as tools for analyzing concrete dynamical systems with computer assistance, even for non-gradient-like systems. We want to know concrete form of Lyapunov functions around invariant sets and their domains of definition for applying Lyapunov functions to various analysis of both continuous and discrete dynamical systems. Although there are several abstract results for the existence of Lyapunov functions, they cannot induce a systematic and concrete procedure of Lyapunov functions with explicit forms. In this paper, we present a numerical verification method which can validate Lyapunov functions with explicit forms and their explicit domains of definition, which can be applied to arbitrary dynamical systems with (hyperbolic) equilibria or fixed points. The proposed procedure provides us with a powerful validation tool for analyzing asymptotic behavior of dynamical systems. (C) 2017 Elsevier B.V. All rights reserved.
研究論文（学術雑誌）, 英語 - Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains
Takehiko Kinoshita; Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao
JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS, SPRINGER JAPAN KK, 33巻, 3号, 掲載ページ 629-636, 出版日 2016年12月, 査読付, This paper presents two expressions for and semi-norms for H-3 and H-4 the solutions of the Poisson equation in two-dimensional polygonal domains. These equalities enable us to obtain higher order constructive a priori error estimates for finite element approximation of the Poisson equation with validated computing.
研究論文（学術雑誌）, 英語 - Some remarks on numerical verification of closed orbits in dynamical systems
T. Hiwaki; N. Yamamoto
Nonlinear Theory and its Applications, IEICE, 一般社団法人 電子情報通信学会, E-6N巻, 3号, 掲載ページ 397-403, 出版日 2015年07月01日, 査読付, We consider numerical verification methods for existence of a closed orbit in a dynamical system which is described by ODEs. Besides Zgliczynski's method using Poincaré map, the authors proposed a method of verification for closed orbits and their time period. In this paper, we derive a relationship between our method and one of bordering methods which gives some explanation of superiority of this bordering.
研究論文（学術雑誌）, 英語 - Some considerations of the invertibility verifications for linear elliptic operators
Mitsuhiro T. Nakao; Yoshitaka Watanabe; Takehiko Kinoshita; Takuma Kimura; Nobito Yamamoto
Japan Journal of Industrial and Applied Mathematics, Springer-Verlag Tokyo, 32巻, 1号, 掲載ページ 19-31, 出版日 2015年, 査読付, This paper presents three computer-assisted procedures for verifying the invertibility of second-order linear elliptic operators and for computing a bound on the norm of its inverse. One of these procedures is an improvement of a theorem by Nakao et al. (Computing 75:1–14, 2005) that uses projection and constructive a priori error estimates and was proposed by two of the authors of this paper. Results verifying these procedures are presented for several numerical examples.
研究論文（学術雑誌）, 英語 - 力学系における閉軌道の存在領域の精度保証法による同定
樋脇知広; 山本野人
日本応 用数理学会論文誌, 一般社団法人 日本応用数理学会, 22巻, 4号, 掲載ページ 269-276, 出版日 2012年12月, 査読付, 常微分方程式が相空間上で閉軌道となる解を持つことと,その存在範囲を同定するための数値的検証法を提案する.これには精度保証付き数値計算の技法を用いている.Poincare MapとNewton法を組み合わせることで解と周期を同時に求め,従来の方法よりも簡便な実装を行えるようにした.また,Rossler方程式を用いた数値実験を行い,実際に閉軌道の存在が検証できることを示した.
研究論文（学術雑誌）, 日本語 - 常微分方程式の解の精度保証法
山本野人
シミュレーション, 31巻, 3号, 掲載ページ 149-153, 出版日 2012年09月
研究論文（学術雑誌）, 日本語 - On the basic operations of interval multiple-precision arithmetic with center-radius form
N.Matsuda; N.Yamamoto
Nonlinear Theory and Its Applications, IEICE, 一般社団法人 電子情報通信学会, 2巻, 1号, 掲載ページ 54-67, 出版日 2011年01月, 査読付, Multiple-precision arithmetic with interval variables has been developed for computation with guaranteed high accuracy. There are several computer program packages which deal with interval variables of the inf-sup form, e.g. MPFI, etc. On the other hand, it is impressed by INTLAB that interval multiple-precision arithmetic using the center-radius form has advantages on memory size and computing time. However, arithmetic of the center-radius form sometimes makes the radius of an interval larger than the inf-sup form does, which would be one of the reasons why there is no practical program package for interval multiple-precision arithmetic with the center-radius form.
The authors intend to establish a computer program package for multiple-precision arithmetic using intervals of the center-radius form which is still under construction. The present paper treats the problem of the center-radius form about the expansion of radii caused by the fundamental rules and the operation of square root. We propose several methods for calculation of multiplication, division, and square root, among which one can choose an appropriate method according to one's situation. Theoretical consideration and numerical examples are given for these methods.
研究論文（学術雑誌）, 英語 - A THEOREM FOR NUMERICAL VERIFICATION ON LOCAL UNIQUENESS OF SOLUTIONS TO FIXED-POINT EQUATIONS
Nobito Yamamoto; Mitsuhiro T. Nakao; Yoshitaka Watanabe
NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION, TAYLOR & FRANCIS INC, 32巻, 11号, 掲載ページ 1190-1204, 出版日 2011年, 査読付, We give a theoretical result with respect to numerical verification of existence and local uniqueness of solutions to fixed-point equations which are supposed to have Frechet differentiable operators. The theorem is based on Banach's fixed-point theorem and gives sufficient conditions in order that a given set of functions includes a unique solution to the fixed-point equation. The conditions are formulated to apply readily to numerical verification methods.
We already derived such a theorem in [11], which is suitable to Nakao's methods on numerical verification for PDEs. The present theorem has a more general form and one may apply it to many kinds of differential equations and integral equations which can be transformed into fixed-point equations.
研究論文（学術雑誌）, 英語 - Erratum: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (J Sci Comput (10.1007/s10915-009-9303-3))
Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoungnyoun Kim
Journal of Scientific Computing, 44巻, 1号, 掲載ページ 107, 出版日 2010年07月, 査読付
研究論文（学術雑誌）, 英語 - Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems
Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoung-Nyoung Kim
JOURNAL OF SCIENTIFIC COMPUTING, SPRINGER/PLENUM PUBLISHERS, 43巻, 3号, 掲載ページ 388-401, 出版日 2010年06月, 査読付, In previous works (Nakao et al., Reliab. Comput., 9(5):359-372, 2003; Watanabe et al., J. Math. Fluid Mech., 6(1):1-20, 2004), the authors considered the numerical verification method of solutions for two-dimensional heat convection problems known as Rayleigh-B,nard problem. In the present paper, to make the arguments self-contained, we first summarize these results including the basic formulation of the problem with numerical examples. Next, we will give a method to verify the bifurcation point itself, which should be an important information to clarify the global bifurcation structure, and show a numerical example. Finally, an extension to the three dimensional case will be described.
研究論文（学術雑誌）, 英語 - 精度保証付き多倍長演算の方法と構成
山本野人; 松田望
計測と制御, 49巻, 5号, 掲載ページ 297-302, 出版日 2010年, 査読付
研究論文（学術雑誌）, 日本語 - An Application of Taylor Models to the Nakao Method on ODEs
Nobito Yamamoto; Takashi Komori
JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS, KINOKUNIYA CO LTD, 26巻, 2-3号, 掲載ページ 365-392, 出版日 2009年10月, 査読付, The authors give short survey on validated computaion of initial value problems for ODEs especially Taylor model methods. Then they propose an application of Taylor models to the Nakao method which has been developed for numerical verification methods an PDEs and apply it to initial value problems for ODEs with some numerical experiments.
研究論文（学術雑誌）, 英語 - 連続した入力パタンのあいだの順序関係を認識する神経回路モデル -- 情報の予測・抽象化に向けて --
田中一穂; 矢野慎一郎; 山本野人
日本応用数理学会論文誌, 一般社団法人 日本応用数理学会, 18巻, 1号, 掲載ページ 87-105, 出版日 2008年, 査読付, 連続したパタンを想起できる連想記憶モデルをもとに,パタンの間の順序関係自体を記憶する神経回路モデルを提案する.このモデルは,パタンの予測や情報の抽出化などの機能に関して,その基盤を与える可能性がある.ここでは神経細胞の発火モデルであるLeaky Integrate and Fireモデルを用いてネットワークを構成し,コンピュータ上に実装してその挙動を確認したうえで,予測・抽象化との関連について考察する.
研究論文（学術雑誌）, 日本語 - On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains
Nobito Yamamoto; Kenta Genma
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, ELSEVIER SCIENCE BV, 199巻, 2号, 掲載ページ 286-296, 出版日 2007年02月, 査読付, Numerical verification methods, so-called Nakao's methods, on existence or uniqueness of solutions to PDEs have been developed by Nakao and his group including the authors. They are based on the error estimation of approximate solutions which are mainly computed by FEM.
It is a standard way of the error estimation of FEM to estimate the projection errors by elementwise interpolation errors. There are some constants in the error estimation, which depend on the mesh size parameters h. The explicit values of the constants are necessary in order to use Nakao's method. However, there were not so many researches for the computation of the explicit values of the constants. Then we had to develop the computation by ourselves, especially with guaranteed accuracy. Note that the methods of the computation depend on the dimension, the degree of bases, and the shape of the domain, etc.
The present paper shows how we have developed the methods to calculate the constants and describes new results for nonconvex domains. (c) 2006 Elsevier B.V. All rights reserved.
研究論文（学術雑誌）, 英語 - On error estimation of finite element approximations to the elliptic equations in nonconvex domains
N.Yamamoto; K.Genma
Journal of Computational and Applied Mathematics, 1巻, 199号, 掲載ページ 347-359, 出版日 2007年01月, 査読付
研究論文（学術雑誌）, 英語 - A numerical verification of bifurcation points for nonlinear heat convection problems
Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida
The proceedings of 2nd International conference "From Scientific Computing to Computational Engineering" (2nd IC-SCCE), 掲載ページ 1-8, 出版日 2006年07月, 査読付
研究論文（国際会議プロシーディングス）, 英語 - 多倍長演算を利用したBessel関数の精度保証付き数値計算
山本 野人; 松田 望
日本応用数理学会論文誌, 一般社団法人 日本応用数理学会, 15巻, 3号, 掲載ページ 347-359, 出版日 2005年, 査読付, Both multiple-precision arithmetic and validated computation have close relationship with the quality of computation. They improve and insure the quality, respectively. We propose a method to compute Bessel functions with guaranteed accuracy, which works on MATLAB. Using multiple-precision arithmetic, the method gives as precise results as one wants together with information of how precise the results are. When it is sufficient to get the results in double-precision, one can use a fast version.
研究論文（学術雑誌）, 日本語 - 楕円型方程式の解に対する局所一意性付き数値\\的検証法の効率化
渡部 善隆; 山本 野人; 中尾 充宏
日本応用数理学会論文誌, 一般社団法人 日本応用数理学会, 15巻, 4号, 掲載ページ 509-520, 出版日 2005年, 査読付, 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.
研究論文（学術雑誌）, 日本語 - A numerical verification of nontrivial solutions for the heat convection problem
Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao; Takaaki Nishida
Journal of Mathematical Fluid Mechanics, 6巻, 1号, 掲載ページ 1-20, 出版日 2004年, 査読付, A computer assisted proof of the existence of nontrivial steady-state solutions for the two-dimensional Rayleigh-Bénard convection is described. The method is based on an infinite dimensional fixed-point theorem using a Newton-like operator. This paper also proposes a numerical verification algorithm which generates automatically on a computer a set. including the exact nontrivial solution. All discussed numerical examples take into account of the effects of rounding errors in the floating point computations.
研究論文（学術雑誌）, 英語 - Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains
N Yamamoto; K Hayakawa
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, ELSEVIER SCIENCE BV, 159巻, 1号, 掲載ページ 173-183, 出版日 2003年10月, A new method to estimate errors of the finite element method (FEM) for nonconvex polygonal domain is proposed. It gives mathematically rigorous upper bounds for the errors using calculations with guaranteed accuracy. Numerical examples are shown and their orders concerning mesh sizes are compared with theoretical orders. (C) 2003 Elsevier B.V. All rights reserved.
研究論文（学術雑誌）, 英語 - Some computer assisted proofs for solutions of the heat convection problems
Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida
Reliable Computing, 9巻, 5号, 掲載ページ 359-372, 出版日 2003年10月, This is a continuation of our previous results (Y. Watanabe, N. Yamamoto, T. Nakao, and T. Nishida, "A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem," to appear in the Journal of Mathematical Fluid Mechanics). In that work, the authors considered two-dimensional Rayleigh-Bénard convection and proposed an approach to prove existence of steady-state solutions based on an infinite dimensional fixed-point theorem using a Newton-like operator with spectral approximation and constructive error estimates. We numerically verified several exact non-trivial solutions which correspond to solutions bifurcating from the trivial solution. This paper shows more detailed results of verification for given Prandtl and Rayleigh numbers. In particular, we found a new and interesting solution branch which was not obtained in the previous study, and it should enable us to present important information to clarify the global bifurcation structure. All numerical examples discussed are take into account of the effects of rounding errors in the floating point computations.
研究論文（国際会議プロシーディングス）, 英語 - Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
MT Nakao; Y Watanabe; N Yamamoto
JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS, KINOKUNIYA CO LTD, 18巻, 2号, 掲載ページ 587-602, 出版日 2001年06月, 査読付, We consider a numerical enclosure method for solutions of an inverse Dirichlet eigenvalue problem. When the finite number of prescribed eigenvalues are given, we reconstruct a potential function, with guaranteed error bounds, for which the corresponding elliptic operator exactly has those eigenvalues including the ordering property. All computations are executed with numerical verifications based upon the finite and infinite fixed point theorems using interval arithmetic. Therefore, the results obtained are mathematically correct. We present numerical examples which confirm us the enclosure algorithm works on real problems.
研究論文（学術雑誌）, 英語 - A simple method for error bounds of eigenvalues of symmetric matrices
N Yamamoto
LINEAR ALGEBRA AND ITS APPLICATIONS, ELSEVIER SCIENCE INC, 324巻, 1-3号, 掲載ページ 227-234, 出版日 2001年02月, 査読付, We propose a simple method for validated computation of eigenvalues of symmetric matrices. The method is based on LDLT decomposition and its error estimation. The indices of eigenvalues with respect to magnitude can also be obtained by this method. (C) 2001 Elsevier Science Inc. All rights reserved.
研究論文（学術雑誌）, 英語 - Numerical verification Numerical verification method for solutions of the perturbed Gelfand equation
Teruya Minamoto; Nobito Yamamoto; Mitsuhiro T. Nakao
Methods and Applications of Analysis, 7巻, 1号, 掲載ページ 251--262, 出版日 2001年, 査読付
研究論文（学術雑誌）, 英語 - A guaranteed bound of the optimal constant in the error estimates for linear triangular element
Mitsuhiro T. Nakao; Nobito Yamamoto
Computing Supplement, Springer Wien NewYork, 15巻, 掲載ページ 163-173, 出版日 2001年, 査読付
研究論文（学術雑誌）, 英語 - A guaranteed bound of the optimal constant in the error estimates for linear triangular elements part II: Details
MT Nakao; N Yamamoto
PERSPECTIVES ON ENCLOSURE METHODS, SPRINGER-VERLAG WIEN, 掲載ページ 265-276, 出版日 2001年, 査読付, In the previous paper([6]), we formulated a numerical method to get a guaranteed bound of the optimal constant in the error estimates with linear triangular elements in R-2. We describe, in this paper, detailed computational procedures for obtaining a rigorous upper bound of that constant with sufficient sharpness. The numerical verification method for solutions of nonlinear elliptic problems is successfully applied to the present purpose. A constructive error estimate for the triangular element with Neumann boundary condition plays an important role to implement the actual verified computations. Particularly, some special kind of techniques axe utilized to improve the computational cost for the algorithm. As a result, we obtained a sufficiently sharp upper bound from the practical viewpoint.
研究論文（国際会議プロシーディングス）, 英語 - 有限要素法の近似能力について
山本野人
応用数学合同研究集会、龍谷大学（2000年12月21日）, 出版日 2000年12月
日本語 - ``Error estimates of finite element solutions by spectrum method with verified computation''
Nobito Yamamoto
Matsuyama Workshop on Numerical Analysis, October 5, 2000, 出版日 2000年10月
英語 - ''Verified Numerical Computation for an Inverse Elliptic Eigenvalue Problem''
Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao
9th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2000) jointly International Conference on Interval Methods in Science and Engineering, September 18-22, 2000, Karlsruhe, Germany, 出版日 2000年09月
英語 - ''Verified Computation for PDE with Spectral Methods''
Nobito Yamamoto
9th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2000) jointly International Conference on Interval Methods in Science and Engineering, September 18-22, 2000, Karlsruhe, Germany, 出版日 2000年09月
英語 - 楕円型逆固有値問題の精度保証付き数値計算
渡部 善隆; 山本 野人; 中尾 充宏
第4回環瀬戸内応用数理研究部会シンポジウム講演プログラム・要旨集, 武雄センチュリーホテル, 佐賀県武雄市, 掲載ページ 64-65, 出版日 2000年06月
日本語 - Rayleigh-B\'enard 対流の定常分岐解に対する精度保証付き数値計算
渡部 善隆; 山本 野人; 中尾 充宏
九州大学数値解析学セミナー, 九州大学大学院数理学研究院, 出版日 2000年05月
日本語 - Numerical verification method for solutions of the perturbed Gelfand eguation
Minamoto, T; Yamamoto, N; Nakao, M.T
Methods and Applications of Analysis, 7巻, 1号, 掲載ページ 251-262, 出版日 2000年
英語 - Validated computation for a linear elliptic problem with a parameter
Nobito Yamamoto; Mitsuhiro T. Nakao; Yoshitaka Watanabe
Advances in Numerical Mathematics; Proceedings of the Fourth Japan-China Joint Seminar on Numerical Mathematics, held in Chiba, Japan, August 24-28, 1998 (H. Kawarada, M. Nakamura, Z. Shi, eds.), GAKUTO International Series Mathematical Sciences and Appli, 掲載ページ 155-162, 出版日 1999年, 査読付
研究論文（国際会議プロシーディングス）, 英語 - 一般化固有値問題の精度保証付き計算とその応用
渡部 善隆; 山本 野人; 中尾 充宏
日本応用数理学会論文誌, 一般社団法人 日本応用数理学会, 9巻, 3号, 掲載ページ 137-150, 出版日 1999年, 査読付, We consider numerical verification methods to obtain the maximum absolute value of generalized eigenvalue problems. We present four kinds of methods and compare the performance in various situations as well as give evaluation of the advantage and disadvantage of these methods. All numerical results have been calculated by the interval arithmetic software for considering the rounding error occuring in the calculation. Finally, we will present an application to an eigenvalue problem appeared in some a priori error estimates for the finite element solution of the Stokes equations.
研究論文（学術雑誌）, 日本語 - Numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixed-point theorem
N Yamamoto
SIAM JOURNAL ON NUMERICAL ANALYSIS, SIAM PUBLICATIONS, 35巻, 5号, 掲載ページ 2004-2013, 出版日 1998年10月, 査読付, In this paper, we propose a method to prove the existence and the local uniqueness of solutions to infinite-dimensional fixed-point equations using computers. Choosing a set which possibly includes a solution, we transform it by an approximate linearization of the operator appearing in the equation. Then we calculate the radii of the transformed set in order to check sufficient conditions for Banach's fixed-point theorem. This method is applied to elliptic problems and numerical examples are given.
研究論文（学術雑誌）, 英語 - On the Best Constant in the Error Bound for the H1 0-Projection into Piecewise Polynomial Spaces
Mitsuhiro T. Nakao; Nobito Yamamoto; Seiji Kimura
Journal of Approximation Theory, Academic Press Inc., 93巻, 3号, 掲載ページ 491-500, 出版日 1998年, 査読付, Explicit a priori error bounds for the approximation by the H1 0-projection into piecewise polynomial spaces are given. In particular, for the quadratic approximation, the optimal constant is derived, and a nearly optimal value for the cubic is obtained. These constants play an important role in the numerical verification method of finite element solutions for nonlinear elliptic equations. © 1998 Academic Press.
研究論文（学術雑誌）, 英語 - Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anL∞Residual Method
Mitsuhiro T. Nakao; Nobito Yamamoto
Journal of Mathematical Analysis and Applications, 217巻, 1号, 掲載ページ 246-262, 出版日 1998年01月01日, 査読付, We consider a numerical enclosure method with guaranteedL∞error bounds for the solution of nonlinear elliptic problems of second order. By using an a posteriori error estimate for the approximate solution of the problem with a higher orderC0-finite element, it is shown that we can obtain the guaranteedL∞error bounds with high accuracy. A particular emphasis is that our method needs no assumption of the existence of the solution of the original nonlinear equation, but it follows as the result of computation itself. A numerical example that confirms the effectiveness of the method is presented. © 1998 Academic Press.
研究論文（学術雑誌）, 英語 - A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
Mitsuhiro T. Nakao; Nobito Yamamoto; Yoshitaka Watanabe
Journal of Computational and Applied Mathematics, 91巻, 掲載ページ 137-158, 出版日 1998年, 査読付
研究論文（学術雑誌）, 英語 - Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao
Nonlinear Analysis, Theory, Methods & Applications, 28巻, 3号, 掲載ページ 577-587, 出版日 1997年, 査読付
研究論文（学術雑誌）, 英語 - Guaranteed error bounds for finite element solutions of the Stokes problem
MT Nakao; N Yamamoto; Y Watanabe
SCIENTIFIC COMPUTING AND VALIDATED NUMERICS, AKADEMIE VERLAG GMBH, 90巻, 掲載ページ 258-264, 出版日 1996年, 査読付
研究論文（国際会議プロシーディングス）, 英語 - Stokes方程式の有限要素解に対するa posteriori誤差評価(数値計算における品質保証とその応用 : 感度解析から証明まで)
中尾 充宏; 山本 野人; 渡部 善隆
数理解析研究所講究録, Kyoto University, 928巻, 掲載ページ 20-31, 出版日 1995年11月
日本語 - Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite element(共著)
Nobito Yamamoto; Mitsuhiro T. Nakao
Journal of Computational and Applied Mathematics, ELSEVIER SCIENCE BV, 60巻, 1-2号, 掲載ページ 271-279, 出版日 1995年06月, 査読付, The verifications of solutions to weakly nonlinear elliptic equations by the method described e.g. by Nakao (1988, 1989), etc. are sometimes hardly accomplished when the right-hand sides of the equations are very large. To overcome such difficulties, a residual iteration technique with approximate solution was introduced by Nakao (1993). In the present paper, we propose an a posteriori method for the residual iteration, and show that a remarkable improvement in efficiency and in accuracy of the verification can be obtained when we use a higher order finite element.
研究論文（学術雑誌）, 英語 - Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains(共著)
N YAMAMOTO; MT NAKAO
Numerische Mathematik, SPRINGER VERLAG, 65巻, 4号, 掲載ページ 503-521, 出版日 1993年08月, In this paper, methods for numerical verifications of solutions for elliptic equations in nonconvex polygonal domains are studied. In order to verify solutions using computer, it is necessary to determine some constants which appear in a priori error estimations. We propose some methods for determination of these constants. In numerical examples, calculating these constants for an L-shaped domain, we verify the solution of a nonlinear elliptic equation.
研究論文（学術雑誌）, 英語 - Numerical verifications of solutions for elliptic equations with strong nonlinearity(共著)
MT NAKAO; N YAMAMOTO
Numerical Functional Analysis and Optimization, MARCEL DEKKER INC, 12巻, 5-6号, 掲載ページ 535-543, 出版日 1991年, Numerical methods for automatic proof of the existence and the local uniqueness of weak solutions of elliptic boundary value problems with strongly nonlinear terms are proposed. They are based on the infinite dimensional fixed point theorems and the explicit error estimates for finite element approximations. We present detailed verification procedures and numerical examples for the typical model problem: - DELTA-u = e(U).
研究論文（学術雑誌）, 英語
MISC
- Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems (vol 43, pg 388, 2010)
Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoungnyoun Kim
SPRINGER/PLENUM PUBLISHERS, 出版日 2010年07月, JOURNAL OF SCIENTIFIC COMPUTING, 44巻, 1号, 掲載ページ 107-107, 英語, その他, 0885-7474, WOS:000278180600005 - 常微分方程式の精度保証における数式処理について (数値解析における理論・手法・応用)
山本 野人; 松田 望
京都大学, 出版日 2009年04月, 数理解析研究所講究録, 1638巻, 掲載ページ 159-168, 日本語, 1880-2818, 110007055257, AN00061013 - Effect of preconditioning in edge-based finite-element method
Hajime Igarashi; Nobito Yamamoto
This paper discusses mathematical properties of preconditioned finite-element matrices based on vector potential formulation (A method) and vector and scalar potential formulation (A-V method) for eddy-current problems. Numerical results show that A-V method with preconditioning is stable at all frequencies in contrast to A method. In this paper, this property is mathematically discussed by considering the diagonal scaling which is one of the simple preconditioning methods. In addition, regularization of A method is discussed., IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 出版日 2008年06月, IEEE TRANSACTIONS ON MAGNETICS, 44巻, 6号, 掲載ページ 942-945, 英語, 0018-9464, 120001377328, WOS:000258183400069 - Validated Computation of Bessel functions
YAMAMOTO Nobito
出版日 2005年, Proc. NOLTA2005, 20001292011 - 楕円型逆固有値問題におけるポテンシャル関数の包み込みについて (偏微分方程式の数値解法とその周辺II)
渡部 善隆; 山本 野人; 中尾 充宏
京都大学, 出版日 2001年04月, 数理解析研究所講究録, 1198巻, 掲載ページ 239-244, 日本語, 1880-2818, 110000165254 - Numerical verifications for eigenvalues of second-order elliptic operators
MT Nakao; N Yamamoto; K Nagatou
In this paper, we consider a numerical technique to verify the exact eigenvalues and eigenfunctions of second-order elliptic operators in some neighborhood of their approximations. This technique is based on Nakao's method [9] using the Newton-like operator and the error estimates for the C-0 finite element solution. We construct, in computer, a set containing solutions which satisfies the hypothesis of Schauder's fixed point theorem for compact map on a certain Sobolev space. Moreover, we propose a method to verify the eigenvalue which has the smallest absolute value. A numerical example is presented., KINOKUNIYA CO LTD, 出版日 1999年10月, JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS, 16巻, 3号, 掲載ページ 307-320, 英語, 0916-7005, WOS:000085274500001 - An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness
K Nagatou; N Yamamoto; MT Nakao
We propose a numerical method to verify the existence and local uniqueness of solutions to nonlinear elliptic equations. We numerically construct a set containing solutions which satisfies the hypothesis of Banach's fixed point theorem in a certain Sobolev space. By using the finite element approximation and constructive error estimates, we calculate the eigenvalue bound with smallest absolute value to evaluate the norm of the inverse of the linearized operator. Utilizing this bound we derive a verification condition of the Newton-Kantorovich type. Numerical examples are presented., TAYLOR & FRANCIS INC, 出版日 1999年, NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION, 20巻, 5-6号, 掲載ページ 543-565, 英語, 0163-0563, 1532-2467, WOS:000081842300009 - 一般化固有値問題の精度保証付きプログラム
渡部 善隆; 山本 野人; 中尾 充宏
九州大学大型計算機センター, 出版日 1998年06月, 九州大学大型計算機センター広報, 31巻, 2号, 掲載ページ 51-60, 日本語, 0389-7885, 120005475804 - Navier-Stokes 方程式の解の数値的検証法について(数値計算アルゴリズムの研究)
渡部 善隆; 山本 野人; 中尾 充宏
京都大学, 出版日 1998年04月, 数理解析研究所講究録, 1040巻, 掲載ページ 100-105, 日本語, 1880-2818, 110002338064 - 実対称行列の正定値性判定プログラム
渡部 善隆; 山本 野人; 中尾 充宏
九州大学大型計算機センター, 出版日 1998年03月, 九州大学大型計算機センター広報, 31巻, 1号, 掲載ページ 1-10, 日本語, 0389-7885, 120005475799 - A priori 誤差評価定数の計算機による数値評価について(科学技術における数値計算の理論と応用II)
中尾 充宏; 山本 野人
京都大学, 出版日 1997年04月, 数理解析研究所講究録, 990巻, 掲載ページ 224-234, 日本語, 1880-2818, 110004093657, AN00061013 - 楕円型作用素の固有値問題の精度保証とその応用
山本 野人; 長藤 かおり; 中尾 充宏
九州大学, 出版日 1997年, 計算機科学研究報告, 14巻, 掲載ページ 53-60, 日本語, 0910-352X, 110000516449, AN10121075 - 精度保証つき数値計算の現状と動向
中尾 充宏; 山本 野人
日本計算工学会, 出版日 1996年05月29日, 計算工学講演会論文集, 1巻, 1号, 掲載ページ 135-138, 日本語, 1342-145X, 10016693779, AN10581224 - Stokes方程式の有限要素解に対するa priori 誤差評価(科学技術における数値計算の理論と応用)
中尾 充宏; 山本 野人; 渡部 善隆
Kyoto University, 出版日 1996年04月, 数理解析研究所講究録, 944巻, 掲載ページ 41-49, 日本語, 会議報告等, 1880-2818, 110004679074 - 楕円型方程式の解の数値的検証法へのKrawczyk法の適用(数値計算における品質保証とその応用 : 感度解析から証明まで)
山本 野人; 中尾 充宏
京都大学, 出版日 1995年11月, 数理解析研究所講究録, 928巻, 掲載ページ 8-13, 日本語, 1880-2818, 110004707103, AN00061013 - 非線形楕円型問題に対する有限要素解の最大値ノルムによる精度保証(数値計算アルゴリズムの現状と展望II)
中尾 充宏; 山本 野人
京都大学, 出版日 1995年06月, 数理解析研究所講究録, 915巻, 掲載ページ 130-135, 日本語, 1880-2818, 110004720883, AN00061013 - 非凸領域における楕円型方程式の解の数値的検証法(数値計算アルゴリズムの現状と展望)
山本 野人; 中尾 充宏
京都大学, 出版日 1994年07月, 数理解析研究所講究録, 880巻, 掲載ページ 127-133, 日本語, 1880-2818, 110004757410, AN00061013 - 高次要素を用いた残差反復法による楕円型方程式の解の数値的検証法(精度保証付き数値計算法とその応用)
山本 野人; 中尾 充宏
京都大学, 出版日 1993年04月, 数理解析研究所講究録, 831巻, 掲載ページ 149-157, 日本語, 1880-2818, 110004838010, AN00061013 - 微分不能項を持つ楕円型方程式の解に対する検証問題について(精度保証付き数値計算法とその応用)
渡部 善隆; 山本 野人; 中尾 充宏
京都大学, 出版日 1993年04月, 数理解析研究所講究録, 831巻, 掲載ページ 141-148, 日本語, 会議報告等, 1880-2818, 110004838009 - 微分不能項を持つ楕円型境界値問題の解に対する数値的検証法
渡部 善隆; 山本 野人; 中尾 充宏
出版日 1992年, 電子情報通信学会技術研究報告, NLP-92-44巻, 日本語, 会議報告等
書籍等出版物
講演・口頭発表等
- 精度保証法による保存系 ODE の扱いについて
山本野人
口頭発表（一般）, 日本語, 第50回数値解析シンポジウム
発表日 2024年06月14日
開催期間 2024年06月12日- 2024年06月14日 - 離散力学系非双曲型不動点近傍でのLyapunov関数の精度保証による構成について
皆本 啓吾; 新田 光輝; 山本 野人
口頭発表（一般）, 日本語, 日本応用数理学会第17回 研究部会連合発表会, 日本応用数理学会, zoom, 国内会議
発表日 2021年03月05日 - 非双曲型平衡点近傍での Lyapunov 関数の精度保証法による構成について
新田 光輝; 山本 野人
口頭発表（一般）, 日本語, 2020 年度応用数学合同研究集会, 日本数学会, zoom, 国内会議
発表日 2020年12月20日 - 離散力学系における不動点近傍での安定多様体の捕捉について
山本野人; 皆本 啓吾; 新田 光輝
口頭発表（一般）, 日本語, 日本応用数理学会 2020年度 年会, 日本応用数理学会, zoom, 国内会議
発表日 2020年09月08日 - Fixed-point theorems as tools of verified numerics on ODEs
Nobito Yamamoto
口頭発表（基調）, 英語, ICIAM 2019, 招待, スペイン, 国際会議
発表日 2019年07月19日 - Numerical verification methods for limit cycles in dynamical systems
Nobito Yamamoto; Tomohiro Hiwaki
口頭発表（招待・特別）, 英語, International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), 招待, 早稲田大学, 国際会議
発表日 2014年03月16日 - Numerical verification methods for limit cycles in dynamical systems
Nobito Yamamoto; Tomohiro Hiwaki
口頭発表（招待・特別）, 英語, The International Workshop on Numerical Verification and its Applications 2014, 招待, Shin'ichi Oishi, Waseda University, Tokyo, Japan, Poincar ́e map is a general tool to treat limit cycles in dynamical systems. In or- der to prove existence of a limit cycle by validated computation, Zgliczyn ́ski ver- ified existence of a fixed point of a Poincar ́e map using a fixed point theorem[5]. However it was not an easy work to specify ’first return time’ Ts, a time period between an initial point x0 on the Poincar ́e section Γ and x1 := φ(Ts, x0) ∈ Γ, where φ(t, x0) denotes a point on the trajectory from x0 at time t. Of course one have to verify that there is no point φ(t, x0) ∈ Γ for any t ∈ (0, Ts). Zgliczyn ́ski proposed a way to handle the situation and showed numerical examples to ap- peal effectiveness of his method.
Hereafter we propose another way in which one has not to construct a Poincar ́e map any longer., 国際会議
発表日 2014年03月15日 - LyapunovTracing による常微分方程式の精度保証法について
樋脇 知広; 渡辺 真伊智; 山本 野人; 松江 要
口頭発表（一般）, 日本語, 日本応用数理学会2013年度年会, 国内会議
発表日 2013年09月10日 - リミットサイクルの吸引域に含まれる領域の精度保証法による同定
樋脇知広; 山本野人
口頭発表（一般）, 日本語, 2012 年度日本数学会秋季総合分科会, 国内会議
発表日 2012年09月21日 - Saddle-saddle connection の精度保証付き数値検証
松江要; 山本野人
口頭発表（一般）, 日本語, 日本応用数理学会 2012 年度年会, 国内会議
発表日 2012年08月31日 - Validated Computation of Global Solutions to ODEs,
N. Yamamoto; M. Harikae
口頭発表（招待・特別）, 英語, the Japan-German Workshop on Computer-Assisted proofs and Verification Methods,, 招待, Karisruhe,Germany, 国際会議
発表日 2011年09月18日 - Interval Multiple-Precision Arithmetic with center-radius form
N. Yamamoto; N. Matsuda
口頭発表（一般）, 英語, SCAN2010, 14th GAMM-IMACS, International Symposium on Scientific Comput- ing, Computer Arithmetic and Validated Numerics,, ENS de Lyon, Francs, 国際会議
発表日 2010年09月27日 - 常微分方程式の精度保証付き計算の技法と利用法
山本野人
口頭発表（招待・特別）, 日本語, ちばＮ体2010, 天体力学Ｎ体力学研究会
発表日 2010年03月 - Numerical verification on existence of periodic solutions to ODEs''
K.Shioda; N.Yamamoto
口頭発表（一般）, 英語, International Workshop on Numerical verification and its App
発表日 2008年03月 - 常微分方程式の数値解に関する精度保証の技法について
小森喬; 山本野人
口頭発表（一般）, 日本語, 日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会,日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会
発表日 2008年03月 - A numerical verification method for ODEs based on the Nakao Theory
N.Yamamoto; T.Komori
口頭発表（一般）, 英語, DMHF2007,DMHF2007
発表日 2007年10月 - 高次補間に基づく常微分方程式の精度保証法について
小森喬; 山本野人
口頭発表（一般）, 日本語, 日本数学会2007年度秋期総合分科会,日本数学会2007年度秋期総合分科会
発表日 2007年09月 - A theorem for numerical verification of local uniquness
Nobito Yamamoto
口頭発表（一般）, 英語, ICIAM 07, Zurich,Switzerland
発表日 2007年07月 - 高次補間に基づく常微分方程式の精度保証法について
山本野人; 小森喬
口頭発表（一般）, 日本語, 第36回数値解析シンポジウム,第36回数値解析シンポジウム
発表日 2007年06月 - 常微分方程式初期値問題に対する精度保証付き計算の新手法
山本 野人; 小森 喬
口頭発表（一般）, 日本語, 2007年日本応用数理学会連合発表会
発表日 2007年03月 - 時系列パタンに対するラベリングを行なう神経回路モデルについて
田中 一穂; 矢野 慎一郎; 山本 野人
口頭発表（一般）, 日本語, 2007年日本応用数理学会連合発表会
発表日 2007年03月 - 常微分方程式の精度保証法に関する新しい計算技法について
山本野人; 小森喬; 足立英輔
口頭発表（一般）, 日本語, 応用数学合同研究集会
発表日 2006年12月 - 時系列パタンに対するラベリングを行なう神経回路モデルについて
田中一穂; 矢野慎一郎; 山本野人
口頭発表（一般）, 日本語, 応用数学合同研究集会
発表日 2006年12月 - A Numerical Verification Method for ODEs based on Nakao's Theory
N.Yamamoto
口頭発表（一般）, 英語, NOLTA2006, Bologna,Italy
発表日 2006年09月 - A numerical verification method for nonlinear two-point boundary value problems
N.Yamamoto
口頭発表（一般）, 英語, ICNAAM2006,Crete,Greece
発表日 2006年09月 - A numerical verification method for ODEs with narrow error bounds
N.Yamamoto
口頭発表（一般）, 英語, SCAN2006, Duisburg,Germany
発表日 2006年09月 - 常微分方程式初期値問題の精度保証付き計算について
小森喬; 山本野人
口頭発表（一般）, 日本語, 日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会
発表日 2006年03月 - Validated computation of Bessel functions using multiple-precisi on arithmetic
Yamamoto,N
シンポジウム・ワークショップパネル（公募）, 英語, Workshop on Numerical Analysis of Flow Problems and Validated Computations, 長崎
発表日 2005年11月 - 熱対流問題の分岐点に対する計算機援用証明
渡部善隆; 中尾充宏; 山本野人; 西田孝明
口頭発表（一般）, 日本語, 日本数学会秋季総合分科会,日本数学会秋季総合分科会
発表日 2005年09月 - A theorem for numerical verification of uniqueness
Yamamoto,N
シンポジウム・ワークショップパネル（公募）, 英語, Dagstuhl Seminar, Algebraic and Numerical Algorithms and Computer-assisted Proofs(Seminar No 05391)
発表日 2005年09月 - Validated Computation of Bessel Functions
N. Yamamoto; N. Matsuda
口頭発表（一般）, 英語, NOLTA2005
発表日 2005年09月 - 常微分方程式の精度保証に関する話題
山本野人
口頭発表（一般）, 日本語, 第54回理論応用力学講演会 NCTAM2005
発表日 2005年01月 - 非凸領域におけるPoisson方程式に対するFEM近似の誤差評価に ついて
山本野人; 弦間健太
口頭発表（一般）, 日本語, 応用数理合同研究集会
発表日 2004年12月 - Bessel関数の精度保証ライブラリ
山本野人; 松田望
口頭発表（一般）, 日本語, 応用数理合同研究集会
発表日 2004年12月 - Numerical Error Estomation with Guaranteed Accuracy for Finite Element Method
Yamamoto,N
口頭発表（基調）, 英語, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN2004), Fukuoka, Japan, 国際会議
発表日 2004年10月 - 有限要素法の誤差評価定数に関する考察 -- 精度保証法のための 定数評価--
山本 野人; 弦間健太
口頭発表（一般）, 日本語, 日本応用数理学会年会
発表日 2004年09月 - 常微分方程式（初期値問題）の精度保証付き計算について
山本 野人; 小森喬
口頭発表（一般）, 日本語, 日本応用数理学会年会
発表日 2004年09月 - 自己随伴でない楕円型微分作用素の固有値の非存在範囲に対する精度保証付き計算、
山本 野人; 小森 喬; 内田 貴紀
口頭発表（一般）, 日本語, 日本数学会年会
発表日 2003年03月 - 精度保証付き数値計算の基盤と応用 -- 有限要素法の射影誤差限界に対する定量的見積もり ---
山本 野人
口頭発表（基調）, 日本語, 日本数学会年会, 国内会議
発表日 2003年03月 - 円環領域における楕円型偏微分方程式の精度保証法
山本 野人; 佐久間 祐幸
口頭発表（一般）, 日本語, 応用数学合同研究集会
発表日 2002年12月 - Bessel関数の境界条件への適合に関する精度保証付き計算
山本 野人
口頭発表（一般）, 日本語, 研究集会「微分方程式の数値解法と線形計算」、 京都大学数理解析研究所
発表日 2002年11月 - 積分方程式の解の一意性の数値的検証法について
小森喬; 山本野人
口頭発表（一般）, 日本語, 日本応用数理学会2002年度年会
発表日 2002年09月 - Numerical Enclosures for Nontrivial Solutions of the Heat Convection Problems
Watanabe,Y; Yamamoto,N; Nakao,M.T; Nishida,T
口頭発表（一般）, 英語, SCAN2002, Universite Pierre et Marie Curie
発表日 2002年09月 - On verified computation of PDE using Spectral methods with Bessel functions
Yamamoto,N
口頭発表（一般）, 英語, SCAN2002, Universite Pierre et Marie Curie
発表日 2002年09月 - Calculation with guaranteed accuracy of the constants in the error estimation of FEM
Yamammoto, N
口頭発表（基調）, 英語, The Sixth Japan-China Joint Seminar on Numerical Mathematics, University of Tsukuba, 国際会議
発表日 2002年08月 - Rigorous calculation for error estimation of FEM-solutions to Poisson equation
Yamamoto,N
口頭発表（一般）, 英語, GENERAL INFORMATION FOR ICFS 2002,Waseda Univ.
発表日 2002年03月
共同研究・競争的資金等の研究課題
- 現象解析のツールとしての精度保証付き計算法の開発
山本 野人
研究代表者
研究期間 2021年04月01日 - 2023年03月31日 - 精度保証による力学系解析ツールの開発
山本野人
研究代表者, 精度保証法の技術に基づき、力学系の解析のためのツールを開発して応用に資する。
研究期間 2018年04月01日 - 2021年03月31日 - 精度保証法によるLyapunov関数構成法の研究
山本 野人
研究代表者, 力学系の不動点もしくは周期軌道近傍での解の挙動解析のために、Lyapunov関数を精度保証の技法を用いて構成する方法について研究する。
研究期間 2015年04月01日 - 2018年03月01日 - 非線形現象解明に向けた計算機援用解析学の構築
中尾 充宏; 栄 伸一郎; 田端 正久; 長藤 かおり; 村重 淳; 山本 野人; 渡部 善隆; 大石 進一
日本学術振興会, 科学研究費助成事業, 基盤研究(S), 非線形偏微分方程式に対する解の数値的検証法の開発とその適用を中心として研究を進め、特に、これまでほとんど研究例を見ない非線形発展方程式に対し、十分有効な数値的検証原理を見出すことに成功した。また、従来から蓄積してきた楕円型方程式の解に対する解の検証方式に新たな知見を加え、その拡張・改良を行うとともに、流体方程式をはじめ理論解析が困難な実際問題に適用して数値的証明を行い、その有効性を実証した。, 20224001
研究期間 2008年 - 2011年 - 精度保証付き数値計算学の確立
大石 進一; 中尾 充宏; 西田 孝明; 柴田 良弘; 山本 野人; 渡部 善隆; 渡部 善隆; 西田 孝明; 柴田 良弘; 山本 野人; 中尾 充宏
日本学術振興会, 科学研究費助成事業, 早稲田大学, 特別推進研究, 偏微分方程式や線型方程式等において,計算機を用いて数値的に得られた近似解に対し,その誤差限界も定量的に計算機で与える精度保証付き数値計算の研究を推進した.ベクトルの総和や内積を計算する問題は科学技術計算の基本であるが,この問題に対して精度が数学的厳密に保証された結果を返す世界最高速のアルゴリズムを開発した.このアルゴリズムは,応用として,スパース行列に関する計算や計算幾何学にも波及した.また,偏微分方程式の解の存在証明,一意性の証明及び近似解の精度保証を行う多くの有用な方式を開発することに成功した., 17002012
研究期間 2005年 - 2009年 - 巨大領域のための有限要素法と領域分割計算ならびに関連事項
牛島 照夫; 竹田 辰興; 加古 孝; 山本 野人; 田端 正久; 藤間 昌一; 小山 大介
日本学術振興会, 科学研究費助成事業, 電気通信大学, 基盤研究(B), 1.研究代表者を中心として得られた知見 翼の等角写像の有限要素計算による同定の可能性の実証、円外帰着波動問題基本解近似解法の誤差評価、二次元外部帰着波動問題有限要素-基本解近似結合解法の有効性の確認と一定水深水域外部問題への適用。 2.分担者が著しい成果を収めた研究課題の例(分担者名) (1)離散的ベクトル・ポテンシャルを定める線形方程式系の解法確立(渡邊二郎)。(2)各種逆問題(CT型問題、データ同化型問題、パラメータ評価型問題、時系列予測型問題)への多層ニューラルネットワークの適用(竹田辰興)。(3)無限領域定常波動伝播現象の有限要素解析を音声発声問題へ適用しフォルマント捕捉に成功(加古孝)。(4)非凸多角形領域ポアソン方程式の有限要素計算誤差評価定数に対する上界決定新方法の開発(山本野人)。(5)数値シミュレーションと漸近解析による、反応拡散非線形放物型方程式における空間非一様構造が解の定性的性質へおよぼす影響の理論解析(中村健一)。(6)ルンゲ・クッタ型公式を各種偏微分方程式に適応した近似法の特性の数学的・数値実験的解析(小藤俊幸)。(7)風上近似と特性曲線近似の両手法による、流れ問題有限要素数値解法における困難打開(田端正久)。(8)移動座標系に基づく非定常渦電流場の有限要素解析(金山寛)。(9)2流体問題に対するフラックス・フリー有限要素法(大森克史)。(10)モルタル領域分割法による並列計算(藤間昌一)。(11)衝撃波等の急峻な変化に付随して生じる数値的不安定性の純理論解析ならびに数値解析(相曽秀昭)。 3.海外共同研究者の招聘 (1)2002年7月26日〜8月16日:中国北京清華大学韓厚徳教授を電気通信大学に招聘し、共同研究を実施した。(2)2004年9月12目〜10月3日:中国科学院計算数学与科学工程計算研究所余徳浩教授を電気通信大学に招聘し、共同研究を実施した。 4.研究打ち合わせ会の開催 (1)2003年1月8日〜10日、研究打ち合わせ会「横浜研究会」を、KKRホテルポートピア横浜で開催した。(2)2004年2月19日〜20日、電気通信大学にて研究打ち合わせ会「調布研究会」を開催した。(3)2005年2月17日〜19日、電気通信大学で「調布シンポジウム2005」開催した。, 14340031
研究期間 2002年 - 2004年 - 遅い流れの熱対流問題を解く実用的計算コードの作成
田端 正久; 福本 康秀; 本多 了; 中尾 充宏; 鈴木 厚; 山本 野人
日本学術振興会, 科学研究費助成事業, 九州大学, 基盤研究(B), 1.地球物理学におけるマントル対流や硝子製造過程で現れる溶融炉内の流れなど,遅い流れの熱対流問題を数値的に解くために,有限要素スキームを作成し,スキームの無条件安定性,有限要素解の収束精度を示した.この問題は,無限プラントル数を持つレーリー・ベナール方程式でモデル化され,その粘性係数は温度に強く依存している.作成したスキームは3次元問題を実用的に解くことができる.計算の軽減化を図るために,未知関数である流速,圧力,温度をすべて四面体一次要素で近似し,安定化有限要素手法を用いている. 2.上記スキームの計算コードを作成し,並列計算機に実装した.マントル対流問題の領域は球対称である.この性質を利用し,領域を合同な部分領域に分割することで,ストークス問題を解く際に必要となる剛性行列を領域全体で作成保持する必要がなくなり,代表部分領域のみの計算で,前処理付き反復解法を実現するようにした.この結果,必要な記憶容量が激減し,かつ,並列計算に適したコードを作成することができた.九州大学情報基盤センターの共有メモリー型並列計算機,富士通GP7000を用いた場合,24CPU使用時に約20倍の速度向上が得られた.このコードを用いて,定常対流状態の温度場と流れパターンの温度依存粘性比による変化を調べた.粘性比を大きくすると,プルームの先頭形状が扁平になりプルームの数が増えることを観察した. 3.定常ナヴィエ・ストークス方程式の解に対する精度保証付き数値計算の定式化を行い,低レイノルズ数で検証に成功した.理論的解明が困難な2次元熱対流問題の分岐解の存在検証について,計算機援用証明を行った. 4.3次元球殼内の対流コードを用いて大陸の存在とマントル対流の相互作用について調べた.プルームが数億年程度で大陸下に生じること数値的に示した., 11554003
研究期間 1999年 - 2001年 - 精度保証付き計算法の開発と実用化
山本 野人; 大塚 寛; 中尾 充宏
日本学術振興会, 科学研究費助成事業, 基盤研究(C), 本研究は、精度保証付き算法実用化を計ることを主たる目的とするものであった。4年間の研究期間の間に1.無限次元Newton作用素の最大固有値の精度保証付き計算法 2.対称帯行列の固有値を順位も込めて保証する精度保証法 3.上記の方法の一般固有値問題への拡張 4.不動点方程式の解の局所一意性を数値的に検証する方法 5.Perturbed Gelfand方程式の解曲線の追跡 6.有限要素法の射影誤差評価に現れる定数の精度保証付き算定法 7.Fortran90と4倍精度浮動点演算による丸め誤差の処理法の研究 8.スペクトル法を用いたNavier-Stokes方程式の解の精度保証付き計算 9.区間演算を用いた丸め誤差の影響の追跡 10.有限要素法の近似能力の測定法に関しての研究を行ない、それぞれ成果を得た。 これらのうち、4.と2.が理論的な基礎を与える研究で、1.および6.はこれらを用いて得られる結果のうち応用上特に重要となるものである。5.,8.は具体的な応用例となる。特に8.では、それ以前の有限要素法を基礎としていた方法ではなく新しくスペクトル法を利用する方法を開発している。 以上の研究成果をまとめると、次のようになる。 1)行列固有値の精度保証付き計算については、その実用化を果たした。職人芸的な要素をサブルーチンとしてまとめたプログラムライブラリの構築も行なったので、汎用性という点でも有意義なものとなった。 2)偏微分方程式の解についての精度保証法についても、実用レベルに達し得たと考えられる。特に有限要素法を用いる場合の応用範囲が広がったこと・スペクトル法を利用する方法を開発したことが重要である。ただし、その適用にあたっては数学的にやや高度な部分を含み、専門家でない者にとって容易に利用できるとは言い切れない。このことは今後の研究課題としたい。, 09640278
研究期間 1997年 - 2000年 - 最適制御問題と最良近似問題の研究
川崎 英文; 田中 靖子; 笛田 薫; 山本 野人; 中尾 充宏; 柳川 尭
日本学術振興会, 科学研究費助成事業, 九州大学, 基盤研究(C), 1、川崎は、不等式相制約から導かれる最大型関数の1次、2次の方向微分公式を与え、さらに、片側相条件は自明な例外を除いて常に包絡線を生成する事を示した。また、古賀(富山大助手)との共同研究で、不等式相制約をもつ変分問題に対するLegendre型の最適性条件を導いた。これらの結果を研究集会「離散と連続の数理」(数理研、10月)と「情報・統計科学シンポジウム」(九州大学、12月、特別講演)で発表した。 2、柳川は、森川、遠藤らと多次元離散型データ解析のための確率モデルについて共同研究を行った。特に反応がいくつかの順序カテゴリーに表される場合の用量反応関係モデルを開発し、毒性の無影響量決定問題に適用した。Sydney Statistical Congress(Sydney、8月)をはじめとする国際会議において3件日本数学会(都立大、9月)等の国内学会で6件の講演をおこなった。 3、中尾、山本は、関数方程式の解に対する数値的検証法の研究に関して、3件の研究成果を得た。 (1)変分不等式の解に対する数値的検証。(2)Stokes方程式の有限要素解のa posteriori型誤差評価。(3)楕円型作用素の固有値評価の精度保証付き計算。 これらに関してICCAM(Belgium、7月)をはじめとする国際会議で3件、応用数理学会(東京大学、9月)等の国内学会で10件の講演をおこなった。 4、笛田は、統計的推測理論の研究、乱数、モンテカルロシミュレーションに関する以下の研究で成果を得、日本統計学会研究部会で講演をおこなった。 (1)凸和距離から導かれる統計量の漸近正規性。(2)サンプル数が少ない場合に順位統計量の正確な分布を計算するための、組み合わせ生成アルゴリズム。, 08640294
研究期間 1996年 - 1996年 - 偏微分方程式の精度保証付き計算のための総合的手法の開発
山本 野人
日本学術振興会, 科学研究費助成事業, 九州大学, 奨励研究(A), 今年度における精度保証付き計算法の研究の中で得られた、次のような新しい成果を報告する。 1.丸め誤差を処理するための演算手法の開発 既存の有理数演算用のパッケージをもとにして、区間演算を利用して丸め誤差を処理するプログラムを開発した。すなわち、 (1)区間型の変数および演算を導入した。 (2)加減算の度に連分数展開を用いて、有理数を与えられた桁数に丸め、その誤差を含むように区間幅を広げるルーチンを作成した。このプログラムによって、丸め誤差の影響までも考慮した厳密な計算が可能となった。 2.残差反復を用いた誤差の改善 残差反復法と誤差の事後評価の方法を開発し、これを高次の有限要素空間を用いた楕円型方程式の解の数値的検証法に応用したところ、収束と誤差評価とに劇的な改善が見られた。 3.MHD方程式の解析 自由境界を持つMHD方程式の解の数値的検証を行なった。これは微分不可能な項を持つため、Newton型反復を適用するにあたって特別の工夫を要した。 今後の研究計画としては、まず、これまでの結果をさらに発展させて、有理数演算及び区間演算、あるいは区間演算を応用した完全精度計算を用いた精度保証計算用の演算パッケージを開発することが挙げられる。次に、問題によって必要となる区間係数の扱いや誤差評価の方法などについての複雑な手順を上述の演算パッケージで計算可能になるように工夫する。これは同じ計算量で最大の精度が得られるような理論と演算双方での工夫を意味するだけでなく、応用の簡便さという視点から、できるだけ明解で適用範囲の広い手法の開発をも意味している。, 07740161
研究期間 1995年 - 1995年 - 最適化と最良近似
川崎 英文; 笛田 薫; 山本 野人; 中尾 充宏
日本学術振興会, 科学研究費助成事業, 九州大学, 一般研究(C), 1、川崎は古賀さゆり(博士2年)と共同で、不等式相制約を持つ変分問題に対する2次の最適性条件の研究をおこない、相制約から包絡線が生成されることを明らかにした。この内、2次の最適性条件に関する研究はProceedings of APORS'94に掲載された。また、包絡線に関する結果を研究集会「非線形解析学と凸解析学の研究」(9月、京大数理研)で発表した。 2、川崎は微分不可能最適化の観点から、動節点を持つ折れ線近似問題の研究を行い、最良近似解の必要条件を与えた。さらに、節点の個数が2個の場合については、最良近似解の分類に成功した。この内、必要条件に関する研究はProceedings of APORS'94に掲載された。また、最良近似と最適化に関する講演を第5回RAMPシンポジウム(9月、東北大学)とオペレーションズ・リサーチ学会大阪研究部会(12月、大阪)でおこなった。いずれも招待講演である。 3、川崎は研究集会「最適化における離散と連続構造」(京大数理研、11月)の研究代表者をつとめた。研究集会の講演数は26件であった。 4、中尾・山本は共同で非線形偏微分方程式に解に対する数値検証法に関して、高次有限要素を用いた残差反復法による検証の効率化と高精度化をおこなった。この結果はJournal of Computational and Applied Mathematicsに掲載された。 5、中尾は2階双曲型偏微分方程式に対する解の数値的検証法を定式化し、その数値例を与えた。この結果は、Interval Computationsに掲載された。 6、山本は中尾らと共同で、自由境界を持つMHD方程式の解の数値的検証を行った。これは微分不可能な項を持つため、Newton型反復を適用するにあたって特別な工夫を要した。この結果はNonlinear Analysisに掲載予定である。, 07640316
研究期間 1995年 - 1995年 - 関数方程式の解に対する精度保証付き数値計算法
中尾 充宏; 山本 野人; 大塚 寛; 川崎 英文; 小西 貞則; 田中 俊一
日本学術振興会, 科学研究費助成事業, 九州大学, 一般研究(C), これまでに得られた楕円型方程式に関する結果を、より実用度の高いものに改良・拡張するための検討を行なった。また、原理的な検証定式化が行なわれている放物型および双曲型方程式に対して、その適用性を高めることを試みた。具体的な検討結果は以下の通り。 (1)最大値ノルムの意味での精度保証が可能な方法を検討し、数値的に構成可能なa priori誤差評価を得るとともに、高次要素を用いて高精度で最大値ノルム型のa posteriori誤差評価を得る方法を見い出した。 (2)パラメータに依存する非線形微分方程式系に対し、turning pointやbifurcation pointの近傍における特異性の影響を克服した検証方式を定式化し、またそれらの点自体を数値的に精度保証する方法を実現した。 (3)方程式の中に未知関数についてのフレッシェ微分が不能な項を含む場合にも、ニュートン的方法による検証な可能なことを、電磁流体の平衡系方程式を例にとって明らかにした。 (4)高次有限要素を用いて近似解のa posteriori誤差評価を行い、その結果に残差反復を適用することにより、検証能力が飛躍的に向上することを見い出した。 (5)非線形楕円型方程式の球対称解の漸近挙動を特徴づける積分方程式について、その解を精度保証することにより、理論的に解明困難な問題に対し数値的解決を与えた。 (6)空間2次元および3次元の非線形放物型問題に対する数値的検証法を定式化し、その検証例を与えた。 (7)Stokes方程式の有限要素解に対するa posteriori誤差評価の方法を見いだし、Navier-Stokes方程式の解の数値的検証定式化への見通しを得た。 (8)検証プログラムの高速化と効率化について検討し、検証手順の簡易化手法を見いだし、これによりにより検証プログラムの実行効率と検証精度の向上が計れた。, 06640321
研究期間 1994年 - 1994年 - 偏微分方程式の解の数値的検証法
山本 野人
日本学術振興会, 科学研究費助成事業, 九州大学, 奨励研究(A), 今年度における精度保証付き計算法の研究の中で得られた、次のような新しい成果を報告する。 1.丸め誤差を処理するための演算手法の開発 既存の有理数演算用のパッケージをもとにして、区間演算を利用して丸め誤差を処理するプログラムを開発した。すなわち、 (1) 区間型の変数および演算を導入した。 (2) 加減算の度に連分数展開を用いて、有理数を与えられた桁数に丸め、その誤差を含むように区間幅を広げるルーチンを作成した。 このプログラムによって、丸め誤差の影響までも考慮した厳密な計算が可能となった。 2.非線形偏微分方程式の球対称解の漸近挙動に関する応用 conformal scalar curvature equationと呼ばれる非線形偏微分方程式の球対称解は、原点での値に依って三種の異なる漸近挙動を取ることが知られているが、どのタイプを取るかの判定法は一般には与えられていなかった。報告者は、積分方程式に対する精度保証付き計算法を考案し、これを用いてPohozaevの恒等式にあらわれる量を厳密に計算することで、漸近挙動の判定を行なう方法を提案した。 今後の研究計画としては、まず、これまでの結果をさらに発展させて、有理数演算及び区間演算、あるいは区間演算を応用した完全精度計算を用いた精度保証計算用の演算パッケージを開発することが挙げられる。次に、問題によって必要となる区間係数の扱いや誤差評価の方法などについての複雑な手順を上述の演算パッケージで計算可能になるように工夫する。これは同じ計算量で最大の精度が得られるような理論と演算双方での工夫を意味するだけでなく、応用の簡便さという視点から、できるだけ明解で適用範囲の広い手法の開発をも意味している。具体的には、上記の球対称解を扱う場合での積分方程式への変換及び数値積分の手法の応用を発展させていくことなどを考えている。, 05740136
研究期間 1993年 - 1993年 - 非線形最適化の基礎理論とその応用
川崎 英文; 山本 野人; 末吉 豊; 横田 佳之; 坂内 悦子; 中尾 充宏
日本学術振興会, 科学研究費助成事業, 九州大学, 一般研究(C), 1、川崎は微分不可能計画法の分野で1次の包洛線効果について研究をおこない、sup型関数の方向微分の公式を与えた。その応用として、1個の動節点をもつ折れ線による最良近似問題を考察し、新しい交代定理を導いた。これらの結果を、シンポジウム「非線形解析学と数理経済の研究」(10月、京大数理研)と、日本オペレーションズ.リサーチ学会(10月、筑波大)で発表した。 2、川崎は古賀さゆり(院生)との共同研究により、不等式相条件をもつ変分問題の弱極値に対するLegendre条件を導き、その結果をシンポジウム「最適化理論と数理構造」(12月、京大数理研)で発表した。 3、中尾と山本は、非線形楕円型方程式の解の数値検証法について検討し、従来手法の適用領域の拡張及び検証効率、精度の改良をおこなった。 4、坂内は、Hamming association scheme H(d,q)がmodular不変性を持つ事を示し、有限巡回群上のassociation schemeのmodular不変性を完全に決定した。これらに関し、国際シンポジウム「Algebraic Combinatorics」(11月、九大)、「Shanghai Conference:Designs,Codes and Finite Geometries」(5月、上海交通大学)等で4件の講演をおこなった。 5、高田は河野俊丈との共同研究により、量子群の表現に付随した3次元多様体のWitten不変量を構成し、framed linkの不変量に関するSymmetryを与え、それを利用してホモロジー3球面についての不変量の値の周期性を与えた。これに関連して、「The Second Japan-Korea Seminar on Knots and links」(8月、大阪)で講演をおこなった。, 05640273
研究期間 1993年 - 1993年 - 微分方程式に対する精度保証付き数値計算法
中尾 充宏; 大塚 寛; 山本 野人; 川崎 英文; 田中 俊一; 古川 長太
日本学術振興会, 科学研究費助成事業, 九州大学, 一般研究(C), 本年度は特に、楕円型境界値問題と放物型初期境界値問題の厳密解を、計算機によってその存在と精度の保証付きで求める方法(数値的検証法)について検討し、従来手法の改良拡張に関し以下の成果を得た。 1.パラメータに依存しturning pointを持つような微分方程式に対する数値的検証法の定式化 従来の検証法では、turning pointの近傍では線形化作用素の特異性のために検証不能となったが、この点を克服する手法を見いだし、生物数学に現われる非線形常微分方程式の2点境界値問題に適用しその十分な有効性を確認した。 2.非凸領域での楕円型境界値問題の解の検証法 非凸領域ではPoisson方程式の解の滑らかさが落ちるため、その有限要素解の構成的a priori誤差評価が困難であり、したがってこれまでの検証定式化は適用できなかった。今回、計算機を用いてPoisson方程式の有限要素解のa priori誤差評価を与える方法を見いだし、平面上のL-shape domainの場合適用し検証数値例を与えた。 3.空間多次元の放物型方程式の解に対する検証法 空間1次元の場合は既に定式化と基本的検証数値例とが与えられているが、多次元の場合にそのまま適用することはできなかった。今回その点を改良し原理的には空間3次元まで適用可能とし、2次元に対する検証例を与えた。 4.残差反復法による楕円型境界値問題に対する検証能力の向上 従来の検証法では検証の原理的要因から、解の大きさがある程度以上になると、それにともなって誤差が増大し検証実行時のニュートン的反復列が発散して検証不能となる場合があった。この難点を克服するための種々の残差方程式への変換技法について検討し有効な方法を見いだした。なお本項については今後も継続して検討する予定である。, 04804006
研究期間 1992年 - 1992年 - 確率測度の無限次元級数解析と距離解析
佐藤 坦; 田中 輝雄; 中尾 充宏; 山本 野人; 川崎 英文; 柳川 尭
日本学術振興会, 科学研究費助成事業, 九州大学, 一般研究(C), 今年度の研究成果として筆頭に挙げられるのは、なんと言っても数年来の懸案であった準不変測度の作用群に関する連続性を、博士課程大学院生水町仁との共同研究で、非常に一般的な形で解決したことであろう。すなわちGを確率空間(X,B,μ)に作用する距離付け可能な局所コンパクト群、m_GをGの左不変ハール測定、μ_g(A)=μg^<-1>A),A∈B,g∈Gとする。このとき全変分ノルムの意味でlim_||μ_g-μ||=0となるための必要十分条件がμ《μg^*μであることを証明した。μ_gのこのような連続性はエルゴード理論の研究では、よく必要になるものであり、これまで多くの研究があるが、それらのいずれもが(X,B,μ)になんらかの位相的または測定論的な仮定をおくものであった。それに対して今回得た結果は(X,B)が可測空間でありさえすればよく、ほぼ最終的な結果であると考えられる。早速応用としてループ群上のウィーナー測度の0-1法則を証明した。今後多くの応用が期待される。 他方距離空間上で「徑比不等式」をみたす確率測度について大域密度定理を証明したのが[2]である。今後フラクタル解析などへの応用を目指している。 代表者佐藤が創始した「確率移動の絶対連続性」の研究について、日ソ確率論シンポジウム(キエフ)での報告が[3]である。これについては今年度さらに新しい結果を得た。 局所凸空間上のガウス測度についての台湾大学での講義録が[1]である。ガウス測度の性質を「カメロン・マルチン空間の準不変性とエルゴード性」の観点からまとめたのが特徴である。 また、分担者たちもそれぞれ成果を得た。, 04640169
研究期間 1992年 - 1992年 - 計算科学と複雑システム
田中 俊一; 大塚 寛; 川崎 英文; 中尾 充宏; 柳川 尭; 古川 長太; 山本 野人; 河原 康雄
日本学術振興会, 科学研究費助成事業, 九州大学, 一般研究(B), 計算科学と脳、市場を典型とする複雑システム(complex system)の数理を結びつけることを検討した。パラダイムの設定が具体的問題を規定するので、やや迂遠ではあるが前者に力を注いだ。その結果枠組みとしては公理的集合論に基づく「形式的な数学と科学」を想定するのが妥当であるとの見解にいたった。現在すでに解析学の分野ではそのようなものとして超準解析とくに超準確率論が盛んに研究されている。またMilnerの計算システムの理論(CCS)とBarwiseによる(自然言語の分野での)「状況意味論」という独立に進んできた理論が∈に関し無限下降列を許す集合論で見事に基礎付けられたのを契機として、情報と言語の分野も(数学と同様に)集合論上に築かれ得るという確信が生まれて来ている。 市場の均衡理論が微分学上に築かれ(静力学の類似)、力学系的な神経回路網が盛んに研究されているように力学系は複雑システムの現象面を表す大きな要素である。超準解析であらわれた無限小、超有限という概念は有限と無限、離散と連続の接点にあり、大きな有限系を扱う自然な枠組みを与えてくれる。 以上の概要にもとづき脳の数理等関連の研究者を招き催した研究集会で発表し、「研究成果報告書」にまとめた。, 02452010
研究期間 1990年 - 1991年 - 関数方程式に対する自己検証的数値計算法
中尾 充宏; 大塚 寛; 川崎 英文; 山本 野人; 河原 康雄; 藤野 精一
日本学術振興会, 科学研究費助成事業, 九州大学, 一般研究(C), 本年度は特に偏微分方程式の解の存在、一意性および存在範囲の特定を計算機によって数値的に検証する方法として、非線形楕円型境界値問題と放物型初期値境界値問題を対象に検討した。これまでの研究成果をもとに、検証可能な方程式の範囲の拡大を図り、得られた検証法を、実際に物理学や生物数学上に登場する具体的方程式に対し適用することにより、その有効性を評価すると共に、手法の改良を行った。研究内容と成果は以下の通りである。 1.非線形楕円型境界値問題の検証を行う場合、従来のL^2理論に基く方法では高々多項式オ-ダ-の非線形性にしか対応できなかったが、非線形項のTaylor展開を考えることによりこれを克服できることがわかった。例えば指数関数的な非線形性を持つ方程式の検討にもL^2理論で対応できることを明らかにし、具体的適用例として方程式:-Δu=λe^uの解の検証を行った。 2.生物数学に現れる反応拡散系の定常問題を記述する非線形楕円型方程式:-Δu=λu(1ーu)(uーa)を対象として解の検証を試み、検証方式の実用性の評価を行った。その過程において従来方式の問題点が明らかにされ、その点を改良することにより効率良い検証アルゴリズムが得られ、有効性が高められた。 3.非線形発展方程式に対する検証法について検討した。先ず準線形放物形方程式に対する初期値境界値問題の解をコンパクト作用素の不動点として定式化し、RoundingとRounding・errorの概念に基づく検証条件を明らかにし、具体的な近似空間を設定して検証手順と検証例とを与えた。 4.非線形常微分方程式の2点境界値問題に対しても、より効率の良い検証法を開発した。, 02804007
研究期間 1990年 - 1990年 - フックス型微分方程式の代数幾何、微分幾何及び位相幾何的研究
吉田 正章; 山本 野人; 佐々木 武; 茂手木 公彦; 塩浜 勝博; 山崎 正
日本学術振興会, 科学研究費助成事業, 九州大学, 一般研究(C), 研究代表者(吉田)は分担者佐々木武氏等の協力のもとに、線型偏微分方程式系(解空間は有限次元)の幾何学的理論を推進させた。即n変数階数r+1の線型微分方程式系の解をならべてI次元複素射影空間への埋め込みを作ることにより、微分方程式を射影部分多様体を対応させ、r=n+2の場合に、微分方程式の係数の微分不変式と射影多様体の射影不変式の関係を明確にした。この場合の幾何は射影超曲面の等角幾何である。更に数種の代数多様体のモジュライを記述する微分方程式系(ガウス・マニン接続)を前述の不変量を計算することによって具体的に求め、微分方程式論的群論的代数幾何的及び数論的性質をくわしく調べた。特に代数多様体がある種のK3曲面のとき我々の研究した微分方程式は、最近ゲルファント達の提唱している超幾何方程式の一般化の一番実り多い例の解析になっている。 分担者山崎正は、一般次のジ-ゲル保形型式に対応するディリクレ級数の解析的性質を、重さ0の非正則なアイゼンシュタイン級数とのコンボル-ションを取ることにより導出した。即昔Rankinが楕円モジュラ-に対してやった“Symmetric scquare"がこの場合に拡張出来ることを示した。 分担者塩浜勝博は、非負曲率完備多様体上の局所凸集合の位相に関するBurago-Zalgallerの結果を更に精密化し、Gromoll-CheegerのSoul Theoremを一般化して、凸集合の位相構造に関する最終結果を得た。 分担者茂手木公彦は3次元球面の中の結び目をそれを内部に含むソリッドト-ラスに関してねじった際に結び目のTypeが変るか否かについて調べ、ソリッドト-ラスが自明でない時はいつでも変り、そうでないときも変らないのは高々有限ケのTwistであることなどを示した。また、twistに関して不変な性質についても調べた。, 01540145
研究期間 1989年 - 1989年
