常系数非齐次线性微分方程特解的另一种求法

将常系数线性微分方程转化为一阶常系数线性微分方程组,并利用线性微分方程组的基解矩阵的性质和矩阵指数的性质以及非齐次线性微分方程组的常数变易公式,得到了常系数非齐次线性微分方程的积分形式的特解公式,并通过实例说明所得结论的有用性.     

泰劳公式的拉格朗日型余项中介值点的研究

当区间长度趋于0时,泰劳公式的拉格朗日型余项中介值点的变化规律.     

THE EXISTENCE OF POSITIVE SOLUTIONS TO BOUNDARY VALUE PROBLEM OF SECOND ORDER DIFFERENTIAL EQUATIONS

In this paper, a fixed point theorem in C1[0,1] space is established using the properties of the fixed point index. This theorem is applied to prove the existence of positive solution to the boundary value problems of second order differential equations.     

剖析"最少的微积分"

对《微积分快餐》中主要概念(相对误差)、定理(基本定理)和应用(面积)做了剖析.     

Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) on undirected graphs. He proved that there exists an EMSO sentence ? such that $\mathsf{P}(G_n??)$ does not converge as $n\to \infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1,\dots ,n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.     

第二类端点奇异Fredholm积分方程的分数阶退化核方法

本文针对第二类端点奇异Fredholm积分方程构造基于分数阶Taylor展开的退化核方法，设计了两种计算格式，一是在全区间上使用分数阶Taylor展开式近似核函数，二是在包含奇点的小区间上采用分数阶插值，在剩余区间上采用分段二次多项式插值逼近核函数.讨论了两种退化核方法收敛的条件，并给出了混合插值法的收敛阶估计.数值算例表明对于非光滑核函数分数阶退化核方法有着良好的计算效果，且混合二次插值法比全区间上的分数阶退化核方法有着更广泛的适用范围.     

Analyticity of the sine family with L p -maximal regularity for second order Cauchy problems

If the second order problem u（t） ＋ Bu（t） ＋ Au（t） = f（t）, u（0） =u（0） = 0 has L^p-maximal regularity, 1 〈 p 〈 ∞, the analyticity of the corresponding propagator of the sine type is shown by obtaining the estimates of ‖λ（λ^2 ＋ λB ＋ A）^-1‖ and ‖B（λ^2 ＋ λB ＋ A）^-1‖ for λ∈ C with Reλ 〉 ω, where the constant ω≥ 0.     

一个具有混合核的新的Hilbert型积分不等式

通过引入参数及估算权系数,建立一个新的、具有混合核的Hilbert型积分不等式,并证明其常数因子为最佳值.作为应用,还给出了相应的等价形式及一些特殊结果.     

Asymptotic exponential cones of Metzler matrices and their use in the solution of an algebraic problem

The aim of this paper is that of investigating the asymptotic exponential cone of a single Metzler matrix, introduced in [23], and of defining and analysing the new concept of asymptotic exponential cone of a family of Metzler matrices (along a certain direction). These results will provide necessary and/or sufficient conditions for the solvability of an interesting algebraic problem that arises in the context of continuous-time positive switched systems and, specifically, in the investigation of the reachability property [21,22,25].     

Bäcklund transformation and multi-soliton solutions for a (2 + 1)-dimensional Korteweg-de Vries system via symbolic computation

In this paper, the (2 + 1)-dimensional Korteweg-de Vries system is symbolically investigated. By the bilinear method, the N-soliton solution is presented. Then, based on the Bäcklund transformation in bilinear form, a new Bäcklund transformation is obtained and new representation of the N-soliton solution is derived. A class of novel multi-soliton solutions are obtained by the new Bäcklund transformation and the availability of symbolic computation is demonstrated.