A constructive algorithm for 2-D spectral factorization with rational spectral factors

Spectral factorization of para-Hermitian polynomial matrices nonnegative on the imaginary axis is known to play a crucial role in signal and system theory. Such factorization, although always feasible in one-dimensional (1-D) case, can be carried out in two-dimensional (2-D) case in a somewhat modified form. In this modified form, even spectral factors of scalar polynomials must be rational matrices (with normal rank one), analytic in the Cartesian products of open right half planes. Despite this constrained form, such spectral factors are important in the context of 2-D systems. The feasibility of such spectral factorization is apparent in view of classical results from algebraic geometry, but a constructive proof of it has not been available in system theoretic literature. By a selection of elementary techniques borrowed from different sources, we give a constructive algorithm for the aforementioned spectral factorization of 2-D para-Hermitian scalar positive definite polynomials, and thus, indirectly provide a constructive proof of the corresponding result for para Hermitian polynomial matrices as well. An example illustrating the main aspect of the algorithm is included. Analog of the result for discrete time systems, and comparisons with known 2-D spectral factorization results of other types are also included.

[1]  M. Ekstrom,et al.  Two-dimensional spectral factorization with applications in recursive digital filtering , 1976 .

[2]  E. Landau.  Über die Darstellung definiter Funktionen durch Quadrate , 1906 .

[3]  Anton Kummert,et al.  Spectral factorization of two-variable para-Hermitian polynomial matrices , 1990, Multidimens. Syst. Signal Process..

[4]  Anton Kummert,et al.  The synthesis of two-dimensional passive n-ports containing lumped elements , 1990, Multidimens. Syst. Signal Process..

[5]  sankar basu,et al.  Multi-dimensional Filter Banks and Wavelets—A System Theoretic Perspective , 1998 .

[6]  B. Anderson,et al.  Linear Optimal Control , 1971 .

[7]  P. Whittle.  ON STATIONARY PROCESSES IN THE PLANE , 1954 .

[8]  W. Habicht.  Über die Zerlegung strikte definiter Formen in Quadrate , 1939 .

[9]  R. Saeks,et al.  The factorization problem—A survey , 1976, Proceedings of the IEEE.

[10]  Sankar Basu.  A Framework for Two-Dimensional Hyperstability Theory Based Provably Convergent Adaptive Two-Dimensional IIR Filtering , 1991 .

[11]  Robert W. Newcomb,et al.  Linear multiport synthesis , 1966 .

[12]  Tsit Yuen Lam,et al.  The algebraic theory of quadratic forms , 1973 .

[13]  S. Basu.  A framework for 2D hyperstability theory based provably convergent adaptive 2D IIR filtering , 1990, 29th IEEE Conference on Decision and Control.

[14]  C. Berg,et al.  Harmonic Analysis on Semigroups , 1984 .

[15]  D. Hilbert.  Über ternäre definite Formen , 1893 .

[16]  D. Youla,et al.  On the factorization of rational matrices , 1961, IRE Trans. Inf. Theory.

[17]  T. Marzetta.  Two-dimensional linear prediction: Autocorrelation arrays, minimum-phase prediction error filters, and reflection coefficient arrays , 1980 .