Some considerations of the invertibility verifications for linear elliptic operators

Mitsuhiro T. Nakao; Yoshitaka Watanabe; Takehiko Kinoshita; Takuma Kimura; Nobito Yamamoto

doi:10.1007/s13160-014-0160-6

Some considerations of the invertibility verifications for linear elliptic operators

Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, Nobito Yamamoto

研究成果: Article

5 引用（Scopus）

抜粋

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.

元の言語	English
ページ（範囲）	19-31
ページ数	13
ジャーナル	Japan Journal of Industrial and Applied Mathematics
巻	32
発行部数	1
DOI	https://doi.org/10.1007/s13160-014-0160-6
出版物ステータス	Published - 2015
外部発表	Yes

フィンガープリント

ASJC Scopus subject areas

Applied Mathematics
Engineering(all)

これを引用

Nakao, M. T., Watanabe, Y., Kinoshita, T., Kimura, T., & Yamamoto, N. (2015). Some considerations of the invertibility verifications for linear elliptic operators. Japan Journal of Industrial and Applied Mathematics, 32(1), 19-31. https://doi.org/10.1007/s13160-014-0160-6

@article{b6c53b53182542e79c33d38aa1ea3e91,

title = "Some considerations of the invertibility verifications for linear elliptic operators",

abstract = "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.",

keywords = "Computer-assisted proof, Differential operators, Numerical verification, Solvability of linear problem",

author = "Nakao, {Mitsuhiro T.} and Yoshitaka Watanabe and Takehiko Kinoshita and Takuma Kimura and Nobito Yamamoto",

year = "2015",

doi = "10.1007/s13160-014-0160-6",

language = "English",

volume = "32",

pages = "19--31",

journal = "Japan Journal of Industrial and Applied Mathematics",

issn = "0916-7005",

publisher = "Springer Japan",

number = "1",

}

TY - JOUR

T1 - Some considerations of the invertibility verifications for linear elliptic operators

AU - Nakao, Mitsuhiro T.

AU - Watanabe, Yoshitaka

AU - Kinoshita, Takehiko

AU - Kimura, Takuma

AU - Yamamoto, Nobito

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Computer-assisted proof

KW - Differential operators

KW - Numerical verification

KW - Solvability of linear problem

UR - http://www.scopus.com/inward/record.url?scp=84925497299&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84925497299&partnerID=8YFLogxK

U2 - 10.1007/s13160-014-0160-6

DO - 10.1007/s13160-014-0160-6

M3 - Article

AN - SCOPUS:84925497299

VL - 32

SP - 19

EP - 31

JO - Japan Journal of Industrial and Applied Mathematics

JF - Japan Journal of Industrial and Applied Mathematics

SN - 0916-7005

IS - 1

ER -

文献にアクセス

10.1007/s13160-014-0160-6