Tetratie is de operatie van het herhaald machtsverheffen, waarbij het resultaat van een machtsverheffing steeds wordt gebruikt als exponent bij de volgende, terwijl het grondtal steeds gelijk blijft. Tetratie is een rekenkundige bewerking van de vierde orde en kan in termen van machtsverheffen als volgt worden gedefinieerd:
![{\displaystyle a\uparrow \uparrow b:={}^{b}a:=\left.a^{a^{.^{.^{.^{a}}}}}\right\}b=\underbrace {a\uparrow a\uparrow \cdots \uparrow a} _{b}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/652dddd924226965c698b2321e8ac1f73fa65367)
waarbij de machtsverheffingen zoals gebruikelijk van rechts naar links worden uitgevoerd.
De samengestelde bewerking is hier geschreven als
keer machtsverheffen met grondtal
, beginnend bij
, maar gelijkwaardig is het
keer machtsverheffen met grondtal
, beginnend bij
uiterst rechts:
![{\displaystyle a\uparrow \uparrow b:={}^{b}a:=\left.a^{a^{.^{.^{.^{a^{1}}}}}}\right\}b=a\underbrace {\,\uparrow a\uparrow \cdots \uparrow a\uparrow \,} _{b}1}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/92df8a1bcd87b36f83e849963da1e2e86ff3ed36)
Vergelijk machtsverheffen, dat herhaald vermenigvuldigen is met factor
, beginnend bij
of 1, en vermenigvuldigen, dat herhaald optellen is met term
, beginnend bij
of 0. De belangrijkste nieuwigheid is dat de volgorde van de machtsverheffingen een rol speelt, omdat de bewerking machtsverheffing in tegenstelling tot de optelling en de vermenigvuldiging niet associatief is.
De notatie
is een relatief eenvoudige versie van Knuths pijlomhoognotatie met "slechts" twee pijlen, terwijl de notatie
als Ruckers notatie bekendstaat. Bij Ruckers notatie dient er zorg voor gedragen te worden dat er geen verwarring ontstaat bij uitdrukkingen van de vorm
, want behalve in speciale gevallen geldt namelijk dat
.
Deze notatie wordt in andere talen ook wel de toren van machten of machtentoren genoemd.
Na som, product en machtsverheffen is tetratie de vierde bewerking die deze reeks voortzet. Met tetratie wordt een opvolging van machten benoemd, bijvoorbeeld:
![{\displaystyle \,\!\ ^{4}2=2^{2^{2^{2}}}=2^{\left(2^{\left(2^{2}\right)}\right)}=2^{\left(2^{4}\right)}=2^{16}=65.536}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/0f03cca00ffdbfd1c3f2c4922be9ed2deccb5802)
Tetreren levert voor zelfs relatief kleine waarden grote getallen op. Zo heeft 35 reeds 2185 cijfers en 38 bevat er meer dan 15 miljoen.
Een bijzondere functie
vormt de volgende limiet van tetraties:
![{\displaystyle f(x)=\lim _{n\to \infty }{^{n}x}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/33f863863b6d59b00836454cf9b440abe21ccea4)
Hierin is
de verzameling van reële limietpunten van
.
De Lambert-W functie
is impliciet gedefinieerd als de inverse functie van
, zodat
.
Bij het bepalen van de limiet in f wordt opgemerkt dat
![{\displaystyle y=\lim _{n\rightarrow \infty }{^{n}x}=\lim _{n\rightarrow \infty }{^{n+1}x}=x^{y}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/769311f52991418f0c75fa13b8e581f0eecb5b56)
![{\displaystyle x={\sqrt[{y}]{y}}=y^{\frac {1}{y}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/d07dd04bdb05e320a020ed48d9d64b100c930ae5)
![{\displaystyle \log {x}={\frac {\log {y}}{y}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/a731b68b40168f225e665bce284431162fff6ded)
![{\displaystyle y\log {x}=-\log {\frac {1}{y}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/9d911c925f1eaba752f10f0cd434e7a02931dad2)
![{\displaystyle e^{-y\log {x}}={\frac {1}{y}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/7ef449ab145a113800992a38c006c6031d53168f)
![{\displaystyle -\log {x}=-y\log {(x)}e^{-y\log {x}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/396d1655cbfbd27a80190bf52257b5b510f45dbd)
![{\displaystyle -y\log {x}=W\left(-\log {x}\right)}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/9952f392d4b4e02477785813482ba68cf0600526)
![{\displaystyle y={\frac {W\left(-\log {x}\right)}{-\log {x}}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/23124daab9e4e31f3e8f2b75d6451fa7492ff69d)
Hieruit volgt dat
![{\displaystyle f:A\subset \mathbb {R} \rightarrow \mathbb {R} :x\mapsto -{\frac {W\left(-\log {x}\right)}{\log {x}}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/ce94631b35857b04803619aaad02f408c1a06cc4)
Merk allereerst op dat voor
het niet zo hoeft te zijn dat
. Uit
uit de vorige sectie volgt dat het domein van f wordt beperkt door het beeld van
onder
. Zij nu
![{\displaystyle g:\left[0,\infty \right[\rightarrow \mathbb {R} :x\mapsto {\sqrt[{x}]{x}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/043e12dd56891494272d3c57ea93c819359a25cd)
een functie. We weten nu uit de vorige sectie dat g de inverse van f is. Om de karakteristieken van f te vinden is het dus voldoende om g te onderzoeken. Bepaal hiertoe eerst het maximum van het beeld van g om A vast te leggen.
![{\displaystyle 0={\frac {\mathrm {d} }{\mathrm {d} x}}{\sqrt[{x}]{x}}={\frac {\mathrm {d} }{\mathrm {d} x}}e^{\log {\sqrt[{x}]{x}}}={\frac {\mathrm {d} }{\mathrm {d} x}}e^{\frac {\log {x}}{x}}={\sqrt[{x}]{x}}\left({\frac {1}{x^{2}}}-{\frac {\log {x}}{x^{2}}}\right)=x^{{\frac {1}{x}}-2}\left(1-\log {x}\right)}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/02251b5212f67d0321d9963573aa685d46c51bd2)
Merk op dat
niet gedefinieerd is, maar dat
een minimum is op de rand van het domein van g. Merk verder op dat
en dus dat
op grond van de productregel. De enige voorwaarden waarvoor geldt dat
is dat
of
, maar deze punten zitten niet in het domein van g en gelden dus niet als extreme waarden.
Dit moet betekenen dat als g een extreme waarde heeft in x, dat dan
. g heeft een maximum bij e.
Hieruit volgt dat
en dus zal het domein van f worden gegeven door
.
Om de waarde van f in
te bepalen merk op dat f en g elkaars inverse zijn op het domein van f. En dus geldt
.
Om de afgeleide van f te bepalen gebruik de uitdrukking uit de tweede sectie:
![{\displaystyle y=x^{y}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/64355731f3dddbffb79986a85528dfe7b95f2882)
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}y={\frac {\mathrm {d} }{\mathrm {d} x}}x^{y}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/bb5722472090482ac5f099ca1b9a1d07e804413e)
![{\displaystyle y'={\frac {\mathrm {d} }{\mathrm {d} x}}e^{y\log {x}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/206550525abfecc1cbc3222983aa55cc9572fcaf)
![{\displaystyle y'=x^{y}\left(y'\log {x}+{\frac {y}{x}}\right)}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/96daa256428a3fd3cf09f2a865d642fdb5a90677)
![{\displaystyle y'\left(1-x^{y}\log {x}\right)=x^{y}{\frac {y}{x}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/f1818c80741545f66461fa0299b117983c8fc04d)
![{\displaystyle y'={\frac {yx^{y}}{x\left(1-x^{y}\log {x}\right)}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/3487d95c5e39d2b3c93cd56fdcea81820d66fdc4)
![{\displaystyle f'(x)={\frac {f(x)\cdot x^{f(x)}}{x-x^{f(x)+1}\log {x}}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/ba717416a0e5425a78fb14a39f03d96e1912b1be)
Het uitwerken van deze laatste uitdrukking geeft dat
![{\displaystyle f'(x)={\frac {e^{-2W\left(-\log {x}\right)}}{x+xW\left(-\log {x}\right)}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/1d5a92c55f44d8f79b30816c6de2b6f1a9ca430e)
Om de primitieve van f te bepalen, zie de plot van f en g:
De oppervlakte onder f op
kan impliciet berekend worden met
. In het algemeen geldt dat
![{\displaystyle \forall a\in \left]0,{\sqrt[{e}]{e}}\right]:\int _{0}^{a}f(x)\mathrm {d} x=af(a)-\int _{0}^{f(a)}g(x)\mathrm {d} x}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/65510531ddd667199ff285c53007193f4e28e58c)
![{\displaystyle \forall a<b\in \left[0,{\sqrt[{e}]{e}}\right]:\int _{a}^{b}f(x)\mathrm {d} x=\int _{0}^{b}f(x)\mathrm {d} x-\int _{0}^{a}f(x)\mathrm {d} x}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/1b618f313b0c7f6da8e7d05a9ffd805dd6c7b12a)
![{\displaystyle =af(a)-bf(b)-\int _{0}^{f(a)}g(x)\mathrm {d} x+\int _{0}^{f(b)}g(x)\mathrm {d} x}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/df5269b8e849e2421175b7a04f3bb23d0b5f47df)
![{\displaystyle =af(a)-bf(b)+\int _{f(a)}^{f(b)}g(x)\mathrm {d} x}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/67ce317abc0c270303f2b83f47e6e1d1f255a852)
Hiermee verplaatsen we het probleem van integratie naar de functie g. Het blijkt dat ook g niet expliciet te integreren is, al kan wél partiële integratie toegepast worden op de volgende convergente Taylorreeks.
![{\displaystyle {\sqrt[{x}]{x}}=e^{\frac {\log {x}}{x}}=\sum _{n=0}^{\infty }{\frac {\log ^{n}{x}}{x^{n}\cdot n!}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/55b8da02c1271a5dd632da898f20124ae2d80bed)
Merk op dat
. Dit zal ons straks problemen op gaan leveren bij de bepaling van
. Voor nu zullen we verdergaan met het bepalen van de volgende integraal
![{\displaystyle \int {{\frac {\log ^{n}{x}}{x^{n}}}\mathrm {d} x}={\frac {\log ^{n}{x}}{(1-n)x^{n-1}}}-{\frac {n}{1-n}}\int {{\frac {\log ^{n-1}{x}}{x^{n}}}\mathrm {d} x}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/706b12abffbb4f2991d0d7fdd5ffe4c2b1ebd1fe)
![{\displaystyle \int {{\frac {\log ^{0}x}{x^{n}}}\mathrm {d} x}=\int {{\frac {1}{x^{n}}}\mathrm {d} x}={\frac {1}{(1-n)x^{n-1}}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/49396769fd131dc78fcc373fddbf4fbc96abf3ca)
![{\displaystyle \int {{\frac {\log ^{n}{x}}{x^{n}}}\mathrm {d} x}=\sum _{k=0}^{n}{{\frac {\log ^{n-k}{x}}{(1-n)x^{n-1}}}\cdot {\frac {n!}{(n-k)!}}\cdot {\frac {1}{(1-n)^{k}}}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/bb23d11924824da663e407227979c41b872cca00)
![{\displaystyle ={\frac {n!}{(1-n)}}\sum _{k=0}^{n}{\frac {\log ^{n-k}{x}}{(1-n)^{k}\cdot x^{n-1}}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/011bb77eb12860c284614f33f60118cba496c5c4)
Hieruit volgt nu dat
![{\displaystyle \int {{\sqrt[{x}]{x}}\mathrm {d} x}=\int {\sum _{n=0}^{\infty }{\frac {\log ^{n}{x}}{x^{n}\cdot n!}}\cdot \mathrm {d} x}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/fa762cf5204f9053e20535fb1f7a5314f8c2a28f)
![{\displaystyle =\sum _{n=0}^{\infty }{\int {\frac {\log ^{n}{x}}{x^{n}\cdot n!}}\mathrm {d} x}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/08e8b662e733b7af4c7240e5805201f47eb4044e)
![{\displaystyle =\sum _{n=0}^{\infty }{{\frac {1}{n!}}\cdot {\frac {n!}{(1-n)}}\sum _{k=0}^{n}{\frac {\log ^{n-k}{x}}{(1-n)^{k}\cdot x^{n-1}}}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/6f0ddbf99ac1f3be359f7f4c35ca8dd27d8f6688)
![{\displaystyle =\sum _{n=0}^{\infty }{\sum _{k=0}^{n}{\frac {\log ^{n-k}{x}}{(1-n)^{k+1}\cdot x^{n-1}}}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/f8f00892ff323634daf657abda7274855d13adc0)
Hoewel de waarde van
niet in radicalen valt uit te schrijven is er met behulp van bovenstaande formules wél een benadering mogelijk:
![{\displaystyle \int _{0}^{1}{f(x)\mathrm {d} x}=1-\int _{0}^{1}g(x)\mathrm {d} x\approx 1-0,\!353497=0,\!646503}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/62ecda2ca500ef177ca203e8ce08075861e033f8)
Hieronder volgt een grafische visualisatie van f,
en
.