The approximation-theory tag has no wiki summary.

**10**

votes

**0**answers

390 views

### Functions approximated by rolling epicycle curves

Imagine a decreasing sequence of (positive) radii $r_1 > r_2 > r_3 > \cdots$
and a series of nested circles $C_1 \supset C_2 \supset C_3 \supset \cdots$
with these radii,
initially each ...

**8**

votes

**0**answers

375 views

### Padé approximations of $e$

The following question came up in the analysis of some algorithm.
Let $R_{s,t}(z)$ be the Padé approximants of $e^z$, and define $r_{s,t} = R_{s,t}(1)$. Using the explicit expression for the error ...

**7**

votes

**0**answers

119 views

### On derivatives of polynomials majorized by $\max(1,|x|^d)$

In the course of generalizing the Bernstein-Markov theorem to normed space, Harris came up with the following question.
Suppose that $p$ is a real polynomial satisfying $|p(x)| \leq (1+|x|)^d$. ...

**6**

votes

**0**answers

192 views

### Approximating Lie groups by finite groups

How can one approximate compact Lie groups by finite groups?
My wish is something like this:
Let $G$ be a compact Lie group.
There is a sequence of nested finite subgroups $G_n$ so that $G_n\to ...

**6**

votes

**0**answers

219 views

### Polynomial upper approximation with respect to the Gaussian measure

Let $f = 1_{[a,+\infty)}$ be the indicator function of a half-line. Does there exist a sequence $(P_n)$ of polynomials such that $f(x) \leq P_n(x)$ for every real $x$ and
$$ \lim_{n\to \infty} ...

**6**

votes

**0**answers

431 views

### convergence rate in Wiener's approximation theorem

Wiener has the following fantastic results about approximations using translation families:
Given a function $h: \mathbb{R} \to \mathbb{R}$, the set $\{\sum a_i h(\cdot - x_i): a_i, x_i \in ...

**5**

votes

**0**answers

163 views

### Degree of Chebyshev polynomial necessary

In general, given $0<a<1$, I want to find a polynomial $f(x)\in\Bbb R[x]$ such that $f(x)\in[1-\frac{a}2,1+\frac{a}2]$ at every $x\in[1-a,1+a]$ and $f(0)=0$. What is minimum degree that is ...

**5**

votes

**0**answers

275 views

### Are inclusions from spaces of $C^\infty$ sections into spaces of $C^k$ sections homotopy equivalences?

[EDIT: The answer to my original question was obviously no, as user56365 pointed out. Here is what I should have asked.]
For finite-dimensional smooth manifolds $E,M$, let $E\to M$ be a smooth fibre ...

**5**

votes

**0**answers

263 views

### Approximation by polynomials

The following is a well-known theorem (see e.g. The Chebyshev Polynomial by Rivlin):
If $p(x) = x^n + a_{n_1} x^{n-1} + \ldots + a_0$, then $\max_{-1\leq x \leq 1} |p(x)| \geq 2^{1-n}$ for $n \geq 1$ ...

**5**

votes

**0**answers

148 views

### what books to read to quickly understand adiabatic approximation

Hi group, I'm a theoretical ecologist with fairly adequate training in applied math (ODE, linear algebra, applied probability, some PDEs). In my current work, I've encountered the use of adiabatic ...

**5**

votes

**0**answers

327 views

### Approximations of negative Sobolev norms

Consider the standard Cahn-Hilliard free energy, augmented by a nonlocal interaction term which measures the $H^{-1}$ norm of a zero-mean function. Could someone point me to a reference where this ...

**4**

votes

**0**answers

65 views

### Numerical integration error bounds on the unit sphere

A sequence of points $x_1,x_2,\dots$ on the unit sphere $S^{D-1}$ is said to be uniformly distributed if
\begin{align}
\lim_{N \rightarrow \infty} \frac{1}{N} \sum_{j=1}^N f(x_j) = \int_{x \in ...

**4**

votes

**0**answers

65 views

### Estimating polynomial approximation error in high dimension

Question
Let $x \in [-1, 1]^d \subset \mathbb{R}^d$ be a $d$-dimensional variable and assume that -- given $n$ -- I have a way of computing a polynomial $p_n(x)$ of degree $n$ that approximates a ...

**4**

votes

**0**answers

121 views

### The closures in $C^0(\mathbb C,\mathbb C)$ of the set of integer valued polynomials

This question is closely related to the thread The closures in $C^0(\mathbb R,\mathbb R)$ of the set of integer valued polynomials, resp, of polynomials with integer coefficients. (Recall that a ...

**4**

votes

**0**answers

262 views

### Which functions can be approximated by piecewise constant functions?

Let $\Omega \subset \mathbb{R}^d$ be a connected and bounded domain. We call a function $f\in L^\infty(\Omega)$ nice if for each $\epsilon>0$ there exist $n\in \mathbb{N}, a_1,\dots,a_n \in ...

**3**

votes

**0**answers

127 views

### $\epsilon$-covering number of a set of rank-2 matrices

Suppose that two unit-norm vectors $\boldsymbol{a}\in \mathbb{R}^m$ and $\boldsymbol{b}\in\mathbb{R}^n$ are given with $m\leq n$. Furthermore, let $\boldsymbol{F}_{m,n}$ denote the first $m$ rows of ...

**3**

votes

**0**answers

222 views

### Density of C^\infty in the domain of the exterior derivative on a noncompact, complete manifold?

Let $(M,g)$ be a geodesically complete Riemannian manifold that is not necessarily compact. Futhermore, assume that $M$ has at most exponential volume growth (ie., locally doubling property). Let ...

**2**

votes

**0**answers

34 views

### Are functions whose partial derivatives are simple functions dense in $W^{1,\infty}$?

In a 2D domain, are the functions whose partial derivatives are simple functions dense in $W^{1,\infty}$ ?

**2**

votes

**0**answers

43 views

### Estimating overshoot in spline interpolation

Say I have a spline space $\mathcal S$ of dimension $n$ with a set of unisolvent points $(\xi_i)_{i=1}^n$, i.e., points at which I can unambiguously interpolate within the spline space. So, given ...

**2**

votes

**0**answers

76 views

### The proximality of low rank function approximation

The paper "Best $n$-Dimensional approximation to sets of functions" by A. L. Brown in 1964 gave a negative answer to the following question:
Q1: Is there for a given integer $n$ always a best ...

**2**

votes

**0**answers

409 views

### Approximation of continuous functions by Lipschitz functions in the topology of uniform convergence on compact sets

I was involved into this subject when I answered
this
question from MSE. Trying to generalize my answer, I am thinking about a following
Question. Let $X$ and $Y$ be metric spaces. When each ...

**2**

votes

**0**answers

84 views

### Greedy interpolation of functions

Let $f:[-1,1]\rightarrow \mathbb{R}$ be a continuous function. Consider the following greedy algorithm for interpolation:
Set $r_0 = f$.
for $k = 0,1,\ldots,$
Find the location of the global ...

**2**

votes

**0**answers

194 views

### Is there an absolutely continuous function $f$

Is there an absolutely continuous function $f$ satisfying
$$
|f(x+\delta)+f(x-\delta)-2f(x)|\leq \mbox{const}\frac{|\delta|}{\log \frac{1}{|\delta|}},\,\,\, |\delta|<1,
$$
which is not $C^{1}$?

**2**

votes

**0**answers

146 views

### Rational interpolation: Error bounds for coefficients

The following question was asked on MSE, but might be more suitable here.
Assume there is a rational function
$$
f:x\mapsto \frac{\sum_{i=0}^m{a_ix^i}}{1+\sum_{j=1}^n{b_jx^j}}
$$
of type $(m,n)$ with ...

**2**

votes

**0**answers

107 views

### On Artin-Hironaka lemma and Galois theory

Let $A=k[[t]]$ Let $B$ a flat $A$-finite algebra which is etale and Galois at the generic point.
Then by Artin lemma 3.12 (ii) in his IHES paper on approximation, we know that there exists an integer ...

**2**

votes

**0**answers

127 views

### A.G. Vitushkin's “Easily representable families of functions” - can it be generalized?

Background
In his monograph "Estimation of the complexity of the tabulation problem" (translated into English as "Theory of the Transmission and Processing of Information") Vitushkin studies ...

**2**

votes

**0**answers

156 views

### Worst-case error and Cramer-Rao Lower Bound - is there any mathematical relation between them?

I would like to understand the relation (if any) between the Cramer-Rao Lower Bound of estimation theory and the following simple definition of "reconstruction accuracy" which doesn't use any ...

**2**

votes

**0**answers

178 views

### Markov-type inequalities with arbitrary exponents

By a Markov-type inequality I mean an inequality of the form
$$
\| p^{(k)} \| \leq \lambda_{k,n} \| p \|,\quad \forall p \in U_n,
$$
for some $\lambda_{k,n} > 0$, where $U_n \subset L^\infty[-1,1]$ ...

**2**

votes

**0**answers

103 views

### Noisy bases for linear functions

For any $x \in \mathbb{R}^n$, the following statement is trivially true:
There exists a set $I \subset \mathbb{R}^n$ with $|I| \leq n$ such that for any $x' \in \mathbb{R}^n$, if $x \cdot y = x' ...

**1**

vote

**0**answers

102 views

### Estimates of entropy of functional spaces

Let $M^n$ be a compact $n$-dimensional manifold. For $k\geq 0$ let us denote by $C^k(M)$ the Banach space of $k$ times continuously differentiable functions, and $B_{C^k}$ denote the unit ball of it.
...

**1**

vote

**0**answers

40 views

### Finite elements $W^{1,\infty}$ error estimates

Are there finite element method setups that provide error estimates in the $W^{1,\infty}$ norm (i.e., bounds on $\|u'_h - u'\|_\infty$)? Which families of elements can be used for implementing them?

**1**

vote

**0**answers

48 views

### Density of restrictions of $p$-harmonic functions on a hypersurface

Let $\omega,\Omega\subset\mathbb R^n$, $n\geq2$, be bounded smooth domains so that $\bar\omega\subset\Omega$.
Let $1<p<\infty$.
Define the boundary space $B=W^{1,p}(\omega)/W^{1,p}_0(\omega)$; ...

**1**

vote

**0**answers

33 views

### Multidimensional Filters

Say you want to design a LP FIR filter with low pass cutoff $fc$, transition band $fc$ to $fs$ and ripple factor $dp$ at passband and $ds$ at stop band. If one divides the frequencies by $\pi$, then ...

**1**

vote

**0**answers

73 views

### Bounds on degree from bounds on derivatives

Let $f(x)\in \Bbb R[x]$ and $r(x)\in\Bbb R(x)$. Supposing we have information about the values taken by $f(x)$ and $g(x)$ in certain intervals and also can bound their derivatives in these intervals, ...

**1**

vote

**0**answers

83 views

### Questions related to a previous question about interpolation based on non-decreasing polynomials

Let $n$ be a positive integer greater than $2$. Let $X(1),X(2),\cdots,X(n)$ and $ Y(1),Y(2),\cdots,Y(n)$ be two strictly increasing sequences of n real numbers each, listed in order of increasing ...

**1**

vote

**0**answers

36 views

### Truncation error in Padè approximants

Suppose only the following data are known about a rational function $R(x)=P(x)/Q(x)$ (for $P,Q$ polynomials):
(a) the degree of $P$ is $\leq m$ and the degree of $Q$ is $\leq n$;
(b) the first $k$ ...

**1**

vote

**0**answers

65 views

### Global Approximation via Convex Combination of Local Approximations

I recently faced the problem of efficiently approximating a very large set of data points and, neither having a model of the empiric function, nor of the error distribution, my method of choice would ...

**1**

vote

**0**answers

81 views

### The $d$-dimension extension of Bernoulli Polynomial

It is known that Bernoulli polynomial has the following Fourier expansion:
\begin{equation*}
B_{2n}(x) = \frac{(-1)^{n-1}2(2n)!}{(2\pi)^{2n}}\sum_{k=1}^{\infty}\frac{\cos(2k\pi x)}{k^{2n}}.
...

**1**

vote

**0**answers

68 views

### Jackson inequality for a nonpolynomial basis

Hi everybody, this is my first question.$L^2$,$H^p$ are the standard Lebesgue,Sobolev spaces here, and I am deliberately omitting the domains because I'll accept an answer if it's on an interval or a ...

**1**

vote

**0**answers

129 views

### Spectral norm for a truncated Hilbert matrix

Let $T_{N}$ be the (Hilbert) matrix defined by $T_{N}(m,n)=\frac{1}{m-n}$ if $1\leq m,n \leq N$ and $m\neq n$ , and $ T_{N}(n,n)=0$ if $1\leq n \leq N$ .
It's well known that $\Vert T_{N}\Vert < ...

**1**

vote

**0**answers

185 views

### Decay rate of the singular values of functions

Suppose a function $f:[-1,1]^2\rightarrow \mathbb{C}$ has a singular value decomposition:
$$ f(x,y) = \sum_{k=1}^\infty \sigma_k u_k(y) v_k(x), \qquad \sum_{k=1}^\infty \sigma_k^2 <\infty, $$
...

**1**

vote

**0**answers

637 views

### What is the function $\sin(n \omega) / (n \sin \omega)$?

During my work, I encounter the function like $\frac{\sin(n \omega)}{n \sin \omega}$. I'm puzzled and knew nothing about this function before.
Given integer $n>1$, my question is how to find a ...

**0**

votes

**0**answers

65 views

### Explicit twisted Padé approximants

This is a follow-up of Twisted Padé approximants
Let $z\in\mathbb Z_p$ with $v_p(z)>0$. One puts $f_z(x)=(1+z)^x$ for all $x\in\mathbb Z_p$. I try to determine the twisted Pade approximants ...

**0**

votes

**0**answers

46 views

### Approximation property of Fréchet if range is restricted to an embedded Hilbert space

Let $W$ be a separable Fréchet space, and $H\subset W$ be a separable Hilbert space that is continuously embedded (equivalently, the topology of $H$ is stronger than the subspace topology generated by ...

**0**

votes

**0**answers

31 views

### Uniform Boundedness of the Szasz-Durrmeyer Operators on Variable $L^{p(\cdot)}$ Spaces

I am stuck with the uniform boundedness problem associated with the Szasz-Durrmeyer Operators on $L^{p(\cdot)}$ spaces. The Szasz-Durrmeyer operator can be defined as
$$M_{n}(f;x)=\sum ...

**0**

votes

**0**answers

132 views

### Approximate $F(\theta)=\sin(\theta)\int_{-l}^{l} e^{-ikz\cos \theta} h(z)\,dz$

$$F(\theta)=\sin(\theta)\int_{-l}^{l} e^{-ikz\cos \theta} h(z)\,dz$$
We know that $F(\theta)$ is defined on $0\le \theta \le \pi$ and $h(z)$ is defined on $|z|\le l$ and $z$ is real in this case, but ...

**0**

votes

**0**answers

64 views

### Best s-term approximation and unit balls in weak $\ell^p$ norm

In the book "A Mathematical Introduction to Compressive Sensing" by Foucart and Rauhut there is the following asymptotic estimate at page 332, equation (11.1):
$$\sup_{\mathbf{x}\in B^N_{r,\infty}} ...

**0**

votes

**0**answers

74 views

### on lifting elements in a tangent space

Let X a normal integral scheme over a base field scheme, assumedd to be singular and an integer $n$
Let $\mathcal{O}=k[[t]]$, we consider the arc space $X(\mathcal{O})$ which is a $k$- pro-scheme and ...

**0**

votes

**0**answers

30 views

### Inapproximability of logarithmic factor of independent set

The hardness result derived using PCP theorem for Independent set suggests that there exists some absolute constant $\epsilon_0$ such that for $0< \epsilon < \epsilon_0$, it is hard to ...

**0**

votes

**0**answers

101 views

### Two Different Representations of Multivariate Bernstein Polynomials

In the literature the multivariate Bernstein polynomial of a function $f:[0,1]^m\rightarrow\mathbb{R}$ is often defined as the following:
$$B_{f,n}(x_1,\dots,x_m)=\sum_{\mathbf{k}\in ...