逻辑系统Luk中公式间的伪距离

在逻辑系统Lukasiewicz中,利用序结构知识和赋值函数的性质来研究公式间的伪距离,避开了n重积分的复杂计算,推出了积分真度与伪距离之间以及伪距离相互之间的若干等式与不等式,特别是得到了伪距离关于运算""""的若干新性质,从而给出了在伪距离空间中运算"■""→""∨""∧"""""关于伪距离均连续这一重要定理的简洁证明。     

微积分学中辅助函数的应用

利用积分的方法以及积分上限函数,适当作辅助函数,能较方便地证明某些等式和不等式.     

一般对偶混合体积不等式(英文)

本文研究了星体的对偶仿射均质积分问题.利用H(o)lder不等式和Blaschke-Santaló不等式.获得了一般对偶均质积分的Minkowski不等式,Brunn-Minkowski不等式以及定理3.从而不等式推广了文献[7]的结果.     

Hardy-Hilbert积分不等式的改进

通过引入带参数的指数积分并利用Bernoulli不等式以及改进了的Hlder不等式,对Hardy-Hilbert积分不等式作了有意义改进.特别,当p=2时,得到了经典的Hilbert积分不等式的一个很强的结果.     

关于弦幂积分的一个不等式

首先利用Hlder不等式证明一个弦幂积分不等式,然后利用该不等式获得了一个类似于Maclaurin的弦幂积分不等式.     

基于Choquet积分的H(o)lder不等式及其应用

基于Sugeno积分的不等式已被许多学者所研究.然而,基于Choquet积分不等式的研究却很少.最近,在集函数μ满足次模性质的假设之下王瑞省研究了基于Choquet积分的H(o)lder不等式以及其它几个不等式.本文的主要结果是用被积函数f,g的共同单调性来代替μ的次模性质,在此基础上证明了H(o)lder不等式.作为应用,我们还得到了Minkowski不等式和Lyapunov不等式.     

Lp混合均值积分的log-Minkowski不等式的简化证明

研究了关于Lp混合均值积分的log-Minkowski不等式,应用Jensen不等式给出Lp混合均值积分的log-Minkowski不等式的简化证明,同时应用加强的Jensen不等式给出一加强不等式.     

时间尺度上的某些积分不等式

研究了时间尺度上二维逆H(o)lder型不等式和H(o)lder不等式.还利用时间尺度上的H(o)lder不等式,给出了许多积分不等式.Hardy不等式是其特殊情况.     

三阶可微函数的若干不等式

通过建立与Bullen不等式有关的积分恒等式,利用Halder不等式、Grüss不等式、Chebychev不等式,给出三阶可微函数的一些不等式.     

Hardy-Hilbert型积分不等式的一种新改进

研究了带积分核函数和参数λ（λ〉1）的Hardy-Hilbert型不等式,并利用加强的Hlder’s不等式对Hardy-Hilbert不等式作了改进,建立了一些新的不等式.     

Iterated index formulae for closed geodesics with applications

In this paper, various precise iteration equalities and inequalities of Morse indices for the closed geodesics are established. As applications of these formulae, multiplicity results of closed geodesics on some Riemannian manifolds are proved.     

Distance degree regular graphs

In this note, inequalities between the distance degrees of distance degree regular graphs and to characterize the graphs when one of the equalities holds are proved.     

Analyzing linear systems containing strict inequalities via evenly convex hulls

The evenly convex hull of a given set is the intersection of all the open halfspaces which contain such set (hence the convex hull is contained in the evenly convex hull). This paper deals with finite dimensional linear systems containing strict inequalities and (possibly) weak inequalities as well as equalities. The number of inequalities and equalities in these systems is arbitrary (possibly infinite). For such kind of systems a consistency theorem is provided and those strict inequalities (weak inequalities, equalities) which are satisfied for every solution of a given system are characterized. Such results are formulated in terms of the evenly convex hull of certain sets which depend on the coefficients of the system.     

Some equalities and inequalities of g-continuous frames

In this paper, we derive some equalities and inequalities about g-continuous frames, which are an extension to g-frames and continuous frames. We also discuss the stability of the perturbation of a g-continuous frame.     

Fuzzy inequational logic

We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic entailment and provability in graded setting which allows to draw partially true conclusions from partially true assumptions. We follow the Pavelka approach and define general degrees of semantic entailment and provability using complete residuated lattices as structures of truth degrees. We prove the logic is Pavelka-style complete. Furthermore, we present a logic for reasoning about graded if–then rules which is obtained as particular case of the general result.     

Smoothing Newton-Like Method for the Solution of Nonlinear Systems of Equalities and Inequalities

In this paper, we present a smoothing Newton-like method for solving non-linear systems of equalities and inequalities. By using the so-called max function, we transfer the inequalities into a system of semismooth equalities. Then a smoothing Newton-like method is proposed for solving the reformulated system, which only needs to solve one system of linear equations and to perform one line search at each iteration. The global and local quadratic convergence are studied under appropriate assumptions. Numerical examples show that the new approach is effective.     

A new constraint qualification condition

We introduce a new constraint qualification condition in mathematical programming which encompasses the Mangasarian-Fromovitz's condition and the constant rank condition of Janin. Contrarily to the Mangasarian-Fromovitz's condition, our condition is still satisfied when one translates equalities as double inequalities. It relies on the fact that linearization stability is easier to check with equalities than with inequalities.     

Norm equalities and inequalities for operator matrices

Several norm equalities and inequalities for operator matrices are proved in this paper. These results, which depend on the structure of circulant and skew circulant operator matrices, include pinching type inequalities for weakly unitarily invariant norms.     

一类非对称单调变分不等式的交替方向法

对一类非对称变分不等式问题提出了交替方向法。推广了交替方向仅适用于等式约束或不等约束的情形，得出了迭代序列的一些性质及收敛性．     

与Gauss测度有关的椭圆方程比较结果中等号成立的条件

In this paper, we deal with a Dirichlet problem for linear elliptic equations related to Gauss measure. For this problem, we study the converse of some inequalities proved by other authors, in the sense that we study the case of equalities and show that equalities are achieved only in the ＂symmetrized＂ situations. In addition, under other assumptions, we give a different form of comparison results and discuss the corresponding case of equalities.