- About this Journal ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
ISRN Mathematical Analysis
Volume 2012 (2012), Article ID 634316, 9 pages
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.
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.
The -function technique for obtaining subharmonic functions defined on the solution of certain partial differential equations of order is well established. In  Miranda shows that the functional is subharmonic where is a solution to the biharmonic equation . Later, in , 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  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  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 )
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 .
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
- 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.
- L. E. Payne, “Some remarks on maximum principles,” Journal d'Analyse Mathématique, vol. 30, pp. 421–433, 1976.
- A. Mareno, “Maximum principles for some higher-order semilinear elliptic equations,” Glasgow Mathematical Journal, vol. 53, no. 2, pp. 313–320, 2011.
- 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.
- 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.
- 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.
- C. P. Danet and A. Mareno, “Maximum principles for a class of linear elliptic equations of even order,” submitted.