Abstract
Generalized Fourier–Mellin transforms for analytic functions defined in simply connected circular domains are derived. Circular domains are taken to be those with boundaries that are a finite union of circular arcs, including straight line edges. The results are an extension to circular domains of the generalized Fourier transforms for convex polygons (having only straight line edges) derived by Fokas and Kapaev (IMA J Appl Math 68:355–408, 2003). First, a new, elementary derivation of the latter result for polygons is given based on Cauchy’s integral formula and a spectral representation of the Cauchy kernel. This rederivation extends in a natural way to the case of circular domains once an adapted spectral representation of the Cauchy kernel is established. Domains with boundaries that are a combination of circular arc and straight line edges can be treated similarly. The newly derived transforms are generalizations of the classical Fourier and Mellin transforms to general circular domains. It is shown by example how they can be used to solve boundary value problems for Laplace’s equation in such domains. The notions of spectral matrix and fundamental contour, which arise naturally in the formulation, are also introduced.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The last two decades have seen the emergence of a set of mathematical ideas and techniques which have become known collectively as the unified transform method. It has been pioneered by Fokas and collaborators [16, 18] and it is often called the Fokas method. For the most recent survey of this method the reader is referred to [17]. Part of this collective involves the reappraisal of classical boundary value problems for linear partial differential equations using the lessons learned from the study of nonlinear integrable systems. While the scope of the unified transform method is broad, the present article has been inspired by novel insights that this impactful method has brought to the area of complex analysis and function theory.
Specifically, in studying mixed boundary value problems for Laplace’s equation in a convex polygon, Fokas and Kapaev [14] produced what appears to be a completely novel constructive method for their solution. The heart of the method, which developed ideas set out earlier by Fokas and Gel’fand [12], is the spectral analysis of one of the equations of a certain Lax pair (by means of Riemann–Hilbert techniques) and it leads eventually to the analysis of a so-called global relation. Interestingly, the approach also gives rise to a new integral representation for analytic functions in a convex polygon, one that generalizes the classical Fourier transform (naturally associated to a strip geometry) to more complicated domain types. Crowdy and Davis [8] have shown, in the context of a fluid dynamics application and by direct comparison with traditional Fourier methods how, even for the simple strip (or channel) geometry, the new approach of [14] already affords analytical advantages in practice.
The result of Fokas and Kapaev [14]—who derived it from the spectral analysis of a parameter-dependent ordinary differential equation and the use of Riemann–Hilbert methods—has been rederived from various other perspectives, including an approach via the fundamental differential form [13, 15], and the consideration of fundamental solutions and Green’s integral representation [24]. The key result of [14], however, is concisely stated as follows. If f(z) is analytic in a bounded, simply connected, convex, N-sided polygon with sides \(\lbrace S_j | j=1,\ldots ,N \rbrace \) then one can write
where \({\mathcal L}_j\) are a special set of rays in the spectral k-plane (depending on the geometry of the polygon, and defined here in Sect. 2) and where the so-called spectral functions are defined as
These spectral functions satisfy the global relation
In the context of boundary value problems for Laplace’s equation for a harmonic function q(x, y)—taken to be the real part of some analytic function f(z), say—these global relations can be used to determine the unknown boundary data for f(z) and, hence, the solution for q(x, y) inside the polygonal domain [14, 16, 18].
Ultimately, however, the statements (1)–(3) constitute a basic result in function theory, one that does not appear to have been reported elsewhere in the literature: it is a representation result for analytic functions in simply connected polygons. As such, this author was led to seek out an elementary derivation of (1)–(3) that does not require the language of Lax pairs, differential forms, distribution or spectral theory, or the mathematical technology of Riemann–Hilbert methods. Such a derivation, which we believe to be new, is presented in Sect. 2. It relies on nothing more than elementary properties of complex numbers, of the exponential function, and use of Cauchy’s integral formula—all concepts available to a typical undergraduate after a first course in complex analysis.
Significantly the new derivation, which is geometric in nature, points the way to an important generalization: the formulation of the analogous transform methods for analytic functions defined in general circular domains (and, hence, to the study of boundary value problems for Laplace’s equation in such domains). Where a polygon has N edges that are all straight lines (with zero curvature), we here define a circular domain to be one having N edges that each has constant, generally non-zero, curvature (including the possibility of straight line edges). This includes simple circular discs, of course, but also so-called “polycircular arc” domains which are the natural generalizations of N-sided polygons to regions with N circular arc edges. We derive the natural analogues of (1)–(3) for such domains. In Sects. 5–7 it is shown how these new transform pairs can be used to solve harmonic boundary value problems in a suite of examples which also allow us to outline some computational methods based on our approach.
Spence and Fokas [25] have presented, in the context of boundary value problems for Poisson’s equation and several other partial differential equations, generalizations of the unified transform method to “boundary value problems in polar coordinates”, including wedge regions. Our work is related to theirs, but our derivation here is more geometrical—not requiring any choice of coordinate system, or separation of variables—and the final statement of the results is different and applies to circular domains that are much more general than the wedge domains considered in [25]. Similarly, Fokas and Pinotsis [15] have developed the ideas of Fokas and Zyskin [13] and given a derivation of the transform pair of Fokas and Kapaev [14] by considering the Cauchy kernel, but the details of their derivation are different to that given here: it is our more geometrical viewpoint that provides the pathway to generalization to circular domains. Our treatment is, however, limited to consideration of analytic functions or, from the point of view of applications to boundary value problems, to Laplace’s equation.
This paper treats only simply connected domains. However, the important generalization of the transform method to the case of multiply connected circular domains has been made in a companion paper [9].
2 A Transform Method for Convex Polygons
This section presents a new and elementary derivation of the transform method for convex polygons first introduced by Fokas and Kapaev [14] who used other techniques. In Sect. 3, it will be generalized to circular domains.
We start with a basic geometrical observation. If \(z'\) lies on some finite length slit on the real axis and z is in the upper half-plane—see Fig. 1—then, on geometrical grounds,
It follows trivially that
or,
where it is easy to check that the contribution from the upper limit of integration vanishes for the particular choices of \(z'\) and z to which we have restricted consideration.
On the other hand, suppose \(z'\) lies on some other finite length slit now making angle \(\chi \) with the positive real axis and suppose that z is in the half-plane shown in Fig. 2 (the half-plane “to the left” of the slit as one follows its tangent with uniform inclination angle \(\chi \)). Now the affine transformation
for example, where the (unimportant) constant \(\alpha \) is shown in Fig. 2, returns the slit to the real axis, and z to the upper half-plane, so
(In Fig. 2 we have drawn the slit to intersect the imaginary axis, but this is not necessary and our arguments go through for any slit making angle \(\chi \) to the real axis.) Hence, on use of (6) now with the substitutions (7), we can write
or, on cancellation of \(\alpha \) and rearrangement,
This integral identity is valid uniformly for all z and \(z'\) having the geometrical positioning depicted in Fig. 2.
Now consider a bounded convex polygon P with N sides \(\lbrace S_j | j=1,\ldots , N \rbrace \). Figure 3 shows an example with \(N=3\). Geometrically the shaded polygon P can be viewed as the intersection of \(N=3\) half-plane regions of the kind just considered. For a function f(z) analytic in P, Cauchy’s integral formula provides that for \(z \in P\),
We can separate the boundary integral into a sum over the N sides:
Now if side \(S_j\) has inclination angle \(\chi _j\) then (10) can be used, with \(\chi \mapsto \chi _j\), to re-express the Cauchy kernel uniformly for all \(z \in P\) and for \(z'\) positioned on the respective sides:
On reversing the order of integration we can write
where, for integers m, n between 1 and N, we define the spectral matrix
with \({\mathcal L} = [0, \infty )\) defined to be the fundamental contour for straight line edges. The transform pair for polygons can thus be stated as
This is our final result.
2.1 The Global Relations
The elements of the spectral matrix, or “spectral functions”, have important analytical structure. Observe that, for any \(k \in {\mathbb {C}}\), and for any \(m=1,\ldots ,N\),
where we have used both the fact that \({f(z')} \mathrm{e}^{-\mathrm{i} \mathrm{e}^{-\mathrm{i} \chi _m} k z'} \) (for \(m=1,\ldots ,N\)) is analytic inside P, and Cauchy’s theorem. There are N such global relations relating different elements of the spectral matrix, but each is an equivalent statement of the analyticity of f(z) in the domain P.
While the global relations relate all elements of the spectral matrix, it is worth emphasizing that only the diagonal elements of the spectral matrix appear in the integral representation (14).
Transform pairs for unbounded polygons, such as semi-strips, can also be written down with minor modifications to the derivation above. The only difference is that the global relations are now valid in restricted sectors of the k-plane where the spectral functions are well defined [14].
2.2 Connection with Fokas and Kapaev [14]
Our statement (16) of the transform pair differs from (1)–(3) given by Fokas and Kapaev [14] in two ways. First, the notion of a spectral matrix was not introduced there. Second, the rays \(\lbrace {\mathcal L}_j | j=1,\ldots ,N \rbrace \) in the spectral plane of [14] are absent. But it is easy to generate them.
By defining, for each \(j=1,\ldots ,N\), the change of spectral variable given by
in both the spectral functions and the integral representation for f(z), then, rather than a sum of N contributions over the single fundamental contour in the spectral plane, the transform pair (16) can be written as a sum of contributions from N (generally distinct) rays in a spectral plane:
where \({\mathcal L}_j = [0, \infty \mathrm{e}^{-\mathrm{i} \chi _j})\) is the ray defined by \(\mathrm{arg}[\lambda ] = -\chi _j\) (these coincide with the definitions given in [14]). Figure 4 shows the rays for the polygon shown in Fig. 3. With formulas (16) thus modified they are equivalent to (1) and (2).
The changes of variables (18) have the effect of reducing the N-by-N spectral matrix to just N distinct spectral functions. It is therefore tempting to argue that this obviates the need to introduce the spectral matrix. But we will see that this feature of reduction of the spectral matrix to just N spectral functions is not shared by more general domain types (notably, the circular domains considered later). Furthermore, it has been observed by previous authors studying the unified transform method (see [10, 16], for example) that for simple polygonal domains, it is possible, using the global relations and their so-called “invariant properties”, to express all spectral functions in terms of the given boundary data, using only algebraic manipulations [16]. This procedure of generating new spectral functions by transformations of the spectral argument often generates the other (off-diagonal) elements of the spectral matrix (15) that has arisen naturally in our derivation above. We would argue that the notion of a spectral matrix and the fundamental contour (for particular edge types) are very natural ones for these transform formulations. Both concepts will appear again in the generalization to circular domains given in Sect. 3.
2.3 Unbounded Polygonal Regions
For unbounded regions exterior to some bounded polygon (and, hence, containing the point at infinity), a little thought reveals that it is geometrically impossible to “cover” the entire region as a finite intersection of half-plane regions. The next best thing is to subdivide the domain into an atlas of polygonal subregions that are the intersection of half-planes having a representation of the kind introduced above. This realization has already been made, albeit from alternative perspectives, by Charalambopoulos, Dassios and Fokas [4] for the exterior of an equilateral triangle, for example, where an atlas of 6 convex subregions outside the triangle is used.
3 A Transform Method for Circular Domains
To find generalized transform schemes for circular domains we start by considering D as the simple unit disc; this basic geometrical unit will now replace the “half-plane” regions used for polygons. It should be clear that, to extend our approach to D, we must identify the particular spectral representation of the Cauchy kernel that is uniformly valid for \(z'\) on the domain boundary \(\partial D\) and for z inside D.
For values \(|z| < 1\) in D, consider the integral
This integral is taken around what we will call the fundamental contour for circular arc edges shown in Fig. 5; it is the generalization of the fundamental contour for straight line edges shown on the left in Fig. 4. To explain it, choose \(0 < r < 1\). The contour \(L_1\) is the union of the negative imaginary axis \((-\mathrm{i} \infty , -\mathrm{i}r]\) and the arc of the quarter circle \(|k|=r\) in the third quadrant traversed in a clockwise sense; the contour \(L_2\) is the real interval \([-r, \infty )\); the contour \(L_3\) is the arc of the quarter circle \(|k|=r\) in the second quadrant traversed in a clockwise sense together with the portion of the positive imaginary axis \([\mathrm{i} r, \mathrm{i} \infty )\). All integrals in (20) are non-singular and it is easy to verify directly that all integrands are exponentially decaying as \(|k| \rightarrow \infty \) uniformly for all \(|z| < 1\). (Readers already familiar with the method of Fokas and Kapaev [14] might recognize this fundamental contour as similar to that associated with an infinite semi-strip, and there is a good reason for this that is explained in Appendix A.)
For \(|z| < 1\) it can be shown that
To derive (21), note that the second integral in I can be written as
where \({\mathcal P}\) denotes the principal value integral. But, with the contours \(L_-\) and \(L_+\) shown in Fig. 6 for some \(0 < \epsilon < r\),
The contours \(L_-\) and \(L_+\) are made up of the union of the radius-\(\epsilon \) semi-circles \(\lbrace C_{n\epsilon }^\pm | n \ge 0\rbrace \) centred at \(k=n\) (for \(n \ge 0\)) traversed in an anti-clockwise sense together with the portions of the real k-axis between them. Hence, after an explicit computation of the integrals around \(\lbrace C_{n\epsilon }^\pm | n \ge 0\rbrace \), and on substituting for the principal value integrals in (22) using (23), we can write
where \({\mathcal L}_- \equiv L_1 \cup L_-\) and \({\mathcal L}_+ \equiv L_+ \cup L_3\) are shown in Fig. 7. But the integral around \({\mathcal L}_-\) vanishes because its integrand is analytic in the fourth quadrant; similarly, the integral around \({\mathcal L}_+\) vanishes because its integrand is analytic in the first quadrant. Hence, for \(|z| < 1\), we have
which establishes our result.
Several remarks are in order:
-
1.
The residue calculus steps just given reveal that the integral (20) around the fundamental contour in Fig. 5 can be deformed to the modified integral
$$\begin{aligned} I = \oint _{{\mathcal C}} {z^k \over 1-\mathrm{e}^{2\pi \mathrm{i}k}} ~\mathrm{d}k, \end{aligned}$$(26)with the contour \({\mathcal C}\) encircling the real axis as shown in Fig. 8.
-
2.
The reader might recognize the contour \({\mathcal C}\) as that appearing in the classical Watson transformation (see [25]) and, indeed, our construction of the spectral form (21) of the Cauchy kernel could alternatively have been made by invoking this transformation and giving a modified inversion formula based on (26). But we were led to our preferred form (21) in a quite different way. To see how, next we give the transform pair for the unit disc then, in Appendix A, show how to derive it independently from a logarithmic conformal mapping (a simple Schwarz–Christoffel mapping taking the disc to a semi-strip) coupled with the result for polygons of Sect. 2. Appendix A can be viewed as giving an algorithmic construction of the Watson contour \({\mathcal C}\) in Fig. 8 from the results of Sect. 2.
-
3.
While the modified form (26) might, at first sight, appear to be a more concise statement of (20) we continue to use the latter. This is because (20) can be derived, after a logarithmic change of variable, from application of the transform method for a polygon (details are in Appendix A), hence the associated integration contours in Fig. 5 are, by the very nature of that construction, the ones along which exponential decay of the integrands is guaranteed. In (26), integration is along the deformed contour \({\mathcal C}\) that remains uniformly close to the infinite array of simple pole singularities along the positive real axis and, if high precision is desired, this can compromise accuracy of any numerical quadrature of the inverse transforms. Many such approximation theory questions will be properly addressed in future work.
3.1 Transform Pair for Interior of the Unit Disc
Let \(z'\) be a point on the unit circle and let \(|z| < 1\) be a point inside the unit disc as depicted in Fig. 9 (this is the analogue of Fig. 1, but now for the unit disc instead of the upper half-plane). Then \(|z/z'| < 1\) uniformly and it follows on letting \(z \mapsto z/z'\) in (21) that
The Cauchy kernel is therefore given by the spectral representation
The Cauchy integral formula for a function f(z) analytic in the unit disc is
On substitution of (the uniformly valid) representation (28) for the Cauchy kernel we find
On swapping the order of integration we arrive at the transform pair
The global relation is
since, for this discrete set of k-values, the integrand of the integral defining \(\rho (k)\) is analytic in the unit disc.
It is a simple and instructive exercise to verify the transform pair (31) for simple test analytic functions such as \(f(z) = z^p\) for \(p \in \mathbb {Z}^+\).
Equation (31) provides an alternative way to represent analytic functions in the disc. It is clear from our development that it is the natural generalization of the Fourier transform to the unit disc (or, more properly, the Fourier–Mellin transform—see the discussion in Appendix A and Appendix B, and the later comments at the end of Sect. 6). In complex analysis, it is more common to associate analytic functions in discs with Taylor series but, as we have seen, one can also write down the Fourier–Mellin transform pairs (31) too.
3.2 Transform Pair for Exterior of the Unit Disc
The transform pair for the exterior of the unit disc follows similarly. For \(z'\) on the unit circle with \(|z| > 1\) then \(|z'/z| < 1\) uniformly and setting \(z \mapsto z'/z\) in (21) gives the identity
Hence we have the spectral representation of the Cauchy kernel given by
For \(|z| >1\) the Cauchy integral formula
holds for a function analytic outside the unit disc that decays like 1 / z as \(z \rightarrow \infty \). Use of (the uniformly valid) expression (34) in the Cauchy integral formula then produces the following transform pair for such a function:
The global relation is
since, for this discrete set of k-values, the integrand of the integral defining \(\rho (k)\) is analytic outside the disc and is \(\mathcal{O}(1/z^2)\) as \(z \rightarrow \infty \).
For future use, we prefer to write (36) with the addition of two minus signs:
which clearly does not affect the transform pair. The reason for this is to preserve a convention that the spectral function is the integral around the boundary traversed in such a way that the domain of interest is on the left as the boundary is traversed.
3.3 Transform Pair for Polycircular Domains
Just as a convex polygon was understood in Sect. 2 to be the intersection of N half-plane regions, a polycircular domain is now understood to be the intersection of N circular discs.
Consider now the convex simply connected region D bounded by the arcs \(\lbrace C_j | j=1,\ldots ,N \rbrace \) of N circles \(\lbrace |z-\delta _j| =q_j | j=1,\ldots ,N \rbrace \) as shown in Fig. 10 for \(N=3\). The Cauchy integral formula for a function f(z) analytic in this region is
where \(\partial D\) denotes the boundary of D and where, in the second equality, the integral around \(\partial D\) has been separated into the N separate integrals around the individual circular arcs \(\lbrace C_j | j=1,\ldots ,N \rbrace \).
Focussing on the portion of the integral along \(C_j\) for which it holds, uniformly for z in D, that \(|z-\delta _j|<|z'-\delta _j|\) the Cauchy kernel for \(z'\) on \(C_j\) has the spectral representation
where we have set \(z \mapsto (z-\delta _j)/(z'-\delta _j)\) in (21). It is important to write this in the rescaled form
Now for \(z \in D\) (see Fig. 10) comprising the intersection of the circular discs we can substitute (41) into the Cauchy integral formula (39) when \(z'\) sits on each of the separate boundary arcs \(\lbrace C_j | j=1,\ldots ,N\rbrace \) to find
where we have swapped the order of integration and introduced the N-by-N spectral matrix
Global relations for this system are
for any \(m = 1, 2,\ldots , N\). There are N such global relations but each is an equivalent statement of the analyticity of f(z) in the domain D.
It is important to remark that, unlike in the case of polygons, it is not clear that it is now possible to invoke any changes of variables in the spectral k-plane, akin to (18), that will reduce the N-by-N spectral matrix to just N spectral functions.
Variants of the above should be obvious. Suppose, on the other hand, that the polycircular domain D is that shown in Fig. 11: D is the intersection of the exterior of the circle \(|z-\delta _1| = q_1\) and the interior of the circles \(|z-\delta _2| = q_2\) and \(|z-\delta _3| = q_3\). Let \(\lbrace C_j | j=1,2,3 \rbrace \) again denote the boundary arcs making up the boundary \(\partial D\) as shown in Fig. 11 and such that the domain D remains to the left as \(\partial D\) is traversed. By arguments similar to those given above we deduce that the appropriate integral representation is
where the matrix of spectral functions is defined for \(n=1,2,3\) by
Global relations are
3.4 Domains with Both Straight and Circular Edges
It should be clear that our approach generalizes to more general domains with boundaries comprising a mixture of circular arc and straight line edges. Correspondingly, the derivation of the relevant transform pairs involves a mixture of the results of Sects. 2 and 3. This is best illustrated by means of an explicit example (given in Sect. 6) from which the general construction can be discerned.
4 Applications to Boundary Value Problems
In the remainder of the paper we survey just a few of the many possible applications of this new transform perspective for circular domains, in particular to the solution of boundary value problems for Laplace’s equation. We proceed under the assumption that solving for the functions in the spectral matrix will lead, on substitution of this spectral data into the integral representations for the relevant analytic function, to the solution of the stated boundary value problems. That this is true is not obvious, but it has been established for boundary value problems for Laplace equations in convex polygons by Fulton, Fokas and Xenophontos [21] and for general elliptic equations in arbitrary convex domains by Ashton [1].
Here we focus on boundary value problems where the effectiveness of the transform approach can be tested against other mathematical schemes. The following examples also give us the opportunity to introduce some numerical schemes we have devised for the analysis of the global relation.
5 The Problem of Dual Fourier Series
Even for the simple unit disc the new transform approach affords a reappraisal of some boundary value problems previously tackled by other means. A problem considered by Shepherd [20] is to find the set of real coefficients \(\lbrace A_n \rbrace \) satisfying the conditions
where m is some positive integer. This has become known as a problem of dual Fourier series [20, 23, 26]; indeed, Shepherd solved this problem, separately for even and odd m, by a sequence of ingenious manipulations of integral representations of the Fourier series coefficients; he also included an application to a problem in potential theory. But the same results follow in a more algorithmic way by an analysis of the global relations for this system as they arise in the new transform method described above.
First note that the problem can be reformulated as a mixed boundary value problem for a function f(z) analytic in the unit z-disc. Let
be the Taylor expansion of such a function valid convergent for \(|z| < 1\). Suppose it satisfies the mixed boundary conditions on the two “faces” of the unit circle \(|z|=1\) where \(z=\mathrm{e}^{\mathrm{i} \theta }\):
If such a function f(z) can be found then the coefficients in (49) will satisfy (50) as z tends to the boundary.
Since f(z) is analytic in the unit disc we have the following transform pair representation for it:
The global relation is
Equation (52) can be used to find the spectral function \(\rho (k)\), hence f(z), and, in turn, the coefficients \(\lbrace A_n \rbrace \).
On \(C_1\) we write
where \(a_0 \in \mathbb {R}\) and \(\lbrace a_n \in {\mathbb {C}} | n \ge 1 \rbrace \) are to be determined. Here we have decomposed the unknown imaginary part of f(z) as a period-\(\pi \) Fourier series over the interval \([-\pi /2, \pi /2]\). Similarly, for z on \(C_2\) we write
where \(b_0 \in \mathbb {R}\) and \(\lbrace b_n \in {\mathbb {C}} | n \ge 1 \rbrace \) are to be determined and, here, we have decomposed the unknown real part as a period-\(\pi \) Fourier series. On substitution of (53) and (54) into (52) we arrive at the following linear system for the unknown coefficients:
where
and
The system (55) can be solved numerically by truncating the infinite sums at some integer N—so that there is a total of \(4N+2\) real unknown coefficients—and then picking \(N_k > 4N+2\) values of k in (55) to produce an overdetermined system of \(N_k\) equations from which the unknown coefficients can be found by a least-squares algorithm. This procedure was carried out and the results checked against those derived by the alternative scheme given by Shepherd [20] (it can also be solved using a method based on conformal slit maps as used recently by the author [7] in a mixed boundary value problem of the same general kind).
While we have used Fourier series representations for the unknown boundary data above, another possibility (akin to Chebyshev-type expansions) is described in the example of Sect. 7 and can be applied in the above example too.
A strong argument in favour of the transform approach to this problem just demonstrated is that it is more algorithmic than the rather more ad hoc approach used by Shepherd [20]. Our approach also frames this problem as just another boundary value problem that is amenable to analysis using the same basic mathematical ideas underpinning the unified transform method.
6 Mixed Boundary Value Problem in a Semi-Disc
A second boundary value problem that can be used to test the method is to find a function f(z) analytic in D defined to be the upper half unit semi-disc \(|z| =1, \mathrm{Im}[z] > 0\) as shown in Fig. 12. This is an interesting example in that D has both a circular arc boundary and a straight line boundary and it affords an opportunity to see how to combine the ideas given earlier in this paper.
Suppose the boundary conditions on an analytic function f(z) in such a domain are given to be
where \(r(z,\overline{z})\) is some given real-valued function.
The semi-disc can be understood as the intersection of the upper half-plane and the interior of the unit disc. Hence, by combining the ideas presented earlier for polygons regions (in Sect. 2) and for circular regions (in Sect. 3)—that is, by substituting the appropriate uniformly valid spectral representation of the Cauchy kernel having split the Cauchy integral formula into the two boundary portions—it is straightforward to derive the integral transform representation
where the spectral matrix has components
Two global relations can be expressed as
and
These two conditions are not independent, but both turn out to be helpful in solving the problem.
First we will make use of (62) to find f(z) on C. Some preliminary manipulations reveal that
The boundary condition on C is
whence, on multiplying it by \(z^{-k-1}\) and integrating the resulting relation along C, we find
where
The boundary condition on L is
On multiplying this by \(z^{-k-1}\) and integrating the resulting relation along L we find
The complex conjugate of (62) is
Now (69) implies
while (66), with \(k \mapsto -k\), gives
which can be used in (71) to produce
Finally (62) can be used to eliminate \(\rho _{12}(k)\) to give a relation depending only on \(\rho _{11}(k)\):
Equation (74) will be analysed to find f(z) on C and, hence, \(\rho _{11}(k)\).
We will represent f(z) on C using a Fourier series on the interval \(\theta \in [0, \pi ]\) where \(z=\mathrm{e}^{\mathrm{i}\theta }\). For \(z \in C\) we therefore write
where the set of coefficients \(\lbrace a_n | n = 0,1,2,\ldots \rbrace \) is to be found. On substitution of (75) into the definition of \(\rho _{11}(k)\), and use of the definition of \(R_1(k)\), we find
On substitution into (74) we arrive at the system
All the matrix elements in this linear system can be determined in closed form. As in Sect. 5, the system can be solved numerically by truncating the infinite sums and forming an overdetermined system by evaluating (77) at a sufficiently large number of choices of \(k \in -{\mathbb {N}}\).
Once \(\rho _{11}(k)\) has been found the global relation (62) gives \(\rho _{12}(k)\), but the latter is not needed in the integral representation (60). But with f(z) determined on C, the spectral function \(\rho _{22}(k)\) needed in (60) can be found from the second global relation (63). This is because the boundary data on C are now known and can be used to compute \(\rho _{21}(k)\) with (63) then yielding \(\rho _{22}(k)\).
This boundary value problem can be solved using alternative methods based on the Schwarz reflection principle. Suppose we pick the data for the above boundary value problem to be
Then it is clear that the solution is
This, and other simple choices of f(z), provides a check on the transform solution. It should be clear that the transform method will work; however, when the boundary condition on L is more complicated and arguments based on Schwarz reflection fail.
It is the appearance of both \(\mathrm{e}^{\mathrm{i}kz}\) (Fourier-type) and \(z^k\) (Mellin-type) in the integral representation (60) that prompts us to refer to the general transform methods of this paper as “Fourier–Mellin transforms for circular domains”. We also show, in Appendix B, how to apply the very same method of Appendix A to derive the classical (complex) Mellin transform pair for an infinite wedge region. Together, Appendix A and Appendix B should convince the reader that the transform pairs we have derived above really are the natural extensions of the classical Fourier/Mellin transforms to general circular domains.
7 Mixed Boundary Value Problem in a Lens-Shaped Domain
To conclude, we solve a boundary value problem for f(z) in the lens-shaped region D shown in Fig. 13 having two circular arc boundaries denoted by \(C_1\) and \(C_2\). The boundary conditions are taken to be
where \(r(z,\overline{z})\) is some given real-valued function.
The general transform pair for an N-sided circular arc polygon was given in (42). In the present example \(N=2\) with
We can therefore write
where
The other two elements of the spectral matrix are
The global relation we will analyse is
We expect singularities of f(z) at the two points where \(C_1\) and \(C_2\) intersect. We are therefore motivated to introduce the representations of the boundary values given by
where the coefficients \(a_0, b_0 \in \mathbb {R}, \lbrace a_n, b_n \in {\mathbb {C}} | n \ge 1 \rbrace \) are to be found; these expressions encode the known boundary conditions (80). On each boundary the complex variable \(\zeta \) has a different identification with the variable z given by
with
where \(\alpha = \mathrm{i} s\) for some \(0 < s < 1\), and where \(\zeta = \mathrm{e}^{\mathrm{i}\theta }\) for \(\theta \in [0, \pi ]\). For D shown in Fig. 13 we choose \(s= 0.2679492\). \(g(\zeta )\) has an interpretation as a conformal slit mapping [6] and, with the value of s just stated, (88) maps the unit \(\zeta \)-disc to the unbounded region exterior to a circular arc slit on the unit z-circle for \(-\pi /3 < \mathrm{arg}[z]< \pi /3\). The upper half semi-circle in the \(\zeta \) plane, i.e., \(\zeta = \mathrm{e}^{\mathrm{i}\theta }\) for \(\theta \in [0, \pi ]\) maps in a one-to-one fashion onto the slit \(-\pi /3 < \mathrm{arg}[z]< \pi /3\). The relevant s value is found using Newton’s method to ensure that \(g(1)=\mathrm{e}^{-\mathrm{i}\pi /3}\). It is helpful to think of \(g(\zeta )\) in (88) as a generalization of the classical Joukowski map to one taking the unit disc to the exterior of a circular arc segment (rather than a straight line segment). We anticipate that \(g(\zeta )\) will find great utility in the general numerical implementation of our method.
On substitution of (86) into (85), we find
where
and
This system can be solved by truncating the infinite sums and choosing sufficiently many values of \(k \in -{\mathbb {N}}\) to form an overdetermined system solvable by a least-squares procedure for the unknown coefficients.
The effectiveness of this scheme is tested by making particular choices of data \(r(z,\overline{z})\) for which analytical solutions are known via alternative conformal mapping methods [6]. A composition of the sequence of conformal maps
transplants the upper half unit semi-disc in the \(\zeta \)-plane to the lens-shape domain D in the z-plane. The exponent 4 / 3 in the third of the sequence of maps is a consequence of the fact, following from spherical trigonometry arguments, that the angle of intersection between \(C_1\) and \(C_2\) at \(z=1/2+\mathrm{i}\sqrt{3}/2\) is \(2 \pi /3\). Suppose the inverse of the composite conformal mapping (92) is denoted by h(z) so that
Suppose now that we pick, say,
This function is analytic in D, clearly real on the real \(\zeta \) axis (and hence on \(C_2\)), and it has real part
on the upper half unit \(\zeta \)-disc (and, hence, on \(C_1\)). Formula (95) was therefore used as data in the transform solution scheme described above and the resulting solutions checked against f(z) as given in (94). Other choices of f(z) were also tested. The transform method was found to accurately retrieve all such test functions f(z).
As a remark, our use of the function \(g(\zeta )\) here is closely related to the use of Chebyshev polynomial expansions although, as already mentioned, not of the standard kind because they have been tailored to a circular arc slit (rather than a straight line interval). The expansions, however, also include square root singularities at the ends of the arcs so they are not just expansions in polynomials. As already mentioned, the many approximation theory challenges arising from the numerical implementation of the new transform approach for circular domains presented here await much further investigation (see [16, 19, 21, 22] for a survey of progress in this respect on polygonal domains).
8 Discussion
This paper has presented several new ideas and results.
First, we have given a new derivation of the representation of analytic functions in convex N-sided simply connected polygons due to Fokas and Kapaev [14]. The derivation is elementary, relying on use of Cauchy’s integral formula and a suitable spectral representation of the Cauchy kernel obtained from simple properties of the exponential function. The notion of a spectral matrix and the idea of a fundamental contour for straight line edges arise naturally in this approach. It was also shown that, by an N-fold change of spectral variables, the N-by-N spectral matrix reduces to the same set of N spectral functions considered by Fokas and Kapaev [14].
Then, by replacing the spectral representation of the Cauchy kernel by the one relevant to circular discs (rather than half-planes), the very same sequence of constructive steps starting from Cauchy’s integral formula is used to derive the natural extensions of the transforms to general circular domains, both bounded and unbounded, understood geometrically to be intersections of N circular discs.
More general circular domains with boundaries comprising a mixture of straight lines and circular arcs are treated too (cf. Sect. 6). Geometrically these are intersections of half-planes and circular discs and a hybrid construction clearly leads to the relevant transform pairs.
The reduction of the spectral matrix to a set of N spectral functions appears to be special to the case of polygons and does not extend (at least, in any obvious way) to domains with circular boundaries of non-zero curvature. We have argued that the notions of a spectral matrix, and the fundamental contour, are natural.
Several simple illustrative examples have been given of the scope of the new method in the context of examples where the approach can be checked by alternative means. It is clear that the approach has great flexibility and possible future applications. Already the method has been extended by the author to the case of multiply connected circular domains; full details can be found in [9] where some important physical applications of the method are also discussed.
We also touched on several new approximation theory questions, including the optimal choice of integration contour when performing the transform inversion by numerical quadrature, and the best ways to represent unknown data on circular arc boundaries. Such matters are the subject of ongoing investigation.
Other questions arise: are there special boundary value problems in circular domains, perhaps with sufficient geometrical symmetries, where the analysis of the global relations leads to previously unrecognized explicit solutions using just algebra (as has been the case when the unified transform method has been applied to elliptic PDEs in simple polygons [10, 16])? Can the new transform formulation here lead to fast and accurate new general numerical methods for the solution of harmonic boundary value problems in general circular domains (evidence now exists that this is possible for polygons [11, 16, 19])? A natural advantage of transform methods—as we have seen by our very construction where the singular Cauchy kernel has been replaced by a non-singular spectral integral (cf. (6) and (28))—is that they often lead to the possibility of alternative numerical formulations that do not involve singular integral equations (as do most standard boundary integral methods).
We have deliberately steered away from the very mathematical ideas that gave rise to the discovery of (1)–(3) in the first place, i.e., the spectral analysis of Lax pair equations, differential forms, etc. [14]. This was done in the conviction that (1)–(3) is a basic result in analytic function theory and should be derivable as such. But the formulation in terms of the spectral analysis of differential forms is the gateway to generalization to other partial differential equations [16, 18, 25] and it is now of interest to determine how one might reproduce the new transform pairs for circular domains found herein starting from, for example, the spectral analysis of an appropriate differential form [13]. This, in turn, might point the way to generalization of Fokas’ unified transform method to other partial differential equations (e.g., the modified Helmholtz equation, or Helmholtz equation) in the more general circular domains of the kind considered here.
Crowdy and Fokas [5] have shown how boundary value problems for the biharmonic equation in polygonal domains in two dimensions can be formulated by appropriate extension of the ideas of Fokas and Kapaev [14] who restricted to harmonic fields. Similarly, the present extended formulation is useful for the solution of biharmonic boundary value problems in general circular domains. There are currently very few alternative techniques to solve biharmonic problems in such domains. Work in this direction is in progress.
The extension of all these ideas to boundary value problems for Laplace’s equation in three dimensions—that is, regions interior and exterior to spheres—is an important open problem. In this vein it is worth pointing out that Ashton [2, 3] has recently extended the unified transform approach of Fokas to various elliptic boundary value problems defined in convex polyhedra.
References
Ashton, A.C.L.: On the rigorous foundations of the Fokas method for linear elliptic PDEs. Proc. R. Soc. A 468, 1325–1331 (2012)
Ashton, A.C.L.: Laplace’s equation on convex polyhedra via the unified transform method. Proc. R. Soc. A 20140884, 471 (2015)
Ashton, A.C.L.: Elliptic PDEs with constant coefficients on convex polyhedra via the unified method. J. Math. Anal. Appl. 425(1), 160–177 (2014)
Charalambopoulos, A., Dassios, G., Fokas, A.S.: Laplace’s equation in the exterior of a convex polygon. The equilateral triangle. Q. Appl. Math. 68, 645–660 (2010)
Crowdy, D.G., Fokas, A.S.: Explicit integral solutions for the plane elastostatic semi-strip. Proc. R. Soc. A 460, 1285–1310 (2004)
Crowdy, D.G.: Conformal slit maps in applied mathematics. ANZIAM J. 53(3), 171–189 (2012)
Crowdy, D.G.: Exact solutions for cylindrical “slip-stick” Janus swimmers in Stokes flow. J. Fluid Mech. 719, R2 (2013)
Crowdy, D.G., Davis, A.M.J.: Stokes flow singularities in a two-dimensional channel: a novel transform approach with application to microswimming. Proc. R. Soc. A. 469, 20130198 (2013)
Crowdy, D.G.: A transform method for Laplace’s equation in multiply connected circular domains. IMA J. Appl. Math. (2015). doi:10.1093/imamat/hxv019
Dassios, G., Fokas, A.S.: The basic elliptic equations in an equilateral triangle. Proc. R. Soc. A 461, 2721–2748 (2005)
Fulton, S.R., Fokas, A.S., Xenophontos, C.: An analytical method for linear elliptic PDEs and its numerical implementation. J. Comput. Appl. Math. 167(2), 465–483 (2004)
Fokas, A.S., Gel’fand, I.M.: Integrability of linear and nonlinear evolution equations and the associated nonlinear Fourier transforms. Lett. Math. Phys. 32, 189–210 (1994)
Fokas, A.S., Zyskin, M.: The fundamental differential form and boundary value problems. Q. J. Mech. Appl. Math. 55, 457–479 (2002)
Fokas, A.S., Kapaev, A.A.: On a transform method for the Laplace equation in a polygon. IMA J. Appl. Math. 68, 355–408 (2003)
Fokas, A.S., Pinotsis, D.: The Dbar formalism for certain linear non-homogeneous elliptic PDEs in two dimensions. Eur. J. Appl. Math. 17, 323–346 (2006)
Fokas, A.S.: A Unified Approach to Boundary Value Problems. CBMS-NSF Regional Conference Series in Applied Mathematics, vol. 78. SIAM, Philadelphia (2008)
Fokas, A.S., Pelloni, B. (eds.): Unified Transform for Boundary Value Problems: Applications and Advances. SIAM, Philadelphia (2015)
Fokas, A.S., Spence, E.A.: Synthesis, as opposed to separation, of variables. SIAM Rev. 54(2), 291–324 (2012)
Fornberg, B., Flyer, N.: A numerical implementation of Fokas boundary integral approach: Laplace’s equation on a polygonal domain. Proc. R. Soc. A 467, 2983–3003 (2011)
Shepherd, W.M.: On trigonometric series with mixed conditions. Proc. Lond. Math. Soc. 2(43), 366–375 (1937)
Sifalakis, A.G., Fokas, A.S., Fulton, S.R., Saridakis, Y.G.: The generalized Dirichlet–Neumann map for linear elliptic PDEs and its numerical implementation. J. Comput. Appl. Math. 219, 9–34 (2008)
Smitheman, S.A., Spence, E.A., Fokas, A.S.: A spectral collocation method for the Laplace and modified Helmholtz equations in a convex polygon. IMA J. Numer. Anal. 30, 1184–1205 (2010)
Sneddon, I.M.: Mixed Boundary Value Problems in Potential Theory. North Holland Publishing Company, Amsterdam (1966)
Spence, E.A., Fokas, A.S.: A new transform method I: domain dependent fundamental solutions and integral representations. Proc. R. Soc. A. 466, 2259–2281 (2010)
Spence, E.A., Fokas, A.S.: A new transform method II: the global relation and boundary value problems in polar co-ordinates. Proc. R. Soc. A 466, 2283–2307 (2010)
Tranter, C.J.: Dual trigonometrical series. Proc. Glasg. Math. Assoc. 4, 4957 (1959)
Acknowledgments
The author is grateful for many useful discussions, over the years, with Thanasis Fokas (whose work has inspired the investigations herein), Euan Spence and Elena Luca. This work is supported by an Established Career Fellowship from the Engineering and Physical Sciences Research Council in the UK. Funds from the Department of Mathematics at Imperial College to support the ACCA-UK network are also acknowledged.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Nikos Stylianopoulos.
Dedicated to Ed Saff, for lending his leadership and scholarship in equal measure.
Appendices
Appendix A: Alternative Derivation of (31)
Here we show how to rederive the transform pair for the unit disc by combining a simple conformal mapping and the result for a general polygon.
Introduce the (Schwarz–Christoffel) conformal mapping
and take the branch cut of the logarithm to be along the negative z-axis with the choice \(-\pi < {\arg }[z] < \pi \) (say). The map then transplants the unit disc to the left semi-strip in the \(\eta \)-plane (Fig. 14):
Now let
where f(z) is analytic in the unit disc. Since \(F(\eta )\) inherits the property of analyticity, now in the left semi-strip, the transform expression for a function analytic in this polygon, and vanishing as \(|\eta | \rightarrow \infty \), is
where \(\tilde{L}_1, \tilde{L}_2\) and \(\tilde{L}_3\) are rays from the origin with arguments \(0, -\pi /2\) and \(-\pi \). The spectral functions are
We will return later to the restriction to functions vanishing as \(|\eta | \rightarrow \infty \).
Since f(z) is single-valued in the z-disc, we need to enforce the constraint
On multiplying condition (101) by \(\mathrm{e}^{-\mathrm{i}k\eta }\) and integrating along the upper side of the semi-strip, we find
where we have used the change of variable \(\zeta = \eta - 2 \pi \mathrm{i}\). We conclude that
The global relation for the representation of \(F(\eta )\) in the left semi-strip is
Use of (103) in (104) leads to
which is valid on \(\tilde{L}_1\) and \(\tilde{L}_3\). Relation (99) then gives
On redefining the spectral variable to be
and on use of (96), the transform pair for the unit disc becomes
and the spectral rays \(\tilde{L}_1, \tilde{L}_2\) and \(\tilde{L}_3\) are rotated by angle \(\pi /2\) to be almost those defining the fundamental contour in Fig. 5.
The global relation can be deduced from (105): since \(\rho _1(k)\) must be analytic in the upper half k-plane (105) implies that
or, equivalently,
The only difference now between what has just been derived and the formulae (31) is the integration contour. But this is because in (31) we allow for f(z) to be non-zero at \(z=0\) while the derivation of (108) assumes a priori that \(F(\eta ) \rightarrow 0\) as \(|\eta | \rightarrow \infty \). The radius-r circular arc deformations of the above contours \(\tilde{L}_j\) to \({L}_j\) for \(j=1,2,3\) as shown in Fig. 5 are included to add in this extra constant term contribution from the residue at \(k=0\).
Appendix B: The Classical (Complex) Mellin Transform Pair
It is very instructive to see how the classical (complex) Mellin transform pair manifests itself in our much more general transform approach. The reader will then see how our generalized transforms for circular domains are really just generalizations of the Mellin transform.
Let f(z) be analytic in a wedge in a complex z-plane (see Fig. 15) defined by
for some \(0 < \theta < 2 \pi \). We now seek a transform pair for a function f(z) which is analytic in this wedge.
In Appendix A, at the end, we had to perform the change of spectral variable (107). To avoid this, instead we modify the original logarithmic change of variable (96) to
Under this transformation the wedge in the z-plane is transplanted to a vertical strip in the \(\eta \) plane given by
Let
Since f(z) is analytic in the z-wedge, and \(z(\eta )\) is analytic in the vertical \(\eta \)-strip, then \(F(\eta )\) is analytic in the vertical \(\eta \)-strip. Hence, from the transform representation of functions analytic in polygons we can write
where
and
But the global relation says that
Hence we can write (115) as
If we now define
This is the classical complex Mellin transform pair with the inverse transform taken along the classical Bromwich contour running parallel along the imaginary k-axis. Since the new transforms for circular domains in (42) are built on the results of Appendix A, which themselves are patently “Mellin transforms for a semi-strip”, it is natural to call our generalized transform pairs “Fourier–Mellin transforms for circular domains”. In the latter, the Bromwich contour is replaced by our fundamental contour in Fig. 5.
Fokas and Kapaev [14] studied some boundary value problems for Laplace’s equation in a wedge, but without first making the logarithmic transformation (112). The scheme above can be a convenient alternative to that approach, one that connects the approach to more classical Mellin transform techniques.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Crowdy, D. Fourier–Mellin Transforms for Circular Domains. Comput. Methods Funct. Theory 15, 655–687 (2015). https://doi.org/10.1007/s40315-015-0139-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40315-015-0139-6