Minimal dynamical system with givenD-function and topological entropy

TheD-function is a new topological invariant introduced by the author in [3] to classify the minimal dynamical system and to generalize Sharkovskii's theorem on the coexistence of periodic orbits. We show that theD-function and the topological entropy are independent.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 2, pp. 287–292, February, 1993.     

Duality on a nondifferentiable minimax fractional programming

We establish the necessary and sufficient optimality conditions on a nondifferentiable minimax fractional programming problem. Subsequently, applying the optimality conditions, we constitute two dual models: Mond-Weir type and Wolfe type. On these duality types, we prove three duality theorems??weak duality theorem, strong duality theorem, and strict converse duality theorem.     

An elementary sufficiency proof of an absolute minimum for a nonparametric variational problem

For a fixed endpoint, nonparametric simple integral variational problem, there is presented an expansion method proof of a sufficiency theorem for an absolute minimum. In particular, this sufficiency theorem yields readily the proof of a result of the type recently presented by Nehari (Ref. 1), but with an error in formulation and an incorrect proof. The present discussion is in a setting which permits considered arcs to be on the boundary of the set of admissible arcs; thus it contains as particular instances certain types of unilateral variational problems of a control nature.This research was supported by the National Science Foundation under Grant No. GP-36120.     

Inhabitation of polymorphic and existential types

This paper shows that the inhabitation problem in the lambda calculus with negation, product, polymorphic, and existential types is decidable, where the inhabitation problem asks whether there exists some term that belongs to a given type. In order to do that, this paper proves the decidability of the provability in the logical system defined from the second-order natural deduction by removing implication and disjunction. This is proved by showing the quantifier elimination theorem and reducing the problem to the provability in propositional logic. The magic formulas are used for quantifier elimination such that they replace quantifiers. As a byproduct, this paper also shows the second-order witness theorem which states that a quantifier followed by negation can be replaced by a witness obtained only from the formula. As a corollary of the main results, this paper also shows Glivenko’s theorem, Double Negation Shift, and conservativity for antecedent-empty sequents between the logical system and its classical version.     

非紧的一般化凸空间上不动点定理和supinfsup不等式

利用一般化凸空间上的KKM型定理得到有限交定理,然后作为应用讨论了在没有紧性限制的一般化凸空间上集值映射的不动点的存在问题以及Von Neumann-Fan型supinfsup不等式(等式)问题,最后给出了极大极小等式.     

New existence theorems for quasi-equilibrium problems and a minimax theorem on complete metric spaces

Motivated by the Suzuki’s type fixed point theorems, we give several new existence theorems for scalar quasi-equilibrium problems, and vector quasi-equilibrium problem on complete metric spaces. We give important examples for our results. Note that the solution of quasi-equilibrium problem (resp. vector quasi-equilibrium problem) is unique under suitable conditions, and we can find the unique solution by the Picard iteration. Besides, we also give a new coincidence theorem on complete metric spaces. Finally, we give a new minimax theorem on complete metric spaces. Note that the solution of minimax theorem is unique under suitable conditions, and we can find the unique solution by the Picard iteration.     

一般化凸空间上的Ky Fan型重合点定理及其应用

我们应用已有的一般化凸空间上的KKM型定理得到K y Fan型重合点定理,然后作为应用给出截口定理和择一性问题.我们的主要结果对文[1-5]中的相应的结果进行了改进和一般化.     

Dynamic contracting under permanent and transitory private information

I examine a model of long-term contracting in which the buyer is privately informed about the discrete probability distribution for his future value for a divisible product, and fully characterize the optimal long term contract that will be offered by a monopolistic seller in a simple case where two types of buyers can have two types of utility in any period. In such a case, the buyer more likely to have a high utility type will receive the first-best allocations indifferent of his value report, while the lower type will receive the first best only if he makes a high utility report. The paper also supplements the current literature on infinite dynamic games with continuous buyer types, which relies on the use of a distribution of types with full support and an envelope theorem. With discrete types, the number of compatibility constraints considered can be greatly reduced by sandwiching the border of the space of solutions allowed by constraints: formulate the maximization problem in a wider space with fewer constraints and prove that the solution obeys a simpler set of stronger constraints that places it in the allowed region.     

A Radon–Nikodym type theorem for forms

The Lebesgue decomposition theorem and the Radon–Nikodym theorem are the cornerstones of the classical measure theory. These theorems were generalized in several settings and several ways. Hassi, Sebestyén, and de Snoo recently proved a Lebesgue type decomposition theorem for nonnegative sesquilinear forms defined on complex linear spaces. The main purpose of this paper is to formulate and prove also a Radon–Nikodym type result in this setting. As an application, we present a Lebesgue type decomposition theorem and solve a special case of the infimum problem for densely defined (not necessarily bounded) positive operators.     

积分型Cauchy中值定理的逆问题及中间点的渐近性

讨论了积分型Cauchy中值定理的逆问题,并就此积分型Cauchy中值定理讨论了在积分区间长度趋于零时“中间点”ξ的渐近性.     

A uniqueness theorem for some elliptic equations with boundary conditions of functional type

Some recent results from a problem in viscous hydrodynamics have suggested a novel type of boundary value problem. The usual specification of boundary data has been in part replaced by certain functional type conditions. A generalized version of the problem is proposed, and a uniqueness theorem is proven.     

一类非线性色散型发展方程反问题的整体解

将一类非线性色散型发展方程反问题转化为抽象空间非线性发展方程Cauchy问题。利用半群方法和赋等价范数技巧,建立了该类抽象发展方程整体解的存在唯一性定理,并应用于所论反问题,得到了该类非线性色散型发展方程反问题整体解的存在唯一性定理,本质地改进了袁忠信得出的解的局部存在唯一性结果。     

Remarks on Caristi’s fixed point theorem and Kirk’s problem

Without assumptions on the continuity and the subadditivity of η, by means of Caristi’s fixed point theorem, we investigated the existence of fixed points for a Caristi type mapping which partially answered Kirk’s problem and improved Caristi’s fixed point theorem, Jachymski’s fixed point theorem and Khamsi’s fixed point theorem since φ is not necessarily assumed to be bounded below on X.     

Some results on systems of quasi-variational inclusion problems and systems of generalized quasi-variational inclusion problems

In this paper, we study systems of quasi-variational inclusion problem and systems of quasi-variational disclusion problem. From the existence theorems of solution for these two types of problems, we study various types of systems of quasi-variational inclusion problems, systems of quasi-equilibrium problems, systems of quasi-KKM theorem, abstract economics and system of KKM theorem. We also show their equivalent relations. We study further existence theorems of solution for generalized quasi-variational inclusion problem. Our results are different from any existence result in the literature.     

积分型Cauchy中值定理的推广及逆问题

给出了一个积分型Cauchy中值定理的推广,并讨论了连续函数的积分型Cauchy中值定理的逆问题.     

一般化凸空间上的变分不等式解的存在性问题

在本文,我们首先给出了KKM型定理和择一定理,然后根据上述结果讨论了一 般化凸空间上变分不等式解的存在性问题.     

Fixed Point Theorem of Cone Expansion and Compression of Functional Type

The fixed point theorem of cone expansion and compression of norm type is generalized by replacing the norms with two functionals satisfying certain conditions to produce a fixed point theorem of cone expansion and compression of functional type. We conclude with an application verifying the existence of a positive solution to a discrete second-order conjugate boundary value problem.     

Systems of quasi-variational relations with applications

In this paper, we introduce a system of quasi-variational relations (in short, SQVR) and present several examples which show that it is a very general and unified model of several problems. We establish the existence of solutions of SQVP, in general, and several other problems, in particular. As an application of our results, we derive maximal element theorems and a collectively fixed point theorem for a family of multivalued maps. As further applications, we study Ky Fan type inequality / inclusion problem for vector valued bifunctions which includes constrained Nash equilibrium problem as a special case. We also present a common fixed point theorem for a family of multivalued maps. The results of this paper improve and generalize several known results on (system of) quasi-equilibrium problems, (system of) quasi-variational inclusions, constrained Nash equilibrium problem, collectively fixed point theorem and KKM type theorems for a family of multivalued maps. Our results also contain several results which appeared in recent literature.     

Infinite Systems of Quasilinear Differential Difference Inequalities and Applications

The article deals with the initial boundary value problem for an infinite system of first order quasilinear functional differential equations. A comparison result concerning infinite systems of differential difference inequalities is proved. A function satisfying such inequalities is estimated by a solution of a suitable Cauchy problem for an ordinary functional differential system. The comparison result is used in an existence theorem and in the investigation of the stability of the numerical method of lines for the original problem. A theorem on the error estimate of the method is given. The infinite system of first order functional differential equations contains, as particular cases, equations with a deviated argument and integral differential equations of the Volterra type.