Jag försökte läsa den bifogade filen getPDF.jsp(nonsmooth).pdf, men dess text var inte läsbar/sökbar i verktyget, så sammanfattningen nedan baseras på standardteori och de angivna litteraturkällorna.
Klassisk kalkyl fungerar bra för släta funktioner, men många viktiga funktioner är icke-släta, till exempel:
f(x)=|x| (beloppsfunktionen)f(x)=max_i f_i(x) (maximumfunktioner)Istället för att fråga efter en enda derivata, frågar icke-slät analys efter en mängd av generaliserade derivator.
För en lokalt Lipschitz-funktion f: R^n -> R införde Clarke generaliserade riktningsderivator och generaliserade gradienter som verktyg för icke-slät optimering.
För lokalt Lipschitz f skrivs Clarkes riktningsderivata i x i riktning v vanligen som:
f°(x; v) = limsup_{y -> x, t ↓ 0} [f(y + t v) - f(y)] / t.
Viktiga punkter:
v i standardteorin.x.Clarkes subdifferential definieras vanligen som:
∂C f(x) = { ξ i R^n: f°(x; v) >= <ξ, v> för alla v i R^n }.
En ekvivalent standardbeskrivning för lokalt Lipschitz f är att Clarkes subdifferential är det konvexa höjet av gränsvärden av närliggande klassiska gradienter där funktionen är differentierbar.
∂C f(x) = co { gränsvärden av ∇f(x_k): x_k -> x, f differentierbar i x_k }.
Här betecknar co konvext höjje.
Viktiga egenskaper:
∂C f(x) är en generaliserad derivata (mängdvärd) för lokalt Lipschitz-funktioner.∂C f(x) icke-tom, kompakt och konvex för lokalt Lipschitz f.f är kontinuerligt differentierbar nära x, reduceras Clarkes subdifferential till den vanliga gradienten.∂C f(x) = {∇f(x)}.
f är konvex, sammanfaller Clarkes subdifferential med den vanliga konvexa analysens subdifferential i standardsammanhang.Exempel:
f(x) = |x|.
Då är
∂C f(x) =
{-1}, x < 0
[-1, 1], x = 0
{1}, x > 0.
Detta är det klassiska exemplet som visar hur ett hörn representeras av ett helt intervall av möjliga lutningar.
Låt f, g: R^n -> R vara lokalt Lipschitz nära x. Dessa räkneregler är centrala inom icke-slät optimeringsteori.
∂C(f + g)(x) ⊂ ∂C f(x) + ∂C g(x).
Under ytterligare regularitetsvillkor kan likhet gälla.
För skalär a,
∂C(a f)(x) = a ∂C f(x).
Om a < 0 reflekteras mängden.
∂C(fg)(x) ⊂ f(x) ∂C g(x) + g(x) ∂C f(x).
Detta är en inklusionsregel av standardtyp inom Clarkes subdifferentialkalkyl.
Om g(x) ≠ 0 och g är avgränsad från noll nära x, har standardkvotregeln formen:
∂C(f/g)(x) ⊂ [g(x) ∂C f(x) - f(x) ∂C g(x)] / g(x)^2.
Om F: R^n -> R^m är strikt differentierbar i x och φ: R^m -> R är lokalt Lipschitz nära F(x), är Clarkes kedjeregel vanligen en inklusion av följande typ:
∂C(φ ∘ F)(x) ⊂ DF(x)^T ∂C φ(F(x)).
Om φ är reguljär i Clarkes mening finns starkare former.
Om
f(x) = max { f1(x),..., fm(x) },
där varje fi är lokalt Lipschitz, definiera den aktiva indexmängden
I(x) = { i: fi(x) = f(x) }.
Då ger standardmaximumregeln en inklusion av följande form:
∂C f(x) ⊂ co ⋃_{i i I(x)} ∂C fi(x).
Om fi är släta blir detta:
∂C f(x) ⊂ co { ∇fi(x): i i I(x) }.
För många standardmaximumfunktioner gäller likhet under lämpliga regularitetsantaganden.
Om x är en lokal minimipunkt för den lokalt Lipschitz-funktionen f, gäller det icke-släta Fermatvillkoret:
0 ∈ ∂C f(x).
Detta är den icke-släta analogen till ∇f(x)=0.
F. H. Clarkes arbete om generaliserade gradienter är en grundläggande källa för Clarkes generaliserade derivator i icke-slät analys.
Clarkes generaliserade riktningsderivator och gradienter diskuteras i litteraturen om icke-slät optimering i ändlig dimension, bland annat i arbete av Hiriart-Urruty.
Rockafellars arbete om generaliserade subgradienter inom matematisk programmering är en annan grundläggande linje; den citerade artikeln beskriver grunderna för generaliserade riktningsderivator och subgradienter.
Hiriart-Urrutys arbete i ändlig dimension diskuterar Clarkes riktningsderivator, generaliserade gradienter, räkneregler och tillämpningar inom icke-slät optimering.
Modern forskning om icke-slät optimering fortsätter att använda Clarkes objekt och relaterade förenklingar. Till exempel studerar ett arbete från 2025 konvergenshastigheten för Goldsteins subdifferential, som beskrivs som en relaxerad version av Clarkes subdifferential som används i flera algoritmer.
Clarkes generaliserade riktningsderivator förekommer fortfarande i optimalitetsvillkor för mängdoptimeringsproblem. Ett arbete från 2025 studerar approximativa svaga minimala lösningar med hjälp av en ny typ av Clarkes generaliserad derivata.
Nyare publikationer av Rockafellar indikerar pågående arbete inom mängdvärd och icke-slät analys, inklusive arbete från 2025 kopplat till variationskalkyl.
En praktisk första läslista:
Jag försökte läsa den bifogade filen getPDF.jsp(nonsmooth).pdf, men dess text var inte läsbar/sökbar i verktyget, så sammanfattningen nedan baseras på standardteori och de angivna litteraturkällorna.
Klassisk kalkyl fungerar bra för släta funktioner, men många viktiga funktioner är icke-släta, till exempel:
f(x)=|x| (beloppsfunktionen)f(x)=max_i f_i(x) (maximumfunktioner)Istället för att fråga efter en enda derivata, frågar icke-slät analys efter en mängd av generaliserade derivator.
För en lokalt Lipschitz-funktion f: R^n -> R införde Clarke generaliserade riktningsderivator och generaliserade gradienter som verktyg för icke-slät optimering.
För lokalt Lipschitz f skrivs Clarkes riktningsderivata i x i riktning v vanligen som:
f°(x; v) = limsup_{y -> x, t ↓ 0} [f(y + t v) - f(y)] / t.
Viktiga punkter:
v i standardteorin.x.Clarkes subdifferential definieras vanligen som:
∂C f(x) = { ξ i R^n: f°(x; v) >= <ξ, v> för alla v i R^n }.
En ekvivalent standardbeskrivning för lokalt Lipschitz f är att Clarkes subdifferential är det konvexa höjet av gränsvärden av närliggande klassiska gradienter där funktionen är differentierbar.
∂C f(x) = co { gränsvärden av ∇f(x_k): x_k -> x, f differentierbar i x_k }.
Här betecknar co konvext höjje.
Viktiga egenskaper:
∂C f(x) är en generaliserad derivata (mängdvärd) för lokalt Lipschitz-funktioner.∂C f(x) icke-tom, kompakt och konvex för lokalt Lipschitz f.f är kontinuerligt differentierbar nära x, reduceras Clarkes subdifferential till den vanliga gradienten.∂C f(x) = {∇f(x)}.
f är konvex, sammanfaller Clarkes subdifferential med den vanliga konvexa analysens subdifferential i standardsammanhang.Exempel:
f(x) = |x|.
Då är
∂C f(x) =
{-1}, x < 0
[-1, 1], x = 0
{1}, x > 0.
Detta är det klassiska exemplet som visar hur ett hörn representeras av ett helt intervall av möjliga lutningar.
Låt f, g: R^n -> R vara lokalt Lipschitz nära x. Dessa räkneregler är centrala inom icke-slät optimeringsteori.
∂C(f + g)(x) ⊂ ∂C f(x) + ∂C g(x).
Under ytterligare regularitetsvillkor kan likhet gälla.
För skalär a,
∂C(a f)(x) = a ∂C f(x).
Om a < 0 reflekteras mängden.
∂C(fg)(x) ⊂ f(x) ∂C g(x) + g(x) ∂C f(x).
Detta är en inklusionsregel av standardtyp inom Clarkes subdifferentialkalkyl.
Om g(x) ≠ 0 och g är avgränsad från noll nära x, har standardkvotregeln formen:
∂C(f/g)(x) ⊂ [g(x) ∂C f(x) - f(x) ∂C g(x)] / g(x)^2.
Om F: R^n -> R^m är strikt differentierbar i x och φ: R^m -> R är lokalt Lipschitz nära F(x), är Clarkes kedjeregel vanligen en inklusion av följande typ:
∂C(φ ∘ F)(x) ⊂ DF(x)^T ∂C φ(F(x)).
Om φ är reguljär i Clarkes mening finns starkare former.
Om
f(x) = max { f1(x),..., fm(x) },
där varje fi är lokalt Lipschitz, definiera den aktiva indexmängden
I(x) = { i: fi(x) = f(x) }.
Då ger standardmaximumregeln en inklusion av följande form:
∂C f(x) ⊂ co ⋃_{i i I(x)} ∂C fi(x).
Om fi är släta blir detta:
∂C f(x) ⊂ co { ∇fi(x): i i I(x) }.
För många standardmaximumfunktioner gäller likhet under lämpliga regularitetsantaganden.
Om x är en lokal minimipunkt för den lokalt Lipschitz-funktionen f, gäller det icke-släta Fermatvillkoret:
0 ∈ ∂C f(x).
Detta är den icke-släta analogen till ∇f(x)=0.
F. H. Clarkes arbete om generaliserade gradienter är en grundläggande källa för Clarkes generaliserade derivator i icke-slät analys.
Clarkes generaliserade riktningsderivator och gradienter diskuteras i litteraturen om icke-slät optimering i ändlig dimension, bland annat i arbete av Hiriart-Urruty.
Rockafellars arbete om generaliserade subgradienter inom matematisk programmering är en annan grundläggande linje; den citerade artikeln beskriver grunderna för generaliserade riktningsderivator och subgradienter.
Hiriart-Urrutys arbete i ändlig dimension diskuterar Clarkes riktningsderivator, generaliserade gradienter, räkneregler och tillämpningar inom icke-slät optimering.
Modern forskning om icke-slät optimering fortsätter att använda Clarkes objekt och relaterade förenklingar. Till exempel studerar ett arbete från 2025 konvergenshastigheten för Goldsteins subdifferential, som beskrivs som en relaxerad version av Clarkes subdifferential som används i flera algoritmer.
Clarkes generaliserade riktningsderivator förekommer fortfarande i optimalitetsvillkor för mängdoptimeringsproblem. Ett arbete från 2025 studerar approximativa svaga minimala lösningar med hjälp av en ny typ av Clarkes generaliserad derivata.
Nyare publikationer av Rockafellar indikerar pågående arbete inom mängdvärd och icke-slät analys, inklusive arbete från 2025 kopplat till variationskalkyl.
En praktisk första läslista: