Skip to main content
Fixed last formula
Source Link
Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176

Define a unitary representation $U$ of $\mathbf R^{2n}$ on $L^2(\mathbf R^n)$ by $(U_{z,y}g)(w)=g(w+z-y)$. (Special case for $G=\mathbf R^n$ of the so-called two-sided regular representation of $G\times G$ on $L^2(G)$.) Then we have \begin{align} (g,U_{z,y}g)&=\int_{\mathbf R^n}\overline{g(w)}g(w+z-y)\,dw\\ &=\int_{\mathbf R^n}\overline{g(x-z)}g(x-y)\,dx\\ &=f(z,y). \end{align} ThereforeThus $f$ is a diagonal matrix coefficient of a unitary representation, and as such is well known to be positive-definite definite: indeed $a_{ij}= f(a_i-a_j)=(U_{a_j}g,U_{a_i}g)$$a_{ij}= f(a_j-a_i)=(U_{a_i}g,U_{a_j}g)$ gives $\sum_{i,j}a_{ij}\bar c_ic_j=\left\|\sum_ic_iU_{a_i}g\right\|^2\geqslant 0$.

Define a unitary representation $U$ of $\mathbf R^{2n}$ on $L^2(\mathbf R^n)$ by $(U_{z,y}g)(w)=g(w+z-y)$. Then we have \begin{align} (g,U_{z,y}g)&=\int_{\mathbf R^n}\overline{g(w)}g(w+z-y)\,dw\\ &=\int_{\mathbf R^n}\overline{g(x-z)}g(x-y)\,dx\\ &=f(z,y). \end{align} Therefore $f$ is a diagonal matrix coefficient of a unitary representation, and as such is well known to be positive-definite: indeed $a_{ij}= f(a_i-a_j)=(U_{a_j}g,U_{a_i}g)$ gives $\sum_{i,j}a_{ij}\bar c_ic_j=\left\|\sum_ic_iU_{a_i}g\right\|^2\geqslant 0$.

Define a unitary representation $U$ of $\mathbf R^{2n}$ on $L^2(\mathbf R^n)$ by $(U_{z,y}g)(w)=g(w+z-y)$. (Special case for $G=\mathbf R^n$ of the so-called two-sided regular representation of $G\times G$ on $L^2(G)$.) Then we have \begin{align} (g,U_{z,y}g)&=\int_{\mathbf R^n}\overline{g(w)}g(w+z-y)\,dw\\ &=\int_{\mathbf R^n}\overline{g(x-z)}g(x-y)\,dx\\ &=f(z,y). \end{align} Thus $f$ is a diagonal matrix coefficient of a unitary representation, and as such is well known to be positive definite: indeed $a_{ij}= f(a_j-a_i)=(U_{a_i}g,U_{a_j}g)$ gives $\sum_{i,j}a_{ij}\bar c_ic_j=\left\|\sum_ic_iU_{a_i}g\right\|^2\geqslant 0$.

added 121 characters in body
Source Link
Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176

Define a unitary representation $U$ of $\mathbf R^{2n}$ on $L^2(\mathbf R^n)$ by $(U_{z,y}g)(w)=g(w+z-y)$. Then we have \begin{align} (g,U_{z,y}g)&=\int_{\mathbf R^n}\overline{g(w)}g(w+z-y)\,dw\\ &=\int_{\mathbf R^n}\overline{g(x-z)}g(x-y)\,dx\\ &=f(z,y). \end{align} Therefore $f$ is a diagonal matrix coefficient of a unitary representation, and as such is well known to be positive-definite: indeed $a_{ij}= f(a_i-a_j)=(U_{a_j}g,U_{a_i}g)$ gives $\sum_{i,j}a_{ij}\bar c_ic_j=\left\|\sum_ic_iU_{a_i}g\right\|^2\geqslant 0$.

Define a representation $U$ of $\mathbf R^{2n}$ on $L^2(\mathbf R^n)$ by $(U_{z,y}g)(w)=g(w+z-y)$. Then we have \begin{align} (g,U_{z,y}g)&=\int_{\mathbf R^n}\overline{g(w)}g(w+z-y)\,dw\\ &=\int_{\mathbf R^n}\overline{g(x-z)}g(x-y)\,dx\\ &=f(z,y). \end{align} Therefore $f$ is a diagonal matrix coefficient of a unitary representation, and as such is well known to be positive-definite.

Define a unitary representation $U$ of $\mathbf R^{2n}$ on $L^2(\mathbf R^n)$ by $(U_{z,y}g)(w)=g(w+z-y)$. Then we have \begin{align} (g,U_{z,y}g)&=\int_{\mathbf R^n}\overline{g(w)}g(w+z-y)\,dw\\ &=\int_{\mathbf R^n}\overline{g(x-z)}g(x-y)\,dx\\ &=f(z,y). \end{align} Therefore $f$ is a diagonal matrix coefficient of a unitary representation, and as such is well known to be positive-definite: indeed $a_{ij}= f(a_i-a_j)=(U_{a_j}g,U_{a_i}g)$ gives $\sum_{i,j}a_{ij}\bar c_ic_j=\left\|\sum_ic_iU_{a_i}g\right\|^2\geqslant 0$.

Source Link
Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176

Define a representation $U$ of $\mathbf R^{2n}$ on $L^2(\mathbf R^n)$ by $(U_{z,y}g)(w)=g(w+z-y)$. Then we have \begin{align} (g,U_{z,y}g)&=\int_{\mathbf R^n}\overline{g(w)}g(w+z-y)\,dw\\ &=\int_{\mathbf R^n}\overline{g(x-z)}g(x-y)\,dx\\ &=f(z,y). \end{align} Therefore $f$ is a diagonal matrix coefficient of a unitary representation, and as such is well known to be positive-definite.