Gladde functie
In de analyse is een gladde functie een functie die oneindig vaak (willekeurig vaak) differentieerbaar is. Een gladde functie behoort daarmee tot de hoogste differentieerbaarheidsklasse, . Het woord glad doelt op het gladde, zeer gelijkmatige verloop van de grafiek van zo'n functie.
VoorbeeldenBewerken
De functie
is continu, maar niet differentieerbaar als . De functie is daarom van differentieerbaarheidsklasse en niet van differentieerbaarheidsklasse
De functie
is differentieerbaar, met afgeleide
Omdat de functie oscilleert als tot nul nadert, is niet continu in nul. De functie is wel differentieerbaar, maar niet van differentieerbaarheidsklasse .
De functie
kan worden gebruikt om te laten zien dat de afgeleide van een differentieerbare functie onbegrensd kan zijn op een compacte verzameling en dat een differentieerbare functie op een compacte verzameling daarom niet lokaal lipschitz-continu hoeft te zijn.
De exponentiële functie is analytisch, dus van differentieerbaarheidsklasse . De goniometrische functies zijn analytisch, hoe ze ook zijn gedefinieerd.
De functie
is glad, dus van klasse , maar is niet analytisch op , en is dus niet van klasse . De functie is een voorbeeld van een gladde functie met compacte ondersteuning.
Relatie tot de analyseBewerken
Hoewel alle analytische functies glad zijn op de verzameling waarop zij analytisch zijn, laat het bovenstaande voorbeeld zien dat het omgekeerde niet waar is voor functies op de reële getallen: er bestaan gladde reële functies die niet analytisch zijn. Hoewel het lijkt dat dit soort functies eerder uitzondering dan regel zijn, blijkt dat de analytische functies zeer dun verspreid zijn in verhouding tot de gladde functies; meer formeel gesproken vormen de analytische functies een schamele deelverzameling van de gladde functies. Verder bestaan er voor iedere open deelverzameling van de reële getallen gladde functies die analytisch op zijn, maar nergens anders.
Het is nuttig deze situatie te vergelijken met de alomtegenwoordigheid van transcendente getallen op de reële getallenlijn. Zowel op de reële getallenlijn als op de verzameling van gladde functies gedragen de voorbeelden die als eerste bij ons opkomen (algebraïsche/rationale getallen en analytische functies), zich veel beter dan de meerderheid van de gevallen: transcendente getallen en nergens zijn er analytische functies te bekennen die de volledige maat hebben (hun complementen zijn schamel).
De aldus omschreven situatie staat in schril contrast met complexe differentieerbare functies. Als een complexe functie slechts één keer differentieerbaar is op een open verzameling, is deze complexe functie op deze verzameling zowel oneindig vaak differentieerbaar als analytisch.