Professional Documents
Culture Documents
(EJP) (Srobar) Feedback Relationships-A Neglected Theme in Physics
(EJP) (Srobar) Feedback Relationships-A Neglected Theme in Physics
Fedor Srobar
Institute of Radio Engineering and Electronics. Czechoslovak Academy o f Sciences, Chaberski 57,
Prague 8, CS-182 51, Czechoslovakia
Abstract. Feedback mechanisms play a substantial part RRum6. Les mkcanismes de couplage riactif jouent un
in many phenomena scattered across various provinces of rBle important dam boucoup de phenomknes dispers6s
physics. Their mmt prominent manifestation is the parmi diverses branches de physique. Leur manifestation
bistability in what may broadly be formulated as the la plus prominente est la bistabiliti dam ce qu'on pourrait
inputloutput behaviour of the system. Several concrete generalement formuler comme le comportement entrkl
instances are analysed using a modified signal Row graphs sortie du sys16me. Quelques exemples concrets sont
(causal diagrams) method. Presence of at least one analysis en employant la methode de graphes au courents
feedback loop in the representative diagram appears, by de signaux modifiie (la melhode de diagram" causals).
induction. to be the sine qua non for the occurrence of La p+sence d a u moins une boucle de couplage rbaactif
bistability. As a sufficient condition, the sum of the so- dans le diagramme representatif risulte. par induction,
called transmission functions of all the diagram loops, as d%trela condition sine quo non pour I'apparition de la
a plotted function of the output variable. must cross the bistabilite. La condition suffisante consiste en ce que la
critical level of unilv twice. somme de fonetionn de transmission de toutes les boucles
dans le diagramme, trade en fonction de la variable de
sariie. doii iraverser le niveau critique aunith deux iois.
Flgure 1. Diagrams representing elementary causal ha2/6'a, = %,02/(l - 1,). For diagram ( a ) this follows
relationships. (a) basic convention, ( b ) serial from the relations 6a, = 'rO,.,6a,, 6a, = F a , +
determination. (c) parallel determination, ( d ) two &6a,. For the other two diagrams the proof IS
parallel influences on a2 originating in a,. analogous.
Relation 60, = r;: ha, = ha^ defines the diagram
a, + a2 inverted w i d regard to that in figure I(a). A
useful lemma [4] states that the diagram for parallel
causal diagrams closely to the tirst-order differentiai determination, figure iiuj, can be inverted by
equations. inverting one of the branches and changing the
Basic conventions and rules are summarized in transmission function sign of the second branch
figure I . The primitive pattern ( a ) portrays the dif- (figure 3). The inverted pattern contains a feedback
ferential relation ha, = r.,. ha,. The change da, in loop I = a2a,a2with the transmission function f , =
quantity a , is construed as the cause of the change 60, 'ra2a,(-2ro!a2)= -2re,mJ'ra,a2. The proof Follows
the equat~onchain role, = lGJ2 = ('& + 2 r#,J'
from
=
in quantity a,. Signals ha,, 6a, are supposed to reside
O l '-t 1Ii1 l. -l 1* f ain i /':o(al) = $&/(! - !i). Making refer-
on :he vii:iies a,, a,. r,, , is. called :hi transmksioa ' '+
function of the oriented line a, a,. It is generally equal ence to figure 2(b), the last expression is recognized as
to the partial differential coefficient aa#a, evaluated the transmission function of the diagram in figure 3.
under proper conditions. The next three patterns Typically, one is interested in the relationship
represent serial ((b): ha, = fs,olra~a3hal) and parallel between :WO quantities X and Y that are bound by a
((c): 60, = fo,o,6a,+ r,,,,Sn,, and ( d ) :ha, = + set of (generally) non-linear relations G'"(X, Y , { U , ] ) =
*rn,n2)hah) determination. 0 (i = I , 2 , . . . ,n ) involving also some 'inner' variables
a, ( j = I , 2, . . . ,m ) whose number depends on the level
of detail. Differentiating one obtains a set of linear
algebraic equations relating the variations 6X, 6 Y,
Figure 2. Simple panerns containing two vertices and a and da,
single feedback loop.
g';dX+g'~hYtCg~,'6'Scr,=O
i
I? 1 4 1
,!=I,',.... ",,
~~>
where F(X, Y) is a well behaved function and (Upper-left indices refer to individual items of the set
(3) used to evaluate the differential coefficients.)
Y) = z l / x ( X ,Y)
rjS(X% (2) Equation set (4) can be represented by the diagram in
figure 4, with edge labels a, b, c indicating which
is the transmission functions sum extending over all equation of the set (4) contributed the given diagram
closed 1 0 0 ~ sin the diaeram. Only~.s i m ~ l eloODSare edge. When we consider the external changes in press-
included, i n the sens; that no oriented edge is ure p as the sole primary cause of changes in the
encountered more than once on the given closed path system, there is n o need to modify the diagram:
and the loop cannot he decomposed into two or more the change Sp injected at vertex p propagates along
constituent loops. Formula ( I ) presents a generaliz- the oriented edges and the corresponding output 60
ation ofthe expression valid for the simple patterns of can be monitored at vertex v . There is a feedback loop
figure 2. in the diagram-the closed path wpcp’w with the trans-
mission function
1.2. An illustrative example: the van der Waals
equation
Analysis of this simple and well known equation pro-
vides a suitable entry point both to the theme of Using the rules of section 2.1, the transmission func-
feedback relationships in physics and to applications tion of the whole diagram can be written
of the diagrammatic method.
Introducing auxiliary quantities p‘ and pc, we can
write
p’(w - h ) = RT (34
P‘ = P + Pc (36)
= -(w-b)‘/RT
(I--- RT v’
(6)
The differential equation of the isotherms is dvldp =
(We consider the nomenclature as familiar or self- 18%.
evident to the reader.) What we are after is the dif- The controlling influence of the feedback loop on
ferential equation for the van der Waals isotherms; the van der Waals isotherms is apparent from the
equations (3) are therefore differentiated under the example in figure 5 . The two-phase interval of volume
condition of constant temperature: values (characterized by dv/dp > 0) is coextensive
with the volume interval of supercritical feedback,
6v = f“.”SP’ (40) llwp(w) > I (existing for T < T, = 8a/27hR). Van der
Waals gas possesses, unlike the ideal gas (for which
Sp’ = I& + l,c,.6p, (46) rloop 0), a built-in feedback mechanism that may,
under proper conditions, be the cause of instability of
the single-phase states.
4 F Srabar
0 5 lo 0 0.5 1.0
p lMPal ti..,
Flgure 5. Isotherms (left-handpanel) and feedback loop transmission function-versus-molarvolume dependences
(right-handpanel) for t h e van der Waals gas (CO,: a = 3.64 x 106MPacm'mol-2.b = 42.7cm'molr': T, = 31T).
Common vertical scale, temperature values in "C label t h e curves.
0.10'
I
~
O.O5I
F I V 1"
Flgure 7. Characteristics of an ideal thermistor: field intensity and transmission function of the feedback loop a s
functions of the current density. To = 3 0 0 K . 0 = 3WOK. values of A in WcmPK-' label the curves.
transmission function of the diagram between vertices 3.3. Fabry-Perot reonator filled
P, (electrical input) and no (optical output) can he with saturable absorber
written as This is another instance of an optically bistable sys-
tP,"n = [P,",L,"JI - (11, + Ql (15) tem. Vast two-dimensional arrays of solid-state
microresonators functioning as optical logic gates
where the transmission functions of the two feedback have already been fabricated [ S I .
loops are A semiclassical mean-field formulation of ahsorp-
1
= LP">
2 tive histability in the Fahry-Perot cavity can be found
ti, = - b,.,r","D%pP, 11,
in the paper of Mandel and Erneux [9]. A resonator of
(16) length L, filled with a medium with linear absorption
coefficient a and delineated by two mirrors with reflec-
The differential equation of the steady-state light- tivity R is pumped by a coherent monochromatic field
current characteristic is then of amplitude y. This injected (input) field (acting as a
dno/dPi = CP,"~. (17) component of the internal field defined below) gives
rise to the atomic polarization s and changes the
Equations (15)-(17) have been numerically evaluated population difference d between the upper and lower
for the following parameter values: B = 1.33 x levels of the atoms of the medium. The reaction field
I O ~ " c m ' s ~ ' ,fi = IO-', ys = 6.7 x IO'cms-', i,= radiated by polarization together with the incident
T* = Ions, T~ = 3.73ps, a = 2.67 x 10-'5cms, 6 = I x field form the total internal (output) field x. It is this
10-'6cm", c = - 165cm.'. Two values ofthe pumped field which-nce established-controls the processes
section volume fraction, y , = 1 and y , = 0.5, corre- in the medium.
spond to the customary laser and optically bistable If suitably normalized, the above quantities obey
two-section device, respectively. The results are given the Maxwell-Bloch time evolution equations:
in figure 9, again as a confrontation of the input/
output characteristics with the feedback loops' tran- dx/dt = -x+y-ZCs (184
sition functions. The scale of the ti axis has been
adjusted so as lo highlight the overall course of the klds/dt = -s + xd (186)
curves rather than their incidence with the critical
level of unify; it is nevertheless apparent that the sum klldd/df = - d + I - xs (Iscl
ti = 0,+ t,* for y , = 0.5 has a shape compatible with
S-shaped no-versus-P, characteristics. It grows where k, and kllare the field relaxation rates divided
monotonically with increasing npfrom small positive by the transverse and longitudinal atomic relaxation
values, crosses the level of unity, reaches a maximum rates, respectively, and C = aL/[2(1 - R)] is the
and decreases monotovically again, crossing the critical bistahility parameter. The first terms on the right-
level once more. It is to be noted that only the sum ti hand sides of ( 1 8 ) refer to the decay processes; the
behaves in this way, For the customary one-section product terms xd and xs represent the cooperative
laser, y , = I , there is no crossing point of the I&) effects.
curve with the critical level; consequently, there IS no Diagrammatical analysis of this problem [IO] starts
bistable behaviour. with differentiation of the stationary (d/dr = 0)
Feedback relationships in physics 7
-x
13
>[y
Xd
Y
affinity to the right-hand side of equation (15).
rP ---dx
=
dy
!,>
I
- r,J
'~yx(I
- (r,, + r,> + I,,)'
Input/output characteristics and the companion of
(21)
Flgura 11. Sum of the transmission functions of the three feedback loops in t h e diagram of figure 10 (right-hand panel)
controls the course of t h e inpulloutput characteristics (left-hand panel) 01 t h e non-linear Fabry-Perol resonator (101.
Three qualitative regimes-subcritical (C = 1). Critical (C = 4) and supercritical (C = lO)-are Shown.
1c :1.4.10
5 ,1:4 F
x 10
c= 4
5
0 5 10 15 20 -20 -10 01 to
8 F $lobar
d-!
the presence of at least one feedback loop in the
CY10 representative diagram is the necessary condition for
the occurrence of sigmoidal (S-shaped) characteristics.
in3 This means that the causal configuration of the
controlling factors is such as to determine this
behaviour. The sufficient condition is more quanti-
tative in nature and follows from the relation dY/
d'X = f X Y in conjunction with equations (1) and (2).
Empirically, the functions F(X, Y) and tls(X, Y ) are
;2r
Ii = -20
i=l -10 01 10 20
always well behaved in the physically relevant vari-
able domain so that any singularity on the right-hand
', side of ( I ) is connected with I,, crossing the critical
unity level. Even though analytic separation of X and
Flpure 12. Transmission functions of t h e individual Y is not always feasible, it can he easily effected
feedback loops of the diagram shown in figure 10 and numerically, as it was done in section 3. I. Throughout
their sum. Dependence on variable x 1101. this paper, transmission functions of the feedback
loops were plotted to show their dependence on Y.
The qualitative features of the Y-versus-Xcharacteris-
& is the low-intensity detuning. Both I,. and I,,, can tics are therefore controlled by the position of the
be expressed in terms of I,, 6, and the cavity ti ( Y ) curve relative to the straight line I,,( Y) = 1.
parameters L, a, R, and R,. hen there are two points of intersection, full sig-
The causal diagram representing the system is given moidal characteristics are formed. This corresponds
in figure 13. Again, there is a correlation between the to the bistable behaviour. It should be stressed that all
Iouc-versus-Iimcharacteristics and the curves depicting the loops of the diagram cooperate in the fulfillment
the transmission function f,(lou,) of the single feed- of this condition. In the case treated in section 3.1
hack loop / = I,Sn@4.Ic that is apparent in the there is only one crossing point; the Y-versus-X
diagram [I I]. characteristics exhibit a maximum X value.
A more general form of the denominator of the
3.4. Conclusions expression on the right-hand side of ( I ) can be found
The diagrammatic representation of causal relation- in [I], including products of the transmission func-
ships, as a complement to the customary analytical tions of non-touching loops. However, all loops of the
description, provides an instructive overall map of the diagrams in figures 8 and 10 touch each other so that
physical systems. Diagram edges can express simple these higher-order terms do not appear. It would be
mathematical relationships between quantities. For interesting to know whether there exist physical sys-
instance, the configuration of the two edges pp' and tems where these terms have to be included.
pcp' in figure 4 with transmission functions equal to
unity expresses the addition in equation (36). In most References
cases, however, individual edges represent physical
processes, thus providing higher-level building blocks [ I ] Mason S 1 and Zimmerman H J 1960 Elecrronic
for the description. This, in conjunction with the Circuiu. Signols ond Sysrem (New York: Wiley)
'inherent ability to show up the topology ofthe mutual [2] llmer H N 1977 Signo@usqraphen in der Elekrronik
relationships makes the diagrams a useful tool for (Berlin: Technik)
understanding the operation of complex systems. [3] Srobir F 1972 Czech. J . Phys. B 22 115.5
The analysed instances suggest the conclusion that [4] Srobir F 1988 Phys. Slar. Sol. b IM 581
[SI Berglund C N a n d Klein N 1971 Proe. IEEE 59 1099
.. Macklen
161 E D 1979 Thermlsrors (New York
Flpure 13. Causal links in the lossy saturating Fabry- Electrochemical Publications)
Perot etalon-exhibiting dispersive optical bistability. [7] Lasher G J 1964 Solid-Stale Elearon. 7 707
Description in terms of classical optics I l l ] . [8] Murdocca M 1990 Inl. J . Oploelecrron. 5 191
-Tin
1
-I
1, -Im",
[9] Mandel P and Erneux T 1984 Oprical Bisrabiliry 2 ed
C M Bowden, H M Gibbs and S L McCall (New
York Plenum) p 447
1101 SrobAr F 1990 Phys. Srar. Sol. b 159 229
I
0 t-6*
illj SrobAr F 1991 Ciech. J . Phys. 41 M)
[I21 Garmire E 1989 IEEE J . Quantum Eleclron. 25 289