Forcing closed unbounded subsets of ω2

It is shown that there is no satisfactory first-order characterization of those subsets of ω₂ that have closed unbounded subsets in ω₁,ω₂ and GCH preserving outer models. These “anticharacterization” results generalize to subsets of successors of uncountable regular cardinals. Similar results are proved for trees of height and cardinality κ⁺ and for partitions of [κ⁺]², when κ is an infinite cardinal.     

Hom-derivations in C*-ternary Algebras

In this paper, we introduce and solve the following additive (ρ₁, ρ₂)-functional inequalities ||f(x+y+z)-f(x)-f(y)-f(z)|| ≤ ||ρ₁(f(x+z)-f(x)-f(z))||+||ρ₂(f(y+z)-f(y)-f(z))||, where ρ₁ and ρ₂ are fixed nonzero complex numbers with|ρ₁|+|ρ₂|< 2. Using the fixed point method and the direct method, we prove the Hyers-Ulam stability of the above additive (ρ₁, ρ₂)-functional inequality in complex Banach spaces. Furthermore, we prove the Hyers-Ulam stability of hom-derivations in C^*-ternary algebras.     

On index of total boundedness of (strictly) o-bounded groups

Let G be a metrizable topological group. Denote by itb(G) the smallest cardinality of a cover of G by totally bounded subsets of G. A group G is defined to be σ-bounded if itb(G)₀. The group G is called o-bounded if for every sequence (U_n)_nω of neighborhoods of the identity in G there exists a sequence (F_n)_nω of finite subsets in G such that G=_nωF_n·U_n; G is called strictly o-bounded (respectively OF-determined) if the second player (respectively one of the players) has a winning strategy in the following game OF: two players, I and II, choose at every step n an open neighborhood U_n of the identity in G and a finite subset F_n of G, respectively. The player II wins if G=_nωF_n·U_n.

For a second countable group G the following results are proven. . If G is strictly o-bounded, then itb(G)₁ and G is σ-bounded or meager. If the space G is analytic, then the group is OF-determined and satisfies . G is σ-bounded if it is strictly o-bounded and one of the following conditions holds: (i) G is analytic; (ii) ; (iii) (MA+¬CH) holds; (iv) analytic games are determined; (v) there exists a measurable cardinal. Also we show that under (MA) every non-locally compact Polish Abelian divisible group contains a Baire o-bounded OF-undetermined subgroup.     

随机微分方程高阶分裂步(θ1,θ2,θ3)方法的强收敛性

本文首先提出一类高阶分裂步（θ₁,θ₂,θ₃）方法求解由非交换噪声驱动的非自治随机微分方程.其次在漂移项系数满足多项式增长和单边Lipschitz条件下,证明了当1/2 ≤ θ₂ ≤ 1时该方法是1阶强收敛的.此类方法包含很多经典的方法：如随机θ-Milstein方法,向后分裂步Milstein方法等.最后数值实验验证了所得结论.     

Summation theorems for multidimensional basic hypergeometric series by determinant evaluations

We derive summation formulas for a specific kind of multidimensional basic hypergeometric series associated to root systems of classical type. We proceed by combining the classical (one-dimensional) summation formulas with certain determinant evaluations. Our theorems include A_r extensions of Ramanujan's bilateral ₁ψ₁ sum, C_r extensions of Bailey's very-well-poised ₆ψ₆ summation, and a C_r extension of Jackson's very-well-poised ₈φ₇ summation formula. We also derive multidimensional extensions, associated to the classical root systems of type A_r, B_r, C_r, and D_r, respectively, of Chu's bilateral transformation formula for basic hypergeometric series of Gasper–Karlsson–Minton type. Limiting cases of our various series identities include multidimensional generalizations of many of the most important summation theorems of the classical theory of basic hypergeometric series.     

关于有限秩的幂零群的自同构

设G是有限秩的幂零群,1=ζ_0Gζ_1G …ζ_cG=G是G的上中心列,End(ζ_iG/ζ_(i-1)G)是Abel群ζ_iG/ζ_(i-1)G的自同态环(1≤i≤c),End(ζ_iG/ζ_(i-1)G)可以自然地作成一个Lie环.α_1,α_2,…,α_n是G的n个自同构,把它们在ζ_iG/ζ_(i-1)G上的诱导自同构分别记为α_(1i),α_(2i),…,α_(ni)(1≤i≤c).如果由α_(1i),α_(2i),…,α_(ni)生成的Lie环End(ζ_iG/ζ_(i-1)G)的Lie子环都是完全可解的,那么α_1,α_2,…,α_n生成的AutG的子群具有良好的幂零性质.考虑G的下中心列,可以得到对偶的结果.     

线性子空间上求解矩阵方程组A_1XB_1=C_1,A_2XB_2=C_2的迭代算法

应用共轭梯度方法,结合线性投影算子,给出迭代算法求解了线性矩阵方程组A_1XB_1=C_1,A_2XB_2=C_2在任意线性子空间上的约束解及其最佳逼近.当矩阵方程组A_1XB_1=C_1,A_2XB_2=C_2相容时,可以证明,所给迭代算法经过有限步迭代可得到矩阵方程组的约束解、极小范数解和最佳逼近.文中的数值例子证实了该算法的有效性.     

3×3阶上三角算子矩阵的点谱、剩余谱和连续谱

记■为Hilbert空间■上的上三角算子矩阵.我们借助对角元A,B和C的谱性质给出了σ_*(M_(D,E,F))=σ_*(A)∪σ_*(B)∪σ_*(C)对任意D∈B(H_2,H_1),E∈B(H_3,H_1),F∈B(H_3,H_2)均成立的充要条件,其中σ_*代表某类特定的谱,如点谱、剩余谱和连续谱等.此外,给出了一些例证.     

双线性Fourier乘子交换子的有界性与紧性

假定T_σ是关于乘子σ的双线性Fourier乘子算子,其中σ满足如下Sobolev正则条件:对某个s∈(n,2n],有sup_(κ∈Z)‖σ_k‖W~s(R~(2m))∞.对于p_1,p_2,p∈(1,∞)且满足1/p=1/p_1+1/p_2和ω=(ω_1,ω_2)∈A_(p/t)(R~(2n)),建立了T_σ及其与函数b=(b_1,b_2)∈(BMO(R~n))~2生成的交换子T_(σ,b)由L~(p_1,λ)(ω_1)×L~(p_2,λ)(ω_2)到L~(p,λ)(v_w)的有界性;同时,在b_1,b_2∈CMO(R~n)(C_c~∞(R~n)在BMO拓扑下的闭包)的条件下,证明交换子T_(σ,b)是L~(p_1,λ)(ω_1)×L~(p_2,λ)(ω_2)到L~(p,λ)(v_w)的紧算子.为了得到主要结果,我们先后建立了几个双(次)线性极大函数在加多权Morrey空间上的有界性以及该空间中准紧集的判定.     

A Multidimensional Generalization of Shukla's 8ψ8 Summation

   Abstract. We give an r -dimensional generalization of H. S. Shukla's very-well-poised ₈ ψ ₈ summation formula. We work in the setting of multiple basic hypergeometric series very-well-poised over the root system A _r-1 or, equivalently, the unitary group U(r) . Our proof, which is already new in the one-dimensional case, utilizes an A _r-1 nonterminating very-well-poised ₆ φ ₅ summation by S. C. Milne, a partial fraction decomposition, and analytic continuation.     

球面稳定同伦群中非平凡元素γ_sξ_n

当p≥5, n≥0时,(i_1i_0)_*(h_n)∈Ext_■~(1,p~nq)(H~*K,Z_p)在Adams谱序列中是永久循环,并且收敛到π_(p~nq-1)K中的非零元.本文在此基础上,考虑了涉及第三希腊字母类乘积元素的收敛性,并且扩大了球面稳定同伦群中非平凡元素滤子s+1的取值范围,即当p+1 s+1 2p时,■_sh_n∈Ext_■~(s+1,t)(Z_p,Z_p)在Adams谱序列中是永久循环,并且收敛到π_(t-s-1)S中的非零元γ_sξ_n,其中p≥7, n≥3, t=p~nq+sp~2q+(s-1)pq+(s-2)q+s-3,q=2(p-1).     

新Dirichlet级数Σn=0∞aneλns收敛横坐标

本文给出新Dirichlet级数Σ_n=0^∞a_ne^λ_ns的收敛横坐标σ_c、一致收敛横坐标σ_u和绝对收敛横坐标σ_a的定义.通过指数λ_n和系数a_n的关系去估计三个横坐标,并补充证明两类Dirichlet级数Σ_n=0^∞a_ne^λ_ns和Σ_n=0^∞a_ne^-λ_ns的收敛条件是一致的.     

Uniqueness theorems for 3D inverse problems with incomplete data

In Ramm, Phys. Lett. 99A, (1983), 258-260, it is proved that a compactly supported inhomogeneity in the velocity profile is uniquely determined by the values of the acoustic pressure collected for all positions of the source and receiver on the surface of the earth ( on the whole plane P) at low frequencies. Here it is proved that the data collected on ω₁ x ω₂ suffice for the uniqueness theorem to hold, where ω₁ and ω₂ are arbitrary open sets on the plane P. This result holds also for the data collected on ω₁ × ω₂ at a fixed frequency.     

Complex Symmetric C0-semigroups on A2(C+)

In this paper, we study complex symmetric C₀-semigroups on the Bergman space A²(C₊) of the right half-plane C₊. In contrast to the classical case, we prove that the only involutive composition operator on A²(C₊) is the identity operator, and the class of J-symmetric composition operators does not coincide with the class of normal composition operators. In addition, we divide semigroups {ψ_t} of linear fractional self-maps of C₊ into two classes. We show that the associated composition operator semigroup {T_t} is strongly continuous and identify its infinitesimal generator. As an application, we characterize J_σ-symmetric C₀-semigroups of composition operators on A²(C₊).     

基于混合l_2/l_1范数极小化方法的块稀疏信号重构条件

研究压缩感知中的块稀疏信号重构问题,主要对混合l_2/l_1极小化方法建立了一类改进的可重构条件.具体地说,本文证明若测量矩阵满足条件δ_k+θ_(k,k)1,则混合l_2/l_1极小化方法可精确重构(无噪声情形)或鲁棒重构(有噪声情形)原始块k-稀疏信号.进而表明本文给出的新条件弱于现有文献所给出的条件.     

Computational analysis of supersonic turbulent boundary layers over rough surfaces using the k–ω and the stress–ω models

The influence of surface roughness in the prediction of the mean flow and turbulent properties of a high-speed supersonic (M = 2.7, Re/m = 2 × 10⁷) turbulent boundary layer flow over a flat plate is numerically investigated. In particular, the performance of the k–ω and stress–ω turbulence models is evaluated against the available experimental data. Even though the performance of these models have been proven satisfactory in the computation of incompressible boundary layer flow over rough surfaces, their validity for high-speed compressible has not been investigated yet. It is observed from this study that, for smooth surface, both k–ω and stress–ω models perform very well in predicting the mean flow and turbulence quantities in supersonic flow. For rough surfaces, both models matched the experimental data fairly well for lower roughness heights but performed unsatisfactorily for higher roughness conditions. Overall the performance of the k–ω model is better than the stress–ω model. The stress–ω model does not show any strong advantages to make up for the extra computational cost associated with it. The predictions indicate that the ω boundary conditions at the wall in both models, especially the stress–ω model, need to be refined and reconsidered to include the geometric factor for supersonic flow over surfaces with large roughness values.     

单位球上F(p,q,s)空间到β_μ空间的加权复合算子

研究了单位球上F(p,q,s)空间到β_μ空间的加权复合算子的有界性和紧性问题.利用泛函分析多复变的方法,获得了单位球上F(p,q,s)空间到β_μ空间的加权复合算子为有界算子和紧算子的充要条件.     

A combinatorial interpretation of the recurrence fn+1 = 6fn − fn−1

Bonin et al. (1993) recalled an open problem related to the recurrence relation verified by NSW numbers. The recurrence relation is the following: f_n+1 = 6f_n − f_n−1, with f₁ = 1 and f₂ = 7, and no combinatorial interpretation seems to be known. In this note, we define a regular language L whose number of words having length n is equal to f_n+1. Then, by using L we give a direct combinatorial proof of the recurrence.     

正交酉元列在有限von Neumann代数的迹自由积中的应用

令M_1为一个有限的von Neumann代数,τ_1为其上的一个忠实正规迹态.我们将证明,如果M_1中存在一列两两正交的酉元列{u_k:k∈N},则对任意具有忠实正规迹态τ_2的有限von Neumann代数M_2(≠C),迹自由积(M_1,τ_1)*(M_2,τ_2)是Ⅱ_1型因子.作为推论可以得出,如果M_1有一个von Neumann子代数N不包含最小投影,则对任意具有忠实迹态τ_2的有限von Neumann代数M_2(≠C),迹自由积(M_1,τ_1)*(M_2,τ_2)是Ⅱ_1型因子.