12 votos

Medida espectral del operador de multiplicación

Dejemos que $(X,\mathcal B,\mu)$ sea un espacio de medida finita y consideremos el operador $T\colon L^2(X,\mu)\to L^2(X,\mu)$ dado por $Tf(x)=\varphi(x)f(x)$ , donde $\varphi\colon X\to\mathbb R$ es una función acotada y medible.

¿Hay alguna posibilidad de determinar explícitamente la medida espectral?

13voto

Studer Puntos 1050

La medida espectral de $T$ es la medida $E(\Delta)=1_{\Delta}(T)$ , donde $\Delta$ es cualquier conjunto de Borel en el espectro de $T$ y $1_\Delta$ es la función característica de $\Delta$ .

En su caso, $T=M_\varphi $ . Utilizando el cálculo funcional, tenemos, para cualquier función acotada de Borel $g$ en $\sigma(T)=\text {ess ran}\,\varphi$ que $g(T)\,f=(g\circ\varphi)\,f$ para cualquier $f\in L^2(X,\mu)$ . Entonces $$ E(\Delta)f=1_\Delta(T)\,f=(1_\Delta\circ\varphi)\,f=1_{\varphi^{-1}(\Delta)}\,f. $$

Así, para cada conjunto de Borel $\Delta$ la proyección $E(\Delta)$ es el operador de multiplicación por la función $1_{\varphi^{-1}(\Delta)}$ .

0 votos

Cómo se puede aplicar el cálculo funcional para demostrar que $g(T)f = (g \circ \varphi) f$ ?

0 votos

@beno Una explicación fácil, pero no rigurosa, es la siguiente. La igualdad es obviamente válida para cualquier $g(t)=t^k$ . Por tanto, es válido para cualquier polinomio. Como los polinomios son densos en $C([a,b])$ entonces la igualdad $g(T)f=(g\circ\varphi)f$ es válida para cualquier $g$ . Entonces, para cualquier conjunto de Borel $A\subset[a,b]$ su función característica puede ser aproximada uniformemente por la continua, por lo que esta igualdad se mantiene para cualquier función característica $g$ . Dado que el tramo lineal de esta función característica es denso en el espacio de las funciones acotadas de Borel, entonces esta igualdad se mantiene para cualquier función acotada de Borel.

0 votos

¿Cuál es la medida exacta procedente de la proyección espectral que ha mostrado? ¿Es la medida primaria $\mu$ con la que hemos empezado?

2voto

Davide Giraudo Puntos 95813

Poner para $M\in\mathcal B$ , donde $\mathcal B$ es el $\sigma$ -álgebra en $X$ , $E(M)=A_{\mathbf 1_M}$ donde, para $g\in L^{\infty}(\mu)$ , $A_g\colon L^2\to L^2$ $A_g(f)=fg$ . $E$ es una medida espectral, ya que

  • $E(M)$ es una proyección para todos los $M\in\mathcal B$ : $$E(M)(E(M)g)(f)=E(M)(\mathbf 1_Mf)=\mathbf 1_M\cdot \mathbf 1_M \cdot f=E(M)f;$$
  • $E(\emptyset)=0, $ E(X)=Id$;
  • Si $M$ y $N$ son disjuntos entonces $E(M)$ y $E(N)$ son ortogonales, ya que $$E(M)(E(N)f)=\mathbf 1_M\mathbf 1_N f=0=E(N)(E(M)f).$$
  • Si $\{A_n\}\subset \mathcal B$ son disjuntos entonces $$E\left(\bigcup_{n\in\mathbb N}A_n\right)(f)=\mathbf 1_{\bigcup_nA_n}f=\sum_{n=0}^{+\infty}\mathbf 1_{A_n}f=\sum_{n\in\mathbb N}E(A_n)(f).$$

Ahora comprueba que $\int_f dE=A_f$ para todos $f\in L^{\infty}$ . $E$ se denomina medida espectral estándar.

1 votos

No veo por qué $\int_{f} dE = A_{f}$ .

0 votos

Intenté demostrar que $<f,\int_{\sigma(A_{g})} dE f> = <f,A_{g}f>$ . Pero de alguna manera no funcionó. Llegué a la expresión

0 votos

Intenté demostrar que $<f,\int_{\sigma(A_{g})} dE f> = <f,A_{g}f>$ . Pero de alguna manera no funcionó. Llegué a la expresión $<f,A_{g}f> = \int_{X} |f(x)|^{2} g(x) d \mu$ y $<f,E(M)f> = \int_{g^{-1}(M)} |f(x)|^{2} d \mu$ y de esto podría deducir que $d<f,\int \lambda dE f> = \int_{\sigma(A_{g})} \lambda d<f, E(\lambda)f>$ y de esto podría deducir que $d<f,E(\lambda)f> = |f(x)|^{2} \chi_{g^{-1}(\lambda)}(x) d \mu(\lambda)$ . ¿Cómo ir más allá?

2voto

mona Puntos 38

Considere el espacio $B([a,b])$ de funciones acotadas de Borel. La dotaremos de topología localmente convexa. Sea $M([a,b])$ sea un espacio de Banach de medidas de Borel de valor complejo sobre $[a,b]$ . Para cada $\mu\in M([a,b])$ definimos una semi-norma $$ \Vert\cdot\Vert_\mu:B([a,b])\to\mathbb{R}_+: f\mapsto \int\limits_{[a,b]}f(t)d\mu(t). $$ La familia $\{\Vert\cdot\Vert_\mu:\mu\in M([a,b])\}$ da lugar a una topología Hausdorff localmente convexa en $B([a,b])$ . Denotaremos este espacio como $(B([a,b]),wm)$ .consideren $\mathcal{B}(H)$ con topología de operador débil y denotar este espacio $(\mathcal{B}(H),wo)$ .

Un continuo $*$ -homorfismo $\gamma_{b,T}:(B([a,b]),wm)\to(\mathcal{B}(H),wo)$ tal que $\gamma_{b,T}(id_{[a,b]})=T$ se denomina cálculo funcional de Borel del operador $T$ .

Teorema Existe un único cálculo funcional de Borel $\gamma_{b,T}:(B([a,b]),wm)\to(\mathcal{B}(H),wo)$ . Además se trata de un homomorfismo involutivo contractivo de álgebras involutivas que extiende el cálculo continuo sobre $[a,b]$ .

Denote $H=L^2(X,\mu)$ . Desde $\varphi\colon X\to\mathbb{R}$ es una función medible acotada, entonces $T$ es un operador autoadjunto acotado. Por lo tanto, $\sigma(T)\subset\mathbb{R}$ . Desde $T$ es autoadjunto entonces existe algún intervalo $[a,b]$ tal que $\sigma(T)\subset[a,b]$ . Ahora dejemos que $\gamma_{b,T}$ sea el cálculo funcional de Borel sobre $[a,b]$ entonces podemos definir la medida espectral mediante el siguiente procedimiento. Para cada conjunto de Borel $A\subset [a,b]$ definimos su medida espectral $E(A)$ por la igualdad $$ E(A)=\gamma_{b,T}(1_{A\cap[a,b]}). $$ donde $1_{A\cap[a,b]}$ es una función característica de $A\cap[a,b]$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X