Hille-Yosida定理在一类无穷维Hamiltion系统中的应用

应用Hille-Yosida定理研究了无穷维Hamilton算子,得到了一个无穷维Hamilton系统初值问题解的存在性定理,并把结果应用在由一类双曲型偏微分方程导出的无穷维Hamilton系统中,给出了此类无穷维Hamilton系统解的存在性定理.     

二次算子族及非负无穷维Hamilton算子的谱分布

本文讨论了一类在弦和梁的微小振动中出现的二次算子族L(λ)=λ~2MλK-A的谱分布问题,进而将所得结论与无穷维Hamilton算子联系起来,利用无穷维Hamilton算子的特殊结构,得到了一类非负无穷维Hamilton算子的谱分布,这为无穷维Hamilton算子的半群方法提供了理论保证.     

一类无穷维Hamilton算子特征函数系的完备性

本文对分离变量后可转化为Sturm-Liouville问题的偏微分方程,引入Hamilton体系,从而导出无穷维Hamilton算子的特征值问题.然后利用辛空间的知识讨论了无穷维Hamilton算子特征函数系的完备性,为对此类方程应用基于Hamilton体系的分离变量法提供了理论基础.作为应用,还给出了波动方程导出的无穷维Hamilton算子特征函数系的完备性.     

一类无穷维Hamilton算子的Fredholm性及本质谱

讨论了一类无穷维Hamilton算子的Fredholm性,由于无穷维Hamilton算子是分块算子矩阵,将它的Fredholm性用它的元素算子的某种组合来描述,给出了无穷维Hamilton算子是Fredholm算子的充分必要条件.     

一类无穷维Hamilton算子谱的刻画

本文讨论了一类无穷维Hamilton算子谱问题,由于无穷维Hamilton算子是非自伴的算子矩阵,对它的谱的讨论比较困难,我们利用无穷维Hamilton算子的特殊结构,将无穷维Hamilton算子的谱问题转化为它的元素算子的某种组合的谱问题,得到了一个充分必要条件,在一定程度上简化了该类无穷维Hamilton算子谱的计算.     

弹性理论中上三角无穷维Hamilton算子根向量组的完备性

考虑弹性力学中一类上三角无穷维 Hamilton 算子．首先,给出此类Hamilton算子特征值的几何重数和代数指标,进而得到代数重数．其次,根据Hamilton算子特征值的代数重数确定其特征(根)向量组完备的形式,得到此类Hamilton算子特征(根)向量组的完备性是由内部算子特征向量组决定．最后,将所得结果应用到弹性力学问题中．     

一类无穷维Hamilton算子本征函数系的完备性

研究了Sturm-Liouvile偏微分方程导出的无穷维Hamilton算子的本征值问题.证明了导出的无穷维Hamilton算子族本征函数系的完备性,为对此类方程应用基于Hamilton体系的分离变量法提供了理论基础.最后举例说明了结果的有效性.     

无穷维Hamilton算子的谱结构

研究无穷维Hamilton算子的谱结构. 得到无穷维Hamilton算子的谱、点谱和剩余谱之并集和连续谱均关于虚轴对称. 此外, 还证明了无穷维Hamilton算子的剩余谱不含有任何关于虚轴对称的点对, 从而利用点谱完全刻画了剩余谱. 作为谱结构的应用, 得到一类无穷维Hamilton算子剩余谱为空集的若干充分必要条件.     

只有纯虚谱的Hamilton算子

刻画了一类无穷维Hamilton算子的谱的分布情况,并得到了无穷维Hamilton算子只有纯虚谱的充分条件.最后,构造出具体的例子以说明判别准则的有效性.     

一类无穷维Hamilton算子的谱

研究了一类无穷维Hamilton算子的近似点谱及本质谱.进而通过无穷维Hamilton算子内部元素的乘积的谱对整体谱进行了刻画,最后证明了结论的正确性.     

二阶积分微分方程周期边值问题的解的存在性

通过对比结果,用单调迭代方法证明了Banach空间中二阶积分微分方程的周期边值问题的最大最小解的存在性定理。     

Ax–Schanuel for linear differential equations

We generalise the exponential Ax–Schanuel theorem to arbitrary linear differential equations with constant coefficients. Using the analysis of the exponential differential equation by Kirby (The theory of exponential differential equations, 2006, Sel Math 15(3):445–486, 2009) and Crampin (Reducts of differentially closed fields to fields with a relation for exponentiation, 2006) we give a complete axiomatisation of the first order theories of linear differential equations and show that the generalised Ax–Schanuel inequalities are adequate for them.     

Exponential mean-square stability of the improved split-step theta methods for non-autonomous stochastic differential equations

We consider the mean-square stability of the so-called improved split-step theta method for stochastic differential equations. First, we study the mean-square stability of the method for linear test equations with real parameters. When θ 3/2, the improved split-step theta methods can reproduce the mean-square stability of the linear test equations for any step sizes h 0. Then, under a coupled condition on the drift and diffusion coefficients, we consider exponential mean-square stability of the method for nonlinear non-autonomous stochastic differential equations. Finally, the obtained results are supported by numerical experiments.     

Arithmetic differential equations on $$GL_n$$, III Galois groups

Differential equations have arithmetic analogues (Buium in Arithmetic differential equations, Mathematical Surveys and Monographs, vol 118. American Mathematical Society, Providence 2005) in which derivatives are replaced by Fermat quotients; these analogues are called arithmetic differential equations, and the present paper is concerned with the “linear” ones. The equations themselves were introduced in a previous paper (Buium and Dupuy, in Arithmetic differential equations on \(GL_{n}\), II: arithmetic Lie–Cartan theory, arXiv:1308.0744). In the present paper we deal with the solutions of these equations as well as with the Galois groups attached to the solutions.     

Global Solutions for Abstract Differential Equations with Non-Instantaneous Impulses

In this note we study the existence of global solutions for a class of impulsive abstract differential equations with non-instantaneous impulses. Specifically, we establish the existence of mild solutions on \({[0, \infty)}\) and the existence of \({\mathcal{S}}\)-asymptotically \({\omega}\)-periodic mild solutions. Our results are based on the Hausdorff measure of non-compactness. Some applications involving partial differential equations are considered.     

层合板壳脱层曲面的有限元分析

通过建立一类新的参考面有限单元,得到适应于分析层合板壳脱层屈曲问题的有限元方法,指出了利用Ｍｉｎｄｌｉｎ假设意义下的变形协调条件,可以将大多数胜任层合板壳分析的一般板壳单元改造为相应的参考面单元,这一方法确保了位移场的合理性和协调条件满足,为验证参考而单元的有效性和协调还对壳体脱层屈曲的几个算例作了数值分析。     

Attracting and Invariant Sets of Nonlinear Stochastic Neutral Differential Equations with Delays

In this paper, a class of nonlinear stochastic neutral differential equations with delays is investigated. By using the properties of ${\mathcal{M}}$ -matrix, a differential-difference inequality is established. Basing on the differential-difference inequality, we develop a ${\mathcal{L}}$ -operator-difference inequality such that it is effective for stochastic neutral differential equations. By using the ${\mathcal{L}}$ -operator-difference inequality, we obtain the global attracting and invariant sets of nonlinear stochastic neutral differential equations with delays. In addition, we derive the sufficient condition ensuring the exponential p-stability of the zero solution of nonlinear stochastic neutral differential equations with delays. One example is presented to illustrate the effectiveness of our conclusion.     

检修事件的概率分析与结构的维修可靠性

定期检修结构的可靠性分析,需要定量处理大量复杂的随机事件。综合考虑各种随机因素,较全面地分析了检修过程中影响可靠性的诸多复杂随机事件及其发生概率。系统地建立了检修结构的动态可靠性分析模型,整个模型程序化程度高,易于实施。     

Approximation of solution operators of elliptic partial differential equations by {\mathcal{H}}- and {\mathcal{H}^2}-matrices

We investigate the problem of computing the inverses of stiffness matrices resulting from the finite element discretization of elliptic partial differential equations. Since the solution operators are non-local, the inverse matrices will in general be dense, therefore representing them by standard techniques will require prohibitively large amounts of storage. In the field of integral equations, a successful technique for handling dense matrices efficiently is to use a data-sparse representation like the popular multipole method. In this paper we prove that this approach can be generalized to cover inverse matrices corresponding to partial differential equations by switching to data-sparse ${\mathcal{H}}$ - and ${\mathcal{H}^2}$ -matrices. The key results are existence proofs for local low-rank approximations of the solution operator and its discrete counterpart, which give rise to error estimates for ${\mathcal{H}}$ - and ${\mathcal{H}^2}$ -matrix approximations of the entire matrices.     

Group-Theoretical Analysis of Variable Coefficient Nonlinear Telegraph Equations

Given a class \(\mathcal{F(\theta)}\) of differential equations with arbitrary element θ, the problems of symmetry group, nonclassical symmetry and conservation law classifications are to determine for each member \(f\in\mathcal{F(\theta)}\) the structure of its Lie symmetry group G _f , conditional symmetry Q _f and conservation law \(\mathop {\rm CL}\nolimits _{f}\) under some proper equivalence transformations groups.In this paper, an extensive investigation of these three aspects is carried out for the class of variable coefficient (1+1)-dimensional nonlinear telegraph equations with coefficients depending on the space variable f(x)u _tt =(g(x)H(u)u _x ) _x +h(x)K(u)u _x . The usual equivalence group and the extended one including transformations which are nonlocal with respect to arbitrary elements are first constructed. Then using the technique of variable gauges of arbitrary elements under equivalence transformations, we restrict ourselves to the symmetry group classifications for the equations with two different gauges g=1 and g=h. In order to get the ultimate classification, the method of furcate split is also used and consequently a number of new interesting nonlinear invariant models which have non-trivial invariance algebra are obtained. As an application, exact solutions for some equations which are singled out from the classification results are constructed by the classical method of Lie reduction.The classification of nonclassical symmetries for the classes of differential equations with gauge g=1 is discussed within the framework of singular reduction operator. This enabled to obtain some exact solutions of the nonlinear telegraph equation which are invariant under certain conditional symmetries.Using the direct method, we also carry out two classifications of local conservation laws up to equivalence relations generated by both usual and extended equivalence groups. Equivalence with respect to these groups and correct choice of gauge coefficients of equations play the major role for simple and clear formulation of the final results.