Teorema sobre la interpolación de operadores
In mathematics, the Riesz–Thorin theorem, often referred to as the Riesz–Thorin interpolation theorem or the Riesz–Thorin convexity theorem, is a result about interpolation of operators. It is named after Marcel Riesz and his student G. Olof Thorin.
This theorem bounds the norms of linear maps acting between Lp spaces. Its usefulness stems from the fact that some of these spaces have rather simpler structure than others. Usually that refers to L2 which is a Hilbert space, or to L1 and L∞. Therefore one may prove theorems about the more complicated cases by proving them in two simple cases and then using the Riesz–Thorin theorem to pass from the simple cases to the complicated cases. The Marcinkiewicz theorem is similar but applies also to a class of non-linear maps.
Motivation
First we need the following definition:
- Definition. Let p0, p1 be two numbers such that 0 < p0 < p1 ≤ ∞. Then for 0 < θ < 1 define pθ by: 1/pθ = 1 − θ/p0 + θ/p1.
By splitting up the function f in Lpθ as the product | f | = | f |1−θ | f |θ and applying Hölder's inequality to its pθ power, we obtain the following result, foundational in the study of Lp-spaces:
Proposition (log-convexity of Lp-norms) — Each f ∈ Lp0 ∩ Lp1 satisfies:
This result, whose name derives from the convexity of the map 1⁄p ↦ log || f ||p on [0, ∞], implies that Lp0 ∩ Lp1 ⊂ Lpθ.
Por otro lado, si tomamos la descomposición en capas f = f 1 {| f |>1} + f 1 {| f |≤1} , entonces vemos que f 1 {| f |>1} ∈ L p 0 y f 1 {| f |≤1} ∈ L p 1 , de donde obtenemos el siguiente resultado:
Proposición : cada f en L p θ se puede escribir como una suma: f = g + h , donde g ∈ L p 0 y h ∈ L p 1 .
En particular, el resultado anterior implica que L p θ está incluido en L p 0 + L p 1 , la suma de L p 0 y L p 1 en el espacio de todas las funciones medibles. Por tanto, tenemos la siguiente cadena de inclusiones:
Corolario - L p 0 ∩ L p 1 ⊂ L p θ ⊂ L p 0 + L p 1 .
En la práctica, a menudo nos encontramos con operadores definidos en la suma L p 0 + L p 1 . Por ejemplo, el lema de Riemann-Lebesgue muestra que la transformada de Fourier asigna L 1 ( R d ) de forma acotada a L ∞ ( R d ) , y el teorema de Plancherel muestra que la transformada de Fourier asigna L 2 ( R d ) de forma acotada a sí misma, de ahí la La transformada de Fourier se extiende a ( L 1 + L 2 ) ( R d ) estableciendo![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}(f_{1}+f_{2})={\mathcal {F}}_{L^{1}}(f_{1})+{\mathcal {F} }_{L^{2}}(f_{2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
f 1 ∈ L 1 ( R d )f 2 ∈ L 2 ( R d )subespacios intermedios L p θ Para este fin, volvemos a nuestro ejemplo y observamos que la transformada de Fourier en la suma L 1 + L 2 se obtuvo tomando la suma de dos instanciaciones del mismo operador, a saber
![{\displaystyle {\mathcal {F}}_{L^{1}}:L^{1}(\mathbf {R} ^{d})\to L^{\infty }(\mathbf {R} ^ {d}),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}_{L^{2}}:L^{2}(\mathbf {R} ^{d})\to L^{2}(\mathbf {R} ^{ d}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Estos realmente son el mismo operador, en el sentido de que concuerdan en el subespacio ( L 1 ∩ L 2 ) ( R d ) . Dado que la intersección contiene funciones simples , es densa tanto en L 1 ( R d ) como en L 2 ( R d ) . Los operadores continuos densamente definidos admiten extensiones únicas, por lo que estamos justificados para considerar y ser lo mismo .![{\displaystyle {\mathcal {F}}_{L^{1}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}_{L^{2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por lo tanto, el problema de estudiar operadores en el conjunto suma L p 0 + L p 1 se reduce esencialmente al estudio de operadores que mapean dos espacios de dominio natural, L p 0 y L p 1 , acotados a dos espacios objetivo: L q 0 y L. q 1 , respectivamente. Dado que dichos operadores asignan el espacio suma L p 0 + L p 1 a L q 0 + L q 1 , es natural esperar que estos operadores asignan el espacio intermedio L p θ al espacio intermedio correspondiente L q θ .
Declaración del teorema
Hay varias formas de enunciar el teorema de interpolación de Riesz-Thorin; [1] para ser coherentes con las notaciones de la sección anterior, utilizaremos la formulación sumativa.
Teorema de interpolación de Riesz-Thorin : Sean (Ω 1 , Σ 1 , μ 1 ) y (Ω 2 , Σ 2 , μ 2 ) espacios de medidas finitas σ . Supongamos 1 ≤ p 0 , q 0 , p 1 , q 1 ≤ ∞ , y sea T : L p 0 ( μ 1 ) + L p 1 ( μ 1 ) → L q 0 ( μ 2 ) + L q 1 ( μ 2 ) ser un operador lineal que mapea de forma acotada L p 0 ( μ 1 ) en L q 0 ( μ 2 ) y L p 1 ( μ 1 ) en L q 1 ( μ 2 ) . Para 0 < θ < 1 , definamos p θ , q θ como se indicó anteriormente. Entonces T asigna de forma acotada L p θ ( μ 1 ) a L q θ ( μ 2 ) y satisface la estimación de la norma del operador
En otras palabras, si T es simultáneamente de tipo ( p 0 , q 0 ) y de tipo ( p 1 , q 1 ) , entonces T es de tipo ( p θ , q θ ) para todo 0 < θ < 1 . De esta manera, el teorema de interpolación se presta a una descripción gráfica. De hecho, el diagrama de Riesz de T es la colección de todos los puntos (1/pag,1/q) en el cuadrado unitario [0, 1] × [0, 1] tal que T es de tipo ( p , q ) . El teorema de interpolación establece que el diagrama de Riesz de T es un conjunto convexo: dados dos puntos en el diagrama de Riesz, el segmento de recta que los conecta también estará en el diagrama.
El teorema de interpolación fue establecido y demostrado originalmente por Marcel Riesz en 1927. [2] El artículo de 1927 establece el teorema sólo para el triángulo inferior del diagrama de Riesz, es decir, con la restricción de que p 0 ≤ q 0 y p 1 ≤ q 1 . Olof Thorin extendió el teorema de interpolación a todo el cuadrado, eliminando la restricción del triángulo inferior. La prueba de Thorin se publicó originalmente en 1938 y posteriormente se amplió en su tesis de 1948. [3]
Prueba
Primero probaremos el resultado para funciones simples y finalmente mostraremos cómo la densidad puede extender el argumento a todas las funciones mensurables.
Funciones simples
Por simetría, supongamos (el caso se deriva trivialmente de ( 1 )). Sea una función simple , es decir![{\textstyle p_{0}<p_{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto p_ {0} = p_ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f=\sum _{j=1}^{m}a_{j}\mathbf {1} _{A_{j}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle m\in \mathbb {N}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle a_{j}=\left\vert a_{j}\right\vert \mathrm {e} ^{\mathrm {i} \alpha _{j}}\in \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle A_{j}\in \Sigma _{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto j=1,2,\puntos,m}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \Omega _ {2}\to \mathbb {C}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g=\sum _ {k=1}^{n}b_ {k}\mathbf {1} _ {B_ {k}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle n\in \mathbb {N}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle b_{k}=\left\vert b_{k}\right\vert \mathrm {e} ^{\mathrm {i} \beta _{k}}\in \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle B_ {k} \ en \Sigma _ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto k=1,2,\puntos,n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tenga en cuenta que, dado que asumimos que y son espacios métricos finitos, y para todos . Luego, mediante una normalización adecuada, podemos suponer y , con y con , como lo define el enunciado del teorema.![{\estilo de texto \Omega _ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto \Omega _ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto \sigma }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle f\in L^{r}(\mu _ {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle g\in L^{r}(\mu _ {2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle r\in [1,\infty]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \lVert f\rVert _{p_{\theta }}=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \lVert g\rVert _{q_{\theta }'}=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle q_{\theta }'=q_{\theta }(q_{\theta }-1)^{-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle p_{\theta }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle q_{\theta}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
A continuación, definimos las dos funciones complejas.
![{\displaystyle {\begin{aligned}u:\mathbb {C} &\to \mathbb {C} &v:\mathbb {C} &\to \mathbb {C} \\z&\mapsto u(z)={ \frac {1-z}{p_{0}}}+{\frac {z}{p_{1}}}&z&\mapsto v(z)={\frac {1-z}{q_{0}} }+{\frac {z}{q_{1}}}.\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto z=\theta }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle u(\theta )=p_{\theta }^{-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle v(\theta )=q_{\theta }^{-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}f_{z}&=\sum _{j=1}^{m}\left\vert a_{j}\right\vert ^{\frac {u(z)}{ u(\theta )}}\mathrm {e} ^{\mathrm {i} \alpha _{j}}\mathbf {1} _{A_{j}}\\g_{z}&=\sum _{ k=1}^{n}\left\vert b_{k}\right\vert ^{\frac {1-v(z)}{1-v(\theta )}}\mathrm {e} ^{\ mathrm {i} \beta _ {k}} \ mathbf {1} _ {B_ {k}} \ end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle f_{\theta}=f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle g_{\theta}=g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto q_{0}=q_{1}=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto v\equiv 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto g_ {z}=g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Introduzcamos ahora la función
![{\displaystyle \Phi (z)=\int _{\Omega _{2}}(Tf_{z})g_{z}\,\mathrm {d} \mu _{2}=\sum _{j= 1}^{m}\sum _ {k=1}^{n}\left\vert a_{j}\right\vert ^{\frac {u(z)}{u(\theta )}}\left \vert b_{k}\right\vert ^{\frac {1-v(z)}{1-v(\theta )}}\gamma _{j,k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
2![{\textstyle \gamma _{j,k}=\mathrm {e} ^{\mathrm {i} (\alpha _{j}+\beta _{k})}\int _{\Omega _{2} }(T\mathbf {1} _{A_{j}})\mathbf {1} _{B_{k}}\,\mathrm {d} \mu _{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto \Phi (z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle 0\leq \operatorname {\mathbb {R} e} z\leq 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para todos y como se construyó anteriormente. De hecho, si ( 3 ) es cierto, según el teorema de las tres líneas de Hadamard ,![{\estilo de texto f_ {z}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto g_ {z}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\vert \Phi (\theta +\mathrm {i} 0)\right\vert ={\biggl \vert }\int _{\Omega _{2}}(Tf)g\,\mathrm {d} \mu _{2}{\biggr \vert }\leq \|T\|_{L^{p_{0}}\to L^{q_{0}}}^{1-\theta } \|T\|_{L^{p_{1}}\a L^{q_{1}}}^{\theta }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sup _{g}{\biggl \vert }\int _{\Omega _{2}}(Tf)g\,\mathrm {d} \mu _{2}{\biggr \vert }\ leq \|T\|_{L^{p_{0}}\to L^{q_{0}}}^{1-\theta }\|T\|_{L^{p_{1}}\ a L^{q_{1}}}^{\theta }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[4]![{\estilo de texto g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \lVert g\rVert _{q_{\theta }'}=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En nuestro caso, el lema anterior implica
![{\displaystyle \lVert Tf\rVert _{q_{\theta }}\leq \|T\|_{L^{p_{0}}\to L^{q_{0}}}^{1-\theta }\|T\|_{L^{p_{1}}\a L^{q_{1}}}^{\theta }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \lVert f\rVert _{p_{\theta }}=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lVert Tf\rVert _{q_{\theta }}\leq \|T\|_{L^{p_{0}}\to L^{q_{0}}}^{1-\theta }\|T\|_{L^{p_{1}}\to L^{q_{1}}}^{\theta }\lVert f\rVert _{p_{\theta }}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Prueba de ( 3 )
Demostremos ahora que nuestra afirmación ( 3 ) es ciertamente cierta. La secuencia consta de subconjuntos disjuntos y, por lo tanto, cada uno pertenece (como máximo) a uno de ellos, digamos . Entonces para ,![{\textstyle (A_{j})_{j=1}^{m}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto \Sigma _ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \xi \in \Omega _ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle A_{\hat {\jmath }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle z=\mathrm {i} y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}\left\vert f_{\mathrm {i} y}(\xi )\right\vert &=\left\vert a_{\hat {\jmath }}\right\vert ^ {\frac {u(\mathrm {i} y)}{u(\theta )}}\\&=\exp {\biggl (}\log \left\vert a_{\hat {\jmath }}\right \vert {\frac {p_{\theta }}{p_{0}}}{\biggr )}\exp {\biggl (}-\mathrm {i} y\log \left\vert a_{\hat {\ jmath }}\right\vert p_{\theta }{\biggl (}{\frac {1}{p_{0}}}-{\frac {1}{p_{1}}}{\biggr )}{ \biggr )}\\&=\left\vert a_{\hat {\jmath }}\right\vert ^{\frac {p_{\theta }}{p_{0}}}\\&=\left\ vert f(\xi )\right\vert ^{\frac {p_{\theta }}{p_{0}}}\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \lVert f_{\mathrm {i} y}\rVert _{p_{0}}\leq \lVert f\rVert _{p_{\theta }}^{\frac {p_{\theta }}{ p_ {0}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \zeta \in \Omega _ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle B_{\sombrero {k}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\vert g_{\mathrm {i} y}(\zeta )\right\vert =\left\vert b_{\hat {k}}\right\vert ^{\frac {1-1/ q_{0}}{1-1/q_{\theta }}}=\left\vert g(\zeta )\right\vert ^{\frac {1-1/q_{0}}{1-1/ q_{\theta }}}=\left\vert g(\zeta )\right\vert ^{\frac {q_{\theta }'}{q_{0}'}}\implica \lVert g_{\mathrm { i} y}\rVert _{q_{0}'}\leq \lVert g\rVert _{q_{\theta }'}^{\frac {q_{\theta }'}{q_{0}'}} .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ahora podemos acotar : Aplicando la desigualdad de Hölder con exponentes conjugados y , tenemos![{\textstyle \Phi (\mathrm {i} y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto q_ {0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle q_{0}'}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}\left\vert \Phi (\mathrm {i} y)\right\vert &\leq \lVert Tf_{\mathrm {i} y}\rVert _{q_{0}} \lVert g_{\mathrm {i} y}\rVert _{q_{0}'}\\&\leq \|T\|_{L^{p_{0}}\to L^{q_{0} }}\lVert f_{\mathrm {i} y}\rVert _{p_{0}}\lVert g_{\mathrm {i} y}\rVert _{q_{0}'}\\&=\|T \|_{L^{p_{0}}\to L^{q_{0}}}\lVert f\rVert _{p_{\theta }}^{\frac {p_{\theta }}{p_{ 0}}}\lVert g\rVert _{q_{\theta }'}^{\frac {q_{\theta }'}{q_{0}'}}\\&=\|T\|_{L ^{p_{0}}\a L^{q_{0}}}.\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Podemos repetir el mismo proceso para obtener y , finalmente,![{\textstyle z=1+\mathrm {i} y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \left\vert f_{1+\mathrm {i} y}(\xi )\right\vert =\left\vert f(\xi )\right\vert ^{p_{\theta }/p_{ 1}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \left\vert g_{1+\mathrm {i} y}(\zeta )\right\vert =\left\vert g(\zeta )\right\vert ^{q_{\theta }'/q_ {1}'}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\vert \Phi (1+\mathrm {i} y)\right\vert \leq \|T\|_{L^{p_{1}}\to L^{q_{1}} }\lVert f_{1+\mathrm {i} y}\rVert _{p_{1}}\lVert g_{1+\mathrm {i} y}\rVert _{q_{1}'}=\|T \|_{L^{p_{1}}\a L^{q_{1}}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Extensión a todas las funciones mensurables en L p θ
Hasta ahora hemos demostrado que
cuando es una función simple. Como ya se mencionó, la desigualdad es válida para todos según la densidad de funciones simples en .![{\estilo de texto f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle f\in L^{p_{\theta }}(\Omega _ {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle L^{p_{\theta }}(\Omega _ {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Formalmente, sea y sea una secuencia de funciones simples tales que , para todos y puntualmente. Dejemos y definamos , , y . Tenga en cuenta que, dado que estamos asumiendo ,![{\textstyle f\in L^{p_{\theta }}(\Omega _ {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle (f_ {n})_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \left\vert f_{n}\right\vert \leq \left\vert f\right\vert }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle f_ {n}\a f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle E=\{x\in \Omega _ {1}:\left\vert f(x)\right\vert >1\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle g=f\mathbf {1} _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle g_ {n} = f_ {n} \ mathbf {1} _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle h=fg=f\mathbf {1} _{E^{\mathrm {c} }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle h_{n}=f_{n}-g_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle p_{0}\leq p_{\theta}\leq p_{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}\lVert f\rVert _{p_{\theta }}^{p_{\theta }}&=\int _{\Omega _{1}}\left\vert f\right \vert ^{p_{\theta }}\,\mathrm {d} \mu _{1}\geq \int _{\Omega _{1}}\left\vert f\right\vert ^{p_{\ theta }}\mathbf {1} _{E}\,\mathrm {d} \mu _{1}\geq \int _{\Omega _{1}}\left\vert f\mathbf {1} _{ E}\right\vert ^{p_{0}}\,\mathrm {d} \mu _{1}=\int _{\Omega _{1}}\left\vert g\right\vert ^{p_ {0}}\,\mathrm {d} \mu _{1}=\lVert g\rVert _{p_{0}}^{p_{0}}\\\lVert f\rVert _{p_{\theta) }}^{p_{\theta }}&=\int _{\Omega _{1}}\left\vert f\right\vert ^{p_{\theta }}\,\mathrm {d} \mu _ {1}\geq \int _{\Omega _{1}}\left\vert f\right\vert ^{p_{\theta }}\mathbf {1} _{E^{\mathrm {c} }} \,\mathrm {d} \mu _{1}\geq \int _{\Omega _{1}}\left\vert f\mathbf {1} _{E^{\mathrm {c} }}\right \vert ^{p_{1}}\,\mathrm {d} \mu _{1}=\int _{\Omega _{1}}\left\vert h\right\vert ^{p_{1}} \,\mathrm {d} \mu _{1}=\lVert h\rVert _{p_{1}}^{p_{1}}\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle g\in L^{p_{0}}(\Omega _ {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle h\in L^{p_{1}}(\Omega _ {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Veamos qué sucede en el límite de . Dado que , y , por el teorema de convergencia dominada uno fácilmente tiene![{\textstyle n\to \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \left\vert f_{n}\right\vert \leq \left\vert f\right\vert }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \left\vert g_{n}\right\vert \leq \left\vert g\right\vert }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \left\vert h_{n}\right\vert \leq \left\vert h\right\vert }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}\lVert f_{n}\rVert _{p_{\theta }}&\to \lVert f\rVert _{p_{\theta }}&\lVert g_{n}\rVert _{p_{0}}&\to \lVert g\rVert _{p_{0}}&\lVert h_{n}\rVert _{p_{1}}&\to \lVert h\rVert _{p_{ 1}}.\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \left\vert f-f_{n}\right\vert \leq 2\left\vert f\right\vert }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \left\vert g-g_{n}\right\vert \leq 2\left\vert g\right\vert }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \left\vert h-h_{n}\right\vert \leq 2\left\vert h\right\vert }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}\lVert f-f_{n}\rVert _{p_{\theta }}&\to 0&\lVert g-g_{n}\rVert _{p_{0}}&\ a 0&\lVert h-h_{n}\rVert _{p_{1}}&\a 0\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto (p_ {0},q_ {0})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto (p_ {1}, q_ {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle (p_{\theta},q_{\theta})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}\lVert Tg-Tg_{n}\rVert _{p_{0}}&\leq \|T\|_{L^{p_{0}}\to L^{q_ {0}}}\lVert g-g_{n}\rVert _{p_{0}}\to 0&\lVert Th-Th_{n}\rVert _{p_{1}}&\leq \|T\| _{L^{p_{1}}\to L^{q_{1}}}\lVert h-h_{n}\rVert _{p_{1}}\to 0.\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ahora es fácil demostrarlo y en medida: para cualquiera , la desigualdad de Chebyshev da como resultado![{\textstyle Tg_{n}\a Tg}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle Th_{n}\a Th}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de texto \epsilon >0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu _{2}(y\in \Omega _{2}:\left\vert Tg-Tg_{n}\right\vert >\epsilon )\leq {\frac {\lVert Tg-Tg_{ n}\rVert _{q_{0}}^{q_{0}}}{\epsilon ^{q_{0}}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
el lema de Fatou4![{\textstyle Th-Th_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle Tg_{n}\a Tg}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle Th_{n}\a Th}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle Tf_{n}\a Tf}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lVert Tf\rVert _{q_{\theta }}\leq \liminf _{n\to \infty }\lVert Tf_{n}\rVert _{q_{\theta }}\leq \|T\ |_{L^{p_{\theta }}\to L^{q_{\theta }}}\liminf _{n\to \infty }\lVert f_{n}\rVert _{p_{\theta }} =\|T\|_{L^{p_{\theta }}\to L^{q_{\theta }}}\lVert f\rVert _{p_{\theta }}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Interpolación de familias analíticas de operadores.
El esquema de prueba presentado en la sección anterior se generaliza fácilmente al caso en el que se permite que el operador T varíe analíticamente. De hecho, se puede realizar una prueba análoga para establecer un límite en toda la función
![{\displaystyle \varphi (z)=\int (T_{z}f_{z})g_{z}\,d\mu _{2},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Elias Stein[5]Teorema de interpolación de Stein : Sean (Ω 1 , Σ 1 , μ 1 ) y (Ω 2 , Σ 2 , μ 2 ) espacios de medidas finitas . Supongamos 1 ≤ p 0 , p 1 ≤ ∞, 1 ≤ q 0 , q 1 ≤ ∞ , y defina:
- S = { z ∈ C : 0 < Re( z ) < 1} ,
- S = { z ∈ C : 0 ≤ Re( z ) ≤ 1}.
Tomamos una colección de operadores lineales { T z : z ∈ S } en el espacio de funciones simples en L 1 ( μ 1 ) en el espacio de todas las funciones medibles μ 2 en Ω 2 . Asumimos las siguientes propiedades adicionales en esta colección de operadores lineales:
- el mapeo
![{\displaystyle z\mapsto \int (T_{z}f)g\,d\mu _ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es continua en S y holomorfa en S para todas las funciones simples f y g . - Para alguna constante k < π , los operadores satisfacen el límite uniforme:
![{\displaystyle \sup _{z\in S}e^{-k|{\text{Im}}(z)|}\log \left|\int (T_{z}f)g\,d\mu _{2}\right|<\infty}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- T z asigna L p 0 ( μ 1 ) de forma acotada a L q 0 ( μ 2 ) siempre que Re ( z ) = 0 .
- T z asigna L p 1 ( μ 1 ) de forma acotada a L q 1 ( μ 2 ) siempre que Re ( z ) = 1 .
- Las normas del operador satisfacen el límite uniforme.
![{\displaystyle \sup _{{\text{Re}}(z)=0,1}e^{-k|{\text{Im}}(z)|}\log \left\|T_{z} \right\|<\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para alguna constante k < π .
Luego, para cada 0 < θ < 1 , el operador T θ asigna L p θ ( μ 1 ) de forma acotada a L q θ ( μ 2 ) .
La teoría de los espacios reales de Hardy y el espacio de oscilaciones medias acotadas nos permite utilizar el argumento del teorema de interpolación de Stein al tratar con operadores en el espacio de Hardy H 1 ( R d ) y el espacio BMO de oscilaciones medias acotadas; Este es el resultado de Charles Fefferman y Elias Stein . [6]
Aplicaciones
Hausdorff-Desigualdad joven
Se ha demostrado en la primera sección que la transformada de Fourier asigna L 1 ( R d ) de forma acotada a L ∞ ( R d ) y L 2 ( R d ) a sí misma. Un argumento similar muestra que el operador de la serie de Fourier , que transforma funciones periódicas f : T → C en funciones cuyos valores son los coeficientes de Fourier
![{\displaystyle {\sombrero {f}}:\mathbf {Z} \to \mathbf {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\hat {f}}(n)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(x)e^{-inx}\ ,dx,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
L 1 ( T )ℓ ∞ ( Z )L 2 ( T )ℓ 2 ( Z )![{\displaystyle {\begin{aligned}\left\|{\mathcal {F}}f\right\|_{L^{q}(\mathbf {R} ^{d})}&\leq \|f \|_{L^{p}(\mathbf {R} ^{d})}\\\left\|{\hat {f}}\right\|_{\ell ^{q}(\mathbf { Z} )}&\leq \|f\|_{L^{p}(\mathbf {T} )}\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
1 ≤ p ≤ 21/pag+1/q= 1desigualdad de Hausdorff-YoungLa desigualdad de Hausdorff-Young también se puede establecer para la transformada de Fourier en grupos abelianos localmente compactos . La estimación normal de 1 no es óptima. Consulte el artículo principal para obtener referencias.
Operadores de convolución
Sea f una función fija integrable y sea T el operador de convolución con f , es decir, para cada función g tenemos Tg = f ∗ g .
Es bien sabido que T está acotado de L 1 a L 1 y es trivial que esté acotado de L ∞ a L ∞ (ambos límites son por || f || 1 ). Por tanto, el teorema de Riesz-Thorin da
![{\displaystyle \|f*g\|_{p}\leq \|f\|_{1}\|g\|_{p}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tomamos esta desigualdad y cambiamos el papel del operador y el operando, o en otras palabras, pensamos en S como el operador de convolución con g , y obtenemos que S está acotado de L 1 a L p . Además, dado que g está en L p obtenemos, en vista de la desigualdad de Hölder, que S está acotado de L q a L ∞ , donde nuevamente1/pag+1/q= 1 . Entonces interpolando obtenemos
![{\displaystyle \|f*g\|_{s}\leq \|f\|_{r}\|g\|_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
prs![{\displaystyle {\frac {1}{r}}+{\frac {1}{p}}=1+{\frac {1}{s}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La transformada de Hilbert
La transformada de Hilbert de f : R → C viene dada por
![{\displaystyle {\mathcal {H}}f(x)={\frac {1}{\pi }}\,\mathrm {pv} \int _{-\infty }^{\infty }{\frac { f(xt)}{t}}\,dt=\left({\frac {1}{\pi }}\,\mathrm {pv} {\frac {1}{t}}\ast f\right) (X),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
valor principal de Cauchyoperador multiplicador de Fourier![{\displaystyle {\widehat {{\mathcal {H}}f}}(\xi )=-i\,\operatorname {sgn}(\xi ){\hat {f}}(\xi ).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Del teorema de Plancherel se deduce que la transformada de Hilbert aplica L 2 ( R ) acotadamente dentro de sí misma.
Sin embargo, la transformada de Hilbert no está acotada por L 1 ( R ) o L ∞ ( R ) , por lo que no podemos usar el teorema de interpolación de Riesz-Thorin directamente. Para ver por qué no tenemos estos límites de punto final, basta con calcular la transformada de Hilbert de las funciones simples 1 (−1,1) ( x ) y 1 (0,1) ( x ) − 1 (0,1) ( −x ) . Podemos demostrar, sin embargo, que
![{\displaystyle ({\mathcal {H}}f)^{2}=f^{2}+2{\mathcal {H}}(f{\mathcal {H}}f)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
las funciones de Schwartz f : R → Cdesigualdad de Cauchy-SchwarzL 2 n ( R d )n ≥ 2 ![{\displaystyle \|{\mathcal {H}}f\|_{p}\leq A_{p}\|f\|_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
2 ≤ p < ∞autoadjunción1 < p ≤ 2Comparación con el método de interpolación real.
Si bien el teorema de interpolación de Riesz-Thorin y sus variantes son herramientas poderosas que producen una estimación limpia de las normas de los operadores interpolados, adolecen de numerosos defectos: algunos menores, otros más graves. Tenga en cuenta primero que la naturaleza analítica compleja de la prueba del teorema de interpolación de Riesz-Thorin obliga a que el campo escalar sea C. Para funciones de valor real extendido, esta restricción se puede evitar redefiniendo la función para que sea finita en todas partes (posible, ya que toda función integrable debe ser finita en casi todas partes). Una desventaja más grave es que, en la práctica, muchos operadores, como el operador máximo de Hardy-Littlewood y los operadores de Calderón-Zygmund , no tienen buenas estimaciones de punto final. [7] En el caso de la transformada de Hilbert en la sección anterior, pudimos evitar este problema calculando explícitamente las estimaciones de la norma en varios puntos intermedios. Esto es engorroso y a menudo no es posible en escenarios más generales. Dado que muchos de estos operadores satisfacen las estimaciones de tipo débil
![{\displaystyle \mu \left(\{x:Tf(x)>\alpha \}\right)\leq \left({\frac {C_{p,q}\|f\|_{p}}{ \alpha }}\right)^{q},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
teorema de interpolación de Marcinkiewicz,operador máximo de Hardy-Littlewoodsublinealesespacios de LorentzL pTeorema de Mitiagin
B. Mityagin amplió el teorema de Riesz-Thorin; esta extensión se formula aquí en el caso especial de espacios de secuencias con bases incondicionales (cf. más abajo).
Asumir:
![{\displaystyle \|A\|_{\ell _{1}\to \ell _{1}},\|A\|_{\ell _{\infty }\to \ell _{\infty }} \leq M.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces
![{\displaystyle \|A\|_{X\to X}\leq M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para cualquier espacio de Banach incondicional de secuencias X , es decir, para cualquiera y cualquiera ,.![{\displaystyle (x_{i})\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (\varepsilon _{i})\in \{-1,1\}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|(\varepsilon _{i}x_{i})\|_{X}=\|(x_{i})\|_{X}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La prueba se basa en el teorema de Krein-Milman .
Ver también
Notas
- ^ Stein y Weiss (1971) y Grafakos (2010) utilizan operadores en funciones simples, y Muscalu y Schlag (2013) utilizan operadores en subconjuntos densos genéricos de la intersección L p 0 ∩ L p 1 . Por el contrario, Duoanddikoetxea (2001), Tao (2010) y Stein y Shakarchi (2011) utilizan la formulación suma, que adoptamos en esta sección.
- ^ Riesz (1927). La prueba hace uso de los resultados de la convexidad en la teoría de formas bilineales. Por esta razón, muchas referencias clásicas como Stein y Weiss (1971) se refieren al teorema de interpolación de Riesz-Thorin como teorema de convexidad de Riesz .
- ^ Thorin (1948)
- ^ Bernardo, Calista. «Teoremas y aplicaciones de interpolación» (PDF) .
- ^ Stein (1956). Como señala Charles Fefferman en su ensayo en Fefferman, Fefferman, Wainger (1995), la prueba del teorema de interpolación de Stein es esencialmente la del teorema de Riesz-Thorin con la letra z agregada al operador. Para compensar esto, se utiliza una versión más fuerte del teorema de las tres líneas de Hadamard , debida a Isidore Isaac Hirschman, Jr. , para establecer los límites deseados. Véase Stein y Weiss (1971) para una demostración detallada y una publicación de blog de Tao para una exposición de alto nivel del teorema.
- ^ Fefferman y Stein (1972)
- ^ Se cita a Elias Stein por decir que los operadores interesantes en el análisis armónico rara vez están acotados en L 1 y L ∞ .
Referencias
- Dunford, N.; Schwartz, JT (1958), Operadores lineales, Partes I y II , Wiley-Interscience.
- Fefferman, Charles; Stein, Elias M. (1972), " Espacios de varias variables", Acta Mathematica , 129 : 137–193, doi : 10.1007/bf02392215
![{\displaystyle H^{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Glazman, IM; Lyubich, Yu.I. (1974), Análisis lineal de dimensión finita: una presentación sistemática en forma de problema , Cambridge, Mass.: The MIT Press. Traducido del ruso y editado por GP Barker y G. Kuerti.
- Hörmander, L. (1983), El análisis de operadores diferenciales parciales lineales I , Grundl. Matemáticas. Wissenschaft., vol. 256, Springer, doi :10.1007/978-3-642-96750-4, ISBN 3-540-12104-8, señor 0717035.
- Mitjagin [Mityagin], BS (1965), "Un teorema de interpolación para espacios modulares (ruso)", Mat. SB. , Nueva serie, 66 (108): 473–482.
- Thorin, GO (1948), "Teoremas de convexidad que generalizan los de M. Riesz y Hadamard con algunas aplicaciones", Comm. Sem. Matemáticas. Univ. Lund [Med. Universidad de Lund. Estera. Sem.] , 9 : 1–58, SEÑOR 0025529
- Riesz, Marcel (1927), "Sur les maxima des formes bilinéaires et sur les fonctionnelles linéaires", Acta Mathematica , 49 (3–4): 465–497, doi : 10.1007/bf02564121
- Stein, Elias M. (1956), "Interpolación de operadores lineales", Trans. América. Matemáticas. Soc. , 83 (2): 482–492, doi : 10.1090/s0002-9947-1956-0082586-0
- Stein, Elías M.; Shakarchi, Rami (2011), Análisis funcional: introducción a otros temas de análisis , Princeton University Press
- Stein, Elías M.; Weiss, Guido (1971), Introducción al análisis de Fourier en espacios euclidianos , Princeton University Press
enlaces externos