scholarly journals Tykhonov triples and convergence results for hemivariational inequalities

2021 ◽  
Vol 26 (2) ◽  
pp. 271-292
Author(s):  
Rong Hu ◽  
Mircea Sofonea ◽  
Yi-Bin Xiao
Keyword(s):  
Mathematical Model ◽  
Banach Space ◽  
Elastic Body ◽  
Metric Space ◽  
Reflexive Banach Space ◽  
Convergence Result ◽  
Hemivariational Inequalities ◽  
Mathematical Tool ◽  
Abstract Problem ◽  
Convergence Results

Consider an abstract Problem P in a metric space (X; d) assumed to have a unique solution u. The aim of this paper is to compare two convergence results u'n → u and u''n → u, both in X, and to construct a relevant example of convergence result un → u such that the two convergences above represent particular cases of this third convergence. To this end, we use the concept of Tykhonov triple. We illustrate the use of this new and nonstandard mathematical tool in the particular case of hemivariational inequalities in reflexive Banach space. This allows us to obtain and to compare various convergence results for such inequalities. We also specify these convergences in the study of a mathematical model, which describes the contact of an elastic body with a foundation and provide the corresponding mechanical interpretations.

scholarly journals Convergence Results for Elliptic Variational-Hemivariational Inequalities

2020 ◽  
Vol 10 (1) ◽  
pp. 2-23 ◽  
Author(s):  
Dong-ling Cai ◽  
Mircea Sofonea ◽  
Yi-bin Xiao
Keyword(s):  
Mathematical Model ◽  
Banach Space ◽  
Small Parameter ◽  
Existence And Uniqueness ◽  
Nonlinear Operator ◽  
Reflexive Banach Space ◽  
Additional Term ◽  
Uniqueness Result ◽  
Hemivariational Inequalities ◽  
Convergence Results

Abstract We consider an elliptic variational-hemivariational inequality 𝓟 in a reflexive Banach space, governed by a set of constraints K, a nonlinear operator A, and an element f. We associate to this inequality a sequence {𝓟n} of variational-hemivariational inequalities such that, for each n ∈ ℕ, inequality 𝓟n is obtained by perturbing the data K and A and, moreover, it contains an additional term governed by a small parameter εn. The unique solvability of 𝓟 and, for each n ∈ ℕ, the solvability of its perturbed version 𝓟n, are guaranteed by an existence and uniqueness result obtained in literature. Denote by u the solution of Problem 𝓟 and, for each n ∈ ℕ, let un be a solution of Problem 𝓟n. The main result of this paper states the strong convergence of un → u in X, as n → ∞. We show that the main result extends a number of results previously obtained in the study of Problem 𝓟. Finally, we illustrate the use of our abstract results in the study of a mathematical model which describes the contact of an elastic body with a rigid-deformable foundation and provide the corresponding mechanical interpretations.

scholarly journals A porosity result in convex minimization

2005 ◽  
Vol 2005 (3) ◽  
pp. 319-326
Author(s):  
P. G. Howlett ◽  
A. J. Zaslavski
Keyword(s):  
Banach Space ◽  
Minimization Problem ◽  
Metric Space ◽  
Convex Functions ◽  
Convex Sets ◽  
Reflexive Banach Space ◽  
Complete Metric Space ◽  
Baire Category ◽  
Countable Intersection ◽  
Porous Set

We study the minimization problemf(x)→min,x∈C, wherefbelongs to a complete metric spaceℳof convex functions and the setCis a countable intersection of a decreasing sequence of closed convex setsCiin a reflexive Banach space. Letℱbe the set of allf∈ℳfor which the solutions of the minimization problem over the setCiconverge strongly asi→∞to the solution over the setC. In our recent work we show that the setℱcontains an everywhere denseGδsubset ofℳ. In this paper, we show that the complementℳ\ℱis not only of the first Baire category but also aσ-porous set.

scholarly journals A multi-step Lagrangian scheme for spatially inhomogeneous evolutionary games

2021 ◽  
Author(s):  
Stefano Almi ◽  
Marco Morandotti ◽  
Francesco Solombrino
Keyword(s):  
Mean Field ◽  
Evolutionary Games ◽  
Type Systems ◽  
Convergence Result ◽  
Performance Criterion ◽  
Mean Field Limit ◽  
Spatially Inhomogeneous ◽  
Convergence Results ◽  
Special Cases ◽  
Lagrangian Scheme

AbstractA multi-step Lagrangian scheme at discrete times is proposed for the approximation of a nonlinear continuity equation arising as a mean-field limit of spatially inhomogeneous evolutionary games, describing the evolution of a system of spatially distributed agents with strategies, or labels, whose payoff depends also on the current position of the agents. The scheme is Lagrangian, as it traces the evolution of position and labels along characteristics, and is a multi-step scheme, as it develops on the following two stages: First, the distribution of strategies or labels is updated according to a best performance criterion, and then, this is used by the agents to evolve their position. A general convergence result is provided in the space of probability measures. In the special cases of replicator-type systems and reversible Markov chains, variants of the scheme, where the explicit step in the evolution of the labels is replaced by an implicit one, are also considered and convergence results are provided.

Investigations of properties of programs by means of the extended algorithmic logic I

1977 ◽  
Vol 1 (1) ◽  
pp. 93-119
Author(s):  
Lech Banachowski
Keyword(s):  
Mathematical Model ◽  
Mathematical Tool ◽  
Methods Of Analysis ◽  
Semantic Correctness ◽  
Algorithmic Logic ◽  
Correctness Of Programs

The present paper contains investigations concerning the semantic correctness of programs. Presented methods of analysis of programs are appropriate for every domain of computation. Algorithmic logic extended by classical quantifiers is a fundamental mathematical tool used in the paper. Interrelations between properties of programs and properties of descriptions of programs are studied (a description of a program is a mathematical model of the notion of a documentation of a program).

Projections on Tree-Like banach Spaces

1985 ◽  
Vol 37 (5) ◽  
pp. 908-920
Author(s):  
A. D. Andrew
Keyword(s):  
Banach Space ◽  
Linear Operator ◽  
Banach Spaces ◽  
Bounded Linear Operator ◽  
Unconditional Basis ◽  
Reflexive Banach Space ◽  
Separable Space ◽  
Bounded Linear ◽  
Tree Space

1. In this paper, we investigate the ranges of projections on certain Banach spaces of functions defined on a diadic tree. The notion of a “tree-like” Banach space is due to James 4], who used it to construct the separable space JT which has nonseparable dual and yet does not contain l1. This idea has proved useful. In [3], Hagler constructed a hereditarily c0 tree space, HT, and Schechtman [6] constructed, for each 1 ≦ p ≦ ∞, a reflexive Banach space, STp with a 1-unconditional basis which does not contain lp yet is uniformly isomorphic to for each n.In [1] we showed that if U is a bounded linear operator on JT, then there exists a subspace W ⊂ JT, isomorphic to JT such that either U or (1 — U) acts as an isomorphism on W and UW or (1 — U)W is complemented in JT. In this paper, we establish this result for the Hagler and Schechtman tree spaces.

Darboux chart on projective limit of weak symplectic Banach manifold

2015 ◽  
Vol 12 (07) ◽  
pp. 1550072 ◽  
Author(s):  
Pradip Mishra
Keyword(s):  
Banach Space ◽  
Symplectic Structure ◽  
Reflexive Banach Space ◽  
Projective Limit ◽  
Fréchet Space ◽  
Frechet Space ◽  
Banach Manifold ◽  
Boundedness Condition ◽  
Projective System ◽  
Banach Manifolds

Suppose M be the projective limit of weak symplectic Banach manifolds {(Mi, ϕij)}i, j∈ℕ, where Mi are modeled over reflexive Banach space and σ is compatible with the projective system (defined in the article). We associate to each point x ∈ M, a Fréchet space Hx. We prove that if Hx are locally identical, then with certain smoothness and boundedness condition, there exists a Darboux chart for the weak symplectic structure.

scholarly journals On the unique predual problem for Lipschitz spaces

2017 ◽  
Vol 165 (3) ◽  
pp. 467-473 ◽  
Author(s):  
NIK WEAVER
Keyword(s):  
Banach Space ◽  
Metric Space ◽  
Lipschitz Spaces

AbstractFor any metric space X, the predual of Lip(X) is unique. If X has finite diameter or is complete and convex—in particular, if it is a Banach space—then the predual of Lip0(X) is unique.

Sign in / Sign up

Export Citation Format

Share Document