Related papers: Theorem of completeness for a Dirac-type operator …
The Riemann hypothesis (RH) is well known. In this paper we would show some sufficient conditions for the RH. The first condition is related with the sum of divisors function and another one is related with the Chebyshev's function.
We derive completeness criteria for sequences of functions of the form $% f(x\lambda_{n})$, where $\lambda_{n}$ is the $nth$ zero of a suitably chosen entire function. Using these criteria, we construct systems of nonorthogonal…
Recent research has shown that the properties of overcomplete Gabor frames and frames arising from shift-invariant systems form a precise match with certain conditions that are necessary for a frame in $L^2(\mathbf R)$ to have a…
We prove a multilinear local $T(b)$ theorem that differs from previously considered multilinear local $T(b)$ theorems in using exclusively general testing functions $b$ as opposed to a mix of general testing functions and indicator…
A local existence and uniqueness theorem for ODEs in the special algebra of generalized functions is established, as well as versions including parameters and dependence on initial values in the generalized sense. Finally, a Frobenius…
This is a study of S. Kripke's notion of fulfilment. Motivated by Paris-Harrington statement, Kripke was looking for a proof of G\"odel's Incompleteness Theorem which was model-theoretic, natural (without self-reference), and easy.…
In [1] M. Baker and S. Norine developed a theory of divisors and linear systems on graphs, and proved a Riemann-Roch Theorem for these objects (conceived as integer-valued functions on the vertices). In [2] and [3] the authors generalized…
A simple radiation condition at infinity for time-harmonic massive Dirac spinors is proposed. This condition allows an analogue of the Cauchy integral formula in unbounded domains for null-solutions of the Dirac equation to be proved. The…
We introduce the completeness problem for Modal Logic and examine its complexity. For a definition of completeness for formulas, given a formula of a modal logic, the completeness problem asks whether the formula is complete for that logic.…
In this short paper we show a sufficient condition for the solvability of the Dirichlet problem at infinity in Riemannian cones (as defined below).This condition is related to a celebrated result of Milnor that classifies parabolic…
In the present paper the unconditional convergence and the invertibility of multipliers is investigated. Multipliers are operators created by (frame-like) analysis, multiplication by a fixed symbol, and resynthesis. Sufficient and/or…
We give a sufficient condition for Kripke completeness of modal logics enriched with the transitive closure modality. More precisely, we show that if a logic admits what we call definable filtration (ADF), then such an expansion of the…
We develop a general form of the Ritz method for trial functions that do not satisfy the essential boundary conditions. The idea is to treat the latter as variational constraints and remove them using the Lagrange multipliers. In…
In this work we investigate the transfer of fundamental order and completeness properties between truncated Riesz spaces and their unitizations. Specifically, we provide characterizations and equivalences for several notions of…
Several spectra of analytically Riesz operators will be characterized. These results will led to prove Weyl and Browder type theorems for the aforementioned class of operators.
We prove a Feynman-Kac formula for differential forms satisfying absolute boundary conditions on Riemannian manifolds with boundary and of bounded geometry. We use this to construct $L^2$ harmonic forms out of bounded ones on the universal…
Using Weitzenb\"ock techniques on any compact Riemannian spin manifold we derive inequalities that involve a real parameter and join the eigenvalues of the Dirac operator with curvature terms. The discussion of these inequalities yields…
We introduce the notion of being Weihrauch-complete for layerwise computability and provide several natural examples related to complex oscillations, the law of the iterated logarithm and Birkhoff's theorem. We also consider hitting time…
We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…
The exact Foldy-Wouthuysen transformation is performed in order to study the Dirac field interacting with many possible external fields associated with CPT-Lorentz violation. We also derived the calculation of equations of motion as well as…