4 votos

teorema de representación general para las formas bilineales

Me interesan los teoremas de representación para las formas bilineales, que van más allá del tratamiento de las formas bilineales delimitadas o incluso coercitivas.

Aunque agradezco cualquier referencia sobre el tema mencionado anteriormente, estoy buscando específicamente un tratamiento de formas bilineales simétricas semidefinidas positivas . La forma bilineal que me preocupa actualmente es no limitado . La razón por la que me gustaría saber eso es que intento comprobar los preliminares de la existencia de un operador adjunto con respecto a esa cierta forma bilineal .

Así que escrito en su forma abstracta, dejemos $B(.,.)$ ser una forma positiva simétrica semidefinida pero bilineal sin límites. Dejemos que más adelante $H$ un espacio Hilbert, $f,g \in H$ y $A$ ser un operador lineal acotado en $H$ . Así que estoy interesado en la respuesta a la siguiente pregunta: ¿Cuándo un operador lineal (o cualquier otro tipo de función en $H$ ) $A^*$ existen de tal manera que $$ B(f,Ag) = B(A^* f,g) $$

Conozco la teoría básica de representación para formas bilineales limitadas y el Teorema de Laxo-Milgramo. Pero, por supuesto, no son de ayuda aquí. Apreciaría cualquier tipo de pista en la dirección correcta o en la literatura para una mayor investigación en la teoría de la representación para formas bilineales y o la existencia de operadores adjuntos.

1voto

john john Puntos 6

Tropecé con el teorema en el "Método de Física Matemática" de Reed-Simon, Volumen 1, sección VIII.6, teorema VIII.15. La sección VIII está dedicada a los operadores sin límites. El teorema de representación pide que la forma bilineal sea cerrada y semi-limitada sin embargo. El caso sin límites también se trata en la página 49 del documento disponible en http://maths.swan.ac.uk/staff/vl/projects/cont.pdf

0voto

Mehdi Puntos 1

Se sabe que para cualquier sistema dual $(X,Y)$ (dos espacios son sistemas duales si existe una forma bilínea no degenerada de producto cartesiano de $X$ y $Y$ en reales o complejos) y cualesquiera dos operadores adjuntos $A:X \to Y$ y $B:Y \to X$ , $A$ y $B$ son lineales. (también tenemos la unicidad de la unión si existe). Incluso para los espacios pre-Hilbert como $X=C(G)$ ( $G$ algún subconjunto compacto y medible de $R^n$ ) y cualquier operador desconocido $A:X \to X$ no se sabe si su anexo existe o no. Por ejemplo $A:C[0,1] \to C[0,1]$ definido por $Ax:=x(1)$ no tiene un anexo.

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