Formulas for the inverses of Toeplitz matrices with polynomially singular symbols (Q1884741)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formulas for the inverses of Toeplitz matrices with polynomially singular symbols
scientific article

    Statements

    Formulas for the inverses of Toeplitz matrices with polynomially singular symbols (English)
    0 references
    0 references
    0 references
    5 November 2004
    0 references
    Let \(T\) be the unit circle and \(T_N(h)\) be the \((N+1)\times (N+1)\) Toeplitz matrix \((\widehat h(k-\ell))_{k,\ell}^N\), where \(\widehat h(k)\) are the Fourier coefficients of the function \(h(t)=|1-t|^{2p}f_1(t), t\in T, p\in \mathbb N\). The authors study the asymptotic behavior of the \(k,\ell\) entry \([T_N^{-1} (h)]_{k,\ell}\) as \(N\to\infty\). Denote \(A_1(T)=\{a\in L^1(T):\sum_{k\in \mathbb Z}(|k|+1)|{\widehat a}(k)|< \infty\}\) and let \(f_1>0, f_1\in A_1(T).\) It is established that \[ [T_N^{-1} (h)]_{[Nx]+1,[Ny]+1}= \frac{1}{f_1(1)}G_p(x,y)N^{2p-1}+o(N^{2p-1}) \] as \(N\to\infty\) uniformly with respect to \(x\) and \(y\) in \([0,1]\), where \(G_p(x,y)\) can be identified, with the Green kernel associated to the differential operator \((-1)^p\frac{d^{2p}}{dx^{2p}}\) with the boundary conditions \(f_1^{(0)}(0)=\dots=f_1^{(p-1)}(0)=0, f_1^{(0)}(1)=\dots =f_1^{(p-1)}(1)=0\) . The authors remark that the expression for \(G_p(x,y)\) may also be given by a formula due \textit{A. Böttcher} (see [Integral Equations Oper. Theory 50, No. 1, 43--55 (2004; Zbl 1070.47015)] and the historical references therein): \[ G_p(x,y)=\frac{x^py^p}{[(p-1)!]^2} \int_y^1\frac{(t-x)^{p-1}(t-y)^{p-1}}{t^{2p}} \,dt. \] and \(G_p(0,0)=0\) . In the case \(f_1=g_1\overline{g_1}\), where \(g_1,g_1^{-1}\in H^\infty\), \(g_1(0)>0\), the following asymptotic formula for \(0<x\leq 1\) is valid: \[ [T_N^{-1} (h)]_{[Nx]+1,1}= \frac{1}{g_1(0)c_p(g_1(1))} \frac{x^{p-1}(1-x)^p}{(p-1)!}N^{p-1}+o(N^{p-1}) \] as \(N\to\infty\) uniformly in \([\delta, 1]\) for all \(\delta\), \(0<\delta<1\). Here \(c_p(z)=z\) if \(p\) is odd and \(c_p(z)=\overline z\) if \(p\) is even.
    0 references
    Toeplitz matrix
    0 references
    singular symbol
    0 references
    inverse matrix
    0 references
    Green's function
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references