The error and guaranteed accuracy of cubature formulas in multidimensional periodic Sobolev spaces (Q486360): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(\Omega\) be a bounded domain of \(\mathbb{R}^n\), \(n\geq 1\), and \(\varphi\in X(\Omega)\), where \(X(\Omega)\) is a Banach space embedded into the space \(C(\overline{\Omega})\) of continuous functions on \(\Omega\). The author studies cubature formulas of the form \[ (M_\Omega,\varphi)=\frac{1}{|\Omega|}\int_\Omega \varphi(x)dx \approx \sum_{j=1}^N c_j \varphi(x^{(j)})=(\sum_N,\varphi), \] where \(|\Omega|\) stands for the volume of \(\Omega\), \(x^{(j)}\in \Omega\) (\(j=1,\dots,N\)) are the nodes and the weights \(c_j\) fulfil the condition \(c_1+\cdots+c_N=1\). The theoretical error \((l_N,\varphi)=(M_\Omega-\sum_N,\varphi)\) differs from the practical error \((\tilde{l}_N,\varphi)=(M_\Omega-\widetilde{\sum}_N,\varphi)\). The latter is nonlinear and depends on the floating point representation of reals. The upper estimate of the practical error is studied when the integrands belong to Sobolev spaces on a multidimensional cube. Due to the nature of the issue, three machine constants play a major role; these are \(\varepsilon_0\) and \(\varepsilon_\infty\), respectively underflow and overflow level, and the machine epsilon \(\varepsilon_1\). These epsilon constants are used to define the number \({\mathbf{R_F}}=\sup_{\mathbf{B}_{L_\varepsilon}}\{|M_\Omega(\varphi)-(\widetilde{\sum}_N,\varphi)|/\|\varphi|X(\Omega)\|\}\), where \(\mathbf{B}_{L_\varepsilon}=\{\varphi \in X(\Omega)|\sqrt{2}\varepsilon_1^{9/2}\leq A_n \|\varphi|X(\Omega)\|\leq \varepsilon_\infty^{1/3}\}\). \(\mathbf{R_F}\) is used to estimate the practical error as does \(\|\varphi|X(\Omega)\|\) when it comes to the theoretical one. Theorem 1 provides an estimate of the distance between these two quantities. As corollary, an upper bound for the practical error is found. Extremal functions for cubature formulas of the type given above are described as a linear combination of functions, such that the \(i\)th is extremal for the cubature formula with the single node \(x^{(i)}\). | |||
Property / review text: Let \(\Omega\) be a bounded domain of \(\mathbb{R}^n\), \(n\geq 1\), and \(\varphi\in X(\Omega)\), where \(X(\Omega)\) is a Banach space embedded into the space \(C(\overline{\Omega})\) of continuous functions on \(\Omega\). The author studies cubature formulas of the form \[ (M_\Omega,\varphi)=\frac{1}{|\Omega|}\int_\Omega \varphi(x)dx \approx \sum_{j=1}^N c_j \varphi(x^{(j)})=(\sum_N,\varphi), \] where \(|\Omega|\) stands for the volume of \(\Omega\), \(x^{(j)}\in \Omega\) (\(j=1,\dots,N\)) are the nodes and the weights \(c_j\) fulfil the condition \(c_1+\cdots+c_N=1\). The theoretical error \((l_N,\varphi)=(M_\Omega-\sum_N,\varphi)\) differs from the practical error \((\tilde{l}_N,\varphi)=(M_\Omega-\widetilde{\sum}_N,\varphi)\). The latter is nonlinear and depends on the floating point representation of reals. The upper estimate of the practical error is studied when the integrands belong to Sobolev spaces on a multidimensional cube. Due to the nature of the issue, three machine constants play a major role; these are \(\varepsilon_0\) and \(\varepsilon_\infty\), respectively underflow and overflow level, and the machine epsilon \(\varepsilon_1\). These epsilon constants are used to define the number \({\mathbf{R_F}}=\sup_{\mathbf{B}_{L_\varepsilon}}\{|M_\Omega(\varphi)-(\widetilde{\sum}_N,\varphi)|/\|\varphi|X(\Omega)\|\}\), where \(\mathbf{B}_{L_\varepsilon}=\{\varphi \in X(\Omega)|\sqrt{2}\varepsilon_1^{9/2}\leq A_n \|\varphi|X(\Omega)\|\leq \varepsilon_\infty^{1/3}\}\). \(\mathbf{R_F}\) is used to estimate the practical error as does \(\|\varphi|X(\Omega)\|\) when it comes to the theoretical one. Theorem 1 provides an estimate of the distance between these two quantities. As corollary, an upper bound for the practical error is found. Extremal functions for cubature formulas of the type given above are described as a linear combination of functions, such that the \(i\)th is extremal for the cubature formula with the single node \(x^{(i)}\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 65D32 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 41A55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 41A63 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6386962 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cubature formula | |||
Property / zbMATH Keywords: cubature formula / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
error bound | |||
Property / zbMATH Keywords: error bound / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
periodic Sobolev space | |||
Property / zbMATH Keywords: periodic Sobolev space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
embedding constant | |||
Property / zbMATH Keywords: embedding constant / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
embedding functions | |||
Property / zbMATH Keywords: embedding functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
guaranteed accuracy | |||
Property / zbMATH Keywords: guaranteed accuracy / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: J. R. Illán-González / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4346732 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5754214 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3068281 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embedding constants and embedding functions for Sobolev-like spaces on the unit sphere / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3323132 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Errors, condition numbers, and guaranteed accuracy of higher-dimensional spherical cubatures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3053796 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4830279 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3141892 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3359644 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4348513 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sequences of functionals with a boundary layer / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5693955 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:13, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The error and guaranteed accuracy of cubature formulas in multidimensional periodic Sobolev spaces |
scientific article |
Statements
The error and guaranteed accuracy of cubature formulas in multidimensional periodic Sobolev spaces (English)
0 references
15 January 2015
0 references
Let \(\Omega\) be a bounded domain of \(\mathbb{R}^n\), \(n\geq 1\), and \(\varphi\in X(\Omega)\), where \(X(\Omega)\) is a Banach space embedded into the space \(C(\overline{\Omega})\) of continuous functions on \(\Omega\). The author studies cubature formulas of the form \[ (M_\Omega,\varphi)=\frac{1}{|\Omega|}\int_\Omega \varphi(x)dx \approx \sum_{j=1}^N c_j \varphi(x^{(j)})=(\sum_N,\varphi), \] where \(|\Omega|\) stands for the volume of \(\Omega\), \(x^{(j)}\in \Omega\) (\(j=1,\dots,N\)) are the nodes and the weights \(c_j\) fulfil the condition \(c_1+\cdots+c_N=1\). The theoretical error \((l_N,\varphi)=(M_\Omega-\sum_N,\varphi)\) differs from the practical error \((\tilde{l}_N,\varphi)=(M_\Omega-\widetilde{\sum}_N,\varphi)\). The latter is nonlinear and depends on the floating point representation of reals. The upper estimate of the practical error is studied when the integrands belong to Sobolev spaces on a multidimensional cube. Due to the nature of the issue, three machine constants play a major role; these are \(\varepsilon_0\) and \(\varepsilon_\infty\), respectively underflow and overflow level, and the machine epsilon \(\varepsilon_1\). These epsilon constants are used to define the number \({\mathbf{R_F}}=\sup_{\mathbf{B}_{L_\varepsilon}}\{|M_\Omega(\varphi)-(\widetilde{\sum}_N,\varphi)|/\|\varphi|X(\Omega)\|\}\), where \(\mathbf{B}_{L_\varepsilon}=\{\varphi \in X(\Omega)|\sqrt{2}\varepsilon_1^{9/2}\leq A_n \|\varphi|X(\Omega)\|\leq \varepsilon_\infty^{1/3}\}\). \(\mathbf{R_F}\) is used to estimate the practical error as does \(\|\varphi|X(\Omega)\|\) when it comes to the theoretical one. Theorem 1 provides an estimate of the distance between these two quantities. As corollary, an upper bound for the practical error is found. Extremal functions for cubature formulas of the type given above are described as a linear combination of functions, such that the \(i\)th is extremal for the cubature formula with the single node \(x^{(i)}\).
0 references
cubature formula
0 references
error bound
0 references
periodic Sobolev space
0 references
embedding constant
0 references
embedding functions
0 references
guaranteed accuracy
0 references
0 references