# The Dirichlet problem for the Laplace equation in supershaped annuli

- Diego Caratelli
^{1}, - Johan Gielis
^{2}Email author, - Ilia Tavkhelidze
^{3}and - Paolo E Ricci
^{4}

**2013**:113

https://doi.org/10.1186/1687-2770-2013-113

© Caratelli et al.; licensee Springer. 2013

**Received: **20 December 2012

**Accepted: **17 April 2013

**Published: **3 May 2013

## Abstract

The Dirichlet problem for the Laplace equation in normal-polar annuli is addressed by using a suitable Fourier-like technique. Attention is in particular focused on the wide class of domains whose boundaries are defined by the so-called ‘superformula’ introduced by Gielis. A dedicated numerical procedure based on the computer algebra system Mathematica^{©} is developed in order to validate the proposed methodology. In this way, highly accurate approximations of the solution, featuring properties similar to the classical ones, are obtained.

## Keywords

## Introduction

Many problems of mathematical physics and electromagnetics are related to the Laplacian [1]. In recent papers [2–9], the classical Fourier projection method [10, 11] for solving boundary-value problems (*BVP* s) for the Laplace and Helmholtz equations in canonical domains has been extended in order to address similar differential problems in simply connected starlike domains, whose boundaries may be regarded as an anisotropically stretched unit circle centered at the origin.

In this contribution, a suitable technique useful to compute the coefficients of the Fourier-like expansion representing the solution of the Dirichlet boundary-value problem for the Laplace equation in complex annular domains is presented. In particular, the boundaries of the considered domains are supposed to be defined by the so-called Gielis formula [12]. Regular functions are assumed to describe the boundary values, but the proposed approach can be easily generalized in the case of weakened hypotheses. In order to verify and validate the developed methodology, a suitable numerical procedure based on the computer algebra system Mathematica^{©} has been adopted. By using such a procedure, a point-wise convergence of the Fourier-like series representation of the solution has been observed in the regular points of the boundaries, with Gibbs-like phenomena potentially occurring in the quasi-cusped points. The obtained numerical results are in good agreement with theoretical findings by Carleson [13].

## The Laplacian in stretched polar coordinates

*ϱ*such that

with $b>a>0$, the considered annular domain $\mathcal{A}$ can be readily obtained by assuming $0\le \vartheta \le 2\pi $ and $a\le \varrho \le b$.

**Remark** Note that in the stretched coordinate system $\varrho ,\vartheta $, the original domain $\mathcal{A}$ is transformed into the circular annulus of radii *a* and *b*, respectively. Hence, in this system one can use classical techniques to solve the Laplace equation, including the eigenfunction method [11].

*ϑ*. Substituting equations (8)-(10) into equation (6) finally yields

As it can be easily noticed, upon setting ${R}_{-}(\vartheta )=a=0$ and ${R}_{+}(\vartheta )=b=1$, the classical expression of the Laplacian in polar coordinates is recovered.

## The Dirichlet problem for the Laplace equation

Under the mentioned assumptions, one can prove the following theorem.

**Theorem**

*Let*

*where*

*being the usual Neumann symbol*.

*Then the boundary*-

*value problem*(12)

*for the Laplace equation admits a classical solution*$v(x,y)\in {L}^{2}(\mathcal{A})$

*such that the following Fourier*-

*like series expansion holds true*:

*For each index*

*m*,

*define*

*and set*,

*for shortness*, ${\zeta}^{(\pm )}(\vartheta )=ln{R}_{\pm}(\vartheta )$.

*In this way*,

*the coefficients*${\delta}_{0}$

*and*${A}_{m}$, ${B}_{m}$

*appearing in*(15)

*can be determined by solving the infinite linear system*

*where*

*with* $m\in \mathbb{Z}$, *and* $n\in {\mathbb{N}}_{0}:=\mathbb{N}\cup \{0\}$.

*Proof*Upon noting that in the stretched coordinate system $\varrho ,\vartheta $ introduced in the

*x*,

*y*plane, the considered domain $\mathcal{A}$ turns into the circular annulus of radii

*a*and

*b*, one can readily adopt the usual eigenfunction method [11] in combination with the separation of variables (with respect to

*r*and

*ϑ*). As a consequence, elementary solutions of the problem can be searched in the form

*μ*is a separation constant whose choice is governed by the physical requirement that at any fixed point in the real plane the scalar field $u(r,\vartheta )$ must be single-valued. So, by setting $\mu =m\in {\mathbb{N}}_{0}$, one can easily find

Enforcing the Dirichlet boundary condition readily yields ${F}_{\pm}(\vartheta )=u({R}_{\pm}(\vartheta ),\vartheta )$. Hence, using the classical Fourier projection method, equations (17)-(20) follow after some trivial manipulations. □

It is worth noting that the derived expressions still hold under the assumption that ${R}_{\pm}(\vartheta )$ are piecewise continuous functions, and the boundary values are described by square integrable, not necessarily continuous, functions so that the relevant Fourier coefficients ${\alpha}_{m}^{(\pm )}$, ${\beta}_{m}^{(\pm )}$ in equation (14) are finite quantities.

## Numerical procedure

as introduced by Gielis in [12]. Very different characteristic geometries, including ellipses, Lamé curves, ovals, and *m*-fold symmetric figures are obtained by assuming suitable values of the parameters ${k}_{x}^{\pm}$, ${k}_{y}^{\pm}$, ${d}_{x}^{\pm}$, ${d}_{y}^{\pm}$, ${\nu}_{x}^{\pm}$, ${\nu}_{y}^{\pm}$, ${\nu}_{0}^{\pm}$ in (27). It is emphasized that almost all two-dimensional normal-polar annular domains can be described, or closely approximated, by (27).

*N*relevant to the Fourier-like series expansion representing the solution of the boundary-value problem for the Laplace equation, namely

**Remark** It is to be noticed that where the boundary values exhibit a rapidly oscillating behavior, the order *N* of the expansion (29) approximating the solution of the problem should be increased accordingly in order to achieve the desired numerical accuracy.

### First example

*N*of terms in the truncated series expansion (29) exhibits the behavior shown in Figure 1. As it appears from Figure 2, the selection of the expansion order $N=22$ leads to a very accurate Fourier-like representation ${v}_{N}(x,y)$ of the solution (featuring boundary error ${e}_{N}<0.5\mathrm{\%}$). The spatial distribution of ${v}_{N}(x,y)$ is shown in Figure 3, whereas the magnitude and phase of the relevant Fourier expansion coefficients ${A}_{m}$ and ${B}_{m}$ ($|m|\u2a7dN$) are plotted in Figure 4.

### Second example

*k*-sided convex regular polygon can be readily described by the following specialized version of Gielis’ formula [14]:

**Remark** It has been observed that an ${L}^{2}$ norm of the difference between the exact solution and the relevant approximation is generally negligible. Point-wise convergence seems to be verified in the considered domains, with the only exception of a set of measure zero consisting of quasi-cusped points. In the neighborhood of these points, oscillations of the truncated order solution, recalling the classical Gibbs phenomenon, usually take place.

## Conclusion

A Fourier-like projection method, in combination with the adoption of a suitable stretched coordinate system, has been developed for solving the Dirichlet problem for the Laplace equation in supershaped annuli. In this way, analytically based expressions of the solution of the considered class of *BVP* s can be derived by using classical quadrature rules, thus overcoming the need for cumbersome numerical techniques such as finite-difference or finite-element methods. The proposed approach has been successfully validated by means of a dedicated numerical procedure based on the computer-aided algebra tool Mathematica^{©}. A point-wise convergence of the expansion series representing the solution seems to be verified with the only exception of a set of measure zero consisting of the quasi-cusped points along the boundary of the problem domain. In these points, Gibbs-like oscillations may occur. The computed results are found to be in good agreement with the theoretical findings on Fourier series.

## Declarations

### Acknowledgements

Dedicated to Professor Hari M Srivastava.

This research has been carried out under the grant PRIN/2006 Cap. 7320.

## Authors’ Affiliations

## References

- Gakhov FD:
*Boundary Value Problems*. Dover, New York; 1990.Google Scholar - Natalini P, Patrizi R, Ricci PE: The Dirichlet problem for the Laplace equation in a starlike domain of a Riemann surface.
*Numer. Algorithms*2001, 28: 215-227. 10.1023/A:1014059219005MathSciNetView ArticleGoogle Scholar - Caratelli D, Ricci PE: The Dirichlet problem for the Laplace equation in a starlike domain.
*Proceedings of the International Conference on Scientific Computing, Las Vegas, 14-17 July 2008*2008, 160-166.Google Scholar - Caratelli D, Germano B, Gielis J, He MX, Natalini P, Ricci PE Lecture Notes of Tbilisi International Centre of Mathematics and Informatics. In
*Fourier Solution of the Dirichlet Problem for the Laplace and Helmholtz Equations in Starlike Domains*. Tbilisi University Press, Tbilisi; 2010.Google Scholar - Caratelli D, Natalini P, Ricci PE, Yarovoy A: The Neumann problem for the Helmholtz equation in a starlike planar domain.
*Appl. Math. Comput.*2010, 216: 556-564. 10.1016/j.amc.2010.01.077MathSciNetView ArticleGoogle Scholar - Caratelli D, Gielis J, Natalini P, Ricci PE, Tavkelidze I: The Robin problem for the Helmholtz equation in a starlike planar domain.
*Georgian Math. J.*2011, 18: 465-480.MathSciNetGoogle Scholar - Caratelli D, Gielis J, Ricci PE: Fourier-like solution of the Dirichlet problem for the Laplace equation in
*k*-type Gielis domains.*J. Pure Appl. Math., Adv. Appl.*2011, 5: 99-111.MathSciNetGoogle Scholar - Caratelli D, Ricci PE, Gielis J: The Robin problem for the Laplace equation in a three-dimensional starlike domain.
*Appl. Math. Comput.*2011, 218: 713-719.MathSciNetGoogle Scholar - Gielis J, Caratelli D, Fougerolle Y, Ricci PE, Gerats T: Universal natural shapes from unifying shape description to simple methods for shape analysis and boundary value problems.
*PLoS ONE*2012. doi:10.1371/journal.pone.0029324Google Scholar - Tolstov GP:
*Fourier Series*. Dover, New York; 1962.Google Scholar - Lebedev NN:
*Special Functions and Their Applications*. Dover, New York; 1972.Google Scholar - Gielis J: A generic geometric transformation that unifies a wide range of natural and abstract shapes.
*Am. J. Bot.*2003, 90: 333-338. 10.3732/ajb.90.3.333View ArticleGoogle Scholar - Carleson L: On convergence and growth of partial sums of Fourier series.
*Acta Math.*1966, 116: 135-157. 10.1007/BF02392815MathSciNetView ArticleGoogle Scholar - Lenjou, K: Krommen en oppervlakken van Lamé and Gielis. MSc thesis, Catholic University of Leuven (2005)Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.