Showing 1–43 of 43 results for author: Kovalev, L V

Sharp bounds for some segments of bounded power series

Authors: Leonid V. Kovalev

Abstract: We obtain sharp upper bounds for three-term segments of a bounded power series. Along the way we show that the Taylor polynomials of a certain algebraic function do not vanish in the unit disk. We obtain sharp upper bounds for three-term segments of a bounded power series. Along the way we show that the Taylor polynomials of a certain algebraic function do not vanish in the unit disk. △ Less

Submitted 6 July, 2025; originally announced July 2025.

MSC Class: Primary 30B10; Secondary 30C15; 30H10; 30J10

A sharp bound on the number of self-intersections of a trigonometric curve

Authors: Sergei Kalmykov, Leonid V. Kovalev

Abstract: We obtain a sharp bound on the number of self-intersections of a closed planar curve with trigonometric parameterization. Moreover, we show that a generic curve of this form is normal in the sense of Whitney. We obtain a sharp bound on the number of self-intersections of a closed planar curve with trigonometric parameterization. Moreover, we show that a generic curve of this form is normal in the sense of Whitney. △ Less

Submitted 17 July, 2024; originally announced July 2024.

MSC Class: Primary 30C10; Secondary 26C05; 42A05

Journal ref: J. Math. Anal. Appl. 543 (2024), no. 2, 128995

Anti-absorbing ternary operations on metric spaces

Authors: Leonid V. Kovalev

Abstract: The existence of a median-type ternary operation on a metric space is known to have a number of implications for the geometry of the space. For such operations, if two of the three arguments coincide, they also coincide with the output of the operation. We consider ternary operations with the opposite property: if two of the arguments coincide, the output is equal to the third one. The existence o… ▽ More The existence of a median-type ternary operation on a metric space is known to have a number of implications for the geometry of the space. For such operations, if two of the three arguments coincide, they also coincide with the output of the operation. We consider ternary operations with the opposite property: if two of the arguments coincide, the output is equal to the third one. The existence of such an operation is a necessary condition for the space to be an absolute retract. △ Less

Submitted 26 December, 2023; originally announced December 2023.

MSC Class: 51F30 (Primary) 30L05; 54B20; 54C15 (Secondary)

Journal ref: Topology Appl. 360 (2025), 109153

Lipschitz means and mixers on metric spaces

Authors: Leonid V. Kovalev

Abstract: The standard arithmetic measures of center, the mean and median, have natural topological counterparts which have been widely used in continuum theory. In the context of metric spaces it is natural to consider the Lipschitz continuous versions of the mean and median. We show that they are related to familiar concepts of the geometry of metric spaces: the bounded turning property, the existence of… ▽ More The standard arithmetic measures of center, the mean and median, have natural topological counterparts which have been widely used in continuum theory. In the context of metric spaces it is natural to consider the Lipschitz continuous versions of the mean and median. We show that they are related to familiar concepts of the geometry of metric spaces: the bounded turning property, the existence of quasisymmetric parameterization, and others. △ Less

Submitted 7 August, 2022; originally announced August 2022.

MSC Class: Primary 51F30; Secondary 30L10; 54B20; 54C15; 54E40

Journal ref: Illinois J. Math., 68 (2024), no. 1, 167-187

Lipschitz clustering in metric spaces

Authors: Leonid V. Kovalev

Abstract: In this paper, the Lipschitz clustering property of a metric space refers to the existence of Lipschitz retractions between its finite subset spaces. Obstructions to this property can be either topological or geometric features of the space. We prove that uniformly disconnected spaces have the Lipschitz clustering property, while for some connected spaces, the lack of sufficiently short connecting… ▽ More In this paper, the Lipschitz clustering property of a metric space refers to the existence of Lipschitz retractions between its finite subset spaces. Obstructions to this property can be either topological or geometric features of the space. We prove that uniformly disconnected spaces have the Lipschitz clustering property, while for some connected spaces, the lack of sufficiently short connecting curves turns out to be an obstruction. This property is shown to be invariant under quasihomogeneous maps, but not under quasisymmetric ones. △ Less

Submitted 12 August, 2021; v1 submitted 7 August, 2021; originally announced August 2021.

Comments: added Corollary 4.7, corrected typos

MSC Class: Primary 51F30; Secondary 30L10; 30L15; 54B20; 54C15

Journal ref: J Geom Anal 32 (2022), no. 7, Paper No. 188

Continuity of logarithmic capacity

Authors: Sergei Kalmykov, Leonid V. Kovalev

Abstract: We prove the continuity of logarithmic capacity under Hausdorff convergence of uniformly perfect planar sets. The continuity holds when the Hausdorff distance to the limit set tends to zero at sufficiently rapid rate, compared to the decay of the parameters involved in the uniformly perfect condition. The continuity may fail otherwise. We prove the continuity of logarithmic capacity under Hausdorff convergence of uniformly perfect planar sets. The continuity holds when the Hausdorff distance to the limit set tends to zero at sufficiently rapid rate, compared to the decay of the parameters involved in the uniformly perfect condition. The continuity may fail otherwise. △ Less

Submitted 20 May, 2021; originally announced May 2021.

Comments: 13 pages

MSC Class: Primary 31A15; Secondary 31A05; 31A25

Journal ref: J. Math. Anal. Appl. 505 (2022), no. 1, 125585

Extreme values of the derivative of Blaschke products and hypergeometric polynomials

Authors: Leonid V. Kovalev, Xuerui Yang

Abstract: A finite Blaschke product, restricted to the unit circle, is a smooth covering map. The maximum and minimum values of the derivative of this map reflect the geometry of the Blaschke product. We identify two classes of extremal Blaschke products: those that maximize the difference between the maximum and minimum of the derivative, and those that minimize it. Both classes turn out to have the same a… ▽ More A finite Blaschke product, restricted to the unit circle, is a smooth covering map. The maximum and minimum values of the derivative of this map reflect the geometry of the Blaschke product. We identify two classes of extremal Blaschke products: those that maximize the difference between the maximum and minimum of the derivative, and those that minimize it. Both classes turn out to have the same algebraic structure, being the quotient of two hypergeometric polynomials. △ Less

Submitted 25 June, 2021; v1 submitted 19 July, 2020; originally announced July 2020.

Comments: Corrected typos, added references

MSC Class: Primary 30J10; Secondary 33C05; 33C45

Journal ref: Bull. Sci. Math. 169 (2021), 102979

Growth rate of Lipschitz constants for retractions between finite subset spaces

Authors: Earnest Akofor, Leonid V. Kovalev

Abstract: For any metric space $X$, finite subset spaces of $X$ provide a sequence of isometric embeddings $X=X(1)\subset X(2)\subset\cdots$. The existence of Lipschitz retractions $r_n\colon X(n)\to X(n-1)$ depends on the geometry of $X$ in a subtle way. Such retractions are known to exist when $X$ is an Hadamard space or a finite-dimensional normed space. But even in these cases it was unknown whether the… ▽ More For any metric space $X$, finite subset spaces of $X$ provide a sequence of isometric embeddings $X=X(1)\subset X(2)\subset\cdots$. The existence of Lipschitz retractions $r_n\colon X(n)\to X(n-1)$ depends on the geometry of $X$ in a subtle way. Such retractions are known to exist when $X$ is an Hadamard space or a finite-dimensional normed space. But even in these cases it was unknown whether the sequence $\{r_n\}$ can be uniformly Lipschitz. We give a negative answer by proving that $\operatorname{Lip}(r_n)$ must grow with $n$ when $X$ is a normed space or an Hadamard space. △ Less

Submitted 27 May, 2020; originally announced May 2020.

MSC Class: Primary 54E40; Secondary 46B20; 54B20; 54C15

Journal ref: Studia Math. 260 (2021), no. 3, 317-326

Circle embeddings with restrictions on Fourier coefficients

Authors: Liulan Li, Leonid V. Kovalev

Abstract: This paper continues the investigation of the relation between the geometry of a circle embedding and the values of its Fourier coefficients. First, we answer a question of Kovalev and Yang concerning the support of the Fourier transform of a starlike embedding. An important special case of circle embeddings are homeomorphisms of the circle onto itself. Under a one-sided bound on the Fourier suppo… ▽ More This paper continues the investigation of the relation between the geometry of a circle embedding and the values of its Fourier coefficients. First, we answer a question of Kovalev and Yang concerning the support of the Fourier transform of a starlike embedding. An important special case of circle embeddings are homeomorphisms of the circle onto itself. Under a one-sided bound on the Fourier support, such homeomorphisms are rational functions related to Blaschke products. We study the structure of rational circle homeomorphisms and show that they form a connected set in the uniform topology. △ Less

Submitted 16 March, 2020; v1 submitted 8 February, 2020; originally announced February 2020.

MSC Class: Primary: 31A05; Secondary: 30J10; 42A16

Journal ref: J. Math. Anal. Appl. 488 (2020), no. 2, 124083

Near-isometric duality of Hardy norms with applications to harmonic mappings

Authors: Leonid V. Kovalev, Xuerui Yang

Abstract: Hardy spaces in the complex plane and in higher dimensions have natural finite-dimensional subspaces formed by polynomials or by linear maps. We use the restriction of Hardy norms to such subspaces to describe the set of possible derivatives of harmonic self-maps of a ball, providing a version of the Schwarz lemma for harmonic maps. These restricted Hardy norms display unexpected near-isometric du… ▽ More Hardy spaces in the complex plane and in higher dimensions have natural finite-dimensional subspaces formed by polynomials or by linear maps. We use the restriction of Hardy norms to such subspaces to describe the set of possible derivatives of harmonic self-maps of a ball, providing a version of the Schwarz lemma for harmonic maps. These restricted Hardy norms display unexpected near-isometric duality between the exponents 1 and 4, which we use to give an explicit form of harmonic Schwarz lemma. △ Less

Submitted 26 January, 2020; originally announced January 2020.

MSC Class: Primary 30H10; Secondary 15A60; 30C10; 31A05; 31B05

Journal ref: J. Math. Anal. Appl. 487 (2020), no. 2, 124040

Algebraic structure of the range of a trigonometric polynomial

Authors: Leonid V. Kovalev, Xuerui Yang

Abstract: The range of a trigonometric polynomial with complex coefficients can be interpreted as the image of the unit circle under a Laurent polynomial. We show that this range is contained in a real algebraic subset of the complex plane. Although the containment may be proper, the difference between the two sets is finite, except for polynomials with certain symmetry. The range of a trigonometric polynomial with complex coefficients can be interpreted as the image of the unit circle under a Laurent polynomial. We show that this range is contained in a real algebraic subset of the complex plane. Although the containment may be proper, the difference between the two sets is finite, except for polynomials with certain symmetry. △ Less

Submitted 23 September, 2019; originally announced September 2019.

MSC Class: 26C05 (Primary); 26C15; 31A05; 42A05 (Secondary)

Journal ref: Bull. Aust. Math. Soc. 102 (2020) 251-260

Self-intersections of Laurent polynomials and the density of Jordan curves

Authors: Sergei Kalmykov, Leonid V. Kovalev

Abstract: We extend Quine's bound on the number of self-intersection of curves with polynomial parameterization to the case of Laurent polynomials. As an application, we show that circle embeddings are dense among all maps from a circle to a plane with respect to an integral norm. We extend Quine's bound on the number of self-intersection of curves with polynomial parameterization to the case of Laurent polynomials. As an application, we show that circle embeddings are dense among all maps from a circle to a plane with respect to an integral norm. △ Less

Submitted 17 April, 2019; v1 submitted 6 February, 2019; originally announced February 2019.

Comments: 10 pages

MSC Class: 30B60 (Primary); 12D10; 42A05 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 151 (2023), no. 2, 547-554

Optimal extension of Lipschitz embeddings in the plane

Authors: Leonid V. Kovalev

Abstract: We prove that every bi-Lipschitz embedding of the unit circle into the plane can be extended to a bi-Lipschitz map of the unit disk with linear bounds on the constants involved. This answers a question raised by Daneri and Pratelli. Furthermore, every Lipschitz embedding of the circle extends to a Lipschitz homeomorphism of the plane, again with a linear bound on the constant. We prove that every bi-Lipschitz embedding of the unit circle into the plane can be extended to a bi-Lipschitz map of the unit disk with linear bounds on the constants involved. This answers a question raised by Daneri and Pratelli. Furthermore, every Lipschitz embedding of the circle extends to a Lipschitz homeomorphism of the plane, again with a linear bound on the constant. △ Less

Submitted 14 August, 2018; originally announced August 2018.

MSC Class: Primary 30C35; Secondary 26B35; 30L05; 31A15

Journal ref: Bull. London Math. Soc. 51 (2019), no. 4, 622-632

Fourier series of circle embeddings

Authors: Leonid V. Kovalev, Xuerui Yang

Abstract: We study the Fourier series of circle homeomorphisms and circle embeddings, with the emphasis on Blaschke product approximation and the vanishing of Fourier coefficients. The analytic properties of the Fourier series are related to the geometry of the circle embeddings, and have implications for the curvature of minimal surfaces. We study the Fourier series of circle homeomorphisms and circle embeddings, with the emphasis on Blaschke product approximation and the vanishing of Fourier coefficients. The analytic properties of the Fourier series are related to the geometry of the circle embeddings, and have implications for the curvature of minimal surfaces. △ Less

Submitted 14 August, 2018; originally announced August 2018.

MSC Class: Primary 31A05; Secondary 30J10; 42A16

Journal ref: Comput. Methods Funct. Theory 19 (2019), no. 2, 323-340

Removable sets for intrinsic metric and for holomorphic functions

Authors: Sergei Kalmykov, Leonid V. Kovalev, Tapio Rajala

Abstract: We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of codimension 1 is metrically removable, which answers a question raised by Hakobyan and Herron. The metrically removable sets are shown to be related to other clas… ▽ More We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of codimension 1 is metrically removable, which answers a question raised by Hakobyan and Herron. The metrically removable sets are shown to be related to other classes of "thin" sets that appeared in the literature. They are also related to the removability problems for classes of holomorphic functions with restrictions on the derivative. △ Less

Submitted 31 July, 2017; v1 submitted 23 July, 2017; originally announced July 2017.

Comments: 23 pages; the conjecture is now proved in all dimensions

MSC Class: 28A78 (Primary); 26A16; 30C62; 30H05; 49Q15; 51F99 (Secondary)

Journal ref: J. Anal. Math. 139 (2019), no. 2, 751-772

Symmetrization and extension of planar bi-Lipschitz maps

Authors: Leonid V. Kovalev

Abstract: We show that every centrally symmetric bi-Lipschitz embedding of the circle into the plane can be extended to a global bi-Lipschitz map of the plane with linear bounds on the distortion. This answers a question of Daneri and Pratelli in the special case of centrally symmetric maps. For general bi-Lipschitz embeddings our distortion bound has a combination of linear and cubic growth, which improves… ▽ More We show that every centrally symmetric bi-Lipschitz embedding of the circle into the plane can be extended to a global bi-Lipschitz map of the plane with linear bounds on the distortion. This answers a question of Daneri and Pratelli in the special case of centrally symmetric maps. For general bi-Lipschitz embeddings our distortion bound has a combination of linear and cubic growth, which improves on the prior results. The proof involves a symmetrization result for bi-Lipschitz maps which may be of independent interest. △ Less

Submitted 31 May, 2017; originally announced June 2017.

Comments: 18 pages, 3 figures

MSC Class: Primary 26B35; Secondary 30C35; 31A15

Journal ref: Ann. Acad. Sci. Fenn. Math. 43 (2018), no. 1, 541-556

Uniform convergence of Green's functions

Authors: Sergei Kalmykov, Leonid V. Kovalev

Abstract: Given a sequence of regular planar domains converging in the sense of kernel, we prove that the corresponding Green's functions converge uniformly on the complex sphere, provided the limit domain is also regular, and the connectivity is uniformly bounded. Given a sequence of regular planar domains converging in the sense of kernel, we prove that the corresponding Green's functions converge uniformly on the complex sphere, provided the limit domain is also regular, and the connectivity is uniformly bounded. △ Less

Submitted 6 May, 2017; originally announced May 2017.

Comments: 6 pages

MSC Class: 31A15; 31A05; 31A25

Journal ref: Complex Variables and Elliptic Equations, 64:4 (2019), 557-562

On the existence of harmonic mappings between doubly connected domains

Authors: Leonid V. Kovalev, Liulan Li

Abstract: While the existence of conformal mappings between doubly connected domains is characterized by their conformal moduli, no such characterization is available for harmonic diffeomorphisms. Intuitively, one expects their existence if the domain is not too thick compared to the codomain. We make this intuition precise by showing that for a Dini-smooth doubly connected domain $Ω^*$ there exists $ε>0$ s… ▽ More While the existence of conformal mappings between doubly connected domains is characterized by their conformal moduli, no such characterization is available for harmonic diffeomorphisms. Intuitively, one expects their existence if the domain is not too thick compared to the codomain. We make this intuition precise by showing that for a Dini-smooth doubly connected domain $Ω^*$ there exists $ε>0$ such that for every doubly connected domain $Ω$ with $\operatorname{Mod} Ω^*<\operatorname{Mod}Ω<\operatorname{Mod} Ω^*+ε$ there exists a harmonic diffeomorphism from $Ω$ onto $Ω^*$. △ Less

Submitted 5 April, 2016; originally announced April 2016.

MSC Class: 31A05; 58E20; 30C20

Journal ref: Proc. Roy. Soc. Edinburgh Sect. A 148 (2018), no. 3, 619-628

Lipschitz retractions in Hadamard spaces via gradient flow semigroups

Authors: Miroslav Bacak, Leonid V. Kovalev

Abstract: Let $X(n),$ for $n\in\mathbb{N},$ be the set of all subsets of a metric space $(X,d)$ of cardinality at most $n.$ The set $X(n)$ equipped with the Hausdorff metric is called a finite subset space. In this paper we are concerned with the existence of Lipschitz retractions $r: X(n)\to X(n-1)$ for $n\ge2.$ It is known that such retractions do not exist if $X$ is the one-dimensional sphere. On the oth… ▽ More Let $X(n),$ for $n\in\mathbb{N},$ be the set of all subsets of a metric space $(X,d)$ of cardinality at most $n.$ The set $X(n)$ equipped with the Hausdorff metric is called a finite subset space. In this paper we are concerned with the existence of Lipschitz retractions $r: X(n)\to X(n-1)$ for $n\ge2.$ It is known that such retractions do not exist if $X$ is the one-dimensional sphere. On the other hand L. Kovalev has recently established their existence in case $X$ is a Hilbert space and he also posed a question as to whether or not such Lipschitz retractions exist for $X$ being a Hadamard space. In the present paper we answer this question in the positive. △ Less

Submitted 7 March, 2016; originally announced March 2016.

Journal ref: Canad. Math. Bull. 59 (2016), no. 4, 673-681

Conformal contractions and lower bounds on the density of harmonic measure

Authors: Leonid V. Kovalev

Abstract: We give a concrete sufficient condition for a simply-connected domain to be the image of the unit disk under a nonexpansive conformal map. This class of domains is also characterized by having sufficiently dense harmonic measure. The relation with the harmonic measure provides a natural higher-dimensional analogue of this problem, which is also addressed. We give a concrete sufficient condition for a simply-connected domain to be the image of the unit disk under a nonexpansive conformal map. This class of domains is also characterized by having sufficiently dense harmonic measure. The relation with the harmonic measure provides a natural higher-dimensional analogue of this problem, which is also addressed. △ Less

Submitted 29 June, 2016; v1 submitted 11 January, 2016; originally announced January 2016.

Comments: 7 pages, 1 figure

MSC Class: 30C62; 31A15; 31B05

Journal ref: Potential Analysis 46 (2017), no. 2, 385-391

Lipschitz retraction of finite subsets of Hilbert spaces

Authors: Leonid V. Kovalev

Abstract: Finite subset spaces of a metric space $X$ form a nested sequence under natural isometric embeddings $X=X(1)\subset X(2)\subset\dots$. We prove that this sequence admits Lipschitz retractions $X(n)\to X(n-1)$ when $X$ is a Hilbert space. Finite subset spaces of a metric space $X$ form a nested sequence under natural isometric embeddings $X=X(1)\subset X(2)\subset\dots$. We prove that this sequence admits Lipschitz retractions $X(n)\to X(n-1)$ when $X$ is a Hilbert space. △ Less

Submitted 18 April, 2015; v1 submitted 25 June, 2014; originally announced June 2014.

Comments: Specializes the result from v1 to Hilbert spaces. The problem remains open for general Hadamard spaces

MSC Class: Primary 54E40; Secondary 54B20; 54C15; 54C25

Journal ref: Bulletin of the Australian Mathematical Society 93 (2015) 146-151

Bi-Lipschitz embedding of projective metrics

Authors: Leonid V. Kovalev

Abstract: We give a sufficient condition for a projective metric on a subset of a Euclidean space to admit a bi-Lipschitz embedding into Euclidean space of the same dimension. We give a sufficient condition for a projective metric on a subset of a Euclidean space to admit a bi-Lipschitz embedding into Euclidean space of the same dimension. △ Less

Submitted 19 March, 2014; v1 submitted 30 December, 2013; originally announced December 2013.

Comments: 10 pages, revised after referee's report. To appear in Conformal Geometry and Dynamics

MSC Class: Primary 30L05; Secondary 30C65; 51M10

Journal ref: Conform. Geom. Dyn. 18 (2014), 110-118

Symmetric products of the line: embeddings and retractions

Authors: Leonid V. Kovalev

Abstract: The n-th symmetric product of a metric space is the set of its nonempty subsets with cardinality at most n, equipped with the Hausdorff metric. We prove that every symmetric product of the line is an absolute Lipschitz retract and admits a bi-Lipschitz embedding into a Euclidean space of sufficiently high dimension. The n-th symmetric product of a metric space is the set of its nonempty subsets with cardinality at most n, equipped with the Hausdorff metric. We prove that every symmetric product of the line is an absolute Lipschitz retract and admits a bi-Lipschitz embedding into a Euclidean space of sufficiently high dimension. △ Less

Submitted 7 December, 2012; originally announced December 2012.

Comments: 10 pages

MSC Class: 30L05 (Primary) 54E40; 54B20; 54C15; 54C25 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 143 (2015), 801-809

Sharp distortion growth for bilipschitz extension of planar maps

Authors: Leonid V. Kovalev

Abstract: This note addresses the quantitative aspect of the bilipschitz extension problem. The main result states that any bilipschitz embedding of $\mathbb R$ into $\mathbb R^2$ can be extended to a bilipschitz self-map of $\mathbb R^2$ with a linear bound on the distortion. This note addresses the quantitative aspect of the bilipschitz extension problem. The main result states that any bilipschitz embedding of $\mathbb R$ into $\mathbb R^2$ can be extended to a bilipschitz self-map of $\mathbb R^2$ with a linear bound on the distortion. △ Less

Submitted 19 March, 2012; v1 submitted 15 March, 2012; originally announced March 2012.

Comments: 9 pages. Slightly expanded introduction, added references

MSC Class: 26B35; 57N35; 51F99; 54C25

Journal ref: Conform. Geom. Dyn. 16 (2012), 124-131

Lipschitz regularity for inner-variational equations

Authors: Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: We obtain Lipschitz regularity results for a fairly general class of nonlinear first-order PDEs. These equations arise from the inner variation of certain energy integrals. Even in the simplest model case of the Dirichlet energy the inner-stationary solutions need not be differentiable everywhere; the Lipschitz continuity is the best possible. But the proofs, even in the Dirichlet case, turn out t… ▽ More We obtain Lipschitz regularity results for a fairly general class of nonlinear first-order PDEs. These equations arise from the inner variation of certain energy integrals. Even in the simplest model case of the Dirichlet energy the inner-stationary solutions need not be differentiable everywhere; the Lipschitz continuity is the best possible. But the proofs, even in the Dirichlet case, turn out to relay on topological arguments. The appeal to the inner-stationary solutions in this context is motivated by the classical problems of existence and regularity of the energy-minimal deformations in the theory of harmonic mappings and certain mathematical models of nonlinear elasticity; specifically, neo-Hookian type problems. △ Less

Submitted 4 September, 2011; originally announced September 2011.

Comments: No figures

MSC Class: 49N60; 35B65; 73C50

Journal ref: Duke Math. J. 162, no. 4 (2013), 643-672

Approximation up to the boundary of homeomorphisms of finite Dirichlet energy

Authors: Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: Let X and Y be planar Jordan domains of the same finite connectivity, Y being inner chordarc regular (such are Lipschitz domains). Every homeomorphism h:X->Y in the Sobolev space $W^{1,2}$ extends to a continuous map between closed domains. We prove that there exist homeomorphisms between closed domains which converge to h uniformly and in $W^{1,2}$. The problem of approximation of Sobolev homeomo… ▽ More Let X and Y be planar Jordan domains of the same finite connectivity, Y being inner chordarc regular (such are Lipschitz domains). Every homeomorphism h:X->Y in the Sobolev space $W^{1,2}$ extends to a continuous map between closed domains. We prove that there exist homeomorphisms between closed domains which converge to h uniformly and in $W^{1,2}$. The problem of approximation of Sobolev homeomorphisms, raised by J. M. Ball and L. C. Evans, is deeply rooted in a study of energy-minimal deformations in nonlinear elasticity. The new feature of our main result is that approximation takes place also on the boundary, where the original map need not be a homeomorphism. △ Less

Submitted 8 February, 2013; v1 submitted 31 July, 2011; originally announced August 2011.

Comments: Three figures

MSC Class: 30E10; 46E35; 58E20

Journal ref: Bull. Lond. Math. Soc. 44 (2012), no. 5, 871-881

Quasisymmetric graphs and Zygmund functions

Authors: Leonid V. Kovalev, Jani Onninen

Abstract: A quasisymmetric graph is a curve whose projection onto a line is a quasisymmetric map. We show that this class of curves is related to solutions of the reduced Beltrami equation and to a generalization of the Zygmund class $Λ_*$. This relation makes it possible to use the tools of harmonic analysis to construct nontrivial examples of quasisymmetric graphs and of quasiconformal maps. A quasisymmetric graph is a curve whose projection onto a line is a quasisymmetric map. We show that this class of curves is related to solutions of the reduced Beltrami equation and to a generalization of the Zygmund class $Λ_*$. This relation makes it possible to use the tools of harmonic analysis to construct nontrivial examples of quasisymmetric graphs and of quasiconformal maps. △ Less

Submitted 12 July, 2011; originally announced July 2011.

Comments: 21 pages, no figures

MSC Class: 30C62; 26A45

Journal ref: J. Anal. Math. 118 (2012), no. 1, 343-361

The Hopf-Laplace equation: harmonicity and regularity

Authors: Jan Cristina, Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: The central theme in this paper is the Hopf-Laplace equation, which represents stationary solutions with respect to the inner variation of the Dirichlet integral. Among such solutions are harmonic maps. Nevertheless, minimization of the Dirichlet energy among homeomorphisms often leads to mappings which are neither harmonic nor homeomorphisms. We prove that such mappings are harmonic outside of a… ▽ More The central theme in this paper is the Hopf-Laplace equation, which represents stationary solutions with respect to the inner variation of the Dirichlet integral. Among such solutions are harmonic maps. Nevertheless, minimization of the Dirichlet energy among homeomorphisms often leads to mappings which are neither harmonic nor homeomorphisms. We prove that such mappings are harmonic outside of a singular set with small image. On the singular set they are locally Lipschitz, but not necessarily differentiable. △ Less

Submitted 5 December, 2012; v1 submitted 26 November, 2010; originally announced November 2010.

Comments: 39 pages, 4 figures

MSC Class: 58E20; 46E35; 30F30

Diffeomorphic approximation of Sobolev homeomorphisms

Authors: Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: Every homeomorphism h : X -> Y between planar open sets that belongs to the Sobolev class W^{1,p}(X,Y), 1<p<\infty, can be approximated in the Sobolev norm by diffeomorphisms. Every homeomorphism h : X -> Y between planar open sets that belongs to the Sobolev class W^{1,p}(X,Y), 1<p<\infty, can be approximated in the Sobolev norm by diffeomorphisms. △ Less

Submitted 1 September, 2010; originally announced September 2010.

Comments: 21 pages, 5 figures

MSC Class: 46E35; 30E10; 35J92

Journal ref: Arch. Rat. Mech. Anal. 201 (2011), no. 3, 1047-1067

Existence of energy-minimal diffeomorphisms between doubly connected domains

Authors: Tadeusz Iwaniec, Ngin-Tee Koh, Leonid V. Kovalev, Jani Onninen

Abstract: The paper establishes the existence of homeomorphisms between two planar domains that minimize the Dirichlet energy. Specifically, among all homeomorphisms f : R -> R* between bounded doubly connected domains such that Mod (R) < Mod (R*) there exists, unique up to conformal authomorphisms of R, an energy-minimal diffeomorphism. No boundary conditions are imposed on f. Although any energy-minimal d… ▽ More The paper establishes the existence of homeomorphisms between two planar domains that minimize the Dirichlet energy. Specifically, among all homeomorphisms f : R -> R* between bounded doubly connected domains such that Mod (R) < Mod (R*) there exists, unique up to conformal authomorphisms of R, an energy-minimal diffeomorphism. No boundary conditions are imposed on f. Although any energy-minimal diffeomorphism is harmonic, our results underline the major difference between the existence of harmonic diffeomorphisms and the existence of the energy-minimal diffeomorphisms. The existence of globally invertible energy-minimal mappings is of primary pursuit in the mathematical models of nonlinear elasticity and is also of interest in computer graphics. △ Less

Submitted 3 August, 2010; originally announced August 2010.

Comments: 34 pages, no figures

MSC Class: 58E20; 30C62; 31A05

Journal ref: Invent. Math. 186 (2011), no. 3, 667-707

Hopf differentials and smoothing Sobolev homeomorphisms

Authors: Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: We prove that planar homeomorphisms can be approximated by diffeomorphisms in the Sobolev space $W^{1,2}$ and in the Royden algebra. As an application, we show that every discrete and open planar mapping with a holomorphic Hopf differential is harmonic. We prove that planar homeomorphisms can be approximated by diffeomorphisms in the Sobolev space $W^{1,2}$ and in the Royden algebra. As an application, we show that every discrete and open planar mapping with a holomorphic Hopf differential is harmonic. △ Less

Submitted 26 June, 2010; originally announced June 2010.

Comments: 22 pages, 0 figures

MSC Class: 46E35; 30E10; 58E20

Journal ref: Int. Math. Res. Not. IMRN 2012 (2012), no. 14, 3256-3277

Harmonic mapping problem and affine capacity

Authors: Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: The Harmonic Mapping Problem asks when there exists a harmonic homeomorphism between two given domains. It arises in the theory of minimal surfaces and in calculus of variations, specifically in hyperelasticity theory. We investigate this problem for doubly connected domains in the plane, where it already presents considerable challenge and leads to several interesting open questions. The Harmonic Mapping Problem asks when there exists a harmonic homeomorphism between two given domains. It arises in the theory of minimal surfaces and in calculus of variations, specifically in hyperelasticity theory. We investigate this problem for doubly connected domains in the plane, where it already presents considerable challenge and leads to several interesting open questions. △ Less

Submitted 13 January, 2010; originally announced January 2010.

Comments: 14 pages, 1 figure

MSC Class: 31A05; 58E20; 30C20

Journal ref: Proc. Roy. Soc. Edinburgh Sect. A 141 (2011), no. 5, 1017-1030

Doubly connected minimal surfaces and extremal harmonic mappings

Authors: Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: The concept of a conformal deformation has two natural extensions: quasiconformal and harmonic mappings. Both classes do not preserve the conformal type of the domain, however they cannot change it in an arbitrary way. Doubly connected domains are where one first observes nontrivial conformal invariants. Herbert Groetzsch and Johannes C. C. Nitsche addressed this issue for quasiconformal and har… ▽ More The concept of a conformal deformation has two natural extensions: quasiconformal and harmonic mappings. Both classes do not preserve the conformal type of the domain, however they cannot change it in an arbitrary way. Doubly connected domains are where one first observes nontrivial conformal invariants. Herbert Groetzsch and Johannes C. C. Nitsche addressed this issue for quasiconformal and harmonic mappings, respectively. Combining these concepts we obtain sharp estimates for quasiconformal harmonic mappings between doubly connected domains. We then apply our results to the Cauchy problem for minimal surfaces, also known as the Bjorling problem. Specifically, we obtain a sharp estimate of the modulus of a doubly connected minimal surface that evolves from its inner boundary with a given initial slope. △ Less

Submitted 14 February, 2010; v1 submitted 17 December, 2009; originally announced December 2009.

Comments: 35 pages, 2 figures. Minor edits, references added

MSC Class: 53A10; 58E20; 30C62; 49Q05

Journal ref: J. Geom. Anal. 22 (2012), no. 3, 726-762

Area contraction for harmonic automorphisms of the disk

Authors: Ngin-Tee Koh, Leonid V. Kovalev

Abstract: A harmonic self-homeomorphism of a disk does not increase the area of any concentric disk. A harmonic self-homeomorphism of a disk does not increase the area of any concentric disk. △ Less

Submitted 3 November, 2009; originally announced November 2009.

Comments: 7 pages

MSC Class: 31A05; 30C62; 58E20

Journal ref: Bull. London Math. Soc. 43 (2011), no. 1, 91-96

The Nitsche conjecture

Authors: Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: The conjecture in question concerns the existence of a harmonic homeomorphism between circular annuli A(r,R) and A(r*,R*), and is motivated in part by the existence problem for doubly-connected minimal surfaces with prescribed boundary. In 1962 J.C.C. Nitsche observed that the image annulus cannot be too thin, but it can be arbitrarily thick (even a punctured disk). Then he conjectured that for… ▽ More The conjecture in question concerns the existence of a harmonic homeomorphism between circular annuli A(r,R) and A(r*,R*), and is motivated in part by the existence problem for doubly-connected minimal surfaces with prescribed boundary. In 1962 J.C.C. Nitsche observed that the image annulus cannot be too thin, but it can be arbitrarily thick (even a punctured disk). Then he conjectured that for such a mapping to exist we must have the following inequality, now known as the Nitsche bound: R*/r* is greater than or equal to (R/r+r/R)/2. In this paper we give an affirmative answer to his conjecture. As a corollary, we find that among all minimal graphs over given annulus the upper slab of catenoid has the greatest conformal modulus. △ Less

Submitted 3 November, 2009; v1 submitted 10 August, 2009; originally announced August 2009.

Comments: 33 pages, 2 figures. Expanded introduction and references; added discussion of doubly-connected minimal surfaces

MSC Class: 31A05; 58E20; 30C20

Journal ref: J. Amer. Math. Soc. 24 (2011), no. 2, 345-373

Projections and idempotents with fixed diagonal and the homotopy problem for unit tight frames

Authors: Julien Giol, Leonid V. Kovalev, David Larson, Nga Nguyen, James E. Tener

Abstract: We investigate the topological and metric structure of the set of idempotent operators and projections which have prescribed diagonal entries with respect to a fixed orthonormal basis of a Hilbert space. As an application, we settle some cases of conjectures of Larson, Dykema, and Strawn on the connectedness of the set of unit-norm tight frames. We investigate the topological and metric structure of the set of idempotent operators and projections which have prescribed diagonal entries with respect to a fixed orthonormal basis of a Hilbert space. As an application, we settle some cases of conjectures of Larson, Dykema, and Strawn on the connectedness of the set of unit-norm tight frames. △ Less

Submitted 27 April, 2010; v1 submitted 31 May, 2009; originally announced June 2009.

Comments: New title and introduction

MSC Class: 47A05; 47L35; 47L05

Journal ref: Operators and Matrices 5 (2011), no. 1, 139-155

An N-dimensional version of the Beurling-Ahlfors extension

Authors: Leonid V. Kovalev, Jani Onninen

Abstract: We extend monotone quasiconformal mappings from dimension n to n+1 while preserving both monotonicity and quasiconformality. The extension is given explicitly by an integral operator. In the case n=1 it yields a refinement of the Beurling-Ahlfors extension. We extend monotone quasiconformal mappings from dimension n to n+1 while preserving both monotonicity and quasiconformality. The extension is given explicitly by an integral operator. In the case n=1 it yields a refinement of the Beurling-Ahlfors extension. △ Less

Submitted 27 April, 2009; v1 submitted 20 April, 2009; originally announced April 2009.

Comments: 9 pages. Added references, edited concluding remarks

MSC Class: 30C65; 47H05; 47B34

Journal ref: Ann. Acad. Sci. Fenn. Math. 36 (2011), 321-329

Harmonic mappings of an annulus, Nitsche conjecture and its generalizations

Authors: Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: As long ago as 1962 Nitsche conjectured that a harmonic homeomorphism $h \colon A(r,R) \to A(r_*, R_*)$ between planar annuli exists if and only if $\frac{R_*}{r_*} \ge {1/2} (\frac{R}{r} + \frac{r}{R})$. We prove this conjecture when the domain annulus is not too wide; explicitly, when $\log \frac{R}{r} \le {3/2}$. For general $A(r,R)$ the conjecture is proved under additional assumption that e… ▽ More As long ago as 1962 Nitsche conjectured that a harmonic homeomorphism $h \colon A(r,R) \to A(r_*, R_*)$ between planar annuli exists if and only if $\frac{R_*}{r_*} \ge {1/2} (\frac{R}{r} + \frac{r}{R})$. We prove this conjecture when the domain annulus is not too wide; explicitly, when $\log \frac{R}{r} \le {3/2}$. For general $A(r,R)$ the conjecture is proved under additional assumption that either $h$ or its normal derivative have vanishing average on the inner boundary circle. This is the case for the critical Nitsche mapping which yields equality in the above inequality. The Nitsche mapping represents so-called free evolution of circles of the annulus $A(r,R)$. It will be shown on the other hand that forced harmonic evolution results in greater ratio $\frac{R_*}{r_*}$. To this end, we introduce the underlying differential operators for the circular means of the forced evolution and use them to obtain sharp lower bounds of $\frac{R_*}{r_*}$. △ Less

Submitted 16 March, 2009; originally announced March 2009.

Comments: 26 pages

MSC Class: 31A05; 58E20; 30C20

Journal ref: Amer. J. Math., 132 (2010), no. 5, 1397-1428

Variation of quasiconformal mappings on lines

Authors: Leonid V. Kovalev, Jani Onninen

Abstract: We obtain improved regularity of homeomorphic solutions of the reduced Beltrami equation, as compared to the standard Beltrami equation. Such an improvement is not possible in terms of Holder or Sobolev regularity; instead, our results concern the generalized variation of restrictions to lines. Specifically, we prove that the restriction to any line segment has finite p-variation for all p>1 but… ▽ More We obtain improved regularity of homeomorphic solutions of the reduced Beltrami equation, as compared to the standard Beltrami equation. Such an improvement is not possible in terms of Holder or Sobolev regularity; instead, our results concern the generalized variation of restrictions to lines. Specifically, we prove that the restriction to any line segment has finite p-variation for all p>1 but not necessarily for p=1. △ Less

Submitted 10 January, 2009; originally announced January 2009.

Comments: 18 pages, 1 figure, 2 open questions

MSC Class: 30C62; 26A45; 30C65; 26B30

Journal ref: Studia Math. 195 (2009), no.3, 257-274.

On Invertibility of Sobolev Mappings

Authors: Leonid V. Kovalev, Jani Onninen

Abstract: We prove local and global invertibility of Sobolev solutions of certain differential inclusions which prevent the differential matrix from having negative eigenvalues. Our results are new even for quasiregular mappings in two dimensions. We prove local and global invertibility of Sobolev solutions of certain differential inclusions which prevent the differential matrix from having negative eigenvalues. Our results are new even for quasiregular mappings in two dimensions. △ Less

Submitted 12 December, 2008; originally announced December 2008.

MSC Class: 30C65; 26B10; 26B25

Journal ref: Journal für die reine und angewandte Mathematik, volume 2011, issue 656, 1-16

Dynamics of quasiconformal fields

Authors: Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: A uniqueness theorem is established for autonomous systems of ODEs, $\dot{x}=f(x)$, where $f$ is a Sobolev vector field with additional geometric structure, such as delta-monoticity or reduced quasiconformality. Specifically, through every non-critical point of $f$ there passes a unique integral curve. A uniqueness theorem is established for autonomous systems of ODEs, $\dot{x}=f(x)$, where $f$ is a Sobolev vector field with additional geometric structure, such as delta-monoticity or reduced quasiconformality. Specifically, through every non-critical point of $f$ there passes a unique integral curve. △ Less

Submitted 25 November, 2008; originally announced November 2008.

Comments: 26 pages, 1 figure

MSC Class: 34A12; 30C65; 34A26; 34C12

Journal ref: J. Dynam. Differential Equations 23 (2011), no. 1, 185-212

On injectivity of quasiregular mappings

Authors: Tadeusz Iwaniec, Leonid V. Kovalev, Jani Onninen

Abstract: We give sufficient conditions for a planar quasiregular mapping to be injective in terms of the range of the differential matrix. We give sufficient conditions for a planar quasiregular mapping to be injective in terms of the range of the differential matrix. △ Less

Submitted 21 October, 2008; originally announced October 2008.

MSC Class: 30C62

Journal ref: Proc. Amer. Math. Soc. 137 (2009), no. 5, 1783-1791.

Doubling measures, monotonicity, and quasiconformality

Authors: Leonid V. Kovalev, Diego Maldonado, Jang-Mei Wu

Abstract: We construct quasiconformal mappings in Euclidean spaces by integration of a discontinuous kernel against doubling measures with suitable decay. The differentials of mappings that arise in this way satisfy an isotropic form of the doubling condition. We prove that this isotropic doubling condition is satisfied by the distance functions of certain fractal sets. Finally, we construct an isotropic… ▽ More We construct quasiconformal mappings in Euclidean spaces by integration of a discontinuous kernel against doubling measures with suitable decay. The differentials of mappings that arise in this way satisfy an isotropic form of the doubling condition. We prove that this isotropic doubling condition is satisfied by the distance functions of certain fractal sets. Finally, we construct an isotropic doubling measure that is not absolutely continuous with respect to the Lebesgue measure. △ Less

Submitted 20 December, 2006; v1 submitted 4 November, 2006; originally announced November 2006.

Comments: 20 pages. Revised to address referee's comments

MSC Class: 30C65; 28A75; 42A55; 47H05

Journal ref: Math. Z. 257 (2007), no. 3, 525-545