高维非线性Schrdinger方程的Fourier谱方法

其中i=(-1)(1/2),△为Laplace算子,q(·)为实变量实值函数,u_0(x)和u(x,t)分别为关于x以2π为周期的已知和未知复值函数,J=(0,T](T>0),β为一实常数,e_j为R~m的第j个单位向量,x=(x_1,…,x_m)∈R~m. 方程(1.1)在非线性光学、等离子体物理、流体动力学及非相对论量子场论中用得很     

高维非线性Schrdinger方程的Fourier谱方法

其中i=(-1)(1/2),△为Laplace算子,q(·)为实变量实值函数,u_0(x)和u(x,t)分别为关于x以2π为周期的已知和未知复值函数,J=(0,T](T>0),β为一实常数,e_j为R~m的第j个单位向量,x=(x_1,…,x_m)∈R~m. 方程(1.1)在非线性光学、等离子体物理、流体动力学及非相对论量子场论中用得很     

关于Liapunov稳定性基本定理

本短文表明 Liapunov 稳定性基本定理中 V 函数的正定性可用 V 在半径收敛于零的同心圆簇上的正定性代替.因此 V 可为变号函数(见例).我们考虑非自治系统dx/dt=f(t,x),(1)其中 x∈R~m,f∈C(I×Z_H),Z_H={x∈R~m,‖x‖相似文献   

一类无静差和结构无静差系统的结构性质

一、问题的叙述 假设给定开环控制系统其中,y(·)∈R~m,是系统的分状态;u(·)∈R~r,是系统的控制输入;f(·)∈R~q,是系统的干扰输入;y_o(·)∈R~m,是系统的参考输入;e(·)∈R~m,是系统的跟踪误差,R~m表示m维欧氏空间。P_o(D)∈R[D]~(m×m),R_o(D)∈R[D]~m×r,M(D)∈R[D]~(m×q),D表示微分算子,R[D]~(m×r)表示m×r阶D的实系数多项式矩阵的全体。     

Boltzmann-Poisson方程组初边值问题的整体弱解

§ 1.　Introduction　　LetΩ R3beasmoothboundedopenset,f(t,x ,v)bethedistributionfunctionofcar riersattimet >0 ,positionvectorx∈Ωandvelocityvectorv∈R3.Theforcefieldactingonthecarriersisdenotedbythe3 dimensionalvectorfunctionE(t,x) ,thepotentialcorespondingtoE(t,x)isdenotedbyu(t,x) ,then (f,E)satisfythefollowingBoltzmann Poissonsystem tf +v· xf +E· vf =Q(f) ,　 (t,x ,v)∈R+ ×Ω×R3,(1 .1 )E =- xu ,-Δxu =ρ ,　 (t,x) ∈R+ ×Ω ,(1 .2 )whereρ(t,x) =∫R3 f(t,x ,v)dvisthecarriernum…     

高阶半线性抛物型方程组的生命跨度

本文研究高阶半线性抛物型方程组{ut+(-△)mu=|u|p, (t,x)∈R1+×RN, ut+(-△)mν=|u|q, (t,x)∈R1+×RN,u(0,x)=u0(x),v(0,x)=uo(x),x∈RN,其中m,p,q＞1.利用试验函数方法,首先推导一些积分不等式,然后对方程组爆破解的生命跨度[0,T)给出估计.     

向量极值问题的回归点解释

设 X 为欧氏空间 R~n,Y 为欧氏空间 R~m,g 为映 X 到 Y 的映射,A(?)X 是任意非空子集.在下述向量极值问题(VMP)(VMP) max g(x),s.t.x∈A中,K 是 Y 中非平凡闭凸锥,K≠{0},如果{x∈A|g(x)-g(x_0)∈K\{0}}=φ,则称 x_0∈A 为(VMP)的有效解;如果 intK≠φ,并且{x∈A|g(x)-g(x_0)∈intK)=φ,则称 x_0∈A 为(VMP)的弱有效解.     

三维热传导型半导体问题的交替方向有限元方法

1　引　　言三维热传导型半导体器件瞬态问题的数学模型由四个非线性偏微分方程描述[1 ,2 ] ,记 Ω为 Ω=[0 ,1 ] 3的边界 ,三维问题-Δψ =α( p -e+ N( x) ) ,　　 ( x,t)∈Ω× [0 ,T] ,( 1 .1 ) e t= . ( De( x) e-μe( x) e ψ) -R( e,p,T) ,　 ( x,t)∈Ω× ( 0 ,T] ,( 1 .2 ) p t= . ( Dp( x) p +μp( x) p ψ) -R( e,p,T) ,　 ( x,t)∈Ω× ( 0 ,T] ,( 1 .3 )ρ( x) T t-ΔT =[( Dp( x) p +μp( x) p ψ) -( De( x) e-μe( x) e ψ) ] . ψ,　　　　　　 ( x,t)∈Ω× ( 0 ,T] . ( 1 .4 )ψ( x,t) =e( x,t) =p( …     

一类拟线性退化抛物方程Dirichlet问题粘性解的正则性

本文考虑下面的Dirichlet问题ut一Tr[a(x,t)D2u]+H(x,t,u,Du)=0,(x,t)∈QT=Ω×(0,T),u(x,t)=ψ(x,t), (x,t)∈ГT. (DP)利用粘性解理论证明了当H,Г满足一定条件时,(DP)的粘性解u(x,t)满足如果ψ∈Ca2,则u(x,t)∈Cα,羞;若ψ=0,则u(x,t)是Lpschitz连续的.     

概周期摆型方程无界解的存在性

对摆型方程x+Gx(x,t)=p(t),其中G(x,t)∈C1(R2)关于变量x是1周期的,并且sup(x,t)∈R2|Gx(x,t)|<+∞,limsupt→∞{supx∈R}=0,p(t)是平均值非零的概周期函数,证明了在柱面S1×R上方程具有无穷多的无界解.     

State feedback linearization of nonlinear control systems on homogeneous time scales

The paper addresses the state feedback linearization problem for nonlinear systems, defined on homogeneous time scale. Necessary and sufficient solvability conditions are given within the algebraic framework of differential one-forms. The conditions concerning the exact dynamic state feedback linearization are equivalent to the property of differential flatness of the system. An output function which defines a right invertible system without zero-dynamics is shown to exist if and only if the basis of some space of one-forms can be transformed, via polynomial matrix operator over the field of meromorphic functions, into a system of exact one-forms. The results extend the corresponding results for the continuous-time case.     

时变仿射非线性系统的动态补偿线性化

用微分几何方法讨论了时变仿射非线性系统的动态补偿线性化问题，给出了系统动态的反馈线性化的条件，它是状态反馈线性化的推广。     

弹道测定中推广卡尔曼滤波的误差分析

在弹道测定中,经常采用推广卡尔曼滤波方法进行实时跟踪.我们知道,当观测量的采样间隔较大、观测误差较大时,推广卡尔曼滤波将引进较大的离散化、线性化误差,从而影响滤波精度,对大气外弹道测定,正是这种情形.本文针对大气外弹道测定,具体分析非线性动态方程和非线性量测方程所产生的离散化、线性化误差的影响.由于对大气外弹道测定,如采用椭圆六个轨道根数作状态量,此     

Solution to nonlinear MHDS arising from optimal growth problems

In this paper we propose a method for solving in closed form a general class of nonlinear modified Hamiltonian dynamic systems (MHDS). This method is used to analyze the intertemporal optimization problem from endogenous growth theory, especially the cases with two controls and one state variable. We use the exact solutions to study both uniqueness and indeterminacy of the optimal path when the dynamic system has not a well-defined isolated steady state. With this approach we avoid the linearization process, as well as the reduction of dimension technique usually applied when the dynamic system offers a continuum of steady states or no steady state at all.     

New results on general observers for nonlinear systems

In this paper, we establish that detectability is a necessary condition for the existence ofgeneral observers (asymptotic or exponential) for nonlinear systems. Using this necessary condition, we show that there does not exist any general observer (asymptotic or exponential), for nonlinear systems with real parametric uncertainty, if the state equilibrium does not change with the parameter values and if the plant output function is purely a function of the state. Next, using center manifold theory, we derive necessary and sufficient conditions for the existence of general exponential observers for Lyapunov stable nonlinear systems. As an application of this result, we show that for the existence of general exponential observers for Lyapunov stable nonlinear systems, the dimension of the state of the general exponential observer should not be less than the number of critical eigenvalues of the linearization matrix of the state dynamics of the plant.     

New results on general observers for discrete-time nonlinear systems

In this paper, we establish that detectability is a necessary condition for the existence of general observers (asymptotic or exponential) for discrete-time nonlinear systems. Using this necessary condition, we show that there does not exist any general observer (asymptotic or exponential) for discrete-time nonlinear systems with real parametric uncertainty, if the state equilibrium does not change with the parameter values and if the plant output function is purely a function of the state. Next, using center manifold theory for maps, we derive necessary and sufficient conditions for the existence of general exponential observers for Lyapunov stable discrete-time nonlinear systems. As an application of this result, we show that for the existence of general exponential observers for Lyapunov stable discrete-time nonlinear systems, the dimension of the state of the general exponential observer should not be less than the number of critical eigenvalues of the linearization matrix of the state dynamics of the plant.     

Stochastic linearization critically re-examined

The stochastic linearization technique, widely used for the analysis of nonlinear dynamic systems subjected to random excitations, is revisited. It is shown that the standard procedure universally adopted for determining the so-called effective stiffness of the equivalent linear system is erroneous in all previous publications. Two error-free stochastic linearization techniques are elucidated, namely those based on (1) the force linearization and (2) energy linearization.     

Neurocontrol of nonlinear systems via local memory neurons

In this report, we consider the part of our work which concerns the approximation of nonlinear dynamic systems using neural networks. Based on a new paradigm of neurons with local memory (NNLM), we discuss the representation of control systems by neural networks. Using this formulation, the basic issues of controllability and observability for the dynamic system are addressed. A separation principle of learning and control is presented for NNLM, showing that the weights of the network do not affect its dynamics. Theoretical issues concerning local linearization via a coordinate transformation and nonlinear feedback are discussed. For illustration of the approach simulation results for nonlinear control of an aircraft encountering wind shear on take-off is presented.     

On dispersive stability of Hamiltonian systems on lattices

We study the long-time dynamics of oscillations in lattices of infinitely many particles interacting via certain non-linear potentials. The aim is to proof dispersive stability of such Hamiltonian systems analogously to results known for PDEs. To do so we first recapitulate the dynamics of linear Hamiltonian systems on an infinite chain and give optimal decay rates based on the dispersion relation. Based on this we proof that if the non-linearity is weak enough, the non-linear system shows a similar behaviour like its linearization. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Verticum-type systems applied to ecological monitoring

In the paper ecological interaction chains of the type resource - producer - primary user - secondary consumer are considered. The dynamic behaviour of these four-level chains is modelled by a system of differential equations, the linearization of which is a verticum-type system introduced for the study of industrial verticums. Applying the technique of such systems, for the monitoring of the considered ecological system, an observer system is constructed, which makes it possible to recover the whole state process from the partial observation of the ecological interaction chain.