Hefer teoremi

Matematiğin bir alt dalı olan çok değişkenli karmaşık analizde, Hefer teoremi, bir holomorfluk bölgesinde tanımlı holomorf fonksiyonların iki noktadaki değer farkının bu holomorfluk bölgesinin kartezyen çarpımında tanımlı olan başka holomorf fonksiyonlar ile bu iki noktanın koordinatları çarpımlarının toplamı olarak yazılabileceğini ifade eden bir sonuçtur.

Teorem, Hans Hefer'in adını taşımaktadır. Sonucun yayınlandığı makale Hans Hefer adıyla Karl Stein ve Heinrich Behnke tarafından yayınlanmıştır. Aynı makalede geçen bir dipnotta Hans Hefer'in doğu cephesinde öldüğü, bu çalışmanın ise Hefer'in 1940'daki tezinden toparlandığı yazılmıştır.

Teoremin ifadesi

$\mathrm{\Omega }\subset {ℂ}^n$'de holomorfluk bölgesi olsun ve $f:\mathrm{\Omega }\mapsto ℂ$ holomorf olsun. O zaman, $\mathrm{\Omega }\times \mathrm{\Omega }$ üzerinde tanımlı holomorf $g_1,\cdots ,g_n$ fonksiyonları vardır öyle ki

$f(z)-f(w)=\sum _{j=1}^n(z_j-w_j)g_j(w,z)$

herhangi $z,w\in \mathrm{\Omega }$ için her zaman sağlanır.

Teoremdeki diğer fonksiyonlardan üzerinden yapılan ayrışım sözde dışbükey olmayan birçok bölgede de mümkündür.

Hefer önsavı

Teoremin kanıtı Hefer önsavı olarak da bilinen bir sonuçtan geçer.

$\mathrm{\Omega }\subset {ℂ}^n$'de holomorfluk bölgesi olsun. $f:\mathrm{\Omega }\mapsto ℂ$ holomorf fonksiyonu ise $\mathrm{\Omega }$'nın $(N-k)$ boyutlu kompleks koordinat uzayıyla kesişiminde tamamen sıfır olsun; yani,

$f(0,\cdots ,0,z_{k+1},z_k,\cdots ,z_n)\equiv 0$.

O zaman, $\mathrm{\Omega }$ üzerinde tanımlı holomorf $g_1,\cdots ,g_n$ fonksiyonları vardır öyle ki

$f(z)=\sum _{j=1}^n{z}_j{g}_j(z)$

herhangi $z\in \mathrm{\Omega }$ için her zaman sağlanır.