Properties of a Class of p-Harmonic Functions
Abstract
A p times continuously differentiable complex-valued function F = u + iv in a domain D⊆ℂ is p-harmonic if F satisfies the p-harmonic equation Δ ⋯ ΔF = 0, where p is a positive integer. By using the generalized Salagean differential operator, we introduce a class of p-harmonic functions and investigate necessary and sufficient coefficient conditions, distortion bounds, extreme points, and convex combination of the class.
1. Introduction
In any simply connected domain D we can write , where h and g are analytic in D. We call h the analytic part and g the coanalytic part of f. A necessary and sufficient condition for f to be locally univalent and sense preserving in D is that in D. See [1, 2].
The properties of the class SH and its geometric subclasses have been investigated by many authors; see ([1–6]). Note that SH reduces to the class S of normalized analytic univalent functions in U if the coanalytic part of f is identically zero.
A p times continuously differentiable complex-valued function F = u + iv in a domain D⊆ℂ is p-harmonic if F satisfies the p-harmonic equation Δ ⋯ ΔF = 0, where p is a positive integer.
Denote by SHp the class of functions F of the form (3) that are harmonic, univalent, and sense-preserving in the unit disk. Apparently, if p = 1 and p = 2, F is harmonic and biharmonic, respectively.
Biharmonic functions have been studied by several authors, such as, [7–9]. Also, biharmonic functions arise in many physical situations, particularly, in fluid dynamics and elasticity problems. They have many important applications in engineering, biology, and medicine, such as in [10, 11].
The main object of the paper is to introduce a class of p-harmonic functions by using the generalized Salagean operator which was defined by Li and Liu [14]. We investigate necessary and sufficient coefficient conditions, extreme points, distortion bounds, and convex combination of the class.
2. Main Results
Theorem 1. Let F be a p-harmonic function given by (3). Furthermore, let
Proof. Suppose z1, z2 ∈ U and z1 ≠ z2, so that |z1| ≤ |z2| < 1:
In order to prove that F is sense preserving, we need to show that :
Using the fact that Rew ≥ α if and only if |1 − α + w| ≥ |1 + α − w|, it suffices to show that
Theorem 2. Let F be given by (13) and (14). Then if and only if
Proof. The “if" part follows from Theorem 1 upon noting that . For the “only if" part, we show that if the condition (20) does not hold.
Note that a necessary and sufficient condition for F given by (13) and (14) to be in is that the condition (12) should be satisfied.
This is equivalent to Re{A(z)/B(z)} ≥ 0, where
If the condition (20) does not hold, then the numerator in (22) is negative for r is sufficiently close to 1. Hence there exist z0 = r0 in (0,1) for which the quotient in (22) is negative. This contradicts the required condition for F∈ and so the proof is complete.
Theorem 3. Let F be given by (13) and (14). Then if and only if
In particular, the extreme points of are {hj,p−k+1(z)} and {gj,p−k+1(z)}, where j ≥ 1 and 1 ≤ k ≤ p.
Proof. For functions F of the form (13) and (14) we have
Theorem 4. Let . Then for |z| = r < 1 we have
Proof. We only prove the right-hand inequality. The proof for the left-hand inequality is similar and will be omitted. Let . Taking the absolute value of F we have
The following covering result follows from the left-hand inequality in Theorem 4.
Theorem 6. The class is closed under convex combinations.