逻辑导数与逻辑积分(Ⅱ)

在[4]中我们对空间LR+q、1≤q≤2,讨论了函数的逻辑导数与积分。例如,建立了下列公式D(1)(I(1)f)=f,I(1)(D(1)f)=f. 但那里的方法不能用于q>2情形。本文是[4]的继续.对2R+q的Walsh-Fourie     

加权Bergman空间上解析Toeplitz算子的换位及相似

本文在加权Bergman 空间A_α²(D)(α>-1) 上证明了由n-Blaschke 因子诱导的解析Toeplitz算子相似于n个Bergman 移位的直接和, 刻画了一类解析Toeplitz 算子的换位并研究了两个解析Toeplitz 算子的相似性.     

代数的导出等价

讨论了代数R_A^m与R_B^m的导出等价与稳定等价问题 利用倾斜复形证明了:当代数A与B导出等价时,代数R_A^m与R_B^m也是导出等价的.推广了有关平凡扩张代数的相应结果.     

一个重特征方程Cauchy问题解的存在性

本文讨论方程L_pU≡u_xx—x²u_?+Pu_?=0 Cauchy问题解的存在性。对于P≠1,3,5,…和P=1,3,5…的两种情形,我们分别给出了Cauchy问题存在C^∞解的充要条件。此外,对于P=1,3,5,…的情形,在方程L_pU=0的重特征点x=0上附加某种数据所得的新定解问题,我们也给出了它存在唯一C^∞解的充要条件。     

阶梯量子阱子带跃迁二次谐波产生的研究

本文理论上利用二能级近似下的传递矩阵法,给出了GaAs/Al_xGa_1-xAs二阶非线性光学系数X_2ω⁽²⁾的解析表达式,通过数值计算,设计了具有较大X_2ω⁽²⁾的阶梯多量子阱(SMQW)结构,其特点是单共振泵浦,实验上验证了该结构确实具有比体材料大3个量级的X_2ω⁽²⁾值,为了提高二次谐波(SHG)的转换效率,我们分别设计了两种新型的实验方案,分别使SHG转换效率较Brewster角入射下大10倍和100倍。     

某类振荡积分算子在Lebesgue空间及Wiener共合空间上的映射性质*

假设 β₁ > 3α₁ > 0, β₂ > 3α₂ > 0,给定函数f(x) ∈ S(R³), 定义算子T_α,β如下:T_α,βf(x,y,z) = p.v.ZT_Q2f(x- t, y-s, z-γ(t)h(s)) e^{-2πit-β₁ s-β₂}/t^1+α₁ s^1+α₂dtds.本文主要考虑如上定义的算子T_α,β在Lebesgue空间L^p(R³)及Wiener共合空间W(FL^p, L^q)(R³)上的有界性. 这里 Q² = [0, 1] × [0, 1], γ(t), h(s)满足适当的条件.作为应用, 本文还考虑了带粗糙核的奇异积分算子在乘积空间上的有界性.     

具有核的态射的 w -加权Drazin逆

该文中, a: X→Y, w: Y→ X为加法范畴 £ 中的态射, k₁: K ₁→X是(aw)ⁱ 的核, k₂: K₂ →Y是(wa)^j 的核. 那么下列命题等价: (1) a 在 £ 中有w -加权Drazin逆a _d,w; (2) ₁:X→ L₁是(aw)ⁱ 的上核,k_{1 1}(aw)ⁱ⁺¹}+ ₁(k_{1 1})^-1k₁是可逆的; (3) ₂: Y→ L₂是(wa)^j 的上核, k_{2 2}和(wa)^j+1+ ₂(k_{2 2})^-1k₂是可逆的. 作者又研究了具有{1} -逆的正合加法范畴中态射的w -加权Drazin逆的柱心幂零分解, 证明了其存在性. 作者把具有核的态射的Drazin逆及其柱心幂零分解推广到具有核的态射的w -加权 Drazin逆及其柱心幂零分解, 并给出了表达式.     

积分算子与(非线性复合)边值问题

本文在m+1连通区域上研究方程(A)w_g=g(z,w,w_z),(A.1)|g(z,w,w_z¹)-(z,w,w_z²)|≤q₀|w_z¹-w_z²|,q₀=常数<1 (A.2)的Riemann和Hilbert复合边值问题(RH问题)。我们构造了算子θ(w,z),研究了其连续与微分性质,建立了解的表示定理、先验估计、存在唯一性定理(K≥m)与可解条件(K≤m-1)。     

高波数Helmholtz 方程的内罚有限元方法

本文考虑二维和三维区域上高波数Helmholtz 散射问题的线性内罚有限元方法. 该散射问题的边界条件取为一阶吸收边界条件. 本文证明了, 如果加罚参数γ-γ_r+iγ_i 的虚部 γ_i 大于零, 那么内罚有限元方法是绝对稳定的, 即对任意k,h,R > 0 都存在唯一解. 这里k 是波数, h 为网格尺寸, R是区域的直径. 进一步地, 如果|γ_r|≤γ_i≤1, 那么存在与k,h,γ,R 无关的常数C₀;C₁;C₂, 使得当k³h²R ≤ C₀ 时, 该方法的H¹ 误差界为(C₁kh + C₂k³h²R)RM(f, g), 当k³h²R > C₀ 且kh 有界时,H¹ 误差界为(C₁kh + C₂/γ_i)RM(f, g), 其中M(f, g) := (‖f‖_L²(Ω) + R^-1/2‖g‖_L²(Γ)) + R^-1|g|_H^1/2(Γ). 另外, 本文还推导了L² 误差估计. 注意到γ = 0 时内罚有限元方法就是经典的有限元方法, 通过取加罚参数为iγ_>i 并令γ_i 趋于0+, 本文还在k³h²R ≤ C₀ 的条件下, 得到了有限元方法的稳定性和误差估计.作者以前的工作只考虑了加罚参数为纯虚数的情形并且没有考虑对R 的依赖关系.     

中子辐照硅中一个新的EPR缺陷及氢对它的影响

在中子辐照区熔硅中,观测到一个具有C_2v对称性、有效自旋为1的新的顺磁性缺陷,按惯例称为Si-PK3,其g和D的主值为g₁=2.0048,g₂=2.0118,g₃=2.0085;D₃=35.9×10^-4cm^-1,D₂=-17.1×10^-4cm^-1,D₃=-18.8×10^-4cm^-1.可能的微观结构是沿〈110〉晶向、在中间空位上俘获一个氧原子的平面三空位链.氢的存在可使它的退火消失温度由500℃降为350℃左右.     

On the characteristic connection of gwistor space

We give a brief presentation of gwistor spaces, which is a new concept from G ₂ geometry. Then we compute the characteristic torsion T ^c of the gwistor space of an oriented Riemannian 4-manifold with constant sectional curvature k and deduce the condition under which T ^c is ?^c-parallel; this allows for the classification of the G ₂ structure with torsion and the characteristic holonomy according to known references. The case of an Einstein base manifold is envisaged.     

Gruppo delle terne quasi pitagoriche primitive

We study the groupG _m of primitive solution of the diophantine equationx ²+my²=z² (m>1, squarefree). Form∈3 this group is torsion free, form=3 it has a torsion element of order 3; moreover for a finite number of values ofm we prove thatG _m is a direct sum of infinite cyclic groups and we give the generators ofG _m in terms of the primes represented by the quadratic forms of discriminant Δ=−4m.      

Albanese and Picard 1-motives

We define, in a purely algebraic way, 1-motives Alb⁺(X), Alb⁻(X), Pic⁺(X), and Pic⁻(X) associated with any algebraic scheme X over an algebraically closed field of characteristic zero. For X over C of dimension n, the Hodge realizations are, respectively, H^{2n − 1} (X, Z(n))/(torsion), H₁ (X, Z)/(torsion), H¹ (X, Z(1)), and H_{2n − 1} (X, Z(1 n))/(torsion).     

QUASIREGULAR TORSION RINGS HAVING ISOMORPHIC ADDITIVE AND CIRCLE COMPOSITION GROUPS

Abstract

We investigate the role played by torsion properties in determining whether or not a commutative quasiregular ring has its additive and circle composition (or adjoint) groups isomorphic. We clarify and extend some results for nil rings, showing, in particular, that an arbitrary torsion nil ring has the isomorphic groups property if and only if the components from its primary decomposition into p-rings do too.

We look at the more specific case of finite rings, extending the work of others to show that a non-trivial ring with the isomorphic groups property can be constructed if the additive group has one of the following groups in its decomposition into cyclic groups: Z₂ ⁿ (for n ≥ 3), Z₂ ⊕ Z₂ ⊕ Z₂, Z₂ ⊕ Z₄, Z₄ ⊕ Z₄, Z _p ⊕ Z _p (for odd primes, p), or Z _p ⁿ (for odd primes, p, and n ≥ 2).

We consider, also, an example of a ring constructed on an infinite torsion group and use a specific case of this to show that the isomorphic groups property is not hereditary.     

Pointed torsion free modules of affine lie algebras

It is shown that all pointed torsion free modules for affine Lie algebras belong to C⁽¹⁾ _n and A⁽¹⁾ _n-1 and are the result of the natural construction of tensoring the Laurent polynomials with a torsion free module of the “underlying” simple finite dimensional Lie Algebra. These latter modules have been completely determined by Britten and Lemire [1].     

On the K-theory of the stable C-algebras from substitution tilings

We describe a method to compute the K-theory of the C^?-algebra arising from the stable equivalence relation in the Smale space associated to a substitution tiling, and give detailed computations for one- and two-dimensional examples. We prove that for one-dimensional tilings the group K₀ is always torsion free and give an example of a two-dimensional tiling such that K₀ has torsion.     

HORIZONTAL DISTRIBUTIONS ON SPACES OF FIBERS

Abstract

Geometric methods for systems of partial differential equations and multiple integral problems in the calculus of variations lead naturally to differentiable manifolds that resemble fiber bundles but do not possess a structure group; in terms of local coordinates, π:B→M_n|(xⁱ, q^α)→(xⁱ), dim(B) = N + n, dim(M_n) = n. The standard notions of horizontal distributions, horizontal and vertical subspaces of T(B), T(B) = V(B) ⊕ H(B), horizontal lifts of curves in M_n, and horizontal and vertical dual subspaces with Λ¹(B) = V*(B) ⊕ H*(B) are shown to be well defined in B. The absence of a structure group is compensated for by an analysis based on the homogeneous ideals V and H that are generated by the canonical bases of V*(B) and H*(B), respectively. The differential system constructed from the generators of the horizontal ideal is shown to lead to a unique system of connection 1-forms and torsion 2-forms under the requirements that they have vacuous intersections with the horizontal ideal. The horizontal ideal is shown to be completely integrable if and only if the torsion 2-forms vanish throughout B, in which case the curvature 2-forms are congruent to zero mod H, and the curvature 2-forms are shown to have a vacuous intersection with H if and only if the horizontal distribution is affine. The paper concludes with a study of the mapping properties of the connection, torsion and curvature. These are significantly more general than those of a fiber bundle since the absence of a structure group allows mappings of the form 'xⁱ = φⁱ(x,q), 'q^α = φ^α (x,q).     

KO?i groups of G3(?n), n odd

We use the work of Karoubi and Mudrinski on the real Grothendieck's groups of certain complex projective bundles to show that the torsion of the KO ^–i groups of G ₃( ⁿ ), n odd, are related to the known torsion of the KO ^–i groups of G₂( ⁿ ).     

On a family of elliptic curves of rank at least 2

Let C_m:y² = x³ ? m²x + p²q² be a family of elliptic curves over ?, where m is a positive integer and p, q are distinct odd primes. We study the torsion part and the rank of C_m(?). More specifically, we prove that the torsion subgroup of C_m(?) is trivial and the ?-rank of this family is at least 2, whenever m ? 0 (mod 3), m ? 0 (mod 4) and m ≡ 2 (mod 64) with neither p nor q dividing m.