Abstract
In this paper, we consider the first Steklov–Dirichlet eigenvalue of the Laplace operator in annular domains with a spherical hole. We prove a monotonicity result with respect to the hole, when the outer region is centrally symmetric.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main result
In recent years, the study of eigenvalue problems in holed domains has been the object of much interest. These kind of problems are usually defined in annular domains with the outer region and the hole satisfying suitable assumptions. Specifically, different boundary conditions can be imposed on the outer and inner boundary and hence several optimization problems can be studied (e.g. Robin-Neumann [18], Neumann-Robin [7], Dirichlet-Neumann [2, 3], Steklov–Dirichlet [11, 14, 17], Steklov-Robin [12]). At the mean time, the optimal placement of an obstacle has been studied, so as to maximize or minimize a prescribed functional (e.g. the Dirichlet heat content [15], the first Steklov eigenvalue [10]).
In this paper, we consider an eigenvalue problem for the Laplace operator in a suitable annular domain with outer Steklov and inner Dirichlet boundary conditions.
More precisely, let \(\Omega _0 \subset {\mathbb {R}}^n\), \(n \ge 2\), be an open bounded set with Lipschitz boundary and \(B_r(y)\) be the ball of radius \(r>0\), centered at y, such that . We study the following Steklov–Dirichlet eigenvalue problem
where \(H^1_{\partial B_{r}(y)}(\Omega )\) denotes the set of Sobolev functions which vanish on the boundary of \(B_r(y)\) (see Sect. 2 for the precise definition). If \(u\in H^{1}_{\partial B_{r}(y)}(\Omega )\) is a minimizer of (1.1), then it satisfies:
where \(\Omega \) is the annular domain \(\Omega =\Omega _0 {\setminus }\overline{B_r(y)}\), \(\sigma \in {\mathbb {R}}\) and \(\nu \) is the outer unit normal to \(\partial \Omega _0\).
In [17] (see also [8, 14]), the authors prove that the minimum in (1.1) is achieved by a function \(u\in H^1_{\partial B_{r}(y)}(\Omega )\), which is a weak solution to problem (1.2) with constant sign in \(\Omega \), and that \(\sigma (\Omega )\) is simple. Furthermore, the authors prove that, keeping the measure of \(\Omega \) and the radius of the inner ball r fixed, \(\sigma (\Omega )\) is maximized, among quasi-spherical sets, when \(\Omega \) is a spherical shell, that is when \(\Omega _0\) is a ball with the same center of the hole. On the other hand, in [11] the authors extend this result to a class of annular sets with a suitable convex outer domain \(\Omega _0\).
More properties are known when \(\Omega \) is an eccentric spherical shell, that is, when the outer domain \(\Omega _0\) is a ball not necessarly centered at the same point of the spherical hole. In [22], the authors study the optimal placement of the hole in eccentric spherical shell \(\Omega \) so that \(\sigma (\Omega )\) is maximized when the outer ball and the inner radius are fixed. If \(n \ge 3\), they prove that \(\sigma (\Omega )\) achieves the maximum when the two balls are concentric. Subsequently, this result has been also proved for any dimension \(n \ge 2\) in [10], by using different proofs (see also [19] for an analogous result in two-points homogeneous spaces).
Moreover, by performing numerical experiments, the authors in [14] exhibit that \(\sigma (\Omega )\) is monotone decreasing with respect to the distance between the centers of the two disks. Our aim is to prove that this monotonicity property holds in any dimension and in a more general setting.
Through this paper, we assume that the outer domain \(\Omega _0\) verifies the following hypotheses.
Definition 1.1
Let \(\Omega _0 \subset {\mathbb {R}}^n\), \(n \ge 2\), be an open, bounded set with Lipschitz boundary and centrally symmetric with respect to , that is there exists \(x' \in \overline{\Omega _0} \) such that \(\frac{1}{2} \left( x+x'\right) =x_0\) for any \(x \in \overline{\Omega _0}\).
Let \(r>0\) be fixed, our first question is
- \(({\mathcal {Q}}_1)\):
-
Where we have to place the center of the spherical hole with fixed radius r in order to maximize \(\sigma (\Omega )\)?
To give an answer, let \(w \in {\mathbb {R}}^n\) be a unit vector and let us consider the holes \(B_r(t)\) with the centers on the w-direction:
where
We stress that \(\rho _w\) is the distance between \(x_0\) and the center of the farthest ball from \(x_0\), well contained in \(\Omega _0\), in the direction w passing at \(x_0\). Then we consider the following type of annular domains
where \(\Omega _0\) verifies the assumption of Definition 1.1. We stress that when \(\Omega _0\) is a ball, then the sets \(\Omega (t)\) are eccentric spherical shells. Furthermore, for any \(0\le t < \rho _w(x_0,r)-r\), we denote by \(\sigma (t)\) the first Steklov–Dirichlet eigenvalue of the Laplacian in \(\Omega (t)\), that is
Our second questions is
- \(({\mathcal {Q}}_2)\):
-
Is \(\sigma (t)\) decreasing with respect to t?
Our main result gives an answer to both questions \(({\mathcal {Q}}_1)\) and \(({\mathcal {Q}}_2)\).
Theorem 1.2
Let \(\Omega _0\) be as in Definition 1.1, \(w \in {\mathbb {R}}^n\) be a unit vector, \(B_r(t)\), \(\rho _w\), \(\Omega (t)\) and \(\sigma (t)\) be defined as in (1.3), (1.4), (1.5) and (1.6), respectively. Then, \(\sigma ( t)\) is strictly monotone decreasing with respect to \(t\in [0,\rho _w-r)\).
As an immediate consequence of our main result, we obtain that, in order to maximize \(\sigma (t)\), the hole has to be centered at the symmetry point of \(\Omega _0\), when the inner radius is fixed.
To prove Theorem 1.2, we use a shape derivative approach. In particular we compute the first and the second domain derivatives of the first Steklov–Dirichlet eigenvalue. We emphasize that our result implies that the monotonicity property holds also for eccentric spherical shell in any dimension and in particular in two dimensions, as suggested by the numerical computation contained in [14].
Finally, we describe the outline of the paper. In Sect. 2, we summarize some results about the first Steklov–Dirichlet eigenvalue problems. In Sect. 3, we compute the first shape derivative of \(\sigma (t)\), observing that a stationary set occurs when the center of the hole coincides with the center of symmetry of the outer region. Finally, in Sect. 4, we compute the second shape derivative of \(\sigma (t)\) and prove the main result.
2 The Steklov–Dirichlet Laplacian eigenvalue problem
In this Section, we study the Steklov–Dirichlet Laplacian eigenvalue problem both on fixed domain \(\Omega \) and on a parameter-dependent domain \(\Omega (t)\), respectively.
2.1 Foundation of the problem
Let \(\Omega _0\subset {\mathbb {R}}^n\) be an open, bounded set with Lipschitz boundary and such that , where \(B_r(y)\) is the ball of radius \(r>0\) centered at y. Let us consider the annular domain \(\Omega :=\Omega _0{\setminus } \overline{ B_{r}(y)}\). In what follows we denote the set of Sobolev functions on \(\Omega \) vanishing on \(\partial B_{r}(y)\) by \(H^1_{\partial B_{r}(y)}(\Omega )\), that is (see [9]) the closure in \(H^1(\Omega )\) of the following set
It is known (see for instance [1, 8, 16]) that the spectrum of the Steklov–Dirichlet eigenvalue problem (1.2) for the Laplace operator in \(\Omega \) is discrete and that the sequence of eigenvalues can be ordered as follows
In particular, the first eigenvalue \(\sigma (\Omega )\) has the variational characterization (1.1), see for instance [8, 14, 17]. Moreover in [17] (see also [14]), the authors prove the following result.
Proposition 2.1
There exists a function \(u\in H^1_{\partial B_{r}(y)}(\Omega )\) which achieves the minimum in (1.1) and is a weak solution to the problem (1.2). Moreover \(\sigma (\Omega )\) is simple and the first eigenfunctions have constant sign in \(\Omega \).
In order to prove our main result, we need to compute the first and the second shape derivative of \(\sigma (\Omega )\) and, to study these derivatives, we need to consider a family of domains approaching to \(\Omega \). In our case, we get the desired monotonicity result by studying the behavior of the involved quantities on the family of domains obtained by moving the hole in a fixed direction.
In what follows we fix notation and recall some preliminary results. Let \(\Omega _0\) be as in Definition 1.1. For the reader convenience, from now on, we assume that \(x_0=0\). In the sequel, we denote by \(B_r\) the ball centered at the origin with radius r and we set \(\Omega =\Omega _0 \setminus \overline{B_r}\) (see the figure below)
In order to study the Steklov–Dirichlet eigenvalue problem on the annular domain \(\Omega (t)\) defined in (1.5), we define a suitable smooth vector field which move the hole \(B_r\) in a given direction w keeping the boundary of \(\Omega _0\) and the inner radius r fixed. Hence, the perturbed holes have the form described in (1.3). We consider the following variational field in \({\mathbb {R}}^n\):
where \(\varphi \in C_0^\infty (\Omega _0)\) is a cut-off function such that \(\varphi (x)=1\) on \(\overline{B_r}\). Consequently, the perturbed annular domains \(\Omega (t)\), defined in (1.5), can be seen as
where \(\rho _w\) is defined in (1.4). Let us observe that \(\partial \Omega (t)=\partial \Omega _0 \cup \partial B_r(t)\) and that \(\Omega (t)\) is centrally symmetric if and only if \(t=0\) and the center of symmetry is the origin. Also refer to the figure below.
For any \(t\in [0, \rho _w-r)\), let \(\sigma (t)\) be the first Steklov–Dirichlet eigenvalue (1.6) of the Laplacian in \(\Omega (t)\) and \(u^t\) be the corresponding normalized and positive eigenfunction. The first eigenvalue admit the variational characterization (1.6) and the eigenfunction \(u^t\in H^{1}_{\partial B_{r}(t)}(\Omega (t))\) is a solution to the following eigenvalue problem
By a little abuse of notation, we also indicate by \(\nu \) the outer unit normal to the boundary of the annular domain \(\partial \Omega (t)\). Then, the variational characterization assures that \(u^t\in H^{1}_{\partial B_{r}(t)}\) is a positive function such that
and that verifies the following equality
2.2 Differentiability of \(\sigma (t)\)
Standard arguments on shape derivatives assure that \(u^t\) and \(\sigma (t)\) are differentiable with respect to t. For the sake of completeness, we sketchily give the proof, that follows exactly the same arguments contained in [13]. The main tool is a general version of the implicit function theorem (see [13, 20] and also [6, Lem.2.1]) applied to the equation transferred onto the fixed domain \(\Omega _0\) (for the details, we refer to [13] and also to [6, Lem. 2.7] and [14, Th.1]).
Proposition 2.2
Let \(\Omega _0\) be as in Definition 1.1, \(w \in {\mathbb {R}}^n\) be a unit vector, \(B_r(t)\), \(\rho _w\), \(\Omega (t)\) and \(\sigma (t)\) be defined as in (1.3), (1.4), (1.5) and (1.6), respectively. Let \(u^t\) be the first normalized eigenfunction of \(\sigma (t)\), then the functions
are differentiable for any direction \(w\in {\mathbb {S}}^{n-1}\) and for any \(t\in [0, \rho _w-r)\).
Proof
Let us fix \(t\in [0, \rho _w-r)\) and let \(s>0\) be such that \(t+s<\rho _w-r\). Therefore, we are able to consider \(\sigma (t+s)\) and \(u^{t+s}\) and the following weak formulation for problem (1.6) holds:
Let V be as in (2.1) and let us define the following map
It is easily seen that, for any s, \(\Phi (s,\Omega _0)=\Omega _0\), \(u^{t+s}(\Phi (s,\cdot )) \in H^1_{\partial B_r(t)}(\Omega )\) and \(D\Phi (0,\cdot )=I\), where \(D\Phi \) denotes the Jacobian matrix of \(\Phi \) and I the identity matrix of order n. Therefore, there exists a neighborhood U of 0 such that \(\Phi (s,\cdot )\) is a diffeomorphism of \(\Omega _0\) and hence, by making a change of variables, (2.4) becomes
and the normalization becomes
Now, let us denote by \((H^1_{\partial B_r(t)}(\Omega ))'\) the dual space of \(H^1_{\partial B_r(t)}(\Omega )\) and let us define
where
for any \(\Psi \in H^1_{\partial B_r(t)}(\Omega _0)\). If we consider the function
then \(f(s,g(s))=0\) for any \(s\in U\) and \(g(0)=\left( u^t,\sigma (t)\right) \). In order to obtain the claim, we have to prove that g is differentiable in \(s=0\), that follows by applying the implicit function Theorem. To do this, we have to prove that
is an isomorphism. This can be proved following line by line the same arguments of [6, Lem 2.7] and [14, Th. 1] (see also chapter 5 in [13]). \(\square \)
Remark 2.3
We observe that being \(u^t\) harmonic for any \(t\in [0,\rho _w-r)\), then \(u^t \in C^{\infty }\left( \overline{ \Omega (t)}\right) \). Then by the general theory of the shape derivatives (see Chapter 5 of [13]), follows that \(u^t\) is \( C^{\infty }\) in a neighborhood of t.
Since, to reach our aims, we need to consider the total and partial derivative of \(u^t\) with respect to the parameter t, we observe that, by (1.3), we have
where \((u^t)'=\displaystyle \frac{\partial u^t}{\partial t}\) and \(\langle \cdot ,\cdot \rangle \) denotes the usual scalar product in \({\mathbb {R}}^n\). Recalling that the perturbed hole \(B_r(t)\) is the zero-level set of the function \(u^t\), then (2.5) implies that
for any \(t\in [0,\rho _w-r)\). Moreover, we observe that it holds
and
Therefore, we have
where \(D^2(u^t)\) denotes the Hessian matrix of \(u^t\). Furthermore, by using (2.6) and the fact that \(u^t\) is a solution to (2.2), we get that \((u^t)'\) is a weak solution to the following problem
We observe that, if we derive the normalized condition (2.3), we get
Finally, for every \(t\in [0,\rho _w-r)\), it will be useful for the sequel to consider the harmonic extension \(H(|\nabla u^t| \langle \nu ,w\rangle )\) of the function with the same boundary value of (2.9) on \(\partial B_r(t)\); that is
3 The first order shape derivative of \(\sigma (t)\)
In this Section, we compute the first oder derivative of the eigenvalue \(\sigma (t)\) on \(\Omega (t)\). Before doing this, we recall an Hadamard’s formula in the framework of the domain derivative (see for instance [5, 13, 21]).
Let \(E\subset {\mathbb {R}}^n\) be an open bounded set with Lipschitz boundary and let V(x) a vector field such that \(V\in W^{1,\infty }({\mathbb {R}}^n;{\mathbb {R}}^n)\). For any \(t>0\), let \(E(t)=\{x(t)=x+tV(x), \,x\in E\}\), and f(t, x(t)) be such that \(f(t,\cdot )\in W^{1,1}({\mathbb {R}}^n)\) and differentiable at t. Then it holds:
where \(\nu \) is the outer unit normal to the boundary of E(t) and \({\mathcal {H}}^{n-1}\) denotes the Hausdorff measure (see for instance the Chapter 5 of [13]). We use formula (3.1) to prove the following.
Theorem 3.1
Let \(\Omega _0\) be as in Definition 1.1, \(w \in {\mathbb {R}}^n\) be a unit vector, \(B_r(t)\), \(\rho _w\), \(\Omega (t)\) and \(\sigma (t)\) be defined as in (1.3), (1.4), (1.5) and (1.6), respectively. Then, for any \(t\in [0, \rho _w-r)\), it holds
where \(u^t\) the is the normalized, positive eigenfunction corresponding to \(\sigma (t)\).
Proof
By using the Hadamard’s formula (3.1), by observing that the unit outer normals \(\nu (x)\) to \(\partial B_r\) and \(\nu (x(t))\) to \(\partial B_r(t)\) coincide and by the fact that \(u^t\) is a solution of (2.2), we get
By taking into account the relation (2.10), we get the conclusion. \(\square \)
In order to obtain our main result, we study the behavior of the first order derivative of \(\sigma (t)\) for \(t=0\). We stress that the symmetry of \(\Omega _0\) has a key role in the proofs of these results.
Corollary 3.2
Let \(\Omega _0\) be as in Definition 1.1, \(w \in {\mathbb {R}}^n\) be a unit vector, \(B_r(t)\), \(\rho _w\), \(\Omega (t)\) and \(\sigma (t)\) be defined as in (1.3), (1.4), (1.5) and (1.6), respectively. Then it holds
Proof
Let \(u^t\) be the normalized, positive eigenfunctions corresponding to \(\sigma (0)=\sigma (\Omega )\). We observe that, since \(\Omega _0\) is centrally symmetric with respect the origin (see Definition 1.1), then
If we denote by \(x'\) the symmetric point of x, then (3.2) immediately follows by taking \(v(x)=u^t(x')\) as test function in (1.1).
Finally, by Theorem 3.1 and being \(\nu = -\displaystyle \frac{x}{r}\), we have
\(\square \)
4 The second order shape derivative of \(\sigma (t)\)
To prove the main result (Theorem 1.2), we need a stationary property of the first order derivative (analyzed in the previous Section) and a sign of the second order derivative. We compute the second order domain derivative of \(\sigma (t)\), by using the same notations of the previous Section and by recalling some useful definitions from [4].
For any bounded domain \(E\in C^{2,\alpha }\) and for any \(f\in C^1(\partial E)\), the tangential derivative of v is given by
where \(\nu \) is the unit outer normal. Furthermore, for any smooth vector field \(\Psi :{\overline{E}}\mapsto {\mathbb {R}}\), the tangential divergence is defined as
where \(D(\Psi )\) is the Jacobian matrix of \(\Psi \). Then, the Gauss theorem on surfaces holds:
The following Theorem gives the expression of the second order domain derivative of \(\sigma (t)\).
Theorem 4.1
Let \(\Omega _0\) be as in Definition 1.1, \(w \in {\mathbb {R}}^n\) be a unit vector, \(B_r(t)\), \(\rho _w\), \(\Omega (t)\) and \(\sigma (t)\) be defined as in (1.3), (1.4), (1.5) and (1.6), respectively. Then, for any \(t\in [0, \rho _w-r)\), it holds
where \(u^t\) the is the normalized positive eigenfunction corresponding to \(\sigma (t)\) and \(H(|\nabla u^t| \langle w,\nu \rangle )\) is the harmonic extension of \(|\nabla u^t| \langle w,\nu \rangle \) in \(\overline{B_r(t)}\), defined in (2.11).
Proof
In order to compute the second order derivative, we first observe that
where V is defined in (2.1). Therefore, by using the divergence Theorem, we have
By using the Hadamard’s formula (3.1) in the right-hand side, we compute the second order derivative of \(\sigma (t)\):
Let us consider the second term in (4.4), by using the tangential divergence (4.2), we have
Hence, by inserting (4.5) in (4.4), we have
For reader’s convenience, we separately study the terms I, II and III in (4.6). Let us focus on I; by using the divergence Theorem, we have
Let us remark that \(\nu \) is also the inner unit normal to \(\partial B_r(t)\).
Now let us consider II; by using the Gauss Theorem (4.3), we have
where in the third line we have used the tangential gradient (4.1).
Let us focus on III; we have
where we have used the relations (2.7) and (2.8). The conclusion follows by using (4.7), (4.8) and (4.9) in (4.6). \(\square \)
Finally, the proof of the main Theorem is a direct consequence of the computed expressions of the first and second order shape derivative of the first Steklov–Dirichlet eigenvalue.
Proof of the Theorem 1.2
Since \(n\ge 2\), the claim is a direct consequence of the Theorems 3.1, Corollary 3.2 and Theorem 4.1\(\square \)
Remark 4.2
An immediate consequence of Theorem 1.2 is that \(\sigma (t)\) is maximum when the hole is centered at the symmetry point of \(\Omega _0\), when \(t=0\).
Remark 4.3
We stress that, when \(\Omega _0=B_R\), the authors in [14] prove the following estimate in two dimensions for \(R>r\):
where \(\sigma (t)=\sigma (\Omega (t))\) and \(\Omega (t)=B_{R}\setminus B_{r}(t)\). By Theorem 1.2, the estimate (4.10) can be written as the following lower bound
Finally, we observe that the inequality (4.11) gives an upper and lower bound for \(\sigma (t)\) in terms of the two radius of the eccentric annulus.
Change history
02 December 2023
A Correction to this paper has been published: https://doi.org/10.1007/s13163-023-00482-1
References
Agranovich, M.S.: On a mixed Poincaré-Steklov type spectral problem in a Lipschitz domain. Russ. J. Math. Phys. 13(3), 239–244 (2006)
Anoop, T. V., Ashok Kumar, K.: Domain variations of the first eigenvalue via a strict Faber-Krahn type inequality. pp 1–21 (2022)
Anoop, T.V., Ashok Kumar, K., Kesavan, S.: A shape variation result via the geometry of eigenfunctions. J. Differ. Equ. 298, 430–462 (2021)
Bandle, C., Wagner, A.: Second domain variation for problems with Robin boundary conditions. J. Optim. Theory Appl. 167(2), 430–463 (2015)
Bellettini, G.: Lecture notes on mean curvature flow: barriers and singular perturbations. Springer. p 327 (2014)
Bonder, J.F., Groisman, P., Rossi, J.D.: Optimization of the first Steklov eigenvalue in domains with holes: a shape derivative approach. Ann. Mat. Pura Appl. 186(2), 341–358 (2007)
Della Pietra, F., Piscitelli, G.: An optimal bound for nonlinear eigenvalues and torsional rigidity on domains with holes. Milan J. Math. 88(2), 373–384 (2020)
Dittmar, B.: Eigen Value Problems and Conformal Mapping, Handbook of Complex Analysis: Geometric Function Theory, vol. 2, pp. 669–686. Elsevier, Amsterdam (2005)
Egert, M., Tolksdorf, P.: Characterizations of Sobolev functions that vanish on a part of the boundary. Discrete Contin. Dyn. Syst. Ser. S 10(4), 729–743 (2017)
Ftouhi, I.: Where to place a spherical obstacle so as to maximize the first Steklov eigenvalue. ESAIM Control Optim. Calc. Var. 28(6), 1–21 (2022)
Gavitone, N., Paoli, G., Piscitelli, G., Sannipoli, R.: An Isoperimetric inequality for the first Steklov-Dirichlet Laplacian eigenvalue of convex sets with a spherical hole. Pac. J. Math. 320(2), 241–259 (2022)
Gavitone, N., Sannipoli, R.: On a Steklov-Robin eigenvalue problem. J. Math. Anal. Appl. (in press)
Henrot, A., Pierre, M.: Shape variation and optimization. EMS Tracts Math. 28, 401 (2018)
Hong, J., Lim, M., Seo, D.H.: On the first Steklov? Dirichlet eigenvalue for eccentric annuli. Ann. Mat. Pur. Appl. 201(2), 769–799 (2022)
Li, L.: On the placement of an obstacle so as to optimize the Dirichlet heat content. SIAM J. Math. Anal. 54(3), 3275–3291 (2022)
Pal’tsev, B.V.E.: Mixed problems with non-homogeneous boundary conditions in Lipschitz domains for second-order elliptic equations with a parameter. Sb. Math. 187(4), 525 (1996)
Paoli, G., Piscitelli, G., Sannipoli, R.: A stability result for the Steklov Laplacian Eigenvalue Problem with a spherical obstacle. Commun. Pure Appl. Anal. 20(1), 145–158 (2021)
Paoli, G., Piscitelli, G., Trani, L.: Sharp estimates for the first \(p\)-laplacian eigenvalue and for the \(p\)-torsional rigidity on convex sets with holes. ESAIM Control Calc. Var. 26(111), 1–15 (2020)
Seo, D.H.: A shape optimization problem for the first mixed Steklov-Dirichlet eigenvalue. Ann. Glob. Anal. Geom. 59(3), 345–365 (2021)
Schwartz, L.: Cours d’analyse, 2nd edn. Hermann, Paris (1981)
Sokolowski, J., Zolésio, P.: Introduction to Shape Optimization, pp. 5–12. Springer, Berlin (1992)
Verma, S., Santhanam, G.: On eigenvalue problems related to the laplacian in a class of doubly connected domains. Monatsh. Math. 193, 879–899 (2020)
Acknowledgements
This work has been partially supported by the MiUR-PRIN 2017 grant “Qualitative and quantitative aspects of nonlinear PDEs”, by GNAMPA of INdAM and by FRA 2020 “Optimization problems in Geometric-functional inequalities and nonlinear PDEs” (OPtImIzE). We would like to thank the reviewer for his/her suggestions to improve the paper.
Funding
Open access funding provided by Università degli Studi di Napoli Federico II within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
This paper does not disclose of potential conflicts of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gavitone, N., Piscitelli, G. A monotonicity result for the first Steklov–Dirichlet Laplacian eigenvalue. Rev Mat Complut 37, 509–523 (2024). https://doi.org/10.1007/s13163-023-00465-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13163-023-00465-2