Skip to main content

RETRACTED ARTICLE: Some new results on the boundary behaviors of harmonic functions with integral boundary conditions

This article was retracted on 04 February 2020

This article has been updated


In this paper, using a generalized Carleman formula, we prove two new results on the boundary behaviors of harmonic functions with integral boundary conditions in a smooth cone, which generalize some recent results.

1 Introduction

Let \(\mathbf{R}^{n} \) (\(n\geq2\)) be the n-dimensional Euclidean space. A point in \(\mathbf{R}^{n}\) is denoted by \(V=(X,y)\), where \(X=(x_{1},x_{2},\ldots,x_{n-1})\). The boundary and the closure of a set E in \(\mathbf{R}^{n}\) are denoted by ∂E and , respectively.

We introduce a system of spherical coordinates \((l,\Lambda)\), \(\Lambda=(\theta_{1},\theta_{2},\ldots,\theta_{n-1})\), in \(\mathbf{R}^{n}\) that are related to Cartesian coordinates \((x_{1},x_{2},\ldots,x_{n-1},y)\) by \(y=l\cos\theta_{1}\).

The unit sphere and the upper half unit sphere in \(\mathbf{R}^{n}\) are denoted by \(\mathbf{S}^{n-1}\) and \(\mathbf{S}_{+}^{n-1}\), respectively. For simplicity, a point \((1,\Lambda)\) on \(\mathbf{S}^{n-1}\) and the set \(\{\Lambda; (1,\Lambda)\in\Gamma\}\) for a set \(\Gamma\subset\mathbf{S}^{n-1}\) are often identified with Λ and Γ, respectively. For two sets \(\Xi\subset\mathbf{R}_{+}\) and \(\Gamma\subset \mathbf{S}^{n-1}\), the set \(\{(l,\Lambda)\in\mathbf{R}^{n}; l\in\Xi,(1,\Lambda)\in\Gamma\}\) in \(\mathbf{R}^{n}\) is simply denoted by \(\Xi\times\Gamma\).

We denote the set \(\mathbf{R}_{+}\times\Gamma\) in \(\mathbf{R}^{n}\) with the domain Γ on \(\mathbf{S}^{n-1}\) by \(T_{n}(\Gamma)\). We call it a cone. In particular, the half-space \(\mathbf{R}_{+}\times\mathbf{S}_{+}^{n-1}\) is denoted by \(T_{n}(\mathbf{S}_{+}^{n-1})\). The sets \(I\times\Gamma\) and \(I\times\partial{\Gamma}\) with an interval on R are denoted by \(T_{n}(\Gamma;I)\) and \(\mathcal{S}_{n}(\Gamma;I)\), respectively. We denote \(T_{n}(\Gamma)\cap S_{l}\) by \(\mathcal{S}_{n}(\Gamma ; l)\), and we denote \(\mathcal{S}_{n}(\Gamma; (0,+\infty))\) by \(\mathcal{S}_{n}(\Gamma)\).

The ordinary Poisson in \(T_{n}(\Gamma)\) is defined by

$$c_{n}\mathbb{PI}_{\Gamma}(V,W)=\frac{\partial\mathbb{G}_{\Gamma }(V,W)}{\partial n_{W}}, $$

where \({\partial}/{\partial n_{W}}\) denotes the differentiation at W along the inward normal into \(T_{n}(\Gamma)\), and \(\mathbb{G}_{\Gamma }(V,W)\) (\(P, Q\in T_{n}(\Gamma)\)) is the Green function in \(T_{n}(\Gamma)\). Here, \(c_{2}=2\) and \(c_{n}=(n-2)w_{n}\) for \(n\geq3\), where \(w_{n}\) is the surface area of \(\mathbf{S}^{n-1}\).

Let \(\Delta_{n}^{*}\) be the spherical part of the Laplace operator, and Γ be a domain on \(\mathbf{S}^{n-1}\) with smooth boundary Γ. Consider the Dirichlet problem (see [1])

$$\begin{aligned}& \bigl(\Delta_{n}^{*}+\tau \bigr)\psi=0 \quad \mbox{on } \Gamma, \\& \psi=0 \quad \mbox{on } \partial{\Gamma}. \end{aligned}$$

We denote the least positive eigenvalue of this boundary problem by τ and the normalized positive eigenfunction corresponding to τ by \(\psi(\Lambda)\). In the sequel, for brevity, we shall write χ instead of \(\aleph^{+}-\aleph^{-}\), where

$$2\aleph^{\pm}=-n+2\pm\sqrt{(n-2)^{2}+4\tau}. $$

The estimate we deal with has a long history tracing back to known Matsaev’s estimate of harmonic functions from below in the half-plane (see, e.g., Levin [2], p.209).

Theorem A

Let \(A_{1}\)be a constant, and let \(h(z)\) (\(|z|=R\)) be harmonic on \(T_{2}(\mathbf{S}_{+}^{1})\)and continuous on \(\overline{T_{2}(\mathbf{S}_{+}^{1})}\). Suppose that

$$h(z)\leq A_{1}R^{\rho},\quad z\in T_{2} \bigl( \mathbf{S}_{+}^{1} \bigr), R>1, \rho>1, $$


$$\bigl|h(z)\bigr|\leq A_{1}, \quad R\leq1, z\in\overline{T_{2} \bigl( \mathbf{S}_{+}^{1} \bigr)}. $$


$$h(z)\geq-A_{1}A_{2} \bigl(1+R^{\rho}\bigr) \sin^{-1}\alpha, $$

where \(z=Re^{i\alpha}\in T_{2}(\mathbf{S}_{+}^{1})\), and \(A_{2}\)is a constant independent of \(A_{1}\), R, α, and the function \(h(z)\).

In 2014, Xu and Zhou [3] considered Theorem A in the half-space. Pan et al. [4], Theorems 1.2 and 1.4, obtained similar results, slightly different from the following Theorem B.

Theorem B

Let \(A_{3}\)be a constant, and \(h(V)\) (\(\vert V\vert =R\)) be harmonic on \(T_{n}(\mathbf{S}_{+}^{n-1})\)and continuous on \(\overline{T_{n}(\mathbf{S}_{+}^{n-1})}\). If

$$ h(V)\leq A_{3}R^{\rho},\quad P\in T_{n} \bigl( \mathbf {S}_{+}^{n-1} \bigr), R>1, \rho>n-1, $$


$$ \bigl\vert h(V)\bigr\vert \leq A_{3}, \quad R\leq1, P\in \overline{T_{n} \bigl( \mathbf {S}_{+}^{n-1} \bigr)}, $$


$$h(V)\geq-A_{3}A_{4} \bigl(1+R^{\rho} \bigr) \cos^{1-n}\theta_{1}, $$

where \(V\in T_{n}(\mathbf{S}_{+}^{n-1})\), and \(A_{4}\)is a constant independent of \(A_{3}\), R, \(\theta_{1}\), and the function \(h(V)\).

Recently, Pang and Ychussie [5], Theorem 1, further extended Theorems A and B and proved Matsaev’s estimates for harmonic functions in a smooth cone.

Theorem C

LetKbe a constant, and \(h(V) \) (\(V=(R,\Lambda)\)) be harmonic on \(T_{n}(\Gamma)\)and continuous on \(\overline{T_{n}(\Gamma)}\). If

$$ h(V)\leq KR^{\rho(R)}, \quad V=(R,\Lambda)\in T_{n} \bigl(\Gamma;(1,\infty) \bigr),\quad \rho(R)> \aleph^{+}, $$


$$ h(V)\geq-K, \quad R\leq1, \quad V=(R,\Lambda) \in \overline{T_{n}(\Gamma)}, $$


$$h(V)\geq-KM \biggl(1+ \biggl(\frac{N+1}{N}R \biggr)^{\rho(\frac{N+1}{N}R)} \biggr) \psi ^{1-n}(\Lambda), $$

where \(V\in T_{n}(\Gamma)\), N (≥1) is a sufficiently large number, andMis a constant independent ofK, R, \(\psi(\Lambda)\), and the function \(h(V)\).

In this paper, we obtain two new results on the lower bounds of harmonic functions with integral boundary conditions in a smooth cone (Theorems 1 and 2), which further extend Theorems A, B, and C. Our proofs are essentially based on the Riesz decomposition theorem (see [6]) and a modified Carleman formula for harmonic functions in a smooth cone (see [5], Lemma 1).

In order to avoid complexity of our proofs, we assume that \(n\geq3\). However, our results in this paper are also true for \(n=2\). We use the standard notations \(h^{+}=\max\{h,0\}\) and \(h^{-}=-\min\{h,0\}\). All constants appearing further in expressions will be always denoted M because we do not need to specify them. We will always assume that \(\eta(t)\) and \(\rho(t)\) are nondecreasing real-valued functions on an interval \([1,+\infty)\) and \(\rho(t)> \aleph^{+}\) for any \(t\in[1,+\infty)\).

2 Main results

First of all, we shall state the following result, which further extends Theorem C under weak boundary integral conditions.

Theorem 1

Let \(h(V)\) (\(V=(R,\Lambda)\)) be harmonic on \(T_{n}(\Gamma)\)and continuous on \(\overline{T_{n}(\Gamma)}\).

Suppose that the following conditions (I) and (II) are satisfied:

  1. (I)

    For any \(V=(R,\Lambda)\in T_{n}(\Gamma;(1,\infty))\), we have

    $$ \int_{\mathcal{S}_{n}(\Gamma;(1,R))}h^{-}t^{\aleph^{-}}{\partial\psi }/{ \partial n}\,d\sigma_{W} \leq M\eta(R) (cR)^{\rho(cR)-\aleph^{+}} $$


    $$ \chi \int_{\mathcal{S}_{n}(\Gamma ;R)}h^{-}R^{\aleph^{-}-1}\psi d S_{R} \leq M\eta(R) (cR)^{\rho(cR)-\aleph^{+}}. $$
  2. (II)

    For any \(V=(R,\Lambda)\in T_{n}(\Gamma;(0,1])\), we have

    $$ h(V)\geq-\eta(R). $$


    $$h(V)\geq-M\eta(R) \bigl(1+(cR)^{\rho(cR)} \bigr)\psi^{1-n}( \Lambda), $$

    where \(V\in T_{n}(\Gamma)\), N (≥1) is a sufficiently large number, andMis a constant independent ofR, \(\psi(\Lambda)\), and the functions \(\eta(R)\)and \(h(V)\).

Remark 1

From the proof of Theorem 1 it is easy to see that condition (I) in Theorem 1 is weaker than that in Theorem C in the case \(c\equiv(N+1)/{N}\) and \(\eta (R)\equiv K\), where N (≥1) is a sufficiently large number, and K is a constant.

Theorem 2

The conclusion of Theorem  1remains valid if (I) in Theorem  1is replaced by

$$ h(V)\leq\eta(R)R^{\rho(R)}, \quad V=(R,\Lambda)\in T_{n} \bigl(\Gamma;(1,\infty) \bigr). $$

Remark 2

In the case \(c\equiv(N+1)/{N}\) and \(\eta(R)\equiv K\), where N (≥1) is a sufficiently large number and K is a constant, Theorem 2 reduces to Theorem C.

3 Proof of Theorem 1

By the Riesz decomposition theorem (see [6]) we have

$$ -h(V)= \int_{\mathcal{S}_{n}(\Gamma;(0,R))}\mathcal{PI}_{\Gamma }(V,W)-h(W)\,d\sigma_{W}+ \int_{\mathcal{S}_{n}(\Gamma;R)}\frac{\partial \mathbb{G}_{\Gamma,R}(V,W)}{\partial R}-h(W)\,dS_{R}, $$

where \(V=(l,\Lambda)\in T_{n}(\Gamma;(0,R))\).

We next distinguish three cases.

Case 1. \(V=(l,\Lambda)\in T_{n}(\Gamma;({5}/{4},\infty ))\) and \(R={5l}/{4}\).

Since \(-h(V)\leq h^{-}(V)\), we have

$$ -h(V)=\sum_{i=1}^{4} U_{i}(V) $$

from (3.1), where

$$\begin{aligned}& U_{1}(V)= \int_{\mathcal{S}_{n}(\Gamma;(0,1])}\mathcal {PI}_{\Gamma}(V,W)-h(W)\,d\sigma_{W}, \\& U_{2}(V)= \int_{\mathcal{S}_{n}(\Gamma;(1,{4l}/{5}])}\mathcal {PI}_{\Gamma}(V,W)-h(W)\,d\sigma_{W}, \\& U_{3}(V)= \int_{\mathcal{S}_{n}(\Gamma;({4l}/{5},R))}\mathcal {PI}_{\Gamma}(V,W)-h(W)\,d\sigma_{W}, \end{aligned}$$


$$U_{4}(V)= \int_{\mathcal{S}_{n}(\Gamma;R)}\mathcal {PI}_{\Gamma}(V,W)-h(W)\,d\sigma_{W}. $$

We have the following estimates:

$$ U_{1}(V)\leq M\eta(R)\psi(\Lambda) $$


$$ U_{2}(V) \leq M\eta(R) (cR)^{\rho(cR)}\psi(\Lambda) $$

from [7, 8] and (2.1).

We consider the inequality

$$ U_{3}(V)\leq U_{31}(V)+U_{32}(V), $$


$$U_{31}(V)=M \int_{\mathcal{S}_{n}(\Gamma;({4l}/{5},R))}\frac{-h(W) \psi(\Lambda)}{t^{n-1}}\frac{\partial\phi( \Phi)}{\partial n_{\Phi}}\,d\sigma_{W} $$


$$U_{32}(V)=Mr\psi(\Lambda) \int_{\mathcal{S}_{n}(\Gamma;({4l}/{5},R))}\frac{-h(W) l\psi(\Lambda)}{\vert V-W\vert ^{n}} \frac{\partial\phi( \Phi)}{\partial n_{\Phi}}\,d\sigma_{W}. $$

We first have

$$ U_{31}(V) \leq M\eta(R) (cR)^{\rho(cR)}\psi( \Lambda) $$

from (2.1).

We shall estimate \(U_{32}(V)\). Take a sufficiently small positive number d such that

$$\mathcal{S}_{n} \bigl(\Gamma;({4l}/{5},R) \bigr)\subset B(P,{l}/{2}) $$

for any \(V=(l,\Lambda)\in\Pi(d)\), where

$$\Pi(d)= \Bigl\{ V=(l,\Lambda)\in T_{n}(\Gamma); \inf _{(1,z)\in\partial\Gamma}\bigl\vert (1,\Lambda)-(1,z)\bigr\vert < d, 0< r< \infty \Bigr\} , $$

and divide \(T_{n}(\Gamma)\) into two sets \(\Pi(d)\) and \(T_{n}(\Gamma)-\Pi(d)\).

If \(V=(l,\Lambda)\in T_{n}(\Gamma)-\Pi(d)\), then there exists a positive \(d'\) such that \(\vert V-W\vert \geq{d}'l\) for any \(Q\in \mathcal{S}_{n}(\Gamma)\), and hence

$$ U_{32}(V) \leq M\eta(R) (cR)^{\rho(cR)}\psi( \Lambda), $$

which is similar to the estimate of \(U_{31}(V)\).

We shall consider the case \(V=(l,\Lambda)\in\Pi(d)\). Now put

$$H_{i}(V)= \bigl\{ W\in\mathcal{S}_{n} \bigl( \Gamma;({4l}/{5},R) \bigr); 2^{i-1}\delta(V) \leq \vert V-W\vert < 2^{i} \delta(V) \bigr\} , $$


$$\delta(V)=\inf_{Q\in \partial{T_{n}(\Gamma)}}\vert V-W\vert . $$

Since \(\mathcal{S}_{n}(\Gamma)\cap\{W\in\mathbf{R}^{n}: \vert V-W\vert < \delta (V)\}=\emptyset\), we have

$$U_{32}(V)=M\sum_{i=1}^{i(V)} \int_{H_{i}(V)}\frac{-h(W)r\psi(\Lambda)}{\vert V-W\vert ^{n}}\frac {\partial \psi( \Phi)}{\partial n_{\Phi}}\,d\sigma_{W}, $$

where \(i(V)\) is a positive integer satisfying

$$2^{i(V)-1}\delta(V)\leq\frac{r}{2}< 2^{i(V)}\delta(V). $$

Since \(r\psi(\Lambda)\leq M\delta(V)\) (\(V=(l,\Lambda)\in T_{n}(\Gamma)\)), similarly to the estimate of \(U_{31}(V)\), we obtain

$$\int_{H_{i}(V)}\frac{-h(W)r\psi(\Lambda)}{\vert V-W\vert ^{n}}\frac{\partial \psi( \Phi)}{\partial n_{\Phi}}\,d\sigma_{W}\leq M\eta(R) (cR)^{\rho(cR)}\psi^{1-n}(\Lambda) $$

for \(i=0,1,2,\ldots,i(V)\).


$$ U_{32}(V)\leq M\eta(R) (cR)^{\rho(cR)} \psi^{1-n}(\Lambda). $$

From (3.5), (3.6), (3.7), and (3.8) we see that

$$ U_{3}(V)\leq M\eta(R) (cR)^{\rho(cR)} \psi^{1-n}(\Lambda). $$

On the other hand, we have from (2.2) that

$$ U_{4}(V) \leq M\eta(R)R^{\rho(cR)}\psi(\Lambda). $$

We thus obtain from (3.3), (3.4), (3.9), and (3.10) that

$$ -h(V)\leq M\eta(R) \bigl(1+(cR)^{\rho(cR)} \bigr) \psi^{1-n}(\Lambda). $$

Case 2. \(V=(l,\Lambda)\in T_{n}(\Gamma;({4}/{5},{5}/{4}])\) and \(R={5l}/{4}\).

It follows from (3.1) that

$$-h(V)= U_{1}(V)+U_{5}(V)+U_{4}(V), $$

where \(U_{1}(V)\) and \(U_{4}(V)\) are defined as in Case 1, and

$$U_{5}(V)= \int_{\mathcal{S}_{n}(\Gamma;(1,R))}\mathcal {PI}_{\Gamma}(V,W)-h(W)\,d\sigma_{W}. $$

Similarly to the estimate of \(U_{3}(V)\) in Case 1, we have

$$U_{5}(V)\leq M\eta(R) (cR)^{\rho(cR)}\psi^{1-n}( \Lambda), $$

which, together with (3.3) and (3.10), gives (3.11).

Case 3. \(V=(l,\Lambda)\in T_{n}(\Gamma;(0,{4}/{5}])\).

It is evident from (2.3) that

$$-h\leq\eta(R), $$

which also gives (3.11).

Finally, from (3.11) we have

$$h(V)\geq -\eta(R)M \bigl(1+(cR)^{\rho(cR)} \bigr)\psi^{1-n}( \Lambda), $$

which is the conclusion of Theorem 1.

4 Proof of Theorem 2

We first apply a new type of Carleman’s formula for harmonic functions (see [5], Lemma 1) to \(h=h^{+}-h^{-}\) and obtain

$$\begin{aligned} &\chi \int_{\mathcal{S}_{n}(\Gamma;R)}h^{+}R^{\aleph^{-}-1}\psi d S_{R} \\ &\qquad{}+ \int _{\mathcal{S}_{n}(\Gamma;(1,R))}h^{+} \bigl(t^{\aleph^{-}}-t^{\aleph ^{+}}R^{-\chi} \bigr) {\partial\psi}/{\partial n}\,d\sigma_{W}+d_{1}+d_{2}R^{-\chi} \\ &\quad=\chi \int_{\mathcal{S}_{n}(\Gamma;R)}h^{-}R^{\aleph^{-}-1}\psi d S_{R}+ \int_{\mathcal{S}_{n}(\Gamma;(1,R))}h^{-} \bigl(t^{\aleph ^{-}}-t^{\aleph^{+}}R^{-\chi} \bigr) {\partial\psi}/{\partial n}\,d\sigma_{W}, \end{aligned}$$

where \(dS_{R}\) denotes the \((n-1)\)-dimensional volume elements induced by the Euclidean metric on \(S_{R}\), and \({\partial}/{\partial n}\) denotes differentiation along the interior normal.

It is easy to see that

$$ \chi \int_{\mathcal{S}_{n}(\Gamma;R)}h^{+}R^{\aleph^{-}-1}\psi d S_{R} \leq M\eta(R) (cR)^{\rho(cR)-\aleph^{+}} $$


$$ \int_{\mathcal{S}_{n}(\Gamma;(1,R))}h^{+} \bigl(t^{\aleph^{-}}-t^{\aleph ^{+}}R^{-\chi} \bigr){\partial\psi}/{\partial n}\,d\sigma_{W}\leq M\eta(R) (cR)^{\rho (cR)-\aleph^{+}} $$

from (2.4).

We remark that

$$ d_{1}+d_{2}R^{-\chi} \leq M\eta(R) (cR)^{\rho(cR)-\aleph^{+}}. $$

We have (2.2) and

$$ \int_{\mathcal{S}_{n}(\Gamma;(1,R))}h^{-} \bigl(t^{\aleph^{-}}-t^{\aleph^{+}}R^{-\chi} \bigr) {\partial\psi}/{\partial n}\,d\sigma_{W} \leq M\eta(R) (cR)^{\rho(cR)-\aleph^{+}}. $$

from (4.1), (4.2), (4.3), and (4.4).

Hence, (4.5) gives (2.1), which, together with Theorem 1, gives Theorem 2.

Change history


  1. Carleman, T: Über die Approximation analytischer Funktionen durch lineare Aggregate von vorgegebenen Potenzen. Ark. Mat. Astron. Fys. 17, 1-30 (1923)

    MATH  Google Scholar 

  2. Levin, B: Lectures on Entire Functions. Translations of Mathematical Monographs, vol. 150. Am. Math. Soc., Providence (1996)

    Book  Google Scholar 

  3. Guan, X, Liu, M: Coordination in the decentralized assembly system with dual supply modes. Discrete Dyn. Nat. Soc. 2013, Article ID 381987 (2013)

    Article  MathSciNet  Google Scholar 

  4. Pan, G, Qiao, L, Deng, G: A lower estimate of harmonic functions. Bull. Iran. Math. Soc. 40(1), 1-7 (2014)

    MathSciNet  MATH  Google Scholar 

  5. Pang, S, Ychussie, B: Matsaev type inequalities on smooth cones. J. Inequal. Appl. 2015, Article ID 108 (2015)

    Article  MathSciNet  Google Scholar 

  6. Hayman, W, Kennedy, P: Subharmonic Functions, vol. 1. Academic Press, London (1976)

    MATH  Google Scholar 

  7. Essén, M, Lewis, LJ: The generalized Ahlfors-Heins theorem in certain d-dimensional cones. Math. Scand. 33, 113-129 (1973)

    Article  MathSciNet  Google Scholar 

  8. Yoshida, H: A boundedness criterion for subharmonic function. J. Lond. Math. Soc. 24(2), 148-160 (1981)

    Article  MathSciNet  Google Scholar 

Download references


This work was supported by the National Natural Science Foundation of China under Grant no. 61401368. We are grateful to the editor and anonymous reviewers for their valuable comments and corrections that helped improve the original version of this paper.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Costanza T Viouonu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

CV completed the main study. XX responded point by point to each reviewer comments and corrected the final proof. Both authors read and approved the final manuscript.

The Editors-in-Chief have retracted this article because it significantly overlaps with an article by different authors that was simultaneously under consideration at another journal. The article also showed evidence of authorship manipulation. In addition, the identity of the corresponding author could not be verified: Hasselt University have confirmed that Costanza T Viouonu has not been affiliated with their institution. The authors have not responded to any correspondence about this retraction.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Xie, X., Viouonu, C.T. RETRACTED ARTICLE: Some new results on the boundary behaviors of harmonic functions with integral boundary conditions. Bound Value Probl 2016, 136 (2016).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: