Layer Potential Methods for Doubly-Periodic Harmonic Functions

Bohyun Kim; Braxton Osting

arxiv: 2505.03074 · v2 · submitted 2025-05-05 · 🧮 math.NA · cs.NA· math.AP

Layer Potential Methods for Doubly-Periodic Harmonic Functions

Bohyun Kim , Braxton Osting This is my paper

Pith reviewed 2026-05-22 15:59 UTC · model grok-4.3

classification 🧮 math.NA cs.NAmath.AP

keywords layer potentialsdoubly-periodic harmonic functionsFredholm operatorsboundary integral equationsDirichlet problemNeumann problemSteklov eigenvalues

0 comments

The pith

Doubly-periodic layer potentials are compact operators with explicit null space on multi-component boundaries.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops integral equation methods for harmonic functions that are periodic in two directions on a torus containing finitely many holes. It constructs the potentials from a doubly-periodic Green's function written with the Jacobi theta function, then proves that both the single-layer and double-layer operators are compact on smooth closed curves and obey the usual jump relations. A central result is that the associated second-kind Fredholm operator for the double layer has a nontrivial null space whenever the boundary has more than one component, and this kernel is constructed explicitly. The theory is applied to formulate and discretize the Dirichlet, Neumann, and Steklov eigenvalue problems.

Core claim

We develop and analyze layer potential methods to represent harmonic functions on finitely-connected tori using a doubly-periodic non-harmonic Green's function expressed via the Jacobi theta function or modified Weierstrass sigma function. We prove that the single- and double-layer potential operators are compact linear operators and derive the relevant limiting properties at the boundary. When the boundary has more than one connected component, the Fredholm operator of the second kind associated with the double-layer potential operator has a non-trivial null space, which can be explicitly constructed. We apply this theory to obtain solutions to the Dirichlet and Neumann boundary value as 4.

What carries the argument

Single- and double-layer potential operators built from the doubly-periodic Green's function expressed with the Jacobi theta function.

If this is right

Dirichlet and Neumann problems for doubly-periodic harmonics reduce to second-kind Fredholm integral equations on the boundary.
The Steklov eigenvalue problem admits a similar integral-equation discretization that inherits the compactness properties.
Nyström discretizations of the operators achieve spectral convergence without evaluating lattice sums of the free-space kernel.
The method exhibits faster convergence than particular-solution expansions when the holes have irregular shapes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same Green's function and operator analysis could extend directly to other linear elliptic equations in doubly-periodic domains.
Avoidance of lattice summation may yield practical speed-ups for large-scale simulations of periodic media.
Analogous kernel constructions may appear for layer potentials in triply-periodic three-dimensional settings.

Load-bearing premise

The boundary curves are at least twice continuously differentiable and the domain is finitely connected.

What would settle it

Direct substitution of the explicitly constructed candidate function into the double-layer integral operator on a two-component boundary curve, which must return zero if the null-space claim holds.

read the original abstract

We develop and analyze layer potential methods to represent harmonic functions on finitely-connected tori (i.e., doubly-periodic harmonic functions). The layer potentials are expressed in terms of a doubly-periodic and non-harmonic Green's function that can be explicitly written in terms of the Jacobi theta function or a modified Weierstrass sigma function. Extending results for finitely-connected Euclidean domains, we prove that the single- and double-layer potential operators are compact linear operators and derive the relevant limiting properties at the boundary. We show that when the boundary has more than one connected component, the Fredholm operator of the second kind associated with the double-layer potential operator has a non-trivial null space, which can be explicitly constructed. Finally, we apply our developed theory to obtain solutions to the Dirichlet and Neumann boundary value problems, as well as the Steklov eigenvalue problem. We present numerical results using Nystr\"om discretizations and find approximate solutions to these problems in several numerical examples. Our method avoids a lattice sum of the free-space Green's function, is shown to be spectrally convergent, and exhibits a faster convergence rate than the method of particular solutions for problems on tori with irregularly shaped holes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper sets up layer potentials for doubly-periodic harmonic functions on tori using a theta-function kernel, with explicit null-space construction for multiply-connected boundaries and spectral numerics.

read the letter

The main takeaway is that this work gives a practical layer-potential representation for harmonic functions on doubly-periodic domains with holes, built from a Green's function written with Jacobi theta functions. It avoids lattice sums over free-space kernels and proves compactness plus boundary limits for the single- and double-layer operators. When the boundary has multiple components the second-kind Fredholm operator has a non-trivial null space that they construct explicitly from the kernel properties and the constant term in the Laplacian of G. The numerics use Nystrom discretization and show spectral convergence that beats the method of particular solutions on irregular holes. That comparison is concrete evidence the approach works in practice. The analysis is mostly a direct adaptation of classical arguments once the periodic kernel is in place, with the smooth correction term producing only a compact perturbation. The jump relations stay the same because the singularity is still logarithmic. This is useful for anyone solving Dirichlet, Neumann, or Steklov problems in periodic media. The soft spots are limited. The proofs follow standard Fredholm theory after the kernel is defined, so the novelty sits more in the setup and the explicit null-space formula than in fundamentally new analysis. The C^2 boundary assumption is standard but rules out rougher interfaces without extra work. More detail on how the null space is removed in the discrete systems or on a priori error bounds would strengthen the numerics section, though the examples already look convincing. This is aimed at numerical analysts working on boundary integral methods for periodic or multiply-connected domains. A reader who needs concrete tools for such problems will get usable formulas and a clear comparison. It deserves a serious referee because the combination of explicit construction, standard-theory grounding, and supporting numerics is coherent enough to warrant feedback.

Referee Report

2 major / 3 minor

Summary. The paper develops layer potential methods for doubly-periodic harmonic functions on finitely connected domains using a Green's function expressed via the Jacobi theta function. It proves that the single- and double-layer operators are compact, derives their boundary jump relations, constructs an explicit non-trivial null space for the double-layer Fredholm operator when the boundary has multiple components, and applies the framework to Dirichlet, Neumann, and Steklov problems. Numerical results with Nyström discretization demonstrate spectral convergence and faster rates than the method of particular solutions for irregular holes.

Significance. If the analysis holds, the work supplies a rigorous, lattice-sum-free approach to periodic layer potentials that directly extends classical Fredholm theory while preserving jump relations. The explicit null-space construction and spectral accuracy in the numerical examples are clear strengths for applications in periodic media. The avoidance of lattice summation and the comparison to existing methods add practical value in numerical analysis.

major comments (2)

[§3.2] §3.2: The compactness argument for the double-layer operator treats the theta-function correction as a smooth rank-one perturbation, but the proof sketch does not explicitly verify that the periodic correction remains C^1 across the lattice periods when the boundary curve intersects multiple periods; this step is load-bearing for the Fredholm alternative used later.
[§4.1] §4.1, Eq. (4.3): The explicit null-space vector for the multi-component case is constructed by adding a global constant to the per-component densities, yet the compatibility condition arising from the constant term in ΔG is only stated, not derived in detail; a short calculation showing that this vector indeed lies in the kernel would strengthen the claim.

minor comments (3)

[Abstract] Abstract and §1: The phrase 'finitely-connected tori' is slightly ambiguous; a brief parenthetical clarifying that the setting is the plane with doubly periodic boundary conditions and finitely many holes would help readers.
[§5.3] §5.3: The convergence plots for the Steklov eigenvalues would benefit from tabulated error values or explicit rates rather than relying solely on visual inspection of the log-log slope.
[References] References: Several classical works on periodic Green's functions (e.g., on Weierstrass sigma functions) are cited, but a short comparison paragraph with existing periodic layer-potential literature would clarify novelty.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and constructive feedback on our paper. We address the major comments below and plan to incorporate clarifications in the revised version to enhance the clarity of the proofs.

read point-by-point responses

Referee: [§3.2] §3.2: The compactness argument for the double-layer operator treats the theta-function correction as a smooth rank-one perturbation, but the proof sketch does not explicitly verify that the periodic correction remains C^1 across the lattice periods when the boundary curve intersects multiple periods; this step is load-bearing for the Fredholm alternative used later.

Authors: We agree with the referee that an explicit check of the C^1 regularity across periods would strengthen the argument. The Green's function is constructed to be doubly periodic and smooth away from the origin, and the correction term is designed to cancel the non-periodic parts. In the revised manuscript, we will expand the proof in §3.2 to include a verification that the periodic correction and its first derivatives are continuous and match across the lattice boundaries, even when the integration curve crosses periods. This will confirm the compactness without altering the main results. revision: yes
Referee: [§4.1] §4.1, Eq. (4.3): The explicit null-space vector for the multi-component case is constructed by adding a global constant to the per-component densities, yet the compatibility condition arising from the constant term in ΔG is only stated, not derived in detail; a short calculation showing that this vector indeed lies in the kernel would strengthen the claim.

Authors: This is a valid point for improving the exposition. We will add a short calculation right after Eq. (4.3) in §4.1. Specifically, we will show that applying the double-layer operator to the proposed vector results in zero by integrating the constant term from ΔG over the boundary components and using the fact that the total flux or compatibility is satisfied due to the periodicity and the choice of the global constant. This derivation is straightforward from the properties of the Green's function and will be included in the revision. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation adapts classical potential theory independently

full rationale

The paper derives compactness of single- and double-layer operators and the non-trivial null space of the associated Fredholm operator directly from the logarithmic singularity of the theta-function Green's function (identical to the free-space case) together with standard jump relations and Fredholm theory on closed curves. These properties are extended to the doubly-periodic setting without fitted parameters, self-referential predictions, or load-bearing self-citations; the explicit null-space construction for multi-component boundaries follows from the global compatibility condition on the constant term in Delta G and is a direct periodic analogue of the classical constant densities. All steps remain self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the existence and regularity of the doubly-periodic Green's function expressed via Jacobi theta functions, plus the standard jump relations for layer potentials on smooth closed curves. No free parameters are introduced; the periods are treated as given data.

axioms (2)

domain assumption The boundary consists of finitely many disjoint smooth closed curves and the domain is doubly periodic.
Invoked to extend classical layer-potential theory to the periodic setting.
standard math The Jacobi-theta or modified Weierstrass-sigma expression yields a well-defined non-harmonic doubly-periodic Green's function.
Used as the kernel for the layer potentials.

pith-pipeline@v0.9.0 · 5738 in / 1461 out tokens · 29212 ms · 2026-05-22T15:59:11.780734+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We develop and analyze layer potential methods … expressed in terms of a doubly-periodic … Green’s function … Jacobi theta function or a modified Weierstrass sigma function … prove that the single- and double-layer potential operators are compact … when the boundary has more than one connected component, the Fredholm operator … has a non-trivial null space, which can be explicitly constructed.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

G(z) := −1/2π log|ϑ₁(z)| + 1/(2b) Im(z)² … ΔG(z) = 1/b − δ(z)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

65 extracted references · 65 canonical work pages

[1]

Ammari, B

H. Ammari, B. Fitzpatrick, H. Kang, M. Ruiz, S. Yu, and H. Zhang , Mathematical and Computational Methods in Photonics and Phononics , American Mathematical Society, 2018, https://doi.org/10.1090/surv/235

work page doi:10.1090/surv/235 2018
[2]

Axler, Harmonic functions from a complex analysis viewpoint, The American Mathematical Monthly, 93 (1986), p

S. Axler, Harmonic functions from a complex analysis viewpoint, The American Mathematical Monthly, 93 (1986), p. 246, https://doi.org/10.2307/2323672

work page doi:10.2307/2323672 1986
[3]

E. A. Baderko , Parabolic problems and boundary integral equations , Mathematical meth- ods in the applied sciences, 20 (1997), pp. 449–459, https://doi.org/10.1002/(SICI) 1099-1476(19970325)20:5⟨449::AID-MMA818⟩3.0.CO;2-E

work page doi:10.1002/(sici 1997
[4]

Barnett , Boundary integral equations for BVPs, and their high-order Nystr¨ om quadra- tures: a tutorial , in CBMS Conference on Fast Direct Solvers, 2014

A. Barnett , Boundary integral equations for BVPs, and their high-order Nystr¨ om quadra- tures: a tutorial , in CBMS Conference on Fast Direct Solvers, 2014

work page 2014
[5]

Barnett and L

A. Barnett and L. Greengard , A new integral representation for quasi-periodic scattering problems in two dimensions , BIT Numerical Mathematics, 51 (2011), pp. 67–90, https: //doi.org/10.1007/s10543-010-0297-x

work page doi:10.1007/s10543-010-0297-x 2011
[6]

A. H. Barnett, G. R. Marple, S. Veerapaneni, and L. Zhao , A unified integral equation scheme for doubly periodic Laplace and Stokes boundary value problems in two dimensions, Communications on Pure and Applied Mathematics, 71 (2018), p. 2334–2380, https://doi. org/10.1002/cpa.21759

work page doi:10.1002/cpa.21759 2018
[7]

Barton , Layer potentials for general linear elliptic systems , Electronic Journal of Dif- ferential Equations, (2017), pp

A. Barton , Layer potentials for general linear elliptic systems , Electronic Journal of Dif- ferential Equations, (2017), pp. 1–23, https://ejde.math.txstate.edu/Volumes/2017/309/ barton.pdf

work page 2017
[8]

Bergweiler and A

W. Bergweiler and A. Eremenko , Green’s function and anti-holomorphic dynamics on a torus, Proceedings of the American Mathematical Society, 144 (2016), pp. 2911–3061, https://doi.org/10.1090/proc/13044

work page doi:10.1090/proc/13044 2016
[9]

C. L. Berman and L. Greengard , A renormalization method for the evaluation of lattice sums, Journal of Mathematical Physics, 35 (1994), pp. 6036–6048, https://doi.org/10. 1063/1.530726

work page 1994
[10]

Bogosel, The method of fundamental solutions applied to boundary eigenvalue problems , Journal of Computational and Applied Mathematics, 306 (2016), pp

B. Bogosel, The method of fundamental solutions applied to boundary eigenvalue problems , Journal of Computational and Applied Mathematics, 306 (2016), pp. 265–285, https://doi. org/10.1016/j.cam.2016.04.008

work page doi:10.1016/j.cam.2016.04.008 2016
[11]

J. M. Borwein, M. L. Glasser, R. C. McPhedran, J. G. Wan, and I. J. Zucker , Lattice Sums Then and Now, no. 150, Cambridge University Press, 2013, https://doi.org/10.1017/ cbo9781139626804

work page 2013
[12]

Cazeaux and O

P. Cazeaux and O. Zahm, A fast boundary element method for the solution of periodic many- inclusion problems via hierarchical matrix techniques , ESAIM: Proceedings and Surveys, 48 (2015), p. 156–168, https://doi.org/10.1051/proc/201448006

work page doi:10.1051/proc/201448006 2015
[13]

Chandrasekharan, Elliptic functions , vol

K. Chandrasekharan, Elliptic functions , vol. 281, Springer, 1985, https://doi.org/10.1007/ 978-3-642-52244-4

work page 1985
[14]

Oxford Univer- sity Press (2018).https://doi.org/10.1093/oso/9780198814788.001.0001

D. Cioranescu and P. Donato, An Introduction to Homogenization, Oxford University Press, 11 1999, https://doi.org/10.1093/oso/9780198565543.001.0001

work page doi:10.1093/oso/9780198565543.001.0001 1999
[15]

Cohn, Conformal mapping on Riemann surfaces , McGraw-Hill, Inc., 1967

H. Cohn, Conformal mapping on Riemann surfaces , McGraw-Hill, Inc., 1967

work page 1967
[16]

Daniels, Note on Weierstrass’ methods in the theory of elliptic functions, American Journal of Mathematics, 6 (1883), pp

A. Daniels, Note on Weierstrass’ methods in the theory of elliptic functions, American Journal of Mathematics, 6 (1883), pp. 177–182, https://doi.org/10.2307/2369218

work page doi:10.2307/2369218
[17]

Emersleben, Das Darcysche Filtergesetz, Physikalische Zeitschrift, 26 (1925), pp

O. Emersleben, Das Darcysche Filtergesetz, Physikalische Zeitschrift, 26 (1925), pp. 601–610

work page 1925
[18]

L. C. Evans, Partial differential equations, vol. 19, American Mathematical Society, second ed., 2010, https://doi.org/10.1090/gsm/019

work page doi:10.1090/gsm/019 2010
[19]

P. P. Ewald , Die Berechnung optischer und elektrostatischer Gitterpotentiale , Annalen der Physik, 369 (1921), pp. 253–287, https://doi.org/10.1002/andp.19213690304

work page doi:10.1002/andp.19213690304 1921
[20]

G. B. Folland, Introduction to partial differential equations , Princeton University Press, sec- ond ed., 1995, https://doi.org/10.2307/j.ctvzsmfgn. LAYER POTENTIAL METHODS FOR DOUBLY-PERIODIC HARMONIC FUNCTIONS 21

work page doi:10.2307/j.ctvzsmfgn 1995
[21]

S. D. Gedney , On deriving a locally corrected Nystr¨ om scheme from a quadrature sampled moment method, IEEE Transactions on Antennas and Propagation, 51 (2003), pp. 2402– 2412, https://doi.org/10.1109/TAP.2003.816305

work page doi:10.1109/tap.2003.816305 2003
[22]

Gemmrich, N

S. Gemmrich, N. Nigam, and O. Steinbach , Boundary Integral Equations for the Laplace- Beltrami Operator, Springer Berlin Heidelberg, 2008, pp. 21–37, https://doi.org/10.1007/ 978-3-540-68850-1 2

work page 2008
[23]

Girouard and I

A. Girouard and I. Polterovich, Spectral geometry of the Steklov problem , Journal of Spec- tral Theory, 7 (2017), pp. 321–359, https://doi.org/10.4171/JST/164

work page doi:10.4171/jst/164 2017
[24]

Goodwill and M

T. Goodwill and M. O’Neil , An interface formulation of the Laplace-Beltrami problem on piecewise smooth surfaces, SIAM Journal on Mathematical Analysis, 55 (2023), pp. 7575– 7615, https://doi.org/10.1137/22m1538454

work page doi:10.1137/22m1538454 2023
[25]

Greenbaum, L

A. Greenbaum, L. Greengard, and G. B. McFadden, Laplace’s equation and the Dirichlet- Neumann map in multiply connected domains , Journal of Computational Physics, 105 (1993), pp. 267–278, https://doi.org/10.1006/jcph.1993.1073

work page doi:10.1006/jcph.1993.1073 1993
[26]

Greengard and M

L. Greengard and M. C. Kropinski , Integral equation methods for Stokes flow in doubly- periodic domains, Journal of Engineering Mathematics, 48 (2004), p. 157–170, https://doi. org/10.1023/b:engi.0000011923.59797.92

work page doi:10.1023/b:engi.0000011923.59797.92 2004
[27]

Greengard and M

L. Greengard and M. Moura , On the numerical evaluation of electrostatic fields in composite materials , Acta Numerica, 3 (1994), p. 379–410, https://doi.org/10.1017/ s0962492900002464

work page 1994
[28]

Greengard, V

L. Greengard and V. Rokhlin, A fast algorithm for particle simulations , Journal of Compu- tational Physics, 73 (1987), pp. 325–348, https://doi.org/10.1016/0021-9991(87)90140-9

work page doi:10.1016/0021-9991(87)90140-9 1987
[29]

Grisvard, Elliptic problems in nonsmooth domains , SIAM, 2011

P. Grisvard, Elliptic problems in nonsmooth domains , SIAM, 2011

work page 2011
[30]

Hafner, The Generalized Multipole Technique for Computational Electromagnetics, Artech House, 1990

C. Hafner, The Generalized Multipole Technique for Computational Electromagnetics, Artech House, 1990

work page 1990
[31]

S. Hao, A. H. Barnett, P. G. Martinsson, and P. Young, High-order accurate methods for Nystr¨ om discretization of integral equations on smooth curves in the plane , Advances in Computational Mathematics, (2014), https://doi.org/10.1007/s10444-013-9306-3

work page doi:10.1007/s10444-013-9306-3 2014
[32]

H. Hasimoto, On the periodic fundamental solutions of the Stokes equations and their appli- cation to viscous flow past a cubic array of spheres , Journal of Fluid Mechanics, 5 (1959), p. 317–328, https://doi.org/10.1017/S0022112059000222

work page doi:10.1017/s0022112059000222 1959
[33]

Hasimoto, Periodic Fundamental Solution of a Two-Dimensional Poisson Equation , Jour- nal of the Physical Society of Japan, 77 (2008), p

H. Hasimoto, Periodic Fundamental Solution of a Two-Dimensional Poisson Equation , Jour- nal of the Physical Society of Japan, 77 (2008), p. 104601, https://doi.org/10.1143/JPSJ. 77.104601

work page doi:10.1143/jpsj 2008
[34]

Helsing , An integral equation method for elastostatics of periodic composites , Journal of the Mechanics and Physics of Solids, 43 (1995), p

J. Helsing , An integral equation method for elastostatics of periodic composites , Journal of the Mechanics and Physics of Solids, 43 (1995), p. 815–828, https://doi.org/10.1016/ 0022-5096(95)00018-e

work page 1995
[35]

Helsing and R

J. Helsing and R. Ojala, On the evaluation of layer potentials close to their sources , Journal of Computational Physics, 227 (2008), pp. 2899–2921, https://doi.org/10.1016/j.jcp.2007. 11.024

work page doi:10.1016/j.jcp.2007 2008
[36]

P. Henrici, Applied and computational complex analysis, Volume 3: discrete Fourier analysis, Cauchy integrals, construction of conformal maps, univalent functions, John Wiley & Sons, 1986

work page 1986
[37]

J. D. Joannopoulos, S. G. Johnson, J. N. Winn, and R. D. Meade , Photonic Crystals: Molding the Flow of Light - Second Edition , Princeton University Press, 2011, https://doi. org/10.2307/j.ctvcm4gz9

work page doi:10.2307/j.ctvcm4gz9 2011
[38]

C.-Y. Kao, B. Osting, and E. Oudet , Harmonic functions on finitely connected tori , SIAM Journal on Numerical Analysis, 61 (2023), pp. 2795–2812, https://doi.org/10.1137/ 23M1569897

work page 2023
[39]

Kapanadze, G

D. Kapanadze, G. Mishuris, and E. Pesetskaya, Exact solution to a nonlinear heat conduc- tion problem in doubly periodic 2D composite materials , Archives of Mechanics, (2015)

work page 2015
[40]

Kim, BIE periodic

B. Kim, BIE periodic. https://github.com/BohyunKim92/BIE periodic, 2025

work page 2025
[41]

Kress , Boundary integral equations in time-harmonic acoustic scattering , Mathematical and Computer Modelling, 15 (1991), pp

R. Kress , Boundary integral equations in time-harmonic acoustic scattering , Mathematical and Computer Modelling, 15 (1991), pp. 229–243, https://doi.org/10.1016/0895-7177(91) 90068-i

work page doi:10.1016/0895-7177(91 1991
[42]

Kress , Linear integral equations , Springer, third ed., 2014, https://doi.org/10.1007/ 978-1-4614-9593-2

R. Kress , Linear integral equations , Springer, third ed., 2014, https://doi.org/10.1007/ 978-1-4614-9593-2

work page 2014
[43]

M. C. A. Kropinski and N. Nigam , Fast integral equation methods for the Laplace-Beltrami equation on the sphere , Advances in Computational Mathematics, 40 (2014), p. 577–596, https://doi.org/10.1007/s10444-013-9319-y

work page doi:10.1007/s10444-013-9319-y 2014
[44]

Kuchment, An overview of periodic elliptic operators , Bulletin of the American Mathemat- ical Society, 53 (2016), p

P. Kuchment, An overview of periodic elliptic operators , Bulletin of the American Mathemat- ical Society, 53 (2016), p. 343–414, https://doi.org/10.1090/bull/1528. 22 B. KIM AND B. OSTING

work page doi:10.1090/bull/1528 2016
[45]

P. K. Kundu, I. M. Cohen, and D. R. Dowling , Fluid Mechanics , Academic Press, fifth edition ed., 2012, https://doi.org/10.1016/C2009-0-63410-3

work page doi:10.1016/c2009-0-63410-3 2012
[46]

Kuznetsov, T

N. Kuznetsov, T. Kulczycki, M. Kwa ´snicki, A. Nazarov, S. Poborchi, I. Polterovich, and B. Siudeja , The Legacy of Vladimir Andreevich Steklov , Notices of the AMS, 61 (2014), p. 190, https://www.ams.org/notices/201401/rnoti-p9.pdf

work page 2014
[47]

Lamb, Hydrodynamics, University Press, 1895, https://doi.org/10.5962/bhl.title.18729

H. Lamb, Hydrodynamics, University Press, 1895, https://doi.org/10.5962/bhl.title.18729

work page doi:10.5962/bhl.title.18729
[48]

Lin and C.-L

C.-S. Lin and C.-L. Wang , Elliptic functions, Green functions and the mean field equations on tori, Annals of Mathematics, (2010), pp. 911–954, https://doi.org/10.4007/annals.2010. 172.911

work page doi:10.4007/annals.2010 2010
[49]

Lindbo and A.-K

D. Lindbo and A.-K. Tornberg , Spectral accuracy in fast Ewald-based methods for particle simulations, Journal of Computational Physics, 230 (2011), pp. 8744–8761, https://doi. org/10.1016/j.jcp.2011.08.022

work page doi:10.1016/j.jcp.2011.08.022 2011
[50]

W. C. H. McLean, Strongly elliptic systems and boundary integral equations , Cambridge uni- versity press, 2000

work page 2000
[51]

Mikhlin, Integral Equations, Pergamon, 1957, https://doi.org/10.1016/C2013-0-08209-6

S. Mikhlin, Integral Equations, Pergamon, 1957, https://doi.org/10.1016/C2013-0-08209-6

work page doi:10.1016/c2013-0-08209-6 1957
[52]

S. G. Mikhlin, Linear Integral Equations, Reprint, Dover Publications, 2020

work page 2020
[53]

Nahon and ´Edouard Oudet, Computation of harmonic functions on higher genus sur- faces, 2024, https://doi.org/10.48550/arXiv.2410.06763

M. Nahon and ´Edouard Oudet, Computation of harmonic functions on higher genus sur- faces, 2024, https://doi.org/10.48550/arXiv.2410.06763

work page doi:10.48550/arxiv.2410.06763 2024
[54]

M. M. S. Nasser, A. H. M. Murid, M. Ismail, and E. M. A. Alejaily , Boundary in- tegral equations with the generalized Neumann kernel for Laplace’s equation in multi- ply connected regions, Applied Mathematics and Computation, 217 (2011), p. 4710–4727, https://doi.org/10.1016/j.amc.2010.11.027

work page doi:10.1016/j.amc.2010.11.027 2011
[55]

Ogata, K

H. Ogata, K. Amano, M. Sugihara, and D. Okano , A fundamental solution method for viscous flow problems with obstacles in a periodic array , Journal of Computational and Applied Mathematics, 152 (2003), pp. 411–425, https://doi.org/10.1016/S0377-0427(02) 00720-3

work page doi:10.1016/s0377-0427(02 2003
[56]

Otani and N

Y. Otani and N. Nishimura , A fast multipole boundary integral equation method for peri- odic boundary value problems in three-dimensional elastostatics and its application to ho- mogenization, International Journal for Multiscale Computational Engineering, 4 (2006), p. 487–500, https://doi.org/10.1615/intjmultcompeng.v4.i4.60

work page doi:10.1615/intjmultcompeng.v4.i4.60 2006
[57]

Oudet, C.-Y

E. Oudet, C.-Y. Kao, and B. Osting , Computation of free boundary minimal surfaces via extremal Steklov eigenvalue problems, ESAIM: Control, Optimisation and Calculus of Vari- ations, 27 (2021), p. 34, https://doi.org/10.1051/cocv/2021033

work page doi:10.1051/cocv/2021033 2021
[58]

Polterovich, D

I. Polterovich, D. A. Sher, and J. A. Toth, Nodal length of Steklov eigenfunctions on real- analytic Riemannian surfaces , Journal f¨ ur die reine und angewandte Mathematik, (2019), pp. 17–47

work page 2019
[59]

Pozrikidis, Computation of periodic Green’s functions of Stokes flow , Journal of Engineer- ing Mathematics, 30 (1996), p

C. Pozrikidis, Computation of periodic Green’s functions of Stokes flow , Journal of Engineer- ing Mathematics, 30 (1996), p. 79–96, https://doi.org/10.1007/bf00118824

work page doi:10.1007/bf00118824 1996
[60]

L. N. Trefethen , Series solution of Laplace problems , The ANZIAM Journal, 60 (2018), pp. 1–26, https://doi.org/10.1017/s1446181118000093

work page doi:10.1017/s1446181118000093 2018
[61]

G. A. L. Van De Vorst , Integral formulation to simulate the viscous sintering of a two- dimensional lattice of periodic unit cells , Journal of Engineering Mathematics, 30 (1996), p. 97–118, https://doi.org/10.1007/bf00118825

work page doi:10.1007/bf00118825 1996
[62]

Wegmann and M

R. Wegmann and M. M. S. Nasser , The Riemann–Hilbert problem and the generalized Neu- mann kernel on multiply connected regions , Journal of Computational and Applied Math- ematics, 214 (2008), pp. 36–57, https://doi.org/10.1016/j.cam.2007.01.021. LAYER POTENTIAL METHODS FOR DOUBLY-PERIODIC HARMONIC FUNCTIONS 23 Appendix A. Proofs of lemmas in Sections 2–...

work page doi:10.1016/j.cam.2007.01.021 2008
[63]

Notably, ℜDf[ϕ] = D[ϕ] is a function on Tτ \ ∂Ω, whereas ℑDf[ϕ] is not necessarily doubly-periodic

For ϕ ∈ C(∂Ω), Df[ϕ] is analytic on Pτ \ ∂Ω; therefore, both ℜDf[ϕ] and ℑDf[ϕ] are harmonic on Pτ \ ∂Ω. Notably, ℜDf[ϕ] = D[ϕ] is a function on Tτ \ ∂Ω, whereas ℑDf[ϕ] is not necessarily doubly-periodic

work page
[64]

Note that Lemma A.3(2) follows from the Sokhotski-Plemelj formula in [42, Thm

For ϕ ∈ C(∂Ω), the complex double layer potential satisfies Df[ϕ](z± 0 ) = Kf[ϕ](z0) ∓ 1 2 ϕ(z0), z 0 ∈ ∂Ω. Note that Lemma A.3(2) follows from the Sokhotski-Plemelj formula in [42, Thm. 7.8], since ζ(z − ξ) admits a Laurent series with leading order ( z − ξ)−1 [48]. LAYER POTENTIAL METHODS FOR DOUBLY-PERIODIC HARMONIC FUNCTIONS 25 Proof. (1) Following [5...

work page
[65]

We show that cj = 0 for all j = 1, 2, . . . , M. Let u(z) = M −1X j=1 cjS[ψj](z) for z ∈ Tτ =⇒ u(z) = −cM on D (because of (2.7)) . Note that ∆u(z) = 0 on Ω and u(z) is continuous throughout Tτ. Thus, u(z+ 0 ) = −cM implies u(z) ≡ −cM on Tτ . Finally, apply Lemma 2.3(2) for all z0 ∈ ∂Ω to obtain 0 = ∂νu(z+ 0 ) − ∂νu(z− 0 ) = M −1X j=1 cj ∂νS[ψj](z+ 0 ) − ...

work page

[1] [1]

Ammari, B

H. Ammari, B. Fitzpatrick, H. Kang, M. Ruiz, S. Yu, and H. Zhang , Mathematical and Computational Methods in Photonics and Phononics , American Mathematical Society, 2018, https://doi.org/10.1090/surv/235

work page doi:10.1090/surv/235 2018

[2] [2]

Axler, Harmonic functions from a complex analysis viewpoint, The American Mathematical Monthly, 93 (1986), p

S. Axler, Harmonic functions from a complex analysis viewpoint, The American Mathematical Monthly, 93 (1986), p. 246, https://doi.org/10.2307/2323672

work page doi:10.2307/2323672 1986

[3] [3]

E. A. Baderko , Parabolic problems and boundary integral equations , Mathematical meth- ods in the applied sciences, 20 (1997), pp. 449–459, https://doi.org/10.1002/(SICI) 1099-1476(19970325)20:5⟨449::AID-MMA818⟩3.0.CO;2-E

work page doi:10.1002/(sici 1997

[4] [4]

Barnett , Boundary integral equations for BVPs, and their high-order Nystr¨ om quadra- tures: a tutorial , in CBMS Conference on Fast Direct Solvers, 2014

A. Barnett , Boundary integral equations for BVPs, and their high-order Nystr¨ om quadra- tures: a tutorial , in CBMS Conference on Fast Direct Solvers, 2014

work page 2014

[5] [5]

Barnett and L

A. Barnett and L. Greengard , A new integral representation for quasi-periodic scattering problems in two dimensions , BIT Numerical Mathematics, 51 (2011), pp. 67–90, https: //doi.org/10.1007/s10543-010-0297-x

work page doi:10.1007/s10543-010-0297-x 2011

[6] [6]

A. H. Barnett, G. R. Marple, S. Veerapaneni, and L. Zhao , A unified integral equation scheme for doubly periodic Laplace and Stokes boundary value problems in two dimensions, Communications on Pure and Applied Mathematics, 71 (2018), p. 2334–2380, https://doi. org/10.1002/cpa.21759

work page doi:10.1002/cpa.21759 2018

[7] [7]

Barton , Layer potentials for general linear elliptic systems , Electronic Journal of Dif- ferential Equations, (2017), pp

A. Barton , Layer potentials for general linear elliptic systems , Electronic Journal of Dif- ferential Equations, (2017), pp. 1–23, https://ejde.math.txstate.edu/Volumes/2017/309/ barton.pdf

work page 2017

[8] [8]

Bergweiler and A

W. Bergweiler and A. Eremenko , Green’s function and anti-holomorphic dynamics on a torus, Proceedings of the American Mathematical Society, 144 (2016), pp. 2911–3061, https://doi.org/10.1090/proc/13044

work page doi:10.1090/proc/13044 2016

[9] [9]

C. L. Berman and L. Greengard , A renormalization method for the evaluation of lattice sums, Journal of Mathematical Physics, 35 (1994), pp. 6036–6048, https://doi.org/10. 1063/1.530726

work page 1994

[10] [10]

Bogosel, The method of fundamental solutions applied to boundary eigenvalue problems , Journal of Computational and Applied Mathematics, 306 (2016), pp

B. Bogosel, The method of fundamental solutions applied to boundary eigenvalue problems , Journal of Computational and Applied Mathematics, 306 (2016), pp. 265–285, https://doi. org/10.1016/j.cam.2016.04.008

work page doi:10.1016/j.cam.2016.04.008 2016

[11] [11]

J. M. Borwein, M. L. Glasser, R. C. McPhedran, J. G. Wan, and I. J. Zucker , Lattice Sums Then and Now, no. 150, Cambridge University Press, 2013, https://doi.org/10.1017/ cbo9781139626804

work page 2013

[12] [12]

Cazeaux and O

P. Cazeaux and O. Zahm, A fast boundary element method for the solution of periodic many- inclusion problems via hierarchical matrix techniques , ESAIM: Proceedings and Surveys, 48 (2015), p. 156–168, https://doi.org/10.1051/proc/201448006

work page doi:10.1051/proc/201448006 2015

[13] [13]

Chandrasekharan, Elliptic functions , vol

K. Chandrasekharan, Elliptic functions , vol. 281, Springer, 1985, https://doi.org/10.1007/ 978-3-642-52244-4

work page 1985

[14] [14]

Oxford Univer- sity Press (2018).https://doi.org/10.1093/oso/9780198814788.001.0001

D. Cioranescu and P. Donato, An Introduction to Homogenization, Oxford University Press, 11 1999, https://doi.org/10.1093/oso/9780198565543.001.0001

work page doi:10.1093/oso/9780198565543.001.0001 1999

[15] [15]

Cohn, Conformal mapping on Riemann surfaces , McGraw-Hill, Inc., 1967

H. Cohn, Conformal mapping on Riemann surfaces , McGraw-Hill, Inc., 1967

work page 1967

[16] [16]

Daniels, Note on Weierstrass’ methods in the theory of elliptic functions, American Journal of Mathematics, 6 (1883), pp

A. Daniels, Note on Weierstrass’ methods in the theory of elliptic functions, American Journal of Mathematics, 6 (1883), pp. 177–182, https://doi.org/10.2307/2369218

work page doi:10.2307/2369218

[17] [17]

Emersleben, Das Darcysche Filtergesetz, Physikalische Zeitschrift, 26 (1925), pp

O. Emersleben, Das Darcysche Filtergesetz, Physikalische Zeitschrift, 26 (1925), pp. 601–610

work page 1925

[18] [18]

L. C. Evans, Partial differential equations, vol. 19, American Mathematical Society, second ed., 2010, https://doi.org/10.1090/gsm/019

work page doi:10.1090/gsm/019 2010

[19] [19]

P. P. Ewald , Die Berechnung optischer und elektrostatischer Gitterpotentiale , Annalen der Physik, 369 (1921), pp. 253–287, https://doi.org/10.1002/andp.19213690304

work page doi:10.1002/andp.19213690304 1921

[20] [20]

G. B. Folland, Introduction to partial differential equations , Princeton University Press, sec- ond ed., 1995, https://doi.org/10.2307/j.ctvzsmfgn. LAYER POTENTIAL METHODS FOR DOUBLY-PERIODIC HARMONIC FUNCTIONS 21

work page doi:10.2307/j.ctvzsmfgn 1995

[21] [21]

S. D. Gedney , On deriving a locally corrected Nystr¨ om scheme from a quadrature sampled moment method, IEEE Transactions on Antennas and Propagation, 51 (2003), pp. 2402– 2412, https://doi.org/10.1109/TAP.2003.816305

work page doi:10.1109/tap.2003.816305 2003

[22] [22]

Gemmrich, N

S. Gemmrich, N. Nigam, and O. Steinbach , Boundary Integral Equations for the Laplace- Beltrami Operator, Springer Berlin Heidelberg, 2008, pp. 21–37, https://doi.org/10.1007/ 978-3-540-68850-1 2

work page 2008

[23] [23]

Girouard and I

A. Girouard and I. Polterovich, Spectral geometry of the Steklov problem , Journal of Spec- tral Theory, 7 (2017), pp. 321–359, https://doi.org/10.4171/JST/164

work page doi:10.4171/jst/164 2017

[24] [24]

Goodwill and M

T. Goodwill and M. O’Neil , An interface formulation of the Laplace-Beltrami problem on piecewise smooth surfaces, SIAM Journal on Mathematical Analysis, 55 (2023), pp. 7575– 7615, https://doi.org/10.1137/22m1538454

work page doi:10.1137/22m1538454 2023

[25] [25]

Greenbaum, L

A. Greenbaum, L. Greengard, and G. B. McFadden, Laplace’s equation and the Dirichlet- Neumann map in multiply connected domains , Journal of Computational Physics, 105 (1993), pp. 267–278, https://doi.org/10.1006/jcph.1993.1073

work page doi:10.1006/jcph.1993.1073 1993

[26] [26]

Greengard and M

L. Greengard and M. C. Kropinski , Integral equation methods for Stokes flow in doubly- periodic domains, Journal of Engineering Mathematics, 48 (2004), p. 157–170, https://doi. org/10.1023/b:engi.0000011923.59797.92

work page doi:10.1023/b:engi.0000011923.59797.92 2004

[27] [27]

Greengard and M

L. Greengard and M. Moura , On the numerical evaluation of electrostatic fields in composite materials , Acta Numerica, 3 (1994), p. 379–410, https://doi.org/10.1017/ s0962492900002464

work page 1994

[28] [28]

Greengard, V

L. Greengard and V. Rokhlin, A fast algorithm for particle simulations , Journal of Compu- tational Physics, 73 (1987), pp. 325–348, https://doi.org/10.1016/0021-9991(87)90140-9

work page doi:10.1016/0021-9991(87)90140-9 1987

[29] [29]

Grisvard, Elliptic problems in nonsmooth domains , SIAM, 2011

P. Grisvard, Elliptic problems in nonsmooth domains , SIAM, 2011

work page 2011

[30] [30]

Hafner, The Generalized Multipole Technique for Computational Electromagnetics, Artech House, 1990

C. Hafner, The Generalized Multipole Technique for Computational Electromagnetics, Artech House, 1990

work page 1990

[31] [31]

S. Hao, A. H. Barnett, P. G. Martinsson, and P. Young, High-order accurate methods for Nystr¨ om discretization of integral equations on smooth curves in the plane , Advances in Computational Mathematics, (2014), https://doi.org/10.1007/s10444-013-9306-3

work page doi:10.1007/s10444-013-9306-3 2014

[32] [32]

H. Hasimoto, On the periodic fundamental solutions of the Stokes equations and their appli- cation to viscous flow past a cubic array of spheres , Journal of Fluid Mechanics, 5 (1959), p. 317–328, https://doi.org/10.1017/S0022112059000222

work page doi:10.1017/s0022112059000222 1959

[33] [33]

Hasimoto, Periodic Fundamental Solution of a Two-Dimensional Poisson Equation , Jour- nal of the Physical Society of Japan, 77 (2008), p

H. Hasimoto, Periodic Fundamental Solution of a Two-Dimensional Poisson Equation , Jour- nal of the Physical Society of Japan, 77 (2008), p. 104601, https://doi.org/10.1143/JPSJ. 77.104601

work page doi:10.1143/jpsj 2008

[34] [34]

Helsing , An integral equation method for elastostatics of periodic composites , Journal of the Mechanics and Physics of Solids, 43 (1995), p

J. Helsing , An integral equation method for elastostatics of periodic composites , Journal of the Mechanics and Physics of Solids, 43 (1995), p. 815–828, https://doi.org/10.1016/ 0022-5096(95)00018-e

work page 1995

[35] [35]

Helsing and R

J. Helsing and R. Ojala, On the evaluation of layer potentials close to their sources , Journal of Computational Physics, 227 (2008), pp. 2899–2921, https://doi.org/10.1016/j.jcp.2007. 11.024

work page doi:10.1016/j.jcp.2007 2008

[36] [36]

P. Henrici, Applied and computational complex analysis, Volume 3: discrete Fourier analysis, Cauchy integrals, construction of conformal maps, univalent functions, John Wiley & Sons, 1986

work page 1986

[37] [37]

J. D. Joannopoulos, S. G. Johnson, J. N. Winn, and R. D. Meade , Photonic Crystals: Molding the Flow of Light - Second Edition , Princeton University Press, 2011, https://doi. org/10.2307/j.ctvcm4gz9

work page doi:10.2307/j.ctvcm4gz9 2011

[38] [38]

C.-Y. Kao, B. Osting, and E. Oudet , Harmonic functions on finitely connected tori , SIAM Journal on Numerical Analysis, 61 (2023), pp. 2795–2812, https://doi.org/10.1137/ 23M1569897

work page 2023

[39] [39]

Kapanadze, G

D. Kapanadze, G. Mishuris, and E. Pesetskaya, Exact solution to a nonlinear heat conduc- tion problem in doubly periodic 2D composite materials , Archives of Mechanics, (2015)

work page 2015

[40] [40]

Kim, BIE periodic

B. Kim, BIE periodic. https://github.com/BohyunKim92/BIE periodic, 2025

work page 2025

[41] [41]

Kress , Boundary integral equations in time-harmonic acoustic scattering , Mathematical and Computer Modelling, 15 (1991), pp

R. Kress , Boundary integral equations in time-harmonic acoustic scattering , Mathematical and Computer Modelling, 15 (1991), pp. 229–243, https://doi.org/10.1016/0895-7177(91) 90068-i

work page doi:10.1016/0895-7177(91 1991

[42] [42]

Kress , Linear integral equations , Springer, third ed., 2014, https://doi.org/10.1007/ 978-1-4614-9593-2

R. Kress , Linear integral equations , Springer, third ed., 2014, https://doi.org/10.1007/ 978-1-4614-9593-2

work page 2014

[43] [43]

M. C. A. Kropinski and N. Nigam , Fast integral equation methods for the Laplace-Beltrami equation on the sphere , Advances in Computational Mathematics, 40 (2014), p. 577–596, https://doi.org/10.1007/s10444-013-9319-y

work page doi:10.1007/s10444-013-9319-y 2014

[44] [44]

Kuchment, An overview of periodic elliptic operators , Bulletin of the American Mathemat- ical Society, 53 (2016), p

P. Kuchment, An overview of periodic elliptic operators , Bulletin of the American Mathemat- ical Society, 53 (2016), p. 343–414, https://doi.org/10.1090/bull/1528. 22 B. KIM AND B. OSTING

work page doi:10.1090/bull/1528 2016

[45] [45]

P. K. Kundu, I. M. Cohen, and D. R. Dowling , Fluid Mechanics , Academic Press, fifth edition ed., 2012, https://doi.org/10.1016/C2009-0-63410-3

work page doi:10.1016/c2009-0-63410-3 2012

[46] [46]

Kuznetsov, T

N. Kuznetsov, T. Kulczycki, M. Kwa ´snicki, A. Nazarov, S. Poborchi, I. Polterovich, and B. Siudeja , The Legacy of Vladimir Andreevich Steklov , Notices of the AMS, 61 (2014), p. 190, https://www.ams.org/notices/201401/rnoti-p9.pdf

work page 2014

[47] [47]

Lamb, Hydrodynamics, University Press, 1895, https://doi.org/10.5962/bhl.title.18729

H. Lamb, Hydrodynamics, University Press, 1895, https://doi.org/10.5962/bhl.title.18729

work page doi:10.5962/bhl.title.18729

[48] [48]

Lin and C.-L

C.-S. Lin and C.-L. Wang , Elliptic functions, Green functions and the mean field equations on tori, Annals of Mathematics, (2010), pp. 911–954, https://doi.org/10.4007/annals.2010. 172.911

work page doi:10.4007/annals.2010 2010

[49] [49]

Lindbo and A.-K

D. Lindbo and A.-K. Tornberg , Spectral accuracy in fast Ewald-based methods for particle simulations, Journal of Computational Physics, 230 (2011), pp. 8744–8761, https://doi. org/10.1016/j.jcp.2011.08.022

work page doi:10.1016/j.jcp.2011.08.022 2011

[50] [50]

W. C. H. McLean, Strongly elliptic systems and boundary integral equations , Cambridge uni- versity press, 2000

work page 2000

[51] [51]

Mikhlin, Integral Equations, Pergamon, 1957, https://doi.org/10.1016/C2013-0-08209-6

S. Mikhlin, Integral Equations, Pergamon, 1957, https://doi.org/10.1016/C2013-0-08209-6

work page doi:10.1016/c2013-0-08209-6 1957

[52] [52]

S. G. Mikhlin, Linear Integral Equations, Reprint, Dover Publications, 2020

work page 2020

[53] [53]

Nahon and ´Edouard Oudet, Computation of harmonic functions on higher genus sur- faces, 2024, https://doi.org/10.48550/arXiv.2410.06763

M. Nahon and ´Edouard Oudet, Computation of harmonic functions on higher genus sur- faces, 2024, https://doi.org/10.48550/arXiv.2410.06763

work page doi:10.48550/arxiv.2410.06763 2024

[54] [54]

M. M. S. Nasser, A. H. M. Murid, M. Ismail, and E. M. A. Alejaily , Boundary in- tegral equations with the generalized Neumann kernel for Laplace’s equation in multi- ply connected regions, Applied Mathematics and Computation, 217 (2011), p. 4710–4727, https://doi.org/10.1016/j.amc.2010.11.027

work page doi:10.1016/j.amc.2010.11.027 2011

[55] [55]

Ogata, K

H. Ogata, K. Amano, M. Sugihara, and D. Okano , A fundamental solution method for viscous flow problems with obstacles in a periodic array , Journal of Computational and Applied Mathematics, 152 (2003), pp. 411–425, https://doi.org/10.1016/S0377-0427(02) 00720-3

work page doi:10.1016/s0377-0427(02 2003

[56] [56]

Otani and N

Y. Otani and N. Nishimura , A fast multipole boundary integral equation method for peri- odic boundary value problems in three-dimensional elastostatics and its application to ho- mogenization, International Journal for Multiscale Computational Engineering, 4 (2006), p. 487–500, https://doi.org/10.1615/intjmultcompeng.v4.i4.60

work page doi:10.1615/intjmultcompeng.v4.i4.60 2006

[57] [57]

Oudet, C.-Y

E. Oudet, C.-Y. Kao, and B. Osting , Computation of free boundary minimal surfaces via extremal Steklov eigenvalue problems, ESAIM: Control, Optimisation and Calculus of Vari- ations, 27 (2021), p. 34, https://doi.org/10.1051/cocv/2021033

work page doi:10.1051/cocv/2021033 2021

[58] [58]

Polterovich, D

I. Polterovich, D. A. Sher, and J. A. Toth, Nodal length of Steklov eigenfunctions on real- analytic Riemannian surfaces , Journal f¨ ur die reine und angewandte Mathematik, (2019), pp. 17–47

work page 2019

[59] [59]

Pozrikidis, Computation of periodic Green’s functions of Stokes flow , Journal of Engineer- ing Mathematics, 30 (1996), p

C. Pozrikidis, Computation of periodic Green’s functions of Stokes flow , Journal of Engineer- ing Mathematics, 30 (1996), p. 79–96, https://doi.org/10.1007/bf00118824

work page doi:10.1007/bf00118824 1996

[60] [60]

L. N. Trefethen , Series solution of Laplace problems , The ANZIAM Journal, 60 (2018), pp. 1–26, https://doi.org/10.1017/s1446181118000093

work page doi:10.1017/s1446181118000093 2018

[61] [61]

G. A. L. Van De Vorst , Integral formulation to simulate the viscous sintering of a two- dimensional lattice of periodic unit cells , Journal of Engineering Mathematics, 30 (1996), p. 97–118, https://doi.org/10.1007/bf00118825

work page doi:10.1007/bf00118825 1996

[62] [62]

Wegmann and M

R. Wegmann and M. M. S. Nasser , The Riemann–Hilbert problem and the generalized Neu- mann kernel on multiply connected regions , Journal of Computational and Applied Math- ematics, 214 (2008), pp. 36–57, https://doi.org/10.1016/j.cam.2007.01.021. LAYER POTENTIAL METHODS FOR DOUBLY-PERIODIC HARMONIC FUNCTIONS 23 Appendix A. Proofs of lemmas in Sections 2–...

work page doi:10.1016/j.cam.2007.01.021 2008

[63] [63]

Notably, ℜDf[ϕ] = D[ϕ] is a function on Tτ \ ∂Ω, whereas ℑDf[ϕ] is not necessarily doubly-periodic

For ϕ ∈ C(∂Ω), Df[ϕ] is analytic on Pτ \ ∂Ω; therefore, both ℜDf[ϕ] and ℑDf[ϕ] are harmonic on Pτ \ ∂Ω. Notably, ℜDf[ϕ] = D[ϕ] is a function on Tτ \ ∂Ω, whereas ℑDf[ϕ] is not necessarily doubly-periodic

work page

[64] [64]

Note that Lemma A.3(2) follows from the Sokhotski-Plemelj formula in [42, Thm

For ϕ ∈ C(∂Ω), the complex double layer potential satisfies Df[ϕ](z± 0 ) = Kf[ϕ](z0) ∓ 1 2 ϕ(z0), z 0 ∈ ∂Ω. Note that Lemma A.3(2) follows from the Sokhotski-Plemelj formula in [42, Thm. 7.8], since ζ(z − ξ) admits a Laurent series with leading order ( z − ξ)−1 [48]. LAYER POTENTIAL METHODS FOR DOUBLY-PERIODIC HARMONIC FUNCTIONS 25 Proof. (1) Following [5...

work page

[65] [65]

We show that cj = 0 for all j = 1, 2, . . . , M. Let u(z) = M −1X j=1 cjS[ψj](z) for z ∈ Tτ =⇒ u(z) = −cM on D (because of (2.7)) . Note that ∆u(z) = 0 on Ω and u(z) is continuous throughout Tτ. Thus, u(z+ 0 ) = −cM implies u(z) ≡ −cM on Tτ . Finally, apply Lemma 2.3(2) for all z0 ∈ ∂Ω to obtain 0 = ∂νu(z+ 0 ) − ∂νu(z− 0 ) = M −1X j=1 cj ∂νS[ψj](z+ 0 ) − ...

work page