Exact values of Kolmogorov widths of classes of Poisson integrals

dfrac{43}{10(1-q)}q^{sqrt{n}}+dfrac{160}{57(n-sqrt{n})}; dfrac{q}{(1-q)^2}leq (dfrac{1}{2}+dfrac{2q}{(1+q^2)(1-q)})(dfrac{1-q}{1+q})^{frac {4}{1-q^2}}.

As a consequence, for all

n g e q n_{q}

we obtain lower bounds for Kolmogorov widths in the space

C

of classes

of Poisson integrals of functions that belong to the unit ball in the space

L_{i} n f t y

. The obtained estimates coincide with the best uniform approximations by trigonometric polynomials for these classes. As a result, we obtain exact values for widths of classes

and show that subspaces of trigonometric polynomials of order

n - 1

are optimal for widths of dimension

2 n

.

Review text

Let us make the following notations : \(C\) is the space of all \(2\pi\)-periodic and continuous functions endowed with the uniform norm \(\|\cdot\|_{C}\), \(L_{1}=L\) is the space of all \(2\pi\)-periodic and integrable functions endowed with the norm \(\|f\|_{1}=\|f\|_{L}=\int_{-\pi}^{\pi}|f(t)|d t\), \(L_{\infty}\) is the space of all \(2 \pi\)-periodic, measurable and essentially bounded functions endowed with the norm \(\|f\|_{\infty}=ess sup\{|f(t)| ; t\in \mathbb{R}\}\), \(C^{q}_{\beta, p}\), \(p=1\), \(p=\infty\), is the space of functions \(f\) of the form \(f(x)=c_{0}+(P^{q}_{\beta}*\varphi)(x)=c_{0}+\frac{1}{\pi}\int_{-\pi}^{\pi}P_{q, \beta}(x-t)\varphi(t)d t\), where \(P_{q, \beta}(t)=\sum_{k=1}^{\infty}q^{k}\cos\left (k t-\frac{\beta \pi}{2}\right )\) (\(q\in (0, 1)\), \(\beta\in \mathbb{R}\)) is the Poisson kernel, \(\|\varphi\|_{p}\leq 1\), \(\varphi \bot 1\), NEWLINE\[NEWLINEE_{n}(C^{q}_{\beta, p})_{X}=\sup \{\inf \{\|f-T_{n-1}\|_{X} ; T_{n-1}\in {\mathcal T}_{2n-1}\} ; f\in C^{q}_{\beta, p}\},NEWLINE\]NEWLINE NEWLINE\[NEWLINEd_{n}(C^{q}_{\beta, p}, X)=\inf\{\sup\{\inf\{\|f-g\|_{X} ; g\in F_{n}\} ; f\in C^{q}_{\beta, p}\} ;F_{n}\subset X\},NEWLINE\]NEWLINE where \(X=C\) if \(p=\infty\), \(X=L\) if \(p=1\), \({\mathcal T}_{2n-1}\) denotes the space of all trigonometric polynomials of degree \(\leq 2n-1\) and the first infimum in the above definition of the Kolmogorov width is considered over all \(n\)-dimensional linear subspaces \(F_{n}\) of \(X\).NEWLINENEWLINEThe main result can be summarized as follows.NEWLINENEWLINETheorem. Let \(q\in (0, 1)\). Then, for all \(\beta\in \mathbb{R}\) and \(n\geq n_{q}\) we have NEWLINE\[NEWLINEd_{2n}(C^{q}_{\beta, \infty}, C)=d_{2n-1}(C^{q}_{\beta, \infty}, C)=d_{2n-1}(C^{q}_{\beta, 1}, L)=E_{n}(C^{q}_{\beta, \infty})_{C}=E_{n}(C^{q}_{\beta, 1})_{L}NEWLINE\]NEWLINE NEWLINE\[NEWLINE=\frac{4}{\pi}\cdot \left |\sum_{\nu=0}^{\infty}\frac{q^{(2\nu+1)n}}{2\nu+1}\sin\left ((2\nu+1)\theta_{n} \pi-\frac{\beta \pi}{2}\right )\right |,NEWLINE\]NEWLINE with \(\theta_{n}\) the unique root in \([0, 1)\) of the equation \(\sum_{\nu=0}^{\infty}q^{(2\nu+1)n}\cos\left ((2\nu+1)\pi t -\frac{\beta \pi}{2}\right )=0\).NEWLINENEWLINEIn particular, for all \(n\geq n_{q}\) and \(\beta\in \mathbb{Z}\), denoting by \(A\) any of the quantities which appear in the first sequence of equalities, we have NEWLINE\[NEWLINEA = \frac{4}{\pi}\cdot \arctan(q^{n}) \text{ if } \beta=2 k \, \text{ and } \, A=\frac{2}{\pi}\ln\left (\frac{1+q^{n}}{1-q^{n}}\right ) \text{ if } \beta=2k-1.NEWLINE\]NEWLINE Here, \(n_{q}\) is the smallest number \(\geq 9\) satisfying a certain inequality in the paper.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Exact values of Kolmogorov widths of classes of Poisson integrals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q390537)