مبرهنة بوخنر

مبرهنة من التحليل التوافقي تنص على أن أي دالة مستمرة وموجبة التعريف ومنزاحة ثابتة التحويل هي تحويل فورييه لمقياس غير سالب، مما يسمح بتمثيل النوى كقيم متوقعة على ترددات عشوائية.

A theorem from harmonic analysis stating that any continuous positive-definite shift-invariant function is the Fourier transform of a non-negative measure, allowing kernels to be represented as expectations over random frequencies.