Abstract:We consider the Poisson equation with homogeneous Dirichlet conditions in a family of domains in $R^{n}$ indexed by a small parameter $\epsilon$. The domains depend on $\epsilon$ only within a ball of radius proportional to $\epsilon$ and, as $\epsilon$ tends to zero, they converge in a self-similar way to a domain with a conical boundary singularity. We construct an expansion of the solution as a series of fractional powers of $\epsilon$, and prove that it is not just an asymptotic expansion as $\epsilon\to0$, but that, for small values of $\epsilon$, it converges normally in the Sobolev space $H^{1}$. The phenomenon that solutions to boundary value problems on singularly perturbed domains may have convergent expansions is the subject of the Functional Analytic Approach by Lanza de Cristoforis and his collaborators. This approach was originally adopted to study small holes shrinking to interior points of a smooth domain and heavily relies on integral representations obtained through layer potentials. To relax all regularity assumptions, we forgo boundary layer potentials and instead exploit expansions in terms of eigenfunctions of the Laplace-Beltrami operator on the intersection of the cone with the unit sphere. Our analysis is based on a two-scale cross-cutoff ansatz for the solution. Specifically, we write the solution as a sum of a function in the slow variable multiplied by a cutoff function depending on the fast variable, plus a function in the fast variable multiplied by a cutoff function depending on the slow variable. While the cutoffs are considered fixed, the two unknown functions are solutions to a $2\times2$ system of partial differential equations that depend on $\epsilon$ in a way that can be analyzed in the framework of generalized power series when the right-hand side of the Poisson equation vanishes in a neighborhood of the perturbation.

Convergence of (generalized) power series solutions of functional equations

A summation formula for power series using eulerian fractions*

On q-algebraic equations and their power series solutions

High-accuracy power series solutions with arbitrarily large radius of convergence for fractional nonlinear differential equations

A geometric approach to functional equations for general multiple Dirichlet series over function fields

Functional Power Series

On the use of asymptotically motivated gauge functions to obtain convergent series solutions to nonlinear ODEs

Asymptotic existence theorem for formal power series solutions of singularly perturbed linear q-difference equations

Dirichlet problem on perturbed conical domains via converging generalized power series

Formal solutions of some family of inhomogeneous nonlinear partial differential equations, Part 2: Summability

Meandromorphic functions

Functional equations in formal power series

On Solutions of Some Functional Equations of Radical Type

On complex singularity analysis for some linear partial differential equations in $\mathbb{C}^3$

Almost everywhere summability of Fourier series with indicating the set of convergence

On Decompositions of H-holomorphic functions into quaternionic power series

General and alien solutions of a functional equation and of a functional inequality

Infinite elliptic hypergeometric series: convergence and difference equations

On the Borel summability of formal solutions of certain higher-order linear ordinary differential equations

Analytic continuation of Taylor series and the boundary value problems of some nonlinear ordinary differential equations

Convergence Criteria for Fixed Point Problems and Differential Equations