 Research
 Open Access
 Published:
Fundamental solution of the Laplacian on flat tori and boundary value problems for the planar Poisson equation in rectangles
Boundary Value Problems volume 2014, Article number: 221 (2014)
Abstract
The fundamental solution of the Laplacian on flat tori is obtained using Eisenstein’s approach to elliptic functions via infinite series over lattices in the complex plane. Most boundary value problems stated for the planar Poisson equation in a rectangle for which seriesonly representations of solution were known, may thus be solved explicitly in closedform using the method of images. Moreover, the fundamental solution of nLaplacian on flat tori may also be simply derived by a convolution power.
PACS Codes: 02.30.Em, 02.30.Jr.
1 Introduction
The Poisson equation is certainly the simplest and the most famous partial differential equation of elliptic type which arises in many areas of mathematical physics, for example for steady state problems in electrostatics, heat conduction and fluid flow. The studies of boundary value problems (BVPs) for Poisson equation in finite or semiinfinite connected domains are ancient and well documented in many reference books [1]–[3]. Different analytical methods to construct solutions of these problems exist such as separation of variables, eigenfunction expansion, etc. and may depend on the nature of boundary conditions and the shape of domains. Among these methods, the method of source function, also called the Green function method, is the only one giving convenient and compact analytical representation of solutions in two or threedimensional space. In this method, the BVPs are reformulated into integral equations that involve the boundary conditions and the related Green function. But, as is well known, the actual implementation of the source function method in applications is often intricate owing to the difficulty to obtain a closedform analytical expression for the Green function. This is notably the case for the BVPs for Poisson equation in rectangular domains for which seriesonly representations of Green functions are used [4], although it is possible in principle to circumvent the difficulty by converting known closedform results obtained for halfplane or circular domain into the rectangle via conformal transformations. Thus, using a conformal SchwarzChristoffel transformation mapping the halfplane into the rectangle, one can easily find the closedform solution of homogeneous Dirichlet problem in terms of Jacobi elliptic functions (see for instance [1], [2], [5]), but to date a large number of other BVPs for rectangular Poisson equation still have no analytical closedform solutions.
We show in the present paper that the solutions of these BVPs amount to solve the Poisson equation on flat tori in the distributional sense i.e. in the space of doubly periodic Schwartz distributions on the Euclidean plane ${\mathbb{E}}^{2}={\mathbb{R}}^{2}\text{or}\mathbb{C}$[6], [7]. For this, the fundamental solution of the Laplacian is first obtained in Section 2 in terms of elliptic functions using Eisenstein’s approach via infinite series over rectangular lattices in ℂ. Secondly, using the method of images for instance, the analytical closedform representation of Green functions for most BVPs stated for planar Poisson equation in the rectangle may easily be derived as shown in Section 3.
2 Fundamental solution and concept of horizon
Most BVPs for rectangular Poisson equation may reduce to solve in a distributional sense an equation of the form $\mathrm{\Delta}V=F$ on ${\mathbb{E}}^{2}$, where the boundary conditions act as source terms and appear in the RHS of the equation. In particular, the equation
where $\delta (x,y)$ is the Dirac distribution at origin, defines the socalled fundamental solution for the Laplacian on the plane. But, as is well known, the solution of (1) is not unique since given the particular solution $log({x}^{2}+{y}^{2})/4\pi $, all solutions of (1) must be written of the form
where h is an arbitrary harmonic function in ${\mathbb{R}}^{2}$i.e. a solution of $\mathrm{\Delta}h=0$. Nevertheless, the fundamental solution is that for which it is usually set $h=\mathrm{constant}$ and this may be justified in a heuristic manner as follows. Equation (1) may be seen as establishing a causal connection between a point source located at the origin, and the change produced at point $(x,y)$ to a certain property G of the free space. In that sense, in the absence of source, this spatial property governed by (1) does not change and has to remain uniform: $\mathrm{\Delta}h=0$ thus must necessarily imply $h=\mathrm{constant}$. In addition, since the fundamental solution may also reflect some geometrical properties of the space like isotropy, it must possess circular symmetry i.e. must depend only on one variable $r=\sqrt{{x}^{2}+{y}^{2}}$ and it is easy to show that the only harmonic functions with circular symmetry are again constant functions.
Thus, all these reasons lead us to define the fundamental solution of Laplace equation on ${\mathbb{E}}^{2}$ as follows:
where ${r}_{0}$ is an arbitrary constant length we shall call in the sequel horizon. It is common, not to say always, the case, to set a priori for convenience ${r}_{0}=1$. But, in the light of our concern, such a simplification has two inconveniences: (i) it overshadows the scale invariance property of solution of (1) by the change of coordinates $(x,y)$ into $(\epsilon x,\epsilon y)$ for any $\epsilon >0$ and the consequences for existence of the solution of BVPs (see below); (ii) the concept of horizon (which may be chosen as far as wanted) restores the property that G tends to 0 as ${({x}^{2}+{y}^{2})}^{1/2}\to {r}_{0}$ which is, here at finite distance, the property retained for the fundamental solution of Laplace equation in $(n>2)$dimensional space for which the horizon is located at infinity.
In this causeandeffect relationship, the distribution solution $V\in {\mathcal{D}}^{\prime}({\mathbb{R}}^{2})$ of BVPs may be readily obtained by ‘division’ i.e. may be given by the double convolution product,
Thus, by a such algebraic approach, the existence of the solution is simply related to the existence of the convolution product in ${\mathcal{D}}^{\prime}({\mathbb{R}}^{2})$ hence the causal solution is derived up to a constant provided that
We focus our attention in the rest of this note to the case where the source term F is doubly periodic in the $x,y$variables. We shall see indeed that the BVPs for the rectangle, not surprisingly, are relevant to that case related to the tessellation of the Euclidean plane ${\mathbb{E}}^{2}$ with an infinite number of identical rectangular tiles in both $x,y$directions.
Assume that F is of period 2a and 2b in the x and yvariable, respectively. It is thus always possible to define the distribution ${F}_{0}$ on the rectangle $\{(x,y)a<x<a,b<y<b\}$ such that ‘by gluing together the pieces’ [7]
The distribution ${F}_{0}$ is thereby biunivocally associated to $F\in {\mathcal{D}}^{\prime}({\mathbb{R}}^{2})$ and it is a distribution on the flat torus ${\mathrm{\Omega}}_{a,b}={\mathbb{E}}^{2}/{\mathrm{\Lambda}}_{a,b}$, quotient of the Euclidean plane by the lattice ${\mathrm{\Lambda}}_{a,b}=2a\mathbb{Z}+2ib\mathbb{Z}$. In order that the condition (3) holds, it is here necessary to prescribe the following compatibility condition:
so that the solution of the Poisson equation $\mathrm{\Delta}V=F$, initially posed on ${\mathbb{E}}^{2}$, is the (doubly periodic) distribution on ${\mathrm{\Omega}}_{a,b}$ formally expressed as the convolution product on the torus,
where
provided that the previous series is convergent, which is unfortunately not the case for any fixed${r}_{0}$.
To overcome this difficulty, let us notice that the solution V should be unchanged owing to the compatibility condition (4), if the term ${r}_{0}^{2}$ is replaced by
(the nonzero term ${r}_{00}$ is not specified, as its value is not essential due to the compatibility condition (4)). In other words, the horizon of $(n,m)$th term of the series is not at all taken constant but is assumed to correspond to the distance from the center of rectangular tile $\{(2n1)a<x<(2n+1)a,(2m1)b<y<(2m+1)b\}$ to the origin viz. the center of fundamental rectangle. In this way, it follows that the double infinite product (6) may be seen as the modulus square of
where the dash, as is customary, denotes omission of the term in $n=m=0$. Nevertheless, the product (8) is always not absolutely convergent and has not the rearrangement property i.e. its limit $\varphi (z)$ (if it exists) is dependent of the order of the factors. Using thus the Eisenstein convention [8] which groups together the factors of opposite rank according to the following calculation process:
(the order of limits is imposed; see [8]), the specific result denoted ${\varphi}_{e}(z)$ becomes an entire function having zeros only at points of the lattice ${\mathrm{\Lambda}}_{a,b}$ but is not doubly periodic in virtue of Liouville’s theorem despite appearances. Indeed, using the Eisenstein convention, (8) shows at once that ${\varphi}_{e}(z+2a)={\varphi}_{e}(z)$ and so ${\varphi}_{e}$ has period 4a, while under translation along the imaginary axis,
See [8] for a proof. Hence, following Eisenstein’s approach to elliptic functions via infinite series over lattices in ℂ [8], we may write
where ${\vartheta}_{1}$ denotes the first Jacobi theta function [9]. At this point, it is no longer difficult to show that the convolution kernel ${\mathrm{\Psi}}_{a,b}$, up to a constant, is thus explicitly given by
Indeed, firstly ${\mathrm{\Psi}}_{a,b}\in {\mathcal{D}}^{\prime}({\mathrm{\Omega}}_{a,b})$ and the double periodicity is recovered due to the exponential term since by (9),
Secondly, it can be proved that
on the flat torus ${\mathrm{\Omega}}_{a,b}$i.e.${\mathrm{\Psi}}_{a,b}$ is the fundamental solution (Green function) for the Laplacian on ${\mathrm{\Omega}}_{a,b}$. Indeed, ${\varphi}_{e}(z)$ is zero at $z=0$ so that $\mathrm{\Delta}{\mathrm{\Psi}}_{a,b}$ has a singularity at the center of the torus and,
(here and in the sequel, the principal branch of the logarithm is considered). In addition, applying the Green theorem on a fundamental domain of the torus,
Since
$\zeta (z)$ being the ζWeierstrass elliptic function, which is meromorphic, having a simple pole at the origin (and no others on the integration domain) with residue 1 [9], it follows from the residue theorem that
This completes the proof. A surface plot of the fundamental solution ${\mathrm{\Psi}}_{a,b}$ is given in Figure 1 for $a=b=3$.
Remarks

(i)
Let us notice that interchanging the roles of variables x and y in what precedes yields an equivalent formulation of the fundamental solution,
$${\mathrm{\Psi}}_{a,b}(x,y)=\frac{1}{2\pi}log\left\{{e}^{\pi {x}^{2}/4ab}\right{\vartheta}_{1}(\frac{\pi}{2b}(y+ix)i\frac{a}{b})\left\right\},$$(12)
or in a more symmetrical form,
(ii) Since from (11),
it follows by induction that, for any integer $n\ge 1$,
which shows that the convolution power ${\mathrm{\Psi}}_{a,b}^{\ast n}(x,y)$ is the fundamental solution for the $(n\ge 1)$Laplacian on the flat torus ${\mathrm{\Omega}}_{a,b}$.
3 Applications
Having found the fundamental solution for the Laplacian (10), it is straightforward using the image method (by an appropriate periodic distribution of images) to obtain the exact expression of the Green function for most BVPs stated for Poisson equation in the rectangle.
Thus, for the Dirichlet problem, the related Green function ${G}_{D}(x,y;{x}_{0},{y}_{0})$i.e. the solution of the equation $\mathrm{\Delta}{G}_{D}=\delta (x{x}_{0})\delta (y{y}_{0})$ on the rectangle $\{(x,y)0<x<a,0<y<b\}$ with the homogeneous conditions ${G}_{D}=0$ on the sides, or equivalently the periodic distribution solution of
on the flat torus ${\mathrm{\Omega}}_{a,b}$ (note that the compatibility condition (4) is well fulfilled) is simply given by
i.e. by setting $z=x+iy$ and ${z}_{0}={x}_{0}+i{y}_{0}$,
This result is to be compared with that obtained in [5]. Here, it is worth to note that in addition to its simplicity, the complex formulation of the Green function together with the properties of functions of a complex variable and of conformal transformation may provide us with several methods for extending as desired the Dirichlet problem to many other geometries [10].
Similarly, for the Neumann problem, the ‘generalized Green function’ (also called Neumann function) ${G}_{N}(x,y;{x}_{0},{y}_{0})$i.e. the solution of the equation $\mathrm{\Delta}{G}_{N}=\delta (x{x}_{0})\delta (y{y}_{0})\frac{1}{ab}$ on the rectangle $\{(x,y)0<x<a,0<y<b\}$ with the homogeneous conditions $\frac{\partial {G}_{N}}{\partial n}=0$ on the sides ($\partial /\partial n$ denotes as usual the outward normal derivative; notice that here the compatibility condition (4) is nothing but the Gauss theorem), or equivalently the periodic distribution solution of
on the flat torus ${\mathrm{\Omega}}_{a,b}$ is thus given by
i.e.
To illustrate the practical value of such an analytical result, consider the Poisson equation $\mathrm{\Delta}u=f(x,y)$ on the unit square $\{0<x,y<1\}$ subject to homogeneous Neumann boundary conditions and where
models two unit points sources of opposite strength and located on a diagonal of the square. The solution is at once given up to a constant by
and, taking the limit $\epsilon \to 0$, the result obtained after simplification,
may be considered as the exact analytical solution of a standard porous media problem known as the homogeneous quarter fivespot problem which is a popular test case scenario in oil reservoir simulation [11]. Figure 2 shows the contours of the pressure field (15) and the streamlines of the velocity field defined by the curves
which agree well with numerical simulations [11].
4 Perspectives and conclusions
The search of analytical closedform solutions for BVPs for planar Poisson equation  but this is also true for many other problems of mathematical physics  are nowadays little tackled for the benefit of numerical computational methods while the existence of a compact analytical closedform solution for such problems is always a great advance for a better understanding of underlying physics. The present work has developed a simple method for analytically solving most BVPs stated for the planar Poisson equation in a rectangular domain for which, to our knowledge, only series representation of solutions were available. This construction, based on the Green function method, amounts to solve the Poisson equation on flat tori in the distributional sense having found the fundamental solution of the Laplacian in terms of elliptic functions. When it is possible, the complex formulation of obtained results will allow one to extend  via conformal transformations  the number of problems posed on regions of more complicated shape and with a mixed setting of different kinds of boundary conditions. Although it was not the primary object of this note, having obtained the fundamental solution of nLaplacian on the flat torus will also be of great interest for explicitly solving BVPs for twodimensional nharmonic equation in rectangles as, for instance, the biharmonic equation and the linear clamped plate boundary value problem in mechanics.
References
 1.
Morse PM, Feshbach H: Methods of Theoretical Physics. McGrawHill, New York; 1953.
 2.
Morse PM, Feshbach H: Methods of Theoretical Physics. McGrawHill, New York; 1953.
 3.
Tikhonov AN, Samarskii AA: Equations of Mathematical Physics. Dover, New York; 1990.
 4.
Melnikov YA, Melnikov MY: Computability of series representations for Green’s functions in a rectangle. Eng. Anal. Bound. Elem. 2006, 30: 774780. 10.1016/j.enganabound.2006.03.010
 5.
Shou Q, Jiang Q, Guo Q: The closedform solution for the 2D Poisson equation with a rectangular boundary. J. Phys. A, Math. Theor. 2009., 42: 10.1088/17518113/42/20/205202
 6.
Gel’fand IM, Shilov GE: Generalized Functions. Academic Press, New York; 1964.
 7.
Schwartz L: Mathematics for the Physical Sciences. AddisonWesley, Reading; 1966.
 8.
Walker PL: Elliptic Functions: A Constructive Approach. Wiley, New York; 1996.
 9.
Gradshteyn IS, Ryzhik IM: Table of Integrals, Series and Products. Academic Press, New York; 2000.
 10.
Driscoll TA, Trefethen LN: SchwarzChristoffel Mapping. Cambridge University Press, Cambridge; 2002.
 11.
Chen CY, Meiburg E: Miscible porous media displacements in the quarter fivespot configuration. Part 1. The homogeneous case. J. Fluid Mech. 1998, 371: 233268. 10.1017/S0022112098002195
Acknowledgements
The author would like to thank the referees for their valuable remarks and suggestions.
Author information
Additional information
Competing interests
The author declares that he has no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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
Received
Accepted
Published
DOI
Keywords
 2D Poisson equation
 Green function
 horizon
 boundary value problem
 flat torus
 analytical solution