The approximation-theory tag has no wiki summary.

**1**

vote

**0**answers

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

**5**

votes

**0**answers

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

**0**

votes

**0**answers

42 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

95 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

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

**2**

votes

**0**answers

43 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

116 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

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

**0**

votes

**1**answer

52 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

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

**2**

votes

**3**answers

169 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

89 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

94 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

73 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

74 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

67 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

44 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}$ ...

**3**

votes

**1**answer

72 views

### Multivariate polynomial interpolations

I have a multi-variate, continuous function from $R^n$ to $R$, which I can query for its output for any input. I would like to create an interpolation of that function by sampling a subset of the ...

**2**

votes

**1**answer

93 views

### using polynomials as lower / upper bound?

I'm interested in the question of given a differentiable and bounded function $f(\vec{x})$ (over a single variable or multiple variables, over a bounded domain $D$), finding a pair of polynomials ...

**1**

vote

**1**answer

39 views

### Error estimates for $L^2$ approximation of multivariate $C^k$ functions in terms of norms on derivatives

Let $\Omega \subset \mathbb{R}^d$ be compact and convex, and let $f \in C^{k+1}(\Omega)$. Let $P_k$ be the set of multivariate polynomials up to degree $k$ on $\Omega$. I am looking for any results in ...

**1**

vote

**0**answers

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

**2**

votes

**2**answers

257 views

### Approximation of the form $\frac{1}{u}\pm\frac{1}{v}$

Given positive integers $m<n\in\mathbb{N}$ is there an algorithm to find integers $z_1, z_2\in \mathbb{Z}\setminus\{0\}$ such that $\frac{m}{n}$ is best approximated by ...

**1**

vote

**1**answer

168 views

### Approximating rational values in ]0,1[ by a sum or difference of unit fractions

Let $U=\{\frac{1}{n}: n\in\mathbb{N}\} \cup \{-\frac{1}{n}: n\in\mathbb{N}\}$ be the set of positive and negative unit fractions.
Are there positive integers $m<n \in \mathbb{N}$, such that for ...

**5**

votes

**0**answers

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

**0**

votes

**0**answers

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

**1**

vote

**0**answers

34 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$ ...

**4**

votes

**2**answers

118 views

### Approximate Moment Conditions

It is known in classical probability that if two random variables $X$ and $Y$ obeys
$$\mathbb{E} X^k = \mathbb{E}Y^k, \ \forall \ k \geq 1$$
with additional condition that $\mathbb{E}X^k$ does not ...

**4**

votes

**0**answers

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

**0**

votes

**2**answers

131 views

### Markov-Bernstein like inequalities for monotone polynomials

Let $P$ be a polynomial with real coefficients, and $\deg P=d$. There is Markov-Berenstein inequality: $P′(x)\leq\frac{d\|P\|}{\sqrt{1-x^2}}$,where $\|P\|=\max_{|x|\le1} |P(x)|$ and $|x|\leq1$. Are ...

**1**

vote

**1**answer

103 views

### a closed form lower bound solution for linear programming

Given a linear objective function and a system of linear constraints, is there any known closed form lower bounds for it?
to clearly express the problem assume that
$$
z(\mathbf{a,B,c})=\mathop {\inf} ...

**1**

vote

**0**answers

47 views

### interpolation and approximation [closed]

Given a function $f$ in C^k[a,b], can we always construct function $g \neq f$ such that $g(x) \ge f(x)$ for all $x \in [a,b]$, $f^{(m)}(a)=g^{(m)}(a)$ and $f^{(m)}(b)=g^{(m)}(b)$ for $m=0,1,\dots, k$ ...

**0**

votes

**0**answers

31 views

### Approximation with Predefined Topology of Niveau Sets

Problem
given are
a finite, connected, undirected and, cycle-free graph (i.e. a "tree") $T(V,E)$, of which one of the vertices (w.l.o.g. $v_0$) is defined to be the root.
a planar imbedding ...

**4**

votes

**0**answers

249 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

**1**answer

213 views

### Can I approximate Schwartz functions which integrate to zero by $C_0^\infty$ functions which integrate to zero?

Let $X$ be the closed subspace of Schwartz space $\mathcal{S}(\mathbb{R}^N)$ defined by
\begin{equation*}
X=\left\{f\in\mathcal{S}(\mathbb{R}^N):\quad \int f\; dx=0\right\}.
\end{equation*}
My ...

**4**

votes

**2**answers

231 views

### Approximation of curves

When constructing minimax (sup-norm) polynomial approximations of real-valued functions, well-known results say (roughly speaking) that optimal solutions are characterized by the fact that they have ...

**1**

vote

**3**answers

284 views

### State of the Art in Approximating Fresnel Integrals

Background of my question is, that I need to calculate Clothoids and I found an AMS article "Chebyhev Approximations for Fresnel Integrals" by W.J. Cody from 1968 ...

**-1**

votes

**1**answer

97 views

### How to compute the expectation of $\frac{Y^L}{Y^L + (N-Y)^L}$ where Y is Binomial(n,p)

How to compute the expectation of $\frac{Y^L}{Y^L + (N-Y)^L}$ where $Y$ is Binomial(n,p)? If it is not exactly computable, then are their ways to approximate this qty?

**0**

votes

**0**answers

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

**1**

vote

**2**answers

204 views

### Empirical estimator for total variation distance between two product distributions

Let $X = (X_1, X_2, \ldots , X_n)$ be an $n$-dimensional random variable, where each $X_i$ is a random variable on finite discrete set $S$. In addition, $X_i$ are independent of each other (but not ...

**1**

vote

**1**answer

182 views

### Is there an example where the error of Gauss-Laguerre quadrature does not vanish?

The $n$th Gauss-Laguerre quadrature aims to approximate integral $$\int_{\mathbb{R}_+} f(x) \exp(-x)$$ by the sum
$$\sum_{i=1}^n f(x_i) w_i$$
where $x_1,...,x_n$ are the roots of the $n$th Laguerre ...

**1**

vote

**1**answer

122 views

### Bivariate Function Approximation

I am working on a nonlinear control design and having difficulty in finding approximation of bivariate functions. Are there papers or methods discussing the following question:
For any bivariate ...

**1**

vote

**1**answer

88 views

### Polynomials are dense in $A_{B(0,1)}$

Let $D(0,1)$ be the disk of center 0 and radius 1 and call $A_{D(0,1)}= \{ f:\overline{D(0,1)} \rightarrow \mathbb{C} : f \text{ is continuous and } f|_{D(0,1)} \text{ is holomorphic} \}$.
Can ...

**2**

votes

**0**answers

237 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

**2**answers

73 views

### Markov-type functions

I'd like to have some informations about Markov-type functions (or Cauchy-type):
\[ f(z)=\int_{\Gamma} \frac{\mathrm{d}\gamma(\xi)}{\xi-z}.\]
$\gamma$ is a positive measure with compact support ...

**0**

votes

**0**answers

31 views

### Threshold approximation with positive coefficients polynomials

Consider the family of polynomials $\{p_n\}$, each of degree $n$, such that for every polynomial $p = \sum_{i}c_{i}x^{i}$, $c_i \ge 0$ for every $i$ and $\sum_{i}c_i = 1$.
Let $T$ be the ...

**1**

vote

**2**answers

82 views

### Successive Inner or Outer Approximation of Simple Polygons with Hierarchies of Implicit Functions

The problem I want to solve, is to quickly decide, whether a point $p=(x^*,y^*)$ is inside or outside of a polygon $P := (p_1, p_2,..., p_n=p_1), p_i := (x_i,y_i)$, with $n$ potentially very large.
...

**6**

votes

**1**answer

190 views

### Approximating an iteratively defined function

Let $f_0,f_1,\ldots$ be a sequence of functions $f_n : [0,1] \rightarrow R$ defined as follows:
$$f_0(x) =1+2x$$
$$f_{n}(x) := \left\{\frac{5+t}{2} : \text{ where t solves } ...

**0**

votes

**1**answer

177 views

### Approximation of the sum involving binary entropy function

Given the following sum:
$S(n) = \sum_{i=1}^{n} \frac{1}{(1-\operatorname{H}(p))^i}$
where $H$ is the binary entropy function defined as:
$\operatorname{H}(p) = -p\log p - (1-p)\log (1-p) $.
Let ...

**2**

votes

**1**answer

229 views

### How to prove that the odd continued fraction approximants of ln(1+X) are upper bounds?

The odd order continued fraction approximants for $\ln(1+X)$ are
$$X,\quad \frac{X^2+6X}{4X+6,}\quad \frac{X^3+21X^2+30X}{9X^2+36X+30,}\quad \dots.$$
In "Some bounds for the logarithmic function", ...

**3**

votes

**0**answers

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