Perturbations of Cauchy differences

Dit artikel onderzoekt functionaalvergelijkingen die voortvloeien uit perturbaties van Cauchy-differenties, waarbij oplossingen worden gekarakteriseerd als additieve functies, exponentiële polynomen of combinaties daarvan, en nieuwe inzichten worden geboden die het eerdere werk van Alzer en Matkowski uitbreiden.

De kern

De Recepten van de Wiskunde: Hoe je een "Gekke" Vergelijking weer Normaal Maakt

Stel je voor dat wiskunde een enorme keuken is. De bekendste en meest betrouwbare chef-kok in deze keuken is Cauchy. Hij heeft twee beroemde recepten (vergelijkingen) die altijd perfect werken:

1. Het Sommen-Recept: Als je twee ingrediënten ($x$ en $y$) optelt, is het resultaat precies de som van de individuele smaken. ($f(x+y) = f(x) + f(y)$). Dit is als het maken van een simpele soep: de smaak van de soep is gewoon de som van de groenten.
2. Het Vermenigvuldigen-Recept: Als je ingrediënten vermenigvuldigt, werkt het op een vergelijkbare, maar iets complexere manier (exponentieel).

In dit nieuwe onderzoek, geschreven door Eszter Gselmann, Tomasz Małolepszy en Janusz Matkowski, kijken de auteurs naar wat er gebeurt als deze perfecte recepten verstoord worden.

Het Probleem: De "Vreemde Gast" in de Keuken

Stel je voor dat je het Sommen-Recept probeert te maken, maar er gebeurt iets raars. De soep smaakt niet precies als de som van de groenten. Er zit een extra, vreemde smaak in. De auteurs noemen dit een perturbatie (een verstoring).

De vergelijking ziet er dan zo uit:
$$f(x + y) - f(x) - f(y) = \text{Iets Vreemds}$$

In plaats van dat de linkerkant gelijk is aan nul (perfecte soep), is hij gelijk aan iets anders. Dat "Iets Vreemds" kan zijn:

• Een vast getal vermenigvuldigd met $x$ en $y$ (zoals een vaste hoeveelheid zout).
• Een functie die afhangt van het product van $x$ en $y$.
• Een functie die afhangt van de producten van andere functies.

De vraag die de auteurs beantwoorden is: Als je deze "verstoord" recepten hebt, wat voor soort koks (functies) kunnen ze dan nog steeds maken?

De Oplossing: De "Basisrecepten" Ontmaskeren

De kern van hun ontdekking is dat deze "verstoord" recepten vaak niet zo gek zijn als ze lijken. Ze kunnen bijna altijd worden opgesplitst in twee bekende delen:

1. De "Normale" Deel: Een simpele, rechte lijn (een lineaire functie). Dit is als de basissoep die je al kent.
2. De "Kwadratische" of "Exponentiële" Deel: Een extra laagje smaak dat specifiek wordt veroorzaakt door de verstoring.

Een Analogie:
Stel je voor dat je een auto hebt die normaal gesproken rechtuit rijdt (dat is de "additieve" functie). Maar nu heb je een steen onder het wiel gelegd (de "verstoring"). De auto gaat nu een beetje schuin rijden.
De auteurs zeggen: "Weet je wat? Als je de steen verwijdert en de auto een beetje aanpast, zie je dat de auto eigenlijk nog steeds een heel simpel patroon volgt: een rechte lijn plus een vaste kromming door de steen."

In wiskundetaal betekent dit dat als je een functie $f$ hebt die voldoet aan deze gestoorde vergelijking, $f$ eigenlijk bestaat uit:

• Een additieve functie (een rechte lijn: $f(x) = c \cdot x$).
• Plus een kwadratisch stukje (als de verstoring $xy$ is: $f(x) = c \cdot x^2$).

De "Levi-Civita" Puzzel

Een deel van het artikel gaat over een nog complexer soort verstoring, waarbij de "vreemde smaak" zelf ook een functie is van $x$ en $y$ (bijvoorbeeld $\alpha(x) \cdot \alpha(y)$).

Dit wordt vergeleken met een Levi-Civita vergelijking. Stel je voor dat je niet alleen kijkt naar de soep, maar ook naar de pot waarin hij kookt, en hoe die pot verandert als je hem verplaatst.
De auteurs tonen aan dat zelfs in deze complexe gevallen, de oplossing vaak bestaat uit een combinatie van:

• Exponentiële functies (zoals $e^x$, die snel groeien).
• Polynomen (veeltermen, zoals $x^2$ of $x^3$).

Ze zeggen eigenlijk: "Zelfs als de vergelijking eruitziet als een wirwar van draden, kun je die draden vaak ontwarren tot een paar simpele, bekende patronen."

Waarom is dit belangrijk?

Vroeger wisten wiskundigen al hoe ze met "perfecte" recepten om moesten gaan. Maar in de echte wereld zijn dingen zelden perfect. Er is altijd ruis, altijd een kleine verstoring.

Dit artikel is als een reparatiehandleiding voor wiskundige vergelijkingen. Het zegt:

• "Als je ziet dat je vergelijking niet perfect werkt, maak je je geen zorgen."
• "Kijk naar de vorm van de verstoring."
• "Dan kun je precies voorspellen hoe de oplossing eruitziet: het is bijna altijd een mix van een rechte lijn en een kromme lijn."

Samenvatting in één zin

De auteurs hebben bewezen dat zelfs als je de beroemde "Cauchy-vergelijkingen" (de basis van veel wiskunde) een beetje "verpest" met extra termen, de oplossingen nog steeds heel gestructureerd zijn en vaak terug te brengen zijn tot simpele, bekende vormen zoals rechte lijnen, parabolen of exponentiële groeicijfers. Ze hebben de "recepten" voor deze gestoorde situaties gevonden, zodat andere wiskundigen niet meer hoeven te raden, maar gewoon kunnen kijken naar hun lijstje met mogelijke oplossingen.

Technische samenvatting

Technische Samenvatting: Perturbaties van Cauchy-differenties

Titel: Perturbations of Cauchy differences
Auteurs: Eszter Gselmann, Tomasz Małolepszy, Janusz Matkowski
Datum: 23 maart 2026
Trefwoorden: Functionale vergelijkingen, Cauchy-differentie, biadditiviteit, Levi-Civita-vergelijkingen, exponentiële polynomen.

1. Probleemstelling en Context

Het artikel onderzoekt functionele vergelijkingen die ontstaan uit perturbaties (verstoringen) van de klassieke Cauchy-differenties. De auteurs bestuderen vergelijkingen waarbij het verschil tussen de functie van een som (of product) en de som (of product) van de functiewaarden niet nul is, maar gelijk staat aan een inhomogeen term $B(x, y)$.

De centrale vergelijkingen zijn:

1. Additieve perturbatie: $f(x + y) - f(x) - f(y) = B(x, y)$
2. Exponentiële perturbatie: $f(xy) - f(x)f(y) = B(x, y)$

Waarbij $B$ vaak een biadditieve afbeelding is, of specifiekere vormen aanneemt zoals $\alpha xy$, $\alpha(xy)$, of $\alpha(x)\alpha(y)$. Het doel is om de oplossingen voor deze vergelijkingen te karakteriseren onder verschillende structurele en regulariteitsaannames (zoals continuïteit, meetbaarheid of begrensdheid), en te bepalen in hoeverre deze oplossingen reduceren tot additieve functies, exponentiële polynomen of combinaties daarvan.

Het werk bouwt voort op eerdere studies, waaronder die van Alzer en Matkowski over de bilineariteit van de Cauchy-exponentiële differentie, en breidt deze uit naar algemenere domeinen (groepen, semigroepen) en velden (reële en complexe getallen).

2. Methodologie

De auteurs hanteren een combinatie van klassieke methoden uit de theorie van functionele vergelijkingen:

• Cocycle-vergelijkingen: Het gebruik van de cocycle-eigenschap van de Cauchy-differentie om restricties op de inhomogene term af te leiden.
• Reductie tot bekende vormen: Het transformeren van de gegeven vergelijkingen naar bekende types, zoals de Levi-Civita-vergelijking ($f(xy) = \sum g_i(x)h_i(y)$).
• Lineaire onafhankelijkheid: Het analyseren van de lineaire onafhankelijkheid van translaties van de functie $f$ om de graad van exponentiële polynomen te bepalen (gebaseerd op het werk van Székelyhidi).
• Structuurtheorie: Het gebruik van de eigenschappen van additieve functies ($a(x+y)=a(x)+a(y)$), exponentiële functies ($m(xy)=m(x)m(y)$) en polynomen gedefinieerd over deze functies.
• Domein-analyse: Het onderscheiden van gevallen waarbij het domein een groep is versus een semigroep, en het effect van het opnemen van het element 0 in het domein.

3. Belangrijkste Resultaten en Bijdragen

De resultaten zijn onderverdeeld in twee hoofdsecties: additieve en exponentiële Cauchy-differenties.

A. Additieve Cauchy-differenties

• Biadditieve perturbatie: Voor de vergelijking $f(x+y) - f(x) - f(y) = B(x, y)$ met een symmetrische biadditieve $B$, wordt bewezen dat elke oplossing de vorm heeft:
  $$f(x) = \frac{1}{2}B(x, x) + a(x)$$
  waarbij $a$ een additieve functie is.
• Specifieke vormen:
  • Voor $f(x+y) - f(x) - f(y) = \alpha xy$ (op een semigroep $S \subseteq \mathbb{F}$) is de oplossing $f(x) = \frac{\alpha}{2}x^2 + a(x)$.
  • Voor de multiplicatieve variant $f(xy) - f(x) - f(y) = \alpha xy$ wordt aangetoond dat $\alpha$ noodzakelijkerwijs 0 moet zijn, waardoor $f$ een logaritmische functie wordt.
  • Voor $f(xy) - f(x) - f(y) = \alpha(xy)$ op een ondergroep van $\mathbb{F}^\times$ wordt bewezen dat $\alpha$ constant is en $f$ een verschoven additieve functie.
• Levi-Civita type ($\alpha(x)\alpha(y)$): Voor de vergelijking $f(xy) - f(x) - f(y) = \alpha(x)\alpha(y)$ (en de additieve variant $f(x+y) - f(x) - f(y) = \alpha(x)\alpha(y)$) worden de oplossingen volledig gekarakteriseerd. De auteurs bewijzen dat $f$ en $\alpha$ exponentiële polynomen van graad ten hoogste 3 zijn. De oplossingen worden uitgedrukt in termen van additieve functies $a$, exponentiële functies $m$ en complexe constanten.
  • Bij regulariteitsaannames (continuïteit, meetbaarheid) reduceren de oplossingen zich tot specifieke vormen met reële exponentiële functies (bijv. $e^{\lambda x}$) en lineaire functies.

B. Exponentiële Cauchy-differenties

• Lineaire perturbatie: Voor $f(xy) - f(x)f(y) = \alpha(xy)$ wordt bewezen dat $f(x) = f(1)m(x)$ en $\alpha(x) = f(1)(1-f(1))m(x)$, waarbij $m$ een exponentiële functie is.
• Kwadratische perturbatie (Levi-Civita): Voor de vergelijking $f(xy) - f(x)f(y) = \alpha(x)\alpha(y)$ (of de additieve variant $f(x+y) - f(x)f(y) = \alpha(x)\alpha(y)$) worden de oplossingen gekarakteriseerd als exponentiële polynomen.
  • De auteurs onderscheiden gevallen gebaseerd op de rang van het stelsel $\{f, \alpha\}$.
  • De oplossingen nemen vormen aan zoals $f(x) = (\gamma_1 a(x) + \gamma_2)m(x)$ of lineaire combinaties van exponentiële functies.
  • Er worden expliciete voorwaarden gegeven voor de constanten zodat de vergelijking geldig is.
  • Voor reële oplossingen worden restricties op de parameters afgeleid (bijv. $\gamma \in [0, 1]$).

4. Significatie en Toekomstperspectief

• Veralgemening: Het artikel generaliseert eerdere resultaten van Alzer en Matkowski naar bredere algebraïsche structuren (groepen en semigroepen) en behandelt zowel additieve als exponentiële perturbaties in één theoretisch kader.
• Compleetheid: Het biedt een volledige classificatie van oplossingen voor een breed scala aan inhomogene termen, inclusief gevallen waar de inhomogeniteit afhankelijk is van onbekende functies ($\alpha$).
• Open Problemen: De auteurs merken op dat vergelijkingen zoals $f(x+y) - f(x)f(y) = \alpha(xy)$ en $f(xy) - f(x)f(y) = \alpha(x+y)$ niet opgelost kunnen worden met de huidige methoden en vereisen nieuwe technieken. Dit markeert een richting voor toekomstig onderzoek.

Conclusie:
Dit artikel levert een fundamentele bijdrage aan de theorie van functionele vergelijkingen door de structuur van oplossingen voor Cauchy-differenties met biadditieve en product-afhankelijke perturbaties te ontrafelen. Het verbindt klassieke resultaten met moderne methoden voor exponentiële polynomen en biedt een robuust raamwerk voor het analyseren van dergelijke niet-lineaire functionele vergelijkingen.