
390
time‐varyingtemperature;thisexampleisconsidered
throughoutthepaper.
Asweknow,temperatureasaphysicalquantityis
bounded. For example, let us consider the
temperature on Earth. We can say that this
temperature does not exceed the lower limit of‐100
degrees Celsius and the upper limit of
+100 degrees
Celsius. Considerit as changing with the passageof
time: opassing hours, days, years. So it will be
represented by a function of time. Further, let us
identify it with the function x(t) introduced
previously.Soitwillbeaboundedfunctionforwhich
wecanwrite
for every
tM t
, (16)
whereMdenotestheboundingconstraintimposedon
thefunctionx(t).
Letusnowtakesucha
(t)functionoccurringin
(13) and (14) which does not exhibit the constraint
givenin(16).Thatistherearepossibleabsolutevalues
of
(t) which exceed the value of M. In this case,
obviously, the functions x(t) and
(t) cannot change
their roles in (13) and (14) because
(t) so chosen is
notaphysicallyreasonablefunctionthatdescribesthe
temperature changes on Earth. In other words, the
above functions x(t) and
(t) do not commute (their
rolesdonotcommute)intheintegralsin(13)and(14)
becauseofphysicalreasons.
Of course, bydropping the condition(16) forthe
functionx(t),weʺrestoreʺthecommutativityproperty
of the functions x(t) and
(t) in the integrals in (13)
and(14),butatthecostthatthefunctionx(t)willnot
beabletobeinterpretedasafunctionthatdetermines
temperaturechangesonEarth.
As we will see further on, the lack of
commutativitypropertyofcertainfunctions
(t)with
the functiondescribing temperature changes on
Earth will manifest itself in full as we move in the
formulas (13) and (14) from a finite‐time averaging
operation(i.e.withafinite)toʺidealʺaveragingin
time,i.e.withthevalueoftheparameterT
agoingto
zero.
The result presented in this section, which
indicates possibility of the lack of commutativity
property between an input signal at the input of a
linearsystemanditsso‐calledsystem’sfunction–ina
description of that system, may seem a little bit
strange. We are
accustomed to the fact that the
aforementionedproperty takes place. However, note
that the fact that this is not always the case has
already been pointed out by others, for example by
IrwinSandberginthefollowingpapers:(SandbergI.
2008) and (Sandberg I. 2000). So, really, the
commutativity property is
not obligatory in linear
systems.
3 IDEALAVERAGING
Let us now consider the case of a temperature
measurement, as in the example of the previous
section, where the averagingoperation is performed
at ever shorter time intervals. Note that such a
scenarioisreferredtointheliterature,forexample
in
(StrichartzR.1994)tojustifytheneedfortheuseofa
Dirac delta. So, now, we will assume that in our
averagingfunction
(t),givenby(8),theparameterTa
goes to zero. Thus, this function will approach the
Diracʹs delta – in the sense of the series‐based
distribution theory (see, for example, (Hoskins R. F.
2010), (Strichartz R. 1994) – in the integrals in the
expressions (13) and (14). And these formulas will
takethenthefollowing
forms:
iais s s
y t y kT x kT d x kT
(17)
for t belonging to the successive time intervals
1
s
kT t k T
when k assumes successively the
valuesk=…,‐1,0,1,…,and
for 1
and
0 outside the above range of 's .
s
ai s s s
kT i
ss
y kT x kT d x kT
yt
kT t k T
t
(18)
In(17)and(18),thevaluesof
'
ai s
ykTs
standfor
thecorresponding
'
as
ykT s
calculatedinthecaseof
consideringanidealaveraging;thatiswiththeonein
which the parameter
0
a
T
. Obviously, the latter
means that the system’s function in this case
tt
(in the sense explained, for example, in
(HoskinsR.F.2010)and(StrichartzR.1994)).Andjust
becauseofthisreason,wespeakhereaboutanideal
averaging(extendingthesubscriptaat
'
as
ykT s
to
ai). Moreover, for the same reasons, the letterʺiʺ is
also added to as an subscript at y(t) in (17) and for
extending subscripts at
's
s
kT
yt in (18), i.e. to
visualize
i
yt y t
andk=…,‐1,0,1,….
Takingintoaccount the above changesin indices
requires(15)toberewritten,too;namelyas
s
ikTi
k
yt y t
. (19)
Furthermore,notethat thefunction y
i(t) givenby
(17)or(19)remainsastepfunction(asits“non‐ideal”
version given by (13) or (15)). Its steps in the
successive time intervals:
1,
s
kT t k T
,
k=…,‐1,0,1,…, will be equal to the values of the
function x(t) at the successive time instants kT
s,
k=…,‐1,0,1,….
Wedrawalsothereaderʹsattentiontothefactthat
thefunctiony
i(t)duetoitsshapeasastepfunctionis
notidenticalwiththefunctionx(t).Inotherwords,the
following:
i
yt xt
(20)
holds.
Finally in this section, note that the function x(t)
cannot replace in any way that action of the Dirac
delta(i.e.theactionofperforminganidealaveraging),
which we see in (17) or (18). Simply because of the