Related papers: Theorem of completeness for a Dirac-type operator …
Building on \'Esik and Kuich's completeness result for finitely weighted Kleene algebra, we establish relational and language completeness results for finitely weighted Kleene algebra with tests. Similarly as \'Esik and Kuich, we assume…
In this article we introduce a dual of the uniform boundedness principle which does not require completeness and gives an indirect means for testing the boundedness of a set. The dual principle, although known to the analyst and despite its…
We extend the concept of conditional supremum to the measure-free setting of Riesz spaces via the conditional expectation operator. We explore its properties and show how this tool is crucial in generalizing various results across multiple…
We discuss how to generalize a Dirac operator such that the solution of a Dirac equation is of bounded variation rather than continuous. We build the spectral theory for generalized Dirac operators and discuss the connection between them…
We consider Dirac operators on the half-line, subject to generalised infinite-mass boundary conditions. We derive sufficient conditions which guarantee the stability of the spectrum against possibly non-self-adjoint potential perturbations…
In this Letter the bound states of (2+1) Dirac equation with the cylindrically symmetric $\delta (r-r_{0})$-potential are discussed. It is surprisingly found that the relation between the radial functions at two sides of $r_{0}$ can be…
This paper extends the Concentration-Compactness Principle to Musielak-Orlicz spaces, working in both bounded and unbounded domains. We show that our results include important special cases like classical Orlicz spaces, variable exponent…
We revisit a recent discussion about the boundary condition at the origin in the Schroedinger radial equation for central potentials. Using a slight modification of the usual spherical coordinates, the origin of a previously reported Dirac…
A theorem that is of aid in computing the domain of the adjoint operator is provided. It may serve e.g. as a criterion for selfadjointness of a symmetric operator, for normality of a formally normal operator or for $H$--selfadjointness of…
For a noncommutative Orlicz space associated with a semifnite von Neumann algebra, a faithful normal semifnite trace and an Orlicz function satisfying $(\delta_2,\Delta_2)-$condition, an individual ergodic theorem is proved.
This work advances knowledge of the threshold of prox-boundedness of a function; an important concern in the use of proximal point optimization algorithms and in determining the existence of the Moreau envelope of the function. In finite…
We solve the problem of constructing a genus-zero full conformal field theory (a conformal field theory on genus-zero Riemann surfaces containing both chiral and antichiral parts) from representations of a simple vertex operator algebra…
In this paper, we consider the nonselfadjoint Sturm Liouville operator with and either periodic, or antiperiodic boundary conditions. We obtain necessary and sufficient conditions for systems of root functions of these operators to be a…
We prove a central limit theorem for Birkhoff sums of the Rosen continued fraction algorithm. A Lasota-Yorke bound is obtained for general one-dimensional continued fractions with the bounded variation space, which implies quasi-compactness…
We consider a class of weighted harmonic functions in the open upper half-plane known as $\alpha$-harmonic functions. Of particular interest is the uniqueness problem for such functions subject to a vanishing Dirichlet boundary value on the…
We develop a finite-dimensional, symmetric matrix framework associated with the Riemann zeta function for complex arguments s with Real(s) unequal 1/2.
The work considers a system of fractional order partial differential equations. The existence and uniqueness theorems for the classical solution of initial-boundary value problems are proved in two cases: 1) the right-hand side of the…
The paper generalizes Lazarus Fuchs' theorem on the solutions of complex ordinary linear differential equations with regular singularities to the case of ground fields of arbitrary characteristic, giving a precise description of the shape…
Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem,…
We study various formulations of the completeness of first-order logic phrased in constructive type theory and mechanised in the Coq proof assistant. Specifically, we examine the completeness of variants of classical and intuitionistic…