By using the concept of the weak subordination, we examine the stability (a class of analytic functions in the unit disk is said to be stable if it is closed under weak subordination) for a class of admissible functions in complex Banach spaces. The stability of analytic functions in the following classes is discussed: Bloch class, little Bloch class, hyperbolic little Bloch class, extend Bloch class (Q_p), and Hilbert Hardy class (H²).

1. Introduction

We denote by U the unit disk {z ∈ ℂ:|z | < 1} and by ℋ(U) the space of all analytic functions in U. A function I, analytic in U, is said to be an inner function if and only if |I(z)| ≤ 1 such that |I(e^iθ)| = 1 almost everywhere. We recall that an inner function I can be factored in the form I = BS where B is a Blaschke product and S is a singular inner function takes the form

(1.1)

where μ is a finite positive Lebesgue measure.

Let X and Y represent complex Banach spaces. The class of admissible functions 𝒢(X, Y), consists of those functions f : X → Y that satisfy

(1.2)

If f and g are analytic functions with f, g ∈ 𝒢(X, Y), then f is said to be weakly subordinate to g, written as f≺^wg if there exist analytic functions ϕ, ω : U → X, with ϕ an inner function (∥ϕ∥_X ≤ 1), so that f∘ϕ = g∘ω. A class 𝒞 of analytic functions in X is said to be stable if it is closed under weak subordination, that is, if f ∈ 𝒞 whenever f and g are analytic functions in X with g ∈ 𝒞 and f≺^wg.

By making use of the above concept of the weak subordination, we examine the stability for a class of admissible functions in complex Banach spaces 𝒢(X, Y). The stability of analytic functions appears in Bloch class, little Bloch class, hyperbolic little Bloch class, extend Bloch class (Q_p), and Hilbert Hardy class (H²).

2. Stability of Bloch Classes

If f is an analytic function in U, then f is said to be a Bloch function if

(2.1)

The space of all Bloch functions is denoted by ℬ. The little Bloch space ℬ₀ consists of those f ∈ ℬ such that

(2.2)

The hyperbolic Bloch class ℬ^h is defined by using the hyperbolic derivative in place of the ordinary derivative in the definition of the Bloch space, where the hyperbolic derivative of an analytic self-map φ : U → U of the unit disk is given by |φ′ | /(1−|φ|²). That is, φ ∈ ℬ^h if it is analytic and

(2.3)

Similarly, we say

, the hyperbolic little Bloch class, if φ ∈ ℬ^h and

(2.4)

Note that, for the function φ : U → X, we replace |·| by ∥·∥_X in the above definitions.

Theorem 2.1. Let X be a complex Banach space. If X contains all inner functions in U, then 𝒢(X, X) is stable.

Proof. Suppose that X contains all inner functions I : U → X. Take g(z) = ϕ(z) = z and ω(z) = I(z) (z ∈ U). Then, ϕ and ω are inner functions and I = I∘ϕ = g∘ω. Hence, I≺^wg, g ∈ X, and I ∈ X. Thus, X is stable.

Theorem 2.2. Let X = ℋ(U) be a space of analytic functions in U which satisfies ℬ ⊂ X. Then, 𝒢(U, X) is stable.

Proof. Suppose that X = ℋ(U) and ℬ ⊂ X. Let f ∈ X, ℰ = {m + ni : m, n ∈ ℤ} and F = {z ∈ U : f(z) ∈ ℰ}. Since F is a countable subset of U, it has capacity zero and therefore the universal covering map I from U onto U∖F is an inner function (see, e.g., Chapter 2 of [1]). Set g = f∘I, then the image of g is contained in ℂ/ℰ. Consequently, see [2], g is a Bloch function. Since ℬ ⊂ X, we have that g = f∘I ∈ X even though f ∈ X. Thus, X is stable.

Theorem 2.3. Let X = ℋ(U) be a space of analytic functions in U and f ∈ 𝒢(X, X). If I : U → X satisfying I(0) = Θ (the zero element in X) and ∥f(I(z))∥_X < 1, then 𝒢(X, X) is stable.

Proof. Assume that X = ℋ(U), f ∈ 𝒢(X, X), and I : U → X with I(0) = Θ. Then (see [3])

(2.5)

hence I is an inner function in X. By putting g : = f∘I, we obtain that g ∈ X even though f ∈ X. Thus, X is stable and consequently yields the stability of 𝒢(X, X).

Next we discuss the stability of the spaces ℬ₀ and . An analytic self-map φ of U induces a linear operator C_φ : ℋ(U) → ℋ(U), defined by C_φf = f∘φ. This operator is called the composition operator induced by φ.

Recall that a linear operator T : X → Y is said to be bounded if the image of a bounded set in X is a bounded subset of Y, while T is compact if it takes bounded sets to sets with compact closure. Furthermore, if T is a bounded linear operator, then it is called weakly compact, if T takes bounded sets in X to relatively weakly compact sets in Y. By using the operator C_φf, we have the following result.

Theorem 2.4. If 𝒢(ℬ₀, ℬ₀) is compact, then it is stable.

Proof. Assume the analytic self-map φ of U and f ∈ ℬ₀; thus, we have the linear operator C_φ : ℬ₀ → ℬ₀, defined by C_φf = f∘φ : = g. By the assumption, we obtain that g is compact function in ℬ₀. Hence, φ is an inner function [4, Corollary 1.3] which implies the stability of 𝒢(ℬ₀, ℬ₀).

Theorem 2.5. Let φ be holomorphic self-map of U such that

(2.6)

Then, 𝒢(ℬ₀, ℬ₀) is stable.

Proof. Assume the analytic self-map φ of U and f ∈ ℬ₀; hence, in virtue of [5, Theorem 4.7], it is implied that the composition operator C_φf on ℬ₀ is compact. Thus we pose that 𝒢(ℬ₀, ℬ₀) is stable.

Theorem 2.6. Consider φ is a holomorphic self-map of U, satisfying the following condition: for every ϵ > 0, there exists 0 < r < 1 such that

(2.7)

when |φ| > r. Then, 𝒢(ℬ₀, ℬ₀) is stable.

Proof. Assume the analytic self-map φ of U and f ∈ ℬ₀; hence, in virtue of [5, Theorem 4.8], it is yielded that the composition operator C_φf on ℬ₀ is compact. Hence, we obtain that 𝒢(ℬ₀, ℬ₀) is stable.

Theorem 2.7. If C_φf is weakly compact in ℬ₀, then 𝒢(ℬ₀, ℬ₀) is stable.

Proof. According to [5, Theorem 4.10], we have that C_φf is compact in ℬ₀ and, consequently, 𝒢(ℬ₀, ℬ₀) is stable.

Theorem 2.8. Let φ be holomorphic self-map of U. If the function

(2.8)

is bounded, then

is stable.

Proof. Assume the analytic self-map φ of U and . Since τ_φ(z) is bounded, then in virtue of [4, Theorem 1.2], it is yielded that φ is an inner function. By putting g : = f∘φ, where , we have the desired result.

Theorem 2.9. If , then 𝒢(ℬ₀, ℬ₀) is stable.

Proof. Following [4], it will be shown that there are inner functions ; then, C_φ : ℬ₀ → ℬ₀ is compact (see [4, 5]). Thus, 𝒢(ℬ₀, ℬ₀) is stable.

Theorem 2.10. Let φ be self-map in U and w : (0,1]→(0, ∞) be continuous with lim _t=0w(t) = 0 satisfying

(2.9)

then 𝒢(ℬ₀, ℬ₀) is stable.

Proof. According to [5, Theorem 5.15], we pose that φ is inner. Thus, in view of [4, Corollary 1.3], C_φ : ℬ₀ → ℬ₀ is compact; hence, 𝒢(ℬ₀, ℬ₀) is stable.

Remark 2.11. The Schwarz-Pick Lemma implies

(i) C_φ maps ℬ to ℬ;

(ii) 0 ≤ |τ_φ(z)| ≤ 1;

(iii) φ ∈ ℬ₀ if C_φ maps ℬ₀ → ℬ₀ and conversely, f, φ ∈ ℬ₀⇒f∘φ ∈ ℬ₀.

3. Stability of the Hilbert Hardy Space

In this section, we assume that f ∈ H², where H² is the Hilbert Hardy space on U, that is, the set of all analytic functions on U with square summable Taylor coefficients. It is well known that each such φ (self-map in U) induces a bounded composition operator C_φf = f∘φ on H². Moreover, Joel Shapiro obtained the following characterization of inner functions [6]: the function φ : U → U is inner if and only if

(3.1)

where

denotes the essential norm of C_φf.

Theorem 3.1. Let φ be self-map of U and f ∈ H². If (1.1) holds, then 𝒢(H², H²) is stable.

Proof. Assume the analytic self-map φ of U and f ∈ H². Condition (1.1) implies that φ is an inner function. By setting g : = C_φf = f∘φ and, consequently, g ∈ H², it is yielded that 𝒢(H², H²) is stable.

Next we will show that the compactness of C_φf introduces the stability of 𝒢(H², H²). Two positive (or complex) measures μ and ν defined on a measurable space (Ω, Σ) are called singular if there exist two disjoint sets A and B in Σ whose union is Ω such that μ is zero on all measurable subsets of B while ν is zero on all measurable subsets of A.

Theorem 3.2. If the composition operator C_φf : H² → H² is compact, then 𝒢(H², H²) is stable.

Proof. Since C_φ : H² → H² is compact, all the Aleksandrov measures of φ are singular absolutely continuous with respect to the arc-length measure (see [7, 8]). Thus, in view of [4, Remark 1], φ is inner. By letting g : = C_φf = f∘φ, and, consequently, g ∈ H², it is yielded that 𝒢(H², H²) is stable.

Theorem 3.3. If φ has values never approach the boundary of U, then 𝒢(H², H²) is stable.

Proof. Assume the composition operator C_φ : H² → H². Since φ has values never approach the boundary of U:

(3.2)

C_φ is compact on H² (see [9, 10]). Hence, φ is an inner function and 𝒢(H², H²) is stable.

Remark 3.4. (i) It is well known that if C_φ is compact on H², then it is compact on H^p for all 0 < p < ∞ (see [9, Theorem 6.1]).

(ii) C_φ is compact on H^∞ if and only if ∥φ∥_∞ < 1 (see [10, Theorem 2.8]).

Theorem 3.5. If is univalent then, is stable, where are the classical Bergman and Hardy spaces.

Proof. Since φ is univalent, is compact for all 0 < p < q < ∞(see [11, Theorem 6.4]). In view of Remark 3.4, we obtain that φ is an inner function; hence, is stable.

Next, we use the angular derivative criteria to discuss the stability of admissible functions. Recall that φ has angular derivative at ζ ∈ ∂U if the nontangential lim w = f(ζ) ∈ ∂U exists and if (f(z) − f(ζ))/(z − ζ) converges to some μ ∈ ℂ as z → ζ nontangentially.

Theorem 3.6. If φ satisfies both the angular derivative criteria and

(3.3)

where n_φ(w) is the number of points in φ⁻¹(w) with multiplicity counted, then 𝒢(H², H²) is stable.

Proof. According to [12, Corollary 3.6], we have that C_φ is compact on H². Again in view of Remark 3.4, we obtain that φ is inner and, consequently, 𝒢(H², H²) is stable.

4. Stability of Q_p Class

For 0 < p < 1, an analytic function f in U is said to belong to the space Q_p if

(4.1)

where dA(z) = dxdy = rdrdθ is the Lebesgue area measure and g denotes the Green function for the disk given by

(4.2)

The spaces Q_p are conformally invariant. In [13], It was shown that Q_p = ℬ for all p, while Q₁ = BMOA, the space of those f ∈ H¹ whose boundary values have bounded mean oscillation on ∂U (see [14]). For 0 < α < 1, Λ^α is the Lipschitz space, consisting of those f ∈ ℋ(U), which are continuous in U and satisfy

(4.3)

for some C = C(f) > 0. In this section, we will show the stability of functions belong to the spaces Q₁ and Λ^α.

Theorem 4.1. If f ∈ Q₁, then 𝒢(Q₁, Q₁) is stable.

Proof. In the similar manner of Theorem 2.2, we pose an inner function φ on U. Now, in view of [15, Theorem H], yields g : = f∘φ ∈ Q₁, even though f ∈ Q₁. Thus, Q₁ is stable.

Theorem 4.2. If f ∈ Λ^α, 0 < α < 1 such that

(4.4)

for some z, then 𝒢(Λ^α, Λ^α) is stable.

Proof. Again as in Theorem 2.2, we obtain an inner function φ on U. Now in view of [15, Theorem K], yields g : = f∘φ ∈ Λ^α, even though f ∈ Λ^α. Thus, Λ^α is stable.

5. Conclusion

From above, we conclude that the composition operator C_φ, of admissible functions in different complex Banach spaces, plays an important role in stability of these spaces. It was shown that the compactness of this operator implied the stability, when φ is an inner function on the unit disk U. Furthermore, weakly compactness imposed the stability of Bloch spaces. In addition, noncompactness leaded to the stability for some spaces such as Q_p-spaces and Lipschitz spaces.

References

1 Collingwood E. F. and Lohwater A. J., The Theory of Cluster Sets, 1966, Cambridge University Press, Cambridge, UK, Cambridge Tracts in Mathematics and Mathematical Physics, No. 56, 0231999.
10.1017/CBO9780511566134
Google Scholar
2 Anderson J. M., Clunie J., and Pommerenke Ch., On Bloch functions and normal functions, Journal für die Reine und Angewandte Mathematik. (1974) 270, 12–37, 0361090.
Web of Science® Google Scholar
3 Sălăgean Gr. Şt. and Wiesler H., Jack′s lemma for holomorphic vector-valued functions, Cluj. Mathematica. (1981) 23(46), no. 1, 85–90, 649389.
Google Scholar
4 Smith W., Inner functions in the hyperbolic little Bloch class, The Michigan Mathematical Journal. (1998) 45, no. 1, 103–114, https://doi.org/10.1307/mmj/1030132085, 1617418.
10.1307/mmj/1030132085
Web of Science® Google Scholar
5 Fletcher A., Bloch functions, Essay. (2002) 3, 1–38.
Google Scholar
6 Shapiro J. H., What do composition operators know about inner functions?, Monatshefte für Mathematik. (2000) 130, no. 1, 57–70, https://doi.org/10.1007/s006050050087, 1762064.
10.1007/s006050050087
Web of Science® Google Scholar
7 Cima J. A. and Matheson A. L., Essential norms of composition operators and Aleksandrov measures, Pacific Journal of Mathematics. (1997) 179, no. 1, 59–64, 1452525.
10.2140/pjm.1997.179.59
Web of Science® Google Scholar
8 Sarason D., Sub-Hardy Hilbert Spaces in the Unit Disk, 1994, John Wiley & Sons, New York, NY, USA, University of Arkansas Lecture Notes in the Mathematical Sciences, 10, 1289670.
Google Scholar
9 Shapiro J. H. and Taylor P. D., Compact, nuclear, and Hilbert-Schmidt composition operators on H², Indiana University Mathematics Journal. (1973) 23, 471–496, 0326472.
10.1512/iumj.1974.23.23041
Web of Science® Google Scholar
10 Schwartz H.J., Composition operators on Hp, thesis, 1969, Univ. of Toledo.
Google Scholar
11 Smith W., Composition operators between Bergman and Hardy spaces, Transactions of the American Mathematical Society. (1996) 348, no. 6, 2331–2348, https://doi.org/10.1090/S0002-9947-96-01647-9, 1357404.
10.1090/S0002-9947-96-01647-9
Web of Science® Google Scholar
12 Shapiro J. H., The essential norm of a composition operator, Annals of Mathematics. Second Series. (1987) 125, no. 2, 375–404, https://doi.org/10.2307/1971314, 881273.
10.2307/1971314
Web of Science® Google Scholar
13 Aulaskari R. and Lappan P., Criteria for an analytic function to be Bloch and a harmonic or meromorphic function to be normal, Complex Analysis and Its Applications (Hong Kong, 1993), 1994, 305, Longman Scientic and Technical, Harlow, UK, 136–146, Pitman Res. Notes Math. Ser., 1278928.
Google Scholar
14 Girela D., R. Aulaskari, Analytic functions of bounded mean oscillation, Complex Function Spaces (Mekrijärvi, 1999), 2001, 4, Univ. Joensuu, Joensuu, Finland, 61–170, Univ. Joensuu Dept. Math. Rep. Ser., 1820090.
Google Scholar
15 Peláez J. A., Inner functions as improving multipliers, Journal of Functional Analysis. (2008) 255, no. 6, 1403–1418, https://doi.org/10.1016/j.jfa.2008.06.010, 2565713.
10.1016/j.jfa.2008.06.010
Web of Science® Google Scholar

All articles

Stability of Admissible Functions

Abstract

1. Introduction

2. Stability of Bloch Classes

3. Stability of the Hilbert Hardy Space

4. Stability of Q_p Class

5. Conclusion

References

References

Information

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

Stability of Admissible Functions

Abstract

1. Introduction

2. Stability of Bloch Classes

3. Stability of the Hilbert Hardy Space

4. Stability of Qp Class

5. Conclusion

References

References

Related

Information

4. Stability of Q_p Class