Kazuaki Tanaka

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Green's Function-Based Enclosure Framework for Poisson's Equation and Generalized Sub- and Super-Solutions (available as arXiv preprint)	2026-01-01	Paper
Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents Numerical Functional Analysis and Optimization	2022-05-11	Paper
A posteriori verification of the positivity of solutions to elliptic boundary value problems SN Partial Differential Equations and Applications	2022-02-22	Paper
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems Computers & Mathematics with Applications	2022-02-04	Paper
A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations Japan Journal of Industrial and Applied Mathematics	2021-09-30	Paper
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains Journal of Computational and Applied Mathematics	2021-09-01	Paper
Numerical verification method for positive solutions of elliptic problems Journal of Computational and Applied Mathematics	2020-02-18	Paper
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (available as arXiv preprint)	2019-10-04	Paper
Numerical verification of positiveness for solutions to semilinear elliptic problems JSIAM Letters	2019-03-18	Paper
Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains Journal of Inequalities and Applications	2017-12-11	Paper
Sharp numerical inclusion of the best constant for embedding H₀^1() L^p() on bounded convex domain Journal of Computational and Applied Mathematics	2016-12-28	Paper
Numerical validation of blow-up solutions of ordinary differential equations Journal of Computational and Applied Mathematics	2016-12-02	Paper
Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents (available as arXiv preprint)	2016-07-15	Paper
Numerical verification method for positiveness of solutions to elliptic equations	2016-06-13	Paper
Numerical verification method for positiveness of solutions to elliptic equations (available as arXiv preprint)	2016-01-01	Paper
Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator Journal of Inequalities and Applications	2015-12-09	Paper
Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation Japan Journal of Industrial and Applied Mathematics	2015-02-25	Paper

Research outcomes over time

This page was built for person: Kazuaki Tanaka