Dear MOs,


I am now considering the following norm:


$$
||f||\_{H}^2 := \iint f(x) H(x,y) f(y) d x d y\:.
$$


where the integral is over the whole space $R^{2d}$ and $H(x,y)$ is some non-negative definite kernel. Denote the space of functions with finite $||\cdot ||\_{H}^2$ norm to be $L\_H^2(R^d)$. If $H(x,y)=\delta\_0(x-y)$, then the above norm reduces to the standard $L^2(R^d)$ norm and in this case $L^2(R^d)=L\_{H}^2(R^d)$. For convenience, you can also assume that $H(x,y)$ is non-negative. 


First question
--------------


**Is there a general theory on this space? What are the weakest assumptions we need to put on the kernel $H(x,y)$?** 


Clearly, it can be more than functions, say measure (Dirac delta). I think that (if you assume that $H$ is non-negative) 


* $H(x,y)$ cannot go beyond measures.
* $H(x,y)$ should be locally integrable. (Recall Dirac $\delta$ is locally integrable.)


When $H(x,y)$ has the form $H(x,y) =h(x-y)$ for some function or measure $h$, then there are theories by Gel'fand and Vilenkin ([Generalized functions, Vol.4](http://books.google.ch/books?id=WVJFpwAACAAJ&dq=Generalized+functions,+Vol.4+Gelfand&hl=en&sa=X&ei=dVT1T930C4Gr-gbq8bHhBg&redir_esc=y)) that uses the Fourier transform to find the spectral measure $\mu$ corresponding to $h$: 


$$
||f||\_{h}^2 = \int \widehat{f}(\xi) \overline{\widehat{f}(\xi)} \mu(d \xi)\;,
$$


where $\widehat{f}$ is the Fourier transform of $f$ and the overline is the complex conjugate. 


Second question
---------------


My second question is closely related to my motivation of this post. As we know that, if $f\in L^2(R^d)$,then $f\*J\_\epsilon\in L^2(R^d)$ and also


$$
||J\_\epsilon \* f|| \le ||f||,\quad\text{and}\quad \lim\_{\epsilon\rightarrow 0\_+}||J\_\epsilon\*f-f||=0\;,
$$


where $J$ is a molifier ($J$ is nonnegative, real-valued, belonging to $C^\infty(R^d)$ with compact support, $\int J(x) d x=1$, $J(x)=0$ if $|x|\ge 1$), $J\_\epsilon(x)=\epsilon^{-d}J(x/\epsilon)$ and \* denotes the convolution. The question is whether this result can be extended to the case of $L\_H^2(R^d)$. More precisely, **whether the following statement is true:**




---


If $f\in L^2\_H(R^d)$,then $f\*J\_\epsilon\in L^2\_H(R^d)$ and also 


$$
\lim\_{\epsilon\rightarrow 0\_+}||J\_\epsilon\*f-f||\_H = 0\;.
$$




---


Certainly, we need to put appropriate assumptions on $H$, which is related to the first question.


Thank you very much for any hints and help! :-)


Anand



Ask for theory about the weighted L^2(R^d) space.
Formally, we can define an operator $A$ on $L^2({\bf R}^d)$ by setting $$Af(x) = \int H(x,y)f(y) dy.$$ Then $$\langle Af, f\rangle = \int\int f(x)H(x,y)f(y) dxdy = \|f\|^2\_H$$ (I am assuming real scalars, as I think you are). That is, you are just defining $\|f\|\_H$ to be $\|A^{1/2}f\|$. The kernel $H(x,y) = \delta\_0(x,y)$ corresponds to the case where $A$ is the identity operator.


I don't know if there's a definitive answer to the question of what the weakest possible assumptions on $H$ are, but any bounded positive operator $A$ will define a seminorm by the formula $\|A^{1/2}f\|$. It will be a norm if and only if $A$ has no kernel.


For your second question, as long as $\|J\_\epsilon\*f - f\| \to 0$, we will have $\|A^{1/2}(J\_\epsilon\*f - f)\| \to 0$ for any bounded positive operator $A$, that is, $\|J\_\epsilon\*f - f\|\_H \to 0$.


I guess the point is that your problem can be approached by looking at whether integrating against $H$ defines a bounded operator on $L^2({\bf R}^d)$.


