W~lL_p(Φ)空间的迹定理与强非线性变分问题

我们在[1]中建立了 W~2Lp(Φ;E_n~ )的迹定理,但在[1]中是利用调和函数作反嵌入定理的,这个方法不适用于ι为任意的情形。在本文中我们将对任意的ι用平均函数作反嵌入定理,其思想来源于[2].然后把它应用于一般区域的、被积函数是指数型增长的多重积分的极小问题。     

始值问题的存在性中的离散现象

本文讨论方程u_xx-x²u_tt+pu_t=0的cauchy问题和Goursat问题的存在性中的离散现象,文中证明了当p≠1,3,5,…时,问题的解不单是唯一的,也是存在的;当p=1,3,5,…时,问题的唯一性破坏了,存在性也不成立,或者更确切地说,在一定的相容条件下,以及在方程的重特征流形x=0上补充指定适当的数据,新问题的解才是存在和唯一的。     

弹性振动的镇定问题

细长的空间飞行器在推力空气动力作用下会有弹性振动。这些振动,如果不加控制,会引起飞行器的损坏以及其它问题,于是产生了能否通过飞行器上面的仪表所测得几个部位的弯曲所引起的角速度作反馈,并通过在飞行器上加舵力而使弹性振动镇定下来的问题,我们采用了自由端弹性梁的描述,在观测仪表与加力点不必在同一地方的情形下,找出了能使弹性振动镇定的条件。并且从分布参数系统的能控性与能观测性,讨论了这些条件中的主要部分的物理意义。     

一类无条件稳定的显式方法

众所周知,在使用线性方法(如线性多步法,Runge-Kutta方法,合成多步法等)对Stiff常微分方程组初值问题进行数值积分时,为了保证该初值问题数值解是稳定的,则要求数值方法在某种意义下是无条件稳定的.为此,所使用的线性方法首先必须是隐式的.在使用隐式线性方法对Stiff系统初值问题进行数值解时,每向前积分一步,往往     

微分算子环的素理想

大家知道,多复变典型域调和函数论的基本事实是:设R为四类典型域之一,Γ为其特征边界,△是R的Laplace-Beltrami算子,f∈C~∞(R)称为调和的,如果△f=0。设f为调和函数,其在Γ的连续边界值为ψ,那么f在R中的值由以下Poisson积分给     

有界可递域不变微分算子的维数

一设(?)是(?)~n中的有界可递域,其解析自同构群的连通部分以G((?))表之,据H.Cartan的著名定理,它是实李群。不妨设0∈(?)。由多复函数论的熟知结果,G((?))的保持0不动的固定分群G_0((?))有以下表示     

缺初值估计的统计特性

<正> 设x_o和{ξ_k}不相关,期望为Ex_o,协方差阵为R. 用y_o,…,y_k对x_j,0≤j≤k的线性无偏最小方差估计x_j(k)及其估计误差协方差阵P_j(k)有熟知的递推公式.为了强调x_j(k),p_j(k)和Ex_o、R的依赖关系,把它们分别记为x_j(k,Ex_o,R),P_j(k,Ex_o,R). 在实际情况中,Ex_o和只往往是未知量,至少知道得不确切.因此,如果用某—n维矢量a取代Ex_o,用某-n×n非负定Hermite阵R′取代R,那么一般说x_j(k,a,R′)不     

Steenrod代数中Adem公式的一个推广

1.Steenrod代数的Milnor基。命代表Steenrod代数,J.Milnor曾求得的一组加法基如下: a)p=2的情形。对于每一非负整数序列R=(r_1,…,r_i,…),其中只有有限多个r_i,异于零,有中一上同调运算 Sq~R:H~q(X,Z_z)→H~(q+4(k)) (X,Z_z)与之相应,此地d(R)=∑r_i(2~i—1)是Sq~R的等级。运算Sq~R的全体,R通过所有非负整数的只有有限项异于零的序列,便构成的一粗加法基。基底元素的乘法。设N=(n_ij)(i,j=0,1,2,…)为整数矩阵,其中n_∞=0,     

叠次乘積與π_r(S~p∪S~q)

<正> §1.設X為一拓撲空間,其中各點可以用弧聯結.那末π_r(X)的研究,要分兩種步驟,第一步要决定π_r(X)的代數構造,第二步要决定π_r(X)中每一個元素的幾何代表;就是說我們要檢定π_r(X)這個羣的構造,並且對於這個羣的每一個元素α,要造一個連續照像     

极大似然估计的 Bahadur 渐近有效性

<正> 极大似然估计(MLE)的渐近有效性,一直是统计工作者所感兴趣的重要课题.资料中对估计的渐近有效性有多种定义:如最好渐近正态(B,A,N),Cramér 意义渐近有效等.后来 Bahadur 于1960年在文[2]中又提出了另一种渐近有效性概念.它与Cramér 渐近有效性一样,要求严格,研究碰到了一些困难.Bahadur 虽在[2]中给出了单参数为 Bahadur 意义渐近有效(简记为 B-渐近有效)的充分条件,但是不便使用.近年