The approximation-theory tag has no usage guidance.

**9**

votes

**2**answers

195 views

### A generalization of Chebyshev polynomials

What is the monic polynomial $p(x)$ of degree $n$ which minimizes $\max_{x \in [-1,1]} |p(x)|$? The answer is the Chebyshev polynomial, and its largest value on $[-1,1]$ is $1/2^{n-1}$.
Now suppose ...

**1**

vote

**0**answers

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

**0**

votes

**0**answers

16 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 twodimensional case the ...

**5**

votes

**0**answers

34 views

### Polynomial interpolation of binary word signal

Let consider a binary word $x_1 \ldots x_n$ (finite sequence of elements of $\{0,1\}$.
I want to construct a polynomial $P$ that interpolates the points $(i, x_i)$ for $i \in \{1\ldots n\}$ , such ...

**1**

vote

**0**answers

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

**3**

votes

**0**answers

45 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

**1**answer

119 views

### Are piecewise linear functions dense in $W^{1,\infty}$?

Are piecewise linear functions dense in $W^{1,\infty}$ ?

**2**

votes

**1**answer

143 views

### Chebyshev Polynomials

Given
$$-\frac{1}2<a<\alpha<0<\beta<b<+\frac{1}2$$
$$+\frac{1}2<c<\gamma<1<\delta<d<+\frac{3}2$$
I want to find a polynomial $f(x)\in\Bbb R[x]$ such that ...

**5**

votes

**1**answer

117 views

### Simultaneous approximation of arbitrary functions in Hölder space and in $L^2(\mu)$ by a smooth function and its derivative

Let $\mu$ be a probability measure on the circle $S^1=\mathbb{R}/\mathbb{Z}$ which is singular with respect to the Lebesgue measure $\lambda$. Consider the functions spaces $L^2(\mu)$ on the one hand, ...

**5**

votes

**2**answers

84 views

### Accuracy of the truncated Hausdorff moment problem

For a sequence of real numbers $s = (s_i)_{i \in n}$ let $M_s$ be the collection of functions $f:[0,1] \to [0,1]$ such that
$$(\forall i \leq n) \int_0^1 x^i f(x) dx = s_i$$
In other words, $M_s$ ...

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

**5**

votes

**0**answers

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

**0**

votes

**1**answer

101 views

### Twisted Padé approximants

Let $f$ be a continuous function defined on $\mathbb Z_p$. By Mahler theorem, there exists a sequence $(\gamma_k)_{k\in\mathbb N}$ of $\mathbb Z_p$ such that for every $z\in\mathbb Z_p$
...

**8**

votes

**3**answers

481 views

### Degree necessary of a polynomial?

Given $-1<a<b<0$, I want to find a polynomial $f(x)\in\Bbb R[x]$ such that $f(x)\in[a,b]$ at every $x\in[b^2,a^2]$ and $f(0)=0$. What is minimum degree that is needed and maximum degree that ...

**2**

votes

**1**answer

184 views

### Smallest degree of approximating polynomial

Let $\{0,1\}^n=S_0\cup S_1$ withh $S_0\cap S_1=\emptyset$.
Let $\epsilon\in[\frac{1}2,1)$.
Let $f:\Bbb R^n\rightarrow\Bbb R$ be a polynomial such that $$f(S_0)=0,\mbox{ ...

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

**3**

votes

**1**answer

121 views

### Interpolation Operator Bounded in Sobolev Norm

Let $m\in \mathbb{N}$, $p\in [1,\infty]$, $W^{m,p}([0,1])$ the space of all functions $[0,1]\rightarrow \mathbb{R}$ which are $m$ times weakly differentiable and weak derivatives in $L^p$,
...

**4**

votes

**1**answer

121 views

### Asymptotics of Fresnel integrals

It is known that
\begin{equation*}
I(p) = \sqrt { \frac {4 \mathrm{i} p} {\pi}}\int \limits _{-\infty} ^{\infty} \mathrm{e}^{- \mathrm{i} p x^2} \varphi (x) \mathrm{d}x
\end{equation*}
is a bounded ...

**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

**2**answers

167 views

### Generalized Schwarz Lemma for near-zeros

In approximation theory, it is classical to use a result that can be considered a generalization of the Schwarz Lemma:
Let $f:[-1,1]\rightarrow\mathbb{C}$ be a function that is analytic in a domain ...

**0**

votes

**0**answers

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

**2**

votes

**1**answer

117 views

### Relation between Chebyshev Interpolation and Expansion

I am seeking connections between pointwise Lagrange interpolation (using Chebyshev-Gauss nodes) and generalized series approximation approach using Chebyshev polynomials.
Pointwise Lagrange ...

**1**

vote

**1**answer

150 views

### How to prove that $(1-x)^b$ $_2F_1(a,b;c;x)$ can be approximated to $1-\alpha x$ (with $\alpha \approx 1$) for $x\ll 1$ in this specific case

After multiple plots I noticed that function $h(x)= (1-x)^b$ $_2F_1(a,b;c;x)$ can be approximated to $1-\alpha x$ (with $\alpha \approx 1$), for $x\ll 1$ (specifically $0<x<0.1$) and ...

**2**

votes

**0**answers

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

**10**

votes

**2**answers

703 views

### A “better” rational approximation of pi?

$355/113$ is a good fractional approximation of $\pi$, because we use six digits to produce seven correct digits of $\pi$.
$$\frac{355}{113} = 3.1415929\ldots$$
Let $R$ be the ratio of the number of ...

**1**

vote

**1**answer

109 views

### Approximation of $ _2F_1((b-1)a,b;ba;x) $

Is there any (simple) approximation of this Hypergeometric function: $ _2F_1((b-1)a,b;ba;x) $, where $0<x<1$ and $b>a>1$.
Thanks!

**2**

votes

**1**answer

106 views

### cohomology algebra of submanifold in euclidean space

If we write a manifold or CW-complex $X$ as a subset of $\mathbb{R}^n$, in expression of coordinates, for example, \begin{multline}
F(S^2,k+1)=\{(x_1,x_2,x_3,\cdots, ...

**0**

votes

**0**answers

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

**5**

votes

**1**answer

176 views

### Are polynomials dense in holomorphic $L^p(\mathrm{Gauss})$ for $p < 1$?

Let $\mu$ be standard Gaussian measure on $\mathbb{C}^n$, i.e. $d\mu = \frac{1}{(2 \pi)^n} e^{-|z|^2/2}\,dz$, and fix $0 < p < 1$ (note carefully).
Suppose $g$ is holomorphic on ...

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

**7**

votes

**1**answer

205 views

### Approximation theory on the disc

Chebyshev theory provides a very effective method for approximating continuous real valued functions on the unit interval. Is there something similar for continuous real valued functions on the ...

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

**2**

votes

**1**answer

170 views

### Divergence of the Lagrange interpolation on the Chebyshev nodes

Faber theorem states that for every $\lbrace x_k^{(n)} \rbrace$ there exists a continuous $f$ function such that $\| f - L_n \|_{\infty} \not\rightarrow 0$, where $L_n$ is interpolation polynomial on ...

**6**

votes

**0**answers

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

**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, ...

**0**

votes

**0**answers

134 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}} ...

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

**5**

votes

**1**answer

178 views

### Jackson's theorem for partial sum of Fourier series

There is a classical theorem of Jackson stating that the $N$-th partial sum $S_N f$ of the Fourier series of a Lipschitz continuous function $f$ (which is periodic with period 1) satisfies
$$
|f(x) - ...

**1**

vote

**0**answers

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

**2**

votes

**1**answer

136 views

### Maximum of a mollified/convolution function

I have a function $f:{\mathbb R}\rightarrow {\mathbb R}_+$ which has a unique maximum at $x=0$. $f$ can be symmetric or asymmetric. I am interested on the mollified-f function
...

**0**

votes

**1**answer

102 views

### Uniform approximation of increasing function in $C^{\infty}$

I have an increasing continuous function $f:{\mathbb R}\rightarrow {\mathbb R}$ which is not differentiable everywhere, and I would like to approximate it with an infinitely differentiable function ...

**3**

votes

**3**answers

363 views

### Construct the best piece-wise linear continuous function fitting given curve

How to construct the optimal piece-wise linear continuous function fitting given curve and given number of knots (optimal knots positions also must be determined by this method)?

**0**

votes

**1**answer

197 views

### regarding Uniform Algebra on a compact set [closed]

Suppose $K\subset\mathbb{C}$ is compact and let $R(K)$ be the uniform algebra of rational functions on $K.$ Moreover assume that $R(K)$ contains $\overline{z}.$ How to show that if a rational function ...

**1**

vote

**1**answer

98 views

### How to formulate approximation from above?

(This is perhaps a stupid question. If so, please give me a hint and a down vote.)
I have a sequence of Banach spaces $X_{1}\supset X_2\supset ...$ and a sequence of elements $x_j\in X_j$ ...

**3**

votes

**1**answer

127 views

### Selecting Rays for Simulated Radon Transform

I have the task of determining approximations of a 2D function $f: (x,y)\in \mathbb{R}^2\mapsto\mathbb{R}$ from integrals along lines, i.e. from its Radon transform $R(\phi,\tau)[f(x,y)]$ and, because ...

**0**

votes

**1**answer

101 views

### About the maximum degree of multivariate polynomial interpolation

It is well known that in the univariate case, to interpolate $k$ points in $\mathbb{R}$, we need to use a polynomial of degree $k-1$.
My question is about multivariate polynomial interpolation in ...

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

**1**

vote

**1**answer

47 views

### Partial Constraint of Low Rank Matrix

Suppose $X \in \mathbb{R}^{m \times n}$ is a rank $r$ matrix. Let $\Omega$ be a generic subset of $\in \{1, \ldots, m\} \times \{1, \ldots, n\}$ of cardinality $r(m + n - r)$. Denote by $X_{\Omega}$ ...