ISRN Mathematical Analysis

Volumeย 2012ย (2012), Article IDย 634316, 9 pages

http://dx.doi.org/10.5402/2012/634316

## On Maximum Principles for -Metaharmonic Equations

Department of Mathematics and Computer Science, Pennsylvania State University, Middletown, PA 17057, USA

Received 27 November 2011; Accepted 29 December 2011

Academic Editor: E.ย Beretta

Copyright ยฉ 2012 A. Mareno. 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.

#### Abstract

We study homogeneous linear elliptic partial differential equations of even order. Several maximum principle results are deduced for such equations as well as a priori bounds for certain boundary value problems.

#### 1. Introduction

The -function technique for obtaining subharmonic functions defined on the solution of certain partial differential equations of order is well established. In [1] Miranda shows that the functional is subharmonic where is a solution to the biharmonic equation . Later, in [2], Payne uses functionals containing the square of the second gradient of the solution to semilinear equations of the form to deduce integral bounds on .

Other works such as [3, 4] develop maximum principle results for the sixth-order equations of the form with constant coefficients. In [5, 6], -functions containing the squares of terms of the form are used to obtain a priori that bounds for solutions to the constant coefficient -metaharmonic equation

Most recently the authors in [7] obtain maximum principles results for the more general variable coefficient -metaharmonic equation using -functions containing terms of the form . For three special cases, namely, when , , and when (1.4) reduces to the equation for any integer , a more complicated class of -functions containing the squares of certain gradient terms is used. An open question arising from [7] is whether maximum principle results for (1.4) can be obtained for say any integer for the latter class of -functions. In this work, we establish such results by requiring that certain bounds and differential inequalities for the the coefficient functions hold. Then we obtain integral bounds on various gradient terms.

#### 2. Assumptions and Results

Throughout this work we assume that is a bounded domain in whose boundary is sufficiently smooth, that the integer is even (without loss of generality), and that the integer . We identify the products of the first, second, and third gradients of the functions and as follows: where the commas denote partial differentiation.

For functions we impose the boundedness conditions for constants , .

Finally, denotes the Laplace operator, , and .

Now we derive two general maximum principle results for (1.4).

Theorem 2.1. *Suppose that is a solution of (1.4). Furthermore for one defines
**
where the functions satisfy for some positive constant . **Additionally, one imposes the conditions
**Then, is subharmonic in .*

*Proof. *A straightforward calculation yields
Using the well-known inequality (see [2])
and (1.4) we deduce the inequality
The right side of (2.7) is
Subsequently, we obtain
We now state a series of inequalities to demonstrate that . First we note
Similarly, we obtain
We also have that
Additional inequalities analogous to (2.15) can be developed for the remaining terms in (2.9) involving and .

From (2.2), (2.10)โ(2.15) and upon inclusion of the aforementioned additional inequalities we deduce that
Utilizing (2.4) the conclusion follows.

Now we handle the case where in the following theorem.

Theorem 2.2. *Suppose that is a solution of (1.4) where . For satisfying the inequality for some positive constant , one defines
**
Then if
**is subharmonic in .*

*Proof. *A calculation similar to that of Theorem 2.1 yields
Using (2.6), (2.10), (2.11), (2.13), and (2.14) we obtain
Hence by (2.18), we conclude that .

#### 3. Applications

Here we briefly indicate how theorem 1 and theorem 2 can be used to obtain integral bounds on the square of the second gradient of . suppose that the hypotheses of theorem 1 are satisfied and that the conditions hold on . Let denote the area of . As a consequence of integration by parts, Theorem 2.1 implies that

Now, if the hypotheses of Theorem 2.2 hold and if we impose the conditions on we can deduce the inequality from Theorem 2.2.

#### References

- C. Miranda, โFormule di maggiorazione e teorema di esistenza per le funzioni biarmoniche de due variabili,โ
*Giornale di Matematiche di Battaglini*, vol. 2, no. 78, pp. 97โ118, 1948. View at Google Scholar - L. E. Payne, โSome remarks on maximum principles,โ
*Journal d'Analyse Mathématique*, vol. 30, pp. 421โ433, 1976. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - A. Mareno, โMaximum principles for some higher-order semilinear elliptic equations,โ
*Glasgow Mathematical Journal*, vol. 53, no. 2, pp. 313โ320, 2011. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - P. W. Schaefer, โUniqueness in some higher order elliptic boundary value problems,โ
*Zeitschrift für Angewandte Mathematik und Physik*, vol. 29, no. 4, pp. 693โ697, 1978. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - D. R. Dunninger and S. N. Chow, โA maximum principle for
*n*-metaharmonic functions,โ*Proceedings of the American Mathematical Society*, vol. 43, pp. 79โ83, 1974. View at Google Scholar - S. Tseng and C.-S. Lin, โOn a subharmonic functional of some even order elliptic problems,โ
*Journal of Mathematical Analysis and Applications*, vol. 207, no. 1, pp. 127โ157, 1997. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH ยท View at MathSciNet - C. P. Danet and A. Mareno, โMaximum principles for a class of linear elliptic equations of even order,โ submitted.