非线性H∞控制的粘性解方法

考虑系统:x=F(x,u ,ω) (1)z=Z(x,u,ω),这里,F,Z∈C~1(R~n),F(O,0,0)=0,Z(0,0,0)=0,x∈R~n状态变量,u∈U∈R~n控制变量,ω∈W∈R~1外界干扰,z∈R~k调节输出变量,U和W是紧集.定义 非线性H_∞问题(或非线性干扰抑制)就是要对系统(1.1)寻找最小的正数γ~*,(?)γ>γ~*,总可设计一个控制器使得1)初始值x(0)=0时有     

一个四阶变分不等式的有限元逼近

一、引言 考虑下述四阶变分不等式其中 (1.2)且α<0<β是常数。 文献[1]中研究了这个变分不等式问题,当Ω(?)R~l是有界光滑区域时,有下述结果: 定理1.1. 若f∈L~p(Ω),p≥2,则问题(1.1)之解u∈W~(3,p)(Ω),且△u∈W_0~(1,p)(Ω)。     

变分不等式的并行Schwarz算法

设Ω为R~d中有界多角形区域,V为Sobo1ev空间H~k(Ω)的子空间,a(·,·)为V×V上连续强制对称双线性型,f∈V。为简单计,设V中元素在Ω上满足齐次边界条件。考虑变分不等式:求u∈K使 a(u,v—u)≥f(v—u), (?)v∈K, (1) 其中 K={v∈V:v≥φ于Ω},φ≤0于(?)Ω, (2) 或者 K={v∈V:φ≤v≤ψ于Ω}, φ≤0≤ψ于(?)Ω, (3) 且φ,ψ∈H~1(Ω)∩C~0(Ω)。 设V~h(?)H_0~1(Ω)是V的有限元逼近且其结点参数值包含在结点的函数值。问题(1),(2)或问题(1),(3)的有限元逼近为:求u_h∈K_h使     

Lipschitz区域上Schrdinger方程的L~p边值问题

设Ω是R~n中无界的Lipschitz区域,即其边界(?)Ω为Lipschitz曲线.区域Ω内的点用X表示,边界(?)Ω上点用Q表示,N(Q)表示Q点的单位外法向量,非切锥 Γ( Q)={X∈Ω ;|X-Q|<2dist(X,(?)Ω)}.若u是Ω内函数,记u( Q)=sup{|u(X)|:X ∈ Γ(Q)}.定义函数空间(?)(Ω)={u(X):u及△u是Ω内局部可积函数,且((?)u)在边界(?)Ω上p次可积|,其中△表示Laplace算子,(?)表示梯度.再约定u(Q)为u(X)的非切极限,即u(Q)等于u(X)当X→Q且X∈Γ(Q)的极限.((?)u/(?)N)(Q)定义为N(Q)(?)u(X)的非切极限,可以知道,     

右方为Radon测度时双重退化抛物型方程弱解的存在性

近年来,一批学者如Boccardo,Gallouet和Rakotoson等人,对于二阶椭圆型方程(?)u=f,当右端非齐次项f∈L~1(Ω)(非自反),更一般地f∈M(Ω)的情形进行了研究,这里M(Ω)=[C_c(Ω)],即C_c(Ω)的拓扑对偶,也称为有界的Radon测度集.最典型的例子是f=δ(狄拉克函数)∈M(Ω).归纳而言,他们对于拟线性的具有散度主部的椭圆型问题:—div((?)(x,u,Du))=f∈M(Ω),u|(?)Ω=0,(Ω(?)R~N),当(?)是个Caratheadory函数且满足Leray-Lions性质时(包括增长性、单调性     

二参数Ornstein-Uhlenbeck过程的转移概率及预测

设z(u,v)为平面上的点,记R_+~2=(z:u≥0,v≥0)。R_+~2中全体Borel集记为B_+~2.x={x(z,ω∞),z∈R_+~2)为概率空间(Ω,F,P)上的随机过程。称X为二参数Ornstein-Uhlenbeck过程(DUP_2),如     

一类半线性抛物系统正解的爆破速度

近来有关抛物方程爆破问题的研究有了较大进展,越来越多的工作是对抛物系统爆破条件、爆破速度、爆破点集及渐近形态的研究,本文考虑如下Dirichlet问题: u_t-△u=υ~q,υ_t-△υ=u~q,(x,t)∈B_R×（O,T） u(x,t)=υ(x,t)=0,(x,t)∈S_R×(O,T), (1) u(x,0)=u_0(x),υ(x,0)=υ_0(x),x∈B_R, 其中B_R={|x|1（不妨设p≤q）,u_0,υ_0∈C~2是径向对称非增非负函数满足u_0(x)=υ_0(x)=0,x∈S_R且△u_0 υ_0~P≥0,△υ_0 u_0~P≥0,x∈B_R.我们得到 定理 设（u,υ）是式（1）的非平凡解,在有限时刻T爆破,那么存在常数c和C使得 c（T-t）~（-α）≤ sup_x∈B_Ru（x,t）=u（0,t）≤C（T-t）~（-α）,t∈（0,T）, C（T-t）~（-β）≤sup_x∈B_Rυ（x,t）=υ（0,t）≤C（T-t）~(-β),t∈（0,T）,     

非线性不适定问题的最大熵方法

很多数学物理问题可化为求非线性算子方程 F(f)=g (1)的满足f≥0的解,其中为非线性算子,定义域在Ω上},并且Ω为R~n中可测集。例如,在问题中,考虑由u的观察值u(x),x∈(0,1)来确认参数a,其中h∈L~2([0,1])并且g_1,g_2为实数。众所周知,当在[0,1]上},问题(2),(3)有唯一解。定义非线性算子F为     

绝对连续范数性质在Orlicz-Sobolev空间中的应用

Edmunds等人得到了如下结果(参见Can J.Math.,38(1986),5:1181—1198):设Ω为R~n中有界非空开集,(?)Ω∈C~∞,ψ(t)=e~(t~v)-1(v∈[1,+∞)),κ∈N。如果f∈W~κE_ψ(Ω),且f/d~κ∈L_ψ(Ω),则f∈W_0~κE_ψ(Ω)。 但我们发现了上面结果的证明中有几处错误。我们应用范数的绝对连续性质证明:当上面结果中κ=1时,ψ(t)=e~(t~v)-1可由任意N-函数代替,只需把条件f/d∈L_ψ(Ω)改为f/d∈ E_ψ(Ω),则结论仍成立。同时,我     

二阶问题混合元法的L_∞估计

考虑二阶椭圆方程模型问题,即在有界区域Q∈R~2上—Δu=f,在边界Γ上u=0。令V=L_2(Q),H={ξ∈L_2(Q)×L_2(Q),divξ∈L_2(Q)},σ=▽u由鞍点问题导出其弱形式为:求(u,σ)∈(?)×H满足:     

Opial不等式之进一步推广

定理1 令在u≥0上P(u)及Q(u)非减且Q为凸,P(0)=Q(0)=0,Q~(-1)(v)为Q(u)之右连续逆;则当f∈AC[a,b],f(a)=0时     

Poisson积分作为Banach空间L_p(R~n)(1

<正> 1 算子 在文献[1]中,我们在Banach空间L~p(R~n)上定义算子如下: 这里W~(1·p)={u,u ∈L~p(R~n),D_ju∈L~p(R~n),1≤j≤n}是Sobolev空间。其中D_ju是函数u(x)在分布意义下的第j个偏导数,即<Φ,D_ju>=-,Φ∈D(R~n),这里D(R~n)=C_0~∞(R~n)是R~n上具紧支集无穷次可导函数全体。另外,算子R_j是L~p(R~n)函数的第j个Riesz变换,有R_j∈B(L~p)(看文献[2]),B(L~p)表示L~p     

具有饱和的互惠模型的共存态

本文利用整体分支理论研究具有饱和的互惠模型的共存平衡态,详细给出了具有非负非平凡的平衡解的参数范围.本文考虑如下具有扩散的互惠模型ｕｔ-Δｕ=ｕａ-ｕ ｃｖγ ｖ,　　　　　ｘ∈Ω,ｖｔ-Δｖ=ｖ(ｂ-ｖ ｄｕ),　　　　　　ｘ∈Ω,ｕ=0,ｖ=0,　　　　　　　　　　　ｘ∈Ω,ｕ(ｘ,0)=ｕ0(ｘ),ｖ(ｘ,0)=ｖ0(ｘ),　ｘ∈Ω,(1)其中Ω是ＲＮ中的有界开集且具有光滑的边界Ω,Δ表示ＲＮ中的Ｌａｐｌａｃｉａｎ算子,ｕ和ｖ分别表示两种生物种群的密度,ａ,ｂ是实数,表示这两种生物种群的生长率,ｃ,ｄ是反应系数,本文中都是正实数,问题(1)此时被…     

一类分布参数系统的最优性条件

本文讨论如下的控制系统: 其中Ω((?)R~n)是一有界区域,其边界(?)Ω光滑。u(x)∈U={a,b},b>a>0。给出如下的允许控制集 在Ω上可测}。 (2)若问题(1)有解y(x)=y(x;u),则可定义如下的指标函数     

连续时间MDP及其与离散时间MDP的关系

本文讨论的连续时间MDP(Continuous Time MDP,简记为CTMDP)折扣模型为{S,(A(i),(i),i∈S),q,r,a},其中状态集S可列;行动集A(i)为任意非空集,(i)为其上的σ-代数,它包含A(i)的所有单点集;转移速率族q(j|i,a)满足:i∈S,a∈A(i)均有—∞相似文献   

无穷维反应扩散过程的唯一性

本文用极大值原理证明所构造的无穷维反应扩散过程的唯一性,排除了文献[2]中的多项式增长条件,设Z_+为非负整数集,S为可数集,E=Z_+~S,对每一u∈S,给定Z_+上的函数C_u≥0和保守Q矩阵Q_u=(q_u(i,j)),为了方便,约定C_u(0)=0,q_u(i,j)=0,如j<0,再给定S上的转移矩阵P=(p(u,v)),取正可和数列{α(u);u∈S},使(?)P(u,     

含时滞的中立型抛物系统解的稳定性

关于含时滞的偏泛函微分方程解性态的研究,目前已有一些好的结果(见文献[1～5]).但相应的中立型系统由于研究上的困难,对其解的稳定性分析尚未见到有关资料.本文作了尝试性的探讨,通过构造若干辅助泛函并结合L_p估计,对一类含时滞的中立型抛物系统解的稳定性进行了分析,获得了若干相应结果.考虑含有时滞的中立型抛物系统其中(x,t)∈Ω×R~+,Q(x,t)∈R~n,P,D,A,B∈R~(n×n)为常数矩阵,且P,D是对角阵,时滞τ,σ为非负常数.Ω是R~m中的有界开集,有光滑的边界δΩ,Δ是Ω上的Laplace算子.对系统(1),考虑相应的边界条件其中n为δΩ上的外法向量.定理1 若d-p>0,l=a+||B||+2||PB||+||PA||+p<0则||Q(x,t)||(?),||(?)Q(x,t)||(?)有界且属于L_1(0,∞).其中D=diag(d_1,d_2,…,d_n),P=diag(P_1,P_2,…,P_n).而d=min{d_1,d_2,…,d_n},p=max{d_1p_1,d_2p_2…,d_np_n},a为矩阵A的特征值的最大实部.||Q||(?)={∫_ΩQ~TQdx}~(1/2),(?)为梯度算子.证 对系统(1)引进辅助泛函     

与间隙现象相关的一个极小问题

设Ω是R~3中的一个有界区域,B~3和S~2分别是R~3中的单位球和单位球面.由文献[1]知,对f∈H~1(Ω,S~2),如果div(D~（?）(f))≠0,这里D~（?）(f)=(（f×f_(x_2）)(?)f_（x_3）,(f×f_(x_3))(?)f_(x_1),(f·f_(x_1))(?)f_(x_2)),则f不能被C~1((?),S~2)中的映射逼近,即有下面的间隙现象:对不能被C~1((?),S~2)中的映射逼近的f∈H~1(Ω,S~2),一个自然的问题是:下面的极小问题是否可达:关于这方面的结果,Bethuel和Brezis对Ω=B~2,f=x/|x|,证明了(2)式不可达.本文在f满足下面的条件(f_1)和(f_2)时,考虑极小问题(2).我们将用一种与文献[2]完全不同的方法,证明对于(2)式的Euler方程的任一弱解u,有Sing(f)(?)Sing(u),这里,Sing(u)是u的奇点集.作为该结果的一个直接推论,知(2)式不可达.设f∈H~1(Ω,S~2)满足下面的条件:(f_1)存在a_1,…,a_k∈Ω,使得f∈C~1((?)\{a_1,…,a_k});(f_2)对于每个a_i,存在一个非常数的光滑映射φ_i:S~2→S~2,使得当σ→0时,于H_1(B~3)强收敛.显然,对于非常数的光滑映射φ:S~2→S~2,f(x)=φ(x/|x|)满足(f_1)和(f_2).在叙述本文的结果之前,先计算     

饱和Prey-Predator模型的稳定性和一致持久性

本文考虑如下具有饱和的Ｐｒｅｙ＿Ｐｒｅｄａｔｏｒ模型ｕｔ-ｄ1Δｕ=ａｕ-ａ1ｕ2-ａ2ｕｖ1 ｍｕ,ｘ∈Ω,ｔ>0,ｖｔ-ｄ2Δｖ=ｂｖ-ｂ1ｖ2 ｂ2ｕｖ1 ｍｕ,ｘ∈Ω,ｔ>0,ｕ=ｖ=0,ｘ∈Ω,ｔ>0,ｕ(ｘ,0)=ｕ0(ｘ)≥0,0,ｖ(ｘ,0)=ｖ0(ｘ)≥0,0,ｘ∈Ω,　　(Ｐ)其中Ω是Ｒｎ(ｎ≥1)中的有界开集,且具有充分光滑的边界Ω,ｕ(ｘ,ｔ)和ｖ(ｘ,ｔ)分别表示两种生物种群Ｐｒｅｙ,Ｐｒｅｄａｔｏｒ的分布,ａ,ｂ,ｄ1>0,ｄ2>0,ａ1>0,ａ2>0,ｂ1>0,ｂ2>0,ｍ>0都是实数,模型(Ｐ)中的反应项是Ｈｏｌｌｉｎｇ＿Ｔａｎｎｅｒ型的.文献[1,2]讨论了模型(Ｐ)的平衡态…     

无界报酬折扣模型中ε(≥0)最优策略的性质

我们研究绝对平均相对有界折扣模型{S,(A(i),i∈S),q,r,V_β},其中S,A(i)(i∈S)均为可列集,q是时齐的,r满足 (1)存在数集{r(i):r(i)>0,i∈S}使得 (2)存在数d>0,使得以及V_β是折扣准则。 本文证明的关键是我们引入了如下概念:在策略π下,于时刻n可达的状态;可实现的历史。并引