1. Introduction
Let
be a compact Hausdorff space,
be all the continuous functions on
. There are at least
points on
,
. Define
as
order Chebyshev system if for arbitrary vector
,
has at most
zero points on Q [1].
Define the linear subspace
![](https://www.scirp.org/html/3-7400739\5e23797e-3ec7-41ba-a89a-48b133246bcf.jpg)
which is spanned by
order Chebyshev system as a Haar subspace of
[1].
In this paper, let
and
be mutually complementary
function. The definition and properties of
function can be seen in [2]. The Orlicz space
corresponding to the N function
consists of all Lebesgue measurable functions
on
, of which the Orlicz norm
(1.1)
is finite, here
![](https://www.scirp.org/html/3-7400739\2baafa99-f810-4a6d-8208-b535105cadf8.jpg)
is the modulus of
corresponding to
. According to [2], the Orlicz norm (1.1) can also be calculated by
(1.2)
and there exists an
, satisfying
shch that
![](https://www.scirp.org/html/3-7400739\edaaff05-7a59-4bc1-aa52-d2fbfdb3929b.jpg)
here
is the derivative of
on the right. Equivalent to the Orlicz norm (1.1), in Orlicz space
, the Luxemburg norm is defined by
. (1.3)
In the sequel
and
will denote the Orlicz space with Orlicz norm (1.1) and the Luxemburg norm (1.3) respectively.
It is well known that
.
2. Main Results
Now we choose
and
is a Haar subspace of
, then we obtain Theorem 1. Let
be
function satisfying
condition, of which the derivative on the right
is continuous and strictly monotone increasing,
,
, if
is the best approximator in the mean of
in
for the Orlicz norm
or the Luxemburg norm
, then there exist at least
different zero points of
in
.
In order to prove this theorem, first we state the following two lemmas.
Lemma 1. [3-5]. Let
be N function satisfying
condition, of which the derivative on the right
is continuous and strictly monotone increasing, F is a linear subspace of
,
then
is the best approximator in the mean of
in
for the Luxemburg norm
, if and only if for arbitrary function
,
holds true.
Lemma 2. [4,5]. Under the conditions of lemma 1,
is the best approximator in the mean of
in
for the Orlicz norm
, if and only if for arbitrary function
,
holds true, here
satisfies
.
Proof of Theorem 1. We prove first the case of the Luxemburg norm. Here we take reduction to absurdity. Assume there exist at most
different zero points
of
in
. Based on
, we choose
points in
, such that
, here
,
. From lemma 1 we get
![](https://www.scirp.org/html/3-7400739\fc5a38a2-4c90-4934-b83f-894db7712854.jpg)
.
For
, the above can be deduced as following
![](https://www.scirp.org/html/3-7400739\c23f8349-fb25-48a0-a6eb-433bf43aa5b8.jpg)
here every
or
,
![](https://www.scirp.org/html/3-7400739\275ca243-fbe6-4047-929d-45b1746fddb7.jpg)
According to the theory of system of linear equationswe have that
, hence the transposed system of equations
,
also has a nonzero solution
. Set
, then
for some
. On the other hand,
![](https://www.scirp.org/html/3-7400739\9f5359a2-37e7-450d-8968-1aefa0e8047d.jpg)
Since
is the derivative of
function
on the right, according to the properties of
function (see [2]) and the hypothesis of
, we obtain
.
The above shows that there exist zero points of the continuous function
in every interval
, that is to say,
has at least
different zero points in interval
. Since
is
order Chebyshev system, we get
, Together with the previous result, we get a contradiction.
In an analogous way, following lemma 2 we can also prove the case of the Orlicz norm.
In the sequel we choose
,
,
, then the Haar subspace of
is
, consists of all algebraic polynomials of order not larger than
. For
, in order to solve the problem of best approximation of
with
in Orlicz space, actually we just need to consider the problem of the minimal norm of monic polynomials of order
in Orlicz space, that is, to consider the extreme value problems as following
; (2.1)
. (2.2)
The similar problems in
space has not been completely solved except
(see [6]). In Orlicz spaces the problems have not been studied yet. Here we obtain Theorem 2. Let
be
function satisfying
condition, its graph do not contain any straight line segment, its derivative on the right
be continuous and strictly monotone increasing, then 1) The extreme value problems (2.1) and (2.2) have unique solution respectively, that is, there exist unique group
and
, shch that
![](https://www.scirp.org/html/3-7400739\d26bfa4e-d058-4398-8ba5-8fae2ce27e7b.jpg)
and
![](https://www.scirp.org/html/3-7400739\cefac5b4-6924-4d66-ad38-044a6bfe6911.jpg)
satisfy
;
here
and
depend on ![](https://www.scirp.org/html/3-7400739\8271c7c4-786d-4aea-97bd-1c4ce83a2683.jpg)
function
corresponding to the Orlicz space.
2) The extremal functions
and
have n different zero points in
respectively.
3) The odevity of extremal functions
and
is same to the odevity of natural number
.
Proof. 1) From [2] (pp. 160-168), we know, under the conditions of theorem 2, Orlicz spaces
and
are strictly convex. Since
is a finite dimensional linear subspace, (1) is obvious by the theory of best approximation (see [1], pp. 1-10).
2) From Theorem 1 we can easily obtain it.
3) Since
function
is an even function, so
![](https://www.scirp.org/html/3-7400739\adaec250-cc90-4462-a40f-1d224a1a3b16.jpg)
Analogously,
![](https://www.scirp.org/html/3-7400739\29102ef6-fb9e-45e0-8868-485dc1cb20c6.jpg)
holds true. Hence, from (1), the uniqueness of the extremal function, we obtain
;
.
By these, (3) follows.
3. Acknowledgements
This work is supported by the National Natural Science Foundation of China under the contracts No. 11161033 and the Natural Science Foundation of Inner Mongolia Autonomous Region under the contracts No. 2009MS0105.
NOTES