-
Shape sensitivity analysis of the heat equation and the Dirichlet-to-Neumann map
Authors:
Matteo Dalla Riva,
Paolo Luzzini,
Paolo Musolino
Abstract:
We study a Dirichlet problem for the heat equation in a domain containing an interior hole. The domain has a fixed outer boundary and a variable inner boundary determined by a diffeomorphism $φ$. We analyze the maps that assign to the infinite-dimensional shape parameter $φ$ the corresponding solution and its normal derivative, and we prove that both are smooth. Motivated by an application to an i…
▽ More
We study a Dirichlet problem for the heat equation in a domain containing an interior hole. The domain has a fixed outer boundary and a variable inner boundary determined by a diffeomorphism $φ$. We analyze the maps that assign to the infinite-dimensional shape parameter $φ$ the corresponding solution and its normal derivative, and we prove that both are smooth. Motivated by an application to an inverse problem, we then compute the differential with respect to $φ$ of the normal derivative of the solution on the exterior boundary.
△ Less
Submitted 26 June, 2025;
originally announced June 2025.
-
Shape sensitivity analysis of Neumann-Poincaré eigenvalues
Authors:
Matteo Dalla Riva,
Pier Domenico Lamberti,
Paolo Luzzini,
Paolo Musolino
Abstract:
This paper concerns the eigenvalues of the Neumann-Poincaré operator, a boundary integral operator associated with the harmonic double-layer potential. Specifically, we examine how the eigenvalues depend on the support of integration and prove that the map associating the support's shape to the eigenvalues is real-analytic. We then compute its first derivative and present applications of the resul…
▽ More
This paper concerns the eigenvalues of the Neumann-Poincaré operator, a boundary integral operator associated with the harmonic double-layer potential. Specifically, we examine how the eigenvalues depend on the support of integration and prove that the map associating the support's shape to the eigenvalues is real-analytic. We then compute its first derivative and present applications of the resulting formula. The proposed method allows for handling infinite-dimensional perturbation parameters for multiple eigenvalues and perturbations that are not necessarily in the normal direction.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Regularity properties of certain convolution operators in Hölder spaces
Authors:
Matteo Dalla Riva,
Massimo Lanza de Cristoforis,
Paolo Musolino
Abstract:
The aim of this paper is to prove a theorem of C.~Miranda on the Hölder regularity of convolution operators acting on the boundary of an open set in the limiting case in which the open set is of class $C^{1,1}$ and the densities are of class $C^{0,1}$. The convolution operators that we consider are generalizations of those that are associated to layer potential operators, which are a useful tool f…
▽ More
The aim of this paper is to prove a theorem of C.~Miranda on the Hölder regularity of convolution operators acting on the boundary of an open set in the limiting case in which the open set is of class $C^{1,1}$ and the densities are of class $C^{0,1}$. The convolution operators that we consider are generalizations of those that are associated to layer potential operators, which are a useful tool for the analysis of boundary value problems.
△ Less
Submitted 30 January, 2025;
originally announced January 2025.
-
Periodic layer potentials and domain perturbations
Authors:
Roberto Bramati,
Matteo Dalla Riva,
Paolo Luzzini,
Paolo Musolino
Abstract:
In this paper, we review the construction of periodic fundamental solutions and periodic layer potentials for various differential operators. Specifically, we focus on the Laplace equation, the Helmholtz equation, the Lamé system, and the heat equation. We then describe how these layer potentials can be applied to analyze domain perturbation problems. In particular, we present applications to the…
▽ More
In this paper, we review the construction of periodic fundamental solutions and periodic layer potentials for various differential operators. Specifically, we focus on the Laplace equation, the Helmholtz equation, the Lamé system, and the heat equation. We then describe how these layer potentials can be applied to analyze domain perturbation problems. In particular, we present applications to the asymptotic behavior of quasi-periodic solutions for a Dirichlet problem for the Helmholtz equation in an unbounded domain with small periodic perforations. Additionally, we investigate the dependence of spatially periodic solutions of an initial value Dirichlet problem for the heat equation on regular perturbations of the base of a parabolic cylinder.
△ Less
Submitted 14 April, 2025; v1 submitted 17 December, 2024;
originally announced December 2024.
-
Dirichlet problem on perturbed conical domains via converging generalized power series
Authors:
Martin Costabel,
Matteo Dalla Riva,
Monique Dauge,
Paolo Musolino
Abstract:
We consider the Poisson equation with homogeneous Dirichlet conditions in a family of domains in $R^{n}$ indexed by a small parameter $ε$. The domains depend on $ε$ only within a ball of radius proportional to $ε$ and, as $ε$ 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…
▽ More
We consider the Poisson equation with homogeneous Dirichlet conditions in a family of domains in $R^{n}$ indexed by a small parameter $ε$. The domains depend on $ε$ only within a ball of radius proportional to $ε$ and, as $ε$ 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 $ε$, and prove that it is not just an asymptotic expansion as $ε\to0$, but that, for small values of $ε$, 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 $ε$ 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.
△ Less
Submitted 5 August, 2024;
originally announced August 2024.
-
Shape perturbation of a nonlinear mixed problem for the heat equation
Authors:
Matteo Dalla Riva,
Paolo Luzzini,
Riccardo Molinarolo,
Paolo Musolino
Abstract:
We consider the heat equation in a domain that has a hole in its interior. We impose a Neumann condition on the exterior boundary and a nonlinear Robin condition on the boundary of the hole. The shape of the hole is determined by a suitable diffeomorphism $φ$ defined on the boundary of a reference domain. Assuming that the problem has a solution $u_0$ when $φ$ is the identity map, we demonstrate t…
▽ More
We consider the heat equation in a domain that has a hole in its interior. We impose a Neumann condition on the exterior boundary and a nonlinear Robin condition on the boundary of the hole. The shape of the hole is determined by a suitable diffeomorphism $φ$ defined on the boundary of a reference domain. Assuming that the problem has a solution $u_0$ when $φ$ is the identity map, we demonstrate that a solution $u_φ$ continues to exist for $φ$ close to the identity map and that the "domain-to-solution" map $φ\mapsto u_φ$ is of class $C^\infty$. Moreover, we show that the family of solutions $\{u_φ\}_φ$ is, in a sense, locally unique. Our argument relies on tools from Potential Theory and the Implicit Function Theorem. Some remarks a the linear case complete the paper.
△ Less
Submitted 12 December, 2024; v1 submitted 17 June, 2024;
originally announced June 2024.
-
Multi-parameter perturbations for the space-periodic heat equation
Authors:
Matteo Dalla Riva,
Paolo Luzzini,
Riccardo Molinarolo,
Paolo Musolino
Abstract:
This paper is divided into three parts. The first part focuses on periodic layer heat potentials, demonstrating their smooth dependence on regular perturbations of the support of integration. In the second part, we present an application of the results from the first part. Specifically, we consider a transmission problem for the heat equation in a periodic two-phase composite material and we show…
▽ More
This paper is divided into three parts. The first part focuses on periodic layer heat potentials, demonstrating their smooth dependence on regular perturbations of the support of integration. In the second part, we present an application of the results from the first part. Specifically, we consider a transmission problem for the heat equation in a periodic two-phase composite material and we show that the solution depends smoothly on the shape of the transmission interface, boundary data, and conductivity parameters. Finally, in the last part of the paper, we fix all parameters except for the contrast parameter and outline a strategy to deduce an explicit expansion of the solution using a Neumann-type series.
△ Less
Submitted 29 November, 2023; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Dependence of the layer heat potentials upon support perturbations
Authors:
Matteo Dalla Riva,
Paolo Luzzini
Abstract:
We prove that the integral operators associated with the layer heat potentials depend smoothly upon a parametrization of the support of integration. The analysis is carried out in the optimal Hölder setting.
We prove that the integral operators associated with the layer heat potentials depend smoothly upon a parametrization of the support of integration. The analysis is carried out in the optimal Hölder setting.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
Existence results for a nonlinear nonautonomus transmission problem via domain perturbation
Authors:
Matteo Dalla Riva,
Riccardo Molinarolo,
Paolo Musolino
Abstract:
In this paper we study the existence and the analytic dependence upon domain perturbation of the solutions of a nonlinear nonautonomous transmission problem for the Laplace equation. The problem is defined in a pair of sets consisting of a perforated domain and an inclusion whose shape is determined by a suitable diffeomorphism $φ$. First we analyse the case in which the inclusion is a fixed domai…
▽ More
In this paper we study the existence and the analytic dependence upon domain perturbation of the solutions of a nonlinear nonautonomous transmission problem for the Laplace equation. The problem is defined in a pair of sets consisting of a perforated domain and an inclusion whose shape is determined by a suitable diffeomorphism $φ$. First we analyse the case in which the inclusion is a fixed domain. Then we will perturb the inclusion and study the arising boundary value problem and the dependence of a specific family of solutions upon the perturbation parameter $φ$.
△ Less
Submitted 23 November, 2022;
originally announced November 2022.
-
Local uniqueness of the solutions for a singularly perturbed nonlinear nonautonomous transmission problem
Authors:
Matteo Dalla Riva,
Riccardo Molinarolo,
Paolo Musolino
Abstract:
We consider the Laplace equation in a domain of $\mathbb{R}^n$, $n\ge 3$, with a small inclusion of size $ε$. On the boundary of the inclusion we define a nonlinear nonautonomous transmission condition. For $ε$ small enough one can prove that the problem has solutions. In this paper, we study the local uniqueness of such solutions.
We consider the Laplace equation in a domain of $\mathbb{R}^n$, $n\ge 3$, with a small inclusion of size $ε$. On the boundary of the inclusion we define a nonlinear nonautonomous transmission condition. For $ε$ small enough one can prove that the problem has solutions. In this paper, we study the local uniqueness of such solutions.
△ Less
Submitted 23 November, 2022;
originally announced November 2022.
-
Singular behavior for a multi-parameter periodic Dirichlet problem
Authors:
Matteo Dalla Riva,
Paolo Luzzini,
Paolo Musolino
Abstract:
We consider a Dirichlet problem for the Poisson equation in a periodically perforated domain. The geometry of the domain is controlled by two parameters: a real number $ε>0$ proportional to the radius of the holes and a map $φ$, which models the shape of the holes. So, if $g$ denotes the Dirichlet boundary datum and $f$ the Poisson datum, we have a solution for each quadruple $(ε,φ,g,f)$. Our aim…
▽ More
We consider a Dirichlet problem for the Poisson equation in a periodically perforated domain. The geometry of the domain is controlled by two parameters: a real number $ε>0$ proportional to the radius of the holes and a map $φ$, which models the shape of the holes. So, if $g$ denotes the Dirichlet boundary datum and $f$ the Poisson datum, we have a solution for each quadruple $(ε,φ,g,f)$. Our aim is to study how the solution depends on $(ε,φ,g,f)$, especially when $ε$ is very small and the holes narrow to points. In contrast with previous works, we don't introduce the assumption that $f$ has zero integral on the fundamental periodicity cell. This brings in a certain singular behavior for $ε$ close to $0$. We show that, when the dimension $n$ of the ambient space is greater than or equal to $3$, a suitable restriction of the solution can be represented with an analytic map of the quadruple $(ε,φ,g,f)$ multiplied by the factor $1/ε^{n-2}$. In case of dimension $n=2$, we have to add $\log ε$ times the integral of $f/2π$.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
The Functional Analytic Approach for quasi-periodic boundary value problems for the Helmholtz equation
Authors:
Roberto Bramati,
Matteo Dalla Riva,
Paolo Luzzini,
Paolo Musolino
Abstract:
We lay down the preliminary work to apply the Functional Analytic Approach to quasi-periodic boundary value problems for the Helmholtz equation. This consists in introducing a quasi-periodic fundamental solution and the related layer potentials, showing how they are used to construct the solutions of quasi-periodic boundary value problems, and how they behave when we perform a singular perturbatio…
▽ More
We lay down the preliminary work to apply the Functional Analytic Approach to quasi-periodic boundary value problems for the Helmholtz equation. This consists in introducing a quasi-periodic fundamental solution and the related layer potentials, showing how they are used to construct the solutions of quasi-periodic boundary value problems, and how they behave when we perform a singular perturbation of the domain. To show an application, we study a nonlinear quasi-periodic Robin problem in a domain with a set of holes that shrink to points.
△ Less
Submitted 28 October, 2022;
originally announced October 2022.
-
A degenerating Robin-type traction problem in a periodic domain
Authors:
Matteo Dalla Riva,
Gennady Mishuris,
Paolo Musolino
Abstract:
We consider a linearly elastic material with a periodic set of voids. On the boundaries of the voids we set a Robin-type traction condition. Then we investigate the asymptotic behavior of the displacement solution as the Robin condition turns into a pure traction one. To wit, there will be a matrix function {$b[k](\cdot)$ that depends analytically on a real parameter $k$ and vanishes for $k=0$ and…
▽ More
We consider a linearly elastic material with a periodic set of voids. On the boundaries of the voids we set a Robin-type traction condition. Then we investigate the asymptotic behavior of the displacement solution as the Robin condition turns into a pure traction one. To wit, there will be a matrix function {$b[k](\cdot)$ that depends analytically on a real parameter $k$ and vanishes for $k=0$ and we multiply the Dirichlet-like part of the Robin condition by $b[k](\cdot)$}. We show that the displacement solution can be written in terms of power series of $k$ that converge for $k$ in a whole neighborhood of $0$. For our analysis we use the Functional Analytic Approach.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Integral equation method for a Robin-type traction problem in a periodic domain
Authors:
Matteo Dalla Riva,
Gennady Mishuris,
Paolo Musolino
Abstract:
In this note, we consider a Robin-type traction problem for a linearly elastic body occupying an infinite periodically perforated domain. After proving the uniqueness of the solution we use periodic elastic layer potentials to show that the solution can be written as the sum of a single layer potential, a constant function and a linear function of the space variable. The density of the periodic si…
▽ More
In this note, we consider a Robin-type traction problem for a linearly elastic body occupying an infinite periodically perforated domain. After proving the uniqueness of the solution we use periodic elastic layer potentials to show that the solution can be written as the sum of a single layer potential, a constant function and a linear function of the space variable. The density of the periodic single layer potential and the constant are identified as the unique solutions of a certain integral equation.
△ Less
Submitted 4 August, 2022;
originally announced August 2022.
-
Continuous harmonic functions on a ball that are not in $H^s$ for $s>1/2$
Authors:
Roberto Bramati,
Matteo Dalla Riva,
Brian Luczak
Abstract:
We show that there are harmonic functions on a ball ${\mathbb{B}_n}$ of $\mathbb{R}^n$, $n\ge 2$, that are continuous up to the boundary (and even Hölder continuous) but not in the Sobolev space $H^s(\mathbb{B}_n)$ for any $s$ sufficiently big. The idea for the construction of these functions is inspired by the two-dimensional example of a harmonic continuous function with infinite energy presente…
▽ More
We show that there are harmonic functions on a ball ${\mathbb{B}_n}$ of $\mathbb{R}^n$, $n\ge 2$, that are continuous up to the boundary (and even Hölder continuous) but not in the Sobolev space $H^s(\mathbb{B}_n)$ for any $s$ sufficiently big. The idea for the construction of these functions is inspired by the two-dimensional example of a harmonic continuous function with infinite energy presented by Hadamard in 1906. To obtain examples in any dimension $n\ge 2$ we exploit certain series of spherical harmonics. As an application, we verify that the regularity of the solutions that was proven for a class of boundary value problems with nonlinear transmission conditions is, in a sense, optimal.
△ Less
Submitted 7 April, 2023; v1 submitted 9 March, 2022;
originally announced March 2022.
-
Shape analyticity and singular perturbations for layer potential operators
Authors:
Matteo Dalla Riva,
Paolo Luzzini,
Paolo Musolino
Abstract:
We study the effect of regular and singular domain perturbations on layer potential operators for the Laplace equation. First, we consider layer potentials supported on a diffeomorphic image $φ(\partialΩ)$ of a reference set $\partialΩ$ and we present some real analyticity results for the dependence upon the map $φ$. Then we introduce a perforated domain $Ω(ε)$ with a small hole of size $ε$ and we…
▽ More
We study the effect of regular and singular domain perturbations on layer potential operators for the Laplace equation. First, we consider layer potentials supported on a diffeomorphic image $φ(\partialΩ)$ of a reference set $\partialΩ$ and we present some real analyticity results for the dependence upon the map $φ$. Then we introduce a perforated domain $Ω(ε)$ with a small hole of size $ε$ and we compute power series expansions that describe the layer potentials on $\partialΩ(ε)$ when the parameter $ε$ approximates the degenerate value $ε=0$.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
A perturbation result for a Neumann problem in a periodic domain
Authors:
Matteo Dalla Riva,
Paolo Luzzini,
Paolo Musolino
Abstract:
We consider a Neumann problem for the Laplace equation in a periodic domain. We prove that the solution depends real analytically on the shape of the domain, on the periodicity parameters, on the Neumann datum, and on its boundary integral.
We consider a Neumann problem for the Laplace equation in a periodic domain. We prove that the solution depends real analytically on the shape of the domain, on the periodicity parameters, on the Neumann datum, and on its boundary integral.
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
Multi-parameter analysis of the obstacle scattering problem
Authors:
Matteo Dalla Riva,
Paolo Luzzini,
Paolo Musolino
Abstract:
We consider the acoustic field scattered by a bounded impenetrable obstacle and we study its dependence upon a certain set of parameters. As usual, the problem is modeled by an exterior Dirichlet problem for the Helmholtz equation $Δu +k^2u=0$. We show that the solution $u$ and its far field pattern $u_\infty$ depend real analytically on the shape of the obstacle, the wave number $k$, and the Diri…
▽ More
We consider the acoustic field scattered by a bounded impenetrable obstacle and we study its dependence upon a certain set of parameters. As usual, the problem is modeled by an exterior Dirichlet problem for the Helmholtz equation $Δu +k^2u=0$. We show that the solution $u$ and its far field pattern $u_\infty$ depend real analytically on the shape of the obstacle, the wave number $k$, and the Dirichlet datum. We also prove a similar result for the corresponding Dirichlet-to-Neumann map.
△ Less
Submitted 15 March, 2022; v1 submitted 11 October, 2021;
originally announced October 2021.
-
A mixed problem for the Laplace operator in a domain with moderately close holes
Authors:
Matteo Dalla Riva,
Paolo Musolino
Abstract:
We investigate the behavior of the solution of a mixed problem in a domain with two moderately close holes. We introduce a positive parameter $ε$ and we define a perforated domain $Ω_ε$ obtained by making two small perforations in an open set. Both the size and the distance of the cavities tend to $0$ as $ε\to 0$. For $ε$ small, we denote by $u_ε$ the solution of a mixed problem for the Laplace eq…
▽ More
We investigate the behavior of the solution of a mixed problem in a domain with two moderately close holes. We introduce a positive parameter $ε$ and we define a perforated domain $Ω_ε$ obtained by making two small perforations in an open set. Both the size and the distance of the cavities tend to $0$ as $ε\to 0$. For $ε$ small, we denote by $u_ε$ the solution of a mixed problem for the Laplace equation in $Ω_ε$. We describe what happens to $u_ε$ as $ε\to 0$ in terms of real analytic maps and we compute an asymptotic expansion.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
Mapping properties of weakly singular periodic volume potentials in Roumieu classes
Authors:
Matteo Dalla Riva,
Massimo Lanza de Cristoforis,
Paolo Musolino
Abstract:
The analysis of the dependence of integral operators on perturbations plays an important role in the study of inverse problems and of perturbed boundary value problems. In this paper we focus on the mapping properties of the volume potentials with weakly singular periodic kernels. Our main result is to prove that the map which takes a density function and a periodic kernel to a (suitable restricti…
▽ More
The analysis of the dependence of integral operators on perturbations plays an important role in the study of inverse problems and of perturbed boundary value problems. In this paper we focus on the mapping properties of the volume potentials with weakly singular periodic kernels. Our main result is to prove that the map which takes a density function and a periodic kernel to a (suitable restriction of the) volume potential is bilinear and continuous with values in a Roumieu class of analytic functions. Such result extends to the periodic case some previous results obtained by the authors for non periodic potentials and it is motivated by the study of perturbation problems for the solutions of boundary value problems for elliptic differential equations in periodic domains.
△ Less
Submitted 18 May, 2017;
originally announced May 2017.
-
On vibrating thin membranes with mass concentrated near the boundary: an asymptotic analysis
Authors:
Matteo Dalla Riva,
Luigi Provenzano
Abstract:
We consider the spectral problem \begin{equation*} \left\{\begin{array}{ll} -Δu_{\varepsilon}=λ(\varepsilon)ρ_{\varepsilon}u_{\varepsilon} & {\rm in}\ Ω\\ \frac{\partial u_{\varepsilon}}{\partialν}=0 & {\rm on}\ \partialΩ\end{array}\right. \end{equation*} in a smooth bounded domain $Ω$ of $\mathbb R^2$. The factor $ρ_{\varepsilon}$ which appears in the first equation plays the role of a mass densi…
▽ More
We consider the spectral problem \begin{equation*} \left\{\begin{array}{ll} -Δu_{\varepsilon}=λ(\varepsilon)ρ_{\varepsilon}u_{\varepsilon} & {\rm in}\ Ω\\ \frac{\partial u_{\varepsilon}}{\partialν}=0 & {\rm on}\ \partialΩ\end{array}\right. \end{equation*} in a smooth bounded domain $Ω$ of $\mathbb R^2$. The factor $ρ_{\varepsilon}$ which appears in the first equation plays the role of a mass density and it is equal to a constant of order $\varepsilon^{-1}$ in an $\varepsilon$-neighborhood of the boundary and to a constant of order $\varepsilon$ in the rest of $Ω$. We study the asymptotic behavior of the eigenvalues $λ(\varepsilon)$ and the eigenfunctions $u_{\varepsilon}$ as $\varepsilon$ tends to zero. We obtain explicit formulas for the first and second terms of the corresponding asymptotic expansions by exploiting the solutions of certain auxiliary boundary value problems.
△ Less
Submitted 5 May, 2017;
originally announced May 2017.
-
The Dirichlet problem in a planar domain with two moderately close holes
Authors:
M. Dalla Riva,
P. Musolino
Abstract:
We investigate a Dirichlet problem for the Laplace equation in a domain of $\mathbb{R}^2$ with two small close holes. The domain is obtained by making in a bounded open set two perforations at distance $|ε_1|$ one from the other and each one of size $|ε_1ε_2|$. In such a domain, we introduce a Dirichlet problem and we denote by $u_{ε_1,ε_2}$ its solution. We show that the dependence of…
▽ More
We investigate a Dirichlet problem for the Laplace equation in a domain of $\mathbb{R}^2$ with two small close holes. The domain is obtained by making in a bounded open set two perforations at distance $|ε_1|$ one from the other and each one of size $|ε_1ε_2|$. In such a domain, we introduce a Dirichlet problem and we denote by $u_{ε_1,ε_2}$ its solution. We show that the dependence of $u_{ε_1,ε_2}$ upon $(ε_1,ε_2)$ can be described in terms of real analytic maps of the pair $(ε_1,ε_2)$ defined in an open neighborhood of $(0,0)$ and of logarithmic functions of $ε_1$ and $ε_2$. Then we study the asymptotic behaviour of of $u_{ε_1,ε_2}$ as $ε_1$ and $ε_2$ tend to zero. We show that the first two terms of an asymptotic approximation can be computed only if we introduce a suitable relation between $ε_1$ and $ε_2$.
△ Less
Submitted 5 May, 2017;
originally announced May 2017.
-
Converging expansions for Lipschitz self-similar perforations of a plane sector
Authors:
Martin Costabel,
Matteo Dalla Riva,
Monique Dauge,
Paolo Musolino
Abstract:
In contrast with the well-known methods of matching asymptotics and multiscale (or compound) asymptotics, the " functional analytic approach " of Lanza de Cristoforis (Analysis 28, 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…
▽ More
In contrast with the well-known methods of matching asymptotics and multiscale (or compound) asymptotics, the " functional analytic approach " of Lanza de Cristoforis (Analysis 28, 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 $ε$.
△ Less
Submitted 9 May, 2017; v1 submitted 3 March, 2017;
originally announced March 2017.
-
A Dirichlet problem for the Laplace operator in a domain with a small hole close to the boundary
Authors:
Virginie Bonnaillie-Noël,
Matteo Dalla Riva,
Marc Dambrine,
Paolo Musolino
Abstract:
We study the Dirichlet problem in a domain with a small hole close to the boundary. To do so, for each pair $\boldsymbol\varepsilon = (\varepsilon_1, \varepsilon_2 )$ of positive parameters, we consider a perforated domain $Ω_{\boldsymbol\varepsilon}$ obtained by making a small hole of size $\varepsilon_1 \varepsilon_2 $ in an open regular subset $Ω$ of $\mathbb{R}^n$ at distance $\varepsilon_1$ f…
▽ More
We study the Dirichlet problem in a domain with a small hole close to the boundary. To do so, for each pair $\boldsymbol\varepsilon = (\varepsilon_1, \varepsilon_2 )$ of positive parameters, we consider a perforated domain $Ω_{\boldsymbol\varepsilon}$ obtained by making a small hole of size $\varepsilon_1 \varepsilon_2 $ in an open regular subset $Ω$ of $\mathbb{R}^n$ at distance $\varepsilon_1$ from the boundary $\partialΩ$. As $\varepsilon_1 \to 0$, the perforation shrinks to a point and, at the same time, approaches the boundary. When $\boldsymbol\varepsilon \to (0,0)$, the size of the hole shrinks at a faster rate than its approach to the boundary. We denote by $u_{\boldsymbol\varepsilon}$ the solution of a Dirichlet problem for the Laplace equation in $Ω_{\boldsymbol\varepsilon}$. For a space dimension $n\geq 3$, we show that the function mapping $\boldsymbol\varepsilon$ to $u_{\boldsymbol\varepsilon}$ has a real analytic continuation in a neighborhood of $(0,0)$. By contrast, for $n=2$ we consider two different regimes: $\boldsymbol\varepsilon$ tends to $(0,0)$, and $\varepsilon_1$ tends to $0$ with $\varepsilon_2$ fixed. When $\boldsymbol\varepsilon\to(0,0)$, the solution $u_{\boldsymbol\varepsilon}$ has a logarithmic behavior; when only $\varepsilon_1\to0$ and $\varepsilon_2$ is fixed, the asymptotic behavior of the solution can be described in terms of real analytic functions of $\varepsilon_1$. We also show that for $n=2$, the energy integral and the total flux on the exterior boundary have different limiting values in the two regimes. We prove these results by using functional analysis methods in conjunction with certain special layer potentials.
△ Less
Submitted 24 October, 2017; v1 submitted 14 December, 2016;
originally announced December 2016.
-
A Dirichlet problem for the Laplace operator in a domain with a small hole close to the boundary
Authors:
Virginie Bonnaillie-Noël,
Matteo Dalla Riva,
Marc Dambrine,
Paolo Musolino
Abstract:
We take an open regular domain $Ω$ in $\mathbb{R}^n$ with $n\ge 3$. We introduce a pair of positive parameters $ε_1$ and $ε_2$ and we set $ε\equiv(ε_1,ε_2)$. Then we define the perforated domain $Ω_ε$ by making in $Ω$ a small hole of size $ε_1ε_2$ at distance $ε_1$ from the boundary. When $ε\rightarrow(0, 0)$, the hole approaches the boundary while its size shrinks at a faster rate. In $Ω_ε$ we co…
▽ More
We take an open regular domain $Ω$ in $\mathbb{R}^n$ with $n\ge 3$. We introduce a pair of positive parameters $ε_1$ and $ε_2$ and we set $ε\equiv(ε_1,ε_2)$. Then we define the perforated domain $Ω_ε$ by making in $Ω$ a small hole of size $ε_1ε_2$ at distance $ε_1$ from the boundary. When $ε\rightarrow(0, 0)$, the hole approaches the boundary while its size shrinks at a faster rate. In $Ω_ε$ we consider a Dirichlet problem for the Laplace equation and we denote its solution by $u_ε$. By an approach based on functional analysis and on the introduction of special layer potentials we show that the map which takes $ε$ to (a restriction of) $u_ε$ has a real analytic continuation in a neighbourhood of $(0, 0)$.
△ Less
Submitted 19 September, 2017; v1 submitted 14 December, 2016;
originally announced December 2016.
-
An existence result for a nonlinear transmission problems
Authors:
M. Dalla Riva,
G. Mishuris
Abstract:
Let $Ω^o$ and $Ω^i$ be open bounded subsets of $\mathbb{R}^n$ of class $C^{1,α}$ such that the closure of $Ω^i$ is contained in $Ω^o$. Let $f^o$ be a function in $C^{1,α}(\partialΩ^o)$ and let $F$ and $G$ be continuous functions from $\partialΩ^i\times\mathbb{R}$ to $\mathbb{R}$. By exploiting an argument based on potential theory and on the Leray-Schauder principle we show that under suitable and…
▽ More
Let $Ω^o$ and $Ω^i$ be open bounded subsets of $\mathbb{R}^n$ of class $C^{1,α}$ such that the closure of $Ω^i$ is contained in $Ω^o$. Let $f^o$ be a function in $C^{1,α}(\partialΩ^o)$ and let $F$ and $G$ be continuous functions from $\partialΩ^i\times\mathbb{R}$ to $\mathbb{R}$. By exploiting an argument based on potential theory and on the Leray-Schauder principle we show that under suitable and completely explicit conditions on $F$ and $G$ there exists at least one pair of continuous functions $(u^o, u^i)$ such that \[ \left\{ \begin{array}{ll} Δu^o=0&\text{in }Ω^o\setminus\mathrm{cl}Ω^i\,,\\ Δu^i=0&\text{in }Ω^i\,,\\ u^o(x)=f^o(x)&\text{for all }x\in\partialΩ^o\,,\\ u^o(x)=F(x,u^i(x))&\text{for all }x\in\partialΩ^i\,,\\ ν_{Ω^i}\cdot\nabla u^o(x)-ν_{Ω^i}\cdot\nabla u^i(x)=G(x,u^i(x))&\text{for all }x\in\partialΩ^i\,, \end{array} \right. \] where the last equality is attained in certain weak sense. In a simple example we show that such a pair of functions $(u^o, u^i)$ is in general neither unique nor local unique. If instead the fourth condition of the problem is obtained by a small nonlinear perturbation of a homogeneous linear condition, then we can prove the existence of at least one classical solution which is in addition locally unique.
△ Less
Submitted 22 January, 2015; v1 submitted 22 August, 2014;
originally announced August 2014.
-
Real analytic families of harmonic functions in a domain with a small hole
Authors:
Matteo Dalla Riva,
Paolo Musolino
Abstract:
Let n\ge 3. Let Ω^i and Ω^o be open bounded connected subsets of R^n containing the origin. Let ε_0>0 be such that Ω^o contains the closure of εΩ^i for all ε\in]-ε_0,ε_0[. Then, for a fixed ε\in]-ε_0,ε_0[\{0} we consider a Dirichlet problem for the Laplace operator in the perforated domain Ω^o\εΩ^i. We denote by u_εthe corresponding solution. If p\inΩ^o and p\neq 0, then we know that under suitabl…
▽ More
Let n\ge 3. Let Ω^i and Ω^o be open bounded connected subsets of R^n containing the origin. Let ε_0>0 be such that Ω^o contains the closure of εΩ^i for all ε\in]-ε_0,ε_0[. Then, for a fixed ε\in]-ε_0,ε_0[\{0} we consider a Dirichlet problem for the Laplace operator in the perforated domain Ω^o\εΩ^i. We denote by u_εthe corresponding solution. If p\inΩ^o and p\neq 0, then we know that under suitable regularity assumptions there exist ε_p>0 and a real analytic operator U_p from ]-ε_p,ε_p[ to R such that u_ε(p)=U_p[ε] for all ε\in]0,ε_p[. Thus it is natural to ask what happens to the equality u_ε(p)=U_p[ε] for ε<0. We show a general result on continuation properties of some particular real analytic families of harmonic functions in domains with a small hole and we prove that the validity of the equality u_ε(p)=U_p[ε] for ε<0 depends on the parity of the dimension n.
△ Less
Submitted 26 June, 2013;
originally announced June 2013.
-
Effective conductivity of a singularly perturbed periodic two-phase composite with imperfect thermal contact at the two-phase interface
Authors:
Matteo Dalla Riva,
Paolo Musolino
Abstract:
We consider the asymptotic behaviour of the effective thermal conductivity of a two-phase composite obtained by introducing into an infinite homogeneous matrix a periodic set of inclusions of a different material and of size proportional to a positive parameter ε. We are interested in the case of imperfect thermal contact at the two-phase interface. Under suitable assumptions, we show that the eff…
▽ More
We consider the asymptotic behaviour of the effective thermal conductivity of a two-phase composite obtained by introducing into an infinite homogeneous matrix a periodic set of inclusions of a different material and of size proportional to a positive parameter ε. We are interested in the case of imperfect thermal contact at the two-phase interface. Under suitable assumptions, we show that the effective thermal conductivity can be continued real analytically in the parameter εaround the degenerate value ε=0, in correspondence of which the inclusions collapse to points. The results presented here are obtained by means of an approach based on functional analysis and potential theory and are also part of a forthcoming paper by the authors.
△ Less
Submitted 26 June, 2013;
originally announced June 2013.
-
A singularly perturbed nonlinear traction problem in a periodically perforated domain. A functional analytic approach
Authors:
Matteo Dalla Riva,
Paolo Musolino
Abstract:
We consider a periodically perforated domain obtained by making in R^n a periodic set of holes, each of them of size proportional to ε. Then we introduce a nonlinear boundary value problem for the Lamé equations in such a periodically perforated domain. The unknown of the problem is a vector valued function u which represents the displacement attained in the equilibrium configuration by the points…
▽ More
We consider a periodically perforated domain obtained by making in R^n a periodic set of holes, each of them of size proportional to ε. Then we introduce a nonlinear boundary value problem for the Lamé equations in such a periodically perforated domain. The unknown of the problem is a vector valued function u which represents the displacement attained in the equilibrium configuration by the points of a periodic linearly elastic matrix with a hole of size εcontained in each periodic cell. We assume that the traction exerted by the matrix on the boundary of each hole depends (nonlinearly) on the displacement attained by the points of the boundary of the hole. Then our aim is to describe what happens to the displacement vector function u when εtends to 0. Under suitable assumptions we prove the existence of a family of solutions {u(ε,.) : ε\in ]0,ε'[} with a prescribed limiting behaviour when εapproaches 0. Moreover, the family {u(ε,.) : ε\in ]0,ε'[} is in a sense locally unique and can be continued real analytically for negative values of ε.
△ Less
Submitted 26 June, 2013;
originally announced June 2013.
-
A singularly perturbed non-ideal transmission problem and application to the effective conductivity of a periodic composite
Authors:
Matteo Dalla Riva,
Paolo Musolino
Abstract:
We investigate the effective thermal conductivity of a two-phase composite with thermal resistance at the interface. The composite is obtained by introducing into an infinite homogeneous matrix a periodic set of inclusions of a different material. The diameter of each inclusion is assumed to be proportional to a positive real parameter ε. Under suitable assumptions, we show that the effective cond…
▽ More
We investigate the effective thermal conductivity of a two-phase composite with thermal resistance at the interface. The composite is obtained by introducing into an infinite homogeneous matrix a periodic set of inclusions of a different material. The diameter of each inclusion is assumed to be proportional to a positive real parameter ε. Under suitable assumptions, we show that the effective conductivity can be continued real analytically in the parameter εaround the degenerate value ε=0, in correspondence of which the inclusions collapse to points.
△ Less
Submitted 26 June, 2013;
originally announced June 2013.
-
A real analytic family of fundamental solutions of elliptic partial differential operators with real constant coefficients
Authors:
Matteo Dalla Riva
Abstract:
We construct of a family of fundamental solutions for elliptic partial differential operators with real constant coefficients. The elements of such a family are expressed by means of jointly real analytic functions of the coefficients of the operators and of the spatial variable. We show regularity properties in the frame of Schauder spaces for the corresponding single layer potentials.
We construct of a family of fundamental solutions for elliptic partial differential operators with real constant coefficients. The elements of such a family are expressed by means of jointly real analytic functions of the coefficients of the operators and of the spatial variable. We show regularity properties in the frame of Schauder spaces for the corresponding single layer potentials.
△ Less
Submitted 19 June, 2012;
originally announced June 2012.