On logarithmic asymptotics of polynomials orthogonal on \(\mathbb{R}\) with nonsymmetric weights (Q1178070)

Es seien \(h(x)\) eine Gewichtsfunktion in \(\mathbb{R}\) und \(H_ n(x,h)=h_ nx^ n+\cdots\) \((n=0,1,\dots)\) die entsprechenden Orthogonalpolynome. Weiter sei \(\mathcal A\) die Klasse der monoton wachsenden Funktionen \(\alpha(x)\) mit \(\alpha(0)=0\) und \(\alpha(x)\to\pm\infty\) für \(x\to\pm\infty\). Wir setzen \(\Delta_ t=\Delta_ t(\alpha)=[\alpha(- t),\alpha(t)]\) \((t>0)\), \(|\Delta_ t|=\alpha(t)-\alpha(-t)\). \(g_{\Delta_ t}(z)\) bezeichne die Greensche Funktion des Äußeren von \(\Delta_ t\) mit dem Pol \(\infty\). \(\Phi_ 0\) sei die Klasse der Funktionen \(\varphi(x)=\varphi(x,\alpha)=\int^ \infty_ 0 g_{\Delta_ \tau}(x)d\tau\) \((\alpha\in{\mathcal A})\), weitherhin bezeichne \(\Phi_ 1\) die Klasse der Funktionen \(\varphi(x,\alpha)\in\Phi_ 0\), für die \(\alpha(x)\alpha(-x)=o(x^ 2)\) \((x\to\infty)\) gilt. Die folgenden Sätze werden bewiesen. I. a) Im Falle \(\varphi(x)=\varphi(x,\alpha)\in\Phi_ 1\), \(h(x)=\exp(- 2\varphi(x))\) gelten \[ \text{ln}| H_ n(z)|=\int^ n_ 1{d\tau\over\sqrt{|\alpha(-\tau)|\alpha(\tau)}}| \text{Im }z|(1+\varepsilon_ n(z)), \] \[ \text{ln }h_ n=\int^ n_ 1\ln{4\over|\Delta_ \tau|}d\tau+o(n) \] für \(n\to\infty\), wobei \(\varepsilon_ n(z)\to 0\) gleichmäßig im Innern von \(\mathbb{C}\backslash\mathbb{R}\) gilt. b) Gelten zusätzlich noch \(|\alpha(\lambda x)|\leq c(\lambda)|\alpha(x)|\) \((x\in\mathbb{R})\), \(\lambda\in[1,1+\varepsilon]\) und \(c(\lambda)\to 1\) \((\lambda\to 1)\), dann bestehen die obigen Abschätzungen bei beliebiger Gewichtsfunktion \(h(x)=\exp(-2f(x))\), mit \(f(x)=\varphi(x,\alpha)(1+\varepsilon(x))\) \((\varepsilon(x)\to 0\), \(| x|\to\infty)\). II. Es sei \(h(x)=\exp(-2f(x))\), wobei \(f(x)=s(x)(1+\varepsilon(x))\), \(\varepsilon(x)\to 0\) \((| x|\to\infty)\) und \[ s(x)=\begin{cases} ax^ p. & x\geq 0,\\b| x|^ q, & x<0.\end{cases} \] (\(a,b>0\), \(p>q>{1\over 2}\), \(p>1)\) sind. Dann gelten \[ \ln| H_ n(z,h)|={\rho_ 1\over \rho_ 1-1} D_ 1n^{1-1/\rho_ 1}|\text{Im }z|(1+\varepsilon_ n(z)), \] \[ \lim_{n\to\infty}\left\{{\ln h_ n\over n}+{1\over q} \ln{n\over E_ 1}\right\}=\ln 2, \] wobei \(\rho_ 1=q(2p-1)/(p+q-1)\), \(D_ 1=D_ 1(a,b,p,q)\), \(E_ 1=E_ 1(a,b,p,q)\) von \(n\) unabhängige Konstanten sind und \(\varepsilon_ n(z)\to 0\) gleichmässig im Innern von \(\mathbb{C}\backslash\mathbb{R}\) gilt.