Gâteaux-afgeleide

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

De Gâteauxafgeleiden spelen in de niet-lineaire functionaalanalyse en de toepassingen daarvan een belangrijke rol. Het gaat hierbij om een generalisatie van het begrip richtingsafgeleide uit de differentiaalrekening. Het begrip is vernoemd naar René Gâteaux, een Franse wiskundige, die op jeugdige leeftijd in de Eerste Wereldoorlog omkwam. De Gâteauxafgeleide wordt gedefinieerd voor afbeeldingen tussen lokaal convexe topologische vectorruimten, zoals Banachruimten. Een Gâteauxafgeleide is een afgeleide die per definitie continu en lineair is. In de variatierekening en in de natuurkunde noemt men een richtingsafgeleide ook wel functionele afgeleide.

Definitie[bewerken]

Stel and zijn Banachruimten (of algemener lokaal convexe topologische vectorruimten), is open en .

We zeggen dan dat F een richtingsafgeleide in u heeft in de richting v (waarbij ) als de volgende limiet bestaat:

We zeggen dat F naar alle windhoeken differentieerbaar is in O als F in elk punt afgeleiden in alle richtingen bezit.

Als bovendien continu en lineair is op V dan heet F Gâteauxdifferentieerbaar in u en is F'(u) de Gâteauxafgeleide van F in u.

Eigenschappen[bewerken]

  • is homogeen, dat wil zeggen voor alle scalairen .

bewijs:
Voor

is

Neem nu de limiet

  • Echter F'(u) is niet noodzakelijk lineair.

Tegenvoorbeeld:
Definieer

F : R2R door F(x)=0 als x=(x1,x2) = (0,0) en voor x=(x1,x2) ≠ (0,0) door

Dan is

en dus is F'(0;v) = F(v) en F'(0) is niet lineair.

  • Als F'(u) wel lineair is, dan hoeft hij nog niet continu te zijn.

Tegenvoorbeeld:
Neem voor F een discontinue lineaire afbeelding. Dan is F'(u;v) = F(v).

  • Een Gâteauxdifferentieerbare afbeelding hoeft niet continu te zijn.

Tegenvoorbeeld
Definieer F : R2R door F(x)=0 als x=(x1,x2) = (0,0) en voor x=(x1,x2) ≠ (0,0) door

Dan is

en dus is F'(0) lineair en continu, maar F is discontinu in 0.

Generalisatie van eigenschappen uit de analyse[bewerken]

We bekijken nu naar afbeeldingen .

  • Als F Gâteauxdifferentieerbaar is en een minimum heeft in u, dan is F'(u)=0.
  • Als F Gâteauxdifferentieerbaar is en half-continu van beneden en F is begrensd en er is een rij (un) met , dan heeft F een minimum.
  • Zij F: CR met C een convex deel van X, Gâteauxdifferentieerbaar.

F' heet stijgend als voor alle u,v ∈ X geldt (F'(u)-F'(v))(u-v)≥0.
F' is stijgend dan en slechts dan als F een convexe functie is.
Bemerk de overeenkomst met de analyse: Een differentieerbare functie f:CR ( C=(a,b)) is convex precies dan als f' stijgend is, dat wil zeggen als (f'(u)-f'(v))(u-v)≥0.

Zie ook[bewerken]