Second-order contingent derivatives of set-valued mappings with application to set-valued optimization

In this paper, a family of parameterized set-valued optimization problems, whose constraint set depends on a parameter, are considered. Some calculus rules are obtained for calculating the second-order contingent derivatives of the composition and sum of two set-valued mappings. Then, by using these calculus rules, some results concerning second-order sensitivity analysis are established, and an explicit expression for the second-order contingent derivative of the (weak) perturbation mapping in the set-valued optimization problems is obtained.     

Codifferential Calculus

In this paper, some exact calculus rules are obtained for calculating the coderivatives of the composition of two multivalued maps. Similar rules are displayed for sums. A crucial role is played by an intermediate set-valued map called the resolvent. We first establish inclusions for contingent, Fréchet and limiting coderivatives. Combining them, we get equality rules. The qualification conditions we present are natural and less exacting than classical conditions.     

First order optimality conditions in vector optimization involving stable functions

We study a nonsmooth vector optimization problem with an arbitrary feasible set or a feasible set defined by a generalized inequality constraint and an equality constraint. We assume that the involved functions are nondifferentiable. First, we provide some calculus rules for the contingent derivative in which the stability (a local Lipschitz property at a point) of the functions plays a crucial role. Second, another calculus rules are established for steady functions. Third, necessary optimality conditions are stated using tangent cones to the feasible set and the contingent derivative of the objective function. Finally, some necessary and sufficient conditions are presented through Lagrange multiplier rules.     

On the Calculus of Limiting Subjets on Riemannian Manifolds

In this paper fuzzy calculus rules for subjets of order two on finite dimensional Riemannian manifolds are obtained. Then a second order singular subjet derived from a sequence of efficient subsets of symmetric matrices is introduced. Employing fuzzy calculus rules for subjets of order two and various qualification assumptions based on a second order singular subjet, calculus rules for limiting subjets on a finite dimensional Riemannian manifold are obtianed.     

Uniform interpolation and the existence of sequent calculi

This paper presents a uniform and modular method to prove uniform interpolation for several intermediate and intuitionistic modal logics. The proof-theoretic method uses sequent calculi that are extensions of the terminating sequent calculus $\mathsf{G4ip}$ for intuitionistic propositional logic. It is shown that whenever the rules in a calculus satisfy certain structural properties, the corresponding logic has uniform interpolation. It follows that the intuitionistic versions of $\mathsf{K}$ and $\mathsf{KD}$ (without the diamond operator) have uniform interpolation. It also follows that no intermediate or intuitionistic modal logic without uniform interpolation has a sequent calculus satisfying those structural properties, thereby establishing that except for the seven intermediate logics that have uniform interpolation, no intermediate logic has such a sequent calculus.     

Comparative statics and dynamics of optimal choice models in Hilbert spaces

We study properties of the solutions to a parametrized constrained optimization problem in Hilbert spaces. A special operator is studied which is of importance in economic theory; sufficient conditions are given for its existence, symmetry, and negative semidefiniteness. The techniques used are calculus and non linear functional analysis on Hilbert spaces.     

Sensitivity analysis using the tangent derivative

Using some equivalent characterizations of Bouligand's tangent cone in metric vector spaces, several properties of the tangent derivative of correspondences between metric vector spaces are derived. These results are applied for the sensitivity analysis of a parametrized vector optimization problem.     

Some Calculus Rules for Contingent Epiderivatives

This article presents some calculus rules for contingent epiderivatives of set-valued maps. Among other results the main emphasis is focused on a formula for scalar multiplication, sum formulae and chain rules. The calculus of contingent cones and some inversion theorems are used as a tool. Some applications are also given.     

The construction of operational matrix of fractional derivatives using B-spline functions

Fractional calculus has been used to model physical and engineering processes that are found to be best described by fractional differential equations. For that reason we need a reliable and efficient technique for the solution of fractional differential equations. Here we construct the operational matrix of fractional derivative of order α in the Caputo sense using the linear B-spline functions. The main characteristic behind the approach using this technique is that it reduces such problems to those of solving a system of algebraic equations thus we can solve directly the problem. The method is applied to solve two types of fractional differential equations, linear and nonlinear. Illustrative examples are included to demonstrate the validity and applicability of the new technique presented in the current paper.     

The Regularity of Parametrized Integer Stationary Varifolds in Two Dimensions

We establish an optimal regularity result for parametrized two-dimensional stationary varifolds. Namely, we show that the parametrization map is a smooth minimal branched immersion and that the multiplicity function is constant. We provide some applications of this regularity result, especially in the calculus of variations for the area functional. © 2020 Wiley Periodicals LLC     

Specialization of Loop Rules of a Sequent Calculus of Intuitionistic Temporal Logic with Time Gaps

The paper deals with the loop-rule problem in the first-order intuitionistic temporal logic sequent calculus LBJ. The calculus LBJT is intended for the specialization of the antecedent implication rule. The invertibility of some of the LBJT rules and the syntactic admissibility of the structural rules and the cut rule in LBJT, as well as the equivalence of LBJ and LBJT, are proved. The calculus LBJT2 is intended for the specialization of the antecedent universal quantifier and antecedent box rules. The decidability of LBJT2 is proved.     

On Metric and Calmness Qualification Conditions in Subdifferential Calculus

The paper contains two groups of results. The first are criteria for calmness/subregularity for set-valued mappings between finite-dimensional spaces. We give a new sufficient condition whose subregularity part has the same form as the coderivative criterion for “full” metric regularity but involves a different type of coderivative which is introduced in the paper. We also show that the condition is necessary for mappings with convex graphs. The second group of results deals with the basic calculus rules of nonsmooth subdifferential calculus. For each of the rules we state two qualification conditions: one in terms of calmness/subregularity of certain set-valued mappings and the other as a metric estimate (not necessarily directly associated with aforementioned calmness/subregularity property). The conditions are shown to be weaker than the standard Mordukhovich–Rockafellar subdifferential qualification condition; in particular they cover the cases of convex polyhedral set-valued mappings and, more generally, mappings with semi-linear graphs. Relative strength of the conditions is thoroughly analyzed. We also show, for each of the calculus rules, that the standard qualification conditions are equivalent to “full” metric regularity of precisely the same mappings that are involved in the subregularity version of our calmness/subregularity condition. The research of Jiří V. Outrata was supported by the grant A 107 5402 of the Grant Agency of the Academy of Sciences of the Czech Republic.     

Higher-order radial derivatives and optimality conditions in nonsmooth vector optimization

We propose notions of higher-order outer and inner radial derivatives of set-valued maps and obtain main calculus rules. Some direct applications of these rules in proving optimality conditions for particular optimization problems are provided. Then we establish higher-order optimality necessary conditions and sufficient ones for a general set-valued vector optimization problem with inequality constraints. A number of examples illustrate both the calculus rules and the optimality conditions. In particular, they explain some advantages of our results over earlier existing ones and why we need higher-order radial derivatives.     

Variational sets: Calculus and applications to nonsmooth vector optimization

We develop elements of calculus of variational sets for set-valued mappings, which were recently introduced in Khanh and Tuan (2008) [1] and [2] to replace generalized derivatives in establishing optimality conditions in nonsmooth optimization. Most of the usual calculus rules, from chain and sum rules to rules for unions, intersections, products and other operations on mappings, are established. Direct applications in stability and optimality conditions for various vector optimization problems are provided.     

广义扰动映射的上导数

主要讨论了两集值映射和的上导数．在比标准约束品性弱的条件下得到了两个集值映射和的上导数与两集值映射上导数的和之间的包含关系,并将此结论用于讨论广义扰动映射的上导数,得到广义扰动映射的上导数的上界估计．     

Proof analysis in intermediate logics

Using labelled formulae, a cut-free sequent calculus for intuitionistic propositional logic is presented, together with an easy cut-admissibility proof; both extend to cover, in a uniform fashion, all intermediate logics characterised by frames satisfying conditions expressible by one or more geometric implications. Each of these logics is embedded by the G?del–McKinsey–Tarski translation into an extension of S4. Faithfulness of the embedding is proved in a simple and general way by constructive proof-theoretic methods, without appeal to semantics other than in the explanation of the rules.     

On the Calculus of Limiting Subhessians

We discuss various qualification assumptions that allow calculus rules for limiting subhessians to be derived. Such qualification assumptions are based on a singular limiting subjet derived from a sequence of efficient subsets of symmetric matrices. We introduce a new efficiency notion that results in a weaker qualification assumption than that introduced in Ioffe and Penot (Trans Amer Math Soc 249: 789–807, 1997) and prove some calculus rules that are valid under this weaker qualification assumption. The work of A. Eberhard was supported by ARC research grant DP0664423.     

在一个非阿基米德域上的微积分

<正> 一、引言 在客观世界里存在着各种数量级的量:有限量、无穷小量、无穷大量.但是在传统的数学分析中出现的数,基本的仅仅是有限数(实数,复数),无穷大与无穷小是作为有限数的一种变化趋势而被刻划的.这样的数的系统的一个基本的特征,就是阿基米德公理所揭示的性质.     

The Compatibility with Order of Some Subdifferentials

It is well known that elementary subdifferentials which are the simplest and the most precise among known subdifferentials do not enjoy good calculus rules, whereas more elaborated subdifferentials do have calculus rules but are not as precise and, in particular, do not preserve order. This paper explores an order preservation property for the subdifferentials of the second category. This property concerns the case in which a distance function is involved. It emphasizes the crucial role played by such functions in nonsmooth analysis. The result enables one to get in a simple, unified way the passage from the properties of subdifferentials for Lipschitzian functions to the same properties for the case of lower semicontinuous functions.