Interplay between Loewner and Dirichlet energies via conformal welding and flow-lines

TL;DR

This paper explores the relationship between Loewner and Dirichlet energies through conformal welding and flow-lines, providing new identities and applications in complex analysis and geometric function theory.

Contribution

It introduces cutting and welding operations on Dirichlet energy functions, linking Loewner energy with Dirichlet energy dissipation and establishing new identities involving flow-lines and welding.

Findings

Loewner energy of a flow-line equals the Dirichlet energy of the harmonic extension of its winding

Arclength isometric welding is sub-additive in energy

Energy of equipotentials in a simply connected domain is monotone

Abstract

The Loewner energy of a Jordan curve is the Dirichlet energy of its Loewner driving term. It is finite if and only if the curve is a Weil-Petersson quasicircle. In this paper, we describe cutting and welding operations on finite Dirichlet energy functions defined in the plane, allowing expression of the Loewner energy in terms of Dirichlet energy dissipation. We show that the Loewner energy of a unit vector field flow-line is equal to the Dirichlet energy of the harmonically extended winding. We also give an identity involving a complex-valued function of finite Dirichlet energy that expresses the welding and flow-line identities simultaneously. As applications, we prove that arclength isometric welding of two domains is sub-additive in the energy, and that the energy of equipotentials in a simply connected domain is monotone. Our main identities can be viewed as action functional analogs of both the welding and flow-line couplings of Schramm-Loewner evolution curves with the Gaussian free field.

Figures

Equations

$$I^L(\eta )=\frac{1}{\pi }{\int }_{\mathbb{H}}{\left|\nabla \log |f^{\prime }|\right|}^{2}d{z}^2+\frac{1}{\pi }{\int }_{{\mathbb{H}}^{\ast }}{\left|\nabla \log |g^{\prime }|\right|}^{2}d{z}^2.$$

$${\mathcal{D}}_{\Omega }(\phi ):=\frac{1}{\pi }{\int }_{\Omega }|\nabla \phi {|}^{2}d{z}^2.$$

$${\mathcal{D}}_{\mathbb{C}}(\phi )+I^L(\eta )={\mathcal{D}}_{\mathbb{H}}(u)+{\mathcal{D}}_{{\mathbb{H}}^{\ast }}(v),$$

$$u=\phi \circ f+\log \left|f^{\prime }\right|\text{ and }v=\phi \circ g+\log \left|g^{\prime }\right|.$$

$$I^L(\eta )⩽I^L({\eta }_1)+I^L({\eta }_2).$$

$$I^L(\eta )=\frac{1}{\pi }{\int }_{\mathbb{H}}{\left|\nabla \arg f^{\prime }\right|}^{2}d{z}^2+\frac{1}{\pi }{\int }_{{\mathbb{H}}^{\ast }}{\left|\nabla \arg g^{\prime }\right|}^{2}d{z}^2.$$

$$I^L(\eta )={\mathcal{D}}_{\mathbb{C}\setminus \eta }(\mathcal{P}[\tau ]),$$

$$\dot{\eta }(t)=X(\eta (t)),t\in (-\infty ,\infty ),\eta (0)=z_0.$$

$${\mathcal{D}}_{\mathbb{C}}(\phi )=I^L(\eta )+{\mathcal{D}}_{\mathbb{C}}({\phi }_0),$$

$$I^L({\eta }_s)⩽I^L({\eta }_r)⩽I^L(\eta ),(\text{resp. }{I}^L({\eta }^s)⩽I^L({\eta }^r)⩽I^L(\eta ),)$$

$$I^L({\eta }_r)\stackrel{r\to 1-}{\to }{I}^L(\eta );I^L({\eta }_r)\stackrel{r\to 0+}{\to }0$$

$$(\text{resp. }$$

$${\mathcal{D}}_{\mathbb{C}}(\psi )={\mathcal{D}}_{\mathbb{H}}(\zeta )+{\mathcal{D}}_{{\mathbb{H}}^{\ast }}(\xi ),$$

$$-\kappa \log \mathbb{P}\left\{{\mathrm{SLE}}_{\kappa }\text{ loop stays close to }\eta \right\}\approx I^L(\eta ),\kappa \to 0+.$$

$$u=u_0+u_h$$

$${\int }_D|u-u_D{|}^{2}d{z}^2⩽4(\mathrm{diam}D{)}^2{\int }_D|\nabla u{|}^{2}d{z}^2.$$

$$u_{\Omega }=\frac{1}{|\Omega |}{\int }_{\Omega }ud{z}^2$$

$$\underset{D}{\sup }\frac{1}{|D|}{\int }_D|u-u_D|d{z}^2=:\Vert u{\Vert }_{\ast }<\infty ,$$

$$|\{x:|u(x)-u_D|>\lambda \}|/|D|⩽C\exp \left(-c_0\lambda /\Vert u{\Vert }_{\ast }\right).$$

$$\text{length}\left({\eta }_{x,y}\right)⩽K|x-y|.$$

$$H^{1/2}(\eta )=\left\{u:\eta \to \mathbb{R}:\Vert u{\Vert }_{H^{1/2}(\eta )}<\infty \right\},$$

$$\Vert u{\Vert }_{H^{1/2}(\eta )}^2:=\frac{1}{2{\pi }^2}{\iint }_{\eta \times \eta }\frac{|u(z)-u(w){|}^2}{|z-w{|}^2}|dz||dw|$$

$$\Vert u{\Vert }_{H^{1/2}(\eta )}=\Vert u\circ m^{-1}{\Vert }_{H^{1/2}(m(\eta ))}.$$

$${\mathcal{D}}_{\mathbb{D}}({\mathcal{P}}_{\mathbb{D}}[u])=\Vert u{\Vert }_{H^{1/2}(\mathbb{T})}^2$$

$$\frac{1}{|I|}{\int }_I|u-u_I|dx⩽\frac{1}{|I{|}^2}{\iint }_{I\times I}|u(x)-u(y)|dxdy⩽c{\left({\iint }_{I\times I}\frac{|u(x)-u(y){|}^2}{|x-y{|}^2}dxdy\right)}^{1/2}.$$

$$\Vert u{\Vert }_{\delta ,\ast }:=\underset{I:|I|⩽\delta }{\sup }\frac{1}{|I|}{\int }_I|u-u_I|dx⩽\Vert u{\Vert }_{\ast }.$$

$$e^{u_I}⩽\frac{1}{|I|}{\int }_I{e}^{u(x)}dx⩽c{e}^{u_I}$$

$${\mathcal{R}}_{\eta }[u](z):=\underset{r\to 0+}{\lim }{u}_{B(z,r)},$$

$${\mathcal{R}}_{\Omega \to \eta }[u](z):={\mathcal{R}}_{\eta }[\tilde{u}](z),\text{ for arclength a.e. }z\in \eta ,$$

$$h(x)=\{\begin{array}{ll}\inf \left\{y⩾0:\mu [0,x]=\nu [0,y]\right\}& \text{ if }x>0;\\ -\inf \left\{y⩾0:\mu [x,0]=\nu [-y,0]\right\}& \text{ if }x<0.\end{array}$$

$$|u_I-u_J|⩽c\log (|J|/|I|)\Vert u{\Vert }_{\delta ,\ast }$$

Full text

1 Introduction

Let $\eta$ be a Jordan curve in $\hat{\mathbb{C}}=\mathbb{C}\cup\{\infty\}$. The Loewner equation describes such a curve by a real-valued continuous function on $\mathbb{R}$ called the Loewner driving term. The Möbius invariant Loewner energy of $\eta$, denoted $I^{L}(\eta)$, is by definition the Dirichlet energy of this driving term [21, 33]. It was shown in [33] that if $\eta$ passes through $\infty$, then we have the following equivalent expression:

[TABLE]

Here $f$ and $g$ map conformally the upper and lower half-planes ${\mathbb{H}}$ and ${\mathbb{H}}^{*}$ onto, respectively, $H$ and $H^{*}$, the two components of $\mathbb{C}\smallsetminus\eta$, while fixing $\infty$. (Here and below $dz^{2}$ denotes two-dimensional Lebesgue measure.) Moreover, a Jordan curve has finite energy if and only if it is a Weil-Petersson quasicircle, that is, its normalized welding homeomorphism belongs to the Weil-Petersson Teichmüller space [33], which appears, e.g., in the context of closed string theory and has attracted considerable interest from both mathematicians and physicists, see, e.g., [7, 18, 30, 27]. The link with the Loewner energy goes deeper and the energy itself is intimately connected to the geometry of the Weil-Petersson Teichmüller space: it coincides with (a constant times) the universal Liouville action of Takhtajan and Teo [30], a Kähler potential for the Weil-Petersson metric.

Another motivation to study the Loewner energy is that it is also the action functional of the Schramm-Loewner evolution (SLE), a family of random fractal curves arising as universal scaling limits of interfaces in critical planar lattice models. Pioneering work of Dubédat [10] and Sheffield [23] on couplings between SLEs and the Gaussian free field (GFF) have led to remarkable and far-reaching results, see, e.g., [17, 11]. Our main identities are in a certain sense deterministic analogs of SLE/GFF coupling theorems, on the action functional level. We will further comment on this at the end of the introduction. One of the original motivations for this work was indeed to better understand the SLE/GFF relations. However, we stress that our (short) proofs use only analytic tools, and we need no results about the probabilistic models in this paper.

1.1 Cutting and welding

Our first theorem exhibits the close interplay between functions of finite Dirichlet energy in the plane and the Loewner energy of a Jordan curve passing through $\infty$. To state the result, we write $\mathcal{E}(\Omega)$ for the space of real functions on a domain $\Omega\subset\mathbb{C}$ with weak first derivatives in $L^{2}(\Omega)$, and define the Dirichlet energy of $\varphi\in\mathcal{E}(\Omega)$ by

[TABLE]

Theorem 1.1** (Cutting).**

Suppose $\eta$ is a Jordan curve through $\infty$, let $f$ and $g$ be conformal maps associated to $\eta$ as above, and suppose $\varphi\in\mathcal{E}(\mathbb{C})$ is given. Then we have the identity:

[TABLE]

where

[TABLE]

It is natural to view the functions in Theorem 1.1 as real parts of “pre-pre-Schwarzian” forms whose transformation law is given by (1.3). Note that the Dirichlet energy is not invariant under this transformation. It is not hard to see that $e^{2\varphi}dz^{2}$ defines a locally finite measure on $\mathbb{C}$, absolutely continuous with respect to Lebesgue measure $dz^{2}$. The transformation law (1.3) shows that $e^{2u}dz^{2}$ and $e^{2v}dz^{2}$ are the pullback measures by $f$ and $g$ of $e^{2\varphi}dz^{2}$, respectively, see Section 3.1.

Theorem 1.1 shows that a finite energy curve $\eta$ cuts a $\varphi\in\mathcal{E}(\mathbb{C})$ into two half-plane forms in a way that conserves the total energy. Note also that when $\varphi$ is constant, (1.2) reduces to the identity (1.1). See Theorem 3.1 for the proof of Theorem 1.1 and Theorem 3.6 for the corresponding identity for a bounded Jordan curve.

Given two half-plane functions of finite Dirichlet energy, one can recover $\varphi$ and $\eta$ such that (1.2) holds. In fact, the operation converse to cutting is implemented by conformal welding: An increasing homeomorphism $h:\mathbb{R}\to\mathbb{R}$ is said to be a (conformal) welding homeomorphism if there is a Jordan curve $\eta$ through $\infty$ and conformal maps $f,g$ of the upper and lower half-planes onto the two components of $\mathbb{C}\smallsetminus\eta$, respectively, such that $h=g^{-1}\circ f|_{\mathbb{R}}$.

Suppose $\mathbb{H}$ and $\mathbb{H}^{*}$ are each equipped with a boundary measure defining a distance between $x<y$ by the measure of $[x,y]$. Under suitable assumptions on the measures, the isometry $h:\mathbb{R}=\partial\mathbb{H}\to\partial\mathbb{H}^{*}=\mathbb{R}$ fixing [math] is well-defined and a welding homeomorphism. In this case, we say that $h$ is an isometric welding homeomorphism and the corresponding tuple $(\eta,f,g)$ is a solution to the isometric welding problem for the given measures.

In our setting we have the following result. See Theorem 3.2 for a complete statement and Theorem 3.7 for the welding of disks.

Theorem 1.2** (Isometric conformal welding).**

Suppose $u\in\mathcal{E}(\mathbb{H})$ and $v\in\mathcal{E}(\mathbb{H}^{*})$ are given. The isometric welding problem for the measures $e^{u}dx$ and $e^{v}dx$ has a solution $(\eta,f,g)$ and the welding curve $\eta$ has finite Loewner energy. Moreover, there exists a unique $\varphi\in\mathcal{E}(\mathbb{C})$ such that (1.2) and (1.3) are satisfied.

In the statement, $dx$ is Lebesgue measure on $\mathbb{R}$ and the measures $e^{u}dx$ and $e^{v}dx$ are defined using the traces of $u,v$ on $\mathbb{R}$. The solution $(\eta,f,g)$ in Theorem 1.2 is in fact unique if appropriately normalized, see Section 2.2.

We have the following consequence which justifies calling conformal welding the inverse to cutting, see Corollary 3.3 for the precise statement. Let $u\in\mathcal{E}(\mathbb{H})$ and $v\in\mathcal{E}(\mathbb{H}^{*})$ be forms with transformation law (1.3), and assume they “glue” to a function $\varphi\in\mathcal{E}(\mathbb{C})$ along a Jordan curve. Then the interface is necessarily obtained by the isometric welding of the boundary measures, and its Loewner energy is finite and given by the difference $\mathcal{D}_{\mathbb{C}}(\varphi)-\mathcal{D}_{\mathbb{H}}(u)-\mathcal{D}_{\mathbb{H}^{*}}(v)$. In this way we may view the Loewner energy as quantifying the “dissipation” of Dirichlet energies when performing this gluing operation.

In order to prove Theorem 1.2, we first show that the welding curve $\eta$ has finite energy, which implies $\varphi\in\mathcal{E}(\mathbb{C}\smallsetminus\eta)$. The idea is to then show that $\varphi$ has matching traces defined from both sides of $\eta$, and use this to conclude $\varphi\in\mathcal{E}(\mathbb{C})$. We may then apply Theorem 1.1 to obtain (1.2).

Although finite energy curves are not $C^{1}$ and may exhibit slow spirals [21] (and so are not Lipschitz), there is still enough regularity to take traces using disk averages of elements in $\mathcal{E}(\mathbb{C})$ (see Appendix A) giving rise to $H^{1/2}$ spaces along the curves and to employ BMO-space estimates. Conformal invariance properties and the good interplay between arclength and harmonic measure on finite energy curves are also important for the analysis. In relation to this, let us briefly explain a simple consequence for a question in geometric function theory.

Suppose $\eta_{1},\eta_{2}$ are locally rectifiable Jordan curves of the same length (possibly infinite) bounding two domains $\Omega_{1}$ and $\Omega_{2}$ and mark a point on each curve. Let $\psi$ be an arclength isometry $\eta_{1}\to\eta_{2}$ matching the marked points. Following Bishop [6], we are interested in whether there is a Jordan curve $\eta$ (and whether it is unique up to Möbius transformation), and conformal equivalences $f_{1},f_{2}$ from $\Omega_{1}$ and $\Omega_{2}$ to the two connected components of $\mathbb{C}\smallsetminus\eta$, such that $f_{2}^{-1}\circ f_{1}|_{\eta_{1}}=\psi$, that is, we are asking whether $\psi$ is an arclength isometric welding. Rectifiability of $\eta_{1}$ and $\eta_{2}$ does not guarantee the existence nor the uniqueness of $\eta$, but the chord-arc property does (see below for the definition). However, chord-arc curves are not closed under isometric conformal welding: the welding curve can have Hausdorff dimension arbitrarily close to $2$, see [9, 25, 6]. We will show that finite energy curves behave much better. Theorem 1.1 and Theorem 1.2 together imply the following result.

Corollary 1.3**.**

The class of finite energy curves is closed under arclength isometric welding. Moreover, if $\eta$ is the welding curve corresponding to the arclength isometric welding of $\eta_{1}$ and $\eta_{2}$, then

[TABLE]

Remark*.*

The inequality of Corollary 1.3 can be interpreted as an energy dissipation of the arclength isometric welding into an ambient function in $\mathcal{E}(\mathbb{C})$. See Corollary 3.4 for the precise (in fact stronger) statement for unbounded curves, and Corollary 3.8 for bounded curves.

1.2 Flow-line identity

An elementary observation is that the Dirichlet energy of a harmonic function is equal to the Dirichlet energy of its harmonic conjugate. Therefore (1.1) can be written

[TABLE]

On the other hand, if $\eta$ has finite energy, the boundary value of (a continuous branch of) $\arg f^{\prime}\circ f^{-1}$ gives the winding $\tau=\arg\eta^{\prime}$ of $\eta$, and (Theorem 3.10) one can express the Loewner energy as

[TABLE]

where we write $\mathcal{P}[\tau]$ for the harmonic extension of $\tau$ to $\mathbb{C}\smallsetminus\eta$ on both sides, that is, the restrictions are given by the solutions to the Dirichlet problem with boundary data $\tau$. (Actually, we will show that $\mathcal{P}[\tau]\in\mathcal{E}(\mathbb{C})$ so (1.4) holds with $\mathcal{D}_{\mathbb{C}\smallsetminus\eta}$ replaced by $\mathcal{D}_{\mathbb{C}}$.)

Consider a unit vector field $X(z)=e^{i\varphi(z)}$ on $\mathbb{C}$. A flow-line of $X$ through a point $z_{0}\in\mathbb{C}$ is a solution to the differential equation

[TABLE]

Equation (1.4) can then be used to prove the following result, see Theorem 3.10.

Theorem 1.4** (Flow-line identity).**

Let $\varphi\in\mathcal{E}(\mathbb{C})\cap C^{0}(\hat{\mathbb{C}})$. Any flow-line $\eta$ of the vector field $e^{i\varphi}$ is a Jordan curve through $\infty$ with finite Loewner energy and we have the formula

[TABLE]

where $\varphi_{0}=\varphi-\mathcal{P}[\varphi|_{\eta}]$.

Using these facts, we deduce that the energy of equipotentials is monotone, see Corollaries 3.11 and 3.12. We summarize these results below, see also Corollaries 2.8 and 2.10. There are two different cases: $\eta$ is a bounded finite energy Jordan curve (resp. passing through $\infty$), and $f$ a conformal map from $\mathbb{D}$ (resp. $\mathbb{H}$) to one connected component of $\mathbb{C}\smallsetminus\eta$.

Corollary 1.5**.**

Consider the family of analytic curves $\eta_{r}:=f(r\mathbb{T})$, where $0<r<1$ (resp. $\eta^{r}:=f(\mathbb{R}+ir)$, where $r>0$). For all $0<s<r<1$ (resp. $0<r<s$), we have

[TABLE]

and equalities hold if only if $\eta$ is a circle (resp. $\eta$ is a line). Moreover, $I^{L}(\eta_{r})$ (resp. $I^{L}(\eta^{r})$) is continuous in $r$ and

[TABLE]

Remark*.*

Both limits and the monotonicity substantiate the intuition that the Loewner energy measures the deviation of a Jordan curve from a circle. In particular, the vanishing of the energy of $\eta_{r}$ as $r\to 0$ can be thought as expressing the fact that conformal maps asymptotically take small circles to circles.

We have the following corollary which expresses both welding and flow-line identities simultaneously, see Corollary 3.13 for the precise statement.

Corollary 1.6** (Complex identity).**

Let $\psi$ be a complex-valued function on $\mathbb{C}$ with finite Dirichlet energy and imaginary part continuous in $\hat{\mathbb{C}}$. Let $\eta$ be a flow-line of the vector field $e^{\psi}$ and $f,g$ the conformal maps as in Figure 1.1. Then we have

[TABLE]

where $\zeta=\psi\circ f+(\log f^{\prime})^{*}$, $\xi=\psi\circ g+(\log g^{\prime})^{*}$ and $z^{*}$ is the complex conjugate of $z$.

1.3 SLE/GFF discussion and heuristics

As we have indicated, the relations given in our main theorems can be interpreted as action functional analogs of SLE/GFF coupling theorems. We will make some remarks related to this, but we emphasize that we are not making rigorous statements here.

Recall that the GFF is a Gaussian random distribution whose correlation function is given by the Green’s function for the Laplacian and that SLEκ is the family of random curves obtained by using $\sqrt{\kappa}B_{t}$, where $B_{t}$ is standard Brownian motion, as driving function for the Loewner equation, see [26, 22].

If $X$ is a centered Gaussian random variable with law $\mu$, taking values in a Banach space, the family of random variables $(\sqrt{\kappa}X)_{\kappa\to 0+}$ has large deviation rate function equal to the action functional (associated Cameron-Martin norm) for $\mu$. For example, the large deviation rate function for the Neumann GFF on a domain $\Omega$ is $I_{\operatorname{GFF}}(\varphi)=\int_{\Omega}\left\lvert\nabla\varphi(z)\right\rvert^{2}/4\pi\,dz^{2}=\mathcal{D}_{\Omega}(\varphi)/4$. Moreover, since the one-dimensional Dirichlet energy is the action functional for Brownian motion, we expect SLEκ and the Loewner energy to be related as:

[TABLE]

See [32] for a precise statement in the chordal setting.

Sheffield’s quantum zipper couples SLEκ curves with quantum surfaces via a cutting operation and as welding curves111The welding homeomorphisms that arise in the random setting here are very rough and solving the associated welding problems directly in the analytic sense as in [3] is still an open problem. In [23] the coupling is constructed using the reverse SLE flow, and the fact that it corresponds to isometric welding is checked a posteriori. [23, 11]. A quantum surface is a domain equipped with a Liouville quantum gravity ($\gamma$-LQG) measure, defined using a regularization of $e^{\gamma\Phi}dz^{2}$, where $\gamma=\sqrt{\kappa}\in(0,2)$, and $\Phi$ is a Gaussian field with the covariance of a Neumann GFF. There is another coupling known as the forward SLE/GFF coupling, of critical importance, e.g., in the imaginary geometry framework of Miller-Sheffield [10, 17]: very loosely speaking, an SLEκ curve may be coupled with a GFF $\Phi$ and thought of as a (measurable) flow-line of the vector field $e^{i\Phi/\chi}$, where $\chi=2/\gamma-\gamma/2$.

Given these and similar observations, it is possible to guess our identities via heuristic large deviation arguments analogous to (1.5) in the small $\gamma$ limit. We start from the probabilistic coupling theorems and express the independence as summation of action functionals on the deterministic side. Note that the leading order log-singularities representing conical singularities in the relevant quantum surfaces vanish as $\gamma\to 0+$ and we have $\chi\sim 2/\gamma$. Let us finally remark that the complex identity, Corollary 3.13, which expresses both welding and flow-line identities simultaneously, is actually the finite energy analog of the mating of trees theorem of Duplantier, Miller, and Sheffield [11]. This analogy is not as apparent as in the other cases and details will appear elsewhere [31]. The picture that emerges can be summarized in the following table. We will not go into further details here.

[TABLE]

**Conventions: ** Throughout the paper, we consider implicitly all Jordan curves to be oriented, so that the complement has two connected components denoted $H$ and $H^{*}$ ($\Omega$ and $\Omega^{*}$) when the curve is unbounded (bounded), where the curve winds counterclockwise around $H$ and $\Omega$, and clockwise around $H^{*}$ and $\Omega^{*}$. We also choose the orientation for bounded curves so that $\Omega$ is the bounded component.

**Acknowledgements: ** F.V. acknowledges support from the Knut and Alice Wallenberg foundation and the Swedish Research Council. Y.W. is partially supported by the Swiss National Science Foundation grant # 175505. Part of this work was carried out at IPAM/UCLA, Los Angeles. It is our pleasure to thank Alexis Michelat for the proof of Lemma B.1, Michael Benedicks and Scott Sheffield for discussions, and Juhan Aru, Wendelin Werner, and the referees for very helpful comments on earlier versions of our paper. We are also happy to thank Juhan Aru for asking a question that led us to Corollary 3.13.

2 Preliminaries

For an open, connected set $\Omega\subset\hat{\mathbb{C}}$, we write $W^{1,2}(\Omega)$ for the Sobolev space of real-valued functions $u$ such that both $u$ and its weak first derivatives are in $L^{2}(\Omega)$. We use the norm $\|u\|_{W^{1,2}(\Omega)}=\|u\|_{L^{2}(\Omega)}+\|\nabla u\|_{L^{2}(\Omega)}$ and denote by $W^{1,2}_{0}(\Omega)$ the closure of $C_{c}^{\infty}(\Omega)$ in $W^{1,2}(\Omega)$.

Let $\mathcal{E}(\Omega)$ be the homogeneous Sobolev space of functions on $\Omega$ with finite Dirichlet energy, which differs from $W^{1,2}(\Omega)$ when $\Omega$ is unbounded. Note that $C^{\infty}_{c}(\mathbb{C})$ is dense in $\mathcal{E}(\mathbb{C})$ with respect to the semi-norm $\mathcal{D}_{\mathbb{C}}(\cdot)^{1/2}$, see Lemma B.1. Since the Dirichlet energy is conformally invariant so are the $\mathcal{E}(\Omega)$ spaces: if $f:\Omega_{1}\to\Omega_{2}$ is conformal, then for all $u\in\mathcal{E}(\Omega_{2})$, $\mathcal{D}_{\Omega_{1}}(u\circ f)=\mathcal{D}_{\Omega_{2}}(u)$.

Let $\mathcal{E}_{\text{harm}}(\Omega)\subset\mathcal{E}(\Omega)$ be the conformally invariant space of harmonic functions on $\Omega$ with finite Dirichlet energy. Recall that $\mathcal{E}_{\text{harm}}(\mathbb{C})$ only consists of constant functions.

Lemma 2.1** ([1, p.77]).**

Assume that $\partial\Omega$ is non-polar. For $u\in W^{1,2}(\Omega)$, we have the unique decomposition

[TABLE]

where $u_{0}\in W^{1,2}_{0}(\Omega)$ and $u_{h}\in\mathcal{E}_{\text{harm}}(\Omega)$.

We will use the following form of the Poincaré inequality which can be proved using a scaling argument: if $D\subset\mathbb{C}$ is a disk or square and $u\in W^{1,2}(D)$, then

[TABLE]

Here and in the sequel we use the notation

[TABLE]

for the average of $u\in L^{1}(\Omega)$ over $\Omega$ and we write $|\Omega|$ for the Lebesgue measure of $\Omega$.

A quasidisk is a simply connected domain whose boundary is a quasicircle in $\hat{\mathbb{C}}$, that is, the image of the unit circle or real line under a global quasiconformal homeomorphism of $\mathbb{C}$. Quasidisks are extension domains for both $W^{1,2}$ and $\mathcal{E}$; see, e.g., Theorem 1 and the explicit quasiconformal reflection on p.72 of [15]:

Lemma 2.2**.**

Suppose $\Omega$ is a quasidisk and that $u\in W^{1,2}(\Omega)$ and $v\in\mathcal{E}(\Omega)$. Then $u$ extends to a function $\tilde{u}\in W^{1,2}(\mathbb{C})$ such that $\tilde{u}|_{\Omega}=u$ and $v$ extends to a function $\tilde{v}\in\mathcal{E}(\mathbb{C})$ such that $\tilde{v}|_{\Omega}=v$.

A function $u:\mathbb{C}\to\mathbb{R}$ is said to have bounded mean oscillation, $u\in$ BMO, if

[TABLE]

where $D$ ranges over squares with sides parallel to the axes. The definitions for the BMO spaces of functions on $\mathbb{R}$ or $\mathbb{T}$ are the same, replacing squares by intervals and considering the appropriate Lebesgue measure. We have the John-Nirenberg inequality, see Theorem VI.6.4 of [12]: There exist $c_{0},C$ such that for every $u\in$ BMO and every cube $D$,

[TABLE]

2.1 $H^{1/2}$ on chord-arc curves

We will see below that finite energy curves are chord-arc, that is, they are Ahlfors regular quasicircles: there is a constant $K$ so that for every $x,y$ on the curve $\eta$, the shorter arc $\eta_{x,y}$ between $x$ and $y$ satisfies the estimate

[TABLE]

(Recall that $\eta$ is a quasicircle if and only if the same estimate holds, with length replaced by diameter.) Equivalently, a chord-arc curve is the image of $\mathbb{T}$ or $\mathbb{R}$ under a bi-Lipschitz homeomorphism of $\mathbb{C}$, see [14]. It is easy to see that a curve through $\infty$ is chord-arc if and only if it is the Möbius image of a bounded chord-arc curve.

Suppose $\eta$ is a chord-arc curve in $\hat{\mathbb{C}}$. We define the homogeneous Sobolev space

[TABLE]

where

[TABLE]

defines a semi-norm on $H^{1/2}(\eta)$. Since the measure $1/\left\lvert z-w\right\rvert^{2}\left\lvert dz\right\rvert\left\lvert dw\right\rvert$ is invariant under any Möbius transformation $m$ of $\hat{\mathbb{C}}$, we have

[TABLE]

In fact, the $H^{1/2}$ space is also invariant under conformal mapping to another chord-arc domain (see also Lemma A.6): if $\eta$ is chord-arc and bounds the domain $\Omega$ and $\varphi:\mathbb{D}\to\Omega$ is some choice of Riemann map, then $u\circ\varphi\in H^{1/2}(\mathbb{T})$. Indeed, by Möbius invariance we may assume $\eta$ is bounded in $\mathbb{C}$. Then there exists a bi-Lipschitz homeomorphism of the plane $\psi$ such that $\eta=\psi(\mathbb{T})$ and it easy to check that $u\circ\psi\in H^{1/2}(\mathbb{T})$. We may extend $\varphi$ to a quasiconformal map of the whole plane and therefore $\psi^{-1}\circ\varphi|_{\mathbb{T}}$ is a quasisymmetric homeomorphism of $\mathbb{T}$. Since $u\circ\varphi=u\circ\psi\circ(\psi^{-1}\circ\varphi)$, the next lemma shows that $u\circ\varphi\in H^{1/2}(\mathbb{T})$.

Lemma 2.3**.**

If $u\in H^{1/2}(\mathbb{R})$ and $h:\mathbb{R}\to\mathbb{R}$ is a quasisymmetric homeomorphism, then $u\circ h\in H^{1/2}(\mathbb{R})$. Similarly, if $u\in H^{1/2}(\mathbb{T})$ and $h:\mathbb{T}\to\mathbb{T}$ is a quasisymmetric homeomorphism, then $u\circ h\in H^{1/2}(\mathbb{T})$.

See [18, Section 3] for a proof of Lemma 2.3 in the setting of the unit circle and the proof for the line is the same.

Any element of $\mathcal{E}_{\text{harm}}(\mathbb{D})$ has non-tangential limits almost everywhere on $\mathbb{T}$ (actually outside a set of zero logarithmic capacity). The functions on $\mathbb{T}$ obtained in this way coincides with the elements of $H^{1/2}(\mathbb{T})$. The Dirichlet energy of the Poisson integral of a function in $H^{1/2}(\mathbb{T})$ can be expressed using Douglas’ formula, see e.g. [2]: If $u\in H^{1/2}(\mathbb{T})$ and $\mathcal{P}_{\mathbb{D}}[u]$ is its harmonic extension into $\mathbb{D}$, then

[TABLE]

and by (2.2) the analogous formula holds for $\mathcal{E}_{\text{harm}}(\mathbb{H})$.

If $u\in H^{1/2}(\mathbb{R})$, then $u$ has vanishing mean oscillation, $u\in\textrm{VMO}(\mathbb{R})\subset\textrm{BMO}(\mathbb{R})$, that is, $u$ satisfies $\lim_{\delta\downarrow 0}\sup_{I:|I|\leqslant\delta}\int_{I}|u-u_{I}|/|I|\,dx=0$. (The VMO$(\mathbb{T})$ space is defined analogously.) To see this, let $I$ be any bounded interval and set $u_{I}=\int_{I}u/|I|\,dx$. Then,

[TABLE]

For $\delta>0$, write

[TABLE]

Then by the John-Nirenberg inequality (2.1), there exist $c_{0},C$ such that for every $\delta>0$, if $|I|\leqslant\delta$, then $\left|\{x:|u(x)-u_{I}|>\lambda\}\right|\leqslant C|I|\exp\left(-c_{0}\lambda/\|u\|_{\delta,*}\right).$ It follows that if $u\in H^{1/2}(\mathbb{R})$ then we have $e^{u}\in L^{1}_{\textrm{loc}}(dx)$ by choosing $\delta$ so that $\|u\|_{\delta,*}<c_{0}$. Moreover, there exists $c=c(\|u\|_{\delta,*})$ such that

[TABLE]

and $c\to 1$ as $\|u\|_{\delta,*}\to 0$.

Suppose $u\in\mathcal{E}(\mathbb{C})$ and that $\eta$ is a chord-arc curve in $\hat{\mathbb{C}}$. It is possible to define a trace of $u$ on $\eta$ by taking averages, and this trace will lie in $H^{1/2}(\eta)$. See Appendix A for more details. For now we just recall the definition: the limit

[TABLE]

where $B(z,r)=\{w:|w-z|<r\}$, exists for arclength a.e. $z\in\eta$ and $\mathcal{R}_{\eta}[u]\in H^{1/2}(\eta)$. The trace can also be defined from one side of the curve (Lemma A.2): suppose $\partial\Omega=\eta$ and let $u\in\mathcal{E}(\Omega)$. Then

[TABLE]

is independent of any choice of $\tilde{u}\in\mathcal{E}(\mathbb{C})$ such that $\tilde{u}|_{\Omega}=u$.

2.2 Conformal welding

Let $h$ be an increasing homeomorphism of $\mathbb{R}$. We say that the triple $(\eta,f,g)$ is a normalized solution to the conformal welding problem for $h$ if

• •

$\eta$ is Jordan curve in $\hat{\mathbb{C}}$ passing through $0,1,\infty$;

• •

$f:\mathbb{H}\to H$ is the conformal map fixing $0,1,\infty$;

• •

$g:\mathbb{H}^{*}\to H^{*}$ is conformal and $g^{-1}\circ f=h$ on $\mathbb{R}$,

where $H,H^{*}$ are the connected components of $\hat{\mathbb{C}}\smallsetminus\eta$. It is well-known that if $h$ is quasisymmetric, then the solution is unique and $\eta$ is a quasicircle in $\hat{\mathbb{C}}$.

Let $u,v\in H^{1/2}(\mathbb{R})$ be given and define measures $d\mu=e^{u}dx$ and $d\nu=e^{v}dx$. We define an increasing homeomorphism $h$ by $h(0)=0$ and then

[TABLE]

Using Lemma 2.4 below, $h$ is well-defined and $\mu([a,b])=\nu(h([a,b]))$ for any choice of $a\leqslant b$. Proposition 2.5 will show that $h$ is quasisymmetric. Hence $h$ is the isometric welding homeomorphism associated with $\mu$ and $\nu$, see Figure 1.1.

Lemma 2.4**.**

Suppose $u\in H^{1/2}(\mathbb{R})$ and $d\mu=e^{u}dx$. Then $\mu(I)=\infty$ for any unbounded interval $I$.

Proof.

Changing coordinates to $\mathbb{T}$ using the Möbius invariance of $H^{1/2}$, it is enough to show that if $u\in H^{1/2}(\mathbb{T})$, then $\exp(u(\theta)-2\log|\theta|)d\theta$ has infinite integral on $J=[0,\delta]$ for $\delta>0$. We know that $u\in\textrm{VMO}(\mathbb{T})$ and this is in fact enough to assume. By Lemma VI.1.1 of [12] the BMO property implies there is a constant $c$ such that if $|I|\subset|J|$ with $|I|<|J|/2$ then

[TABLE]

and since $u\in$ VMO$(\mathbb{T})$ we may assume $\delta$ is so small that $|u_{I}-u_{J}|\leqslant\log(|J|/|I|)/2$ whenever $I\subset J$ is as above. Set $I_{k}=(\delta\exp(-k-1),\delta\exp(-k)]$ and let $u_{k}$ be the average of $u$ on $I_{k}$. Then $|u_{k}|\leqslant c+|u_{J}|+k/2\leqslant c^{\prime}+k/2$ where $c^{\prime}$ depends only on $u_{J}$ but $J$ is fixed from now on. Let $E_{k}=\{\theta\in I_{k}:|u-u_{k}|\leqslant k/2\}$. Then the John-Nirenberg inequality (2.1) implies

[TABLE]

where $\gtrsim$ means inequality with a multiplicative constant (which does not depend on $k$). It now follows that

[TABLE]

which is infinite as claimed. ∎

Proposition 2.5**.**

The function $h$ defined as in (2.6) is an increasing quasisymmetric homeomorphism of $\mathbb{R}$ such that $\log h^{\prime}\in H^{1/2}(\mathbb{R})$.

Proof.

It follows from (2.4) that $e^{u}dx$, $e^{v}dx$ are measures mutually absolutely continuous with respect to Lebesgue measure. Lemma 2.4 then implies that $h_{u}(x):=\int_{0}^{x}e^{u}$ and $h_{v}(x):=\int_{0}^{x}e^{v}$ are increasing homeomorphisms of $\mathbb{R}$. By construction, $\log h_{u}^{\prime},\log h_{v}^{\prime}\in H^{1/2}(\mathbb{R})$, and by Theorem 2.9 below, $h_{u},h_{v}$ are Weil-Petersson class homeomorphisms and are in particular quasisymmetric. Therefore $h:=h_{v}^{-1}\circ h_{u}$ is also quasisymmetric and

[TABLE]

Lemma 2.3 implies $\log h^{\prime}\in H^{1/2}(\mathbb{R})$. ∎

2.3 Loewner energy

There are several different characterizations of finite Loewner energy curves; we collect here those that are relevant for this paper. It is convenient to start with the bounded case. See [8, 27, 30, 33] for proofs of the results summarized in the next theorem.

Given a Jordan curve $\eta$ in $\mathbb{C}$, let $\Omega$ and $\Omega^{*}$ be the connected components of $\mathbb{C}\smallsetminus\eta$, $f$ a conformal map from $\mathbb{D}$ onto $\Omega$, and $g$ a conformal map from $\mathbb{D}^{*}$ onto $\Omega^{*}$ fixing $\infty$. The welding homeomorphism of $\eta$ is $h:=g^{-1}\circ f$ restricted to $\mathbb{T}$.

Theorem 2.6** (Bounded finite energy domains).**

The following statements are equivalent:

$I^{L}(\eta)<\infty$; 2. 2.

$\|\log\left\lvert f^{\prime}\right\rvert\|_{H^{1/2}(\mathbb{T})}^{2}=\mathcal{D}_{\mathbb{D}}(\log\left\lvert f^{\prime}\right\rvert)=\int_{\mathbb{D}}\left|f^{\prime\prime}(z)/f^{\prime}(z)\right|^{2}dz^{2}/\pi<\infty;$** 3. 3.

$\|\log\left\lvert g^{\prime}\right\rvert\|_{H^{1/2}(\mathbb{T})}^{2}=\mathcal{D}_{\mathbb{D}^{*}}(\log\left\lvert g^{\prime}\right\rvert)<\infty$; 4. 4.

The welding homeomorphism $h$ is absolutely continuous and $\log\left\lvert h^{\prime}\right\rvert\in H^{1/2}(\mathbb{T})$.

Moreover,

[TABLE]

where $g^{\prime}(\infty):=\lim_{z\to\infty}g^{\prime}(z)=\tilde{g}^{\prime}(0)^{-1}$ and $\tilde{g}(z):=1/g(1/z)$.

The curves satisfying the above conditions are also known as Weil-Petersson quasicircles. The right-hand side of (2.7), first considered in [30], is called universal Liouville action. This quantity depends only on the equivalence class of quasisymmetric welding homeomorphisms of the circle modulo left Möbius transformations, which is a model of universal Teichmüller space. The universal Liouville action is a Kähler potential of the Weil-Petersson metric on the Weil-Petersson Teichmüller space which consists of the (equivalence classes of) welding homeomorphisms satisfying Condition 4 of Theorem 2.6. We will refer to the set of such homeomorphisms as the Weil-Petersson class of homeomorphisms. See [30] for background and more details.

Let us make some quick remarks about the geometry of finite energy curves. For simplicity, we assume $\eta$ is bounded. Let $f:\mathbb{D}\to\Omega$ be a conformal map as in Theorem 2.6. Since $\mathcal{D}_{\mathbb{D}}(\log|f^{\prime}|)<\infty$, $\log f^{\prime}$ belongs to VMOA, the space of functions in the Hardy space $\mathcal{H}^{2}$ with vanishing mean oscillation. A theorem of Pommerenke [20] therefore shows that finite energy curves are asymptotically smooth, that is, chord-arc with local constant $1$: for all $x,y$ on the curve, the shorter arc $\eta_{x,y}$ between $x$ and $y$ satisfies

[TABLE]

Finite energy curves are not $C^{1}$ however, and may, e.g., exhibit slow spirals, and $C^{3/2-\varepsilon}$ does not imply finite energy, see [21]. Since $\eta$ is rectifiable, $f^{\prime}\in\mathcal{H}^{1}$ (the Hardy space) and has non-tangential limits a.e. on $\mathbb{T}$.

Next, we record a continuity property of the Loewner energy/universal Liouville action which is implied by the $L^{2}$-convergence of the pre-Schwarzian of the conformal maps. To state the lemma, suppose $\eta$ has finite energy and let $\{\eta_{n}\}_{n=1}^{\infty}$ be a family of bounded finite energy curves, and let $f_{n}$ and $g_{n}$ be a choice of conformal maps associated to $\eta_{n}$ as above, and $f$ and $g$ associated to $\eta$.

Lemma 2.7** ([30] Corollary A.4. and Corollary A.6.).**

If $f^{\prime\prime}_{n}/f^{\prime}_{n}\to f^{\prime\prime}/f^{\prime}$ in $L^{2}(\mathbb{D})$, then we have

[TABLE]

In fact, in this case, the welding homeomorphism of $\eta_{n}$ converges to the welding homeomorphism of $\eta$ with respect to the Weil-Petersson metric. We have the following immediate corollary.

Corollary 2.8**.**

If $\eta$ is bounded and $I^{L}(\eta)<\infty$, we have

[TABLE]

and $r\mapsto I^{L}(\eta_{r})$ is continuous, where $(\eta_{r}:=f(r\mathbb{T}))_{0<r<1}$ are equipotentials of the domain bounded by $\eta$.

Proof.

It suffices to apply Lemma 2.7 with $f_{r}(z):=f(rz)$. Using Carathéodory’s kernel theorem and the $L^{2}$-integrability of $f^{\prime\prime}/f^{\prime}$, it is easy to see that $f_{r}^{\prime\prime}/f_{r}^{\prime}$ converges to $f^{\prime\prime}/f^{\prime}$ in $L^{2}(\mathbb{D})$ as $r\to 1-$ (see [34], proof of Theorem 5.1). The continuity of $r\mapsto I^{L}(\eta_{r})$ follows similarly. Since $f^{\prime\prime}/f^{\prime}\in L^{2}(\mathbb{D})$, we also have

[TABLE]

which then implies that the energy vanishes as $r\to 0+$. ∎

Remark*.*

As a consequence of the flow-line identity, we will see that $r\mapsto I^{L}(\eta_{r})$ is non-decreasing, see Corollary 3.11.

Now assume that $\eta$ is a Jordan curve through $\infty$, and $H$ and $H^{*}$ are the two connected components of $\mathbb{C}\smallsetminus\eta$. Let $f:\mathbb{H}\to H$ and $g:\mathbb{H}^{*}\to H^{*}$ be conformal maps fixing $\infty$. The Loewner energy of $\eta$ can be expressed in terms of $f$ and $g$ as (see [33] Theorem 6.1)

[TABLE]

Moreover, $I^{L}(\eta)<\infty$ if and only if $\mathcal{D}_{\mathbb{H}}(\log\left\lvert f^{\prime}\right\rvert)<\infty$.

There is also a characterization of finite energy curves in terms of the welding homeomorphism $g^{-1}\circ f$ on the real line:

Theorem 2.9** ([28, 29]).**

An increasing homeomorphism $h$ of $\mathbb{R}$ is in the Weil-Petersson class if and only if $h$ is absolutely continuous and $\log h^{\prime}\in H^{1/2}(\mathbb{R})$.

The “only if” part of the characterization also follows easily from (2.8). In fact, if $I^{L}(\eta)<\infty$, then the trace of $\log\left\lvert f^{\prime}\right\rvert$ and $\log\left\lvert g^{\prime}\right\rvert$ are in $H^{1/2}(\mathbb{R})$. Since $\eta$ is a quasicircle, its welding homeomorphism $h$ is quasisymmetric. Hence, a.e.,

[TABLE]

(We may differentiate (a.e) since $\eta$ is chord-arc.) In the last step we used Lemma 2.3.

We have also the convergence of the energy of equipotentials in the half-plane setting.

Corollary 2.10**.**

Let $\eta^{y}:=f(\mathbb{R}+iy)$ for $y>0$. Then we have

[TABLE]

and $y\mapsto I^{L}(\eta^{y})$ is continuous.

Proof.

Choose $m$ to be a Möbius transformation of $\hat{\mathbb{C}}$ such that $m(\mathbb{H})=\mathbb{D}$ and such that $\tilde{D}:=m(H)$ is also bounded. We have that $m(\eta^{y})$ is the image of the horocycle (a circle tangent to $\mathbb{T}$ at $m(\infty)$) $m(\mathbb{R}+iy)$ by the conformal map $\tilde{f}=m\circ f\circ m^{-1}:\mathbb{D}\to\tilde{D}$. Since $\partial\tilde{D}=\tilde{f}(\mathbb{T})=m(\eta)$ is bounded, the Möbius invariance of the Loewner energy and the same proof as in Corollary 2.8 applied to $m(\eta^{y})$ readily show that

[TABLE]

and the continuity and $\lim_{y\to\infty}I^{L}(\eta^{y})=0$ follow similarly. ∎

3 Proofs of main results

3.1 Welding identity: half-plane version

In this section, we prove the welding identity in the half-plane setting, and all curves are assumed to pass through $\infty$, see Section 3.2 where we discuss the analogous results in the finite case.

If $\varphi\in\mathcal{E}(\mathbb{C})$, we have $e^{2\varphi}\in L^{1}_{loc}(dz^{2})$. To see this, let $D$ be a square with sides parallel to the axes. By the Cauchy-Schwarz and Poincaré inequalities, there is a universal constant $C$ such that

[TABLE]

The last integral is uniformly bounded in $D$ and tends to [math] with $|D|$. The John-Nirenberg inequality (2.1) therefore shows that $e^{2\varphi}\in L^{1}_{\textrm{loc}}(dz^{2})$, as claimed. Given a Jordan curve $\eta$, let $f,g$ be conformal maps from $\mathbb{H},\mathbb{H}^{*}$ onto $H,H^{*}$ fixing $\infty$, respectively. Next, define

[TABLE]

Then $e^{2u}dz^{2}$ is the pullback of the measure $e^{2\varphi}dz^{2}$ by $f$ on $\mathbb{H}$, and $e^{2v}dz^{2}$ is the pullback of $e^{2\varphi}dz^{2}$ by $g$ on $\mathbb{H}^{*}$.

If $\psi:\Omega\to\mathbb{C}$ is an analytic function, we will use the shorthand notation

[TABLE]

Theorem 3.1**.**

Let $\varphi\in\mathcal{E}(\mathbb{C})$ and let $\eta$ be a Jordan curve through $\infty$. We have the formula

[TABLE]

Proof.

Since $\varphi\in\mathcal{E}(\mathbb{C})$, by conformal invariance of the Dirichlet energy, $\mathcal{D}_{\mathbb{H}}(u)=\infty$ if and only if $\mathcal{D}_{\mathbb{H}}(\sigma_{f})=\infty$ which is equivalent to $I^{L}(\eta)=\infty$. The identity (3.2) thus holds in the case $I^{L}(\eta)=\infty$.

It remains to prove (3.2) assuming $I^{L}(\eta)<\infty$. For this, using (1.1) it is enough to verify that the cross terms arising from the integrals on the right in (3.2) cancel, that is, we want to show that

[TABLE]

Let us first assume that $\eta$ is smooth and $\varphi\in C_{c}^{\infty}(\mathbb{C})$. By Stokes’ formula, the first term on the left-hand side of (3.3) is equal to

[TABLE]

where $k(z)$ is the geodesic curvature of $\eta=\partial H$ at $z$ using the identity $\partial_{n}\sigma_{f}(x)=|f^{\prime}(x)|k(f(x)).$ The geodesic curvature at the same point $z\in\eta$ considered as a prime end of $\partial H^{*}$ equals $-k(z)$. Therefore (3.3) follows in the smooth case.

For the general case, notice that from a change of variable (3.3) can be rewritten as

[TABLE]

Let $\eta^{y}=f(\mathbb{R}+iy)$ which in particular is a smooth curve, let $f_{y}(\cdot)=f(\cdot+iy)$ which is the conformal map from $\mathbb{H}$ to the component $H_{y}$ of $\mathbb{C}\smallsetminus\eta^{y}$ contained in $H$, and let $g_{y}$ be a conformal map from $\mathbb{H}^{*}$ to the other component $H_{y}^{*}$ fixing $\infty$. It follows from (3.4) that

[TABLE]

Let $K$ be a compact set in $\mathbb{C}\smallsetminus\eta$. Then by the Carathéodory kernel theorem, $(f_{y}^{-1})^{\prime\prime}/(f_{y}^{-1})^{\prime}$ converges uniformly to $(f^{-1})^{\prime\prime}/(f^{-1})^{\prime}$ in $K$ as $y\to 0$, for $y$ such that $\eta^{y}\cap K=\emptyset$, and similarly for $g$. Therefore

[TABLE]

On the other hand, Corollary 2.10 implies that

[TABLE]

Hence, by Cauchy-Schwarz,

[TABLE]

as $K$ exhausts $\mathbb{C}\smallsetminus\eta$ and we similarly have,

[TABLE]

Together with (3.5) and (3.6) we obtain (3.4) for all finite energy curves $\eta$ and smooth $\varphi$.

Finally, by approximating $\varphi\in\mathcal{E}(\mathbb{C})$ by functions in $C^{\infty}_{c}(\mathbb{C})$ in the Dirichlet semi-norm (Lemma B.1), we have the equality for all finite energy $\eta$ and all $\varphi\in\mathcal{E}(\mathbb{C})$. ∎

Theorem 3.2** (Isometric conformal welding).**

Suppose $u\in\mathcal{E}(\mathbb{H})$ and $v\in\mathcal{E}(\mathbb{H}^{*})$ are given with $u,v\in H^{1/2}(\mathbb{R})$ also denoting the corresponding traces on $\mathbb{R}$. Let $h$ be the isometric welding homeomorphism of $\mathbb{R}$ constructed from the measures $e^{u}dx$ and $e^{v}dx$ as in (2.6). There exists a unique normalized solution $(\eta,f,g)$ to the conformal welding problem for $h$. Moreover, $\eta$ has finite energy and there exists $\varphi\in\mathcal{E}(\mathbb{C})$ such that (3.1) and (3.2) hold.

Proof.

Proposition 2.5 shows that the welding homeomorphism $h$ is quasisymmetric and satisfies $\log h^{\prime}\in H^{1/2}(\mathbb{R})$. Therefore the solution to the welding problem is unique, and it follows from Theorem 2.9 that $\eta$ has finite energy.

Using (2.8), we have $I^{L}(\eta)=\mathcal{D}_{\mathbb{H}}(\log|f^{\prime}|)+\mathcal{D}_{\mathbb{H}^{*}}(\log|g^{\prime}|)<\infty$. To satisfy (3.1), we define

[TABLE]

Since the Dirichlet energy is invariant by precomposing with a conformal map, we immediately have $\mathcal{D}_{\mathbb{C}\smallsetminus\eta}(\varphi)<\infty$ since $u$, $v$, $\log\left\lvert f^{\prime}\right\rvert$ and $\log\left\lvert g^{\prime}\right\rvert$ all have finite Dirichlet energy. Hence we only need to check that $\varphi\in\mathcal{E}(\mathbb{C})$. Indeed, if $\varphi\in\mathcal{E}(\mathbb{C})$, then $\mathcal{D}_{\mathbb{C}\smallsetminus\eta}(\varphi)=\mathcal{D}_{\mathbb{C}}(\varphi)$ since $\eta$ has Lebesgue measure [math]. Therefore $\mathcal{D}_{\mathbb{C}}(\varphi)<\infty$, so Theorem 3.1 applies and (3.2) follows.

We want to use the gluing Lemma A.4 and so we need to check that the traces of $\varphi$ from both sides of the curve match. By Lemma A.6 (precomposing by a Möbius transformation), the conformal map $f^{-1}$ commutes with the trace operator, and for arclength a.e. $z\in\eta$,

[TABLE]

In the last expression above, $f^{\prime}(x)$ stands for the non-tangential limit of $f^{\prime}$ at $x\in\mathbb{R}$ and the last equality follows from linearity and Lemma A.5.

In fact, $f^{\prime}(x)$ coincides with the tangential derivative of $f$ a.e. and the arclength of $f(I)\subset\eta$ is given by $\int_{I}|f^{\prime}(x)|dx$ for any interval $I$ of $\mathbb{R}$, see [19, Theorem 6.8]. Similarly,

[TABLE]

Since $h$ is the welding homeomorphism for $\eta$, we have by construction $\int_{I}e^{u}dx=\int_{h(I)}e^{v}dx.$ On the other hand, since $\eta$ is locally rectifiable, we have

[TABLE]

and similarly $\int_{h(I)}e^{v}dx=\int_{g(h(I))}e^{\varphi_{-}}|dz|.$ It follows that for every choice of $a,b$,

[TABLE]

which implies $\varphi_{+}=\varphi_{-}$ a.e. on $\eta$. From Lemma A.4, we conclude that $\varphi$ extends to a function in $\mathcal{E}(\mathbb{C})$ and this completes the proof. ∎

Remark*.*

The proof of Theorem 3.2 shows that the measure $e^{\varphi}|dz|$ on $\eta$ equals the pushforward of both $e^{u}dx$ by $f$ and $e^{v}dx$ by $g$ on $\mathbb{R}$. This is the analog of the equality of the chaos measure with respect to Minkowski content on the SLE path and the pushforward of the boundary LQG measures in the quantum zipper, see [4].

Corollary 3.3**.**

Suppose $u\in\mathcal{E}(\mathbb{H})$ and $v\in\mathcal{E}(\mathbb{H}^{*})$ are given. Then there exists a unique tuple $(\varphi,\eta,f,g)$ such that:

$\eta$* is a Jordan curve passing through [math], $1$ and $\infty$;* 2. 2.

$f:\mathbb{H}\to H$* is the conformal map fixing $0,1$ and $\infty$ and $g:\mathbb{H}^{*}\to H^{*}$ is a conformal map fixing $0,\infty$;* 3. 3.

$\varphi\in\mathcal{E}(\mathbb{C})$* and (3.1) holds.*

Moreover, $\eta$ is obtained from the isometric conformal welding of $\mathbb{H}$ and $\mathbb{H}^{*}$ according to the boundary lengths $e^{u}dx$ and $e^{v}dx$.

Proof.

We only need to show that $\eta$ is necessarily obtained from the isometric welding of $e^{u}dx$ and $e^{v}dx$, since Theorem 3.2 then implies the existence and uniqueness of the tuple as $f$ is normalized to fix $0,1,\infty$ and $\eta$ is a quasicircle and therefore conformally removable.

Let $(\varphi,\eta,f,g)$ be any tuple satisfying the above conditions. Then Theorem 3.1 implies that

[TABLE]

It follows that $\eta$ is chord-arc and since $\varphi\in\mathcal{E}(\mathbb{C})$, its trace $\varphi|_{\eta}\in H^{1/2}(\eta)$ as in Appendix A. As in the proof of Theorem 3.2, the length of a portion of $\eta$ using the corresponding metric can be computed as

[TABLE]

Therefore $f$ and $g$ are given by the isometric welding of the measures $e^{u}dx$ and $e^{v}dx$. ∎

Remark*.*

Note that by Theorem 3.2, in that same setup, (3.2) shows that

[TABLE]

We next show that finite energy curves are closed under arclength isometric welding (see Figure 3.1) with the energy of the welding curves bounded above by the sum of the energies of the initial pair of curves. We can view this inequality as quantifying the dissipation of energy into the global function $\varphi$.

More precisely, let $\eta_{1}$ and $\eta_{2}$ be two Jordan curves through $\infty$ with finite energy. Let $H_{1},H_{1}^{*}$ be the connected components of $\mathbb{C}\smallsetminus\eta_{1}$ and $H_{2},H_{2}^{*}$ the connected components of $\mathbb{C}\smallsetminus\eta_{2}$.

Corollary 3.4**.**

Let $\eta$ (resp. $\tilde{\eta}$) be the arclength isometric welding curve of the domains $H_{1}$ and $H_{2}^{*}$ (resp. $H_{2}$ and $H_{1}^{*}$). Then $\eta$ and $\tilde{\eta}$ have finite energy. Moreover,

[TABLE]

Proof.

For $i=1,2$, let $f_{i}$ be a conformal equivalence $\mathbb{H}\to H_{i}$, and $g_{i}:\mathbb{H}^{*}\to H_{i}^{*}$ both fixing $\infty$. By (2.8),

[TABLE]

Set $u_{i}:=\log|f^{\prime}_{i}|,v_{i}:=\log|g^{\prime}_{i}|$. Then $\eta$ is the welding curve obtained from Theorem 3.2 with $u=u_{1}$, $v=v_{2}$ and $\tilde{\eta}$ is the welding curve for $u=u_{2}$, $v=v_{1}$. Then (3.7) implies

[TABLE]

as claimed. ∎

Remark*.*

In particular, we have the energy sub-additivity:

[TABLE]

and equality holds only when $\mathcal{D}_{\mathbb{H}}\left(u_{2}\right)=\mathcal{D}_{\mathbb{H}^{*}}\left(v_{1}\right)=0$ which implies that both $\eta_{1}$ and $\eta_{2}$ are lines.

Given Corollary 3.4, it is natural to ask for when $\varphi$ is constant so that (3.7) becomes an equality. The following proposition aims to provide the geometrical intuition that this happens if and only if $e^{2u}dz^{2}$ and $e^{2v}dz^{2}$, considered as Riemannian metrics, have matching geodesic curvatures at points identified by the welding homeomorphism, and are flat in the bulk ($\Delta u=\Delta v=0$). We restrict ourselves to the smooth case in order to simplify the discussion and to have all the quantities well-defined.

In the statement, $\partial_{n}$ and $\partial_{n^{*}}$ denote the outer normal derivative on $\mathbb{R}=\partial\mathbb{H}=\partial\mathbb{H}^{*}$ with respect to $\mathbb{H}$ and $\mathbb{H}^{*}$.

Proposition 3.5** (Curvature matching).**

Let $u\in C^{\infty}(\overline{\mathbb{H}})\cap\mathcal{E}(\mathbb{H})$ and $v\in C^{\infty}(\overline{\mathbb{H}}^{*})\cap\mathcal{E}(\mathbb{H}^{*})$. The function $\varphi$ obtained in Theorem 3.2 satisfies $\mathcal{D}_{\mathbb{C}}(\varphi)=0$ if and only if $u$ and $v$ are harmonic, and $\partial_{n}u+(\partial_{n^{*}}v)\circ h\cdot h^{\prime}\equiv 0$ on $\mathbb{R}$.

Proof.

The “only if” part: since $\varphi$ is constant, we have that $u=\log\left\lvert f^{\prime}\right\rvert+\varphi\circ f$ is harmonic and so is $v=\log|g^{\prime}|+\varphi\circ g$. Let $k(y)$ (resp. $k^{*}(y)$) be the geodesic curvature at $y\in\partial H$ (resp. $y\in\partial H^{*}$) under the metric $e^{2\varphi}dy^{2}$ which also equals the geodesic curvature at $z=f^{-1}(y)\in\partial\mathbb{H}$ under the metric $e^{2u}dz^{2}$. We have the following identity for all $z\in\mathbb{R}$,

[TABLE]

where $k_{0}\equiv 0$ is the geodesic curvature of $\mathbb{R}$ as boundary of $\mathbb{H}$ under the Euclidean metric. Hence for all intervals $I\subset\mathbb{R}$,

[TABLE]

Similarly for $\partial_{n^{*}}v$, since $\varphi$ is constant, we have

[TABLE]

It follows that $\partial_{n}u+(\partial_{n^{*}}v)\circ h\cdot h^{\prime}\equiv 0$, as claimed.

The “if” part: we check that $\varphi$ is harmonic everywhere in $\mathbb{C}$. Let $\rho\in C_{c}^{\infty}(\mathbb{C})$ be a test function,

[TABLE]

The second equality follows from

[TABLE]

as in (3.3) and the third equality above follows from the assumption that $u$ and $v$ are harmonic. We have also that

[TABLE]

Since we assumed $\partial_{n}u+(\partial_{n^{*}}v)\circ h\cdot h^{\prime}\equiv 0$, we have $\left\langle\nabla\varphi,\nabla\rho\right\rangle=0$ for all $\rho$. It follows that $\varphi$ is harmonic in $\mathbb{C}$. Since the Dirichlet energy of $\varphi$ is finite, $\varphi$ is constant. ∎

3.2 Welding identity: disk version

We will now discuss the welding identity in the case when $\eta$ is a bounded finite energy curve. Denote by $\Omega$ and $\Omega^{*}$ the bounded and unbounded connected components of $\mathbb{C}\smallsetminus\eta$ and let $\varphi\in\mathcal{E}(\mathbb{C})$. As in the half-plane case, we associate to the pair $(\varphi,\eta)$ two functions, this time defined on $\mathbb{D}$ and $\mathbb{D}^{*}$:

[TABLE]

where $f:\mathbb{D}\to\Omega$ and $g:\mathbb{D}^{*}\to\Omega^{*}$ represent some choice of Riemann maps, such that $g(\infty)=\infty$. It turns out that the correct action functional for the analog of Theorem 3.1 in the disk setting has an extra curvature term. (Or rather, that term is identically [math] in the half-plane case.) More precisely, if $u:\overline{\Omega}\to\mathbb{R}$, we define

[TABLE]

where $k_{\Omega}$ is the geodesic curvature (using the Euclidean metric) of $\partial\Omega$. Note that we have $k_{\mathbb{D}}=-k_{\mathbb{D}^{*}}\equiv 1$, so (2.7) can be written as

[TABLE]

Theorem 3.6**.**

Suppose $\varphi\in\mathcal{E}(\mathbb{C})$ and that $\eta$ is a bounded finite energy curve. Then we have the identity:

[TABLE]

Proof.

It suffices to prove that the cross-terms in the Dirichlet inner product satisfy

[TABLE]

Assume first that $\eta$ is smooth and $\varphi\in C^{\infty}_{c}(\mathbb{C})$. Using Stokes’ formula, the first term on the left-hand side is equal to

[TABLE]

since

[TABLE]

As $k_{\Omega}(y)=-k_{\Omega^{*}}(y)$ for all $y\in\eta$, we have

[TABLE]

which concludes the proof in the smooth case. The approximation of a general finite energy $\eta$ by equipotentials and $\varphi\in\mathcal{E}(\mathbb{C})$ by $C^{\infty}_{c}(\mathbb{C})$ is the same as in the proof of Theorem 3.1. ∎

For $u,v\in H^{1/2}(\mathbb{T})$, $e^{u}|dz|$ and $e^{v}|dz|$ define finite measures on $\mathbb{T}$. We normalize them to have total mass $1$ by subtracting (from $u$) $z_{u}:=\log\int_{\mathbb{T}}e^{u}|dz|$ and (from $v$) $z_{v}:=\log\int_{\mathbb{T}}e^{v}|dz|$.

In a similar manner as in (2.6), we define a homeomorphism $h$ of $\mathbb{T}$ which isometrically identifies $e^{u-z_{u}}|dz|$ and $e^{v-z_{v}}|dz|$ and we may assume it fixes $1$. A normalized solution of the conformal welding problem for $h$ is a triple $(\eta,f,g)$, where $\eta$ is a Jordan curve in $\mathbb{C}$ with associated $\Omega,\Omega^{*}$ and conformal maps $f:\mathbb{D}\to\Omega$ fixing $0,1$, and $g:\mathbb{D}^{*}\to\Omega^{*}$ fixing $\infty,1$ such that $h=g^{-1}\circ f|_{\mathbb{T}}$. We also have $\log|h^{\prime}|\in H^{1/2}(\mathbb{T})$ by the proof of Proposition 2.5. Theorem 2.6 implies that $I^{L}(\eta)<\infty$. The proof of Theorem 3.2 then gives:

Theorem 3.7** (Isometric welding of disks).**

Suppose $u\in\mathcal{E}(\mathbb{D})$ and $v\in\mathcal{E}(\mathbb{D}^{*})$ are given with $u,v\in H^{1/2}(\mathbb{T})$ also denoting the corresponding traces on $\mathbb{T}$. Let $h$ be the isometric welding homeomorphism of $\mathbb{T}$ constructed as above, and $(\eta,f,g)$ the normalized solution. Then there exists a unique $\varphi\in\mathcal{E}(\mathbb{C})$ such that

[TABLE]

and

[TABLE]

The analog of Corollary 3.4 also holds:

Corollary 3.8**.**

Let $\eta_{1}$ and $\eta_{2}$ be two finite energy curves with the same arclength, let $\Omega_{i}$ and $\Omega_{i}^{*}$ be associated to $\eta_{i}$, and let $\eta$ (resp. $\tilde{\eta}$) be the isometric welding curve of $\Omega_{1}$ and $\Omega_{2}^{*}$ (resp. $\Omega_{2}$ and $\Omega_{1}^{*}$). Then

[TABLE]

Proof.

Without loss of generality, we assume that the arclength of $\eta_{1}$ and $\eta_{2}$ are $1$. We put for $i=1,2$, $u_{i}:=\log|f^{\prime}_{i}|,v_{i}:=\log|g^{\prime}_{i}|$. Then $\eta$ is the welding curve given by Theorem 3.7 with $u=u_{1}$ and $v=v_{2}$. Similarly $\tilde{\eta}$ corresponds to $u=u_{2},v=v_{1}$. We obtain

[TABLE]

as claimed since $z_{u_{i}}=z_{v_{i}}=0$. ∎

In contrast with the cutting and welding operations, our flow-line identity is specific to the half-plane setting for the Loewner energy: as we will see, all the flow-lines are “bi-infinite” and go through $\infty$.

3.3 Flow-line identity

Let $\eta=\eta(s)$ be an asymptotically smooth Jordan curve through $\infty$, parametrized by arclength. Let $H,H^{*}$ be the two connected components of $\mathbb{C}\smallsetminus\eta$ and let $f:\mathbb{H}\to H$ and $g:\mathbb{H}^{*}\to H^{*}$ be conformal maps fixing $\infty$. We choose $\arg f^{\prime}$ to be a (fixed) continuous branch of $\operatorname{Im}\log f^{\prime}$ in $\mathbb{H}$. By Theorem II.4.2 of [13], for a.e. $\zeta=\eta(s)$ such that $\eta^{\prime}(s)$ exists, $\arg f^{\prime}(z)$ has a limit as $z$ approaches $f^{-1}(\zeta)$ in $\mathbb{H}$ and we denote this limit by $\tau(\zeta)$. Moreover,

[TABLE]

The second equality uses that $\eta$ is asymptotically smooth. Having chosen a branch of $\arg f^{\prime}$, we choose one for $\arg g^{\prime}$ defined on $\mathbb{H}^{*}$ so that the boundary values of $\arg g^{\prime}\circ g^{-1}$ agree with $\tau$ a.e. Finally, let $\mathcal{P}[\tau]$ be the Poisson extension of $\tau$ to $\mathbb{C}\smallsetminus\eta$.

Lemma 3.9**.**

Suppose $\eta$ is a finite energy curve through $\infty$. Then we have

[TABLE]

Proof.

Since $\mathcal{D}_{{\mathbb{H}}}(\arg f^{\prime})=\mathcal{D}_{\mathbb{H}}(\log|f^{\prime}|)<\infty$, it follows that (a.e.) $\tau\circ f=\arg f^{\prime}\in H^{1/2}(\mathbb{R})$. Since the trace operator $\mathcal{E}_{\text{harm}}(\mathbb{H})\to H^{1/2}(\mathbb{R})$ is one-to-one, using Lemma A.6 we see that $\mathcal{P}[\tau]\circ f=\mathcal{P}[\tau\circ f]=\arg f^{\prime}$. ∎

Theorem 3.10**.**

If $\eta$ is a finite energy curve through $\infty$, we have the identity

[TABLE]

Conversely, if $\varphi\in\mathcal{E}(\mathbb{C})$ is continuous and $\lim_{z\to\infty}\varphi(z)$ exists, then for all $z_{0}\in\mathbb{C}$, any solution to the differential equation

[TABLE]

is a $C^{1}$ Jordan curve through $\infty$ with finite energy, and

[TABLE]

where $\varphi_{0}=\varphi-\mathcal{P}[\varphi|_{\eta}]$.

Proof.

Let $f$ and $g$ be conformal maps from $\mathbb{H}$ and $\mathbb{H}^{*}$, respectively, associated to $\eta$ as above. From Lemma 3.9, we have that $\arg f^{\prime}(z)=\mathcal{P}[\tau]\circ f(z)$ for all $z\in{\mathbb{H}}$ and similarly for $g$. The identity (3.11), with $\mathcal{D}_{\mathbb{C}}$ replaced by $\mathcal{D}_{\mathbb{C}\smallsetminus\eta}$, then follows from (2.8) using that $\mathcal{D}_{\mathbb{H}}(\log\left\lvert f^{\prime}\right\rvert)=\mathcal{D}_{\mathbb{H}}(\arg f^{\prime})$ and $\mathcal{D}_{\mathbb{H}}(\mathcal{P}[\tau]\circ f)=\mathcal{D}_{f(\mathbb{H})}(\mathcal{P}[\tau])$, together with the analogous formulas for $g$. Since the traces of the harmonic extensions of $\tau$ to $H$ and $H^{*}$ agree almost everywhere, the gluing Lemma A.4 shows that we obtain a function in $\mathcal{E}(\mathbb{C})$ and (3.11) holds.

For the converse statement, notice that $\exp(i\varphi)$ defines a continuous unit vector field on $\mathbb{C}$. By the Cauchy-Peano existence theorem there exists a solution $\eta$ (which may not be unique) for all $t\in\mathbb{R}$ and $t\to\eta(t)$ is an arclength parametrized $C^{1}$ curve.

We claim that the solution $\eta$ is a Jordan curve through $\infty$. We first prove that $\eta$ contains no closed loop in $\mathbb{C}$. In order to derive a contradiction, assume that $\eta(0)=\eta(1)$ and $[0,1)\to\eta[0,1)$ is injective. Since $\eta[0,1]$ is a bounded Jordan curve, it encloses a bounded simply connected domain $\Omega$ and we assume that $\eta$ winds counterclockwise around $\Omega$ (consider $\varphi+\pi$ otherwise). Let $\psi:\mathbb{D}\to\Omega$ be a conformal map. Since the vector field is continuous, $\partial\Omega$ has a continuous tangent, so $\arg\psi^{\prime}$ extends continuously to $\overline{\mathbb{D}}$ and

[TABLE]

However, $\log z$ does not have a continuous branch on $\mathbb{T}$ but since $i(\varphi\circ\psi(z)-\arg\psi^{\prime}(z)-\pi/2)$ would provide one, we have a contradiction.

We next show that $\eta$ is transient as $t\to\pm\infty$. Assume this is not the case. Then since $\eta$ is a flow-line of a continuous unit vector field, there exists $z\in\mathbb{C}$ such that for all $r>0$, $\eta$ visits the closed ball $B(z,r)$ at least twice. Since $\varphi$ is continuous, there is $r>0$ such that $w\in B(z,100r)$ implies $|\varphi(w)-\varphi(z)|<1/10$. After $\eta$ visits $B(z,r)$ for the first time (of the two times), $\eta$ leaves $B(z,100r)$ from the sub-arc of argument $[\varphi(z)-1/9,\varphi(z)+1/9]$ of $\partial B(z,100r)$ and re-enters $B(z,100r)$ from the arc of argument in $[\varphi(z)+\pi/2-1/10,\varphi(z)+3\pi/2+1/10]$. We call the exit time $s$ and the re-enter time $t$. Now we modify $\varphi$ inside $B(z,100r)$ such that $\varphi$ remains continuous and the unit vector field $e^{i\varphi}$ generates a flow $\tilde{\eta}$ starting from $\tilde{\eta}(0)=\eta(t)$ hits $\eta(s)$ at some time $\delta>0$, with $\tilde{\eta}[0,\delta]\subset B(z,100r)$. But the existence of the loop $\eta[s,t]\cup\tilde{\eta}[0,\delta]$ then contradicts the fact, proved as in the previous paragraph, that the flow of the modified continuous vector field contains no closed loop in $\mathbb{C}$.

Therefore $\eta$ is an infinite $C^{1}$ simple curve and since $\lim_{z\to\infty}\varphi(z)$ exists, $\eta$ is in fact the Möbius image of a bounded $C^{1}$ Jordan curve. It follows that $\arg f^{\prime}$ is bounded and harmonic, so $\mathcal{P}[\arg f^{\prime}|_{\mathbb{R}}]=\arg f^{\prime}$. Using (3.10) again, we obtain $(\arg f^{\prime})\circ f^{-1}|_{\eta}=\varphi|_{\eta}$ and

[TABLE]

where the last equality follows from the orthogonal decomposition (for the Dirichlet inner product) as in Lemma 2.1 (after conformally mapping to a disk). We conclude the proof by performing the same computation with $g$ and then using (2.8). ∎

The following corollaries are immediate consequences of the flow-line identity. We consider first the family of analytic curves $\eta^{r}:=f(\mathbb{R}+ir)$, where $r>0$.

Corollary 3.11**.**

Let $\eta$ be finite energy curve through $\infty$. For $0<r<s$, $I^{L}(\eta^{s})\leqslant I^{L}(\eta^{r})\leqslant I^{L}(\eta)$ and any equality holds if and only if $\eta$ is a line.

Proof.

By Lemma 3.9, $\mathcal{P}[\tau]\circ f(z)=\arg f^{\prime}(z)$, so for each $r$, $\eta^{r}$ has tangent with argument given by $\mathcal{P}[\tau]$ and we write it as $\tau^{r}:=\mathcal{P}[\tau]|_{\eta^{r}}$. It follows from Theorem 3.10 and the fact that $I^{L}(\eta^{r})<\infty$,

[TABLE]

The ineqality uses the Dirichlet principle.

In case of equality, $\mathcal{P}[\tau]$ is harmonic in the complement of $\eta^{r}$. Since it is also harmonic in the complement of $\eta$, it follows that $\mathcal{P}[\tau]\in\mathcal{E}_{\text{harm}}(\mathbb{C})$, and consequently constant. ∎

Corollary 3.11 compares the Loewner energy of the image of a horocycle in the upper half-plane which touches $\infty$. If we map $\mathbb{H}$ to $\mathbb{D}$ by a Möbius transformation, the horocycle $\mathbb{R}+ir$ is mapped to a circle tangent to $\mathbb{T}$. This allows us to compare the energies of equipotentials inside of a bounded domain as follows.

Assume now that $\eta$ is a bounded finite energy curve. Let $\Omega$ be the bounded component of $\mathbb{C}\smallsetminus\eta$, $f$ a conformal map from $\mathbb{D}\to\Omega$ and $\eta_{r}=f(r\mathbb{T})$, for $0<r<1$. Using Corollary 3.11, we compare $I^{L}(\eta)$ and $I^{L}(\eta_{r})$ to $I^{L}(f(C))$ where $C$ is a circle tangent to both $\mathbb{T}$ and $r\mathbb{T}$ as shown in Figure 3.2 and obtain:

Corollary 3.12**.**

For $0<s<r<1$, $I^{L}(\eta_{s})\leqslant I^{L}(\eta_{r})\leqslant I^{L}(\eta)$ and any equality holds only when $\eta$ is a circle.

3.4 Complex-valued function identity

Let us conclude with the following identity which combines both welding and flow-line identities.

Let $\psi$ be a complex-valued function on $\mathbb{C}$ with finite Dirichlet energy. We assume that $\operatorname{Im}\psi\in C^{0}(\hat{\mathbb{C}})$. We say that $\eta$ is a flow-line of the vector field $e^{\psi}$ if $\eta$ is a flow-line of $e^{i\operatorname{Im}\psi}$. (The parametrization of $\eta$ will not matter for our purposes.) Let $f,g$ be conformal maps associated to $\eta$ as in Section 3.3.

Corollary 3.13**.**

Let $\eta$ be any flow-line of the complex field $e^{\psi}$. Define $\zeta=\psi\circ f+(\log f^{\prime})^{*}$ and $\xi=\psi\circ g+(\log g^{\prime})^{*}$. Then we have

[TABLE]

Remark*.*

From Corollary 3.13 we can easily recover the flow-line identity, by taking $\operatorname{Im}\psi=\varphi$ and $\operatorname{Re}(\psi)=0$. Similarly, the welding identity follows from taking $\operatorname{Re}\psi=\varphi$ and $\operatorname{Im}\psi=\mathcal{P}[\tau]$ where $\tau$ is the winding of the curve $\eta$ as defined in Section 3.3.

Proof.

By Theorem 3.10, $\eta$ has finite Loewner energy and Lemma 3.9 shows that

[TABLE]

Hence we can write,

[TABLE]

where $u:=\operatorname{Re}\psi\circ f+\log|f^{\prime}|\in\mathcal{E}(\mathbb{H})$, $v:=\operatorname{Re}\psi\circ g+\log|g^{\prime}|\in\mathcal{E}(\mathbb{H}^{*})$ and $\psi_{0}=\psi-\mathcal{P}[\psi|_{\eta}]$. From the welding identity, we have

[TABLE]

On the other hand, the flow-line identity gives $\mathcal{D}_{\mathbb{C}}(\operatorname{Im}\psi)=I^{L}(\eta)+\mathcal{D}_{\mathbb{C}}(\operatorname{Im}\psi_{0}).$ Hence,

[TABLE]

as claimed. ∎

Appendix A Trace operators on chord-arc curves

The Sobolev space trace operator is usually defined for domains with Lipschitz boundary. We are interested in domains bounded by finite energy curves (see Section 2.3), which are chord-arc but not necessarily Lipschitz [21]. This appendix recalls and develops the facts needed for this paper.

It will be convenient to work in the class of chord-arc domains, that is, simply connected domains whose boundary $\eta=\partial\Omega$ is a chord-arc curve in $\hat{\mathbb{C}}$. We will follow Jonsson and Wallin [16] to define for $u\in\mathcal{E}(\mathbb{C})$ a trace on $\eta$ by considering averages over balls and prove the gluing lemma (Lemma A.4) and the fact that the trace operator commutes with the conformal mapping (Lemma A.6).

Lemma A.1**.**

Suppose $u\in\mathcal{E}(\mathbb{C})$ and $\eta$ is a chord-arc curve in $\hat{\mathbb{C}}$. The Jonsson-Wallin trace of $u$ on $\eta$ is defined for arclength a.e. $z\in\eta$ by the following limit of averages

[TABLE]

where $B(z,r)=\{w:|w-z|<r\}$. Moreover, $\mathcal{R}_{\eta}[u]\in H^{1/2}(\eta)$.

Proof.

Assume first that $\eta$ is bounded. Then without loss of generality (by localization and the Poincaré inequality), we may assume that $u\in W^{1,2}(\mathbb{C})$. Since $\eta$ is chord-arc, it follows from [16] Theorem VII.1, p.182, that $\mathcal{R}_{\eta}[u]\in H^{1/2}(\eta)$.

This extends to the restriction of $\mathcal{E}(\mathbb{C})$ on $\eta$ passing through $\infty$ via a Möbius transformation. Indeed, let $m$ be a Möbius transformation such that $m(\eta)$ is bounded. By conformal invariance of the Dirichlet energy, $u\circ m^{-1}\in\mathcal{E}(\mathbb{C})$. Therefore $\mathcal{R}_{m(\eta)}[u\circ m^{-1}]\in H^{1/2}(m(\eta))$. For $z\in\eta\cap\mathbb{C}$,

[TABLE]

since $m$ is smooth in a neighborhood of $z$. Hence, we have

[TABLE]

where the second equality follows from (2.2). ∎

The Jonsson-Wallin trace is also defined without ambiguity from one side of the curve $\eta$: From Lemma 2.2, functions in $\mathcal{E}(\Omega)$ can be extended to $\mathcal{E}(\mathbb{C})$. For $u\in\mathcal{E}(\mathbb{C})$, we will denote by $u|_{\Omega}$ the restriction of $u$ to the domain $\Omega$.

Lemma A.2** ([5] Theorem 5.1).**

Let $u\in\mathcal{E}(\Omega)$ and $\tilde{u}\in\mathcal{E}(\mathbb{C})$ such that $\tilde{u}|_{\Omega}=u$. The operator $\mathcal{R}_{\Omega\to\eta}$ defined as

[TABLE]

does not depend on the choice of the extension $\tilde{u}\in\mathcal{E}(\mathbb{C})$.

The lemma is proved in [5] for $u\in W^{1,2}$. The passage from $W^{1,2}$ to $\mathcal{E}(\mathbb{C})$ follows from a standard localization argument: Let $v,w\in\mathcal{E}(\mathbb{C})$ such that $v|_{\Omega}=w|_{\Omega}=u$. For $z\in\eta$, let $\rho$ be a smooth function supported in $B(z,2)$ which equals $1$ in $B(z,1)$. We have $\rho v\in W^{1,2}(\Omega)$. Moreover $\rho v|_{\Omega}=\rho w|_{\Omega}$. Applying $\mathcal{R}_{\eta}$ to $\rho v$ and $\rho w$, there is no ambiguity in defining the trace for $\rho u$, and we get

[TABLE]

Since $\rho\equiv 1$ in a neighborhood of $z$, we have $\mathcal{R}_{\eta}[v](y)=\mathcal{R}_{\eta}[w](y)$.

The lemma below states that $W^{1,2}_{0}(\Omega)$ is exactly the kernel of $\mathcal{R}_{\Omega\to\eta}$ which also coincides with Sobolev functions that can be extended by [math]. Let $\Omega^{*}$ be the connected component of $\mathbb{C}\smallsetminus\eta$ different from $\Omega$.

Lemma A.3** ([5] Cor. 5.4 eq. (5.37), Lemma 5.10).**

For $u\in W^{1,2}(\Omega)$, if we denote by $\tilde{u}$ the function such that $\tilde{u}|_{\Omega}=u$ and $\tilde{u}|_{\Omega^{*}}=0$, then

[TABLE]

Lemma A.4** (Gluing).**

If $u\in\mathcal{E}(\Omega)$ and $v\in\mathcal{E}(\Omega^{*})$ have matching trace along $\eta=\partial\Omega=\partial\Omega^{*}$, that is, if

[TABLE]

then there exists a function $w\in\mathcal{E}(\mathbb{C})$ such that $w|_{\Omega}=u$ and $w|_{\Omega^{*}}=v$.

Proof.

Using a partition of unity, we may assume $u\in W^{1,2}(\Omega)$ and $v\in W^{1,2}(\Omega^{*})$. Lemma 2.2 implies that there exists $\tilde{v}\in W^{1,2}(\mathbb{C})$ such that $\tilde{v}|_{\Omega^{*}}=v$ and for a.e. $z\in\eta$,

[TABLE]

Therefore $\mathcal{R}_{\Omega\to\eta}[u-\tilde{v}]=0$ a.e. on $\eta$. Note that $(u-\tilde{v})|_{\Omega}\in W^{1,2}_{0}(\Omega)\xhookrightarrow{}W^{1,2}(\mathbb{C})$ and we let $\varphi\in W^{1,2}(\mathbb{C})$ denote the extension of $(u-\tilde{v})|_{\Omega}$ by zero. We set $w:=\varphi+\tilde{v}\in W^{1,2}(\mathbb{C})$ which extends both $u$ and $v$ in the desired way. ∎

We will now relate the Jonsson-Wallin trace to the function obtained by taking non-tangential limits on $\eta$. Let $\alpha>0$ be given. We define the non-tangential approach region to $\zeta\in\eta=\partial\Omega$ (relative to $\Omega$) by

[TABLE]

Since $\eta$ is chord-arc, $A_{\alpha}(\zeta)$ contains a path tending to $\zeta$ for all sufficiently large $\alpha$. A function $f:\Omega\to\mathbb{C}$ is said to have non-tangential limit $w$ at $\zeta$ if for all $\alpha$ large enough the limit of $f$ along any path in $A_{\alpha}(\zeta)$ tending to $\zeta$ equals $w$. Conformal maps between quasidisks preserve non-tangential approach regions (with quantitative bounds on constants), so taking a non-tangential limit commutes with applying the Riemann map in our setting. See, e.g., Proposition 1.1 of [14].

Note that for $z\in A_{\alpha}(\zeta)$, we have $B(z,C_{\alpha}|z-\zeta|)\subset A_{2\alpha}(\zeta)$, where $C_{\alpha}=\alpha/(2(1+\alpha)^{2})$. In particular, if there exists a path in $A_{\alpha}(\zeta)$ tending to $\zeta$, for all $r>0$,

[TABLE]

where $z_{r}$ is a point on the path in $A_{\alpha}(\zeta)$ with $|z_{r}-\zeta|=r$ and $c>0$ is independent of $r$.

The next lemma shows that the Jonsson-Wallin trace of a function in the harmonic Dirichlet space on a chord-arc domain coincides with its non-tangential limits.

Given $u\in\mathcal{E}_{\text{harm}}(\Omega)$, by Lemma A.2 we may extend $u$ to a function in $\mathcal{E}(\mathbb{C})$ and the Jonsson-Wallin trace is independent of the particular extension chosen so we may write $\mathcal{R}_{\eta}[u]$ unambiguously.

Lemma A.5**.**

Suppose $\eta=\partial\Omega$ is a chord-arc curve in $\hat{\mathbb{C}}$. Let $u\in\mathcal{E}_{\text{harm}}(\Omega)$. Then for arclength almost every $\zeta\in\eta$, the non-tangential limit of $u$ at $\zeta$ exists and agrees with $\mathcal{R}_{\eta}[u](\zeta)$ as defined in (A.1).

Proof.

In the case $\Omega=\mathbb{D}$ we know that $u$ has non-tangential limits almost everywhere and the limiting function lies in $H^{1/2}(\mathbb{T})$. It then follows from the fact that harmonic measure and arclength are mutually absolutely continuous on $\eta$ that $u$ has non-tangential limits almost everywhere on $\eta$.

Let $\zeta\in\eta$ be a point such that both the Jonsson-Wallin trace and non-tangential limit exist at $\zeta$. Let $\varepsilon>0$ be given. For $r>0$, let $u_{r}=|B_{r}|^{-1}\int_{B_{r}}u(z)dz^{2}$ where $B_{r}:=B(\zeta,r)$. (Recall that we consider an extension of $u$.) By the Cauchy-Schwarz and Poincaré inqualities,

[TABLE]

Since $u\in\mathcal{E}(\mathbb{C})$, we have $E_{r}=o(1)$ and so for $r$ small enough,

[TABLE]

where we used Markov’s inequality for the first bound. Hence, since $\mathcal{R}_{\eta}[u](\zeta)=\lim_{r\to 0+}u_{r}$, taking $r$ smaller if necessary, we have

[TABLE]

By (A.2) there exist $\alpha,c_{1}>0$ such that

[TABLE]

for all $r>0$ sufficiently small, where $A_{\alpha}(\zeta)=\{z\in\Omega:|z-\zeta|\leqslant(1+\alpha){\rm dist}(z,\eta)\}$ is the non-tangential approach region at $\zeta$. Therefore, using (A.4) and if $\varepsilon>0$ is taken sufficiently small, (A.3) shows that the set $\{z\in B_{r}:|u(z)-\mathcal{R}_{\eta}[u](\zeta)|\leqslant 2\varepsilon\}$ and $A_{\alpha}(\zeta)$ must intersect for all sufficiently small $r$ and so the limit taken in $A_{\alpha}(\zeta)$ equals $\mathcal{R}_{\eta}[u](\zeta)$, as desired. ∎

Lemma A.6**.**

Suppose $\partial\Omega$ is a chord-arc curve in $\hat{\mathbb{C}}$. Let $u\in\mathcal{E}(\Omega)$ and suppose $\varphi:\mathbb{D}\to\Omega$ is a Riemann mapping. Then,

[TABLE]

Proof.

Assume first that $u\in\mathcal{E}_{\textrm{harm}}(\Omega)$. Since taking non-tangential limits commute with applying $\varphi$ and since harmonic measure and arclength are mutually absolutely continuous, (A.5) follows using Lemma A.5.

Let $u\in\mathcal{E}(\Omega)$. We first assume that $\Omega$ is bounded. Then we have $u\in W^{1,2}(\Omega)$. Next, let $u_{0}\in W^{1,2}_{0}(\Omega)$ and $u_{h}\in\mathcal{E}_{\text{harm}}(\Omega)$ such that $u=u_{0}+u_{h}$. It follows from conformal invariance of the Dirichlet energy and from the Poincaré inequality that the operator $W^{1,2}(\Omega)\to W^{1,2}(\mathbb{D})$, $u\mapsto u\circ\varphi$ and its inverse are bounded. Since $W^{1,2}_{0}(\mathbb{D})$ is the closure of $C^{\infty}_{c}(\mathbb{D})$, we have $W^{1,2}_{0}(\mathbb{D})=W^{1,2}_{0}(\Omega)\circ\varphi$. In particular,

[TABLE]

from Lemma A.3. Therefore $\mathcal{R}_{\eta}[u_{0}]\circ\varphi=0=\mathcal{R}_{\mathbb{T}}[u_{0}\circ\varphi]\text{ a.e. on }\mathbb{T}.$ We conclude by applying (A.5) to $u_{h}$.

When $\Omega$ is unbounded, let $m$ be a Möbius transformation such that $m(\Omega)$ is bounded. Since $m$ is smooth in a neighborhood of $\eta$, $\mathcal{R}_{m(\eta)}[u\circ m^{-1}]\circ m=\mathcal{R}_{\eta}[u]$, and we have a.e. on $\mathbb{T}$,

[TABLE]

The second equality follows from applying (A.5) to $m(\Omega)$ for $\tilde{u}=u\circ m^{-1}$, $\tilde{\varphi}=m\circ\varphi$. ∎

Appendix B Density of $C^{\infty}_{c}(\mathbb{C})$ in $\mathcal{E}(\mathbb{C})$

Here we provide a proof of the fact that test functions are dense in the homogeneous Sobolev space $\mathcal{E}(\mathbb{C})$ (based on a write-up by Alexis Michelat). The result must be well-known, but we were not able to locate a precise reference in the literature.

Let $(\rho_{j})_{j\in\mathbb{N}}$ be a family of mollifiers such that for all $f\in L^{2}(\mathbb{C})$,

[TABLE]

and $(\eta_{j})_{j\in\mathbb{N}}$ a family of smooth function supported in $B(0,2^{j+1})$, such that $\eta_{j}\equiv 1$ in $B(0,2^{j})$, $0\leqslant\eta\leqslant 1$, and $\|\nabla\eta_{j}\|_{L^{\infty}}\leqslant 1/2^{j}$. Let $A_{j}$ denote the annulus $B(0,2^{j+1})\smallsetminus B(0,2^{j})$. Recall that we write $u_{A_{j}}$ for $\frac{1}{|A_{j}|}\int_{A_{j}}udz^{2}$.

Lemma B.1**.**

For $u\in\mathcal{E}(\mathbb{C})$, let $u_{j}=\rho_{j}*\left(\eta_{j}(u-u_{A_{j}})\right)\in C^{\infty}_{c}(\mathbb{C})$. We have

[TABLE]

Proof.

We have

[TABLE]

Using Young’s convolution inequality we see that

[TABLE]

since $\rho_{j}$ is a mollifier. By the Poincaré inequality in $A_{j}$ and the fact that $\|\nabla\eta_{j}\|_{L^{\infty}}\leqslant 1/2^{j}$ is supported in $A_{j}$, there is $C<\infty$ independent of $j$, such that

[TABLE]

and the right-hand side tends to [math] as $j\to\infty$. On the other hand,

[TABLE]

and this concludes the proof. ∎