Source author record

Haakan Hedenmalm

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CV math.FA math-ph math.AP math.MP math.PR math.DS math.DG math.CA math.HO

Catalog footprint

Research overview

26works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Quasicircles and hyperbolic zero packing

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 mappings 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.

preprint2020arXiv

Backward shift and nearly invariant subspaces of Fock-type spaces

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.

preprint2020arXiv

Bloch functions, asymptotic variance, and geometric zero packing

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.

preprint2020arXiv

Planar orthogonal polynomials and boundary universality in the random normal matrix model

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 mapping 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.

preprint2020arXiv

Riemann-Hilbert hierarchies for hard edge planar orthogonal polynomials

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}$ .

preprint2020arXiv

The Klein-Gordon equation, the Hilbert transform, and dynamics of Gauss-type maps

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.

preprint2019arXiv

Gaussian analytic functions and operator symbols of Dirichlet type

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.

preprint2019arXiv

Off-spectral analysis of Bergman kernels

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.

preprint2015arXiv

An extension of ergodic theory for Gauss-type maps

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.

preprint2015arXiv

Random normal matrices and Ward identities

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.

preprint2014arXiv

On Hörmander's solution of the dbar-equation

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.

preprint2014arXiv

On the uniqueness theorem of Holmgren

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.

preprint2014arXiv

Weighted integrability of polyharmonic functions

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.

preprint2013arXiv

Asymptotic expansion of polyanalytic Bergman kernels

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.

preprint2012arXiv

Coulomb gas ensembles and Laplacian growth

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.

preprint2012arXiv

Heisenberg's uncertainty principle in the sense of Beurling

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.

preprint2012arXiv

Perron-Frobenius operators and the Klein-Gordon equation

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.

preprint2012arXiv

The Gaussian free field and Hadamard's variational 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.

preprint2011arXiv

Fourier uniqueness sets and the Klein-Gordon equation

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.

preprint2011arXiv

The polyanalytic Ginibre ensembles

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.

preprint2007arXiv

On planar Beurling and Fourier transforms

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$ .

preprint2004arXiv

Branch point area methods in conformal mapping

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.

preprint2004arXiv

Hele-Shaw flow on weakly hyperbolic surfaces

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.

preprint2004arXiv

Mean value surfaces with prescribed curvature form

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.

preprint2004arXiv

Quantum Hele-Shaw flow

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.

preprint2004arXiv

Weighted Bergman spaces and the integral means spectrum of conformal mappings

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 mapping to lift the result to the bidisk -- that it is possible to obtain rather strong estimates from above on the integral means spectrum.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Haakan Hedenmalm

Research overview

Is this your work?

26 publications

Quasicircles and hyperbolic zero packing

Backward shift and nearly invariant subspaces of Fock-type spaces

Bloch functions, asymptotic variance, and geometric zero packing

Planar orthogonal polynomials and boundary universality in the random normal matrix model

Riemann-Hilbert hierarchies for hard edge planar orthogonal polynomials

The Klein-Gordon equation, the Hilbert transform, and dynamics of Gauss-type maps

Gaussian analytic functions and operator symbols of Dirichlet type

Off-spectral analysis of Bergman kernels

An extension of ergodic theory for Gauss-type maps

Random normal matrices and Ward identities

On Hörmander's solution of the dbar-equation

On the uniqueness theorem of Holmgren

Weighted integrability of polyharmonic functions

Asymptotic expansion of polyanalytic Bergman kernels

Coulomb gas ensembles and Laplacian growth

Heisenberg's uncertainty principle in the sense of Beurling

Perron-Frobenius operators and the Klein-Gordon equation

The Gaussian free field and Hadamard's variational formula

Fourier uniqueness sets and the Klein-Gordon equation

The polyanalytic Ginibre ensembles

On planar Beurling and Fourier transforms

Branch point area methods in conformal mapping

Hele-Shaw flow on weakly hyperbolic surfaces

Mean value surfaces with prescribed curvature form

Quantum Hele-Shaw flow

Weighted Bergman spaces and the integral means spectrum of conformal mappings

See the researcher in context

Building this map preview