Abstract
In this paper we consider a minimization problem which arises from thermal insulation. A compact connected set K, which represents a conductor of constant temperature, say 1, is thermally insulated by surrounding it with a layer of thermal insulator, the open set \(\Omega {\setminus } K\) with \(K\subset \bar{\Omega }\). The heat dispersion is then obtained as
for some positive constant \(\beta \).
We mostly restrict our analysis to the case of an insulating layer of constant thickness. We let the set K vary, under prescribed geometrical constraints, and we look for the best (or worst) geometry in terms of heat dispersion. We show that under perimeter constraint the disk in two dimensions is the worst one. The same is true for the ball in higher dimension but under different constraints. We finally discuss few open problems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
As energy saving and noise pollution are growing in importance year after year, insulation represents one of biggest challenge for environmental improvement. Even if insulation is one of the oldest and most studied problem in mathematical physics, the mathematics involved is still very tricky especially when one looks at shape optimization questions. In this paper we will consider a domain of given temperature, thermally insulated by surrounding it with a constant thickness of thermal insulator. As the geometry of the set varies (under prescribed geometrical constraints to be specified later) it is reasonable to ask for the best (or worst) choice (in terms of heat dispersion).
Let K be a compact set in \(\mathbb R^n\) and let \(\Omega \) be a bounded connected open set of \(\mathbb R^{n}\), with \(K\subset \bar{\Omega }\) (here the set K represents a thermally conducting body, surrounded by an amount of insulating material \(\Omega {\setminus } K\)). The heat dispersion is given by
where \(\beta >0\) is a fixed parameter depending on the physical characteristics of the problem, and \(\partial ^{*}\Omega \) stands for the reduced boundary of \(\Omega \).
If \(\Omega \) has Lipschitz boundary and \(K\subset \Omega \), then there exists a minimiser u of (1) which solves in the weak sense the Robin-Dirichlet problem
and it holds that
In what follows we will use D to denote a bounded open connected subset of \(\Omega \) and in that case the notation \(I_\beta (D,\Omega )\) stands for \(I_\beta (\bar{D},\Omega )\).
If \(D=\Omega \) (no insulation), we set
where P(D) stands for the classical perimeter in \(\mathbb R^n\). One of the most intriguing questions in thermal insulation is to study the configurations of D and \(\Omega \) for which \(I_\beta (D,\Omega )\) is minimal or maximal, under reasonable geometric constraints.
Shape optimization problems of this or similar nature already appeared in several papers, as for instance in [1,2,3,4,5, 7, 10, 12,13,14]. Related results are contained in [11].
In Sect. 2 we consider \(I_\beta (D,\Omega )\) when \(\Omega \) is the Minkowski sum
(see Sect. 2 for its definition), B is the unit ball centered at the origin, and \(\delta \) is a positive number. This corresponds to accomplish the insulation of D by adding an insulation layer of constant thickness. For the sake of simplicity, we set
In Sect. 3 we consider the planar case and prove that in the class of smooth domains D with given perimeter P, and fixed \(\delta >0\), the disk maximizes \(I_{\beta ,\delta }\). Therefore, we deduce that the worst possible geometry (in terms of heat dispersion) is the symmetric one.
Thereafter, in Sect. 4, we prove that in higher dimension (\(n\ge 3\)) balls still maximize \(I_{\beta ,\delta }\), but our result finds its natural generalization in the class of convex domains D with same mean width. We remind that the width of a convex sets D in a given direction \(\nu \in \mathcal {S}^{n-1}\) is the distance of two distinct supporting hyperplanes of D orthogonal to \(\nu \). Denoting by \(p_D\) the support function of the set D, then the width in the direction \(\nu \) is \(p_D(\nu )+p_D(-\nu )\) and averaging such a quantity over all \(\nu \in \mathcal {S}^{n-1}\) returns a quantity commonly denoted mean width. The mean width is also proportional (thanks to a classical result within the Brunn–Minkowski theory [16, 5.57]) to the so called \((n-1)\)-quermassintegral, which for our purpose is easier to handle and it is the quantity that we shall use throughout the paper.
The study of the worst possible shape, the one with the highest heat dispersion, is justified by the idea that, in designing the optimal insulation, one has an a-priori bound of the heat dispersion in terms of geometric quantities alone.
However, it is of great interest as well, to study the existence of the best geometries: those which minimize heat dispersion. In the last section we make some remarks on that, and discuss few open problems. For instance we consider the minimization of \(I_{\beta ,\delta }(D)\) in the class of sets of given perimeter or measure. Comparison with classical Capacitary problem (which corresponds to the case \(\beta \rightarrow \infty \)) suggests that the minimization of \(I_{\beta ,\delta }(D)\) when we vary D by preserving its measure, occurs when D is a ball. Even more complicated is the case where both \(\Omega \) and D vary among sets of fixed volume. However such a case requires a careful formulation otherwise the problem can be ill-posed, in the sense that (against common sense) sometimes insulation might increase heat dispersion. In particular we show that, when \(D=B_R\) (open ball of radius R), and \(\beta \) is small enough, there exists a positive constant \(\delta _{0}\) (which depends on \(\beta \) and R alone) such that for any bounded connected open set \(\Omega \), with \(\Omega \supset B_R\) and \(|\Omega {\setminus } B_R|<\delta _{0}\), then
2 Insulating problem
Given an open, bounded, connected set \(D\subset \mathbb R^{n}\), and \(\Omega =D+\delta B\), \(\delta >0\), where B is the unit ball centered at the origin and \(D+\delta B\) stands for the Minkowski sum of the two sets, that is
we are interested in the study of the properties of
with \(\beta >0\).
We denote by \(W_{\bar{D}}^{1,2}(\Omega )\) the closure in \(W^{1,2}(\Omega )\) of \(\{ \left. \varphi \right| _\Omega :\varphi \in {\mathcal C}_c^{\infty }(\mathbb R^{n}) \> \hbox {with} \,\bar{D} \cap \text{ supp } \varphi = \emptyset \} \). If \(\Omega \) has Lipschitz boundary, then there exists a unique minimizer u of (3) such that \(u-1 \in W_{\bar{D}}^{1,2}(\Omega )\) which solves
in the sense that
for all \( \varphi \in W_{\bar{D}}^{1,2}(\Omega )\).
Then
We will call \(I_{\beta ,\delta }(D)\) the “heat dispersion” and we observe that if \(\beta =0\), the condition on \(\partial \Omega \) in (4) becomes a Neumann condition: \(\frac{\partial u}{\partial \nu }=0\), while if \(\beta =+\infty \), the problem has to be meant with a Dirichlet condition on \(\partial \Omega \): \(u=0\).
Remark 2.1
It holds that
Furthermore, by choosing \(\varphi =1\) in (3) as test function, we get
where \(P(\Omega )\) stands for the perimeter of \(\Omega \) in \(\mathbb R^n\).
3 Maximization of the heat dispersion: the planar case
In this section we consider the two dimensional case. For an open, bounded, connected set D we denote by \(D^{*}\) the disk having the same perimeter of D. We consider \(\Omega =D+\delta B\) and the disk \(\Omega _*=D^{*}+\delta _{*} B\), where B is the unit disk centered at the origin.
If D is convex, the Steiner formulae state that
If we ask that the area of the insulating material \(\Omega {\setminus } \bar{D}\) remains constant, then
Then, since \(P(D)=P(D^{*})\) then \(\delta =\delta _{*}\) and, as byproduct, \(P(\Omega )=P(\Omega _*)\). On the contrary, if \(\delta =\delta ^{*}\), then \(|\Omega |-|D|=|\Omega _{*}|-|D^{*}|\).
For a general bounded domain with piecewise \(C^{1}\) boundary, it holds that
hence \(\delta =\delta _{*}\) implies
which means that the area of the insulating material increases keeping fixed the perimeter P(D) and the thickness \(\delta \).
Theorem 3.1
Let D be an open, bounded, connected set of \(\mathbb R^{2}\) with piecewise \(C^{1}\) boundary. Then
where \(D^{*}\) is the disk having the same perimeter of D, that is \(P(D^{*})=P(D)\).
Proof
Let v be the radial minimizer of \(I_{\beta ,\delta }(D^{*})\). We denote by R be the radius of \(D^{*}\), \(\Omega _{*}=D^{*}+\delta B\), \(v_m=v(R+\delta ) = \min _{\Omega _{*}} v\) and by \( \max _{\Omega _*} v=v(R)=1\). Being v radial, the modulus of the gradient of v is constant on the level lines of v.
Let us consider the function
Let d(x) be the distance of a point x from D and set
By construction \(w \in H^1(\Omega )\) and, being G decreasing, it results:
Hence w is a test function. Then
Let
and let
By Steiner formula (7) we get
for every \(w_m < t \le 1\). Hence, by (9),
then, by co-area formula and (8),
As regards the boundary terms, since by construction \(w = w_{m}=v_m\) on \( \partial \Omega \) (see (8)), and \(P(\Omega ) = P(\Omega _*)\), we have
Hence
\(\square \)
4 The n-dimensional case
4.1 Preliminaries on convex sets
Here we list some basic facts on convex sets. All the notions and results can be found, for example, in [6, 16]. Let K be a nonempty, bounded, convex set in \(\mathbb R^{n}\) and let \(\delta >0\). Then the Steiner formulas for the volume and the perimeter read as
where B is the unit ball in \(\mathbb R^{n}\) centered at the origin, whose measure is denoted by \(\omega _{n}\). The coefficients \(W_{j}(K)\) are the so-called quermassintegrals of K.
It immediately follows that
If K has \(C^2\) boundary, with nonzero Gaussian curvature, the quermassintegrals are related to the principal curvatures of \(\partial K\). Indeed, in such a case
Here \(H_j\) denotes the j-th normalized elementary symmetric function of the principal curvatures of \(\partial K\), that is \(H_0=1\) and
where \(\kappa _1(x),\ldots ,\kappa _{n-1}(x)\) are the principal curvatures at a point \(x\in \partial K\). In particular, by (12) and (13) we get also that
where \(H_{1}(x)\) is the mean curvature of \(\partial K\) at a point x.
The Aleksandrov–Fenchel inequalities state that
where the inequality is replaced by an equality if and only if K is a ball.
In what follows, we use the Aleksandrov–Fenchel inequalities for particular values of i and j. When \(i=0\) and \(j=1\), we have the classical isoperimetric inequality:
Moreover, if \(i=k-1\), and \(j=k\), we have
Let us denote by \(K^{*}\) a ball such that \(W_{n-1}(K)=W_{n-1}(K^{*})\). Then by Aleksandrov–Fenchel inequalities (14), for \(0\le i < n-1\)
hence
4.2 Maximization of the heat dispersion in convex domains
Theorem 4.1
Let D be an open, bounded, convex set of \(\mathbb R^{n}\). Then
where \(D^{*}\) is the ball having the same \(W_{n-1}\) quermassintegral (same mean width) of D, that is \(W_{n-1}(D)=W_{n-1}(D^{*})\).
Proof
Let be \(\Omega _{*}=D^{*}+\delta B\), and v the radial minimizer of \(I_{\beta ,\delta }(D^{*})\). Since \(\Omega = D+ \delta B\), Steiner formula (11) and (15) imply \(P(\Omega ) \le P(\Omega _*)\).
We denote by \(v_m=v(R+\delta ) = \min _{\Omega _{*}} v\) and by \( \max _{\Omega _{*}} v=v(R)=1\). Being v radial, the modulus of the gradient of v is constant on the level lines of v.
Let us consider the function
Let d(x) be the distance of a point \(x\in \Omega \) from D and set
By construction \(w \in H^1(\Omega )\) and being G decreasing it results:
Then
Let
and
Being \(W_{n-1}(D)=W_{n-1}(D^{*})\), using the Steiner formula and (15), we get for \(w_m < t \le 1\) and \(\rho =G^{-1}(t)\)
Hence
then, by co-area formula and (16),
As regards the boundary behavior, since by construction \(w = w_{m}=v_m\) on \( \partial \Omega \) (see (16)), and \(P(\Omega ) \le P(\Omega _*)\), we have
\(\square \)
Remark 4.1
Let us observe that whenever \(W_{n-1}(D)=W_{n-1}(D^{*})\), then by the Steiner formula and the Aleksandrov–Fenchel inequalities then \(\left| \Omega \right| -\left| D\right| \le \left| \Omega _{*}\right| -\left| D^{*}\right| \).
5 Remarks and open problems
As regards the infimum of \(I_{\beta ,\delta }(D)\) among sets with fixed perimeter, it is easy to show that, without any geometrical restriction, such an infimum is zero. For example, for \(n=2\), even limiting the analysis to open connected sets is not enough to bound the infimum away from zero. To this aim we consider the sequence of sets \(Q_{k}=\left]0,\frac{1}{k}\right[^{2}\). Then we construct the set \(D_{k}\) by removing from \(Q_{k}\) \(k^{2}\) disjoint closed squares of side \(\frac{1}{4k^{2}}-\frac{1}{k^{3}}\) each (\(k\ge 5\)). Then for k sufficiently large, it holds that \(I_{\delta ,\beta }(D_{k})=I_{\delta ,\beta }(Q_{k})\). Hence
while for any k
The class of simply connected sets suffers the same problem. However, among planar convex sets of given perimeter, any minimising sequence for \(I_{\beta ,\delta }(D)\) admits, by Blaschke-Santaló Theorem, a subsequence which converges (possibly degenerating into a segment) to some convex body of same perimeter (to be understood as twice its length, or Minkowski content, in case of a segment). Since the functional \(I_{\beta ,\delta }(\cdot )\) is continuous under converging sequence of convex bodies, a minimum is achieved. This leads to the following
Open Problem 1
Find the minimum of \(I_{\beta ,\delta }(\cdot )\) in the class of convex planar sets of given perimeter.
Another closely related question is
Open Problem 2
Prove or disprove in any dimension that the minimum of \(I_{\beta ,\delta }(\cdot )\) among sets of given volume exists.
For \(\beta \rightarrow \infty \) the functional \(I_{\beta ,\delta }(D)\) converges to the capacity of the set \(\bar{D}\) with respect to \(D+\delta B\). For the capacity one can employ standard techniques, like the Schwarz symmetrization, to deduce that a minimum is achieved on balls. This suggests that, at least for large \(\beta \), balls might provide a positive answer to Open Problem 2.
Yet another important question is
Open Problem 3
Prove or disprove in any dimension that for positive constants \(\beta \) and \(0<m<M\), there exists a minimum of
Again, comparison with Capacitary problem and common sense suggest that the minimum is achieved when \(\Omega \) and D are concentric balls. The fact that one can not prescribe the exact volume of \(\Omega \) but only an upper bound is due to the some counterintuitive behaviour of the functional \(I_{\beta }(D;\Omega )\) which is very peculiar and that can be summarised in next two Propositions.
Proposition 5.1
If \(\beta \ge \frac{1}{R}\) then \(I_{\beta ,\delta }(B_{R})\) is decreasing in \(\delta \). When \(\beta <\frac{1}{R}\) then \(I_{\beta ,\delta }(B_{R})\) is increasing when \(\delta \le \frac{1}{\beta }-R\) and decreasing when \(\delta \ge \frac{1}{\beta }-R\) (see also [15, Sect. 3.3.1–3.3.2]).
Proof
If \(D=B_{R}\) is a ball with radius R, then obviously \(\Omega =B_{R}+\delta B=B_{R+\delta }\), and the minimum of (3), \(v(x)=v(r)\), is
with
In particular, if \(n=2\), computing the heat dispersion \(I_{\beta ,\delta }(B_{R})\), we have
We recall that \(\nu \) is the outer normal to \(B_{R+\delta }{\setminus } \bar{B}_{R}\).
Let us observe that
We have
that is
\(\square \)
Therefore in the regime \(\beta \) “small”, insulation increases the heat dispersion if the insulator thickness is below a certain threshold value. A more careful analysis brings to a sharper result.
Proposition 5.2
Let \(D=B_{R}(0)\) and \(\beta <\frac{2}{R}\). Then there exists a positive constant \(\delta _{0}\) such that for any bounded domain \(\Omega \), with \(D\subset \Omega \) and \(|\Omega |-|D|<\delta _{0}\), then
To prove this result, we first need the subsequent Lemma 5.1. We introduce first the following notation.
Let \(D=B_{R}\subset \Omega \), and denote by
We first need the following Lemma.
Lemma 5.1
Let be \(D=B_{R}\), and \(B_{R}\subset \Omega \). For any \(\delta _{0}>0\), there exists a constant
such that if \(\Delta V\le \delta _{0}\) it holds that
Proof
By the isoperimetric inequality it holds that
Hence
and then, if \(\Delta V\le \delta _{0}\), we have that
where C is the constant in (17), and this complete the proof.\(\square \)
Proof of Theorem 5.2
Let u be the minimizer of \(I_{\beta }(B_{R};\Omega )\). Let us consider
and
We want to show that
or equivalently
Then, using coarea formula and Fubini theorem we have
By Lemma 5.1 it holds that if fixed \(\delta _{0}>0\), if \(|\Sigma |<\delta _{0}\) then
where C is the constant given in (17). Hence, substituting in (19) we get
On the other hand,
Choosing \(\varepsilon =\frac{1}{\beta }\) it holds that
Therefore, being \(R<\frac{1}{\beta }\), for \(\delta _{0}\) sufficiently small the constant C is larger than \(\beta \). Hence the inequality (20) implies (18).
References
Acerbi, E., Buttazzo, G.: Reinforcement problems in the calculus of variations. Ann. Inst. H. Poincaré Anal. Non Linéaire 3, 273–284 (1986)
Brezis, H., Caffarelli, L., Friedman, A.: Reinforcement problems for elliptic equations and variational inequalities. Ann. Mat. Pura Appl. 123, 219–246 (1980)
Bucur, D., Buttazzo, G.: Variational Methods in Shape Optimization Problems, Progress in Nonlinear Differential Equations 65. Birkhäuser Verlag, Basel (2005)
Bucur, D., Buttazzo, G., Nitsch, C.: Two optimization problems in thermal insulation. Notices Am. Math. Soc. 64(8), 830–835 (2017)
Bucur, D., Buttazzo, G., Nitsch, C.: Symmetry breaking for a problem in optimal insulation. J. Math. Pures et Appl. 107, 451–463 (2017)
Burago, YuD, Zalgaller, V.A.: Geometric inequalities. Springer, Berlin (1988)
Buttazzo, G.: Thin insulating layers: the optimization point of view, In Proceedings of “Material Instabilities in Continuum Mechanics and Related Mathematical Problems”, Edinburgh 1985–1986, edited by J, pp. 11–19. Oxford University Press, Oxford, M. Ball (1988)
Caffarelli, L.A., Kriventsov, D.: A free boundary problem related to thermal insulation. Comm. PDE 41, 1149–1182 (2016)
Cox, S.J., Kawohl, B., Uhlig, P.X.: On the optimal insulation of conductors. J. Optim. Theory Appl. 100, 253–263 (1999)
Della Pietra, F., Nitsch, C., Scala, R., Trombetti, C.: An optimization problem in thermal insulation with Robin boundary conditions (preprint)
Della Pietra, F., Piscitelli, G.: An optimal bound for nonlinear eigenvalues and torsional rigidity on domains with holes. Milan J. Math. (to appear)
Denzler, J.: Windows of given area with minimal heat diffusion. Trans. Am. Math. Soc. 351, 569–580 (1999)
Esposito, P., Riey, G.: Asymptotic behaviour of a thin insulation problem. J. Convex Anal. 10, 379–388 (2003)
Friedman, A.: Reinforcement of the principal eigenvalue of an elliptic operator. Arch. Rational Mech. Anal. 73(1), 1–17 (1980)
Incropera, F.P., DeWitt, D.P., Bergman, T.L., Lavine, A.S.: Introduction to heat transfer. Wiley (2011)
Schneider, R., Convex Bodies: The Brunn–Minkowski Theory. Encyclopedia of Mathematics and its Applications, vol. 151, Cambridge University Press, Cambridge, 2014
Acknowledgements
Open access funding provided by Universitá degli Studi di Napoli Federico II within the CRUI-CARE Agreement. This work has been partially supported by a MIUR-PRIN 2017 Grant “Qualitative and quantitative aspects of nonlinear PDE’s” and by GNAMPA of INdAM.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
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/.