Reinhardt bölgesi

Matematiğin bir alt dalı olan çok değişkenli karmaşık analizde, Reinhardt bölgesi, sabit bir merkeze göre alınan çemberlerin birinin kümenin elemanlarından birini içerdiğinde bu çemberin hepsini birden içeren özel bölgelerdir. Bu kümelere bu yüzden çemberli bölgeler de denilir. Bu bölge, adını Alman matematikçi Karl Reinhardt'tan almaktadır.

Tanımı

$\mathrm{\Omega }\subset {ℂ}^n$ bir bölge olsun ve sabit bir $a=(a_1,a_2,\dots ,a_n)\in {ℂ}^n$ merkezi olsun. Her $z=(z_1,z_2,\dots ,z_n)\in \mathrm{\Omega }$ ve her ${\vartheta }_1,{\vartheta }_2,\dots ,{\vartheta }_n\in ℝ$ için $(e^{i{\vartheta }_1}(z_1-a_1),e^{i{\vartheta }_2}(z_2-a_2),\dots ,e^{i{\vartheta }_n}(z_n-a_n))\in \mathrm{\Omega }$ özelliği sağlanıyorsa, $\mathrm{\Omega }$'ya $a$ merkezli Reinhardt bölgesi adı verilir.

$\mathrm{\Omega }\subset {ℂ}^n$, $a$ merkezli bir Reinhardt bölgesi olsun. Eğer $\mathrm{\Omega }$, $a$ merkezli çemberleri içerdiğinde bu çemberleri topolojik sınır olarak kabul eden disklerin çarpımını da içeriyorsa $\mathrm{\Omega }\subset {ℂ}^n$'ya tam Reinhardt bölgesi adı verilir. Diğer deyişle, her $z=(z_1,z_2,\dots ,z_n)\in \mathrm{\Omega }$ için $\{w=(w_1,w_2,\dots ,w_n)\in {ℂ}^n:|w_j-a_j|<|z_j-a_j|,j=1,\cdots ,n\}\subset \mathrm{\Omega }$ özelliği sağlanıyorsa, o zaman $\mathrm{\Omega }\subset {ℂ}^n$'ya tam Reinhardt bölgesi adı verilir.

Örnekler

• $n$-boyutlu ve $({\rho }_1,{\rho }_2,\dots ,{\rho }_n)$ vektör yarıçaplı disk çarpımı (polidisk) $\{z=(z_1,z_2,\dots ,z_n)\in {ℂ}^n:\left|z_j\right|<{\rho }_j(j=1,2,\dots n)\}$
• $n$-boyutlu, $0=(0,0,\dots ,0)\in {ℂ}^n$ merkezli ve $\rho >0$ yarıçaplı yuvar $\{z=(z_1,z_2,\dots ,z_n)\in {ℂ}^n:{\left|z_1\right|}^2+{\left|z_2\right|}^2+\dots +{\left|z_n\right|}^2<{\rho }^2\}$
• $n=1$ iken, tam Reinhardt bölgeleri karmaşık düzlemin kendisi, diskler veya halkalardır.

Logaritmik dışbükeylik

$\mathrm{\Omega }\subset {ℂ}^n$ bir Reinhardt bölgesi olsun ve ${\mathrm{\Omega }}^{*}=\{z=(z_1,\cdots ,z_n)\in \mathrm{\Omega }|z_1\cdots z_n\ne 0\}$ tanımlansın.

$\lambda :z\to \lambda (z)=(\ln (|z_1|),\cdots ,\ln (|z_n|))$ gönderimi altında

$\lambda ({\mathrm{\Omega }}^{*})$, ${ℝ}^n$nin dışbükey bir altkümesi oluyorsa, $\mathrm{\Omega }$'ya logaritmik dışbükey denir.

Yakınsaklık bölgesi

Bir karmaşık değişkenli karmaşık analizde yakınsaklık bölgesi ya disk olur ya da karmaşık düzlem olur. Bu bakış açısıyla, yüksek boyutlarda yakınsaklık bölgesi sadece yuvar ya da disk çarpımı (polidisk) veya karmaşık koordinat uzayının tamamı değildir. Yüksek boyutlarda, kuvvet serilerinin yakınsaklık bölgesi tam Reinhardt bölgesi olmak zorundadır. Ancak, her tam Reinhardt bölgesi aynı zamanda bir kuvvet serisinin yakınsaklık bölgesi olmak zorunda değildir. Bunun için bu bölgelere geometrik özellikler getirmek zorunluluğu vardır. Daha açık bir şekilde yazmak gerekirse, bir Reinhardt bölgesinin bir kuvvet serisinin yakınsaklık bölgesi olması için gerekli ve yeterli özellik bu Reinhardt bölgesinin logaritmik dışbükey olmasıdır. Bu yüzden, Reinhardt bölgeleri, kuvvet veya Laurent serilerinin doğal tanım bölgeleridir denilebilir.

Thullen sınıflandırması

Peter Thullen'in 1931 yılındaki çalışması ile ${ℂ}^2$deki sınırlı Reinhardt bölgeleri sınıflandırılmıştır. Daha açık bir ifade ile yazmak gerekirse, $\mathrm{\Omega }\subset {ℂ}^2$ sınırlı bir Reinhardt bölgesi ve $0\in \mathrm{\Omega }$ olsun. O zaman, $\mathrm{\Omega }$ aşağıdaki bölgelerden birine biholomorftur.

1. $\{(z,w)\in {ℂ}^2;|z|<1,|w|<1\}$ (polidisk);
2. $\{(z,w)\in {ℂ}^2;|z{|}^2+|w{|}^2<1\}$ (birim yuvar);
3. $\{(z,w)\in {ℂ}^2;|z{|}^2+|w{|}^{\frac{2}{p}}<1\}(p>0,\ne 1)$ (Thullen bölgesi~Kompleks elipsoit).
4. Otomorfi grubuna göre orijinin yörüngesinin yine orijin olduğu bölgeler. Diğer deyişle, $Aut(D)$ otomorfi grubuysa ve $G(D)$ de bu grubun birim elemanını içeren bağlantılı bileşense, o zaman $G(D)\cdot 0=0$ olan bölgeler.

Thullen, ayrıca, $D_1$ ve $D_2$ ile gösterilen sınırlı Reinhardt bölgelerinin birbirine holomorf olarak denk olmalarının ancak ve ancak

$\{\begin{array}{c}z\mapsto r_{1}z\\ w\mapsto r_{2}w\end{array}\text{ veya }\{\begin{array}{c}z\mapsto r_{3}w\\ w\mapsto r_{4}z\end{array}(r_i>0,i=1,2,3,4)$

şeklinde tanımlı ve $D_1=\varphi (D_2)$ özelliğini sağlayan bir $\varphi$ gönderiminin varlığıyla mümkün olacağını kanıtlamıştır. Toshikazu Sunada, 1978'de, Thullen'in sonuçlarının bir genellemesini kanıtlamıştır. Yani, $n$-boyutlu uzayda sınırlı iki Reinhardt bölgesinin ($G_1$ ve $G_2$ olsunlar) birbirine biholomorf denk olmalarının ancak ve ancak bu bölgelerin arasında $z_i\mapsto r_i{z}_{\sigma (i)}(r_i>0)$ şeklinde tanımlı ve $G_1=\phi (G_2)$ özelliğini sağlayan bir $\phi :{𝐂}^n⟶{𝐂}^n$ gönderiminin varlığıyla mümkün olacağını kanıtlamıştır.