Perturbations of Cauchy differences

Diese Arbeit untersucht Funktionalgleichungen, die aus gestörten Cauchy-Differenzen entstehen, charakterisiert deren Lösungen unter verschiedenen Regularitätsannahmen als additive Funktionen oder Exponentialpolynome und erweitert damit frühere Ergebnisse von Alzer und Matkowski.

Das Wesentliche

Das große Puzzle der Mathematik: Wenn Regeln nicht ganz passen

Stellen Sie sich vor, die Mathematik ist wie ein riesiges, perfekt funktionierendes Orchester. In diesem Orchester gibt es zwei sehr bekannte Musiker:

1. Der Addierer: Er sagt: „Wenn ich zwei Zahlen zusammenzähle, ist das Ergebnis einfach die Summe." (Das ist die klassische Cauchy-Gleichung: $f(x+y) = f(x) + f(y)$).
2. Der Multiplikator: Er sagt: „Wenn ich zwei Zahlen multipliziere, ist das Ergebnis das Produkt." (Das ist die Exponential-Gleichung: $f(x+y) = f(x) \cdot f(y)$).

Diese beiden Musiker spielen immer perfekt zusammen. Aber was passiert, wenn jemand im Orchester ein kleines Instrument falsch stimmt? Oder wenn ein dritter Musiker ein leises, störendes Geräusch macht? Genau darum geht es in diesem Papier.

Die Autoren untersuchen, was passiert, wenn diese perfekten Regeln leicht gestört werden. Sie nennen diese Störung eine „Perturbation" (Störung).

---

Die drei Arten des „Störgeräuschs"

Die Forscher schauen sich drei verschiedene Szenarien an, bei denen die perfekte Regel nicht mehr 100 % gilt, sondern durch eine kleine Abweichung (die rechte Seite der Gleichung) ersetzt wird.

1. Das „Doppelte" Problem (Die quadratische Störung)

Die Gleichung: $f(x+y) - f(x) - f(y) = \text{etwas Kleines}$

Stellen Sie sich vor, Sie versuchen, eine gerade Linie zu zeichnen. Aber jedes Mal, wenn Sie einen Schritt machen, rutscht Ihr Stift ein kleines Stück nach oben oder unten.

• Das Szenario: Die Störung ist ein einfaches Produkt, zum Beispiel $x \cdot y$ (wie eine kleine quadratische Kurve).
• Die Entdeckung: Die Autoren haben herausgefunden, dass die Lösung für diese gestörte Regel immer aus zwei Teilen besteht:
  1. Einem perfekten, geraden Teil (eine additive Funktion, wie eine gerade Linie).
  2. Einem „Knick" oder einer Kurve, die genau die Störung ausgleicht (oft eine quadratische Funktion wie $x^2$).
• Die Metapher: Es ist wie ein Auto, das auf einer geraden Straße fährt, aber eine Federung hat, die sich bei jedem Stoß leicht verformt. Das Auto fährt im Großen und Ganzen gerade, aber es hat eine spezifische „Verformungs-Kurve".

2. Das „Verwechselte" Problem (Die multiplikative Störung)

Die Gleichung: $f(xy) - f(x) - f(y) = \text{etwas Kleines}$

Hier wird die Multiplikation mit der Addition vermischt.

• Das Szenario: Die Forscher haben gesehen, dass wenn man versucht, eine Multiplikations-Regel mit einer Additions-Störung zu mischen, das System oft „einschnappt".
• Die Entdeckung: In vielen Fällen ist die einzige Möglichkeit, dass die Störung gar nicht existiert (sie ist null). Wenn die Störung aber existiert, muss die Funktion sehr speziell aussehen – oft ist sie einfach eine logarithmische Funktion (die Umkehrung der Potenz).
• Die Metapher: Es ist wie ein Kochrezept, das sagt: „Mischen Sie Zucker und Mehl." Aber das Rezept fügt hinzu: „Und zwar so, dass die Mischung genau doppelt so schwer ist wie die Summe der Zutaten." Das funktioniert physikalisch oft nicht, es sei denn, man ändert das Rezept komplett (die Funktion wird zu einem Logarithmus).

3. Das „Geister"-Problem (Die Levi-Civita-Störung)

Die Gleichung: $f(x+y) - f(x) - f(y) = \alpha(x) \cdot \alpha(y)$

Das ist das komplexeste Szenario. Hier ist die Störung nicht fest vorgegeben, sondern hängt von einer anderen unbekannten Funktion $\alpha$ ab.

• Das Szenario: Die Störung ist wie ein Echo. Wenn Sie etwas tun ($x$), kommt ein Echo zurück, das von einer anderen Funktion ($\alpha$) erzeugt wird.
• Die Entdeckung: Die Autoren haben bewiesen, dass die Lösungen für dieses Chaos nicht zufällig sind. Sie bestehen immer aus einer Mischung von:
  • Exponentialfunktionen (die schnell wachsen, wie Bakterien).
  • Polynomen (wie $x$, $x^2$, $x^3$).
  • Additiven Funktionen (gerade Linien).
• Die Metapher: Stellen Sie sich vor, Sie werfen einen Stein in einen Teich. Die Wellen (die Lösung) sind nicht zufällig. Sie sind eine perfekte Kombination aus der Form des Steins (die additive Funktion) und der Art, wie das Wasser reagiert (die exponentiellen Wellen). Die Autoren haben die genaue Formel für diese Wellenmuster gefunden.

---

Warum ist das wichtig?

Bisher wussten Mathematiker nur, wie die perfekten Regeln funktionieren. Dieses Papier ist wie eine Reparaturanleitung für kaputte Regeln.

• Für die Theorie: Es zeigt, dass selbst wenn die Welt nicht perfekt ist (Störungen gibt es), die Lösungen oft immer noch eine sehr klare, strukturierte Form haben. Sie sind nicht chaotisch.
• Für die Praxis: In der Physik oder Ingenieurwissenschaft gibt es fast immer kleine Fehler oder Störungen in den Messungen. Dieses Papier sagt uns: „Wenn Sie eine solche Störung sehen, wissen Sie sofort, welche Art von Funktion dahintersteckt."

Das Fazit in einem Satz

Die Autoren haben gezeigt, dass selbst wenn die perfekten mathematischen Gesetze ein wenig „wackeln" oder gestört werden, die Lösungen immer noch wie gut geölte Maschinen funktionieren – sie bestehen einfach aus einer Mischung aus geraden Linien, Kurven und exponentiellen Wellen, die man genau berechnen kann.

Sie haben auch ein paar Rätsel gelassen (offene Probleme), die wie neue Schatzkarten für zukünftige Forscher aussehen, die noch nicht mit den aktuellen Methoden zu lösen sind.

Technische Zusammenfassung

Titel: Perturbations of Cauchy differences (Störungen von Cauchy-Differenzen)
Autoren: Eszter Gselmann, Tomasz Małolepszy, Janusz Matkowski
Datum: 23. März 2026

1. Problemstellung

Das Paper untersucht Funktionalgleichungen, die aus Störungen (Perturbationen) klassischer Cauchy-Differenzen entstehen. Der Fokus liegt auf Gleichungen der Form:

1. Additive Störung: $f(x + y) - f(x) - f(y) = B(x, y)$
2. Multiplikative Störung: $f(xy) - f(x)f(y) = B(x, y)$

Dabei ist $B$ entweder eine gegebene biadditive Abbildung oder hängt von unbekannten Funktionen ab, wie z. B. in den Fällen:

• $f(x+y) - f(x) - f(y) = \alpha xy$
• $f(x+y) - f(x) - f(y) = \alpha(xy)$
• $f(x+y) - f(x) - f(y) = \alpha(x)\alpha(y)$
• $f(xy) - f(x)f(y) = \alpha(x)\alpha(y)$

Das Ziel ist die Charakterisierung der Lösungen $f$ und $\alpha$ unter verschiedenen strukturellen und Regularitätsannahmen (z. B. auf Gruppen, Halbgruppen, reellen oder komplexen Zahlen).

2. Methodik

Die Autoren bedienen sich einer Kombination aus klassischen Methoden der Theorie der Funktionalgleichungen:

• Reduktion auf einfachere Formen: Durch Substitution und Definition neuer Funktionen (z. B. $a(x) = f(x) - \frac{1}{2}B(x,x)$) werden die gestörten Gleichungen auf bekannte Cauchy-Gleichungen (additiv oder multiplikativ) zurückgeführt.
• Koketten-Gleichungen (Cocycle Equations): Die Struktur der Cauchy-Differenz wird genutzt, um Bedingungen an die Störungsterme zu stellen (z. B. $\alpha(xy) + \alpha((x+y)z) = \dots$), was zu additiven oder multiplikativen Eigenschaften führt.
• Levi-Civita-Theorie: Für Gleichungen, die Produkte von Funktionen enthalten (insbesondere $\alpha(x)\alpha(y)$), wird die Theorie der Levi-Civita-Gleichungen herangezogen. Dies erlaubt die Klassifizierung der Lösungen als Exponentialpolynome.
• Lineare Unabhängigkeit und Rang-Analyse: Die Lösungen werden durch die Analyse des Rangs des Systems der beteiligten Funktionen (z. B. $\{f, 1, \alpha\}$) klassifiziert. Dabei wird auf Ergebnisse von László Székelyhidi zurückgegriffen, die besagen, dass endlich-dimensionale translationsinvariante Räume aus Exponentialpolynomen bestehen.
• Fallunterscheidungen: Basierend auf dem Rang der beteiligten Funktionen und der Linearunabhängigkeit von Exponentialfunktionen und additiven Komponenten werden verschiedene Lösungsklassen konstruiert.

3. Wichtige Beiträge und Ergebnisse

A. Additive Cauchy-Differenzen mit biadditiver Störung

• Proposition 1: Für die Gleichung $f(x+y) - f(x) - f(y) = B(x, y)$ mit symmetrischer, biadditiver $B$ auf einer Halbgruppe $S$ ist die allgemeine Lösung gegeben durch $f(x) = \frac{1}{2}B(x, x) + a(x)$, wobei $a$ eine additive Funktion ist.
• Spezialfälle:
  • Für $B(x, y) = \alpha xy$ ergibt sich $f(x) = \frac{\alpha}{2}x^2 + a(x)$.
  • Für multiplikative Domänen ($f(xy) - f(x) - f(y) = \alpha xy$) zeigt sich, dass nur die triviale Lösung $\alpha = 0$ existiert, was $f$ zu einer logarithmischen Funktion macht.

B. Gleichungen mit unbekannten Störungsfunktionen

• Fall $\alpha(xy)$: Wenn die Störung von $\alpha(xy)$ abhängt, wird gezeigt, dass $\alpha$ konstant sein muss und $f$ eine additive Funktion plus eine Konstante ist.
• Fall $\alpha(x)\alpha(y)$ (Levi-Civita-Typ):
  • Theorem 1: Für $f(xy) - f(x) - f(y) = \alpha(x)\alpha(y)$ auf einer Gruppe $G$ sind die Lösungen Exponentialpolynome vom Grad höchstens 3. Die Lösungen lassen sich explizit durch additive Funktionen $a$, Exponentialfunktionen $m$ und Konstanten darstellen.
  • Reguläre Lösungen: Unter Regularitätsannahmen (Stetigkeit, Messbarkeit) auf $\mathbb{R}$ reduzieren sich die Lösungen auf Kombinationen von linearen Funktionen und Exponentialfunktionen (z. B. $f(x) = \gamma x + \alpha^2(e^{\lambda x} - 1)$).

C. Exponentielle Cauchy-Differenzen

• Proposition 4: Für die Gleichung $f(xy) - f(x)f(y) = \alpha(xy)$ wird gezeigt, dass $f$ proportional zu einer Exponentialfunktion ist ($f(x) = f(1)m(x)$) und $\alpha$ eine entsprechende Form annimmt.
• Theorem 2: Für die Gleichung $f(xy) - f(x)f(y) = \alpha(x)\alpha(y)$ werden die Lösungen vollständig klassifiziert. Es gibt drei Hauptfälle, abhängig vom Rang des Systems $\{f, \alpha\}$:
  1. Lösungen der Form $(\gamma_1 a(x) + \gamma_2)m(x)$ und $(\alpha_1 a(x) + \alpha_2)m(x)$ mit spezifischen algebraischen Bedingungen an die Konstanten.
  2. Linearkombinationen zweier linear unabhängiger Exponentialfunktionen.
  3. Triviale Fälle oder reine Exponentialfunktionen.
  • Das Paper leitet auch explizite Bedingungen für reellwertige Lösungen ab (z. B. müssen bestimmte Konstanten in bestimmten Intervallen liegen, damit die Lösungen reell bleiben).

4. Signifikanz und Bedeutung

• Erweiterung bestehender Arbeiten: Die Ergebnisse erweitern frühere Arbeiten von Alzer und Matkowski, die sich speziell mit der Bilinearität der Cauchy-exponentiellen Differenz befassten. Das Paper verallgemeinert diese auf beliebige biadditive Störungen und auf den Fall, dass die Störung von unbekannten Funktionen abhängt.
• Strukturelle Einblicke: Es wird gezeigt, dass Lösungen solcher gestörter Gleichungen fast immer auf bekannte Klassen zurückführbar sind: additive Funktionen, Exponentialfunktionen, Polynome oder Kombinationen daraus (Exponentialpolynome).
• Verallgemeinerung des Rahmens: Die Untersuchungen finden auf allgemeinen algebraischen Strukturen statt (Gruppen, Halbgruppen, Körper), was die Anwendbarkeit der Ergebnisse über den reellen Zahlen hinaus erweitert.
• Offene Probleme: Das Paper schließt mit der Feststellung, dass bestimmte gemischte Gleichungen (z. B. $f(x+y) - f(x)f(y) = \alpha(xy)$) mit den hier präsentierten Methoden nicht lösbar sind und zukünftige Forschung erfordern.

Zusammenfassend liefert das Paper eine umfassende Klassifikation von Funktionalgleichungen, bei denen die klassische Cauchy-Differenz durch bilineare oder funktionalabhängige Terme gestört wird, und stellt explizite Darstellungen der Lösungen unter verschiedenen Regularitätsbedingungen bereit.