On the existence of periodic solutions for nonlinear system with multiple delays

IntroductionInthispaper,westudyT_periodicsolutionsofthefollowingnonlinearsystemwithmultipledelays x(t) =f(t,x(t) ,x(t-τ1(t) ) ,… ,x(t -τm(t) ) ) ,(1 )wherex(t) ∈C(R ,R) ,fiscontinuous,f(t+T ,·) =f(t,·) ,τi(t) (i=1 ,2 ,… ,m)arecontinuousperiodicfunctionsofperiodT .AlemmaisintroducedfordiscussingtheexistenceofT_periodicsolutionofsystem (1 ) .LetXbeaBanachSpace ,considerthefollowingoperatorequation :Lx =λNx　　 (λ∈ [0 ,1 ] ) ,whereL :DomL∩X→Xisalinearoperator,λ∈ [0 ,1 ]isapa…     

Difference scheme and numerical simulation based on mixed finite element method for natural convection problem

ntroductionLetΩ R2 beaboundeddomain .Weconsiderthefollowingnon_stationarynaturalconvectionproblem :Problem (Ⅰ )　Findu =(u1,u2 ) ,p ,andTsuchthat,foranyt1>0 ,ut- μΔu +(u· )u + p=λjT　　 ((x ,y ,t) ∈Ω× (0 ,t1) ) ,divu =0　　　　　　　　　 ((x ,y,t) ∈Ω× (0 ,t1) ) ,Tt-ΔT +λu· T =0　　 ((x,y,t) ∈Ω× (0 ,t1) ) ,u =0 ,T =0　　　　　　 ((x,y,t)∈ Ω× (0 ,t1) ) ,u(x ,y ,0 ) =0 ,　T(x,y,0 ) =f(x,y)　　 ((x,y) ∈Ω) ,whereuisthefluidvelocityvectorfield ,pthepressurefield ,Tthet…     

高阶Schrdinger型方程的两层高精度恒稳差分格式

众所周知,高阶Schro¨dinger方程在量子力学、非线性光学及流体力学中都有广泛的应用。本文对高阶Schro¨dinger型方程 u t=i(-1)m 2mu x2m(其中i=-1,m为正整数),利用待定系数法,构造出一个两层高精度的隐式差分格式。其截断误差阶为O((Δt)2+(Δx)6),比同类格式精度高2～4阶,并用Fourier分析法证明了它是绝对稳定的。最后,数值例子表明本文格式比著名的Crank-Nicolson格式精度高10-2～10-7,这说明我们的格式是有效的,理论分析与实际计算相吻合。     

双相介质波动方程孔隙率反演的同伦方法

从材料响应的理论合成应与实际测量数据相拟合这一出发点，将双相介质波劝方程参数的反演问题转化为非线性算子方程的零点求解问题，从而应用一种大范围收敛的同伦方尘土注来解非线性算子方程，并把这种方法用于Simon(1984)给出的具有解析的一维双相介质模型的数值模拟，最后的数值结果表明，给出的算法是十分有效的。     

基于数据驱动的流场控制方程的稀疏识别

利用有限数据建立系统的非线性动力学模型是具有挑战性的重要课题. 数据驱动的稀疏识别方法是近年来发展的从数据识别动力系统控制方程的有效方法. 本文基于数据驱动稀疏识别方法对不同流场的控制方程进行了识别. 采用非线性动力学偏微分方程函数识别(partial differential equations functional identification of nonlinear dynamics, PDE-FIND)方法和最小绝对收缩和选择算子(least absolute shrinkage and selection operator, LASSO)方法对二维圆柱绕流、顶盖驱动方腔流、Rayleigh-Bénard (RB)对流和三维槽道湍流的控制方程进行了识别. 在稀疏识别过程中, 采用直接数值模拟得到的流场数据来计算过完备候选库中的每一项, 候选库中变量最高保留到二次, 变量导数最高保留到二阶, 非线性项最高保留到四阶. 结果发现PDE-FIND方法和LASSO方法对于不含有非线性项的控制方程, 如涡量输运方程、热输运方程和连续性方程, 都能准确识别. 对于含有强非线性项的控制方程, 如Navier-Stokes方程的识别, PDE-FIND方法正确地识别出了控制方程及流场的Rayleigh数和Reynolds数, 而LASSO方法识别结果不正确, 这是因为候选库中的项之间存在分组效应, LASSO方法通常只取分组中的一项. 本文还发现选择流动结构丰富的区域的数据进行控制方程的稀疏识别可以提高识别的准确性.      

结构响应分析的幂级数方法

一、引言结构动力学方程组的直接积分,就是解二阶常微分方程组初值问题的数值计算方法。按解的存在和唯一性定理,动力学方程组: M(?)+C(?)+KX=P(t) (1) 在给定的初值条件下: (?)|_(t=0)=(?)(0) X|_(t=0)=X(0) 其解存在且唯一。     

非定常不可压N-S方程的最小二乘算子分裂有限元法数值求解

采用最小二乘算子分裂有限元法求解非定常不可压N-S(Navier-Stokes)方程,即在每个时间层上采用算子分裂法将N-S方程分裂成扩散项和对流项,这样既能考虑对流占优特点又能顾及方程的扩散性质。扩散项是一个抛物型方程,时间离散采用向后差分格式,空间离散采用标准Galerkin有限元法。对流项的时间项采用后向差分格式,非线性部分用牛顿法进行线性化处理,再用最小二乘有限元法进行空间离散,得到对称正定的代数方程组系数矩阵。采用Re=1000的方腔流对该算法的有效性进行检验,表明其具有较高的精度,能够很好地捕捉流场中的涡结构。同时,对圆柱层流绕流进行了数值研究,通过流线图、压力场、阻力系数、升力系数及斯特劳哈数等结果的分析与对比,表明本文算法对于模拟圆柱层流绕流是准确和可靠的。     

计算地球物理流体力学中的非线性计算不稳定问题

一、序论§1 引言计算地球流体力学中的非定常问题(包括数值天气预报、气候数值模拟、海流数值模拟和风暴潮数值预报等)大多是非线性时变偏微分方程的求解问题,无论是用有限差分法、有限元法还是用谱展开法都可能出现非线性计算不稳定。就以数值天气预报和大气环流数值模拟问题来说,一般是对一组复杂的非线性偏微分方程的初、边值问题数值求解,譬     

推导拉格朗日方程时的若干问题——与李岚老师商榷

李岚老师在91年第3期《上海力学》上发表的“导出拉格朗日方程的一种新方法”一文中指出: “从牛顿的动力学基本方程能不能不通过动力学普遍方程,不用变分的概念而直接导出拉格朗日方程呢?本文作了新的尝试,基本思路是:(一)对于不受约束的自由质点,证明动力学基本方程F=ma的协变分量形式就是拉格朗日方程。(二)对于具有完整理想约束的质     

截顶旋转薄壳轴对称高频自由振动的奇异摄动解

1.引言及基本方程组采用Sanders薄壳理论。旋转薄壳轴对称自由振动的基本方程是(L+∈~4N)U=-(1-v~2)ΩU (1)式中,无矩和弯矩算子分别是     

计算动力学中的伪弧长方法研究

动力学问题通常采用微分方程来描绘,但由于工程实际问题的复杂性,微分方程模型常伴随着解的不连续性、刚性或激波间断奇异性特点,传统方法很难求解,奇异性问题是计算动力学难点,同时也是国内外学者研究的热点.伪弧长数值算法是针对计算动力学中的奇异性问题所提出的,其基本思想为通过在解曲线上引入伪弧长参数,并增加一个约束方程,在伪弧长参数作用下,使得原始离散单元发生扭曲形变,从而达到消除或减弱奇异性的目的.本文首先介绍伪弧长方法求解定常对流-扩散方程的奇异性问题,并提出针对双曲守恒定律的局部伪弧长算法,其思想在于首先通过间断解的梯度变换来确定强间断所处位置,进而通过局部网格点重构以及数值修正来达到强间断处奇异性消除与降低的目的.针对高维问题,提出全局伪弧长方法,通过对整个计算区域内的网格点进行重构,使得所有网格点向奇异间断点处移动,从而降低间断点的影响域,达到降低奇异性的目的.重点讨论了三维全局伪弧长算法问题的计算难点,即三维空间网格扭曲大变形导致的数值算法不收敛,并提出在算法设计过程中采用分块重构与整体计算相结合的策略,实现了三维空间中的伪弧长数值算法,最后通过数值实验来验证伪弧长算法对于奇异性问题的有效性.     

A time integral formulation and algorithm for structural dynamics with nonlinear stiffness

A newly-developed numerical algorithm, which is called the new Generalized-α (G-α) method, is presented for solving structural dynamics problems with nonlinear stiffness. The traditional G-α method has undesired overshoot properties as for a class of α-method. In the present work, seven independent parameters are introduced into the single-step three-stage algorithmic formulations and the nonlinear internal force at every time interval is approximated by means of the generalized trapezoidal rule, and then the algorithm is implemented based on the finite difference theory. An analysis on the stability, accuracy, energy and overshoot properties of the proposed scheme is performed in the nonlinear regime. The values or the ranges of values of the seven independent parameters are determined in the analysis process. The computational results obtained by the new algorithm show that the displacement accuracy is of order two, and the acceleration can also be improved to a second order accuracy by a suitable choice of parameters. Obviously, the present algorithm is zero-stable, and the energy conservation or energy decay can be realized in the high-frequency range, which can be regarded as stable in an energy sense. The algorithmic overshoot can be completely avoided by using the new algorithm without any constraints with respect to the damping force and initial conditions.The English text was polished by Keren Wang.     

New explicit multi-symplectic scheme for nonlinear wave equation简

Based on splitting multi-symplectic structures, a new multi-symplectic scheme is proposed and applied to a nonlinear wave equation. The explicit multi-symplectic scheme of the nonlinear wave equation is obtained, and the corresponding multi-symplectic conservation property is proved. The backward error analysis shows that the explicit multi-symplectic scheme has good accuracy. The sine-Gordon equation and the Klein-Gordon equation are simulated by an explicit multi-symplectic scheme. The numerical results show that the new explicit multi-symplectic scheme can well simulate the solitary wave behaviors of the nonlinear wave equation and approximately preserve the relative energy error of the equation.     

Numerical solution of solidification in a square prism using an algebraic grid generation technique

The solidification of an infinitely long square prism was analyzed numerically. A front fixing technique along with an algebraic grid generation scheme was used, where the finite difference form of the energy equation is solved for the temperature distribution in the solid phase and the solid–liquid interface energy balance is integrated for the new position of the moving solidification front. Results are given for the moving solidification boundary with a circular phase change interface. An algebraic grid generation scheme was developed for two-dimensional domains, which generates grid points separated by equal distances in the physical domain. The current scheme also allows the implementation of a finer grid structure at desired locations in the domain. The method is based on fitting a constant arc length mesh in the two computational directions in the physical domain. The resulting simultaneous, nonlinear algebraic equations for the grid locations are solved using the Newton-Raphson method for a system of equations. The approach is used in a two-dimensional solidification problem, in which the liquid phase is initially at the melting temperature, solved by using a front-fixing approach. The difference of the current study lies in the fact that front fixing is applied to problems, where the solid–liquid interface is curved such that the position of the interface, when expressed in terms of one of the coordinates is a double valued function. This requires a coordinate transformation in both coordinate directions to transform the complex physical solidification domain to a Cartesian, square computational domain. Due to the motion of the solid–liquid interface in time, the computational grid structure is regenerated at every time step.     

计算流体力学中的验证与确认

计算流体力学(CFD)在航空航天等诸多领域的应用越来越广泛.特别是近年来, CFD在实际飞行器的设计中扮演着越来越重要的角色, 许多设计参数直接来源于CFD的计算结果.由此, 飞行器设计师对CFD提供结果的可信度提出了更高的要求.验证(verification)与确认(validation)是评价数值解精度和可信度的主要手段.本文综述了国内外开展CFD验证与确认研究的进展.在引言中论述了开展CFD验证与确认的重要性和必要性, 简述了国内外CFD验证与确认研究的历史和发展现状.第2节中讨论了CFD验证与确认的一些基本概念,以及这些概念定义的形成过程, 并指出了进行CFD验证与确认的基本步骤.第3节和第4节分别讨论了CFD验证与确认的方法, 如CFD验证中的精确解比较方法, 制造解比较方法, 网格收敛性研究;CFD确认中的层次结构, 流动分类法, 确认实验指南.在第5节中我们列举了几个CFD验证与确认的应用实例.最后, 对我国开展CFD验证与确认研究工作提出了若干建议, 包括:(1)开展流动分类法研究,(2)推行软件质量工程方法,(3)开展规范精细的实验, 建立国内的网络数据库.      

常微分方程技术及其在固体力学计算中的应用

常微分方程(ODE——Ordinary Differential Equation)边值问题的最新计算求解技术的迅速发展推出了一批高质高效的通用软件,而工程中大量的ODE问题并非呈现为这些求解器(Solver)所接受的标准形式。然而,运用一些简单的ODE变换技巧可以将大量的不同类型的特殊问题转化为标准形式。本文列举了若干常用的变换技巧,并广泛地应用于各种固体力学问题的计算中,使大量的ODE问题在形式上得到统一,得以用标准的ODE Solver方便有效地求解。     

Provably stable and time‐accurate extensions of Runge–Kutta schemes for CFD computations on moving grids

Extending fixed‐grid time integration schemes for unsteady CFD applications to moving grids, while formally preserving their numerical stability and time accuracy properties, is a nontrivial task. A general computational framework for constructing stability‐preserving ALE extensions of Eulerian multistep time integration schemes can be found in the literature. A complementary framework for designing accuracy‐preserving ALE extensions of such schemes is also available. However, the application of neither of these two computational frameworks to a multistage method such as a Runge–Kutta (RK) scheme is straightforward. Yet, the RK methods are an important family of explicit and implicit schemes for the approximation of solutions of ordinary differential equations in general and a popular one in CFD applications. This paper presents a methodology for filling this gap. It also applies it to the design of ALE extensions of fixed‐grid explicit and implicit second‐order time‐accurate RK (RK2) methods. To this end, it presents the discrete geometric conservation law associated with ALE RK2 schemes and a method for enforcing it. It also proves, in the context of the nonlinear scalar conservation law, that satisfying this discrete geometric conservation law is a necessary and sufficient condition for a proposed ALE extension of an RK2 scheme to preserve on moving grids the nonlinear stability properties of its fixed‐grid counterpart. All theoretical findings reported in this paper are illustrated with the ALE solution of inviscid and viscous unsteady, nonlinear flow problems associated with vibrations of the AGARD Wing 445.6. Copyright © 2011 John Wiley & Sons, Ltd.     

A divergence‐free interpolation scheme for the immersed boundary method

The immersed boundary approach for the modeling of complex geometries in incompressible flows is examined critically from the perspective of satisfying boundary conditions and mass conservation. It is shown that the system of discretized equations for mass and momentum can be inconsistent, if the velocity is used in defining the force density to satisfy the boundary conditions. As a result, the velocity is generally not divergence free and the pressure at locations in the vicinity of the immersed boundary is not physical. However, the use of the pseudo‐velocities in defining the force density, as frequently done when the governing equations are solved using a fractional step or projection method, combined with the use of the specified velocity on the immersed boundary, is shown to result in a consistent set of equations which allows a divergence‐free velocity but, depending on the time step, is shown to have the undesirable effects of inaccurately satisfying the boundary conditions and allowing a significant permeability of the immersed boundary. If the time step is reduced sufficiently, the boundary conditions on the immersed boundary can be satisfied. However, this entails an unacceptable increase in computational expense. Two new methods that satisfy the boundary conditions and allow a divergence‐free velocity while avoiding the increased computational expense are presented and shown to be second‐order accurate in space. The first new method is based on local time step reduction. This method is suitable for problems where the immersed boundary does not move. For these problems, the first new method is shown to be closely related to the second new method. The second new method uses an optimization scheme to minimize the deviation from the interpolation stencil used to represent the immersed boundary while ensuring a divergence‐free velocity. This method performs well for all problems, including those where the immersed boundary moves relative to the grid. Additional results include showing that the force density that is added to satisfy the boundary conditions at the immersed boundary is unbounded as the time step is reduced and that the pressure in the vicinity of the immersed boundary is unphysical, being strongly a function of the time step. A method of computing the total force on an immersed boundary which takes into account the specifics of the numerical solver used in the iterative process and correctly computes the total force irrespective of the residual level is also presented. Copyright © 2007 John Wiley & Sons, Ltd.     

Application of RBF-DQ Method to Time-Dependent Analysis of Unsaturated Seepage

Richards’ equation is a nonlinear partial differential equation governing unsteady seepage flow through unsaturated porous media. This paper investigates applicability of radial basis function-based differential quadrature (RBF-DQ), as a meshless method, to simulate one-dimensional flow processes in the unsaturated zone under different initial and boundary conditions. Fourth-order Runge–Kutta scheme has been adopted for time integration. Results of solving three numerical examples using RBF-DQ are compared with those of analytical, numerical, and experimental solutions presented in the literature. The comparison indicates that RBF-DQ can provide more accurate results comparing with traditional FDM or FEM without the need to discretize the computational domain. Moreover, the merit of mesh-free characteristic in RBF-DQ makes it suitable not only for solving nonlinear problems but also for dealing with multidimensional problems since meshless methods are not restricted to dimensional limitations. A key parameter in utilizing multiquadratic approximation in RBF-DQ method is the user-defined shape parameter C, which may significantly affect solution accuracy. Thus, a sensitivity analysis has been conducted to study possible effects of shape parameter on achieved results.     

Self-adaptive one-dimensional nonlinear finite element method based on element energy projection method

The element energy projection （EEP） method for computation of super- convergent resulting in a one-dimensional finite element method （FEM） is successfully used to self-adaptive FEM analysis of various linear problems, based on which this paper presents a substantial extension of the whole set of technology to nonlinear problems. The main idea behind the technology transfer from linear analysis to nonlinear analysis is to use Newton＇s method to linearize nonlinear problems into a series of linear problems so that the EEP formulation and the corresponding adaptive strategy can be directly used without the need for specific super-convergence formulation for nonlinear FEM. As a re- sult, a unified and general self-adaptive algorithm for nonlinear FEM analysis is formed. The proposed algorithm is found to be able to produce satisfactory finite element results with accuracy satisfying the user-preset error tolerances by maximum norm anywhere on the mesh. Taking the nonlinear ordinary differential equation （ODE） of second-order as the model problem, this paper describes the related fundamental idea, the imple- mentation strategy, and the computational algorithm. Representative numerical exam- ples are given to show the efficiency, stability, versatility, and reliability of the proposed approach.