Función positiva definida en un grupo

En matemáticas, y específicamente en la teoría de operadores , una función definida positiva en un grupo relaciona las nociones de positividad, en el contexto de los espacios de Hilbert y los grupos algebraicos . Puede verse como un tipo particular de núcleo definido positivo donde el conjunto subyacente tiene la estructura de grupo adicional.

Sea un grupo, un espacio de Hilbert complejo y los operadores acotados en . Una función definida positiva en es una función que satisface ${\estilo de visualización G}$${\estilo de visualización H}$${\estilo de visualización L(H)}$${\estilo de visualización H}$${\estilo de visualización G}$${\displaystyle F:G\to L(H)}$

${\displaystyle \sum_{s,t\in G}\langle F(s^{-1}t)h(t),h(s)\rangle \geq 0,}$

para cada función con soporte finito ( toma valores distintos de cero solo para un número finito ). ${\displaystyle h:G\to H}$${\estilo de visualización h}$${\estilo de visualización s}$

En otras palabras, se dice que una función es una función definida positiva si el núcleo definido por es un núcleo definido positivo. Un núcleo de este tipo es -simétrico, es decir, es invariante bajo la acción izquierda: Cuando es un grupo localmente compacto , la definición se generaliza por integración sobre su medida de Haar invariante a la izquierda . Una función definida positiva en es una función continua que satisface para cada función continua con soporte compacto . ${\displaystyle F:G\to L(H)}$${\displaystyle K:G\times G\to L(H)}$${\displaystyle K(s,t)=F(s^{-1}t)}$${\estilo de visualización G}$${\estilo de visualización G}$$${\displaystyle K(s,t)=K(rs,rt),\quad \para todo r\en G}$$${\estilo de visualización G}$ ${\estilo de visualización \mu}$${\estilo de visualización G}$${\displaystyle F:G\to L(H)}$$${\displaystyle \int _{s,t\in G}\langle F(s^{-1}t)h(t),h(s)\rangle \;\mu (ds)\mu (dt)\geq 0,}$$${\displaystyle h:G\to H}$

La función constante , donde es el operador identidad en , es definida positiva. ${\displaystyle F(g)=I}$${\displaystyle I}$${\estilo de visualización H}$

Sea un grupo abeliano finito y sea el espacio de Hilbert unidimensional . Cualquier carácter es definido positivamente. (Este es un caso especial de representación unitaria). ${\estilo de visualización G}$${\estilo de visualización H}$${\displaystyle \mathbb {C}}$ ${\displaystyle \chi :G\to \mathbb {C} }$

Para demostrar esto, recordemos que un carácter de un grupo finito es un homomorfismo de al grupo multiplicativo de números complejos de norma 1. Entonces, para cualquier función , Cuando con la medida de Lebesgue , y , una función definida positiva en es una función continua tal que para cada función continua con soporte compacto. ${\estilo de visualización G}$${\estilo de visualización G}$${\displaystyle h:G\to \mathbb {C} }$$${\displaystyle \sum _{s,t\in G}\chi (s^{-1}t)h(t){\overline {h(s)}}=\sum _{s,t\in G}\chi (s^{-1})h(t)\chi (t){\overline {h(s)}}=\sum _{s}\chi (s^{-1}){\overline {h(s)}}\sum _{t}h(t)\chi (t)=\left|\sum _{t}h(t)\chi (t)\right|^{2}\geq 0.}$$${\displaystyle G=\mathbb {R} ^{n}}$${\displaystyle H=\mathbb {C} ^{m}}$${\estilo de visualización G}$${\displaystyle F:\mathbb {R} ^{n}\to \mathbb {C} ^{m\times m}}$$${\displaystyle \int _{x,y\in \mathbb {R} ^{n}}h(x)^{\dagger }F(xy)h(y)\;dxdy\geq 0}$$${\displaystyle h:\mathbb {R} ^{n}\to \mathbb {C} ^{m}}$

Una representación unitaria es un homomorfismo unitario donde es un operador unitario para todo . Para tal , . ${\displaystyle \Phi :G\to L(H)}$${\displaystyle \Phi (s)}$${\displaystyle s}$${\displaystyle \Phi }$${\displaystyle \Phi (s^{-1})=\Phi (s)^{*}}$

Las funciones definidas positivas de están íntimamente relacionadas con las representaciones unitarias de . Toda representación unitaria de da lugar a una familia de funciones definidas positivas. Por el contrario, dada una función definida positiva, se puede definir una representación unitaria de de forma natural. ${\displaystyle G}$${\displaystyle G}$${\displaystyle G}$${\displaystyle G}$

Sea una representación unitaria de . Si es la proyección sobre un subespacio cerrado de . Entonces es una función definida positiva en con valores en . Esto se puede demostrar fácilmente: ${\displaystyle \Phi :G\to L(H)}$${\displaystyle G}$${\displaystyle P\in L(H)}$${\displaystyle H'}$${\displaystyle H}$${\displaystyle F(s)=P\Phi (s)}$${\displaystyle G}$${\displaystyle L(H')}$

${\displaystyle {\begin{aligned}\sum _{s,t\in G}\langle F(s^{-1}t)h(t),h(s)\rangle &=\sum _{s,t\in G}\langle P\Phi (s^{-1}t)h(t),h(s)\rangle \\{}&=\sum _{s,t\in G}\langle \Phi (t)h(t),\Phi (s)h(s)\rangle \\{}&=\left\langle \sum _{t\in G}\Phi (t)h(t),\sum _{s\in G}\Phi (s)h(s)\right\rangle \\{}&\geq 0\end{aligned}}}$

para cada uno con soporte finito. Si tiene una topología y es débilmente (o fuertemente) continua, entonces claramente también lo es . ${\displaystyle h:G\to H'}$${\displaystyle G}$${\displaystyle \Phi }$${\displaystyle F}$

Por otra parte, consideremos ahora una función definida positiva en . Una representación unitaria de se puede obtener de la siguiente manera. Sea la familia de funciones con soporte finito. El núcleo positivo correspondiente define un producto interno (posiblemente degenerado) en . Sea el espacio de Hilbert resultante denotado por . ${\displaystyle F}$${\displaystyle G}$${\displaystyle G}$${\displaystyle C_{00}(G,H)}$${\displaystyle h:G\to H}$${\displaystyle K(s,t)=F(s^{-1}t)}$${\displaystyle C_{00}(G,H)}$${\displaystyle V}$

Observamos que los "elementos de la matriz" para todos en . Por lo tanto, se conserva el producto interno en , es decir, es unitario en . Está claro que la función es una representación de en . ${\displaystyle K(s,t)=K(a^{-1}s,a^{-1}t)}$${\displaystyle a,s,t}$${\displaystyle G}$${\displaystyle U_{a}h(s)=h(a^{-1}s)}$${\displaystyle V}$${\displaystyle L(V)}$${\displaystyle \Phi (a)=U_{a}}$${\displaystyle G}$${\displaystyle V}$

La representación unitaria es única, hasta el isomorfismo del espacio de Hilbert, siempre que se cumpla la siguiente condición de minimalidad:

${\displaystyle V=\bigvee _{s\in G}\Phi (s)H}$

donde denota el cierre del tramo lineal. ${\displaystyle \bigvee }$

Identifiquemos como elementos (posiblemente clases de equivalencia) en , cuyo soporte consiste en el elemento identidad , y sea la proyección sobre este subespacio. Entonces tenemos para todo . ${\displaystyle H}$${\displaystyle V}$${\displaystyle e\in G}$${\displaystyle P}$${\displaystyle PU_{a}P=F(a)}$${\displaystyle a\in G}$

Sea el grupo aditivo de los números enteros . El núcleo se denomina núcleo de tipo Toeplitz , por analogía con las matrices de Toeplitz . Si tiene la forma donde es un operador acotado que actúa sobre algún espacio de Hilbert. Se puede demostrar que el núcleo es positivo si y solo si es una contracción . Por la discusión de la sección anterior, tenemos una representación unitaria de , para un operador unitario . Además, la propiedad ahora se traduce a . Este es precisamente el teorema de dilatación de Sz.-Nagy y sugiere una importante caracterización teórica de la dilatación de la positividad que conduce a una parametrización de núcleos arbitrarios positivos definidos. ${\displaystyle G}$${\displaystyle \mathbb {Z} }$${\displaystyle K(n,m)=F(m-n)}$${\displaystyle F}$${\displaystyle F(n)=T^{n}}$${\displaystyle T}$${\displaystyle K(n,m)}$${\displaystyle T}$${\displaystyle \mathbb {Z} }$${\displaystyle \Phi (n)=U^{n}}$${\displaystyle U}$${\displaystyle PU_{a}P=F(a)}$${\displaystyle PU^{n}P=T^{n}}$

• Berg, Christian; Christensen, Paul; Ressel (1984). Análisis armónico en semigrupos . Textos de posgrado en matemáticas. Vol. 100. Springer Verlag.
• Constantinescu, T. (1996). Parámetros de Schur, problemas de dilatación y factorización . Birkhauser Verlag.
• Sz.-Nagy, B.; Foias, C. (1970). Análisis armónico de operadores en el espacio de Hilbert . Holanda Septentrional.
• Sasvári, Z. (1994). Funciones Positivas Definidas y Definitizables . Akademie Verlag.
• pozos, JH; Williams, LR (1975). Incrustaciones y extensiones en el análisis . Ergebnisse der Mathematik und ihrer Grenzgebiete. vol. 84. Nueva York-Heidelberg: Springer-Verlag. págs. vii+108.