Some well-posed results on the time-fractional Rayleigh–Stokes problem with polynomial and gradient nonlinearities

In this work, we ponder on a Cauchy problem for the Rayleigh–Stokes equation accompanied by polynomial and gradient nonlinearities. We particularly concern about the behavior of mild solutions for the different instances of the nonlinear source term. In the case of polynomial nonlinearities, we present the local-in-time existence and uniqueness of the mild solution. Moreover, we claim that either it is the global-in-time or it blows up at a finite time. With reference to the case that the source function is global Lipschitzian, we observe that the solution always uniquely exists for a finite time and is continuously dependent. Eventually, we establish some regularity results for the mild solution.     

A new predator-prey model with a profitless delay of digestion and impulsive perturbation on the prey

In this paper, we formulate a robust prey-dependent consumption predator-prey model with a delay of digestion and impulsive perturbation on the prey. Using the discrete dynamical system determined by the stroboscopic map, we obtain a ‘predator-eradication’ periodic solution and show that the ‘predator-eradication’ periodic solution is globally attractive when harvesting for the prey is over certain value. Using a new qualitative analysis method for impulsive and delay differential equations, we prove the system is uniformly persistent when harvesting for the prey is under certain value. Further, we show the delay of digestion is a “profitless” time delay. Moreover, we show our theoretical results by numerical simulation. In this paper, the main feature is that we introduce a delay of digestion and impulsive effects into the predator-prey model and exhibit a new mathematical method which is applied to investigate the system which is governed by both impulsive and delay differential equations.     

On bounds for the mode and median of the generalized hyperbolic and related distributions

Except for certain parameter values, a closed form formula for the mode of the generalized hyperbolic (GH) distribution is not available. In this paper, we exploit results from the literature on modified Bessel functions and their ratios to obtain simple but tight two-sided inequalities for the mode of the GH distribution for general parameter values. As a special case, we deduce tight two-sided inequalities for the mode of the variance-gamma (VG) distribution, and through a similar approach we also obtain tight two-sided inequalities for the mode of the McKay Type I distribution. The analogous problem for the median is more challenging, but we conjecture some monotonicity results for the median of the VG and McKay Type I distributions, from we which we conjecture some tight two-sided inequalities for their medians. Numerical experiments support these conjectures and also lead us to a conjectured tight lower bound for the median of the GH distribution.     

Asymptotical feedback controllability of continuous-time probabilistic logic control networks

In this article, we study the controllability of continuous-time probabilistic logic control networks (CT-PLCNs) under sampled-data feedback controls (SDFCs). First, we demonstrate that the concept of finite-time controllability with probability one for discrete-time probabilistic logic control networks cannot be generalized to CT-PLCNs. Then, we propose the concepts of asymptotical feedback reachability and asymptotical feedback controllability for CT-PLCNs. Based on the invariant subsets, we prove that a target state is asymptotically feedback reachable if and only if the target state is a control equilibrium point and any initial state has an admissible path to the target state. Moreover, we introduce the concept of reachability matrix and propose an easily verifiable criterion for asymptotical feedback reachability expressed in terms of the reachability matrix. Based on these, we prove that a CT-PLCN is asymptotically feedback controllable if and only if every state is a control equilibrium point and there is an admissible path between any pair of initial and target states. The relation between controllability and stabilizability is also discussed. We prove that a CT-PLCN is asymptotically feedback controllable if and only if every state is asymptotically feedback stabilizable. For a controllable CT-PLCN, we propose an algorithm of designing a stabilizing SDFC for any given target state. Additionally, we discuss the asymptotical feedback controllability of CT-PLCNs under time-varying nonuniform SDFCs. Finally, an illustrative example is presented to explain the proposed methods and verify the controllability criteria.     

Nonlinear elliptic differential equations with multivalued nonlinearities

In this paper we study nonlinear elliptic boundary value problems with monotone and nonmonotone multivalued nonlinearities. First we consider the case of monotone nonlinearities. In the first result we assume that the multivalued nonlinearity is defined on all ℝ. Assuming the existence of an upper and of a lower solution, we prove the existence of a solution between them. Also for a special version of the problem, we prove the existence of extremal solutions in the order interval formed by the upper and lower solutions. Then we drop the requirement that the monotone nonlinearity is defined on all of ℝ. This case is important because it covers variational inequalities. Using the theory of operators of monotone type we show that the problem has a solution. Finally in the last part we consider an eigenvalue problem with a nonmonotone multivalued nonlinearity. Using the critical point theory for nonsmooth locally Lipschitz functionals we prove the existence of at least two nontrivial solutions (multiplicity theorem).     

一类广义半无限规划问题的光滑牛顿算法

本文在广义半无限规划问题的最优解集X处满足某些条件的前提下将广义半无限规划问题转化成KKT系统,通过扰动的FB函数,将KKT系统转化为一组光滑函数方程,设计了一个光滑牛顿算法,证明了算法的全局收敛性,并且在光滑函数解集处满足局部误差界条件下证明了算法具有超线性收敛速率.     

Proportionally Modular Diophantine Inequalities and Full Semigroups

A proportionally modular numerical semigroup is the set of nonnegative integer solutions to a Diophantine inequality of the type ax mod b ≤ cx. We give a new presentation for these semigroups and we relate them with a type of affine full semigroups. Next, we describe explicitly the minimal generating system for the affine full semigroups we are considering. As a consequence, we obtain generating systems for proportionally modular numerical semigroups and we exhibit several families of these semigroups in terms of their generators. Finally, we use the concept of fundamental gap to study when a proportionally modular numerical semigroup is symmetric and we propose some open problems.     

An algorithm for semi-infinite transportation problems

In this paper we consider a class of semi-infinite transportation problems. We develop an algorithm for this class of semi-infinite transportation problems. The algorithm is a primal dual method which is a generalization of the classical algorithm for finite transportation problems. The most important aspect of our paper is that we can prove the convergence result for the algorithm. Finally, we implement some examples to illustrate our algorithm.     

Bridge position and the representativity of spatial graphs

In this paper, we consider closed surfaces which contain spatial graphs. In the case that a closed surface is a 2-sphere, we show that the 2-sphere can be isotoped so that it intersects a bridge sphere for the spatial graph in a single loop. In the case that a closed surface is not a 2-sphere, we define an invariant of a spatial graph by counting the number of intersection of a compressing disk for the closed surface and the spatial graph. By using this invariant, we give a lower bound for the bridge number of a spatial graph.     

Effects of population dispersal and impulsive control tactics on pest management

In this paper, we firstly consider a Lotka–Volterra predator–prey model with impulsive constant releasing for natural enemies and a proportion of killing or catching pests at fixed moments, and we have proved that there exists a pest-eradication periodic solution which is globally asymptotically stable. Further, we extend the model for the population to move in a two-patch environment. The effects of population dispersal and impulsive control tactics are investigated, i.e. we chiefly address the question of whether population dispersal is beneficial or detrimental for pest persistence. To do this, some special cases are theoretically investigated and numerical investigations are done for general case. The results indicate that for some ranges of dispersal rates, population dispersal is beneficial to pest control, but for other ranges, it is harmful. These clarify that we can get some new effective pest control strategies by controlling the dispersal rates of pests and natural enemies.     

A necessary and sufficient condition for duality in control problems: KT-invex functionals

In this article, we introduce a new condition on functionals of a control problem, and for that purpose we define the KT-invex functionals. We extend recent optimality control works to the study of duality. In this way we establish weak, strong and converse duality results under KT-invexity. Furthermore, we prove that KT-invexity is not only a sufficient condition for establishing duality, but it is necessary.     

A polycycle and limit cycles in a non-differentiable predator-prey model

For a non-differentiable predator-prey model, we establish conditions for the existence of a heteroclinic orbit which is part of one contractive polycycle and for some values of the parameters, we prove that the heteroclinic orbit is broken and generates a stable limit cycle. In addition, in the parameter space, we prove that there exists a curve such that the unique singularity in the realistic quadrant of the predator-prey model is a weak focus of order two and by Hopf bifurcations we can have at most two small amplitude limit cycles.     

Regularization of a backward problem for the inhomogeneous time-fractional wave equation

In this paper, we consider a backward problem for an inhomogeneous time-fractional wave equation in a general bounded domain. Such a backward problem is of practically great importance because we often do not know the initial density of substance, but we can observe the density at a positive moment. The existence and regularity for the backward problem are investigated. The backward problem is ill-posed, and we propose a regularizing scheme by using a modified regularization method. We also prove the convergence rate for the regularized solution by using some a priori regularization parameter choice rule.     

On the complexity of the word problem for automaton semigroups and automaton groups

In this paper, we study the word problem for automaton semigroups and automaton groups from a complexity point of view. As an intermediate concept between automaton semigroups and automaton groups, we introduce automaton-inverse semigroups, which are generated by partial, yet invertible automata. We show that there is an automaton-inverse semigroup and, thus, an automaton semigroup with a PSpace-complete word problem. We also show that there is an automaton group for which the word problem with a single rational constraint is PSpace-complete. Additionally, we provide simpler constructions for the uniform word problems of these classes. For the uniform word problem for automaton groups (without rational constraints), we show NL-hardness. Finally, we investigate a question asked by Cain about a better upper bound for the length of a word on which two distinct elements of an automaton semigroup must act differently.A detailed listing of the contributions of this paper can be found at the end of this paper.     

关于非交换子空间格代数的超自反性

利用Ａｒｖｅｓｏｎ关于自反代数超自反的特征，给出Ｈｉｌｂｅｒｔ空间上一类非交换格自反代数超自反常数的一个估计，证明了一些非交换子空间格自反代数的超自反性．     

Pointwise Control of the Burgers Equation and Related Nash Equilibrium Problems: Computational Approach

This article is concerned with the numerical solution of multiobjective control problems associated with nonlinear partial differential equations and more precisely the Burgers equation. For this kind of problems, we look for the Nash equilibrium, which is the solution to a noncooperative game. To compute the solution of the problem, we use a combination of finite-difference methods for the time discretization, finite-element methods for the space discretization, and a quasi-Newton BFGS algorithm for the iterative solution of the discrete control problem. Finally, we apply the above methodology to the solution of several tests problems. To be able to compare our results with existing results in the literature, we discuss first a single-objective control problem, already investigated by other authors. Finally, we discuss the multiobjective case.     

On Metric Pseudo-(sub)Regularity of Multifunctions and Optimality Conditions for Degenerated Mathematical Programs

This paper is devoted to the analysis of a special kind of regularity of a multifunction which we call metric pseudo-(sub)regularity, when the multifunction is not metrically (sub)regular at a given point but is metrically (sub)regular at certain points in a neighborhood with moduli possibly tending to infinity with a certain order. By using advanced techniques of generalized differentiation we derive conditions both necessary and sufficient for this property. As a byproduct we obtain a new sufficient condition for metric subregularity. Then we apply these results to multifunctions composed by a smooth mapping and a generalized polyhedral multifunction and obtain explicit formulas for this case. Finally we show how the theory can be used to obtain necessary optimality conditions when the constraint qualification condition of metric (sub)regularity is violated.     

基于跳扩散过程的可转换债券的定价

本文标的股票的方程采用跳扩散方程,首先规定一个跳跃的涨跌区间,这样就可以很快的找出跳跃点,我们根据跳跃点将股价聚类,然后把各个类看成是总体中抽取出来的一个样本,我们就可以估计出跳扩散方程中的所有参数.由于我们的标的股票的方程是含跳过程,因此无法找出完全保值的自融资策略,但我们可以根据风险最小化的原理给出可转换债券的价格,最后运用Monte Carlo模拟计算出了南京水运转债在0时刻的价格。     

Viscosity solutions for second order integro-differential equations without monotonicity condition: the probabilistic approach

In this paper, we establish a new existence and uniqueness result of a continuous viscosity solution for integro-partial differential equation (IPDE in short). The novelty is that we relax the so-called monotonicity assumption on the driver which is classically assumed in the literature of viscosity solutions of equation with non-local terms. Our method strongly relies on the link between IPDEs and backward stochastic differential equations with jumps for which we already know that the solution exists and is unique for general drivers. In the second part of the paper, we deal with the IPDE with obstacle and we obtain similar results.     

A convergent criss-cross method

Our paper presents a new Criss-Cross method for solving linear programming problems. Starting from a neither primal nor dual feasible solution, we reach an optimal solution in finite number of steps if it exists. If there is no optimal solution, then we show that there is not primal feasible or dual feasible solution, We prove the finiteness of this procedure. Our procedure is not the same as the primal or dual simplex method if we have a primal or dual feasible solution, so we have constructed a quite new procedure for solving linear programming problems.