The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
106 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
0answers
189 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
0answers
26 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
0answers
32 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
2answers
107 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
0answers
106 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
2answers
105 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
1answer
79 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
0answers
43 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
0answers
30 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 ...
3
votes
0answers
238 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
1answer
196 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
2answers
226 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
3answers
205 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
1answer
96 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
0answers
57 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
2answers
157 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
1answer
148 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
1answer
101 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
1answer
79 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
0answers
148 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
2answers
70 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
0answers
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
2answers
68 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
1answer
178 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
1answer
152 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
1answer
214 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", ...
2
votes
0answers
62 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 ...
4
votes
1answer
113 views

Do interpolation nodes have to be dense?

Let $f(x) = \exp(x)$ and $(\xi_i)_{i=0}^\infty, \, \xi_i \in (0,1)$ be a sequence of points from the unit interval. For $n \in \mathbb{N}$ let $P_n$ be a polynomial of degree $n$ that interpolates ...
2
votes
0answers
184 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}$?
0
votes
0answers
77 views

Absolute convergence of double Fourier-Haar series

Let $\left\{\chi_n\right\}_{n\geq 0}$ be a complete orthonormal (wrt a measure $\mu$) set on $[-1,1]$. Given a function $f:[-1,1]^2\rightarrow \mathbb{C}$, what smoothness requirements on $f$ are ...
5
votes
0answers
113 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$. ...
2
votes
0answers
33 views

Norms of B-spline coefficients

In Shumaker's book (Spline Functions: Basic Theory), we know that the $l^\infty$-norm of B-spline coefficients is bounded above and below by the $L^\infty$-norm of the spline itself. Are there similar ...
1
vote
1answer
171 views

What's the asymptotic behavior of this function at large distance? [closed]

This question is based on some Physics motivation. Define a distance function $f(\mathbf{r})=\int_{\Omega }d^2k\int_{\Omega }d^2q \cos[(\mathbf{k}-\mathbf{q})\cdot\mathbf{r}]$, where ...
0
votes
0answers
60 views

Uniform approximation of tangent cone

Let $\mathcal{C}$ be a convex and closed set in $\mathbb{R}^n$ containing $0$. The tangent cone of $\mathcal{C}$ at $0$ is given as, \begin{equation} T_{\mathcal{C}}(0)=Cl(\text{cone}(\mathcal{C})) ...
1
vote
1answer
205 views

Approximation of a given function by rational functions

Given a function $1/\sqrt{x^2 -k^2}$ where k is a constant with a small imaginary part, how do you go about constructing a rational approximation? I am interested in the L_p (p=2 or $\infty$) norm of ...
4
votes
1answer
410 views

Is there a continuous function $f$ satisfying the following Zygmund condition but not differentiable.

Suppose that a continuous function $f$ on the line and satisfies $$ |f(x+2h)−2f(x+h)+f(x)|\leq const \frac{|h|}{(\log\frac{1}{|h|})^{\beta}}\,\,\,\,\,\,\text{where}\,\,\,\, \beta \in(0, 1] $$ ...
1
vote
0answers
75 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}}. ...
2
votes
0answers
125 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
2answers
143 views

Non-global oscillation of banded Fourier transform

Can we say something like monotonicity, growth rate and oscillation of the Fourier transform of a banded function $f$ with support $[0, N]$ $$\mathcal{F}f(\xi) = \int_{0}^N f(x)e^{-ix\xi}dx.$$ Of ...
2
votes
1answer
147 views

Approximation Runge's Theorem

Let $X$ be a Riemann Surface and $K$ a compact subset of $X$. Every holomorphic function in $K$ be uniformly approximable on $K$ by holomorphic functions on $X$ if $X-K$ have no connected component ...
2
votes
0answers
98 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 ...
0
votes
3answers
234 views

Approximating higher dimension step function

Let $s \in R^{n}$ (meaning $s$ is $n \times 1$ vector), where $n$ is the dimension of the vector. The ideal sliding term, $\nu$ is taken to be: \begin{equation} \nu = \frac{s}{\|s\|} ...
2
votes
1answer
245 views

Multivariate polynomial approximation of smooth functions

Let $f$ be a function defined on $[-1,1]^d$. Assume that all partial derivatives of $f$ up to order $r$ are continuous; and the $\infty$-norm of these partial derivatives are uniformly upper bounded ...
1
vote
1answer
366 views

Estimate on sum of squares of multinomial coefficients

I am interested in approximating the sum of the squares of the multinomial coefficients, i.e. $a_\ell^p := \sum_{k_0+\ldots+k_p = \ell} (\frac{\ell!}{k_0! \ldots k_p!})^2$ or more general, ...
1
vote
1answer
92 views

Approximating rational generating functions

Suppose we have a initial segment $x_1,\ldots,x_N$ (for reasonably large $N$) of a sequence of natural numbers $(x_i)$. We have reason to believe the generating function $\sum_{i=0}^\infty x_iX^i$ is ...
1
vote
0answers
62 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
0answers
98 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 < ...
3
votes
1answer
174 views

Is the Binomial Expectation of a Multivariate Convex Function Convex in the Vector p?

Let $\mathbf{p}=(p_1,\dots,p_m)$ be a vector in $[0,1]^m$ and let $\mathbf{X}=(X_1,\dots,X_m)$ be a vector of independently-distributed binomial random variables such that $X_i\sim ...
0
votes
0answers
90 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 ...