 Research
 Open Access
 Published:
Some new results on the boundary behaviors of harmonic functions with integral boundary conditions
Boundary Value Problems volume 2016, Article number: 136 (2016)
Abstract
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.
Introduction
Let \(\mathbf{R}^{n} \) (\(n\geq2\)) be the ndimensional Euclidean space. A point in \(\mathbf{R}^{n}\) is denoted by \(V=(X,y)\), where \(X=(x_{1},x_{2},\ldots,x_{n1})\). The boundary and the closure of a set E in \(\mathbf{R}^{n}\) are denoted by ∂E and E̅, respectively.
We introduce a system of spherical coordinates \((l,\Lambda)\), \(\Lambda=(\theta_{1},\theta_{2},\ldots,\theta_{n1})\), in \(\mathbf{R}^{n}\) that are related to Cartesian coordinates \((x_{1},x_{2},\ldots,x_{n1},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}^{n1}\) and \(\mathbf{S}_{+}^{n1}\), respectively. For simplicity, a point \((1,\Lambda)\) on \(\mathbf{S}^{n1}\) and the set \(\{\Lambda; (1,\Lambda)\in\Gamma\}\) for a set \(\Gamma\subset\mathbf{S}^{n1}\) are often identified with Λ and Γ, respectively. For two sets \(\Xi\subset\mathbf{R}_{+}\) and \(\Gamma\subset \mathbf{S}^{n1}\), 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}^{n1}\) by \(T_{n}(\Gamma)\). We call it a cone. In particular, the halfspace \(\mathbf{R}_{+}\times\mathbf{S}_{+}^{n1}\) is denoted by \(T_{n}(\mathbf{S}_{+}^{n1})\). 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
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}=(n2)w_{n}\) for \(n\geq3\), where \(w_{n}\) is the surface area of \(\mathbf{S}^{n1}\).
Let \(\Delta_{n}^{*}\) be the spherical part of the Laplace operator, and Γ be a domain on \(\mathbf{S}^{n1}\) with smooth boundary ∂Γ. Consider the Dirichlet problem (see [1])
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
The estimate we deal with has a long history tracing back to known Matsaev’s estimate of harmonic functions from below in the halfplane (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
and
Then
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 halfspace. 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}_{+}^{n1})\) and continuous on \(\overline{T_{n}(\mathbf{S}_{+}^{n1})}\). If
and
then
where \(V\in T_{n}(\mathbf{S}_{+}^{n1})\), 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
Let K be a constant, and \(h(V) \) (\(V=(R,\Lambda)\)) be harmonic on \(T_{n}(\Gamma)\) and continuous on \(\overline{T_{n}(\Gamma)}\). If
and
then
where \(V\in T_{n}(\Gamma)\), N (≥1) is a sufficiently large number, and M is a constant independent of K, 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 realvalued functions on an interval \([1,+\infty)\) and \(\rho(t)> \aleph^{+}\) for any \(t\in[1,+\infty)\).
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:

(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^{+}} $$(2.1)and
$$ \chi \int_{\mathcal{S}_{n}(\Gamma ;R)}h^{}R^{\aleph^{}1}\psi d S_{R} \leq M\eta(R) (cR)^{\rho(cR)\aleph^{+}}. $$(2.2) 
(II)
For any \(V=(R,\Lambda)\in T_{n}(\Gamma;(0,1])\), we have
$$ h(V)\geq\eta(R). $$(2.3)Then
$$h(V)\geqM\eta(R) \bigl(1+(cR)^{\rho(cR)} \bigr)\psi^{1n}( \Lambda), $$where \(V\in T_{n}(\Gamma)\), N (≥1) is a sufficiently large number, and M is a constant independent of R, \(\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 1 remains valid if (I) in Theorem 1 is replaced by
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.
Proof of Theorem 1
By the Riesz decomposition theorem (see [6]) we have
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
from (3.1), where
and
We have the following estimates:
and
We consider the inequality
where
and
We first have
from (2.1).
We shall estimate \(U_{32}(V)\). Take a sufficiently small positive number d such that
for any \(V=(l,\Lambda)\in\Pi(d)\), where
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 VW\vert \geq{d}'l\) for any \(Q\in \mathcal{S}_{n}(\Gamma)\), and hence
which is similar to the estimate of \(U_{31}(V)\).
We shall consider the case \(V=(l,\Lambda)\in\Pi(d)\). Now put
where
Since \(\mathcal{S}_{n}(\Gamma)\cap\{W\in\mathbf{R}^{n}: \vert VW\vert < \delta (V)\}=\emptyset\), we have
where \(i(V)\) is a positive integer satisfying
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
for \(i=0,1,2,\ldots,i(V)\).
So
From (3.5), (3.6), (3.7), and (3.8) we see that
On the other hand, we have from (2.2) that
We thus obtain from (3.3), (3.4), (3.9), and (3.10) that
Case 2. \(V=(l,\Lambda)\in T_{n}(\Gamma;({4}/{5},{5}/{4}])\) and \(R={5l}/{4}\).
It follows from (3.1) that
where \(U_{1}(V)\) and \(U_{4}(V)\) are defined as in Case 1, and
Similarly to the estimate of \(U_{3}(V)\) in Case 1, we have
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
which also gives (3.11).
Finally, from (3.11) we have
which is the conclusion of Theorem 1.
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
where \(dS_{R}\) denotes the \((n1)\)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
and
from (2.4).
We remark that
We have (2.2) and
from (4.1), (4.2), (4.3), and (4.4).
Hence, (4.5) gives (2.1), which, together with Theorem 1, gives Theorem 2.
References
 1.
Carleman, T: Über die Approximation analytischer Funktionen durch lineare Aggregate von vorgegebenen Potenzen. Ark. Mat. Astron. Fys. 17, 130 (1923)
 2.
Levin, B: Lectures on Entire Functions. Translations of Mathematical Monographs, vol. 150. Am. Math. Soc., Providence (1996)
 3.
Guan, X, Liu, M: Coordination in the decentralized assembly system with dual supply modes. Discrete Dyn. Nat. Soc. 2013, Article ID 381987 (2013)
 4.
Pan, G, Qiao, L, Deng, G: A lower estimate of harmonic functions. Bull. Iran. Math. Soc. 40(1), 17 (2014)
 5.
Pang, S, Ychussie, B: Matsaev type inequalities on smooth cones. J. Inequal. Appl. 2015, Article ID 108 (2015)
 6.
Hayman, W, Kennedy, P: Subharmonic Functions, vol. 1. Academic Press, London (1976)
 7.
Essén, M, Lewis, LJ: The generalized AhlforsHeins theorem in certain ddimensional cones. Math. Scand. 33, 113129 (1973)
 8.
Yoshida, H: A boundedness criterion for subharmonic function. J. Lond. Math. Soc. 24(2), 148160 (1981)
Acknowledgements
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
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.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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
Received
Accepted
Published
DOI
Keywords
 boundary behavior
 harmonic function
 boundary condition