Jensen formülü

Şablon:Karıştırma Matematiğin bir alt dalı olan karmaşık analizde, Jensen formülü holomorf bir fonksiyonun bir çember içinde kalan ve sıfır aldığı noktaların sayısıyla bu fonksiyonun aynı çember üzerindeki ortalama büyüklüğünü ilişkilendiren bir sonuçtur.

Teorem, bu formülü kanıtlayan mühendis Johan Jensen'in adını taşımaktadır.

Teoremin ifâdesi

$\mathrm{\Omega }\subset ℂ$ sıfır noktasını da içeren bir bölge olsun ve $r>0$ yarıçaplı ve orijin merkezli ${𝔻}_r$ diskinin kapanışı $\mathrm{\Omega }$'nın içinde kalsın. Holomorf bir $f:\mathrm{\Omega }\to ℂ$ fonksiyonun ${𝔻}_r$ diskinin içinde sıfır değeri aldığı noktaları katlılıklarını da göz önüne alarak $a_1,a_2,\dots ,a_n$ ile gösterelim. Eğer, $f(0)\ne 0$ ise

$\log |f(0)|=-\sum _{k=1}^n\log \left(\frac{r}{|a_k|}\right)+\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}\log |f(r{e}^{i\theta })|d\theta .$

Bu formül, fonksiyonun ${𝔻}_r$ içinde kalan sıfırlarının mutlak değerleri ile $\log |f(z)|$nin çember üzerindeki ortalaması arasında bir bağlantı kurar. Ayrıca, harmonik fonksiyonların ortalama değer özelliğinin bir genellemesi olarak görülebilir. Yani, eğer disk içinde fonksiyonun sıfır değeri aldığı hiçbir nokta yoksa, formül

$\log |f(0)|=\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}\log |f(r{e}^{i\theta })|d\theta$

hâlini alır ki bu da $\log |f(z)|$ harmonik fonksiyonunun ortlama değer özelliğidir.

Jensen formülünün eşdeğer başka yazılımı ise aşağıdaki hâlde görülür. $n(t)$, $f$ fonksiyonunun sıfır merkezli ve $t$ yarıçaplı açık diskte sıfır olduğu noktaların sayısı olmak üzere,

$\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}\log |f(r{e}^{i\theta })|d\theta -\log |f(0)|=\underset{0}{\overset{r}{\int }}\frac{n(t)}{t}dt.$

Kanıt

Sonucu $r=1$ iken kanıtlamak yeterli olacaktır. Eğer $f$ fonksiyonunun çember üzerinde sıfır değeri aldığı $e^{i{\theta }_k}$ noktaları varsa, o zaman $g(z)=\frac{f(z)}{\prod _k(z-e^{i{\theta }_k})}$ tanımlanıp $$\underset{0}{\overset{2\pi }{\int }}\ln |e^{i\theta }-e^{i{\theta }_k}|d\theta =2\underset{0}{\overset{\pi }{\int }}\ln (2\sin \theta )d\theta =0$$ gerçeğinden yola çıkarak, kanıt çemberde hiç sıfır değeri almayan $g$ fonksiyonuna indirgenebilir. Sonra, $$F(z):=\frac{f(z)}{\prod _{k=1}^n(z-a_k)}$$ fonksiyonunu ele alalım ve kaldırılabilir tekilliklerin hepsini tanımlayıp, $F$ fonksiyonunu $D(0,1+ϵ)$ diskinin içinde holomorf ve birim diskte sıfır değeri almayan bir fonksiyon hâline getirelim. $\log |F|=Re(\log F)$ fonksiyonu harmonik olacağı için, Poisson integral formülünü kullanmak mümkün olacaktır: $$\log |F(0)|=\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}\log |F(e^{i\theta })|d\theta =\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}\log |f(e^{i\theta })|d\theta -\sum _{k=1}^n\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}\log |e^{i\theta }-a_k|d\theta .$$ Sağ taraftaki integrale daha yakından bakarsak, $$\underset{0}{\overset{2\pi }{\int }}\log |e^{i\theta }-a_k|d\theta =\underset{0}{\overset{2\pi }{\int }}\log |1-a_k{e}^{-i\theta }|d\theta =Re\underset{0}{\overset{2\pi }{\int }}\log (1-a_k{e}^{-i\theta })d\theta$$ elde ederiz. Diğer taraftan, $\underset{0}{\overset{2\pi }{\int }}\log (1-a_k{e}^{-i\theta })d\theta$ integraline yakından bakarsak, bunun $\log (1-z)/z$ fonksiyonunun $|a_k|<1$ yarıçaplı çember üzerinde yazılan bir kontür integrali olduğunu gözlemleriz. $D(0,|a_k|)$ içinde $\log (1-z)/z$ fonksiyonunun kutbu olmadığına göre bu kontür integralinin değeri sıfıra eşittir. Böylece, $$\log |f(0)|=-\sum _{k=1}^n\log \left(\frac{r}{|a_k|}\right)+\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}\log |f(e^{i\theta })|d\theta$$ olur.

Ayrıca bakınız

• Paley-Wiener teoremi