Kyushu University Academic Staff Educational and Research Activities Database
Researcher information (To researchers) Need Help? How to update
Yoshitaka Watanabe Last modified date:2017.05.22



Graduate School
Undergraduate School


E-Mail
Homepage
http://ri2t.kyushu-u.ac.jp/~watanabe/
Watanabe Yoshitaka's home page .
Academic Degree
Doctor of Mathematics
Field of Specialization
Numerical Analysis
Research
Research Interests
  • a posteriori estimate for solutions of nonlinear PDE
    keyword : PDF, Numerical verification, FEM
    2002.04.
Academic Activities
Papers
1. Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao, Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains, Japan Journal of Industrial and Applied Mathematics, 33, 3, 2016.12.
2. Yoshitaka Watanabe, An Efficient Numerical Verification Method for the Kolmogorov Problem of Incompressible Viscous Fluid, Journal of Computational and Applied Mathematics, 302, 2016.09.
3. Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao, Norm Bound Computation for Inverses of Linear Operators in Hilbert Spaces, Journal of Differential Equations , 260, 7, 2016.04.
4. Yoshitaka Watanabe, Mitsuhiro T. Nakao, A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration, Applied Mathematics and Computation, 276, 2016.03.
5. Shuting Cai, Yoshitaka Watanabe, A Computer-assisted Method for Excluding Eigenvalues of an Elliptic Operator Linearized at a Solution of a Nonlinear Problem, Japan Journal of Industrial and Applied Mathematics, 32, 1, 2015.03.
6. Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, Nobito Yamamoto, Some Considerations of the Invertibility Verifications for Linear Elliptic Operators, Japan Journal of Industrial and Applied Mathematics, 32, 1, 2015.03.
7. Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao, Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces, SIAM Journal on Numerical Analysis, 52, 2, 2014.05.
8. Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao, A Posteriori Estimates of Inverse Operators for Boundary Value Problems in Linear Elliptic Partial Differential Equations, Mathematics of Computation, 82, 283, 2013.07.
9. Nobito Yamamoto, Mitsuhiro T. Nakao, Yoshitaka Watanabe, A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations, Numerical Functional Analysis and Optimization, 32, 11, 1190-1204, 2011.11.
10. Mitsuhiro T. Nakao, and Yoshitaka Watanabe, Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems, Nonlinear Theory and Its Applications, 2, 1, 2-31, 2011.01.
11. Yoshitaka Watanabe and Mitsuhiro T. Nakao, Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Bénard Problem, Japan Journal of Industrial and Applied Mathematics, 26, 2-3, 443-463, 2009.10.
12. Yoshitaka Watanabe, Michael Plum, Mitsuhiro T. Nakao , A computer-assisted instability proof for the Orr-Sommerfeld problemwith Poiseuille flow, Journal of Applied Mathematics and Mechanics (ZAMM), Vol.89, No.1, 5-18, 2009.01.
13. Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe and Takaaki Nishida, A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Be\'nard problems, Numerische Mathematik, Vol.111, No.3, pp.389-406, 2009.01.
Presentations
1. Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao, An alternative approach of invertibility verifications for linear operators in Hilbert spaces, The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), 2017.03.17.
2. Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao, Validated constructive error estimatations for bi-harmonic problems, 17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016), 2016.09.28.
3. Yoshitaka Watanabe, A nonlinear PDE verification -- Fukuoka, Karlsruhe, Nonlinear PDE Days, 2015.07.14.
4. Yoshitaka Watanabe, Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem, Institutskolloquien, Institut für Analysis, Karlsruher Institut für Technologie, 2014.09.18.
5. Yoshitaka Watanabe, A comparison of computer-assisted proofs for the Kolmogorov problem, International Workshop on Numerical Verification and its Applications 2014 (INVA2014), 2014.03.16.
Awards
  • It is selected in the journal JJIAM.
Educational
Other Educational Activities
  • 2012.11.
  • 2008.03.
  • 2007.03.
  • 2006.03.
  • 2005.03.
  • 2004.03.