Uniqueness of the Canonical Reciprocal Cost

Dit artikel bewijst dat een functie die afwijkingen van de evenwichtsverhouding $x=1$ straft, uniek wordt bepaald als een canonieke reciproque kost (het verschil tussen het rekenkundig en meetkundig gemiddelde) door de combinatie van een d'Alembert-samenstellingswet en een enkele kwadratische kalibratie, waarbij de noodzaak van elke aanname en de stabiliteit van de oplossing worden onderzocht.

De kern

Stel je voor dat je een rekenmachine voor verhoudingen ontwerpt. Je wilt een functie (een soort "rekenregel") die vertelt hoe ver twee getallen van elkaar af staan, maar dan op een heel specifieke manier: niet door gewoon te aftrekken, maar door te kijken naar hun verhouding.

Stel je hebt een getal $x$. Als $x$ groter is dan 1, is het "te groot". Als $x$ kleiner is dan 1, is het "te klein". Maar hier is de truc: in deze wereld is "te groot" (bijvoorbeeld 2) precies even erg als "te klein" (bijvoorbeeld 1/2). Ze zijn elkaars spiegelbeeld. De auteurs van dit paper, Jonathan en Milan, willen weten: Is er maar één enkele, perfecte manier om deze "straf" te berekenen?

Ze ontdekken dat het antwoord ja is, mits je twee simpele regels volgt. Hier is de uitleg, vertaald naar alledaagse taal.

1. De Twee Regels van het Spel

Om de perfecte "verhoudings-rekenmachine" te vinden, moeten we twee voorwaarden stellen:

Regel 1: De "D'Alambert-Regel" (De Combinatieregel)
Stel je voor dat je twee verhoudingen combineert. Als je een verhouding $x$ en een verhouding $y$ hebt, dan moet de straf voor de combinatie ($xy$) en de straf voor het verschil ($x/y$) op een heel specifieke manier samenhangen met de straffen van $x$ en $y$ apart.

• De metafoor: Denk aan het mengen van kleuren. Als je rood en geel mengt, krijg je oranje. De regel zegt: "De kleur van het mengsel plus de kleur van het verschil moet precies overeenkomen met een vaste formule gebaseerd op de oorspronkelijke kleuren."
• In wiskundetaal zorgt deze regel ervoor dat de functie "stabiel" is en zich gedraagt als een spiegel (als $x$ en $1/x$ dezelfde straf krijgen).

Regel 2: De "Kalibratie" (De Nul-lijn)
We weten dat als je precies op het juiste punt zit (waar $x = 1$, dus geen verschil), de straf 0 moet zijn. Maar de auteurs zeggen: "Dat is niet genoeg."
Ze eisen ook dat we weten hoe snel de straf stijgt als je net een beetje van 1 afwijkt. Ze zeggen: "Als je heel dicht bij 1 komt, moet de straf stijgen alsof je een parabool beklimt (kwadratisch)."

• De metafoor: Stel je een bal op een heuveltop. We weten dat de bal op de top (punt 1) stil staat. Maar we moeten ook weten hoe steil de helling is. Als de helling te plat is, rolt de bal niet snel genoeg weg. Als hij te steil is, schiet hij er zo af. De auteurs eisen een perfecte steilte (een "eenheid" van kromming).

2. Het Grote Geheim: De Unieke Oplossing

Als je aan beide regels voldoet, blijkt dat er maar één mogelijke functie is die werkt. Geen andere, geen variaties.

Deze unieke functie noemen ze de "Canonieke Reciproque Kosten" (de perfecte prijs voor een spiegelbeeld-verhouding).
De formule ziet er zo uit:
$$J(x) = \frac{x + \frac{1}{x}}{2} - 1$$

Wat betekent dit in het echt?
Deel $x$ en zijn spiegelbeeld ($1/x$) bij elkaar op, neem het gemiddelde, en trek er 1 van af.

• Als $x = 1$: $\frac{1+1}{2} - 1 = 0$ (Geen straf, perfect).
• Als $x = 2$: $\frac{2 + 0.5}{2} - 1 = 1.25 - 1 = 0.25$.
• Als $x = 0.5$: $\frac{0.5 + 2}{2} - 1 = 0.25$ (Zelfde straf als bij 2, want het is een spiegelbeeld).

In de wiskundige wereld van deze paper is deze formule de "heilige graal". Het is de enige manier om verhoudingen te straffen die zowel logisch (door de combinatieregel) als gevoelig (door de kalibratie) is.

3. Waarom is dit zo belangrijk? (De "Rigiditeit")

De paper noemt dit een rigiditeitsprobleem. Dat klinkt als een stevige constructie.

• Zonder Regel 1: Je kunt een hele familie van functies maken die erop lijken, maar die niet perfect samenwerken bij het combineren van getallen.
• Zonder Regel 2: Je kunt de functie wel combineren, maar de "steilte" is willekeurig. Je zou kunnen kiezen voor een functie die $100$ keer zo snel stijgt als de onze. Dan is de oplossing niet uniek.
• Met beide regels: De constructie is "stug". Je kunt de bouten niet meer losdraaien. De oplossing is vastgezet.

De auteurs tonen ook aan dat als je de regels negeert, je in de war raakt:

• Als je geen regel voor de steilte hebt, heb je een "familie" van oplossingen (zoals een radio die op verschillende frequenties kan staan).
• Als je geen regel voor de combinatie hebt, kun je willekeurige kromme lijnen tekenen die wel op 0 beginnen, maar nergens anders zinvol zijn.
• Zelfs als je alleen naar de regels kijkt zonder "regels voor netheid" (wiskundige continuïteit), kun je bizarre, onvoorspelbare oplossingen vinden die in de echte wereld niet bestaan (zoals "gekke" functies die overal haperen).

4. De Wiskundige "Magie" (Logaritmen en Cosinus)

Hoe hebben ze dit bewezen? Ze hebben de getallen omgezet.
In plaats van te kijken naar vermenigvuldiging ($x \cdot y$), kijken ze naar optellen in een andere wereld (logaritmen).

• In deze nieuwe wereld wordt de complexe regel over vermenigvuldiging simpelweg de beroemde d'Alembert-vergelijking.
• Deze vergelijking is bekend van de golfbeweging en de vorm van een cosinus (of hyperbolische cosinus).
• De "kalibratie" (Regel 2) zorgt ervoor dat we de hyperbolische cosinus kiezen ($\cosh$) in plaats van de gewone cosinus.
  • Waarom? Gewone cosinus gaat heen en weer (positief en negatief), maar onze "straf" moet altijd positief zijn (je kunt niet "negatief straf" hebben). De hyperbolische cosinus is altijd positief en ziet eruit als een U-vormige kuip.

Samenvatting voor de leek

Stel je voor dat je een perfecte weegschaal bouwt voor verhoudingen.

1. Je eist dat de weegschaal eerlijk is: 2 kilo en 0,5 kilo wegen even zwaar (spiegelbeeld).
2. Je eist dat de weegschaal stabiel is: als je twee gewichten combineert, werkt de weegschaal volgens een vaste wet.
3. Je eist dat de weegschaal gevoelig genoeg is: als je heel weinig gewicht toevoegt, moet hij precies zo reageren als een perfecte parabool.

Als je aan al deze eisen voldoet, blijkt dat er maar één enkele weegschaal bestaat die dit kan. Die ene weegschaal is de formule die in dit paper wordt gepresenteerd. Het is de enige "eerlijke", "stabiele" en "gevoelige" manier om afwijkingen in verhoudingen te meten.

De paper bewijst dus dat de natuur (of de wiskunde) ons een uniek antwoord geeft op de vraag: "Hoe meet je perfect hoe ver twee getallen van elkaar af staan, als je ze als spiegelbeelden ziet?" Het antwoord is: Gebruik het gemiddelde van het getal en zijn omgekeerde, min 1.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Uniqueness of the Canonical Reciprocal Cost" van Jonathan Washburn en Milan Zlatanović, in het Nederlands.

Titel: Uniekheid van de Canonieke Reciproke Kosten

Auteurs: Jonathan Washburn en Milan Zlatanović
Trefwoorden: d'Alembert functionele vergelijking, reciproke kostenfunctie, kwadratische kalibratie, rigiditeit, hyperbolische cosinus, Bregman-divergentie.

---

1. Probleemstelling

Het artikel onderzoekt een rigiditeitsprobleem voor functies $F: \mathbb{R}_{>0} \to \mathbb{R}_{\geq 0}$ die afwijkingen van een positieve ratio van de evenwichtstoestand $x=1$ straffen. Het centrale doel is om te bepalen of een specifieke functionele vorm uniek wordt bepaald door een combinatie van een algebraïsche samenstellingswet en een lokale kalibratievoorwaarde.

De kernvragen zijn:

1. Leidt een specifieke "d'Alembert-achtige" samenstellingswet op $\mathbb{R}_{>0}$ tot een unieke functie?
2. Is er extra regulariteit of kalibratie nodig om de schaalvrijheid en de keuze tussen verschillende oplossingsfamilies (zoals cosinus versus hyperbolische cosinus) te elimineren?

2. Methodologie

De auteurs gebruiken een combinatie van functionele vergelijkingen-theorie en analyse in logaritmische coördinaten.

• Transformatie naar Logaritmische Coördinaten:
  De functie $F(x)$ wordt getransformeerd naar $H(t) = F(e^t) + 1$, waarbij $t = \ln x$. Deze transformatie is cruciaal omdat de oorspronkelijke samenstellingswet op $\mathbb{R}_{>0}$ exact overgaat in de klassieke d'Alembert functionele vergelijking op $\mathbb{R}$:
  $$H(t + u) + H(t - u) = 2H(t)H(u)$$
• Kalibratievoorwaarde:
  Er wordt een enkele lokale kwadratische kalibratie bij het evenwicht ($x=1$, oftewel $t=0$) opgelegd, gedefinieerd als de "log-kromming" $\kappa(F)$:
  $$\kappa(F) := \lim_{t \to 0} \frac{2F(e^t)}{t^2} = 1$$
  Deze limiet zorgt voor de benodigde regulariteit (continuïteit en differentieerbaarheid) en fixeert de schaalparameter.
• Classificatie van Oplossingen:
  De auteurs maken gebruik van de klassieke classificatie van continue oplossingen van de d'Alembert-vergelijking, die bestaan uit de constante functies, de cosinusfunctie ($\cos(kt)$) en de hyperbolische cosinusfunctie ($\cosh(kt)$).

3. Belangrijkste Resultaten

A. Uniekheidstheorema (Hoofdstelling)

Onder de volgende twee aannames is de functie $F$ uniek bepaald en gelijk aan de canonieke reciproke kostenfunctie $J(x)$:

1. Samenstellingswet: $F(xy) + F(x/y) = 2F(x)F(y) + 2F(x) + 2F(y)$ voor alle $x, y > 0$.
2. Eenheid Log-kromming: $\lim_{t \to 0} \frac{2F(e^t)}{t^2} = 1$.

De unieke oplossing is:
$$J(x) = \frac{1}{2}\left(x + \frac{1}{x}\right) - 1$$
In logaritmische coördinaten is dit $J(e^t) = \cosh(t) - 1$.

B. Noodzaak van Aannames (Minimaliteit)

De auteurs bewijzen dat elke aanname essentieel is door contra-exemplaren te presenteren:

• Zonder kalibratie: De samenstellingswet alleen (met $F(1)=0$) leidt tot een één-parameter familie van oplossingen $F_\lambda(x) = \cosh(\lambda \ln x) - 1$. De kalibratie is nodig om $\lambda = 1$ te forceren.
• Zonder samenstellingswet: Alleen de normalisatie $F(1)=0$ en de kalibratie $\kappa(F)=1$ zijn niet voldoende om de globale vorm te bepalen (bijvoorbeeld, $F(x) = \frac{1}{2}(\ln x)^2$ voldoet aan de kalibratie maar niet aan de samenstellingswet).
• Zonder regulariteit: Zonder een regulariteitsaanname (zoals continuïteit of meetbaarheid) admiteert de d'Alembert-vergelijking pathologische, niet-meetbare oplossingen (gebaseerd op Hamel-bases), zelfs als $F(1)=0$.

C. Stabiliteitsschatting

Voor benaderende oplossingen waarbij de d'Alembert-vergelijking slechts geldt met een begrensd defect (foutmarge), bewijzen de auteurs een kwantitatieve consistentieschatting. Als een functie $H$ voldoende glad is en de vergelijking "bijna" voldoet, dan ligt $H$ uniform dicht bij de hyperbolische cosinus-functie.

D. Structurele Eigenschappen van $J(x)$

De paper identificeert diepe structurele eigenschappen van de gevonden functie:

• Aritmetisch-Geometrisch Gemiddelde: $J(x)$ is het verschil tussen het arithmetisch gemiddelde en het geometrisch gemiddelde van $x$ en $1/x$.
• Bregman Divergentie: In logaritmische coördinaten komt $J$ overeen met de Bregman-divergentie gegenereerd door de convex functie $\Phi(t) = \cosh(t)$ ten opzichte van het punt 0.
• Riemanniaanse Metriek: De functie induceert een metriek op $\mathbb{R}_{>0}$ met een gewichtsfactor $\sqrt{\cosh(\ln x)}$.
• Chebyshev Structuur: De discrete restrictie van de oplossing voldoet aan een recursie die gerelateerd is aan Chebyshev-polynomen: $J(x^n) = T_n(J(x) + 1) - 1$.

4. Significatie en Toepassing

• Rigiditeit in Functionele Vergelijkingen: Het artikel toont aan hoe een lokale kwadratische voorwaarde (kalibratie) in combinatie met een globale functionele vergelijking voldoende is om een unieke, fysiek interpreteerbare functie te isoleren uit een oneindige familie van mogelijke oplossingen.
• Interpretatie als Kostenfunctie: De functie $J(x)$ fungeert als een natuurlijke "energie"-straf voor multiplicatieve onevenwichtigheden. Het gedraagt zich lokaal als een kwadratische straffunctie ($\sim t^2$) rond het evenwicht, wat overeenkomt met standaard variatiemodellen, maar heeft een specifieke globale groei die geschikt is voor ratio-data.
• Verbinding met Meetkunde: Door de link te leggen met d'Alembert-vergelijkingen en Chebyshev-polynomen, plaatst het werk de reciproke kostenfunctie in een bredere context van niet-Euclidische meetkunde en functionele analyse.

Conclusie

Washburn en Zlatanović bewijzen dat de canonieke reciproke kostenfunctie $J(x) = \frac{1}{2}(x + x^{-1}) - 1$ de enige continue functie is die voldoet aan een specifieke d'Alembert-achtige samenstellingswet en een eenheid-kwadratische kalibratie. Dit resultaat benadrukt de kracht van het combineren van algebraïsche structuren met lokale analytische voorwaarden om unieke oplossingen in rigide problemen te vinden.