Desigualdad de Remez

En matemáticas , la desigualdad de Remez , descubierta por el matemático soviético Evgeny Yakovlevich Remez (Remez 1936), da un límite a las normas superiores de ciertos polinomios , límite que se alcanza mediante los polinomios de Chebyshev .

La desigualdad

Sea σ un número positivo fijo arbitrario. Defina la clase de polinomios π _n ( σ ) como aquellos polinomios p de grado n para los cuales

${\displaystyle |p(x)|\leq 1}$

en algún conjunto de medida ≥ 2 contenido en el intervalo cerrado [−1, 1+ σ ]. Entonces la desigualdad de Remez establece que

${\displaystyle \sup _{p\in \pi _{n}(\sigma )}\left\|p\right\|_{\infty }=\left\|T_{n}\right\|_{\infty }}$

donde T _n ( x ) es el polinomio de Chebyshev de grado n , y la norma suprema se toma sobre el intervalo [−1, 1+ σ ].

Observe que T _n aumenta en , por lo tanto ${\displaystyle [1,+\infty ]}$

${\displaystyle \|T_{n}\|_{\infty }=T_{n}(1+\sigma ).}$

El Ri, combinado con una estimación de los polinomios de Chebyshev, implica el siguiente corolario : Si J  ⊂  R es un intervalo finito y E  ⊂  J es un conjunto medible arbitrario , entonces

para cualquier polinomio p de grado n .

Extensiones: lema de Nazarov-Turán

Se han demostrado desigualdades similares a ( ⁎ ) para diferentes clases de funciones y se conocen como desigualdades de tipo Remez. Un ejemplo importante es la desigualdad de Nazarov para sumas exponenciales (Nazarov 1993):

Desigualdad de Nazarov . Sea

${\displaystyle p(x)=\sum _{k=1}^{n}a_{k}e^{\lambda _{k}x}}$

sea ​​una suma exponencial (con λ _k  ∈ C arbitrario ), y sea J  ⊂  R un intervalo finito, E  ⊂  J —un conjunto medible arbitrario. Entonces

${\displaystyle \max _{x\in J}|p(x)|\leq e^{\max _{k}|\Re \lambda _{k}|\,\operatorname {mes} J}\left({\frac {C\,\,\operatorname {mes} J}{\operatorname {mes} E}}\right)^{n-1}\sup _{x\in E}|p(x)|~,}$

donde C > 0 es una constante numérica.

En el caso especial cuando λ _k son imaginarios puros y enteros, y el subconjunto E es en sí mismo un intervalo, la desigualdad fue demostrada por Pál Turán y se conoce como lema de Turán.

Esta desigualdad también se extiende de la siguiente manera ${\displaystyle L^{p}(\mathbb {T} ),\ 0\leq p\leq 2}$

${\displaystyle \|p\|_{L^{p}(\mathbb {T} )}\leq e^{A(n-1)\operatorname {mes} (\mathbb {T} \setminus E)}\|p\|_{L^{p}(E)}}$

para algún A > 0 independiente de p , E y n . Cuando

${\displaystyle \operatorname {mes} E<1-{\frac {\log n}{n}}}$

Una desigualdad similar se cumple para p > 2. Para p = ∞ hay una extensión a polinomios multidimensionales.

Demostración: La aplicación del lema de Nazarov conduce a ${\displaystyle E=E_{\lambda }=\{x:|p(x)|\leq \lambda \},\ \lambda >0}$

${\displaystyle \max _{x\in J}|p(x)|\leq e^{\max _{k}|\Re \lambda _{k}|\,\operatorname {mes} J}\left({\frac {C\,\,\operatorname {mes} J}{\operatorname {mes} E_{\lambda }}}\right)^{n-1}\sup _{x\in E_{\lambda }}|p(x)|\leq e^{\max _{k}|\Re \lambda _{k}|\,\operatorname {mes} J}\left({\frac {C\,\,\operatorname {mes} J}{\operatorname {mes} E_{\lambda }}}\right)^{n-1}\lambda }$

de este modo

${\displaystyle \operatorname {mes} E_{\lambda }\leq C\,\,\operatorname {mes} J\left({\frac {\lambda e^{\max _{k}|\Re \lambda _{k}|\,\operatorname {mes} J}}{\max _{x\in J}|p(x)|}}\right)^{\frac {1}{n-1}}}$

Ahora fija un conjunto y elige tal que , es decir ${\displaystyle E}$ ${\displaystyle \lambda }$ ${\displaystyle \operatorname {mes} E_{\lambda }\leq {\tfrac {1}{2}}\operatorname {mes} E}$

${\displaystyle \lambda =\left({\frac {\operatorname {mes} E}{2C\operatorname {mes} J}}\right)^{n-1}e^{-\max _{k}|\Re \lambda _{k}|\,\operatorname {mes} J}\max _{x\in J}|p(x)|}$

Tenga en cuenta que esto implica:

1. ${\displaystyle \operatorname {mes} E\setminus E_{\lambda }\geq {\tfrac {1}{2}}\operatorname {mes} E.}$
2. ${\displaystyle \forall x\in E\setminus E_{\lambda }:|p(x)|>\lambda .}$

Ahora

${\displaystyle {\begin{aligned}\int _{x\in E}|p(x)|^{p}\,{\mbox{d}}x&\geq \int _{x\in E\setminus E_{\lambda }}|p(x)|^{p}\,{\mbox{d}}x\\[6pt]&\geq \lambda ^{p}{\frac {1}{2}}\operatorname {mes} E\\[6pt]&={\frac {1}{2}}\operatorname {mes} E\left({\frac {\operatorname {mes} E}{2C\operatorname {mes} J}}\right)^{p(n-1)}e^{-p\max _{k}|\Re \lambda _{k}|\,\operatorname {mes} J}\max _{x\in J}|p(x)|^{p}\\[6pt]&\geq {\frac {1}{2}}{\frac {\operatorname {mes} E}{\operatorname {mes} J}}\left({\frac {\operatorname {mes} E}{2C\operatorname {mes} J}}\right)^{p(n-1)}e^{-p\max _{k}|\Re \lambda _{k}|\,\operatorname {mes} J}\int _{x\in J}|p(x)|^{p}\,{\mbox{d}}x,\end{aligned}}}$

lo que completa la prueba.

Desigualdad de Pólya

Uno de los corolarios de Ri es la desigualdad de Pólya , que fue demostrada por George Pólya (Pólya 1928), y establece que la medida de Lebesgue de un conjunto de subniveles de un polinomio p de grado n está acotada en términos del coeficiente principal LC( p ) de la siguiente manera:

${\displaystyle \operatorname {mes} \left\{x\in \mathbb {R} :\left|P(x)\right|\leq a\right\}\leq 4\left({\frac {a}{2\mathrm {LC} (p)}}\right)^{1/n},\quad a>0~.}$

Referencias

• Remez, EJ (1936). "Sur une propriété des polynômes de Tchebyscheff". Com. Inst. Ciencia. Jarkov . 13 : 93–95.
• Bojanov, B. (mayo de 1993). "Prueba elemental de la desigualdad de Remez". The American Mathematical Monthly . 100 (5). Asociación Matemática de América: 483–485. doi :10.2307/2324304. JSTOR  2324304.
• Fontes-Merz, N. (2006). "Una versión multidimensional del lema de Turan". Journal of Approximation Theory . 140 (1): 27–30. doi : 10.1016/j.jat.2005.11.012 .
• Nazarov, F. (1993). "Estimaciones locales para polinomios exponenciales y sus aplicaciones a desigualdades del tipo principio de incertidumbre". Algebra i Analiz . 5 (4): 3–66.
• Nazarov, F. (2000). "Versión completa del lema de Turan para polinomios trigonométricos en la circunferencia unitaria". Análisis complejo, operadores y temas relacionados . 113 : 239–246. doi :10.1007/978-3-0348-8378-8_20. ISBN 978-3-0348-9541-5.
• Pólya, G. (1928). "Beitrag zur Verallgemeinerung des Verzerrungssatzes auf mehrfach zusammenhängende Gebiete". Sitzungsberichte Akad. Berlín : 280–282.