Abstract
An approach to interpolation of compact subsets of \({{\mathbb {C}}}^n\), including Brunn–Minkowski type inequalities for the capacities of the interpolating sets, was developed in [8] by means of plurisubharmonic geodesics between relative extremal functions of the given sets. Here we show that a much better control can be achieved by means of the geodesics between weighted relative extremal functions. In particular, we establish convexity properties of the capacities that are stronger than those given by the Brunn–Minkowski inequalities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Classical complex interpolation of Banach spaces, due to Calderón [5] (see [3] and, for more recent developments, [7]) is based on constructing holomorphic hulls generated by certain families of holomorphic mappings. A slightly different approach proposed in [8] rests on plurisubharmonic geodesics. The notion has been originally considered, starting from 1987, for metrics on compact Kähler manifolds (see [10] and the bibliography therein), while its local counterpart for plurisubharmonic functions on bounded hyperconvex domains of \({{\mathbb {C}}}^n\) was introduced more recently in [4] and [18], see also [1].
In the simplest case, the geodesics we need can be described as follows. Denote by \(A=\{\zeta \in {{\mathbb {C}}}:\,0< \log |\zeta | < 1\}\) the annulus bounded by the circles \(A_j=\{\zeta :\, \log |\zeta |=j\}\), \(j=0,1\). Let \(\varOmega \) be a bounded hyperconvex domain in \({{\mathbb {C}}}^n\). Given two plurisubharmonic functions \(u_0,u_1\) in \(\varOmega \), equal to zero on \(\partial \varOmega \), we consider the class W of all plurisubharmonic functions \(u(z,\zeta )\) in \(\varOmega \times A\), such that
Its Perron envelope \({{\mathcal {P}}}_W(z,\zeta )=\sup \{u(z,\zeta ):\, u\in W\}\) belongs to the class and satisfies \({{\mathcal {P}}}_W(z,\zeta )={{\mathcal {P}}}_W(z,|\zeta |)\), which gives rise to the functions
the geodesic between \(u_0\) and \(u_1\). When the functions \(u_j\) are bounded, the geodesic \(u_t\) tends to \(u_j\) as \(t\rightarrow j\), uniformly on \(\varOmega \). One of the main properties of the geodesics is that they linearize the pluripotential energy functional
which means
see the details in [4] and [18].
In [18], this was adapted to the case when the endpoints \(u_j\) are relative extremal functions \(\omega _{K_j}\) of non-pluripolar compact sets \(K_0,K_1\subset \varOmega \); we recall that
where \({{{\mathcal {N}}}_K}\) is the collection of all negative plurisubharmonic functions u in \(\varOmega \) with \(u|_K\le -1\), see [14]. Note that
where
is the Monge–Ampère capacity of K relative to \(\varOmega \).
If each \(K_j\) is polynomially convex (i.e., coincides with its polynomial hull), then the functions \(u_j=-1\) exactly on \(K_j\) are continuous on \({\overline{\varOmega }}\), and the geodesics \(u_t\in C({\overline{\varOmega }}\times [0,1])\). Let
then (1) implies:
As was shown in [19], the functions \(u_t\) in general are different from the relative extremal functions of \(K_t\). Moreover, if the sets \(K_j\) are Reinhardt (toric), then \(u_t =\omega _{K_t}\) for some \(t\in (0,1)\) only if \(K_0=K_1\), so an equality in (3) is never possible unless the geodesic degenerates to a point.
Furthermore, in the toric case, the capacities (with respect to the unit polydisk \({{\mathbb {D}}}^n\)) were proved in [8] to be not just convex functions of t, as is depicted in (3), but logarithmically convex:
This was done by representing the capacities, due to [2], as (co)volumes of certain sets in \({ {\mathbb {R}}}^n\) and applying convex geometry methods to an operation of copolar addition introduced in [19]. Furthermore, the sets \(K_t\) in the toric situation were shown to be the geometric means (multiplicative combinations) of \(K_j\), exactly as in the Calderón complex interpolation theory. And again, an equality in (4) is possible only if \(K_0=K_1\). It is worth mentioning that the volumes of \(K_t\) satisfy the opposite Brunn–Minkowski inequality [6]:
In this note, we apply the geodesic technique to weighted relative extremal functions
the sets \(K_t\) being replaced with the sets \( K^c_t\) where the functions \(u_t^c\) attain their minimal values, \(-c_t\). The function \(t\mapsto c_t\) turns out to be convex; moreover, it is actually linear, \(c_t=(1-t)\,c_0+t\,c_1\), provided \(K_0\cap K_1\ne \emptyset \). With such an interpolation, one can have \(u_t^c=c_t\,\omega _{K^c_t,\varOmega }\) for a non-degenerate geodesic, in which case there is no loss in the transition from the functional \({{\mathcal {E}}}(u_t^c)\) to the capacity \({{\text {Cap}}\,}(K^c_t)\). And in any case, we establish the weighted inequality
which, for a smart choice of the constants \(c_j\), is stronger than (3) and even (in the toric case) than (4). In particular, it implies that the function
is concave.
In the toric setting of Reinhardt sets \(K_j\) in the unit polydisk, we show that the interpolating sets \(K_t^c\) actually are the geometric means, so they do not depend on the weights \(c_j\) and coincide with the sets \(K_t\) in the non-weighted interpolation; we do not know if the latter is true in the general, non-toric setting.
Finally, we transfer the above results on the capacities of sets in \({{\mathbb {C}}}^n\) to the realm of convex geometry, developing thus the Brunn–Minkowski theory for volumes of (co)convex sets in \({ {\mathbb {R}}}^n\) [8, 12, 19].
2 General Setting
Here, we consider the general case of \(u_j^c=c_j\,\omega _{K_j}\) with \(c_j>0\) and \(K_j\) non-pluripolar, compact, polynomially convex subsets of a bounded hyperconvex domain \(\varOmega \) of \({{\mathbb {C}}}^n\). In this situation, the functions \(u_j^c(z)=-c_j\) precisely on \(K_j\) and are continuous on \({\overline{\varOmega }}\), the geodesics \(u_t\) converge to \(u_j\), uniformly on \(\varOmega \), as \(t\rightarrow j\), and belong to \(C({\overline{\varOmega }}\times [0,1])\), as in the non-weighted case dealt with in [18] and [8].
Denote:
and
the set where \(u_t^c\) attains its minimal value on \(\varOmega \).
Theorem 1
In the above setting, we have:
-
(i)
\( c_t\le (1-t)\,c_0+t\,c_1\), with an equality if \(K_0\cap K_1\ne \emptyset \);
-
(ii)
the function \(t\mapsto c_t^{n+1}{{\text {Cap}}\,}(K_t)\) is convex:
$$\begin{aligned} c_t^{n+1}{{\text {Cap}}\,}(K^c_t)\le (1-t)\,c_0^{n+1}{{\text {Cap}}\,}(K_0)+t\,c_1^{n+1}{{\text {Cap}}\,}(K_1); \end{aligned}$$(6) -
(iii)
if the weights \(c_j\) are chosen such that
$$\begin{aligned} c_0^{n+1}{{\text {Cap}}\,}(K_0)=c_1^{n+1}{{\text {Cap}}\,}(K_1), \end{aligned}$$(7)then the function
$$\begin{aligned} V(t):=\left( {{\text {Cap}}\,}(K_t^c)\right) ^{-\frac{1}{n+1}} \end{aligned}$$is concave and, consequently, the function
$$\begin{aligned} \rho (t):=V(t)^{-1}=\left( {{\text {Cap}}\,}(K_t^c)\right) ^{\frac{1}{n+1}} \end{aligned}$$is convex.
Proof
- (i):
-
Consider \(v_j = c_j\,\omega _K\) for \(j=0,1\), where \(K=K_0\cup K_1\). The set K might be not polynomially convex, but \(\omega _K\) is nevertheless a bounded plurisubharmonic function on \(\varOmega \) with zero boundary values, so the geodesic \(v_t^c\) is well defined and converge to \(v_j\), uniformly on \(\varOmega \), as \(t\rightarrow j\) [18, Prop. 3.1]. Since \(v_j\le u_j^c\), we have \(v_t^c\le u_t^c\). Assume \(c_0\ge c_1\), then the corresponding geodesic \(v_t^c = \max \{c_0\,\omega _K, -((1-t)\,c_0+t\,c_1)\}\), because the right-hand side is maximal in \(\varOmega \times A\) and has the prescribed boundary values at \(t=0\) and \(t=1\). Therefore:
$$\begin{aligned} -c_t\ge \min \{v_t^c(z):\, z\in \varOmega \}\ge -((1-t)\,c_0+t\,c_1), \end{aligned}$$which proves the convexity of \(c_t\).
To finish the proof of (i), let \(z^*\in K_0\cap K_1\ne \emptyset \), then \(-c_t\le u_t^c(z^*)\). Since the convexity of the function \(u_t^c(z^*)\) in t implies \(u_t^c(z^*)\le -((1-t)\,c_0+t\,c_1)\), we get \( c_t\ge (1-t)\,c_0+t\,c_1\) and thus the linearity.
- (ii):
-
Since \(u_j^c=c_j\,\omega _{K_j}\), we have:
$$\begin{aligned} {{\mathcal {E}}}(u_j)= c_j^{n+1}\int _\varOmega (dd^c \omega _{K_j})^n = -c_j^{n+1}{{\text {Cap}}\,}(K_j), \quad j=1,2. \end{aligned}$$For any fixed t, the function \(u_t^c=-c_t\) on \(K_t^c\), so \(u_t^c\le -c_t\,\omega _{K_t^c}\). By [18, Cor. 2.2] this implies
$$\begin{aligned} {{\mathcal {E}}}(u_t^c)\le {{\mathcal {E}}}(c_t\,\omega _{K_t^c})=-c_t^{n+1}{{\text {Cap}}\,}(K_t^c), \end{aligned}$$and (6) follows from the geodesic linearization property (1).
- (iii):
-
It suffices to prove the concavity of the function V. When the weights \(c_j\) satisfy (7), inequality (6) rewrites as
$$\begin{aligned} V(t)\ge \frac{c_t}{c_0}V(0) \end{aligned}$$and, since
$$\begin{aligned} c_1= \frac{V(1)}{V(0)}c_0, \end{aligned}$$this gives us
$$\begin{aligned} V(t)\ge (1-t)\,V(0)+t\,V(1), \end{aligned}$$which completes the proof.
\(\square \)
The convexity/concavity results in this theorem are stronger than inequality (3) obtained in [18] by the geodesic interpolation \(u_t\) of non-weighted extremal functions. In addition, the non-weighted geodesic \(u_t\) is very unlikely to be the extremal function of the set \(K_t\) (as shown in [19], this is never the case in the toric situation, unless \(K_0=K_1\)), while this is perfectly possible in the weighted interpolation. For example, given \(K_0\Subset \varOmega \), let
then \(\omega _{K_1,\varOmega }=\max \{2\omega _{K_0,\varOmega },-1\}\). For \(c_0=2\) and \(c_1=1\), we get:
with
so
3 Toric Case
In this section, we assume \(\varOmega ={{\mathbb {D}}}^n\), the unit polydisk, and \(K_0,K_1\subset {{\mathbb {D}}}^n\) to be non-pluripolar, polynomially convex compact Reinhardt (multicircled, toric) sets. Polynomial convexity of such a set K means that its logarithmic image
is a complete convex subset of \({{\mathbb {R}}}_-^n\), i.e., \({{\text {Log}}\,}K+{{\mathbb {R}}}_-^n\subset \log K\); we will also say that K is complete logarithmically convex. The functions \(c_j\,\omega _{K_j}\) are toric, and so is their geodesic \(u_t^c\). Note that since \(K_0\cap K_1\ne \emptyset \), inequality (6) and the concavity/convexity statements of Theorem 1(iii) hold true.
It was shown in [8] that the sets \(K_t\) defined by (2) for the geodesic interpolation of non-weighted toric extremal functions \(\omega _{K_j}\) are, as in the classical interpolation theory, the geometric means \(K_t^\times \) of \(K_j\). Here, we extend the result to the weighted interpolation, which shows, in particular, that the sets \(K_t^c\) do not depend on the weights \(c_j\). The relation \(K_t^\times \subset K_t^c\) is easy, while the reverse inclusion is more elaborate; we mimic the proof of the corresponding relation for the non-weighted case [8] that rests on a machinery developed in [19].
Any toric plurisubharmonic function u(z) in \({{\mathbb {D}}}^n\) gives rise to a convex function
and the geodesic \(u_t^c\) generates the function \({\check{u}}_t^c\), convex in \((s,t)\in {{\mathbb {R}}}_-^n\times (0,1)\).
Given a convex function f on \({{\mathbb {R}}}_-^n\), we extend it to the whole \({ {\mathbb {R}}}^n\) as a lower semicontinuous convex function on \({ {\mathbb {R}}}^n\), equal to \(+\infty \) on \({ {\mathbb {R}}}^n{\setminus }{{\overline{{{\mathbb {R}}}_-^n}}}\), and we denote \({{\mathcal {L}}}[f]\) its Legendre transform:
Evidently, \({{\mathcal {L}}}[f](x)=+\infty \) if \(x\not \in \overline{{{\mathbb {R}}}_+^n}\), and the Legendre transform is an involutive duality between convex functions on \({{\mathbb {R}}}_+^n\) and \({{\mathbb {R}}}_-^n\).
It was shown in [19] that for the relative extremal function \(\omega _K=\omega _{K,{{\mathbb {D}}}^n}\)
where
is the support function of the convex set \(Q={{\text {Log}}\,}K \subset {{\mathbb {R}}}_-^n\). Therefore, for a weighted relative extremal function \(u=c\,\omega _{K}\), we have:
Theorem 2
Given two non-pluripolar complete logarithmically convex compact Reinhardt sets \(K_0,K_1\subset {{\mathbb {D}}}^n\) and two positive numbers \(c_0\) and \(c_1\), let \(u_t^c\) be the geodesic connecting the functions \(u_0=c_0\,\omega _{K_0}\) and \(u_1=c_1\,\omega _{K_1}\). Then the interpolating sets \(K_t^c\) defined by (5) coincide with the geometric means:
Proof
Since the sets \(K_t^\times \) and \(K_t^c\) are complete logarithmically convex, it suffices to prove that \(Q_t:={{\text {Log}}\,}K_t^\times \) coincides with \(Q_t^c:={{\text {Log}}\,}K_t^c\).
The inclusion \(Q_t\subset Q_t^c\) follows from convexity of the function \({\check{u}}_t^c(s)\) in \((s,t)\in {{\mathbb {R}}}_-^n\times (0,1)\): if \(s\in Q_t\), then \(s=(1-t)\,s_0+t\,s_1\) for some \(s_j\in Q_j\), so:
while we have \({\check{u}}_t(s)\ge -c_t\) for all s. This gives us \(s\in Q_t^c\).
To prove the reverse inclusion, take an arbitrary point \(\xi \in {{\mathbb {R}}}_-^n{\setminus } Q_t\), then there exists \(b\in {{\mathbb {R}}}_+^n\), such that
By the homogeneity of the both sides, we can assume \(h_{Q_0}(b)\ge -c_0\) and \(h_{Q_1}(b)\ge -c_1\). Then, by (9) and (10), we have:
so \(\xi \not \in Q_t^c\). \(\square \)
Now, the corresponding assertions of Theorem 1 can be stated as follows.
Theorem 3
For non-pluripolar complete logarithmically convex compact Reinhardt sets \(K_0,K_1\subset {{\mathbb {D}}}^n\), the inequality
holds true for any \(c_0,c_1>0\) and \(c_t=(1-t)\,c_0+t\,c_1\).
In particular, the function
is concave and consequently the function
is convex.
As we saw in the example in the previous section, sometimes one can have \(u_t=\omega _{K_t^c}\) for \(u_j=c_j\,\omega _{K_j}\), in which case (11) becomes an equality. Our next result determines when this is possible for the toric case.
Theorem 4
In the conditions of Theorem 2, the geodesic \(u_\tau ^c\) equals \(c_\tau \,\omega _{K_\tau }\) for some \(\tau \in (0,1)\) if and only if
that is, \(c_0\,{{\text {Log}}\,}K_1 =c_1\,{{\text {Log}}\,}K_0\).
Proof
We will use the toric geodesic representation formula established in [19, Thm. 5.1]:
which is a local counterpart of Guan’s result [9] for compact toric manifolds; here, \({\check{u}}\) is the convex image (8) of the toric plurisubharmonic function u.
Let \(Q_t=\log K_t\), \(0\le t\le 1\). By (9), \(u_\tau ^c=c_\tau \,\omega _{K_\tau }\) means
or, which is the same,
for all \(a\in {{\mathbb {R}}}_+^n\). Therefore, \(h_{Q_0}(a)\le -c_0\) if and only if \(h_{Q_1}(a)\le -c_1\), so \(c_0\,Q_0^\circ = c_1\,Q_1^\circ \) and, since \((c \,Q)^\circ =c^{-1}Q^\circ \), we get \(c_0\,Q_1=c_1\,Q_0\). Here \(Q^\circ \) is the copolar (14) to the set Q, see the beginning of the next section. \(\square \)
4 Covolumes
In the toric case, the Monge–Ampère capacities with respect to the unit polydisk can be represented as volumes of certain sets [2, 19]. Namely, if \(K\Subset {{\mathbb {D}}}^n\) is complete and logarithmically convex, then \(Q:={{\text {Log}}\,}K\subset {{\mathbb {R}}}_-^n\) and
where the convex set \(Q^\circ \subset {{\mathbb {R}}}_+^n\) defined by
is, in the terminology of [19], the copolar to the set Q. In particular:
for the copolar \(Q_t^\circ \) of the set \(Q_t=(1-t)Q_0+t\,Q_1\); we would like to stress that \(Q_t^\circ \ne (1-t)Q_0^\circ +t\,Q_1^\circ \).
Convex complete subsets P of \({{\mathbb {R}}}_+^n\) (i.e., \(P+{{\mathbb {R}}}_+^n\subset P\)) appear in singularity theory and complex analysis (see, for example, [11,12,13, 15,16,17]), their covolumes (the volumes of \({{\mathbb {R}}}_+^n{\setminus } P\)) being used for computation of the multiplicities of mappings, etc. Such a set P generates, by the same formula (14), its copolar \(P^\circ \subset {{\mathbb {R}}}_-^n\), whose exponential image \({{\text {Exp}}\,}P^\circ \) (the closure of all points \((e^{s_1},\ldots ,e^{s_n})\) with \(s\in P^\circ \)) is a complete logarithmically convex subset of \({{\mathbb {D}}}^n\). Since taking the copolar is an involution, the representation (13) translates coherently the inequalities on the capacities to those on the (co)volumes. Namely, \({{\text {Cap}}\,}(Q_j)\) becomes replaced by \({{\text {Covol}}}(P_j)\) with \(P_j=Q_j^\circ \subset {{\mathbb {R}}}_+^n\) for \(j=0,1\), while \({{\text {Cap}}\,}(Q_t)\) has to be replaced with the covolume of the set whose copolar is \(Q_t\), that is, with \(\left( (1-t)\,P_0^\circ +t\,P_1^\circ \right) ^\circ \). The operation of copolar addition
was introduced in [19]. In particular, it was shown there that the copolar sum of any pair of cosimplices in \({{\mathbb {R}}}_+^n\), unlike their Minkowski sum, is still a simplex.
Corollary 1
Let \(P_0,P_1\) be non-empty convex complete subsets of \({{\mathbb {R}}}_+^n\), and let the interpolating sets \(P_t^\oplus \) be defined by
Then the inequality
holds true for any \(c_0,c_1>0\) and \(c_t=(1-t)\,c_0+t\,c_1\).
In particular, the function
is concave and, consequently, the function
is convex.
Note that the convexity of \(\rho ^\oplus \) (following from the concavity of \(V^\oplus \)) implies that the function
is convex as well. Since \({\tilde{\rho }}^\oplus \) is a homogeneous function of P, that is,
for all \(c>0\) and \(0<t<1\), its convexity is equivalent to the logarithmic convexity of the covolumes, established in [8] by convex geometry methods:
which is just another form of the Brunn–Minkowski type inequality (4). Therefore, the concavity of the function \(V^\oplus \) is a stronger property than just the logarithmic convexity of the covolumes.
References
Abja, S.: Geometry and topology of the space of plurisubharmonic functions. J. Geom. Anal. 29(1), 510–541 (2019)
Aytuna, A., Rashkovskii, A., Zahariuta, V.: Widths asymptotics for a pair of Reinhardt domains. Ann. Polon. Math. 78, 31–38 (2002)
Bergh, J., Löfström, J.: Interpolation Spaces. An Introduction. Springer, Berlin (1976)
Berman, R.J., Berndtsson, B.: Moser–Trudinger type inequalities for complex Monge–Ampère operators and Aubin’s “hypothèse fondamentale”. arXiv:1109.1263
Calderón, A.-P.: Intermediate spaces and interpolation, the complex method. Studia Math. 24, 113–190 (1964)
Cordero-Erausquin, D.: Santaló’s inequality on \({\mathbb{C}}^n\) by complex interpolation. C. R. Acad. Sci. Paris Ser. I 334, 767–772 (2002)
Cordero-Erausquin, D., Klartag, B.: Interpolations, convexity and geometric inequalities. In: Geometric Aspects of Functional Analysis, Lecture Notes in Math., vol. 2050, pp. 151–168. Springer, Berlin (2012)
Cordero-Erausquin, D., Rashkovskii, A.: Plurisubharmonic geodesics and interpolating sets. Arch. Math. (Basel) 113(1), 63–72 (2019)
Guan, D.: On modified Mabuchi functional and Mabuchi moduli space of Kähler metrics on toric bundles. Math. Res. Lett. 6(5–6), 547–555 (1999)
Guedj, V. (ed.): Complex Monge–Ampère Equations and Geodesics in the Space of Kähler Metrics. Lecture Notes in Math., vol. 2038. Springer, Berlin (2012)
Kaveh, K., Khovanskii, A.: Convex bodies and multiplicities of ideals. Proc. Steklov Inst. Math. 286(1), 268–284 (2014)
Khovanski\(\breve{\i }\), A., Timorin, V.: On the theory of coconvex bodies. Discrete Comput. Geom. 52(4), 806–823 (2014)
Kim, D., Rashkovskii, A.: Higher Lelong numbers and convex geometry. To appear in J. Geom. Anal.; arXiv:1803.07948
Klimek, M.: Pluripotential Theory. Oxford University Press, London (1991)
Kouchnirenko, A.G.: Polyèdres de Newton et nombres de Milnor. Invent. Math. 32, 1–31 (1976)
Rashkovskii, A.: Newton numbers and residual measures of plurisubharmonic functions. Ann. Polon. Math. 75(3), 213–231 (2000)
Rashkovskii, A.: Tropical analysis of plurisubharmonic singularities. In: Tropical and Idempotent Mathematics, Contemp. Math., vol. 495, pp. 305–315. Amer. Math. Soc., Providence (2009)
Rashkovskii, A.: Local geodesics for plurisubharmonic functions. Math. Z 287, 73–83 (2017)
Rashkovskii, A.: Copolar convexity. Ann. Polon. Math. 120(1), 83–95 (2017)
Acknowledgements
The author would like to thank the anonymous referee for suggestions that have improved the presentation.
Funding
Open access funding provided by University Of Stavanger.
Author information
Authors and Affiliations
Corresponding author
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
Rashkovskii, A. Interpolation of Weighted Extremal Functions. Arnold Math J. 7, 407–417 (2021). https://doi.org/10.1007/s40598-021-00175-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40598-021-00175-x