Related papers: Theorem of completeness for a Dirac-type operator …

We give a general version of Bryc's theorem valid on any topological space and with any algebra $\mathcal{A}$ of real-valued continuous functions separating the points, or any well-separating class. In absence of exponential tightness, and…

Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…

An integro-differential Dirac system with an integral term in the form of convolution is considered. We suppose that the convolution kernel is known a priori on a part of the interval, and recover it on the remaining part, using a part of…

Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely…

In this paper we use a dynamical approach to prove some new divergence theorems on complete non-compact Riemannian manifolds.

For a closed densely defined operator $T$ from a Hilbert space $\mathfrak{H}$ to a Hilbert space $\mathfrak{K}$, necessary and sufficient conditions are established for the factorization of $T$ with a bounded nonnegative operator $X$ on…

We give a characterization of those functions whose all translates are complete in certain Orlicz space $L^{\Phi}(\mathbb{R})$. As a consequence, we identified those discrete sets $\Lambda \subseteq \mathbb{R}$ such that there exists a…

A resonance theorem providing existence of functions that are counterexamples for all members of a given family of translation invariant differentiation bases is proved. Applications of the theorem to Zygmund problem on a choice of…

The classical concept of bounded completeness and its relation to sufficiency and ancillarity play a fundamental role in unbiased estimation, unbiased testing, and the validity of inference in the presence of nuisance parameters. In this…

In this paper, we establish a priori estimates for a class of fully nonlinear equations with Neumann boundary conditions. By the continuity method, we have obtained the existence theorem for the Neumann problem.

Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this…

The definition of a non-trivial space of generalized functions of a complex variable allowing to consider derivatives of continuous functions is a non-obvious task, e.g. because of Morera theorem, because distributional Cauchy-Riemann…

In this paper, we prove that a sequence of generalized eigenvectors of a linear unbounded operator associated with an Euler-Bernoulli beam equation under bending moment boundary feedback forms a Riesz basis for the underlying state Hilbert…

We investigate the relation between the Riesz and the B{\'a}ez-Duarte criterion for the Riemann Hypothesis. In particular we present the relation between the function $R(x)$ appearing in the Riesz criterion and the sequence $c_k$ appearing…

In this paper, we obtain two Lichnerowicz type formulas for the Dirac-Witten operators. And we give the proof of Kastler-Kalau-Walze type theorems for the Dirac-Witten operators on 4-dimensional and 6- dimensional compact manifolds with…

Using recent advances in integration theory, we give a proof of the fundamental theorem of geometric calculus. We assume only that the tangential derivative $\nabla_VF$ exists and is Lebesgue integrable. We also give sufficient conditions…

This paper is a summary of the general approach outlined in my previous papers toward proving the riemann hypothesis. Numerical and graphical proof of the Riemann Hypothesis is presented with analytical arguments although more work needs…

Axioms are presented which encapsulate the properties satisfied by categories of games which form the basis of results on full abstraction for PCF and other programming languages, and on full completeness for various logics and type…

We introduce a concept, $d$-complete, and show that a Lie algebra is $d$-complete if and only if its full graph is complete.

One dimensional Dirac operators $$ L_{bc}(v) \, y = i \begin{pmatrix} 1 & 0 0 & -1 \end{pmatrix} \frac{dy}{dx} + v(x) y, \quad y = \begin{pmatrix} y_1 y_2 \end{pmatrix}, \quad x\in[0,\pi],$$ considered with $L^2$-potentials $ v(x) =…