正定二次型判别条件的证明

正定二次型判别条件的证明刘学鹏（临沂师专２７６００５）在二次型的理论中，正定二次型是一类特殊而重要的二次型，相应的正定矩阵也是一类特殊而重要的矩阵．对于实二次型，其正定性的判别法之一，是利用其顺序主子式是否大于零．此理论根据的证明，笔者依据目前流行的...     

浅谈正定二次型的习题课设计

在高等代数的实二次型内容中,正定二次型占有特殊的地位.本文从概念的回顾、正定二次型与正定矩阵的判断、二次型正定及矩阵正定的性质、其它类型二次型四个方面来设计正定二次型的习题课,并通过具体例子说明例题、习题精选的原则.     

简单函数生成Weyl-Heisenberg框架的充要条件

设φ(x)=∑Nn=0anxE(x-n).当E是z -tile且a是一正有理数时,我们证明了{e2ximxφ(x-na):m,n∈z}成为框架的充要条件是多项式p(z)=∑Nn=0anzn无单位根.此结果推广了Casazza和Kalton的结果[3],并且给出了Weyl-Heisenberg框架与多项式根的相互关系.     

紧支撑 Weyl-Heisenberg 框架的摄动

本文研究了L~2(R)上具有紧支撑的Weyl-Heisenberg框架分别对窗口函数、平移指标、旋转指标以及多项混合摄动的稳定性.     

一类二元n次型的正定性问题

本讨论了一类二元n次型的正定性问题,并且获得了它正定的一个充要条件。     

对部分变元正定的二次型函数的构造

对部分变元正定的二次型函数对于利用Lyapunov第二方法研究常微分方程的部分变元稳定性起着重要作用。本文建立了部分正定二次型函数的充分必要条件,给出了标准形式及一个判别法。     

判别线性约束下实二次型正定性的一个算法

本文对经济学中常见的判别线性约束下实二次型的正定性问题通过矩阵分解给出了一个简易且可行的算法，该算法不涉及行列式的计算。     

二次型的正定性在函数极值判定中的应用

本文根据二次型的有定性理论,给出一般多元函数极值判定的一个充分条件.这对于解决多元函数(特别是二元以上函数)的极值问题具有重要的意义.     

关于二次型零点的注记

给出复系数和实系数n元二次型零点向量组的秩,以及最大零点子空间的维数.证明了正负惯性指数为p,q的实二次型的最大零点子空间的维数为n-max{p,q},以及秩为r的复二次型的最大零点子空间的维数为■.     

正定二次规划的一个对偶算法

给出了一个正定二次规划的对偶算法．算法把原问题分解为一系列子问题,在保持原问题的Wolfe对偶可行的前提下,通过迭代计算,由这一系列子问题的最优解向原问题的最优解逼近．同时给出了算法的有限收敛性．     

On positive definite quadratic forms in correlatedt variables

Summary In this paper we extend Ruben's [4] result for quadratic forms in normal variables. He represented the distribution function of the quadratic form in normal variables as an infinite mixture of chi-square distribution functions. In the central case, we show that the distribution function of a quadratic form int-variables can be represented as a mixture of beta distribution functions. In the noncentral case, the distribution function presented is an infinite series in beta distribution functions. An application to quadratic discrimination is given.     

A necessary and sufficient condition for dual Weyl-Heisenberg frames to be compactly supported

In this note we consider continuous-time Weyl-Heisenberg (Gabor) frame expansions with rational oversampling. We present a necessary and sufficient condition on a compactly supported function g(t) generating a Weyl-Heisenberg frame for L² () for its minimal dual (Wexler-Razdual) ⁰ (t) to be compactly supported. We furthermore provide a necessary and sufficient condition for a band-limited function g(t) generating a Weyl-Heisenberg frame for L² () to have a band-limited minimal dual ⁰ (t). As a consequence of these conditions, we show that in the cases of integer oversampling and critical sampling a compactly supported (band-limited) g(t) has a compactly supported (band-limited) minimal dual ⁰(t) if and only if the Weyl-Heisenberg frame operator is a multiplication operator in the time (frequency) domain. Our proofs rely on the Zak transform, on the Zibulski-Zeevi representation of the Weyl-Heisenberg frame operator, and on the theory of polynomial matrices.on leave from Department of Communications, Vienna University of TechnologyThis work was supported in part by FWF grants P10531-ÖPH, P12228-TEC, and J1629-TEC.     

On nondecomposable positive definite Hermitian forms over imaginary quadratic fields

Methods are presented for the construction of nondecomposable positive definite integral Hermitian forms over the ring of integers R_m of an imaginary quadratic field ℚ(√−m). Using our methods, one can construct explicitly an n-ary nondecomposable positive definite Hermitian R_m-lattice ( L, h) with given discriminant 2 for every n⩾2 (resp. n⩾13 or odd n⩾3) and square-free m = 12 k + t with k⩾1 and t∈ (1,7) (resp. k⩾1 and t = 2 or k⩾0 and t∈ 5,10,11). We study also the case for discriminant different from 2.     

On positive definite solution of a nonlinear matrix equation

In this paper, some necessary and sufficient conditions for the existence of the positive definite solutions for the matrix equation X + A^*X^?αA = Q with α ∈ (0, ∞) are given. Iterative methods to obtain the positive definite solutions are established and the rates of convergence of the considered methods are obtained. Copyright © 2006 John Wiley & Sons, Ltd.     

On ternary quadratic forms

A result from 1988 on the square-free integers represented by a positive definite ternary quadratic form with integral coefficients is made uniform in the determinant of the form.     

Representations of integers by certain positive definite binary quadratic forms

We prove part of a conjecture of Borwein and Choi concerning an estimate on the square of the number of solutions to n=x ²+Ny ² for a squarefree integer N.      

On the value distribution of positive definite quadratic forms

Denote by 0 = λ ₀ < λ ₁ ≤ λ ₂ ≤ . . . the infinite sequence given by the values of a positive definite irrational quadratic form in k variables at integer points. For l ≥ 2 and an (l ?1)-dimensional interval I = I ₂×. . .×I _l we consider the l-level correlation function \({K^{(l)}_I(R)}\) which counts the number of tuples (i ₁, . . . , i _l ) such that \({\lambda_{i_1},\ldots,\lambda_{i_l}\leq R^2}\) and \({\lambda_{i_{j}}-\lambda_{i_{1}}\in I_j}\) for 2 ≤ j ≤ l. We study the asymptotic behavior of \({K^{(l)}_I(R)}\) as R tends to infinity. If k ≥ 4 we prove \({K^{(l)}_I(R)\sim c_l(Q)\,{\rm vol}(I)R^{lk-2(l-1)}}\) for arbitrary l, where c _l (Q) is an explicitly determined constant. This remains true for k = 3 under the restriction l ≤ 3.     

On Voronoi reduction of positive definite quadratic forms

There are two methods of reduction of positive definite quadratic forms due to Voronoi. One of these methods is based on the perfect forms and the other on the type of Voronoi polyhedra associated with the form. It was conjectured by Voronoi that these two methods are strongly connected.     

On the value distribution of positive definite quadratic forms

Denote by 0 = λ ₀ < λ ₁ ≤ λ ₂ ≤ . . . the infinite sequence given by the values of a positive definite irrational quadratic form in k variables at integer points. For l ≥ 2 and an (l −1)-dimensional interval I = I ₂×. . .×I _l we consider the l-level correlation function K^(l)_I(R){K^{(l)}_I(R)} which counts the number of tuples (i ₁, . . . , i _l ) such that l_i1,?,l_il ￡ R²{\lambda_{i_1},\ldots,\lambda_{i_l}\leq R^2} and l_ij-l_i1 ? I_j{\lambda_{i_{j}}-\lambda_{i_{1}}\in I_j} for 2 ≤ j ≤ l. We study the asymptotic behavior of K^(l)_I(R){K^{(l)}_I(R)} as R tends to infinity. If k ≥ 4 we prove K^(l)_I(R) ~ c_l(Q) vol(I)R^lk-2(l-1){K^{(l)}_I(R)\sim c_l(Q)\,{\rm vol}(I)R^{lk-2(l-1)}} for arbitrary l, where c _l (Q) is an explicitly determined constant. This remains true for k = 3 under the restriction l ≤ 3.