Results 81 to 90 of about 295,971 (251)
Some asymptotic fixed point theorems [PDF]
Transactions of the American Mathematical Society, 1972 By an asymptotic fixed point theorem we mean a theorem in functional analysis in which the existence of fixed points of a map f f is established with the aid of assumptions on the iterates f n {f^n} of f f .
openaire +2 more sources
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Communications, Faculty Of Science, University of Ankara Series A1Mathematics and Statistics, 1983 The authors prove fixed point theorems for single-valued and multi-valued mappings satisfying a rational inequality. The results are of the following type: Let \(T: X\to X\) be an orbitally continuous mapping on a metric space such that \[ (i)\quad d(Tx,Ty)
Khan, M. S., Swaleh, M., Imdad, M.
openaire +3 more sources
Advanced Science, EarlyView.This study addresses the core scientific question of atomic‐scale structural units and their assembly mechanisms by integrating ion implantation technology— originally developed in nuclear physics research—with flexible intelligent polymers. Through this interdisciplinary approach, we have enabled on‐demand customization of surface functionalities and ...
Yi Chen +11 more
wiley +1 more source
On a fixed point theorem Krasnoselskii-Shafer type
Electronic Journal of Qualitative Theory of Differential Equations, 2002 In this paper a variant of a fixed point theorem to Krasnoselskii-Schaefer type is proved and it is further applied to certain nonlinear integral equation of mixed type for proving the existence of the solution.
Bapurao Dhage
doaj +1 more source
Handel’s fixed point theorem revisited [PDF]
Ergodic Theory and Dynamical Systems, 2012 AbstractMichael Handel proved in [A fixed-point theorem for planar homeomorphisms. Topology38 (1999), 235–264] the existence of a fixed point for an orientation-preserving homeomorphism of the open unit disk that can be extended to the closed disk, provided that it has points whose orbits form an oriented cycle of links at infinity.
openaire +2 more sources
Rib‐Reinforced Ultralight and Ultra‐Strong Shell Lattices
Advanced Science, EarlyView.This study thoroughly reveals the relation between the curvature and stress direction of triply periodic minimal surface (TPMS) thin shell lattices and proposes a novel rib reinforcement design strategy to incorporate ribs along the line of asymptotes (LOA) and the line of principal curvatures (LOC) to enhance the strength of ultralight TPMS shell ...
Winston Wai Shing Ma +6 more
wiley +1 more source
Fixed-point-like theorems on subspaces
Fixed Point Theory and Applications, 2004 We prove a fixed-point-like theorem for multivalued mappings defined on the finite Cartesian product of Grassmannian manifolds and convex sets. Our result generalizes two different kinds of theorems: the fixed-point-like theorem by Hirsch et al.
Bernard Cornet, Philippe Bich
doaj +1 more source
Fixed point theorem utilizing operators and functionals
Electronic Journal of Qualitative Theory of Differential Equations, 2012 This paper presents a fixed point theorem utilizing operators and functionals in the spirit of the original Leggett-Williams fixed point theorem which is void of any invariance-like conditions.
Douglas Anderson +3 more
doaj +1 more source
A fixed point theorem of Banach--Caccioppoli type on a class of generalized metric spaces
Publicationes mathematicae (Debrecen), 2000 We give a fixed point theorem related to the contraction mapping principle of Banach and Caccioppoli; here we have considered generalized metric spaces, that is metric spaces with the triangular inequality replaced by similar ones which involve four or ...
A. Branciari
semanticscholar +1 more source