Eine Funktion K(x,y), die unter einem Integralsymbol auftritt und die Quellvariable y mit der Feld- oder Auswertungsvariable x koppelt, dadurch eine Integraltransformation oder einen Integraloperator definiert, der Funktionen in y zu Funktionen in x abbildet.

Prinzip

Ein Integralkern legt fest, wie Werte an einem Ort durch Integration Beiträge zu einem anderen Ort liefern; Eigenschaften von K (Symmetrie, Glattheit, Trennbarkeit, Singularitäten) bestimmen Stetigkeit, Glättung und spektrale Eigenschaften des zugehörigen Operators.

Demonstration

Der Faltungskern K(x,y)=k(x-y) definiert eine translationsinvariante Transformation (f * k)(x)=∫ k(x-y)f(y) dy; die Greensche Funktion G(x,y) eines Differentialoperators fungiert als Integralkern, der Quellen in Lösungen überführt.

Fehlanwendung

Beliebige zweistellige Funktionen ohne Prüfung auf Integrierbarkeit, Beschränktheit oder distributionsartige Singularitäten als wohldefinierte Kerne zu behandeln (z. B. die Annahme, eine singuläre Greensche Funktion definiere einen beschränkten Operator auf L2).

Konsequenz

Bei hinreichender Regularität des K erhält man einen beschränkten oder kompakten linearen Operator, dessen Abbildungseigenschaften (Glättung, Rang, Spektrum) sich aus der Kernstruktur ableiten lassen; Eigenzerlegungen und numerische Quadratur werden dadurch sinnvoll.

Umkehrung

Punktweise Multiplikation mit einer Funktion a(x) ist kein nichtlokaler Integraloperator, sondern entspricht einem δ-Typ-Kern K(x,y)=a(x)δ(x-y) und steht im Gegensatz zur nichtlokalen Kopplung über ein Integral.

Abgrenzung

Der Begriff bezieht sich auf Kerne, die in Integraltransformationen und Operatoren auf messbaren oder funktionalen Räumen auftreten; nicht eingeschlossen sind andere Bedeutungen von 'Kern' wie der algebraische Nullraum linearer Abbildungen, sofern nicht ausdrücklich ein zweistelliger Funktionenkern gemeint ist.

Semantische Spannung

Verwechslungen entstehen oft zwischen Integralkern (zweistellige Funktion), reproduzierendem Kern in RKHS (mit positiver Definitheit) und algebraischem Kern/Nullraum; diese Bedeutungen überschneiden sich, fordern aber unterschiedliche Annahmen.

Synthese

Ein Integralkern ist die Regel K(x,y) mit zwei Variablen, die angibt, wie Beiträge in y per Integration zur Größe in x zusammengefügt werden; seine analytischen und algebraischen Eigenschaften bestimmen Regularität, Invertierbarkeit und numerisches Verhalten des zugehörigen Operators.