Generalized Gerstewitz's Functions and Vector Variational Principle for-Efficient Solutions in the Sense of Németh

In this paper, we first generalize Gerstewitz's functions from a single positive vector to a subset of the positive cone. Then, we establish a partial order principle, which is indeed a variant of the pre-order principle [Qiu, J. H.: A pre-order principle and set-valued Ekeland variational principle.J. Math. Anal. Appl., 419, 904–937(2014)]. By using the generalized Gerstewitz's functions and the partial order principle, we obtain a vector EVP for-efficient solutions in the sense of N′emeth, which essentially improves the earlier results by completely removing a usual assumption for boundedness of the objective function. From this, we also deduce several special vector EVPs, which improve and generalize the related known results.     

On extended versions of Dancs-Hegedüs-Medvegyev’s fixed-point theorem

In this article, we establish some fixed-point (known also as critical point, invariant point) theorems in quasi-metric spaces. Our results unify and further extend in some regards the fixed-point theorem proposed by Dancs, S.; Hegedüs, M.; Medvegyev, P. (A general ordering and fixed-point principle in complete metric space. Acta Sci. Math. 1983;46:381–388), the results given by Khanh, P.Q., Quy D.N. (A generalized distance and enhanced Ekeland?s variational principle for vector functions. Nonlinear Anal. 2010;73:2245–2259), the preorder principles established by Qiu, J.H. (A pre-order principle and set-valued Ekeland variational principle. J. Math. Anal. Appl. 2014;419:904–937) and the results obtained by Bao, T.Q., Mordukhovich, B.S., Soubeyran, A. (Fixed points and variational principles with applications to capability theory of wellbeing via variational rationality. Set-Valued Var. Anal. 2015;23:375–398). In addition, we provide examples to illustrate that the improvements of our results are significant.     

Sequentially lower complete spaces and Ekeland’s variational principle

By using sequentially lower complete spaces (see [Zhu, J., Wei, L., Zhu, C. C.: Caristi type coincidence point theorem in topological spaces. J. Applied Math., 2013, ID 902692 (2013)]), we give a new version of vectorial Ekeland’s variational principle. In the new version, the objective function is defined on a sequentially lower complete space and taking values in a quasi-ordered locally convex space, and the perturbation consists of a weakly countably compact set and a non-negative function p which only needs to satisfy p(x, y) = 0 iff x = y. Here, the function p need not satisfy the subadditivity. From the new Ekeland’s principle, we deduce a vectorial Caristi’s fixed point theorem and a vectorial Takahashi’s non-convex minimization theorem. Moreover, we show that the above three theorems are equivalent to each other. By considering some particular cases, we obtain a number of corollaries, which include some interesting versions of fixed point theorem.     

A pre-order principle and set-valued Ekeland variational principle

We establish a pre-order principle. From the principle, we obtain a very general set-valued Ekeland variational principle, where the objective function is a set-valued map taking values in a quasi-ordered linear space and the perturbation contains a family of set-valued maps satisfying certain property. From this general set-valued Ekeland variational principle, we deduce a number of particular versions of set-valued Ekeland variational principle, which include many known Ekeland variational principles, their improvements and some new results.     

Vectorial Ekeland variational principle for systems of equilibrium problems and its applications

For a family of vector-valued bifunctions,we introduce the notion of sequentially lower monotonity,which is strictly weaker than the lower semi-continuity of the second variables of the bifunctions.Then,we give a general version of vectorial Ekeland variational principle(briefly,denoted by EVP) for a system of equilibrium problems,where the sequentially lower monotone objective bifunction family is defined on products of sequentially lower complete spaces(concerning sequentially lower complete spaces,see Zhu et al(2013)),and taking values in a quasi-ordered locally convex space.Besides,the perturbation consists of a subset of the ordering cone and a family {p_i}_(i∈I) of negative functions satisfying for each i∈I,p_i(x_i,y_i) = 0 if and only if x_i=y_i.From the general version,we can deduce several particular equilibrium versions of EVP,which can be applied to show the existence of solutions for countable systems of equilibrium problems.In particular,we obtain a general existence result of solutions for countable systems of equilibrium problems in the setting of sequentially lower complete spaces.By weakening the compactness of domains and the lower semi-continuity of objective bifunctions,we extend and improve some known existence results of solutions for countable system of equilibrium problems in the setting of complete metric spaces(or Fréchet spaces).When the domains are non-compact,by using the theory of angelic spaces(see Floret(1980)),we generalize some existence results on solutions for countable systems of equilibrium problems by extending the framework from reflexive Banach spaces to the strong duals of weakly compactly generated spaces.     

Geometric Realizations of Lusztig’s Symmetries of Symmetrizable Quantum Groups

Let U be the quantum group and f be the Lusztig’s algebra associated with a symmetrizable generalized Cartan matrix. The algebra f can be viewed as the positive part of U. Lusztig introduced some symmetries T _i on U for all i ∈ I. Since T _i (f) is not contained in f, Lusztig considered two subalgebras _i f and ⁱ f of f for any i ∈ I, where _i f={x ∈ f | T _i (x) ∈ f} and \({^{i}\mathbf {f}}=\{x\in \mathbf {f}\,\,|\,\,T^{-1}_{i}(x)\in \mathbf {f}\}\). The restriction of T _i on _i f is also denoted by \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\). The geometric realization of f and its canonical basis are introduced by Lusztig via some semisimple complexes on the variety consisting of representations of the corresponding quiver. When the generalized Cartan matrix is symmetric, Xiao and Zhao gave geometric realizations of Lusztig’s symmetries in the sense of Lusztig. In this paper, we shall generalize this result and give geometric realizations of _i f, ⁱ f and \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\) by using the language ’quiver with automorphism’ introduced by Lusztig.     

Bernstein–Doetsch-type criteria for the continuity and Lipschitz continuity of convex set-valued mappings

The Bernstein–Doetsch criterion (for convex and midconvex functionals) has been repeatedly generalized to convex and midconvex set-valued mappings F: X → 2 ^Y ; continuity and local Lipschitz continuity were understood in the sense of the Hausdorff distance. However, all such results imposed restrictive additional boundedness-type conditions on the images F(x). In this paper, the Bernstein–Doetsch criterion is generalized to arbitrary convex and midconvex set-valued mappings acting on normed linear spaces X,Y.     

The limit absorption principle and homogenization procedure for periodic elliptic operators

For a periodic matrix elliptic operator \(A_\varepsilon \) with (x ?-dependent) rapidly oscillating coefficients, a certain analog of the limit absorption principle is proved. It is shown that the bordered resolvent 〈x〉^?1/2?· (\(A_\varepsilon \) ? (η ± i? ^σ )I)^?1〈x〉^?1/2?· has a limit in the operator norm in L ₂ as ? → 0 provided that η > 0, · > 0, and 0 < σ < 1/2.     

Nash-Type Equilibria for Systems of Szulkin Functionals

In this paper the solutions of some systems of variational inequalities are obtained as Nash-type equilibria of the corresponding systems of Szulkin functionals. This is achieved by an iterative scheme based on Ekeland’s variational principle, whose convergence is proved via the vector technique involving inverse-positive matrices. An application to periodic solutions for a system of two second order ordinary differential equations with singular ?-Laplacians is included.     

Sum-free sets in abelian groups

An IP system is a functionn taking finite subsets ofN to a commutative, additive group Ω satisfyingn(α∪β)=n(α)+n(β) whenever α∩β=ø. In an extension of their Szemerédi theorem for finitely many commuting measure preserving transformations, Furstenberg and Katznelson showed that ifS _i ,1≤i≤k, are IP systems into a commutative (possibly infinitely generated) group Ω of measure preserving transformations of a probability space (X, B, μ, andA∈B with μ(A)>0, then for some ø≠α one has μ(? _i=1 ^k S _i({α})A>0). We extend this to so-called FVIP systems, which are polynomial analogs of IP systems, thereby generalizing as well joint work by the author and V. Bergelson concerning special FVIP systems of the formS(α)=T(p(n(α))), wherep:Z ^t →Z ^d is a polynomial vanishing at zero,T is a measure preservingZ ^d action andn is an IP system intoZ ^t . The primary novelty here is potential infinite generation of the underlying group action, however there are new applications inZ ^d as well, for example multiple recurrence along a wide class ofgeneralized polynomials (very roughly, functions built out of regular polynomials by iterated use of the greatest integer function).     

On the homotopy type of (<Emphasis Type="Italic">n</Emphasis>-1)-connected (3<Emphasis Type="Italic">n</Emphasis>+1)-dimensional free chain Lie algebra

Let R be a subring ring of Q. We reserve the symbol p for the least prime which is not a unit in R; if R ?Q, then p=∞. Denote by DGL _n ^np , n≥1, the category of (n-1)-connected np-dimensional differential graded free Lie algebras over R. In [1] D. Anick has shown that there is a reasonable concept of homotopy in the category DGL _n ^np . In this work we intend to answer the following two questions: Given an object (L(V), ?) in DGL _n ³ⁿ⁺² and denote by S(L(V), ?) the class of objects homotopy equivalent to (L(V), ?). How we can characterize a free dgl to belong to S(L(V), ?)? Fix an object (L(V), ?) in DGL _n ³ⁿ⁺² . How many homotopy equivalence classes of objects (L(W), δ) in DGL _n ³ⁿ⁺² such that H _* (W, d′)?H _* (V, d) are there? Note that DGL _n ³ⁿ⁺² is a subcategory of DGL _n ^np when p>3. Our tool to address this problem is the exact sequence of Whitehead associated with a free dgl.     

Random process in a homogeneous Gaussian field

We consider a random process in a spatial-temporal homogeneous Gaussian field V (q , t) with the mean E V = 0 and the correlation function W(|q ? q′|, |t ? t′|) ≡ E[V (q, t)V (q′, t′)], where \( \bold{q} \in {\mathbb{R}^d} \), \( t \in {\mathbb{R}^{+} } \), and d is the dimension of the Euclidean space \( {\mathbb{R}^d} \). For a “density” G(r, t) of the familiar model of a physical system averaged over all realizations of the random field V, we establish an integral equation that has the form of the Dyson equation. The invariance of the equation under the continuous renormalization group allows using the renormalization group method to find an asymptotic expression for G(r, t) as r → ∞ and t → ∞.     

Calculation of Geometric Probabilities Using Covariogram of Convex Bodies

In the paper, a formula to calculate the probability that a random segment L(ω, u) in R ⁿ with a fixed direction u and length l lies entirely in the bounded convex body D ? R ⁿ (n ≥ 2) is obtained in terms of covariogram of the body D. For any dimension n ≥ 2, a relationship between the probability P(L(ω, u) ? D) and the orientation-dependent chord length distribution is also obtained. Using this formula, we obtain the explicit form of the probability P(L(ω, u) ? D) in the cases where D is an n-dimensional ball (n ≥ 2), or a regular triangle on the plane.     

Phragmén-Lindelöf Theorems and p-harmonic Measures for Sets Near Low-dimensional Hyperplanes

We prove estimates of a p-harmonic measure, p∈(n?m,∞], for sets in Rⁿ which are close to an m-dimensional hyperplane Λ?Rⁿ, m∈[0,n?1]. Using these estimates, we derive results of Phragmén-Lindelöf type in unbounded domains Ω?Rⁿ?Λ for p-subharmonic functions. Moreover, we give local and global growth estimates for p-harmonic functions, vanishing on sets in Rⁿ, which are close to an m-dimensional hyperplane.     

Searching for a Best Least Absolute Deviations Solution of an Overdetermined System of Linear Equations Motivated by Searching for a Best Least Absolute Deviations Hyperplane on the Basis of Given Data

We consider the problem of searching for a best LAD-solution of an overdetermined system of linear equations Xa=z, X∈?^m×n, m≥n, \(\mathbf{a}\in \mathbb{R}^{n}, \mathbf {z}\in\mathbb{R}^{m}\). This problem is equivalent to the problem of determining a best LAD-hyperplane x?a ^T x, x∈? ⁿ on the basis of given data \((\mathbf{x}_{i},z_{i}), \mathbf{x}_{i}= (x_{1}^{(i)},\ldots,x_{n}^{(i)})^{T}\in \mathbb{R}^{n}, z_{i}\in\mathbb{R}, i=1,\ldots,m\), whereby the minimizing functional is of the form

$F(\mathbf{a})=\|\mathbf{z}-\mathbf{Xa}\|_1=\sum_{i=1}^m|z_i-\mathbf {a}^T\mathbf{x}_i|.$

An iterative procedure is constructed as a sequence of weighted median problems, which gives the solution in finitely many steps. A criterion of optimality follows from the fact that the minimizing functional F is convex, and therefore the point a ^?∈? ⁿ is the point of a global minimum of the functional F if and only if 0∈?F(a ^?).

Motivation for the construction of the algorithm was found in a geometrically visible algorithm for determining a best LAD-plane (x,y)?αx+βy, passing through the origin of the coordinate system, on the basis of the data (x _i ,y _i ,z _i ),i=1,…,m.     

Cartesian Closed Extensions of Subcategories of CONT

In this paper we give a uniform way of proving cartesian closedness for many new subcategories of continuous posets. We define C-P to be the category of continuous posets whose D–completions are isomorphic to objects from C, where C is a subcategory of the category CONT of domains. The main result is that if C is a cartesian closed full subcategory of ALG _⊥ or BC, then C-P is also a cartesian closed subcategory of the category CONTP of continuous posets and Scott continuous functions. In particular, we have the following cartesian closed categories : BC-P, LAT-P, aL-P, aBC-P, B-P, aLAT-P, ω -B-P, ω -aLAT-P, etc.     

Certain Subsets on Which Every Bounded Convex Function Is Continuous

To guarantee every real-valued convex function bounded above on a set is continuous, how ＂thick＂ should the set be？ For a symmetric set A in a Banach space E,the answer of this paper is： Every real-valued convex function bounded above on A is continuous on E if and only if the following two conditions hold： i） spanA has finite co-dimentions and ii） coA has nonempty relative interior. This paper also shows that a subset A C E satisfying every real-valued convex function bounded above on A is continuous on E if （and only if） every real-valued linear functional bounded above on A is continuous on E, which is also equivalent to that every real-valued convex function bounded on A is continuous on E.     

Regularity in the Local CR Embedding Problem

We consider a formally integrable, strictly pseudoconvex CR manifold M of hypersurface type, of dimension 2n?1≥7. Local CR, i.e., holomorphic, embeddings of M are known to exist from the works of Kuranishi and Akahori. We address the problem of regularity of the embedding in standard Hölder spaces C ^a (M), a∈R. If the structure of M is of class C ^m , m∈Z, 4≤m≤∞, we construct a local CR embedding near each point of M. This embedding is of class C ^a , for every a, 0≤a<m+(1/2). Our method is based on Henkin’s local homotopy formula for the embedded case, some very precise estimates for the solution operators in it, and a substantial modification of a previous Nash–Moser argument due to the second author.