Research Article | Open Access
Lipschitz Continuity for the Solutions of Triharmonic Equation
Let be the unit disk in the complex plane and denote . Write for the class of all sense-preserving homeomorphism of onto the boundary of a convex Jordan domain . In this paper, five equivalent conditions for the solutions of triharmonic equations with Dirichlet boundary value conditions and to be Lipschitz continuous are presented.
Let be the unit disk in the complex plane and denote . Let D and be subdomains of the complex plane Write for the set of all complex-valued n-times continuously differentiable functions from D into . A real-valued function u, defined in an open subset D of the complex plane , is harmonic if it satisfies Laplace’s equation:
A complex-valued function is harmonic if both u and are real harmonic. For a harmonic mapping f in it can be represented aswhere h and are analytic in and unique determined by . By a result of Lewy , the Jacobian of a sense-preserving locally univalent harmonic f in satisfies
See  for more properties of harmonic mappings in the plane. We say that a function is absolutely continuous on line in the region D if for every closed rectangle with sides parallel to the axes x and y, u is absolutely continuous on almost every horizontal line and almost every vertical line in R. Such a function has, of course, partial derivatives and everywhere in D. A sense-preserving topological mapping is said to be -quasiconformal if it satisfies:
f is absolutely continuous on lines in There are constants and , such thatwhere , , and If , then f is called a K-quasiconformal mapping. It is well known that a quasiconformal mapping f from onto a Jordan domain has a homeomorphic extension to the closure ; see .
A mapping h from D onto is said to be Lipschitz if there exists constant , such that the following inequalityholds for every .
Let and which satisfies the following triharmonic equation:with the following associated Dirichlet boundary value condition:where By [, Theorem 3.2.2], it is known that all solutions to equation (6) satisfying the condition (7) are given bywhere
For a harmonic homeomorphism f of the unit disk onto itself, it is interesting to study the conditions which can imply f to be quasiconformal. It was Martio  who was the first one to pose and study for this problem. Let be the boundary function of and he proved that the conditions satisfy and the Dini conditionwhere ϖ is the modulus of continuity of ,can guarantee to imply the quasiconformality of . Pavlović  considered the above question to replace the Dini condition by the Hilbert transformation of belong to . In , Kalaj and Mateljević gave the equivalent conditions for a harmonic orientation preserving diffeomorphism between two plane Jordan domains and D with boundaries to be -quasiconformal. Their result was generalized to the case for -quasiconformal mappings satisfying Poisson’s equation by Li et al. . In , Chen and Chen obtained several equivalent conditions for a harmonic mapping of upper half-plane onto itself to be -quasiconformal mapping. Recently, after characterizing the boundary conditions for Lipschitz continuity of -harmonic mappings, Chen  presented four equivalent conditions for the -quasiconformal solutions of the -Poisson equation with a nonhomogeneous term to be Lipschitz continuous. His result is a kind of generalization of the result obtained by Pavlović .
In what follows, we write for the class of all sense-preserving homeomorphism of onto the boundary of a convex Jordan domain . The aim of this paper is to study for the solutions of triharmonic equations with Dirichlet boundary value condition to be Lipschitz continuous.
The organization at the rest of this paper is as follows: In Section 2, we will make some estimations which will be used for proving the main result (Theorem 1). In Section 3, the proof of Theorem 1 is given. At the last section, an example is given to show that the family of solution (see this definition in Section 3) is nonempty.
2. Some Estimations
The following lemma was obtained in .
In order to give the complete proof of Theorem 1, we also need the following two lemmas.
Lemma 2. Suppose that and are defined in (11). Then, the following inequalitieshold for every , where .
Proof. Here we only calculate the estimation of because the calculation for another one is similar. LetwhereBy virtue of Hölder’s inequality, we getHence,This finishes the proof.
Lemma 3. Suppose that and are defined in (12). Then, the following inequalitieshold for every , where and
Proof. Here we only calculate the estimation of because the calculation for another one is similar. In order to do this, we introduce following functions:whereFirstly, we give the estimation of . SetThen,Therefore,whereSincewe get (by letting )which implies thatSecondly, we derive the estimation of . This can easily been obtained byThirdly, we calculate the upper bound of . By letting , we getThen,Next, we estimate the upper bound of . By letting , we get