Ein Kern (distributionell oder klassisch), der als Rechtsinvers eines linearen Differential‑ oder Integraloperators unter festgelegten Randbedingungen wirkt und Quellen durch Faltung oder Integration gegen den Kern in Antworten überführt.

Prinzip

Die Lösung einer inhomogenen linearen Gleichung L[u]=f erfolgt durch u(x)=∫G(x,x')f(x')dx', wenn G eine Greenfunktion für L mit den gewählten Randbedingungen ist; G kodiert sowohl die lokale Struktur des Operators als auch die globalen Randzwänge.

Demonstration

Für den Poisson‑Operator auf ℝ^3 gilt ΔG(x,x')=−δ(x−x') und die Lösung von Δu=f ist u(x)=∫G(x,x')f(x')dx'. Auf beschränkten Gebieten muss G zusätzlich die Randbedingungen in seiner zweiten Variablen erfüllen.

Fehlanwendung

Die Verwendung einer freien Greenfunktion in einem beschränkten Gebiet mit nichttrivialen Randbedingungen führt zu Lösungen, die die erforderlichen Randzwänge verletzen und physikalisch inkorrekte Antworten liefern.

Konsequenz

Eine korrekte Greenfunktion liefert explizite Integraldarstellungen der Lösungen, ermöglicht die Konstruktion von Resolventen und Propagatoren und übersetzt lineare PDE‑Probleme in kernbasierte Operationen, die sich analysieren und approximieren lassen.

Umkehrung

Statt einer Integral‑Kerninversion kann man den Operator diskretisieren und das lineare System numerisch lösen; dies umgeht explizite Greenfunktionen, kann aber die analytische Struktur verschleiern.

Abgrenzung

Definiert nur für lineare Operatoren (oder deren Linearisierungen) und erfordert die Angabe von Rand‑ oder Strahlungsbedingungen; nichtlineare Probleme erlauben Green‑Methoden nur nach Linearisierung oder in Perturbationstheorien.

Semantische Spannung

'Fundamentallösung' bezeichnet einen Kern, der die Operatorgleichung im freien Raum löst, ohne Randbedingungen durchzusetzen, während 'Greenfunktion' typischerweise Randbedingungen einschließt; ihre Vermischung führt zu Fehlanwendungen.

Synthese

Eine Greenfunktion ist der operatorspezifische Kern, der eine gegebene Quelle in ihre lineare Antwort umwandelt und Randbedingungen kodiert, wodurch die Inversion eines linearen Operators zu einer Integraltransformation wird.