Fredholm eigenvalue of a Jordan curve

Let be a smooth Jordan curve (of class ) in the complex -plane, its interior, its exterior. Then, let

be the corresponding classical Neumann kernel with the interior normal. The Fredholm eigenvalue of is the smallest eigenvalue of this kernel.

This eigenvalue plays an important role for the speed of the successive approximation solution of several problems, such as the integral equation with this kernel corresponding to the Dirichlet problem and several integral equations to construct the conformal Riemann mapping function of [a1].

For arbitrary Jordan curves , there is the following characterization of the Fredholm eigenvalue [a4]:

where the supremum is over all functions that are continuous in the extended plane and harmonic in and in , with corresponding Dirichlet integrals and (cf. also Dirichlet integral).

One has: , with if and only if is a circle, and with if and only if is a quasi-circle [a4], [a2]. In some sense, is a measure for the deviation of from a circle. is invariant under Möbius transformations (cf. also Fractional-linear mapping).

The exact value of is known for several special Jordan curves: e.g. ellipses, some Cassinians, triangles, regular -gons, and rectangles close to a square.

There is also the following characterization of , using the Riemann mapping of . Without loss of generality one may assume that is the image of under a univalent conformal mapping (cf. also Conformal mapping) of the form

One can then calculate the so-called Grunsky coefficients in the development

Then

where the supremum is taken over all complex numbers with . This gives also a procedure to evaluate numerically [a2].

Hence one obtains simple upper estimates for , of course. There are many other such estimates in which the mapping is involved [a2]. As a simple consequence, there is the following very useful inequality for Jordan curves with corners [a2]:

Here, denotes the angle at the corner.

For large one finds [a2] that must be contained in an annulus with radii and such that separates the boundary circles with these radii. However, in the other direction, can be close to even though lies, in the same manner, in an annulus for which the quotient of the radii is arbitrarily close to .

There are also several lower estimates from M. Schiffer and others for [a1], [a2], [a4]. If, for example, is the image of under a univalent conformal mapping of an annulus (), then

L.V. Ahlfors noted a remarkable interaction between the theory of Fredholm eigenvalues and the theory of quasi-conformal mapping: If there is a -quasi-conformal reflection at (i.e., a sense-reversing -quasi-conformal mapping of the extended plane which leaves pointwise fixed), then [a2], [a4]

The question of equality gives rise to interesting connections with the theory of extremal quasi-conformal mappings (connected with the names of O. Teichmüller, K. Strebel, E. Reich; cf. [a2]).

From this Ahlfors inequality one obtains almost immediately [a2], [a4]:

if is smooth and starlike with respect to the interior point , where denotes the angle between the ray and the tangent at the point of with .

For a theory of Fredholm eigenvalues for multiply-connected domains, see [a3].

References

[a1]	D. Gaier, "Konstruktive Methoden der konformen Abbildung" , Springer (1964)
[a2]	R. Kühnau, "Möglichst konforme Spiegelung an einer Jordankurve" Jahresber. Deutsch. Math. Ver. , 90 (1988) pp. 90–109
[a3]	M. Schiffer, "Fredholm eigenvalues of multiply-connected domains" Pacific J. Math. , 9 (1959) pp. 211–269
[a4]	G. Schober, "Estimates for Fredholm eigenvalues based on quasiconformal mapping" , Lecture Notes Math. , 333 , Springer (1973) pp. 211–217