Related papers: Order-Preserving Variants of The Basic Principles …
It is the purpose of this article to outline a course that can be given to engineers looking for an understandable mathematical description of the foundations of distribution theory and the necessary functional analytic methods. Arguably,…
Operator $k$-tone functions on an open interval of the real line, which are higher order extensions of operator monotone and convex functions, are characterized via certain inequalities for the real and imaginary parts of analytic…
An order theoretic and algebraic framework for the extended real numbers is established which includes extensions of the usual difference to expressions involving $-\infty$ and/or $+\infty$, so-called residuations. Based on this,…
Utilizing the notion of uniform equicontinuity for sequences of functions with the values in the space of measurable operators, we present a non-commutative version of the Banach Principle for $L^\infty$.
In this paper, we present a study on the Ulam-Hyers and Ulam-Hyers-Rassias stabilities of the solution of the fractional functional differential equation using the Banach fixed point theorem.
Let $E$ be a real Banach space. For $x,y \in E,$ we follow R.James in saying that $x$ is orthogonal to $y$ if $\|x+\alpha y\|\geq \|x\|$ for every $\alpha \in R$. We prove that every operator from $E$ into itself preserving orthogonality is…
This paper is devoted to studying the first-order variational analysis of non-convex and non-differentiable functions that may not be subdifferentially regular. To achieve this goal, we entirely rely on two concepts of directional…
In this paper we give a new proof, relying on Banach's contraction mapping principle, of a celebrated theorem of Andr\'e Bloch. Also, via the same contraction mapping principle, we give a proof of a Bloch type theorem for normalised Wu…
We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general term-orderings (instead of level mappings), like it is done in transformational approaches to logic program…
This study presents new estimates for fractional derivatives without singular kernels defined by some specific functions. Based on obtained inequalities, we give a useful method to establish the global stability of steady states for…
Variational principles are proved for self-adjoint operator functions arising from variational evolution equations of the form \[ \langle\ddot{z}(t),y \rangle + \mathfrak{d}[\dot{z} (t), y] + \mathfrak{a}_0 [z(t),y] = 0. \] Here…
We study how linear orders can be employed to realise choice functions for which the set of potential choices is restricted, i.e., the possible choice is not possible among the full powerset of all alternatives. In such restricted settings,…
We develop a general, functional calculus approach to approximation of $C_0$-semigroups on Banach spaces by bounded completely monotone functions of their generators. The approach comprises most of well-known approximation formulas, yields…
First-order learning involves finding a clause-form definition of a relation from examples of the relation and relevant background information. In this paper, a particular first-order learning system is modified to customize it for finding…
In this paper we give a generalization and improvement of the Pavlovi\'{c} result on the characterization of continuously differentiable functions in the Bloch space on the unit ball in $\mathbb{R}^m$. Then we derive a Holland--Walsh type…
It is the purpose of this article to compare various concepts of ``function spaces''. In particular we compare notions of the concept of Banach Function Spaces (in the spirit of Luxemburg-Zaanen) to the setting of solid BF-spaces as it is…
This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on…
We prove that the coordinate functionals associated with filter bases in Banach spaces are continuous as long as the underlying filter is analytic. This removes the large-cardinal hypothesis from the result established by the two last-named…
We present a novel approach for deriving KAM-type linearization theorems directly -- and almost immediately -- from the existence of the stable foliation for a renormalization operator. We give a few illustrations in dynamics in one and…
A branch of generalizations of the Banach Fixed Point Theorem replaces contractivity by a weaker but still effective property. The aim of the present note is to extend the contraction principle in this spirit for such complete semimetric…