Solving the Loewner PDE in complete hyperbolic starlike domains of C^N

DOI10.1016/J.AIM.2013.02.024MaRDI QIDQ387041zbMATH OpenOpenAlexFDO

Authors Leandro Arosio, Filippo Bracci, Erlend Fornæss Wold

Publication date 11 December 2013

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.2721

evolution equations holomorphic PDE Loewner theory starlike domain

Maximum principle, Schwarz's lemma, Lindelöf principle, analogues and generalizations; subordination (30C80) Other generalizations of function theory of one complex variable (32A30)

Abstract: We prove that any Loewner PDE in a complete hyperbolic starlike domain of

C^{N}

(in particular in bounded convex domains) admits an essentially unique univalent solution with values in

C^{N}

.

Review text

A holomorphic vector field \(H\) on a domain \(D\subset\mathbb C^N\) is semicomplete if the Cauchy problem \(\dot x(t)=H(x(t))\), \(x(0)=z_0\), has a solution defined for all \(t\in\mathbb R^+:=[0,\infty)\) and \(z_0\in D\). A Herglotz vector field of order \(d\in[1,\infty]\) on \(D\) is a mapping \(G: D\times\mathbb R^+\to\mathbb C^N\) such that \(G(z,\cdot)\) is measurable on \(\mathbb R^+\) for all \(z\in D\), \(G(\cdot,t)\) is a semicomplete holomorphic vector field on \(D\) for all \(t\in\mathbb R^+\), and, for any compact set \(K\subset D\) and all \(T>0\), there exists a function \(C_{T,K}\in L^d([0,T],\mathbb R^+)\) for which \(\|G(z,t)\|\leq C_{T,K}(t)\), \(z\in K\), \(a.a.t\in[0,T]\). A family \((\varphi_{s,t})_{0\leq s\leq t}\) of holomorphic self-mappings of \(D\) is an evolution family of order \(d\) if \(\varphi_{s,s}=\mathrm{id}\), \(\varphi_{s,t}=\varphi_{u,t}\circ\varphi_{s,u}\), \(0\leq s\leq u\leq t\), and if for any \(T>0\) and any compact set \(K\subset\subset D\) there exists a function \(c_{T,K}\in L^d([0,T],\mathbb R^+)\) such that NEWLINE\[NEWLINE \|\varphi_{s,t}(z)-\varphi_{s,u}(z)\|\leq\int_u^tc_{T,K}(\xi)d\xi, \;\;z\in K,\;\;0\leq s\leq u\leq t\leq T. NEWLINE\]NEWLINE For a non-empty open subset \(M\) of a complex manifold \(\tilde M\), the pair \((M,\tilde M)\) is a Runge pair if \(\mathcal O(\tilde M)\) is dense in \(\mathcal O(M)\). A domain \(D\subset\mathbb C^N\) is Runge if \((D,\mathbb C^N)\) is a Runge pair.NEWLINENEWLINEThe main result of the paper can be stated in the following way.NEWLINENEWLINETheorem 1.1. For a complete hyperbolic starlike domain \(D\subset\mathbb C^N\), let \(G:D\times\mathbb R^+\to\mathbb C^N\) be a Herglotz vector field of order \(d\in[1,\infty]\). Then there exists a family of univalent mappings \((f_t:D\to\mathbb C^N)\) of order \(d\) which solves the Loewner PDE NEWLINE\[NEWLINE \frac{\partial f_t}{\partial t}(z)=-df_t(z)G(z,t),\;\;\text{ a. a. }t\geq0 \text{ and for all } z\in D. NEWLINE\]NEWLINE Moreover, \(R:=\bigcup_{t\geq0}f_t(D)\) is a Runge and Stein domain in \(\mathbb C^N\) and any other solution to the Loewner PDE is of the form \((\Phi\circ f_t)\) for a suitable holomorphic map \(\Phi:R\to\mathbb C^N\).NEWLINENEWLINEIt is also proved that, for a univalent self-mapping \(\varphi\) of the unit ball \(\mathbb B^N\), without assuming that \(\varphi(\mathbb B^N)\) is Runge, the question whether there exists an evolution family \((\varphi_{s,t}:\mathbb B^n\to\mathbb B^N)\) of order \(d\in[1,\infty]\) such that \(\varphi_{0,1}=\varphi\) has a negative answer.

Recommendations

Cites work

Cited in

(33)

This page was built for publication: Solving the Loewner PDE in complete hyperbolic starlike domains of \(\mathbb{C}^N\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q387041)