On an extremal problem for harmonic maps conformal at a point
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918493670080512 |
|---|---|
| author | Forstneric, Franc Kalaj, David |
| author_facet | Forstneric, Franc Kalaj, David |
| contents | Let \(\mathbb D\) denote the unit disc in \(\mathbb C\). For a domain \(D\subset\mathbb C\) and a point \(p\in D\), let \(M_D(p)\) denote the supremum of \(\|df_0\|\) over all harmonic maps \(f:\mathbb D\to D\) with \(f(0)=p\) whose differential \(df_0\) at \(0\in \mathbb D\) is conformal. If \(f:\mathbb D\to D\) is a conformal diffeomorphism onto \(D\) with \(f(0)=p\), then \(\|df_0\|\le M_D(p)\). In a recent paper, the authors proved that equality holds when \(D=\mathbb D\), and they asked whether equality can hold only when \(D\) is a round disc. We give a negative answer by proving that, among bounded convex pointed domains \(p\in D\subset\mathbb C\) and up to translations, rotations, and reflections, equality holds if and only if, after moving \(p\) to the origin, \(D=F(\mathbb D)\) where \(F:\mathbb D\to\mathbb C\) is a holomorphic map with \(F(0)=0\) and \(F'(z)=\frac{c}{1+az+λz^2}\), where \(c>0\), \(|λ|<1\), and \(|a-\bar aλ|<1-|λ|^2\). This family contains strongly convex examples which are not round discs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_09576 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On an extremal problem for harmonic maps conformal at a point Forstneric, Franc Kalaj, David Complex Variables 30C80, secondary 30C35, 31A05 Let \(\mathbb D\) denote the unit disc in \(\mathbb C\). For a domain \(D\subset\mathbb C\) and a point \(p\in D\), let \(M_D(p)\) denote the supremum of \(\|df_0\|\) over all harmonic maps \(f:\mathbb D\to D\) with \(f(0)=p\) whose differential \(df_0\) at \(0\in \mathbb D\) is conformal. If \(f:\mathbb D\to D\) is a conformal diffeomorphism onto \(D\) with \(f(0)=p\), then \(\|df_0\|\le M_D(p)\). In a recent paper, the authors proved that equality holds when \(D=\mathbb D\), and they asked whether equality can hold only when \(D\) is a round disc. We give a negative answer by proving that, among bounded convex pointed domains \(p\in D\subset\mathbb C\) and up to translations, rotations, and reflections, equality holds if and only if, after moving \(p\) to the origin, \(D=F(\mathbb D)\) where \(F:\mathbb D\to\mathbb C\) is a holomorphic map with \(F(0)=0\) and \(F'(z)=\frac{c}{1+az+λz^2}\), where \(c>0\), \(|λ|<1\), and \(|a-\bar aλ|<1-|λ|^2\). This family contains strongly convex examples which are not round discs. |
| title | On an extremal problem for harmonic maps conformal at a point |
| topic | Complex Variables 30C80, secondary 30C35, 31A05 |
| url | https://arxiv.org/abs/2605.09576 |