Generalized sequential normal compactness in Asplund spaces

Sequential normal compactness conditions are important properties in infinite-dimensional variational analysis and its applications. Following the recent study of the generalized sequential normal compactness (GSNC), this paper This paper reveals further applications of GSNC to the generalized differentiation theory in Asplund spaces, as well as the calculus of GSNC itself.     

Calculus of sequential normal compactness in variational analysis

In this paper we study some properties of sets, set-valued mappings, and extended-real-valued functions unified under the name of “sequential normal compactness.” These properties automatically hold in finite-dimensional spaces, while they play a major role in infinite-dimensional variational analysis. In particular, they are essential for calculus rules involving generalized differential constructions, for stability and metric regularity results and their broad applications, for necessary optimality conditions in constrained optimization and optimal control, etc. This paper contains principal results ensuring the preservation of sequential normal compactness properties under various operations over sets, set-valued mappings, and functions.     

Metric regularity, tangential distances and generalized differentiation in Banach spaces

In this paper we establish new generalized differentiation rules in general Banach spaces regarding normal cones to set images under functions, coderivatives of compositions of set-valued mappings, as well as calculus results for normal compactness of sets and their images. In addition to the metric regularity of mappings, our results involve tangential distances of sets for which we also provide a fairly complete study by exploring its variations, basic properties, as well as relations to similar notions. Some related results are also established.     

Weak Differentiability with Applications to Variational Analysis

In this paper we first review the theory of weak differentiability with some improvements and unifications of existing results; then we introduce an extended variant of this notion and establish its basic properties; finally we use the weak differentiability and its variant to develop new calculus results in variational analysis for the theory of generalized differentiation and the sequential normal compactness. In this way we demonstrate that the weak differentiability and its variant, in contrast to the usual differentiability, are in fact more suitable for Fréchet and limiting/Mordukhovich constructions in variational analysis.     

Methods of variational analysis in multiobjective optimization

This article studies new applications of advanced methods of variational analysis and generalized differentiation to constrained problems of multiobjective/vector optimization. We pay most attention to general notions of optimal solutions for multiobjective problems that are induced by geometric concepts of extremality in variational analysis, while covering various notions of Pareto and other types of optimality/efficiency conventional in multiobjective optimization. Based on the extremal principles in variational analysis and on appropriate tools of generalized differentiation with well-developed calculus rules, we derive necessary optimality conditions for broad classes of constrained multiobjective problems in the framework of infinite-dimensional spaces. Applications of variational techniques in infinite dimensions require certain ‘normal compactness’ properties of sets and set-valued mappings, which play a crucial role in deriving the main results of this article.     

Asplund空间中方向上导数和序列法紧性质分析法则

研究了广义微分结构中的集合方向Mordukhovich法锥、集值映射的方向上导数,以及集合和集值映射的方向序列法紧性的分析法则. 基于集合方向Mordukhovich法锥的交集法则,在方向内半紧性假设下,建立了集合的方向Mordukhovich法锥、集值映射的方向上导数的分析法则.此外,借助Asplund乘积空间中集合的方向序列法紧性的交集法则, 在方向内半紧性和相应的规范条件下,建立了集合和集值映射的(部分)方向序列法紧性的加法、逆像、复合等法则.     

On the Sequential Normal Compactness Condition and its Restrictiveness in Selected Function Spaces

Set-Valued and Variational Analysis - Sequential normal compactness is one of the most important properties in terms of modern variational analysis. It is necessary for the derivation of calculus...     

Complete controllability of fractional evolution systems

The paper is concerned with the complete controllability of fractional evolution systems without involving the compactness of characteristic solution operators introduced by us. The main techniques rely on the fractional calculus, properties of characteristic solution operators and fixed point theorems. Since we do not assume the characteristic solution operators are compact, our theorems guarantee the effectiveness of controllability results in the infinite dimensional spaces.     

拓扑分子格的S紧性和S次紧性

利用半开元等半拓扑概念在拓扑分子格中引入S紧性与S次紧性，给出了它们的刻画，推广了文[1]中的紧性与次紧性，证明了拓扑分子格的S紧性，S次紧性，STi分离性(i=-1，0，1，2)与STi^*分离性(i=0，1，2)为半拓扑性质。     

广义H-空间的理论及其应用*

本文给出了广义H-空间的完备性特征性质和紧性特征性质,同时也研究了这一空间的度量化定理.作为这些理论的应用.我们得到了Menger概率度量空间的完备性特征和紧性特征.给出了该空间的度量化函数的具体形式.     

Approximate controllability of a fractional stochastic partial integro-differential systems via noncompact operators

Objective: in this article, we discuss the approximate controllability problems of a new class of fractional impulsive stochastic partial integro-differential systems in separable Hilbert spaces. Methods: by applying the fractional calculus, the measure of noncompactness, properties of fractional resolvent operators and fixed point theorems. Results: we prove our main results without the hypotheses of compactness on the operator generated by the linear part of systems. Instead we suppose that the nonlinear term only satisfies a weakly compactness condition. Conclusion: the approximate controllability for the control systems with noncompact operators is established. Finally, an example is given for the illustration of the obtained theoretical results.     

广义近似空间的粗糙同胚与拓扑同胚

对广义近似空间之间的映射引入并刻画了粗糙连续性和拓扑连续性,探讨了他们的性质及相互关系.证明了两个粗糙连续映射的复合还是粗糙连续的,每个粗糙连续的映射都是拓扑连续的.在此基础上引入了粗糙同胚性质和拓扑同胚性质的概念,证明了拓扑同胚性质均为粗糙同胚性质并考察了广义近似空间的诸如分离性、连通性、紧性等的粗糙同胚不变性和拓扑同胚不变性.     

On the Exponential Convergence of Spline Approximation Methods for Wiener-Hopf Equations

This paper deals with the study of some new multidimensional operators of fractional calculus. These operators are considered in certain spaces of test and generalized functions. Some mapping properties and product rules are obtained.     

A coding method for a sequent calculus of propositional logic

The paper deals with a coding method for a sequent calculus of the propositional logic. The method is based on the sequent calculus. It allows us to determine if a formula is derivable in the calculus without constructing a derivation tree. The main advantage of the coding method is its compactness in comparison with derivation trees of the sequent calculus. The coding method can be used as a decision procedure for the propositional logic.     

Calculus of directional coderivatives and normal cones in Asplund spaces

We study the directional Mordukhovich normal cones to nonsmooth sets, coderivatives of set-valued mappings in Asplund spaces and establish extensive calculus results on these constructions under various operations of sets and mappings. We also develop calculus of the directional sequential normal compactness both in general Banach spaces and in Asplund spaces.     

Compactification with Respect to a Generalized-net Convergence on Constructs

We introduce and deal with a convergence on (objects of) constructs which is expressed in terms of generalized nets. The generalized nets used are obtained from the usual nets by replacing the construct of directed sets and cofinal maps by an arbitrary construct. Convergence separation and convergence compactness are then introduced in a natural way. We study the convergence compactness and compactification and show that they behave in much the same way as the compactness and compactification of topological spaces.     

Ultrafilter Convergence in Ordered Topological Spaces

We characterize ultrafilter convergence and ultrafilter compactness in linearly ordered and generalized ordered topological spaces. In such spaces, and for every ultrafilter D, the notions of D-compactness and of D-pseudocompactness are equivalent. Any product of initially λ-compact generalized ordered topological spaces is still initially λ-compact. On the other hand, preservation under products of certain compactness properties is independent from the usual axioms for set theory.     

A Generalized Lyapunov-Sylvester Computational Method for Numerical Solutions of NLS Equation with Singular Potential

In the present paper a numerical method is developed to approximate the solution of two-dimensional Nonlinear Schrdinger equation in the presence of a singular potential. The method leads to generalized Lyapunov-Sylvester algebraic operators that are shown to be invertible using original topological and differential calculus issued methods. The numerical scheme is proved to be consistent, convergent and stable using the Lyapunov criterion, lax equivalence theorem and the properties of the generalized Lyapunov-Sylvester operators.     

Calculus of Generalized Quasi-differentiable Functions I: Some Results on the Space of Pairs of Convex-Set Collections

A Riesz space K1 whose elements are pairs of convex-set collections is presented for the study on the calculus of generalized quasi-differentiable functions. The space K1 is constructed by introducing a well-defined equivalence relation among pairs of collections of convex sets. Some important properties on the norm and operations in K1 are given.     

Levitin–Polyak Well-Posedness for Optimization Problems with Generalized Equilibrium Constraints

In this paper, we consider Levitin–Polyak well-posedness of parametric generalized equilibrium problems and optimization problems with generalized equilibrium constraints. Some criteria for these types of well-posedness are derived. In particular, under certain conditions, we show that generalized Levitin–Polyak well-posedness of a parametric generalized equilibrium problem is equivalent to the nonemptiness and compactness of its solution set. Finally, for an optimization problem with generalized equilibrium constraints, we also obtain that, under certain conditions, Levitin–Polyak well-posedness in the generalized sense is equivalent to the nonemptiness and compactness of its solution set.