Some new dynamic inequalities on time scales

In this paper, based on some known dynamic inequalities, we investigate certain new dynamic inequalities on time scales, which provide explicit bounds on unknown functions. Our results unify and extend some continuous inequalities and their corresponding discrete analogues.     

On Binary Resilient Functions

Using a lifting formula for the coefficients of Boolean functions, we characterize binary resilient functions as binary matrices with certain row or column intersection properties. We give some new constructions of binary resilient functions based on this characterization. In particular, we show that the incidence matrix of a Steiner system can be used to construct binary resilient functions.     

Preference orders and continuous representations

In this paper we prove some general theorems on the existence of continuous order-preserving functions on topological spaces with a continuous preorder. We use the concepts of network and netweight to prove new continuous representation theorems and we establish our main results for topological spaces that are countable unions of subspaces. Some results in the literature on path-connected, locally connected and separably connected spaces are shown to be consequences of the general theorems proved in the paper. Finally, we prove a continuous representation theorem for hereditarily separable spaces.     

THE NORMALITY OF ALGEBROID MULTIFUNCTIONS AND THEIR COEFFICIENT FUNCTIONS

In this paper, we investigate the normality relationship between algebroid multifunctions and their coefficient functions. We prove that the normality of a k-valued entire algebroid multifunctions family is equivalent to their coefficient functions in some conditions.Furthermore, we obtain some new normality criteria for algebroid multifunctions families based on these results. We also provide some examples to expound that some restricted conditions of our main results are necessary.     

A simplified conjugation scheme for lower semi-continuous functions

We present two generalized conjugation schemes for lower semi-continuous functions defined on a real Banach space whose norm is Fréchet differentiable off the origin, and sketch their applications to optimization duality theory. Both approaches are based upon a new characterization of lower semi-continuous functions as pointwise suprema of a special class of continuous functions.     

等式约束优化问题的一类新的简单光滑精确罚函数

精确罚函数方法是求解优化问题的一类经典方法,传统的精确罚函数不可能既是简单的又是光滑的,这里简单的是指罚函数中不包含目标函数和约束函数的梯度信息。针对等式约束问题提出了不同与传统罚函数的一类新的简单光滑罚函数并证明了它是精确的。给出了以新的罚函数为基础的罚函数方法并用数值例子说明算法是可行的。     

逐段单调函数的高度与拓扑共轭

迭代运算下,函数值可以交叉于不同的子区间,使得逐段单调函数的高度异常复杂.本文考虑一个非单调点的连续函数类.首先给出高度的充分必要条件,以此获得此类函数的一种划分.其次针对函数类的一个非空子集,给出判定拓扑共轭的充分必要条件和构造拓扑共轭的新方法.进一步地,我们阐明这样的事实:两个逐段单调函数拓扑共轭是其高度相等的充分不必要条件,最后举例说明.     

Betti numbers in multidimensional persistent homology are stable functions

Multidimensional persistence mostly studies topological features of shapes by analyzing the lower level sets of vector‐valued functions, called filtering functions. As is well known, in the case of scalar‐valued filtering functions, persistent homology groups can be studied through their persistent Betti numbers, that is, the dimensions of the images of the homomorphisms induced by the inclusions of lower level sets into each other. Whenever such inclusions exist for lower level sets of vector‐valued filtering functions, we can consider the multidimensional analog of persistent Betti numbers. Varying the lower level sets, we obtain that persistent Betti numbers can be seen as functions taking pairs of vectors to the set of non‐negative integers. In this paper, we prove stability of multidimensional persistent Betti numbers. More precisely, we prove that small changes of the vector‐valued filtering functions imply only small changes of persistent Betti numbers functions. This result can be obtained by assuming the filtering functions to be just continuous. Multidimensional stability opens the way to a stable shape comparison methodology based on multidimensional persistence. In order to obtain our stability theorem, some other new results are proved for continuous filtering functions. They concern the finiteness of persistent Betti numbers for vector‐valued filtering functions and the representation via persistence diagrams of persistent Betti numbers, as well as their stability, in the case of scalar‐valued filtering functions. Finally, from the stability of multidimensional persistent Betti numbers, we obtain a lower bound for the natural pseudo‐distance. Copyright © 2013 John Wiley & Sons, Ltd.     

Generalized distance functions of Riemannian manifolds and the motions of gyroscopic systems

We use the homology groups of the path space of an arbitrary Riemannian manifold to define some analogs of the distance function and study their main properties. For the natural systems with gyroscopic forces we prove an existence theorem for solutions to the two-point boundary value problem, which complements the results of [1]. We apply the geodesic modeling method of [1, 2], using the generalized distance functions.     

On Hukuhara’s differentiable iteration semigroups of linear set-valued functions

In this paper, we investigate the uniform convergence of continuous linear set-valued functions on compact sets. We also consider conditions under which the family of continuous linear extensions of a differential iteration semigroup of continuous linear set-valued functions is a differentiable iteration semigroup. In particular, since the cones and normed spaces are not supposed to be complete our main results generalize some recent results on Hukuhara’s derivative of set-valued functions.     

Banach空间上Ptolemy常数的计算

利用绝对正规范数生成凸函数的关系,给出了加权平均范数空间上Ptolemy常数的取值,解决了一些文献的遗留问题,并在一些具体的空间上给出了Ptolemy常数的新结果.     

非线性振动分析中的正交函数法

本文根据谐波平衡法假设周期解的基本思想，提出了一种分析非线性振动特性的正交函数法。将位移展开为谐波的级数形式，根据线性模态和三角级数的正交性导出了一组形式简单的特征方程。有效地解决了平方非线性系统存在漂移项的困难，算例表明：本文方法精度高，收敛快，工作量小。     

Finite-time stability of hybrid systems with continuous and Boolean dynamics

The hybrid systems with continuous and discrete variables can be used to describe many real-world phenomena. In this paper, by generalizing the mathematical form of gene regulatory networks, a novel class of hybrid systems consisting of continuous and Boolean dynamics is investigated. Firstly, the new hybrid system is introduced in detail, and a concept of finite-time stability (FTS) for it is proposed. Next, the existence and uniqueness of solutions are proved by fixed point theory. Furthermore, based on Lyapunov functions and the semi-tensor product (STP), i.e., Cheng product, some sufficient conditions of FTS for the hybrid systems are presented. The main results are illustrated by two numerical examples.     

Approximation by ridge functions and neural networks with a bounded number of neurons

In this paper, we consider the problem of approximation of continuous multivariate functions by neural networks with a bounded number of neurons in hidden layers. We prove the existence of single-hidden-layer networks with bounded number of neurons, which have approximation capabilities not worse than those of networks with arbitrarily many neurons. Our analysis is based on the properties of ridge functions.     

Level Function Method for Quasiconvex Programming

In this paper, we introduce the notion of level function for a continuous real-valued quasiconvex function. The existence, construction, and application of level functions are discussed. Further, we propose a numerical method based on level functions for the solution of quasiconvex minimization problems. Several versions of the algorithms are presented. Also, we apply the idea of the level function method to the solution of a class of variational inequality problems. Finally, the results of numerical experiments on the proposed algorithms are reported.     

Recent Progress in Polyhedral Harmonics

Polyhedral harmonics is a subject which deals with the problem of characterizing the continuous functions satisfying the mean value property with respect to a polytope. The main feature of it is the finite dimensionality of the space of polyhedral harmonic functions. The theory involves not only analysis but also algebra and combinatorics, and has a rather different flavor from classical harmonic analysis. This paper aims at providing a survey on the subject, focusing on the author's recent results.     

On methods for converting exhausters of positively homogeneous functions

In the paper we develop a method for converting a (not necessarily uniformly bounded) upper (lower) primal exhauster of a continuous positively homogeneous function to a lower (upper) primal exhauster of the same function. The method is based on representation of a continuous positively homogeneous function as a pointwise supremum (infimum) of an one-parameter monotone family of Lipschitz continuous positively homogeneous functions that is of independent interest.     

A continuous framework for open pit mine planning

This paper proposes a new mathematical framework for the open pit mine planning problem, based on continuous functional analysis. The main challenge for engineers is to determine a sequence of nested profiles maximizing the net present value of the mining operation. The traditional models for this problem have been constructed by using binary decision variables, giving rise to large-scale combinatorial and Mixed Integer Programming problems. Instead, we use a continuous approach which allows for a refined imposition of slope constraints associated with geotechnical stability. The framework introduced here is posed in a suitable functional space, essentially the real-valued functions that are Lipschitz continuous on a given two dimensional bounded region. We derive existence results and investigate qualitative properties of the solutions.     

On the continuity of functions

In this paper, results of a questionnaire about continuity of functions are analysed. The tested students attend Novi Sad grammar school. The aim of this test was to check the student's theoretical and visual knowledge of continuous functions at the end of their high school education. The questions were given with and without the graphs of functions. The main conclusion is that the graph of a function has a significant influence on the students opinion about continuity. Looking at the graphs of functions mostly led to correct answers, but sometimes it causes problems, if it has a break. The idea came from a 1981 paper by Tall and Vinner, where the “concept image” of a continuous functions was examined.     

带等式约束的光滑优化问题的一类新的精确罚函数

罚函数方法是将约束优化问题转化为无约束优化问题的主要方法之一. 不包含目标函数和约束函数梯度信息的罚函数, 称为简单罚函数. 对传统精确罚函数而言, 如果它是简单的就一定是非光滑的; 如果它是光滑的, 就一定不是简单的. 针对等式约束优化问题, 提出一类新的简单罚函数, 该罚函数通过增加一个新的变量来控制罚项. 证明了此罚函数的光滑性和精确性, 并给出了一种解决等式约束优化问题的罚函数算法. 数值结果表明, 该算法对于求解等式约束优化问题是可行的.