Related papers: On the boundedness of certain generalized Hilbert …

We propose a new viewpoint on Hilbert scales extending them by means of all Hilbert spaces that are interpolation ones between spaces on the scale. We prove that this extension admits an explicit description with the help of…

Our main theorem is in the generality of the axioms of Hilbert space, and the theory of unbounded operators. Consider two Hilbert spaces such that their intersection contains a fixed vector space D. It is of interest to make a precise…

The Hilbert metric between two points $x,y$ in a bounded convex domain $G$ is defined as the logarithm of the cross-ratio of $x,y$ and the intersection points of the Euclidean line passing through the points $x,y$ and the boundary of the…

Using a representation of the discrete Hilbert transform in terms of martingales arising from Doob $h$-processes, we prove that its $l^p$-norm, $1<p<\infty$, is bounded above by the $L^p$-norm of the continuous Hilbert transform. Together…

Let H be a separable Hilbert space with a fixed orthonormal basis (e_n), n>=1, and B(H) be the full von Neumann algebra of the bounded linear operators T: H -> H. Identifying l^\infty = C(\beta N) with the diagonal operators, we consider…

Let $\mathcal{O} \subset \mathbb{R}^d$ be a bounded domain of class $C^2$. In the Hilbert space $L_2(\mathcal{O};\mathbb{C}^n)$, we consider a matrix elliptic second order differential operator $\mathcal{A}_{D,\varepsilon}$ with the…

We prove that averaging operators are uniformly bounded on $L^1$ for all geometrically doubling metric measure spaces, with bounds independent of the measure. From this result, the $L^1$ convergence of averages as $r \to 0$ immediately…

For a limited range of indices $p$, we obtain $L^p(\mathbb{R}^n)$ boundedness for singular integral operators whose kernels satisfy a condition weaker than the typical H\"ormander smoothness estimate. These operators are assumed to be…

We build a solvability theory of elliptic boundary-value problems in normed Sobolev spaces of generalized smoothness for any integrability exponent $p>1$. The smoothness is given by a number parameter and a supplementary function parameter…

In this paper we give necessary and sufficient conditions for a bounded linear Hilbert space operator to be an $m$-isometry for an unspecified $m$ written in terms of conditions that are applied to "one vector at a time". We provide…

Several refinements of norm and numerical radius inequalities of bounded linear operators on a complex Hilbert space are given. In particular, we show that if $A$ is a bounded linear operator on a complex Hilbert space, then $$…

Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…

Let $(X,d,\mu)$ be a space of homogeneous type and $p(\cdot):X\to[1,\infty]$ be a variable exponent. We show that if the measure $\mu$ is Borel-semiregular and reverse doubling, then the condition ${\rm ess\,inf}_{x\in X}p(x)>1$ is…

We show that an infinite Toeplitz+Hankel matrix $T(\varphi) + H(\psi)$ generates a bounded (compact) operator on $\ell^p(\mathbb{N}_0)$ with $1\leq p\leq \infty$ if and only if both $T(\varphi)$ and $H(\psi)$ are bounded (compact). We also…

We consider the higher order Schr\"odinger operator $H=(-\Delta)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>2m$, $m\in \mathbb N$ when $H$ has a threshold eigenvalue. We adapt our recent results for $m\geq 1$ when…

We study mapping properties of the centered Hardy--Littlewood maximal operator $\mathcal{M}$ acting on Lorentz spaces. Given $p \in (1,\infty)$ and a metric measure space $\mathfrak{X}$ we let $\Omega^p_{\rm HL}(\mathfrak{X}) \subset…

Boundedness of an abstract formulation of Hardy operators between Lebesgue spaces over general measure spaces is studied and, when the domain is L^1, shown to be equivalent to the existence of a Hardy inequality on the half line with…

We introduce a generalized inverse Gaussian setting and consider the maximal operator associated with the natural analogue of a nonsymmetric Ornstein--Uhlenbeck semigroup. We prove that it is bounded on $L^{p}$ when $p\in (1,\infty]$ and…

Regularity estimates for an integral operator with a symmetric continuous kernel on a convex bounded domain are derived. The covariance of a mean-square continuous random field on the domain is an example of such an operator. The estimates…

$L^p$ boundedness of the circular maximal function $\mathcal M_{\mathbb{H}^1}$ on the Heisenberg group $\mathbb{H}^1$ has received considerable attentions. While the problem still remains open, $L^p$ boundedness of $\mathcal…