一类混合型时滞微分差分比较原理

在研究中立型系统解的性质时,遇到如下一类混合型时滞微分差分不等式:其中x∈R~m,y∈R~n,X(t)(?)_Sup x(t+θ)(常数r>0),y(t)的含意类似;f:R~+×R~M×R~m×R~n×R~n→R~m,g:R~+×R~m×R~m×R~n×R~n→R~n,并且f(t,α,β,γ,ξ)关于β,γ,ξ单调不减,关于α为非对角线不减(即对于a_1~(1)=α_i~(2),α_j~(1)≤a_j~(2),有f_i(t,a~(1),β,γ,ξ)≤f_i(t,a~(2),β,γ,ξ),i≠j(i,j=1,2,…,m)),g(t,α,β,γ,ξ)满足相同的条件。D(x)表示x(t)的Dini导数。     

常微分方程分支解的一种数值方法

本文讨论如下形式的两点边值问题: x-f(t,x;λ)=0 (P) g(x(a),x(b);λ)=0其中[0,1]×R~n×R (t,x,λ)→f(t,x;λ)∈R~n和R~n×R~n×R (ξ,η,λ→g(ξ,η,λ)∈R~n是p次连续可微的,p≤2.λ是问题(P)的参数.当(P)在解(x~*(t),λ~*)处的线性化问题有非零解时,在(x~*(t),λ~*)处,(P)的解可能发生分支.已有许多文章对这样的问题进行了理论的、构造性的以及数值计算方面的讨论.在所有这些讨论中,     

一类连续最优控制问题的有限维近似

1　引　　言本文考虑具有状态终端约束、控制受限的非线性连续最优控制问题min　h0(x(0))+∫T0f0(x(t),u(t))dt+g0(x(T))(1.1)s.t.　x(t)=f(x(t),u(t)),　　t∈[0,T](1.2)D(x(0))=0,(1.3)E(x(T))=0,(1.4)S(u(t))≤0,　　t∈[0,T](1.5)其中,h0:Rn→R,f0:Rn×Rm→R,f:Rn×Rm→Rn,g0:Rn→R,D:Rn→Rp,E:Rn→Rq,S:Rm→Rr均为二次连续可微函数.T为终端时间(固定),p,q≤n,x(t)∈W1,∞[0,T]n,u(t)∈L∞[0,T]m分别为状态函数和控制函数.U(t)={u:S(u(t))≤0}为紧凸集.问题(1.1)—(1.5)要求寻找最佳控制u(t)使得目标函数(1.1)达到极小.…     

非线性互补问题的L1模算法

非线性互补问题(记作NCP(F))定义为求x∈R~n,满足X≥0,F(x)≥0且X~гF(x)=0。其中F:R~n→R~n。本文假设F(x)是一阶连续可微的。 引人映射H:R~n→R~n,其中H的第i个分量H_i(x)=min(x_i,F_i(x))及其L_1模函数 θ(x)=sum from i=1 to n |min(x_i,F_i(x)|设全集I={1,2,…,n},定义其子集: I_f(x)={i|F_i(x)0}, I(x)={i|F_i(x)=x_i},I_f(x)={i|F_i(x)相似文献   

拟凸条件下变分问题解的正则性

本文研究变分问题(1)■(u:Ω)=∫_Ωf(x,u,Du)dx的极小函数的正则性,其中Ω■R~n是有界开域,u:Ω→R-~N,Du:Ω→R(nN),f: ×R~N×R(nN)→R。定义称函数f满足严格拟凸条件,是指存在常数v>0,使得对任意的(x_0,u_0,p_0)∈Ω×R~N×R(nN)和φ∈C~∞_0(Ω,R~N),都有■(2)其中|Ω|是Ω的Lebesgue测度。定理设u∈H~(1,2)(Ω,R~N)是泛函f的极小函数,即对任意的φ∈H_0~(1,2)(Ω,R~N),都有■而f(x,u,p)满足下列假设 (H1) f满足严格拟凸性,即(2)成立, (H2) f关于p的二阶导数存在,且存在常数L>0,使得■对任意的(x,u,p)∈Ω×R~N×R~(nN),都有■ (3)|f_(pp)(x,u,p)|≤L_0 (H3) 存在[0,∞]上的连续、有界、凹的函数∞(t),使得(4)■(5)■(6)■且ω(t)≤At~α,其中A,α是正常数。那么存在常数δ∈(0,1)和开集Ω_0Ω,使得|Ω-Ω_0|=0,Du∈C~6(Ω_0,R(nN))。     

具有超前和滞后的泛函微分方程的周期解

考虑具有超前和滞后的泛函微分方程的ω-周期解的存在性问题,其中L_i,R_j,φ_k,ψ_k:R→R(i=1,…,m_1,j=1,…1,…,m_2,k=1,…,m_3)是连续的ω周期函数,D_i:R~2→R~(n×n)连续,关于t以ω为周期;f:R×R~n×…×R~n→R~n连续,关于t以ω为周期;m_1,m_2,m_3为正整数,ω为正常数。 近些年来,人们利用Liapunov第二方法研究常微分方程和具有有限滞后或无限滞     

广义拟线性Schr?dinger方程基态解的存在性

本文旨在研究如下的广义拟线性Schr?dinger方程-div(g~2(u)▽u)+g(u)g′(u)|▽u|~2+V (x)u=h(u), x∈R~N,其中N≥3, g:R→R~+是一个可微的偶函数且存在α≥1使得lim~(t→+∞)g(t)/t~(α-1)=β 0; h:R→[0,+∞)是一个非线性函数且包含情形:h(t)=|t|~(p-2)t (2 p α2*);位势函数V (x):R~N→R为正.结合变量替换和变分技巧,本文证明了上述问题存在一个正的基态解.     

对角型拟线性双曲系统在大初值下整体光滑解的存在性

Hoff证明了在A和初值u_0(x)的某些光滑性、单调性的条件下有整体光滑解存在。在(1),(2)中,u∈R~n,Λ(x,t,u)=diag(λ~1,…,λ~n)为对角n×n矩阵,它具有双曲性:当i≠j、(x,t,u)∈R×R_(≥0)×R~n时,λ~i(x,t,u)≠λ~i(x,t,u)。     

高维非自治系统的概周期解

本文考虑下面形式的微分方程 =A(t,x)x + g(t,x), (1)这里x∈R~n,A(t,x)是定义在R×R~n上的n×n连续矩阵,g(t,x):R×R~n→R~n关于t,x连续.本文主要讨论方程(1)的概周期解存在性,所得结果推广了以前一些已知结果.     

一类退化抛物方程解的几何性质

本文讨论非线性退化抛物方程u_t=△φ(u)的Cauchy问题弱解u(x,t)的正则性与几何性质.本文证明:若正数β足够大,则曲面ψ=ψ(x,t)=[φ(u)]~β是随时间t的连续变化而漂浮于空间R~(n+1)中的n维完备黎曼流形,它与实欧氏空R~n相切于低维流形(?)H_n(t),而H_u(t)={x∈R~n:u(x,t)0);函数ψ(x,t)在经典的意义下满足另一退化抛物方程.     

可探测问题不可行性的无滤子逐步二次规划方法

<正>1引言本文考虑如下非线性约束优化问题min f(x)(1.1)s.t.c(x)≤0,其中f:R~n→R,c:R~n→R~m均二阶连续可微.若问题(1.1)不可行,求解以下约束违反度函数的极小值点得到(1.1)的不可行稳定点:min h(x),(1.2)其中h(x)=||[c(x)]~+||1,[c(x)]~+=max{c(x),0}(按分量最大).类似地,[c(x)]~-=max{-c(x),0}.众所周知,逐步二次规划方法(SQP)是求解问题(1.1)的最有效的一类方法,由于它能够很好求解非线性约束优化问题且具有超线性收敛的良好性质,吸引了许多学者对其     

Schrdinger方程解的收敛性

考虑L~2(R~n)上乘子变换其中t>0,m(ξ)=exp(4π~2iξ~2)。周知,u(x,t)=T_t(f)(x)是Schrdinger方程始值问题的广义解。当t→* 0时‖u(x,t)-f(x)‖L~2→0。L. Carleson研究     

Newton方程组周期解存在性的构造性证明

1 引言 考虑下列Newton方程组的周期边值问题 (1) (2) 其中C:R×R~n→R是关于x二阶连续可微,关于t以2π为周期的连续函数,e:R→R~n是以2π为周期的连续函数.这里不妨设G(t,0)=0(若不然,令G_1(t,x)=G(t,x)-G(t,0),e_1(t)=e(e)-G(t,0),即满足上述要求). 早在1969年,Lazer和Schliez利用Brouwer不动点定理证明了在条件下方程组(1)的特殊形式 (3)2π-周期解的存在性.后来Kannan,Chow,Hale & Mallet-paret,Mawhin,Kannan & Locker又分别重新证明了解的存在唯一性.Lozer,Ahmad,Brown & Lin利用Poincare’定理或全局逆函数定理在条件     

二阶非线性摄动常微分方程的振动性定理

<正> 本文讨论二阶非线性摄动常微分方程 (a(t)φ(x)x′)′+Q(t,x)=P(t,x,x′) (1)解的振动性质.在方程(1)中,a:[t_0,∞)→(0,∞),φ:R→[0,∞),并且当x≠0时,φ(x)≠0,a,φ连续可微,Q:[t_0,∞)×R→R,P:[t_0,∞)×R~2→R,Q,P为     

一类泛函微分方程解的振动定理

给出了二阶泛函数微分方程 x"(t)+f(t,x(g(t,x(t)))=0 t≥ t_0 其中 f(t,u)(?)C([t_0,∞)×R,R),f(t,0)=0 和 g(t,v)(?)C([t_0,∞)×R,R),(?)(t,v)=∞的一切解均为振动的必要条件。     

线性微分追捕对策

本文研究线性微分对策的追捕问题,给出一些结束追捕的条件.我们研究方程(?)=C_z-u+v(1)描述的线性微分对策,其中 z∈R~n,C 是 n×n 常阵,u∈P,v∈Q.控制域 P 和 Q 是 n维欧氏空间 R~(?)中的紧凸集合.作为时间的函数 u=u(t),v=v(t)对 t 是可测的.设 M 是 R~n 中的全维数闭凸集合.定义 给定 z_0∈R~n,如果对于任意的可测函数 v(t)∈Q,t≥0,都可以构造出一个可测函数 u(t)∈P,t≥0,使得方程(?)(t)=Cz(t)-u(t)+v(t),z(0)=z_0的解 z(t),t≥0,在不超过数τ的时间内落到集合 M 上:z(t|ˉ)∈M,(t|ˉ)∈[0,τ],则称     

二阶常微分方程组的极限边值问题解的存在性和唯一性

本文研究二阶非线性常微分方程组=a(t)h(y),=b(t,x)g(y),(S)其中 a:I→R_+=(0,∞),I=[t_0,∞),t_0∈R=(-∞,∞),h:R→R,g:R→R_+和b:I×R→R 均为连续函数,且满足:yh(y)>0(y≠0),h(y)是 y 的递增函数;xb(t,x)≥0,b(t,x)是 x 的不减函数,且对任意固定的 x≠0,在 I 的任意子区间上b(t,x)不恒等于零.我们还假设,对任意的 c≥t_0,α,β∈R,组(S)满足初值条件:x(c)=α,(1)y(c)=β (2)的解存在唯一,且对初值具有连续相依性.我们考虑下面几种极限边值条件:     

R^n中一类半线性椭圆方程的k—NODE解的唯一性

本文主要讨论了R~n中超线性椭圆方程边值问题的k-node解的唯一性,在条件 p1(n)<-(ι+2)/(p-1)1,同时给出了 -△u+a(|x|)u=sum from t=1 to m a_i(|x|)|u|p~(i-1)u,u→0 (|x|→∞)的k-node解的唯一性结果。     

解非线性多点边值问题的一类拟牛顿法

(一)引言 考虑非线性多点边值问题 x=f(x,t) t_1≤t≤t_m (1.1) g(x(t_1),…,x(t_m)=0 t_1相似文献   

多目标数学规划的对偶性

<正> R.R.Egudo 和M.A.Hanson 在文[2]中讨论了如下一类多目标数学规划的对偶性其中f:R~n→R~k,g:R~n→R~m 是向量值函数,e=(1,1,…,1)~T ∈R~k,λ∈W~(++)={ω|ω_i>0,sum from i=1 to k ω_i=1}。文[2]对多目标非凸规划(VP)和(VD)关于真有效解给出了弱对偶和强对偶定理。本文将(VP)和(VD)推广为如下一类常闭凸锥约束的多目标数学规划问题