The approximation-theory tag has no usage guidance.

**11**

votes

**0**answers

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

**9**

votes

**0**answers

411 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

125 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

225 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

224 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} \int_{\...

**6**

votes

**0**answers

456 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 \mathbb{...

**5**

votes

**0**answers

63 views

### Uniform approximation of a continuous flow by a $\mathcal{C}^1$ flow

Setup: Consider a (smooth) compact Riemannian manifold $M$, whose distance is denoted by $d$. Let $\Phi$ be a continuous flow, namely a continuous application from $\mathbb{R} \times M $ to $M$ ...

**5**

votes

**0**answers

186 views

### Constructive approximation of Lipschitz functions

There are a number of theorems in classical functional analysis about approximation of Lipschitz functions by smooth functions. I was wondering if there are any similar constructive and explicit ...

**5**

votes

**0**answers

66 views

### Basis functions for approximation of a convex function on unit simplex

Consider the unit $D$-simplex $S^D=\left\lbrace (x_0, x_1, \ldots, x_D) \in \mathbb{R}^{D+1} \mid \sum\limits_{i=0}^{D}x_i = 1, x_i \geq 0 \right\rbrace$. I have a bounded, convex function $f:S^D\to\...

**5**

votes

**0**answers

137 views

### Uniform approximation of separately continuous functions on zero-dimensional spaces

For topological spaces $X,Y,Z$ а function $f:X\times Y\to Z$ is called separately continuous if for any $(x,y)\in X\times Y$ the restrictions of $f$ to the sets $\{x\}\times Y$ and $X\times \{y\}$ are ...

**5**

votes

**0**answers

182 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

286 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

288 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 \mathbb{...

**5**

votes

**0**answers

279 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

156 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

334 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

84 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 S^{D-...

**4**

votes

**0**answers

85 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

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

**3**

votes

**0**answers

36 views

### covariant derivative of manifold-valued function and logarithm map

Let $M$ be a Riemannian manifold and $f\colon \Omega\subset \mathbb{R}^d\rightarrow M$ a smooth, i.e. $C^\infty$, function. For any $p\in M$ let $T_pM$ be the tangent space at $p$ and $\log_p\colon U\...

**3**

votes

**0**answers

53 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}$ ?

**3**

votes

**0**answers

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

**3**

votes

**0**answers

173 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

225 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 $\mu$...

**2**

votes

**0**answers

84 views

### Error term for Euler-MacLaurin summation formula when applied to infinitely smooth functions?

A function $f(z,x)$ is tempered if all of the following are true:
$f(z, x)$ is infinitely differentiable in $z$
$f(z,x)$ is defined for all $z,x \in \mathbb{R}$
Every derivative of $f(z,x)$ is ...

**2**

votes

**0**answers

55 views

### How to approximate higher-degree multivariate polynomial in space of lower-degree multivariate polynomials with some constraints?

For a polynomial $P_{1}(x)$, $x\in {\mathbb R}^n$ with a higher-degree, how to find a lower-degree polynomial $P_{2}(x)$ with determined structure or bounded degree to approximate it with the ...

**2**

votes

**0**answers

127 views

### An alternative to the Euler--Maclaurin formula: Approximating sums by integrals only

The Euler--MacLaurin summation formula can be written as
$$ \sum_{i=0}^{n-1} f(k)\approx \int^{n-1}_0f(x)\,dx
+ \frac{f(n-1) + f(0)}2
+
\sum_{j=1}^m\frac{B_{2j}}{(2j)!}[f^{(2j - 1)}(n-1)...

**2**

votes

**0**answers

28 views

### Uniform convergence of the best $L_1$ approximations by polynomials

Let $P_n$ be the vector space of real multivariate polynomials in $d$ variables of total degree no more than $n$ and let $f \in C(X)$, where $X \subset \mathbb{R}^d$ is compact. Let $(p_n)_{n=1}^\...

**2**

votes

**0**answers

84 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

673 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

91 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

202 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

165 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

112 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

135 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

163 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

179 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

23 views

### Approximation error estimate

I would like to find a good reference for the following or a similar, probably well-known, approximation error result:
Let $\Omega\subset \mathbb{R}^d$ be bounded, $p\in [1,\infty]$, $l, m\in \mathbb{...

**1**

vote

**0**answers

70 views

### Differentiability criterion in the Zygmund class

Let $ f: \mathbf{R}^{m} \rightarrow \mathbf{R} $ be a continuous
function, $ \omega $ be a modulus of continuity and assume
$$ | f(x+h) +f(x-h) -2f(x) | \leq \omega(|h|)|h| $$
whenever $ x,h \in \...

**1**

vote

**0**answers

90 views

### approximation of rational functions

Suppose $\hat{p}/\hat{q}$ and $p/q$ are two rational functions where $p,q,\hat{p},\hat{q}$ are of degree $n$. Suppose they satisfy that $|p(z)/q(z) - \hat{p}(z)/\hat{q}(z)| < \epsilon$ for any $z$ ...

**1**

vote

**0**answers

17 views

### Bounding Hidden Markov model Bayesian filter error with inexact models

In context of a hidden Markov model, I am interested in bounding the error of a Bayesian filter when using inexact state transition and observation models.
Consider a hidden Markov model (HMM) with ...

**1**

vote

**0**answers

139 views

### Approximation of semicontinuous functions by continuous (or smooth) functions with closed form

I'm looking for a sequence $(f_{\epsilon})_{\epsilon>0}$ of continuous (or smooth) functions approximating a semicontinuous function $f$.
Here, for approximation, pointwise convergence is fine.
For ...

**1**

vote

**0**answers

34 views

### How to treat equation with alternating square of frequency?

Let's have equation
$$
\tag 1 \frac{d^{2}y(t)}{dt^{2}} +\omega^{2}(t)y(t) = 0, \quad t \in (t_{\text{in}}, \infty)
$$
Here
$$
\omega^{2}(t) = A(t) - B(t)cos(2t),
$$
and functions $A(t), B(t)$ have ...

**1**

vote

**0**answers

85 views

### Construct a PDE solution from a net of approximations

Consider $P$ a linear partial differential operator in $\Bbb R ^n$. Consider some boundary condition given in the generic form $C(u) = 0$, that guarantees a unique solution (if any) of $Pu = 0$.
Let $...

**1**

vote

**0**answers

29 views

### Error bounds for approximation with dyadic sums of polynomials

Are there any bounds known for approximating a genuine multidimensional polynomial function with a sum one-dimensional polynomials over the independent variables?
In the 2-dimensional case the ...

**1**

vote

**0**answers

47 views

### Small open sets around a point intersecting pieces of orbits

Let $T$ be an ergodic rotation on a compact Abelian group. Can one always find a point $x_0$ and a decreasing sequence of open sets $O_n \searrow \{x_0\}$ such that for every $n$ there exists $K \geq ...

**1**

vote

**0**answers

114 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

43 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

67 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)$; ...