Related papers: Diagonalizing by Fixed-Points
We prove that an interesting result concerning generalized Hyers-Ulam-Rassias stability of a linear functional equation obtained in 2014 by S.M. Jung, D. Popa and M.T. Rassias in Journal of Global Optimization is a particular case of a…
In this paper, we prove a theorem of linearized asymptotic stability for fractional differential equations with a time delay. More precisely, using the method of linearization of a nonlinear equation along an orbit (Lyapunov's first…
We consider a parabolic-like systems of differential equations involving geometrical quantities to examine uniformization theorems for two- and three-dimensional closed orientable manifolds. We find that in the two-dimensional case there is…
Given a diffeomorphism of the plane, which has a periodic orbit, we show how Nielsen fixed point theory can be used to establish the existence of a fixed point which is linked with this periodic orbit.
We give a new proof of Cartan's fixed point theorem using topological fixed point theory. For an odd dimensional, simply connected and complete manifold having non-positive curvature, we further prove that every isometry with finite order…
The Classical Jacobian Conjecture claims that any unramified endomorphism of a complex affine space is an automorphism. In order to embed this conjecture in a geometric environment, where one could enjoy the beauty and the richness of tools…
Fixed point theorems are ubiquitous in economic research. Many studies cite Smithson (1971) ``Fixed points of order preserving multifunctions,'' yet the original proof contains errors. This note presents a new, concise proof and explains…
We prove Banach, Newton-Raphson and Brouwer fixed point theorems in the framework of generalized smooth functions, a minimal extension of Colombeau's theory (and hence of classical distribution theory) which makes it possible to model…
Fixed points for scalar theories in $4-\varepsilon$, $6-\varepsilon$ and $3-\varepsilon$ dimensions are discussed. It is shown how a large range of known fixed points for the four dimensional case can be obtained by using a general…
An aperiodic tile set was first constructed by R.Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics ranging from logic (the Entscheidungsproblem) to physics…
The Jankov (characteristic) formulas were introduced by V.Jankov fifty tears ago in 1963. Nowadays the Jankov (or frame) formulas are used in virtually every branch of propositional logic: intermediate, modal, fuzzy, relevant, many-valued,…
In this paper, we present a general framework for constructively proving the existence and of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. Specifically,…
Knaster-Tarski's theorem, characterising the greatest fixpoint of a monotone function over a complete lattice as the largest post-fixpoint, naturally leads to the so-called coinduction proof principle for showing that some element is below…
Finite-domain constraint satisfaction problems are either solvable by Datalog, or not even expressible in fixed-point logic with counting. The border between the two regimes coincides with an important dichotomy in universal algebra; in…
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of "steps" involved, the physical limit has an operational meaning in agreement with the…
Solomonoff completed the Bayesian framework by providing a rigorous, unique, formal, and universal choice for the model class and the prior. We discuss in breadth how and in which sense universal (non-i.i.d.) sequence prediction solves…
Time's apparent passage has long been debated by philosophers, with no decisive argument for or against its objective existence. In this paper we show that introducing the issue of determinism gives the debate a new, empirical twist. We…
We prove an existence and uniqueness theorem for fixed points of contraction maps in the framework of quantum metric spaces, where distinguishability is defined by the $L^2$ norm: $d_Q(\psi_1,\psi_2) = \|\psi_1 - \psi_2\|$. The result…
After a brief flirtation with logicism in 1917-1920, David Hilbert proposed his own program in the foundations of mathematics in 1920 and developed it, in concert with collaborators such as Paul Bernays and Wilhelm Ackermann, throughout the…
This contribution reports on the continued formalisation of an axiomatic system for Minkowski spacetime (as used in the study of Special Relativity) which is closer in spirit to Hilbert's axiomatic approach to Euclidean geometry than to the…