-
Notifications
You must be signed in to change notification settings - Fork 4
/
sig_sys_ex_06.tex
1793 lines (1594 loc) · 76.2 KB
/
sig_sys_ex_06.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
%------------------------------------------------------------------------------
\clearpage
\section{UE 6: Eigenschaften von zeitkontinuierlichen LTI Systemen}
\label{sec:ue6_lti_ct_eigenschaften}
Wir haben mittlerweile den SigSys Werkzeugkoffer gut aufgefüllt um
zeitkontinuierliche Signale und Systeme beschreiben zu können.
In dieser Übung werden wir uns aus diesen Grundzutaten ein paar wichtige
komplexere Werkzeuge zusammenbauen, um Systeme noch besser interpretierbar zu
machen. Das machen wir anhand von drei ganz einfachen Systemen erster Ordnung,
die jeweils einen Pol und eine Nullstelle haben. Ihre Lage bestimmt ganz wesentlich
was das System genau macht. Wenn wir das Wesen hinter diesen neuen Werkzeugen
bzw. Sichtweisen verstanden haben, ist es eine vergleichsweise einfache
intellektuelle Leistung das auf komplexere Systeme (also Systeme mit noch mehr Nullstellen
und Polstellen) zu übertragen.
%
Buzzwords für diese Übung sind
\begin{itemize}
\item Minimalphasensystem, Maximalphasensystem, Allpass, gemischtphasiges System
\item nochmal Bode Diagramm, Pegeldiagramm
\item Systementzerrung
\item Reihenschaltung, Parallelschaltung von Systemen
\item Phasenfrequenzgang, Gruppenlaufzeit
\end{itemize}
Das sind alles Dinge die in aufbauenden Fächern immer wieder benötigt
werden, z.B. für Regelungstechnik, Mechatronik, Nachrichtentechnik,
Nachrichtenübertragungstechnik, Hochfrequenztechnik, Akustik,
Video- und Audiotechnik uvm. usw. ...
Diese Übung ist auch wieder sehr dicht und diesmal eigentlich sogar zu viel für
eine Einheit! Es wäre jedoch schade, nach allem was wir uns wie didaktisch
erarbeitet haben, Inhalte zu kürzen. Das Design der Übungen
ist genauso angelegt, dass mit dieser Übung~\ref{sec:ue6_lti_ct_eigenschaften} (6) der erste große Bogen,
sozusagen die erste Staffel (zeitkontinuierliche SigSys),
zu Ende geht und wir die Essenz der SigSys gesehen haben.
Wir werden in der zweiten Staffel---der zeitdiskreten Signal- und Systemtheorie---viele
bereits bekannte Werkzeuge wieder antreffen.
\newpage
\subsection{Diskussion dreier Systeme 1. Ordnung}
\label{sec:E1E7E53CFF}
\begin{Ziel}
An dieser Stelle wollen wir anhand dreier vergleichsweise einfacher System
nochmal die wichtigsten Berechnungsvorschriften und Kenngrößen von
zeitkontinuierlichen Systemen durchspielen.
Dabei werden wir sehen, dass ein paar Rechnungen schon bei diesen einfachen
Systemen, vergleichsweise komplizierte Formeln erzeugen.
Wir sollten das hier jedoch einmal manuell durchleiden, um später die Vorzüge der
Computer Algebra/Numerik zu schätzen wissen. Systeme höherer Ordnung, also mehr Null-
und Polstellen sind im Grund nicht mehr sinnvoll auf dem Papier zu handhaben.
Daher werden wir in der Praxis diese Systeme aufsplitten in Reihen- oder
Parallelschaltung von Systemen 1. und 2. Ordnung. Es ist daher sehr sinnvoll,
wenn wir uns bei 1./2. Ordnung Systemen 'zu Hause' fühlen.
Hier also zunächst reines Zusammentragen von Ergebnissen, im Grunde stumpfes
Abarbeiten mittlerweile bekannter SigSys-Dinge. Danach werden wir mit diesen
drei Systemen in den nächsten Aufgaben dann noch weitere Erkenntnisse
erlangen.
\end{Ziel}
\textbf{Aufgabe} {\tiny E1E7E53CFF}: Gegeben sind die drei Laplace
Übertragungsfunktionen
\begin{align}
H(s)_\mathrm{max} = \frac{2 s-4}{s+\frac{1}{2}}\qquad
H(s)_\mathrm{min} = \frac{2 s+4}{s+\frac{1}{2}}\qquad
H(s)_\mathrm{all} = \frac{s-2}{s+2}
\end{align}
von kausalen Systemen (die Angabe kausal definiert direkt den zu berücksichtigenden
Konvergenzbereich!).
Wir berücksichtigen keine Anfangszustände, die Systeme
befinden sich also zum Anregungszeitpunkt in Ruhe.
%
Prüfen Sie die Korrektheit der folgenden Angaben (die Idee ist natürlich,
dass alles stimmt, Typos wären nicht absichtlich):
\begin{itemize}
\item Impulsantwort (für die Laplace Rücktrafo führt hier die Polynomdivision schneller zum Ziel als Partialbruchzerlegung)
\begin{align}
&h(t)_\mathrm{max} = 2\delta(t) - 5\,\e^{-\frac{t}{2}}\,\epsilon(t)\\
&h(t)_\mathrm{min} = 2\delta(t) + 3\,\e^{-\frac{t}{2}}\,\epsilon(t)\\
&h(t)_\mathrm{all} = \delta(t) - 4\,\e^{-2\,t}\,\epsilon(t)
\end{align}
\item Sprungantwort (Partialbruchzerlegung)
\begin{align}
&h_\epsilon(t)_\mathrm{max} = -8 \epsilon(t) + 10 \, \e^{-\frac{t}{2}}\,\epsilon(t)\\
&h_\epsilon(t)_\mathrm{min} = +8 \epsilon(t) -6 \, \e^{-\frac{t}{2}}\,\epsilon(t)\\
&h_\epsilon(t)_\mathrm{all} = -\epsilon(t) + 2 \, \e^{-2\,t}\,\epsilon(t)
\end{align}
\item Pol-/Nullstellen/Konstante-Diagramme mit Angabe des Konvergenzbereichs
\begin{tikzpicture}
\def \axisLength {4}
\def \tic {0.05}
\begin{scope}
\def \sigmaROC {-1/4}
\def \zero {1}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/2,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw[-, C3] (0,+\axisLength/2+1/2)--(0,-\axisLength/2-1/2) node[below]{\small$\textcolor{C3}{H(\omega)_\mathrm{max}}$};
\draw[C0, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[C0, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$-\frac{1}{2}$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$2$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=2$};
\draw (3,1) node[]{\Large$=$};
\end{scope}
%
%
%
\begin{scope}[shift={(5,0)}]
\def \sigmaROC {-1/4}
\def \zero {-1}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/2,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw[-, C3] (0,+\axisLength/2+1/2)--(0,-\axisLength/2-1/2) node[below]{\small$\textcolor{C3}{H(\omega)_\mathrm{min}}$};
\draw[C0, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[C0, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$-\frac{1}{2}$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$-2$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=2$};
\draw (3,1) node[]{\Large$\cdot$};
\end{scope}
%
%
%
\begin{scope}[shift={(10,0)}]
\def \sigmaROC {-1}
\def \zero {+1}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/2,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw[-, C3] (0,+\axisLength/2+1/2)--(0,-\axisLength/2-1/2) node[below]{\small$\textcolor{C3}{H(\omega)_\mathrm{all}}$};
\draw[C0, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[C0, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$-2$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$+2$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=1$};
\end{scope}
\end{tikzpicture}
\item Bode Diagramm Approximation für Pegel über Kreisfrequenz
(hier sinnvollerweise über gleichabständige Oktaven, also Frequenzverdopplungen
aufgetragen)
\begin{tikzpicture}
\begin{scope}
\def \tic {0.05}
\draw[->] (-0.5,0) -- (4.5,0) node[right]{$\log_{2} \omega$};
\draw[-] (0,-\tic) -- (0,+\tic) node[below]{$2^{-2}$};
\draw[-] (1,-\tic) -- (1,+\tic) node[below]{$2^{-1}$};
\draw[-] (2,-\tic) -- (2,+\tic) node[below]{$2^{0}$};
\draw[-] (3,-\tic) -- (3,+\tic) node[below]{$2^{1}$};
\draw[-] (4,-\tic) -- (4,+\tic) node[below]{$2^{2}$};
\draw[->] (-0.5,0) -- (-0.5,3.5) node[above]{dB};
\draw[-] (-0.5-\tic,1) -- (-0.5+\tic,1) node[left]{$6$};
\draw[-] (-0.5-\tic,2) -- (-0.5+\tic,2) node[left]{$12$};
\draw[-] (-0.5-\tic,3) -- (-0.5+\tic,3) node[left]{$18$};
\draw[C0, -, ultra thick] (-0.5,3) -- (1,3) -- (3,1) -- (4,1);
\draw (1,1) node[]{$20\mathrm{lg}|H(\omega)_\mathrm{max}|$};
\draw (1,0.5) node[]{$20\mathrm{lg}|H(\omega)_\mathrm{min}|$};
\end{scope}
%
%
%
\begin{scope}[shift={(7,0)}]
\def \tic {0.05}
\draw[->] (-0.5,0) -- (4.5,0) node[right]{$\log_{2} \omega$};
\draw[-] (0,-\tic) -- (0,+\tic) node[below]{$2^{-2}$};
\draw[-] (1,-\tic) -- (1,+\tic) node[below]{$2^{-1}$};
\draw[-] (2,-\tic) -- (2,+\tic) node[below]{$2^{0}$};
\draw[-] (3,-\tic) -- (3,+\tic) node[below]{$2^{1}$};
\draw[-] (4,-\tic) -- (4,+\tic) node[below]{$2^{2}$};
\draw[->] (-0.5,0) -- (-0.5,3.5) node[above]{dB};
\draw[-] (-0.5-\tic,1) -- (-0.5+\tic,1) node[left]{$-6$};
\draw[-] (-0.5-\tic,2) -- (-0.5+\tic,2) node[left]{$0$};
\draw[-] (-0.5-\tic,3) -- (-0.5+\tic,3) node[left]{$+6$};
\draw[C0, -, ultra thick] (-0.5,2) -- (4,2);
\draw (1,1) node[]{$20\mathrm{lg}|H(\omega)_\mathrm{all}|$};
\end{scope}
\end{tikzpicture}
\item Analytische Kurvendiskussion für $H(s)_\mathrm{max}$
\begin{align}
%&H(s)_\mathrm{max} = 2\cdot\frac{s-2}{s+\frac{1}{2}}\\
&H(\omega)_\mathrm{max} = 2\cdot\frac{\im\omega-2}{\im\omega+\frac{1}{2}}=
\frac{8\,\omega^2 - 8}{1+4\,\omega^2}+
\im\cdot \frac{20\omega}{1+4\,\omega^2}\\
&20 \log_{10}|H(\omega)_\mathrm{max}| =
10 \log_{10} \left(\frac{(8 \omega^2 -8)^2 + 400 \omega^2}{(1+4\omega^2)^2}\right)\text{in dB}\\
&\angle H(\omega)_\mathrm{max} =
\mathrm{atan}\left(\frac{20}{8\omega-\frac{8}{\omega}}\right)\text{in rad}\\
&-\frac{\fsd}{\fsd \omega} \angle H(\omega)_\mathrm{max}=
\frac{10(\omega^2+1)}{4\omega^4+17\omega^2+4}\text{in s}\\
&|H(\omega\to 0)_\mathrm{max}| = 8, \angle H(\omega\to 0)_\mathrm{max} = \pi\\
&|H(\omega\to\infty)_\mathrm{max}| = 2, \angle H(\omega\to\infty)_\mathrm{max} = 0\\
&|H(\omega\to 1)_\mathrm{max}| = 4, \angle H(\omega\to 1)_\mathrm{max} = \frac{\pi}{2}
\end{align}
\item Analytische Kurvendiskussion für $H(s)_\mathrm{min}$
\begin{align}
%&H(s)_\mathrm{min} = 2\cdot\frac{s+2}{s+\frac{1}{2}}\\
&H(\omega)_\mathrm{min} = 2\cdot\frac{\im\omega+2}{\im\omega+\frac{1}{2}}=
\frac{8\,\omega^2 + 8}{1+4\,\omega^2}-
\im\cdot \frac{12\omega}{1+4\,\omega^2}
\\
&20 \log_{10}|H(\omega)_\mathrm{min}| =
10 \log_{10} \left(\frac{(8\,\omega^2 + 8)^2 + 144\omega^2}{(1+4\,\omega^2)^2}\right)\text{in dB}\\
&\angle H(\omega)_\mathrm{min} =
\mathrm{atan}\left(\frac{-12}{8\omega+\frac{8}{\omega}}\right)\text{in rad}\\
&-\frac{\fsd}{\fsd \omega} \angle H(\omega)_\mathrm{min}=
\frac{-6(\omega^2-1)}{4\omega^4+17\omega^2+4}\text{in s}\\
&|H(\omega\to 0)_\mathrm{min}| = 8 = , \angle H(\omega\to 0)_\mathrm{min} = 0\\
&|H(\omega\to\infty)_\mathrm{min}| = 2 = , \angle H(\omega\to\infty)_\mathrm{min} = 0\\
&|H(\omega\to 1)_\mathrm{min}| = 4, \angle H(\omega\to 1)_\mathrm{min} = -\mathrm{atan}(\nicefrac{3}{4}) \approx -36.87^\circ
\end{align}
\item Analytische Kurvendiskussion für $H(s)_\mathrm{all}$
\begin{align}
%&H(s)_\mathrm{all} = \frac{s-2}{s+2}\\
&H(\omega)_\mathrm{all} = \frac{\im\omega-2}{\im\omega+2}=
\frac{\omega^2-4}{\omega^2+4}+
\im\cdot\frac{4\omega}{\omega^2+4}\\
&20 \log_{10}|H(\omega)_\mathrm{all}| =
10 \log_{10} \left(\frac{(\omega^2-4)^2+16\omega^2}{(\omega^2+4)^2}\right)\text{in dB}\\
&\angle H(\omega)_\mathrm{all} =
\mathrm{atan}\left(\frac{4}{\omega-\frac{4}{\omega}}\right)\text{in rad}\\
&-\frac{\fsd}{\fsd \omega} \angle H(\omega)_\mathrm{all}=
\frac{4}{\omega^2+4}\text{in s}\\
&|H(\omega\to 0)_\mathrm{all}| = 1, \angle H(\omega\to 0)_\mathrm{all} = \pi\\
&|H(\omega\to\infty)_\mathrm{all}| = 1, \angle H(\omega\to\infty)_\mathrm{all} = 0\\
&|H(\omega\to 1)_\mathrm{all}| = 1, \angle H(\omega\to 1)_\mathrm{all} = \pi - \mathrm{atan}(\nicefrac{4}{3}) \approx +126.87^\circ
\end{align}
\item die in \fig{fig:MaxMinPhaseAllpass_numpy_E1E7E53CFF} gezeichneten exakten
Bode Diagramme. Wir sollten in der Lage sein, mit einem Computer Algebra Programm
unserer Wahl diese Grafiken selber erzeugen und mit den Ergebnissen
aus den Kurvendiskussion auf Plausibilität prüfen zu können.
\end{itemize}
\noindent \textbf{Computer Algebra Hilfsmittel}
\noindent Unter
\url{https://github.com/spatialaudio/signals-and-systems-exercises}
\noindent im Ordner
\texttt{system\_properties\_ct}
\noindent stehen die beiden Jupyter Notebooks
\texttt{MaxMinPhaseAllpass\_numpy\_E1E7E53CFF.ipynb}
\texttt{MaxMinPhaseAllpass\_sympy\_E1E7E53CFF.ipynb}
\noindent zur Verfügung, mit denen Bode Diagramme der betrachteten Beispiele visualisiert
werden können. Dies eignet sich auch für weitere Experimente.
Der Matlab Code in \texttt{laplace\_system\_analysis/bode\_diagramme.m}
könnte auch nützlich sein.
Sehr bequem kann das Bode Diagramm auch bei Wolfram Alpha, z.B. mit
\url{https://www.wolframalpha.com/input/?i=bode+plot+2*%28s-2%29%2F%28s%2B1%2F2%29}
\noindent berechnet und dargestellt werden. Nützlich ist dort auch die Möglichkeit
der Partialbruchzerlegung
\url{https://www.wolframalpha.com/input/?i=partial+fraction+expansion+2*%28s-2%29%2F%28s%2B1%2F2%29}
Die Suchanfragen
\begin{itemize}
\item transfer function (auch sehr nützlich für Regelungstechnik)
\item inverse laplace transform
\item partial fractions
\item polynomial division
\end{itemize}
in \url{https://www.wolframalpha.com} liefern Eingabemasken für die jeweiligen
Werkzeuge mit denen man bequem manuelle Rechnungen und Grafiken verfizieren kann.
\clearpage
\begin{figure*}[h]
\centering
\begin{subfigure}{0.7\textwidth}
\includegraphics[width=\textwidth]{../system_properties_ct/MaxMinPhaseAllpass_numpy_E1E7E53CFF_maxphase.pdf}
\caption{Bode Diagramm für System $H(s)_\mathrm{max}$}
\label{fig:MaxMinPhaseAllpass_numpy_E1E7E53CFF_maxphase}
\end{subfigure}
\begin{subfigure}{0.7\textwidth}
\includegraphics[width=\textwidth]{../system_properties_ct/MaxMinPhaseAllpass_numpy_E1E7E53CFF_minphase.pdf}
\caption{Bode Diagramm für System $H(s)_\mathrm{min}$.
%
Beachte: andere Skala für die Phase im Vergleich zu den anderen beiden Phasendiagrammen.}
\label{fig:MaxMinPhaseAllpass_numpy_E1E7E53CFF_minphase}
\end{subfigure}
\begin{subfigure}{0.7\textwidth}
\includegraphics[width=\textwidth]{../system_properties_ct/MaxMinPhaseAllpass_numpy_E1E7E53CFF_allpass.pdf}
\caption{Bode Diagramm für System $H(s)_\mathrm{all}$}
\label{fig:MaxMinPhaseAllpass_numpy_E1E7E53CFF_allpass}
\end{subfigure}
\caption{Systeme aus Aufgabe \ref{sec:E1E7E53CFF}. \texttt{MaxMinPhaseAllpass\_numpy\_E1E7E53CFF.ipynb}}
\label{fig:MaxMinPhaseAllpass_numpy_E1E7E53CFF}
\end{figure*}
\clearpage
%\begin{Werkzeug}
%SigSys...
%\end{Werkzeug}
%\begin{Ansatz}
%\end{Ansatz}
%\begin{ExCalc}
%\end{ExCalc}
%\begin{Loesung}
%\end{Loesung}
% Impulsantworten mittels Polynomdivision, einfache Parallelschaltungen:
% \begin{align}
% H(s)_\mathrm{max} = H(s)_\mathrm{Max Phase} = 2 - \frac{5}{s+\nicefrac{1}{2}}
% &\quad\Laplace\quad h(t)_\mathrm{max} = 2\delta(t) - 5\,\e^{-\frac{t}{2}}\,\epsilon(t)\\
% H(s)_\mathrm{min} = H(s)_\mathrm{Min Phase} = 2 + \frac{3}{s+\nicefrac{1}{2}}
% &\quad\Laplace\quad h(t)_\mathrm{min} = 2\delta(t) + 3\,\e^{-\frac{t}{2}}\,\epsilon(t)\\
% H(s)_\mathrm{all} = H(s)_\mathrm{Allpass} = 1 - \frac{4}{s+2}
% &\quad\Laplace\quad h(t)_\mathrm{all} = \delta(t) - 4\,\e^{-2\,t}\,\epsilon(t)
% \end{align}
%
% Sprungantworten mit PZB:
% \begin{align}
% H(s)_\mathrm{max} \cdot \frac{1}{s} = 2\cdot\frac{s-2}{s+\frac{1}{2}} \cdot \frac{1}{s}
% &\quad\Laplace h_\epsilon(t)_\mathrm{max} = -8 \epsilon(t) + 10 \, \e^{-\frac{t}{2}}\,\epsilon(t)\\
% H(s)_\mathrm{min} \cdot \frac{1}{s} = 2\cdot\frac{s+2}{s+\frac{1}{2}} \cdot \frac{1}{s}
% &\quad\Laplace h_\epsilon(t)_\mathrm{min} = +8 \epsilon(t) -6 \, \e^{-\frac{t}{2}}\,\epsilon(t)\\
% H(s)_\mathrm{all} \cdot \frac{1}{s} = \frac{s-2}{s+2} \cdot \frac{1}{s}
% &\quad\Laplace h_\epsilon(t)_\mathrm{all} = -\epsilon(t) + 2 \, \e^{-2\,t}\,\epsilon(t)
% \end{align}
\newpage
\subsection{Zerlegung in Reihenschaltung aus Minimalphasensystem und Allpass}
\label{sec:68CD3A7F90}
\begin{Ziel}
Wir wollen uns anhand eines
einfachen Beispiels die Systemeigenschaften
maximalphasig, minimalphasig und Allpass erarbeiten.
Jedes stabile, kausale System kann zerlegt werden in eine Reihenschaltung aus
Minimalphasensystem und Allpass.
\end{Ziel}
\textbf{Aufgabe} {\tiny 68CD3A7F90}: Gegeben ist die Laplace
Übertragungsfunktion
\begin{align}
H(s)_\mathrm{max} = \frac{2 s-4}{s+\frac{1}{2}}\qquad
\end{align}
eines kausalen Systems. Wir berücksichtigen keine Anfangszustände.
Zerlegen Sie dieses System in seinen Allpass- und minimalphasigen Anteil.
\begin{Werkzeug}
\begin{itemize}
\item Reihenschaltung von $H_1(s)$ und $H_2(s)$ ergibt Gesamtübertragungsfunktion
\begin{align}
H(s) = H_1(s) \cdot H_2(s)
\end{align}
und wir erinnern uns, dass $H_1(s)\cdot H_2(s) \,\Laplace\, h_1(t)\ast h_2(t)$
und $h(t) = h(t)\ast \delta(t)$\\
Hinweis: Die Reihenschaltung haben wir vorher schon ausgiebig benutzt bei der faktorisierten
Darstellung von Übertragunsgfunktionen, z.B. von drei Nullstellen und drei Polen
$H(s) = H_0 \frac{(s-s{0,1})((s-s{0,2})((s-s{0,3})}{(s-s_{\infty,1})(s-s_{\infty,2})(s-s_{\infty,3})}$,
d.h. jede Nullstelle und jeder Pol kann als eigenes System betrachtet werden, in Reihe
multiplikativ und in dB-Darstellung dann additiv, siehe Bode Diagramm...also kein
Neuland.
\item \textbf{Minimalphasensystem}: Nullstellen nur in der linken $s$-Halbebene. Da prinzipiell
Stabilität gefordert wurde, gilt also die Regel: \textbf{alle Pole} und \textbf{alle Nullstellen}
befinden sich in der \textbf{linken} $s$-Halbebene.
\item \textbf{Maximalphasensystem}: Nullstellen nur in der rechten $s$-Halbebene. Da prinzipiell
Stabilität gefordert wurde, gilt also die Regel: \textbf{alle Pole} in der \textbf{linken}
$s$-Halbebene und \textbf{alle Nullstellen} in der \textbf{rechten} $s$-Halbebene.
\item \textbf{Allpasssystem}: nur \textbf{spiegelbildliche Pol-Nullstellenpaare} bzgl.
der $\im\omega$-Achse. Da prinzipiell Stabilität gefordert wurde, gilt also
die Regel: \textbf{alle Pole} in der \textbf{linken} $s$-Halbebene und zu jedem Pol gehört
eine an $\im\omega$ gespiegelte Nullstelle in der rechten $s$-Halbebene.
Betrag über $\omega$ ist konstant, \textbf{Konvention: Betrag ist 1}.
\end{itemize}
\end{Werkzeug}
\begin{Ansatz}
Zu lösen entweder analytisch, also mit der Übertragungsfunktion als Formel
oder grafisch anhand von Pol-Nullstellen Diagrammen (dann aufpassen
mit den $H_0$ Faktoren).
\end{Ansatz}
\begin{ExCalc}
\textbf{Analytisch}:
Wir können $H(s)_\mathrm{max} $ zunächst in die Darstellung mit
Pol-, Nullstellen und frequenzunabhängiger Konstante bringen
\begin{align}
H(s)_\mathrm{max} = 2\cdot\frac{s-2}{s+\frac{1}{2}}
\end{align}
und sehen schnell, dass die einzige Nullstelle in der rechten $s$-Halbebene liegt.
Für ein Minimalphasensystem brauchen wir aber eine Nullstelle, die bzgl. des
Betragsfrequenzgangs entlang der $\im\omega$-Achse das selbe macht, allerdings
eben wie gefordert in der linken $s$-Halbebene.
Das ist die Nullstelle exakt an der $\im\omega$-Achse gespiegelt.
Wir können uns das klar machen, wenn wir uns nochmal anschauen, wie das Bode
Diagramm approximiert gezeichnet wird (siehe Übung~\ref{sec:ue5_levelresponse} (5)):
Wir benutzen die Beträge $|s_{0,\cdot}|$ um die Knickpunkte für
die stückweisen Geraden zu bestimmen.
Der Vorzeichenwechsel des Realteils einer Nullstelle entspricht genau der
geforderten Spiegelung an $\im\omega$, der Betrag der komplexen Zahl ändert
sich dadurch aber nicht. Das Pegeldiagramm bleibt daher gleich. \textbf{Vorsicht: der
Phasenfrequenzgang ändert sich sehr wohl, das ist der Gag an der Sache.}
Wir erweitern,
nun die Übertragungsfunktion um den Bruch
\begin{align}
H(s)_\mathrm{max} = 2\cdot\frac{s-2}{s+\frac{1}{2}} \cdot \frac{s+2}{s+2},
\end{align}
also mit der gespiegelten Nullstelle, die wir aber mit einer Polstelle
an der gleichen Stelle gleich wieder 'entschärfen', sich gegenseitig aufhebende Pole und Nullstellen
ändern ja nichts an der Übertragungsfunktion und in Folge auch nicht am Betrags-
und Phasenfrequenzgang.
Der eher langweilige Teil ist nun, die richtigen Anteile in dem Bruchausdruck
jeweils dem Allpass und dem Minimalphasensystem zuzuordnen.
Dazu müssen die obigen Regeln aus dem grauen Werkzeugkasten befolgt werden.
Erfahrungsgemäß ist es einfacher mit dem Minimalphasensystem zu beginnen, also
alle Pole und alle Nullstellen zu separieren, die in der linken $s$-Halbebene sind.
Das ist also
\begin{align}
H(s)_\mathrm{min} = H(s)_\mathrm{Min Phase} = 2\cdot\frac{s+2}{s+\frac{1}{2}} = 2\cdot\frac{s-(-2)}{s-(-\frac{1}{2})},
\end{align}
wo wir auch noch den Verstärkungsfaktor mitnehmen, weil nach unserer Konvention
der Allpass immer Betrag 1 hat.
Die übrig gebliebenen Terme
\begin{align}
H(s)_\mathrm{all} = H(s)_\mathrm{Allpass} = \frac{s-2}{s+2} = \frac{s-(+2)}{s-(-2)}
\end{align}
ergeben dann, wenn wir alles richtig gemacht haben, den Allpass.
Nochmal zur Kontrolle:
\begin{align}
H(s) =
\underbrace{\left(2\cdot\frac{s-2}{s+\frac{1}{2}}\right)}_{\mathrm{max phase}} =
\underbrace{\left(2\cdot\frac{s+2}{s+\frac{1}{2}}\right)}_{\mathrm{min phase}}
\cdot \underbrace{\frac{s-2}{s+2}}_{\mathrm{Allpass}}
\end{align}
Das erscheint hier noch sehr übersichtlich, bei Systemen höherer Ordnung
müssen wir dann schon genauer hinschauen und alles sorgfältig aufschreiben.
%
Wir kennen diese drei Systeme natürlich schon, es sind jene aus Aufgabe \ref{sec:E1E7E53CFF}
leicht anders aufgeschrieben.
\textbf{Hinweis}: Wir haben es hier mit einem Spezialfall der Zerlegung zu tun,
weil unser Ausgangssystem die zusätzliche Eigenschaft eines Maximalphasensystems
hat. Das ist didaktisch sinnvoll gewählt.
Wir können aber jedes beliebige System (oft gemischtphasig bezeichnet) einer
Zerlegung unterziehen, solange es nur stabil ist. Wenn wir also praktischerweise
kausale Systeme einfordern, haben wir es dann mit Polen nur in der linken $s$-Halbebene
und Nullstellen beliebig verteilt (reell oder konjugiert-komplex)
in der $s$-Ebene zu tun.
Die Nullstellen die in der linken $s$-Halbebene sind, haben
dann für sich schon minimalphasige Eigenschaft, wir müssen uns dann nur noch
um die Nullstellen in der rechten $s$-Halbebene kümmern.
In einem anderen Spezialfall
könnten wir ein bereits minimalphasiges System in Minimalphasensystem und
Allpasssystem zerlegen wollen, das ist ja nicht verboten und die folgende Überlegung
wäre sogar erhellend: Wie lautet die Übertragungsfunktion und die Impulsantwort
des dann resultierenden Allpasses?
\end{ExCalc}
%Zerlegung in ein System mit minimaler Phase und ein System mit Allpasscharakteristik
%\begin{align}
%H(s)_\mathrm{max} = H(s)_\mathrm{Max Phase} =& 2\cdot\frac{s-2}{s+\frac{1}{2}}\\
%H(s)_\mathrm{min} = H(s)_\mathrm{Min Phase} =& 2\cdot\frac{s+2}{s+\frac{1}{2}}\\
%H(s)_\mathrm{all} = H(s)_\mathrm{Allpass} =& \frac{s-2}{s+2}
%\end{align}
\begin{tikzpicture}
\def \axisLength {4}
\def \tic {0.05}
\begin{scope}
\def \sigmaROC {-1/4}
\def \zero {1}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/4,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw[-, C3] (0,+\axisLength/2+1/2)--(0,-\axisLength/2-1/2) node[below]{\small$\textcolor{C3}{H(\omega)_\mathrm{max}}$};
\draw[C0, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[C0, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$-\frac{1}{2}$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$2$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=2$};
\draw (3,1) node[]{\Large$=$};
\end{scope}
%
%
%
\begin{scope}[shift={(4.5,0)}]
\def \sigmaROC {-1/4}
\def \zero {1}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/4,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw[-, C3] (0,+\axisLength/2+1/2)--(0,-\axisLength/2-1/2) node[below]{\small$\textcolor{C3}{H(\omega)_\mathrm{max}}$};
\draw[C0, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[C3, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw[C0, ultra thick] (-\zero,0) node{\Huge $\circ$};
\draw[C3, ultra thick] (-\zero,0) node{\Huge $\times$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$-\frac{1}{2}$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$2$};
\draw (-\zero,\tic)--(-\zero,-\tic) node[below]{$-2$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=2$};
\draw (3,1) node[]{\Large$=$};
\end{scope}
%
%
%
\begin{scope}[shift={(9,0)}]
\def \sigmaROC {-1/4}
\def \zero {-1}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/4,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw[-, C3] (0,+\axisLength/2+1/2)--(0,-\axisLength/2-1/2) node[below]{\small$\textcolor{C3}{H(\omega)_\mathrm{min}}$};
\draw[C0, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[C0, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$-\frac{1}{2}$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$-2$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=2$};
\draw (3,1) node[]{\Large$\cdot$};
\end{scope}
%
%
%
\begin{scope}[shift={(13.5,0)}]
\def \sigmaROC {-1}
\def \zero {+1}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/4,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw[-, C3] (0,+\axisLength/2+1/2)--(0,-\axisLength/2-1/2) node[below]{\small$\textcolor{C3}{H(\omega)_\mathrm{all}}$};
\draw[C3, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[C3, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$-2$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$+2$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=1$};
\end{scope}
\end{tikzpicture}
\begin{ExCalc}
\textbf{Grafische Lösung}: Dieser Weg ist in der Klausur beliebter.
Bei einem System höherer Ordnung herrscht ein wenig mehr Übersichtlichkeit,
wir müssen nur darauf achten den frequenzunabhängigen Term $H_0$ nicht zu vergessen.
Die Lösung ist in der Grafik oben veranschaulicht. Zunächst ganz links unser
Ausgangspunkt, das zu zerlegende System, hier maximalphasig, d.h.
alle Nullstellen (hier eine) sind in der rechten $s$-Halbebene.
Durch den gegebenen Konvergenzbereich wissen wir, dass das System kausal ist.
Da alle Pole (hier einer) in der linken $s$-Halbebene liegen, ist das System
stabil.
Für das nächste Bild, also für $H(\omega)_\mathrm{max}$,
müssen wir nun alle rechtsseitigen Nullstellen
suchen und die gespiegelten linksseitigen Nullstellen hinzufügen und unmittelbar
mit Polstellen kompensieren.
Im Beispiel ist das bei $s=-2$ eine Nullstelle und eine Polstelle,
die sich in ihrer Wirkung aufheben, daher ist das immer noch das gleiche
Systemverhalten wie ganz links.
Danach erfolgt die Zerlegung, die grafisch u.U. anschaulicher gelingt, als in Formeln.
Diesmal ist es günstiger mit dem Allpass anzufangen.
Wir suchen dafür alle rechtsseitigen Nullstellen (die sehen wir sehr schnell, weil
in der rechten $s$-Halbebene bei stabilen Systemen sonst nix weiter sein sollte)
und die dazu passenden gespiegelten Polstellen, also im Beispiel bei $s=\pm 2$.
Dies ist im Bild ganz rechts zu sehen.
Die verbleibenden Pole und Nullstellen müssen in der linken $s$-Halbebene liegen und
bilden das Minimalphasensystem, dieses bekommt dann noch den Faktor $H_0$ des
ursprünglichen Systems zugewiesen, also hier $H_0=2$, im dritten Bild von links.
Zur Kontrolle können wir die Reihenschaltung nochmal in Gedanken durchführen:
beide Pol-Nullstellendiagramme auf transparentem Papier übereinandergelegt,
muss das ursprüngliche Pol-Nullstellendiagramm ergeben.
\end{ExCalc}
\begin{Loesung}
\begin{align}
H(s) =
\underbrace{\left(2\cdot\frac{s-2}{s+\frac{1}{2}}\right)}_{\mathrm{max phase}} =
\underbrace{\left(2\cdot\frac{s+2}{s+\frac{1}{2}}\right)}_{\mathrm{min phase}}
\cdot \underbrace{\frac{s-2}{s+2}}_{\mathrm{Allpass}}
\end{align}
Quizfrage 1: Der Allpass hat ja frequenzunabhängigen Betragsfrequenzgang von 1,
können wir uns das anhand der Pol- und Nullstellenlage erklären?
Quizfrage 2: Der sehr spezielle, aber immer noch in unser Konzept passende
Allpass $H(s) = \frac{s-0}{s-0}$ hat welche sehr spezielle Impulsantwort?
\end{Loesung}
\newpage
\subsection{Inversion von Übertragungsfunktionen}
\label{sec:4926427BA9}
\begin{Ziel}
Oft ist die Entzerrung eines Systems $H(s)$ mit einem in Reihe
geschalteten Korrektursystem $H_i(s)$
erwünscht, so dass ideal das Gesamtsystemverhalten $H_r(s)$
\begin{align}
\label{eq:4926427BA9_EQing}
H_r(s) = H(s)\cdot H_i(s) = 1 \Laplace h_r(t)=\delta(t)
\end{align}
resultiert.
Eine nicht ganz so strenge, und auch deutlich praxistauglichere, Version wäre
\begin{align}
H_r(s) = H(s)\cdot H_i(s) = \e^{-\im\omega\tau} \Laplace h_r(t)=\delta(t-\tau)
\end{align}
mit zugelassener Verzögerung $\tau>0$, d.h. das Gesamtsystem hat diracförmige
Impulsantwort, aber mit Verzögerung. Warum streben wir das an? Erinnern wir uns:
Für $y(t) = h_r(t)\ast x(t)$ wird $x(t-\tau) = \delta(t-\tau)\ast x(t)$, d.h.
das Signal erfährt außer der Verzögerung keine weitere Manipulation bei der Faltung
mit der Impulsantwort des Gesamtsystems, also des hier perfekt entzerrten Systems.
In der Nachrichtenübertragung spielt das eine wichtige Rolle, weil wir
gewillt sind unsere mühevoll erzeugten Sendesignale nicht zu stark
bei der Übertragung (was oft durch LTI Systeme modelliert wird) zu verformen.
Wir betrachten Übertragungskanalentzerrung hier als Einstieg extrem vereinfacht mit
\eq{eq:4926427BA9_EQing}. Es stellt sich die Frage, wann $H_i(s)$ eigentlich
existiert oder in SigSys-Sprech: unter welchen Bedingungen $H_i(s)$
ein stabiles, kausales und deshalb praktikables System ist.
\end{Ziel}
\textbf{Aufgabe} {\tiny 4926427BA9}: Gegeben sind die Laplace
Übertragungsfunktionen
\begin{align}
H(s)_\mathrm{max} = \frac{2 s-4}{s+\frac{1}{2}}\qquad
H(s)_\mathrm{min} = \frac{2 s+4}{s+\frac{1}{2}}\qquad
\end{align}
die wir aus Aufgabe \ref{sec:E1E7E53CFF} kennen.
Bestimmen Sie jeweils die inversen Systeme, so dass \eq{eq:4926427BA9_EQing} gilt
und charakterisieren Sie Stabilität. Wir wollen wie immer kausale Systeme annehmen.
\begin{Werkzeug}
Pol-/Nullstellen/Konstante-Darstellung und Diagramme. Bode Diagramm für Pegel.
\end{Werkzeug}
\begin{Ansatz}
Für $H(s)_\mathrm{max}$:
Dies geht auch wieder analytisch mit Formeln oder grafisch mit dem
Pol-Nullstellendiagramm.
Zunächst \textbf{analytisch}:
Wieder in Pol/NST/$H_0$ Form bringen und Inversion durchführen:
\begin{align}
H(s)_\mathrm{max} = 2\cdot\frac{s-2}{s+\frac{1}{2}}\rightarrow
H(s)_\mathrm{max}^{-1} = \frac{1}{2}\cdot\frac{s+\frac{1}{2}}{s-2}
\end{align}
\end{Ansatz}
\begin{ExCalc}
Bei mittlerweile geübtem SigSys-Blick schrillen beim Anblick von
$H(s)_\mathrm{max}^{-1}$
die Alarmglocken: wir haben eine Polstelle in der rechten $s$-Halbebene.
Dies bedeutet ein instabiles System.
Es ist sinnvoll, wenn wir uns das nochmal im Detail klarmachen, anhand der
Rücktransformation zur Impulsantwort.
Es lohnt ein Blick auf Abb.~\ref{fig:0B03A693AD_rightsided} (3.2) in Übung~\ref{sec:ue3_laplace} (3).
%
Wir können mit der Polynomdivision
$$\polylongdiv[style=C, vars=s]{s+1/2}{s-2}$$
umformen, so dass
\begin{align}
H(s)_\mathrm{max}^{-1} = \frac{1}{2}\cdot\frac{s+\frac{1}{2}}{s-2}
= \frac{1}{2} ( 1 + \frac{5}{2}\cdot\frac{1}{s-2}).
\end{align}
%
Der letzte Ausdruck führt auf Korrespondenzen die in der Formelsammlung gegeben
sind.
Die Rücktransformation ergibt dann
\begin{align}
H(s)_\mathrm{max}^{-1} = \frac{1}{2} ( 1 + \frac{5}{2}\cdot\frac{1}{s-2})
\,\Laplace\,
h(t)_\mathrm{max}^{-1} = \frac{1}{2}\delta(t) + \frac{5}{4}\e^{+2 t}\epsilon(t).
\end{align}
%
Eine Methode die Stabilität von Systemen zu definieren, ist eine absolut
integrierbare Impulsantwort einzufordern. Dies ist als Bounded-Input Bounded-Output
Stabilitätskriterium
$\int\limits_{-\infty}^{+\infty} |h(t)|\fsd t < \infty$
bekannt.
Die Impulsantwort $h(t)_\mathrm{max}^{-1} $ verletzt das BIBO Kriterium, weil
die $e$-Funktion über alle Maßen für $t\to\infty$ steigt. Das System ist
instabil.
Mit dieser Impulsantwort möchten wir ungern falten müssen.
Bzw. weiter gedacht: wir können mit diesem System keine praktisch sinnvolle
Systementzerrung betreiben.
%
Bei Rechnungen nur auf dem Papier kann es aber gelegentlich hilfreich sein,
instabile Systeme bei Zwischenschritten zu benutzen.
\end{ExCalc}
\begin{tikzpicture}
\def \axisLength {4}
\def \tic {0.05}
\begin{scope}
\def \sigmaROC {-1/4}
\def \zero {1}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/4,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw (0,-\axisLength/2-1/2) node[below]{\small$\textcolor{C0}{H(s)_\mathrm{max}}$};
\draw[C0, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[C0, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$-\frac{1}{2}$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$2$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=2$};
\end{scope}
%
%
%
\begin{scope}[shift={(4.5,0)}]
\def \sigmaROC {1}
\def \zero {-1/4}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/4,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw (0,-\axisLength/2-1/2) node[below]{\small{$H(s)_\mathrm{max}^{-1}$}\Large\Frowny};
\draw[black, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[black, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$2$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$-\frac{1}{2}$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=\nicefrac{1}{2}$};
\end{scope}
%
%
%
\begin{scope}[shift={(9,0)}]
\def \sigmaROC {-1/4}
\def \zero {-1}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/4,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw (0,-\axisLength/2-1/2) node[below]{\small$\textcolor{C0}{H(s)_\mathrm{min}}$};
\draw[C0, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[C0, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$-\frac{1}{2}$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$-2$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=2$};
\end{scope}
%
%
%
\begin{scope}[shift={(13.5,0)}]
\def \sigmaROC {-1}
\def \zero {-1/4}
\def \convAbsz {\sigmaROC}
\fill[C2!50] (\convAbsz,-\axisLength/2)--(\convAbsz,\axisLength/2)
decorate [decoration={snake,segment length=15pt,amplitude=1pt}]
{(\convAbsz,\axisLength/2)--
(\axisLength/2,\axisLength/2)--
(\axisLength/2,-\axisLength/2)--
(\convAbsz,-\axisLength/2)};
\draw[->] (-\axisLength/4,0)--(\axisLength/2,0) node[right]{\small$\Re\{s\}$};
\draw[->] (0,-\axisLength/2)--(0,\axisLength/2) node[above]{\small$\Im\{s\}$};
\draw (0,-\axisLength/2-1/2) node[below]{\small$\textcolor{C3}{H(s)_\mathrm{min}^{-1}}$\Large\Smiley};
\draw[C3, ultra thick] (\sigmaROC,0) node{\Huge $\times$};
\draw[C3, ultra thick] (\zero,0) node{\Huge $\circ$};
\draw (\sigmaROC,\tic)--(\sigmaROC,-\tic) node[below]{$-2$};
\draw (\zero,\tic)--(\zero,-\tic) node[below]{$-\frac{1}{2}$};
\draw (1.25,+2.25) node[C2!75]{ROC};
\draw (1.25,1.75) node[]{$H_0=\nicefrac{1}{2}$};
\end{scope}
%
%
%
\end{tikzpicture}
\begin{ExCalc}
Für $H(s)_\mathrm{max}$: Wir können uns das auch wieder \textbf{grafisch}
überlegen anhand von Pol-Nullstellen-Diagrammen, wie oben dargestellt.
Bei der Inversion werden Pole und Nullstellen vertauscht und $H_0\rightarrow \frac{1}{H_0}$
(nicht vergessen!).
Der Konvergenzbereich des invertierten Systems wird jetzt neu bestimmt, rechts
vom rechtsliegendsten Pol.
In unserem Beispiel bedeutet, dass wir für das intendiert kausale
System $H(s)_\mathrm{max}^{-1}$ einen Konvergenzbereich $\Re\{s\}>2$ fordern
müssen, vgl. \fig{fig:0B03A693AD_rightsided} (3.2) und \fig{fig:0B03A693AD_leftsided} (3.3).
Dieser ist in der rechten $s$-Halbebene und schließt die imaginäre Achse
\textbf{nicht} mit ein. Für Systeme ein sicheres Indiz, dass die
Fouriertransformierte, also der Frequenzgang des Systems nicht existiert.
Frequenzgang bedeutet Systemverhalten im eingeschwungenen Zustand. Ein instabiles
System kann keinen eingeschwungenen Zustand einnehmen, daher existiert die
Fouriertransformierte nicht.
\end{ExCalc}
\begin{Ansatz}
Für $H(s)_\mathrm{min}$:
Wieder in Pol/NST/$H_0$ Form bringen und Inversion durchführen:
\begin{align}
\label{eq:4926427BA9_Hsmininv_series}
H(s)_\mathrm{min} = 2\cdot\frac{s+2}{s+\frac{1}{2}}\rightarrow
H(s)_\mathrm{min}^{-1} = \frac{1}{2}\cdot\frac{s+\frac{1}{2}}{s+2}
\end{align}
\end{Ansatz}
\begin{ExCalc}
\textbf{analytisch}: Polynomdivision
$$\polylongdiv[style=C, vars=s]{s+1/2}{s+2}$$
führt auf
\begin{align}
\label{eq:4926427BA9_Hsmininv_parallel}
H(s)_\mathrm{min}^{-1} = \frac{1}{2} (1-\frac{3}{2}\cdot\frac{1}{s+2})
\end{align}
und mit bereits bekannten Korrespondenzen ist die Rücktransformation
\begin{align}
H(s)_\mathrm{min}^{-1} = \frac{1}{2} (1-\frac{3}{2}\cdot\frac{1}{s+2})
\,\Laplace\,
h(t)_\mathrm{min}^{-1} = \frac{1}{2}\delta(t) - \frac{3}{4}\e^{-2 t}\epsilon(t).
\end{align}
Abklingende Exponentialfunktionen für wachsendes $t>0$ sind immer etwas sehr
Gutes in SigSys. Sie indizieren nämlich, dass die Impulsantwort absolut
integrierbar ist. Das System erfüllt also das BIBO Kriterium und ist damit stabil.
\noindent\textbf{grafische} Lösung:
Im Pol-Nullstellendiagramm auch wieder Pole mit Nullstellen vertauschen
und $H_0\to\frac{1}{H_0}$. Der KB $\Re\{s\}>-2$ für $H(s)_\mathrm{min}^{-1}$
als kausales System, liefert ein stabiles System. Pol ist in der linken $s$-Halbebene,
der KB schließt die $\im\omega$-Achse mit ein. So wünschen wir uns das für
praktische Systeme.
\end{ExCalc}
\begin{Loesung}
Wir haben gesehen, dass \textbf{minimalphasige} Systeme ohne Gefahr \textbf{immer! invertierbar}
sind. Für minimalphasige Systeme $H(s)$
können wir also \eq{eq:4926427BA9_EQing} ansetzen.
$H_i(s)$ ist auch wieder minimalphasig.
Die \textbf{Inversion} von maximalphasigen Systemen, allgemeiner von Systemen
die Nullstellen in der rechten $s$-Halbebene haben, also \textbf{gemischtphasige Systeme},
bringt \textbf{instabile Systeme} $H_i(s)$ hervor.
Daher zerlegen wir diese Systeme sehr oft in Allpass und Minimalphasensystem,
dann können wir wenigstens das letztere invertieren. Genau deswegen spielt
diese Zerlegung eine wichtige Rolle und deswegen haben wir uns das im Detail
angeschaut.
Als SigSysler*innen haben wir also zweifache Verantwortung: a) falls wir
ein System designen müssen, sollten wir es möglichst so auslegen, dass es
invertierbar ist (weil empfängerseitig z.B. entzerrt werden soll)
und b) falls wir ein System invertieren müssen, sollten wir
drauf achten, dass wir stabile Systeme designen.
\end{Loesung}
\begin{mdframed}
\textbf{Bode Diagramm und Inversion}
Machen wir uns an dieser Stelle klar, welche Auswirkungen die Inversion einer
minimalphasigen Übertragungsfunktion auf das Pegel Bode Diagramm
hat: Nachdem wir Pole mit Nullstellen vertauschen und
$\tilde{H}_0\to \frac{1}{\tilde{H}_0}$ (beachte Tilde) wird, spiegelt sich
das Pegeldiagramm in dB bzgl. der Ordinate, also der dB-Achse. Das gleiche
gilt für den Phasenfrequenzgang, also Spiegelung an der deg-Achse.
Wir können das in \fig{fig:inversion_4926427BA9_plus_tikz} nachvollziehen
und nochmal üben.
\end{mdframed}
\begin{figure*}[h]
\centering
\begin{subfigure}{\textwidth}
\includegraphics[width=\textwidth]{../system_properties_ct/inversion_4926427BA9.pdf}
\caption{Bode Diagramm Pegel- und Phasenfrequenzgang. \texttt{inversion\_4926427BA9.ipynb}}
\label{fig:inversion_4926427BA9}
\end{subfigure}
\begin{subfigure}{\textwidth}
%\begin{center}
\centering
\begin{tikzpicture}
\begin{scope}
\def \tic {0.05}
\draw[->] (-0.25,0) -- (4.5,0) node[right]{$\log_{2} \omega$};
\draw[-] (0,-\tic) -- (0,+\tic) node[below]{$2^{-2}$};
\draw[-] (1,-\tic) -- (1,+\tic) node[below]{$2^{-1}$};
\draw[-] (2,-\tic) -- (2,+\tic) node[below]{$2^{0}$};