Contents

Sobolev spaces for planar domains

Let Ω ⊂ R² be a bounded domain with smooth boundary. Since Ω is contained in a large square in R², it can be regarded as a domain in T² by identifying opposite sides of the square. The theory of Sobolev spaces on T² can be found in Bers, John & Schechter (1979), an account which is followed in several later textbooks such as Warner (1983) and Griffiths & Harris (1994).

For k an integer, the (restricted) Sobolev space H^k
₀(Ω) is defined as the closure of C^∞
_c(Ω) in the standard Sobolev space H^k(T²).

• H⁰
  ₀(Ω) = L²(Ω).
• Vanishing properties on boundary: For k > 0 the elements of H^k
  ₀(Ω) are referred to as "L² functions on Ω which vanish with their first k − 1 derivatives on ∂Ω."^[1] In fact if  f  ∈ C^k(Ω) agrees with a function in H^k
  ₀(Ω), then g = ∂^αf  is in C¹. Let  f_n ∈ C^∞
  _c(Ω) be such that  f_n → f  in the Sobolev norm, and set g_n = ∂^αf_n . Thus g_n → ginH¹
  ₀(Ω). Hence for h ∈ C^∞(T²) and D = a∂_x + b∂_y,

${\displaystyle \iint _{\Omega }\left(g($Dh)+(Dg)h\right)\,dx\,dy=\lim _{n\to 0}\iint _{\Omega }\left(g(Dh_{n})+(Dg)h_{n}\right)\,dx\,dy=0.}

ByGreen's theorem this implies

${\displaystyle \int _{\partial \Omega }gk=0,}$

where

${\displaystyle k=h\cos \left(\mathbf {n} \cdot (a,b)\right),}$

with n the unit normal to the boundary. Since such k form a dense subspace of L²(Ω), it follows that g = 0on∂Ω.

• Support properties: Let Ω^c be the complement of Ω and define restricted Sobolev spaces analogously for Ω^c. Both sets of spaces have a natural pairing with C^∞(T²). The Sobolev space for Ω is the annihilator in the Sobolev space for T²ofC^∞
  _c(Ω^c) and that for Ω^c is the annihilator of C^∞
  _c(Ω).^[2] In fact this is proved by locally applying a small translation to move the domain inside itself and then smoothing by a smooth convolution operator.

Suppose ginH^k(T²) annihilates C^∞
_c(Ω^c). By compactness, there are finitely many open sets U₀, U₁, ... , U_N covering Ω such that the closure of U₀ is disjoint from ∂Ω and each U_i is an open disc about a boundary point z_i such that in U_i small translations in the direction of the normal vector n_i carry Ω into Ω. Add an open U_N+1 with closure in Ω^c to produce a cover of T² and let ψ_i be a partition of unity subordinate to this cover. If translation by n is denoted by λ_n, then the functions

${\displaystyle g_{t}=\psi _{0}g+\sum _{i=1}^{N}\psi _{n}\lambda _{tn_{i}}g}$

tend to gast decreases to 0 and still lie in the annihilator, indeed they are in the annihilator for a larger domain than Ω^c, the complement of which lies in Ω. Convolving by smooth functions of small support produces smooth approximations in the annihilator of a slightly smaller domain still with complement in Ω. These are necessarily smooth functions of compact support in Ω.

• Further vanishing properties on the boundary: The characterization in terms of annihilators shows that  f  ∈ C^k(Ω) lies in H^k
  ₀(Ω) if (and only if) it and its derivatives of order less than k vanish on ∂Ω.^[3] In fact  f  can be extended to T² by setting it to be 0onΩ^c. This extension F defines an element in H^k(T²) using the formula for the norm

${\displaystyle \|h\|_{($k)}^{2}=\sum _{j=0}^{k}{k \choose j}\left\|\partial _{x}^{j}\partial _{y}^{k-j}h\right\|^{2}.}

Moreover F satisfies (F, g) = 0 for ginC^∞
_c(Ω^c).

• Duality: For k ≥ 0, define H^−k(Ω) to be the orthogonal complement of H^−k
  ₀(Ω^c)inH^−k(T²). Let P_k be the orthogonal projection onto H^−k(Ω), so that Q_k = I − P_k is the orthogonal projection onto H^−k
  ₀(Ω^c). When k = 0, this just gives H⁰(Ω) = L²(Ω). If  f  ∈ H^k
  ₀(Ω^c) and g ∈ H^−k(T²), then

${\displaystyle (f,g)=(f,P_{k}g).}$

This implies that under the pairing between H^k(T²) and H^−k(T²), H^k
₀(Ω^c) and H^−k(Ω) are each other's duals.

• Approximation by smooth functions: The image of C^∞
  _c(Ω) is dense in H^−k(Ω) for k ≤ 0. This is obvious for k = 0 since the sum C^∞
  _c(Ω) + C^∞
  _c(Ω^c) is dense in L²(T²). Density for k < 0 follows because the image of L²(T²) is dense in H^−k(T²) and P_k annihilates C^∞
  _c(Ω^c).
• Canonical isometries: The operator (I + ∆)^k gives an isometry of H^2k
  ₀(Ω) into H⁰(Ω) and of H^k
  ₀(Ω) onto H^−k(Ω). In fact the first statement follows because it is true on T². That (I + ∆)^k is an isometry on H^k
  ₀(Ω) follows using the density of C^∞
  _c(Ω)inH^−k(Ω): for  f, g ∈ C^∞
  _c(Ω) we have:

${\displaystyle {\begin{aligned}\left\|P_{k}(I+\Delta )^{k}f\right\|_{(-k)}&=\sup _{\|g\|_{(-k)}=1}\left|\left((I+\Delta )^{k}f,g\right)_{(-k)}\right|\\&=\sup _{\|g\|_{(-k)}=1}|(f,g)|\\&=\|f\|_{($k)}.\end{aligned}}}

Since the adjoint map between the duals can by identified with this map, it follows that (I + ∆)^k is a unitary map.

Application to Dirichlet problem[edit]

Invertibility of ∆[edit]

The operator ∆ defines an isomorphism between H¹
₀(Ω) and H⁻¹(Ω). In fact it is a Fredholm operator of index 0. The kernel of ∆inH¹(T²) consists of constant functions and none of these except zero vanish on the boundary of Ω. Hence the kernel of H¹
₀(Ω)is(0) and ∆ is invertible.

In particular the equation ∆f = g has a unique solution in H¹
₀(Ω) for ginH⁻¹(Ω).

Eigenvalue problem[edit]

Let T be the operator on L²(Ω) defined by

${\displaystyle T=R_{1}\Delta ^{-1}R_{0},}$

where R₀ is the inclusion of L²(Ω)inH⁻¹(Ω) and R₁ofH¹
₀(Ω)inL²(Ω), both compact operators by Rellich's theorem. The operator T is compact and self-adjoint with (Tf, f ) > 0 for all f. By the spectral theorem, there is a complete orthonormal set of eigenfunctions f_ninL²(Ω) with

${\displaystyle Tf_{n}=\mu _{n}f_{n},\qquad \mu _{n}>0,\mu _{n}\to 0.}$

Since μ_n > 0, f_n lies in H¹
₀(Ω). Setting λ_n = μ_−n, the f_n are eigenfunctions of the Laplacian:

${\displaystyle \Delta f_{n}=\lambda _{n}f_{n},\qquad \lambda _{n}>0,\lambda _{n}\to \infty .}$

Sobolev spaces without boundary condition[edit]

To determine the regularity properties of the eigenfunctions  f_n  and solutions of

${\displaystyle \Delta f=u,\qquad u\in H^{-1}(\Omega ),f\in H_{0}^{1}(\Omega ),}$

enlargements of the Sobolev spaces H^k
₀(Ω) have to be considered. Let C^∞(Ω⁻) be the space of smooth functions on Ω which with their derivatives extend continuously to Ω. By Borel's lemma, these are precisely the restrictions of smooth functions on T². The Sobolev space H^k(Ω) is defined to the Hilbert space completion of this space for the norm

${\displaystyle \|f\|_{($k)}^{2}=\sum _{j=0}^{k}{k \choose j}\left\|\partial _{x}^{j}\partial _{y}^{k-j}f\right\|^{2}.}

This norm agrees with the Sobolev norm on C^∞
_c(Ω) so that H^k
₀(Ω) can be regarded as a closed subspace of H^k(Ω). Unlike H^k
₀(Ω), H^k(Ω) is not naturally a subspace of H^k(T²), but the map restricting smooth functions from T²toΩ is continuous for the Sobolev norm so extends by continuity to a map ρ_k : H^k(T²) → H^k(Ω).

• Invariance under diffeomorphism: Any diffeomorphism between the closures of two smooth domains induces an isomorphism between the Sobolev space. This is a simple consequence of the chain rule for derivatives.
• Extension theorem: The restriction of ρ_k to the orthogonal complement of its kernel defines an isomorphism onto H^k(Ω). The extension map E_k is defined to be the inverse of this map: it is an isomorphism (not necessarily norm preserving) of H^k(Ω) onto the orthogonal complement of H^k
  ₀(Ω^c) such that ρ_k ∘ E_k = I. On C^∞
  _c(Ω), it agrees with the natural inclusion map. Bounded extension maps E_k of this kind from H^k(Ω)toH^k(T²) were constructed first constructed by Hestenes and Lions. For smooth curves the Seeley extension theorem provides an extension which is continuous in all the Sobolev norms. A version of the extension which applies in the case where the boundary is just a Lipschitz curve was constructed by Calderón using singular integral operators and generalized by Stein (1970).

It is sufficient to construct an extension E for a neighbourhood of a closed annulus, since a collar around the boundary is diffeomorphic to an annulus I × T with I a closed interval in T. Taking a smooth bump function ψ with 0 ≤ ψ ≤ 1, equal to 1 near the boundary and 0 outside the collar, E(ψf ) + (1 − ψ) f  will provide an extension on Ω. On the annulus, the problem reduces to finding an extension for C^k( I )inC^k(T). Using a partition of unity the task of extending reduces to a neighbourhood of the end points of I. Assuming 0 is the left end point, an extension is given locally by

${\displaystyle E($f)=\sum _{m=0}^{k}a_{m}f\left(-{\frac {x}{m+1}}\right).}

Matching the first derivatives of order k or less at 0, gives

${\displaystyle \sum _{m=0}^{k}(-m-1)^{-k}a_{m}=1.}$

This matrix equation is solvable because the determinant is non-zero by Vandermonde's formula. It is straightforward to check that the formula for E( f ), when appropriately modified with bump functions, leads to an extension which is continuous in the above Sobolev norm.^[4]

• Restriction theorem: The restriction map ρ_k is surjective with ker ρ_k = H^k
  ₀(Ω^c). This is an immediate consequence of the extension theorem and the support properties for Sobolev spaces with boundary condition.
• Duality: H^k(Ω) is naturally the dual of H^−k₀(Ω). Again this is an immediate consequence of the restriction theorem. Thus the Sobolev spaces form a chain:

${\displaystyle \cdots \subset H^{2}(\Omega )\subset H^{1}(\Omega )\subset H^{0}(\Omega )\subset H_{0}^{-1}(\Omega )\subset H_{0}^{-2}(\Omega )\subset \cdots }$

The differentiation operators ∂_x, ∂_y carry each Sobolev space into the larger one with index 1 less.

• Sobolev embedding theorem: H^k+2(Ω) is contained in C^k(Ω⁻). This is an immediate consequence of the extension theorem and the Sobolev embedding theorem for H^k+2(T²).
• Characterization: H^k(Ω) consists of  f inL²(Ω) = H⁰(Ω) such that all the derivatives ∂^αf lie in L²(Ω) for |α| ≤ k. Here the derivatives are taken within the chain of Sobolev spaces above.^[5] Since C^∞
  _c(Ω) is weakly dense in H^k(Ω), this condition is equivalent to the existence of L² functions f_α such that

${\displaystyle \left(f_{\alpha },\varphi \right)=(-1)^{|\alpha |}\left(f,\partial ^{\alpha }\varphi \right),\qquad |\alpha |\leq k,\varphi \in C_{c}^{\infty }(\Omega ).}$

To prove the characterization, note that if  f  is in H^k(Ω), then ∂^αf  lies in H^k−|α|(Ω) and hence in H⁰(Ω) = L²(Ω). Conversely the result is well known for the Sobolev spaces H^k(T²): the assumption implies that the (∂_x − i∂_y)^k f  is in L²(T²) and the corresponding condition on the Fourier coefficients of  f  shows that  f  lies in H^k(T²). Similarly the result can be proved directly for an annulus [−δ, δ] × T. In fact by the argument on T₂ the restriction of  f  to any smaller annulus [−δ',δ'] × T lies in H^k: equivalently the restriction of the function  f_R (x, y) = f (Rx, y) lies in H^k for R >1. On the other hand ∂^α f_R → ∂^α finL²asR → 1, so that  f  must lie in H^k. The case for a general domain Ω reduces to these two cases since  f  can be written as  f = ψf + (1 − ψ) f  with ψ a bump function supported in Ω such that 1 − ψ is supported in a collar of the boundary.

• Regularity theorem:If f inL²(Ω) has both derivatives ∂_x f and ∂_y finH^k(Ω) then  f  lies in H^k+1(Ω). This is an immediate consequence of the characterization of H^k(Ω) above. In fact if this is true even when satisfied at the level of distributions: if there are functions g, hinH^k(Ω) such that (g,φ) = (f, φ_x) and (h,φ) = (f,φ_y) for φ in C^∞
  _c(Ω), then  f  is in H^k+1(Ω).
• Rotations on an annulus: For an annulus I × T, the extension map to T² is by construction equivariant with respect to rotations in the second variable,

${\displaystyle R_{t}f(x,y)=f(x,y+t).}$

OnT² it is known that if  f  is in H^k, then the difference quotient δ_h f = h⁻¹(R_h f − f ) → ∂_y f inH^k−1; if the difference quotients are bounded in H^k then ∂_yf lies in H^k. Both assertions are consequences of the formula:

${\displaystyle {\widehat {\delta _{h}f}}(m,n)=h^{-1}(e^{-ihn}-1){\widehat {f}}(m,n)=-\int _{0}^{1}ine^{-inht}\,dt\,\,{\widehat {f}}(m,n).}$

These results on T² imply analogous results on the annulus using the extension.

Regularity for Dirichlet problem[edit]

Regularity for dual Dirichlet problem[edit]

If∆u = f with uinH¹
₀(Ω) and finH^k−1(Ω) with k ≥ 0, then u lies in H^k+1(Ω).

Take a decomposition u = ψu + (1 − ψ)u with ψ supported in Ω and 1 − ψ supported in a collar of the boundary. Standard Sobolev theory for T² can be applied to ψu: elliptic regularity implies that it lies in H^k+1(T²) and hence H^k+1(Ω). v = (1 − ψ)u lies in H¹
₀ of a collar, diffeomorphic to an annulus, so it suffices to prove the result with Ω a collar and ∆ replaced by

${\displaystyle {\begin{aligned}\Delta _{1}&=\Delta -[\Delta ,\psi ]\\&=\Delta +\left(p\partial _{x}+q\partial _{y}-\Delta \psi \right)\\&=\Delta +X.\end{aligned}}}$

The proof^[6] proceeds by induction on k, proving simultaneously the inequality

${\displaystyle \|u\|_{(k+1)}\leq C\|\Delta _{1}u\|_{(k-1)}+C\|u\|_{($k)},}

for some constant C depending only on k. It is straightforward to establish this inequality for k = 0, where by density u can be taken to be smooth of compact support in Ω:

${\displaystyle {\begin{aligned}\|u\|_{($1)}^{2}&=|(\Delta u,u)|\\&\leq |(\Delta _{1}u,u)|+|(Xu,u)|\\&\leq \|\Delta _{1}u\|_{(-1)}\|u\|_{(1)}+C^{\prime }\|u\|_{(1)}\|u\|_{(0)}.\end{aligned}}}

The collar is diffeomorphic to an annulus. The rotational flow R_t on the annulus induces a flow S_t on the collar with corresponding vector field Y = r∂_x + s∂_y. Thus Y corresponds to the vector field ∂_θ. The radial vector field on the annulus r∂_r is a commuting vector field which on the collar gives a vector field Z = p∂_x + q∂_y proportional to the normal vector field. The vector fields Y and Z commute.

The difference quotients δ_hu can be formed for the flow S_t. The commutators [δ_h, ∆₁] are second order differential operators from H^k+1(Ω)toH^k−1(Ω). Their operators norms are uniformly bounded for h near 0; for the computation can be carried out on the annulus where the commutator just replaces the coefficients of ∆₁ by their difference quotients composed with S_h. On the other hand, v = δ_hu lies in H¹
₀(Ω), so the inequalities for u apply equally well for v:

${\displaystyle {\begin{aligned}\|\delta _{h}u\|_{(k+1)}&\leq C\|\Delta _{1}\delta _{h}u\|_{(k-1)}+C\|\delta _{h}u\|_{($k)}\\&\leq C\|\delta _{h}\Delta _{1}u\|_{(k-1)}+C\|[\delta _{h},\Delta _{1}]u\|_{(k-1)}+C\|\delta _{h}u\|_{(k)}\\&\leq C\|\Delta _{1}u\|_{(k)}+C^{\prime }\|u\|_{(k+1)}.\end{aligned}}}

The uniform boundedness of the difference quotients δ_hu implies that Yu lies in H^k+1(Ω) with

${\displaystyle \|Yu\|_{(k+1)}\leq C\|\Delta _{1}u\|_{($k)}+C^{\prime }\|u\|_{(k+1)}.}

It follows that Vu lies in H^k+1(Ω) where V is the vector field

${\displaystyle V={\frac {Y}{\sqrt {r^{2}+s^{2}}}}=a\partial _{x}+b\partial _{y},\qquad a^{2}+b^{2}=1.}$

Moreover, Vu satisfies a similar inequality to Yu.

${\displaystyle \|Vu\|_{(k+1)}\leq C^{\prime \prime }\left(\|\Delta _{1}u\|_{($k)}+\|u\|_{(k+1)}\right).}

Let W be the orthogonal vector field

${\displaystyle W=-b\partial _{x}+a\partial _{y}.}$

It can also be written as ξZ for some smooth nowhere vanishing function ξ on a neighbourhood of the collar.

It suffices to show that Wu lies in H^k+1(Ω). For then

${\displaystyle (V\pm iW)u=(a\mp ib)\left(\partial _{x}\pm i\partial _{y}\right)u,}$

so that ∂_xu and ∂_yu lie in H^k+1(Ω) and u must lie in H^k+2(Ω).

To check the result on Wu, it is enough to show that VWu and W²u lie in H^k(Ω). Note that

${\displaystyle {\begin{aligned}A&=\Delta -V^{2}-W^{2},\\B&=[V,W],\end{aligned}}}$

are vector fields. But then

${\displaystyle {\begin{aligned}W^{2}u&=\Delta u-V^{2}u-Au,\\VWu&=WVu+Bu,\end{aligned}}}$

with all terms on the right hand side in H^k(Ω). Moreover, the inequalities for Vu show that

${\displaystyle {\begin{aligned}\|Wu\|_{(k+1)}&\leq C\left(\|VWu\|_{($k)}+\left\|W^{2}u\right\|_{(k)}\right)\\&\leq C\left\|\left(\Delta -V^{2}-A\right)u\right\|_{(k)}+C\|(WV+B)u\|_{(k)}\\&\leq C_{1}\|\Delta _{1}u\|_{(k)}+C_{1}\|u\|_{(k+1)}.\end{aligned}}}

Hence

${\displaystyle {\begin{aligned}\|u\|_{(k+2)}&\leq C\left(\|Vu\|_{(k+1)}+\|Wu\|_{(k+1)}\right)\\&\leq C^{\prime }\|\Delta _{1}u\|_{($k)}+C^{\prime }\|u\|_{(k+1)}.\end{aligned}}}

Smoothness of eigenfunctions[edit]

It follows by induction from the regularity theorem for the dual Dirichlet problem that the eigenfunctions of ∆inH¹
₀(Ω) lie in C^∞(Ω⁻). Moreover, any solution of ∆u = f with finC^∞(Ω⁻) and uinH¹
₀(Ω) must have uinC^∞(Ω⁻). In both cases by the vanishing properties, the eigenfunctions and u vanish on the boundary of Ω.

Solving the Dirichlet problem[edit]

The dual Dirichlet problem can be used to solve the Dirichlet problem:

${\displaystyle {\begin{cases}\Delta f|_{\Omega }=0\\f|_{\partial \Omega }=g&g\in C^{\infty }(\partial \Omega )\end{cases}}}$

By Borel's lemma g is the restriction of a function GinC^∞(Ω⁻). Let F be the smooth solution of ∆F = ∆G with F = 0on∂Ω. Then f = G − F solves the Dirichlet problem. By the maximal principle, the solution is unique.^[7]

Application to smooth Riemann mapping theorem[edit]

The solution to the Dirichlet problem can be used to prove a strong form of the Riemann mapping theorem for simply connected domains with smooth boundary. The method also applies to a region diffeomorphic to an annulus.^[8] For multiply connected regions with smooth boundary Schiffer & Hawley (1962) have given a method for mapping the region onto a disc with circular holes. Their method involves solving the Dirichlet problem with a non-linear boundary condition. They construct a function g such that:

• g is harmonic in the interior of Ω;
• On∂Ω we have: ∂_ng = κ − Ke^G, where κ is the curvature of the boundary curve, ∂_n is the derivative in the direction normal to ∂Ω and K is constant on each boundary component.

Taylor (2011) gives a proof of the Riemann mapping theorem for a simply connected domain Ω with smooth boundary. Translating if necessary, it can be assumed that 0 ∈ Ω. The solution of the Dirichlet problem shows that there is a unique smooth function U(z)onΩ which is harmonic in Ω and equals −log|z|on∂Ω. Define the Green's functionbyG(z) = log|z| + U(z). It vanishes on ∂Ω and is harmonic on Ω away from 0. The harmonic conjugate VofU is the unique real function on Ω such that U + iV is holomorphic. As such it must satisfy the Cauchy–Riemann equations:

${\displaystyle {\begin{aligned}U_{x}&=-V_{y},\\U_{y}&=V_{x}.\end{aligned}}}$

The solution is given by

${\displaystyle V($z)=\int _{0}^{z}-U_{y}dx+V_{x}dy,}

where the integral is taken over any path in Ω. It is easily verified that V_x and V_y exist and are given by the corresponding derivatives of U. Thus V is a smooth function on Ω, vanishing at 0. By the Cauchy-Riemann  f = U + iV is smooth on Ω, holomorphic on Ω and  f (0) = 0. The function H = arg z + V(z) is only defined up to multiples of 2π, but the function

${\displaystyle F($z)=e^{G(z)+iH(z)}=ze^{f(z)}}

is a holomorphic on Ω and smooth on Ω. By construction, F(0) = 0 and |F(z)| = 1 for z ∈ ∂Ω. Since z has winding number 1, so too does F(z). On the other hand, F(z) = 0 only for z = 0 where there is a simple zero. So by the argument principle F assumes every value in the unit disc, D, exactly once and F′ does not vanish inside Ω. To check that the derivative on the boundary curve is non-zero amounts to computing the derivative of e^iH, i.e. the derivative of H should not vanish on the boundary curve. By the Cauchy-Riemann equations these tangential derivative are up to a sign the directional derivative in the direction of the normal to the boundary. But G vanishes on the boundary and is strictly negative in Ω since |F| = e^G. The Hopf lemma implies that the directional derivative of G in the direction of the outward normal is strictly positive. So on the boundary curve, F has nowhere vanishing derivative. Since the boundary curve has winding number one, F defines a diffeomorphism of the boundary curve onto the unit circle. Accordingly, F : Ω → D is a smooth diffeomorphism, which restricts to a holomorphic map Ω → D and a smooth diffeomorphism between the boundaries.

Similar arguments can be applied to prove the Riemann mapping theorem for a doubly connected domain Ω bounded by simple smooth curves C_i (the inner curve) and C_o (the outer curve). By translating we can assume 1 lies on the outer boundary. Let u be the smooth solution of the Dirichlet problem with U = 0 on the outer curve and −1 on the inner curve. By the maximum principle 0 < u(z) <1 for zinΩ and so by the Hopf lemma the normal derivatives of u are negative on the outer curve and positive on the inner curve. The integral of −u_ydx + u_ydx over the boundary is zero by Stoke's theorem so the contributions from the boundary curves cancel. On the other hand, on each boundary curve the contribution is the integral of the normal derivative along the boundary. So there is a constant c > 0 such that U = cu satisfies

${\displaystyle \int _{C}\left(-U_{y}\,dx+U_{x}\,dy\right)=2\pi }$

on each boundary curve. The harmonic conjugate VofU can again be defined by

${\displaystyle V($z)=\int _{1}^{z}-u_{y}\,dx+u_{x}\,dy}

and is well-defined up to multiples of 2π. The function

${\displaystyle \displaystyle {F($z)=e^{U(z)+iV(z)}}}

is smooth on Ω and holomorphic in Ω. On the outer curve |F| = 1 and on the inner curve |F| = e^−c = r <1. The tangential derivatives on the outer curves are nowhere vanishing by the Cauchy-Riemann equations, since the normal derivatives are nowhere vanishing. The normalization of the integrals implies that F restricts to a diffeomorphism between the boundary curves and the two concentric circles. Since the images of outer and inner curve have winding number 1 and 0 about any point in the annulus, an application of the argument principle implies that F assumes every value within the annulus r < |z| <1 exactly once; since that includes multiplicities, the complex derivative of F is nowhere vanishing in Ω. This F is a smooth diffeomorphism of Ω onto the closed annulus r ≤ |z| ≤ 1, restricting to a holomorphic map in the interior and a smooth diffeomorphism on both boundary curves.

Trace map[edit]

The restriction map τ : C^∞(T²) → C^∞(T) = C^∞(1 × T) extends to a continuous map H^k(T²) → H^{k − 1/2}(T) for k ≥ 1.^[9] In fact

${\displaystyle \displaystyle {{\widehat {\tau f}}($n)=\sum _{m}{\widehat {f}}(m,n),}}

so the Cauchy–Schwarz inequality yields

${\displaystyle {\begin{aligned}\left|{\widehat {\tau f}}($n)\right|^{2}\left(1+n^{2}\right)^{k-{\frac {1}{2}}}&\leq \left(\sum _{m}{\frac {\left(1+n^{2}\right)^{k-{\frac {1}{2}}}}{\left(1+m^{2}+n^{2}\right)^{k}}}\right)\left(\sum _{m}\left|{\widehat {f}}(m,n)\right|^{2}\left(1+m^{2}+n^{2}\right)^{k}\right)\\&\leq C_{k}\sum _{m}\left|{\widehat {f}}(m,n)\right|^{2}\left(1+m^{2}+n^{2}\right)^{k},\end{aligned}}}

where, by the integral test,

${\displaystyle {\begin{aligned}C_{k}&=\sup _{n}\sum _{m}{\frac {\left(1+n^{2}\right)^{k-{\frac {1}{2}}}}{\left(1+m^{2}+n^{2}\right)^{k}}}<\infty ,\\c_{k}&=\inf _{n}\sum _{m}{\frac {\left(1+n^{2}\right)^{k-{\frac {1}{2}}}}{\left(1+m^{2}+n^{2}\right)^{k}}}>0.\end{aligned}}}$