martes, 10 de noviembre de 2015

Física matemática

Análisis multifractal

El análisis multifractal se usa para caracterizar sistemas dinámicos, procesos o construcciones geométricas, asignándoles una función llamada espectro multifractal o espectro de singularidad. De acuerdo con el análisis multifractal de ciertos sistemas o procesos multifractales, las estructuras se caracterizan a través de una gama de dimensiones fractales diferentes asociadas a una jerarquía de subconjuntos, cada uno de ellos de carácter fractal.
El análisis multifractal permite caracterizaciones más precisas de un proceso que involucra fractales, ya que es un hecho conocido que la dimensión fractal por sí misma no caracteriza una estructura fractal por completo, en el sentido de que dos conjuntos de la misma dimensión fractal pueden no ser (bi-Lipschitz) equivalentes.

Introducción

Existen dos enfoques dentro del análisis multifractal:
  • Las medidas multifractales, donde el carácter multifractal no se asocia a ningún conjunto concreto sino al comportamiento de una medida finita \scriptstyle \mu\, definida sobre todo \scriptstyle \R^n. La medida es multifractal cuando el conjunto \scriptstyle E_\alpha cuya dimensión fractal local es precisamente \scriptstyle \alpha, tiene una dimensión fractal diferente de la dimensión fractal local. Eso se usa cuando existe una medida natural que resulte natural para representar cierto proceso.
  • Los conjuntos multifractales, donde se considera un conjunto fijo pero se considera una familia uniparamétrica de dimensiones fractales diferentes. En este enfoque, el conjunto se considera multifractal cuando las diferentes dimensiones fractales del conjunto difieren pero en conjunto forman una función continua llamada espectro multifractal. Este enfoque se debe a que, aunque dos conjuntos que bi-Lipschitz equivalentes tienen la dimensión fractal, no es cierto que dos conjuntos de la misma dimensión fractal sean bi-Lipschitz equivalentes. Por tanto, una dimensión fractal por sí misma no caracteriza por completo a un conjunto.1

Conjuntos multifractales

Cuando se usa el enfoque de caracterizar un conjunto mediante una familia uniparamétrica de dimensiones, el conjunto multifractal se trata como una variedad topológica, frecuentemente un espacio métrico. Un conjunto multifractal, en ese sentido, es un conjunto cuya dimensión de Hausdorff-Besicovitch excede a su dimensión topológica (\scriptstyle D_{HB} > D_T, fractal "en el sentido de Mandelbrot"), pero cuyas dimensiones de Rényi superiores son diferentes de la dimensión de Hausdorff-Besicovitch. En un conjunto multifractal, la dimensión de Hausdorff-Besicovitch difiere de la dimensión de información y de la dimensión de correlación (que a su vez difieren entre sí).
Un objeto multifractal es más complejo que un fractal simple autoescalante de dimensión fractal constante. Si un fractal de dimensión constante está complemente descrito por su dimensión fractal o exponente fractal (y en parte por su lagunaridad), la caracterización de un objeto multifractal requiere especificar un espectro de exponentes (llamado también espectro de singularidad).
Cualquier reunión de conjuntos fractales por sí sola no puede considerarse un multifractal; para ello es necesario que estén coordinados de cierta manera. Como norma general, se exige que el espectro de singularidad sea una curva convexa. El objetivo es garantizar que tanto el conjunto como cada una de sus partes sean invariantes bajo transformaciones de cambio de escala.
Los objetos aproximadamente multifractales son comunes en la Naturaleza y aparecen en geofísicahidrodinámica (flujos turbulentos), astrofísica (evolución de lasmanchas solares) y cosmología (distribución de galaxias), así como en sistemas sociales (series temporales del mercado de valores).

Ejemplos en la Naturaleza

Flujos turbulentos

Campo de velocidades en flujo turbulento
Turbulence-Velocity full-res.gif
Turbulence-Velocity low-res.gif
(alta resolución)(baja resolución)

Distribución de galaxias

Otro ejemplo de multifractal es la distribución de galaxias. Las estimaciones disponibles sugieren que el Universo es más bien un objeto multifractal cuya dimensión de Hausdorff-Besicovitch sería D0 ~ 2,1±0,1 y cuya dimensión de correlación D2 ~ 1,3±0,1.2

Descripción

Dado un sistema multifractal y una magnitud física \phi(\cdot) medida sobre él tiene localmente un comportamiento cualitativo dado por una ley potencial de la forma:
\phi(\mathbf{x}+\mathbf{a}) - \phi(\mathbf{x}) \sim \| \mathbf{a} \|^{h(\mathbf{x})}
El exponente h(\mathbf{x}) se llama exponente de singularidad, ya que describe localmente el grado de singularidad o regularidad que presenta el comportamiento de la magnitud dada alrededor del punto \mathbf{x}. Es obvio, por ejemplo, que si h(\mathbf{x}) < 1 , entonces la magnitud presentará discontinuidades, ya que la derivada no existe por culpa de que el límite que la define no es finito.
El conjunto formado por todos los puntos que comparten el mismo exponente de singularidad se llama "variedad de singularidad de exponente h". La variedad de singularidad de exponente h es un conjunto fractal de dimensión D(h). La curva definida como el grafo de la función D(h), es lo que se llama espectro de singularidad y describe completamente la distribución (estadística) de la magntiud \phi(\cdot).
En la práctica, sin embargo, el comportamiento de un sistema multifractal no se caracteriza directamente por su espectro de singularidad, sino más bien mediante losexponentes multiescala \zeta(q),\;q\in{\mathbb R}. Frecuentemente los magnitudes medibles de sistemas multifractales siguen una ley de invariancia de escala asociada a leyes potenciales asociadas a la escala a. Dependiendo del objeto de estudio, dichas magnitudes denotadas mediante T_X(a) suelen ser promedios locales en cajas de una retícula de lado a o variaciones espaciales a una distancia a, coneficientes de ondícula de escala a, etc. Para objetos multifractales, se observa una ley potencial global de escalado de la forma:
<T_X(a)^q> \sim a^{\zeta(q)}\
al menos en un rango de escalas relevante y para algunos rangos de orden q. Cuando un sistema presenta este comportamiento, se dice que presenta invariancia de escalaautosimilaridad o multiescalaridad.

ANÁLISIS FRACTAL Y MULTIFRACTAL .- ......................................:http://www.tesisenred.net/bitstream/handle/10803/6380/3_3_Analisis_Fractal.pdf?sequence=16





armónicos esféricos son funciones armónicas que representan la variación espacial de un conjunto ortogonal de soluciones de la ecuación de Laplace cuando la solución se expresa en coordenadas esféricas.
Los armónicos esféricos son importantes en muchas aplicaciones teóricas y prácticas, en particular en la física atómica (dado que la función de onda de los electrones contienen armónicos esféricos) y en la teoría del potencial que resulta relevante tanto para el campo gravitatorio como para la electrostática.

Introducción

Armónicos esféricosde variable real Ylm, para l =0,...,4 (de arriba a abajo) y m = 0,...,4 (de izquierda a derecha). Los armónicos con mnegativo Yl-m son idénticos pero rotados 90º/m grados alrededor del eje Z con respecto a los positivos.
La ecuación de Laplace en coordenadas esféricas viene dada por:
 \nabla^2 f = {1 \over r^2}{\partial \over \partial r}\left(r^2 {\partial f \over \partial r}\right) 
  + {1 \over r^2\sin\theta}{\partial \over \partial \theta}\left(\sin\theta {\partial f \over \partial \theta}\right) 
  + {1 \over r^2\sin^2\theta}{\partial^2 f \over \partial \varphi^2} = 0

(véase también nabla y laplaciano en coordenadas esféricas). Si en esta expresión se consideran soluciones particulares de la forma,  f(r,\theta,\phi)  = R(r) Y(\theta, \varphi), la parte angular Y, se le denomina armónico esférico y satisface la relación:
{1 \over \sin\theta}{\partial \over \partial\theta}\left(\sin\theta {\partial Y(\theta,\varphi) \over \partial\theta} \right) + {1 \over \sin^2 \theta}{\partial^2Y(\theta,\varphi) \over \partial\varphi^2} + l(l+1)Y(\theta,\varphi) = 0

Si a su vez se usa el método de separación de variables a esta última ecuación se puede ver que la ecuación anterior admite soluciones periódicas en las dos coordenadas angulares l es un número entero. Entonces la solución periódica del sistema anterior dependerá de los dos enteros (l, m) y vendrá dada en términos de funciones trigonométricas y de polinomios asociados de Legendre:
 Y_\ell^m (\theta, \varphi ) = N \, e^{i m \varphi } \, P_\ell^m (\cos{\theta} ),

Donde Y_\ell^m se llama función armónica esférica de grado \ell y orden mP_\ell^m es el polinomio asociado de LegendreN es una constante de normalización y \theta y \varphirepresentan las variables angulares (el ángulo polar o colatitud y azimutal o longitud, respectivamente).
Las coordenadas esféricas utilizadas en este artículo son consistentes con las utilizadas por los físicos, pero difieren de las utilizadas por los matemáticos (vercoordenadas esféricas). En particular, la colatitud \theta, o ángulo polar, se encuentra en el rango 0\leq\theta\leq\pi y la longitud \varphi, o azimuth, posee el rango 0\leq\varphi<2\pi. Por lo tanto, \theta es 0 en el Polo Norte, \pi/2 en el Ecuador, y \pi en el Polo Sur.

Cuando la ecuación de Laplace se resuelve sobre un dominio esférico, las condiciones de periodicidad sobre la frontera en la coordenada \varphi así como las condiciones de regularidad en el "polo norte" y "sur" de la esfera, conllevan como se ha dicho que los números el grado l y el orden m necesarios para que se satisfagan deben ser enteros que cumplen: \ell \ge 0 y |m| \le \ell.

Normalización

Existen varias normalizaciones utilizadas para las funciones de armónicos esféricos. En física y sismología estas funciones son generalmente definidas como
 Y_\ell^m( \theta , \varphi ) = A_\ell^m P_\ell^m ( \cos{\theta} ) \, e^{i m \varphi }
donde
 A_\ell^m = \sqrt{{(2\ell+1)\over 4\pi}{(\ell-m)!\over (\ell+m)!}}
Estas funciones están ortonormalizadas
\int_{0}^{2\pi}d\varphi\int_{-1}^{1}d(\cos\theta)Y_\ell^m (\theta,\varphi^*) \, Y_{\ell'}^{m'*}(\theta,\varphi) \, =\delta_{\ell\ell'}\, \delta_{mm'},
donde δaa = 1, δab = 0 si a ≠ b, (ver delta de Kronecker). Mientras que en las áreas de geodésica y análisis espectral se utiliza
 Y_\ell^m( \theta , \varphi ) =  \sqrt{{(2\ell+1) }{(\ell-m)!\over (\ell+m)!}} \, P_\ell^m ( \cos{\theta} )\, e^{i m \varphi }
que posee una potencia unitaria
{1 \over 4 \pi} \int_{0}^{2\pi}d\varphi\int_{-1}^{1}d(\cos\theta)Y_\ell^m (\theta,\varphi^*) \, Y_{\ell'}^{m'*}(\theta,\varphi) \,=\delta_{\ell\ell'}\, \delta_{mm'}.
En temas de magnetismo, en cambio, se utilizan los armónicos de Schmidt semi-normalizados
 Y_\ell^m( \theta , \varphi ) = \sqrt{(2l+1){(\ell-m)!\over (\ell+m)!}}  P_\ell^m ( \cos{\theta} ) \, e^{i m \varphi }
poseen la siguiente normalización
 \int_{\varphi=0}^{2\pi}\int_{-1}^{1}d(cos\theta)Y_\ell^m (\theta,\varphi^*) \, Y_{\ell'}^{m'*}(\theta,\varphi) \,={4 \pi \over (2 \ell + 1)}\delta_{\ell\ell'}\, \delta_{mm'}.
Utilizando la identidad (ver Polinomios asociados de Legendre)
P_\ell ^{-m} = (-1)^m \frac{(\ell-m)!}{(\ell+m)!} P_\ell ^{m}
se puede demostrar que todas las funciones armónicas esféricas normalizadas mencionadas en los párrafos anteriores satisfacen
Y_\ell^{m*} (\theta, \varphi) = (-1)^m Y_\ell^{-m} (\theta, \varphi),
donde el símbolo * significa conjugación compleja.

Convención de fase de Condon-Shortley

Una fuente de confusión con la definición de los esféricos armónicos es el factor de fase de (-1)^m\,, comúnmente identificado como la fase de Condon-Shortley en la literatura relacionada con mecánica cuántica. En el área de mecánica cuántica, es práctica usual incluir este factor de fase en la definición de las funciones asociadas de Legendre, o acoplarlo a la definición de las funciones armónicas esféricas. No existe ningún requerimiento que obligue a utilizar la fase de Condon-Shortley en la definición de las funciones esféricas armónicas pero, si es que se la incluye, entonces algunas operaciones en el campo de la mecánica cuántica son más simples. Por el contrario en los campos de geodesia y magnetismo nunca se incluye el factor de fase de Condon-Shortley en la definición de los esféricos armónicos.

Definición matemática: Armónicos hiperesféricos

En matemáticas se usa una noción de armónico esférico más amplia que en física. Dado un polinomio P(xhomogéneo y armónico de grado m sobre \R^n se denomina armónico esférico de grado m a la función obtenida como restricción de P(x) a la (n-1)-esfera S^{n-1} \subset \R^n. Las funciones consideradas anteriormente Y(\theta,\varphi) son obviamente ejemplos de funciones armónicas, pero también son ciertas combinaciones lineales de los mismos. Para n > 3 la definción anterior permite definir armónicos hiperesféricos, que generalizan la definción a espacios de dimensión superior.
Si \mathcal{H}_m(S^{n}) designa a todos las funciones armónicas de grado m, se pueden demostrar una serie de propiedades importantes:
  1. El espacio de funciones de cuadrado integrable sobre la n-esfera es suma directa de espacios anteriores L^2(S^{n}) = \bigoplus_{m=0}^\infty \mathcal{H}_m(S^{n})
  2. Dados dos espacios \mathcal{H}_m(S^{n}) y \mathcal{H}_k(S^{n}) con m \ne k, entonces esos dos espacios son ortogonales.
  3. La dimensión del espacio \mathcal{H}_m(S^{n}) viene dada por:
\dim \mathcal{H}_m(S^{n-1}) =
\begin{pmatrix} n+m-1\\ n-1 \end{pmatrix} -
\begin{pmatrix} n+m-3\\ n-1 \end{pmatrix}

Expansión en armónicos esféricos

Los armónicos esféricos forman un conjunto completo ortonormal de funciones y por lo tanto forman un espacio vectorial análogo a vectores unitarios de la base. Sobre la esfera unitaria, toda función de cuadrado integrable puede, por lo tanto, ser expandida como una combinación lineal de:
f(\theta,\varphi)=\sum_{\ell=0}^{\infty} \sum_{m=-\ell}^\ell f_\ell^m \, Y_\ell^m(\theta,\varphi).
Esta expansión es exacta siempre y cuando \ell se extienda a infinito. Se producirá un error de truncamiento al limitar la suma sobre \ell a un ancho de banda finito L. Los coeficientes de la expansión f_{\ell}^{m} pueden obtenerse multiplicando la ecuación precedente por el complejo conjugado de los esféricos armónicos, integrando sobre un ángulo sólido \Omega\!\,, y utilizando las relaciones de ortogonalidad indicadas previamente. Para el caso de armónicos ortonormalizados, se obtiene
f_\ell^m=\int_{\Omega} f(\theta,\varphi)\, Y_\ell^{m*}(\theta,\varphi)d\Omega = \int_0^{2\pi}d\varphi\int_0^{\pi}d\theta\sin\theta f(\theta,\varphi)Y_\ell^{m*} (\theta,\varphi).
Un conjunto alternativo de armónicos esféricos para funciones reales puede ser obtenido a partir del conjunto
Y_{\ell m} = \begin{cases}
Y_\ell^0 \qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\quad\quad\mbox{  si } m=0\\
{1\over\sqrt2}\left(Y_\ell^m+(-1)^m \, Y_\ell^{-m}\right) = \sqrt{2} N P_\ell^m(\theta) \cos m\varphi 
\qquad\quad\quad \mbox{si } m>0 \\
{1\over i\sqrt2}\left(Y_\ell^{|m|}-(-1)^{|m|}\, Y_\ell^{-|m|}\right) = \sqrt{2} N P_\ell^{|m|}(\theta) \sin |m|\varphi 
\quad\mbox{  si } m<0.
\end{cases}
Estas funciones tienen las mismas propiedades de normalización que las funciones complejas indicadas previamente. En esta notación, una función real integrable puede ser expresada como una suma de armónicos esféricos de infinitos términos como
 f(\theta, \varphi) = \sum_{\ell=0}^\infty \sum_{m=-\ell}^\ell f_{lm} \, Y_{lm}(\theta, \varphi) .

Armónicos Esféricos en física

A continuación mencionaremos algunas aplicaciones de los armónicos esféricos en física, tanto en electrostática como en mecánica cuántica.

Armónicos esféricos en electrostática

El átomo de hidrógeno

El moderno modelo atómico cuántico del átomo de hidrógeno presupone que cada electrón en un estado estacionario de energía del electrón tiene una posición que se distribuye alrededor del núcleo atómico con una distribución de probabilidad cuya variación angular viene dada por un armónico esférico.

Análisis espectral

La potencia total de una función f es definida en la literatura de procesamiento de señales electrónicas como la integral de la función elevada al cuadrado, dividida por el área que abarca. Usando las propiedades de ortonormalidad de las funciones armónicas esféricas de potencia real unitaria, es fácil verificar que la potencia total de una función definida sobre la esfera unitaria se relaciona con sus coeficientes espectrales a través de una generalización del teorema de Parseval:
\frac{1}{4 \, \pi} \int_\Omega  f(\Omega)^2\, d\Omega = \sum_{l=0}^\infty S_{f\!f}(l),
donde
S_{f\!f}(l) = \sum_{m=-l}^l  f_{lm}^2
se define como el espectro de potencia angular. En forma similar, se puede definir la potencia cruzada entre dos funciones como
\frac{1}{4 \, \pi} \int_\Omega  f(\Omega) \, g(\Omega) \, d\Omega = \sum_{l=0}^\infty S_{fg}(l),
donde
S_{fg}(l) = \sum_{m=-l}^l  f_{lm} g_{lm}
se define como el espectro cruzado en este caso. Si las funciones f y g tienen un valor promedio igual a cero (o sea los coeficientes espectrales f_{00} y g_{00} son nulos), entonces S_{f\!f}(l) y S_{fg}(l) representan las contribuciones a la varianza y covarianza de la función para el grado \ell, respectivamente. Es común que el espectro de potencia cruzado se pueda aproximar por una power law del tipo
S_{f\!f}(l) = C \, \ell^{\beta}.
Cuando \beta=0, el espectro es "blanco" dado que cada grado posee idéntica potencia. Cuando \beta<0, el espectro se denomina "rojo" ya que existe mayor potencia a grados bajos con longitudes de onda largas que a altos grados. Finalmente, cuando \beta>0, el espectro es denominado "azul".

Teorema de la suma

Un resultado matemático de sumo interés y utilidad es el llamado teorema de la suma para los armónicos esféricos. Dos vectores r y r', con coordenadas esféricas (r,\theta,\varphi) y (r ',\theta ',\varphi '), respectivamente, tienen un ángulo \gamma entre ellos dado por la expresión
\cos\gamma=\cos\theta\cos\theta'+\sin\theta\sin\theta'\cos(\varphi-\varphi').
El teorema de la suma expresa un polinomio de Legendre de orden l en el ángulo \gamma en términos de los productos de dos armónicos esféricos con coordenadas angulares(\theta,\varphi) y (\theta',\varphi'):
P_l( \cos \gamma ) = \frac{4\pi}{2l+1}\sum_{m=-l}^l Y_{lm}^*(\theta',\varphi') \, Y_{lm}(\theta,\varphi) .
Esta expresión es válida tanto para los armónicos reales como para los complejos. Sin embargo, debe enfatizarse que la fórmula indicada previamente es válida solo para armónicos esféricos ortonormalizados. Para armónicos de potencia unitaria es necesario eliminar el factor 4 \pi de la expresión anterior.

Visualización de los armónicos esféricos

Representación esquemática de Ylm sobre la esfera unitaria. Ylm es igual a 0 a lo largo de m círculos que pasan a través de los polos, y a lo largo de l-m círculos de igual latitud. La función cambia de signo cada vez que cruza una de dichas líneas.
La función armónica esférica real Y32 mostrada a lo largo de cuatro cortes.
Los armónicos esféricos son fáciles de visualizar contando el número de cruces por cero que ellos tienen tanto en dirección de las latitudes como de las longitudes. Para la dirección en las latitudes, las funciones asociadas de Legendre tienen l-|m| ceros, mientras que en sentido longitudinal, las funciones trigonometricas seno y cosenotienen 2|m| ceros.
Cuando el armónico esférico de orden m es nulo o cero, las funciones armónicas esféricas no dependen de la longitud, y se dice que la función es zonal. Cuando l=|m|, no existen cruces por cero en sentido de las latitudes, y se dice que la función es sectorial. Para otro casos, las funciones forman un damero sobre la esfera.

Ejemplos de los primeros armónicos esféricos

Expresiones analíticas de los primeros armónicos esféricos ortonormalizados, que usan la convención de fase de Condon-Shortley:
Y_{0}^{0}(\theta,\varphi)={1\over 2}\sqrt{1\over \pi}
Y_{1}^{-1}(\theta,\varphi)={1\over 2}\sqrt{3\over 2\pi} \, \sin\theta \, e^{-i\varphi}
Y_{1}^{0}(\theta,\varphi)={1\over 2}\sqrt{3\over \pi}\, \cos\theta
Y_{1}^{1}(\theta,\varphi)={-1\over 2}\sqrt{3\over 2\pi}\, \sin\theta\, e^{i\varphi}
Y_{2}^{-2}(\theta,\varphi)={1\over 4}\sqrt{15\over 2\pi} \, \sin^{2}\theta \, e^{-2i\varphi}
Y_{2}^{-1}(\theta,\varphi)={1\over 2}\sqrt{15\over 2\pi}\, \sin\theta\, \cos\theta\, e^{-i\varphi}
Y_{2}^{0}(\theta,\varphi)={1\over 4}\sqrt{5\over \pi}\, (3\cos^{2}\theta-1)
Y_{2}^{1}(\theta,\varphi)={-1\over 2}\sqrt{15\over 2\pi}\, \sin\theta\,\cos\theta\, e^{i\varphi}
Y_{2}^{2}(\theta,\varphi)={1\over 4}\sqrt{15\over 2\pi}\, \sin^{2}\theta \, e^{2i\varphi}
Y_{3}^{0}(\theta,\varphi)={1\over 4}\sqrt{7\over \pi}\, (5\cos^{3}\theta-3\cos\theta)
Tabla de armónicos esféricos hasta Y10

Generalizaciones

El mapa de los armónicos esféricos puede ser visto como representaciones de la simetría de grupo de rotaciones alrededor de un punto (SO(3)) y recubridor universalSU(2). Por lo tanto, capturan la simetría de la esfera de dos dimensiones. Cada grupo de armónicos esféricos con un valor dado del parámetro l da lugar a una representación irreductible diferente del grupo SO(3).
Además, la esfera es equivalente a la esfera de Riemann. El conjunto completo de simetrías de la esfera de Riemann se describen mediante el grupo de transformaciones de Möbius PSL(2,C), que es isomorfo al grupo de Lie real llamado grupo de Lorentz. El análogo del los armónicos esféricos con respecto al grupo de Lorentz es la serie hipergeométrica; de hecho, los armónicos esféricos pueden reescribirse en términos de la serie hipergeométrica, dado que SO(3) es un subgrupo de PSL(2,C).
Más específicamente, se puede generalizar a la serie hipergeométrica para describir las simetrías de cualquier espacio de simetría; en particular, la serie hipergeométrica puede ser desarrollada para todo grupo de Lie.

Problemas Arm´onicos Esf´ericos § .- .........................................................:http://users.df.uba.ar/dmitnik/teoricaII/sphericalh/spherical.pdf 

No hay comentarios:

Publicar un comentario