On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations-Reference-Cited by-同舟云学术

On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations

Published:2017 Issue:0 Volume:9 Page:77-80
ISSN:1883-0609
Container-title:JSIAM Letters
language:en
Short-container-title:JSIAM Letters

Author:

Watanabe Yoshitaka¹,Nakao Mitsuhiro T.²,Nagatou Kaori³

Affiliation:

1. Research Institute for Information Technology, Kyushu University

2. Faculty of Science and Engineering, Waseda University

3. Institut für Analysis, Karlsruher Institut für Technologie

Publisher

The Japan Society for Industrial and Applied Mathematics

Link

https://www.jstage.jst.go.jp/article/jsiaml/9/0/9_77/_pdf

Reference10 articles.

1. 1) P. Grisvard, Elliptic Problems in Nonsmooth Domains, Pitman, Boston, 1985.

2. 2) A. Mizutani, On the finite element method for the biharmonic Dirichlet problem in polygonal domains; quasi-optimal rate of convergence, Jpn. J. Ind. Appl. Math., 22 (2005), 45-56.

3. 3) C. Wieners, Numerical enclosures for solutions of the Navier-Stokes equations for small Reynolds numbers, in: in: Numerical methods and error bounds, Proc. of the IMACS-GAMM international symposium, Oldenburg, Germany, July 9-12, 1995, G. Alefeld, et al., eds., Math. Res., Vol. 89, pp. 280-286, Akademie Verlag, Berlin, 1996.

4. 4) U. Storck, Numerical enclosure for solutions of the incompressible stationary Navier-Stokes equation in two dimensions, Book of Abstracts of SCAN 2000/Interval 2000 held in Karlsruhe, Germany, September 19-22, 2000, pp.118.

5. 5) M. T. Nakao, K. Nagatou and K. Hashimoto, Numerical enclosure of solutions for two dimensional driven cavity problems, in: Proc. of European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2004) P. Neittaanmäki, et al., eds., 2004.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations;Springer Series in Computational Mathematics;2019

2. Applications to the Computer-Assisted Proofs in Analysis;Springer Series in Computational Mathematics;2019