2
$\begingroup$

I have two black boxes (representing some multi-physics but that does not matter), where box #1 takes some quantity T as input and produces some quantity P as output; and box #2 takes P as input and produces T as output. Suppose there is a steady-state equilibrium point $P_0,T_0$, and I can study the linear response for each box at the equilibrium point by applying a small amplitude sinusoidal perturbation to the input and measuring the established sinusoidal perturbation in the output, like this:

For box 1: input is $T_0 (1 + \epsilon \sin(\omega t))$, and the output is $P_0 (1 + A \epsilon \sin(\omega t + \delta_1))$

For box 2: input is $P_0 (1 + \epsilon \sin(\omega t))$, and the output is $T_0 (1 + B \epsilon \sin(\omega t + \delta_2))$

So for the perturbations one can write it in terms of complex amplification factors,

$ \hat{P}=\cal{A} \hat{T} \\ \hat{T}=\cal{B} \hat{P} $

Here $\cal{A,B}$ are two complex-valued amplification factors that we can obtain for a range of the driving frequency $\omega$.

The overall amplification factor is $\cal{AB}$ which is a complex-valued function of the modulation frequency $\omega$. Does the product $\cal{AB}$ contain all needed information to know whether the system goes unstable, if the two boxes get connected to each other? If $\cal{AB}$ happens to be real and larger than 1 then it seems to be sufficient for instability because the signal comes back reinforced and with the right phase. But more generally, for complex $\cal{AB}$, what is the criterion for instability? Is it $Re(\cal{AB})$>1? This seems to be such a basic problem, many systems fall in this category, e.g., a microphone connected to a loudspeaker, so the answer to this must be something simple and well known.

$\endgroup$
3
$\begingroup$

There is an entire research field on system theory. The problem is well known but that doesn't mean the answer is simple.

Some basics

First, let me write your problem in a more common notation. In general, a discrete linear system is described as:

$x_{k+1} = Ax_k + Bu_k $

$y_{k} = Cx_k + Du_k $

We call $x$ the internal states and $y$ the observable output. I can be shown that for this system to be stable, it is sufficient that the internal states are stable. This is the case if the eigenvalues $e_i$ of $A$ lie within the unit circle ($|e_i| < 1$).

Alternatively, you can also use a continuous linear system:

$\dot{x} = Ax + Bu $

$y = Cx + Du $

Here, the stability condition is that the real part of the eigenvalues must be smaller than zero. You appear to have mixed up these stability conditions.

Analysis of nonlinear systems

In general, analysing nonlinear systems is pretty hard. That's why we usually calculate a linearisation around some fixed points. Unless the eigenvalues are zero, this linearisation is accurate around the fixed point, so if the linear approximation is stable, the nonlinear system is locally stable around this fixed point.

Black box methods

If the system you are studying is a black box, you will have to estimate the system somehow. The method you have described is not sufficient. Even a simple linear system can have varying responses to signals of different frequencies.

You will need to sample multiple frequencies, either by applying signals separately, or by applying a multi frequency signal like white noise and applying some processing. You can use this to estimate the linear system and draw stability conclusions from there.

Edit: Specifics about feedback and your problem

I didn't understand from your question that you have access to the linear response functions. For brevity, I'm going to be working with a continuous time system from now on. I'll also be use the laplace transform representation of the transfer function.

Let's say that we have a first system (the microphone) with transfer function $A(s)$ and second system with transfer function $B(s)$. Putting these two after eachother in a feedback loop results in the following transfer function: $\frac{A(s)B(s)}{1 - A(s)B(s)}$ (you can find this derivation online, or i can write it out for you if you are interested). This transfer function should be a rational function for a linear system, with zeros $z_i$ and poles $p_i$. The stability of the system depends on the poles $p_i$, if their real part is positive, we have instability.

The problem is, i don't think we have access to the full complex transfer functions here. We only have the Fourier transform, which (if it exists) amounts to the laplace transform with imaginary $s$. The Fourier transform doesn't tell you everything about the system. It ignores any transient behaviour and gives you the frequency response after everything has settled down. If we get instability, the signal is constantly changing so this transient behaviour is important.

Small example

Let's say that AB combined (without feedback) amounts to the following system:

$x_{k+1} = au_k\\ y_k = x_k$.

Then the z transform (a discrete equivalent to laplace) of the open loop system is $az^{-1}$. The closed loop system then has a transfer function $\frac{az^{-1}}{(1-az^{-1})}$

The open loop system just copies the original signal one unit of delay later (and slightly amplified). But the closed loop system behaves differently. An impulse will result in a step function that decays according to $a$: $y_k = a^ku[k-1]$, with $u$ the unit step function.

In this simple system, you get your intuitive solution, if $|a| > 1$, you get instability. You can also see that $a$ is a pole of the closed loop transfer function.

In a more complicated example, you will have more memory in the system opening up the potential for destructive interference of the signal. However, the intuitive rule should still work most of the time.

$\endgroup$
7
  • $\begingroup$ Thanks a lot for your answer. What I meant is that the linear response functions for my two black boxes are available as functions of [real-valued] frequency. I'll try to make it clearer in the problem statement. However, I am not sure I understand your equations representing the continuous system. If the two black boxes that we have are a microphone converting acoustic signal X to electric signal Y, and a loudspeaker converting electric signal Y to acoustic signal X, where does the time-evolution ODE come from? $\endgroup$ Apr 23 at 15:10
  • 1
    $\begingroup$ I've amended my answer to include information about how to handle this problem if you have the transfer functions. I can recommend matlab and its system identification toolbox for estimation. $\endgroup$ Apr 24 at 8:51
  • 2
    $\begingroup$ If you have any more questions, i suggest you move this question to an engineering forum. This isn't really scientific computing (although a lot of applied mathematics researchers are engineers) $\endgroup$ Apr 24 at 8:54
  • 1
    $\begingroup$ Thanks a lot, you gave me some important leads. Although my question is not fully answered yet your answer is very useful. From reading on Control Theory I am getting the idea how the frequency response of the system is used to construct the Bode plot, and from that to estimate the transfer function. You are right, this is not computational science, it Electrical Engineering question, I'll move it to the right forum. $\endgroup$ Apr 25 at 16:46
  • $\begingroup$ One more question, please. Your expression for the transfer function is very close to what is shown in Wikipedia article on the closed-loop transfer function en.wikipedia.org/wiki/Closed-loop_transfer_function, but not exactly. Is the Wikipedia expression what you actually meant? If not, why different and where does your formula come from? I would not agree that the formula derived in Wikipedia describes my system - they consider external input signal X and output Y. In my case there is no external input, so I'd think my transfer function here is just the product of A and B - correct? $\endgroup$ Apr 26 at 3:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.