6 votos

Fórmula del menor elemento del espectro

Dejemos que $A$ sea un operador autoadjunto definido en un subconjunto denso de un espacio de Hilbert $\mathcal{H}$ . Supongamos que $A$ está acotado por debajo en el sentido de que hay $m \in \mathbb{R}$ tal que $$\langle Ax,x\rangle \geq m,~\forall x : \|x\| = 1.$$

Quiero demostrarlo: $$ m = \inf\{\lambda : \lambda \in \sigma(A)\} = \inf \{\langle Ax,x\rangle : \|x\| = 1\}.$$

Sé que si $E_A$ denota la única medida espectral que representa $A$ entonces $\mathrm{supp}~E_A = \sigma(A),$ de la que se desprende la primera igualdad. Por lo tanto, sólo queda demostrar la última igualdad. ¿Alguna pista?

Gracias de antemano.

3voto

TrialAndError Puntos 25444

Dejemos que $m=\inf\;\{ \lambda : \lambda\in\sigma(A) \}$ . Entonces, para cada entero positivo $n$ , $E_{A}[m,m+1/n] \ne 0$ . Por tanto, existe un vector unitario $x_n\in\mathcal{D}(A)$ tal que $E_{A}[m,m+1/n]x_n = x_n$ , lo que da \begin{align} 0 & \le \langle (A-mI)x_n,x_n\rangle \\ & = \int_{m}^{m+1/n}(\lambda-m) d\langle E(\lambda)x_n,x_n\rangle \\ & \le \frac{1}{n}\langle E[m,m+1/n]x_n,x_n\rangle \\ & \le \frac{1}{n}\langle x_n,x_n\rangle = \frac{1}{n}. \end{align}

Por lo tanto, $\lim_n \langle A x_n,x_n\rangle = m$ .

0 votos

Sólo una pregunta, ¿por qué $E_A[m,m+1/n]\neq 0$ implica que hay $x_n$ tal que $E_A[m,m+1/n]x_n=x_n?$

2 votos

@L.F.Cavenaghi Si $x_n=E_A[m,m+1/n]x \ne 0$ entonces $E_A[m,m+1/n]x_n = x_n$ porque $E^2(S)=E(S)$ .

1 votos

¡muchas gracias! ¡Tan simple!

2voto

Studer Puntos 1050

Para un operador autoadjunto, cada elemento del espectro es un valor propio aproximado . Eso demuestra su igualdad.

0 votos

Buen comentario. Gracias. +1

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