Medida armónica

medida en el límite de un dominio, definida usando funciones armónicas en el dominio

En matemáticas, especialmente en teoría del potencial, la medida armónica es un concepto relacionado con la teoría de las funciones armónicas que surge de la solución del problema de Dirichlet clásico. En teoría de la probabilidad, la medida armónica de un subconjunto del límite de un dominio acotado en un espacio euclídeo , es la probabilidad de que un movimiento browniano iniciado dentro de un dominio llegue a ese subconjunto del límite. De manera más general, la medida armónica de una difusión de Itō X describe la distribución de X cuando alcanza el límite de D. En el plano complejo, la medida armónica se puede utilizar para estimar el módulo de una función analítica dentro de un dominio D dados los límites del módulo en la frontera del dominio. Un caso especial de este principio es el teorema de los tres círculos de Hadamard. En dominios planos simplemente conexos, existe una estrecha relación entre la medida armónica y la teoría de la transformación conforme.

La medida armónica es la distribución resultante del movimiento browniano

El término medida armónica fue introducido por Rolf Nevanlinna en 1928 para dominios planos,[1][2]​ aunque el propio Nevanlinna señala que la idea apareció implícitamente en trabajos anteriores de Johansson, F. Riesz, M. Riesz, Carleman, Ostrowski y Julia (orden original citado). La conexión entre la medida armónica y el movimiento browniano fue identificada por primera vez por Kakutani diez años después, en 1944.[3]

Definición

editar

Sea D un dominio abierto y acotado en un espacio euclídeo n-dimensional Rn, n ≥ 2, y sea ∂D el límite de D. Cualquier función continua f : ∂D → 'R determina una función armónica Hf única que resuelve el problema de Dirichlet

 

Si un punto x ∈ D es fijo, por el teorema de representación de Riesz-Markov-Kakutani y el principio del máximo Hf(x) determina una medida de probabilidad ω (xD) en ∂D dada por

 

La medida e(xD) se llama medida armónica (del dominio D con polo en x).

Propiedades

editar
  • Para cualquier subconjunto de Borel E de ∂D, la medida armónica omega;(xD)(E) es igual al valor en x de la solución al problema de Dirichlet con datos de frontera iguales a la función indicatriz de E.
  • Para D y E fijos ⊆ ∂D, ω(xD)( E) es una función armónica de x ∈ D y
 
 
Por lo tanto, para cada x y D, ω(xD) es una medida de probabilidad en ∂D.
  • Si ω(xD)(E) = 0 incluso en un solo punto x de D, entonces   es idénticamente cero, en cuyo caso se dice que E es un conjunto de medida armónica cero. Esta es una consecuencia de la desigualdad de Harnack.

Dado que normalmente no se dispone de fórmulas explícitas para la medida armónica, es interesante determinar las condiciones que garantizan que un conjunto tenga medida armónica cero.

  • Teorema de F. y M. Riesz:[4]​ Si   es un dominio plano simplemente conexo limitado por una curva rectificable (es decir, si  ), entonces la medida armónica es mutuamente absolutamente continua con respecto a la longitud del arco: para todo  ,   si y solo si  .
  • Teorema de Makarov:[5]​ Sea   un dominio plano simplemente conexo. Si   y   para algún  , entonces  . Además, la medida armónica en D es mutuamente singular con respecto a la medida de Hausdorff de dimensión t para todo t > 1.
  • Teorema de Dahlberg:[6]​ Si   es un dominio de Lipschitz acotado, entonces la medida armónica y la medida de Hausdorff (n − 1)-dimensional son mutuamente absolutamente continuas: para todo  ,   si y solo si  .

Ejemplos

editar
 
Medida armónica en dominios planos simplemente conexos
  • Si   es el disco unitario, entonces la medida armónica de   con polo en el origen es una medida de longitud en el círculo unitario normalizada para ser una probabilidad, es decir,   para todos los   donde   denota la longitud de  .
  • Si   es el disco unitario y  , entonces   para todos los  , donde   denota la medida de longitud en el círculo unitario. La derivada de Radon-Nikodym   se denomina núcleo de Poisson.
  • De manera más general, si   y   son la bola unitaria de n dimensiones, entonces la medida armónica con el polo en   es   para todos los  , donde   denota la medida de la superficie (medida de Hausdorff (n −&nbsp. 1)-dimensional) en la esfera unitaria   y  .
  • Si   es un dominio plano simplemente conectado delimitado por una curva y X D, entonces   para todos los   donde   es la aplicación de Riemann única que hace corresponder el origen a X, es decir.  . Véase el teorema de Carathéodory.
  • Si   es el dominio delimitado por el copo de nieve de Koch, entonces existe un subconjunto   del copo de nieve de Koch tal que   tiene longitud cero ( ) y medida armónica completa  .

Medida armónica de una difusión

editar

Considérese una difusión de Ito X con valor Rn que comienza en algún punto x en el interior de un dominio D, con la ley Px . Supóngase que se desea conocer la distribución de los puntos en los que X sale de D. Por ejemplo, el movimiento browniano canónico B en la recta real que comienza en 0 sale del intervalo (−1, +1) en −1 con probabilidad ½ y en +1 con probabilidad ½, por lo que B' 'τ(−1, +1) está distribuida uniformemente en el conjunto −1, +1.

En general, si G es embebido compacto dentro de Rn, entonces la medida armónica (o distribución de impacto) de X en el límite ∂G de G es la medida μGx definida por

 

para x ∈ G y F ⊆ ∂G.

Volviendo al ejemplo anterior del movimiento browniano, se puede demostrar que si B es un movimiento browniano en R'n comenzando en x ∈ Rn y D ⊂ Rn es un bola centrada en x, entonces la medida armónica de B en ∂D es invariante bajo todos los movimiento de rotación de D alrededor de x y coincide con la medida superficial normalizada en ∂D.

Referencias generales

editar
  • Garnett, John B.; Marshall, Donald E. (2005). Harmonic Measure. Cambridge: Cambridge University Press. ISBN 978-0-521-47018-6. 
  • Capogna, Luca; Kenig, Carlos E.; Lanzani, Loredana (2005). Harmonic Measure: Geometric and Analytic Points of View. University Lecture Series. ULECT/35. American Mathematical Society. p. 155. ISBN 978-0-8218-2728-4. 

Referencias

editar
  1. R. Nevanlinna (1970), "Analytic Functions", Springer-Verlag, Berlin, Heidelberg, cf. Introduction p. 3
  2. R. Nevanlinna (1934), "Das harmonische Mass von Punktmengen und seine Anwendung in der Funktionentheorie", Comptes rendus du huitème congrès des mathématiciens scandinaves, Stockholm, pp. 116–133.
  3. Kakutani, S. (1944). «On Brownian motion in n-space». Proc. Imp. Acad. Tokyo 20 (9): 648-652. doi:10.3792/pia/1195572742. 
  4. F. y M. Riesz (1916), "Über die Randwerte einer analytischen Funktion", Quatrième Congrès des Mathématiciens Scandinaves, Stockholm, pp. 27–44.
  5. Makarov, N. G. (1985). «On the Distortion of Boundary Sets Under Conformal Maps». Proc. London Math. Soc. 3 52 (2): 369-384. doi:10.1112/plms/s3-51.2.369. 
  6. Dahlberg, Björn E. J. (1977). «Estimates of harmonic measure». Arch. Rat. Mech. Anal. 65 (3): 275-288. Bibcode:1977ArRMA..65..275D. S2CID 120614580. doi:10.1007/BF00280445. 

Bibliografía

editar
  • P.Jones y T.Wolff, Dimensión de Hausdorff de la Medida Armónica en el plano, Acta. Matemáticas. 161(1988)131-144(MR962097)(90j:31001)
  • C.Kenig y T.Toro, Regularidad de límites libres para medidas armónicas y núcleos de Poisson, Ann. de Matemáticas. 150(1999)369-454MR 172669992001d:31004)
  • C.Kenig, D.PreissandT. Toro, Estructura límite y tamaño en términos de medidas armónicas interiores y exteriores en dimensiones superiores, Jour. de Amer. Matemáticas. Soc.vol22 de julio de 2009, no3,771-796
  • S.G.Krantz, La teoría y práctica de la geometría conforme, Dover Publ. Mineola Nueva York (2016) esp. Caso clásico Ch6

Enlaces externos

editar