与一类超过程相关的Dirichlet问题

设ξ=(∈_ι,Π_x)是R~d中的右过程,令 (?)(x,z)=a(x)z b(x)z~2 integral from n =1 to ∞(e~(-uz)-1 uz)n_x (du), x∈R~d,z∈R~ ,(1)考虑下面Dirichlet问题 Av(x)-(?)(x,u(x))=0,x ∈　 D,(2) (?) u(x)=f(a),a∈(?)D~r,(3)这里D是R~d中有界区域,(?)D~r表示(?)D中正规点全体,且A是ξ关于D的特征算子. 我们用M表示(?)(R~d)上的有限测度全体,用(?)表示M上由fB(μ)=μ(B),B∈(?)产生的σ-代数.本文中τ都表示开集D的首出时.根据Dynkin存在取值于(M,(?))的具有参数(ξ,(?))的超过程 X={X_t,X_τ,P_μ,μ∈ M}.Dynkin在文献[1]中证明了如果ξ是光滑一致椭圆算子,关于x局部Lipshitz连续,公式 v(x)=- log Pδexp(-(f, X_τ))(4)是方程(2)Dirichlet问题的唯一解.本文将上面结果推广到一些一般型条件(底过程不一定连续).     

半鞅局部时的几个公式

令(Ω,F,P,(F_1))为一通常空间.设x为一半鞅,我们用L(x)表示x在0处的局部时,即L(x)为一零初值连续适应增过程,使得     

能量泛函与Killing变换

设X=（X_t,P~x)是一个右Markov过程,具有状态空间,(E,δ)、转移半群（P_t）和豫解（U~q）. 参考文献[1],用Exc~q(X),Dis~q（X）,Con~q(x)分别表示X的q-过分测度、耗散测度、保守测度的锥.S~q(X)表示X的q-过分函数的锥。习惯地当q=0时q可省略不写。令MF表示X可乘泛函全体。对于给定的M∈MF,记E_M:={x∈E:P~x（M_O=1）=1}及SM:= inf{t>0:M_t=0},它们分别为M的永久点集及生命时,我们将得到另一个右过程X＇=（X_t,Q~x),它具有状态空间E_M,其转移半群由下式确定:Q_tf(x):=P~x[f(X_t)M_t] 。记其对应的豫解为（V~q）。称X＇是X的子过程或由M产生的Killing变换。     

测度值分枝过程的伴随卷积半群

设E是Lusin拓扑空间,(?)(E)是由E的所有开子集产生的σ-代数,即E的Borel σ-代数.以B(E)记E上所有有界(E)-可测函数的全体,B(E)~+表示B(E)中非负元素构成的子集.设M(E)是(E,(?)(E))上全体有限测度构成的空间并装备了弱收敛拓扑,则M(E)也成为Lusin拓扑空间.令M(E)°=M(E)\{o},其中o表示E上的零测度.集中于点x∈E的单位测度记为δ_x.对于f∈B(E)和μ∈M(E)记μ(f)=∫fdμ.假定X=(W,(?),(?),X_t,Q_u)是M(E)     

关于拓扑熵的几个性质

设x是一个紧致度量空间。X到自身全体连续映射的集合用C~o(X,x)表示,并赋以一致收敛拓扑。 对每一个f∈C~o(X,X),f的拓扑熵ent(f)是一个非负实数或 ∞。因此我们可以考虑函数     

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

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连续的(其中     

关于具有限时滞Liénard方程周期解的存在性

关于具有限时滞的Liénard方程x(t) f(x(t))x(t) g(x(t-r))=0 (0.1)的周期解的存在性的研究已有很多,但多数对g(x)都假设x∈R\{0}时X·g(x)>0.该条件对某些实际背景很强的方程是不成立的.如向日葵方程a(t) (a/r)a(t) (b/r)sina(t-r)=0就不满足上述条件.关于方程(0.1)的周期解的研究可参阅文献[2～4]及其参考文献.本文的目的在于以滞量r为参数,在减弱条件x·g(x)>0的基础上,给出保证方程(0.1)存在非平凡周期解的充分条件1 零解的稳定性及Hopf分支对方程(0.l),假设r>0为常数f,g∈C~2且g(0)=0.记f(0)=m,g’(0)=n,且设m>0,n>0.令x=y,则方程(0.1)化成等价系统     

连续自映射——Ω爆炸

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)     

用Fourier部分和子列的线性平均逼近周期函数

设f(x)∈L_(2x),f(x)～a_0/2 sum from n=1 to ∞a_n cos nx b_n·sin nx。以s_n(f,x)表示其第n部分和。设M={m_j}为自然数子列,记σ_n~a(M,f;x)=1/((a)_v)sum from j=0 to n(a-1)_(n-j)s_m_j(f,x),其中(a)_v=(a v 1)/(a 1)(v 1)。对于空间X=L_(2x)或G_(2n)以E_v(f)_x表示在X中用阶不     

实轴上C~1微分同胚的C~1共轭分类

本文将对一类R上的局部的和整体的C~1微分同胚给出其在C~1共轭下的完全分类. 对r=1,2,…,∞,ω,记D~r(0)={f:R→R是C~r的,f以0为唯一的不动点,又f′(x)>0,x∈R}.文献[1,2】系统地讨论了f∈D~r(0)的光滑嵌入流的存在性以及其它相关的问题,证明了以下分类问题仅有数值不变量:     

实轴上光滑函数类的多重取样的最优恢复

1 引言设自然数r≥2,1≤P,q≤∞。置L_(pq)(R)={f:f在全实轴R上可测且‖f‖_(pq)<∞}。用W′_(pq)(R)表示所有满足如下条件的函数f的集合: (i)f在R上局部r—1次绝对连续; (ii)f∈L_q(R),‖f~(r)‖_(pq)≤1。这里范数‖·‖_(pq)按文献[1]定义为     

可分解算子的Banach可约性(Ⅱ)

设X是复Banach空间,X上一切有界线性算子所成的Banach代数以B(X)表之。对T∈B(X),x∈X,以σ(x)表示T在点x的局部谱。本文是“可分解算子的Banach可约性”(科学通报,28(1983),4:253—254)一文的继续。 定义1 T∈B(X)称为完全Banach可约的,如果对T的每个不变子空间M,都存在T的不变子     

带无关小项电路化简的布尔方法

定义1 给定B~n={0,1}~n上n元布尔函数f(X),令T_f={X∈B~n|f(X)=1},F_f={X∈B~n|f(X)=0}。当T_f∪F_f(?)B~n时,称f(X)为部分定义布尔函数。一个带无关小项的组合电路对应一个部分定义布尔函数。     

模q的Borsuk-Ulam定理的K理论证明

设S~a代表(a+1)维欧氏空间R~(a+1)中的a维球面。经典的Borsuk-Ulam定理断言:若存在连续映射f:S~m→S~n,对任意的x∈S~m,都满足f(—x)=f(x),则一定有:m≤n。 Walker推广了这个定理,对于f:x→S~n为Z_2等变映射,给出了一个必要条件。这里X上有一个Z_2作用,S~n上带一个自然的Z_2作用。     

Whittaker-Kotelnikov-Shannov型样本定理及混淆误差界的精确估计

设E为有限区间或直线R.令L_p(E),1≤P≤∞表示定义在E上经典的勒贝格空间,赋以通常的范数.设r∈N,令L_p~r(R)表示L_p(R)中f~(r-1)在R上局部绝对连续且||f~(r)||_(p((?)))有限的函数的全体:记     

样条空间S_2~1(■_n)存在的条件

设x是普通集合,g∈(?)(1×X),(I=[0,1]),f是X的幂集P(X)到X的模糊幂集(?)(X)的映射。我们用以下的形式给出了(?)(X)上的变换g(?)f,并称之为广义的扩展原则。对于(?)A∈F(X)     

关于丢番图方程x~3±1=Dy~2

定义1设f(x)是定义在闭区间〔a,月上的有限实函数,‘厂z(x)一艺(一1)·C氛r〔二 (。一,)‘],△表示〔二,月的任一分法:△:a~x。<二:<……<二,一b(。)2),恒成立,则称f(x)为【。,月上定义的二级凸函数. 定理i若函数f(x)〔V, ,[a。b」(、=3,呼,,,6,7,s,10),则f(x)在[a,b]上连续. 定理z函数f(x)〔V, ,[a,b](。二3,4,,,6,7,s,一。)的充分必要条件是f(二)可以表示为一个m级有界变差函数的不定积分:作和: _.}式.__X,(x‘、 屯二名{.一二二二一止~、- ’一’】t一j l\那, △X,一x‘一:f(二‘一,) /x‘一x:.、,对于所有可能的分法盛, j(x):其中g(二…     

环上矩阵保群逆的线性算子

设R为有1的环,F为其中心,用M_n(R)记R上n×n全矩阵F-代数。近年来刻划M_n(R)的保某种特性的线性算子的工作颇多,但R为较为一般的环时结果尚少。本文研究群逆的线性保持算子,它也可以看作更广泛一类广义逆共变问题的研究。A∈M_n(R),若矩阵方程AX=XA,A~2X=A,X~2A=x有解则称其解X为A的群逆,记为A~#.设f为     

函数空间中的无限维宽度(Ⅰ)

一、引言及定义 令r为正整数,1≤p≤+∞,考虑实直线R上的Sobolev函数类 W_o~r(R)={f∈L~p(R):f~(r-1)在任何有限区间上绝对连续,且,f~(r)∈L~p(R)},(1.1) B_p~r(R)={f∈W_p~r(R):‖f~(r)‖_p≤1}, (1.2)