Eine Lösung, die über die klassischen (punktweisen) Ableitungen verfügt, die von den zugrundeliegenden Gleichungen verlangt werden, sodass die Differentialbeziehungen fast überall punktweise erfüllt sind; gehört in der Regel zu höher regulären Funktionsräumen (Ck oder hochgradige Sobolev-Räume).

Prinzip

Ausreichende Regularität verlangen, damit alle Differentialoperatoren des Modells punktweise ausgewertet werden können und die PDE im klassischen Sinn gilt; ergibt sich oft durch Energietechniken, Bootstrap-Regularität oder parabolisches Glätten.

Demonstration

Für die Wärmegleichung kann eine starke Lösung u(t,x) in der Zeit C1 und im Raum C2 sein und ∂_t u − Δu = f punktweise für fast alle (t,x) erfüllen; solche Regularität folgt häufig aus glatten Anfangsdaten und kompatiblen Randbedingungen.

Fehlanwendung

Anzunehmen, dass eine numerisch berechnete oder variationale Lösung stark sei, ohne Differenzierbarkeit oder Kompatibilitätsbedingungen zu prüfen, kann zu falscher Anwendung punktweiser Identitäten, fehlerhafter Anwendung von Maximumprinzipien oder ungültigen Fehlerabschätzungen führen.

Konsequenz

Existiert eine starke Lösung, folgen typischerweise Eindeutigkeit, stetige Abhängigkeit von den Daten und direkte Verifikation punktweiser Erhaltungssätze; klassische PDE-Techniken (Maximumprinzip, Charakteristiken) sind anwendbar.

Umkehrung

Das Umgekehrte ist die schwache Lösung, bei der die PDE nur in integrierter oder distributioneller Form erfüllt ist und punktweise Ableitungen eventuell nicht existieren.

Abgrenzung

Erfordert, dass Gebiet, Anfangs- und Randdaten sowie die Quellen die höhere Regularität zulassen; schließt Lösungen mit Schocks, Ecken oder Singularitäten aus, bei denen klassische Ableitungen fehlen oder nur schwach existieren.

Semantische Spannung

Spannungen bestehen zwischen starken Lösungen und milden Lösungen (Halbgruppenansatz) oder schwachen Lösungen: milde Lösungen sind weniger regulär, können aber Wohlgestelltheit sichern, wenn klassische Differenzierbarkeit nicht gegeben ist, während starke Lösungen stärkere Folgerungen erlauben.

Synthese

Eine starke Lösung ist die klassische Ausprägung eines Modells: sie besitzt genügend Glattheit, um Differentialoperatoren punktweise auszuwerten, erlaubt direkte PDE-Manipulationen, Eindeutigkeitsargumente und klassische Abschätzungen, vorausgesetzt die Daten und das Gebiet liefern die nötige Regularität.