Abstract
In this paper we state the weighted Hardy inequality
for any \( \varphi \) in a weighted Sobolev spaces, with \(c\in ]0,c_o[\) where \(c_o=c_o(N,\mu )\) is the optimal constant, \(a_1,\ldots ,a_n\in \mathbb {R}^N\), k is a constant depending on \(\mu \). We show the relation between c and the closeness to the single pole. To this aim we analyze in detail the difficulties to be overcome to get the inequality.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The paper is devoted to multipolar Hardy inequalities with weight in \(\mathbb {R}^N\), \(N\ge 3\), with a class of weight functions wide enough. The main difficulties to get the inequalities in the multipolar case rely on the mutual interaction among the poles.
The interest in weighted Hardy inequalities is due to the applications to the study of Kolmogorov operators
defined on smooth functions, \(\mu >0\) is a probability density on \(\mathbb {R}^N\), perturbed by inverse square potentials of multipolar type and of the related evolution problems
In the case of a single pole and of the Lebesgue measure there is a very huge literature on this topic. For the classical Hardy inequality we refer, for example, to [15, 17,18,19,20,21].
We focus our attention on multipolar Hardy’s inequalities.
When L is the Schrödinger operator with multipolar inverse square potentials we can find some reference result in literature.
In particular, for the operator
\(n\ge 2\), \(c_i\in \mathbb {R}\), for any \(i\in \{1,\ldots , n\}\), Felli et al. [16] proved that the associated quadratic form
is positive if \(\sum _{i=1}^nc_i^+<\frac{(N-2)^2}{4}\), \(c_i^+=\max \{c_i,0\}\), conversely if \(\sum _{i=1}^nc_i^+>\frac{(N-2)^2}{4}\) there exists a configuration of poles such that Q is not positive. Later Bosi et al. [1] proved that for any \(c\in \left( 0,\frac{(N-2)^2}{4}\right] \) there exists a positive constant K such that the multipolar Hardy inequality
holds for any \(\varphi \in H^1(\mathbb {R}^N)\). Cazacu and Zuazua [14], improving a result stated in [1], obtained the inequality
for any \(\varphi \in H^1(\mathbb {R}^N)\) with \(\frac{(N-2)^2}{n^2}\) optimal constant (see also [13] for estimates in bounded domains).
For Ornstein–Uhlenbeck type operators
perturbed by multipolar inverse square potentials
weighted multipolar Hardy inequalities with optimal constant and related existence and nonexistence of solutions to the problem (P) were stated in [10] following Cabré–Martel’s approach in [2], with A a positive definite real Hermitian \(N\times N\) matrix, \(a_i\in \mathbb {R}^N\), \(i\in \{1,\ldots , n\}\). In such a case, the invariant measure for these operators is the Gaussian measure \(\mu _A (x) dx =\kappa e^{-\frac{1}{2}\sum _{i=1}^{n}\left\langle A(x-a_i), x-a_i\right\rangle }dx\), with a normalization constant \(\kappa \). The technique used to get the inequality applies to the Gaussian functions and it allows to get the result in a simple way. More delicate issue is to prove the optimality of the constant.
In [12] these results have been extended to Kolmogorov operators with a more general drift term which force us to use different methods.
The result stated in [14] has been extended to the weighted multipolar case in [6].
In this paper we improve a result in [12]. In particular we state that it holds
for any \( \varphi \in H^1_\mu \), with \(c\in ]0,c_o[\) where \(c_o=c_o(N,\mu )\) is the optimal constant, showing the relation between c and the closeness to the single pole and improving the constant k in the estimate. The proof initially uses the vector field method (see [22]) extended to the weighted case. Then we overcome the difficulties related to the mutual interaction between the poles emphasizing this relation.
The class of weight functions satisfy conditions of quite general type, in particular integrability conditions to get a density result which allows us to state inequality (2) for any function in the weighted Sobolev space. Weights of this type were considered in [3,4,5, 11] in the case of a single pole.
Until now, we can achieve the optimal constant on the left-hand side in (2) using the IMS truncation method [23, 24] (see [1] in the case of Lebesgue measure and [12] in the weighted case). As a counterpart, the estimate is not very good when the constant c is close to the constant \(\frac{c_o(N,\mu )}{n}\) as observed in [1] in the unweighted case.
The paper is organized as follows. In Sect. 2 we consider the weight functions with an example. In Sect. 3 we show a preliminar result introducing suitable estimates useful to state the main result in Sect. 4.
2 Weight functions
Let \(\mu \ge 0\) be a weight function on \(\mathbb {R}^N\). We define the weighted Sobolev space \(H^1_\mu =H^1(\mathbb {R}^N, \mu (x)dx)\) as the space of functions in \(L^2_\mu :=L^2(\mathbb {R}^N, \mu (x)dx)\) whose weak derivatives belong to \(L_\mu ^2\).
In the proof of weighted estimates we make us of vector field method introduced in [22] in the case of a single pole and extended to the multipolar case in [12]. To this aim we define the vector value function
The class of weight functions \(\mu \) that we consider fulfills the conditions:
- \(H_1)\):
-
- i):
-
\(\quad \sqrt{\mu }\in H^1_{loc}(\mathbb {R}^N)\);
- ii):
-
\(\quad \mu ^{-1}\in L_{loc}^1(\mathbb {R}^N)\);
- \(H_2)\):
-
there exists constants \(C_\mu , K_\mu \in \mathbb {R}\), \(K_\mu >2-N\), such that it holds
$$\begin{aligned} -\beta \sum _{i=1}^n\frac{(x-a_i)}{|x-a_i|^2}\cdot \frac{\nabla \mu }{\mu }\le C_\mu + K_\mu \sum _{i=1}^n\frac{\beta }{|x-a_i|^2}. \end{aligned}$$
Under the hypotheses i) and ii) in \(H_1)\) the space \(C_c^{\infty }(\mathbb {R}^N)\) is dense in \(H_{\mu }^1\) (see e.g. [25]). So we can regard \(H_{\mu }^1\) as the completion of \(C_c^{\infty }(\mathbb {R}^N)\) with respect to the Sobolev norm
The density result allows us to get the weighted inequalities for any function in \(H^1_\mu \). As a consequence of the assumptions on \(\mu \), we get \(F_j\), \(\frac{\partial F_j}{\partial x_j}\in L_{loc}^1(\mathbb {R}^N)\), where \(F_j(x)=\beta \sum _{i=1}^{n}\frac{(x-a_i)_j}{|x-a_i|^2}\mu (x)\). This allows us to integrate by parts in the proof of the Teorem 2 in Sect. 3.
An example of weight function satisfying \(H_2)\) is
Let us see it in detail without worrying about the best estimates. We get
So, taking in mind the left-hand-side in \(H_2)\),
We estimate the scalar product. In \(B(a_k, r_0)\), for any \(k\in \{1, \ldots n\}\), we get
So
Since
\(J_3\) and \(J_4\) can be estimated as follows.
and
Then for \(C_\mu \) large enough and \(K_{\mu ,r_0}= \delta \sum _{j\ne k} (r_0^2+2r_0|a_k-a_j|)\) in \(B(a_k, r_0)\) the condition \(H_2)\) holds. For \(x\in \mathbb {R}^N\setminus \bigcup _{k=1}^n B(a_k, r_0)\) we obtain
In fact, if \(|x|>2\max _i |a_i|\),
for any i, so for |x| large enough we get \(|x-a_i|\sim |x|\). Instead if \(|x|\le R=2\max _i |a_i|\),
for any i.
For other examples see [12].
3 A preliminary estimate
The next result was stated in [12] (see also [6]). We give a riformulated version that is functional to our purposes. The estimate represents a preliminary weighted Hardy inequality.
Theorem 1
Let \(N\ge 3\) and \(n\ge 2\). Under hypotheses \(H_1)\) and \(H_2)\) we get
for any \( \varphi \in H_\mu ^1\). As a consequence the following inequality holds
where \(c_{N,n,\mu }=\frac{(N+K_\mu -2)^2}{4n}\) is the maximum value of the first constant on left-hand side in (4) attained for \(\beta =\frac{N+K_\mu -2}{2 n}\).
The proof of the Theorem 1 in [12] is based on the vector field method extended to the multipolar case. In [1] an estimate similar to (5) was obtained in a different way when \(\mu =1\).
We observe that inequality (5) is an improved inequality with respect to the first example of multipolar inequality with weight
which the natural generalization of the weighted Hardy inequality (see [11])
Now we focus our attention on the second term on the left-hand side in (4). For simplicity we put
In \(B(a_i, r_0)\), taking into account that
we have the following estimates for W from above and from below
and
When x tends to \(a_i\) we get
and, then, taking in mind the inequality (4), we have the asymptotic behaviour
The maximum value of the constant on the right-hand side in (10) is the best constant in the weighted Hardy inequality with a single pole (see (6)).
4 Weighted multipolar Hardy inequality
The behaviour of the function W in (9) when x tends to the pole \(a_i\) leads us to study the relation between the constant on the left-hand side in weighted Hardy inequalities and the closeness to the single pole. The next result emphasizes this relation and improves a similar inequality stated in [12] in a different way.
Theorem 2
Assume that the conditions \(H_1)\) and \(H_2)\) hold. Then for any \( \varphi \in H^1_\mu \) we get
with \(c\in \left]0,c_o(N+K_\mu )\right[\), where \(c_o(N+K_\mu )=\left( \frac{N+K_\mu -2}{2}\right) ^2\) optimal constant, and \(k=k(n, d, \mu )\), \(d:=\min _{\begin{array}{c} 1\le i,j\le n\\ i\ne j \end{array}} |a_i-a_j|/2\).
Proof
By density, it is enough to prove (11) for any \(\varphi \in C_{c}^{\infty }(\mathbb {R}^N)\).
The optimality of the constant \(c_o(N+K_\mu )\) was stated in [12]. We will prove the inequality (11).
We start from the integral
and integrate by parts getting, through Hölder’s and Young’s inequalities, the first following inequality
So from (12), using the estimate (13), we get
Let \(\varepsilon >0\) small enough and \(\delta >0\) such that \(\varepsilon +\delta <\frac{d}{2}\). The next step is to estimate the integral of the mixed term that comes out the square of the sum in (14) by writing
Subsequently we will rewrite the mixed term in the following way.
To estimate the integral \(I_1\) in (15) we use the estimate (8) in Sect. 3 for W in a ball centered in \(a_k\) and the identity (16). We obtain
To complete the estimate of \(I_1\) we observe that in \(B(a_k,\varepsilon )\), for \(i\ne k\), it occurs
so we get
Then
where
For the second integral \(I_2\) we observe that in \(B(a_k,\varepsilon +\delta )\setminus B(a_k,\varepsilon )\), for \(j\ne k\), \(|x-a_k|>\varepsilon \) and
Therefore
The remaining integral \(I_3\) can be can be estimated as follows.
Starting from (15) and using the estimates obtained for \(I_1\), \(I_2\) and \(I_3\), we get for \(\varepsilon \) small enough,
where
Going back to (14), by (17) and by the hypothesis \(H_2)\), we deduce that
The maximum of the function \(\beta \mapsto c=(N+K_\mu -2)\beta -\beta ^2 \left[ 1+(n-1)c_\varepsilon \right] \), fixed \(\varepsilon \), is \(c_{max}(N+K_\mu )=\frac{(N+K_\mu -2)^2}{4[1+(n-1)c_\varepsilon ]}\) attained in \(\beta _{max}=\frac{N+K_\mu -2}{2[1+(n-1)c_\varepsilon ]}\). \(\square \)
We conclude with some remarks. If \(\varepsilon \) tends to zero, and then if we get close enough to the single pole, the constant \(c=\frac{(N+K_\mu -2)^2}{4[1+(n-1)c_\varepsilon ]}\) tends to the optimal constant \(c_o(N+K_\mu )\). The constant \(k= c_4+C_\mu \), \(c_4\) with \(\beta =\beta _{\textrm{max}}\), is better than the analogous constant in [12].
In the case of Gaussian measure the constant \(K_\mu \) tends to zero as the radius \(\varepsilon \) of the sphere centered in a single pole tends to zero (cf. example in Sect. 2).
Finally, we observed that as a consequence of Theorem 2, we deduce the estimate
with \(V=\sum _{i=1}^n \frac{1}{|x-a_i|^2}\) and c a constant independent of V and \(\varphi \).
For \(L^p\) estimates and embedding results of this type with some applications to elliptic equations see, for example, [7,8,9].
References
Bosi, R., Dolbeault, J., Esteban, M.J.: Estimates for the optimal constants in multipolar Hardy inequalities for Schrödinger and Dirac operators. Commun. Pure Appl. Anal. 7, 533–562 (2008). https://doi.org/10.3934/cpaa.2008.7.533
Cabré, X., Martel, Y.: Existence versus explosion instantanée pour des eq́uations de la chaleur lineáires avec potentiel singulier. C. R. Acad. Sci. Paris 329(11), 973–978 (1999). https://doi.org/10.1016/S0764-4442(00)88588-2
Canale, A.: A class of weighted Hardy type inequalities in \({\mathbb{R} }^{N}\). Ric. Mat. (2021). https://doi.org/10.1007/s11587-021-00628-7
Canale, A.: Local and non-local improved Hardy inequalities with weights. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 33, 385–398 (2022). https://doi.org/10.4171/RLM/974
Canale, A.: Improved Hardy inequalities with a class of weights. Mathematics 11(4) (2023). https://doi.org/10.3390/math11041005
Canale, A.: Multipolar potentials and weighted Hardy inequalities. to appear, Discrete Contin. Syst. Ser. S. (2022). arXiv:2212.00835
Canale, A.: \({L}^\infty \) estimates for variational solutions of boundary value problems in unbounded domains. J. Interdiscip. Math. 11, 127–139 (2008). https://doi.org/10.1080/09720502.2008.10700547
Canale, A.: Bounds in spaces of Morrey under Chicco type conditions. Math. Inequal. Appl. 12, 265–268 (2009). https://doi.org/10.7153/mia-12-22
Canale, A.: An embedding result. J. Interdiscip. Math. 17, 199–206 (2014). https://doi.org/10.1080/09720502.2014.881142
Canale, A., Pappalardo, F.: Weighted Hardy inequalities and Ornstein–Uhlenbeck type operators perturbed by multipolar inverse square potentials. J. Math. Anal. Appl. 463, 895–909 (2018). https://doi.org/10.1016/j.jmaa.2018.03.059
Canale, A., Pappalardo, F., Tarantino, C.: A class of weighted Hardy inequalities and applications to evolution problems. Ann. Mat. Pura Appl. 199, 1171–1181 (2020). https://doi.org/10.1007/s10231-019-00916-y
Canale, A., Pappalardo, F., Tarantino, C.: Weighted multipolar Hardy inequalities and evolution problems with Kolmogorov operators perturbed by singular potentials. Commun. Pure Appl. Anal. 20, 405–425 (2021). https://doi.org/10.3934/cpaa.2020274
Cazacu, C.: New estimates for the Hardy constants of multipolar Schrödinger operators. Commun. Contemp. Math. 18, 1–28 (2016). https://doi.org/10.1142/S0219199715500935
Cazacu, C., Zuazua, E.: Improved multipolar Hardy inequalities. In: M. Cicognani, F. Colombini, D. Del Santo (eds) Studies in Phase Space Analysis of PDEs, Progress in Nonlinear Differential Equations and Their Applications, vol. 84, pp. 37–52. Birkhäuser, New York (2013). https://doi.org/10.1007/978-1-4614-6348-1_3
Davies, E.B.: A review of Hardy inequalities. Oper. Theory Adv. Appl. 110, 55–67 (1999). https://doi.org/10.1007/978-3-0348-8672-7_5
Felli, V., Marchini, E.M., Terracini, S.: On Schrödinger operators with multipolar inverse-square potentials. J. Funct. Anal. 250, 265–316 (2007). https://doi.org/10.1016/j.jfa.2006.10.019
Hardy, G.H.: Note on a theorem of Hilbert. Math. Z. 6(3–4), 314–317 (1920). https://doi.org/10.1007/BF01199965
Hardy, G.H.: Notes on some points in the integral calculus LX: an inequality between integrals. Messenger Math. 54, 150–156 (1925)
Hardy, G.H., Littlewood, J.E., Pòlya, G.: Inequalities. Cambridge University Press, Cambridge, UK (1988)
Kufner, A., Maligranda, L., Persson, L.: The Hardy Inequality: About Its History and Some Related Results. Vydavatelsý Servis, Plzen (2007)
Kufner, A., Opic, B.: Hardy-type inequalities. In: Pitman Research Notes in Mathematics, vol. 219. Longman, Harlow (1990)
Mitidieri, E.: A simple approach to Hardy inequalities. Math. Notes 67(4), 479–486 (2000). https://doi.org/10.1007/BF02676404
Morgan, J.D.: Schrödinger operators whose potentials have separated singularities. J. Oper. Theory 1, 109–115 (1979)
Simon, B.: Semiclassical analysis of low lying eigenvalues I Nondegenerate minima: asymptotic expansions. Ann. Inst. H. Poincaré Sect. A (N.S.) 38, 295–308 (1983)
Tölle, J.M.: Uniqueness of weighted Sobolev spaces with weakly differentiable weights. J. Funct. Anal. 263, 3195–3223 (2012). https://doi.org/10.1016/j.jfa.2012.08.002
Funding
Open access funding provided by Universitá degli Studi di Salerno within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author is member of the Gruppo Nazionale per l’Analisi Matematica, la Probabilitá e le loro Applicazioni of the Istituto Nazionale di Alta Matematica.
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
Canale, A. Multipolar Hardy inequalities and mutual interaction of the poles. Ricerche mat (2023). https://doi.org/10.1007/s11587-023-00764-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11587-023-00764-2