一类半线性退化进化方程组的Cauchy问题

本文考虑高阶半线性进化方程组Cauchy问题广义解和古典解大范围的存在性、唯一性和正则性,其中u(x,t),f(u),φ(x),是J维向量函数。A_m(t)(m=1,2,…,M)是非负定矩阵,B_r(t)(r=0,1,…,R)是对称矩阵,c_p(p=1,2,…,P)是对称非负定常数矩阵,这些矩阵可以是奇异的。因此方程组(1)包含着下列情况:其中几个方程是抛物型或拟抛物型偏微分方程组,而另一些是常微分方     

砖块铺地的故事

对于方程组fi(x1,x2,…,xj)=0(i=1,2,…,n;j=1,2,…,m,m>n),一般情况下,当没有其他条件限制时,满足方程组的解无穷无尽,非常自由,真是"大海从鱼跃,长空任鸟飞"(宋代阮阅<诗总>).如果附加一些条件(最典型的就是规定所有的xi均为整数,此时解这个方程叫做不定分析),解域就显得碍手碍脚,必须小心探索,得来很费功夫.其中变幻多方、秘奥莫测:有的有通解,如勾股数公式;有的有若干组解,如百鸡问题;有的有唯一解;有的干脆在偌大一数集中无解,如费马大定理.为这些问题,人们历经山穷水尽的遭遇,悠悠岁月,终于进入柳暗花明的美好境界,不定分析的魅力就在这里.     

晶体结构参数阻尼最小二乘精化法

最小二乘法目前已成为使用最广泛的一种结构参数精化方法。作者用非线性问题的麦夸尔特解法改善了晶体结构参数最小二乘精化的计算过程。并按此编制了适用于国产电子计算机的全矩阵最小二乘精化程序(GCLS-013)(BCY语言,013计算机)和方块对角矩阵最小二乘精化程序(GCLS-BLOCK)(ALGOL语言,TQ-16计算机),作为晶体结构分析计算程序系统(GC-79)的一个组成部分。本文着重介绍计算方法。程序已另文发表。     

“核”驱动BRDF模型反演新途径

“核”驱动ＢＲＤＦ模型目前是多角度卫星传感器ＭＯＤＩＳ用于计算全球半球反射率的首选模型,该模型利用“最小二乘”方法选择最佳的“核”,在小样本情况下,反演结果很不稳定,文中对此进行了改进,利用信息反演理论,考虑了模型及测量误差等影响因数,提出了“最小方差”反演准则。经检验,在产本情况下该方法较原“最小二乘”方法更为可靠并较少地依赖于多角度观测数据的方位。     

Based on the weighted overall least squares rotation angle dimensional Cartesian coordinate conversion

笔者针对大旋转角三维直角坐标转换中两类坐标均存在误差的情形,首次联合加权整体最小二乘及改进SQPM算法用于解决该问题,结果表明,本方法结果稳定、精度较高,适合两类坐标均存在误差的大旋转角三维直角坐标转换.     

关于岭回归分析的一个注记

考虑线性回归模型Y和e都是n维随机矢量,且Ee=0,Eee~τ=σ~2I;X是(n×p)阶系数矩阵,β是p维参数矢量。依据Y对β所做的最小二乘估计为     

带有先验信息的线性模型参数估计的一些结果

考虑线性模型: Y~X夕+e;。~N(0,。,I),(l)其中X是已知的,xp矩阵,rankX~p<‘口〔R户和a>O是参数.假定夕的先验信息可描述为 U~H夕+。.(2)这里H是已知的天xp矩阵,H笋0;6~N(0,评),平是已知正定对称矩阵.假定‘和已独立.基于模型(l)的尽的最小二乘估计为b~(X’X)一lX’Y.样本信息(模型(1))和夕的先验信息可组合为、、.,/、、11了(二卜(霭)“+(:)‘(:)一N(0,(百‘(3)众所周知,在模型(3)和二次损失下,当护已知时,万~(a一之丫X+仔W一’H)一l(二一’X’y+H’w一,U)是夕的一致最小风险无偏估计.由于砂一般是未知的,Theilt刃提出如下估计类:…     

多孔介质中两相不可压流驱动问题的新数值方法及理论分析

多孔介质中渗流驱动问题的一般数学模型是关于压力和浓度的耦合非线性偏微分方程组.本文考虑不可压二相流驱动问题,采用一种新的数值方法求解浓度方程,建立了可显式计算的数值格式,即在每个离散时间层上直接给出近似解的显式表达式,克服了用有限元或差分法进行数值计算时必须解大型代数方程组的困难.由于求解是显式的,容易实现并行计算,计算格式是无条件稳定的.文中给出近似解的最优阶误差估计和格式的稳定性分析.1 数值格式考虑二相不可压混溶流(对不混溶情况可完全类似地讨论)驱动问题的初边值问题其中Ω=(a_1,b_1)×(a_2,b_2)是R~2中的有界矩形区域.J=(0,T],p是压力,u=(u_1,u_2)是Darcy速度,c是一相流体的浓度,φ是岩石的孔隙度,是扩散矩阵,n是(?)Ω单位外法向量,其余参数的物理意义见文献[1～6].相容性和唯一性条件分别是     

半线性退化双曲拟双曲耦合方程组

其中A_m与B_m是非负定常数矩阵,u与f(u)是J维向量函数。(1)式包含着物理、生物、力学等问题中出现的许多方程组。如半线性双曲方程(Klein-Gordon,Sine-Gordon,非线性强迫弦振动等),半线性拟双曲方程(神经传播方程等)以及部分双曲型与部分拟双曲型耦合方程组。本文用Galerkin方法讨论(1)的周期边界问题     

Douglis代数意义下超复函数空间上∏算子及其性质

对于一阶椭圓型方程组在引进两个元素i,e——服从乘法规则i~2=1,ic=ei,e~(r 1)=0,e~0=1的可交换的A.Douglis代数后,可以写成简单形式Dw Aw B(?)=C。这里D是微分算子,D=(?) q(z)(?)z,q(z)是幂零函数。Dw=0的解称为超解析函数。算子D的生成解t(z)满足方程Dw=0,且可表示成形式t(z)=z T(z),T(z)∈B~1(C)的幂零函数。本文讨论Douglis代数意义下的超复函数空间上的∏算子及其性质。首先引进微分算子:其中     

用窄带滤波获得极移序列的Chandler项和周年项瞬时序列

Chandler项和周年项是极移的两个主要分量,由于它们频率接近,现有数字滤波器难以直接分离它们.目前用六年滑动平均,最小二乘拟合法求得的解,只能得到它们在六年区间内的平均效应,这就限制了对它们精细变化结     

一个不等式及其应用

设f(n)是可乘数论函数,满足定理1 设g=f*μ,其中“*”表示Dirichlet卷积,则这里因子exp是次要的,     

半空间上半线性椭圆型方程组正解的对称性

1979年,Gidas等人用平移平面法结合极大值原理讨论了椭圆型方程正解的对称性和单调性.此后十几年中,这方面的研究工作开展得十分活跃,如Gidas等人证明了“如果u∈C~2(?)是方程面△u u~p=0,u(?)Ω=0在半空间Ω=│x=(x_1,x_2,…,x_N)│X_N>0│中的非负解,12是空间维数,则u只依赖于X_N”正如文献[2]中指出的那样,这个结果好就好在对解在无穷远处未加限制.1993年,Berestycki等人应用文献[4]中提出的滑动方法证明了“如果u∈C~2(?)是方程△u f(u)=0,u(?)Ω=0在半空间Ω=│x=(x_1,x_2,…,x_N)│x_N>0│中的正解,且supu=M< ∞,f是[0,M]上的Lipschitz连续函数,f(M)≤0,则u只依赖于X_N”上述这些结果,以及由此产生的各种方法,如平移平面法、滑动方法、窄区域上的极值原理等等,对我们研究非线性椭圆型方程的解的对称性、单调性及解的先验估计等提供了某些行之有效的办法.关于半线性椭圆型方程组的解的对称性和单调性研究,至今为止还未广泛开展.众所周     

关于Pell方程x~2-2y~2=1和y~2-Dz~2=4的公解

最近几年来,求两个Diophantus方程的公解问题引人注目。例如,1969年A.Baker和H.Da-venport(Quart.J.Math.Oxford,20(1969),2:129—137)用“Baker有效方法”证明了方程,y~2—3x~2=—2,Z~2—8x~2=—7仅有两组正整数的公解x=y=     

关于加权全最小一乘的探讨

近来我们研究了加权全最小一乘问题,即:寻找适当的α∈R~1和μ∈R~k,使S={ν_1,ν_2,…ν_n,(?)R~k中各点到超平面μ~Tν α=0的垂直距离之加权和达到最小,其中“μ~T”表示μ的转置,q_i>0,i=1,2,…,n,是预先给定的权.由于问题的非线性、非光滑性,其最优解的解析表达很难找到,甚至可能不存在.     

核反应动力学中的一个半线性抛物型方程组

本文讨论核反应动力学数学模型的半线性抛物型方程组的初边值问题正平衡解的存在性与门槛结果,其中u_1是中于通量,u_2是反应堆温度.a,b,α>0,Ω(?)R~N有界,(?)Ω∈C~β,u_(10)(x),u_(20)(x)∈C~β(Ω),0 <β<1,n是(?)Ω上的单位外法向.(1)式的边界条件表示系统与外界有热交换.当α=0,即系统绝热时,许多作者都讨论过(1)式的解的整体存在性、渐近性和爆破问题,见文献[1,2]及其参考文献.由抛物型方程组的经典结论容易知道(1)存在局部解且非负.同时容易证明,当B≤0时(1)式的解整体存在且一致趋于零(t→ ∞).下面我们只讨论B>0,作变换可认为B=1.先讨论(1)式的正平衡解的存在性.     

一类燃烧方程组广义解的存在性

考虑下面燃烧方程组的Cauchy问题:a,灭.一戈u.节qz j.,,Ut具r(“)一。,aX己石,z+冷中(“)公~0,口不(x,r)〔R xR*, (l) (“(x,o),:(x,0))~(,。(二), 20(二)),x〔R,(2)其中及,宁是正常数,f(“)是光滑函数,币(u)定义如下:律广义解的证明,在f非凸以及初值在有界可测函数类中得到(1)、(2)式广义解的存在性.本文主要结果是 定理设声〔Cl且没有区间使得f是线性的,初值是有界可测函数,则Cauoh}问题(l)、(2)式的广义解存在.价(u)一l,u>00,u蕊0. 上述模型由Maida[1]提出,滕振寰、应隆安〔2.3,对这类问题进行了系统研究,他们利用广义特征及差分格式…     

太空的旅行者——空天飞机

科学技术的发展给人类带来了极大的方便。人类如想“上天”,可乘普通飞机;如想去“天外”——太空,则可乘航天飞机。与此同时,自“哥伦比亚号”和“挑战者号”航天飞机爆炸解体事故后,世界各国都在集中力量发展下一代航天运载工具——空天飞机。     

实二次域的方程与半单和最小连分数

本文将利用半单(广义)连分数理论研究丢番图方程x~2-dy~2=c (1)给出简洁的可解判则及解集合.由这些结果可推出一系列实二次域类群的结构及改进著名的Cohen-Lenstra预测.最后讨论最小连分数.我们总设d为无平方因子正整数,c为整数.方程(1)的整数解问题与实二次域K=Q(d~(1/2)) 和d次分圆域的最大实子域的类数有很密切的关系,自Gauss始有不少人研究.但以往的结果多是对给定的c值,给出计算步骤判断是否有解及解出;对使方程有解的c值集合少有刻画.Ankeny,Chowla,Hasse,S.D.Lang,Takeuchi,Yokoi和Mollin等从1965年直到最近,对一些ERD型的d,给出可解的小范围的c值集(如当|C|≤2d~(1/2)等,并利用结果得出实二次域K和分圆域类数结果(见文献[1]中文献).文献[1]     

构造板壳问题基本解的一般方法

构造含三个未知函数的线性偏微分方程组的基本解矩阵可化为构造三个如下形式方程组的解 0 0占(二)(l)其中内,(i汀一l,2,3)为线性偏微分算子,、(约为Dira。函数,“,为基本解矩阵中的一列元素.构造形如(l)的方程组的解有如下定理[l1 定理在方程(l)中,假定存在算子a;,,a;2,a;;,a;,,使a:la;:~a;Za;;,a 11a;3~a;3a;;.设A,,~a,Za;l一aZ,a;:,A3:~az:a13一a:,。;:,才:;一a引;,2一。,:ai‘,假定存在算子脚第3色卷A;:,B言,,使B3,A;2~A32B;3,A,,=B33E,A;2~EB;2,AZ,一凡3E,并且E是上述算子的最大线性公因子.设a;,B匆2~B艺a};’,a;;B;,~丑;;a;;…