On the Fourier series of a step function (Q581704): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let f denote the harmonic extension to be unit disk \({\mathbb{D}}\) of a step function \(f(e^{it})=c_ k\), \(t_{k-1}<t<t_ k\), \(1\leq k\leq n\), on \(\partial {\mathbb{D}}\). Write \(f=h+\bar g\) where h and g are analytic. Then one may represent \(h'=P/S\) and \(g'=Q/S\) where \(S(z)=\prod^{n}_{k=1}(z-e^{it_ k})\) and where P and Q are polynomials of degree at most n-2 such that \(| g'/h'| =| Q/P| =1\) on \(\partial {\mathbb{D}}\). Conversely, each polynomial Q of degree at most n-2 and product S(z) gives rise to a step function in this way. If the \(c_ k\) all lie on a convex Jordan curve, then additional information can be given about the zeros and poles of Q/P in \({\mathbb{D}}.\) In general, if \(\Pi\) is the polygon \([c_ 1,c_ 2,...,c_ n,c_ 1]\), then \(\Pi\) is the cluster set of f as \(z\to \partial {\mathbb{D}}\). Furthermore, f(\({\mathbb{D}})\) contains all points about which \(\Pi\) has nonzero winding number. If \(\Pi\) bounds a Jordan domain \(\Omega\), then the question arises when f is a homeomorphism of \({\mathbb{D}}\) onto \(\Omega\), and a number of equivalences are given. In this case it is of interest to ask how much freedom there is in choosing the points \(e^{it_ k}\), and a precise answer is given. A number of applications and examples are included. | |||
Property / review text: Let f denote the harmonic extension to be unit disk \({\mathbb{D}}\) of a step function \(f(e^{it})=c_ k\), \(t_{k-1}<t<t_ k\), \(1\leq k\leq n\), on \(\partial {\mathbb{D}}\). Write \(f=h+\bar g\) where h and g are analytic. Then one may represent \(h'=P/S\) and \(g'=Q/S\) where \(S(z)=\prod^{n}_{k=1}(z-e^{it_ k})\) and where P and Q are polynomials of degree at most n-2 such that \(| g'/h'| =| Q/P| =1\) on \(\partial {\mathbb{D}}\). Conversely, each polynomial Q of degree at most n-2 and product S(z) gives rise to a step function in this way. If the \(c_ k\) all lie on a convex Jordan curve, then additional information can be given about the zeros and poles of Q/P in \({\mathbb{D}}.\) In general, if \(\Pi\) is the polygon \([c_ 1,c_ 2,...,c_ n,c_ 1]\), then \(\Pi\) is the cluster set of f as \(z\to \partial {\mathbb{D}}\). Furthermore, f(\({\mathbb{D}})\) contains all points about which \(\Pi\) has nonzero winding number. If \(\Pi\) bounds a Jordan domain \(\Omega\), then the question arises when f is a homeomorphism of \({\mathbb{D}}\) onto \(\Omega\), and a number of equivalences are given. In this case it is of interest to ask how much freedom there is in choosing the points \(e^{it_ k}\), and a precise answer is given. A number of applications and examples are included. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30C55 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4129147 / rank | |||
Normal rank |
Revision as of 18:58, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Fourier series of a step function |
scientific article |
Statements
On the Fourier series of a step function (English)
0 references
1989
0 references
Let f denote the harmonic extension to be unit disk \({\mathbb{D}}\) of a step function \(f(e^{it})=c_ k\), \(t_{k-1}<t<t_ k\), \(1\leq k\leq n\), on \(\partial {\mathbb{D}}\). Write \(f=h+\bar g\) where h and g are analytic. Then one may represent \(h'=P/S\) and \(g'=Q/S\) where \(S(z)=\prod^{n}_{k=1}(z-e^{it_ k})\) and where P and Q are polynomials of degree at most n-2 such that \(| g'/h'| =| Q/P| =1\) on \(\partial {\mathbb{D}}\). Conversely, each polynomial Q of degree at most n-2 and product S(z) gives rise to a step function in this way. If the \(c_ k\) all lie on a convex Jordan curve, then additional information can be given about the zeros and poles of Q/P in \({\mathbb{D}}.\) In general, if \(\Pi\) is the polygon \([c_ 1,c_ 2,...,c_ n,c_ 1]\), then \(\Pi\) is the cluster set of f as \(z\to \partial {\mathbb{D}}\). Furthermore, f(\({\mathbb{D}})\) contains all points about which \(\Pi\) has nonzero winding number. If \(\Pi\) bounds a Jordan domain \(\Omega\), then the question arises when f is a homeomorphism of \({\mathbb{D}}\) onto \(\Omega\), and a number of equivalences are given. In this case it is of interest to ask how much freedom there is in choosing the points \(e^{it_ k}\), and a precise answer is given. A number of applications and examples are included.
0 references