`ISRN Mathematical AnalysisVolumeย 2012ย (2012), Article IDย 634316, 9 pageshttp://dx.doi.org/10.5402/2012/634316`
Research Article

## 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

1. 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.
2. L. E. Payne, โSome remarks on maximum principles,โ Journal d'Analyse Mathématique, vol. 30, pp. 421โ433, 1976.
3. A. Mareno, โMaximum principles for some higher-order semilinear elliptic equations,โ Glasgow Mathematical Journal, vol. 53, no. 2, pp. 313โ320, 2011.
4. 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.
5. 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.
6. 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.
7. C. P. Danet and A. Mareno, โMaximum principles for a class of linear elliptic equations of even order,โ submitted.