- Research Article
- Open access
- Published:
The Best Constant of Sobolev Inequality Corresponding to Clamped Boundary Value Problem
Boundary Value Problems volume 2011, Article number: 875057 (2011)
Abstract
Green's function of the clamped boundary value problem for the differential operator
on the interval
is obtained. The best constant of corresponding Sobolev inequality is given by
. In addition, it is shown that a reverse of the Sobolev best constant is the one which appears in the generalized Lyapunov inequality by Das and Vatsala (1975).
1. Introduction
For ,
, let
be a Sobolev (Hilbert) space associated with the inner product
:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ1_HTML.gif)
The fact that induces the equivalent norm to the standard norm of the Sobolev (Hilbert) space of
th order follows from Poincaré inequality. Let us introduce the functional
as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ2_HTML.gif)
To obtain the supremum of (i.e., the best constant of Sobolev inequality), we consider the following clamped boundary value problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ3_HTML.gif)
Concerning the uniqueness and existence of the solution to , we have the following proposition. The result is expressed by the monomial :
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ4_HTML.gif)
Proposition 1.1.
For any bounded continuous function on an interval
, has a unique classical solution
expressed by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ5_HTML.gif)
where Green's function is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ6_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ7_HTML.gif)
is the determinant of
matrix
  
,
, and
.
With the aid of Proposition 1.1, we obtain the following theorem. The proof of Proposition 1.1 is shown in Appendices A and B.
Theorem 1.2.
-
(i)
The supremum
(abbreviated as
if there is no confusion) of the Sobolev functional
is given by
(1.7)
Concretely,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ9_HTML.gif)
(ii) is attained by
, that is,
.
Clearly, Theorem 1.2(i), (ii) is rewritten equivalently as follows.
Corollary 1.3.
Let , then the best constant of Sobolev inequality (corresponding to the embedding of
into
)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ10_HTML.gif)
is . Moreover the best constant
is attained by
, where
is an arbitrary complex number.
Next, we introduce a connection between the best constant of Sobolev- and Lyapunov-type inequalities. Let us consider the second-order differential equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ11_HTML.gif)
where . If the above equation has two points
and
in
satisfying
, then these points are said to be conjugate. It is wellknown that if there exists a pair of conjugate points in
, then the classical Lyapunov inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ12_HTML.gif)
holds, where . Various extensions and improvements for the above result have been attempted; see, for example, Ha [1], Yang [2], and references there in. Among these extensions, Levin [3] and Das and Vatsala [4] extended the result for higher order equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ13_HTML.gif)
For this case, we again call two distinct points and s2conjugate if there exists a nontrivial
solution of (1.12) satisfying
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ14_HTML.gif)
We point out that the constant which appears in the generalized Lyapunov inequality by Levin [3] and Das and Vatsala [4] is the reverse of the Sobolev best embedding constant.
Corollary 1.4.
If there exists a pair of conjugate points on with respect to (1.12), then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ15_HTML.gif)
where is the best constant of the Sobolev inequality (1.9).
Without introducing auxiliary equation and the existence result of conjugate points as [2, 4], we can prove this corollary directly through the Sobolev inequality (the idea of the proof origins to Brown and Hinton [5, page 5]).
Proof of Corollary 1.4.
Consider
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ16_HTML.gif)
In the second inequality, the equality holds for the function which attains the Sobolev best constant, so especially it is not a constant function. Thus, for this function, the first inequality is strict, and hence we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ17_HTML.gif)
Since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ18_HTML.gif)
we obtain the result.
Here, at the end of this section, we would like to mention some remarks about (1.12). The generalized Lyapunov inequality of the form (1.14) was firstly obtained by Levin [3] without proof; see Section 4 of Reid [6]. Later, Das and Vatsala [4] obtained the same inequality (1.14) by constructing Green's function for . The expression of the Green's function of Proposition 1.1 is different from that of [4]. The expression of [4, Theorem 2.1] is given by some finite series of and
on the other hand, the expression of Proposition 1.1 is by the determinant. This complements the results of [7–9], where the concrete expressions of Green's functions for the equation
but different boundary conditions are given, and all of them are expressed by determinants of certain matrices as Proposition 1.1.
2. Reproducing Kernel
First we enumerate the properties of Green's function of .
has the following properties.
Lemma 2.1.
Consider the following:
(1)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ19_HTML.gif)
(2)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ20_HTML.gif)
(3)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ21_HTML.gif)
(4)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ22_HTML.gif)
Proof.
For and
,
, we have from (1.5)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ23_HTML.gif)
For , noting the fact
, we have (1). Next, for
and
, we have from (2.5)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ24_HTML.gif)
Since , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ25_HTML.gif)
Note that subtracting the th row from
th row, the second equality holds. Equation
is shown by the same way. Hence, we have (2). For
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ26_HTML.gif)
where we used the fact ,
. So we have (3), and (4) follows from (3).
Using Lemma 2.1, we prove that the functional space associated with inner norm
is a reproducing kernel Hilbert space.
Lemma 2.2.
For any , one has the reproducing property
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ27_HTML.gif)
Proof.
For functions and
with
arbitrarily fixed in
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ28_HTML.gif)
Integrating this with respect to on intervals
and
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ29_HTML.gif)
Using (1), (2), and (4) in Lemma 2.1, we have (2.9).
3. Sobolev Inequality
In this section, we give a proof of Theorem 1.2 and Corollary 1.3.
Proof of Theorem 1.2 and Corollary 1.3.
Applying Schwarz inequality to (2.9), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ30_HTML.gif)
Note that the last equality holds from (2.9); that is, substituting (2.9), . Let us assume that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ31_HTML.gif)
holds (this will be proved in the next section). From definition of , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ32_HTML.gif)
Substituting in to the above inequality, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ33_HTML.gif)
Combining this and trivial inequality , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ34_HTML.gif)
Hence, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ35_HTML.gif)
which completes the proof of Theorem 1.2 and Corollary 1.3.
Thus, all we have to do is to prove (3.2).
4. Diagonal Value of Green's Function
In this section, we consider the diagonal value of Green's function, that is, . From Proposition 1.1, we have for
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ36_HTML.gif)
Thus, we can expect that takes the form
. Precisely, we have the following proposition.
Proposition 4.1.
Consider
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ37_HTML.gif)
Hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ38_HTML.gif)
where satisfy
.
To prove this proposition, we prepare the following two lemmas.
Lemma 4.2.
Let , where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ39_HTML.gif)
( satisfy
), then it holds that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ40_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ41_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ42_HTML.gif)
Lemma 4.3.
Let , where
, then it holds that (4.6) and
.
Proof of Proposition 4.1.
From Lemmas 4.2 and 4.3, and
satisfy BVP
(in case of
). So we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ43_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ44_HTML.gif)
Inserting (4.9) into (4.8), we have Proposition 4.1.
Proof of Lemma 4.2.
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ45_HTML.gif)
then differentiating   
times we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ46_HTML.gif)
At first, for , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ47_HTML.gif)
The first term vanishes because
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ48_HTML.gif)
The third term also vanishes because
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ49_HTML.gif)
Thus, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ50_HTML.gif)
Hence, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ51_HTML.gif)
by which we obtain (4.5). Next, for , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ52_HTML.gif)
Since , we have
. Thus, we have
. For
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ53_HTML.gif)
The first term vanishes because . Next, we show that the second term also vanishes. Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ54_HTML.gif)
Since , two rows, including the last row, coincide, and hence we have
. Thus, we have
. So we have obtained
. By the same argument, we have
. Hence, we have (4.6). Finally, we will show (4.7). For
, noting
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ55_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ56_HTML.gif)
Thus, we obtain . Hence we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ57_HTML.gif)
that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ58_HTML.gif)
This completes the proof of Lemma 4.2.
Proof of Lemma 4.3.
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ59_HTML.gif)
Differentiating times, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ60_HTML.gif)
For , noting
,
, and
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ61_HTML.gif)
Thus, we have (4.5). If , then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ62_HTML.gif)
Since , we have
. Hence, we have (4.6). If
, then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ63_HTML.gif)
This proves Lemma 4.3.
Appendices
A. Deduction of (1.5)
In this section, (1.5) in Proposition 1.1 is deduced. Suppose that has a classical solution . Introducing the following notations:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ64_HTML.gif)
is rewritten as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ65_HTML.gif)
Let the fundamental solution be expressed as
, where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ66_HTML.gif)
then satisfy
.
satisfies the initial value problem
,
.
is a unit matrix. Solving (A.2), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ67_HTML.gif)
or equivalently, for , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ68_HTML.gif)
Employing the boundary conditions (A.2), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ69_HTML.gif)
In particular, if , then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ70_HTML.gif)
On the other hand, using the boundary conditions (A.2) again, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ71_HTML.gif)
Solving the above linear system of equations with respect to ,
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ72_HTML.gif)
Substituting (A.9) into (A.7), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ73_HTML.gif)
Taking an average of the above two expressions and noting , we obtain (1.4), where Green's function
is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ74_HTML.gif)
Using properties , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ75_HTML.gif)
where is Kronecker's delta defined by
. Inserting these three relations into (A.11), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ76_HTML.gif)
Applying the relation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ77_HTML.gif)
where is any
regular matrix and
and
are any
matrices, we have (1.5).
B. Deduction of (1.6)
To prove (1.6), we show
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ78_HTML.gif)
Let . If (B.1) holds, substituting it to (1.5), replacing
with
,
with
, then we obtain (1.6). The case
is shown in a similar way. Let
be fixed, and let
. Then
satisfies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ79_HTML.gif)
On the other hand, let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ80_HTML.gif)
Differentiating times with respect to
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ81_HTML.gif)
For , noticing
, we have
. For
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ82_HTML.gif)
where we used . Similarly, for
, we have
. So
satisfies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2011-875057/MediaObjects/13661_2010_Article_63_Equ83_HTML.gif)
which is the same equation as (B.2). Hence, we have .
References
Ha C-W: Eigenvalues of a Sturm-Liouville problem and inequalities of Lyapunov type. Proceedings of the American Mathematical Society 1998, 126(12):3507–3511. 10.1090/S0002-9939-98-05010-2
Yang X: On inequalities of Lyapunov type. Applied Mathematics and Computation 2003, 134(2–3):293–300. 10.1016/S0096-3003(01)00283-1
Levin AJ: Distribution of the zeros of solutions of a linear differential equation. Soviet Mathematics 1964, 5: 818–821.
Das KM, Vatsala AS: Green's function for n-n boundary value problem and an analogue of Hartman's result. Journal of Mathematical Analysis and Applications 1975, 51(3):670–677. 10.1016/0022-247X(75)90117-1
Brown RC, Hinton DB: Lyapunov inequalities and their applications. In Survey on Classical Inequalities, Math. Appl.. Volume 517. Edited by: Rassias TM. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2000:1–25.
Reid WT: A generalized Liapunov inequality. Journal of Differential Equations 1973, 13: 182–196. 10.1016/0022-0396(73)90040-5
Kametaka Y, Yamagishi H, Watanabe K, Nagai A, Takemura K: Riemann zeta function, Bernoulli polynomials and the best constant of Sobolev inequality. Scientiae Mathematicae Japonicae 2007, 65(3):333–359.
Nagai A, Takemura K, Kametaka Y, Watanabe K, Yamagishi H: Green function for boundary value problem of 2M -th order linear ordinary differential equations with free boundary condition. Far East Journal of Applied Mathematics 2007, 26(3):393–406.
Kametaka Y, Watanabe K, Nagai A, Pyatkov S: The best constant of Sobolev inequality in an n dimensional Euclidean space. Scientiae Mathematicae Japonicae 2005, 61(1):15–23.
Author information
Authors and Affiliations
Corresponding author
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
Watanabe, K., Kametaka, Y., Yamagishi, H. et al. The Best Constant of Sobolev Inequality Corresponding to Clamped Boundary Value Problem. Bound Value Probl 2011, 875057 (2011). https://doi.org/10.1186/1687-2770-2011-875057
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-2770-2011-875057