Fourier transform of symmetric gauss measures on the Heisenberg group

An explicit form is derived for the Fourier transform of symmetric Gauss measures on the Heisenberg group at the Schrödinger representation. Using this explicit formula, necessary and sufficient conditions are given for the convolution of two symmetric Gauss measures to be a symmetric Gauss measure and for commutability of two symmetric Gauss measures. Moreover, necessary and sufficient conditions are presented for the convolution of two symmetric Gauss convolution semigroups to be a convolution semigroup.     

Some <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript> properties of semigroups of measures on Lie groups

We investigate the induced action of convolution semigroups of probability measures on Lie groups on the L ²-space of Haar measure. Necessary and sufficient conditions are given for the infinitesimal generator to be self-adjoint and the associated symmetric Dirichlet form is constructed. We show that the generated Markov semigroup is trace-class if and only if the measures have a square-integrable density. Two examples are studied in some depth where the spectrum can be explicitly computed, these being the n-torus and Riemannian symmetric pairs of compact type.     

三级四阶显式辛R-K-N格式的完全构造

s级p阶辛Runge-Kutta-Nystr\"om(R-K-N)方法的一种充要条件是用关于参数的非线性方程组来表示的,辛R-K-N格式的构造问题因而转化为该方程组的求解问题. 在一些特殊的限定条件下, 已有该方程组在s=3,p=4时的两组解,即得到了两个三级四阶显式辛格式. 对于s=3,p=4情形,基于吴方法,利用计算机代数系统Maple及软件包wsolve给出了对应的非线性方程组的全部解, 这样就构造了所有的三级四阶显式辛R-K-N格式, 并证明了三级四阶显式辛R-K-N方法所满足的条件方程有冗余. 数值实验结果显示出新的辛格式在一定的条件下有着较好的误差精度.     

Three-valued Gauss periods,circulant weighing matrices and association schemes

Gauss periods taking exactly two values are closely related to two-weight irreducible cyclic codes and strongly regular Cayley graphs. They have been extensively studied in the work of Schmidt and White and others. In this paper, we consider the question of when Gauss periods take exactly three rational values. We obtain numerical necessary conditions for Gauss periods to take exactly three rational values. We show that in certain cases, the necessary conditions obtained are also sufficient. We give numerous examples where the Gauss periods take exactly three values. Furthermore, we discuss connections between three-valued Gauss periods and combinatorial structures such as circulant weighing matrices and three-class association schemes.     

On signed normal-Poisson approximations

For lattice distributions a convolution of two signed Poisson measures proves to be an approximation comparable with the normal law. It enables to get rid of cumbersome summands in asymptotic expansions and to obtain estimates for all Borel sets. Asymptotics can be constructed two-ways: by adding summands to the leading term or by adding summands in its exponent. The choice of approximations is confirmed by the Ibragimov-type necessary and sufficient conditions. Received: 20 November 1996 / Revised version: 5 December 1997     

Topologically left invariant means on semigroup algebras

LetM(S) be the Banach algebra of all bounded regular Borel measures on a locally compact Hausdorff semitopological semigroupS with variation norm and convolution as multiplication. We obtain necessary and sufficient conditions forM(S)* to have a topologically left invariant mean.     

Criteria of unitary equivalence of Hermitian operators with a degenerate spectrum

Nonimprovable, in general, estimates of the number of necessary and sufficient conditions for two Hermitian operators to be unitarily equaivalent in a unitary space are obtained when the multiplicities of eigenvalues of operators can be more than 1. The explicit form of these conditions is given. In the Appendix the concept of conditionally functionally independent functions is given and the corresponding necessary and sufficient conditions are presented.     

一类矩阵方程的正交对称解及其最佳逼近

1引言设Rn×m表示所有n×m实矩阵集合,I表示单位矩阵,AT表示矩阵A的转置矩阵, ORn×n={P|PTP=I)表示列正交矩阵集,SORn×n={P|PT=P,P2=I}表示对称正交对称矩阵集．如无特别说明,本文中的矩阵P均指这类对称正交对称矩阵．在Rn×m上定义内积为     

Convolution products of probability measures on completely simple semigroups

Convolution products of probability measures are considered in the context of completely simple semigroups. Given a sequence of measures (μn)⊂Prob(S), where S is a finite completely simple semigroup, results are proven which (1) relate the supports of the measures in the sequence to the supports of the tail limit measures, and (2) determine necessary and sufficient conditions for convergence of the convolution products in the case of rectangular groups. An example showing how the theory can be used to analyze the convergence behavior of non-homogeneous Markov chains is included.     

On Unique Solutions of Multiple-State Optimal Design Problems on an Annulus

We study the uniqueness and explicit derivation of the relaxed optimal solutions, corresponding to the minimization of weighted sum of potential energies for a mixture of two isotropic conductive materials on an annulus. Recently, it has been shown by Burazin and Vrdoljak that even for multiple-state problems, if the domain is spherically symmetric, then the proper relaxation of the problem by the homogenization method is equivalent to a simpler relaxed problem, stated only in terms of local proportions of given materials. This enabled explicit calculation of a solution on a ball, while problems on an annulus appeared to be more tedious. In this paper, we discuss the uniqueness of a solution of this simpler relaxed problem, when the domain is an annulus and we use the necessary and sufficient conditions of optimality to present a method for explicit calculation of the unique solution of this simpler proper relaxation, which is demonstrated on an example.     

Effective and big divisors on a projective symmetric variety

We describe the effective and the big cones of a projective symmetric variety. Moreover, we give a necessary and sufficient combinatorial criterion for the bigness of a nef divisor on a projective symmetric variety. When the divisor is G-stable, such criterion has an explicit geometric interpretation. Finally, we describe the spherical closure of a symmetric subgroup.     

COMPLEX SYMMETRIC TOEPLITZ OPERATORS ON THE UNIT POLYDISK AND THE UNIT BALL

In this article, we study complex symmetric Toeplitz operators on the Bergman space and the pluriharmonic Bergman space in several variables. Surprisingly, the necessary and sufficient conditions for Toeplitz operators to be complex symmetric on these two spaces with certain conjugations are just the same. Also, some interesting symmetry properties of complex symmetric Toeplitz operators are obtained.     

判定3,4或5阶对称矩阵偕正性的算法

文献[1]给出了判定阶数不大于5的对称矩阵偕正性的充分必要条件.本文在此基础上,进一步给出了它们严格偕正的条件,并提出了三个算法,它们能够用来有效地判定3,4,5阶对称矩阵严格偕正、偕正或非偕正.     

Necessary and Sufficient Conditions for the Solvability of the Gauss Variational Problem

We investigate the well-known Gauss variational problem over classes of Radon measures associated with a system of sets in a locally compact space. Under fairly general assumptions, we obtain necessary and sufficient conditions for its solvability. As an auxiliary result, we describe the potentials of vague and (or) strong limit points of minimizing sequences of measures. The results obtained are also specified for the Newton kernel in ℝⁿ.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 1, pp. 60–83, January, 2005.     

The Hermite Functions Related to Infinite Series of Generalized Convolutions and Applications

In this paper, we show that arbitrary Hermite function or appropriate linear combination of those functions is a weight-function of four explicit generalized convolutions for the Fourier cosine and sine transforms. With respect to applications, normed rings on L¹(\mathbbR^d){L^1(\mathbb{R}^d)} are constructed, and sufficient and necessary conditions for the solvability and explicit solutions in L¹(\mathbbR^d){L^1(\mathbb{R}^d)} of the integral equations of convolution type are provided by using the constructed convolutions.     

On Conditions for <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-Dissipativity of Linearized Explicit QGD Finite-Difference Schemes for One-Dimensional Gas Dynamics Equations

An explicit two-level in time and spatially symmetric finite-difference scheme approximating the 1D quasi-gasdynamic system of equations is studied. The scheme is linearized about a constant solution, and new necessary and sufficient conditions for the L²-dissipativity of solutions to the Cauchy problem are derived, including, for the first time, the case of a nonzero background velocity and depending on the Mach number. It is shown that the condition on the Courant number can be made independent of the Mach number. The results provide a substantial development of the well-known stability analysis of the linearized Lax–Wendroff scheme.     

Second Order Sufficiency Criteria for a Discrete Optimal Control Problem

In this work, we derive second order necessary and sufficient optimality conditions for a discrete optimal control problem with one variable endpoint and the other fixed, and with equality control constraints. In particular, the positivity of the second variation, which is a discrete quadratic functional with appropriate boundary conditions, is characterized in terms of the nonexistence of intervals conjugate to 0, the existence of a certain conjoined basis of the associated linear Hamiltonian difference system, or the existence of a symmetric solution to the implicit and explicit Riccati matrix equations. Some results require a certain minimal normality assumption, and are derived using the sensitivity analysis technique.     

Generalized inverses over Banach algebras

LetA be a matrix over a complex commutative unital Banach algebra. We give necessary and sufficient conditions forA to have a generalized inverse. Moreover, if the Banach algebra has a symmetric involution, these are also necessary and sufficient conditions forA to admit the Moore-Penrose inverse.Partially supported by NSF Grant DMS-8802593     

Distance-regular digraphs of girth 4 over an extension ring of Z/4Z

Enomoto-Mena[1] showed that two one-parameter families of distance-regular digraphs of girth 4 could possibly exist. Subsequently Liebler-Mena[2] found an infinite family of such digraphs generated over an extension ring ofZ/4Z. We prove that there are no other solutions except for multiplication by principal units to generate distance-regular digraphs of girth 4 under their method. In order to prove this, we introduce Gauss sums and three kinds of Jacobi sums over an extension ring ofZ/4Z. We give necessary and sufficient conditions for the existence of these digraphs under that method. It turns out that the Liebler-Mena solutions are the only solutions which satisfy the necessary and sufficient conditions. This fact has been conjectured for a time, but has never been proved.     

The symmetric inverse M-matrix completion problem

Necessary and sufficient conditions are given on the data for completability of a partial symmetric inverse M-matrix, the graph of whose specified entries is a cycle, and these conditions coincide with those we identify to be necessary in the general (nonsymmetric) case. Graphs for which all partial symmetric inverse M-matrices have symmetric inverse M-matrix completions are identified and these include those that arise in the general (positionally symmetric) case. However, the identification of all such graphs is more subtle than the general case. Finally, we show that our new cycle conditions are sufficient for completability of all partial symmetric inverse M-matrices, the graph of whose specified entries is a block graph.