Düzgün Olmayan Analiz ve Clarke Altdiferansiyeli: Temel Kavramlar, Hesap Kuralları ve Güncel Literatür

1. Düzgün Olmayan Analizin Temel Fikri

• Klasik analiz, düzgün (smooth) fonksiyonlar için çalışır; ancak birçok önemli fonksiyon düzgün değildir. Örneğin:
  • f(x)=|x|
  • f(x)=max_i f_i(x)
  • Uzaklık fonksiyonları
  • Optimizasyon/kontrol teorisindeki değer fonksiyonları
  • ReLU tipi parçalı doğrusal kayıp fonksiyonları
• Düzgün olmayan analiz, tek bir türev istemek yerine bir dizi genelleştirilmiş türev (set) tanımlar.^EE
• Yerel Lipschitz bir f: R^n -> R fonksiyonu için Clarke, genelleştirilmiş yönlü türevler ve genelleştirilmiş gradyanlar geliştirmiştir.^LE

2. Clarke Genelleştirilmiş Yönlü Türevi

Yerel Lipschitz f için Clarke yönlü türevi x noktasında v yönünde şöyle tanımlanır:^E

f°(x; v) = limsup_{y -> x, t ↓ 0} [f(y + t v) - f(y)] / t.

Temel noktalar:

• Düzgün olmayan Lipschitz fonksiyonlar için tasarlanmıştır.^EE
• v'ye göre pozitif homojendir ve altkatkılıdır.^LE
• Genellikle klasik yönlü türevden büyük veya eşittir.^E
• x yakınındaki en kötü durumdaki yerel yönlü büyümeyi temsil eder.^EE

3. Clarke Altdiferansiyeli

Clarke altdiferansiyeli genellikle şöyle tanımlanır:^E

∂C f(x) = { ξ in R^n: f°(x; v) >= <ξ, v> for all v in R^n }.

Yerel Lipschitz fonksiyonlar için eşdeğer bir tanım ise şudur: Clarke altdiferansiyeli, fonksiyonun türevlenebilir olduğu noktalardaki klasik gradyanların limitlerinin dışbükey zarflarıdır.^EE

∂C f(x) = co { limits of ∇f(x_k): x_k -> x, f differentiable at x_k }.

Temel özellikleri:

• ∂C f(x), yerel Lipschitz fonksiyonlar için set değerli bir genelleştirilmiş türevdir.^EE
• Standart sonlu boyutlu Clarke teorisinde boş olmayan, kompakt ve dışbükeydir.^EE
• Eğer f sürekli türevlenebilirse, Clarke altdiferansiyeli klasik gradyana indirgenir.^EE
• Eğer f dışbükey ise, Clarke altdiferansiyeli klasik dışbükey analiz altdiferansiyeli ile uyumludur.^LE

Örnek:

f(x) = |x|.
∂C f(x) =
  {-1},        x < 0
  [-1, 1],     x = 0
  {1},         x > 0.

4. Clarke Altdiferansiyeli İçin Hesap Kuralları

f, g: R^n -> R yerel Lipschitz fonksiyonlar olsun.^LEE

Toplam Kuralı

∂C(f + g)(x) ⊂ ∂C f(x) + ∂C g(x).

Uygun düzenlilik koşullarında eşitlik sağlanabilir.^LE

Skaler Çarpım

∂C(a f)(x) = a ∂C f(x).

Çarpım Kuralı

∂C(fg)(x) ⊂ f(x) ∂C g(x) + g(x) ∂C f(x).

Bölüm Kuralı

∂C(f/g)(x) ⊂ [g(x) ∂C f(x) - f(x) ∂C g(x)] / g(x)^2.

Zincir Kuralı

∂C(φ ∘ F)(x) ⊂ DF(x)^T ∂C φ(F(x)).

Maksimum Kuralı

Eğer f(x) = max{f1(x),...,fm(x)} ve I(x) = {i: fi(x) = f(x)} ise:

∂C f(x) ⊂ co ⋃_{i in I(x)} ∂C fi(x).

Fermat Kuralı (Optimizasyon)

Eğer x, yerel Lipschitz f'nin yerel minimizeri ise:

0 ∈ ∂C f(x).

5. Klasik Makaleler ve Kitaplar

• F.H. Clarke'ın genelleştirilmiş gradyanlar üzerine çalışması temel kaynaktır.^E
• Hiriart-Urruty'nin sonlu boyutlu düzgün olmayan optimizasyon çalışması.^L
• Rockafellar'ın genelleştirilmiş altgradyanlar üzerine çalışması.^S

6. Güncel Literatür (2025)

• 2025 tarihli bir makale, Clarke altdiferansiyelinin gevşetilmiş bir versiyonu olan Goldstein altdiferansiyelini kullanarak yakınsama hızını analiz etmektedir.^L
• Başka bir 2025 çalışması, set optimizasyon problemlerinde yaklaşık zayıf minimal çözümler için yeni bir Clarke tipi türev kullanmaktadır.^A
• Rockafellar'ın 2025 yılında varyasyonlar hesabıyla bağlantılı güncel yayınları bulunmaktadır.^S

7. Önerilen Okuma Yolu

1. Clarke genelleştirilmiş yönlü türevi ve altdiferansiyeli ^LEE
2. Temel hesap kuralları: toplam, çarpım, zincir, maksimum, Fermat ^LE
3. Dışbükey altdiferansiyel ile karşılaştırma ^LS
4. Varyasyonel analiz: normal koniler, eş türevler ^SS
5. Güncel algoritmalarda Goldstein/Clarke altdiferansiyeli ^LA