El problema viene de mis deberes de análisis funcional.
Sea $H$ sea un espacio de Hilbert complejo y $A:H \to H$ sea un operador lineal acotado y autoadjunto. Demostrar que existen operadores positivos $P$ y $N$ tal que $A=P-N$ y $PN=0$ . (Un operador $T$ es positivo si $\langle Tx,x \rangle \ge 0$ para todos $x \in H$ .)
He encontrado una pregunta similar a esta: El operador autoconjunto limitado puede escribirse como diferencia de operadores positivos . Una respuesta utilizando $C^*$ -Álgebra se proporcionó allí. Sin embargo, no aprendimos nada sobre $C^*$ -álgebra en esta clase (y no sé nada de ella), así que se supone que el problema debe demostrarse de forma "elemental". Esto es lo que he hecho hasta ahora:
Defina $B=(A^2)^{1/2}$ y que $$P=(A+B)/2$$ $$N=(B-A)/2$$ Entonces $P$ y $N$ son operadores lineales acotados y autoadjuntos. Es fácil comprobar que $$A=P-N$$ y $$PN=0$$ Mi pregunta: ¿cómo podemos demostrar que $P$ y $N$ son positivos?
Por cálculo directo, esto equivale a $|\langle Ax,x \rangle| \le \langle Bx,x \rangle$ . @Shalop dijo en el comentarios que esta desigualdad se puede demostrar con la identidad de polarización, pero no veo cómo hacerlo. ¿Alguna idea?
0 votos
Utilizando ese $|\langle Tx,x \rangle| \leq \langle |T|x,x \rangle$ , lo tienes directamente. ¿Probar esta desigualdad es tu pregunta?
0 votos
@AlexanderJ93 Sí, me gustaría saber cómo demostrar esta desigualdad.
0 votos
¿Cómo define su curso el operador raíz cuadrada? (Por ejemplo, ¿utilizando el teorema espectral?)
0 votos
@KeithMcClary Tenemos un teorema que afirma que todo operador lineal autoadjunto con límites positivos tiene una única raíz cuadrada positiva. La demostración es anterior e independiente del teorema espectral.
0 votos
Veo uno aquí que no recuerdo haber aprendido. Sólo intento averiguar qué se considera "elemental".
0 votos
@KeithMcClary Esa prueba es estándar. Pero, ¿qué relación tiene con mi pregunta? Por "elemental" me refiero a no usar $C^*$ -álgebra.
0 votos
Es decir, es sencillo si tienes el teorema espectral, pero ¿eso cuenta como "elemental"?
0 votos
@KeithMcClary Sí, este problema es en realidad el ejercicio de ese capítulo. ¿Podría darnos una respuesta?
0 votos
Lo siento, no recordaba lo que pensaba hace 9 meses, pero probablemente estaba equivocado de todos modos. Me gusta la prueba de DIP a continuación.