- Research Article
- Open Access

# The Solution of Two-Point Boundary Value Problem of a Class of Duffing-Type Systems with Non- Perturbation Term

- Jiang Zhengxian
^{1}and - Huang Wenhua
^{1}Email author

**2009**:287834

https://doi.org/10.1155/2009/287834

© J. Zhengxian and H. Wenhua. 2009

**Received:**14 June 2009**Accepted:**10 August 2009**Published:**19 August 2009

## Abstract

## Keywords

- Hilbert Space
- Unique Solution
- Ordinary Differential Equation
- Functional Equation
- Uniqueness Theorem

## 1. Introduction

Minimax theorems are one of powerful tools for investigation on the solution of differential equations and differential systems. The investigation on the solution of differential equations and differential systems with non- perturbation term using minimax theorems came into being in the paper of Stepan A.Tersian in 1986 [1]. Tersian proved that the equation exists exactly one generalized solution under the operators related to the perturbation term being selfadjoint and commuting with the operator and some other conditions in [1]. Huang Wenhua extended Tersian's theorems in [1] in 2005 and 2006, respectively, and studied the existence and uniqueness of solutions of some differential equations and differential systems with non- perturbation term [2–4], the conditions attached to the non- perturbation term are that the operator related to the term is self-adjoint and commutes with the operator (where is a selfadjoint operator in the equation ). Recently, by further research, we observe that the conditions imposed upon can be weakened, the self-adjointness of can be removed and is not necessarily commuting with the operator .

In this note, we consider a two-point boundary value problem of a class of Duffing-type systems with non- perturbation term and present a result as the operator related to the perturbation term is not necessarily a selfadjoint and commuting with the operator . We obtain several valuable results in the present paper under the weaker conditions than those in [2–4].

## 2. Preliminaries

Let be a real Hilbert space with inner product and norm , respectively, let and be two orthogonal closed subspaces of such that . Let denote the projections from to and from to , respectively. The following theorem will be employed to prove our main theorem.

Theorem 2.1 ([2]).

(a) has a unique critical point such that ;

We also need the following lemma in the present work. To the best of our knowledge, the lemma seems to be new.

Lemma 2.2.

Let and be two diagonalization matrices, let and be the eigenvalues of and , respectively, where each eigenvalue is repeated according to its multiplicity. If commutes with , that is, , then is a diagonalization matrix and are the eigenvalues of .

Proof.

where are the eigenvalues of .

is a diagonalization matrix and are the eigenvalues of .

The proof of Lemma 2.2 is fulfilled.

Let denote the usual inner product on and denote the corresponding norm by , where . Let denote the inner product on . It is known very well that is a Hilbert space with inner product

Now, we consider the boundary value problem

where , is a real constant diagonalization matrix with real eigenvalues (each eigenvalue is repeated according to its multiplicity), is a potential Carathéodory vector-valued function , is continuous, , , .

Let , , then (2.11) may be written in the form

where , . Clearly, is a potential Carathéodory vector-valued function, . Clearly, if is a solution of (2.12), will be a solution of (2.11).

Assume that there exists a real bounded diagonalization matrix such that for a.e. and

where , commutes with and is possessed of real eigenvalues . In the light of Lemma 2.2, is a diagonalization matrix with real eigenvalues (each eigenvalue is repeated according to its multiplicity). Assume that there exist positive integers such that for

Let be linearly independent eigenvectors associated with the eigenvalues and let be the orthonormal vectors obtained by orthonormalizing to the eigenvectors of . Then for every

And let the set be a basis for the space , then for every ,

It is well known that each can be represented by the absolutely convergent Fourier series

Clearly, is a selfadjoint operator and is a Hilbert space for the inner product

and the norm induced by the inner product is

Define

Clearly, and are orthogonal closed subspaces of and .

Define two projective mappings and by and , , then is a selfadjoint operator.

Using the Riesz representation theorem , we can define a mapping by

We observe that in (2.23) is defined implicity. Let in (2.23), we have

Clearly, and hence is defined implicity by (2.24). It can be proved that is a solution of (2.11) if and only if satisfies the operator equation

## 3. The Main Theorems

Now, we state and prove the following theorem concerning the solution of problem (2.11).

Theorem 3.1.

where is a functional defined in (2.24) and .

Proof.

By (3.3), Clearly, and are nonincreasing. Now, all the conditions in the Theorem 2.1 are satisfied. By virtue of Theorem 2.1, there exists a unique such that and where is a functional defined implicity in (2.24) and . is just a unique solution of (2.12) and is exactly a unique solution of (2.11). The proof of Theorem 3.1 is completed.

Now, we assume that there exists a positive integer such that

Replace the condition (2.14) by (3.10) and replace (2.21), (2.22), (3.1), and (3.2) by (3.11), (3.12), (3.13), and (3.14), respectively. Using the similar proving techniques in the Theorem 3.1, we can prove the following theorem.

Theorem 3.2.

Assume that there exists a real diagonalization matrix with real eigenvalues satisfying (2.13) and (3.10) and commuting with . If the functions and defined in (3.13) and (3.14) satisfy (3.3), problem (2.11) has a unique solution , and satisfies and (3.4).

It is also of interest to the case of .

Corollary 3.3.

Corollary 3.4.

If and satisfy (3.3), problem (3.16) has a unique solution , and satisfies and (3.4), where is a functional defined in (3.17).

If there exists a functional such that , then (2.13) should be

where is just a Hessian of . In this case, the following corollary follows from Theorem 3.1.

Corollary 3.5.

Let the eigenvalues of satisfy (2.14). If and defined in (3.1) and (3.2) satisfy (3.3), problem (2.11)(where ) has a unique solution , and satisfies and (3.4).

Using the similar techniques of the present paper, we can also investigate the two-point boundary value problem

where , , , , and are as in problem (2.11). The corresponding results are similar to the results in the present paper.

The special case of and in problem (3.20) has been studied by Zhou Ting and Huang Wenhua [5]. Zhou and Huang adopted the techniques different from this paper to achieve their research.

## Authors’ Affiliations

## References

- Tersian SA: A minimax theorem and applications to nonresonance problems for semilinear equations.
*Nonlinear Analysis: Theory, Methods & Applications*1986, 10(7):651–668. 10.1016/0362-546X(86)90125-2MATHMathSciNetView ArticleGoogle Scholar - Wenhua H, Zuhe S: Two minimax theorems and the solutions of semilinear equations under the asymptotic non-uniformity conditions.
*Nonlinear Analysis: Theory, Methods & Applications*2005, 63(8):1199–1214. 10.1016/j.na.2005.02.125MATHMathSciNetView ArticleGoogle Scholar - Wenhua H: Minimax theorems and applications to the existence and uniqueness of solutions of some differential equations.
*Journal of Mathematical Analysis and Applications*2006, 322(2):629–644. 10.1016/j.jmaa.2005.09.046MATHMathSciNetView ArticleGoogle Scholar - Wenhua H: A minimax theorem for the quasi-convex functional and the solution of the nonlinear beam equation.
*Nonlinear Analysis: Theory, Methods & Applications*2006, 64(8):1747–1756. 10.1016/j.na.2005.07.023MATHMathSciNetView ArticleGoogle Scholar - Ting Z, Wenhua H: The existence and uniqueness of solution of Duffing equations with non-
perturbation functional at nonresonance.
*Boundary Value Problems*2008, 2008:-9.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.