正实函数(Positive-real functions)的缩写是PR函数或是PRF,是在电路分析中会出现的一种数学函数。正实函数是复数函数(),其变数也是复数。有理函数若在复平面的右半边都有正的实部,且可解析,在实轴上都为实数,就是正实函数。
其定义可以表示为下式:
在电路分析中()表示阻抗,而为S平面变数,也常用其实部及虚部表示:
则正实函数的定义会改为下式:
正实函数在电路分析的重要性在于正实函数的条件也就是电路可实现性的条件。()可实现为单埠(英语:one-port)有理阻抗当且仅当其符合正实函数的条件。此情形下的可实现表示可以用有限个分立理想的被动线性元件(以电路来说就是电阻器、电感元件、电容器)来实现。
“正实函数”最早是由Otto Brune(英语:Otto Brune)所定义,描述符合以下条件的函数() :
许多作者严格依照上述定义,包括明确要求是有理函数。不过Cauer之前就有提出类似,但要求较宽的条件,也有些作者将“正实函数”的定义认为是Cauer提出的这一种,其他作者则认为Cauer的定义是基本定义的扩展版本。
正实函数的条件最早是由Wilhelm Cauer(英语:Wilhelm Cauer)(1926)提出,他确定了这些是必要条件。Otto Brune(英语:Otto Brune)(1931)开始使用“正实”(positive-real)一词,并且证明是可实现的充份条件及必要条件。
正实函数有许多的扩展版本,希望用导抗函数来处理更大范围的被动线性电路。
若是由包括无限个数的元件形成的电路(例如半无限阶的阶梯网络(英语:Ladder_network)),其阻抗()不一定会是的有限函数,而在负的实轴也会有分支点(英语:branch points)。为了正实函数的定义可以适应这类的函数,需要放宽正实函数的要求,从所有的实数下,函数都要是实数,变成只要在正实数下,函数都要是实数即可。可能是无理函数的()是正实函数若且唯且
有些作者由这个较宽的定义开始,将有理函数的情形视为特例。
超过一个埠(英语:Port (circuit theory))的线性电路可以用阻抗参数或导纳参数来描述。透过延伸到矩阵函数的正实函数定义,可以区分那些是可以由被动元件实现的电路。矩阵值函数(可能是无理函数)()是正实函数的充份必要条件是