Dorothee Haroske: Pürüzsüzlüğün Geometrisi

Jena Üniversitesi'nde (University of Jena) genel olarak analize değil, özellikle fonksiyon uzaylarına —derin ve teknik bir konu— adanmış bir kürsü bulunmaktadır. Bu kürsü, adı bu tür uzayların iki büyük sınıflandırma ölçeğinden biriyle anılan Hans Triebel (Hans Triebel) tarafından kurulmuştur. Dorothee Haroske, 1995 yılında Triebel'in danışmanlığında doktorasını tamamlamış ve şu anda bu kürsüde profesör olarak görev yapmaktadır. Elli yılı aşkın süredir kesintisiz devam eden bir araştırma grubuna liderlik eden Haroske, şu soru üzerinde çalışmaktadır: Sonsuz sayıdaki olası fonksiyonu pürüzsüzlüklerine göre nasıl sınıflandırırsınız ve sınıflandırdıktan sonra ne elde edersiniz?

Jena, Neredeyse Kesintisiz Bir Yolculuk

Haroske, 1968 yılında Almanya'da doğdu. Eğitimini 1992 yılında Friedrich Schiller Jena Üniversitesi'nde (Friedrich Schiller University Jena) tamamladı, 1995 yılında doktorasını ve 2002 yılında habilitasyonunu (profesörlük yeterliliği) aldı. 2003-2006 yılları arasında Jena'da fraktal analiz üzerine bir genç araştırma grubuna liderlik etti. İlk profesörlüğünü 2010 yılında Jena'da, ikincisini 2017 yılında Rostock Üniversitesi'nde (University of Rostock) aldı ve 2018'de üçüncü kez, fonksiyon uzayları kürsüsü profesörü olarak Jena'ya döndü. Baltık kıyısında geçirdiği bir yıl dışında tüm kariyeri tek bir üniversite bölümünde, tek bir problem çevresi üzerinde çalışarak geçti. Sürekli akademik hareketliliğin beklendiği bir çağda bu durum ya bir kısıtlama ya da bir odaklanma biçimidir; Haroske'nin çalışmaları ikincisini işaret etmektedir.

Fonksiyon Uzayı Ne İşe Yarar?

Bu konu kulağa aşırı soyut gelse de aslında son derece pratiktir. Bir diferansiyel denklemi çözmek istediğinizi varsayalım; örneğin ısı denklemi veya bir zarı tanımlayan eliptik sınır değer problemi. Çözümün ne tür bir nesne olduğunu bilmeniz gerekir: Kaç kez türevlenebilir? Sınırlı mı kalıyor? Sürekli mi?

Fonksiyon uzayları, fonksiyonları pürüzsüzlüklerine ve boyutlarına göre gruplandırarak bu sorulara yanıt verir. Sobolev uzayları (Sobolev spaces) ilk büyük başarıydı. Daha sonra geliştirilen Besov (Besov) ve Triebel-Lizorkin (Triebel–Lizorkin) ölçekleri ise daha hassas araçlardır: Pürüzsüzlüğü kesirli miktarlarda belirtmenize ve farklı şekillerde ölçmenize olanak tanıyan parametrelerle indekslenmiş uzay aileleridir. Haroske'nin grubu, bu uzayların genel teorisi üzerinde çalışmaktadır; atomlar, kuarklar ve dalgacıklar (wavelets) aracılığıyla ayrıştırma, genelleştirilmiş pürüzsüzlüğe sahip uzaylar, pürüzsüzlüğün yöne göre değiştiği anizotropik uzaylar, ağırlıklı uzaylar ve tüm Öklid uzayı yerine belirli alanlar üzerinde tanımlanan uzaylarla ilgilenmektedir.

Entropi Sayıları

Triebel'in danışmanlığında hazırladığı doktora tezi, ağırlıklı fonksiyon uzaylarındaki entropi sayıları ve yaklaşım sayıları ile bunların özdeğer dağılımlarıyla olan bağlantısı hakkındaydı. Bu fikir zinciri, çalışmalarının kalbidir ve incelenmeye değerdir.

Gömme (Embedding), bir uzaydaki her fonksiyonun otomatik olarak başka bir uzayda yer almasıdır; yani belirli bir pürüzsüzlük derecesinin, belirli bir iyi davranış derecesini zorunlu kılmasıdır. İlginç gömmeler kompakttır; bu, kabaca ilk uzayın ikincisinin içinde yer almasının ötesinde, onun içine sıkıştırıldığı anlamına gelir. Entropi sayıları, bu sıkıştırmanın ne kadar dar olduğunu tam olarak ölçer: Birim kürenin görüntüsünü kaplamak için kaç tane küçük küreye ihtiyacınız olduğunu belirler. Yaklaşım sayıları ise bununla ilişkili bir şeyi, yani gömmenin sonlu dereceli bir operatör tarafından ne kadar iyi taklit edilebileceğini ölçer.

Bunun getirisi spektraldir. Bir gömmenin entropi sayılarını keskin bir şekilde sınırlayabilirseniz, bu uzaylar üzerine inşa edilen diferansiyel operatörlerin özdeğerlerini de sınırlayabilirsiniz. Özdeğerler fiziksel olarak anlamlı niceliklerdir: Bir davulun rezonans frekansları, bir sistemin enerji seviyeleri, difüzyonun bozunma oranları. Bir uzayın diğerinin içinde nasıl durduğuna dair saf geometrik bir ölçüm, fiziksel bir nesnenin nasıl titreştiğine dair bir ifadeye dönüşür. Haroske, otuz yılını bu çeviriyi daha keskin hale getirmeye harcadı.

Fraktallar

2003 yılından beri yönettiği fraktal analiz grubu, aynı mekanizmayı daha pürüzlü arazilerde uyguladı. Klasik analiz, pürüzsüz alanlarda (aralıklar, diskler, düzgün sınırlara sahip iyi huylu bölgeler) yaşar. Fraktallarda bunların hiçbiri yoktur: Sonsuz derecede kıvrımlı sınırlar, tam sayı olmayan boyutlar, teğet düzlemlerin yokluğu. Fraktallar üzerinde fonksiyon uzayları inşa etmek ve bunlar üzerinde tanımlı operatörler için spektral teori yapmak, teoriyi hiçbir yerde pürüzsüzlük varsaymayan temellerden yeniden inşa etmeyi gerektirir. Grubu, yerel pürüzsüzlük teorisi, Besov düzgünlüğü, Fourier analizi, yaklaşım teorisi ve doğrusal olmayan sınır değer problemleriyle birlikte fraktallar üzerindeki uzaylar ve operatörlerin spektral teorisi üzerinde çalışmaya devam etmektedir.

Kitaplar

2007 yılında Envelopes and Sharp Embeddings of Function Spaces (Fonksiyon Uzaylarının Zarfları ve Keskin Gömülmeleri) adlı kitabı yazdı. Konu sınır çizgisiyle ilgilidir: Standart bir gömme teoreminin zar zor sağlandığı veya zar zor başarısız olduğu ve kaba tahminlerin hiçbir faydalı bilgi vermediği durumlar. Zarf fonksiyonları, fonksiyonun o sınır durumunda ne kadar kötü davranabileceğini tam olarak tanımlamak için kullanılan araçlardır. 2008 yılında Triebel ile birlikte, okuyucuyu genel teoriden hizmet etmek üzere inşa edildiği diferansiyel denklemlere götüren bir lisansüstü metin olan Distributions, Sobolev Spaces, Elliptic Equations (Dağılımlar, Sobolev Uzayları, Eliptik Denklemler) kitabını yayımladı. Ayrıca 2003 yılında Hans Triebel Anniversary Volume (Hans Triebel Anı Cildi) kitabının editörlüğünü yaptı.

Copernicus Ödülü

2026 yılında Haroske ve Polonyalı matematikçi Leszek Skrzypczak (Leszek Skrzypczak), matematiksel analiz alanındaki ortak çalışmaları ve Polonya-Alman bilimsel iş birliğindeki üstün başarıları nedeniyle Copernicus Ödülü'ne (Copernicus Award) layık görüldüler. Bu, bireysel bir başarıdan ziyade iş birliğine verilen bir ödüldür ve uzun süreli ortaklıklar üzerine kurulu kariyeriyle tam bir uyum içindedir.

Dorothee Neden Dahi Olarak Adlandırılıyor?

Belgelenmiş hiçbir anlamda dahi değildir. Burada incelenen hiçbir kaynak bu kelimeyi kullanmamaktadır ve Copernicus Ödülü gerekçesi, bireysel bir parlaklıktan ziyade iş birliğini ve ortak başarıyı onurlandırmaktadır. Genel dolaşımda bir 'Haroske teoremi' yoktur ve en çok atıf alan çalışması, doktora danışmanıyla birlikte yazdığı eserdir.

Kayıtlarının gösterdiği entelektüel kalite, sınırdaki hassasiyettir. Fonksiyon uzayı teorisindeki ilginç matematik, sonuçların kolay ve tahminlerin cömert olduğu parametre aralığının rahat iç kısmında değil; gömmenin başarısız olmak üzere olduğu ve mevcut tüm araçların köreldiği sınır durumlarındadır. Tekrar tekrar orada çalışmayı seçmek ve özellikle bu durumlar için araçlar (zarflar, keskin entropi tahminleri) inşa etmek, kendine has bir matematiksel zevktir. Bu, bir analistin son ondalık basamağa kadar ısrar etmesinin eşdeğeridir ve gerçek zorluk tam da burada yatmaktadır.

Karşı tez açıktır ve muhtemelen bunu kendisi de dile getirecektir. Başarısı otuz yıla yayılan kümülatif bir süreçtir; Triebel ile, Skrzypczak ile ve kurmak yerine devraldığı bir araştırma grubuyla tamamen iş birliğine dayalıdır. Ayrıca fonksiyon uzayı teorisi, aktif uygulayıcılarının bir stadyumu değil, bir konferans salonunu doldurabileceği kadar uzmanlaşmış bir alt alandır. O, derin ve dar bir alanda önde gelen bir figürdür ve bunun dürüst tanımı, bireysel parlamalardan ziyade tam da bu tür sabırlı çalışmalarla ilerleyen bir disiplinde sürdürülebilir mükemmelliktir.

Miras

Haroske'nin en önemli eylemi koruyuculuğu olabilir. Jena fonksiyon uzayları grubu, matematiksel analizde dünyanın en uzun süredir devam eden sürekli araştırma programlarından biridir; o, bu grubu kurucusundan devralmış ve sadece sürdürmekle kalmayıp fraktallara, ağırlıklı uzaylara ve genelleştirilmiş pürüzsüzlüğe genişleterek alanın ön saflarında tutmuştur. Kitapları, konuya giren herkes için standart referanslardır. Keskinleştirdiği mekanizma (özdeğerleri yöneten entropi sayıları), bir diferansiyel operatörün pürüzsüz olmayı reddeden bir alan üzerinde nasıl davrandığını bilmesi gereken herkes için sessiz ve görünmez bir şekilde çalışmaya devam etmektedir.