有限μ_(M,D)-正交指数函数系的一个充分条件

设μ_(M,D)是由仿射迭代函数系{φ_d(x)=M~(-1)-(x+d)}_(d∈D)唯一确定的自仿测度,它的谱与非谱性质与Hilbert空间L~2(μ_(M,D))中正交指数函数系的有限性和无限性有着直接的关系.本文将利用矩阵的初等变换给出μ_(M,D)正交指数函数系有限性的一个充分条件.由于这个条件只与矩阵M的行列式有关,因此,它在μ_(M,D)的非谱性的判断方面便于直接验证.     

非谱自仿测度下正交指数函数系的基数

设μ_(M,D)是由扩张矩阵M∈M_n(Z)和有限数字集D?Z~n通过仿射迭代函数系统{φ_d(x)=M~(-1)(x+d)}_(d∈D)唯一确定的自仿测度,它的非谱性与相应的平方可积函数构成的Hilbert空间L~2(μ_(M,D))中正交指数函数系的有限性或无限性密切相关.通过对数字集D的符号函数m_D(x)的零点集合Z(m_D)的特征分析以及其中非零中间点(即坐标为0或1/2的点)和非中间点的性质应用,得到了非谱自仿测度下正交指数函数系基数的一个更为精确的估计,改进推广了Dutkay,Jorgensen等人的相关结果.     

空间自仿测度下无限正交指数系存在的条件

自仿测度μ_M,D的谱与非谱问题是自仿测度谱理论研究的主要内容之一,而μ_M,D-正交指数系的有限性或无限性问题在研究自仿测度是否为谱测度中起着重要的作用.本文主要探讨空间自仿测度下无限正交指数系存在的条件.通过利用函数m_D(x)零点集Z(m_D)中的非零中间点(即坐标为0或1/2的点)的性质,得到存在无限μ_(M,D)-正交指数系的许多条件,为进一步研究自仿测度μ_(M,D)的谱性质奠定基础.     

数字集的谱性与谱自仿测度

本文主要确定与谱自仿测度μ_(M,D)相关的数字集D的谱性.研究所涉及的谱性问题与Dutkay、Han和Jorgensen的一个猜测密切相关.此猜测表明,在一维情形下,如果μ_(M,D)是谱自仿测度,则相应的数字集D总是一个谱集.对于一个自仿测度μ_(M,D),本文获得使数字集D具有谱性的一些条件,为这个猜测的成立提供了依据.另外,本文所得的结果在某些情形下也推广许多已知的相应结果.     

有限uM,D-正交指数函数系的一个充分条件

设$\mu_{M,D}$是由仿射迭代函数系$\{\phi_{d}(x)=M^{-1}(x+d)\}_{d\in D}$唯一确定的自仿测度, 它的谱与非谱性质与Hilbert空间$L^{2}(\mu_{M,D})$中正交指数函数系的有限性和无限性有着直接的关系. 本文将利用矩阵的初等变换给出$\mu_{M,D}$\,{-}\!\!正交指数函数系有限性的一个充分条件. 由于这个条件只与 矩阵$M$的行列式有关, 因此, 它在$\mu_{M,D}$的非谱性的判断方面便于直接验证.     

一类四元素数字集的正交函数的个数

自仿测度的谱与非谱问题近年引起了很大的关注,关于自仿测度的非谱问题,其中之一就是要估算它在L2空间上的正交指数的个数．通过对μM,D傅里叶变换的零点集性质的分析和讨论,对现有的结论进行了改进,确定了相应四元素数字集的平面自仿测度在L2的空间上正交指数函数的最大个数为3．     

R~n中一类具有N元数字集的自仿测度的谱性

假设R∈M_n(Z)为扩张矩阵和N元数字集D={0,a_1,a_2,…,a_(N-1)}u≡{0,1,…,N-1}u (modN),这里u∈Z~n\{0}.该文主要研究由D和R生成的自仿测度μ_(R,D)的谱性,得到了μ_(R,D)为谱测度的一个充分条件.对于一些特殊情况,得到了μ_(R,D)为谱测度的一个充分必要条件,并给出其谱的具体表达式.     

四分Cantor测度的谱性质

自仿测度μM,D谱性质的研究始于四分Cantor测度μ4(即M=4,D={0,2}的情形).在长期从事谱集研究的基础上,Jorgensen和Pedersen在1998年首次发现μ4是一个具有谱性质的分形测度,其谱Λ(M,S)与和谐对(M~(-1)D,S)密切相关,其中S={0,1}.近年来的研究表明,对于某些奇数l,数乘集合lΛ(M,S)也是测度μ4的谱.这使得测度μ4的一些谱具有较强的稀疏性.本文重点对具有上述性质的奇数l进行讨论.利用数论中同余关系和有限群中元素的阶的性质,得到当l分别为素数、素数幂和素数乘积时,lΛ(M,S)为谱的判别依据,改进推广Dutkay等人的工作.     

空间Sierpinski垫上的五元素正交指数系

设p_1,p_2,p_3∈Z\{0,±1},e_1,e_2,e_3是R~3上标准的单位正交基,由扩张矩阵M=diag[p_1,p_2,p_3]和数字集D={0,e_1,e_2,e_3}确定的自仿测度μM,D是支撑在空间Sierpinski垫T(M,D)上,其对应的Hilbert空间L~2(μM,D)上正交指数系的有限性与无限性问题已经解决.在有限的情形下,空间L~2(μM,D)上正交指数系基数的最佳上界为"4"的猜测还未完全解决.本文构造出了此空间上一列五元素正交指数函数系,说明上述最佳上界为"4"的猜测是错误的.     

Spectral Self-Affine Measures on the Generalized Three Sierpinski Gasket

The self-affine measure μM,Dassociated with an iterated function system{φd(x)=M~(-1)(x + d)}_(d∈D) is uniquely determined. It only depends upon an expanding matrix M and a finite digit set D. In the present paper we give some sufficient conditions for finite and infinite families of orthogonal exponentials. Such research is necessary to further understanding the non-spectral and spectral of μM,D. As an application,we show that the L~2(μM,D) space has infinite families of orthogonal exponentials on the generalized three Sierpinski gasket. We then consider the spectra of a class of self-affine measures which extends several known conclusions in a simple manner.     

玛欣凯维奇函数与泊松核的一个新微分性质

将Stein[On the functions of Littlewood-Paley,Lusin,and Marcinkiewicz,Trans.Amer.Math.Soc.,1958,88:430-466]中的玛欣凯维奇函数的逆向不等式推广到一般情形.主要结果是对于n-维欧几里得空间k-阶球面调和函数空间的任意一基底,得到玛欣凯维奇函数的一般性的逆向不等式,即存在不依赖于函数f正常数C_p,使得||f||_p≤C_pΣ_(j=1)~N=1||μ_j(f)||_p,其中{μ_j(f)}_(j=1)~N是f的由这些球面调和函数生成的玛欣凯维奇函数.此外,对于任意的n-变元的k-阶调和多项式Q(x)以及泊松核P_t(x),有Q(D)P_t(x)=C_n k(tQ(x))/((|x|)~2+t~2~(n+2k+1)/2).     

Multiple Positive Solutions for a Nonlinear Elliptic Equation Involving Hardy–Sobolev–Maz'ya Term

In this paper, we study the existence and nonexistence of multiple positive solutions for the following problem involving Hardy–Sobolev–Maz'ya term:-Δu- λu/|y|2=|u|pt-1u/|y|t+ μf(x), x ∈Ω,where Ω is a bounded domain in RN(N ≥ 2), 0 ∈Ω, x =(y, z) ∈ Rk× RN-kand pt =N +2-2t N-2(0 ≤ t ≤2). For f(x) ∈ C1(Ω)\{0}, we show that there exists a constant μ* 0 such that the problem possessesat least two positive solutions if μ∈(0, μ*) and at least one positive solution if μ = μ*. Furthermore,there are no positive solutions if μ∈(μ*, +∞).     

一类具有非局部项和临界项椭圆方程的正解

本文研究下列具有临界项的Kirchhoff型方程(a+b∫_R~3[|▽u|~2+V/(x)u~2]dx).[-△u+V(x)u]=μf(x,u)+K(x)u~5,x∈R~3,其中a,b,μ0,位势函数V,K满足一些恰当的条件,非线性项f满足超三次或超线性增长性条件.利用山路定理,得到三个存在性结果.     

Endpoint estimates of generalized homogeneous Littlewood–Paley <Emphasis Type="Italic">g</Emphasis>-functions over non-homogeneous metric measure spaces

Let (χ, d, μ) be a metric measure space satisfying both the geometrically doubling and the upper doubling conditions. Under the weak reverse doubling condition, the authors prove that the generalized homogeneous Littlewood-Paley g-function_r (r∈[2,∞)) is bounded from Hardy space H¹(μ) into L¹(μ). Moreover, the authors show that, if f ∈ RBMO(μ), then[_r(f)]^r is either infinite everywhere or finite almost everywhere, and in the latter case,[_r(f)]^r belongs to RBLO(μ) with the norm no more than ‖f‖_RBMO(μ) multiplied by a positive constant which is independent of f. As a corollary, the authors obtain the boundedness of_r from RBMO(μ) into RBLO(μ). The vector valued Calderón-Zygmund theory over (χ, d, μ) is also established with details in this paper.     

右半平面解析的Laplace-Stieltjes变换的广义级与型

给出右半平面解析的Laplace-Stieltjes变换的广义级与广义型的定义,研究了最大模M_u(σ,F)=sup{|∫_0~x e~(-(σ+it)y)dv(y)|:x∈(0,+∞),t∈R},最大项μ(σ,F)=max_(n∈N){A_n~*e~(-λnσ)},最大项指标v(σ,F)=max_k{λ_k|μ(σ,F)=A_k~*e~(-λkσ)}及其系数之间的关系,推广了Dirichlet级数的相关结果.     

离散型p次Dirichlet型第一特征值

设μ=(μ_i)_i≥0为Z_+上的测度且p 1,考虑下述离散型p次Dirichlet型D_p(f)=Σ_(i=0)~∞μ_ib_i(f_i-f_(i+1))(f_i~(p-1)-f_(i+1)~(p-1)),f≥0,其中(b_i)_(i≥0)为Z_+上的正序列.本文旨在给出空间L~p(μ)上p次Dirichlet型D_p(f)所对应的第一特征值λ_(0,p)=inf{D_p(f):‖f‖_p=1,f非负且具有紧支撑}的上下界精细估计.     

素环上强保持2-Jordan乘积的映射

对于给定的正整数k≥1,环R上的元x,y的k-Jordan乘积定义为{x,y}_k={{x,y}_(k-1),y}_1,其中{x,y}_0=x,{x,y}_1=xy+yx.假设R是包含有单位元与一非平凡幂等元的素环.本文证明了R上的满射f满足{f(x),f(y)}2={x,y}_2对所有x,y∈R成立当且仅当存在λ∈l(R的可扩展中心)且λ~3=1,使得下列之一成立:(1)若R的特征不为2,则f(x)=λx对所有x∈R成立;(2)若R的特征为2,则f(x)=λx+μ(x)对所有x∈R成立,其中μ:R→l是一个映射.作为应用,得到了因子von Neumann代数上保持上述性质映射的结构.     

非齐型空间上分数型Marcinkiewicz积分算子的加权估计

令（X，d，μ）为满足所谓上倍双倍条件和几何双倍条件的度量测度空间.设M_β，ρ，q为（X，d，μ）上的分数型Marcinkiewicz积分算子.在本文中，作者证明了若β ∈[0，∞），ρ ∈（0，∞），q ∈（1，∞）且M_β，ρ，q在L²（μ）上有界，则M_β，ρ，q是从加权Lebesgue空间L^p（w）到加权弱Lebesgue空间L^p，∞（w）上有界和从加权Morrey空间L^p，κ，η（ω）到加权弱Morrey空间WL^p，κ，η（ω）上有界.