二阶非线性脉冲积分-微分方程的边值问题

本文利用单调迭代技术给出了Banach空间中含有非线性一阶微分项x′的二阶脉冲积分-微分方程边值问题存在最大最小解的充分条件;作为主要结论的应用,我们给出了一个无限系统的例子.     

指标-2微分-代数系统的连续扩展Runge-Kutta迭代方法

1引言微分-代数系统包括具有约束条件的微分方程和奇异隐式微分方程,在实际应用中,如:约束力学系统、流体动力学、化学反应动力学、电子网络模拟、控制工程和机器人技术等领域就产生了诸多问题需要求解．近年来,微分-代数系统已极大地引起了许多工程师和数学工作者的关注,开展了众多相关问题的探讨,提出了许多新的算法理论[1-3]．在本文中我们对指标-2的微分-代数方程利用Runge-Kutta方法进行时间的离散和动力学迭代,研究离散迭代系统的收敛性．     

半无穷区间上具有共振序列的分数阶微分方程边值问题解的存在性

研究了半无穷区间上具有共振序列的分数阶微分方程边值问题解的存在性.将微分系统转化为与它等价的方程组的形式,通过构造适当的Banach空间及算子,利用重合度理论,建立并证明了边值问题解的存在性的充分条件,推广了已有的相应结果.     

求解约束优化问题的两个微分方程算法

本文给出求解具有等式约束和不等式约束的非线性优化问题的一阶信息和二阶信息的两个微分方程系统,问题的局部最优解是这两个微分方程系统的渐近稳定的平衡点,给出了这两个微分方程系统的Euler离散迭代格式并证明了它们的收敛性定理,用龙格库塔法分别求解两个微分方程系统．我们构造了搜索方向由两个微分系统计算,步长采用Armijo线搜索的算法分别求解这个约束最优化问题,在局部Lipschitz条件下基于二阶信息的微分方程系统的迭代方法具有二阶的收敛速度。我们给出的数值结果表明龙格库塔的微分方程算法具有较好的稳定性和更高的精确度,求解二阶信息的微分方程系统的方法具有更快的收敛速度．     

广义的二维微分变换法在分数阶偏微分方程中的应用

分数阶偏微分方程的解析近似解是近年来国内外重要的研究工作之一.借助于符号计算软件Maple,应用广义的二维微分变换法求解Caputo型分数阶导数定义下的时间分数阶偏微分方程、空间分数阶偏微分方程和时空分数阶偏微分方程.在获得三种分数阶偏微分方程解析近似解的同时,验证广义的二维微分变换法的可行性和有效性,说明此解析技术可以用于求解复杂的分数阶偏微分方程系统.     

小垂度粘弹性索非线性响应及振动主动控制

研究具有初始应力的小垂度粘弹性索的非线性动态响应及振动主动控制。在假定索材料的本构关系为一般微分本构类型的基础上,建立小垂度粘弹性索的运动微分方程;应用Galerkin方法将其转化为可用Runge-Kutta数值积分方法求解的一系列三阶非线性常微分方程。在仅考虑面内的横向振动及忽略非线性的情况下得到了连续状态空间中的状态方程,将状态方程离散为差分方程形式,并用矩阵指数来逐步近似状态转移矩阵;基于二次性能指标的最小化得到了最优的控制力与状态向量。最后通过数值仿真研究说明了粘性参数对索动态响应的影响。     

Banach空间中泛函微分包含的生存定理

本文研究可分Ｂａｎａｃｈ空间中泛函微分包含的解轨道的可生存性，建立了无限维空间中泛函微分包含的生存定理，其推论部分地回答了泛函微分方程中的一个开问题。     

一类具非线性边界条件的高阶方程的双参数奇摄动问题

研究了一类含双参数的非线性高阶微分方程的奇摄动问题.运用合成展开法构造了问题的形式渐近解,并运用微分不等式理论证明了原问题解的存在性及所得形式渐近解的一致有效性.     

贾普利金不等式的转化形式

众所周知,著名的贾普利金微分不等式在求一阶常微分方程的柯西问题的近似积分曲线方面有着广泛的应用.本文将对某些微分方程的离散形式,类似于贾普利金不等式,提出一个代数不等式,然后应用于这些微分方程的数值解法中。     

微分代数系统的渐近性

从动力系统的角度研究微分代数系统,利用单调流理论中的结果和方法讨论微分代数系统渐近性态.首先,我们把所考察的系统嵌入到一族相关的系统,引进使得系统族中的每个系统生成单调流的相应偏序和条件.然后给出了若干关于解收敛于平衡点的一般性结果,并对一类微分代数系统的渐近性作了较为精细的讨论.我们的结果是Hirch等关于常微分方程的相关结果的推广和改进.     

受匀速转动约束的变质量完整力学系统的运动微分方程

本文建立受匀速转动约束的变质量完整力学系统的运动微分方程,包括Lagrange形式的方程,Nielsen形式的方程和Appell形式的方程,并举例说明这些新型方程的应用。     

Euler-Lagrange and Hamiltonian formalisms in dynamic optimization

We consider dynamic optimization problems for systems governed by differential inclusions. The main focus is on the structure of and interrelations between necessary optimality conditions stated in terms of Euler-Lagrange and Hamiltonian formalisms. The principal new results are: an extension of the recently discovered form of the Euler-Weierstrass condition to nonconvex valued differential inclusions, and a new Hamiltonian condition for convex valued inclusions. In both cases additional attention was given to weakening Lipschitz type requirements on the set-valued mapping. The central role of the Euler type condition is emphasized by showing that both the new Hamiltonian condition and the most general form of the Pontriagin maximum principle for equality constrained control systems are consequences of the Euler-Weierstrass condition. An example is given demonstrating that the new Hamiltonian condition is strictly stronger than the previously known one.

     

Differential Elimination–Completion Algorithms for DAE and PDAE

Differential–algebraic equations (DAE) and partial differential–algebraic equations (PDAE) are systems of ordinary equations and PDAEs with constraints. They occur frequently in such applications as constrained multibody mechanics, spacecraft control, and incompressible fluid dynamics.
A DAE has differential index r if a minimum of r +1 differentiations of it are required before no new constraints are obtained. Although DAE of low differential index (0 or 1) are generally easier to solve numerically, higher index DAE present severe difficulties.
Reich et al. have presented a geometric theory and an algorithm for reducing DAE of high differential index to DAE of low differential index. Rabier and Rheinboldt also provided an existence and uniqueness theorem for DAE of low differential index. We show that for analytic autonomous first-order DAE, this algorithm is equivalent to the Cartan–Kuranishi algorithm for completing a system of differential equations to involutive form. The Cartan–Kuranishi algorithm has the advantage that it also applies to PDAE and delivers an existence and uniqueness theorem for systems in involutive form. We present an effective algorithm for computing the differential index of polynomially nonlinear DAE. A framework for the algorithmic analysis of perturbed systems of PDAE is introduced and related to the perturbation index of DAE. Examples including singular solutions, the Pendulum, and the Navier–Stokes equations are given. Discussion of computer algebra implementations is also provided.     

Difference schemes with best possible truncation error

In this paper we present a variety of schemes for solving the initial value problem for a class of hyperbolic systems of partial differential equations. These schemes arise as solutions of constrained minimization problems for a quadratic form. The form is an expression for the local truncation error for a certain class of difference schemes.This work was performed while the author was a visiting Professor of Mathematics of the Hebrew University of Jerusalem.     

Hamiltonian operators in differential algebras

We develop a previously proposed algebraic technique for a Hamiltonian approach to evolution systems of partial differential equations including constrained systems and propose a defining system of equations (suitable for computer calculations) characterizing the Hamiltonian operators of a given form. We demonstrate the technique with a simple example.     

一类具独立子系统的退化时滞控制系统的能控性

讨论退化时滞微分控制系统的能控性问题.首先将退化时滞微分控制系统化为标准形式,除去关联项,得到具独立子系统的退化时滞微分控制系统.然后就一般的退化时滞微分控制系统,得到其能控的充要条件为其可达集等于全空间.对于具独立子系统的广义时滞控制系统,给出其能控的充要条件为每个子系统的可达集等于其相应的子空间,并给出其能控的代数判据,最后举例说明主要结果的应用.     

约束Birkhoff系统的形式不变性

约束Birkhoff系统的形式不变性是约束Birkhoff方程在无限小变换下的一种不变性。给出约束Birkhoff系统形式不变性的定义与判据,并研究了这种形式不变性与Noether对称性之间的关系。     

Partial differential equations with differential constraints

A geometric setting for constrained exterior differential systems on fibered manifolds with n-dimensional bases is proposed. Constraints given as submanifolds of jet bundles (locally defined by systems of first-order partial differential equations) are shown to carry a natural geometric structure, called the canonical distribution. Systems of second-order partial differential equations subjected to differential constraints are modeled as exterior differential systems defined on constraint submanifolds. As an important particular case, Lagrangian systems subjected to first-order differential constraints are considered. Different kinds of constraints are introduced and investigated (Lagrangian constraints, constraints adapted to the fibered structure, constraints arising from a (co)distribution, semi-holonomic constraints, holonomic constraints).     

Study on vibration and stability of an axially translating viscoelastic Timoshenko beam: Non-transforming spectral element analysis

Engineering systems, such as rolled steel beams, chain and belt drives and high-speed paper, can be modeled as axially translating beams. This article scrutinizes vibration and stability of an axially translating viscoelastic Timoshenko beam constrained by simple supports and subjected to axial pretension. The viscoelastic form of general rheological model is adopted to constitute the material of the beam. The partial differential equations governing transverse motion of the beam are derived from the extended form of Hamilton's principle. The non-transforming spectral element method (NTSEM) is applied to transform the governing equations into a set of ordinary differential equations. The formulation is similar to conventional FFT-based spectral element model except that Daubechies wavelet basis functions are used for temporal discretization. Influences of translating velocities, axial tensile force, viscoelastic parameter, shear deformation, beam model and boundary condition types are investigated on the underlying dynamic response and stability via the NTSEM and demonstrated via numerical simulations.