- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- 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
Abstract and Applied Analysis
Volume 2012 (2012), Article ID 571951, 9 pages
Strict Monotonicity and Unique Continuation for the Third-Order Spectrum of Biharmonic Operator
Department of Mathematics and Computer Science, Faculty of Science, University Mohammed Premier, 60050 Oujda, Morocco
Received 28 September 2012; Accepted 5 November 2012
Academic Editor: Julio Rossi
Copyright © 2012 Khalil Ben Haddouch et al. 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 will study the spectrum for the biharmonic operator involving the laplacian and the gradient of the laplacian with weight, which we call third-order spectrum. We will show that the strict monotonicity of the eigenvalues of the operator , where , holds if some unique continuation property is satisfied by the corresponding eigenfunctions.
We are concerned here with the eigenvalue problem: where is a bounded domain in , , denotes the biharmonic operator defined by , and .
Based on the works of Anane et al. [1, 2], we will determine the spectrum of (1.1), which we call third-order spectrum for the biharmonic operator. This spectrum is defined to be the set of couples such that the problem has a nontrivial solution . This spectrum, which is denoted by , is an infinite sequence of eigensurfaces , see Section 3. When , the zero-order spectrum is defined to be the set of eigenvalues such that the problem has a nontrivial solution . In this case the spectrum is denoted by . The eigenvalue problem (1.3), which is studied by Courant and Hilbert , admits an infinite sequence of real eigenvalues satisfying where denotes the class of -dimensional subspaces of .
Definition 1.1. We say that solutions of problem (1.1) satisfy the unique continuation property (U.C.P), if the unique solution which vanishes on a set of positive measure in is .
In the literature there exist several works on unique continuation. We refer to the works of Jerison and Kenig  and Garofalo and Lin , among others. The unique continuation property as defined above differs from the usual notions of unique continuation, see  for more details.
Definition 1.2. We say that is strict monotone with respect to the weight if , for all .
Here we use the notation to mean inequality almost everywhere together with strict inequality on a set of positive measure.
Since the pioneer works of Carleman  in 1939 on the unique continuation, this notion has been the interest of many researchers in partial differential equations, see for instance [4, 5, 8]. In 1992, de Figueiredo and Gossez  proved that strict monotonicity holds if and only if some unique continuation property is satisfied by the corresponding eigenfunction of a uniformly elliptic operator of the second order. In 1993, Gossez and Loulit  have proved the unique continuation property in the linear case of the laplacian operator. The unique continuation property of the biharmonic operator was proved recently by Cuccu and Porru . Our purpose in the fourth section is to show that strict monotonicity of eigensurfaces for problem (1.1) holds if some unique continuation property is satisfied by the corresponding eigenfunctions.
Let be a finite dimensional separable Hilbert space. We denote by and the inner product and the norm of the space , respectively. Let be a compact operator.
Lemma 2.1. All nonzero eigenvalues of the operator are obtained by the following characterizations: where denotes the class of -dimensional subspaces of .
Moreover, zero is the only accumulation point of the set of all eigenvalues of . Here, the eigenvalues are repeated with its order of multiplicity, and the eigenfunctions are mutually orthogonal .
3. Third-Order Spectrum of the Biharmonic Operator
We define the third-order eigenvalue problem of the biharmonic operator as follows:
If is a solution of (3.1) then is called third-order eigenvalue and is said to be the associated eigenfunction.
Lemma 3.1. Problem (3.1) is equivalent to the following problem: where .
Remark 3.2. Let ; we denote by the normal derivative defined by where and .
Definition 3.3. A weak solution of (3.2) is a function in witch satisfies, for and for all ,
Definition 3.4. For , we say that is a classical solution of problem (3.1) if .
Proof. Let be a weak solution of (3.2), then we have
Using the Green formula, we obtain
Then we have
Thus, the prove is complete.
Theorem 3.6. Let , then we have (a), where the function : is defined by where denotes the class of -dimensional subspaces of and is the graph of .(b). (c)For all .
Proof. Let , then is a solution of (3.1) if and only if is a solution of problem (3.2). We prove that the map
defines a scalar product on equivalent to the usual scalar product .
The map is a continuous symmetric bilinear form. Since satisfies the condition of the uniform ellipticity, then we have where . Therefore, the bilinear form is coercive. On the other hand, the operator is well defined, linear, symmetric, and compact on . Then, problem (3.2) can be written as
Note that is not an eigenvalue of (3.2). It follows that is an eigenvalue of (1.1) if and only if is eigenvalue of the operator . By Lemma 2.1, the eigenvalues are given by the characterizations
In addition, we have and , then relation (3.8) is satisfied. Since , then we have for all . As zero is the only accumulation point of the sequence , it follows that when . Therefore, the proof is completed.
4. Strict Monotonicity and Unique Continuation
In this section, we will show that strict monotonicity of eigensurfaces for problem (3.1) holds if some unique continuation property is satisfied by the corresponding eigenfunctions.
Theorem 4.1. Let and be two weights with and . If the eigenfunctions associated to satisfy the (U.C.P) then .
Theorem 4.2. Let be a weight and . If the eigenfunctions associated to do not satisfy the (U.C.P) then there exists a weight with , such that, for some with , one has .
Corollary 4.3. Let and . If , then the only solution of the problem is .
Proof of Theorem 4.1. Let ; we define the space
spanned by the eigenfunctions associated to with
Let , with . We have either achieves the infimum in (4.4) or not. In the case is an eigenfunction associated to , then by the (U.C.P) and since a.e. , we have
Thus, . In the other case, we have
Thus, in both cases we have
It follows that
This yields the desired inequality . Hence, we have .
Proof of Theorem 4.2. Denote by an eigenfunction associated to which vanishes on a set of positive measure. Take such that and define where is chosen such that , which is possible by the continuous dependence of the eigenvalues with respect to the weight. We have which shows that is an eigenvalue for the weight , that is, for some . Let us choose the largest such that this equality holds. It follows from that . Moreover, the monotone dependence, , implies . Then we conclude that . Hence, we have .
Proof of Corollary 4.3. Suppose that has nontrivial solution, that is, . From the inequality and the strict monotonicity, we deduce
we deduce that which is a contradiction. Hence, the proof is complete.
The authors would like to thank the anonymous referees for their constructive suggestions.
- A. Anane, O. Chakrone, and J.-P. Gossez, “Spectre d'ordre supérieur et problèmes de non-résonance,” Comptes Rendus de l'Académie des Sciences Série I, vol. 325, no. 1, pp. 33–36, 1997.
- O. Chakrone, Spectre d'ordre superieur dans des probleme aux limites quasi-lineaires, et sur un theorme de point critique et application un probleme de non-resonance entre deux valeurs propres du p-laplacien [Ph.D. thesis], Mohammed I University, Oujda, Morocco, 1998.
- R. Courant and D. Hilbert, Methods of Mathematical Physics, vol. 1-2, Interscience, New York, NY, USA, 1962.
- D. Jerison and C. E. Kenig, “Unique continuation and absence of positive eigenvalues for Schrödinger operators,” Annals of Mathematics, vol. 121, no. 3, pp. 463–494, 1985.
- N. Garofalo and F.-H. Lin, “Unique continuation for elliptic operators: a geometric-variational approach,” Communications on Pure and Applied Mathematics, vol. 40, no. 3, pp. 347–366, 1987.
- D. G. de Figueiredo and J.-P. Gossez, “Strict monotonicity of eigenvalues and unique continuation,” Communications in Partial Differential Equations, vol. 17, no. 1-2, pp. 339–346, 1992.
- T. Carleman, “Sur un probléme d'unicité pour les systémes d' equations aux derivées partielles á deux variables indépendantes,” Arkiv för Matematik, Astronomi och Fysik, vol. 26, no. 17, pp. 1–9, 1939.
- J.-P. Gossez and A. Loulit, “A note on two notions of unique continuation,” Bulletin de la Société Mathématique de Belgique, vol. 45, no. 3, pp. 257–268, 1993.
- F. Cuccu and G. Porru, “Optimization of the first eigenvalue in problems involving the bi-Laplacian,” Differential Equations & Applications, vol. 1, no. 2, pp. 219–235, 2009.
- D. G. de Figueiredo, Positive Solutions of Semilinear Elliptic Equation, vol. 957 of Lecture Note in Mathematics, 1982.