Simultaneous Subgradient Algorithms for the Generalized Split Variational Inclusion Problem in Hilbert Spaces

In this article, we study the generalized split variational inclusion problem. For this purpose, motivated by the projected Landweber algorithm for the split equality problem, we first present a simultaneous subgradient extragradient algorithm and give related convergence theorems for the proposed algorithm. Next, motivated by the alternating CQ-algorithm for the split equality problem, we propose another simultaneous subgradient extragradient algorithm to study the general split variational inclusion problem. As applications, we consider the split equality problem, split feasibility problem, split variational inclusion problem, and variational inclusion problem in Hilbert spaces.     

Multiphysics mixed finite element method with Nitsche's technique for Stokes-poroelasticity problem

In this article, we propose a multiphysics mixed finite element method with Nitsche's technique for Stokes-poroelasticity problem. Firstly, we reformulate the poroelasticity part of the original problem by introducing two pseudo-pressures to into a “fluid–fluid” coupled problem so that we can use the classical stable finite element pairs to deal with this problem conveniently. Then, we prove the existence and uniqueness of weak solution of the reformulated problem. And we use Nitsche's technique to approximate the coupling condition at the interface to propose a loosely-coupled time-stepping method to solve three subproblems at each time step–a Stokes problem, a generalized Stokes problem and a mixed diffusion problem. And the proposed method does not require any restriction on the choice of the discrete approximation spaces on each side of the interface provided that appropriate quadrature methods are adopted. Also, we give the stability analysis and error estimates of the loosely-coupled time-stepping method. Finally, we give the numerical tests to show that the proposed numerical method has a good stability and no “locking” phenomenon.     

An approach for solving nonlinear programming problems

In this paper we use measure theory to solve a wide range of the nonlinear programming problems. First, we transform a nonlinear programming problem to a classical optimal control problem with no restriction on states and controls. The new problem is modified into one consisting of the minimization of a special linear functional over a set of Radon measures; then we obtain an optimal measure corresponding to functional problem which is then approximated by a finite combination of atomic measures and the problem converted approximately to a finite-dimensional linear programming. Then by the solution of the linear programming problem we obtain the approximate optimal control and then, by the solution of the latter problem we obtain an approximate solution for the original problem. Furthermore, we obtain the path from the initial point to the admissible solution.     

Solving some optimal path planning problems using an approach based on measure theory

In this paper we solve a collection of optimal path planning problems using a method based on measure theory. First we consider the problem as an optimization problem and then we convert it to an optimal control problem by defining some artificial control functions. Then we perform a metamorphosis in the space of problem. In fact we define an injection between the set of admissible pairs, containing the control vector function and a collision-free path defined on free space and the space of positive Radon measures. By properties of this kind of measures we obtain a linear programming problem that its solution gives rise to constructing approximate optimal trajectory of the original problem. Some numerical examples are proposed.     

On a singular two dimensional nonlinear evolution equation with nonlocal conditions

This paper deals with a nonclassical initial boundary value problem for a two dimensional parabolic equation with Bessel operator. We prove the existence and uniqueness of the weak solution of the given nonlinear problem. We start by solving the associated linear problem. After writing this latter in its operator form, we establish an a priori bound from which we deduce the uniqueness of the strong solution. For the solvability of the associated linear problem, we prove that the range of the operator generated by the considered problem is dense. On the basis of the obtained results of the linear problem, we apply an iterative process to establish the existence and uniqueness of the nonlinear problem.     

分裂可行问题(SFP)的投影算法

本文探讨了分裂可行问题(SFP)的投影算法．我们先定义了(SFP)的反问题(ISFP), 然后利用正交投影性质,给出了(SFP)与(ISFP)及某些投影不动点问题之间的关系．随后, 给出了求解(SFP)的几种正交投影算法,其中包括精确和不精确投影格式．基于变分不等式中投影算法收敛性的证明思路和分裂可行问题的特有形式,证明了这几种算法的收敛性．最后通过几个算例对讨论的方法进行了初步比较．     

First kind symmetric periodic solutions and their stability for the Kepler problem and anisotropic Kepler problem plus generalized anisotropic perturbation

Motivated by some problems in Celestial Mechanics that combines quasihomogeneous potential in the anisotropic space, we investigate the existence of several families of first kind symmetric periodic solutions for a family of planar perturbed Kepler problem. In addition, we give sufficient conditions for the existence of first kind periodic solutions and also we characterize its type of stability. As an application of this general situation, we discuss the existence of symmetric periodic solutions for the anisotropic Kepler problem plus a generalized anisotropic perturbation, (shortly, p-AKPQ problem) and for the Kepler problem plus a generalized anisotropic perturbation (shortly, p-KPQ problem), as continuation of circular orbits of the two-dimensional Kepler problem. To get this objective, we consider different types of perturbations and then we apply our main result.     

Global Method for Monotone Variational Inequality Problems with Inequality Constraints

We consider optimization methods for monotone variational inequality problems with nonlinear inequality constraints. First, we study the mixed complementarity problem based on the original problem. Then, a merit function for the mixed complementarity problem is proposed, and some desirable properties of the merit function are obtained. Through the merit function, the original variational inequality problem is reformulated as simple bounded minimization. Under certain assumptions, we show that any stationary point of the optimization problem is a solution of the problem considered. Finally, we propose a descent method for the variational inequality problem and prove its global convergence.     

Solving semi-infinite programs by smoothing projected gradient method

In this paper, we study a semi-infinite programming (SIP) problem with a convex set constraint. Using the value function of the lower level problem, we reformulate SIP problem as a nonsmooth optimization problem. Using the theory of nonsmooth Lagrange multiplier rules and Danskin’s theorem, we present constraint qualifications and necessary optimality conditions. We propose a new numerical method for solving the problem. The novelty of our numerical method is to use the integral entropy function to approximate the value function and then solve SIP by the smoothing projected gradient method. Moreover we study the relationships between the approximating problems and the original SIP problem. We derive error bounds between the integral entropy function and the value function, and between locally optimal solutions of the smoothing problem and those for the original problem. Using certain second order sufficient conditions, we derive some estimates for locally optimal solutions of problem. Numerical experiments show that the algorithm is efficient for solving SIP.     

A study of mixed discrete bilevel programs using semidefinite and semi-infinite programming

In this paper, we study the bilevel programming problem with discrete polynomial lower level problem. We start by transforming the problem into a bilevel problem comprising a semidefinite program (SDP for short) in the lower level problem. Then, we are able to deduce some conditions of existence of solutions for the original problem. After that, we again change the bilevel problem with SDP in the lower level problem into a semi-infinite program. With the aid of the exchange technique, for simple bilevel programs, an algorithm for computing a global optimal solution is suggested, the convergence is shown, and a numerical example is given.     

抽象经济均衡问题解的存在性及其算法

本文首先研究一类新的向量均衡问题,利用截口定理与KKM定理两种不同的工具证明此类均衡问题解的存在性,接着,把这类向量均衡问题推广到更为一般的情形,随后讨论了具有上下界的均衡问题,它是由Isac,Sehgal和Singh于1999年提出的一个公开问题,本文在一定条件下获得了一个新的解的存在性定理,并构造了一个迭代算法,讨论了算法的收敛性。     

Sequential and parallel algorithms for minimum flows

First, we present two classes of sequential algorithms for minimum flow problem: decreasing path algorithms and preflow algorithms. Then we describe another approach of the minimum flow problem, that consists of applying any maximum flow algorithm in a modified network. In section 5 we present several parallel preflow algorithms that solve the minimum flow problem. Finally, we present an application of the minimum flow problem.     

Multiple Order Pick Sequencing in a Carousel System: A Solvable Case of the Rural Postman Problem

We consider the problem of sequencing picks in a set of orders on a single carousel. First we consider the situation in which the sequence of the orders is given. For this problem we present an efficient dynamic programming algorithm. Second, we consider the problem without a given order sequence. We simplify this problem to a Rural Postman Problem on a circle and solve this problem to optimality. Finally, we show that the solution of the Rural Postman Problem requires at most 1.5 revolutions more than a lower bound of an optimum solution to the original problem.     

一类线性约束变分不等式问题的幂罚函数法

本文研究了一类线性约束变分不等式(Ⅵ)的幂罚函数法求解问题.利用Ⅵ的KKT条件,将Ⅵ转化为等价的混合互补问题和一个新的Ⅵ问题,并在一定条件下分析了解的存在性和唯一性.利用度理论证明了幂罚方程组解的存在性与唯一性.由以上结果最终证明了幂罚函数法的收敛性,即幂罚方程组的解收敛于Ⅵ问题的解.     

Periodic Solutions for Second Order Differential Inclusions with Nonconvex and Unbounded Multifunction

In this paper we consider a second order multivalued periodic boundary value problem with a nonconvex and unbounded orientor field (set-valued vector field). Using a directionally continuous selector, through its Filippov regularization we produce a convex-valued, bounded multifunction and with this as orientor field we introduce a new multivalued periodic problem. Using the Leray-Schauder principle, we solve the convex problem and then we show that its solutions also solve the original nonconvex problem.     

On a negative-equivalency theorem in associative optimal path problems

In this we study a wide class of optimal path problem in acyclic digraphs, where path lengths are defined through associative binary operations:addition, multiplication, multiplication-addition, fraction and so on. Solving a system of two interrelated recur-sive equations, we simultaneously find both shortest and longest path lengths, Further, for every problem (primal problem), we associate the other related problem (negative-equivalent problem) where each path length is defined through the associative operation connected to it in the primal problem by DeMorgan’s law. The main objective of this paper is to derive a negative-equivalency theorem between the primal problem and the negative-equivalent one     

An unconstrained minimization method for solving low-rank SDP relaxations of the maxcut problem

In this paper we consider low-rank semidefinite programming (LRSDP) relaxations of combinatorial quadratic problems that are equivalent to the maxcut problem. Using the Gramian representation of a positive semidefinite matrix, the LRSDP problem can be formulated as the nonconvex nonlinear programming problem of minimizing a quadratic function with quadratic equality constraints. For the solution of this problem we propose a continuously differentiable exact merit function that exploits the special structure of the constraints and we use this function to define an efficient and globally convergent algorithm. Finally, we test our code on an extended set of instances of the maxcut problem and we report comparisons with other existing codes.     

Packing strong subgraph in digraphs

In this paper, we study two types of strong subgraph packing problems in digraphs, including internally disjoint strong subgraph packing problem and arc-disjoint strong subgraph packing problem. These problems can be viewed as generalizations of the famous Steiner tree packing problem and are closely related to the strong arc decomposition problem. We first prove the NP-completeness for the internally disjoint strong subgraph packing problem restricted to symmetric digraphs and Eulerian digraphs. Then we get inapproximability results for the arc-disjoint strong subgraph packing problem and the internally disjoint strong subgraph packing problem. Finally we study the arc-disjoint strong subgraph packing problem restricted to digraph compositions and obtain some algorithmic results by utilizing the structural properties.     

Optimal control of a two-dimensional contact problem

We consider a frictionless contact problem with unilateral constraints for a 2D bar. We describe the problem, then we derive its weak formulation, which is in the form of an elliptic variational inequality of the first kind. Next, we establish the existence of a unique weak solution to the problem and prove its continuous dependence with respect to the applied tractions and constraints. We proceed with the study of an associated control problem for which we prove the existence of an optimal pair. Finally, we consider a perturbed optimal control problem for which we prove a convergence result.     

组稀疏优化问题精确连续Capped-L_(1)松弛北大核心CSCD

本文主要研究损失函数为凸函数且带有约束的组稀疏正则回归问题及组稀疏正则项的精确连续Capped-L_(1)松弛问题.首先对组Capped-L_(1)松弛问题定义了三类稳定点:D(irectional)-稳定点、C(ritical)-稳定点、L(ifted)-稳定点,然后刻画了这三类稳定点之间的关系.进一步,给出了组Capped-L_(1)松弛问题和原始组稀疏正则问题的最优性条件,并从全局解和局部解角度讨论了松弛问题和原问题解的等价关系.