Related papers: Theorem of completeness for a Dirac-type operator …
A Dirac operator on a complete manifold is Fredholm if it is invertible outside a compact set. Assuming a compact group to act on all relevant structure, and the manifold to have a warped product structure outside such a compact set, we…
We construct a single explicit entire function $\Xi_c(s)$ of order 1, with all zeros provably on $Re(s) = 1/2$, satisfying a functional equation $\Xi_c(s) = \Xi_c(1-s)$, whose normalized form $Z_c(s) =…
The well-known Leibniz theorem (Leibniz Criterion or alternating series test) of convergence of alternating series is generalized for the case when the absolute value of terms of series are "not absolutely monotonously" convergent to zero.…
We prove a quantitative openness theorem for $C^1$ submersions under suitable assumptions on the differential. We then apply our result to a class of exponential maps appearing in Carnot-Carath\'eodory spaces and we improve a classical…
We prove an equivariant Riemann-Roch formula for divisors on algebraic curves over perfect fields. By reduction to the known case of curves over algebraically closed fields, we first show a preliminary formula with coefficients in Q. We…
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…
Under integral restrictions on dilatations, it is proved existence theorems for the degenerate Beltrami equations with two characteristics and, in particular, to the Beltrami equations of the second type that play a great role in many…
Given a compact of ${\bf R}^n$, there is always a doubling measure having it as its support. We use this fact to construct an integral operator that extends differentiable functions defined on any compact set of ${\bf R}^n$ to the whole of…
The necessity of a Maximum Principle arises naturally when one is interested in the study of qualitative properties of solutions to partial differential equations. In general, to ensure the validity of these kind of principles one has to…
This paper introduces a model theory for resolution on Higher Order Hereditarily Harrop formulae (HOHH), the logic underlying the Lambda-Prolog programming language, and proves soundness and completeness of resolution. The semantics and the…
We derive a dyadic model operator for the Riesz vector. We show linear upper $L^p$ bounds for $1 < p < \infty$ between this model operator and the Riesz vector, when applied to functions with values in Banach spaces. By an upper bound we…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
Aldroubi has shown how one can construct any frame $\gtu$ starting with one frame $\ftu $,using a bounded operator $U$ on $l^2(N)$. We study the overcompleteness of the frames in terms of properties of $U$. We also discuss perturbation of…
We consider when the symmetric algebra of an infinite-dimensional Lie algebra, equipped with the natural Poisson bracket, satisfies the ascending chain condition (ACC) on Poisson ideals. We define a combinatorial condition on a graded Lie…
A completeness conjecture is advanced concerning the free small-colimit completion P(A) of a (possibly large) category A. The conjecture is based on the existence of a small generating-cogenerating set of objects in A. We sketch how the…
We prove the existence of Riesz bases of exponentials of L^2(Omega), provided that Omega in R^d is a measurable set of finite and positive measure, not necessarily bounded, that satisfies a multi-tiling condition and an arithmetic property…
We provide some versions of the Zaremba-Hopf-Oleinik boundary point lemma for general elliptic and parabolic equations in divergence form under the sharp requirements on the coefficients of equations and on the boundaries of domains.
We prove a boundedness criterion for a class of dyadic multilinear forms acting on two-dimensional functions. Their structure is more general than the one of classical multilinear Calder\'{o}n-Zygmund operators as several functions can now…
The completeness on the boundary (in the sense of Picone) of certain systems related to the III and IV BVPs for the elasticity system is proved. The completeness is obtained in both $L^p$ ($1\leq 1<\infty$) and uniform norms.
A new criterion is developed which provides a check as to whether a chosen set of polarization observables is complete with respect to the determination of all independent $T$-matrix elements of a reaction of the type $a+b\to c+d+...$. As…