Hilbert Space Of Functions Research Articles

An algebra structure for reproducing kernel Hilbert spaces

Reproducing kernel Hilbert spaces (RKHSs) are Hilbert spaces of functions where pointwise evaluation is continuous. There are known examples of RKHSs that are Banach algebras under pointwise multiplication. These examples are built from weights on the dual of a locally compact abelian group. In this paper we define an algebra structure on an RKHS that is equivalent to subconvolutivity of the weight for known examples (referred to as reproducing kernel Hilbert algebras, or RKHAs). We show that the class of RKHAs is closed under the Hilbert space tensor product and the pullback construction on the category of RKHSs. The subcategory of RKHAs becomes a monoidal category with the spectrum as a monoidal functor to the category of topological spaces. The image of this functor is shown to contain all compact subspaces of Rn for n>00$$\\end{document}]]>.

Wandering subspace property and Beurling-type theorem for doubly commuting n-tuples

The main goal of this article is to study the class of doubly commuting n-tuples satisfying the wandering subspace property and the Beurling-type theorem or admitting a Wold-type decomposition. It is shown that a doubly commuting n-tuple T=(T1,…,Tn) satisfies the wandering subspace property if and only if Ti does for every 1≤i≤n. Applications are given in the case of Hilbert spaces of analytic functions, and various recent results are extended. Several results concerning the Beurling-type theorem for doubly commuting n-tuples are also provided. Finally, in the case where Ti admits a Wold-type decomposition for every i, we show a Wold-type decomposition for the doubly commuting tuples (T1,…,Tn).

Shape Mediation Analysis in Alzheimer's Disease Studies.

As a crucial tool in neuroscience, mediation analysis has been developed and widely adopted to elucidate the role of intermediary variables derived from neuroimaging data. Typically, structural equation models (SEMs) are employed to investigate the influences of exposures on outcomes, with model coefficients being interpreted as causal effects. While existing SEMs have proven to be effective tools for mediation analysis involving various neuroimaging-related mediators, limited research has explored scenarios where these mediators are derived from the shape space. In addition, the linear relationship assumption adopted in existing SEMs may lead to substantial efficiency losses and decreased predictive accuracy in real-world applications. To address these challenges, we introduce a novel framework for shape mediation analysis, designed to explore the causal relationships between genetic exposures and clinical outcomes, whether mediated or unmediated by shape-related factors while accounting for potential confounding variables. Within our framework, we apply the square-root velocity function to extract elastic shape representations, which reside within the linear Hilbert space of square-integrable functions. Subsequently, we introduce a two-layer shape regression model to characterize the relationships among neurocognitive outcomes, elastic shape mediators, genetic exposures, and clinical confounders. Both estimation and inference procedures are established for unknown parameters along with the corresponding causal estimands. The asymptotic properties of estimated quantities are investigated as well. Both simulated studies and real-data analyses demonstrate the superior performance of our proposed method in terms of estimation accuracy and robustness when compared to existing approaches for estimating causal estimands.

On Pseudo-cyclic Multipliers in Hilbert Function Spaces

Let $\mathcal{H}$ be a separable complete Pick space of continuous functions on a compact set $\Omega$ with multiplier algebra $\mathrm{M}(\mathcal{H})$. The notion of the pseudo-cyclicity is recently defined by Aleman et al. In this short paper, we first extend their definition of the pseudo-cyclic multipliers to all functions $f$ in $\mathcal{H}$. Then we show that whenever one-function corona theorem holds for $\mathrm{M}(\mathcal{H})$ then a function $f$ in $\mathcal{H}$ is in the pseudo-cyclic class $ \mathcal{C}_n(\mathcal{H})$ if and only if $1/f$ is in the corresponding Pick-Smirnov type class $N_n^+(\mathcal{H})$. Furthermore, we show that non-vanishing functions $f \in \mathcal{H}$ are in the class $\mathcal{C}_1(\mathcal{H})$. For functions $\varphi, \psi$ in $\mathrm{M}(\mathcal{H})$, with at least one being in $\mathcal{C}_1(\mathcal{H})$, we also show that the invariant subspace generated by $\varphi \psi$ is equal to the intersection of invariant subspaces generated by $\varphi$ and $ \psi$.

The classical and quantum particle on a flag manifold

Abstract In the present paper we consider two related problems, i.e. the description of geodesics and the calculation of the spectrum of the Laplace–Beltrami operator on a flag manifold. We show that there exists a family of invariant metrics such that both problems can be solved simply and explicitly. In order to determine the spectrum of the Laplace–Beltrami operator, we construct natural, finite-dimensional approximations (of spin chain type) to the Hilbert space of functions on a flag manifold.

Weak and strong convergence theorems for a new class of enriched strictly pseudononspreading mappings in Hilbert spaces

Let Ω be a nonempty closed convex subset of a real Hilbert space H\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$\\mathfrak{H}$\\end{document}. Let ℑ be a nonspreading mapping from Ω into itself. Define two sequences {ψn}n=1∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$\\{\\psi _{{n}}\\}_{n=1}^{\\infty}$\\end{document} and {ϕn}n=1∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$\\{\\phi _{{n}}\\}_{n=1}^{\\infty}$\\end{document} as follows: {ψn+1=πnψn+(1−πn)ℑψn,ϕn=1n∑nt=1ψt,\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document} $$\\begin{aligned} \ extstyle\\begin{cases} \\psi _{n+1}=\\pi _{n}\\psi _{{n}}+(1-\\pi _{n})\\Im \\psi _{{n}}, \\\\ \\phi _{{n}}=\\dfrac{1}{n}\\underset{t=1}{\\overset{n}{\\sum}}\\psi _{t}, \\end{cases}\\displaystyle \\end{aligned}$$ \\end{document} for n∈N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$n\\in \\mathit{N}$\\end{document}, where 0≤πn≤1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$0\\leq \\pi _{n}\\leq 1$\\end{document}, and πn→0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$\\pi _{n} \\rightarrow 0$\\end{document}. In 2010, Kurokawa and Takahashi established weak and strong convergence theorems of the sequences developed from the above Baillion-type iteration method (Nonlinear Anal. 73:1562–1568, 2010). In this paper, we prove weak and strong convergence theorems for a new class of (η,β)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$(\\eta ,\\beta )$\\end{document}-enriched strictly pseudononspreading ((η,β)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$(\\eta ,\\beta )$\\end{document}-ESPN) maps, more general than that studied by Kurokawa and W. Takahashi in the setup of real Hilbert spaces. Further, by means of a robust auxiliary map incorporated in our theorems, the strong convergence of the sequence generated by Halpern-type iterative algorithm is proved thereby resolving in the affirmative the open problem raised by Kurokawa and Takahashi in their concluding remark for the case in which the map ℑ is averaged. Some nontrivial examples are given, and the results obtained extend, improve, and generalize several well-known results in the current literature.

On the optimal rate for the convergence problem in mean field control

The goal of this work is to obtain (nearly) optimal rates for the convergence problem in mean field control. Our analysis covers cases where the solutions to the limiting problem may not be unique nor stable. Equivalently the value function of the limiting problem might not be differentiable on the entire space. Our main result is then to derive sharp rates of convergence in two distinct regimes. First, when the data is sufficiently regular, we obtain rates proportional to N−1/2, with N being the number of particles, and we verify that N−1/2 is indeed optimal in this setting. Second, when the data is merely Lipschitz and semi-concave with respect to the first Wasserstein distance, we obtain rates proportional to N−2/(3d+6). We do not expect this second estimate to be optimal, but it improves substantially on the existing literature. Moreover, we construct an example showing that the optimal rate is no faster than N−1/d, and we conjecture that the optimal rate should indeed be exactly N−1/d (at least when d≥3). The key argument in our approach consists in mollifying the value function of the limiting problem in order to produce functions that are almost classical sub-solutions to the limiting Hamilton-Jacobi equation (which is a PDE set on the space of probability measures). These sub-solutions can be projected onto finite dimensional spaces and then compared with the value functions associated with the particle systems. In the end, this comparison is used to prove the most demanding bound in the estimates. The key challenge therein is thus to exhibit an appropriate form of mollification. We do so by employing sup-convolution within a convenient functional Hilbert space. To make the whole easier, we limit ourselves to the periodic setting. We also provide some examples to show that our results are sharp up to some extent.

Testing covariance separability for continuous functional data

Analyzing the covariance structure of data is a fundamental task of statistics. While this task is simple for low‐dimensional observations, it becomes challenging for more intricate objects, such as multi‐variate functions. Here, the covariance can be so complex that just saving a non‐parametric estimate is impractical and structural assumptions are necessary to tame the model. One popular assumption for space‐time data is separability of the covariance into purely spatial and temporal factors. In this article, we present a new test for separability in the context of dependent functional time series. While most of the related work studies functional data in a Hilbert space of square integrable functions, we model the observations as objects in the space of continuous functions equipped with the supremum norm. We argue that this (mathematically challenging) setup enhances interpretability for users and is more in line with practical preprocessing. Our test statistic measures the maximal deviation between the estimated covariance kernel and a separable approximation. Critical values are obtained by a non‐standard multiplier bootstrap for dependent data. We prove the statistical validity of our approach and demonstrate its practicability in a simulation study and a data example.

Symmetric operator extensions of composites of higher order difference operators

In this paper we have considered two higher order difference operators generated by two higher order difference functions on the Hilbert space of square summable functions. By allowing the leading coefficients to be unbounded and the other coefficients as constant functions, we have shown that the composites of two symmetric difference operators are symmetric if the leading coefficients are scalar multiple of each other and the common divisor of their orders is 1. Using examples, we have shown that these conditions of symmetry cannot be weakened. Furthermore, We have shown that the deficiency indices of the composites is equal to the sum of the deficiency indices of the individual operators and that the spectra of the self-adjoint operator extensions is the whole of the real line.

From Schrödinger equation to tempered distribution space on Minkowski chronotope and Schwartz Linear Algebra

In this paper, we propose a rational and almost obliged path leading us from the most natural assumption regarding the SchrÅNodinger wave functions (wave functions classically belonging to the domain of the classic Schrödinger equation) to the space of tempered distributions defined upon the Minkowski space time. It’s extremely natural to consider the space E of complex valued smooth functions as the natural domain of the Schrödinger equation, as it was the obvious implicit assumption of any partial differential equation with constant coefficients at the time of Schrödinger himself. The orthodox Born interpretation of the normalized wave functions and the intervention of von Neumann (a Hilbert‘s pupil) have deviated the straightforward understanding of that domain towards the unnecessary and unnatural Hilbert space L2. The Hilbert space of square integrable functions is clearly incompatible with any partial differential equation, which would require at least Sobolev Spaces to live in; unfortunately, the inner product of the Sobolev space H2 is not good for quantum mechanics and the de Broglie solutions of the Schrödinger equation do not belong to L2. We show in this article that moving inside the very good space E - and finally inside the huge tempered distribution space S′ - represents the first framework in which any desirable property of the key characters and actors of basic Quantum Mechanics is satisfied.

Berezin radius inequalities for finite sums of functional Hilbert space operators

This work presents applications of certain functions to Berezin radius inequalities, as well as further proofs of inequalities linking them. We also establish new inequalities using the operator on a functional Hilbert space concerning the Berezin radius and Berezin norm of specific finite sums. There are also several Berezin radius inequalities provided.

Orthonormal rational functions on a semi-infinite interval

In this paper we propose a novel family of weighted orthonormal rational functions on a semi-infinite interval. We write a sequence of integer-coefficient polynomials in several forms and derive their corresponding differential equations. These equations do not form Sturm-Liouville problems. We overcome this disadvantage by multiplying some factors, resulting in a sequence of irrational functions. We deduce various generating functions of this sequence and find the associated Sturm-Liouville problems, which bring orthogonality. Then we establish a Hilbert space of functions defined on a semi-infinite interval with an inner product induced by a weight function determined by the Sturm-Liouville problems mentioned above. The even subsequence of the irrational function sequence above forms an orthonormal basis for this space. The Fourier expansions of some power functions are deduced. The sequence of non-positive integer power functions forms a non-orthogonal basis for this Hilbert space. We give two examples, one example of Fourier expansion and one example of interpolation as applications.

Nonexpansiveness and Fractal Maps in Hilbert Spaces

Nonexpansiveness and Fractal Maps in Hilbert Spaces

Analytic representations of backward shifts on weighted Bergman and Dirichlet spaces

The backward shifts (the adjoints of multiplication by z) on weighted Bergman spaces of the unit disk are important in operator theory. For example, Agler [1] shows their restrictions to invariant subspaces of vector-valued weighted Bergman spaces are model operators for hypercontractions. We present analytic representations of backward shifts on weighted Bergman spaces and Dirichlet type spaces. Since these analytic representations are not space specific, it is interesting to study these operators on Hilbert spaces of holomorprhic functions on the unit disk. We initiate this study by developing several properties of these operators. In particular, we obtain simple proofs and extend the invariant subspace theorem of shift plus Volterra operator on the Hardy space by Čučković and Paudyal [16]. Furthermore, we describe invariant subspaces of shift plus Volterra operator on the Bergman space by relating them to the invariant subspaces of the Dirichlet shift. Analytic representations of the tuple of backward shifts on weighted Bergman spaces of the unit ball are also discussed.

Berezin radius type inequalities for functional Hilbert space operators

Berezin radius type inequalities for functional Hilbert space operators

Asymptotically ɑ hemicontractive mappings in Hilbert spaces and a new algorithm for solving associated split common fixed point problem

We introduce a novel class of asymptotically $\alpha-$hemicontractive mappings and demonstrate its relationship with the existing related families of mappings. We establish certain interesting properties of the fixed point set of the new class of mappings. Furthermore, we propose and investigate a new iterative algorithm for solving split common fixed point problem for the new class of mappings. In particular, weak and strong convergence theorems for solving split common fixed point problem for our new class of mappings in Hilbert spaces are proved. Moreover, using our method, we require no prior knowledge of norm of the transfer operator. The results presented in the paper extend and improve the results of Censor and Segal [Censor, Y.; Segal, A. The split common fixed point problem for directed operators. {\it J. Convex Anal.} {\bf 16 } (2009), no. 2, 587–600.], Moudafi [Moudafi, A. The split common fixed-point problem for demicontractive mappings. {\it Inverse Problems} {\bf 26} (2010), no. 5:055007.; Moudafi, A. A note on the split common fixed-point problem for quasi-nonexpansive operators. {\it Nonlinear Anal.} {\bf 74} (2011), no. 12, 4083–4087.], Chima and Osilike [Chima, E. E.; Osilike, M. O. Split common fixed point problem for class of asymptotically hemicontractive mappings. {\it J. Nigerian Math. Soc.} {\bf 38} (2019), no. 3, 363--390.], Fan \textit{et al} [Fan, Q.; Peng, J.; He, H. Weak and strong convergence theorems for the split common fixed point problem with demicontractive operators. {\it Optimization} {\bf 70} (2021), no. 5-6, 1409--1423.] and host of other related results in literature.

Inertial hybrid algorithm for generalized mixed equilibrium problems, zero problems, and fixed points of some nonlinear mappings in the intermediate sense

In this work, we establish the closedness and convexity of the set of fixed points of equally continuous and asymptotically demicontractive mapping in the intermediate sense. We proposed an inertial hybrid projection technique for determining an approximate common solution to three significant problems. The first is the system of generalized mixed equilibrium problems with relaxed monotone mappings, the second is the problem of fixed points of a countable family of equally continuous and asymptotically demicontractive mappings in the intermediate sense, and the third is of determining a point in a null space of a countable family of inverse strongly monotone mappings in Hilbert space. Based on these problems, we formulate a theorem and establish its strong convergence to their common solution. Additionally, we studied the applications of our algorithm to variational inequality problems and convex optimization problems. Finally, we numerically demonstrate the efficiency and robustness of our scheme. Several results available in the literature can be obtained as special cases of our result.

On the extension of singular linear infinite-dimensional Hamiltonian flows

We study the phenomenon of phase trajectories of a Hamiltonian system going to infinity in a finite time, the phase space of which is a separable Hilbert space. It is shown that if the Hamiltonian is a densely defined quadratic form on the phase space, which is not majorized either from below or from above by the quadratic form of the Hilbert norm, then the phase trajectories allow going to infinity in a finite time. To describe the phase flow of such Hamiltonian systems, an extended phase space is introduced, which is a locally convex space to which the Hamiltonian function, trajectories of the Hamiltonian system, and the symplectic form defined on the original Hilbert space can be extended. Flowinvariant measures on extended space are also studied. The properties of the Koopman unitary representation of the extended phase flow in the Hilbert space of functions that are quadratically integrable with respect to an invariant measure are investigated.

On the singularities of distance functions in Hilbert spaces

For a given closed nonempty subset E of a Hilbert space H, the singular set ΣE\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Sigma _E$$\\end{document} consists of the points in H\\E\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$H\\setminus E$$\\end{document} where the distance function dE\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$d_E$$\\end{document} is not Fréchet differentiable. It is known that ΣE\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Sigma _E$$\\end{document} is a weak deformation retract of the open set GE={x∈H:dco¯E(x)<dE(x)}\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal {G}_E=\\{x\\in H: d_{\\overline{{\ ext {co}}}\\,E}(x)< d_E(x)\\}$$\\end{document}. This short paper sheds light on the relationship between the connected components of the three sets ΣE⊂GE⊆H\\E\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Sigma _E\\subset \\mathcal {G}_E\\subseteq H{\\setminus } E$$\\end{document}.

Shadowing for nonuniformly hyperbolic maps in Hilbert spaces

We prove a shadowing lemma for nonuniformly hyperbolic maps in Hilbert spaces. As applications, we firstly prove that the positive Lyapunov exponents of a hyperbolic ergodic measure µ can be approximated by positive Lyapunov exponents of atomic measures on hyperbolic periodic orbits; secondly, give an upper estimation of metric entropy by using the exponential growth rate of the number of such periodic points that their atomic measures approximate µ and their positive Lyapunov exponents approximate the positive Lyapunov exponents of µ.