- Research
- Open access
- Published:
Sharp constants for inequalities of Poincaré type: an application of optimal control theory
Journal of Inequalities and Applications volume 2014, Article number: 523 (2014)
Abstract
Sharp constants for an inequality of Poincaré type are studied. The problem is solved by using optimal control theory.
MSC:26D10, 46E35, 49K15.
1 Introduction
Denote by the Sobolev space of all real-valued functions that are absolutely continuous on the closed interval and such that . Let be an integer. Denote by the space
Kalyabin considered in [1] the following problem.
Problem ( B x ) Fix , find the best constant such that the following inequality holds:
It is proved in [1] that
and the extremal functions for the case are
where C is a constant and
are the classical Legendre polynomials. For notational simplicity, we denote
and
Many problems similar to Problem () were studied; see, for example, [2, 3], and [4].
In this paper, we will solve Problem () completely with the help of optimal control theory. Since the cases were solved in [1], we mainly consider the cases of . We have the following.
Theorem 1.1 Assume and . Then, is an extremal function to Problem () if and only if
where C is a constant,
and , , are characterized by
and
The sharp constant of the inequality (1.2) is
More precisely, we have the following.
Corollary 1.2 Assume and . Then
and is an extremal function to Problem () if and only if
Corollary 1.3 Assume and . Then
and is an extremal function to Problem () if and only if
Corollary 1.4 Assume , and . Then
In particular,
Corollary 1.5 Assume , and . Then
In particular,
When , we have the following.
Corollary 1.6 The following holds:
and
In particular,
2 Transmitting Problem () to optimal control problem
We introduce the equivalent optimal control problem to Problem (). Let . We define the following control system:
and the state constraints
Let
and
where
Our optimal control problem corresponding to Problem () is as follows.
Problem ( C x ) Let . Find such that
It is obvious that is a bijection from to . Then one can easily see that
Therefore, we can solve Problem () by solving Problem ().
3 Pontryagin’s maximum principle
We state Pontryagin’s maximum principle for optimal control problems. Symbols in this section will have similar but probably different meanings from other sections. Thus we set this part as a separate section. We will state a result given in [5]. For simplicity, we only state it in a simple way. In other words, Lemma 3.1 below is a special case of Theorem 3.1 and Corollary 3.1 in Chapter V of [5].
Now, let and . A measurable function defined on with range in U is said to be a control.
Let the function be an -valued vector function on . Assume that is Borel measurable on , continuous on and continuously differentiable on .
If is an absolutely function on with range in such that
then is called a state/trajectory corresponding to .
Let be a manifold of dimensional k, where . We say is an admissible pair if
-
(i)
is a control,
-
(ii)
is a state corresponding to ,
-
(iii)
.
Denote by the set of all admissible pairs. The set is called the set of admissible controls.
If an admissible pair satisfies
then it is called an optimal pair, where
Assume that for each compact and admissible control , there exists a function such that for almost all and all ,
We have the following.
Lemma 3.1 Let assumptions listed in this section hold. Let be an optimal pair. Then there exists a constant and an absolutely continuous vector function defined on such that the following hold:
-
(i)
The vector is never zero on .
-
(ii)
For a.e. ,
where
-
(iii)
The pointwise maximum condition holds: for almost all and all ,
-
(iv)
The transversality condition holds: if the mapping is continuous at and , then is orthogonal to Ω.
4 Proof of Theorem 1.1
We give the following lemma first.
Lemma 4.1 Let , , , is an th degree polynomial satisfying
and
Then
Proof Noting that is an th degree polynomial, by (4.2), we have
Therefore,
□
Now, we list some properties of Legendre polynomials. We can easily get
and
We turn to the proof of Theorem 1.1.
Proof of Theorem 1.1 I. Existence of optimal pair. One can prove directly that the sharp constant is attainable, i.e., there is a nontrivial such that
Now, we give an optimal control version of this fact.
Let be a minimizing sequence of Problem (). That is
Then is bounded in . That is
for some constant . Denote . Then, by the state equation (2.1) and the constraints (2.2), we have
Then (2.1)-(2.2), and Poincaré’s inequality imply
and consequently
for some constant , . That is, is bounded in . Then, by Sobolev’s imbedding theorem, is bounded and equicontinuous in .
Thus, Eberlein-Shmulyan’s theorem and Arzelá-Ascoli’s theorem (see Chapter V, Appendix 4 and Chapter III, Section 3 in [6], for example), we can suppose that
and
for some and . One can easily see that satisfies (2.1) and (2.2). Thus, . Moreover,
Therefore is a solution to Problem (). We call it an optimal pair of Problem ().
II. Pontryagin’s maximum principle for the optimal pair. We now apply Lemma 4.1 - Pontryagin’s maximum principle to Problem (). We can easily verify that all the conditions posed in Section 3 hold. For example, conditions on state constraints and the local existence of a dominating integrable function (see (3.1)) hold. More precisely, let
Then Ω is a manifold of dimensional 2. While the state constraints (2.2) is equivalent to .
On the other hand, for any and , if we choose , then the condition (4.1) corresponding to (2.1) holds.
Now, by Lemma 4.1, the optimal pair satisfies the following Pontryagin maximum principle: there exists a and a solution to the following adjoint equation:
such that the following conditions hold:
-
(i)
we have the following non-trivial condition:
(4.22) -
(ii)
the maximum condition:
(4.23) -
(iii)
the transversality condition
(4.24)
III. Simplification. By (4.21), , are constants and
Then is an m th degree polynomial.
By (4.23), we have
If , we get
Therefore, since is a polynomial, we have the following:
Consequently, by (4.25),
This contradicts the non-trivial condition (4.22). Therefore, we must have . Without loss of generality, we can suppose that . Then it follows from (4.26) that
Combining the above with (4.24), we see that the corresponding function is continuously differentiable on and
Moreover, can be expressed as
where and is an th degree polynomial.
We claim that . Otherwise, . Then it follows from (4.31) and
that
for some constant , .
Then (4.30) and (4.9) imply . This contradicts the nontrivial condition. Therefore and we can rewrite as
where is an th degree polynomial such that
IV. Conclusion. By (4.32),
Thus we see that
where is defined by (1.7). Moreover, by (4.35), we can determine , and . Finally, using (4.32) again, we get
By Lemma 4.1, we have the following:
Then Theorem 1.1 follows from (2.7). □
Remark 4.1 If , instead of (4.34)-(4.35), we get
with
and
The above equations imply the results in [1] for .
On the other hand, since is obviously continuous respect to , we can certainly get from Theorem 1.1.
5 Results for some special cases
We prove Corollaries 1.2-1.6 in this section.
Proof of Corollary 1.2 By (1.9), we have
Thus (1.11) and (4.9) imply , . Then (1.12) implies
Consequently,
and
Therefore, the extremal functions to Problem () are with
while
□
Proof of Corollary 1.3 By (1.7) and (1.9), we have
Then it follows easily from (1.11) that
Then, by (1.12),
Thus
Therefore
and the extremal functions to Problem () are
□
Proof of Corollary 1.4 By (1.7) and (1.9), we have
Then by (1.11)-(1.12), and (1.10),
Finally, (1.19) and (1.20) follow from direct calculations. We get the proof. □
Proof of Corollary 1.5 By (1.7) and (1.9), we have
Then by (1.11)-(1.12), and (1.10),
Finally, (1.21) and (1.22) follow from direct calculations. We get the proof. □
Proof of Corollary 1.6 First, we get (1.24) from (1.14), (1.16), (1.19), and (1.22).
By (4.7), (). Thus, if , we get from (1.18) and (1.21)
Moreover, using (4.6)-(4.7), we get (1.25):
Now (1.26) follows directly from (1.25). □
References
Kalyabin GA: Sharp constants in one-dimensional inequalities of Poincaré type. Math. Notes 2011,90(4):634–636.
Gerasimov IV, Nazarov AI: Best constant in a three-parameter Poincaré inequality. J. Math. Sci. 2011,179(1):80–99. 10.1007/s10958-011-0583-4
Oshime Y, Watanabe K:The best constant of Sobolev inequality corresponding to Dirichlet boundary value problem II. Tokyo J. Math. 2011,34(1):115–133. 10.3836/tjm/1313074446
Talenti G: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. (4) 1976, 110: 353–372. 10.1007/BF02418013
Berkovitz LD: Optimal Control Theory. Springer, New York; 1983.
Yosida K: Functional Analysis. 6th edition. Springer, Berlin; 1980.
Acknowledgements
This work was supported in part by 973 Program (No. 2011CB808002) and NSFC (No. 11371104).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Lou, H. Sharp constants for inequalities of Poincaré type: an application of optimal control theory. J Inequal Appl 2014, 523 (2014). https://doi.org/10.1186/1029-242X-2014-523
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-523