查看“正實函數”的源代码

'''正實函數'''（Positive-real functions）的縮寫是'''PR函數'''或是'''PRF'''，是在[[電路分析]]中會出現的一種數學函數。正實函數是複數函數''Z''(''s'')，其變數''s''也是複數。[[有理函數]]若在複平面的右半邊都有正的實部，且可解析，在實軸上都為實數，就是正實函數。

其定義可以表示為下式：

:<math> \begin{align}
& \Re[Z(s)]>0 \quad\text{if}\quad \Re(s) > 0 \\
& \Im[Z(s)]=0 \quad\text{if}\quad \Im(s)=0
\end{align} </math>

在電路分析中''Z''(''s'')表示[[阻抗]]，而''s''為[[S平面]]變數，也常用其實部及虛部表示：

:<math>s=\sigma+i\omega \,\!</math>

則正實函數的定義會改為下式：

:<math> \begin{align}
& \Re[Z(s)]>0 \quad\text{if}\quad \sigma > 0 \\
& \Im[Z(s)]=0 \quad\text{if}\quad \omega=0
\end{align} </math>

正實函數在電路分析的重要性在於正實函數的條件也就是電路可實現性的條件。''Z''(''s'')可實現為{{link-en|單埠|one-port}}有理阻抗若且唯若其符合正實函數的條件。此情形下的可實現表示可以用有限個分立理想的[[被動元件|被動]]線性元件（以電路來說就是[[電阻器]]、[[电感元件]]、[[电容器]]）來實現<ref name=CauerMathisPauli>E. Cauer, W. Mathis, and R. Pauli, "Life and Work of Wilhelm Cauer (1900 – 1945)", ''Proceedings of the Fourteenth International Symposium of Mathematical Theory of Networks and Systems (MTNS2000)'', Perpignan, June, 2000. [http://www.cs.princeton.edu/courses/archive/fall03/cs323/links/cauer.pdf Retrieved online] 19 September 2008.</ref>。

==定義==
「正實函數」最早是由{{link-en|Otto Brune|Otto Brune}}所定義<ref name=CauerMathisPauli />，描述符合以下條件的函數''Z''(''s'') <ref name=Brune1931a>Brune, O, "Synthesis of a finite two-terminal network whose driving-point impedance is a prescribed function of frequency", Doctoral thesis, MIT, 1931. [http://dspace.mit.edu/bitstream/handle/1721.1/10661/36311006.pdf?sequence=1 Retrieved online] {{Wayback|url=http://dspace.mit.edu/bitstream/handle/1721.1/10661/36311006.pdf?sequence=1 |date=20110604224345 }} 3 June 2010.</ref>：
*是[[有理函數]]（二個[[多項式]]的商）
*''s''為實數時，函數有實數值。
*''s''的實部為正時，函數的實數也為正值。
許多作者嚴格依照上述定義，包括明確要求是有理函數<ref>{{cite book |title=Network Theory |last=Bakshi |first=Uday |last2=Bakshi |first2=Ajay |year=2008 |publisher=Technical Publications |location=Pune |isbn=978-81-8431-402-1}}</ref><!--U.A.Bakshi, J.S.Chitode --><!--or by restricting attention to rational functions, at least in the first instance--><!-- Kendall Ling-chiao Su + --><ref name=Wing>{{cite book |title=Classical Circuit Theory |last=Wing |first=Omar |year=2008 |publisher=Springer |isbn=978-0-387-09739-8}}</ref>。不過Cauer之前就有提出類似，但要求較寬的條件<ref name=CauerMathisPauli />，也有些作者將「正實函數」的定義認為是Cauer提出的這一種<!-- Wai-Kai Chen -->，其他作者則認為Cauer的定義是基本定義的擴展版本<ref name=Wing />。

==歷史==
正實函數的條件最早是由{{link-en|Wilhelm Cauer|Wilhelm Cauer}}(1926)提出<ref>Cauer, W, "Die Verwirklichung der Wechselstromwiderst ände vorgeschriebener Frequenzabh ängigkeit", ''Archiv für Elektrotechnik'', '''vol 17''', pp355–388, 1926.</ref>，他確定了這些是必要條件。
{{link-en|Otto Brune|Otto Brune}}(1931)<ref name=Brune1931a /><ref name=Brune1931b>Brune, O, "Synthesis of a finite two-terminal network whose driving-point impedance is a prescribed function of frequency", ''J. Math. and Phys.'', '''vol 10''', pp191–236, 1931.</ref>開始使用「正實」（positive-real）一詞，並且證明是可實現的充份條件及必要條件。

==性質==
*二個正實函數的和也是正實函數<!-- too obvious to mention? -->
*由二個正實函數組合成的[[复合函数]]也是正實函數。若''Z''(''s'')是正實函數，則1/''Z''(''s'')和 ''Z''(1/''s'')也是正實函數。
*正實函數的所有[[极点_(复分析)|极点]]和[[零点]]都在左半平面，或是在虛軸的邊界上。
*虛軸上的所有极点和零点都是單純极点或零点（其[[重覆度]]為1）
*虛軸上的所有极点都有實數且嚴格為正的[[留数]]，虛軸上的所有零点，都有實數且嚴格為正的導數。
*在右半平面，正實函數實部的最小值出現在虛軸（因為解析函數的實部會形成平面上的[[调和函数]]，因此會滿足{{le|最大原則|Maximum principle}}。
*針對[[有理函數|有理]]的正實函數，其极点和零点的數量最多只差一。

==擴展版本==
正實函數有許多的擴展版本，希望用[[導抗]]函數來處理更大範圍的被動線性電路。
===無理函數===
若是由包括無限個數的元件形成的電路（例如半無限階的{{link-en|階梯網路|Ladder_network}}），其阻抗''Z''(''s'')不一定會是''s''的有限函數，而在負的實''s''軸也會有{{link-en|分支點|branch points}}。為了正實函數的定義可以適應這類的函數，需要放寬正實函數的要求，從所有的實數''s''下，函數都要是實數，變成只要在正實數''s''下，函數都要是實數即可。可能是無理函數的''Z''(''s'')是正實函數若且唯且
*''Z''(''s'') 在右半''s''平面解析（Re[''s''] > 0）
*當''s''為正實數時，''Z''(''s'')為實數
*當Re[''s''] ≥ 0時，Re[''Z''(''s'')] ≥ 0
有些作者由這個較寬的定義開始，將有理函數的情形視為特例。

===矩陣值函數===
超過一個{{le|埠 (電路)|Port (circuit theory)|埠}}的線性電路可以用{{link-en|阻抗參數|impedance parameters}}或{{link-en|導納參數|Admittance parameters}}來描述。透過延伸到矩陣函數的正實函數定義，可以區分那些是可以由被動元件實現的電路。矩陣值函數（可能是無理函數）''Z''(''s'')是正實函數的充份必要條件是
*''Z''(''s'')中的每一個元素在右半''s''平面（Re[''s''] > 0（開區間內可解析。
*若''s''為正實數時，''Z''(''s'')的每一個元素都是實數。
*若Re[''s''] ≥ 0時，''Z''(''s'')的[[埃尔米特矩阵|埃尔米特]]部份為[[正定矩阵]]。

==參考資料==
{{reflist}}
* Wilhelm Cauer (1932) [https://projecteuclid.org/euclid.bams/1183496197 The Poisson Integral for Functions with Positive Real Part], Bulletin of the American Mathematical Society 38:713–7, link from {{link-en|Project Euclid|Project Euclid}}.
* W. Cauer (1932) [https://link.springer.com/article/10.1007/BF01455892 "Über Funktionen mit positivem Realteil"], Mathematische Annalen 106: 369–94.
[[Category:复分析]]
[[Category:电子工程]]
[[Category:各类函数]]