Results 21 to 30 of about 11,066 (183)
Existence of Solutions of a Nonlocal Elliptic System via Galerkin Method
By means of the Galerkin method and by using a suitable version of the Brouwer fixed-point theorem, we establish the existence of at least one positive solution of a nonlocal elliptic N-dimensional system coupled with Dirichlet boundary conditions.
Alberto Cabada +1 more
doaj +1 more source
Positive solutions of a nonlinear algebraic system with sign-changing coefficient matrix
Existence of positive solutions for the nonlinear algebraic system x = λ G F ( x ) $x=\lambda GF ( x ) $ has been extensively studied when the n × n $n\times n$ coefficient matrix G is positive or nonnegative.
Yanping Jia +3 more
doaj +1 more source
A thermostat model described by a second-order fractional difference equation is proposed in this paper with one sensor and two sensors fractional boundary conditions depending on positive parameters by using the Lipschitz-type inequality.
Jehad Alzabut +5 more
doaj +1 more source
Non-constructive complex analysis in Coq [PDF]
Winding numbers are fundamental objects arising in algebraic topology, with many applications in non-constructive complex analysis. We present a formalization in Coq of the wind- ing numbers and their main properties.
core +1 more source
Why and how much the Brouwer's Fixed Point Theorem fails in noncompact setting? [PDF]
The celebrated Brouwer\u2019s Fixed Point Theorem is dated in 1912. Its extension to compact set setting in Banach spaces due to Schauder appeared in 1930. Immediately it raised the question whether the Theorem can be extended to noncompact setting.
CASINI E., GOEBEL K.
core +1 more source
In this paper, we examine the applicability of the Lagrange Multiplier Rule, specifically the Karush–Kuhn–Tucker Theorem, to investigate the existence of fixed points and zeros of certain potential mappings between finite and infinite spaces.
Marek Galewski
doaj +1 more source
Multistability in a Multidirectional Associative Memory Neural Network with Delays
This paper focuses on the multidirectional associative memory (MAM) neural networks with m fields which is more advanced to realize associative memory.
Min Wang, Tiejun Zhou
doaj +1 more source
Interval Arithmetic and Standardization [PDF]
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficiently implemented.
core +1 more source
Modificación del juego del Hex y su aplicación en la prueba del teorema del punto fijo de Brouwer [PDF]
El presente artículo presenta una demostración del teorema del punto fijo de Brouwer utilizando una modificación del juego del Hex o también llamado el juego de Nash.
Cardona García, Francisco Javier +2 more
core +3 more sources
KKM implies the Brouwer fixed point theorem: Another proof
It is well-known that the Brouwer fixed point theorem (BFPT), the weak Sperner combinatorial lemma, and the Knaster-Kuratowski-Mazurkiewicz (KKM) theorem are mutually equivalent and have scores of equivalent formulations and several thousand applications.
Sehie Park
doaj

