Questions tagged [approximation-theory]

Approximation theory is concerned with how functions can best be approximated with simpler functions, and with quantitatively characterizing the errors introduced thereby.

Filter by
Sorted by
Tagged with
8 votes
0 answers
145 views
+100

L^2 polynomial approximation in higher dimensions

Let $\mu$ be a measure on $\mathbb{R}^n$ I'm looking for known upper-bounds on $$\| f-P_m \|_{L^2(\mu)} $$ where $P_n$ is the orthogonal projection of $f$ onto the polynomials of degree less than $m$. ...
Gericault's user avatar
  • 225
0 votes
1 answer
87 views

Approximating a sequence of tempered distributions "uniformly" by Schwartz functions

This question has been motivated by the post making sense of distributions on the diagonal. Let $T$ be a tempered distribution on $\mathbb{R}^2$ and $\eta$ be a given mollifier on $\mathbb{R}$. For $f ...
Isaac's user avatar
  • 2,727
0 votes
0 answers
22 views

Metric entropy of mixed norm spaces with exponent-free bounds

Suppose $\mathcal{F}\subset L^p([0,1]^d)$ is a subset with the following property: The $L^q$-covering number of $\mathcal{F}$ is independent of $q$, for all $1\le q\le\infty$. An example of $\mathcal{...
chrisv's user avatar
  • 21
2 votes
1 answer
135 views

Upper bound of a product of sines

Consider the function $$ f_n(t)= \prod_{1 \leq k \leq n-1,\\ \gcd(k,n)=1} \sin\Big(t-\frac{k \pi}{n}\Big),\quad t \in [0,\pi].$$ I wonder whether it is possible to compute some nontrivial upper ...
AgnostMystic's user avatar
0 votes
0 answers
60 views

Multivariate Jackson inequality for Chebyshev approximation

There is an approximation of a multivariate function by a Chebyshev polynomial of degree n. One needs to understand how the approximation error behaves depending on the degree of the polynomial or ...
Don's user avatar
  • 1
1 vote
0 answers
30 views

Error bounds for a Romberg-style improvement of a non-linear approximation

I have a (possibly non-linear) functional $F$, which I want to numerically approximate by a (typically non-linear) $\widehat{F}_h$. For a suitable class of functions, I have asymptotic error behaviour ...
gmvh's user avatar
  • 2,758
1 vote
0 answers
46 views

Best approximation rates of various classes of functions by truncated Fourier series

Let $f\in C([-1,1]^d)$ have periodic boundary, $N$ be a positive integer, and let $S_N(f)$ be the best approximation of $f$ by its truncated Fourier expansion truncated approximation $$ S_N(f):=\sum_{...
Math_Newbie's user avatar
-1 votes
1 answer
162 views

Best approximation of the modulus function

While there is extensive study regarding the best approximation of function with polynomial functions in the real domain, the study of approximation of complex variables becomes much sparse. See this ...
ironmanaudi's user avatar
3 votes
2 answers
475 views

Approximation for complex variables

Approximation theory, which aims to provide the optimal polynomial function approximating the target function in a given domain such as $x\in[-1,1]$, has been well-developed for real variables. In ...
ironmanaudi's user avatar
1 vote
1 answer
67 views

Sum of terms after partial fraction decomposition

I am facing the following problem (all $a_i$ being positive and all different) $$F=\int_0^1 \,dx\prod_{i=1}^n \frac 1{x+a_i}=\int_0^1\sum_{i=1}^n \frac {A_i}{x+a_i}\,dx=\sum_{i=1}^n A_i \log \left(1+\...
Claude Leibovici's user avatar
7 votes
1 answer
296 views

Approximating functions on the real line

While it is not possible to approximate any function with polynomials on the entire real line, I am wondering if there are modified conditions under which the approximation is possible. Consider $f \...
Ivan's user avatar
  • 689
1 vote
0 answers
64 views

Approximation of continuous function by multilayer Relu neural network

For continuous/holder function $f$ defined on a compact set K, a fix $L$ and $m_1,m_2,\dots,m_L$, can we find a multilayer Relu fully connected network g with depth $L$ and each $i$-th layer has width ...
Hao Yu's user avatar
  • 771
0 votes
1 answer
103 views

Can orientation preserving diffeomorphism in $\mathbb{R}^d$ be presented by flowmap of dynamical systems? (time-varying case)

Because flowmaps are homeomorphic maps on a compact domain $\Omega$, I was wondering if there is any literature that proves that diffeomorphism $\Phi(x)$ can be expressed as a flowmap of a certain ...
li ang Duan's user avatar
4 votes
2 answers
275 views

Approximating a fraction with a given denominator

Let $M$, $N$ be large natural numbers (say ~200 bits). Let $L$ be a smaller number, (say ~100 bits). I want to approximate the fraction: $$\frac{M}{N} \sim \frac{k}{L+r}$$ where $r$ is at most $L$. In ...
mtheorylord's user avatar
0 votes
0 answers
49 views

Is polynomial interpolation with RKHS in some way more advantageous than simple Lagrange interpolation?

[Question originally posted here but maybe it is more suitable for this site.] The reproducing kernel Hilbert space associated with the polynomial kernel $K(x,z)=(1+xz)^{d-1}$ (or other similar ...
Ma Joad's user avatar
  • 1,611
5 votes
2 answers
342 views

How expressive is $e^A$ in the sense of universal approximation?

For any real matrix $B\in\mathbb{R}^{n\times n},n\ge 2$ and precision $\varepsilon$, is there a real matrix $A\in\mathbb{R}^{n\times n}$ such that $\|e^A-B\|_F<\varepsilon$? ($F$ refers to ...
li ang Duan's user avatar
0 votes
1 answer
124 views

Rational approximation for continuous function on curve $\Gamma$

Let $\Gamma \in C^{1,\lambda}$ be an oriented Jordan curve in complex plane $\mathbb{C} $, $\mathrm{R}(\Gamma)$ the set of all rational functions without poles on $\Gamma $. "$\mathrm{R}(\Gamma)$...
Yidong Luo's user avatar
1 vote
1 answer
104 views

$L^1$ error between indicator function and smoothed out version

For a large parameter $r>0$, consider the indicator function $1_{[-r,r]}$ and its convolution with the (normalized) Gaussian $\frac{1}{\sqrt{\pi}}e^{-x^2}$, that is, $$f_r(x) = \frac{1}{\sqrt{\pi}}\...
Staki42's user avatar
  • 151
1 vote
1 answer
113 views

Practical calculation of Canterbury approximants

I'm looking for references on how to compute Canterbury approximants numerically from a practical point of view. The references on Canterbury approximants that I am aware of all appear rather abstract ...
gmvh's user avatar
  • 2,758
1 vote
1 answer
87 views

Mean values of polynomial and holomorphic matrices

Lemma. Assume $H: \mathbb{R} \to \mathbb{R}^{d \times d}$ is a polynomial of degree $m$, such that for all $x \in \mathbb{R}$, $H(x)$ is a symmetric semidefinite matrix. For all $n \geq 0$ and real ...
Sébastien Loisel's user avatar
1 vote
1 answer
81 views

Approximating a family of measurable functions

Let $X$ be a set of $N>0$ elements (with the counting measure) and consider a family of measurable functions $f_i:X\to [0,1]$, for $i\in \mathbb N$. Any function $f_i$ can be seen as a point in the ...
manifold's user avatar
  • 299
0 votes
0 answers
68 views

Using programming to measure the uniformity of measurable subsets of the unit square?

This is a follow up to this post using this answer: Let $S:=[0,1]^2$ be the unit square. "Partition" $S$ naturally into four congruent squares $S_{1,j}$ (with side length $1/2$ each), where ...
Arbuja's user avatar
  • 1
0 votes
1 answer
123 views

Solution or approximation to $\int x^{-a} \Gamma\left( b, c x^{-d} + e \right) dx$

I'm looking for a solution or approximation to the following indefinite integral $$\int x^{-a} \Gamma\left( b, c x^{-d} + e \right) dx.$$ I've tried Mathematica, but it does not converge to a solution....
Felipe Augusto de Figueiredo's user avatar
0 votes
0 answers
59 views

Linear approximation of multivariate function of bounded second order partial derivatives

I have a question about linear approximation in the multivariate case.\ Let $f:B^d_r\to \mathbb{R}$ be a real-valued $C^2$-function defined on the $d$-dimensional ball of radius $r$ centered at the ...
Erling's user avatar
  • 9
2 votes
1 answer
109 views

Smooth approximation of nonnegative, nondecreasing, concave functions

Let $f\colon [0, \infty)\to\mathbb{R}$ be nonnegative, nondecreasing, and concave. Prove the following claim or give a counter example: There is a sequence of functions $f_n\colon [0, \infty)\to\...
Froomfondel's user avatar
2 votes
1 answer
408 views

Stone-Weierstrass theorem: coefficients of approximating sequence bounded?

Let $X$ be a compact Hausdorff space and $\mathcal{A}$ be a subalgebra of $C(X;\mathbb{R})$. The Stone-Weierstrass theorem asserts that if $\mathcal{A}$ contains the constants and separates the points ...
fsp-b's user avatar
  • 421
0 votes
0 answers
118 views

Explicit bounds on derivatives of moments related to Bernstein polynomials

Background This question relates to finding explicit bounds for the derivatives of moments related to Bernstein polynomials. Answering it will help me find explicit bounds for polynomials that ...
Peter O.'s user avatar
  • 637
0 votes
0 answers
48 views

Approximation of function that has Lipschitz-continuous $n$-th derivative

Good afternoon. I'm trying to find in literature the solution for such a problem: for given function with $L_p$-Lipschitz continuous $p$-th derivative I need to find function $f_\varepsilon$ with $L_n$...
Dmitry Vilensky's user avatar
11 votes
1 answer
1k views

New method to compute square roots [closed]

In 2011 when I was in school I created a formula to calculate square roots... For $x\in\mathbb{R}$ with $x>0$ the following holds: $$\sqrt{x} = \sum_{n=0}^{\infty}\frac{\left(\prod_{k=1}^{n}\left(\...
polygamma's user avatar
0 votes
0 answers
107 views

$\log$-classes of irrationals

Let $\mathbb{N}$ denote the set of non-negative integers. For $A\subseteq \mathbb{N}$ we let the (upper) density of $A$ be defined by $d^+(A) = \lim\sup_{n\to\infty} \frac {|A\cap \{0,\ldots, n\}|}{n+...
Dominic van der Zypen's user avatar
0 votes
0 answers
86 views

Approximation error of Chebyshev expansion of the second kind

Weierstrass' well known theorem states that every continuous function on $[-1,1]$ can be uniformly approximated to arbitrary precision by a polynomial function. Among these approximations it is known ...
Lior Eldar's user avatar
2 votes
0 answers
134 views

"Almost rational" irrational

This is a follow-up to an older question. Let $r\in \mathbb{R}\setminus\mathbb{Q}$, let $\mathbb{N}$ denote the set of non-negative integers and let $\mathbb{N}_+=\mathbb{N}\setminus\{0\}$. For $n\in\...
Dominic van der Zypen's user avatar
8 votes
1 answer
217 views

Smooth approximation of Hölder functions "from below"

We assume that we have a $\alpha$-Hölder continuous function $f$ on an interval $[0,1].$ I am wondering if there exists an explicit construction of a sequence $f_{n} \in C_c^{\infty}(\mathbb R)$ such ...
António Borges Santos's user avatar
8 votes
3 answers
539 views

Approximation of pseudogeometric progression

Let $f_n(x)=1+x+x^{\sqrt{2}}+x^{\sqrt{3}}+x^{\sqrt{4}}+\cdots+x^{\sqrt{n}}$ be a sequence of functions on the interval $[0, 1]$. Is there a good closed form approximation for such a function ( ...
Dmitri Scheglov's user avatar
5 votes
2 answers
646 views

Approximation of Hölder continuous functions "from below"

We assume that we have a $\alpha$-Hölder continuous function $f$ on an interval $[0,1]$ with $f(0)=0$. I am wondering if there exists an explicit construction of a sequence $f_{n} \in C_c^{\infty}(\...
António Borges Santos's user avatar
0 votes
1 answer
166 views

How to prove approximation for fresnel integral converges

I was looking at the fresnel integral $S(x)=\int^x_0\sin(s^2)ds$. From reading I learned that this integral approaches $\frac{1}{2} \sqrt{\frac{\pi}{2}}$ as $x \rightarrow \infty$. Through messing ...
Chiraag Chakravarthy's user avatar
1 vote
0 answers
68 views

Carleman approximation for functions from $\mathbb R$ to (closed convex subset of) a Lie algebra

I am looking for an approximation result dealing with continuous functions of a real parameter with values in (some subset of) the unitary algebra. However, I wouldn't be surprised if the following ...
Frederik vom Ende's user avatar
4 votes
1 answer
575 views

Explicit and fast error bounds for approximating continuous functions

Main Question This question is about finding explicit, calculable, and fast error bounds (no hidden constants) when approximating continuous functions with polynomials or simpler functions to a user-...
Peter O.'s user avatar
  • 637
2 votes
1 answer
75 views

Zeros in $[0,1]$ of functions $f \in \mathrm{span} \{ p(x - \lambda_k)e^{\lambda_k x} : k=1,\dots, n \}$

Let $n \in \mathbb N$, let $p:\mathbb R \to \mathbb R$ be a real polynomial, and let $\lambda_1< \lambda_2 <\dots < \lambda_n$. Now let $$ f \in \mathrm{span} \left \{ p(x - \lambda_k)e^{\...
r_l's user avatar
  • 190
2 votes
1 answer
211 views

Measuring how "close" $\alpha\in[0,1]\setminus\mathbb{Q}$ is to being rational

Let $\mathbb{N}_+$ denote the set of positive integers and let $\mathbb{N}_0 = \mathbb{N}_+\cup\{0\}$. Fix $\alpha\in[0,1]\setminus \mathbb{Q}$. For $n\in\mathbb{N}_+$ we let the approximation radius ...
Dominic van der Zypen's user avatar
1 vote
2 answers
100 views

Measurability of Brjuno numbers

A positive irrational number $\alpha\in{\mathbb R}\setminus {\mathbb Q}$ is said to be a Brjuno number if $$\sum_{i=1}^\infty\frac{\log q_{i+1}}{q_i} < \infty$$ where $q_i>0$ is the denominator ...
Dominic van der Zypen's user avatar
6 votes
2 answers
458 views

Optimal polynomial approximation of rational function $\frac{1}{1-x}$

I've been working on the following polynomial approximation problem. I want to find the optimal Chebyshev approximation of the rational function $\frac{1}{1-x}$ on the real interval $x\in[-\rho, \rho]$...
Jiayun Li's user avatar
8 votes
1 answer
679 views

A robust version of "a holomorphic function is determined by its modulus"

It is well known that if $f(z)$ and $g(z)$ are both holomorphic on a (path-)connected open set $C$ and $\lvert f(z)\rvert=\lvert g(z)\rvert$ on $C$ then $f(z)=cg(z)$ on $C$ for some constant $c$. Do ...
Lwins's user avatar
  • 1,531
1 vote
0 answers
209 views

Is there an approximate formula for this summation function?

Consider the function $$\sum_{n=1}^\infty \frac{\cos(nx)}{n^r},$$ where $r\in\mathbb{N}$. Is there any approximate formula (closed form possibly avoiding this type of summation) for this function? I ...
user102868's user avatar
5 votes
3 answers
632 views

The relative error of approximating a binomial

Are there any good approximations for a binomial CDF that work well in terms of the relative error, as opposed to absolute? For the usual normal approximation, the absolute error is very well-studied ...
Tom Solberg's user avatar
  • 3,929
4 votes
0 answers
98 views

Interpolation on Sobolev space on $[0, 1]^d$ over finite meshes

Let $\Omega = [0, 1]^d$ and suppose that $f \colon \Omega \to \mathbb{R}$ lies in order $m > d/2$ Sobolev space; i.e., $$ \|f\|_{H^m(\Omega)}^2 = \sum_{|\alpha| \leq m} \|D^\alpha f\|_{L^2(\Omega)}^...
Drew Brady's user avatar
1 vote
0 answers
45 views

Error bounds for Sobolev space norm approximation on a finite grid

Suppose that $f : [0, 1] \to \mathbb{R}$ is an element of the order-$k$ Sobolev space, \begin{multline} f^{(k - 1)}~\text{is absolutely continuous},\quad \|f\|_{W^k}^2 := \int_0^1 f^{(k)}(x)^2 \, dx &...
Drew Brady's user avatar
1 vote
1 answer
212 views

Finding the set of best approximation

Given $X$=$l^1$ and its dual space $X^*=l^\infty$. Now take $f=(1, 1/2, 2/3, 3/4,...) \in X^*$. Then clearly $\|f\|_\infty = 1$. I have found that $H=\ker f$ is a proximinal hyperplane in $X$. Note: A ...
PPB's user avatar
  • 75
2 votes
1 answer
240 views

Construction of the Lipschitz function with a given Lipschitz constant, given two values and with small Lipschitz norm

Let the function $f\colon [a,b] \to\mathbb{C}$ be Lipschitz and let $|f(a)| \geq c,$ $|f(b)| = c$ and $\varepsilon > 0.$ It is easy to see that if $\|f\|_{\infty}< \frac{\varepsilon}{2} =: \...
Hpela's user avatar
  • 97
1 vote
1 answer
121 views

Construction of the Lipschitz function with a given Lipschitz constant and given two values

Let the function $f\colon [a,b] \to\mathbb{C}$ be Lipschitz and let $|f(a)| \geq c$ and $|f(b)| = c$. Is there a Lipschitz function $g$ such that $|g| \geq c,$ $g(a)=f(a),$ $ g(b)=f(b)$ and Lipschitz ...
Hpela's user avatar
  • 97

1
2 3 4 5
12