部分边界固定的自由边值问题

若联合应用海洋上的卫星测高数据与陆地上的重力数据求解地球重力学主题,便出现一类新型大地边值问题——测高-重力问题.这是一类属于非线性的部分边界固定的自由边值问题,迄今尚未有人研究过.目前仅限于研究其线性化——Laplace方程混合边值问题.本文首次研究这类非线性问题,给出它的提法和具体解法,以适应精度突破线性化有效界限O(10~(-8))的观测对求解地球重力学主题的挑战.     

Poisson方程Robin外问题的积分解

关于近年来才开始的非线性大地边值问题的研究,虽然在解的适定性方面已有若干成果,但都无法用于实际。为了建立起便于实用的解理论,我们提出了一种新的解法。在这种方法中,Poisson方程的Robin外问题起关键作用,非线性边值问题被转化为线性边值问题序列的递推求解。本文研究与最具典型意义的非线性Molodensky问题相应的Poisson方程Robin外问题的积分解,即求扰动位T的积分表示,使满足     

线性偏微分方程边值问题局部可解的必要条件

在偏微分方程理论中如何正确地提出一个边值问题是十分令人关切的,对于Canchy问题适定提法的必要条件已有较完整的研究(见文献[1—5]),本文则是在局部可解的意义下讨论边值问题可解的必要条件。     

量词模态系统的代数语义与Kripke语义——关于S5~*情形

已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中我们对带量词的S5即S5~*而言讨论了两种语义的相互可转化性。S5~*在作者文献[3]和文献[4]中用S_5~*     

关于半线性抛物方程熄灭现象的两点注记

考察如下的初边值问题: 其中是区域的边界满足 由于它具有很强的物理和几何背景,近年来有关它的研究引起了人们极为广泛的兴趣,其主要结果可在文献[1]中找到,在此仅给出文献[2]中的如下结果。     

超Ornstein-Uhlenbeck过程的支集

1 概念及介绍超O-U过程是超过程的一种,但其底过程的无穷小算子的漂移项系数是无界的,所以它不属于一般文献中所指的超扩散.对超O-U过程只得到一些结果.下面的定理1,2得到有关它的支集的结论,定理3给出有关奇异边值问题解的渐近估计.     

一类非线性波动方程组差分格式的理论分析

的初边值问题和周期初值问题的差分计算中的理论问题。其中向量φ=(ψ_1,ψ_2,…,ψ_L)~T为复值函数向量,未知函数X(x,t)为实值函数;μ,δ,ν均为实常数;在文献[1,2]中研究了该类三维非线性波动方程组的三维孤立子问题。在文献[3]中证明了这类非线性波动方程组光滑解的存在唯一性。本文对一维非线性波动方程组的初边值问题给出隐式差分格式,证明了该格式依C~1模的收敛性和稳定性,并由差分解的高阶差商的一致性估计得到了微分方程组广义解的存在性。对多维非线性波动方程组的周期     

求解并矢Green函数的构造法

用并矢Green函数求解电磁场边值问题已有50年左右的历史,但是,直到1971年,才由Tai用Ohm-Rayleigh方法系统地研究了各种规则边界条件下的并矢Green函数.以后由于考虑到无旋场问题,Tai又提出了Gm法.但对于一些如介质加载系统、分层介质系统、复合系统等比较复杂的系统,由于M,N难以确定,求并矢Green函数的工作十分困难和复杂.宋文淼提出的用标量Green函数求解并矢Green函数的方法可以有效地解决这一问题,但文献[3]     

两相三维渗流问题的一类有限元方法

本文研究在油田开发中具有重要理论价值和经济价值的油水两相渗流问题。关于这类问题有限元方法的研究,已有一些工作(例如文献[1])。但其理论分析都是在忽略了未知函数梯度的情况下进行的,并且仅得到较弱意义下的H~1误差估计。本文提出了一类有限元格式,并进行了理论分析,不仅考虑了未知函数的梯度,而且得到了较强意义下H~1误差估计,以及L_2和L_∞误差估计,同时还得到关于时间导数的误差估计。所有这些估计都是最佳的。     

可积方程新的对称、李代数及谱可变演化方程(Ⅴ)

Heisenberg旋转链方程 S_t=S×S_(xx),S=(S_1,S_2,S_3)∈R~3,|S|~2=1 (1.4)是它的特殊情形。所以我们称之为广义Heisenberg旋转链方程。 在文献[2—5]中,已经证明了KdV方程族、AKNS方程族、Kaup-Newell方程族以及Levi方程族都有两串对称,且证明了这两串对称构成无穷维李代数。本文将对广义Heisenberg方程给出同样的结果。有关的定义、条件同文献[2—5]。     

方程—△u=p(x,u)的非平凡解

在本文中,我们将研究下述半线性椭圆边值问题非平凡解的存在性。(1)其中Ω表示R~n中具有光滑边界的有界域,为Laplace算子。如所周知,近年来已有许多作者对问题(1)进行了研究(参见文献[1,2])。不过,在现有文     

线性复杂度曲线可控序列

设S=(S_0,S_1,S_2,…)为有限域GF(q)上的无穷序列,S~n=(S_0,S_1,…,3_(n-1)),序列S~n的线性复杂度L_n(S)=min{l:S_j=-sum from i=1 to l(C_iS_(j-i),j=l,l+1,…,n-1,C_1,C_2,…,C_1∈CF(q)},序列的线性复杂度曲线为L=(L_0(S),L_1(S),L_1(S),L_2(S),…)。由序列的随机性与复杂度关系可知,适合作为序列密码密钥的伪随机序列,其线性复杂度曲线应接近于     

包含S_2流面变量的旋转叶轮三维流动变分原理及界限定理

把文献[1]的流场定义域改为(符号按文献[1])在两个周期的S_2流面之间并内含一个叶栅,并把S_2取为变量.在文献[1]基础上得到     

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

考虑下列Duffing方程周期边值问题x″(t)+Cx′(t)+g(t,x)=e(t),(1)x(0)-x(2π)=x′(0)-x′(2π)=0.(2)其中g:R×R→R是关于x连续可微,关于t连续且以2π为周期的连续函数,C为常数.e:R→R是连续的且以2π为周期.若存在两个几乎处处连续的实函数a(t),b(t)使得n~2≤a(t)≤g′_x(t,x)≤b(t)≤(n+1)~2,(3)且在[0,2π]的一个正则集上a(t)>n~2,b(t)<(n+1)~2,方程(1)存在唯一的2π-周期解.这种存在唯一性证明一般分作两类:一类是纯粹理论性证明,一类是构造性证明.前一类理论深刻,一般涉及较多的非线性分析的工具,参见文献[1～6].后一种的最大优点是可形成算法,求得数值解,但技巧性较强,一般较为少见.本文受文献[7]的启发,从易于数值计算的角度出发,从初值问题和矩阵特征值入手,采用连续法构造性地证明了(1),(2)式在条件(3)下解的存在唯一性.此方法不仅简单,而且提供了一种可数值求解周期解的方法.     

部分线性模型中M型回归样条估计的一些新结果

考虑下列部分线性模型Y_1-X′_1β_0+g_0(T_1)+e_i,1≤i≤n,其中(T_1,X_1,Y_1),…,(T_n,X′_n,Y_n)是随机向量(T,X′,Y)的 i.i.d.样本,X∈R~d,T∈[0,1],β_0为未知参数向量,g_0是一光滑未知函数.这个模型在文献[1]中首次被提出,文献中研究过β_0和 g_0(t)的估计,例如,基于惩罚函数法的平滑样条估计;基于核方法的估计;用分段多项式来逼近 g_0,基于最小二乘法的估计.由于上述估计不稳健,文献[8]用分段多     

二相渗流数值模拟的一类有限元格式及其理论分析

本文研究油、水两相渗流驱动问题,同时考虑了重力、毛管力的影响。我们提出一类新的有限元格式,并重点讨论了收敛性理论和误差估计。问题的数学模型是下述非线性偏微分方程组的初边值问题     

模形式空间关于Hecke算子的对角化

Atkin和Lehner研究了权为2k的群Γ_0(Ν)的歧点形式空间S_(2k)(N)的新形式(newforms)理论,证明了S_(2k)(N)=S_(2k)~(new)(N)(?)S_(2k)~(old)(N),其中的S_(2k)~(new)(N)有一组由所有Hecke算子的特征向量构成的基,而S_(2k)~(old)(N)则只有一组关于Hecke算子T(P)((P,N)=1)的公共特征向量构成的基.Manickam,Ramakrishnan和Vasudevan研究权为k 1/2的新形式理论,讨论了空间S_(2k)(q)关于所有的Hecke算子的对角化,其中q≡3(4)是一个素数.在本文中,我们将要研究空间M_(2k)(q)及M_(k 1/2)(q)关于所有Hecke算子的对角化.此处q≡3(4)是一个素数,k≥2是一个正整数.     

多值逻辑函数的相关度的谱表示

在密码学中,研究函数的最佳仿射逼近问题是一个十分重要的课题.文献中用Walsh谱讨论了Boolean函数的最佳仿射逼近问题,其中最关键的问题是如何用Walsh谱来表示Boolean函数的相关度.但对多值逻辑函数而言,目前还未给出其相关度的谱表示形式.本文利用Chrestenson谱给出了多值逻辑函数的相关度的谱表示,从而为     

带约束的线性模型中的可容许线性估计

在Gauss-Markov模型(Y_(n×1),X_(n×p)β_(p×1),σ~2V,V≥0)下,若S_(s×p)β可估,Rao及其他一些作者给出了Sβ的线性估计,在二次型损失函数下是可容许的充要条件。当参数受约束:β′Nβ≤σ~2,N>0时,Hoffmann,Mathew分别就V>0与V≥0的情形,讨论了β的线性估计的可容许性问题。本文将进而给出Sβ的线性估计AY在线性估计类中是可容     

关于 L(S)的一点结果

设A_(m×n)是行和为R=(r_1,r_2,…,r_m)、列和为Q=(q_1,q_2 …,q_n)的(0,1)矩阵。设δ_i=(1,…,1,0,…,0),其中前r_i个位置为1,其余为0,A_(m×n)=称为A_(m×n)的极左矩阵,记其列和向量为S.设L(S)={S|SS,S的分量递降且为非负整数}。若S、TεL(S),S≠T,ST,且不存在V L(S),V≠S,V≠T,满足SVT,则称S是T的直接后继。设S=(S_1,S_2,…,S_n),T=(t_1,t_2,…,t_n),我们有定理1 若S是T的直接后继,则存在i、j’满足S_i+1=t_i,S_j-l=t_j,S_k=t_k(1≤k≤n,