En el análisis matemático , y especialmente en el análisis real y armónico , un espacio de Orlicz es un tipo de espacio funcional que generaliza los espacios L p . Al igual que los espacios L p , son espacios de Banach . Los espacios llevan el nombre de Władysław Orlicz , quien fue el primero en definirlos en 1932.
Además de los espacios L p , una variedad de espacios funcionales que surgen naturalmente en el análisis son los espacios Orlicz. Uno de esos espacios L log + L , que surge en el estudio de las funciones máximas de Hardy-Littlewood , consiste en funciones medibles f tales que la integral
Aquí log + es la parte positiva del logaritmo. También se incluyen en la clase de espacios Orlicz muchos de los espacios Sobolev más importantes .
Terminología
Estos espacios son llamados espacios de Orlicz por una abrumadora mayoría de matemáticos y por todas las monografías que los estudian, porque Władysław Orlicz fue el primero en introducirlos, en 1932. [1] Una pequeña minoría de matemáticos, incluidos Wojbor Woyczyński, Edwin Hewitt y Vladimir Mazya - incluya también el nombre de Zygmunt Birnbaum , en referencia a su anterior trabajo conjunto con Władysław Orlicz . Sin embargo, en el artículo de Birnbaum-Orlicz no se introduce el espacio de Orlicz, ni explícita ni implícitamente, por lo que esta convención de nomenclatura es incorrecta. Por las mismas razones esta convención ha sido también abiertamente criticada por otro matemático (y experto en la historia de los espacios de Orlicz), Lech Maligranda. [2] Orlicz fue confirmado como la persona que introdujo los espacios de Orlicz ya por Stefan Banach en su monografía de 1932. [3]
Definicion formal
Suponga que μ es una medida σ-finita en un conjunto X , y Φ: [0, ∞) → [0, ∞) es una función de Young , es decir, una función convexa tal que
Dejar ser el conjunto de funciones medibles f : X → R tal que la integral
es finito, donde, como es habitual, se identifican funciones que coinciden en casi todas partes .
Esto podría no ser un espacio vectorial (es decir, se podría dejar de ser cerrado bajo la multiplicación escalar). El espacio vectorial de funciones abarcadas por es el espacio de Orlicz, denotado .
Para definir una norma sobre , sea Ψ el complemento de Young de Φ; es decir,
Tenga en cuenta que la desigualdad de Young para los productos se mantiene:
Entonces la norma viene dada por
Además, el espacio es precisamente el espacio de funciones mensurables para el que esta norma es finita.
Una norma equivalente ( Rao & Ren 1991 , §3.3), llamada norma de Luxemburgo, se define en L Φ por
e igualmente L Φ (μ) es el espacio de todas las funciones medibles para las que esta norma es finita.
Ejemplo
Aquí hay un ejemplo donde no es un espacio vectorial y es estrictamente más pequeño que . Suponga que X es el intervalo unitario abierto (0,1), Φ ( x ) = exp ( x ) - 1 - x , yf ( x ) = log ( x ). Entonces af está en el espacio pero esta solo en el set si | a | <1.
Propiedades
- Los espacios de Orlicz generalizan espacios L p (para) en el sentido de que si , luego , entonces .
- El espacio Orlicz es un espacio de Banach , un espacio vectorial normalizado completo .
Relaciones con los espacios de Sobolev
Ciertos espacios de Sobolev están incrustados en espacios de Orlicz: para abierto y delimitado con límite de Lipschitz ,
por
Este es el contenido analítico de la desigualdad de Trudinger : Para abierto y delimitado con límite de Lipschitz , considera el espacio , . Existen constantes tal que
Norma de Orlicz de una variable aleatoria
Asimismo, la norma de Orlicz de una variable aleatoria la caracteriza de la siguiente manera:
Esta norma es homogénea y se define solo cuando este conjunto no está vacío.
Cuándo , esto coincide con el p -ésimo momento de la variable aleatoria. Otros casos especiales en la familia exponencial se toman con respecto a las funciones (por ). Una variable aleatoria con finitose dice que la norma es " sub-gaussiana " y una variable aleatoria con finitose dice que la norma es "sub-exponencial". De hecho, la delimitación del norma caracteriza el comportamiento limitante de la función de densidad de probabilidad:
de modo que la cola de esta función de densidad de probabilidad se asemeja asintóticamente, y está delimitada arriba por .
La La norma se puede calcular fácilmente a partir de una función generadora de momentos estrictamente monótona . Por ejemplo, la función generadora de momentos de una variable aleatoria X de chi-cuadrado con K grados de libertad es, de modo que el recíproco de la La norma está relacionada con el inverso funcional de la función generadora de momentos:
Referencias
- ^ Über eine gewisse Klasse von Räumen vom Typus B, Bull. Internat. Acad. Polon. Sci. Lett., Clase. Sci. Matemáticas. Natur .: S \ '{e} r. A, Sci. Matemáticas. 1932: 9/8, 207--220.
- ↑ Lech Maligranda, Osiągnięcia polskich matematyków w teorii interpolacji operatorów: 1910-1960 , 2015, „Wiadomości matematyczne”, 51, 239-281 (en polaco).
- ↑ Stefan Banach, 1932, Théorie des opérations linéaires, Warszawa (p.202)
Otras lecturas
- Birnbaum, ZW; Orlicz, W. (1931), "Über die Verallgemeinerung des Begriffes der zueinander Konjugierten Potenzen", Studia Mathematica , 3 : 1-67 PDF .
- Bund, Iracema (1975), "Espacios de funciones de Birnbaum-Orlicz en grupos", Pacific Mathematics Journal , 58 (2): 351–359.
- Hewitt, Edwin; Stromberg, Karl, Análisis real y abstracto , Springer-Verlag.
- Krasnosel'skii, MA ; Rutickii, Ya.B. (1961), Funciones convexas y espacios Orlicz , Groningen: P. Noordhoff Ltd
- Rao, MM; Ren, ZD (1991), Teoría de los espacios de Orlicz , Matemáticas puras y aplicadas, Marcel Dekker, ISBN 0-8247-8478-2.
- Zygmund, Antoni , "Capítulo IV: Clases de funciones y series de Fourier", Serie trigonométrica, Volumen 1 (3ª ed.), Cambridge University Press.
- Ledoux, Michel; Talagrand, Michel, probabilidad en espacios de Banach , Springer-Verlag.
enlaces externos
- "Espacio Orlicz" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]