﻿ A Study of Weighted Polynomial Approximations with Several Variables (II)

Applied Mathematics
Vol.08 No.09(2017), Article ID:78918,18 pages
10.4236/am.2017.89093

A Study of Weighted Polynomial Approximations with Several Variables (II)

Ryozi Sakai

Department of Mathematics, Meijo University, Tenpaku-ku, Nagoya, Japan    Received: August 13, 2017; Accepted: September 3, 2017; Published: September 6, 2017

ABSTRACT

In this paper we investigate weighted polynomial approximations with several variables. Our study relates to the approximation for $Wf\in {L}^{p}\left({ℝ}^{s}\right)$ by weighted polynomial. Then we will give some results relating to the Lagrange interpolation, the best approximation, the Markov-Bernstein inequality and the Nikolskii-type inequality.

Keywords:

Weighted Polynomial Approximations, the Lagrange Interpolation, the Best of Approximation, Inequalities 1. Introduction

Let ${ℝ}^{s}:=ℝ×ℝ×\cdots ×ℝ$ ( $s$ times, $s\ge 1$ integer) be the direct product space, and let $W\left({x}_{1},{x}_{2},\cdots ,{x}_{s}\right):={w}_{1}\left({x}_{1}\right){w}_{2}\left({x}_{2}\right)\cdots {w}_{s}\left({x}_{s}\right)$ , where ${w}_{i}\left({x}_{i}\right)\ge 0$ be even weight functions. We suppose that for every nonnegative integer n,

${\int }_{0}^{\infty }{x}^{n}{w}_{i}\left(x\right)\text{d}x<\infty ,n=0,1,2,\cdots ,i=1,2,\cdots ,s.$

In this paper we will study to approximate the real-valued weighted function $\left(Wf\right)\left({x}_{1},{x}_{2},\cdots ,{x}_{s}\right)$ by weighted polynomials $\left(WP\right)\left({x}_{1},{x}_{2},\cdots ,{x}_{s}\right)$ , where $P\left({x}_{1},{x}_{2},\cdots ,{x}_{s}\right)\in {\mathcal{P}}_{n,n,\cdots ,n}\left({ℝ}^{s}\right)$ . Here, ${\mathcal{P}}_{n,n,\cdots ,n}\left({ℝ}^{s}\right)\left(=:{\mathcal{P}}_{n;s}\left({ℝ}^{s}\right)\right)$ means a class of all polynomials with at most n-degree for each variable ${x}_{i},i=1,2,\cdots ,s$ . We need to define the norms. Let $0 , and let $f:{ℝ}^{s}\to ℝ$ be measurable. Then we define

${‖Wf‖}_{{L}^{p}\left({ℝ}^{s}\right)}:=\left\{\begin{array}{l}{\left[{\int }_{-\infty }^{\infty }\cdots {\int }_{-\infty }^{\infty }{|\left(Wf\right)\left({x}_{1},\cdots ,{x}_{s}\right)|}^{p}\text{d}{x}_{1}\cdots \text{d}{x}_{s}\right]}^{1/p},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{if}\text{\hspace{0.17em}}0

We assume that for $0 the integral is independent of the order of integration with respect to each ${x}_{i},i=1,2,\cdots ,s$ . When ${‖Wf‖}_{{L}^{p}\left({ℝ}^{s}\right)}<\infty$ , we write $Wf\in {L}^{p}\left({ℝ}^{s}\right)$ . If $p=\infty$ , we require that f is continuous and $li{m}_{|X|\to \infty }W\left(X\right)f\left(X\right)=0$ , where $|X|=|\left({x}_{1},\cdots ,{x}_{s}\right)|=\mathrm{max}|{x}_{i}|;i=1,2,\cdots ,s$ . Then we write $Wf\in {C}_{0}\left({ℝ}^{s}\right)$ .

Our purpose in this paper is to approximate the weighted function $Wf\in {L}^{p}\left({ℝ}^{s}\right)$ by weighted polynomials $WP;P\in {\mathcal{P}}_{n;s}\left({ℝ}^{s}\right)$ . In Section 2, we give a class of the weights which are treated in this paper. In Section 3, we state our main theorems. First, we consider the Lagrange interpolation polynomials. Next, we give the necessary and sufficient conditions for the best approximation. In Sections 4 and 5, we will prove theorems.

2. Class of Weight Functions and Preliminaries

Throughout the paper $C,{C}_{1},{C}_{2},\cdots$ denote positive constants independent of $n,x,t$ or polynomials $P\left(x\right)$ . The same symbol does not necessarily denote the same constant in different occurrences. Let $f\left(x\right)~g\left(x\right)$ mean that there exists a constant $C>0$ such that ${C}^{-1}f\left(x\right)\le g\left(x\right)\le Cf\left(x\right)$ holds for all $x\in I$ , where $I\subset ℝ$ is a subset.

We say that $f:ℝ\to \left[0,\infty \right)$ is quasi-increasing if there exists $C>0$ such that $f\left(x\right)\le Cf\left(y\right)$ for $0 . Hereafter we consider following weights.

Definition 2.1. Let $Q:ℝ\to \left[0,\infty \right)$ be a continuous and even function, and satisfy the following properties:

(a) ${Q}^{\prime }\left(x\right)$ is continuous in $ℝ$ , with $Q\left(0\right)=0$ .

(b) ${Q}^{″}\left(x\right)$ exists and is positive in $ℝ\\left\{0\right\}$ .

(c) ${\mathrm{lim}}_{x\to \infty }Q\left(x\right)=\infty .$

(d) The function

$T\left(x\right):=\frac{x{Q}^{\prime }\left(x\right)}{Q\left(x\right)},x\ne 0$

is quasi-increasing in $\left(0,\infty \right)$ , with

$T\left(x\right)\ge \Lambda >1,x\in ℝ\\left\{0\right\}.$

(e) There exists ${C}_{1}>0$ such that

$\frac{{Q}^{″}\left(x\right)}{|{Q}^{\prime }\left(x\right)|}\le {C}_{1}\frac{|{Q}^{\prime }\left(x\right)|}{Q\left(x\right)},a.e.x\in ℝ.$

Then we write $w=exp\left(-Q\right)\in \mathcal{F}\left({C}^{2}\right)$ .

Moreover, if there also exists a compact subinterval $J\left(\ni 0\right)$ of $ℝ$ , and ${C}_{2}>0$ such that

$\frac{{Q}^{″}\left(x\right)}{|{Q}^{\prime }\left(x\right)|}\ge {C}_{2}\frac{|{Q}^{\prime }\left(x\right)|}{Q\left(x\right)},a.e.x\in ℝ\J,$

then we write $w=\mathrm{exp}\left(-Q\right)\in \mathcal{F}\left({C}^{2}+\right)$ . If $T\left(x\right)$ is bounded, then the weight $w=exp\left(-Q\right)\in \mathcal{F}\left({C}^{2}+\right)$ is called a Freud-type weight, and if $T\left(x\right)$ is unbounded, then w is called an Erdös-type weight.

Let $w\left(x\right)=exp\left(-Q\left(x\right)\right)\in \mathcal{F}\left({C}^{2}+\right)$ , $0<\lambda <\left(m+2\right)/\left(m+1\right)$ and $m\ge 1$ be an integer. Then we write $w\in {\mathcal{F}}_{\lambda }\left({C}^{m+2}+\right)$ if $Q$ is ${C}^{m+2}$ -class and there exist $C\ge 1$ and $K\ge 1$ such that for all $|x|\ge K$ ,

$\frac{|{Q}^{\prime }\left(x\right)|}{Q{\left(x\right)}^{\lambda }}\le C$ (2.1)

and

$|\frac{{Q}^{″}\left(x\right)}{{Q}^{\prime }\left(x\right)}|~|\frac{{Q}^{\left(k+1\right)}\left(x\right)}{{Q}^{\left(k\right)}\left(x\right)}|$

for every $k=2,\cdots ,m$ and also

$|\frac{{Q}^{\left(m+2\right)}\left(x\right)}{{Q}^{\left(m+1\right)}\left(x\right)}|\le |\frac{{Q}^{\left(m+1\right)}\left(x\right)}{{Q}^{\left(m\right)}\left(x\right)}|.$

Specific examples are shown in the following:

Example 2.2 (cf.   ). (1) If an exponential $Q\left(x\right)$ satisfies

$1<{\Lambda }_{1}\le \frac{{\left(x{Q}^{\prime }\left(x\right)\right)}^{\prime }}{{Q}^{\prime }\left(x\right)}\le {\Lambda }_{2},$

where ${\Lambda }_{i},i=1,2$ are constants, then we call $w=\mathrm{exp}\left(-Q\left(x\right)\right)$ the Freud weight. The class $\mathcal{F}\left({C}^{2}+\right)$ contains the Freud weights.

(2) For $\alpha >1,l\ge 1$ we define

$Q\left(x\right)={Q}_{l;\alpha }\left(x\right)={\mathrm{exp}}_{l}\left({|x|}^{\alpha }\right)-{\mathrm{exp}}_{l}\left(0\right),$

where ${\mathrm{exp}}_{l}\left(x\right)=\mathrm{exp}\left(\mathrm{exp}\left(\mathrm{exp}\cdots \mathrm{exp}x\right)\cdots \right)\left(l\text{times}\right)$ . Moreover, we define

${Q}_{l;\alpha ,m}\left(x\right)={|x|}^{m}\left\{{\mathrm{exp}}_{l}\left({|x|}^{\alpha }\right)-{\alpha }^{*}{\mathrm{exp}}_{l}\left(0\right)\right\},\alpha +m>1,m\ge 0,\alpha \ge 0,$

where ${\alpha }^{*}=0$ if $\alpha =0$ , and otherwise ${\alpha }^{*}=1$ . We note that ${Q}_{l;0,m}$ gives a Freud-type weight, that is, $T\left(x\right)$ is bounded..

(3) We define

${Q}_{\alpha }\left(x\right)={\left(1+|x|\right)}^{{|x|}^{\alpha }}-1,\alpha >1.$

(4) Let $w=exp\left(-Q\right)\in \mathcal{F}\left({C}^{2}+\right)$ , and let us define

${\mu }_{+}:=\underset{x\to \infty }{\mathrm{lim}\mathrm{sup}}\frac{{Q}^{″}\left(x\right)}{{Q}^{\prime }\left(x\right)}/\frac{{Q}^{\prime }\left(x\right)}{Q\left(x\right)},{\mu }_{-}:=\underset{x\to \infty }{\mathrm{lim}\mathrm{inf}}\frac{{Q}^{″}\left(x\right)}{{Q}^{\prime }\left(x\right)}/\frac{{Q}^{\prime }\left(x\right)}{Q\left(x\right)}.$

If ${\mu }_{+}={\mu }_{-}$ , then we say that the weight w is regular. All weights in examples (1), (2) and (3) are regular.

(5) More generally we can give the examples of weights $w\in {\mathcal{F}}_{\lambda }\left({C}^{m+2}+\right)$ . If the weight w is regular and if $Q\in {C}^{m+2}\left(ℝ\\left\{0\right\}\right)$ satisfies definition (2.1), then for the regular weights we have $w\in {\mathcal{F}}_{\lambda }\left({C}^{m+2}+\right)$ (see  , Corollary 5.5 (5.8)).

Proposition 2.3 (  , Theorem 4.2 and (4.11)). Let m be a positive integer, $0<\lambda <\left(m+2\right)/\left(m+1\right)$ and let $w=exp\left(-Q\right)\in {\mathcal{F}}_{\lambda }\left({C}^{m+2}+\right)$ . Then for $\mu ,\nu ,\alpha ,\beta \in ℝ$ , we can construct a new weight ${w}_{\mu ,\nu ,\alpha ,\beta }\in {\mathcal{F}}_{\lambda }\left({C}^{m+1}+\right)\subset \mathcal{F}\left({C}^{2}+\right)$ such that

${T}_{w}{\left(x\right)}^{\mu }{\left(1+{x}^{2}\right)}^{\nu }{\left(1+Q\left(x\right)\right)}^{\alpha }{\left(1+|{Q}^{\prime }\left(x\right)|\right)}^{\beta }w\left(x\right)~{w}_{\mu ,\nu ,\alpha ,\beta }\left(x\right)\text{on}ℝ,$

and for some $C\ge 1$ ,

${a}_{n/C}\left({w}_{\mu ,\nu ,\alpha ,\beta }\right)\le {a}_{n}\left(w\right)\le {a}_{Cn}\left({w}_{\mu ,\nu ,\alpha ,\beta }\right)\text{and}{T}_{{w}_{\mu ,\nu ,\alpha ,\beta }}\left(x\right)~{T}_{w}\left(x\right)=T\left(x\right),$

where ${a}_{n}\left({w}_{\mu ,\nu ,\alpha ,\beta }\right)$ and ${a}_{n}\left(w\right)$ are MRS-numbers for the weight ${w}_{\mu ,\nu ,\alpha ,\beta }$ or $w$ , respectively, and ${T}_{{w}_{\mu ,\nu ,\alpha ,\beta }},{T}_{w}$ are correspond for ${w}_{\mu ,\nu ,\alpha ,\beta }$ or w, respectively.

Let $\left\{{p}_{n}\right\}$ be orthonormal polynomials with respect to a weight w, that is, ${p}_{n}$ is the polynomial of degree n such that

${\int }_{-\infty }^{\infty }{p}_{n}\left(x\right){p}_{m}\left(x\right){w}^{2}\left(x\right)\text{d}x={\delta }_{mn}\left(\text{theKroneckerdelta}\right).$

For $1\le p\le \infty$ , we denote by ${L}^{p}\left(ℝ\right)$ the usual ${L}^{p}$ space on $ℝ$ (here for $p=\infty$ , if $wf\in {L}^{\infty }\left(ℝ\right)$ then we require $f$ to be continuous, and $fw$ to have limit 0 at $±\infty$ ). Let $w\in \mathcal{F}\left({C}^{2}+\right)$ . We need the Mhaskar-Rakhmanov-Saff numbers (MRS numbers) ${a}_{x}$ ;

$x=\frac{2}{\text{π}}{\int }_{0}^{1}\frac{{a}_{x}u{Q}^{\prime }\left({a}_{x}u\right)}{{\left(1-{u}^{2}\right)}^{1/2}}\text{d}u,x>0.$

we see easily

$\underset{x\to \infty }{\mathrm{lim}}{a}_{x}=\infty \text{and}\underset{x\to +0}{\mathrm{lim}}{a}_{x}=0$

and

$\underset{x\to \infty }{\mathrm{lim}}\frac{{a}_{x}}{x}=0\text{and}\underset{x\to +0}{\mathrm{lim}}\frac{{a}_{x}}{x}=\infty .$

For $wf\in {L}_{p}\left(ℝ\right)\text{\hspace{0.17em}}\left(1\le p\le \infty \right)$ the degree of weighted polynomial approximation is defined by

${E}_{n,p}\left(w;f\right):=\underset{P\in {\mathcal{P}}_{n}}{inf}{‖w\left(f-P\right)‖}_{{L}^{p}\left(ℝ\right)}.$

3. Main Results

Let ${w}_{i}\in \mathcal{F}\left({C}^{2}+\right),i=1,2,\cdots ,s$ , and let $W\left(X\right)={\prod }_{i=1}^{s}{w}_{i}\left({x}_{i}\right)$ , where $X=\left({x}_{1},{x}_{2},\cdots ,{x}_{s}\right)\in {ℝ}^{s}$ . Then we have the following theorem.

Theorem 3.1 (  , Theorem 3.3). We suppose ${w}_{j}=\mathrm{exp}\left(-{Q}_{j}\right)\in {\mathcal{F}}_{\lambda }\left({C}^{3}+\right)\left(0<\lambda <3/2\right)$ , $j=1,2,\cdots ,s$ and let

${T}_{j}\left({a}_{n}^{\left(j\right)}\right)\le c{\left(\frac{n}{{a}_{n}^{\left(j\right)}}\right)}^{2/3},j=1,2,\cdots ,s.$

If ${\prod }_{i=1}^{s}\left\{{T}_{i}^{1/4}{w}_{i}\right\}f\in {C}_{0}\left({ℝ}^{s}\right)$ , then there exist ${P}_{n}\in {\mathcal{P}}_{n;s}\left({ℝ}^{s}\right),n=1,2,3,\cdots$ such that we have

${‖W\left(f-{P}_{n}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\to 0\text{as}n\to \infty .$

First, we consider the Lagrange interpolation operators. We construct the orthonormal polynomials ${p}_{n,i}$ with respect to the weight ${w}_{i}$ for each $i=1,2,\cdots ,s$ . Let ${x}_{n,n,i}<{x}_{n-1,n,i}<\cdots <{x}_{1,n,i},i=1,2,\cdots ,s$ are zeros of the orthonormal polynomial ${p}_{n,i}$ , that is, ${p}_{n,i}\left({x}_{{k}_{i},n,i}\right)=0,{k}_{i}=1,2,\cdots ,n$ and put ${S}_{n}=\left\{\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right);1\le {k}_{i}\le n,i=1,2,\cdots ,s\right\}$ . Then for $Wf\in {C}_{0}\left(ℝ\right)$ we define the Lagrange interpolation polynomial on ${S}_{n}$ as

${L}_{n}\left(f;{x}_{1},\cdots ,{x}_{s}\right)=\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}f\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right){\prod }_{i=1}^{s}{l}_{{k}_{i},n,i}\left({x}_{i}\right),$ (3.1)

where

${l}_{{k}_{i},n,i}\left({x}_{i}\right)=\frac{{p}_{n,i}\left({x}_{i}\right)}{\left({x}_{i}-{x}_{{k}_{i},n,i}\right){{p}^{\prime }}_{n,i}\left({x}_{{k}_{i},n,i}\right)}.$ (3.2)

In the rest of this paper, if ${w}_{i},i=1,2,\cdots ,s$ are the Freud-type weights then we suppose ${a}_{n}^{\left(i\right)}=o\left(1\right){n}^{2/3}$ .

Theorem 3.2. Let ${w}_{i}\in \mathcal{F}\left({C}^{2}+\right),i=1,2,\cdots ,s$ , and let $f:{ℝ}^{s}\to ℝ$ be continuous. If

${\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{w}_{i}\left({x}_{i}\right)\right\}|f\left({x}_{1},\cdots ,{x}_{s}\right)|\in {C}_{0}\left({ℝ}^{s}\right)$ (3.3)

holds, then there exists ${n}_{0}>0$ such that for $n\ge {n}_{0}$

$\begin{array}{l}|\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}{\prod }_{i=1}^{s}{\lambda }_{{k}_{i},n,i}f\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right)|\\ \le C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\left({x}_{i}\right)\right\}f\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)},\end{array}$ (3.4)

where for each $i=1,2,\cdots ,s$ , ${x}_{{k}_{i},n,i}\left({k}_{i}=1,2,\cdots ,n\right)$ are zeros of ${p}_{n,i}\left({x}_{i}\right)$ . In particular,

$\begin{array}{l}\underset{n\to \infty }{\mathrm{lim}}\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}{\prod }_{i=1}^{s}{\lambda }_{{k}_{i},n,i}f\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right)\\ ={\int }_{-\infty }^{\infty }\cdots {\int }_{-\infty }^{\infty }{\prod }_{i=1}^{s}{w}_{i}^{2}\left({x}_{i}\right)f\left({x}_{1},\cdots ,{x}_{s}\right)\text{d}{x}_{1}\cdots \text{d}{x}_{s}.\end{array}$ (3.5)

Theorem 3.3. Let ${w}_{i}\in {\mathcal{F}}_{\lambda }\left({C}^{3}+\right)\text{\hspace{0.17em}}\left(0<\lambda <3/2\right),i=1,2,3,\cdots ,s$ . Let $\beta >1/2$ , and let $f:{ℝ}^{s}\to ℝ$ satisfy (3.3), then we have for $n=1,2,\cdots$ ,

${‖{\prod }_{i=1}^{s}{w}_{i}{L}_{n}\left(f\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\le C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\left(\beta /2\right)}{w}_{i}\left({x}_{i}\right)\right\}f\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)},$ (3.6)

where for each $i=1,2,\cdots ,s$ , ${x}_{{k}_{i},n,i},{k}_{i}=1,2,\cdots ,n$ are zeros of ${p}_{n,i}\left({x}_{i}\right)$ . In

particular, if ${\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\left(\beta /2\right)}{T}_{i}^{1/4}\left({x}_{i}\right){w}_{i}\left({x}_{i}\right)\right\}f\left({x}_{1},\cdots ,{x}_{s}\right)\in {C}_{0}\left({ℝ}^{s}\right)$ , then we

have

$\underset{n\to \infty }{\mathrm{lim}}{‖{\prod }_{i=1}^{s}{w}_{i}\left(f-{L}_{n}\left(f\right)\right)‖}_{{L}^{2}\left({ℝ}^{s}\right)}=0.$

For $p\ne 2$ we also obtain the similar results. We need a function as follows:

$\Psi \left(x\right):=\frac{1}{{\left(1+Q\left(x\right)\right)}^{2/3}T\left(x\right)}.$ (3.7)

Theorem 3.4. Let ${w}_{i}\in {\mathcal{F}}_{\lambda }\left({C}^{3}+\right),0<\lambda <3/2\left(i=1,2,\cdots ,s\right)$ . Let $1 and $\beta >1/p$ , and let $\Psi \left(x\right)$ be defined by (3.7) for each ${w}_{i},i=1,2,\cdots ,s$ . If $f:ℝ\to ℝ$ is continuous, and satisfies

$\begin{array}{l}|{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W\left(X\right)f\left(X\right)|<\infty ,\\ X\in {ℝ}^{s},i=1,2,\cdots ,s,\end{array}$ (3.8)

then we have

$\begin{array}{l}{‖W{L}_{n}\left(f\right)‖}_{{L}^{p}\left({ℝ}^{s}\right)}\le C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}Wf‖}_{{L}^{\infty }\left({ℝ}^{s}\right)},\\ n=1,2,\cdots .\end{array}$ (3.9)

Especially, if $f$ satisfies

$|{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{3/4}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W\left(X\right)f\left(X\right)|\in {C}_{o}\left({ℝ}^{s}\right),$ (3.10)

then we have

$\underset{n\to \infty }{\mathrm{lim}}{‖W\left(f-{L}_{n}\left(f\right)\right)‖}_{{L}^{p}\left({ℝ}^{s}\right)}=0.$ (3.11)

For $2 we have the following:

Theorem 3.5. Let ${w}_{i}\in {\mathcal{F}}_{\lambda }\left({C}^{3}+\right),0<\lambda <3/2\left(i=1,2,\cdots ,s\right)$ , and let satisfy ${T}_{i}\left({a}_{n}^{\left(i\right)}\right)\le C{n}^{1/2}$ . Let $2 and $\beta >1/p$ . Furthermore we assume

${Q}_{i}\left(\frac{{a}_{n}^{\left(i\right)}}{4}\right)\ge C{\left(log\left({Q}_{i}\left({a}_{n}^{\left(i\right)}\right)\right)\right)}^{4},i=1,2,\cdots ,s.$ (3.12)

If $f:{ℝ}^{s}\to ℝ$ is continuous, and satisfies

$|{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1}\left({x}_{i}\right)\right\}W\left(X\right)f\left(X\right)|<\infty ,X\in {ℝ}^{s},$ (3.13)

then we have

$\begin{array}{l}{‖\left\{{\prod }_{i=1}^{s}{\Psi }_{i}^{3/4}\left({x}_{i}\right)\right\}W{L}_{n}\left(f\right)‖}_{{L}^{p}\left({ℝ}^{s}\right)}\\ \le C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}Wf‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}.\end{array}$

Especially, by (3.13) we have

$\underset{n\to \infty }{\mathrm{lim}}{‖\left\{{\prod }_{i=1}^{s}{\Psi }_{i}^{3/4}\left({x}_{i}\right)\right\}W\left(f-{L}_{n}\left(f\right)\right)‖}_{{L}^{p}\left({ℝ}^{s}\right)}=0.$

Remark 3.6. (1) We note that (3.13) means

$\left({\prod }_{i=1}^{s}{T}_{i}^{1/4}\right){W}^{*}f\in {C}_{0}\left({ℝ}^{s}\right),$

where ${\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W~{W}^{*}\in \mathcal{F}\left({C}^{2}+\right)$ (see Theorem 2.3).

(2) All examples in Example 2.2 hold (3.12).

(3) To prove Theorem 3.5 we use Proposition 4.5. Then Assumption (3.12) plays an important role.

Next, we characterize the best approximation polynomial (cf.  ).

Theorem 3.7. Let $0 . There is a best approximation polynomial ${P}_{f}\in {\mathcal{P}}_{n;s}$ such that

${E}_{p,n;s}\left(W,f\right):=\underset{P\in {\mathcal{P}}_{n;s}}{inf}{‖W\left(f-P\right)‖}_{{L}^{p}\left({ℝ}^{s}\right)}={‖W\left(f-{P}_{n;f}\right)‖}_{{L}^{p}\left({ℝ}^{s}\right)}.$

Theorem 3.8 (Kolmogorov-type theorem). $P\in {\mathcal{P}}_{n;s}$ is a best of approximation for a continuous function $f$ with $li{m}_{|\left({x}_{1},\cdots ,{x}_{s}\right)|\to \infty }W\left({x}_{1},\cdots ,{x}_{s}\right)f\left({x}_{1},\cdots ,{x}_{s}\right)=0$ , if and only if for each polynomial $Q\in {\mathcal{P}}_{n;s}$ ,

$\underset{\left({x}_{1},\cdots ,{x}_{s}\right)\in A}{max}\left[W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-P\left({x}_{1},\cdots ,{x}_{s}\right)\right)\right]Q\left({x}_{1},\cdots ,{x}_{s}\right)\ge 0,$ (3.14)

where $A$ denotes the set (which depends on $f$ and $P$ ) of all points $\left({x}_{1},\cdots ,{x}_{s}\right)\in A$ for which

$|W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-P\left({x}_{1},\cdots ,{x}_{s}\right)\right)|={‖W\left(f-P\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}$ .

Theorem 3.9. Let $W={\prod }_{i=1}^{s}{w}_{i},{w}_{i}\in \mathcal{F}\left({C}^{2}+\right),i=1,\cdots ,s$ and $1\le p<\infty$ . Let ${\varphi }_{K}$ , where $K=\left({k}_{1},\cdots ,{k}_{s}\right)\left(0\le {k}_{j}\le n\right)\left(j=1,\cdots ,s\right)$ be a linearly independent system satisfying $W{\varphi }_{K}\in {L}_{p}\left({ℝ}^{s}\right)$ , and we consider polynomials

$Q\left(X\right)=\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}\text{ }\text{ }{c}_{\left({k}_{1},\cdots ,{k}_{s}\right)}{\varphi }_{\left({k}_{1},\cdots ,{k}_{s}\right)}\left(X\right).$ (3.15)

Let $Wf\in {L}_{p}\left({ℝ}^{s}\right)$ . The polynomial

$P\left(X\right)=\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}\text{ }\text{ }{c}_{\left({k}_{1},\cdots ,{k}_{s}\right)}^{\left[0\right]}{\varphi }_{\left({k}_{1},\cdots ,{k}_{s}\right)}\left(X\right)$ (3.16)

is a polynomial of the best approximation for $f$ if and only if for every polynomial (3.15) the following equality (3.17) holds.

$\begin{array}{l}{\int }_{{ℝ}^{s}}\text{ }\text{ }Q\left(X\right){|f\left(X\right)-P\left(X\right)|}^{p-1}\left[\text{sign}\left(f\left(X\right)-P\left(X\right)\right)\right]{W}^{p}\left(X\right)DX\\ :={\int }_{ℝ}\cdots {\int }_{ℝ}\text{ }Q\left({x}_{1},\cdots ,{x}_{s}\right){|f\left({x}_{1},\cdots ,{x}_{s}\right)-P\left({x}_{1},\cdots ,{x}_{s}\right)|}^{p-1}\\ \text{\hspace{0.17em}}×\left[\text{sign}\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-P\left({x}_{1},\cdots ,{x}_{s}\right)\right)\right]{W}^{p}\left({x}_{1},\cdots ,{x}_{s}\right)\text{d}{x}_{1}\cdots \text{d}{x}_{s}=0\end{array}$ (3.17)

holds. If $p=1$ , we also assume that $f\left(X\right)-P\left(X\right)$ vanish only on a set of measure zero.

4. Proofs of Theorems 3.2, 3.3, 3.4 and 3.5

Lemma 4.1. Let ${x}_{n,n,i}<{x}_{n-1,n,i}<\cdots <{x}_{1,n,i}$ be zeros of the orthonormal polynomial ${p}_{n,i}$ , and let

${P}_{n-1}\left({x}_{1},{x}_{2},\cdots ,{x}_{s}\right)=\underset{0\le {j}_{i}\le n-1,i=1,2,\cdots ,s}{\sum }{a}_{{j}_{1},\cdots ,{j}_{s}}{x}_{1}^{{j}_{1}}\cdots {x}_{s}^{{j}_{s}},$

where ${a}_{{j}_{1},\cdots ,{j}_{s}}$ are coefficients. If for every $\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right)$ ,

${P}_{n-1}\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right)=0,1\le {k}_{i}\le n,i=1,\cdots ,s,$ (4.1)

then we have ${P}_{n-1}=0$ . Therefore, for ${P}_{n-1}\left({x}_{1},{x}_{2},\cdots ,{x}_{s}\right)\in {\mathcal{P}}_{n-1}\left({ℝ}^{s}\right)$ we have

${P}_{n-1}={L}_{n}\left({P}_{n-1}\right).$ (4.2)

Proof. Now we fix any $\left({x}_{{k}_{2},n,2},\cdots ,{x}_{{k}_{s},n,s}\right)\in {ℝ}^{s-1}$ , and then we consider the polynomial ${Q}_{n-1}\left({x}_{1}\right)$ in ${\mathcal{P}}_{n-1}\left(ℝ\right)$ such that

${Q}_{n-1}\left({x}_{1}\right)=\underset{{j}_{1}=0}{\overset{n-1}{\sum }}\left(\underset{0\le {j}_{i}\le n-1,i=2,3,\cdots ,s}{\sum }{a}_{{j}_{1},\cdots ,{j}_{s}}{x}_{{k}_{2},n,2}^{{j}_{2}}\cdots {x}_{{k}_{s},n,s}^{{j}_{s}}\right){x}_{1}^{{j}_{1}}.$

Since

${Q}_{n-1}\left({x}_{{k}_{1},n,1}\right)=0,{k}_{1}=1,2,\cdots ,n$

(see (4.1)), all coefficients of ${Q}_{n-1}\left({x}_{1}\right)$ equal to zero, that is,

$\underset{0\le {j}_{i}\le n-1,i=2,3,\cdots ,s}{\sum }{a}_{{j}_{1},\cdots ,{j}_{s}}{x}_{{k}_{2},n,2}^{{j}_{2}}\cdots {x}_{{k}_{s},n,s}^{{j}_{s}}=0,\text{for}\text{\hspace{0.17em}}\text{each}\text{\hspace{0.17em}}{j}_{1}=0,1,\cdots ,n-1.$ (4.3)

Next, we fix any

${j}_{1}\left(0\le {j}_{1}\le n-1\right)\text{and}\left({x}_{{k}_{3},n,3},\cdots ,{x}_{{k}_{s},n,s}\right)\in {ℝ}^{s-2},$

and we consider ${R}_{n-1}\in {\mathcal{P}}_{n-1}\left(ℝ\right)$ such that

${R}_{n-1}\left({x}_{2}\right)=\underset{{j}_{2}=0}{\overset{n-1}{\sum }}\left(\underset{0\le {j}_{i}\le n-1,i=3,4,\cdots ,s}{\sum }{a}_{{j}_{1},\cdots ,{j}_{s}}{x}_{{k}_{3},n,3}^{{j}_{3}}\cdots {x}_{{k}_{s},n,s}^{{j}_{s}}\right){x}_{2}^{{j}_{2}}.$

Then by (4.3), we see

${R}_{n-1}\left({x}_{{k}_{2},n,2}\right)=0,{k}_{2}=1,2,\cdots ,n.$

Hence,

$\underset{0\le {j}_{i}\le n-1,i=3,4,\cdots ,s}{\sum }{a}_{{j}_{1},\cdots ,{j}_{s}}{x}_{3,{k}_{3}}^{{j}_{3}}\cdots {x}_{s,{k}_{s}}^{{j}_{s}}=0,\text{for}\text{\hspace{0.17em}}\text{each}\text{\hspace{0.17em}}{j}_{1},{j}_{2}=0,1,\cdots ,n-1.$

If we continue this method inductively, then we have

$\underset{{j}_{s}=0}{\overset{n-1}{\sum }}\text{ }\text{ }{a}_{{j}_{1},\cdots ,{j}_{s}}{x}_{{k}_{s},n,s}^{{j}_{s}}=0,\text{for}\text{\hspace{0.17em}}\text{each}\text{\hspace{0.17em}}{j}_{1},{j}_{2},\cdots ,{j}_{s-1}=0,1,\cdots ,n-1.$ (4.4)

We put ${H}_{n-1}\in {\mathcal{P}}_{n-1}\left(ℝ\right)$ as

${H}_{n-1}\left({x}_{s}\right)=\underset{{j}_{s}=0}{\overset{n-1}{\sum }}\text{ }{a}_{{j}_{1},\cdots ,{j}_{s}}{x}_{s}^{{j}_{s}},$

then from (4.4) we have ${H}_{n-1}\left({x}_{{k}_{s},n,s}\right)=0,{k}_{s}=1,2,\cdots ,n$ . Therefore, we conclude

${a}_{{j}_{1},\cdots ,{j}_{s}}=0,{j}_{i}=0,1,\cdots ,n-1\left(i=1,2,\cdots ,s\right),$

that is, ${P}_{n-1}=0$ . #

In the rest of this paper, we use the following notations:

$W={\prod }_{i=1}^{s}{w}_{i},X=\left({x}_{1},\cdots ,{x}_{s}\right),X\left(u\right)=\left({u}_{1},\cdots ,{u}_{s}\right)$

$D\left(X\right)=\text{d}{x}_{1}\cdots \text{d}{x}_{s},D\left(X\left(u\right)\right)=\text{d}{u}_{1}\cdots \text{d}{u}_{s}.$

We also use

$\begin{array}{l}{\mathcal{P}}_{n;s}\left({ℝ}^{s}\right):={\mathcal{P}}_{n,\cdots ,n}\left({ℝ}^{s}\right):=\left\{{P}_{n}|{P}_{n}\left({x}_{1},\cdots ,{x}_{s}\right)\text{\hspace{0.17em}}\text{arepolynomialswithdegree}\le n\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{for}\text{\hspace{0.17em}}\text{each}\text{\hspace{0.17em}}{x}_{i},i=1,\cdots ,s\right\}.\end{array}$

Proposition 4.2 (cf.  , Theorem 1.2.2). Let ${w}_{i}\in \mathcal{F}\left({C}^{2}+\right),i=1,2,\cdots ,s$ , and let $n\ge 1$ be an integer. Then for all $P\in {\mathcal{P}}_{2n-1;s}\left({ℝ}^{s}\right)$ , we have

$\begin{array}{l}{\int }_{{ℝ}^{s}}\text{ }P\left(X\left(u\right)\right){W}^{2}\left(X\left(u\right)\right)D\left(X\left(u\right)\right)\\ =\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}\text{ }{\lambda }_{{k}_{1},n,1}\cdots {\lambda }_{{k}_{s},n,s}P\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right),\end{array}$ (4.5)

where

${\lambda }_{{k}_{i},n,i}={\int }_{-\infty }^{\infty }{l}_{{k}_{i},n,i}{w}_{i}^{2}\left({x}_{i}\right)\text{d}{x}_{i},i=1,2,\cdots ,s.$ (4.6)

Proof. (see  , pp.12-13). Let $P\in {\mathcal{P}}_{n-1;s}\left({ℝ}^{s}\right)$ . From (3.1) and (4.2) we see

$\begin{array}{c}P\left(X\right)={L}_{n}\left(P;X\right)\\ =\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}{l}_{{k}_{1},n,1}\left({x}_{1}\right)\cdots {l}_{{k}_{s},n,s}\left({x}_{s}\right)P\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right).\end{array}$

Hence we have

$\begin{array}{l}{\int }_{{ℝ}^{s}}\text{ }P\left(X\left(u\right)\right){W}^{2}\left(X\left(u\right)\right)D\left(X\left(u\right)\right)\\ =\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}{\lambda }_{{k}_{1},n,1}\cdots {\lambda }_{{k}_{s},n,s}P\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right),\end{array}$

that is, (4.5) holds. Now, we see that (4.5) holds for any $P\in {\mathcal{P}}_{2n-1;s}\left({ℝ}^{s}\right)$ . In fact, for $P\in {\mathcal{P}}_{2n-1;s}\left({ℝ}^{s}\right)$ we set

$\begin{array}{l}P\left({x}_{1},\cdots ,{x}_{s}\right)=Q\left({x}_{1},\cdots ,{x}_{s}\right){\prod }_{i=1}^{s}{p}_{n,i}\left({x}_{i}\right)+R\left({x}_{1},\cdots ,{x}_{s}\right),\\ Q,R\in {\mathcal{P}}_{n-1,\cdots ,n-1}\left({ℝ}^{s}\right).\end{array}$

Then

$\begin{array}{c}{\int }_{{ℝ}^{s}}\text{ }\text{ }P\left(X\left(u\right)\right)W\left(X\left(u\right)\right)D\left(X\left(u\right)\right)\\ ={\int }_{{ℝ}^{s}}\text{ }\text{ }Q\left(X\left(u\right)\right){\prod }_{i=1}^{s}{p}_{n,{j}_{i}}\left({u}_{{j}_{i}}\right)W\left(X\left(u\right)\right)D\left(X\left(u\right)\right)\\ +{\int }_{{ℝ}^{s}}\text{ }\text{ }R\left(X\left(u\right)\right)W\left(X\left(u\right)\right)D\left(X\left(u\right)\right)\\ ={\int }_{{ℝ}^{s}}\text{ }\text{ }R\left(X\left(u\right)\right)W\left(X\left(u\right)\right)D\left(X\left(u\right)\right)\\ =\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}{\lambda }_{{k}_{1},n,1}\cdots {\lambda }_{{k}_{s},n,s}R\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right)\\ =\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}\text{ }\text{ }{\lambda }_{{k}_{1},n,1}\cdots {\lambda }_{{k}_{s},n,s}\left(Q\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right){\prod }_{i=1}^{s}{p}_{n,i}\left({x}_{{k}_{i},n,i}\right)+R\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right)\right)\\ =\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}\text{ }\text{ }{\lambda }_{{k}_{1},n,1}\cdots {\lambda }_{{k}_{s},n,s}P\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right),\end{array}$

that is, (4.5) holds for any $P\in {\mathcal{P}}_{2n-1;s}\left({ℝ}^{s}\right)$ . #

Lemma 4.3 (  , Theorem 2.1). Let $w=\mathrm{exp}\left(-Q\right)\in \mathcal{F}\left({C}^{2}+\right),b\in ℝ$ . If w is a Freud-type weight, then we assume ${a}_{n}=o\left(1\right){n}^{2/3}$ . Then there exist constants ${C}_{1},{C}_{2}>0$ such that for every integer $n\ge 1$ ,

${C}_{1}{\int }_{-{a}_{n}}^{{a}_{n}}{\left(1+{x}^{2}\right)}^{b}\text{d}x\le \underset{j=1}{\overset{n}{\sum }}\text{ }\text{ }{\lambda }_{k,n}{w}^{-2}\left({x}_{k,n}\right){\left(1+{x}_{k,n}^{2}\right)}^{b}\le {C}_{2}{\int }_{-{a}_{n}}^{{a}_{n}}{\left(1+{x}^{2}\right)}^{b}\text{d}x.$

Proof of Theorem 3.2.

$\begin{array}{l}\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}{\prod }_{i=1}^{s}{\lambda }_{{k}_{i},n,i}|f\left({x}_{{k}_{1},n,1},\cdots ,{x}_{{k}_{s},n,s}\right)|\\ \le {‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\left({x}_{i}\right)\right\}f\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \underset{s=1}{\overset{n}{\sum }}\cdots \underset{i=1}{\overset{n}{\sum }}{\prod }_{i=1}^{s}\left\{{\lambda }_{{k}_{i},n,i}{w}_{i}^{-2}\left({x}_{{k}_{i},n,i}\right){\left(1+{x}_{{k}_{i},n,i}^{2}\right)}^{-\beta }\right\}\\ \le {‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\left({x}_{i}\right)\right\}f\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot {\int }_{-{a}_{n}^{\left[s\right]}}^{{a}_{n}^{\left[s\right]}}\cdots {\int }_{-{a}_{n}^{\left[1\right]}}^{{a}_{n}^{\left[1\right]}}{\prod }_{i=1}^{s}{\left(1+{x}_{i}^{2}\right)}^{-\beta }\text{d}{x}_{1}\cdots \text{d}{x}_{s}\end{array}$

by Lemma 4.3

$\le C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\left({x}_{i}\right)\right\}f\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}.$

Therefore we have (3.4). To prove (3.5) we use (3.4) and Proposition 4.2. For $P\in {\mathcal{P}}_{n;s}\left({ℝ}^{s}\right)$ we see

$\begin{array}{l}|\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}\left\{{\prod }_{i=1}^{s}{\lambda }_{{k}_{i},n,i}\right\}f\left({x}_{{k}_{1},n,1}\cdots {x}_{{k}_{s},n,s}\right)\\ -{\int }_{-\infty }^{\infty }\cdots {\int }_{-\infty }^{\infty }f\left({x}_{1},\cdots ,{x}_{s}\right){w}_{1}^{2}\left({x}_{1}\right)\cdots {w}_{s}^{2}\left({x}_{s}\right)\text{d}{x}_{1}\cdots \text{d}{x}_{s}|\\ \le |\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}\left\{{\prod }_{i=1}^{s}{\lambda }_{{k}_{i},n,i}\right\}\left(f-P\right)\left({x}_{{k}_{1},n,1}\cdots {x}_{{k}_{s},n,s}\right)|\\ +|{\int }_{-\infty }^{\infty }\cdots {\int }_{-\infty }^{\infty }\left(f-P\right)\left({x}_{1},\cdots ,{x}_{s}\right){w}_{1}^{2}\left({x}_{1}\right)\cdots {w}_{s}^{2}\left({x}_{s}\right)\text{d}{x}_{1}\cdots \text{d}{x}_{s}|\\ \le |\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}\left\{{\prod }_{i=1}^{s}{\lambda }_{{k}_{i},n,i}\right\}\left(f-P\right)\left({x}_{{k}_{1},n,1}\cdots {x}_{{k}_{s},n,s}\right)|\\ +|{\int }_{-\infty }^{\infty }\cdots {\int }_{-\infty }^{\infty }\left(f-P\right)\left({x}_{1},\cdots ,{x}_{s}\right){w}_{1}^{2}\left({x}_{1}\right)\cdots {w}_{s}^{2}\left({x}_{s}\right)\text{d}{x}_{1}\cdots \text{d}{x}_{s}|\\ \le C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\left({x}_{i}\right)\right\}\left(f-P\right)\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\\ +{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\left({x}_{i}\right)\right\}\left(f-P\right)\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\\ ×{\int }_{-\infty }^{\infty }\cdots {\int }_{-\infty }^{\infty }{\prod }_{i=1}^{s}{\left(1+{x}_{i}^{2}\right)}^{-\beta }\text{d}{x}_{1}\cdots \text{d}{x}_{s}\\ \le C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\left({x}_{i}\right)\right\}\left(f-P\right)\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}.\end{array}$

Now, we can take $P={P}_{n}$ as

$\underset{n\to \infty }{lim}{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\left({x}_{i}\right)\right\}\left(f-{P}_{n}\right)\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}=0.$ (4.7)

In fact, when we put ${\prod }_{i=1}^{s}{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\left({x}_{i}\right)~{W}_{\beta }\in \mathcal{F}\left({C}^{2}+\right)$ (see Proposition 2.3), from (3.3) we see

${\prod }_{i=1}^{s}\left\{{T}_{i}^{1/4}\left({x}_{i}\right){\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\right\}f\le C{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}\left({x}_{i}\right)\right\}f\in {C}_{0}\left({ℝ}^{s}\right).$

Hence from Theorem 3.1 with ${W}_{\beta }$ we have (4.7). Therefore we conclude (3.5). #

Proof of Theorem 3.3. By Proposition 4.2 with $P={L}_{n}^{2}\left(f\right)$ and Theorem 3.2 with (3.4),

$\begin{array}{c}{‖{\prod }_{i=1}^{s}{w}_{i}{L}_{n}\left(f\right)‖}_{{L}^{2}\left({ℝ}^{s}\right)}\\ =\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}\left\{{\prod }_{i=1}^{s}{\lambda }_{{k}_{i},n,i}\right\}{\left\{{L}_{n}\left(f;{x}_{{k}_{1},n,1}\cdots {x}_{{k}_{s},n,s}\right)\right\}}^{2}\\ =\underset{{k}_{s}=1}{\overset{n}{\sum }}\cdots \underset{{k}_{1}=1}{\overset{n}{\sum }}\left\{{\prod }_{i=1}^{s}{\lambda }_{{k}_{i},n,i}\right\}{\left\{f\left({x}_{{k}_{1},n,1}\cdots {x}_{{k}_{s},n,s}\right)\right\}}^{2}\\ \le C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta }{w}_{i}^{2}\left({x}_{i}\right)\right\}{\left\{f\left({x}_{1},\cdots ,{x}_{s}\right)\right\}}^{2}‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\\ =C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\left(\beta /2\right)}{w}_{i}\left({x}_{i}\right)\right\}f\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}^{2},\end{array}$

that is, we have (3.6). From Theorem 4.1 with

${\prod }_{i=1}^{s}{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{w}_{i}^{2}\left({x}_{i}\right)~{W}_{\beta /2}\in \mathcal{F}\left({C}^{2}+\right)$ (note Proposition 2.3) and our assumption, there exists ${P}_{n-1}\in {\mathcal{P}}_{n-1}$ such that

$\underset{n\to \infty }{lim}{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\left(\beta /2\right)}{w}_{i}\left({x}_{i}\right)\right\}\left(f-{P}_{n-1}\right)\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}^{2}=0.$

Then

$\begin{array}{l}{‖W\left(f-{L}_{n}\left(f\right)\right)‖}_{{L}^{2}\left({ℝ}^{s}\right)}\le {‖W\left(f-{P}_{n-1}\right)‖}_{{L}^{2}\left({ℝ}^{s}\right)}+{‖W{L}_{n}\left(f-P\right)‖}_{{L}^{2}\left({ℝ}^{s}\right)}\\ \le {‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\left(\beta /2\right)}{w}_{i}\left({x}_{i}\right)\right\}\left(f-{P}_{n-1}\right)\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}^{2}{‖{\prod }_{i=1}^{s}{\left(1+{x}_{i}^{2}\right)}^{\left(-\beta /2\right)}‖}_{{L}^{2}\left({ℝ}^{s}\right)}\\ \text{\hspace{0.17em}}+{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\left(\beta /2\right)}{w}_{i}\left({x}_{i}\right)\right\}\left(f-{P}_{n-1}\right)\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}^{2}\\ \le C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\left(\beta /2\right)}{w}_{i}\left({x}_{i}\right)\right\}\left(f-{P}_{n-1}\right)\left({x}_{1},\cdots ,{x}_{s}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}^{2}\to 0\text{as}n\to \infty .\end{array}$ #

We know the following propositions with respect to one variable.

Proposition 4.4 (  , Theorem 2.7). Let $w\in {\mathcal{F}}_{\lambda }\left({C}^{3}+\right),0<\lambda <3/2$ . Let $1 and $\beta >1/p$ . If $f:{ℝ}^{s}\to ℝ$ is continuous, and satisfies

$|{\left(1+{x}^{2}\right)}^{\beta /2}{T}^{1/2}\left(x\right){\Psi }^{-1/4}\left(x\right)w\left(x\right)f\left(x\right)|<\infty ,x\in ℝ,$

then we have

${‖w{L}_{n}\left(f\right)‖}_{{L}^{p}\left(ℝ\right)}\le C{‖{\left(1+{x}^{2}\right)}^{\beta /2}{T}^{1/2}\left(x\right){\Psi }^{-1/4}\left(x\right)wf‖}_{{L}^{\infty }\left(ℝ\right)},n=1,2,\cdots .$ (4.8)

Especially, if

$|{\left(1+{x}^{2}\right)}^{\beta /2}{T}^{1/2}\left(x\right){\Psi }^{-1/4}\left(x\right)w\left(x\right)f\left(x\right)|\in {C}_{0}\left(ℝ\right),$

then we have

$\underset{n\to \infty }{\mathrm{lim}}{‖w\left(f-{L}_{n}\left(f\right)\right)‖}_{{L}^{p}\left(ℝ\right)}=0.$

Proposition 4.5 (  , Theorem 2.8). Let $w\in {\mathcal{F}}_{\lambda }\left({C}^{3}+\right),0<\lambda <3/2$ , and let satisfy ${T}_{i}\left({a}_{n}^{\left(i\right)}\right)\le C{n}^{1/2}$ . Let $2 and $\beta >1/p$ . Furthermore we assume

$Q\left(\frac{{a}_{n}}{4}\right)\ge C{\left(log\left(Q\left({a}_{n}\right)\right)\right)}^{4}.$

If $f:ℝ\to ℝ$ satisfies

$|{\left(1+{x}^{2}\right)}^{\beta /2}{T}^{1/2}\left(x\right){\Psi }^{-1/4}\left(x\right)w\left(x\right)f\left(x\right)|\le C,x\in ℝ,$

then we have

$\begin{array}{l}{‖{\Psi }^{3/4}\left(x\right)w{L}_{n}\left(f\right)‖}_{{L}^{p}\left(ℝ\right)}\le C{‖{\left(1+{x}^{2}\right)}^{\beta /2}{T}^{1/2}\left(x\right){\Psi }^{-1/4}\left(x\right)wf‖}_{{L}^{\infty }\left(ℝ\right)},\\ n=1,2,\cdots .\end{array}$ (4.9)

Especially, if

$|{\left(1+{x}^{2}\right)}^{\beta /2}{T}^{1/2}\left(x\right){\Psi }^{-1/4}\left(x\right)w\left(x\right)f\left(x\right)|\in {C}_{0}\left(ℝ\right),$

we have

$\underset{n\to \infty }{\mathrm{lim}}{‖w\left(f-{L}_{n}\left(f\right)\right)‖}_{{L}^{p}\left(ℝ\right)}=0.$

Proof of Theorem 3.4. We use Proposition 4.4 (4.8). Hence we have (3.9).

Next we show (3.10). There exists ${P}_{n}\in {\mathcal{P}}_{n;s}\left({ℝ}^{s}\right)$ such that

$\begin{array}{l}{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W\left(f-{P}_{n}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\\ \le C{E}_{\infty ,n;s}\left({\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W,f\right)\end{array}$

$\begin{array}{l}{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W\left(f-{P}_{n}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\\ \le C{E}_{\infty ,n;s}\left({\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W,f\right),\end{array}$

where ${P}_{n}\in {\mathcal{P}}_{n;s}$ . Then

$\begin{array}{l}{‖W\left(f-{L}_{n}\left(f\right)\right)‖}_{{L}^{p}\left({ℝ}^{s}\right)}\le {‖W\left(f-{P}_{n}\right)‖}_{{L}^{p}\left({ℝ}^{s}\right)}+{‖W{L}_{n}\left(f-{P}_{n}\right)‖}_{{L}^{p}\left({ℝ}^{s}\right)}\\ \le {‖W\left(f-{P}_{n}\right)‖}_{{L}^{p}\left({ℝ}^{s}\right)}+C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W\left(f-{P}_{n}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\\ \le {‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W\left(f-{P}_{n}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\\ ×{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{-\beta /2}{T}_{i}^{-1/2}\left({x}_{i}\right){\Psi }_{i}^{1/4}\left({x}_{i}\right)\right\}‖}_{{L}^{p}\left({ℝ}^{s}\right)}\\ +C{‖{\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W\left(f-{P}_{n}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\\ \le C{E}_{\infty ,n;s}\left({\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}W,f\right)\to 0\text{as}n\to 0.\end{array}$

The last convergence follows from (3.9) and Theorem 3.1 with

${\prod }_{i=1}^{s}\left\{{\left(1+{x}_{i}^{2}\right)}^{\beta /2}{T}_{i}^{1/2}\left({x}_{i}\right){\Psi }_{i}^{-1/4}\left({x}_{i}\right)\right\}~{W}^{*}\in \mathcal{F}\left({C}^{2}+\right)$ (note Proposition 2.3). Consequently, we have (3.11). #

Proof of Theorem 3.5. As the proof of Theorem 3.4 we can show Theorem 3.5 by Proposition 4.5 (4.9). Then we also note Remark 3.6 (1) and (3). #

5. Proofs of Theorems 3.7, 3.8 and 3.9

In this section, we characterize the best approximation polynomial (cf.  ).

Proof of Theorem 3.7. We consider the polynomial class

$\mathcal{T}=\left\{P\left({x}_{1},\cdots ,{x}_{s}\right)=\underset{{k}_{i}=0,1\le i\le s}{\overset{n}{\sum }}{a}_{{k}_{1},\cdots ,{k}_{s}}{x}_{1}^{{k}_{1}}\cdots {x}_{s}^{{k}_{s}};{‖\left(f-P\right)W‖}_{{L}^{p}\left({ℝ}^{s}\right)}\le {‖fW‖}_{{L}^{p}\left({ℝ}^{s}\right)}\right\}.$

Since

${‖\left(f-0\right)W‖}_{{L}^{p}\left({ℝ}^{s}\right)}={‖fW‖}_{{L}^{p}\left({ℝ}^{s}\right)},$

the set $\mathcal{T}$ is not empty. Now we select the sequence

${\left\{{P}_{m,n}\left({x}_{1},\cdots ,{x}_{s}\right)={\sum }_{{k}_{i}=0,1\le i\le s}^{n}{a}_{{k}_{1},\cdots ,{k}_{s};m}{x}_{1}^{{k}_{1}}\cdots {x}_{s}^{{k}_{s}}\right\}}_{m=0}^{\infty }$ such that

$\underset{{a}_{{k}_{1},\cdots ,{k}_{s};m}}{\mathrm{inf}}{‖\left(f-{P}_{m,n}\right)W‖}_{{L}^{p}\left({ℝ}^{s}\right)}={E}_{p,n;s}\left(W;f\right).$

Here we see that $|{a}_{m}|:={\mathrm{max}}_{{k}_{j}=0,1,\cdots ,n;1\le j\le s}|{a}_{{k}_{1},\cdots ,{k}_{s};m}|$ is bounded. In fact, if it is unbounded, then for

${Q}_{m,n}\left({x}_{1},\cdots ,{x}_{s}\right)={P}_{m,n}\left({x}_{1},\cdots ,{x}_{s}\right)/{a}_{m}=\underset{{k}_{i}=0,1\le i\le s}{\overset{n}{\sum }}{b}_{{k}_{1},\cdots ,{k}_{s};m}{x}_{1}^{{k}_{1}}\cdots {x}_{s}^{{k}_{s}},$

we see $|{b}_{{k}_{1},\cdots ,{k}_{s};m}|\le 1$ . Then we can take a subsequence ${\left\{{m}_{l}\right\}}_{l=1}^{\infty }$ and a fixed term

${x}_{1}^{{k}_{1;0}}\cdots {x}_{s}^{{k}_{s;0}}$ such that

${Q}_{{m}_{l},n}\left({x}_{1},\cdots ,{x}_{s}\right)={x}_{1}^{{k}_{1,0}}\cdots {x}_{s}^{{k}_{s,0}}+\underset{{k}_{i}=0,{k}_{i}\ne {k}_{i,0},1\le i\le s}{\overset{n}{\sum }}{b}_{{k}_{1},\cdots ,{k}_{s};{m}_{l}}{x}_{1}^{{k}_{1}}\cdots {x}_{s}^{{k}_{s}}.$

We can suppose ${b}_{{k}_{1},\cdots ,{k}_{s};{m}_{l}}\to {b}_{{k}_{1},\cdots ,{k}_{s}}$ as $l\to \infty$ (if we need it, then we consider a subsequence). Now, we see that there exists M > 0 such that ${‖{P}_{{m}_{l}}W‖}_{{L}^{\infty }\left({ℝ}^{s}\right)} , so we have

${‖{Q}_{{m}_{l},n}W‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}\to 0,$

that is,

${Q}_{n}\left({x}_{1},\cdots ,{x}_{s}\right):={x}_{1}^{{k}_{1;0}}\cdots {x}_{s}^{{k}_{s;0}}+\underset{{k}_{i}=0,{k}_{i}\ne {k}_{i,0},1\le i\le s}{\overset{n}{\sum }}{b}_{{k}_{1},\cdots ,{k}_{s}}{x}_{1}^{{k}_{1}}\cdots {x}_{s}^{{k}_{s}}=0.$

This is impossible because the $\left\{{x}_{1}^{{k}_{1}}\cdots {x}_{s}^{{k}_{s}}\right\}$ are linear independent. Hence $|{a}_{m}|:={\mathrm{max}}_{{k}_{j}=0,1,\cdots ,n;1\le j\le s}|{a}_{{k}_{1},\cdots ,{k}_{s};m}|$ is bounded. Now we repeat the method as above. If we select the sequence ${a}_{{k}_{1},\cdots ,{k}_{s};m}\to {a}_{{k}_{1},\cdots ,{k}_{s}}$ as $l\to \infty$ (if we need it, then we consider a subsequence), then we have

${‖\left(f-\underset{{k}_{i}=0,1\le i\le s}{\overset{n}{\sum }}{a}_{{k}_{1},\cdots ,{k}_{s}}{x}_{1}^{{k}_{1}}\cdots {x}_{s}^{{k}_{s}}\right)W‖}_{{L}^{p}\left(ℝ\right)}={E}_{p,n;s}\left(W;f\right).$

Then we put ${P}_{n;f}:={\sum }_{{k}_{i}=0,1\le i\le s}^{n}{a}_{{k}_{1},\cdots ,{k}_{s}}{x}_{1}^{{k}_{1}}\cdots {x}_{s}^{{k}_{s}}$ . #

Proof of Theorem 3.8. Let

${‖W\left(f-{P}_{n;f}\right)‖}_{{L}^{\infty }\left({ℝ}^{s}\right)}={E}_{n;s}\left(W,f\right),$

where ${P}_{n;f}\in {\mathcal{P}}_{n;s}\left({ℝ}^{s}\right)$ . We see that the theorem is trivial if ${E}_{n;s}\left(W,f\right)=0$ . So we may assume ${E}_{n;s}\left(W,f\right)>0$ . If (3.14) is not true, there exists a polynomial $Q\in {\mathcal{P}}_{n;s}$ such that

$\underset{\left({x}_{1},\cdots ,{x}_{s}\right)\in A}{max}\left[W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-{P}_{n;f}\left({x}_{1},\cdots ,{x}_{s}\right)\right)\right]Q\left({x}_{1},\cdots ,{x}_{s}\right)=-2\epsilon$

for some $\epsilon >0$ . By the continuity of the function, there exists an open subset $G$ ; $A\subset G$ , such that

$W\left({x}_{1},\cdots ,{x}_{s}\right)\left[f\left({x}_{1},\cdots ,{x}_{s}\right)-{P}_{n;f}\left({x}_{1},\cdots ,{x}_{s}\right)\right]Q\left({x}_{1},\cdots ,{x}_{s}\right)<-\epsilon ,\left({x}_{1},\cdots ,{x}_{s}\right)\in G.$

For $\lambda >0$ small enough we put $R={P}_{n;f}-\lambda Q$ , and let

$M=\underset{\left({x}_{1},\cdots ,{x}_{s}\right)\in {ℝ}^{s}}{sup}W\left({x}_{1},\cdots ,{x}_{s}\right)|Q\left({x}_{1},\cdots ,{x}_{s}\right)|.$

First, for $\left({x}_{1},\cdots ,{x}_{s}\right)\in G$ we see

$\begin{array}{l}{|W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-R\left({x}_{1},\cdots ,{x}_{s}\right)\right)|}^{2}\\ ={|W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-{P}_{n;}f\left({x}_{1},\cdots ,{x}_{s}\right)+\lambda Q\left({x}_{1},\cdots ,{x}_{s}\right)\right)|}^{2}\\ ={|W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-{P}_{n;f}\left({x}_{1},\cdots ,{x}_{s}\right)\right)|}^{2}\\ +2\lambda \left[W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-{P}_{n;f}\left({x}_{1},\cdots ,{x}_{s}\right)\right)\right]Q\left({x}_{1},\cdots ,{x}_{s}\right)\\ +{\lambda }^{2}{W}^{2}\left({x}_{1},\cdots ,{x}_{s}\right){|Q\left({x}_{1},\cdots ,{x}_{s}\right)|}^{2}\\ <{E}_{n;s}{\left(W,f\right)}^{2}-2\lambda \epsilon +{\lambda }^{2}{M}^{2}.\end{array}$

If we take $\lambda <{M}^{-2}\epsilon$ , then we obtain

$\begin{array}{l}{|W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-R\left({x}_{1},\cdots ,{x}_{s}\right)\right)|}^{2}\\ <{E}_{n;s}{\left(W,f\right)}^{2}-2\lambda \epsilon +\lambda \epsilon ={E}_{n;s}{\left(W,f\right)}^{2}-\lambda \epsilon ,\left({x}_{1},\cdots ,{x}_{s}\right)\in G.\end{array}$ (5.1)

Next, we assume $\left({x}_{1},\cdots ,{x}_{s}\right)\in {G}^{c}$ (the complement of $G$ ). For large enough ${K}_{1},{K}_{2}>0$ there exists ${\delta }_{1}>0$ such that

$W\left({x}_{1},\cdots ,{x}_{s}\right)|f\left({x}_{1},\cdots ,{x}_{s}\right)|<\frac{{E}_{n;s}\left(W,f\right)}{2}-{\delta }_{1},|\left({x}_{1},\cdots ,{x}_{s}\right)|\ge {K}_{1},$

and

$W\left({x}_{1},\cdots ,{x}_{s}\right)|{P}_{n;f}\left({x}_{1},\cdots ,{x}_{s}\right)|<\frac{{E}_{n;s}\left(W,f\right)}{2}-{\delta }_{1},|\left({x}_{1},\cdots ,{x}_{s}\right)|\ge {K}_{2},$

that is,

$\begin{array}{l}|W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-{P}_{n;f}\left({x}_{1},\cdots ,{x}_{s}\right)\right)|\\ <{E}_{n;s}\left(W,f\right)-2{\delta }_{1},|\left({x}_{1},\cdots ,{x}_{s}\right)|\ge max\left\{{K}_{1},{K}_{2}\right\}.\end{array}$

Then we also see that there exists ${\delta }_{2}>0$ such that

$\begin{array}{l}|W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-{P}_{n;f}\left({x}_{1},\cdots ,{x}_{s}\right)\right)|\\ <{E}_{n;s}\left(W,f\right)-{\delta }_{2},\left({x}_{1},\cdots ,{x}_{s}\right)\in {G}^{c},\text{\hspace{0.17em}}|\left({x}_{1},\cdots ,{x}_{s}\right)|\le \mathrm{max}\left\{{K}_{1},{K}_{2}\right\}.\end{array}$

Let $\delta :=\mathrm{min}\left\{2{\delta }_{1},{\delta }_{2}\right\}>0$ , and let $\left({x}_{1},\cdots ,{x}_{s}\right)\in {G}^{c}$ . Then, if we take $\lambda >0$ so small that $\lambda <{\left(2M\right)}^{-1}\delta$ , we see

$\begin{array}{c}|W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-R\left({x}_{1},\cdots ,{x}_{s}\right)\right)|\\ \le |W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1},\cdots ,{x}_{s}\right)-{P}_{n;f}\left({x}_{1},\cdots ,{x}_{s}\right)\right)|\\ +\lambda W\left({x}_{1},\cdots ,{x}_{s}\right)|Q\left({x}_{1},\cdots ,{x}_{s}\right)|\\ \le {E}_{n;s}\left(W,f\right)-\delta +\frac{\delta }{2}={E}_{n;s}\left(W,f\right)-\frac{\delta }{2}.\end{array}$ (5.2)

From (5.1) and (5.2) we see that the condition (3.14) is necessary.

Next we will show that (3.14) is also sufficient. Let $R\in {\mathcal{P}}_{n;s}$ be arbitrary polynomial. Then there exists a point $\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\in A$ such that for $Q=P-R$ ,

$\left[W\left({x}_{1},\cdots ,{x}_{s}\right)\left(f\left({x}_{1,0},\cdots ,{x}_{s,0}\right)-P\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\right)\right]Q\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\ge 0.$

Then we see

$\begin{array}{l}{|W\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\left(f\left({x}_{1,0},\cdots ,{x}_{s,0}\right)-R\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\right)|}^{2}\\ ={|W\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\left(f\left({x}_{1,0},\cdots ,{x}_{s,0}\right)-P\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\right)|}^{2}\\ +2\left[W\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\left(f\left({x}_{1,0},\cdots ,{x}_{s,0}\right)-P\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\right)\right]Q\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\\ +{|W\left({x}_{1,0},\cdots ,{x}_{s,0}\right)Q\left({x}_{1,0},\cdots ,{x}_{s,0}\right)|}^{2}\\ \ge {|W\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\left(f\left({x}_{1,0},\cdots ,{x}_{s,0}\right)-P\left({x}_{1,0},\cdots ,{x}_{s,0}\right)\right)|}^{2}={‖W\left(f-P\right)‖}_{{L}^{\infty }\left(ℝ\right)}^{2}.\end{array}$

This means that there is not $R$ with ${‖W\left(f-R\right)‖}_{{L}^{\infty }\left(ℝ\right)}<{‖W\left(f-P\right)‖}_{{L}^{\infty }\left(ℝ\right)}$ , that is, $P$ is the best of approximation polynomial. #

Proof of 3.9. Let the condition (3.17) be satisfied. We see

$\begin{array}{l}{\int }_{{ℝ}^{s}}{|\left\{f\left(X\right)-P\left(X\right)\right\}W\left(X\right)|}^{p}D\left(X\right)\\ ={\int }_{{ℝ}^{s}}\left\{f\left(X\right)-P\left(X\right)\right\}{|f\left(X\right)-P\left(X\right)|}^{p-1}\text{sign}\left\{f\left(X\right)-P\left(X\right)\right\}{W}^{p}\left(X\right)D\left(X\right)\\ ={\int }_{{ℝ}^{s}}\left\{f\left(X\right)-Q\left(X\right)\right\}{|f\left(X\right)-P\left(X\right)|}^{p-1}\text{sign}\left\{f\left(X\right)-P\left(X\right)\right\}{W}^{p}\left(X\right)D\left(X\right)\\ \le {\int }_{{ℝ}^{s}}|f\left(X\right)-Q\left(X\right)|{|f\left(X\right)-P\left(X\right)|}^{p-1}{W}^{p}\left(X\right)D\left(X\right)\\ \le {\left[{\int }_{{ℝ}^{s}}{|\left\{f\left(X\right)-Q\left(X\right)\right\}W\left(X\right)|}^{p}D\left(X\right)\right]}^{\frac{1}{p}}{\left[{\int }_{{ℝ}^{s}}{|\left\{f\left(X\right)-P\left(X\right)\right\}W|}^{p}D\left(X\right)\right]}^{1-\frac{1}{p}},\end{array}$

that is,

${\left[{\int }_{{ℝ}^{s}}{|\left\{f\left(X\right)-P\left(X\right)\right\}W\left(X\right)|}^{p}D\left(X\right)\right]}^{\frac{1}{p}}\le {\left[{\int }_{{ℝ}^{s}}{|\left\{f\left(X\right)-Q\left(X\right)\right\}W\left(X\right)|}^{p}D\left(X\right)\right]}^{\frac{1}{p}}.$

Hence $P\left(X\right)$ is the best approximation polynomial.

Next we give the converse assertion. We suppose (3.17). However if $p=1$ , we also assume that $f\left(X\right)-P\left(X\right)$ vanish only on a set of measure zero. (3.17) is equivalent to

${\int }_{{ℝ}^{s}}\text{ }{\varphi }_{K}\left(X\right){|f\left(X\right)-Q\left(X\right)|}^{p-1}\left[\text{sign}\left(f\left(X\right)-Q\left(X\right)\right)\right]{W}^{p}\left(X\right)D\left(X\right)=0$

for all ${\varphi }_{K},K=\left({k}_{1},\cdots ,{k}_{s}\right)\left(0\le {k}_{j}\le n\right)$ . Now we assume that for some $K$ ,

${\int }_{{ℝ}^{s}}\text{ }{\varphi }_{K}\left(X\right){|f\left(X\right)-Q\left(X\right)|}^{p-1}\left[\text{sign}\left(f\left(X\right)-Q\left(X\right)\right)\right]{W}^{p}\left(X\right)D\left(X\right)=\delta \ne 0,$

then it would be possible to find $\lambda$ so small on the basis of absolute magnitude that

$\begin{array}{l}\lambda {\int }_{{ℝ}^{s}}\text{ }\text{ }{\varphi }_{K}\left(X\right){|f\left(X\right)-Q\left(X\right)-\lambda {\varphi }_{K}\left(X\right)|}^{p-1}\\ ×\left[\text{sign}\left(f\left(X\right)-Q\left(X\right)\right)-\lambda {\varphi }_{K}\left(X\right)\right]{W}^{p}\left(X\right)D\left(X\right)>0.\end{array}$

But then

$\begin{array}{l}{\int }_{{ℝ}^{s}}{|\left\{f\left(X\right)-P\left(X\right)-\lambda {\varphi }_{K}\left(X\right)\right\}W\left(X\right)|}^{p}D\left(X\right)\\ ={\int }_{{ℝ}^{s}}\left\{f\left(X\right)-P\left(X\right)-\lambda {\varphi }_{K}\left(X\right)\right\}{|f\left(X\right)-P\left(X\right)-\lambda {\varphi }_{K}\left(X\right)|}^{p-1}\\ ×\text{sign}\left\{f\left(X\right)-P\left(X\right)\right\}{W}^{p}\left(X\right)D\left(X\right)\\ ={\int }_{{ℝ}^{s}}\left\{f\left(X\right)-P\left(X\right)\right\}{|f\left(X\right)-P\left(X\right)-\lambda {\varphi }_{K}\left(X\right)|}^{p-1}\\ ×\text{sign}\left\{f\left(X\right)-P\left(X\right)-\lambda {\varphi }_{K}\left(X\right)\right\}{W}^{p}\left(X\right)D\left(X\right)\\ -\lambda {\int }_{{ℝ}^{s}}\text{ }{\varphi }_{K}\left(X\right){|f\left(X\right)-P\left(X\right)-\lambda {\varphi }_{K}\left(X\right)|}^{p-1}\\ ×\text{sign}\left\{f\left(X\right)-P\left(X\right)-\lambda {\varphi }_{K}\left(X\right)\right\}{W}^{p}\left(X\right)D\left(X\right)\\ <{\int }_{{ℝ}^{s}}|f\left(X\right)-P\left(X\right)|{|f\left(X\right)-P\left(X\right)-\lambda {\varphi }_{K}\left(X\right)|}^{p-1}{W}^{p}\left(X\right)D\left(X\right)\\ \le {\left[{\int }_{{ℝ}^{s}}{|\left\{f\left(X\right)-P\left(X\right)\right\}W\left(X\right)|}^{p}D\left(X\right)\right]}^{\frac{1}{p}}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }×{\left[{\int }_{{ℝ}^{s}}{|\left\{f\left(X\right)-P\left(X\right)-\lambda {\varphi }_{K}\left(X\right)\right\}W\left(X\right)|}^{p}D\left(X\right)\right]}^{1-\frac{1}{p}}.\end{array}$

Consequently,

$\begin{array}{l}{\left[{\int }_{{ℝ}^{s}}{|\left\{f\left(X\right)-P\left(X\right)-\lambda {\varphi }_{K}\left(X\right)\right\}W\left(X\right)|}^{p}D\left(X\right)\right]}^{\frac{1}{p}}\\ <{\left[{\int }_{{ℝ}^{s}}{|\left\{f\left(X\right)-P\left(X\right)\right\}W\left(X\right)|}^{p}D\left(X\right)\right]}^{\frac{1}{p}},\end{array}$

and we arrive at a contradiction on the assumption concerning the polynomial $P\left(X\right)$ . #

Cite this paper

Sakai, R. (2017) A Study of Weighted Polynomial Approximations with Several Variables (II). Applied Mathematics, 8, 1239-1256. https://doi.org/10.4236/am.2017.89093

References

1. 1. Jung, H.S. and Sakai, R. (2009) Specific Examples of Exponential Weights. Communications of the Korean Mathematical Society, 24, 303-319. https://doi.org/10.4134/CKMS.2009.24.2.303

2. 2. Levin, A.L. and Lubinsky, D.S. (2001) Orthogonal Polynomials for Exponential Weights. Springer, New York. https://doi.org/10.1007/978-1-4613-0201-8

3. 3. Sakai, R. and Suzuki, N. (2013) Mollification of Exponential Weights and Its Application to the Markov-Bernstein Inequality. The Pioneer Journal of Mathematics, 7, 83-101.

4. 4. Sakai, R. A Study of Weighted Polynomial Approximations with Several Variables (I). Applied Mathematics. (Unpublished)

5. 5. Timan, A.F. (1963) Theory of Approximation of Functions of a Real Variable. Pergamon Press, Oxford.

6. 6. Mhaskar, H.N. (1996) Introduction to the Theory of Weighted Polynomial Approximation. World Scientific, Singapore.

7. 7. Sakai, R. (2015) Quadrature Formula with Exponential-Type Weights. Pioneer Journal of Mathematics and Mathematical Sciences, 14, 1-23.

8. 8. Jung, H.S. and Sakai, R. (2016) Lp-Convergence of Lagrange Interpolation Polynomials with Regular Symmetric Exponential Type Weight. Global Journal of Pure and Applied Mathematics, 12, 797-822.