Approximation of conformal mapping via the Szegő kernel method (Q1884418)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Approximation of conformal mapping via the Szegő kernel method |
scientific article |
Statements
Approximation of conformal mapping via the Szegő kernel method (English)
0 references
1 November 2004
0 references
The author studies the uniform approximation of the canonical conformal mapping, for a Jordan domain \(G\) onto the unit disk \(\mathbb D\), by polynomials generated from the partial sums of the Szegö kernel expansion \(K(z, \zeta)=\sum_{k=0}^\infty\overline{p_k(\zeta)}p_k(z)\), \(z,\zeta\in G.\) These polynomials converge to the conformal mapping uniformly on the closure of any Smirnov domain. All of the known investigations in the literature impose quite strict smoothness assumptions on the boundary \(\partial G\). The author proves estimates for the rate of such convergence on domains with piecewise analytic boundaries, expressed through the smallest exterior angle at the boundary. Let \(\partial G\) be piecewise analytic, with the smallest exterior angle \(\lambda\pi\), \(0 < \lambda < 2\), at the junction points of the analytic arcs. If \(\zeta\in F\), where \(F\subset G\) is compact, then \[ \left\| K(\cdot,\zeta)-\sum_{k=0}^n \overline{p_k(\zeta)}p_k(z)\right\|_2\leq C_1(G,F)\,n^{-\lambda/(4-2\lambda)}, \quad n\in\mathbb N. \] Introduce the following sequence of approximating polynomials \[ J_{2n+1}(z)=\frac{2\pi}{l}\,\frac{\int_\zeta^z\left(\sum_{k=0}^n \overline{p_k(\zeta)}p_k(z)\right)^2\,dt}{\sum_{k=0}^n | p_k(\zeta)| ^2},\quad n\in\mathbb N, \] where \(l\) is the length of \(\partial G\). For the conformal mapping \(\varphi: G\to\mathbb D\), normalized by \(\varphi(\zeta) = 0\) and \(\varphi(\zeta) > 0\), \(\zeta\in F\), we have \[ \| \varphi-J_{2n+1}\|_\infty\leq C_2(G,F)\,n^{-\lambda/(4-2\lambda)}, \quad n\in\mathbb N.\tag{1} \] It is shown that the rate of convergence for \(J_{2n+1}\) on compact subsets of \(G\) is better than that on the whole domain, i.e., it is essentially squared compared to (1): \[ \max_{z\in F}\|\varphi(z) - J_{2n+1}(z)\| < C_3(G, F)\,n^{-\lambda/(2-\lambda)},\quad n\in\mathbb N. \] Two standard applications to the rate of decay for the contour orthogonal polynomials inside the domain, and to the rate of locally uniform convergence of Fourier series are also given.
0 references
conformal mapping
0 references
convergence of the Szegö kernel expansion
0 references
approximation of conformal maps
0 references
Fourier series
0 references
orthogonal polynomials
0 references
rate of convergence
0 references
0 references