The main aim of this short paper is to study Riesz potentials on one-mode interacting Fock spaces equipped with deformed annihilation, creation, and neutral operators with constants $c_{0,0},c_{1,1}\in ℝ$ and $c_{0,1}>0$, $c_{1,2}\ge 0$ as in equations (1.4)-(1.6). First, to emphasize the importance of these constants, we summarize our previous results on the Hilbert space of analytic L² functions with respect to a probability measure on ℂ. Then we consider the Riesz kernels of order 2α, $\alpha =c_{0,1}/c_{1,2}$, on ℂ if $0<c_{0,1}<c_{1,2}$, which can be derived from the Bessel...

Nous étudions les sous-espaces biinvariants du shift usuel sur les espaces à poids$$L_{\omega }^2=\left\{f\in L^2\left(𝕋\right):\parallel f{\parallel }_{\omega }={\left(\sum _{n\in \mathbb{Z}}\left|f\left(n\right)\right|{\omega }^2\left(n\right)\right)}^{1/2}\&lt;+\infty \right\},$$où $\omega \left(n\right)=(1+n{)}^p,n\ge 0$ et $\frac{\omega \left(n\right)}{(1+|n|{)}^p}\overrightarrow{n\to -\infty }+\infty$, pour un certain entier $p\ge 1$. Nous montrons que la trace analytique de tout sous-espace biinvariant est de type spectral, lorsque ${\sum }_{n\ge 2}\frac{1}{nlog\omega (-n)}$ diverge, mais que ceci n’est plus valable lorsque ${\sum }_{n\ge 2}\frac{1}{nlog\omega (-n)}$ converge.

Let $D$ be a domain in $C^2$. Given $w\in C$, set $D_w=\left\{z\in C\mid \left(z,w\right)\in D\right\}$. If $f$ is a holomorphic and square-integrable function in $D$, then the set $E\left(D,f\right)$ of all $w$ such that $f(\cdot ,w)$ is not square-integrable in $D_w$ has measure zero. We call this set the exceptional set for $f$. In this Note we prove that whenever $0<r<1$ there exists a holomorphic square-integrable function $f$ in the unit ball $B$ in $C^2$ such that $E\left(B,f\right)$ is the circle $C\left(0,r\right)=\left\{z\in C\mid \left|z\right|=r\right\}$.

In this article, we prove the first mean value theorem for integrals [16]. The formalization of various theorems about the properties of the Lebesgue integral is also presented.MML identifier: MESFUNC7, version: 7.8.09 4.97.1001

In this article we prove the Monotone Convergence Theorem [16].MML identifier: MESFUNC9, version: 7.8.10 4.100.1011

In this article, the orthogonal projection and the Riesz representation theorem are mainly formalized. In the first section, we defined the norm of elements on real Hilbert spaces, and defined Mizar functor RUSp2RNSp, real normed spaces as real Hilbert spaces. By this definition, we regarded sequences of real Hilbert spaces as sequences of real normed spaces, and proved some properties of real Hilbert spaces. Furthermore, we defined the continuity and the Lipschitz the continuity of functionals...

We link together three themes which had remained separated so far: the Hilbert space properties of the Riemann zeros, the “dual Poisson formula” of Duffin-Weinberger (also named by us co-Poisson formula), and the “Sonine spaces” of entire functions defined and studied by de Branges. We determine in which (extended) Sonine spaces the zeros define a complete, or minimal, system. We obtain some general results dealing with the distribution of the zeros of the de-Branges-Sonine entire functions. We...

Let $H\left(K\right)$ be the Hilbert space with reproducing kernel $K$. This paper characterizes some sufficient conditions for a sequence to be a universal interpolating sequence for $H\left(K\right)$.