Source author record

Gaven Martin

Gaven Martin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CV math.AP

Catalog footprint

What is connected

6works

2topics

3close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2026arXiv

Diffeomorphic solutions of Ahlfors-Hopf equations

Here we advance the study of boundary the value problem for extremal functions of mean distortion and the associated Teichmüller spaces interpolating between the classical examples of extremal quasiconformal mappings, and the more recent approach through harmonic mappings (of extreme Dirichlet energy). In this paper we focus on the Alhfors-Hopf differential \[ Φ=\mathcal{A}(\mathbb{K}(w,h))h_w\,\overline{h_{\overline{w}}}\, η(h), \] where $h=f^{-1}$ is the pseudo-inverse of an extremal mapping $f$ for the problem \[ \inf_{f:\mathbb{D}\to\mathbb{D}}\int_\mathbb{D} \mathcal{A}(\mathbb{K}(z,f)) \; dz, \quad\quad \mathbb{K}(z,f) = \frac{|f_z|^2+|f_{\overline{z}}|^2}{|f_z|^2-|f_{\overline{z}}|^2}. \] where the infimum is taken over those homeomorphisms of finite distortion $f:\overline{\mathbb{D}}\to\overline{\mathbb{D}}$ with $f|\mathbb{S}=f_0$, typically a quasisymmetric barrier function. The inner-variational equations, an analogue of the Euler-Lagrange equations, show $Φ$ is holomorphic at an extremal. Exploiting this Ahlfors-Hopf differential, we prove that an extreme point $f$ is a local diffeomorphism in $\mathbb{D}$, resolving some conjectures in [16].

preprint2022arXiv

On the uniqueness of extremal mappings of finite distortion

For an arbitrary convex function $Ψ:[1,\infty) \to [1,\infty)$, we consider uniqueness in the following two related extremal problems: Problem A boundary value problem: Establish the existence of, and describe the mapping $f$, achieving \[ \inf_f \Big\{ \int_{\Bbb D} Ψ({\Bbb K}(z,f))\; dz : f:\bar{\Bbb D} \to \bar{\Bbb D} \; \mbox{a homeomorphism in $W^{1,1}_{0}({\Bbb D})+f_0$} \Big\}. \] Here the data $f_0:\bar{\Bbb D} \to \bar{\Bbb D}$ is a homeomorphism of finite distortion with $\int_{\Bbb D} Ψ({\Bbb K}(z,f_0))\; dz<\infty$ -- a barrier. Next, given two homeomorphic Riemann surfaces $R$ and $S$ and data $f_0:R \to S$ a diffeomorphism. \noindent{\bf Problem B} {\em (extremal in homotopy class):} Establish the existence of, and describe the mapping $f$, achieving \[ \inf_f \Big\{ \int_R Ψ({\Bbb K}(z,f))\; \;dσ(z) : \mbox{$f$ a homeomorphism homotopic to $f_0$} \Big\}. \] There are two basic obstructions to existence and regularity. These are first, the existence of an Ahlfors-Hopf differential and second that the minimiser is a homeomorphism. When these restrictions are met (as they often can be) we show uniqueness is assured. These results are established through a generalisation the classical Reich-Strebel inequalities to this variational setting.

preprint2021arXiv

Chebyshev Polynomials and Inequalities for Kleinian Groups

The principal character of a representation of the free group of rank two into PSL(2, C) is a triple of complex numbers that determines an irreducible representation uniquely up to conjugacy. It is a central problem in the geometry of discrete groups and low dimensional topology to determine when such a triple represents a discrete group that is not virtually abelian, that is a Kleinian group. A classical necessary condition is Jørgensen's inequality. Here we use certainly shifted Chebyshev polynomials and trace identities to determine new families of such inequalities, some of which are best possible. The use of these polynomials also shows how we can identify the principal character of some important subgroups from that of the group itself.

preprint2021arXiv

Projections in moduli spaces of Kleinian groups

A two-generator Kleinian group $\langle f,g \rangle$ can be naturally associated with a discrete group $\langle f,ϕ\rangle$ with the generator $ϕ$ of order $2$ and where \begin{equation*} \langle f,ϕf ϕ^{-1} \rangle= \langle f,gfg^{-1} \rangle \subset \langle f,g\rangle, \quad [ \langle f,g f g^{-1} \rangle: \langle f,ϕ\rangle]=2 \end{equation*} This is useful in studying the geometry of Kleinian groups since $\langle f,g \rangle$ will be discrete only if $\langle f,ϕ\rangle$ is, and the moduli space of groups $\langle f,ϕ\rangle$ is one complex dimension less. This gives a necessary condition in a simpler space to determine the discreteness of $\langle f,g \rangle$. The dimension reduction here is realised by a projection of principal characters of two-generator Kleinian groups. In applications it is important to know that the image of the moduli space of Kleinian groups under this projection is closed and, among other results, we show how this follows from Jørgensen's results on algebraic convergence.

preprint2020arXiv

Higher regularity and uniqueness for inner variational equations

We study local minima of the $p$-conformal energy functionals, \[ \mathsf{E}_{\cal A}^\ast(h):=\int_\ID {\cal A}(\IK(w,h)) \;J(w,h) \; dw,\quad h|_\IS=h_0|_\IS, \] defined for self mappings $h:\ID\to\ID$ with finite distortion of the unit disk with prescribed boundary values $h_0$. Here $\IK(w,h) = \frac{\|Dh(w)\|^2}{J(w,h)} $ is the pointwise distortion functional, and ${\cal A}:[1,\infty)\to [1,\infty)$ is convex and increasing with ${\cal A}(t)\approx t^p$ for some $p\geq 1$, with additional minor technical conditions. Note ${\cal A}(t)=t$ is the Dirichlet energy functional. Critical points of $\mathsf{E}_{\cal A}^\ast$ satisfy the Ahlfors-Hopf inner-variational equation \[ {\cal A}'(\IK(w,h)) h_w \overline{h_\wbar} = Φ\] where $Φ$ is a holomorphic function. Iwaniec, Kovalev and Onninen established the Lipschitz regularity of critical points. Here we give a sufficient condition to ensure that a local minimum is a diffeomorphic solution to this equation, and that it is unique. This condition is necessarily satisfied by any locally quasiconformal critical point, and is basically the assumption $\IK(w,h)\in L^1(\ID)\cap L^r_{loc}(\ID)$ for some $r>1$.

preprint2020arXiv

The $L^p$ Teichmüller theory: Existence and regularity of critical points

We study minimisers of the $p$-conformal energy functionals, \[ \mathsf{E}_p(f):=\int_\ID \IK^p(z,f)\,dz,\quad f|_\IS=f_0|_\IS, \] defined for self mappings $f:\ID\to\ID$ with finite distortion and prescribed boundary values $f_0$. Here \[ \IK(z,f) = \frac{\|Df(z)\|^2}{J(z,f)} = \frac{1+|μ_f(z)|^2}{1-|μ_f(z)|^2}\] is the pointwise distortion functional and $μ_f(z)$ is the Beltrami coefficient of $f$. We show that for quasisymmetric boundary data the limiting regimes $p\to\infty$ recover the classical Teichmüller theory of extremal quasiconformal mappings (in part a result of Ahlfors), and for $p\to1$ recovers the harmonic mapping theory. Critical points of $\mathsf{E}_p$ always satisfy the inner-variational distributional equation \[ 2p\int_\ID \IK^p\;\frac{\overline{μ_f}}{1+|μ_f|^2}φ_\zbar \; dz=\int_\ID \IK^p \; φ_z\; dz,\quad\forallφ\in C_0^\infty(\ID ). \] We establish the existence of minimisers in the {\em a priori} regularity class $W^{1,\frac{2p}{p+1}}(\ID)$ and show these minimisers have a pseudo-inverse - a continuous $W^{1,2}(\ID)$ surjection of $\ID$ with $(h\circ f)(z)=z$ almost everywhere. We then give a sufficient condition to ensure $C^{\infty}(\ID)$ smoothness of solutions to the distributional equation. For instance $\IK(z,f)\in L^r_{loc}(\ID)$ for any $r>p+1$ is enough to imply the solutions to the distributional equation are local diffeomorphisms. Further $\IK(w,h)\in L^1(\ID)$ will imply $h$ is a homeomorphism, and together these results yield a diffeomorphic minimiser. We show such higher regularity assumptions to be necessary for critical points of the inner variational equation.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint