Harmonic Deformation of Planar Curves

We establish a principle of deformation of an arbitrary planar curve, so that the integral of a harmonic function over this curve does not change. The equations of deformation can be derived from a specific “potential.” Several applications are presented.


Introduction
Let Ω ⊆ Ê 2 be an open set.A function h : Ω → Ê with continuous second partial derivatives is called harmonic if ∂ 2 h x, y / ∂x 2 ∂ 2 h x, y / ∂y 2 0 for all x, y ∈ Ω.As is well known, such a function has the following mean value property: for every disk {z ∈ Ê 2 ; |z − z 0 | ≤ r} ⊆ Ω, z 0 x 0 , y 0 , r ≥ 0, it holds that 1 2π 2π 0 h x 0 r cos t, y 0 r sin t dt h x 0 , y 0 .

1.1
Now let us look at this property from a slightly different point of view.We will not consider the recovering of h at the center of the circle as crucial but the fact that the left side of 1.1 is independent of r.In other words, h has the same mean value over all concentric circles with center x 0 , y 0 .
We give two further examples.
Let us consider a family of confocal ellipses in Ω, centered at 0, 0 .Taking −c, 0 and c, 0 for their foci c > 0 , the ellipses are given by equations of the form x 2 / c 2 cosh 2 r y 2 / c 2 sinh 2 r 1.For a harmonic function h : Ω → Ê , it then holds see, e.g., 1 that 1 2π 2π 0 h c cosh r cos t, c sinh r sin t dt Here, of course, it is necessary that Ω contains the interiors of all ellipses of the family.Therefore, the left side of 1.2 is independent of r, and h has the same mean value in this precise sense over all confocal ellipses with foci at −c, 0 and c, 0 .Finally, let Ω be so big that it contains a family of confocal hyperbolas together with their interiors with foci at −c, 0 and c, 0 c > 0 .Such hyperbolas emerge from equations of the form x 2 / c 2 cos 2 r −y 2 / c 2 sin 2 r 1, and we restrict ourselves to their "right" branches x > 0 .For a bounded harmonic function h : Ω → Ê , for which there exists r 0 > 0 such that t → h c cos r 0 cosh t, c sin r 0 sinh t is integrable over Ê , it then holds for 0 Again, the left side is independent of r, and h has the same mean value over all these confocal hyperbolas.Thus, naturally the question arises, whether, given a curve in Ω, it can be deformed in such a way that the mean value over it of a harmonic function does not change.In this paper we introduce a general principle of deformation and derive the equations of the family curves explicitly.This principle serves a double purpose: on the one hand it offers a unified reasoning for 1.1 , 1.2 , and 1.3 , and on the other it turns out to be a source of further examples of families of curves that leave the harmonic mean value unchanged.Now let us set out the framework and specify the notion of "mean value" that we are going to study.
Let I ⊆ Ê be an interval, The last equation will be regarded as the invariance of the mean value of h over the curves t → x s, t , y s, t for all s ∈ J.
Having the examples 1.This is not really a restriction when I is compact and all the curves of the family are closed the boundedness of h can be achieved by shrinking Ω , but it is crucial in situations like 1.3 , where I has infinite length.It seems that the use of h is no less than the key, which opens the way to a unified treatment of the cases of bounded and unbounded I.It also seems unlikely that the conditions of boundedness and 1.8 for h could be formulated in terms of h.Consider, e.g., h x, y ≡ x on Ω 1 : Ê× − 1, 1 and on Ω 2 : { x, y ; |y| < 1 |x|}.
In this framework we are going to show that if s, t −→ x s, t , y s, t , 1.9 is a conformal mapping satisfying 1.5 , 1.6 , and 1.8 , then 1.7 holds.This will establish the principle of deformation.
In the present paper we restrict ourselves to mean values where the measure is given by the curve parameter t.Note that a parameter change affects the conformality of 1.9 because of 1.6 .However, the same principle of deformation can serve to treat more general cases of measures, where a weight function w enters: I h x s, t , y s, t w s, t dt.

1.10
Since this is far more difficult, it will be studied in a future paper.

Principle and Equations of Deformation
The principle of deformation is as follows.
Theorem 2.1.Let Ω ⊆ Ê 2 be a simply connected open set, t → x 0 t , y 0 t ∈ Ω a smooth curve defined on an interval I ⊆ Ê .Furthermore, let J ⊆ Ê be an open interval with 0 ∈ J and

2.4
Now, since h is bounded, the limit for b → sup I and a → inf I on the right side can be taken under the integral sign, and 1.7 is established.
On the basis of this theorem we derive the equations of deformation.From 2.2 it follows that there exists a harmonic function v v s, t on J × I such that x ∂v ∂t , y ∂v ∂s .

2.6
Thus, v satisfies a Cauchy problem with initial data 2.6 and is therefore determined up to an additive constant.
Let us now give a series representation of v. From 2.6 and the harmonicity of v, it inductively follows that

2.7
This leads to the series expansion on the basis of which, together with ∂v 0, t /∂t x 0 t , 2.5 constitutes the equations of deformation.The s-interval of convergence of 2.8 depends, of course, on the initial curve x 0 , y 0 .Furthermore, it clearly follows from the equations of deformation that if I t → x 0 t , y 0 t is a closed curve which can be extended to a smooth periodic map for all t ∈ R , then I t → x s, t , y s, t remains closed for every s ∈ J.
Such a function v which is determined up to a constant will be called a d-potential from the word deformation of the curve x 0 t , y 0 t .This should not be confused with the Schwarz potential of this curve see 3 .

Applications
We start by briefly revisiting the situations in 1.1 , 1.2 , and 1.3 , now as applications of the d-potential, and continue with further interesting examples.
I If x 0 t , y 0 t a R cos t, b R sin t for t ∈ 0, 2π , then by 2.8 and ∂v 0, t /∂t x 0 t the d-potential is  with c √ a 2 b 2 and s 0 arcsin b/c .This is a family of confocal hyperbolas with foci at −c, 0 and c, 0 .Of course, here we have to put the conditions of boundedness and 1.8 for h.In particular, if h is defined on the "right" half-plane and is continuous into the boundary, then it holds

3.7
IV Let Ω be the upper half-plane.For the base curve we take the straight line and x s, t t, y s, t −s 1.Thus, under the mentioned conditions on h, a harmonic function h on Ω has the same integral over all straight lines parallel to the boundary.
V Consider the starlike curve x 0 t , y 0 t cos 3 t, sin 3 t for t ∈ 0, 2π .On the basis of the relations cos 3 t cos 3t 3 cos t /4 and sin 3 t 3 sin t − sin 3t /4, arbitrary derivatives can be computed as follows: for k ≥ 0.

3.9
This allows the d-potential to be given explicitly as follows:  We have

Figure 2
Figure1 1 , 1.2 , and 1.3 in mind, we now make the following assumption.If h : Ω → Ê is a harmonic conjugate function to h i.e., h i h is holomorphic on Ω , then h is bounded and lim t → inf I h x s, t , y s, t lim t → sup I h x s, t , y s, t for every s ∈ J. 1.8 If h : Ω → Ê is a harmonic function for which there exists a bounded harmonic conjugate h : Ω → Ê and 1.8 holds, then 1.7 holds.Proof.Since Ω is simply connected, a harmonic conjugate function h to h exists and is determined up to a constant.We fix such an h and assume it bounded.
h x s, b , y s, b − h x s, a , y s, a .s0 h x s , b , y s , b − h x s , a , y s , a ds .
− b 2 and s 0 arsinh b/c .This is a family parametrized by s of confocal ellipses with foci at −c, 0 and c, 0 .
sin t sinh s bs at bs Re s sin t d with d ∈ Ê .a family parametrized by s of circles with center a, b .a sin t cosh s b sin t sinh s d with d ∈ Ê .III For the hyperbola x 0 t , y 0 t a cosh t, b sinh t with a, b > 0 and t ∈ Ê , we have Bernoulli's lemniscate is given by x 2 y 2 2 c x 2 − y 2 , c > 0.VI It seems difficult to compute the d-potential of Bernoulli's lemniscate explicitly.The opposite is true in the case of Gerono's lemniscate with equation x 4 a 2 x 2 − y 2 , a > 0. It is parametrized by x 0 t , y 0 t a sin t, a sin t cos t for t ∈ 0, 2π .
cos t, y t 2 − s22s e −s cos t d with d ∈ Ê .which is a prolate cycloid for s < 0 and a curtate one for s > 0 up to a vertical displacement by |s| .