A new approach to pointwise heat kernel upper bounds on doubling metric measure spaces

On doubling metric measure spaces endowed with a strongly local regular Dirichlet form, we show some characterisations of pointwise upper bounds of the heat kernel in terms of global scale-invariant inequalities that correspond respectively to the Nash inequality and to a Gagliardo–Nirenberg type inequality when the volume growth is polynomial. This yields a new proof and a generalisation of the well-known equivalence between classical heat kernel upper bounds and relative Faber–Krahn inequalities or localised Sobolev or Nash inequalities. We are able to treat more general pointwise estimates, where the heat kernel rate of decay is not necessarily governed by the volume growth. A crucial role is played by the finite propagation speed property for the associated wave equation, and our main result holds for an abstract semigroup of operators satisfying the Davies–Gaffney estimates.     

Metric inequalities for routings on direct connections with application to line planning

We consider multi-commodity flow problems in which capacities are installed on paths. In this setting, it is often important to distinguish between flows on direct connection routes, using single paths, and flows that include path switching. We derive a feasibility condition for path capacities supporting such direct connection flows similar to the well-known feasibility condition for arc capacities in ordinary multi-commodity flows. The condition can be expressed in terms of a class of metric inequalities for routings on direct connections. We illustrate the concept on the example of the line planning problem in public transport and present an application to large-scale real-world problems.     

三个矩阵秩不等式的多种证明

针对线性代数课程教学中三个矩阵秩的不等式的证明展开研究,对每一个不等式,分别给出相应的证明。     

基于空间分解变换的模糊错误矩阵方程求解

模糊错误逻辑对现实世界的对象用(u,x)表示为((U,S(t),■T(t),L(t)),(x(t)=f((u(t),■),GU(t)),GU(t)),用模糊错误变换矩阵可以表示分解、相似、增加、置换、毁灭、单位变换等6种变换方法,本论文基于求解方程XA′=B,针对■的分解,研究了基于空间分解变换的错误矩阵方程求解。以期从矩阵方程求解的角度对错误转化规律进行探索研究。     

基础模糊命题演算系统BL~*的改进系统

基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。     

二值命题逻辑中有限理论带误差结论集的结构

二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象,对其结构进行分析是近似推理研究中需要解决的问题。通过公式是有限理论Г的带误差结论的充要条件,利用集合划分方法,对有限理论Г的带误差结论集分别基于真度相等关系和逻辑等价关系进行分类,得到了基于两类等价关系的包含等价类个数和代表元表示形式的分类定理,进一步体现了二值命题逻辑系统近似推理研究中理论Г的带误差结论集的特征。     

形式Laurent级数域上交错Oppenheim展开的研究

该文介绍了形式Laurent级数域上交错Oppenheim展开的算法,得到了该展开中数字的强(弱)大数定理、中心极限定理和重对数率,并且研究了这些级数部分和的逼近的度.     

A mean value theorem for metric spaces

We present a form of the Mean Value Theorem (MVT) for a continuous function f between metric spaces, connecting it with the possibility to choose the relation of f in a homeomorphic way. We also compare our formulation of the MVT with the classic one when the metric spaces are open subsets of Banach spaces. As a consequence, we derive a version of the Mean Value Propriety for measure spaces that also possesses a compatible metric structure.     

New general convergence theory for iterative processes and its applications to Newton–Kantorovich type theorems

Let T:D⊂X→X$T:D\subset X\to X$ be an iteration function in a complete metric space X$X$. In this paper we present some new general complete convergence theorems for the Picard iteration _xn+1=T_xn$x_{n+1}=T{x}_n$ with order of convergence at least r≥1$r\ge 1$. Each of these theorems contains a priori and a posteriori error estimates as well as some other estimates. A central role in the new theory is played by the notions of a function of initial conditions   of T$T$ and a convergence function   of T$T$. We study the convergence of the Picard iteration associated to T$T$ with respect to a function of initial conditions E:D→X$E:D\to X$. The initial conditions in our convergence results utilize only information at the starting point _x0$x_0$. More precisely, the initial conditions are given in the form E(_x0)∈J$E\left(x_0\right)\in J$, where J$J$ is an interval on _R+${\mathbb{R}}_{+}$ containing 0. The new convergence theory is applied to the Newton iteration in Banach spaces. We establish three complete ω$\omega$-versions of the famous semilocal Newton–Kantorovich theorem as well as a complete version of the famous semilocal α$\alpha$-theorem of Smale for analytic functions.