A Forward-Backward-Forward Algorithm for Solving Quasimonotone Variational Inequalities

In this paper, we continue to investigate the convergence analysis of Tseng-type forward-backward-forward algorithms for solving quasimonotone variational inequalities in Hilbert spaces. We use a self-adaptive technique to update the step sizes without prior knowledge of the Lipschitz constant of quasimonotone operators. Furthermore, we weaken the sequential weak continuity of quasimonotone operators to a weaker condition. Under some mild assumptions, we prove that Tseng-type forward-backward-forward algorithm converges weakly to a solution of quasimonotone variational inequalities.

Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism

We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data structures which compute them. A fundamental result establishes that these extensional and intensional representations are equivalent, by showing how to construct the unique sequential algorithm which computes a given monotone and stable function, and describing the conditions on sequential algorithms which correspond to continuity with respect to each order. We illustrate by defining may-testing and must-testing denotational semantics for sequential functional languages with bounded and unbounded choice operators. We prove that these are computationally adequate, despite the non-continuity of the must-testing semantics of unbounded nondeterminism. In the bounded case, we prove that our continuous models are fully abstract with respect to may-testing and must-testing by identifying a simple universal type, which may also form the basis for models of the untyped {\lambda}-calculus. In the unbounded case we observe that our model contains computable functions which are not denoted by terms, by identifying a further "weak continuity" property of the definable elements, and use this to establish that it is not fully abstract.

Halpern-type relaxed inertial algorithms with Bregman divergence for solving variational inequalities

It is well-known that the use of Bregman divergence is an elegant and effective technique for solving many problems in applied sciences. In this paper, we introduce and analyze two new inertial-like algorithms with Bregman divergence for solving pseudomonotone variational inequalities in a real Hilbert space. The first algorithm is inspired by Halpern -type iteration and subgradient extragradient method and the second algorithm is inspired by Halpern -type iteration and Tseng's extragradient method. Under suitable conditions, the strong convergence theorems of the algorithms are established without assuming the Lipschitz continuity and the sequential weak continuity of any mapping. Finally, several numerical experiments with various types of Bregman divergence are also performed to illustrate the theoretical analysis. The results presented in this paper improve and generalize the related works in the literature.

Monitoring and assessment of endangered UNESCO World Heritage Sites using space technology: a case study of East Rennell, Solomon Islands

Space technology offers effective tools to monitor the status of World Natural Heritage sites. East Rennell Island, which covers approximately 37,000 hectares (ha) and a marine area extending three nautical miles into the sea, was added to the list of endangered World Natural Heritage sites in 2013. Deforestation and natural disasters have increasingly threatened sustainable development on the island. Based on analyses of multi-source time series of remote sensing data (e.g., MODIS and Worldview), the forest cover change on Rennell Island from 2000 to 2020 and its future trends were mapped and analysed using Sen + Mann–Kendall and Hurst index models. A land cover classification system derived from high-resolution Worldview images was developed as a baseline for monitoring and analysing future forest cover changes on the island. Our results showed that (1) the areas of vegetation degradation and improvement were basically equal from 2000 to 2020. (2) The forest cover change trend had weak continuity, and significant improvements could be achieved in areas with damaged vegetation given sufficient protection measures and financial input. (3) This heritage site has a strong vegetation regeneration ability, and human activities such as mining, logging, and road construction, which could greatly disturb the unique ecosystem, should be restricted.

On the Inverse Source Identification Problem in $L^{\infty }$ for Fully Nonlinear Elliptic PDE

In this paper we generalise the results proved in N. Katzourakis (SIAM J. Math. Anal. 51, 1349–1370, 2019) by studying the ill-posed problem of identifying the source of a fully nonlinear elliptic equation. We assume Dirichlet data and some partial noisy information for the solution on a compact set through a fully nonlinear observation operator. We deal with the highly nonlinear nonconvex nature of the problem and the lack of weak continuity by introducing a two-parameter Tykhonov regularisation with a higher order L2 “viscosity term” for the $L^{\infty }$ L ∞ minimisation problem which allows to approximate by weakly lower semicontinuous cost functionals.

Roberts’ weak welfarism theorem: a minor correction

Roberts’ “weak neutrality” or “weak welfarism” theorem concerns Sen social welfare functionals which are defined on an unrestricted domain of utility function profiles and satisfy independence of irrelevant alternatives, the Pareto condition, and a form of weak continuity. Roberts (Rev Econ Stud 47(2):421–439, 1980) claimed that the induced welfare ordering on social states has a one-way representation by a continuous, monotonic real-valued welfare function defined on the Euclidean space of interpersonal utility vectors—that is, an increase in this welfare function is sufficient, but may not be necessary, for social strict preference. A counter-example shows that weak continuity is insufficient; a minor strengthening to pairwise continuity is proposed instead and its sufficiency demonstrated.

Mann-Type Inertial Subgradient Extragradient Rules for Variational Inequalities and Common Fixed Points of Nonexpansive and Quasi-Nonexpansive Mappings

Suppose that in a real Hilbert space H, the variational inequality problem with Lipschitzian and pseudomonotone mapping A and the common fixed-point problem of a finite family of nonexpansive mappings and a quasi-nonexpansive mapping with a demiclosedness property are represented by the notations VIP and CFPP, respectively. In this article, we suggest two Mann-type inertial subgradient extragradient iterations for finding a common solution of the VIP and CFPP. Our iterative schemes require only calculating one projection onto the feasible set for every iteration, and the strong convergence theorems are established without the assumption of sequentially weak continuity for A. Finally, in order to support the applicability and implementability of our algorithms, we make use of our main results to solve the VIP and CFPP in two illustrating examples.