一类带扰动的非线性椭圆型方程组无穷多弱解的存在性

本文在一定条件讨论了如下一类带扰动项,且被两个Laplacian算子控制的非线性椭圆方程Dirichlet问题无穷多弱解的存在性.（-△u=∣u∣α-1∣υ∣β＋1u＋f,x∈Ω,-△υ=∣u∣α＋1∣υ∣β-1υ＋g,x∈Ω,u（x）＋ υ（x）=0,x∈（e）Ω,）其中-△u：=div（▽u）,（u,υ）∈E：=H10（Ω）× H10（Ω）,（f,g）属于E的对偶空间.     

BV SOLUTIONS OF DIRICHLET PROBLEM FOR A CLASS OF DOUBLY NONLINEAR DEGENERATE PARABOLIC EQUATIONS

The uniqueness and existence of BV solutions to Dirichlet problem of doubly degenerate parabolic equations of the following form au/at=div(A(|↓△B(u)|↓△B(u))in QT=Ω×(0,T) are studied     

方程utt-△u-△ut-△utt=f(u)的初边值问题

本文研究一类四阶非线性耗散、色散波动方程的初边值问题｛ｕｔｔ－△ｕ－△ｕｔ－△ｕｔｔ＝ｆ（ｕ）,ｕ│ｔ＝０＝ｕ０（ｘ）,ｕｔ│ｔ＝０＝ｕ１（ｘ）,ｕ│эΩ＝０,得到了问题整体强解的存在性和唯一性,并在一定条件下,研究了解的渐近性质和ｂｌｏｗ ｕｐ现象。     

矩阵方程A^TXB＋B^TX^TA=D的极小范数最小二乘解的迭代解法

1 引言 设R^m×n表示m×n实矩阵的全体，A^T表示矩阵A的转置，R（A）和N（A）分别表示矩阵A的值域和零空间，A^＋表示矩阵A的Moore—Penrose广义逆，A×B表示矩阵A与B的Kronecker乘积，     

五宫图千题通 道道答数真奇妙

一、设题：乘法达一千道，五数加法六十道，道道答数绝妙无比。 二、乘法教例：294×429=126，126 315×429=135,135 791×429=339,339 五图中有被乘数125个，乘数8个（见图右），共有乘法题一千道，道道答数都是ABE，ABC排列形式。     

Helton类算子及单值扩张性质

本文研究了Helton类算子在紧摄动下单值扩张性质的稳定性, 同时研究了2×2上三角算子矩阵在紧摄动下单值扩张性质的稳定性. 利用半Fredholm域的特点, 获得了2×2上三角算子矩阵具有单值扩张性质的稳定性的充分必要条件.     

Continuously Removable Sets for Quasiconformal Mappings

Let D be a domain in the n-dimensional Euclidean space Rⁿ, n ≥ 2, and let E be a compact in D. The paper presents conditions on the compact E under which any homeomorphic mapping f = D ∖ E → Rⁿ can be extended to a continuous mapping f = D → Rˉⁿ = Rⁿ ⋃ {∞}. These conditions define the class of NCS-compacts, which, for n = 2, coincides with the class of topologically removable compacts for conformal and quasiconformal mappings. Bibliography: 11 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 314, 2004, pp. 213–220.     

THE FUNDAMENTAL GROUP OF THE AUTOMORPHISM GROUP OF A NONCOMMUTATIVE TORUS

Assume that each completely irrational noncommutative torus is realized as an inductive limit of circle algebras, and that for a completely irrational noncommutative torus Aw of rank m there are a completely irrational noncommutative torus Aρ of rank m and a positive integer d such that tr(Aw)=1/d.tr(Aρ).It is proved that the set of all C^*-algebras of sections of locally trivial C^*-algebra bundles over S^2 with fibres Aω has a group sturcture,denoted by π1^s(Aut(Aω)),which is isomorphic to Zif Ed>1 and {0} if d>1.Let Bcd be a cd-homogeneous C^*-algebra over S^2×T^2 of which no non-trivial matrix algebra can be factored out.The spherical noncommutative torus Sρ^cd is defined by twisting C^*(T2×Z^m-2) in Bcd ×C^*(Z^m-3) by a totally skew multiplier ρ on T^2×Z^m-2。It is shown that Sρ^cd×Mρ∞ is isomorphic to C(S^2)×C^*(T^2×Z^m-2,ρ）× Mcd(C)×Mρ∞ if and only if the set of prime factors of cd is a subset of the set of prime factors of p.     

Hardy空间Hp(BN)上的加权复合算子

φ：BN→BN的全纯映射，ψ∈H（BN），其中H（BN）表示BN上全纯函数集合，定义加权复合算子Wφ，ψf=ψ（f φ），f∈H（BN）．本文研究了Hardy空间H^p（BN）上的加权复合算子的有界性、紧性、弱紧性以及完全连续性，给出了有界性、紧性的充要条件以及证明了紧性与弱紧性的等价关系．最后讨论了加权复合算子的完全连续性．     

2×2上三角算子矩阵的Drazin谱

设MG=[ O B^A C]是从Hilbert空间H＋K到H＋K中的2×2上三角算子矩阵．该文主要研究MC的Drazin可逆性和Mc的Drazin谱．此外,对给定算子A∈B（H）和B∈B（K）,将给出在一定条件下所有上三角算子矩阵Mc的Drazin谱的交∩C∈B（K,H）σD（Mc）的具体表达式。     

Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Distribution of types of symmetry of tensors of high degree

The asymptotic distribution of tensors of degree N in symmetry types is studied in this paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 181–186, 1986.     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.     

Estimate of growth of Lebesgue functions of linear methods of summation

Sufficient conditions are obtained in terms of matrix elements for the boundedness of Lebesgue functions of linear methods of summation of expansions in orthogonal systems of polynomial type.Translated from Matematicheskie Zametki, Vol. 6, No. 3, pp. 277–286, September, 1969.