On the Hausdorff dimension and singularities of the monopolist's free boundary curve

1. Probleemstelling en Context

Het artikel behandelt een fundamenteel probleem in de economische theorie: het monopolist-probleem onder asymmetrische informatie. In het kader van de "principal-agent" theorie probeert een monopolist een lijn van producten te prijzen om de winst te maximaliseren, terwijl hij slechts statistische kennis heeft van de voorkeuren van de consumenten (de "types").

Wanneer de ruimte van acties en types meerdimensionaal is (in dit geval $n=2$, dus $X \subset [0, \infty)^2$), wordt het probleem een variatierekeningprobleem. De monopolist maximaliseert een winstfunctionaal $\Pi(u)$ over de verzameling van convexe indirecte nutfuncties $u$:
$$\Pi(u) := \int_X [x \cdot \nabla u(x) - u(x) - \frac{1}{2}|\nabla u(x)|^2] \, dH^n$$
De oplossing $u$ is uniek en bepaalt de geoptimaliseerde producten via $\nabla u(x)$.

De kern van het probleem ligt in de geometrie van het regio van strikte convexiteit $\Omega \subset X$ (waar consumenten gepersonaliseerde producten kiezen) versus de bunching-regio $\Omega_1$ (waar consumenten met verschillende types hetzelfde product kiezen, wat betekent dat $u$ daar affijn is). De grens tussen deze regio's, de vrije rand $\partial \Omega$, is het onderwerp van studie.

De auteurs focussen op de tame vrije rand (de "tamme" vrije rand), specifiek de punten waar de bundelstralen (rays) de rand van het domein $\partial X$ raken onder een niet-tangentiële hoek. Het doel is om de regulariteit en de fractale dimensie van deze vrije rand te karakteriseren.

2. Methodologie

De auteurs combineren economische theorie met geavanceerde technieken uit de partiële differentiaalvergelijkingen (PDE's) en de theorie van vrije randproblemen.

• Reductie tot een Obstacle Problem:
  De auteurs reduceren het probleem van het analyseren van de vrije rand nabij een "tame" punt tot een klassiek obstakelprobleem. Ze definiëren een equivalente relatie op het domein gebaseerd op de gradiënt van $u$. Voor een punt $x$ op de vrije rand is de equivalente klasse een straal (ray) die de rand $\partial X$ raakt.
  Ze construeren een minimale convexe extensie $u_1$ van de oplossing $u$ beperkt tot de bunching-regio $\Omega_1$. Door het verschil $v = u - u_1$ te beschouwen, transformeren ze het probleem naar:
  $$\Delta v = f \cdot \mathbf{1}_{\{v>0\}}$$
  waarbij $f$ een positieve functie is. Hierbij fungeert $u_1$ als het "obstakel".

• Verbetering van de Regulariteit van het Obstakel:
  Een cruciale stap is het bewijzen dat het endogene obstakel $u_1$ (afgeleid van de economische oplossing) een hogere regulariteit bezit dan eerder bekend was. Hoewel algemene theorieën slechts $C^{1,1}$ regulariteit garanderen, bewijzen de auteurs dat $u_1$ in feite $C^2$ is (en zelfs $C^{2, \alpha}$ onder bepaalde voorwaarden). Dit is essentieel omdat klassieke theorieën van Caffarelli voor obstakelproblemen een obstakel van ten minste $C^{2,\alpha}$ vereisen.

• Blow-up Analyse en Dichtheidsargumenten:
  Ze gebruiken "blow-up" technieken (schalen van de oplossing rond een punt op de vrije rand) om het lokale gedrag te analyseren. Ze classificeren punten op de vrije rand in:

  • Reguliere punten ($R$): Waar de dichtheid van de contactset (waar $v=0$) precies $1/2$ is.
  • Singuliere punten ($S$): Waar de dichtheid 0 is.
    Ze maken gebruik van resultaten van Blank en Hao voor obstakelproblemen met minder gladde obstakels (continu, maar niet noodzakelijk $C^{1,\alpha}$), en combineren dit met de specifieke structuur van het monopolist-probleem.

3. Belangrijkste Resultaten

De paper levert de volgende wiskundige resultaten op voor het tweedimensionale geval ($n=2$):

1. Discrete Singulariteiten:
   De set van singuliere punten $S$ op de tame vrije rand is een discrete verzameling. Dit betekent dat singuliere punten geïsoleerd zijn en niet kunnen accumuleren binnen de tame regio (behalve mogelijk op de vaste rand $\partial X$ of op specifieke grenspunten van de "exclusion region" $\Omega_0$).

2. Hausdorff-dimensie:
   De Hausdorff-dimensie van de tame vrije rand $T$ is maximaal 1.
   $$\dim_H(T) \leq 1$$
   Dit bevestigt dat de vrije rand, hoewel mogelijk niet glad, geen oppervlakte heeft en in essentie een kromme is.

3. Regulariteit van Reguliere Punten:
   De verzameling van reguliere punten $R$ vormt lokale $\alpha$-bi-Hölder-curve voor elke $0 < \alpha < 1$. Dit betekent dat de vrije rand lokaal equivalent is aan een open interval, zij het met een bepaalde mate van ruwheid.

4. Verbeterde Regulariteit onder Dini-voorwaarde:
   Als de Laplace-operator van het obstakel ($\Delta u_1$) voldoet aan de Dini-continuïteitsvoorwaarde, dan is de vrije rand lokaal $C^\infty$ (oneindig vaak differentieerbaar) buiten een gesloten verzameling met een lege relatieve inwendige (dus "zeer zeldzame" singulariteiten).

5. Specifiek Geval: Het Vierkant van Rochet en Choné:
   Voor het specifieke geval van een vierkant domein $X = (a, a+1)^2$, tonen ze aan dat de singuliere punten zich alleen kunnen ophopen bij de hoekpunten van het vierkant of bij specifieke punten op de diagonaal. Dit lost een langdurig open probleem op in de numerieke en theoretische literatuur over dit specifieke model.

4. Significatie en Bijdrage

De bijdrage van dit werk is zowel economisch als wiskundig van groot belang:

• Wiskundige Vooruitgang: Het artikel overbrugt de kloof tussen de economische modellen (waar de regulariteit van de oplossing vaak onbekend is) en de strikte wiskundige theorie van vrije randproblemen. Door te bewijzen dat het endogene obstakel $C^2$ is, kunnen ze de krachtige theorie van Caffarelli toepassen, wat eerder niet mogelijk leek.
• Oplossing van Open Problemen: Het bevestigt en verfijnt eerdere numerieke observaties en deels theoretische resultaten van Rochet, Choné en anderen. Het levert een rigoureuze bewijsvoering voor de dimensie van de vrije rand, wat eerder slechts als vermoeden of numeriek feit werd beschouwd.
• Economische Interpretatie: De resultaten geven inzicht in de structuur van de markt. De ontdekking dat de vrije rand een dimensie van 1 heeft en dat singulariteiten discreet zijn, impliceert dat de overgang tussen gepersonaliseerde producten en "bunching" (waar consumenten dezelfde producten kiezen) over het algemeen goed gedrag vertoont en niet chaotisch is, behalve op zeer specifieke, geïsoleerde punten.
• Methodologische Innovatie: De combinatie van de specifieke geometrische structuur van het monopolist-probleem (de "ray" structuur) met de recente resultaten van Blank over obstakelproblemen met minder gladde obstakels, opent de deur voor het analyseren van complexere economische modellen met meerdimensionale informatie.

Kortom, het artikel levert een scherp wiskundig kader voor het begrijpen van de geometrie van optimale prijsstrategieën in meerdimensionale markten, en bewijst dat de complexe vrije rand die hieruit voortvloeit, in essentie een gladde kromme is met slechts een discrete set van uitzonderingen.