A linear unary operator maps a single input signal to a single output signal linearly. Let denote a linear unary operator applied to signal , written .

Operator Notation

All Linear Unary Operators can be expressed and manipulated algebraically.

Operator Expressions are Operators

A polynomial expression built from operators is itself a new operator. For example, can be factored as , which is equivalent to where . The expression is a new operator that can be applied to any signal, composed with other operators, and manipulated algebraically like any other linear unary operator.

Composition

Cascading two linear unary operators multiplies their expressions:

Distributive Property

Multiplication distributes over addition:

Polynomial Expansion

Composed operators expand like polynomials.

Operator Reciprocals

Two operators are reciprocals if their product is the identity operator. The reciprocal of is the geometric series:

Verified by synthetic division:

More generally, the reciprocal of for scalar is:

This shows that an implicit system is equivalent to an infinite explicit sum .

Explicit and Implicit Forms

A system can be represented in two forms depending on whether the output is directly computed from the input or only constrained by it.

Explicit Form

An explicit operator expression is a recipe; it directly specifies how to compute the output from the input. It is imperative: it tells you what to do.

This corresponds to a Feed-Forward structure. The output is a function purely of current and past inputs.

Implicit Form

An implicit operator expression is a constraint; it states a rule the input and output must satisfy, without directly giving a formula for the output. It is declarative: it tells you what must be true.

This is the same algebraic content rearranged so that appears on both sides. Solving for requires inverting the operator, which produces a Feedback structure.

The accumulator is the canonical implicit system:

The output depends on its own past value, so there is no closed-form recipe that avoids self-reference.