-
Pseudo $s$-Numbers of Embeddings of Gaussian Weighted Sobolev Spaces
Authors:
Van Kien Nguyen
Abstract:
In this paper, we study the approximation problem for functions in the Gaussian-weighted Sobolev space $W^α_p(\mathbb{R}^d, γ)$ of mixed smoothness $α\in \mathbb{N}$ with error measured in the Gaussian-weighted space $L_q(\mathbb{R}^d, γ)$. We obtain the exact asymptotic order of pseudo $s$-numbers for the cases $1 \leq q< p < \infty$ and $p=q=2$. Additionally, we also obtain an upper bound and a…
▽ More
In this paper, we study the approximation problem for functions in the Gaussian-weighted Sobolev space $W^α_p(\mathbb{R}^d, γ)$ of mixed smoothness $α\in \mathbb{N}$ with error measured in the Gaussian-weighted space $L_q(\mathbb{R}^d, γ)$. We obtain the exact asymptotic order of pseudo $s$-numbers for the cases $1 \leq q< p < \infty$ and $p=q=2$. Additionally, we also obtain an upper bound and a lower bound for pseudo $s$-numbers of the embedding of $W^α_2(\mathbb{R}^d, γ)$ into $L_{\infty}^{\sqrt{g}}(\mathbb{R}^d)$. Our result is an extension of that obtained in Dinh Dũng and Van Kien Nguyen (IMA Journal of Numerical Analysis, 2023) for approximation and Kolmogorov numbers.
△ Less
Submitted 28 September, 2023; v1 submitted 20 September, 2023;
originally announced September 2023.
-
Optimal numerical integration and approximation of functions on $\mathbb{R}^d$ equipped with Gaussian measure
Authors:
Dinh Dũng,
Van Kien Nguyen
Abstract:
We investigate the numerical approximation of integrals over $\mathbb{R}^d$ equipped with the standard Gaussian measure $γ$ for integrands belonging to the Gaussian-weighted Sobolev spaces $W^α_p(\mathbb{R}^d, γ)$ of mixed smoothness $α\in \mathbb{N}$ for $1 < p < \infty$. We prove the asymptotic order of the convergence of optimal quadratures based on $n$ integration nodes and propose a novel met…
▽ More
We investigate the numerical approximation of integrals over $\mathbb{R}^d$ equipped with the standard Gaussian measure $γ$ for integrands belonging to the Gaussian-weighted Sobolev spaces $W^α_p(\mathbb{R}^d, γ)$ of mixed smoothness $α\in \mathbb{N}$ for $1 < p < \infty$. We prove the asymptotic order of the convergence of optimal quadratures based on $n$ integration nodes and propose a novel method for constructing asymptotically optimal quadratures. As for related problems, we establish by a similar technique the asymptotic order of the linear, Kolmogorov and sampling $n$-widths in the Gaussian-weighted space $L_q(\mathbb{R}^d, γ)$ of the unit ball of $W^α_p(\mathbb{R}^d, γ)$ for $1 \leq q < p < \infty$ and $q=p=2$.
△ Less
Submitted 16 June, 2023; v1 submitted 3 July, 2022;
originally announced July 2022.
-
Analyticity of Parametric Elliptic Eigenvalue Problems and Applications to Quasi-Monte Carlo Methods
Authors:
Van Kien Nguyen
Abstract:
In the present paper, we study the analyticity of the leftmost eigenvalue of the linear elliptic partial differential operator with random coefficient and analyze the convergence rate of the quasi-Monte Carlo method for approximation of the expectation of this quantity. The random coefficient is assumed to be represented by an affine expansion…
▽ More
In the present paper, we study the analyticity of the leftmost eigenvalue of the linear elliptic partial differential operator with random coefficient and analyze the convergence rate of the quasi-Monte Carlo method for approximation of the expectation of this quantity. The random coefficient is assumed to be represented by an affine expansion $a_0(\boldsymbol{x})+\sum_{j\in \mathbb{N}}y_ja_j(\boldsymbol{x})$, where elements of the parameter vector $\boldsymbol{y}=(y_j)_{j\in \mathbb{N}}\in U^\infty$ are independent and identically uniformly distributed on $U:=[-\frac{1}{2},\frac{1}{2}]$. Under the assumption $ \|\sum_{j\in \mathbb{N}}ρ_j|a_j|\|_{L_\infty(D)} <\infty$ with some positive sequence $(ρ_j)_{j\in \mathbb{N}}\in \ell_p(\mathbb{N})$ for $p\in (0,1]$ we show that for any $\boldsymbol{y}\in U^\infty$, the elliptic partial differential operator has a countably infinite number of eigenvalues $(λ_j(\boldsymbol{y}))_{j\in \mathbb{N}}$ which can be ordered non-decreasingly. Moreover, the spectral gap $λ_2(\boldsymbol{y})-λ_1(\boldsymbol{y})$ is uniformly positive in $U^\infty$. From this, we prove the holomorphic extension property of $λ_1(\boldsymbol{y})$ to a complex domain in $\mathbb{C}^\infty$ and estimate mixed derivatives of $λ_1(\boldsymbol{y})$ with respect to the parameters $\boldsymbol{y}$ by using Cauchy's formula for analytic functions. Based on these bounds we prove the dimension-independent convergence rate of the quasi-Monte Carlo method to approximate the expectation of $λ_1(\boldsymbol{y})$.
△ Less
Submitted 6 May, 2022; v1 submitted 5 February, 2022;
originally announced February 2022.
-
Analyticity and sparsity in uncertainty quantification for PDEs with Gaussian random field inputs
Authors:
Dinh Dũng,
Van Kien Nguyen,
Christoph Schwab,
Jakob Zech
Abstract:
We establish sparsity and summability results for coefficient sequences of Wiener-Hermite polynomial chaos expansions of countably-parametric solutions of linear elliptic and parabolic divergence-form partial differential equations with Gaussian random field inputs.
The novel proof technique developed here is based on analytic continuation of parametric solutions into the complex domain. It diff…
▽ More
We establish sparsity and summability results for coefficient sequences of Wiener-Hermite polynomial chaos expansions of countably-parametric solutions of linear elliptic and parabolic divergence-form partial differential equations with Gaussian random field inputs.
The novel proof technique developed here is based on analytic continuation of parametric solutions into the complex domain. It differs from previous works that used bootstrap arguments and induction on the differentiation order of solution derivatives with respect to the parameters. The present holomorphy-based argument allows a unified, ``differentiation-free'' proof of sparsity (expressed in terms of $\ell^p$-summability or weighted $\ell^2$-summability) of sequences of Wiener-Hermite coefficients in polynomial chaos expansions in various scales of function spaces. The analysis also implies corresponding analyticity and sparsity results for posterior densities in Bayesian inverse problems subject to Gaussian priors on uncertain inputs from function spaces.
Our results furthermore yield dimension-independent convergence rates of various \emph{constructive} high-dimensional deterministic numerical approximation schemes such as single-level and multi-level versions of Hermite-Smolyak anisotropic sparse-grid interpolation and quadrature in both forward and inverse computational uncertainty quantification.
△ Less
Submitted 16 June, 2023; v1 submitted 5 January, 2022;
originally announced January 2022.
-
Deep ReLU neural network approximation in Bochner spaces and applications to parametric PDEs
Authors:
Dinh Dũng,
Van Kien Nguyen,
Duong Thanh Pham
Abstract:
We investigate non-adaptive methods of deep ReLU neural network approximation in Bochner spaces $L_2({\mathbb U}^\infty, X, μ)$ of functions on ${\mathbb U}^\infty$ taking values in a separable Hilbert space $X$, where ${\mathbb U}^\infty$ is either ${\mathbb R}^\infty$ equipped with the standard Gaussian probability measure, or ${\mathbb I}^\infty:= [-1,1]^\infty$ equipped with the Jacobi probabi…
▽ More
We investigate non-adaptive methods of deep ReLU neural network approximation in Bochner spaces $L_2({\mathbb U}^\infty, X, μ)$ of functions on ${\mathbb U}^\infty$ taking values in a separable Hilbert space $X$, where ${\mathbb U}^\infty$ is either ${\mathbb R}^\infty$ equipped with the standard Gaussian probability measure, or ${\mathbb I}^\infty:= [-1,1]^\infty$ equipped with the Jacobi probability measure. Functions to be approximated are assumed to satisfy a certain weighted $\ell_2$-summability of the generalized chaos polynomial expansion coefficients with respect to the measure $μ$. We prove the convergence rate of this approximation in terms of the size of approximating deep ReLU neural networks. These results then are applied to approximation of the solution to parametric elliptic PDEs with random inputs for the lognormal and affine cases.
△ Less
Submitted 13 December, 2022; v1 submitted 9 November, 2021;
originally announced November 2021.
-
Best $n$-term approximation of diagonal operators and application to function spaces with mixed smoothness
Authors:
Van Kien Nguyen,
Van Dung Nguyen
Abstract:
In this paper we give exact values of the best $n$-term approximation widths of diagonal operators between $\ell_p(\mathbb{N})$ and $\ell_q(\mathbb{N})$ with $0<p,q\leq \infty$. The result will be applied to obtain the asymptotic constants of best $n$-term approximation widths of embeddings of function spaces with mixed smoothness by trigonometric system.
In this paper we give exact values of the best $n$-term approximation widths of diagonal operators between $\ell_p(\mathbb{N})$ and $\ell_q(\mathbb{N})$ with $0<p,q\leq \infty$. The result will be applied to obtain the asymptotic constants of best $n$-term approximation widths of embeddings of function spaces with mixed smoothness by trigonometric system.
△ Less
Submitted 29 August, 2021;
originally announced August 2021.
-
Computation complexity of deep ReLU neural networks in high-dimensional approximation
Authors:
Dinh Dũng,
Van Kien Nguyen,
Mai Xuan Thao
Abstract:
The purpose of the present paper is to study the computation complexity of deep ReLU neural networks to approximate functions in Hölder-Nikol'skii spaces of mixed smoothness $H_\infty^α(\mathbb{I}^d)$ on the unit cube $\mathbb{I}^d:=[0,1]^d$. In this context, for any function $f\in H_\infty^α(\mathbb{I}^d)$, we explicitly construct nonadaptive and adaptive deep ReLU neural networks having an outpu…
▽ More
The purpose of the present paper is to study the computation complexity of deep ReLU neural networks to approximate functions in Hölder-Nikol'skii spaces of mixed smoothness $H_\infty^α(\mathbb{I}^d)$ on the unit cube $\mathbb{I}^d:=[0,1]^d$. In this context, for any function $f\in H_\infty^α(\mathbb{I}^d)$, we explicitly construct nonadaptive and adaptive deep ReLU neural networks having an output that approximates $f$ with a prescribed accuracy $\varepsilon$, and prove dimension-dependent bounds for the computation complexity of this approximation, characterized by the size and the depth of this deep ReLU neural network, explicitly in $d$ and $\varepsilon$. Our results show the advantage of the adaptive method of approximation by deep ReLU neural networks over nonadaptive one.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
A Note on Je{ś}manowicz' Conjecture for Non-primitive Pythagorean Triples
Authors:
Van Thien Nguyen,
Viet Kh. Nguyen,
Pham Hung Quy
Abstract:
Let $(a, b, c)$ be a primitive Pythagorean triple parameterized as $a=u^2-v^2,\ b=2uv,\ c=u^2+v^2$,\ where $u>v>0$ are co-prime and not of the same parity. In 1956, L. Je{ś}manowicz conjectured that for any positive integer $n$, the Diophantine equation $(an)^x+(bn)^y=(cn)^z$ has only the positive integer solution $(x,y,z)=(2,2,2)$. In this connection we call a positive integer solution…
▽ More
Let $(a, b, c)$ be a primitive Pythagorean triple parameterized as $a=u^2-v^2,\ b=2uv,\ c=u^2+v^2$,\ where $u>v>0$ are co-prime and not of the same parity. In 1956, L. Je{ś}manowicz conjectured that for any positive integer $n$, the Diophantine equation $(an)^x+(bn)^y=(cn)^z$ has only the positive integer solution $(x,y,z)=(2,2,2)$. In this connection we call a positive integer solution $(x,y,z)\ne (2,2,2)$ with $n>1$ exceptional. In 1999 M.-H. Le gave necessary conditions for the existence of exceptional solutions which were refined recently by H. Yang and R.-Q. Fu. In this paper we give a unified simple proof of the theorem of Le-Yang-Fu. Next we give necessary conditions for the existence of exceptional solutions in the case $v=2,\ u$ is an odd prime. As an application we show the truth of the Je{ś}manowicz conjecture for all prime values $u < 100$.
△ Less
Submitted 22 February, 2021;
originally announced February 2021.
-
High-dimensional nonlinear approximation by parametric manifolds in Hölder-Nikol'skii spaces of mixed smoothness
Authors:
Dinh Dũng,
Van Kien Nguyen
Abstract:
We study high-dimensional nonlinear approximation of functions in Hölder-Nikol'skii spaces $H^α_\infty(\mathbb{I}^d)$ on the unit cube $\mathbb{I}^d:=[0,1]^d$ having mixed smoothness, by parametric manifolds. The approximation error is measured in the $L_\infty$-norm. In this context, we explicitly constructed methods of nonlinear approximation, and give dimension-dependent estimates of the approx…
▽ More
We study high-dimensional nonlinear approximation of functions in Hölder-Nikol'skii spaces $H^α_\infty(\mathbb{I}^d)$ on the unit cube $\mathbb{I}^d:=[0,1]^d$ having mixed smoothness, by parametric manifolds. The approximation error is measured in the $L_\infty$-norm. In this context, we explicitly constructed methods of nonlinear approximation, and give dimension-dependent estimates of the approximation error explicitly in dimension $d$ and number $N$ measuring computation complexity of the parametric manifold of approximants. For $d=2$, we derived a novel right asymptotic order of noncontinuous manifold $N$-widths of the unit ball of $H^α_\infty(\mathbb{I}^2)$ in the space $L_\infty(\mathbb{I}^2)$. In constructing approximation methods, the function decomposition by the tensor product Faber series and special representations of its truncations on sparse grids play a central role.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
$s$-Numbers of Embeddings of Weighted Wiener Algebras
Authors:
Van Dung Nguyen,
Van Kien Nguyen,
Winfried Sickel
Abstract:
In this paper we study the asymptotic behavior of Kolmogorov, approximation, Bernstein and Weyl numbers of embeddings $ \mathcal{A}^{s,r}_{\rm mix}(\mathbb{T}^d) \to L_2(\mathbb{T}^d)$ and $\mathcal{A}^{s,r}_{\rm mix}(\mathbb{T}^d) \to \mathcal{A}(\mathbb{T}^d)$, where $\mathcal{A}^{s,r}_{\rm mix}(\mathbb{T}^d)$ is a weighted Wiener algebra of mixed smoothness $s$ and $\mathcal{A}(\mathbb{T}^d)$ i…
▽ More
In this paper we study the asymptotic behavior of Kolmogorov, approximation, Bernstein and Weyl numbers of embeddings $ \mathcal{A}^{s,r}_{\rm mix}(\mathbb{T}^d) \to L_2(\mathbb{T}^d)$ and $\mathcal{A}^{s,r}_{\rm mix}(\mathbb{T}^d) \to \mathcal{A}(\mathbb{T}^d)$, where $\mathcal{A}^{s,r}_{\rm mix}(\mathbb{T}^d)$ is a weighted Wiener algebra of mixed smoothness $s$ and $\mathcal{A}(\mathbb{T}^d)$ is the Wiener algebra itself, both defined on the $d$-dimensional torus $\mathbb{T}^d$. Our main interest consists in the calculation of the associated asymptotic constants.
△ Less
Submitted 23 October, 2021; v1 submitted 15 November, 2020;
originally announced November 2020.
-
Deep ReLU neural networks in high-dimensional approximation
Authors:
Dinh Dũng,
Van Kien Nguyen
Abstract:
We study the computation complexity of deep ReLU (Rectified Linear Unit) neural networks for the approximation of functions from the Hölder-Zygmund space of mixed smoothness defined on the $d$-dimensional unit cube when the dimension $d$ may be very large. The approximation error is measured in the norm of isotropic Sobolev space. For every function $f$ from the Hölder-Zygmund space of mixed smoot…
▽ More
We study the computation complexity of deep ReLU (Rectified Linear Unit) neural networks for the approximation of functions from the Hölder-Zygmund space of mixed smoothness defined on the $d$-dimensional unit cube when the dimension $d$ may be very large. The approximation error is measured in the norm of isotropic Sobolev space. For every function $f$ from the Hölder-Zygmund space of mixed smoothness, we explicitly construct a deep ReLU neural network having an output that approximates $f$ with a prescribed accuracy $\varepsilon$, and prove tight dimension-dependent upper and lower bounds of the computation complexity of this approximation, characterized as the size and the depth of this deep ReLU neural network, explicitly in $d$ and $\varepsilon$. The proof of these results are in particular, relied on the approximation by sparse-grid sampling recovery based on the Faber series.
△ Less
Submitted 23 July, 2021; v1 submitted 16 July, 2020;
originally announced July 2020.
-
Unified Analysis of Periodization-Based Sampling Methods for Matérn Covariances
Authors:
Markus Bachmayr,
Ivan G. Graham,
Van Kien Nguyen,
Robert Scheichl
Abstract:
The periodization of a stationary Gaussian random field on a sufficiently large torus comprising the spatial domain of interest is the basis of various efficient computational methods, such as the classical circulant embedding technique using the fast Fourier transform for generating samples on uniform grids. For the family of Matérn covariances with smoothness index $ν$ and correlation length…
▽ More
The periodization of a stationary Gaussian random field on a sufficiently large torus comprising the spatial domain of interest is the basis of various efficient computational methods, such as the classical circulant embedding technique using the fast Fourier transform for generating samples on uniform grids. For the family of Matérn covariances with smoothness index $ν$ and correlation length $λ$, we analyse the nonsmooth periodization (corresponding to classical circulant embedding) and an alternative procedure using a smooth truncation of the covariance function. We solve two open problems: the first concerning the $ν$-dependent asymptotic decay of eigenvalues of the resulting circulant in the nonsmooth case, the second concerning the required size in terms of $ν$, $λ$ of the torus when using a smooth periodization. In doing this we arrive at a complete characterisation of the performance of these two approaches. Both our theoretical estimates and the numerical tests provided here show substantial advantages of smooth truncation.
△ Less
Submitted 25 August, 2020; v1 submitted 31 May, 2019;
originally announced May 2019.
-
Identifiability of Diffusion Coefficients for Source Terms of Non-Uniform Sign
Authors:
Markus Bachmayr,
Van Kien Nguyen
Abstract:
The problem of recovering a diffusion coefficient $a$ in a second-order elliptic partial differential equation from a corresponding solution $u$ for a given right-hand side $f$ is considered, with particular focus on the case where $f$ is allowed to take both positive and negative values. Identifiability of $a$ from $u$ is shown under mild smoothness requirements on $a$, $f$, and on the spatial do…
▽ More
The problem of recovering a diffusion coefficient $a$ in a second-order elliptic partial differential equation from a corresponding solution $u$ for a given right-hand side $f$ is considered, with particular focus on the case where $f$ is allowed to take both positive and negative values. Identifiability of $a$ from $u$ is shown under mild smoothness requirements on $a$, $f$, and on the spatial domain $D$, assuming that either the gradient of $u$ is nonzero almost everywhere, or that $f$ as a distribution does not vanish on any open subset of $D$. Further results of this type under essentially minimal regularity conditions are obtained for the case of $D$ being an interval, including detailed information on the continuity properties of the map** from $u$ to $a$.
△ Less
Submitted 9 November, 2018; v1 submitted 13 September, 2018;
originally announced September 2018.
-
Greedy Algorithms and Kolmogorov Widths in Banach Spaces
Authors:
Van Kien Nguyen
Abstract:
Let $X$ be a Banach space and $\mathcal{K}$ be a compact subset in $X$. We consider a greedy algorithm for finding an $n$-dimensional subspace $V_n\subset X$ which can be used to approximate the elements of $\mathcal{K}$. We are interested in how well the space $V_n$ approximates the elements of $\mathcal{K}$. For this purpose we compare the performance of greedy algorithm measured by…
▽ More
Let $X$ be a Banach space and $\mathcal{K}$ be a compact subset in $X$. We consider a greedy algorithm for finding an $n$-dimensional subspace $V_n\subset X$ which can be used to approximate the elements of $\mathcal{K}$. We are interested in how well the space $V_n$ approximates the elements of $\mathcal{K}$. For this purpose we compare the performance of greedy algorithm measured by $σ_n(\mathcal{K})_X:=\text{dist}(\mathcal{K},V_n)_X$ with the Kolmogorov width $d_n(\mathcal{K})_X$ which is the best possible error one can achieve when approximating $\mathcal{K}$ by $n$-dimensional subspaces. Various results in this direction have been given, e.g., in Binev et al. (SIAM J. Math. Anal. (2011)), DeVore et al. (Constr. Approx. (2013)) and Wojtaszczyk (J. Math. Anal. Appl. (2015)). The purpose of the present paper is to continue this line. We shall show that there exists a constant $C>0$ such that $$ σ_n(\mathcal{K})_X\leq C n^{-s+μ}\big(\log(n+2)\big)^{\min(s,1/2)}, \quad \ n\geq 1\,, $$
if Kolmogorov widths $d_n(\mathcal{K})_X$ decay as $n^{-s}$ and the Banach-Mazur distance between an arbitrary $n$-dimensional subspace $V_n \subset X$ and $\ell_2^n$ satisfies $d(V_n,\ell_2^n)\leq C_1 n^μ$. In particular, when some additional information about the set $\mathcal{K}$ is given then there is no logarithmic factor in this estimate.
△ Less
Submitted 5 August, 2019; v1 submitted 11 April, 2018;
originally announced April 2018.
-
Monte Carlo Methods for Uniform Approximation on Periodic Sobolev Spaces with Mixed Smoothness
Authors:
Glenn Byrenheid,
Robert J. Kunsch,
Van Kien Nguyen
Abstract:
We consider the order of convergence for linear and nonlinear Monte Carlo approximation of compact embeddings from Sobolev spaces of dominating mixed smoothness defined on the torus $\mathbb{T}^d$ into the space $L_{\infty}(\mathbb{T}^d)$ via methods that use arbitrary linear information. These cases are interesting because we can gain a speedup of up to $1/2$ in the main rate compared to the wors…
▽ More
We consider the order of convergence for linear and nonlinear Monte Carlo approximation of compact embeddings from Sobolev spaces of dominating mixed smoothness defined on the torus $\mathbb{T}^d$ into the space $L_{\infty}(\mathbb{T}^d)$ via methods that use arbitrary linear information. These cases are interesting because we can gain a speedup of up to $1/2$ in the main rate compared to the worst case approximation. In doing so we determine the rate for some cases that have been left open by Fang and Duan.
△ Less
Submitted 11 September, 2017;
originally announced September 2017.
-
Pointwise Multipliers for Besov Spaces of Dominating Mixed Smoothness - II
Authors:
Van Kien Nguyen,
Winfried Sickel
Abstract:
We continue our investigations on pointwise multipliers for Besov spaces of dominating mixed smoothness. This time we study the algebra property of the classes $S^r_{p,q}B(\mathbb{R}^d)$ with respect to pointwise multiplication. In addition if $p\leq q$, we are able to describe the space of all pointwise multipliers for $S^r_{p,q}B(\mathbb{R}^d)$.
We continue our investigations on pointwise multipliers for Besov spaces of dominating mixed smoothness. This time we study the algebra property of the classes $S^r_{p,q}B(\mathbb{R}^d)$ with respect to pointwise multiplication. In addition if $p\leq q$, we are able to describe the space of all pointwise multipliers for $S^r_{p,q}B(\mathbb{R}^d)$.
△ Less
Submitted 28 April, 2017;
originally announced April 2017.
-
On a Problem of Jaak Peetre Concerning Pointwise Multipliers of Besov Spaces
Authors:
Van Kien Nguyen,
Winfried Sickel
Abstract:
We characterize the set of all pointwise multipliers of the Besov spaces $B^s_{p,q}(\R)$ under the restrictions $0 < p,q \le \infty$ and $s>d/p$.
We characterize the set of all pointwise multipliers of the Besov spaces $B^s_{p,q}(\R)$ under the restrictions $0 < p,q \le \infty$ and $s>d/p$.
△ Less
Submitted 9 March, 2017;
originally announced March 2017.
-
Isotropic and Dominating Mixed Lizorkin - Triebel Spaces - a Comparison
Authors:
Van Kien Nguyen,
Winfried Sickel
Abstract:
We shall compare isotropic Lizorkin-Triebel spaces with their counterparts of dominating mixed smoothness.
We shall compare isotropic Lizorkin-Triebel spaces with their counterparts of dominating mixed smoothness.
△ Less
Submitted 4 October, 2016;
originally announced October 2016.
-
Pointwise Multipliers for Sobolev and Besov Spaces of Dominating Mixed Smoothness
Authors:
Van Kien Nguyen,
Winfried Sickel
Abstract:
Under certain restrictions we describe the set of all pointwise multipliers in case of Sobolev and Besov spaces of dominating mixed smoothness. In addition we shall give necessary and sufficient conditions for the case that these spaces form algebras with respect to pointwise multiplication.
Under certain restrictions we describe the set of all pointwise multipliers in case of Sobolev and Besov spaces of dominating mixed smoothness. In addition we shall give necessary and sufficient conditions for the case that these spaces form algebras with respect to pointwise multiplication.
△ Less
Submitted 11 August, 2016;
originally announced August 2016.
-
Gelfand Numbers of Embeddings of Mixed Besov Spaces
Authors:
Van Kien Nguyen
Abstract:
Gelfand numbers represent a measure for the information complexity which is given by the number of information needed to approximate functions in a subset of a normed space with an error less than $\varepsilon$. More precisely, Gelfand numbers coincide up to the factor 2 with the minimal error $ e^{\rm wor}(n,Λ^{\rm all})$ which describes the error of the optimal (non-linear) algorithm that is bas…
▽ More
Gelfand numbers represent a measure for the information complexity which is given by the number of information needed to approximate functions in a subset of a normed space with an error less than $\varepsilon$. More precisely, Gelfand numbers coincide up to the factor 2 with the minimal error $ e^{\rm wor}(n,Λ^{\rm all})$ which describes the error of the optimal (non-linear) algorithm that is based on $n$ arbitrary linear functionals. This explain the crucial role of Gelfand numbers in the study of approximation problems. Let $S^t_{p_1,p_1}B((0,1)^d)$ be the Besov spaces with dominating mixed smoothness on $(0,1)^d$. In this paper we consider the problem ${\rm App}: S^t_{p_1,p_1}B((0,1)^d) \to L_{p_2}((0,1)^d)$ and investigate the asymptotic behaviour of Gelfand numbers of this embedding. We shall give the correct order of convergence of Gelfand numbers in almost all cases. In addition we shall compare these results with the known behaviour of approximation numbers which coincide with $ e^{\rm wor-lin}(n,Λ^{\rm all})$ when we only allow linear algorithms.
△ Less
Submitted 21 July, 2016; v1 submitted 19 July, 2016;
originally announced July 2016.
-
Isotropic and Dominating Mixed Besov Spaces - a Comparison
Authors:
Van Kien Nguyen,
Winfried Sickel
Abstract:
We compare Besov spaces with isotropic smoothness with Besov spaces of dominating mixed smoothness. Necessary and sufficient conditions for continuous embeddings will be given.
We compare Besov spaces with isotropic smoothness with Besov spaces of dominating mixed smoothness. Necessary and sufficient conditions for continuous embeddings will be given.
△ Less
Submitted 15 January, 2016;
originally announced January 2016.
-
Change of variable in spaces of mixed smoothness and numerical integration of multivariate functions on the unit cube
Authors:
Van Kien Nguyen,
Mario Ullrich,
Tino Ullrich
Abstract:
In a recent article by two of the present authors it turned out that Frolov's cubature formulae are optimal and universal for various settings (Besov-Triebel-Lizorkin spaces) of functions with dominating mixed smoothness. Those cubature formulae go well together with functions supported inside the unit cube $[0,1]^d$. The question for the optimal numerical integration of multivariate functions wit…
▽ More
In a recent article by two of the present authors it turned out that Frolov's cubature formulae are optimal and universal for various settings (Besov-Triebel-Lizorkin spaces) of functions with dominating mixed smoothness. Those cubature formulae go well together with functions supported inside the unit cube $[0,1]^d$. The question for the optimal numerical integration of multivariate functions with non-trivial boundary data, in particular non-periodic functions, arises. In this paper we give a general result that the asymptotic rate of the minimal worst-case integration error is not affected by boundary conditions in the above mentioned spaces. In fact, we propose two tailored modifications of Frolov's cubature formulae suitable for functions supported on the cube (not in the cube) which provide the same minimal worst-case error up to a constant. This constant involves the norms of a ``change of variable'' and a ``pointwise multiplication'' map**, respectively, between the function spaces of interest. In fact, we complement, extend and improve classical results by Bykovskii, Dubinin and Temlyakov on the boundedness of change of variable map**s in Besov-Sobolev spaces of mixed smoothness. Our proof technique relies on a new characterization via integral means of mixed differences and maximal function techniques, general enough to treat Besov and Triebel-Lizorkin spaces at once. The second modification, which only tackles the case of periodic functions, is based on a pointwise multiplication and is therefore most likely more suitable for applications than the (traditional) ``change of variable'' approach. These new theoretical insights are expected to be useful for the design of new (and robust) cubature rules for multivariate functions on the cube.
△ Less
Submitted 6 November, 2015;
originally announced November 2015.
-
Weyl and Bernstein Numbers of Embeddings of Sobolev Spaces with Dominating Mixed Smoothness
Authors:
Van Kien Nguyen
Abstract:
This paper is a continuation of the papers [21] and [22]. Here we shall investigate the asymptotic behaviour of Weyl and Bernstein numbers of embeddings of Sobolev spaces with dominating mixed smoothness into Lebesgue spaces.
This paper is a continuation of the papers [21] and [22]. Here we shall investigate the asymptotic behaviour of Weyl and Bernstein numbers of embeddings of Sobolev spaces with dominating mixed smoothness into Lebesgue spaces.
△ Less
Submitted 7 September, 2015; v1 submitted 30 May, 2015;
originally announced June 2015.
-
Bernstein Numbers of Embeddings of Isotropic and Dominating Mixed Besov Spaces
Authors:
Van Kien Nguyen
Abstract:
The purpose of the present paper is to investigate the decay of Bernstein numbers of the embedding from $B^t_{p_1,q}((0,1)^d)$ into the space $L_{p_2}((0,1)^d) $. The asymptotic behaviour of Bernstein numbers of the identity $id: S_{p_1,p_1}^tB((0,1)^d)\rightarrow L_{p_2}((0,1)^d)$ will be also considered.
The purpose of the present paper is to investigate the decay of Bernstein numbers of the embedding from $B^t_{p_1,q}((0,1)^d)$ into the space $L_{p_2}((0,1)^d) $. The asymptotic behaviour of Bernstein numbers of the identity $id: S_{p_1,p_1}^tB((0,1)^d)\rightarrow L_{p_2}((0,1)^d)$ will be also considered.
△ Less
Submitted 26 November, 2014;
originally announced November 2014.
-
Kolmogorov Numbers of Embeddings of Besov Spaces of Dominating Mixed Smoothness into $L_{\infty}$
Authors:
Van Kien Nguyen
Abstract:
In this paper we shall give two-sided sharp estimates of Kolmogorov numbers of embeddings of the Besov spaces with dominating mixed smoothness $S^t_{p,q}B((0,1)^d)$ into $ L_{\infty}((0,1)^d)$.
In this paper we shall give two-sided sharp estimates of Kolmogorov numbers of embeddings of the Besov spaces with dominating mixed smoothness $S^t_{p,q}B((0,1)^d)$ into $ L_{\infty}((0,1)^d)$.
△ Less
Submitted 16 December, 2014; v1 submitted 25 November, 2014;
originally announced November 2014.
-
Weyl Numbers of Embeddings of Tensor Product Besov Spaces
Authors:
Van Kien Nguyen,
Winfried Sickel
Abstract:
In this paper we investigate the asymptotic behaviour of Weyl numbers of embeddings of tensor product Besov spaces into Lebesgue spaces. These results will be compared with the known behaviour of entropy numbers.
In this paper we investigate the asymptotic behaviour of Weyl numbers of embeddings of tensor product Besov spaces into Lebesgue spaces. These results will be compared with the known behaviour of entropy numbers.
△ Less
Submitted 17 April, 2015; v1 submitted 26 September, 2014;
originally announced September 2014.
-
A Genus Two Curve Related to the Class Number One Problem
Authors:
Viet K. Nguyen
Abstract:
We give another solution to the class number one problem by showing that imaginary quadratic fields $\Q(\sqrt{-d})$ with class number $h(-d)=1$ correspond to integral points on a genus two curve $\mscrK_3$. In fact one can find all rational points on $\mscrK_3$. The curve $\mscrK_3$ arises naturally via certain coverings of curves:\ $\mscrK_3\rg\mscrK_6$,\ $\mscrK_1\rg\mscrK_2$\ with…
▽ More
We give another solution to the class number one problem by showing that imaginary quadratic fields $\Q(\sqrt{-d})$ with class number $h(-d)=1$ correspond to integral points on a genus two curve $\mscrK_3$. In fact one can find all rational points on $\mscrK_3$. The curve $\mscrK_3$ arises naturally via certain coverings of curves:\ $\mscrK_3\rg\mscrK_6$,\ $\mscrK_1\rg\mscrK_2$\ with $\mscrK_2\colon y^2=2x(x^3-1)$ denoting the Heegner curve, also in connection with the so-called Heegner-Stark covering $\mscrK_1\rg\mscrK_s$.
△ Less
Submitted 26 November, 2014; v1 submitted 5 August, 2014;
originally announced August 2014.