Las funciones máximas aparecen en muchas formas en el análisis armónico (un área de las matemáticas ). Una de las más importantes es la función máxima de Hardy-Littlewood . Desempeñan un papel importante en la comprensión, por ejemplo, de las propiedades de diferenciabilidad de funciones, integrales singulares y ecuaciones diferenciales parciales. A menudo proporcionan un enfoque más profundo y simplificado para comprender los problemas en estas áreas que otros métodos.
En su artículo original, GH Hardy y JE Littlewood explicaron su desigualdad máxima en el lenguaje de los promedios de cricket . Dada una función f definida en R n , la función máxima no centrada de Hardy-Littlewood Mf de f se define como
en cada x en R n . Aquí, el supremo se toma sobre las bolas B en R n que contienen el punto x y | B | denota la medida de B (en este caso un múltiplo del radio de la bola elevado a la potencia n ). También se puede estudiar la función máxima centrada, donde el supremo se toma justo sobre las bolas B que tienen centro x . En la práctica, hay poca diferencia entre las dos.
Las siguientes afirmaciones son fundamentales para la utilidad del operador maximalista Hardy-Littlewood. [1]
La propiedad (b) se denomina límite de tipo débil de Mf . Para una función integrable, corresponde a la desigualdad elemental de Markov ; sin embargo, Mf nunca es integrable, a menos que f = 0 casi en todas partes, de modo que la prueba del límite débil (b) para Mf requiere un argumento menos elemental de la teoría de la medida geométrica, como el lema de recubrimiento de Vitali . La propiedad (c) dice que el operador M está acotado en L p ( R n ); es claramente cierto cuando p = ∞, ya que no podemos tomar un promedio de una función acotada y obtener un valor mayor que el valor más grande de la función. La propiedad (c) para todos los demás valores de p se puede deducir entonces de estos dos hechos mediante un argumento de interpolación .
Vale la pena señalar que (c) no se cumple para p = 1. Esto se puede demostrar fácilmente calculando M χ, donde χ es la función característica de la bola unitaria centrada en el origen.
El operador maximal de Hardy-Littlewood aparece en muchos lugares, pero algunos de sus usos más notables están en las pruebas del teorema de diferenciación de Lebesgue y el teorema de Fatou y en la teoría de operadores integrales singulares .
La función máxima no tangencial toma una función F definida en el semiplano superior
y produce una función F* definida en R n mediante la expresión
Obsérvese que para un x fijo , el conjunto es un cono en con vértice en ( x ,0) y eje perpendicular al límite de R n . Por lo tanto, el operador maximalista no tangencial simplemente toma el supremo de la función F sobre un cono con vértice en el límite de R n .
Una forma particularmente importante de funciones F en la que el estudio de la función máxima no tangencial es importante se forma a partir de una aproximación a la identidad . Es decir, fijamos una función suave integrable Φ en R n tal que
y establecer
para t > 0. Luego defina
Se puede demostrar [1] que
y, en consecuencia, se obtiene que converge a f en L p ( R n ) para todo 1 ≤ p < ∞. Este resultado se puede utilizar para demostrar que la extensión armónica de una función L p ( R n ) al semiplano superior converge de manera no tangencial a esa función. Se pueden obtener resultados más generales cuando el laplaciano se reemplaza por un operador elíptico mediante técnicas similares.
Además, con algunas condiciones apropiadas en , se puede conseguir que
Para una función localmente integrable f en R n , la función máxima aguda se define como
para cada x en R n , donde el supremo se toma sobre todas las bolas B y es el promedio integral de sobre la bola . [2]
La función aguda se puede utilizar para obtener una desigualdad puntual respecto de integrales singulares . Supongamos que tenemos un operador T que está acotado en L 2 ( R n ), por lo que tenemos
para todas las f suaves y con soporte compacto . Supongamos también que podemos realizar T como convolución contra un núcleo K en el sentido de que, siempre que f y g sean suaves y tengan soporte disjunto
Finalmente asumimos una condición de tamaño y suavidad en el núcleo K :
cuando . Entonces, para un r fijo > 1, tenemos
para todo x en R n . [1]
Sea un espacio de probabilidad, y T : X → X un endomorfismo que preserva la medida de X . La función máxima de f ∈ L 1 ( X , m ) es
La función máxima de f verifica un límite débil análogo a la desigualdad máxima de Hardy-Littlewood :
Esto es una reformulación del teorema ergódico máximo .
Si es una martingala , podemos definir la función máxima de la martingala por . Si existe, muchos resultados que se cumplen en el caso clásico (por ejemplo, la acotación en y la desigualdad débil ) se cumplen con respecto a y . [3]