arXiv:1806.07215v2 [math.DG] 23 Jun 2018 o-eaieRcicrauesatisfying curvature Ricci non-negative ojcue1.1. Conjecture conjecture. following the formulate harmo to Yau non-constant led any This admit growth. not does curvature Ricci negative rmafie point fixed a from amncfnto a endn yYu[4 n17.Afunction A 1975. s in [14] first Yau The by done manifold. been the has of harmonic structure T geometrical [14]. the [9], on authors many depends by studied been have functions subharmonic 2010 rwhif growth in ovxfnto,mnfl ihapl,srnl ymti manif symmetric strongly pole, a with manifold function, growth convex polynomial tion, function, Subharmonic phrases: and words Key constant elvle function valued real A ∗ orsodn author. Corresponding ahmtc ujc lsicto:5C1 34,5E0 58J05 58E20, 53C43, 53C21, Classification: Subject OYOILGOT FSBAMNCFNTOSI A IN FUNCTIONS SUBHARMONIC OF GROWTH POLYNOMIAL Abstract. oe on fteitgaino ovxfnto nagoei ball. geodesic a in function convex a of integration re the on of function bound subharmonic lower valued real non-negative a to respect ihrsett elfnto n rvdta n non-negative any that an proved in and functions monic function real of growth a polynomial to of respect notion with the introduced have we function generalization a a As of pole. a with manifold Riemannian symmetric strongly > C | f ( x TOGYSMERCREANA MANIFOLD RIEMANNIAN SYMMETRIC STRONGLY uhthat such 0 ) | = nti ril ehv tde oepoete fsbamncfunc subharmonic of properties some studied have we article this In o ahinteger each For x BO L SHAIKH ALI ABSOS o 0 ( r ∈ .Ceg[]poe htacmlt imninmnfl ihnon- with manifold Riemannian complete a that proved [1] Cheng ). M n | f dmninlmnfl lasamtplnma rwho ere1with 1 degree of growth polynomial admit always manifold -dimensional f | n sdntdby denoted is and ssi ohv oyoilgot forder of growth polynomial have to said is ( x ) ≤ Cr q h pc fhroi ucin namanifold a on functions harmonic of space the , 1. q 1 ( ∗ | x f N HNA UA MONDAL KUMAR CHANDAN AND introduction o all for ) ( x ) | = 1 | f O ( x ( x r ∈ ) q | ( x M = )) where , oyoilgot ihrsett func- a to respect with growth polynomial , O , sfiiedimensional. finite is ( old r q .Tegot fhroi and harmonic of growth The ). . lln.W aeas ie a given also have We line. al wc ieetal subhar- differentiable twice r oedge fafunction a of degree some ( x i ucinwt sublinear with function nic f stedsac of distance the is ) gicn okaotthe about work ignificant fplnma growth polynomial of ssi ohv sublinear have to said is egot fafunction a of growth he 2 q ∈ in na in tions R fteei a is there if M x ∈ with M 2 A. A. SHAIKH AND C. K. MONDAL

Li and Tam [9] proved that if the volume function of geodesic balls has polynomial growth of order q > 0, then the space of harmonic functions with polynomial growth of degree 1 is finite dimensional. In this article we have generalized the notion of polynomial growth of a real valued function in a Riemannian manifold. We have defined polynomial growth of a function with respect to a real function ( If a function is from R to R, then we call it a real function) and showed that under suitable conditions all non-negative twice differentiable subharmonic functions have polynomial growth of degree 1 with respect to a real subharmonic function. We organize this paper as follows: Section 2 deals with some preliminaries of Riemannian manifold. In this section we have introduced the notion of polynomial growth with respect to a function, which is the natural generalization of polynomial growth of a function in a Riemannian manifold. In section 3 we have proved that every non-negative C2 subharmonic function in a strongly symmetric Riemannian manifold with a pole possesses polynomial growth of degree 1 with respect to a non-negative real subharmonic function. In this section we have also given a lower bound for the integration of a in terms of volume, distance function and a real subharmonic function.

2. Preliminaries

In this section we have discussed some basic facts of a Riemannian manifold (M,g), which will be used throughout this paper (for reference see [10]). Throughout this paper by M we mean a complete Riemannian manifold of dimension n endowed with some positive definite metric g unless otherwise stated. The tangent space at the point p M is denoted by T M and the ∈ p tangent bundle is defined by T M = T M. The length l(γ) of the curve γ :[a, b] M is ∪p∈M p → given by

b l(γ) = gγ(t)(γ ˙ (t), γ˙ (t)) dt Za q b = γ˙ (t) dt. Za k k The curve γ is said to be a geodesic if γ˙ (t)=0 t [a, b], where is the Riemannian ∇γ˙ (t) ∀ ∈ ∇ connection of g. For any point p M, the exponential map exp : V M is defined by ∈ p p →

expp(u)= σu(1), POLYNOMIAL GROWTH OF SUBHARMONIC FUNCTIONS 3

where σu is a geodesic with σ(0) = p andσ ˙ u(0) = u and Vp is a collection of vectors of TpM such that for each element u V , the geodesic with initial tangent vector u is defined on [0, 1]. ∈ p It can be easily seen that for a geodesic σ, the norm of a tangent vector is constant, i.e., γ˙ (t) k k is constant. If the tangent vector of a geodesic is of unit norm, then the geodesic is called normal. If the exponential map exp is defined at all points of T M for each p M, then M is p ∈ called complete. Hopf-Rinow theorem provides some equivalent cases for the completeness of M. Let x, y M. The distance between p and q is defined by ∈

d(x, y) = inf l(γ): γ be a curve joining x and y . { }

A geodesic σ joining x and y is called minimal if l(σ)= d(x, y). Hopf-Rinow theorem guarantees the existence of minimal geodesic between two points of M. A smooth vector field is a smooth function X : M T M such that π X = id , where π : T M M is the projection map. → ◦ M → A pole in M is such a point where the tangent space is diffeomorphic to the whole manifold. Gromoll and Meyer [5] introduced the notion of pole in M. A point o M is called a pole of ∈ M if the exponential map at o is a global diffeomorphism and a manifold M with a pole o is denoted by (M,o). If a manifold possesses a pole then the manifold is complete. Simply con- nected complete Riemannian manifold with non-positive sectional curvature and a paraboloid of revolution are the examples of Riemannian manifolds with a pole. A manifold with a pole is diffeomorphic to the but the converse is not always true, see [6]. The gradient of a smooth function f : M R at the point p M is defined by f(p) = → ∈ ∇ ij ∂f ∂ g p . It is the unique vector field such that g( f,X) = X(f) for all smooth vector ∂xj ∂xi | ∇ field X in M. The Hessian Hess(f) is the (0, 2)-tensor field, defined by Hess(f)(X,Y ) = g( f,Y ) for all smooth vector fields X,Y of M. For a vector field X, the divergence of X ∇X ∇ is defined by 1 ∂ div(X)= √gXj, √g ∂xj where g = det(g ) and X = Xj ∂ . The Laplacian of f is defined by ∆f = div( f). ij ∂xj ∇

Definition 2.1. [14] A C2-function u : M R is said to be harmonic if ∆u = 0. The function → u is called subharmonic (superharmonic) if ∆ ( )0. ≥ ≤ 4 A. A. SHAIKH AND C. K. MONDAL

Definition 2.2. [13][11] A real valued function f on M is called convex if for every geodesic γ :[a, b] M, the following inequality holds →

f γ((1 t)a + tb) (1 t)f γ(a)+ tf γ(b) t [0, 1], ◦ − ≤ − ◦ ◦ ∀ ∈

or if f is differentiable, then

g( f,X) f(exp f) f(x), X T M. ∇ x ≤ x∇ − ∀ ∈ x

If the function f is C2, then the convexity of f is equivalent to Hess(f) 0. Zhang and Xu ≥ [15] introduced the notion of strongly symmetric manifold. And they studied some properties of subharmonic function in strongly symmetric manifold with a pole. Some discussion about strongly symmetric manifold can also be found in [3], where they use the term “model” instead of “ strongly symmetric manifold”.

Definition 2.3. [15] A manifold (M,o) with a pole o is strongly symmetric around o if and only if every linear isometry φ : T M T M can be realized as the differential of an isometry o o → o φ : M M, i.e., φ(o)= o and dφ(o)= φ . → o

Definition 2.4. A function u : M R is said to have polynomial growth of degree q R with → ∈ respect to v, where v is a real function, if f(x) = O(rqv(r)), where r(x) is the distance of x | | from a fixed point in M.

We say that a function has (v,p)-polynomial growth if it has polynomial growth of degree p with respect to v. If v 1, then we get the definition of polynomial growth. Then using this ≡ generalized notion of polynomial growth, we can generalized the Conjecture 1.1 and ask the following:

Conjecture 2.1. For a fixed integer p and real function v, the space of harmonic functions with (v,p)-polynomial growth on a Riemannian manifold having non-negative Ricci curvature is finite dimensional? POLYNOMIAL GROWTH OF SUBHARMONIC FUNCTIONS 5

3. polynomial growth and subharmonic functions

Theorem 1. [8] Let M be an n-dimensional complete manifold with non-negative Ricci curva- ture. Then any non-negative subharmonic function u : M R satisfies → C (1) sup u u, Z Br/2 ≤ V ol(Br) Br where the constant C depends only on n.

Theorem 2. Let (M,o) be an n-dimensional manifold with a pole o and Ric 0. If M is M ≥ strongly symmetric around o, then for every non-negative subharmonic function u C2(M), ∈ there exists a non-negative subharmonic function v on R such that.

(2) sup u rCv(r) for every r> 0, Br/2 ≤ where C is the constant, depends only on n. In particular, u(x) = O(rω(r)), for some non- negative subharmonic function ω in R.

Proof. Since M is diffeomorphic to the euclidean space so by taking the polar coordinates of Rn as (r, θ1, , θn−1), the metric of M can be expressed in polar from, i.e., ···

2 2 i j 2 2 2 (3) ds = dr + gijdθ dθ = dr + h(r) dΘ Xi,j on M o , where g = g( ∂ , ∂ ) and dΘ2 is the canonical metric on the unit sphere of −{ } ij ∂θi ∂θj ToM. Since M is strongly symmetric around o so h depends only on r. Hence r(x) denotes the geodesic distance from o to x for any x M. The Riemannian volume element of S can ∈ r 1 n−1 be expressed as dSr = D(r, Θ)dθ dθ , where D = det(gij). Since u is subharmonic so p ··· from (1), we get C sup u udV. Z Br/2 ≤ V ol(Br) Br Since for r > 0, V ol(∂B ) V ol(B ), which implies that 1 r 1 dt, for some r r V ol(Br) ǫ V ol(∂Bt) ≤ ≤ R arbitrary small ǫ> 0 and hence we get C r sup u udStdt Br/2 ≤ V ol(Br) Z0 Z∂Bt r 1 lim inf C udStdt ǫ→0 ≤ Zǫ V ol(∂Bt) Z∂Bt 6 A. A. SHAIKH AND C. K. MONDAL

Now for r > 0 define

1 (4) v(r)= udS . Z r V ol(∂Br) ∂Br

Then we get

r (5) sup u C lim inf v(t)dt. ǫ→0 Br/2 ≤ Z0

Using the coordinate system (3), the equation (4) can be represented as

1 v(r)= u(rξ)dS1, for ξ ∂B1. V ol(∂B1) Z∂B1 ∈

Now taking derivative with respect to r we get

′ 1 1 v (r)= ∂ru(rξ)dS1 = ∂rudSr. V ol(∂B1) Z∂B1 V ol(∂Br) Z∂Br

Hence by using divergence theorem, we obtain

′ (6) v (r)V ol(∂Br)= ∂rudSr = ∆udV, Z∂Br ZBr where dV is the volume element of M. Now it can be easily seen that v is radially symmetric function. Hence

(7) ∆v = v′′ + (∆r)v′.

Again we have the following equation

r ∆udV = ∆udS dt. Z Z Z t Br 0 ∂Bt

′ Also in [15] it is proved that ∆r = V ol (∂Br ) , hence using this relation and (4) and (7) we get V ol(∂Br )

d d ′ ∆udSr = ∆udV = [v (r)V ol(∂Br)] Z∂Br dr ZBr dr ′ ′′ V ol (∂Br) ′ = V ol(∂Br) v (r)+ v (r) h V ol(∂Br) i ′′ ′ = V ol(∂Br) v (r)+(∆r)v (r) h i

= V ol(∂Br)∆v(r). POLYNOMIAL GROWTH OF SUBHARMONIC FUNCTIONS 7

Thus we obtain 1 (8) ∆v(r)= ∆udS . Z r V ol(∂Br) ∂Br Since M is strongly symmetric, hence [15, Lemma 3.1] lim r∆r = n 1. Then for r = 0, we r→0 − have v′(0) = 0, v′′(0) = 1 ∆u(0), lim ∆v(r) = ∆u(0). Then v C2(R) [15]. Now ∆u 0, n r→0 ∈ ≥ hence for any r 0, the above inequality implies that ∆v 0, i.e., v is subharmonic. Then ≥ ≥ (5) implies that

r (9) sup u C v(t) (since v is continuous at 0) Br/2 ≤ Z0 (10) rC sup v for any r > 0. ≤ [0,r]

Now v is subharmonic in [0, R], so using maximum principle sup[0,R] v = v(R), since v is non- decreasing [15]. Hence we get

sup u rCv(r) for any r> 0. Br/2 ≤ The second part is proved trivially from the first part and by taking ω(r)= v(2r). 

Corollary 2.1. Let u C2(R2) be a subharmonic function. Then u(x)= O(rω(r)), for some ∈ non-negative subharmonic function ω in R.

Proof. Since there is no non-constant negative subharmonic function in R2, so the proof easily follows from the above Theorem. 

Theorem 3. [4] Let M be a complete noncompact Riemannian manifold of positive sectional curvature. If u is a continuous nonnegative subharmonic function on M, then for any p > 1

there exist positive constants C and r0 such that

(11) updV C(r r ) for all r r . Z 0 0 Br ≥ − ≥ Theorem 4. Let (M,o) be an n-dimensional manifold with a pole o and of positive sectional curvature. Then for every non-negative convex function u on M, there exist constants C > 0

and r1 > 0 such that 2C u(o) sup u. ≥ vol(∂Br1 ) − ∂Br1 8 A. A. SHAIKH AND C. K. MONDAL

Proof. Since u is convex, so u is also subharmonic [2]. Hence from (11) we get

1 p C(r r0) u dV u(σx(t))dtdSr for all r r0, − ≤ ZBr ≤ Z∂Br Z0 ≥ where σ : [0, 1] M is the minimal geodesic such that σ (0) = o and σ (1) = x. Now using x → x x convexity of u and for r>r0, we obtain 1 C(r r0) u(σx(t))dtdSr − ≤ Z∂Br Z0 1 [(1 t)u(o)+ tu(x)]dtdSr ≤ Z∂Br Z0 − 1 [u(o)+ u(x)]dSr ≤ 2 Z∂Br 2C(r r ) − 0 u(o) + sup u. vol(∂Br) ≤ ∂Br

Now taking r = R0 +1, we get 2C u(o) sup u. ≥ vol(∂Br0+1) − ∂Br0+1 

Let u be a non-negative subharmonic function. Then in B2R we have [12, p. 78] C C u 2dV u2dV V ol(B ) sup u2. Z 2 Z 2r 2 Br |∇ | ≤ r B2r ≤ r B2r Since u is subharmonic so u2 is also subharmonic. Hence by applying the Theorem 2, we obtain

2 C C u dV V ol(B2r) 2 rv(4r)= V ol(B2r) v(4r), ZBr |∇ | ≤ r r for some non-negative subharmonic function v in [0, 4r]. Hence r (12) u 2dV Cv(4r). V ol(B2r) ZBr |∇ | ≤ Now taking limit, we get r lim sup u 2dV C lim sup v(4r). r→∞ V ol(B2r) ZBr |∇ | ≤ r→∞ Since Ric 0, so by Bishop volume comparison Theorem [12, p. 11], V ol(B ) C rn. So M ≥ r ≤ n from the above inequality we get

1 2 lim sup n−1 u dV C1 lim sup v(4r), r→∞ r ZBr |∇ | ≤ R→∞ POLYNOMIAL GROWTH OF SUBHARMONIC FUNCTIONS 9

for some constant C1, depends only on n. Hence we sate the following Proposition:

Proposition 5. Under the assumption of Theorem 2, there exists a non-negative subharmonic function v in R such that, for all r> 0 1 (13) lim sup u 2dV C lim sup v(4r). n−1 Z 1 r→∞ r Br |∇ | ≤ r→∞ Theorem 6. Let (M,o) be an n-dimensional manifold with a pole o and Ric 0. If M M ≥ is strongly symmetric around o, then for every convex function u C2(M) with u 1 and ∈ ≥ u 1, there exists a positive subharmonic function v in R such that, for all r> 0 |∇ | ≥ 2 (V ol(Br)) u(expx u)dV C6(n) n+1 3 , ZBr ∇ ≥ r v (4r) where C6 > 0 is a constant, depends only on n.

Proof. The convexity of u and (1) imply that C sup u udV, for all r> 0. Z ∂Br/2 ≤ V ol(Br) Br Now applying Schwarz’s Inequality, we obtain

2 1/2 1/2 C u 2 (14) sup u 2 dV u dV . ∂Br/2 ≤ V ol(Br) ZB u   ZB |∇ |  r |∇ | r Now from (12) V ol(B ) u 2 C 2r v(4r), r> 0, Z 1 Br |∇ | ≤ r ∀ where v is a positive subharmonic function in R and C1 > 0 is a constant depends only on n. Hence putting this value in (14), we get

2 1/2 1/2 C3 u V ol(B2r) sup u 2 dV v(4r) , ∂Br/2 ≤ V ol(Br) ZB u   r  r |∇ | for some constant C > 0, depends only on n. Now by Bishop volume comparison V ol(B ) 3 2r ≤ n n Cn2 r , we get

2 1/2 C3 u n n−1 1/2 sup u 2 dV (Cn2 r v(4r)) , ∂Br/2 ≤ V ol(Br) ZB u  r |∇ | i.e., 2 2 C4(n) u n−1 ( sup u) 2 2 dV r v(4r), ∂Br/2 ≤ (V ol(Br))  ZB u  r |∇ | 10 A. A. SHAIKH AND C. K. MONDAL

for some constant C > 0. From (2), we get rCv(2r) sup u u(x) x B , i.e., 4 ≥ Br ≥ ∀ ∈ r r2C2v2(2r) u2(x) x B . Hence sup u2 r2C2v2(2r). Now rewriting the above in- ≥ ∀ ∈ r Br ≤ equality we have

2 C4(n) u n−1 1 2 2 dV r v(4r) ≤ (V ol(Br))  ZB u  r |∇ | C4(n) 2 1 n−1 2 sup u 2 dV r v(4r) ≤ (V ol(Br))  Br ZB u  r |∇ | 2 2 2 C4(n) 1 n−1 r C v (2r) 2 2 dV r v(4r). ≤ (V ol(Br))  ZBr u  |∇ | Since v is non-decreasing so v(2r) v(4r) for r> 0. Hence the above inequality implies that ≤

C5(n) 1 n+1 3 2 2 dV r v (4r) 1, (V ol(Br))  ZBr u  ≥ |∇ | i.e.,

1 (V ol(B ))2 (15) dV r Z u 2 ≥ C (n)rn+1v3(4r) Br |∇ | 5 2 1 for some constant C > 0. Again u > 1, so u 2 . Hence (15) implies that 5 |∇ | |∇ | ≥ |∇u| (V ol(B ))2 (16) u 2dV r . Z n+1 3 Br |∇ | ≥ C5(n)r v (4r)

Now u is convex and u> 0, so we get

u 2 u(exp u) u(x) u(exp u) x B . |∇ |x ≤ x∇ − ≤ x∇ ∀ ∈ r

Hence by taking C6 =1/C5, (16) implies

(V ol(B ))2 u(exp u)dV C (n) r . Z x 6 n+1 3 Br ∇ ≥ r v (4r)

And the positivity of v can easily be seen by using (4) and u> 0. 

Acknowledgment

The second author greatly acknowledges to The University Grants Commission, Government of India for the award of Junior Research Fellowship. POLYNOMIAL GROWTH OF SUBHARMONIC FUNCTIONS 11

References

[1] Cheng, S. Y., Liouville theorem for harmonic maps, Proc. Symp. Pure Math., 36 (1980), 147–151. [2] Greene, R. E. and Wu. H., On the subharmonicity and plurisubharmonicity of a geodesic convex function, Indiana Univ. Math. J., 22 (1971), 641–653. [3] Greene, R. E. and Wu. H., Function theory on manifolds which possess a pole, Lecture Notes in Math. 699, Berlin, Springer, 1979. [4] Greene, R. E. and Wu. H., Integrals of subharmonic functions on manifolds of nonnegative curvature, Invent. Math., 27 (1974), 265–298. [5] Gromoll, D. and Meyer, W., On complete open manifolds of positive curvature, Ann. Math., 90(1) (1969), 75–90. [6] Itoh, M., Some geometrical aspects of Riemannian manifolds with a pole, Tsukuba J. Math., 4(2) (1980), 291–301. [7] Karp, L., Subharmonic functions on real and complex manifolds, Math. Z., 179(4) (1982), 535–554. [8] Li, P. and Schoen, R., Lp and mean value properties of subharmonic functions on Riemannian manifolds, Acta Math., 153 (1984), 279–301.. [9] Li, P. and Tam, L. F., Linear growth harmonic functions on a complete manifold, J. Diff. Geom., 89 (1989), 421–425. [10] Petersen, P., Riemannian geometry, Springer-Verlag, New York, 2006. [11] Rapcsak, T., Smooth nonlinear optimization in Rn, Kluwer Academic Publisher, 1997. [12] Schoen, R. and Yau, S.T., Lectures on differential geometry. Conference Proceedings and Lecture Notes in Geometry and Topology, I. International Press, Cambridge, MA, 1994. [13] Udri¸ste, C., Convex Functions and Optimization Methods on Riemannian Manifolds, Kluwer Academic Publisher, 1994. [14] Yau, S. T., Harmonic functions on complete riemannian manifolds, Commu. Pure Appl. Math., 28 (1975), 201–228. [15] Zhang, Z. and Xu, Z., Some properties of subharmonic functions on complete Riemannian manifolds and their geometric applications, J. Math. Kyoto Univ., 41(1) (2004), 173–180.

1,2Department of Mathematics, The University of Burdwan, Golapbag, Burdwan-713104, West Bengal, India. 1E-mail:[email protected], [email protected] 12 A. A. SHAIKH AND C. K. MONDAL

2E-mail:[email protected]