The string equation for polynomials
type: Item
instance of: scholarly article
title: The string equation for polynomials
zbMATH Open document ID: 1411.30018
author: Björn Gustafsson
published in: Analysis and Mathematical Physics
publication date: 2019-01-11T00:00:00Z
review text: The author extends harmonic moments of a domain and the string equation for conformal maps to general polynomials. Let \(f(\zeta)=\sum_{j=0}^{\infty}a_j\zeta^{j+1}\), \(a_0>0\), be analytic in a neighborhood of the closure of the unit disk \(\mathbb D=\{\zeta\in\mathbb C:|\zeta|<1\}\) and \(f'\neq0\) on \(\partial\mathbb D\). If \(f\) is univalent on \(\mathbb D\), then the harmonic moments for \(\Omega=f(\mathbb D)\) are \[ M_k=\frac{1}{\pi}\int_{\Omega}z^kdxdy,\;\;k=0,1,\;\dots\;. \] The harmonic moments can be viewed as local coordinates in the space of univalent functions, that is \(f(\zeta)=f(\zeta;M_0,M_1,\dots)\). For any two functions \(f(\zeta;M_0,M_1,\dots)\) and \(g(\zeta;M_0,M_1,\dots)\) which are analytic in a neighborhood of \(\partial\mathbb D\), set \[ \{f,g\}=\zeta\frac{\partial f}{\partial\zeta}\frac{\partial g}{\partial M_0}-\zeta\frac{\partial g}{\partial\zeta}\frac{\partial f}{\partial M_0}. \] The string equation asserts that \(\{f,f^*\}=1\) with \(f^*(\zeta)=\overline{f(1/\overline{\zeta})}\). In the case of polynomials, the main result, Theorem 1, says that the string equation makes sense and holds whenever \(f'\) and \({f'}^*\) have no common zeros. Let \(g(\zeta)=\sum_{j=0}^nb_j\zeta^j\) and \(h(\zeta)=\sum_{k=0}^nc_k\zeta^{-k}\) and let \(\omega_1,\dots,\omega_n\) be the zeros of \(g\). Then the meromorphic resultant \(\mathcal R(g,h)\) between \(g\) and \(h\) is related to the polynomial resultant \(\mathcal R_{\text{pol}}(g(\zeta),\zeta^nh(\zeta))\) for polynomials \(g(\zeta)\) and \(\zeta^nh(\zeta)\) as \[ \mathcal R(g,h)=\frac{h(\omega_1)\cdot\cdot\cdot h(\omega_n)}{h(\infty)^n}=\frac{1}{b_0^nc_0^n}\mathcal R_{\text{pol}}(g(\zeta),\zeta^nh(\zeta)). \] Theorem 1. With \(f(\zeta)=\sum_{j=0}^na_j\zeta^{j+1}\), \(a_0>0\), the identity \[ \frac{\partial(\overline M_n,\dots,\overline M_1,M_0,M_1,\dots,M_n)}{\partial(\overline a_n,\dots,\overline a_1,a_0,a_1,\dots,a_n)}=2a_0^{n^2+3n+1}\mathcal R(f',{f'}^*) \] holds generally. It follows that …
Mathematics Subject Classification ID: 30C55
Mathematics Subject Classification ID: 34M99
zbMATH DE Number: 7000058
zbMATH Keywords: string equation
zbMATH Keywords: conformal maps
zbMATH Keywords: harmonic moments
zbMATH Keywords: Polubarinova-Galin equation
zbMATH Keywords: Hele-Shaw flow
reviewed by: Dmitri V. Prokhorov
MaRDI profile type: Publication
full work available at URL: s13324-018-0239-3
OpenAlex ID: W2807780120
cites work: Q4044857
cites work: Classical and stochastic Laplacian growth
cites work: On the Jacobian of the harmonic moment map
cites work: The resultant on compact Riemann surfaces
cites work: Conformal and potential analysis in Hele-Shaw cells.
cites work: Q4490700
cites work: A factorization theorem for square area-integrable analytic functions.
cites work: The \(\tau\)-function for analytic curves
cites work: Integrable structure of the Dirichlet boundary problem in multiply-connected domains
cites work: Ullemar's formula for the jacobian of the complex moment mapping
cites work: Whitham­Toda Hierarchy in the Laplacian Growth Problem
cites work: Hele Shaw flows with a free boundary produced by the injection of fluid into a narrow channel
cites work: The Hele-Shaw flow and moduli of holomorphic discs
cites work: A Moment Problem on Jordan Domains
cites work: Domains having null complex moments
cites work: Q3032559
cites work: Q4004082
cites work: Ullemar's formula for the moment map. II
cites work: Q5776125
cites work: From the Hele-Shaw experiment to integrable systems: a historical overview
cites work: Conformal maps and integrable hierarchies
cites work: Q3782002
DOI: 10.1007/S13324-018-0239-3
description: scientific article; zbMATH DE number 7000058