Related papers: Degree theory for discontinuous operators
This paper is devoted to prove the existence of one or multiple solutions of a wide range of nonlinear differential boundary value problems. To this end, we obtain some new fixed point theorems for a class of integral operators. We follow…
We introduce a notion of fractional (noninteger order) derivative on an arbitrary nonempty closed subset of the real numbers (on a time scale). Main properties of the new operator are proved and several illustrative examples given.
We describe a new algorithm for calculating the topological degree deg (f, B, 0) where B \subseteq Rn is a product of closed real intervals and f : B \rightarrow Rn is a real-valued continuous function given in the form of arithmetical…
Let $R$ be an integral domain of characteristic zero. We prove that a function $D\colon R\to R$ is a derivation of order $n$ if and only if $D$ belongs to the closure of the set of differential operators of degree $n$ in the product…
A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…
We define a class of discrete operators acting on infinite, finite or periodic sequences mimicking the standard properties of pseudo-differential operators. In particular we can define the notion of order and regularity, and we recover the…
In this paper we introduce the notion of an operator category and two different models for homotopy theory of $\infty$-operads over an operator category -- one of which extends Lurie's theory of $\infty$-operads, the other of which is…
In this paper, we introduce a new type of Darbo's fixed point theorem by using concept of function sequences with shifting distance property. Afterward, we investigate existence of fixed point under this the theorem. Also we are going to…
We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third…
We introduce a notion of a noncommutative function defined on a domain of $d$-tuples of bounded operators on an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these…
We describe two topologies on the space of unbounded Fredholm operators and we explain their K-theoretic relevance. In the process we also prove a very general result concerning the continuity of families of first order, elliptic boundary…
Understanding degrees of freedom in classical mechanics is fundamental to characterizing physical systems. Counting them is usually easy, especially if we can assign them a clear meaning. However, the precise definition of a degree of…
We develop a theory of k-partitions of the set of infinite words recognizable by classes of finite automata. The theory enables to complete proofs of existing results about topological classifications of the (aperiodic) omega-regular…
We study continuity and boundedness of order-to-topology bounded and order-to topology continuous operators from ordered to topological vector spaces. Several results on automatic continuity of operators from ordered Frechet spaces to…
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
We define the concept of completely regular ordinary differential operators and give various criteria for operators to belong to this class. We give also criteria for Birkhof regularity of ordinary differential operators in terms of the…
It is known for linear operators with polynomial coefficients annihilating a given D-finite function that there is a trade-off between order and degree. Raising the order may give room for lowering the degree. The relationship between order…
We introduce a suitable notion of integral operators (comprising the fractional Laplacian as a particular case) acting on functions with minimal requirements at infinity. For these functions, the classical definition would lead to divergent…
We discuss ways in which momentum operators can be introduced on an oriented metric graph. A necessary condition appears to the balanced property, or a matching between the numbers of incoming and outgoing edges; we show that a graph…
Topological degree theory is a useful tool for studying systems of differential equations. In this work, a biological model is considered. Specifically, we prove the existence of positive T-periodic solutions of a system of delay…