The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
0answers
47 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$ ...
0
votes
0answers
47 views

approximating smooth functions by non-smooth ones, in the distribution topology

The classical Stone-Weierstrass theorem gives a necessary and sufficient condition for a class of continuous functions on a compact to approximate a larger class of continuous functions in $C^0$ ...
3
votes
0answers
30 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 ...
1
vote
0answers
16 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 ...
2
votes
1answer
83 views

Reference for the exponential decay of Legendre coefficients

In Short: I look for a reference to the proof that the spectral coefficients in the Legendre (or Jacobi) expansion are of exponential decay rate. Longer: If $p_n$ is the $n$-th Legendre polynomial, ...
5
votes
2answers
161 views

$L^{\infty}$ polynomial approximation

In short: For a given smooth or continuous function, how can we obtain the best $L^{\infty }$ approximating polynomial? Jackson (1911) proved that there is a best approximating polynomial in the ...
1
vote
1answer
149 views

Averaged geometric series with floor function

Given a value $p\in[0,1]$ (a probability of occurrence), I would like to bound the following expression: $$ s\frac{1-(1-p)^{k+1}}{p(k+1)} + (1-s)\frac{1-(1-p)^{k}}{pk},\ \ \ \text{where $k=\lfloor ...
1
vote
0answers
63 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
1answer
43 views

On optimizing a function whose projection and projected vector go through a linear transformation

Assume the two sets of vectors $\{\mathbf{a}_1,\ldots,\mathbf{a}_N\}$ and $\{\mathbf{b}_1,\ldots,\mathbf{b}_N\}$ of equal length. My goal is to find the optimum matrix $\mathbf{C}$ to the following ...
1
vote
0answers
89 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
1answer
56 views

Multivariate analogue of Jackson's inequality's modulus of continuity form

According to Jackson's inequality, there is $c > 0$ s.t. for any continuous function $f: S^1 \rightarrow \mathbb{R}$ (where $S^1 := \mathbb{R} / \mathbb{Z}$ is the circle) and integer $n$ there is ...
0
votes
0answers
34 views

Approximation of a volume-preserving Hölder homeomorphism by diffeomorphisms?

Is it known whether a volume-preserving Hölder homeomorphism of an arbitrary manifold can be approximated by a volume-preserving diffeomorphism? The answer is clearly no if the volume-preserving ...
0
votes
1answer
90 views

approximation of products of polynomials

I am wondering whether the following can be proved: Suppose $p(z)$ and $q(z)$ are polynomials of degree $n$ with real coefficients and leading coefficient 1. Moreover, they have quite different ...
0
votes
1answer
100 views

Interpolation of a series of data points via Chebyshev approximation?

first of all: english is not my native language, so there might be differences between what I meant and what you understood. Sorry for that in advance. As a research project, I try to comprehend and ...
1
vote
0answers
16 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 ...
0
votes
0answers
20 views

Bounding the error of the optimal solution from an approximated objective

Let $f$ be a smooth convex function defined in a bounded region $X$ and its Hessian is bounded $m I \le |\frac{\partial^2 f(x)}{\partial x^2}| \le M I$ for some $M>m>0$. Let $x^*=argmin_{x\in X} ...
0
votes
0answers
45 views

Approximation by polynomials with coefficients sum

In this paper Erdos p.1176 remarked that if the coefficients of $f(z):\sum_{v=0}^{n}a_{v}z^v$ are all real,then $\sum_{v=0}^{n}|a_{v}|$ is maximal for $f(z)=\pm T_{n}(z)$,where $T_{n}(z)$ is Chebyshev ...
2
votes
0answers
83 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 ...
1
vote
0answers
22 views

Approximation with a more regular function and an inequality constraint

The motivation of the question comes from a geometric problem: can we approximate a $C^{1,\alpha}$ set $\Omega$ with positive curvature (in distributional sense) from inside with $C^2$ sets with ...
1
vote
0answers
124 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
0answers
65 views

How do I find Coefficients in a Multivariate ChebyShev Polynomial Approximation? [closed]

How do I do a Multivariate ChebyShev approximation? Let $\vec{x} = x_{0}, x_{1}, ... , x_{n}$ Let $\vec{a} = a_{0}, a_{1}, ... , a_{n}$ Let $\vec{b} = b_{0}, b_{1}, ... , b_{n}$ Let $f(\vec{x})$ ...
0
votes
2answers
139 views

Explicit analytic function with modulus asymptotic to $\Re z+\Im z$

Is there a simple and explicit continuous function $f\colon[0,\infty)^2\to\mathbb C$ such that $f$ is analytic on $(0,\infty)^2$ and $|f(x+iy)|/(x+y)\to1$ as $x+y\to\infty$, where ...
2
votes
0answers
53 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
0answers
124 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 - ...
2
votes
0answers
27 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 ...
5
votes
0answers
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 ...
1
vote
1answer
168 views

Stone-Weierstrass Theorem, polynomial interpolation, divided difference in complex plane

Setting: Let $\Gamma$ be a simple smooth($C^\infty$) curve in $\mathbb{C}$ parametrized by the injective map $\gamma:[0,1] \to \mathbb{C}$. Assume $f$ is a function defined on $\Gamma$ s.t. $f$ is ...
5
votes
0answers
62 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 ...
1
vote
0answers
43 views

Minimum degree of a nonnegative polynomial uniformly approximating two constant values on two disjoint closed intervals

This is a one-dimensional problem over $\mathbb{R}$. Given $y_0, y_1 \ge 0$ with $y_0 \neq y_1$, and closed intervals $I_0$ and $I_1$ with $I_0 \cap I_1 = \emptyset$, define a partial function $f(x) = ...
1
vote
0answers
33 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 ...
5
votes
0answers
136 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 ...
7
votes
1answer
82 views

Approximation theoretic question about operator norm

Let $\|M\|:=\sup_{u:\|u\|=1}\|Mu\|$ be the operator norm induced by the Euclidean distance. Suppose $A$ is a $k\times k$ symmetric matrix with $A_{ij}>0$ for all $i,j$ and $\sum_{i,j} A_{ij} = ...
0
votes
1answer
45 views

Separation of peaks

Could you please give any reference to literature on "separation o peaks", i.e. approximation of a numerically given function by a linear combination of two or several Gaussians with unknown ...
10
votes
2answers
244 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
0answers
83 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
0answers
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 ...
6
votes
1answer
117 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
0answers
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 ...
3
votes
0answers
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
1answer
216 views

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

Are piecewise linear functions dense in $W^{1,\infty}$ ?
3
votes
1answer
199 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
1answer
135 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, ...
6
votes
2answers
158 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$ ...
5
votes
0answers
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 ...
0
votes
1answer
110 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$ ...
9
votes
3answers
537 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
1answer
193 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
0answers
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 ...
3
votes
1answer
175 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$, ...
5
votes
1answer
145 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 ...