Research Article | Open Access

Yasuo Iida, "Bounded Subsets of Smirnov and Privalov Classes on the Upper Half Plane", *International Journal of Analysis*, vol. 2017, Article ID 9134768, 4 pages, 2017. https://doi.org/10.1155/2017/9134768

# Bounded Subsets of Smirnov and Privalov Classes on the Upper Half Plane

**Academic Editor:**Ahmed Zayed

#### Abstract

Some characterizations of boundedness in and will be described, where denote the Smirnov class and the Privalov class on the upper half plane , respectively.

#### 1. Introduction

Let and denote the unit disk and the unit circle in , respectively. The Privalov class , , is defined as the set of all holomorphic functions on , satisfying where denotes normalized Lebesgue measure on . The notion of was introduced by Privalov [1] and has been explored by several authors (see [2–4]). Letting , we have the Nevanlinna class . It is well-known that each function in has the nontangential limit a.e. and that (and, hence, for ) is subharmonic if is holomorphic. Define a metric for . With the metric becomes an -algebra [2]. Recall that an -algebra is a topological algebra in which the topology arises from a complete metric.

We denote the Smirnov class by , which consists of all holomorphic functions on such that for some , , where the right side denotes the Poisson integral of on . It is known that if , belongs to if and only ifUnder the metric for , the class is also an -algebra (see [5]).

For , the class is defined as the set of all holomorphic functions on such thatwhere is the maximal function. The class was introduced by Kim in [6]. As for , the class was considered in [7, 8]. For , define a metric where . With this metric is also an -algebra (see [9]).

It is well-known that , where denotes the Hardy space on . Moreover, it is known that [6].

Mochizuki [10] introduced the Nevanlinna class and the Smirnov class on the upper half plane : the class is the set of all holomorphic functions on satisfying and the set of all holomorphic functions on satisfying for some , , where the right side denotes the Poisson integral of on . It is well-known that each function in has the nontangential limit (a.e. ). Let . Then if and only if (see [10]). Moreover, under the metricthe class becomes an -algebra [10].

The class is defined as the set of all holomorphic functions on such thatwhere . The class with was introduced by Ganzhula in [11]. As for , Efimov and Subbotin investigated this class [12]. For , define a metric where . With this metric is also an -algebra (see [11, 12]).

In [13], the class was introduced, analogous to ; that is, we denote by the set of all holomorphic functions on such that Each has the nontangential limit for a.e. , and under the metric,the class becomes an -algebra [13].

A subset of a linear topological space is said to be* bounded* if for any neighborhood of zero in there exists a real number , , such that . Yanagihara characterized bounded subsets of [14]. As for with , Kim described some characterizations of boundedness (see [6]). For , these characterizations were considered by Meštrović [15]. As for with , Ganzhula investigated the properties of boundedness [11] and Efimov characterized bounded subsets of in the case [16]. In recent paper [17], the author described bounded subsets of in the case .

In this paper, we consider some characterizations of boundedness in and .

#### 2. The Results

Theorem 1. *Let . is bounded if and only if**(i) there exists a such that for all ;**(ii) for each there exists such thatfor any measurable set with the Lebesgue measure .*

*Proof. *We follow [16, Theorem ].*Necessity.* Let be a bounded subset of .

(i) For any number there exists , , such thatfor all . Utilizing the inequality , it follows that, from (16),for all . Therefore, condition (i) holds.

(ii) For any number , we take as . Choose a number , , such that equality (16) holds for all . Then for any measurable set , using Minkowski’s inequality, we have the estimateIf we take as , thenfor all and any measurable set , . Thus condition (ii) holds.*Sufficiency.* Let conditions (i) and (ii) hold for a subset of , . Consider a neighborhoodTake as . According to (ii), there exists a number such thatfor all and any measurable set , . Next there exists a finite constant such that condition (i) holds for all . Applying Chebyshev’s inequality to the Lebesgue measure of the set for , the following estimate is valid:Then we may assume and in inequality (21); that is, for all . Therefore, for any number and all , we have the following:where , , and . By using the elementary inequality to the second integral in (23), using (21) and takingwe have the following estimateTherefore, and the set is bounded in by definition.

The proof of the theorem is complete.

Next we consider some characterizations of boundedness in . Proof of the following theorem can be obtained by taking in the whole proof of Theorem 1; therefore, this proof may be omitted.

Theorem 2. * is bounded if and only if**(i) there exists such that for all ;**(ii) for each there exists such thatfor any measurable set with the Lebesgue measure .*

#### Conflicts of Interest

The author declares that there are no conflicts of interest regarding the publication of this paper.

#### Acknowledgments

The author is partly supported by the Grant for Assist KAKEN from Kanazawa Medical University (K2017-6).

#### References

- I. I. Privalov,
*Boundary Properties of Analytic Functions*, Moscow University Press, Moscow, Russia, 1941 (Russian). View at: MathSciNet - M. Stoll, “Mean growth and Taylor coefficients of some topological algebras of analytic functions,”
*Annales Polonici Mathematici*, vol. 35, no. 2, pp. 139–158, 1977. View at: Publisher Site | Google Scholar | MathSciNet - C. M. Eoff, “A representation of as a union of weighted Hardy spaces,”
*Complex Variables, Theory and Application*, vol. 23, no. 3-4, pp. 189–199, 1993. View at: Publisher Site | Google Scholar | MathSciNet - Y. Iida and N. Mochizuki, “Isometries of some
*F*-algebras of holomorphic functions,”*Archiv der Mathematik*, vol. 71, no. 4, pp. 297–300, 1998. View at: Publisher Site | Google Scholar | MathSciNet - M. Stoll, “The space of holomorphic functions on bounded symmetric domains,”
*Polska Akademia Nauk. Annales Polonici Mathematici*, vol. 32, no. 1, pp. 95–110, 1976. View at: Publisher Site | Google Scholar | MathSciNet - H. O. Kim, “On an
*F*-algebra of holomorphic functions,”*Canadian Journal of Mathematics*, vol. 40, no. 3, pp. 718–741, 1988. View at: Publisher Site | Google Scholar | MathSciNet - B. R. Choe and H. O. Kim, “On the boundary behavior of functions holomorphic on the ball,”
*Complex Variables, Theory and Application*, vol. 20, no. 1–4, pp. 53–61, 1992. View at: Publisher Site | Google Scholar | MathSciNet - H. O. Kim and Y. Y. Park, “Maximal functions of plurisubharmonic functions,”
*Tsukuba Journal of Mathematics*, vol. 16, no. 1, pp. 11–18, 1992. View at: Publisher Site | Google Scholar | MathSciNet - V. I. Gavrilov and A. V. Subbotin, “-algebras of holomorphic functions in the ball that contain the Nevanlinna class,”
*Mathematica Montisnigri*, vol. 12, pp. 17–31, 2000 (Russian). View at: Google Scholar | MathSciNet - N. Mochizuki, “Nevanlinna and Smirnov classes on the upper half plane,”
*Hokkaido Mathematical Journal*, vol. 20, no. 3, pp. 609–620, 1991. View at: Publisher Site | Google Scholar | MathSciNet - L. M. Ganzhula, “On an -algebra of holomorphic functions in the upper half-plane,”
*Mathematica Montisnigri*, vol. 12, pp. 33–45, 2000 (Russian). View at: Google Scholar | MathSciNet - D. A. Efimov and A. V. Subbotin, “Some -algebras of holomorphic functions in the half-plane,”
*Mathematica Montisnigri*, vol. 16, pp. 69–81, 2003 (Russian). View at: Google Scholar | MathSciNet - Y. Iida, “On an
*F*-algebra of holomorphic functions on the upper half plane,”*Hokkaido Mathematical Journal*, vol. 35, no. 3, pp. 487–495, 2006. View at: Publisher Site | Google Scholar | MathSciNet - N. Yanagihara, “Bounded subsets of some spaces of holomorphic functions,”
*Scientific Papers of the College of Arts and Sciences, The University of Tokyo*, vol. 23, pp. 19–28, 1973. View at: Google Scholar | MathSciNet - R. Meštrović, “On -algebras (1 < < ) of holomorphic functions,”
*The Scientific World Journal*, vol. 2014, Article ID 901726, 10 pages, 2014. View at: Publisher Site | Google Scholar - D. A. Efimov, “-algebras of holomorphic functions in a half-plane defined by maximal functions,”
*Doklady Mathematics*, vol. 76, no. 2, pp. 755–757, 2007. View at: Publisher Site | Google Scholar - Y. Iida, “Bounded subsets of classes of holomorphic functions,”
*Journal of Function Spaces*, vol. 2017, Article ID 7260602, 4 pages, 2017. View at: Publisher Site | Google Scholar | MathSciNet

#### Copyright

Copyright © 2017 Yasuo Iida. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.