WATANABE Yoshitaka

J-GLOBAL         Last updated: Sep 24, 2019 at 10:35
 
Avatar
Name
WATANABE Yoshitaka
Affiliation
Kyushu University
Section
Research Institute for Information Technology
Degree
(BLANK), (BLANK)

Research Interests

 
 

Education

 
 
 - 
1991
Graduate School, Division of Natural Science, Kyushu University
 
 
 - 
1989
Faculty of Science, Kyushu University
 

Published Papers

 
A computer‐assisted method for the diblock copolymer model
Shuting Cai, Yoshitaka Watanabe:
Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM); Journal of Applied Mathematics and Mechanics   99(7)    Jul 2019   [Refereed]
An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao
Japan Journal of Industrial and Applied Mathematics   36(2) 407-420   Jul 2019   [Refereed]
An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
Journal of Differential Equations   260(9) 5431-5447   Apr 2019   [Refereed]
Validated constructive error estimations for biharmonic problems,
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Reliable Computing   25 168-177   Aug 2017   [Refereed]
Watanabe Yoshitaka, Nakao Mitsuhiro T., Nagatou Kaori
JSIAM Letters   9 77-80   2017   [Refereed]
Kinoshita Takehiko, Watanabe Yoshitaka, Yamamoto Nobito, Nakao Mitsuhiro T.
Japan Journal of Industrial and Applied Mathematics   33(3) 629-636   Dec 2016   [Refereed]
Yoshitaka Watanabe
Journal of Computational Applied Mathematics   302 157-170   Aug 2016   [Refereed]
Watanabe Yoshitaka, Nagatou Kaori, Plum Michael, Nakao Mitsuhiro T.
Journal of Differential Equations   260(7) 6363-6374   Apr 2016   [Refereed]
Yoshitaka Watanabe, Mitsuhiro T. Nakao
Applied Mathematics and Computation   276 239-251   Mar 2016   [Refereed]
Kinoshita Takehiko, Watanabe Yoshitaka, Nakao Mitsuhiro T.
Lecture Notes in Computer Science   9553 225-235   Apr 2016   [Refereed]
Nakao Mitsuhiro T., Watanabe Yoshitaka, Kinoshita Takehiko, Kimura Takuma, Yamamoto Nobito
Japan Journal of Industrial and Applied Mathematics   32(1) 19-31   Mar 2015   [Refereed]
Cai Shuting, Watanabe Yoshitaka
Japan Journal of Industrial and Applied Mathematics   32(1) 263-294   Mar 2015   [Refereed]
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers   199-201   2015   [Refereed]
Kinoshita Takehiko, Watanabe Yoshitaka, Nakao Mitsuhiro T.
Nonlinear Theory and Its Applications, IEICE   6(3) 404-409   Jul 2015   [Refereed]
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Nonlinear Theory and Its Applications, IEICE   5(1) 47-52   Jan 2014   [Refereed]
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao
SIAM J. Numerical Analysis   52(2) 975-992   May 2014   [Refereed]
Yoshitaka Watanabe,Takehiko Kinoshita,Mitsuhiro T. Nakao
Math. Comput.   82(283) 1543-1557   Jul 2013   [Refereed]
Yoshitaka Watanabe
Nonlinear Theory and Its Applications, IEICE   4(1) 23-33   Jan 2013   [Refereed]
Cai Shuting, Nagatou Kaori, Watanabe Yoshitaka
Numerical Functional Analysis and Optimization   33(10) 1195-1220   Oct 2012   [Refereed]
Tests of inequivalence among absolutely nonsingular tensors through geometric invariants
Toshio Sakata, Kazumitsu Maehara, Takeshi Sasaki, Toshio Sumi, Mitsuhiro Miyazaki, Yoshitaka Watanabe, and Makoto Tagami
Universal Journal of Mathematics and Mathematical Sciences   1(1) 1-28   Jan 2012   [Refereed]
Yamamoto Nobito, Nakao Mitsuhiro T., Watanabe Yoshitaka
Numerical Functional Analysis and Optimization   32(11) 1190-1204   Nov 2011   [Refereed]
A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao
Nonlinear Theory and Its Applications, IEICE   2(1) 123-127   Jan 2011   [Refereed]
Numerical verification methods for solutions of semilinear elliptic boundary value problems
Mitsuhiro T. Nakao, Yoshitaka Watanabe
Nonlinear Theory and Its Applications, IEICE   2(1) 2-31   Jan 2011   [Refereed][Invited]
Nakao Mitsuhiro T., Watanabe Yoshitaka, Yamamoto Nobito, Nishida Takaaki, Kim Myoungnyoun
Journal of Scientific Computing   43(3) 388-401   Jun 2010   [Refereed]
Watanabe Yoshitaka, Nakao Mitsuhiro T.
Japan Journal of Industrial and Applied Mathematics   26(2-3) 443-463   Oct 2009   [Refereed]
Watanabe Yoshitaka
Japan Journal of Industrial and Applied Mathematics   26(2-3) 233-247   Oct 2009   [Refereed]
Watanabe Yoshitaka
Journal of Computational and Applied Mathematics   223(2) 953-966   Jan 2009   [Refereed]
Watanabe Yoshitaka, Plum Michael, Nakao Mitsuhiro T.
Zeitschrift fur Angewandte Mathematik und Mechanik   89(1) 5-18   Jan 2009   [Refereed]
Myoungnyoun Kim,Mitsuhiro T. Nakao,Yoshitaka Watanabe,Takaaki Nishida
Numerische Mathematik   111(3) 389-406   Jan 2009   [Refereed]
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   Jul 2006   [Refereed]
Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato
Proceedings of International Workshop on Innovative Architecture   141-146   Jan 2006   [Refereed]
A numerical verification method for solutions of singularly perturbed problems with nonlinearity
Kouji Hashimoto, Ryohei Abe, Mitsuhiro T. Nakao, Yoshitaka Watanabe
Japan Journal of Industrial and Applied Mathematics   22(1) 111-131   2005   [Refereed]
Watanabe Yoshitaka, Yamamoto Nobito, Nakao Mitsuhiro
Transactions of the Japan Society for Industrial and Applied Mathematics   15(4) 509-520   2005   [Refereed]
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 equati...
Mitsuhiro T. Nakao,K. Hashimoto,Yoshitaka Watanabe
Computing   75(1) 1-14   Jul 2005   [Refereed]
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao, Takaaki Nishida
Journal of Mathematical Fluid Mechanics   6(1) 1-20   2004   [Refereed]
Mitsuhiro T. Nakao, Yoshitaka Watanabe
Numerical Algorithms   37(1-4) 311-323   2004   [Refereed]
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida
Reliable Computing   9(5) 359-372   2003   [Refereed]
Kenji Toyonaga, Mitsuhiro T. Nakao, Yoshitaka Watanabe
Journal of Computational and Applied Mathematics   147(1) 175-190   2002   [Refereed]
Verified Numerical Computations for an Inverse Elliptic Eigenvalue Problem with Finite Data
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto
Japan Journal of Industrial and Applied Mathematics   18(2) 567-585   2001   [Refereed]
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   [Refereed]
Watanabe Yoshitaka, Yamamoto Nobito, Nakao Mitsuhiro T.
Transactions of the Japan Society for Industrial and Applied Mathematics   9(3) 137-150   1999   [Refereed]
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 ...
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
Reliable Computing   5(3) 347-357   1999   [Refereed]
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   [Refereed]
Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations.
Reliable Computing   4(2) 115-124   1998
Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe
Reliable Computing   4(2) 115-124   1998   [Refereed]
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   [Refereed]
Guaranteed Error Bounds for the Finite Element Solutions of the Stokes Problem
Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe
Scientific Computing and Validated Numerics, Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95, held in Wuppertal, Germany, September 26-29, 1995 (G. Alefeld, A. Frommer, B. Lang, eds.),   90 258-264   1996   [Refereed]
On Computational Proofs of the Existence of Solutions to Nonlinear Parabolic Problems
Mitsuhiro T. Nakao, Yoshitaka Watanabe
Journal of Computational and Applied Mathematics   50(1-3) 401-410   1994   [Refereed]
Numerical verifications of solutions for nonlinear elliptic equations
Yoshitaka Watanabe, Mitsuhiro T. Nakao
Japan Journal of Industrial and Applied Mathematics   10(1) 165-178   1993   [Refereed]

Misc

 
Watanabe Yoshitaka
RIMS Kokyuroku   1905 132-143   Jul 2014
Watanabe Yoshitaka
Journal of the Japan Society for Simulation Technology   31(3) 154-160   Sep 2012
Watanabe Yoshitaka
Bulletin of the Japan Society for Industrial and Applied Mathematics   21(4) 297-303   Dec 2011
Watanabe Yoshitaka
Bulletin of the Japan Society for Industrial and Applied Mathematics   21(3) 211-217   Sep 2011
Watanabe Yoshitaka
Bulletin of the Japan Society for Industrial and Applied Mathematics   21(2) 126-132   Jun 2011
Watanabe Yoshitaka
Bulletin of the Japan Society for Industrial and Applied Mathematics   21(1) 40-45   Mar 2011
Watanabe Yoshitaka, Nagatou Kaori, Plum Michael, Nakao Mitsuhiro T.
RIMS Kokyuroku   1719 118-129   Nov 2010
Nagatou Kaori, Brown Malcolm, Kim Myoungnyoun, Watanabe Yoshitaka, Wood Ian
Proceedings of the international Conference on Numerical Analysis and Applied Mathematics 2009   1168 922-925   Sep 2009
Watanabe Yoshitaka, Plum Michael, Nakao Mitsuhiro T.
RIMS Kokyuroku   1614 11-19   Oct 2008
WATANABE Yoshitaka
Proceedings of the conference on computational engineering and science   13(2) 697-700   May 2008
Watanabe Yoshitaka
Bulletin of the Japan Society for Industrial and Applied Mathematics   15(1) 74-75   2005
Nakao Mitsuhiro, Plum Michael, Watanabe Yoshitaka
RIMS Kokyuroku   1381 148-158   Jun 2004
WATANABE Yoshitaka, NANRI Takeshi, FUJINO Seiji
IPSJ SIG Notes   2003(83) 137-142   Aug 2003
HimenoBMT is a widely used benchmark program for the three-dimensional Poisson equation by Jacobi iteration with finite difference discretization. This paper describes some features of HimenoBMT and gives performance evaluation results for high pe...
Watanabe Yoshitaka, Nakao Mitsuhiro T., Yamamoto Nobito, Nishida Takaaki
RIMS Kokyuroku   1286 17-26   Sep 2002
Watanabe Yoshitaka, Nakao Nitsuhiro T., Yamamoto Nobito, Nishida Takaaki
RIMS Kokyuroku   1265 71-80   May 2002
Fujino Seiji, Watanabe Yoshitaka, Nanri Takeshi
Annual report of Computing and Communications Center Kyushu University   2 45-53   Mar 2002
Watanabe Yoshitaka
Bulletin of the Japan Society for Industrial and Applied Mathematics   12(1) 89-90   2002
Toyonaga K, Nakao M.T, Watanabe Y
Annual report of Computing and Communications Center Kyushu University   1 49-58   Oct 2001
Watanabe Yoshitaka
Bulletin of the Japan Society for Industrial and Applied Mathematics   11(2) 184-185   2001
Preliminary investigation of distributed shared memory system on a cluster of high performance clusters
Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato, Masaaki Shimasaki
European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2000), September 11-14 2000, Barcelona, Spain Incorporating the VI International Conference on Computational Plasticity (COMPLAS VI)      Sep 2000
WATANABE Yoshitaka, NAKAO Mitsuhiro T.
Journal of the Japan Society for Simulation Technology   19(3) 208-215   Sep 2000
Some validated computations of the solution for partial differential equations are described. These methods are based on infinite dimensional fixed-point theorems using Newton-like operators. Interval arithmetic is used in order to take account of...
Watanabe Yoshitaka, Nakao Mitsuhiro T., Yamamoto Nobito, Nishida Takaaki
RIMS Kokyuroku   1147 132-136   Apr 2000
Watanabe Yoshitaka
Bulletin of the Japan Society for Industrial and Applied Mathematics   10(2)    2000
Watanabe Yoshitaka, Yamamoto Nobito, Nakao Mitsuhiro T.
RIMS Kokyuroku   1040 100-105   Apr 1998
Nakao Mitsuhiro, Yamamoto Nobito, Watanabe Yoshitaka
RIMS Kokyuroku   944 41-49   Apr 1996
Nakao Mitsuhiro T., Yamamoto Nobito, Watanabe Yoshitaka
RIMS Kokyuroku   928 20-31   Nov 1995
Verified computation of solutions for nondifferentiable elliptic equations related to MHD equilibria
Yoshitaka Watanabe and Mitsuhiro T. Nakao
Zeitschrift fuer Angewandte Mathematik und Mechanik   75 S553-S554   1995
Watanabe Yoshitaka
Bulletin of the Japan Society for Industrial and Applied Mathematics   4(1) 95-96   1994
Watanabe Yoshitaka, Yamamoto Nobito, Nakao Mitsuhiro T.
RIMS Kokyuroku   831 141-148   Apr 1993
Watanabe Yoshitaka, Nakao Mitsuhiro T.
Research reports on computer science, Computer Center, Kyushu University   10 1-6   Mar 1993
Solving nonlinear parabolic problems with result verification : PartII Several space dimensional case
Research Report of Mathematics of Computation, Kyushu University RMC 67-05      1992

Books etc

 
Special Section on Recent Progress in Verified Numerical Computations
Zin Arai, Takeshi Ogita, Yoshitaka Watanabe (Part:Joint Editor)
Nonlinear Theory and Its Applications, IEICE, Vol. 4, No. 1, pp. 1-110   Jan 2013   

Conference Activities & Talks

 
Numerical verification methods for nonlinear equations [Invited]
WATANABE Yoshitaka
JST Sakura Exchange Program in Science, 2019, August 25-September 1, 2019, Niigata University.   29 Aug 2019   
A computer-assisted proof of the critical Reynolds number for the Orr-Sommerfeld equation
WATANABE Yoshitaka
Minisymposia: Numerical verification methods and their application to differential equations - Part 1, in the 9th International Congress on Industrial and Applied Mathematics (ICIAM), July 15-19, 2019, Valencia, Spain.   19 Jul 2019   
Computer-assisted proofs for the Orr-Sommerfeld equation [Invited]
WATANABE Yoshitaka
Workshop: Rigorous Computational Dynamics in Infinite Dimensions, April 3-6, 2019, Centre de recherches mathématiques (CRM), Université de Montréal, Montré, Québec, Canada.   5 Apr 2019   
The essence of numerical verification methods for PDEs
WATANABE Yoshitaka
2018 Workshop on Recent views of Nonlinear Analysis, December 8-10, 2018, The Toba Chamber of Commerce and Industry, Toba, Japan   10 Dec 2018   
A higher order error estimation for finite element approximations of the Poisson equation
Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao
18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018), September 10-15, 2018, Waseda University, Japan.   14 Sep 2018   

Research Grants & Projects

 
Numerical Computation guaranteed error bounds
Computer-assisted proof