求解非线性对流-扩散问题的特征—差分法

近年来,已有不少文献讨论发展型方程的特征-有限元或特征-差分解法.在这一方向上,J.Douglas,Jr.及T.F Russell[1]是重要的工作,它讨论了一维对流-扩散方程C(x)?u/?t+b(x)?u/?x-?/?x(a(x)?u/?x)=f(x,t)的数值求解问题,建立了基于线性插值与基于二次插值的两种特征-差分格式,给出了误差分析,将前一种格式推广到     

求解非线性对流-扩散问题的特征—差分法

近年来,已有不少文献讨论发展型方程的特征-有限元或特征-差分解法.在这一方向上,J.Douglas,Jr.及T.F Russell[1]是重要的工作,它讨论了一维对流-扩散方程C(x)?u/?t+b(x)?u/?x-?/?x(a(x)?u/?x)=f(x,t)的数值求解问题,建立了基于线性插值与基于二次插值的两种特征-差分格式,给出了误差分析,将前一种格式推广到     

有限不变测度与一维扩散过程

<正> 本文沿用[2]或[3]中的记号. 对于微分算符Ω: Ωu=(a(x)u′)′+b(x)u′+c(x)u(1) a(x)>0,c(x)≤0,a(x),b(x)连续可微,c(x)连续以及它的形式共轭算符Ω: Ωv=(a(x)v′)′-(b(x)v)′+c(x)v(2)我们将说明:在c(x)0时Ω导出的满足局部边值条件的马氏过程P(t,x,Γ)(确切含义见[2]或[3]中定义4.5.1,4.5.4及4.5.5)不存在有限不变测度;在c(x)≡0时Ω导出的满足局部边值条件的马氏过程P(t,x,Γ)如果存在有限不变测度,则必是绝对连续的且其密度满足共轭方程.     

Multiple positive solutions for a fourth-order p-Laplacian Sturm-Liouville boundary value problems on time scales

In this paper, we investigate the existence of multiple positive solutions for the following fourthorder p-Laplacian Sturm-Liouville boundary value problems on time scales ﹛[φp(u△△(t))u △△= f(t, u(σ(t))), t ∈ [a, b],α0 u(a)- β0u△(a) = 0, γ0 u(σ(b)) + δ0 u△(σ(b)) = 0,α0(φp(u△△))(a)- β0(φp(u△△))△(a) = 0,γ0(φp(u△△))(σ(b)) + δ0(φp(u△△))△(σ(b)) = 0,where φp(s) is the p-Laplacian operator. Under growth conditions on the nonlinearity f some existence results of at least two and three positive solutions for the above problem are obtained by virtue of fixed point theorems on cone. In particular, the nonlinearity f may be both sublinear and superlinear.     

Entropy Unilateral Solution for Some Noncoercive Nonlinear Parabolic Problems Via a Sequence of Penalized Equations

We give an existence result of the obstacle parabolic equations(b(x,u))/(t)-div(a(x,t,u,▽u))+div(φ(x,t,u))=f in Q_T,where b(x,u) is bounded function of u,the term-div(a(x,t,u,▽u)) is a Leray-Lions type operator and the function φ is a nonlinear lower order and satisfy only the growth condition.The second term f belongs to L~1(Q_T).The proof of an existence solution is based on the penalization methods.     

超线性收敛的指数下降迭代法

1　引　　言文[1]中借助于常微分方程的Liapunov方法建立了与非线性方程f(x)=0(1)在区间[a,b]内的解x*相对应的Cauchy问题dx/dt=-w(x)f(x)(2)x(0)=x0,　x0∈[a,b](3)其中f(x)在[a,b]上连续可导,f′(x)≠0,而w(x)满足w(x)f′(x)>0且使得Cauachy问题(2)—(3)的饱和解x=x(t,x0)存在唯一.于是非线性方程(1)在[a,b]内的解x*为自治系统(2)的渐近稳定的奇点,从而有limt→+∞x(t,x0)=x*,　　x0∈[a,b](4)成立.这说明对任一初值x0∈[a,b]通过解Cauchy问题(2)—(3)可得非线性方程(1)在[a,b]内的解x*.在文[2]中利用Lambert的非线性方法[3],导出了一个…     

FINITE ELEMENT ANALYSIS OF A LOCAL EXPONENTIALLY FITTED SCHEME FOR TIME-DEPENDENTCONVECTION-DIFFUSION PROBLEMS

1.IntroductionConsiderthetime-dependentconvection-diffusionproblemat--Euzx a(x,t)u. b(x,t)u~f(x,t),(x,t)E[0,1]x[0,T](1.1)u(0,t)=u(1,t)~0,tE[0,T].(1.2)u(x,0)=u000,xE[0,1],(1.3)a(x,t)2or>0,(1.4)b(x,t)--a.(x,t)/220>0,(1.5)where0SE<<1'(1.1)-(1.5)canbereg...     

On Applications of Vector Measure to the Optimal Control Theory for Distributed Parameter Systems

Let X and Z be two reflexive Banach spaces, U\in Z and b(\cdot,\cdot):[t_0,T]*U\rightarrow X continuous. Suppose $x(t)\equiv x(t,u(\cdot))$ is a function from [t_0, T] into X , satisfying the distrbnted parameter system $dx(t)\dt=A(t)x(t)+b(t,u(t)),t_0+\int_t_0^T {+r(t,u(t))dt}$. We have proved the following theorem. Theorem. Suppose u^*(\cdot) is the optimal control function, $x^*(t)=x(t,u^*(\cdot))$ and $\psi (t)=-U'(T,t)Q_1x^*(T)-\int_t^T{U'(\sigma,t)Q(\sigma)x^*(\sigma)d\sigma}$, then the maximum principle $<\psi(t),b(t,u^*(t))>-1/2r(t,u^*(t))=\mathop {\max }\limits_{u \in U} {\psi (t),b(t,u)>-1/2r(t,u)}$ (16) holds for almost all t on [t_0, T ].     

关于非线性蜕化抛物型方程解的唯一性(英文)

本文证明,在条件a(s)>0(s>0),a(0)=0,b(s)=0(a(s)~λ)(s≥0,0≤λ≤1、2),s~μ=0(a(s))(a>0,μ>0)之下,混合问题 μ_t=(a(u)u_x)_x+b(u)u_x, (x, t)∈R={(x, t)|-11时,解为唯一的,这改善了[1,2]的结果。     

抛物型差分方程的符号稳定性

对于热传导方程的初边值问题 ut=(p(x)u_x)_x-q(x)u t>0 u(t,a)=u(t,b)=0(1.1) u(0,x)=u~0(x),polya [3]曾证明过,对于所有t>0,解u(i,x)在[a,b]上的变号次数不大于给定的初值函数u~0(k)在[a,b]上的变号次数.Nickel在[2]中讨论了更广泛的情况,得到了类似的更深入的结果.     

一类矩阵的AOR迭代收敛性分析及其与SOR迭代的比较

1 引言 许多实际问题最后常归结为解一个或一些矩阵的线性代数方程组Ax=b （1.1）这里讨论A为（1，1）相容次序矩阵的情形。     

非齐次空间上的奇异积分交换子的有界性

本文在非齐次空间上给出了交换子[b,T](f)=bTf(x)-T(bf)(x)在b(x)是Lipschitz函数时的Lp(p＞1)有界性.     

非齐次空间上的奇异积分交换子的有界性

本文在非齐次空间上给出了交换子[b,T](f)=bTf(x)-T(bf)(x)在b(x)是Lipschitz函数时的 Lp(p>1)有界性.     

半序集的碰撞数与分层深度贪婪算法

设Ｐ＝（Ｘ，≤）是一个半序集，本文在关于碰撞数的深度贪婪算法的基础上，直接证明了对任意的Ｐ存在一个最优的ＤＬＧ扩张，给出了ＤＬＧ半序集的定义，并证明了半序集Ｐ是ＤＬＧ半序集的一个充分条件，最后给出了ＤＬＧ扩张算法。     

双模范畴间同构态射的构造

本文研究了双模范畴上的同构态射.利用代数上常用的构造方法,给出了模范畴R(C:T)和L(C:T)的定义及双模范畴TMC和TMCM之间的同构映射和证明过程,将代数上双模范畴的一些重要结论进行了推广.     

关于“停走”生成器概率模型中的符合率问题

本文首先建立了“停走”生成器辅出序列的概率模型,给出了“停走”生成器输出序列与其线性移位寄存器序列之间的符合率的计算公式。     

经济最优化意义下消耗系数的调整

本文基于“正特片矢量法”,提出了一种在经济最优化意义下调整消耗系数的方法.该方法能够综合考虑产综和价格对消耗系数的影响,有着较好的普适性,在计算上简便易行、效果良好,且具有明显的经济意义.     

THE SOLUTION TO THE SK-MODEL

IIntroductlonAs one ofwell－kn。mean ield models for spin glasses,the SK(Sherrin红on－Kirkpatri山)model has been studied by many authors恤叫2]nd[81,andthe references therein)．Particu－larl儿丁劝a以andls]repm眈* some quite lmerestingresults on It in his one－hour Invited talk tthe International Congress ofMathem航icians held t Berlin in August,ig98．In mathematical terms;the SK－Model Is the study of a cert。n random measure on Z。:＝{一1;1}”for a natural。mber N．Z。Is called configu…     

用离散纵标法计算平板几何反应堆厚度临界尺度的合理性~

自从1944年 chandrasekhar 在辐射迁移现象计算中使用离散纵标法之后,该方法在核反应堆实际计算中有了广泛的应用,因而引起了许多数学工作者的关心.他们去研究和证明该方法的合理性,并已得到很多结果(如[2—10]).本文的目的是证明用离散纵标法计算平板几何反应堆关于厚度的临界尺度本征值的合理性.这里我们讨论介质体