# Multidimensional systems

Template:Expert-subject By the term multidimensional systems or m-D systems we mean the branch of (mathematical) systems theory where not only one variable exists (like time), but several independent variables. Important problems like factorization and stability have recently attracted the interest of many researchers and practitioners.

The reason is that the factorization and stability of m-D systems (m > 1) is not a straightforward extension of the factorization and stability of 1-D systems because for example the fundamental theorem of algebra does not exist in the ring of m-D (m > 1) polynomials.

## Applications

Multidimensional systems or m-D systems are the necessary mathematical background for modern digital image processing with many applications in biomedicine, X-ray technology and satellite communications[1] .[2] There are also some studies combining m-D systems with partial differential equations (PDEs).

## Linear Multidimensional State-Space Model

A state-space model is a representation of a system in which the effect of all "prior" input values is contained by a state vector. In the case of an m-d system, each dimension has a state vector that contains the effect of prior inputs relative to that dimension. The collection of all such dimensional state vectors at a point constitutes the total state vector at the point.

Consider a uniform discrete space linear two-dimensional (2d) system that is space invariant and causal. It can be represented in matrix-vector form as follows:[3][4]

Represent the input vector at each point ${\displaystyle (i,j)}$ by ${\displaystyle u(i,j)}$, the output vector by ${\displaystyle y(i,j)}$ the horizontal state vector by ${\displaystyle R(i,j)}$ and the vertical state vector by ${\displaystyle S(i,j)}$. Then the operation at each point is defined by:

where ${\displaystyle A_{1},A_{2},A_{3},A_{4},B_{1},B_{2},C_{1},C_{2}}$ and ${\displaystyle D}$ are matrices of appropriate dimensions.

These equations can be written more compactly by combining the matrices:

Given input vectors ${\displaystyle u(i,j)}$ at each point and initial state values, the value of each output vector can be computed by recursively performing the operation above.

## Multidimensional Transfer Function

A discrete linear two-dimensional system is often described by a partial difference equation in the form: ${\displaystyle \sum _{p,q=0,0}^{m,n}a_{p,q}y(i-p,j-q)=\sum _{p,q=0,0}^{m,n}b_{p,q}x(i-p,j-q)}$

where ${\displaystyle x(i,j)}$ is the input and ${\displaystyle y(i,j)}$ is the output at point ${\displaystyle (i,j)}$ and ${\displaystyle a_{p,q}}$ and ${\displaystyle b_{p,q}}$ are constant coefficients.

To derive a transfer function for the system the 2d Z-transform is applied to both sides of the equation above.

Transposing yields the transfer function ${\displaystyle T(z_{1},z_{2})}$:

So given any pattern of input values, the 2d Z-transform of the pattern is computed and then multiplied by the transfer function ${\displaystyle T(z_{1},z_{2})}$ to produce the Z-transform of the system output.

## Realization of a 2d Transfer Function

Often an image processing or other md computational task is described by a transfer function that has certain filtering properties, but it is desired to convert it to state-space form for more direct computation. Such conversion is referred to as realization of the transfer function.

Consider a 2d linear spatially invariant causal system having an input-output relationship described by:

Two cases are individually considered 1) the bottom summation is simply the constant 1 2)the top summation is simply a constant ${\displaystyle k}$. Case 1 is often called the “all-zero” or “finite impulse response” case, whereas case 2 is called the “all-pole” or “infinite impulse response” case. The general situation can be implemented as a cascade of the two individual cases. The solution for case 1 is considerably simpler than case 2 and is shown below.

### Case 1 - all zero or finite impulse response[3][4]

The state-space vectors will have the following dimensions:

Each term in the summation involves a negative (or zero) power of ${\displaystyle z_{1}}$ and of ${\displaystyle z_{2}}$ which correspond to a delay (or shift) along the respective dimension of the input ${\displaystyle x(i,j)}$. This delay can be effected by placing ${\displaystyle 1}$’s along the super diagonal in the ${\displaystyle A_{1}}$. and ${\displaystyle A_{4}}$ matrices and the multiplying coefficients ${\displaystyle b_{i,j}}$ in the proper positions in the ${\displaystyle A_{2}}$. The value ${\displaystyle b_{0,0}}$ is placed in the upper position of the ${\displaystyle B_{1}}$ matrix, which will multiply the input ${\displaystyle x(i,j)}$ and add it to the first component of the ${\displaystyle R_{i,j}}$ vector. Also, a value of ${\displaystyle b_{0,0}}$ is placed in the ${\displaystyle D}$ matrix which will multiply the input ${\displaystyle x(i,j)}$ and add it to the output ${\displaystyle y}$. The matrices then appear as follows:

## References

1. {{#invoke:citation/CS1|citation |CitationClass=book }}
2. {{#invoke:citation/CS1|citation |CitationClass=book }}
3. {{#invoke:citation/CS1|citation |CitationClass=book }}
4. {{#invoke:citation/CS1|citation |CitationClass=book }}