-
Hyperbolic Fourier series and the Klein-Gordon equation
Authors:
A. Bakan,
H. Hedenmalm,
A. Montes-Rodriguez
Abstract:
In an effort to extend classical Fourier theory, Hedenmalm and Montes-Rodríguez (2011) found that the function system \[ e_m(x)=e^{iπmx},\quad e_n^\dagger(x)=e_n(-1/x)=e^{-iπn/x} \] is weak-star complete in $L^{\infty}(\mathbb{R})$ when $m,n$ range over the integers with $n\ne0$. It turns out that the system can be used to provide unique representation of functions and more generally distributions…
▽ More
In an effort to extend classical Fourier theory, Hedenmalm and Montes-Rodríguez (2011) found that the function system \[ e_m(x)=e^{iπmx},\quad e_n^\dagger(x)=e_n(-1/x)=e^{-iπn/x} \] is weak-star complete in $L^{\infty}(\mathbb{R})$ when $m,n$ range over the integers with $n\ne0$. It turns out that the system can be used to provide unique representation of functions and more generally distributions on the real line $\mathbb{R}$. For instance, we may represent uniquely the unit point mass at a point $x\in\mathbb{R}$: \[ δ_x(t)=A_0(x)+\sum_{n\ne0}\big(A_n(x)\,e^{iπnt} +B_n(x)\,e^{-iπn/t}\big), \] with at most polynomial growth of the coefficients, so that the sum converges in the sense of distribution theory. In a natural sense, the system $\{A_n,B_n\}_n$ is biorthogonal to the initial system $\{e_n,e_n^\dagger\}_n$ on the real line. More generally, for a distribution $f$ on the compactified real line, we may decompose it in a \emph{hyperbolic Fourier series} \[ f(t)=a_0(f)+\sum_{n\ne0}\big(a_n(f)\,e^{iπnt}+b_n(f)\,e^{-iπn/t}\big), \] understood to converge in the sense of distribution theory. Such hyperbolic Fourier series arise from two different considerations. One is the Fourier interpolation problem of recovering a radial function $φ$ on $\mathbb{R}^d$ from partial information on $φ$ and its Fourier transform $\hat φ$, studied by Radchenko and Viazovska (2019). Another consideration is the interpolation theory of the Klein-Gordon equation $\partial_x\partial_y u+u=0$. For instance, the biorthogonal system $\{A_n,B_n\}_n$ leads to a collection of solutions that vanish along the lattice-cross of points $(πk,0)$ and $(0,πl)$ save for one of these points. These interpolating solutions allow for restoration of a given solution $u$ from its values on the lattice-cross.
△ Less
Submitted 21 January, 2024; v1 submitted 12 January, 2024;
originally announced January 2024.
-
Quasicircles and hyperbolic zero packing
Authors:
Haakan Hedenmalm
Abstract:
We look at the work of Oleg Ivrii connected with the dimension of quasicircles for asymptotically small quasiconformality parameter $k$. We intend to make this work more easily accessible. Our main focus is the integral means spectrum associated with normalized conformal map**s of the exterior disk which have quasiconformal extensions to the whole plane with small dilatation parameter $k$. Moreo…
▽ More
We look at the work of Oleg Ivrii connected with the dimension of quasicircles for asymptotically small quasiconformality parameter $k$. We intend to make this work more easily accessible. Our main focus is the integral means spectrum associated with normalized conformal map**s of the exterior disk which have quasiconformal extensions to the whole plane with small dilatation parameter $k$. Moreover, we address the estimates from above only, not the sharpness from below.
△ Less
Submitted 27 July, 2022; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Deep zero problems
Authors:
Haakan Hedenmalm
Abstract:
We introduce a novel collection of uniqueness problems, with related sampling and interpolation issues. We call them deep zero problems, as they are concerned with local properties at a small number of given points.
We introduce a novel collection of uniqueness problems, with related sampling and interpolation issues. We call them deep zero problems, as they are concerned with local properties at a small number of given points.
△ Less
Submitted 23 May, 2022;
originally announced May 2022.
-
Berezin density and planar orthogonal polynomials
Authors:
Haakan Hedenmalm,
Aron Wennman
Abstract:
We introduce a nonlinear potential theory problem for the Laplacian, the solution of which characterizes the Berezin density $B(z,\cdot)$ for the polynomial Bergman space, where the point $z\in\mathbb{C}$ is fixed. When $z=\infty$, the Berezin density is expressed in terms of the squared modulus of the corresponding normalized orthogonal polynomial $P$. We use an approximate version of this charac…
▽ More
We introduce a nonlinear potential theory problem for the Laplacian, the solution of which characterizes the Berezin density $B(z,\cdot)$ for the polynomial Bergman space, where the point $z\in\mathbb{C}$ is fixed. When $z=\infty$, the Berezin density is expressed in terms of the squared modulus of the corresponding normalized orthogonal polynomial $P$. We use an approximate version of this characterization to study the asymptotics of the orthogonal polynomials in the context of exponentially varying weights. This builds on earlier works by Its-Takhtajan and by the first author on a soft Riemann-Hilbert problem for planar orthogonal polynomials, where in place of the Laplacian we have the $\bar\partial$-operator.
We adapt the soft Riemann-Hilbert approach to the nonlinear potential problem, where the nonlinearity is due to the appearance of $|P|^2$ in place of $\overline{P}$. Moreover, we suggest how to adapt the potential theory method to the study of the asymptotics of more general Berezin densities $B(z,w)$ in the off-spectral regime, that is, when $z$ is fixed outside the droplet. This is a first installment in a program to obtain an explicit global expansion formula for the polynomial Bergman kernel, and, in particular, of the one-point function of the associated random normal matrix ensemble.
△ Less
Submitted 26 October, 2023; v1 submitted 4 March, 2022;
originally announced March 2022.
-
Hyperbolic Fourier series
Authors:
Andrew Bakan,
Haakan Hedenmalm,
Alfonso Montes-Rodriguez,
Danylo Radchenko,
Maryna Viazovska
Abstract:
In this article we explain the essence of the interrelation described in [PNAS 118, 15 (2021)] on how to write explicit interpolation formula for solutions of the Klein-Gordon equation by using the recent Fourier pair interpolation formula of Viazovska and Radchenko from [Publ Math-Paris 129, 1 (2019)]. We construct explicitly the sequence in $L^1 (\mathbb{R} )$ which is biorthogonal to the system…
▽ More
In this article we explain the essence of the interrelation described in [PNAS 118, 15 (2021)] on how to write explicit interpolation formula for solutions of the Klein-Gordon equation by using the recent Fourier pair interpolation formula of Viazovska and Radchenko from [Publ Math-Paris 129, 1 (2019)]. We construct explicitly the sequence in $L^1 (\mathbb{R} )$ which is biorthogonal to the system $1$, $\exp ( i πn x)$, $\exp ( i πn/ x)$, $n \in \mathbb{Z} \setminus \{0\}$, and show that it is complete in $L^1 (\mathbb{R})$. We associate with each $f \in L^1 (\mathbb{R}, (1+x^2)^{-1} d x)$ its hyperbolic Fourier series
$h_{0}(f) + \sum_{n \in \mathbb{Z}\setminus \{0\}}(h_{n}(f) e^{ i πn x} + m_{n}(f) e^{-i πn / x} )$ and prove that it converges to $f$ in the space of tempered distributions on the real line. Applied to the above mentioned biorthogonal system, the integral transform given by
$U_{\varphi} (x, y):= \int_{\mathbb{R}} \varphi (t) \exp \left( i x t + i y / t \right) d t $, for $\varphi \in L^{1} (\mathbb{R})$ and $(x, y) \in \mathbb{R}^{2}$, supplies interpolating functions for the Klein-Gordon equation.
△ Less
Submitted 4 July, 2023; v1 submitted 30 September, 2021;
originally announced October 2021.
-
Soft Riemann-Hilbert problems and planar orthogonal polynomials
Authors:
Haakan Hedenmalm
Abstract:
Riemann-Hilbert problems are jump problems for holomorphic functions along given interfaces. They arise in various contexts, e.g. in the asymptotic study of certain nonlinear partial differential equations and in the asymptotic analysis of orthogonal polynomials. Matrix-valued Riemann-Hilbert problems were considered by Deift et al. in the 1990s with a noncommutative adaptation of the steepest des…
▽ More
Riemann-Hilbert problems are jump problems for holomorphic functions along given interfaces. They arise in various contexts, e.g. in the asymptotic study of certain nonlinear partial differential equations and in the asymptotic analysis of orthogonal polynomials. Matrix-valued Riemann-Hilbert problems were considered by Deift et al. in the 1990s with a noncommutative adaptation of the steepest descent method. For orthogonal polynomials on the line or on the circle with respect to exponentially varying weights, this led to a strong asymptotic expansion in the given parameters. For orthogonal polynomials with respect to planar exponentially varying weights, the corresponding asymptotics was obtained by Hedenmalm and Wennman (2017), using a technically involved construction of an invariant foliation for the orthogonality. Planar orthogonal polynomials are characterized in terms of a matrix dbar-problem (Its, Takhtajan), which we call a soft Riemann-Hilbert problem. Here, we use this perspective to offer a simplified approach based not on foliations but instead on the ad hoc insertion of an algebraic ansatz for the Cauchy potential in the soft Riemann-Hilbert problem. This allows the problem to decompose into a hierarchy of scalar Riemann-Hilbert problems along the interface, which appears as the free boundary for an obstacle problem. Inspired by microlocal analysis, the method allows for control of the solution in such a way that for real-analytic weights, the asymptotics holds in the $L^2$ sense with error $O(e^{-δ\sqrt{m}})$ in a fixed neighborhood of the closed exterior of the interface, for some constant $δ>0$, where $m\to+\infty$. Here, $m$ is the degree of the polynomial, and in terms of pointwise asymptotics, the expansion dominates the error term in the exterior domain and across the interface a distance proportional to $m^{-\frac14}$.
△ Less
Submitted 26 December, 2021; v1 submitted 11 August, 2021;
originally announced August 2021.
-
Riemann-Hilbert hierarchies for hard edge planar orthogonal polynomials
Authors:
Haakan Hedenmalm,
Aron Wennman
Abstract:
We obtain a full asymptotic expansion for orthogonal polynomials with respect to weighted area measure on a Jordan domain $\mathscr{D}$ with real-analytic boundary. The weight is fixed and assumed to be real-analytically smooth and strictly positive, and for any given precision $\varkappa$, the expansion holds with an $\mathrm{O}(N^{-\varkappa-1})$ error in $N$-dependent neighborhoods of the exter…
▽ More
We obtain a full asymptotic expansion for orthogonal polynomials with respect to weighted area measure on a Jordan domain $\mathscr{D}$ with real-analytic boundary. The weight is fixed and assumed to be real-analytically smooth and strictly positive, and for any given precision $\varkappa$, the expansion holds with an $\mathrm{O}(N^{-\varkappa-1})$ error in $N$-dependent neighborhoods of the exterior region as the degree $N$ tends to infinity. The main ingredient is the derivation and analysis of Riemann-Hilbert hierarchies - sequences of scalar Riemann-Hilbert problems - which allows us to express all higher order correction terms in closed form. In fact, the expansion may be understood as a Neumann series involving an explicit operator. The expansion theorem leads to a semiclassical asymptotic expansion of the corresponding hard edge probability wave function in terms of distributions supported on $\partial\mathscr{D}$.
△ Less
Submitted 26 August, 2020; v1 submitted 6 August, 2020;
originally announced August 2020.
-
Backward shift and nearly invariant subspaces of Fock-type spaces
Authors:
Alexandru Aleman,
Anton Baranov,
Yurii Belov,
Haakan Hedenmalm
Abstract:
We study the structure of the backward shift invariant and nearly invariant subspaces in weighted Fock-type spaces $\mathcal{F}_W^p$, whose weight $W$ is not necessarily radial. We show that in the spaces $\mathcal{F}_W^p$ which contain the polynomials as a dense subspace (in particular, in the radial case) all nontrivial backward shift invariant subspaces are of the form $\mathcal{P}_n$, i.e., fi…
▽ More
We study the structure of the backward shift invariant and nearly invariant subspaces in weighted Fock-type spaces $\mathcal{F}_W^p$, whose weight $W$ is not necessarily radial. We show that in the spaces $\mathcal{F}_W^p$ which contain the polynomials as a dense subspace (in particular, in the radial case) all nontrivial backward shift invariant subspaces are of the form $\mathcal{P}_n$, i.e., finite dimensional subspaces consisting of polynomials of degree at most $n$. In general, the structure of the nearly invariant subspaces is more complicated. In the case of spaces of slow growth (up to zero exponential type) we establish an analogue of de Branges' Ordering Theorem. We then construct examples which show that the result fails for general Fock-type spaces of larger growth.
△ Less
Submitted 12 July, 2020;
originally announced July 2020.
-
Fourier uniqueness in $\mathbb{R}^4$
Authors:
Andrew Bakan,
Haakan Hedenmalm,
Alfonso Montes-Rodriguez,
Danylo Radchenko,
Maryna Viazovska
Abstract:
We show an interrelation between the uniqueness aspect of the recent Fourier interpolation formula of Radchenko and Viazovska and the Heisenberg uniqueness study for the Klein-Gordon equation and the lattice-cross of critical density, studied by Hedenmalm and Montes-Rodriguez. This has been known since 2017.
We show an interrelation between the uniqueness aspect of the recent Fourier interpolation formula of Radchenko and Viazovska and the Heisenberg uniqueness study for the Klein-Gordon equation and the lattice-cross of critical density, studied by Hedenmalm and Montes-Rodriguez. This has been known since 2017.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
Exponential integral representations of theta functions
Authors:
Andrew Bakan,
Håkan Hedenmalm
Abstract:
Let $Θ_{3} (z):= \sum_{n\in\mathbb{Z}} \exp (i πn^2 z)$ be the standard Jacobi theta function, which is holomorphic and zero-free in the upper half-plane $\mathbb{H}$, and takes positive values along the positive imaginary axis.
We define its logarithm $\logΘ_3(z)$ which is uniquely determined by the requirements that it should be holomorphic in $\mathbb{H}$ and real-valued on the positive imagi…
▽ More
Let $Θ_{3} (z):= \sum_{n\in\mathbb{Z}} \exp (i πn^2 z)$ be the standard Jacobi theta function, which is holomorphic and zero-free in the upper half-plane $\mathbb{H}$, and takes positive values along the positive imaginary axis.
We define its logarithm $\logΘ_3(z)$ which is uniquely determined by the requirements that it should be holomorphic in $\mathbb{H}$ and real-valued on the positive imaginary axis. We derive an integral representation of $\logΘ_{3} (z)$ when $z$ belongs to the hyperbolic quadrilateral $\mathcal{F}^{||}_{\square}$, consisted of all those $z \in \mathbb{H}$ which satisfy $-1 \leq Re\, z \leq 1$, $|2 z - 1| > 1$ and $ |2 z + 1| > 1$.
Since every point of $\mathbb{H}$ is equivalent to at least one point in $\mathcal{F}^{||}_{\square}$ under the theta subgroup of the modular group on the upper half-plane, this representation carries over in modified form to all of $\mathbb{H}$ via the identity recorded by Berndt. The logarithms of the related Jacobi theta functions $Θ_{4}$ and $Θ_{2}$ may be conveniently expressed in terms of $\logΘ_{3}$ via functional equations, and hence get controlled as well. Our approach is based on a study the logarithm of the Gauss hypergeometric function for a specific choice of the parameters. This connects with the study of the universally starlike map**s introduced by Ruscheweyh, Salinas, and Sugawa.
△ Less
Submitted 24 August, 2021; v1 submitted 22 December, 2019;
originally announced December 2019.
-
Gaussian analytic functions and operator symbols of Dirichlet type
Authors:
Haakan Hedenmalm,
Serguei Shimorin
Abstract:
Let $\calH$ be a separable infinite-dimensional $\C$-linear Hilbert space, with sesquilinear inner product $\langle\cdot,\cdot\rangle_\calH$. Given any two orthonormal systems $x_1,x_2,x_3,\ldots$ and $y_1,y_2,y_3,\ldots$ in $\calH$, we show that the weighted sums \[ S(l):=\sum_{j,k:j+k=l}\bigg(\frac{l}{jk}\bigg)^{\frac12}\, \langle x_j,y_k\rangle_{\calH} \] satisfy $|S(l)|^2\lessapprox2$ holds in…
▽ More
Let $\calH$ be a separable infinite-dimensional $\C$-linear Hilbert space, with sesquilinear inner product $\langle\cdot,\cdot\rangle_\calH$. Given any two orthonormal systems $x_1,x_2,x_3,\ldots$ and $y_1,y_2,y_3,\ldots$ in $\calH$, we show that the weighted sums \[ S(l):=\sum_{j,k:j+k=l}\bigg(\frac{l}{jk}\bigg)^{\frac12}\, \langle x_j,y_k\rangle_{\calH} \] satisfy $|S(l)|^2\lessapprox2$ holds in an average sense. A construction due to Zachary Chase shows that this would not be true if the number $2$ is replaced by the smaller number $1.72$. In the construction, the system $y_1,y_2,y_3,\ldots$ is a permutation of the system $x_1,x_2,x_3,\ldots$. We interpret our bound in terms of the correlation $\expect Φ(z)Ψ(z)$ of two copies of a Gaussian analytic function with possibly intricate Gaussian correlation structure between them. The Gaussian analytic function we study arises in connection with the classical Dirichlet space, which is naturally Möbius invariant. The study of the correlations $\expectΦ(z)Ψ(z)$ leads us to introduce a new space, the \emph{mock-Bloch space}, which is slightly bigger than the standard Bloch space. Our bound has an interpretation in terms of McMullen's asymptotic variance, originally considered for functions in the Bloch space. Finally, we show that the correlations $\expectΦ(z)Ψ(w)$ may be expressed as Dirichlet symbols of contractions on $L^2(\D)$, and show that the Dirichlet symbols of Grunsky operators associated with univalent functions find a natural characterization in terms of a nonlinear wave equation.
△ Less
Submitted 28 March, 2019;
originally announced March 2019.
-
Off-spectral analysis of Bergman kernels
Authors:
Haakan Hedenmalm,
Aron Wennman
Abstract:
The asymptotic analysis of Bergman kernels with respect to exponentially varying measures near emergent interfaces has attracted recent attention. Such interfaces typically occur when the associated limiting Bergman density function vanishes on a portion of the plane, the off-spectral region. This type of behaviour is observed when the metric is negatively curved somewhere, or when we study partia…
▽ More
The asymptotic analysis of Bergman kernels with respect to exponentially varying measures near emergent interfaces has attracted recent attention. Such interfaces typically occur when the associated limiting Bergman density function vanishes on a portion of the plane, the off-spectral region. This type of behaviour is observed when the metric is negatively curved somewhere, or when we study partial Bergman kernels in the context of positively curved metrics. In this work, we cover these two situations in a unified way, for exponentially varying planar measures on the complex plane. We obtain uniform asymptotic expansions of root functions, which are essentially normalized partial Bergman kernels at an off-spectral point, valid in the entire off-spectral component and protruding into the spectrum as well, which allows us to show error function transition behaviour of the original kernel along the interface. In contrast, previous work on asymptotic expansions of Bergman kernels is typically local, and valid only in the bulk region of the spectrum.
△ Less
Submitted 24 October, 2019; v1 submitted 2 May, 2018;
originally announced May 2018.
-
Planar orthogonal polynomials and boundary universality in the random normal matrix model
Authors:
Haakan Hedenmalm,
Aron Wennman
Abstract:
We show that the planar normalized orthogonal polynomials $P_{m,n}(z)$ of degree $n$ with respect to an exponentially varying planar measure $\mathrm{e}^{-2mQ}\mathrm{dA}$ enjoy an asymptotic expansion \[ P_{m,n}(z)\sim m^{\frac{1}{4}}\sqrt{φ_τ'(z)}[φ_τ(z)]^n \mathrm{e}^{m\mathcal{Q}_τ(z)}\left(\mathcal{B}_{τ, 0}(z) +m^{-1}\mathcal{B}_{τ, 1}(z)+m^{-2} \mathcal{B}_{τ,2}(z)+\ldots\right), \] as…
▽ More
We show that the planar normalized orthogonal polynomials $P_{m,n}(z)$ of degree $n$ with respect to an exponentially varying planar measure $\mathrm{e}^{-2mQ}\mathrm{dA}$ enjoy an asymptotic expansion \[ P_{m,n}(z)\sim m^{\frac{1}{4}}\sqrt{φ_τ'(z)}[φ_τ(z)]^n \mathrm{e}^{m\mathcal{Q}_τ(z)}\left(\mathcal{B}_{τ, 0}(z) +m^{-1}\mathcal{B}_{τ, 1}(z)+m^{-2} \mathcal{B}_{τ,2}(z)+\ldots\right), \] as $n,m\to\infty$ while the ratio $τ=\frac{n}{m}$ is fixed. Here $\mathcal{S}_τ$ denotes the droplet, the boundary of which is assumed to be a smooth simple closed curve, and $φ_τ$ is a conformal map** from the complement $\mathcal{S}_τ^c$ to the exterior disk $\Bbb{D}_\mathrm{e}$. The functions $\mathcal{Q}_τ$ and $\mathcal{B}_{τ, j}$ are bounded holomorphic functions which may be expressed in terms of $Q$ and $\mathcal{S}_τ$. We apply these results to obtain boundary universality in the random normal matrix model for smooth droplets, i.e., that the limiting rescaled process is the random process with correlation kernel \[ \mathrm{k}(ξ,η)= \mathrm{e}^{ξ\barη\,-\frac12(\lvertξ\rvert^2+\lvert η\rvert^2)} \,\mathrm{erf}\,(ξ+\barη). \] A key ingredient in the proof of the asymptotic expansion of the orthogonal polynomials is the construction of an orthogonal foliation -- a smooth flow of closed curves near $\partial\mathcal{S}_τ$, on each of which $P_{m,n}$ is appropriately orthogonal to lower order polynomials. To compute the coefficient functions, we develop an algorithm which determines the coefficients $\mathcal{B}_{τ, j}$ successively in terms of inhomogeneous Toeplitz kernel conditions. These inhomogeneous Toeplitz kernel conditions may be understood in terms of scalar Riemann-Hilbert problems.
△ Less
Submitted 6 August, 2020; v1 submitted 17 October, 2017;
originally announced October 2017.
-
Sharpening Hölder's inequality
Authors:
Haakan Hedenmalm,
Dmitriy M. Stolyarov,
Vasily I. Vasyunin,
Pavel B. Zatitskiy
Abstract:
We strengthen Hölder's inequality. The new family of sharp inequalities we obtain might be thought of as an analog of Pythagorean theorem for the $L^p$ spaces. Our reasonings rely upon Bellman functions of four variables.
We strengthen Hölder's inequality. The new family of sharp inequalities we obtain might be thought of as an analog of Pythagorean theorem for the $L^p$ spaces. Our reasonings rely upon Bellman functions of four variables.
△ Less
Submitted 20 November, 2017; v1 submitted 29 August, 2017;
originally announced August 2017.
-
A critical topology for $L^p$-Carleman classes with $0<p<1$
Authors:
Haakan Hedenmalm,
Aron Wennman
Abstract:
In this paper, we explain a sharp phase transition phenomenon which occurs for $L^p$-Carleman classes with exponents $0<p<1$. In principle, these classes are defined as usual, only the traditional $L^\infty$-bounds are replaced by corresponding $L^p$-bounds. To mirror the classical definition, we add the feature of dilatation invariance as well, and consider a larger soft-topology space, the…
▽ More
In this paper, we explain a sharp phase transition phenomenon which occurs for $L^p$-Carleman classes with exponents $0<p<1$. In principle, these classes are defined as usual, only the traditional $L^\infty$-bounds are replaced by corresponding $L^p$-bounds. To mirror the classical definition, we add the feature of dilatation invariance as well, and consider a larger soft-topology space, the $L^p$-Carleman class. A particular degenerate instance is when we obtain the $L^p$-Sobolev spaces, analyzed previously by Peetre, following an initial insight by Douady. Peetre found that these $L^p$-Sobolev spaces are highly degenerate for $0<p<1$. Essentially, the contact is lost between the function and its derivatives. Here, we analyze this degeneracy for the more general $L^p$-Carleman classes defined by a weight sequence. Under some reasonable growth and regularity properties, and a condition on the collection of test functions, we find that there is a sharp boundary, defined in terms of the weight sequence: on the one side, we get Douady-Peetre's phenomenon of "disconnexion" between the function and its derivatives, while on the other, we obtain a collection of highly smooth functions. We also look at the more standard second phase transition, between non-quasianalyticity and quasianalyticity, in the $L^p$ setting, with $0<p<1$.
△ Less
Submitted 29 August, 2017;
originally announced August 2017.
-
Bloch functions, asymptotic variance, and geometric zero packing
Authors:
Haakan Hedenmalm
Abstract:
We study a new type of extremal problem in complex analysis, referred to as "geometric zero packing", which is the hyperbolic analogue of a problem considered by Abrikosov in the 1950s concerning Bose-Einstein condensates. We relate the corresponding minimal discrepancy density with the asymptotic variance for Bloch functions of the form "Bergman projection of bounded functions" and obtain a corre…
▽ More
We study a new type of extremal problem in complex analysis, referred to as "geometric zero packing", which is the hyperbolic analogue of a problem considered by Abrikosov in the 1950s concerning Bose-Einstein condensates. We relate the corresponding minimal discrepancy density with the asymptotic variance for Bloch functions of the form "Bergman projection of bounded functions" and obtain a corresponding identity. Together with related work of Ivrii, this gives the asymptotic behavior of the universal quasiconformal integral means spectrum for small values of quasiconformality k and small exponents t. In particular, the conjectured behavior is shown to be smaller than conjectured by Prause and Smirnov, which also shows that there are no quasidisks with dimension 1+k^2, at least for small k.
△ Less
Submitted 1 March, 2020; v1 submitted 10 February, 2016;
originally announced February 2016.
-
An extension of ergodic theory for Gauss-type maps
Authors:
Haakan Hedenmalm,
Alfonso Montes-Rodriguez
Abstract:
We propose an extension of ergodic theory which focuses on the identification of ergodicity in terms of the uniqueness of the invariant measure. We first explain the concept for the doubling maps, which can be analyzed using Fourier methods. We then proceed to the Gauss-type maps of interest, of the form $x\mapsto -β/x$ mod $2\mathbb Z$ on the symmetric interval $[-1,1]$, for $0<β\le1$. We study a…
▽ More
We propose an extension of ergodic theory which focuses on the identification of ergodicity in terms of the uniqueness of the invariant measure. We first explain the concept for the doubling maps, which can be analyzed using Fourier methods. We then proceed to the Gauss-type maps of interest, of the form $x\mapsto -β/x$ mod $2\mathbb Z$ on the symmetric interval $[-1,1]$, for $0<β\le1$. We study an extended state space on the interval, formed as the restriction to the interval $[-1,1]$ of functions of the form $f+\mathbf{H}g$, where $f$ and $g$ are $L^1$-functions. We then look for invariant states for the Gauss-type map. We find that the standard ergodicity results available for $L^1$ extend with difficulty to the larger state space. The machinery developed involves a dynamical decomposition of the odd part of the Hilbert kernel. We apply the result to decide the issue when the nonnegative integer powers of two given atomic singular inner functions is complete in $H^\infty$ with respect to the weak-star topology.
△ Less
Submitted 10 December, 2015;
originally announced December 2015.
-
Bloch functions and asymptotic tail variance
Authors:
Haakan Hedenmalm
Abstract:
We obtain an optimal exponential square integrability theorem for the Bergman projection of a function bounded by 1 in modulus. This is interpreted as the statement that the asymptotic tail variance of such a function is at most 1. The asymptotic tail variance defines a seminorm on the Bloch space. We apply the main result to quasiconformal Teichmüller theory, and obtain an estimate of the integra…
▽ More
We obtain an optimal exponential square integrability theorem for the Bergman projection of a function bounded by 1 in modulus. This is interpreted as the statement that the asymptotic tail variance of such a function is at most 1. The asymptotic tail variance defines a seminorm on the Bloch space. We apply the main result to quasiconformal Teichmüller theory, and obtain an estimate of the integral means spectrum of k-quasiconformal map**s that are conformal in the exterior disk: $B(k,t)\le\frac14k^2|t|^2(1+7k)^2$. This is conjectured asymptotically sharp as k tends to 0, by Prause and Smirnov (2011).
△ Less
Submitted 16 February, 2016; v1 submitted 22 September, 2015;
originally announced September 2015.
-
The Klein-Gordon equation, the Hilbert transform, and dynamics of Gauss-type maps
Authors:
Haakan Hedenmalm,
Alfonso Montes-Rodriguez
Abstract:
A pair $(Γ,Λ)$, where $Γ\subset\mathbb{R}^2$ is a locally rectifiable curve and $Λ\subset\mathbb{R}^2$ is a {\em Heisenberg uniqueness pair} if an absolutely continuous (with respect to arc length) finite complex-valued Borel measure supported on $Γ$ whose Fourier transform vanishes on $Λ$ necessarily is the zero measure. Recently, it was shown by Hedenmalm and Montes that if $Γ$ is the hyperbola…
▽ More
A pair $(Γ,Λ)$, where $Γ\subset\mathbb{R}^2$ is a locally rectifiable curve and $Λ\subset\mathbb{R}^2$ is a {\em Heisenberg uniqueness pair} if an absolutely continuous (with respect to arc length) finite complex-valued Borel measure supported on $Γ$ whose Fourier transform vanishes on $Λ$ necessarily is the zero measure. Recently, it was shown by Hedenmalm and Montes that if $Γ$ is the hyperbola $x_1x_2=M^2/(4π^2)$, where $M>0$ is the mass, and $Λ$ is the lattice-cross $(α\mathbb{Z}\times\{0\}) \cup (\{0\}\timesβ\mathbb{Z})$, where $α,β$ are positive reals, then $(Γ,Λ)$ is a Heisenberg uniqueness pair if and only if $αβM^2\le4π^2$. The Fourier transform of a measure supported on a hyperbola solves the one-dimensional Klein-Gordon equation, so the theorem supplies very thin uniqueness sets for a class of solutions to this equation. The case of the semi-axis $\mathbb{R}_+$ as well as the holomorphic counterpart remained open. In this work, we completely solve these two problems. As for the semi-axis, we show that the restriction to $\mathbb{R}_+$ of the above exponential system spans a weak-star dense subspace of $L^\infty(\mathbb{R}_+)$ if and only if $0<αβ<4$, based on dynamics of Gauss-type maps. This has an interpretation in terms of dynamical unique continuation. As for the holomorphic counterpart, we show that the above exponential system with $m,n\ge0$ spans a weak-star dense subspace of $H^\infty_+(\mathbb{R})$ if and only if $0<αβ\le1$. To obtain this result, we need to develop new harmonic analysis tools for the dynamics of Gauss-type maps, related to the Hilbert transform. Some details are deferred to a separate publication.
△ Less
Submitted 1 March, 2020; v1 submitted 13 March, 2015;
originally announced March 2015.
-
On the uniqueness theorem of Holmgren
Authors:
Haakan Hedenmalm
Abstract:
We rereview the classical Cauchy-Kovalevskaya theorem and the related uniqueness theorem of Holmgren, in the simple setting of powers of the Laplacian and a smooth curve segment in the plane. As a local problem, the Cauchy-Kovalevskaya and Holmgren theorems supply a complete answer to the existence and uniqueness issues. Here, we consider a global uniqueness problem of Holmgren's type. Perhaps sur…
▽ More
We rereview the classical Cauchy-Kovalevskaya theorem and the related uniqueness theorem of Holmgren, in the simple setting of powers of the Laplacian and a smooth curve segment in the plane. As a local problem, the Cauchy-Kovalevskaya and Holmgren theorems supply a complete answer to the existence and uniqueness issues. Here, we consider a global uniqueness problem of Holmgren's type. Perhaps surprisingly, we obtain a connection with the theory of quadrature identities, which demonstrates that rather subtle algebraic properties of the curve come into play. For instance, if $Ω$ is the interior domain of an ellipse, and $I$ is a proper arc of the ellipse $\partialΩ$, then there exists a nontrivial biharmonic function $u$ in $Ω$ which vanishes to degree three on $I$ (i.e., all partial derivatives of $u$ of order $\le2$ vanish on $I$) if and only if the ellipse is a circle. Finally, we consider a three-dimensional case, and analyze it partially using analogues of the square of the 2X2 Cauchy-Riemann operator.
△ Less
Submitted 10 January, 2014; v1 submitted 16 December, 2013;
originally announced December 2013.
-
On Hörmander's solution of the dbar-equation
Authors:
Haakan Hedenmalm
Abstract:
We explain how Hörmander's classical solution of the dbar-equation in the plane with a weight which permits growth near infinity carries over to the rather opposite situation when we ask for decay near infinity. Here, however, a natural condition on the datum needs to be imposed. The condition is not only natural but also necessary to have the result at least in the Fock weight case.
We explain how Hörmander's classical solution of the dbar-equation in the plane with a weight which permits growth near infinity carries over to the rather opposite situation when we ask for decay near infinity. Here, however, a natural condition on the datum needs to be imposed. The condition is not only natural but also necessary to have the result at least in the Fock weight case.
△ Less
Submitted 3 January, 2014; v1 submitted 8 November, 2013;
originally announced November 2013.
-
Asymptotic expansion of polyanalytic Bergman kernels
Authors:
Haakan Hedenmalm,
Antti Haimi
Abstract:
We consider mainly the Hilbert space of bianalytic functions on a given domain in the plane, square integrable with respect to a weight. We show how to obtain the asymptotic expansion of the corresponding bianalytic Bergman kernel for power weights, under the standard condition on those weights. This is known only in the analytic setting, from the work of e.g. Tian, Yau, Zelditch, Catlin, et al. W…
▽ More
We consider mainly the Hilbert space of bianalytic functions on a given domain in the plane, square integrable with respect to a weight. We show how to obtain the asymptotic expansion of the corresponding bianalytic Bergman kernel for power weights, under the standard condition on those weights. This is known only in the analytic setting, from the work of e.g. Tian, Yau, Zelditch, Catlin, et al. We remark that a bianalytic function may be identified with a vector-valued analytic function, supplied with a locally singular metric on the vectors. We also apply our findings to two bianalytic Bergman metrics introduced here.
△ Less
Submitted 9 March, 2013; v1 submitted 4 March, 2013;
originally announced March 2013.
-
Weighted integrability of polyharmonic functions
Authors:
Alexander Borichev,
Haakan Hedenmalm
Abstract:
To address the uniqueness issues associated with the Dirichlet problem for the $N$-harmonic equation on the unit disk $\D$ in the plane, we investigate the $L^p$ integrability of $N$-harmonic functions with respect to the standard weights $(1-|z|^2)^α$. The question at hand is the following. If $u$ solves $Δ^N u=0$ in $\D$, where $Δ$ stands for the Laplacian, and [\int_\D|u(z)|^p (1-|z|^2)^α\diff…
▽ More
To address the uniqueness issues associated with the Dirichlet problem for the $N$-harmonic equation on the unit disk $\D$ in the plane, we investigate the $L^p$ integrability of $N$-harmonic functions with respect to the standard weights $(1-|z|^2)^α$. The question at hand is the following. If $u$ solves $Δ^N u=0$ in $\D$, where $Δ$ stands for the Laplacian, and [\int_\D|u(z)|^p (1-|z|^2)^α\diff A(z)<+\infty,] must then $u(z)\equiv0$? Here, $N$ is a positive integer, $α$ is real, and $0<p<+\infty$; $\diff A$ is the usual area element. The answer will, generally speaking, depend on the triple $(N,p,α)$. The most interesting case is $0<p<1$. For a given $N$, we find an explicit critical curve $p\mapstoβ(N,p)$ -- a piecewise affine function -- such that for $α>β(N,p)$ there exist non-trivial functions $u$ with $Δ^N u=0$ of the given integrability, while for $α\leβ(N,p)$, only $u(z)\equiv0$ is possible. We also investigate the obstruction to uniqueness for the Dirichlet problem, that is, we study the structure of the functions in $\mathrm{PH}^p_{N,α}(\D)$ when this space is nontrivial. We find a fascinating structural decomposition of the polyharmonic functions -- the cellular (Almansi) expansion -- which decomposes the polyharmonic weighted $L^p$ in a canonical fashion. Corresponding to the cellular expansion is a tiling of part of the $(p,α)$ plane into cells. A particularly interesting collection of cells form the entangled region.
△ Less
Submitted 10 January, 2014; v1 submitted 21 November, 2012;
originally announced November 2012.
-
Heisenberg's uncertainty principle in the sense of Beurling
Authors:
Haakan Hedenmalm
Abstract:
We shed new light on Heisenberg's uncertainty principle in the sense of Beurling, by offering an essentially different proof which permits us to weaken the assumptions substantially, and examples show that the result is sharp. The proof involves Fourier and Mellin transforms. We alo extend to a setting of two functions. A higher-dimensional analogue is considered as well.
We shed new light on Heisenberg's uncertainty principle in the sense of Beurling, by offering an essentially different proof which permits us to weaken the assumptions substantially, and examples show that the result is sharp. The proof involves Fourier and Mellin transforms. We alo extend to a setting of two functions. A higher-dimensional analogue is considered as well.
△ Less
Submitted 5 April, 2012; v1 submitted 23 March, 2012;
originally announced March 2012.
-
Perron-Frobenius operators and the Klein-Gordon equation
Authors:
Francisco Canto-Martin,
Haakan Hedenmalm,
Alfonso Montes-Rodriguez
Abstract:
We study the non-uniqueness sets for solutions to the Klein-Gordon equation in 1 space dimension, for solutions whose Fourier transform is a finite complex measure absolutely continuous with respect to arc length. We show that generally, in the non-unique case for lattice-crosses, the space of solutions that vanish there is infinite-dimensional.
We study the non-uniqueness sets for solutions to the Klein-Gordon equation in 1 space dimension, for solutions whose Fourier transform is a finite complex measure absolutely continuous with respect to arc length. We show that generally, in the non-unique case for lattice-crosses, the space of solutions that vanish there is infinite-dimensional.
△ Less
Submitted 1 January, 2012;
originally announced January 2012.
-
The Gaussian free field and Hadamard's variational formula
Authors:
Haakan Hedenmalm,
Pekka J. Nieminen
Abstract:
We relate the Gaussian free field on a planar domain to the variational formula of Hadamard which explains the change of the Green function under a perturbation of the domain. This is accomplished by means of a natural integral operator related to Hadamard's formula.
We relate the Gaussian free field on a planar domain to the variational formula of Hadamard which explains the change of the Green function under a perturbation of the domain. This is accomplished by means of a natural integral operator related to Hadamard's formula.
△ Less
Submitted 23 March, 2012; v1 submitted 1 January, 2012;
originally announced January 2012.
-
Random normal matrices and Ward identities
Authors:
Yacin Ameur,
Haakan Hedenmalm,
Nikolai Makarov
Abstract:
Consider the random normal matrix ensemble associated with a potential on the plane which is sufficiently strong near infinity. It is known that, to a first approximation, the eigenvalues obey a certain equilibrium distribution, given by Frostman's solution to the minimum energy problem of weighted logarithmic potential theory. On a finer scale, one can consider fluctuations of eigenvalues about t…
▽ More
Consider the random normal matrix ensemble associated with a potential on the plane which is sufficiently strong near infinity. It is known that, to a first approximation, the eigenvalues obey a certain equilibrium distribution, given by Frostman's solution to the minimum energy problem of weighted logarithmic potential theory. On a finer scale, one can consider fluctuations of eigenvalues about the equilibrium. In the present paper, we give the correction to the expectation of fluctuations, and we prove that the potential field of the corrected fluctuations converge on smooth test functions to a Gaussian free field with free boundary conditions on the droplet associated with the potential.
△ Less
Submitted 16 March, 2015; v1 submitted 27 September, 2011;
originally announced September 2011.
-
Fourier uniqueness sets and the Klein-Gordon equation
Authors:
Haakan Hedenmalm
Abstract:
We generalize the study of Heisenberg uniqueness pairs considered in earlier work with Alfonso Montes-Rodriguez. We also find the critical density in the case of one branch of the hyperbola. In the critical case there is non-uniqueness for a one-dimensional space of solutions. These solutions cannot vanish at any other point of the axes of the characteristic lattice-cross, due to an unexpected con…
▽ More
We generalize the study of Heisenberg uniqueness pairs considered in earlier work with Alfonso Montes-Rodriguez. We also find the critical density in the case of one branch of the hyperbola. In the critical case there is non-uniqueness for a one-dimensional space of solutions. These solutions cannot vanish at any other point of the axes of the characteristic lattice-cross, due to an unexpected connection with the Nielsen spiral.
△ Less
Submitted 15 June, 2011;
originally announced June 2011.
-
The polyanalytic Ginibre ensembles
Authors:
Antti Haimi,
Haakan Hedenmalm
Abstract:
We consider a polyanalytic generalization of the Ginibre ensemble. This models allowing higher Landau levels (the Ginibre ensemble corresponds to the lowest Landau level). We study the local behavior of this point process under blow-ups.
We consider a polyanalytic generalization of the Ginibre ensemble. This models allowing higher Landau levels (the Ginibre ensemble corresponds to the lowest Landau level). We study the local behavior of this point process under blow-ups.
△ Less
Submitted 15 June, 2011;
originally announced June 2011.
-
Coulomb gas ensembles and Laplacian growth
Authors:
Haakan Hedenmalm,
Nikolai Makarov
Abstract:
We consider the normal matrix ensemble under a general confining potential. We find that the eigenvalues condensate on a compact set in the plane, which we call the spectral droplet. We also study the evolution of incrementally adding a dimension, i.e., adding an extra electron in this fermionic model.
We consider the normal matrix ensemble under a general confining potential. We find that the eigenvalues condensate on a compact set in the plane, which we call the spectral droplet. We also study the evolution of incrementally adding a dimension, i.e., adding an extra electron in this fermionic model.
△ Less
Submitted 5 June, 2012; v1 submitted 15 June, 2011;
originally announced June 2011.
-
Heisenberg uniqueness pairs and the Klein-Gordon equation
Authors:
H. Hedenmalm,
A. Montes-Rodriguez
Abstract:
The notion of a Heisenberg Uniqueness Pair (HUP) is introduced. This amounts to asking which collections of exponentials are weak-star fundamental in $L^\infty$ on a planar curve. In the case when the curve is a hyperbola, we can give a complete answer if the frequencies are restricted to equally spaced points on a lattice-cross. As a consequence, we solve a problem on the density of algebras ge…
▽ More
The notion of a Heisenberg Uniqueness Pair (HUP) is introduced. This amounts to asking which collections of exponentials are weak-star fundamental in $L^\infty$ on a planar curve. In the case when the curve is a hyperbola, we can give a complete answer if the frequencies are restricted to equally spaced points on a lattice-cross. As a consequence, we solve a problem on the density of algebras generated by two inner functions raised by Matheson and Stessin.
△ Less
Submitted 7 October, 2009;
originally announced October 2009.
-
The Beurling operator for the hyperbolic plane
Authors:
H. Hedenmalm
Abstract:
We find a Beurling operator for the hyperbolic plane, and obtain an $L^2$ norm identity for it, as well as $L^p$ estimates.
We find a Beurling operator for the hyperbolic plane, and obtain an $L^2$ norm identity for it, as well as $L^p$ estimates.
△ Less
Submitted 15 June, 2011; v1 submitted 2 June, 2009;
originally announced June 2009.
-
Fluctuations of eigenvalues of random normal matrices
Authors:
Yacin Ameur,
Haakan Hedenmalm,
Nikolai Makarov
Abstract:
In this note, we prove Gaussian field convergence of fluctuations of eigenvalues of random normal matrices in the interior of a quantum droplet.
In this note, we prove Gaussian field convergence of fluctuations of eigenvalues of random normal matrices in the interior of a quantum droplet.
△ Less
Submitted 13 June, 2010; v1 submitted 2 July, 2008;
originally announced July 2008.
-
Berezin transform in polynomial Bergman spaces
Authors:
Yacin Ameur,
Haakan Hedenmalm,
Nikolai Makarov
Abstract:
We study the reproducing kernel for weighted polynomial Bergman spaces and consider applications to the Berezin transform. Some of our results have applications in random matrix theory, a topic which we discuss in a separate (companion) paper.
We study the reproducing kernel for weighted polynomial Bergman spaces and consider applications to the Berezin transform. Some of our results have applications in random matrix theory, a topic which we discuss in a separate (companion) paper.
△ Less
Submitted 18 October, 2009; v1 submitted 2 July, 2008;
originally announced July 2008.
-
On planar Beurling and Fourier transforms
Authors:
Haakan Hedenmalm
Abstract:
We study the Beurling and Fourier transforms on subspaces of $L^2({\mathbb C})$ defined by an invariance property with respect to the root-of-unity group. This leads to generalizations of these transformations acting unitarily on weighted $L^2$-spaces over $\mathbb C$.
We study the Beurling and Fourier transforms on subspaces of $L^2({\mathbb C})$ defined by an invariance property with respect to the root-of-unity group. This leads to generalizations of these transformations acting unitarily on weighted $L^2$-spaces over $\mathbb C$.
△ Less
Submitted 24 January, 2007;
originally announced January 2007.
-
Norm expansion along a zero variety in ${\mathbb C}^d$
Authors:
H. Hedenmalm,
S. Shimorin,
A. Sola
Abstract:
The reproducing kernel function of a weighted Bergman space over domains in ${\mathbb C}^d$ is known explicitly in only a small number of instances. Here, we introduce a process of orthogonal norm expansion along a subvariety of codimension 1, which also leads to a series expansion of the reproducing kernel in terms of reproducing kernels defined on the subvariety. The problem of finding the rep…
▽ More
The reproducing kernel function of a weighted Bergman space over domains in ${\mathbb C}^d$ is known explicitly in only a small number of instances. Here, we introduce a process of orthogonal norm expansion along a subvariety of codimension 1, which also leads to a series expansion of the reproducing kernel in terms of reproducing kernels defined on the subvariety. The problem of finding the reproducing kernel is thus reduced to the same kind of problem when one of the two entries is on the subvariety. A complete expansion of the reproducing kernel may be achieved in this manner. We carry this out in dimension $d=2$ for certain classes of weighted Bergman spaces over the bidisk (with the diagonal $z_1=z_2$ as subvariety) and the ball (with $z_2=0$ as subvariety), as well as for a weighted Bargmann-Fock space over ${\mathbb C}^2$ (with the diagonal $z_1=z_2$ as subvariety).
△ Less
Submitted 29 August, 2006;
originally announced August 2006.
-
Boundary properties of Green functions in the plane
Authors:
A. Baranov,
H. Hedenmalm
Abstract:
We study the boundary properties of conformal maps, following Jones and Makarov. It is our intention to tie up their approach with the traditional method in conformal map**. Also, we extend a weak form of the Jones-Makarov theorem to complex parameter values.
We study the boundary properties of conformal maps, following Jones and Makarov. It is our intention to tie up their approach with the traditional method in conformal map**. Also, we extend a weak form of the Jones-Makarov theorem to complex parameter values.
△ Less
Submitted 3 January, 2014; v1 submitted 21 August, 2006;
originally announced August 2006.
-
On the asymptotic free boundary for the American put option problem
Authors:
H. Hedenmalm
Abstract:
In practical work with American put options, it is important to be able to know when to exercise the option, and when not to do so. In computer simulation based on the standard theory of geometric Brownian motion for simulating stock price movements, this problem is fairly easy to handle for options with a short lifespan, by analyzing binomial trees. It is considerably more challenging to make t…
▽ More
In practical work with American put options, it is important to be able to know when to exercise the option, and when not to do so. In computer simulation based on the standard theory of geometric Brownian motion for simulating stock price movements, this problem is fairly easy to handle for options with a short lifespan, by analyzing binomial trees. It is considerably more challenging to make the decision for American put options with long lifespan. In order to provide a satisfactory analysis, we look at the corresponding free boundary problem, and show that the free boundary -- which is the curve that separates the two decisions, to exercise or not to -- has an asymptotic expansion, where the coefficient of the main term is expressed as an integral in terms of the free boundary. This raises the perspective that one could use numerical simulation to approximate the integral and thus get an effective way to make correct decisions for long life options.
△ Less
Submitted 16 December, 2004;
originally announced December 2004.
-
Quantum Hele-Shaw flow
Authors:
Haakan Hedenmalm,
Nikolai Makarov
Abstract:
In this note, we discuss the quantum Hele-Shaw flow, a random measure process in the complex plane introduced by the physicists P.Wiegmann, A. Zabrodin, et al. This process arises in the theory of electronic droplets confined to a plane under a strong magnetic field, as well as in the theory of random normal matrices. We extend a result of Elbau and Felder to general external field potentials, a…
▽ More
In this note, we discuss the quantum Hele-Shaw flow, a random measure process in the complex plane introduced by the physicists P.Wiegmann, A. Zabrodin, et al. This process arises in the theory of electronic droplets confined to a plane under a strong magnetic field, as well as in the theory of random normal matrices. We extend a result of Elbau and Felder to general external field potentials, and also show that if the potential is $C^2$-smooth, then the quantum Hele-Shaw flow converges, under appropriate scaling, to the classical (weighted) Hele-Shaw flow, which can be modeled in terms of an obstacle problem.
△ Less
Submitted 19 November, 2004;
originally announced November 2004.
-
Curious properties of canonical divisors in weighted Bergman spaces
Authors:
Alexandru Aleman,
Haakan Hedenmalm,
Stefan Richter,
Carl Sundberg
Abstract:
We study properties of the weighted Bergman hernel on the unit disk. As we restrict to the subspace of all functions that vanish at a given point, we obtain the reproducing kernel for the subspace from the above weighted Bergman kernel via a simple formula. Division properties of this new kernel are studied.
We study properties of the weighted Bergman hernel on the unit disk. As we restrict to the subspace of all functions that vanish at a given point, we obtain the reproducing kernel for the subspace from the above weighted Bergman kernel via a simple formula. Division properties of this new kernel are studied.
△ Less
Submitted 18 June, 2004;
originally announced June 2004.
-
Hele-Shaw flow on weakly hyperbolic surfaces
Authors:
Haakan Hedenmalm,
Anders Olofsson
Abstract:
We consider the Hele-Shaw flow that arises from injection of two-dimensional fluid into a point of a curved surface. The resulting fluid domains have and are more or less determined implicitly by a mean value property for harmonic functions. We improve on the results of Hedenmalm and Shimorin \cite{HS} and obtain essentially the same conclusions while imposing a weaker curvature condition on the…
▽ More
We consider the Hele-Shaw flow that arises from injection of two-dimensional fluid into a point of a curved surface. The resulting fluid domains have and are more or less determined implicitly by a mean value property for harmonic functions. We improve on the results of Hedenmalm and Shimorin \cite{HS} and obtain essentially the same conclusions while imposing a weaker curvature condition on the surface. Incidentally, the curvature condition is the same as the one that appears in a recent paper of Hedenmalm and Perdomo, where the problem of finding smooth area minimizing surfaces for a given curvature form under a natural normalizing condition was considered. Probably there are deep reasons behind this coincidence.
△ Less
Submitted 18 June, 2004;
originally announced June 2004.
-
Branch point area methods in conformal map**
Authors:
Haakan Hedenmalm,
Natalia Abuzyarova
Abstract:
The classical estimate of Bieberbach -- that $|a_2|\le2$ for a given univalent function $φ(z)=z+a_2z^2+...$ in the class $S$ -- leads to best possible pointwise estimates of the ratio $φ''(z)/φ'(z)$ for $φ\in S$, first obtained by Kœbe and Bieberbach. For the corresponding class $Σ$ of univalent functions in the exterior disk, Goluzin found in 1943 -- by extremality methods -- the corresponding…
▽ More
The classical estimate of Bieberbach -- that $|a_2|\le2$ for a given univalent function $φ(z)=z+a_2z^2+...$ in the class $S$ -- leads to best possible pointwise estimates of the ratio $φ''(z)/φ'(z)$ for $φ\in S$, first obtained by Kœbe and Bieberbach. For the corresponding class $Σ$ of univalent functions in the exterior disk, Goluzin found in 1943 -- by extremality methods -- the corresponding best possible pointwise estimates of $ψ''(z)/ψ'(z)$ for $ψ\inΣ$. It was perhaps surprising that this time, the expressions involve elliptic integrals. Here, we obtain the area-type theorem which has Goluzin's pointwise estimate as a corollary. This shows that the Kœbe-Bieberbach estimate as well as that of Goluzin are both firmly rooted in the area-based methods. The appearance of elliptic integrals finds a natural explanation: they arise because a certain associated covering surface of the Riemann sphere is a torus.
△ Less
Submitted 17 June, 2004;
originally announced June 2004.
-
Weighted Bergman spaces and the integral means spectrum of conformal map**s
Authors:
Haakan Hedenmalm,
Serguei Shimorin
Abstract:
We study the so-called integral means spectrum for univalent functions on the unit disk. Using an inequality of Prawitz (generalizing the classical area theorem of Gronwall), we find -- by applying a Moebius map** to lift the result to the bidisk -- that it is possible to obtain rather strong estimates from above on the integral means spectrum.
We study the so-called integral means spectrum for univalent functions on the unit disk. Using an inequality of Prawitz (generalizing the classical area theorem of Gronwall), we find -- by applying a Moebius map** to lift the result to the bidisk -- that it is possible to obtain rather strong estimates from above on the integral means spectrum.
△ Less
Submitted 17 June, 2004;
originally announced June 2004.
-
Mean value surfaces with prescribed curvature form
Authors:
Haakan Hedenmalm,
Yolanda Perdomo
Abstract:
The Gaussian curvature of a two-dimensional Riemannian manifold is uniquely determined by the choice of the metric. The formulas for computing the curvature in terms of components of the metric, in isothermal coordinates, involve the Laplacian operator and therefore, the problem of finding a Riemannian metric for a given curvature form may be viewed as a potential theory problem. This problem ha…
▽ More
The Gaussian curvature of a two-dimensional Riemannian manifold is uniquely determined by the choice of the metric. The formulas for computing the curvature in terms of components of the metric, in isothermal coordinates, involve the Laplacian operator and therefore, the problem of finding a Riemannian metric for a given curvature form may be viewed as a potential theory problem. This problem has, generally speaking, a multitude of solutions. To specify the solution uniquely, we ask that the metric have the mean value property for harmonic functions with respect to some given point. This means that we assume that the surface is simply connected and that it has a smooth boundary. In terms of the so-called metric potential, we are looking for a unique smooth solution to a nonlinear fourth order elliptic partial differential equation with second order Cauchy data given on the boundary. We find a simple condition on the curvature form which ensures that there exists a smooth mean value surface solution. It reads: the curvature form plus half the curvature form for the hyperbolic plane (with the same coordinates) should be $\le0$. The same analysis leads to results on the question of whether the canonical divisors in weighted Bergman spaces over the unit disk have extraneous zeros. Numerical work suggests that the above condition on the curvature form is essentially sharp.
Our problem is in spirit analogous to the classical Minkowski problem, where the sphere supplies the chart coordinates via the Gauss map.
△ Less
Submitted 17 June, 2004;
originally announced June 2004.
-
Large Bergman spaces: invertibility, cyclicity, and subspaces of arbitrary index
Authors:
Alexander Borichev,
Hakan Hedenmalm,
Alexander Volberg
Abstract:
In a wide class of weighted Bergman spaces, we construct invertible non-cyclic elements. These are then used to produce z-invariant subspaces of index higher than one. In addition, these elements generate nontrivial bilaterally invariant subspaces in anti-symmetrically weighted Hilbert spaces of sequences.
In a wide class of weighted Bergman spaces, we construct invertible non-cyclic elements. These are then used to produce z-invariant subspaces of index higher than one. In addition, these elements generate nontrivial bilaterally invariant subspaces in anti-symmetrically weighted Hilbert spaces of sequences.
△ Less
Submitted 22 April, 2003;
originally announced April 2003.
-
A Hilbert space of Dirichlet series and systems of dilated functions in $L^2(0,1)$
Authors:
Håkan Hedenmalm,
Peter Lindqvist,
Kristian Seip
Abstract:
For a function $\varphi$ in $L^2(0,1)$, extended to the whole real line as an odd periodic function of period 2, we ask when the collection of dilates $\varphi(nx)$, $n=1,2,3,\ldots$, constitutes a Riesz basis or a complete sequence in $L^2(0,1)$. The problem translates into a question concerning multipliers and cyclic vectors in the Hilbert space $\cal H$ of Dirichlet series…
▽ More
For a function $\varphi$ in $L^2(0,1)$, extended to the whole real line as an odd periodic function of period 2, we ask when the collection of dilates $\varphi(nx)$, $n=1,2,3,\ldots$, constitutes a Riesz basis or a complete sequence in $L^2(0,1)$. The problem translates into a question concerning multipliers and cyclic vectors in the Hilbert space $\cal H$ of Dirichlet series $f(s)=\sum_n a_nn^{-s}$, where the coefficients $a_n$ are square summable. It proves useful to model $\cal H$ as the $H^2$ space of the infinite-dimensional polydisk, or, which is the same, the $H^2$ space of the character space, where a character is a multiplicative homomorphism from the positive integers to the unit circle. For given $f$ in $\cal H$ and characters $χ$, $f_χ(s)=\sum_na_nχ(n)n^{-s}$ is a vertical limit function of $f$. We study certain probabilistic properties of these vertical limit functions.
△ Less
Submitted 30 November, 1995;
originally announced December 1995.
-
Wiener's Tauberian theorem in L^1(G//K) and harmonic functions in the unit disk
Authors:
Yaakov Ben Natan,
Yoav Benyamini,
Håkan Hedenmalm,
Yitzhak Weit
Abstract:
Our main result is to give necessary and sufficient conditions, in terms of Fourier transforms, on a closed ideal $I$ in $\loneg$, the space of radial integrable functions on $G=SU(1,1)$, so that $I=\loneg$ or $I=\lonez$---the ideal of $\loneg$ functions whose integral is zero. This is then used to prove a generalization of Furstenberg's theorem which characterizes harmonic functions on the unit…
▽ More
Our main result is to give necessary and sufficient conditions, in terms of Fourier transforms, on a closed ideal $I$ in $\loneg$, the space of radial integrable functions on $G=SU(1,1)$, so that $I=\loneg$ or $I=\lonez$---the ideal of $\loneg$ functions whose integral is zero. This is then used to prove a generalization of Furstenberg's theorem which characterizes harmonic functions on the unit disk by a mean value property and a ``two circles" Morera type theorem (earlier announced by Agranovskiĭ).
△ Less
Submitted 31 December, 1994;
originally announced January 1995.