On one class of nowhere non-monotonic functions with fractal properties that contains a subclass of singular functions

Each language version is independently generated for its own context, not a direct translation.

De Dansende Lijn: Een Reis door een Wiskundig Labyrint

Stel je voor dat je een lijn tekent op een vel papier dat loopt van links (0) naar rechts (1). Normaal gesproken trek je een rechte lijn (een lineaire functie) of een zachte boog. Maar wat als die lijn een danseres was die overal en nergens een eigen ritme volgt?

Dit artikel van Klymchuk en Pratsiovytyi gaat over een heel speciaal type wiskundige functie. Het is een continue lijn (geen sprongetjes), maar ze is nergens egaal. Ze is overal "wispelturig". Ze gaat niet alleen omhoog of alleen omlaag; ze doet allebei tegelijk, overal en op elk moment.

Hier is hoe ze dit doen, stap voor stap:

1. De Bouwstenen: Een Wiskundig Legpuzzel

Stel je voor dat je een getal (zoals een punt op je lijn) niet in decimale cijfers schrijft (0, 1, 2, 3...), maar in een ternair systeem (basis 3). Je gebruikt alleen de cijfers 0, 1 en 2.

0 betekent: ga naar het eerste stukje van de lijn.
1 betekent: ga naar het middelste stukje.
2 betekent: ga naar het laatste stukje.

De auteurs gebruiken een "magische matrix" (een soort recept) om te beslissen hoe groot elk stukje is. Ze noemen dit de $Q^*_3$ -representatie. Het is alsof je een taart in drieën deelt, maar de stukjes zijn niet altijd even groot; ze hangen af van een geheim recept dat steeds verandert.

2. De Magische Lijntekening

De functie $f(x)$ die ze hebben bedacht, is een oneindige som.

Je begint bij 0.
Je kijkt naar het eerste cijfer van je getal (bijv. 1). Dat bepaalt een eerste stap omhoog.
Dan kijk je naar het tweede cijfer. Dat bepaalt een tweede stap, maar de grootte van die stap hangt af van de vorige stap.
Dit gaat oneindig door.

Het resultaat is een lijn die altijd op het papier staat (geen gaten), maar die eruitziet als een ingewikkeld, fractalachtig patroon (zoals een sneeuwvlok of een kustlijn).

3. De Dans: Nergens Egaal (Nowhere Monotonic)

Dit is het meest fascinerende deel.

Een normale lijn is monotoon: hij gaat alleen maar omhoog (stijgend) of alleen maar omlaag (dalend).
Deze nieuwe lijn is "nergens monotoon".

De Analogie:
Stel je voor dat je een rollercoaster hebt die zo klein is dat hij overal op de aarde past. Als je erop zit, voel je je nooit even stil.

Als je denkt: "Ah, nu gaat hij omhoog!", dan duikt hij plotseling een klein stukje naar beneden.
Als je denkt: "Ah, nu daalt hij!", dan schiet hij weer een klein stukje omhoog.
Dit gebeurt op elke schaal. Of je nu door een vergrootglas kijkt of door een microscoop: de lijn blijft dansen. Er is geen enkel stukje waar hij recht of egaal is.

4. De Twee Uitersten: De "Stijve" en de "Zachte" Lijn

De auteurs tonen aan dat het gedrag van deze lijn afhangt van een instelknop, laten we hem $\epsilon$ noemen.

Instelling A (De Stijve Lijn): Als $\epsilon$ klein is, gedraagt de lijn zich als een normale, stijgende lijn. Hij gaat altijd omhoog. Hij is saai, maar voorspelbaar.
Instelling B (De Dansende Lijn): Als $\epsilon$ groot is (groter dan 0,5), wordt de lijn gek. Hij begint overal te dansen. Hij wordt nergens monotoon.
Instelling C (De Vaste Lijn): Als $\epsilon$ precies 0,5 is, gebeurt er iets vreemds. Op bepaalde stukjes wordt de lijn perfect plat. Hij loopt even horizontaal. Dit zijn de "rustplekken" in de chaos.

5. De Magische Eigenschappen

Deze lijn heeft nog meer trucs:

Ze is "Singular": De lijn is continu (geen gaten), maar als je probeert de helling (de afgeleide) te berekenen, krijg je overal 0 of oneindig. Het is alsof de lijn bestaat, maar geen "richting" heeft. Het is een lijn die de ruimte vult zonder echt te "bewegen" in de traditionele zin.
De Spiegel: Als je naar de grafiek kijkt, zie je dat hij zichzelf herhaalt in kleinere versies. Als je een klein stukje van de lijn vergroot, zie je weer de hele lijn. Dit noemen we fractale eigenschappen.
De Niveau's: Als je een horizontale lijn trekt over de grafiek (een "niveau"), snijdt deze de dansende lijn op een heel specifieke manier.
- Bij de "stijve" lijn snijdt hij op precies één punt.
- Bij de "dansende" lijn snijdt hij op oneindig veel punten, maar ze vormen geen blok, maar een "wolk" van punten die ergens tussenin zitten.

6. Waarom is dit interessant?

In de echte wereld zien we vaak lijnen die ofwel heel rustig zijn (zoals een rechte weg) of heel chaotisch (zoals een beursgrafiek). Wiskundigen zoeken vaak naar de "middenweg" of naar structuren die beide eigenschappen combineren.

Deze paper laat zien dat je een lijn kunt bouwen die:

Overal samenhangend is (geen gaten).
Overal verandert (geen rechte stukken).
Toch een heel strakke, wiskundige structuur heeft die je kunt beschrijven met een formule.

Het is als het bouwen van een huis waar elke muur, elke steen en elk bakje zelf weer een miniatuurhuisje bevat, maar waar je toch doorheen kunt lopen zonder te struikelen.

Kortom: De auteurs hebben een nieuwe familie van wiskundige lijnen ontdekt die "nergens rustig" zijn, maar die toch perfect voorspelbaar zijn volgens hun eigen, complexe regels. Het is een mooi voorbeeld van hoe wiskunde orde kan vinden in wat op het eerste gezicht pure chaos lijkt.

Each language version is independently generated for its own context, not a direct translation.

Hier is een gedetailleerde technische samenvatting van het artikel "Over een klasse van nergens monotone functies met fractale eigenschappen die een deelklasse van singulaire functies bevat", geschreven door S. O. Klymchuk en M. V. Pratsiovtyi.

1. Probleemstelling en Context

Het artikel onderzoekt een nieuwe klasse van continue functies $f$ gedefinieerd op het interval $[0, 1]$ . Het doel is om de analytische eigenschappen van deze functies te karakteriseren, met name hun monotonie, differentieerbaarheid en singulariteit.

De functies worden gedefinieerd aan de hand van een generalisatie van het ternaire (3-adische) getalsysteem, genaamd de $Q^*_3$ -representatie. De auteurs willen vaststellen onder welke voorwaarden deze functies:

Strikt monotoon zijn.
Nergens monotoon zijn (nowhere monotonic).
Singulier zijn (continu maar met een afgeleide die bijna overal nul is).
Een complexe fractale structuur vertonen.

Dit vult het bestaande onderzoek aan aan functies met ingewikkelde lokale structuren, zoals de bekende Cantor-functies, maar met een bredere parameterafhankelijkheid die zowel monotoon als nergens monotoon gedrag kan genereren.

2. Methodologie en Definitie

De kern van de methode ligt in de constructie van de functie $f(x)$ via een oneindige reeks gebaseerd op de cijfers van de $Q^*_3$ -representatie van $x$ .

De $Q^*_3$ -representatie:
Voor een getal $x \in [0, 1]$ wordt een representatie gebruikt gebaseerd op een oneindige stochastische matrix $Q^*_3 = ||q_{ik}||$ (waarbij $i \in \{0,1,2\}$ en $k \in \mathbb{N}$ ).
$x = \Delta_{Q^*_3} \alpha_1 \alpha_2 \dots = \beta_{\alpha_1}(1) + \sum_{k=2}^{\infty} \left[ \beta_{\alpha_k}(k) \prod_{j=1}^{k-1} q_{\alpha_j}(j) \right]$
Hierbij zijn $\beta_{ik}$ cumulatieve sommen van de matrixelementen.

Definitie van de functie $f(x)$ :
De functie wordt gedefinieerd als:
$f(x) = \delta_{\alpha_1}(1) + \sum_{k=2}^{\infty} \left[ \delta_{\alpha_k}(k) \prod_{j=1}^{k-1} g_{\alpha_j}(j) \right]$
De parameters zijn als volgt gedefinieerd:

$(\varepsilon_k)$ is een gegeven rij met $0 \le \varepsilon_k \le 1$.
$g_{0k} = g_{2k} = \frac{1 + \varepsilon_k}{3}$ en $g_{1k} = \frac{1 - 2\varepsilon_k}{3}$ .
$\delta_{0k} = 0$ , $\delta_{1k} = g_{0k}$ , $\delta_{2k} = g_{0k} + g_{1k}$ .

De auteurs bewijzen eerst de correctheid van deze definitie (de reeks convergeert absoluut en is welgedefinieerd voor rationale punten met twee representaties). Vervolgens wordt aangetoond dat het bereik van $f$ precies het interval $[0, 1]$ is en dat $f$ overal continu is.

3. Belangrijkste Resultaten en Bijdragen

A. Monotonie en Nergens Monotonie

De auteurs leiden strikte criteria af voor het monotoon gedrag van $f$ , afhankelijk van de waarde van de parameter $\varepsilon_k$ :

Strikt stijgend: Als $0 \le \varepsilon_k < \frac{1}{2} $voor alle$ k $, dan is$ g_{1k} > 0$. De functie is strikt stijgend op het hele domein.
Constante intervallen: Als $\varepsilon_k = \frac{1}{2}$ voor sommige $k$ , dan is $g_{1k} = 0$ . De functie is constant op bepaalde "cilinders" (intervallen in de $Q^*_3$ -representatie).
Nergens monotoon: Als $\frac{1}{2} < \varepsilon_k \le 1$ voor alle $k$ , dan is $g_{1k} < 0$ . In dit geval is de functie nergens monotoon. Dit betekent dat er geen enkel interval $(a, b) \subset [0, 1]$ bestaat waarop de functie monotoon is. De auteurs bewijzen dit door te tonen dat op elke cilinder de incrementen voor de sub-cilinders (met cijfer 0, 1 of 2) van teken wisselen, wat monotonie onmogelijk maakt.

B. Differentieerbaarheid en Singulariteit

Differentieerbaarheid: De functie is overal niet-differentieerbaar in het geval van nergens monotoon gedrag (wanneer $\varepsilon_k > 1/2$ ).
Singulariteit: Als $\varepsilon_k = \frac{1}{2}$ , is de functie constant op een verzameling intervallen waarvan de totale lengte 1 is. De afgeleide is dus bijna overal 0, terwijl de functie toch continu is en het bereik $[0, 1]$ overdekt. Dit maakt de functie een singuliere functie (vergelijkbaar met de Cantor-functie, maar met een andere constructie).

C. Geometrie van de Grafiek en Zelfsimilariteit

De grafiek $\Gamma_f$ van de functie vertoont een fractale structuur.

Theorema 4: Als $\varepsilon_n$ constant is en de producten van de $g_i$ niet nul zijn, is de grafiek affien equivalent met zijn eigen deelverzamelingen.
De grafiek kan worden opgebouwd uit drie schaaltransformaties (affiene transformaties) die corresponderen met de cijfers 0, 1 en 2. Dit bevestigt de fractale aard van de functie.

D. Niveaulijnen (Level Sets)

De auteurs analyseren de verzameling $f^{-1}(y_0) = \{x : f(x) = y_0\}$ :

Als $0 \le \varepsilon_n < 1/2$: De niveaulijnen bestaan uit precies één punt (vanwege strikte monotonie).
Als $\varepsilon_n = 1/2$ : De niveaulijnen zijn punten of segmenten (vanwege de constante stukken).
Als $1/2 < \varepsilon_n \le 1 $: De niveaulijnen zijn **aftelbare verzamelingen**. Omdat de functie nergens monotoon is en continu, snijdt elke horizontale lijn$ y=y_0$ de grafiek op oneindig veel plaatsen, maar de structuur van de lokale extremen zorgt ervoor dat de verzameling niet continu is (geen intervallen), maar een aftelbare verzameling van punten vormt.

4. Significatie

De bijdrage van dit artikel is significant in de volgende aspecten:

Unificatie: Het biedt een enkel raamwerk dat zowel klassieke singuliere functies als nieuwe, complexe nergens monotone functies beschrijft, afhankelijk van één parameterreeks $(\varepsilon_k)$ .
Verrijking van de theorie: Het introduceert een specifieke klasse van functies die nergens monotoon zijn maar wel continue en fractale eigenschappen hebben, wat relevant is voor de studie van pathologische functies in de reële analyse.
Toepassingsgebied: De resultaten zijn relevant voor de meetkunde van getalrepresentaties, de theorie van Cantor-achtige verzamelingen, en de studie van singuliere maatstromen.
Technische precisie: Het artikel levert rigoureuze bewijzen voor continuïteit, convergentie en de exacte aard van de niveaulijnen, wat vaak ontbreekt in meer kwalitatieve beschouwingen van fractale functies.

Kortom, de auteurs hebben een rijke familie van functies geconstrueerd die dienen als een brug tussen de theorie van singuliere functies en die van nergens monotone, fractale functies, met duidelijke criteria voor het gedrag van de afgeleide en de meetkundige structuur van de grafiek.