Results 71 to 80 of about 5,813,281 (301)

Fixed-point-like theorems on subspaces [PDF]

, 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, Bernard Cornet, Philippe Bich, Cornet, Bernard, Philippe Bich, Bich, Philippe   +5 more
core   +1 more source

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

On a fixed point theorem of Greguš

International Journal of Mathematics and Mathematical Sciences, 1986
We consider two selfmaps T and I of a closed convex subset C of a Banach space X which are weakly commuting in X, i.e.‖TIx−ITx‖≤‖Ix−Tx‖   for   any   x   in   X,and satisfy the inequality‖Tx−Ty‖≤a‖Ix−Iy‖+(1−a)max{‖Tx−Ix‖,‖Ty−Iy‖}for all x, y in C, where ...
Brian Fisher, Salvatore Sessa
doaj   +1 more source

FIXED POINT THEOREM FOR MULTIFUNCTIONS

Demonstratio Mathematica, 1984
This paper proves a fixed point theorem for multifunctions by the Ekeland variational principle. As an application a theorem of Lusternik is reobtained, but the argument seems not entirely correct. Using the author's notation, the following counterexample may be considered: \(X=Y\), \(H(x)=x\), \(u=x\), \(T=I\), \(x_ 0=0\). Then p is arbitrary positive,
openaire   +2 more sources

The complexity of Tarski’s fixed point theorem

Theoretical Computer Science, 2008
The Knaster-Tarski theorem says that for every complete lattice \(L\), every order-preserving mapping \(f:L\to L\) has a fixed point. This paper studies the query complexity of this problem. The authors present an algorithm that, for a given complete finite lattice \(L\) and an order-preserving mapping \(f\) of \(L\) given by an oracle, finds a fixed ...
Ching-Lueh Chang, Yuh-Dauh Lyuu, Yen-Wu Ti   +2 more
openaire   +3 more sources

Nonlinear Inequality, Fixed Point and NashEquilibrium [PDF]

In this paper, we give new sufficient conditions for the existence of a solution of theg-maximum equality. As a consequence, we prove a new fixed point theorem.
Moussa Larbani, Rabia Nessah, Tarik Tazdaït   +2 more
core  

New High‐Tc Charge‐Transfer Multiferroicity in the Quasi‐2D Antiferromagnet CrSbS3

Advanced Science, EarlyView.
ABSTRACT Low‐dimensional magnets, particularly 2D systems, offer a rich platform for realizing unconventional multiferroic mechanisms, especially when multiple polarization channels coexist. In the quasi‐2D antiferromagnet CrSbS3, which crystallizes in the centrosymmetric orthorhombic space group Pnma and orders magnetically at TN ≈ 90 K, two ...
Hung‐Cheng Wu, Yu‐Hsin Liao, Chih‐Chung Tsai, Pei‐Ying Yang, Yu‐Hao Chang, Yu‐Hui Liang, D. Chandrasekhar Kakarla, Ajay Tiwari, C. Dhanasekhar, Chin‐Wei Wang, Daisuke Okuyama, Chia‐Nung Kuo, Chin‐Shan Lue, Tzu‐Hsuan Weng, Kung‐Hsuan Lin, Jau‐Wern Chiou, Chi‐Hung Lee, Hung‐Duen Yang   +17 more
wiley   +1 more source

A New Fixed Point Theorem and Applications

Abstract and Applied Analysis, 2013
A new fixed point theorem is established under the setting of a generalized finitely continuous topological space (GFC-space) without the convexity structure. As applications, a weak KKM theorem and a minimax inequalities of Ky Fan type are also obtained
Min Fang, Xie Ping Ding
doaj   +1 more source

Functional Disorder at the Neural Interface: How Disordered Nanostructures Promote Proper Growth and Differentiation in In Vitro Neural Cultures

Advanced Science, EarlyView.
This work provides a practical guide for neuroengineers to design advanced neural interfaces, embracing and tailoring the concept of functional disorder. By bridging 2D and 3D in vitro models, this work highlights how non‐periodic, spatially heterogeneous, multiscale nanotopography can enable more physiologically relevant platforms for studying neural ...
F. Maita, E. Palmieri, I. Lucarini, L. Montaina, L. Maiolo   +4 more
wiley   +1 more source

Application of the omitted ray fixed point theorem

Electronic Journal of Qualitative Theory of Differential Equations, 2014
This paper presents a nontrivial application of the omitted ray fixed point theorem. Existence of solutions arguments to nonlinear boundary value problems utilizing the Krasnoselskii fixed point theorem, Leggett-Williams fixed point theorem and their ...
Douglas Anderson, Richard Avery
doaj   +1 more source