Fuzzy拓扑代数及局部乘法凸Fuzzy拓扑代数

定义 设X是数域K上的代数,(X,T)是如Lowen定义的Fuzzy拓扑空间,若对任何a,b∈X映射f:(x,y)→x y,g:(k,x)→kx,h_a:y→ay,h~b:xb(x,y∈X,k∈K)均是Fuzzy连续的(其中     

全局渐近稳定性的Jacobi猜想的证明

设f∈C~1(R~2,R~2),f(o)=0.考虑平面微分方程x=f(x) (1)很久以来人们猜测:如果(?)x∈R~2,f的Jacobi矩阵Df(x)的特征值都具有负实部,则微分方程(1)的零解全局渐近稳定.在文献中,此猜想被称为Jacobi猜想或平面Markus-Yamabe猜想.1963年,Olech证明此猜想等价于f的全局单射性.1988年,Meisters和Olech证明,当f是多项式映射时,Jacobi猜想成立.1991年Gassull,Llibre和Sotomayor证明,当f是Khovansky函数(一类解析函数)时,Jacobi猜想成立.本文对一般情况证明了Jacobi猜想成立.1 预备知识设S~k(R~2,R~2)={f∈C~k(R~2,R~2)|(?)_x∈R~2,Df(x)是稳定矩阵},k=1,2,…, ∞ .设f∈S~∞(R~2,R~2),则(?)_x∈R~2,Lyapunov矩阵方程Df(x)G(x)十G(x)(Df(x))~T=-I_2 (2)有唯一正定解G(x),其中I_2为2×2单位阵.显然G∈C~∞(R~2,R~(2×2)).定义微分方程(?)y=G(y)ν,ν∈R~2, (3)y(0)=x,     

连续自映射——Ω爆炸

1.设(X,d)为紧致度量空间。用C~0(X,X)表全体X上连续自映射的集合并赋以C~0拓扑(一致收敛拓扑)。设f∈C~0(X,X)和任给ε>0。设x,y∈X。从x到y的一个ε链是指有限序列{x_0,…,x_n},使得x_0=x,x_n=y且d(f(x_(i-1)),x_i)<ε,i=1,2,…,n。用CR_ε(x)表X的这样的子集,使得y∈CR_ε(x)当且仅当存在从x到y的ε链。当y∈CR_ε(x)     

EH~p空间（1＜p＜＋∞）的本质刻划

我们知道,H~p(R~n×R_ )的定义如下(见文献[1]):H~P(R~n×R_ )={f(x,y);f(x,y)是R~n×R_ 中调和函数,(?)这里R~n×R_ ={(x,y);x∈R~n,y>0},1相似文献   

二重Fourier级数的M-型(H,q)求和

用L(Q)表示在Q={(x,y)|-π≤x,y<π}上可和,且对每个变元都以2π为周期的函数类。L(Q)中函数f(x,y)的二重Fourier部分和记为S_(f,k)(f;x,y)(j,k=0,1,2,…)。对于序列{S_(k,k_(f;x,y)}(?)=0的线性求和问题是 Marcinkiewicz 1939     

正定积分算子的本征值

设Ω=(0,1)×(0,1),K∈L~2(Ω),T是由下式定义的积分算子 Tf(x)=integral from 0 to 1 (x,y)f(y)dy。我们称算子T及其核K(x,y)是正定的,指并且对所有f∈L~2(0,1)有算子丁的本征值λ_n是大家感兴趣的。H.weyl(参     

调和Hardy空间和混合模空间之间的连续嵌入

设D={x∈R~n;λ(x)<0}是一具有光滑边界的有界区域,λ∈C~∞(R~n)是D的一个定义函数,(?)λ在(?)D={x∈R~n;λ(x)=0}的某个邻域内处处不为零.对r>0,我们以dσ_r和dσ分别记(?)D_r={x∈R~n; λ(x)=-r}和(?)D上的n-1维Hausdorff测度,而以dm记R~n中的Lebesgue测度D上复值调和函数的全体记h(D)对f∈h(D)及非负整数m,置grad_mf为f的m阶梯度,其模为此处α=(α_1,α_2,…α_n)为n重指标,|α|=α_1+α_2+…+α_n,grad(?)=f.对0相似文献   

关于Hermann的一个问题

设,f(x)=um from k=0 to ∞ (a_k(f)coskx b_k(f)sinkx∈L~2[0,2π]),记d_k(f)=(a_k~2(f) b_k~2(f))~(1/2),k=0,1,2,…。以表示[0,2π]上仅在n等分结点处间断的阶梯函数集。在1976年Budapest国际Fourier分析与逼近论会议上,Hermann提出了下面的问题:对于     

线性时变离散大系统的稳定性

引理1 若矩阵B≥0且x(k 1)与y(k 1)分别是x(k 1)≤Bx(k),y(k 1)=By(k)的解,又x(0)=y(0),则对于任意的k=0,1,…都有     

低于临界指标的Bochner-Riesz平均的逼近性质

记Q~n={(x_1,…,x_n):-π≤x_j<π,j=1,…,n}。Z~#表示R~n中的整格点集。对于f∈L(Q~n)的n重Fourier级数及其共轭级数的α阶Bochner-Riesz平均定义为其中a_m(f)为f的Fourier系数,K(x)=P(x)|x|~(-n-k)(k≥1),P为k次齐次调和多项     

一类具有n+1个参数的变测度算法

在优化技术中,变测度算法是近年来常用的一种方法.设x∈E~n,f(x)是要求最小点的目标函数,g(x)=▽f(x)是f(x)在点x上的梯度向量,r_0为一初始点,而H_0是一给定的方阵,则变测度算法的第k步迭代可以描述如下:假定x_k是f(x)的最小点x~*的k次近似,H_k为一方阵,x_k与H_k都由前一次迭代确定(当k=0时它们是给定的).今取—H_(kgk)~T为搜索方向,这里gk=g(x_k).用x_k 1表示f(x)     

Poisson积分作为算子半群

考虑与半空间R_ ~(n 1)={(x,t);x∈R~n,t>0)关联的Puisson积分:P_1*f=∫_(R~n)P_t(x-ξ)f(ξ)dξ(t>0),这里Poisson核(?),c_n=1/ω_n,ω_n是R~(n 1)中单位球面面积,|x|~2=X_1~2     

一个叠代过程的收敛性

设s_v为正整数(0≤v≤l),∑s_v=k+1.以f(a_0~(s_0),a_1~(s_1)…,a_1~(s_1)表示函数f(x)在     

一个广义样条函数类上的极值问题

设q_r(x)=multiply from j=1 to l(x~2-t_j~2),r=2l(l≥1),t_1,…,t_l≥0。D=d/dx是微分算符。给定函数类Ω_(∞[0,1])~(2l):f(x)∈Ω_(∞[0,1])~(2l),当且仅当f~(21-1)(x)在[0,1]上绝对连续,f~(2k)(0)=f~(2k)(1)=0,k=0,…,l-1,且‖q_r(D)f‖L_∞≤1。任一f(x)∈Ω_(∞[0,1])~(2l)可表成     

振荡积分的快速算法

振荡积分是指T(f)(x)=∫_R~n e~(iπ)p~(x,y)k(x-y)f(y)dy,其中k(x)是标准的Calderon-Zygmund核,即k(x)=Ω(x)/|x|~n,Ω(x)是0次齐次函数,它在R~n的单位球面上是足够光滑的,p(x,y)是任意的实值多项式.近来年,振荡积分(1)吸引了愈来愈多的分析学家的注意.关于它的L~p有界性以及其他性质的研究,可参看文献[1—4].它的快速算法还未被涉足过.本文的目的是利用Meyer称之为时频小波的局部余弦基(见文的[5]),给出振荡积分(1)的快速算法.实际上,我们要证的是:     

Kergin插值算子的扩张

在1978年,Kergin(又见文献[2])引入了一种对多变量光滑函数插值的新方法。这一方法是Lagrange插值的一种自然推广。现在这种插值称做Kergin插值。 我们先来引进一些记号。令R~k是k维实向量空间。对于x∈R~k,我们用x_i表示x的第i个分量。对于两个向量x及y,其内积记为x·y:=Σx_iy_i。令e~i为第i个分量为1其余分量为0的向量。对任意y∈R~k\{o},函数f的方向导数D_yf定义为     

关于多重共轭Fourier积分的Riesz球平均

设E_k为k维欧氏空间(k≥2),Q_k={x∈E_k,-π≤x_i≤π≤,i=1,2,…,k}。B(x_0,r)={x∈E_k,|x-x_0|≤r},Ω={x∈E_k,|x|=1},P(x)为n次     

一个数值微分公式的余项

微分插值公式f(x)=H_n(x)+R_n(x) (1)导出数值微分公式f(k)(x)=H_n~(k)(x)+R_n~(k)(x) (o≤k≤n),(2)这里H_n(x)为函数f(x)的n次插值多项式。设其节点为a_0,a_1,…a_n,则(1)式的余项可     

正定核及其本征值

一、引言 设Q=(0,1)×(0,1),K∈L~2(Q)是对称的,即熟知,由下式定义的积分算子T Tf(x)=integral from 0 to 1(K(x,y)f(y)dy是L~2(0,1)上紧对称算子,它有无穷多个实的本征值{λ_n},当n→∞时,λ_n→0。如果{φ_n}是T的直交规格化本征函数列,那末在平均收敛意义下,可把K(x,y)作如下展开:     

半线性热方程的blow-up问题的一点注记

R. O. Ayeni(SIAM. J. Math. Anal, 14(1983),1),考虑如下问题:u_t=△u=f(x,t,u),t>0、掌∈经R~n (1)u(x,0)=u_0(x),u_0(x)≥0,x∈R~n (2)u(x,t)=0,当|x|→∞时,(3)在有限时间内blow-up。他对函数f的假定为