Causal systems

  • #1
17
1
Summary:
A major result in control theory with no proof anywhere.
Prove that if a system's transfer function is not proper (order of numerator greater than order of denominator) then the system is not causal.
 

Attachments

  • question_en.pdf
    65.9 KB · Views: 33

Answers and Replies

  • #2
Baluncore
Science Advisor
9,864
4,268
Summary:: A major result in control theory with no proof anywhere.

Prove that if a system's transfer function is not proper (order of numerator greater than order of denominator) then the system is not causal.
First you need to understand why it must be the case.
https://lewisgroup.uta.edu/ee4314/lectures/Lecture 3.pdf
“The effects of zeros and poles of a system combine and when the system has more finite
zeros than poles then the overall effect is an anticipative one, and the system is not
causal. When a system has more poles than finite zeros (i.e. the transfer function of the
system is strictly proper) then the system is causal. If the transfer function of a system
has relative degree equal to 0 then the system is causal and there is also instantaneous
transfer between input and output.”
 
  • #3
17
1
First you need to understand why it must be the case.
https://lewisgroup.uta.edu/ee4314/lectures/Lecture 3.pdf
“The effects of zeros and poles of a system combine and when the system has more finite
zeros than poles then the overall effect is an anticipative one, and the system is not
causal. When a system has more poles than finite zeros (i.e. the transfer function of the
system is strictly proper) then the system is causal. If the transfer function of a system
has relative degree equal to 0 then the system is causal and there is also instantaneous
transfer between input and output.”
OK, but this is not a rigorous proof by any means. Further the statement "when the system has more finite zeros than poles then the overall effect is an anticipative one" needs proof.

Source https://www.physicsforums.com/threads/causal-systems.1006328/
 
  • #4
berkeman
Mentor
60,601
10,916
You did not reply to the last post in your thread from February. Were you able to look at the textbook recommended by @mpresic3 ?

I looked up in my control theory book Modern Control Theory, by William L Brogan, Third Edition. I have not explored the issue in depth but the discussion after 3.4.4. State Equations from Transfer Functions on page 88 to address your question directly. It gives the transfer function Y(s) / U(s) as the ratio of two polynomials. Please see the discussion. It is probably in the other texts too. what text are you using?
 
  • #5
anorlunda
Staff Emeritus
Insights Author
9,821
6,940
The discussions upthread make it sound like causal/anticipatory are definitions, not derived results.
 
  • #6
17
1
You did not reply to the last post in your thread from February. Were you able to look at the textbook recommended by @mpresic3 ?
I cannot see something relevant on given reference. It would be better if the quotes are more accurate, this would save us precious time, not having to check 10 pages of text.
 
  • #7
35,302
7,173
OK, but this is not a rigorous proof by any means. Further the statement "when the system has more finite zeros than poles then the overall effect is an anticipative one" needs proof.
Not necessarily. I agree with @anorlunda's point that these terms seem to be definitions -- definitions don't need to be proved.

The link above is to this thread, so isn't at all helpful.
It would be better if the quotes are more accurate, this would save us precious time, not having to check 10 pages of text.
Maybe it would save you precious time in reading 10 pages, but at our expense.
 
  • #8
jasonRF
Science Advisor
Gold Member
1,476
533
I'm probably missing something important, as I never took control systems. But it isn't obvious to me that this is true. Here is a possible counterexample.

If ##x(t)## is the input and ##y(t)## is the output, then a differentiator ##y = -a\, \frac{dx}{dt}## will have system function ##H(s) = -a\, s##. A circuit with an ideal op-amp, one resistor and one capacitor can realize this system (with ##a = RC##), and the circuit would be causal. Of course in the real world such a circuit would have stability problems, but stability and causality are different things. Causality simply requires the impulse response to be zero for ##t<0##, and the differentiator has impulse response ##h(t) = -a\, \delta^\prime(t)##.

Is there a reason why this example doesn't apply?

jason
 
  • #9
DaveE
Science Advisor
Gold Member
1,809
1,466
I don't think ## \delta(t) ## is causal. It's normally defined by the integral whose limits include t<0.

$$ \int_{-\infty}^\infty f(t)\delta(t) \, dt=f(0) $$

Or, consider it's Fourier transform, which must include t<0 components.
 
  • #10
DaveE
Science Advisor
Gold Member
1,809
1,466
Also, not really about causality (I think), but a true differentiator would require infinite gain at infinite frequency, which makes it not physically realisable.
 
  • #11
jasonRF
Science Advisor
Gold Member
1,476
533
Also, not really about causality (I think), but a true differentiator would require infinite gain at infinite frequency, which makes it not physically realisable.
Agreed. However, if a system with infinite gain at infinite frequencies is not allowed then the OP makes no sense at all. The matter to be proved (or disproved?) effectively is that systems (edit: with rational system functions) with infinite gain at infinite frequency are not causal.

jason
 
  • #12
jasonRF
Science Advisor
Gold Member
1,476
533
I don't think ## \delta(t) ## is causal. It's normally defined by the integral whose limits include t<0.

$$ \int_{-\infty}^\infty f(t)\delta(t) \, dt=f(0) $$

Or, consider it's Fourier transform, which must include t<0 components.
The delta distribution and derivatives only have support at the origin, so in that sense are zero for ##t < 0## (as well as for ##t>0##) so I had assumed they are causal. If they are not considered causal then then the what the OP wants to prove is pretty trivial. You can simply do synthetic division to make the system function look something like ##H(s) = c_0\, s^p + c_1\, s^{p-1} + \cdots + c_{p-1}s + H_p(s)## where ##H_p(s)## is proper. The impulse response (just the inverse transform) then has derivatives of delta functions so would be non-causal. If that is all there is to it, then I'm surprised there has been more than one thread on this. But to me it seems weird to call the differentiator non-causal. After all, the response to an input does not occur before the input. But if that is the convention then who am I to argue? Could you provide a reference where that convention is explained?

Note that if we want to have even the possibility of including non-causal systems, then the bilateral Laplace transform must be used which is defined by
$$ \mathcal{L} \left[ f(t)\right] = \int_{-\infty}^\infty f(t) \, e^{-st}$$
which does have the limits you want. The unilateral Laplace transform throws away the non-causal part of of a system, so isn't useful for trying to determine whether a system is causal.

edit: I think I misunderstand what you are getting at with your comment about the integral. Could you explain more? Note that the unilateral Laplace transform can be defined multiple ways. I learned the definition ##\int_{0^-}^\infty f(t) \, e^{-st}## (See Lathi's Linear Systems and Signals, or the second edition of Signals and Systems by Oppenheim et al), and the lower limit of ##0^-## means that the transform of the delta function is 1, and also allows the most natural initial values to be used. See http://web.mit.edu/2.737/www/handouts/LaplaceArticle.pdf


jason
 
Last edited:
  • #13
jasonRF
Science Advisor
Gold Member
1,476
533
I'm pretty tired so am not thinking very quickly. But even if the derivatives of the delta function aren't considered causal (which would be sufficient for 'proving' the original statement), the delta function must be. The system that is simply an ideal wire (##y=x##) obviously has the impulse response of ##\delta(t)##. Surely that is a causal, physically realizable system. Of course the system function is ##H(s)=1## so is not included in the subject of the thread.
 
  • #14
DaveE
Science Advisor
Gold Member
1,809
1,466
I'm pretty tired so am not thinking very quickly. But even if the derivatives of the delta function aren't considered causal (which would be sufficient for 'proving' the original statement), the delta function must be. The system that is simply an ideal wire (##y=x##) obviously has the impulse response of ##\delta(t)##. Surely that is a causal, physically realizable system. Of course the system function is ##H(s)=1## so is not included in the subject of the thread.
Yes, that makes sense. I neglected that the impulse response is defined as the response to ##\delta(t)##, so of course the output can also be non-causal.

I'm not as convinced as you about a theoretical differentiator being causal. What should it's output be at the peak of a triangle wave, where the derivative is discontinuous? Doesn't that discontinuous response require knowledge about the future value of the input? You wouldn't know you're at the peak until after it's occurred. Any delay in the response once it "saw" the peak would mean it has pole(s) in the transfer function. This is related to the problem of infinite gain required at infinite frequency.
 
  • #15
17
1
I think looking at the differentiator is a correct approach. So, its impulse response is the unit doublet. Causality requires it to be 0 for t<0. Is it ?
Furtermore, causality does not make sense for signals, only systems.
 
Last edited:
  • #16
jasonRF
Science Advisor
Gold Member
1,476
533
I'm not as convinced as you about a theoretical differentiator being causal. What should it's output be at the peak of a triangle wave, where the derivative is discontinuous? Doesn't that discontinuous response require knowledge about the future value of the input? You wouldn't know you're at the peak until after it's occurred. Any delay in the response once it "saw" the peak would mean it has pole(s) in the transfer function. This is related to the problem of infinite gain required at infinite frequency.
The only thing I'm (edit: mostly) convinced of is that in an ideal world, a differentiator circuit built with ideal components (opamp, resistor, capacitor) would be causal. The fact that an ideal opamp is required doesn't bother me since virtually all of the systems we analyze with system theory are idealized. For example, V=IR doesn't actually apply for arbitrarily large currents through a resistor, and a resistor that stays linear regardless of the current through it is not physically realizable. But the mathematical models we build with the idealized components are of course very useful, even if all of them fail to be 'true' with arbitrary system inputs.

Otherwise I think I have left open the possibility that, from a system theory perspective, the differentiator might be considered non-causal. Indeed, if that is the case, then as I showed in post 12 it is pretty easy to prove the statement that is the subject of this thread.

jason
 
  • #17
jasonRF
Science Advisor
Gold Member
1,476
533
Furtermore, causality does not make sense for signals, only systems.
Agreed.


I think looking at the differentiator is a correct approach. So, its impulse response is the unit doublet. Causality requires it to be 0 for t<0. Is it ?
From the perspective of distribution theory (generalized functions) the support of the unit doublet is a single point - the origin. So from that perspective it can be thought of as zero for ##t \neq 0##. But as someone who knows almost nothing about control theory, I don't claim to know whether systems with such impulse responses are somehow excluded from the class of causal systems. I wouldn't be shocked to learn that they are.

jason
 
  • #18
17
1
The only thing I'm (edit: mostly) convinced of is that in an ideal world, a differentiator circuit built with ideal components (opamp, resistor, capacitor) would be causal. The fact that an ideal opamp is required doesn't bother me since virtually all of the systems we analyze with system theory are idealized. For example, V=IR doesn't actually apply for arbitrarily large currents through a resistor, and a resistor that stays linear regardless of the current through it is not physically realizable. But the mathematical models we build with the idealized components are of course very useful, even if all of them fail to be 'true' with arbitrary system inputs.

Otherwise I think I have left open the possibility that, from a system theory perspective, the differentiator might be considered non-causal. Indeed, if that is the case, then as I showed in post 12 it is pretty easy to prove the statement that is the subject of this thread.

jason
"The impulse response (just the inverse transform) then has derivatives of delta functions so would be non-causal": Well, this is not obvious to me. Am I missing something trivial ?
 
  • #19
jasonRF
Science Advisor
Gold Member
1,476
533
"The impulse response (just the inverse transform) then has derivatives of delta functions so would be non-causal": Well, this is not obvious to me. Am I missing something trivial ?
This quote is taken a little out of context. Here is a larger chunk of that post

The delta distribution and derivatives only have support at the origin, so in that sense are zero for ##t < 0## (as well as for ##t>0##) so I had assumed they are causal. If they are not considered causal then then the what the OP wants to prove is pretty trivial. You can simply do synthetic division to make the system function look something like ##H(s) = c_0\, s^p + c_1\, s^{p-1} + \cdots + c_{p-1}s + H_p(s)## where ##H_p(s)## is proper. The impulse response (just the inverse transform) then has derivatives of delta functions so would be non-causal.
All I was saying is that a system with a transfer function that isn't proper will have derivatives of delta functions as part of the impulse response. So if systems whose impulse responses include such things are considered non-causal, then systems with an improper transfer function are non-causal.

EDIT: also, I was assuming you knew that the inverse Laplace transform of ##s^n## is proportional to ##\delta^{(n)}(t)##.
 
  • #20
17
1
No they are not considered non-causal. This is to be proved, this is the whole idea. Non-causal are systems whose impule response is NOT 0 for t<0.
 
  • #21
jasonRF
Science Advisor
Gold Member
1,476
533
No they are not considered non-causal. This is to be proved, this is the whole idea. Non-causal are systems whose impule response is NOT 0 for t<0.
I understand what you are saying, but when the impulse response includes generalized functions at the origin then it just isn’t obvious to me how it would be treated in the standard control theory literature. After all, the derivative of a delta is actually a functional, so maps functions to numbers. Technically, it doesn’t make sense to ask about the value at a given time. That is why in prior posts I mentioned the support instead of specifying times for which they are non-zero. So again, it is not obvious to me how folks doing control theory treat such things. If you already knew your original question was about derivatives of deltas then you should have phrased it that way; it would have saved everyone a lot of time.

Based on this statement:
Summary:: A major result in control theory with no proof anywhere.
you have looked in a lot of control theory texts searching for a proof. Do any of those texts discuss impulse responses that include the derivatives of deltas?
Jason
 
  • #22
17
1
I was not sure this is the only approach (e.g. derivatives of deltas), and still am not. If this is the case, it looks quite complicated.
Some texts do refer to impulse responses that include derivatives of deltas (e.g. Willsky, Signals & Systems), but I would not say "discuss".
Maybe, because it goes beyond the scope of an engineering curiculum.
 
  • #23
jasonRF
Science Advisor
Gold Member
1,476
533
At work today I took a look at my copy of Fourier Analysis and Applications by Gasquet and Witimski. I had never read the chapter on Distributions and Filters before. It basically says that a system is causal if and only if the support of ##h## (allowed to be a generalized function here) is in ##[0, \infty)##, so the differentiator would be causal. It is unstable, though, in the sense that a bounded input can yield an unbounded output.

During lunch I also wandered to the library and found that not all authors agree. Brogan (modern control systems 3rd edition) claims without proof that a proper transfer function is required for causality. Kudeki and Munson (analog signals and systems) essentially claim that an impulse response of ##\delta^\prime(t)## is causal since the output doesn’t preceed the input. I found another text (forgot to note author/title) that claimed (edit: without proof) a proper transfer function was required for a stable causal system.


jason
 
Last edited:
  • #24
17
1
(Almost) every textbook on Control Systems contains this assertion-theorem. That's why PID is non-causal. Stability is another matter. And note that we are talking about Linear, Time Invariant (LTI) systems, initially at rest (in order to get the transfer function). In books for distributions, differential equations, signals etc., this may not be the case, when contradicting assertions, like the ones you mention, are made. In any case, I am glad that my question seems to be a valid one.
 
  • #25
jasonRF
Science Advisor
Gold Member
1,476
533
While the different texts did have different contexts, it seemed like they used equivalent definitions of causality. Of the few texts I looked at, the only texts that would classify the differentiator as acausal offered no proof or discussion. Since differentiation can be computed using the limit of a backward difference it requires only present and past values; classifying it as acausal requires some explanation I think.

I agree that the question is valid, and I find it tremendously unsatisfying that standard texts assert this without proof - or even a reference to a proof based on the few books I glanced at today. Perhaps this is unfair, but I suspect the various authors are copying this result from the books they learned from and not really scrutinizing it. They may gloss over it because whether improper systems such as differentiators are classified as causal or acausal is purely academic. Improper systems are impractical so are not worth spending time on.

As for me, unless I see a proof to convince me otherwise, I will not accept the assertion that causality requires a proper transfer function. I do accept that systems with improper transfer functions are not realizable.

jason
 

Related Threads on Causal systems

  • Last Post
Replies
3
Views
24K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
2
Views
5K
  • Last Post
Replies
9
Views
39K
  • Last Post
Replies
2
Views
5K
  • Last Post
Replies
5
Views
4K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
2
Views
16K
  • Last Post
Replies
3
Views
2K
Top