Desigualdad entre integrales en espacios Lp
En análisis matemático , la desigualdad de Hölder , llamada así en honor a Otto Hölder , es una desigualdad fundamental entre integrales y una herramienta indispensable para el estudio de los espacios L p .
Desigualdad de Hölder : Sea ( S , Σ, μ ) un espacio de medida y sea p , q ∈ [1, ∞] con 1/ p + 1/ q = 1 . Entonces, para todas las funciones medibles de valores reales o complejos f y g en S ,
Si, además, p , q ∈ (1, ∞) y f ∈ L p ( μ ) y g ∈ L q ( μ ) , entonces la desigualdad de Hölder se convierte en igualdad si y sólo si | f | p y | gramo | q son linealmente dependientes en L 1 ( μ ) , lo que significa que existen números reales α , β ≥ 0 , no ambos cero, tales que α | f | pag = β | gramo | q μ - casi en todas partes .
Se dice que los números p y q anteriores son conjugados de Hölder entre sí. El caso especial p = q = 2 da una forma de desigualdad de Cauchy-Schwarz . [1] La desigualdad de Hölder se cumple incluso si ‖ fg ‖ 1 es infinito , siendo el lado derecho también infinito en ese caso. Por el contrario, si f está en L p ( μ ) y g está en L q ( μ ) , entonces el producto puntual fg está en L 1 ( μ ) .
La desigualdad de Hölder se utiliza para demostrar la desigualdad de Minkowski , que es la desigualdad del triángulo en el espacio L p ( μ ) , y también para establecer que L q ( μ ) es el espacio dual de L p ( μ ) para p ∈ [1, ∞) .
La desigualdad de Hölder (en una forma ligeramente diferente) fue descubierta por primera vez por Leonard James Rogers (1888). Inspirándose en el trabajo de Rogers, Hölder (1889) dio otra prueba como parte de un trabajo que desarrollaba el concepto de funciones convexas y cóncavas e introducía la desigualdad de Jensen , [2] que a su vez recibió el nombre del trabajo de Johan Jensen basado en el trabajo de Hölder. [3]
Observaciones
Convenciones
El breve enunciado de la desigualdad de Hölder utiliza algunas convenciones.
- En la definición de conjugados de Hölder, 1/∞ significa cero.
- Si p , q ∈ [1, ∞) , entonces ‖ f ‖ p y ‖ g ‖ q representan las expresiones (posiblemente infinitas)
- Si p = ∞ , entonces ‖ f ‖ ∞ representa el supremo esencial de | f | , de manera similar para ‖ g ‖ ∞ .
- La notación ‖ f ‖ p con 1 ≤ p ≤ ∞ es un ligero abuso, porque en general es sólo una norma de f si ‖ f ‖ p es finito y f se considera como clase de equivalencia de μ -funciones iguales en casi todas partes. Si f ∈ L p ( μ ) y g ∈ L q ( μ ) , entonces la notación es adecuada.
- En el lado derecho de la desigualdad de Hölder, 0 × ∞ y ∞ × 0 significan 0. Multiplicar a > 0 por ∞ da ∞.
Estimaciones para productos integrables.
Como arriba, sean f y g funciones medibles de valores reales o complejos definidas en S . Si ‖ fg ‖ 1 es finito, entonces los productos puntuales de f con g y su función conjugada compleja son μ -integrables, la estimación
y se mantiene una similar para fg , y la desigualdad de Hölder se puede aplicar al lado derecho. En particular, si f y g están en el espacio de Hilbert L 2 ( μ ) , entonces la desigualdad de Hölder para p = q = 2 implica
donde los paréntesis angulares se refieren al producto interno de L 2 ( μ ) . Esto también se llama desigualdad de Cauchy-Schwarz , pero requiere que su afirmación de que ‖ f ‖ 2 y ‖ g ‖ 2 sean finitas para garantizar que el producto interno de f y g esté bien definido. Podemos recuperar la desigualdad original (para el caso p = 2 ) usando las funciones | f | y | gramo | en lugar de f y g .
Generalización para medidas de probabilidad.
Si ( S , Σ, μ ) es un espacio de probabilidad , entonces p , q ∈ [1, ∞] solo necesita satisfacer 1/ p + 1/ q ≤ 1 , en lugar de ser conjugados de Hölder. Una combinación de la desigualdad de Hölder y la desigualdad de Jensen implica que
para todas las funciones f y g medibles de valores reales o complejos en S .
Casos especiales notables
Para los siguientes casos, supongamos que p y q están en el intervalo abierto (1,∞) con 1/ p + 1/ q = 1 .
medida de conteo
Para el espacio euclidiano de dimensiones , cuando el conjunto tiene la medida de conteo , tenemos
A menudo se utiliza la siguiente forma práctica para cualquier :
Para más de dos sumas, se cumple la siguiente generalización (Chen (2015)), con exponentes positivos reales y :
La igualdad se cumple si .
Si utilizamos la medida de conteo, obtenemos la desigualdad de Hölder para espacios de secuencia :
medida de lebesgue
Si es un subconjunto medible de con la medida de Lebesgue , y y son funciones medibles de valores reales o complejos en , entonces la desigualdad de Hölder es
Medida de probabilidad
Para el espacio de probabilidad , denotemos el operador de expectativa . Para variables aleatorias de valores reales o complejos y en la desigualdad de Hölder se lee
Dejemos y definamos Entonces es el conjugado de Hölder de Aplicando la desigualdad de Hölder a las variables aleatorias y obtenemos
En particular, si el s -ésimo momento absoluto es finito, entonces el r -ésimo momento absoluto también es finito. (Esto también se sigue de la desigualdad de Jensen ).
Medida del producto
Para dos espacios de medidas σ-finitas ( S 1 , Σ 1 , μ 1 ) y ( S 2 , Σ 2 , μ 2 ) defina el espacio de medidas del producto por
donde S es el producto cartesiano de S 1 y S 2 , la σ-álgebra Σ surge como producto σ-álgebra de Σ 1 y Σ 2 , y μ denota la medida del producto de μ 1 y μ 2 . Entonces el teorema de Tonelli nos permite reescribir la desigualdad de Hölder usando integrales iteradas : si f y g son Σ -funciones reales medibles o de valores complejos en el producto cartesiano S , entonces
Esto se puede generalizar a más de dos espacios σ-de medidas finitas .
Funciones con valores vectoriales
Sea ( S , Σ, μ ) un espacio de medidas σ-finito y supongamos que f = ( f 1 , ..., f n ) y g = ( g 1 , ..., g n ) son funciones Σ -medibles en S , tomando valores en el espacio euclidiano real o complejo de n dimensiones. Al tomar el producto con la medida de conteo en {1, ..., n } , podemos reescribir la versión anterior de la medida del producto de la desigualdad de Hölder en la forma
Si las dos integrales del lado derecho son finitas, entonces la igualdad se cumple si y sólo si existen números reales α , β ≥ 0 , no ambos cero, tales que
para μ -casi todo x en S .
Esta versión de dimensión finita se generaliza a funciones f y g que toman valores en un espacio normado que podría ser, por ejemplo, un espacio de secuencia o un espacio de producto interno .
Prueba de la desigualdad de Hölder
Hay varias pruebas de la desigualdad de Hölder; La idea principal a continuación es la desigualdad de productos de Young .
PruebaSi ‖ f ‖ p = 0 , entonces f es cero μ -casi en todas partes, y el producto fg es cero μ -casi en todas partes, por lo tanto, el lado izquierdo de la desigualdad de Hölder es cero. Lo mismo ocurre si ‖ g ‖ q = 0 . Por lo tanto, podemos suponer ‖ f ‖ p > 0 y ‖ g ‖ q > 0 en lo siguiente.
Si ‖ f ‖ p = ∞ o ‖ g ‖ q = ∞ , entonces el lado derecho de la desigualdad de Hölder es infinito. Por lo tanto, podemos suponer que ‖ f ‖ p y ‖ g ‖ q están en (0, ∞) .
Si p = ∞ y q = 1 , entonces | fg | ≤ ‖ f ‖ ∞ | gramo | casi en todas partes y la desigualdad de Hölder se deriva de la monotonicidad de la integral de Lebesgue. De manera similar para p = 1 y q = ∞ . Por lo tanto, podemos suponer p , q ∈ (1,∞) .
Dividiendo f y g por ‖ f ‖ p y ‖ g ‖ q , respectivamente, podemos suponer que
Ahora usamos la desigualdad de Young para productos , que establece que siempre que estén en (1,∞) con
para todos los a y b no negativos , donde la igualdad se logra si y solo si a p = b q . Por eso
La integración de ambos lados da
lo que prueba la afirmación.
Bajo los supuestos p ∈ (1, ∞) y ‖ f ‖ p = ‖ g ‖ q , la igualdad se cumple si y solo si | f | pag = | gramo | q casi en todos lados. De manera más general, si ‖ f ‖ p y ‖ g ‖ q están en (0, ∞) , entonces la desigualdad de Hölder se convierte en igualdad si y sólo si existen números reales α , β > 0 , es decir
tal que
- μ -casi en todas partes (*).
El caso ‖ f ‖ p = 0 corresponde a β = 0 en (*). El caso ‖ g ‖ q = 0 corresponde a α = 0 en (*).
Prueba alternativa utilizando la desigualdad de Jensen:
PruebaLa función en (0,∞) es convexa porque , por la desigualdad de Jensen,
donde ν es cualquier distribución de probabilidad y h cualquier ν -función medible. Sea μ cualquier medida y ν la distribución cuya densidad con respecto a μ es proporcional a , es decir
Por lo tanto tenemos, usando , por lo tanto , y dejando ,
Finalmente, obtenemos
Esto supone que f , g son reales y no negativos, pero la extensión a funciones complejas es sencilla (use el módulo de f , g ). También supone que no son nulos ni infinitos, y que todos estos supuestos también pueden eliminarse como en la prueba anterior.
También podríamos evitar el uso de las desigualdades de Young y de Jensen. La siguiente prueba también explica por qué y dónde entra de forma natural el exponente de Hölder.
PruebaComo en la prueba anterior, basta demostrar
donde y es -función medible (real o compleja) en . Para probar esto, debemos sujetarnos a . No hay una constante que funcione para todos . Por tanto, buscamos una desigualdad de la forma
para opciones adecuadas de y .
Deseamos obtener en el lado derecho después de integrar esta desigualdad. Por prueba y error, vemos que la desigualdad que deseamos debe tener la forma
donde son no negativos y . De hecho, la integral del lado derecho es precisamente . Por lo tanto, queda por demostrar que tal desigualdad se cumple con la elección correcta de
La desigualdad que buscamos se derivaría de:
que a su vez equivale a
Resulta que hay una y sólo una elección de , sujeto a , que hace que esto sea cierto: y, necesariamente, . (¡Aquí es donde nace el exponente conjugado de Hölder!) Esto completa la prueba de la desigualdad en el primer párrafo de esta prueba. De aquí se sigue la prueba de la desigualdad de Hölder como en la prueba anterior. Alternativamente, podemos deducir la desigualdad de Young y luego recurrir a la primera prueba dada anteriormente. La desigualdad de Young se deriva de la desigualdad (*) anterior eligiendo y multiplicando ambos lados por .
Igualdad extrema
Declaración
Supongamos que 1 ≤ p < ∞ y sea q el conjugado de Hölder. Entonces para cada f ∈ L p ( μ ) ,
donde max indica que en realidad hay una g que maximiza el lado derecho. Cuando p = ∞ y si cada conjunto A en el campo σ Σ con μ ( A ) = ∞ contiene un subconjunto B ∈ Σ con 0 < μ ( B ) < ∞ (lo cual es cierto en particular cuando μ es σ-finito ) , entonces
Prueba de la igualdad extrema:
PruebaPor la desigualdad de Hölder, las integrales están bien definidas y, para 1 ≤ p ≤ ∞ ,
por lo tanto, el lado izquierdo siempre está limitado arriba por el lado derecho.
Por el contrario, para 1 ≤ p ≤ ∞ , observe primero que la afirmación es obvia cuando ‖ f ‖ p = 0 . Por lo tanto, asumimos ‖ f ‖ p > 0 en lo siguiente.
Si 1 ≤ p < ∞ , defina g en S por
Al verificar los casos p = 1 y 1 < p < ∞ por separado, vemos que ‖ g ‖ q = 1 y
Queda por considerar el caso p = ∞ . Para ε ∈ (0, 1) defina
Como f es medible, A ∈ Σ . Por la definición de ‖ f ‖ ∞ como el supremo esencial de f y el supuesto ‖ f ‖ ∞ > 0 , tenemos μ ( A ) > 0 . Utilizando el supuesto adicional sobre el campo σ Σ si es necesario, existe un subconjunto B ∈ Σ de A con 0 < μ ( B ) < ∞ . Definir g en S por
Entonces g está bien definido, es mensurable y | gramo ( x ) | ≤ 1/ μ ( B ) para x ∈ B , por lo tanto ‖ g ‖ 1 ≤ 1 . Además,
Observaciones y ejemplos
- La igualdad para falla siempre que exista un conjunto de medidas infinitas en el campo con que no tenga ningún subconjunto que satisfaga: (el ejemplo más simple es el campo que contiene solo el conjunto vacío y la medida con ) Entonces la función indicadora satisface pero cada tiene que ser -casi en todas partes constante porque es -medible, y esta constante tiene que ser cero, porque es -integrable. Por lo tanto, el supremo anterior para la función indicadora es cero y la igualdad extrema falla.
- Porque el supremo en general no se alcanza. Como ejemplo, dejemos y la medida de conteo. Definir:
- Entonces For con denota el número natural más pequeño con Entonces
Aplicaciones
- La igualdad extrema es una de las formas de demostrar la desigualdad del triángulo ‖ f 1 + f 2 ‖ p ≤ ‖ f 1 ‖ p + ‖ f 2 ‖ p para todos f 1 y f 2 en L p ( μ ) , ver desigualdad de Minkowski .
- La desigualdad de Hölder implica que cada f ∈ L p ( μ ) define un funcional lineal acotado (o continuo) κ f en L q ( μ ) mediante la fórmula
- La igualdad extrema (cuando es verdadera) muestra que la norma de este funcional κ f como elemento del espacio dual continuo L q ( μ ) * coincide con la norma de f en L p ( μ ) (ver también el artículo L p -space ).
Generalización con más de dos funciones.
Declaración
Supongamos que r ∈ (0, ∞] y p 1 , ..., p n ∈ (0, ∞] tal que
donde 1/∞ se interpreta como 0 en esta ecuación. Entonces, para todas las funciones medibles reales o de valores complejos f 1 , ..., f n definidas en S ,
donde interpretamos cualquier producto con un factor de ∞ como ∞ si todos los factores son positivos, pero el producto es 0 si algún factor es 0.
En particular, si por todos entonces
Nota: Al contrario de la notación, ‖ . ‖ r en general no es una norma porque no satisface la desigualdad del triángulo .
Prueba de la generalización:
PruebaUsamos la desigualdad de Hölder y la inducción matemática . Si entonces el resultado es inmediato. Pasemos ahora de a Sin pérdida de generalidad supongamos que
Caso 1: Si entonces
Sacando el supremo esencial de | f norte | y usando la hipótesis de inducción, obtenemos
Caso 2: Si entonces necesariamente también, y entonces
son conjugados de Hölder en (1, ∞) . La aplicación de la desigualdad de Hölder da
Elevándose al poder y reescribiendo,
Desde y
la desigualdad afirmada ahora se sigue utilizando la hipótesis de inducción.
Interpolación
Sea p 1 , ..., p n ∈ (0, ∞] y sea θ 1 , ..., θ n ∈ (0, 1) denota pesos con θ 1 + ... + θ n = 1. Definir como la media armónica ponderada , es decir,
Dadas funciones medibles de valores reales o complejos en S , entonces la generalización anterior de la desigualdad de Hölder da
En particular, tomar da
Especificando además θ 1 = θ y θ 2 = 1- θ , en el caso de que obtengamos el resultado de la interpolación
La desigualdad de Littlewood : para y ,
Una aplicación de Hölder da
La desigualdad de Lyapunov : si entonces
y en particular
Tanto Littlewood como Lyapunov dan a entender que si entonces para todos [4]
Desigualdades inversas de Hölder
Dos funciones
Supongamos que p ∈ (1, ∞) y que el espacio de medida ( S , Σ, μ ) satisface μ ( S ) > 0 . Entonces, para todas las funciones medibles de valores reales o complejos f y g en S tales que g ( s ) ≠ 0 para μ -casi todos s ∈ S ,
Si
entonces la desigualdad inversa de Hölder es una igualdad si y sólo si
Nota: Las expresiones:
y
no son normas, son sólo notaciones compactas para
Prueba de la desigualdad inversa de Hölder (oculta, haga clic en mostrar para revelar).
Tenga en cuenta que p y
son conjugados de Hölder. La aplicación de la desigualdad de Hölder da
Elevando a la potencia p nos da:
Por lo tanto:
Ahora sólo necesitamos recordar nuestra notación.
Dado que
g no es casi en todas partes igual a la función cero, podemos tener igualdad si y sólo si existe una constante
α ≥ 0 tal que
| fg | = α | gramo | − q / p en casi todas partes. Resolviendo para el valor absoluto de
f se obtiene la afirmación.
Múltiples funciones
La desigualdad inversa de Hölder (arriba) se puede generalizar al caso de funciones múltiples si todos los conjugados menos uno son negativos. Eso es,
- Sea y sea tal que (por lo tanto ). Sean funciones medibles para . Entonces
Esto se desprende de la forma simétrica de la desigualdad de Hölder (ver más abajo).
Formas simétricas de la desigualdad de Hölder
Aczél y Beckenbach [5] observaron que la desigualdad de Hölder se puede expresar en una forma más simétrica, al precio de introducir un vector (o función) adicional:
Sean vectores con entradas positivas y tales que para todos . Si los números reales distintos de cero son tales que , entonces:
- si todos menos uno son positivos;
- si todos menos uno son negativos.
La desigualdad estándar de Hölder se deriva inmediatamente de esta forma simétrica (y de hecho se ve fácilmente que es equivalente a ella). El enunciado simétrico también implica la desigualdad inversa de Hölder (ver arriba).
El resultado se puede extender a múltiples vectores:
Sean vectores con entradas positivas y tales que para todos . Si los números reales distintos de cero son tales que , entonces:
- si todos los números menos uno son positivos;
- si todos los números menos uno son negativos.
Como en las desigualdades estándar de Hölder, existen enunciados correspondientes para sumas e integrales infinitas.
Desigualdad condicional de Hölder
Sea (Ω, F , ) un espacio de probabilidad, G ⊂ F una sub- σ-álgebra , y p , q ∈ (1, ∞) conjugados de Hölder, lo que significa que 1/ p + 1/ q = 1 . Luego, para todas las variables aleatorias X e Y de valores reales o complejos en Ω ,
Observaciones:
- En el lado derecho de la desigualdad condicional de Hölder, 0 por ∞ así como ∞ por 0 significa 0. Multiplicar a > 0 por ∞ da ∞.
Prueba de la desigualdad condicional de Hölder:
PruebaDefinir las variables aleatorias.
y tenga en cuenta que son mensurables con respecto a la sub-σ-álgebra . Desde
se deduce que | X | = 0 como en el conjunto { U = 0} . De manera similar, | Y | = 0 como en el conjunto { V = 0} , por lo tanto
y la desigualdad condicional de Hölder se cumple en este conjunto. En el set
el lado derecho es infinito y la desigualdad condicional de Hölder también se cumple. Dividiendo por el lado derecho, queda por tanto demostrar que
Esto se hace verificando que la desigualdad se cumple después de la integración sobre un parámetro arbitrario.
Usando la mensurabilidad de U, V, 1 G con respecto a la sub-σ-álgebra , las reglas para expectativas condicionales, la desigualdad de Hölder y 1/ p + 1/ q = 1 , vemos que
Desigualdad de Hölder para seminormas crecientes
Sea S un conjunto y sea el espacio de todas las funciones de valores complejos en S. Sea N una seminorma creciente, lo que significa que, para todas las funciones de valor real, tenemos la siguiente implicación (a la seminorma también se le permite alcanzar el valor ∞):
Entonces:
donde los números y son conjugados de Hölder. [6]
Observación: Si ( S , Σ, μ ) es un espacio de medida y es la integral de Lebesgue superior de entonces la restricción de N a todas las Σ -funciones medibles da la versión habitual de la desigualdad de Hölder.
Distancias basadas en la desigualdad de Hölder
La desigualdad de Hölder se puede utilizar para definir medidas de disimilitud estadística [7] entre distribuciones de probabilidad. Esas divergencias de Hölder son proyectivas: no dependen del factor de normalización de las densidades.
Ver también
Citas
- ^ Romano 2008, pag. 303 §12
- ^ Maligranda, Lech (1998), "Por qué la desigualdad de Hölder debería llamarse desigualdad de Rogers", Desigualdades y aplicaciones matemáticas , 1 (1): 69–83, doi : 10.7153/mia-01-05 , MR 1492911
- ^ Guessab, A.; Schmeisser, G. (2013), "Condiciones necesarias y suficientes para la validez de la desigualdad de Jensen", Archiv der Mathematik , 100 (6): 561–570, doi :10.1007/s00013-013-0522-3, MR 3069109, S2CID 253600514,
bajo el supuesto adicional que
existe, esta desigualdad ya fue obtenida por Hölder en 1889
- ^ Wojtaszczyk, P. (1991). Espacios Banach para Analistas. Estudios de Cambridge en Matemáticas Avanzadas. Cambridge: Prensa de la Universidad de Cambridge. ISBN 978-0-521-56675-9.
- ^ Beckenbach, EF (1980). Desigualdades generales 2. Serie Internacional de Matemáticas Numéricas / Internationale Schriftenreihe zur Numerischen Mathematik / Série Internationale d'Analyse Numérique. vol. 47. Birkhäuser Basilea. págs. 145-150. doi :10.1007/978-3-0348-6324-7. ISBN 978-3-7643-1056-1.
- ^ Para ver una prueba, consulte (Trèves 1967, Lema 20.1, págs. 205-206).
- ^ Nielsen, Frank; Sol, Ke; Marchand-Maillet, Stéphane (2017). "Sobre las divergencias proyectivas de Hölder". Entropía . 3 (19): 122. arXiv : 1701.03916 . Código Bib : 2017Entrp..19..122N. doi : 10.3390/e19030122 .
Referencias
- Grinshpan, AZ (2010), "Desigualdades ponderadas y binomios negativos", Avances en Matemáticas Aplicadas , 45 (4): 564–606, doi : 10.1016/j.aam.2010.04.004
- Hardy, GH ; Littlewood, JE ; Pólya, G. (1934), Desigualdades , Cambridge University Press , págs. XII+314, ISBN 0-521-35880-9, JFM 60.0169.01, Zbl 0010.10703.
- Hölder, O. (1889), "Ueber einen Mittelwertsatz", Nachrichten von der Königl. Gesellschaft der Wissenschaften und der Georg-Augusts-Universität zu Göttingen , Band (en alemán), 1889 (2): 38–47, JFM 21.0260.07. Disponible en Digi Zeitschriften.
- Kuptsov, LP (2001) [1994], "Desigualdad de Hölder", Enciclopedia de Matemáticas , EMS Press.
- Narici, Lorenzo; Beckenstein, Eduardo (2011). Espacios vectoriales topológicos . Matemática pura y aplicada (Segunda ed.). Boca Ratón, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Rogers, LJ (febrero de 1888), "Una extensión de un determinado teorema en desigualdades", Messenger of Mathematics , New Series, XVII (10): 145–150, JFM 20.0254.02, archivado desde el original el 21 de agosto de 2007.
- Roman, Stephen (2008), Álgebra lineal avanzada , Textos de posgrado en matemáticas (tercera ed.), Springer, ISBN 978-0-387-72828-5
- Trèves, François (1967), Espacios vectoriales topológicos, distribuciones y núcleos , Matemática pura y aplicada. Una serie de monografías y libros de texto, vol. 25, Nueva York, Londres: Academic Press, MR 0225131, Zbl 0171.10402.
- Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1. OCLC 853623322.
enlaces externos
- Chen, Evan (2015), Breve introducción a las desigualdades de las Olimpiadas (PDF).
- Kuttler, Kenneth (2007), Introducción al álgebra lineal (PDF) , libro electrónico en línea en formato PDF, Universidad Brigham Young.
- Lohwater, Arthur (1982), Introducción a las desigualdades (PDF).
- Archivado en Ghostarchive y Wayback Machine: Tisdell, Chris (2012), Holder's Inequality, YouTube.