Converging Expansions for Lipschitz Self-Similar Perforations of a Plane Sector

• Published in: Integral equations and operator theory Vol. 88; no. 3; pp. 401 - 449
• Main Authors: Costabel, Martin, Dalla Riva, Matteo, Dauge, Monique, Musolino, Paolo
• Format: Journal Article
• Language: English
• Published: Cham Springer International Publishing 01.07.2017; Springer Nature B.V; Springer Verlag
• Subjects: Analysis; Analysis of PDEs; Asymptotic methods; Asymptotic properties; Asymptotic series; Boundary value problems; Convergence; Dirichlet problem; Mathematical analysis; Mathematics; Mathematics and Statistics; Multiscale analysis; Perforation; Power series; Self-similarity; 45A05; 11J99; 35B25; Perforated domain; Corner singularities; 31A10; Diophantine approximation; 35C20; Dirichlet problem; 35J05; Double layer potential; diophantine approximation
• ISSN: 0378-620X; 1420-8989
• DOI: 10.1007/s00020-017-2377-7

In contrast with the well-known methods of matching asymptotics and multiscale (or compound) asymptotics, the “functional analytic approach” of Lanza de Cristoforis (Analysis (Munich) 28:63–93, 2008 ) allows to prove convergence of expansions around interior small holes of size ε for solutions of elliptic boundary value problems. Using the method of layer potentials, the asymptotic behavior of the solution as ε tends to zero is described not only by asymptotic series in powers of ε , but by convergent power series. Here we use this method to investigate the Dirichlet problem for the Laplace operator where holes are collapsing at a polygonal corner of opening ω . Then in addition to the scale ε there appears the scale η = ε π / ω . We prove that when π / ω is irrational, the solution of the Dirichlet problem is given by convergent series in powers of these two small parameters. Due to interference of the two scales, this convergence is obtained, in full generality, by grouping together integer powers of the two scales that are very close to each other. Nevertheless, there exists a dense subset of openings ω (characterized by Diophantine approximation properties), for which real analyticity in the two variables ε and η holds and the power series converge unconditionally. When π / ω is rational, the series are unconditionally convergent, but contain terms in log ε .