Directory UMM :Journals:Journal_of_mathematics:GMJ:
Georgian Mathematical Journal
Volume 8 (2001), Number 2, 323–332
ASYMPTOTIC BEHAVIOR OF SINGULAR AND ENTROPY
NUMBERS FOR SOME RIEMANN–LIOUVILLE TYPE
OPERATORS
A. MESKHI
Abstract. The asymptotic behavior of the singular and entropy numbers
is established for the Erdelyi–K¨ober and Hadamard integral operators (see,
e.g., [15]) acting in weighted L2 spaces. In some cases singular value decompositions are obtained as well for these integral transforms.
2000 Mathematics Subject Classification: 47B06, 47B34, 47H50.
Key words and phrases: Singular numbers, entropy numbers, Riemann–
Liouville operators.
In this paper, we investigate the asymptotic behavior of singular and entropy
numbers for the following integral operators:
x
1 Z σ
(x − y σ )α−1 f (y) dy, x > 0, α > 0, σ > 0,
Iα,σ f (x) =
Γ(α)
0
(Erdelyi–K¨ober operator) and
xµ
1 Z
Hα f (x) =
Γ(α)
1
x
ln
y
¶α−1
f (y) dy, x > 1, α > 0,
(Hadamard operator) in some weighted L2 spaces. We get singular value decompositions for these integral transforms.
Analogous problems for the Riemann–Liouville operator
x
1 Z
(x − y)α−1 f (y) dy, α > 0,
Rα f (x) =
Γ(α)
0
were studied in [1]–[6]. We refer also to [7]–[8], where some powerful tools
were developed for establishing the asymptotics of singular numbers of certain pseudo-differential operators (see also [9] for some properties of singular
numbers for the weighted Riemann–Liouville operator Rα,v f (x) ≡ v(x)Rα f (x),
where α > 1/2).
Two-sided estimates of singular (approximation) numbers for the weighted
Rx
Hardy operator Hv,w f (x) = v(x) f (y)w(y) dy were given in [10]–[12] (for some
0
related topics concerning the weighted Volterra integral operators see [13], [14]).
c Heldermann Verlag www.heldermann.de
ISSN 1072-947X / $8.00 / °
324
A. MESKHI
Note that some mapping properties of the operators Iα,σ and Hα were established in [15].
Let A and B be infinite-dimensional Hilbert spaces. It is known that if
K : A → B is an injective compact linear operator, then there exist:
(a) an orthonormal basis {uj }Z+ in A;
(b) an orthonormal basis {vj }Z+ in B;
(c) a nonincreasing sequence {sj (K)}Z+ of positive numbers with limit 0 as
j → +∞ such that
Kuj = sj (K)vj , j ∈ Z+ .
The numbers sj (K) are known as singular numbers or s-numbers of the operator
K, the system {sj (K), uj , vj }j∈Z+ is called a singular system of K. For the
operator K the singular value decomposition
Kf =
∞
X
sj (K)(f, uj )A vj , f ∈ A,
j=0
is valid.
Let w be a measurable a.e. positive function on Ω ⊂ R+ . We denote by
L2w (Ω) the class of all measurable functions f : Ω → R+ for which
kf kL2w (Ω) =
µZ
|f (x)|2 w(x) dx
Ω
¶1/2
< ∞.
In the sequel by writing an ≈ bn for sequences of positive numbers an and bn
we mean that there exist positive constants c1 and c2 such that c1 ≤ an /bn ≤ c2
for all n ∈ N.
The following result is well-known (see [5]):
Theorem A. Let α > 0, β > −1, ϕ(t) = t−β e−t , ψ(t) = t−(α+β) e−t . Then
the singular system {sj (Rα ), uj , vj }j∈Z+ of the operator Rα : L2ϕ (R+ ) → L2ψ (R+ )
is given by
µ
¶
1/2
Γ(n + β + 1)
,
Γ(n + α + β + 1)
µ
¶1/2
n!
un (t) =
tβ L(β)
n (t),
Γ(n + β + 1)
¶1/2
µ
n!
tα+β L(α+β)
(t),
vn (t) =
n
Γ(n + α + β + 1)
sn (Rα ) =
and sn (Rα )/n−α/2 → 1 as n → ∞, where L(γ)
n is the Laguerre polynomial:
L(γ)
n (x)
=
n
X
k=0
(−1)
k
Ã
!
n + γ xk
, γ > −1, n ∈ Z+ .
n − k k!
(1)
ASYMPTOTIC BEHAVIOR OF SINGULAR AND ENTROPY NUMBERS
325
Theorem B ([4]). Let α > 0, λ > α − 1/2, λ 6= 0. Then the operator
Rα : L2ϕ (R+ ) → L2ψ (R+ ), where ϕ(x) = x1/2−λ (1 + x)2α , ψ(x) = x1/2−λ−α , has
the following singular system:
µ
Γ(n + λ − α + 1/2)
sn (Rα ) =
Γ(n + λ + α + 1/2)
λ
λ−1/2
λ
λ+α−1/2
un (t) = 2 an t
vn (t) = 2 bn t
(1 + t)
¶1/2
−λ−α−1/2
,
(2)
Cnλ
−λ−α−3/2
(1 + t)
µ
¶
1−t
,
1+t
Pn(λ−α−1/2,λ+α−1/2)
µ
¶
1−t
,
1+t
where
µ 2λ−1
¶
2
(n + λ)n! 1/2
an =
Γ(λ),
πΓ(n + 2λ)
¶1/2
µ
21−2λ (n + λ)n!Γ(n + 2λ)
,
bn =
Γ(n + λ − α + 1/2)Γ(n + λ + α + 1/2)
Cnλ (t) is the Gegenbauer polynomial
Cnλ (t) =
X
1 [n/2]
Γ(α + n − j)
(−1)j
(2t)n−2j ,
Γ(α) j=0
j!(n − 2j)!
and Pm(α,β) is the Jacobi polynomial
Pn(α,β) (t)
−n
=2
n
X
m=0
Ã
n+α
m
!Ã
!
n+β
(t − 1)n−m (t + 1)m , n ∈ Z+ .
n−m
Moreover, lim sn (Rα )/n−α = 1.
n→∞
Theorem C ([6]). The singular values of the operator Rα : L2 (0, 1) →
have the following asymptotics:
L2x−γ (0, 1)
sn (Rα ) ≈ n−α , 0 ≤ γ < α.
When γ = 0, the upper estimate in the previous statement was derived in
[1], [2], while the lower estimate was given in [2].
The following lemma follows immediately:
Lemma 1. Let ϕ, ψ, v and w be measurable a.e. positive functions on Ω ⊆
R+ . Then the operator A is compact from L2ϕ (Ω) to L2ψ (Ω) if and only if the
operator A1 f (x) = v 1/2 (x)A(f w−1/2 )(x) is compact from L2ϕw−1 (Ω) to L2ψv−1 (Ω).
Taking into account the definition of the singular system of the operator, we
easily derive the next statement.
Lemma 2. Let v and w be a.e. positive measurable functions on Ω ⊆ R+ .
A system {sj (A), uj , vj }j∈Z+ is a singular system for the operator A : L2ϕ (Ω) →
L2ψ (Ω) if and only if the operator A1 : L2ϕw−1 (Ω) → L2ψv−1 (Ω) has the singular
326
A. MESKHI
system {sj (A1 ), w1/2 uj , v 1/2 vj }j∈Z+ , where A1 f (x) = v 1/2 (x)A(f w−1/2 )(x) and
sj (A1 ) = sj (A).
Let Iα,σ f (x) = Iα,σ (f ρ)(x), where ρ(y) = y σ−1 , α > 0, σ > 0 and x > 0.
From the definition of compactness we easily deduce
Lemma 3. Let α > 0, σ > 0 and let Ω = (0, 1) or Ω = (0, ∞). Assume that
v and w are measurable a.e. positive functions on Ω. Then the operator Iα,σ
is compact from L2w (Ω) to L2v (Ω) if and only if Rα is compact from L2W (Ω) to
L2V (Ω), where W (x) = w(x1/σ )x1/σ−1 , V (x) = v(x1/σ )x1/σ−1 .
Now we prove the following statement:
Lemma 4. Let α > 0, σ > 0 and let v and w be measurable a.e. positive
functions on Ω, where Ω = (0, ∞) or Ω = (0, 1). Then for the singular system
{sj (Iα,σ }, uj , v j }j∈Z+ of the operator Iα,σ : L2w (Ω) → L2v (Ω) we have sj (Iα,σ ) =
σ −1 sj (Rα ), uj (x) = σ 1/2 uj (xσ ), v j (x) = σ 1/2 vj (xσ ), where {sj (Rα ), uj , vj }j∈Z+
is a singular system for the operator Rα : L2W (0, ∞) → L2V (0, ∞), with W (x) =
w(x1/σ )x1/σ−1 and V (x) = v(x1/σ )x1/σ−1 .
Proof. Let Ω = (0, ∞). Using the change of variable y = t1/σ , we have
x
1 Z σ
(Iα,σ uj )(x) =
(x − y σ )α−1 y σ−1 uj (y) dy
Γ(α)
0
=
x
σ 1/2 Z
Γ(α)
=σ
σ
−1/2 Zx
σ
(xσ − y σ )α−1 uj (y σ )y σ−1 dy =
(xσ − t)α−1 uj (t) dt
Γ(α)
0
−1/2
0
σ
(Rα uj )(x ) = sj (Rα )σ
−1/2
σ
vj (x ) = σ −1 sj (Rα )v j (x).
Further, the change of variable yields
Z∞
v j (x)v i (x)v(x) dx = σ
0
Z∞
vj (xσ )vi (xσ )V (xσ )xσ−1 dx
0
=
Z∞
vj (x)vi (x)V (x)dx = δij ,
0
where δij denotes Kronecker’s symbol.
Analogously, we have
Z∞
0
uj (x)ui (x)w(x) dx =
Z∞
uj (x)ui (x)W (x) dx = δij ,
0
Hence {v j } and {uj } are orthonormal systems in L2v (R+ ) and L2w (R+ ), respectively.
The case Ω = (0, 1) follows in a similar way.
ASYMPTOTIC BEHAVIOR OF SINGULAR AND ENTROPY NUMBERS
327
Theorem 1. Let α > 0, σ > 0 and 0 ≤ γ < α. Then there exist positive
constants c1 and c2 depending on α, σ and γ such that for the singular numbers
of the operator Iα,σ : L2x1−σ (0, 1) → L2xσ−1−γσ (0, 1) we have sn (Iα,σ ) ≈ n−α .
Proof. By Lemma 2 we have that sj (Iα,σ ) = sj (Iα,σ ), where Iα,σ acts from
L2xσ−1 (0, 1) to L2xσ−1−γσ (0, 1), while Lemma 4 yields sj (Iα,σ ) = 1/σsj (Rα ), where
Rα is the Riemann–Liouville operator acting from L2 (0, 1) to L2x−γ (0, 1). Theorem C completes the proof.
Theorem 2. Let α > 0, σ > 0, λ > α − 1/2 and λ 6= 0. Assume that
w(x) = x1−σ/2−σλ (1 + xσ )2α , v(x) = x3σ/2−σλ−σα−1 . Then the operator Iα,σ :
L2w (0, ∞) → L2v (0, ∞) has a singular system {sn (Iα,σ ), un , v n }n∈Z+ , where
!
. µ Γ(n + λ − α + 1/2) 1/2
sn (Iα,σ ) = 1 σ
Γ(n + λ + α + 1/2)
,
un (x) = σ 1/2 2λ an xσ(λ+1/2)−1 (1 + xσ )−λ−α−1/2 Cnλ
v n (x) = σ
1/2 λ
2 bn x
σ(λ+α−1/2)
σ −λ−α−3/2
(1 + x )
µ
¶
1 − xσ
,
1 + xσ
Pn(λ−α−1/2,λ+α−1/2)
µ
¶
1 − xσ
,
1 + xσ
Cnλ (x) and Pn(α,β) are Gegenbauer and Jacobi polynomials, respevetively (see
Theorem B), and an , bn are the constants defined in Theorem B. Moreover,
lim sn (Iα,σ )/n−α = 1/σ.
n→∞
Proof. Lemma 2 implies that the singular system {sm (Iα,σ ), um , v m }m∈Z+ of the
map Iα,σ : L2w (0, ∞) → L2v (0, ∞) coincides with the singular system {sm (Iα,σ ), uem ,
vem }m∈Z+ of the map Iα,σ : L2W (0, ∞) → L2V (0, ∞), where W (x) = w(x)x2(σ−1) ,
V (x) = v(x), uem (x) = x1−σ um (x), vem (x) = v m (x). Further, by Lemma 4 we
have that the operator Rα : L2ϕ (0, ∞) → L2ψ (0, ∞) (ϕ(x) = x1/2−λ (1 + x)2α ,
ψ(x) = x1/2−λ−α ) has a singular system {sm (Rα ), um , vm }m∈Z+ , where
sm (Rα ) = σsm (Iασ ) ≈ m−α , um (x) = σ 1/2 xσ−1 um (xσ ), v m (x) = σ 1/2 vm (xσ ).
Analogously, we have
σ
Theorem 3. Let α > 0, σ > 0, β > −1, w(y) = y −σβ−σ+1 e−y and v(y) =
−σ(α+β)+σ−1 −y σ
y
e . Then the operator Iα,σ : L2w (0, ∞) → L2v (0, ∞) has a singular
system {sm (Iα,σ ), um , v m }m∈Z+ defined by
. µ
¶
1/2
Γ(n + β + 1)
sn (Iα,σ ) = 1 σ
,
Γ(n + α + β + 1)
¶1/2
µ
n!
σ
L(β)
un (x) = σ 1/2 xσ−1+σβ
n (x ),
Γ(n + β + 1)
¶1/2
µ
n!
1/2
xσ(α+β) Ln(α+β) (xσ ),
v n (x) = σ
Γ(n + α + β + 1)
328
A. MESKHI
where L(γ)
n (x) is a Laguerre polynomial (see Theorem A). Moreover,
lim sn (Iα,σ )/n−α/2 = 1/σ.
n→∞
Now we consider the operator of Hadamard’s type Hα .
The following lemma holds:
Lemma 5. Let α > 0 and (v, w) be a pair of weights defined on (1, ∞). Then
{sm (Lα ), um , v m }m∈Z+ is a singular system for the operator Lα : L2w (1, ∞) →
L2v (1, ∞), where
xµ
¶
x α−1
dy
1 Z
ln
f (y)
,
Lα f (x) =
Γ(α)
y
y
1
if and only if the Riemann–Liouville operator Rα : L2W (0, ∞) → L2V (0, ∞)
has a singular system {sm (Rα ), uem , vem }m∈Z+ , where W (x) = w(ex )ex , V (x) =
v(ex )ex , sm (Rα ) = sm (Lα ), uem (x) = um (ex ), vem (x) = v m (ex ).
Proof. Using the change of variable y = ez we have
xµ
1 Z
(Lα um )(x) =
Γ(α)
1
=
1
Γ(α)
ln
x
y
¶α−1
um (y)
dy
y
Zln x
0
(ln x − z)α−1 uem (z) dz = (Rα uem )(ln x) = ve(ln x)sj (Rα ).
On the other hand,
Z∞
0
uei (x)uej (x)W (x) dx =
Z∞
0
Z∞
ui (ex )uj (ex )w(ex )ex dx = δij ,
0
vei (x)vej (x)V (x) dx =
Z∞
v i (y)v j (y)v(y) dy = δij ,
1
where δij is Kronecker’s symbol.
Lemmas 2 and 5 yield the following statements:
Theorem 4. Let α > 0, β > −1, w(x) = ln−β x, v(x) = x−2 ln−(α+β) x. Then the
operator Hα : L2w (1, ∞) → L2v (1, ∞) has a singular system {sn (Hα ), uen , ven }n∈Z+ ,
where sn (Hα ) = sn (Rα ) (sm (Rα ) is defined by (1)),
¶
µ
1/2
n!
β
L(β)
uen (x) = x
n (ln x) ln x,
Γ(n + β + 1)
¶1/2
µ
n!
Ln(α+β) (ln x) lnα+β x,
ven (x) =
Γ(n + α + β + 1)
−1
and L(γ)
n is the Laguerre polynomial. Moreover,
lim sn (Hα )/n−α/2 = 1.
n→∞
ASYMPTOTIC BEHAVIOR OF SINGULAR AND ENTROPY NUMBERS
329
Theorem 5. Let λ > α− 21 , λ 6= 0. Then the operator Hα : L2w (1, ∞) → L2v (1, ∞)
has a singular system {sn (Hα ), uem , ven }m∈Z+ , where v(x) = x−1 ln1/2−λ−α x,
w(x) = (1 + ln x)2α x ln1/2−λ x, sn (Hα ) = sn (Rα ) (sn (Rα ) is defined by (2)),
µ
¶
1 − ln x −1 λ−1/2
uen (x) = 2 an (1 + ln x)
x ln
x,
1 + ln x
¶
µ
λ
−λ−α−3/2 (λ−α−1/2,λ+α−1/2) 1 − ln x
lnλ+α−1/2 x.
vn (x) = 2 bn (1 + ln x)
Pn
1 + ln x
λ
−λ−α−1/2
Cnλ
Moreover,
lim sn (Hα )/n−α = 1.
n→∞
Definition 1. Let X and Y be Banach spaces and let T be a bounded linear
map from X to Y . Then for all k ∈ N , the k th entropy number ek (T ) of T is
defined by
½
ek (T ) = inf ε > 0 : T (UX ) ⊂
k−1
2[
¾
(bi + εUY ) for some b1 , . . . , b2k−1 ∈ Y ,
j=1
where UX and UY are the closed unit balls in X and Y , respectively.
It is easy to verify that kT k = e1 (T ) ≥ e2 (T ) ≥ · · · ≥ 0.
For other properties of the entropy numbers see, e.g., [16].
It is known (see, e.g., [15]), that if T is a compact linear map of a Hilbert
space X into a Hilbert space Y , then sn (T ) ≈ n−λ if and only if en (T ) ≈ n−λ .
Hence we can get asymptotics of the entropy numbers for the operators Iα,σ
and Hα . In particular, Theorems 1, 2 and 3 yield
Proposition 1. Let α > 0 and σ > 0. Then the following statements are
valid:
(a) If 0 ≤ γ < α, then the asymptotic formula
en (Iα,σ ) ≈ n−α
(3)
holds for the operator Iα,σ : L2x1−σ (0, 1) → L2xσ−1−γσ (0, 1).
(b) Assume that λ > α − 1/2 and λ 6= 0. Then the asymptotic formula (3)
is valid for the map Iα,σ : L2w (0, ∞) → L2v (0, ∞), where w(x) = x−σ/2−σλ+1 (1 +
xσ )2α and v(x) = x3σ/2−σλ−σα−1 .
(c) For the entropy numbers en (Iα,σ ) of the operator Iα,σ : L2w (0, ∞) →
σ
σ
L2v (0, ∞) (w(y) = y −σβ−σ+1 e−y , v(y) = y −σ(α+β)+σ−1 e−y , β > −1) we have
en (Iα,σ ) ≈ n−α/2 .
Let T : L2w → L2v be a compact linear operator. We shall denote by n(t, T )
the distribution function of singular values for the operator T , i.e.,
n
o
n(t, T ) ≡ ♯ k : sk (T ) > t .
330
A. MESKHI
Theorem 6. Let α > 1/2 and σ > 0. Assume that v is a measurable a.e.
positive function of (0, ∞) satisfying the condition
Xµ
k∈Z
2(k+1)/σ
Z
v(y)y (2α−1)σ dy
2k/σ
¶1/(2α)
< ∞.
(4)
Then for the operator Iα,σ : L2w (R+ ) → L2v (R+ ), where w(x) = x1−σ , the asymptotic formula
1/α
lim t
t→0
∞
σ −1/α+1 Z 1/(2α)
v
(y)y (1−σ)(1/(2α)−1) dy
n(t, Iα,σ ) =
π
0
holds.
Proof. Condition (4) implies that
2k+1
Xµ Z
k∈Z
2
v (y)y
2α−1
dy
2k
¶1/(2α)
< ∞,
(5)
where v(x) ≡ [v(x1/σ )x1/σ−1 ]1/2 . By virtue of Theorem 1 from [9] we have that
for the operator Rα,v : L2 (R+ ) → L2 (R+ ), where Rα,v f (x) ≡ v(x)Rα f (x), the
asymptotic formula
lim t1/α n(t, Rα,v ) = π −1
t→0
Z
v 1/α (x) dx
R+
holds. Further, using Lemmas 1, 2 and 3 we obtain that sk (Rα,v ) = σ · sk (Iα,σ ).
Consequently,
lim t1/α n(t, Iα,σ ) = σ −1/α lim t1/α n(t, Rα,v )
t→0
= σ −1/α
1
π
Z∞
t→0
(v(x))1/α dx =
0
∞
σ −1/α+1 Z
(v(y))1/(2α) y (1−σ)(1/(2α)−1) dy.
π
0
Theorem 7. Let α > 1/2 and σ > 0. Suppose that v is a measurable a.e.
positive function on (0, 1) satisfying the condition
ak+1
Xµ Z
k∈Z
v(x)x
−σ+2ασ
σ −1
(1 − x )
ak
dx
¶1/(2α)
< ∞, ak = (2k /(2k + 1))1/σ . (6)
Then for the operator Iα,σ acting from L2w (0, 1) into L2v (0, 1), where w(x) =
(1 − xσ )2α x1−σ , we have
1/α
lim t
t→0
1
σ −1/α+1 Z 1/(2α)
v
(x)x(1−σ)(1/(2α)−1) (1 − xσ )−1 dx.
n(t, Iα,σ ) =
π
0
ASYMPTOTIC BEHAVIOR OF SINGULAR AND ENTROPY NUMBERS
331
Proof. Using Lemmas 1–4 we have that sn (Iα,σ ) = 1/σsn (Rα ), where Rα is the
Riemann–Liouville operator acting from L2w1 (0, 1) into L2v1 (0, 1), with
w1 (x) = w(x1/σ )x1−1/σ ,
v1 (x) = v(x1/σ )x1/σ−1 .
Further, by the change of variable x = y/(1 − y) we obtain that the operator
Rα : L2w2 (R+ ) → L2v2 (R+ ) has singular numbers sn (Rα ) = σsn (Iα,σ ), where
w2 (x) = w1 (x/(x + 1))(x + 1)−2 , v2 (x) = v1 (x/(x + 1))(x + 1)−2 and Rα f (x) =
ψ(x)Rα (f ϕ)(x) with ψ(x) = (x + 1)−α+1 , ϕ(x) = (x + 1)−1−α . Hence for the
singular numbers of the Riemann–Liouville operator Rα : L2w3 (R+ ) → L2v3 (R+ )
we derive sn (Rα ) = σsn (Iα,σ ), where w3 (x) = w2 (x)(x + 1)2α+2 = 1 and v3 (x) =
v2 (x)(x + 1)2−2α . Further, condition (6) implies (5) with v3 instead of v. Thus,
taking into account Theorem 1 from [9], we arrive at
lim t1/α n(t, Iα,σ ) = σ −1/α lim t1/α n(t, Rα )
t→0
= σ −1/α
1
π
Z∞
t→0
1/α
v4 (x) dx =
0
1
σ −1/α+1 Z
π
(v(y))1/(2α) y (1−σ)(1/(2α)−1) (1 − y σ )−1 dy.
0
In the last equality we used the change of variable twice.
Finally, we have
Theorem 8. Let α > 1/2 and let v be a measurable a.e. positive function
on (1, ∞) satisfying the condition
ak+1
Xµ Z
k∈Z
v(x) ln
2α−1
x dx
ak
¶1/(2α)
k
< ∞, ak = e2 .
(7)
Then for the operator Hα : L2w (1, ∞) → L2v (1, ∞), where w(x) = ex , the asymptotic formula
1/α
lim t
t→0
∞
1 Z 1/(2α)
n(t, Hα,σ ) =
v
(x)x1/(2α)−1 dy
π
(8)
1
holds.
Proof. Taking into account Lemmas 2 and 5 we obtain that sn (Rα ) = sn (Hα ),
where Rα is the Riemann–Liouville operator acting from L2 (R+ ) into L2v1 (R+ ),
v1 (x) = v(ex )ex . By condition (7), Theorem 1 from [9] and the change of
variable x = ey we conclude that (8) holds.
Acknowledgement
The work was partially supported by Grant No. 1.7 of the Georgian Academy
of Sciences.
332
A. MESKHI
References
1. V. Faber and G. M. Wing, Singular values of fractional integral operators: a unification
of theorems of Hille, Tamarkin, and Chang. J. Math. Anal. Appl. 120(1986), 745–760.
´, Asymptotic behavior of the singular value of fractional integral oper2. M. R. Dostenic
ators. J. Math. Anal. Appl. 175(1993), 380–391.
3. J. Baumeister, Stable solution of inverse problems. Vieweg and Sohn, Braunschweig/Wiesbaden, 1987.
4. R. Gorenflo and S. Samko, On the dependence of asymptotics of s-numbers of fractional integration operators on weight functions. Preprint No. A-3/96, Freie Universit¨
at
Berlin, Fachbereich Mathematik und Informatik, Serie A, Mathematik, 1996.
5. R. Gorenflo and Vu Kim Tuan, Singular value decomposition of fractional integration
operators in L2 – spaces with weights. J. Inv. Ill– Posed Problems 3(1995), No. 1, 1–9.
6. R. Gorenflo and Vu Kim Tuan, Asymptotics of singular values of fractional integration operators. Preprint No. A-3/94, Freie Universit¨
at Berlin, Fachbereich Mathematik
und Informatik, Serie A, Mathematik, 1994.
7. M. Sh. Birman and M. Solomyak, Estimates for the singular numbers of integral
operators. (Russian) Uspekhi Mat. Nauk 32(1997), No. 1, 17–82; English translation:
Russian Math. Surveys 32(1977).
8. M. Sh. Birman and M. Solomyak, Asymptotic behavior of the spectrum differential
operators with anisotropically homogeneous symbols. (Russian) Vestnik Leningrad. Univ.
13(1977), 13–21; English translation: Vestnik Leningrad Univ. Math. 10(1982).
9. J. Newmann and M. Solomyak, Two-sided estimates on singular values for a class of
integral operators on the semi-axis. Integral Equations Operator Theory 20(1994), 335–
349.
10. D. E. Edmunds, W. D. Evans, and D. J. Harris, Approximation numbers of certain
Volterra integral operators. J. London Math. Soc. 37(1988), No. 2, 471–489.
11. D. E. Edmunds, W. D. Evans, and D. J. Harris, Two-sided estimates of the approximation numbers of certain Volterra integral operators. Studia Math. 124(1997), No. 1,
59–80.
12. D. E. Edmunds, R. Kerman, and J. Lang, Remainder estimates for the approximation numbers of weighted Hardy operators acting on L2 . Research Report No: 2000-11,
University of Sussex at Brighton, 2000.
13. A. Meskhi, On the measure of non-compactness and singular numbers for the Volterra
integral operators. Proc. A. Razmadze Math. Inst. 123(2000), 162–165.
14. A. Meskhi, On the singular numbers for some integral operators. Revista Mat. Comp.
14(2001), No. 2.
15. S. G. Samko, A. A. Kilbas, and O. I. Marichev, Integrals and derivatives. Theory
and Applications. Gordon and Breach Science Publishers, London–New York, 1993.
16. D. E. Edmunds and H. Triebel, Function spaces, entropy numbers, differential operators. Cambridge University Press, Cambridge, 1996.
17. B. Carl, Inequalities of Bernstein–Jackson type and the degree of compactness of operators in Banach spaces. Ann. Inst. Fourier 35(1985), 79–118.
(Received 20.03.2001)
Author’s address:
A. Razmadze Mathematical Institute, Georgian Academy of Sciences
1, M. Aleksidze St., Tbilisi 380093, Georgia
E-mail: meskhi@rmi.acnet.ge
Volume 8 (2001), Number 2, 323–332
ASYMPTOTIC BEHAVIOR OF SINGULAR AND ENTROPY
NUMBERS FOR SOME RIEMANN–LIOUVILLE TYPE
OPERATORS
A. MESKHI
Abstract. The asymptotic behavior of the singular and entropy numbers
is established for the Erdelyi–K¨ober and Hadamard integral operators (see,
e.g., [15]) acting in weighted L2 spaces. In some cases singular value decompositions are obtained as well for these integral transforms.
2000 Mathematics Subject Classification: 47B06, 47B34, 47H50.
Key words and phrases: Singular numbers, entropy numbers, Riemann–
Liouville operators.
In this paper, we investigate the asymptotic behavior of singular and entropy
numbers for the following integral operators:
x
1 Z σ
(x − y σ )α−1 f (y) dy, x > 0, α > 0, σ > 0,
Iα,σ f (x) =
Γ(α)
0
(Erdelyi–K¨ober operator) and
xµ
1 Z
Hα f (x) =
Γ(α)
1
x
ln
y
¶α−1
f (y) dy, x > 1, α > 0,
(Hadamard operator) in some weighted L2 spaces. We get singular value decompositions for these integral transforms.
Analogous problems for the Riemann–Liouville operator
x
1 Z
(x − y)α−1 f (y) dy, α > 0,
Rα f (x) =
Γ(α)
0
were studied in [1]–[6]. We refer also to [7]–[8], where some powerful tools
were developed for establishing the asymptotics of singular numbers of certain pseudo-differential operators (see also [9] for some properties of singular
numbers for the weighted Riemann–Liouville operator Rα,v f (x) ≡ v(x)Rα f (x),
where α > 1/2).
Two-sided estimates of singular (approximation) numbers for the weighted
Rx
Hardy operator Hv,w f (x) = v(x) f (y)w(y) dy were given in [10]–[12] (for some
0
related topics concerning the weighted Volterra integral operators see [13], [14]).
c Heldermann Verlag www.heldermann.de
ISSN 1072-947X / $8.00 / °
324
A. MESKHI
Note that some mapping properties of the operators Iα,σ and Hα were established in [15].
Let A and B be infinite-dimensional Hilbert spaces. It is known that if
K : A → B is an injective compact linear operator, then there exist:
(a) an orthonormal basis {uj }Z+ in A;
(b) an orthonormal basis {vj }Z+ in B;
(c) a nonincreasing sequence {sj (K)}Z+ of positive numbers with limit 0 as
j → +∞ such that
Kuj = sj (K)vj , j ∈ Z+ .
The numbers sj (K) are known as singular numbers or s-numbers of the operator
K, the system {sj (K), uj , vj }j∈Z+ is called a singular system of K. For the
operator K the singular value decomposition
Kf =
∞
X
sj (K)(f, uj )A vj , f ∈ A,
j=0
is valid.
Let w be a measurable a.e. positive function on Ω ⊂ R+ . We denote by
L2w (Ω) the class of all measurable functions f : Ω → R+ for which
kf kL2w (Ω) =
µZ
|f (x)|2 w(x) dx
Ω
¶1/2
< ∞.
In the sequel by writing an ≈ bn for sequences of positive numbers an and bn
we mean that there exist positive constants c1 and c2 such that c1 ≤ an /bn ≤ c2
for all n ∈ N.
The following result is well-known (see [5]):
Theorem A. Let α > 0, β > −1, ϕ(t) = t−β e−t , ψ(t) = t−(α+β) e−t . Then
the singular system {sj (Rα ), uj , vj }j∈Z+ of the operator Rα : L2ϕ (R+ ) → L2ψ (R+ )
is given by
µ
¶
1/2
Γ(n + β + 1)
,
Γ(n + α + β + 1)
µ
¶1/2
n!
un (t) =
tβ L(β)
n (t),
Γ(n + β + 1)
¶1/2
µ
n!
tα+β L(α+β)
(t),
vn (t) =
n
Γ(n + α + β + 1)
sn (Rα ) =
and sn (Rα )/n−α/2 → 1 as n → ∞, where L(γ)
n is the Laguerre polynomial:
L(γ)
n (x)
=
n
X
k=0
(−1)
k
Ã
!
n + γ xk
, γ > −1, n ∈ Z+ .
n − k k!
(1)
ASYMPTOTIC BEHAVIOR OF SINGULAR AND ENTROPY NUMBERS
325
Theorem B ([4]). Let α > 0, λ > α − 1/2, λ 6= 0. Then the operator
Rα : L2ϕ (R+ ) → L2ψ (R+ ), where ϕ(x) = x1/2−λ (1 + x)2α , ψ(x) = x1/2−λ−α , has
the following singular system:
µ
Γ(n + λ − α + 1/2)
sn (Rα ) =
Γ(n + λ + α + 1/2)
λ
λ−1/2
λ
λ+α−1/2
un (t) = 2 an t
vn (t) = 2 bn t
(1 + t)
¶1/2
−λ−α−1/2
,
(2)
Cnλ
−λ−α−3/2
(1 + t)
µ
¶
1−t
,
1+t
Pn(λ−α−1/2,λ+α−1/2)
µ
¶
1−t
,
1+t
where
µ 2λ−1
¶
2
(n + λ)n! 1/2
an =
Γ(λ),
πΓ(n + 2λ)
¶1/2
µ
21−2λ (n + λ)n!Γ(n + 2λ)
,
bn =
Γ(n + λ − α + 1/2)Γ(n + λ + α + 1/2)
Cnλ (t) is the Gegenbauer polynomial
Cnλ (t) =
X
1 [n/2]
Γ(α + n − j)
(−1)j
(2t)n−2j ,
Γ(α) j=0
j!(n − 2j)!
and Pm(α,β) is the Jacobi polynomial
Pn(α,β) (t)
−n
=2
n
X
m=0
Ã
n+α
m
!Ã
!
n+β
(t − 1)n−m (t + 1)m , n ∈ Z+ .
n−m
Moreover, lim sn (Rα )/n−α = 1.
n→∞
Theorem C ([6]). The singular values of the operator Rα : L2 (0, 1) →
have the following asymptotics:
L2x−γ (0, 1)
sn (Rα ) ≈ n−α , 0 ≤ γ < α.
When γ = 0, the upper estimate in the previous statement was derived in
[1], [2], while the lower estimate was given in [2].
The following lemma follows immediately:
Lemma 1. Let ϕ, ψ, v and w be measurable a.e. positive functions on Ω ⊆
R+ . Then the operator A is compact from L2ϕ (Ω) to L2ψ (Ω) if and only if the
operator A1 f (x) = v 1/2 (x)A(f w−1/2 )(x) is compact from L2ϕw−1 (Ω) to L2ψv−1 (Ω).
Taking into account the definition of the singular system of the operator, we
easily derive the next statement.
Lemma 2. Let v and w be a.e. positive measurable functions on Ω ⊆ R+ .
A system {sj (A), uj , vj }j∈Z+ is a singular system for the operator A : L2ϕ (Ω) →
L2ψ (Ω) if and only if the operator A1 : L2ϕw−1 (Ω) → L2ψv−1 (Ω) has the singular
326
A. MESKHI
system {sj (A1 ), w1/2 uj , v 1/2 vj }j∈Z+ , where A1 f (x) = v 1/2 (x)A(f w−1/2 )(x) and
sj (A1 ) = sj (A).
Let Iα,σ f (x) = Iα,σ (f ρ)(x), where ρ(y) = y σ−1 , α > 0, σ > 0 and x > 0.
From the definition of compactness we easily deduce
Lemma 3. Let α > 0, σ > 0 and let Ω = (0, 1) or Ω = (0, ∞). Assume that
v and w are measurable a.e. positive functions on Ω. Then the operator Iα,σ
is compact from L2w (Ω) to L2v (Ω) if and only if Rα is compact from L2W (Ω) to
L2V (Ω), where W (x) = w(x1/σ )x1/σ−1 , V (x) = v(x1/σ )x1/σ−1 .
Now we prove the following statement:
Lemma 4. Let α > 0, σ > 0 and let v and w be measurable a.e. positive
functions on Ω, where Ω = (0, ∞) or Ω = (0, 1). Then for the singular system
{sj (Iα,σ }, uj , v j }j∈Z+ of the operator Iα,σ : L2w (Ω) → L2v (Ω) we have sj (Iα,σ ) =
σ −1 sj (Rα ), uj (x) = σ 1/2 uj (xσ ), v j (x) = σ 1/2 vj (xσ ), where {sj (Rα ), uj , vj }j∈Z+
is a singular system for the operator Rα : L2W (0, ∞) → L2V (0, ∞), with W (x) =
w(x1/σ )x1/σ−1 and V (x) = v(x1/σ )x1/σ−1 .
Proof. Let Ω = (0, ∞). Using the change of variable y = t1/σ , we have
x
1 Z σ
(Iα,σ uj )(x) =
(x − y σ )α−1 y σ−1 uj (y) dy
Γ(α)
0
=
x
σ 1/2 Z
Γ(α)
=σ
σ
−1/2 Zx
σ
(xσ − y σ )α−1 uj (y σ )y σ−1 dy =
(xσ − t)α−1 uj (t) dt
Γ(α)
0
−1/2
0
σ
(Rα uj )(x ) = sj (Rα )σ
−1/2
σ
vj (x ) = σ −1 sj (Rα )v j (x).
Further, the change of variable yields
Z∞
v j (x)v i (x)v(x) dx = σ
0
Z∞
vj (xσ )vi (xσ )V (xσ )xσ−1 dx
0
=
Z∞
vj (x)vi (x)V (x)dx = δij ,
0
where δij denotes Kronecker’s symbol.
Analogously, we have
Z∞
0
uj (x)ui (x)w(x) dx =
Z∞
uj (x)ui (x)W (x) dx = δij ,
0
Hence {v j } and {uj } are orthonormal systems in L2v (R+ ) and L2w (R+ ), respectively.
The case Ω = (0, 1) follows in a similar way.
ASYMPTOTIC BEHAVIOR OF SINGULAR AND ENTROPY NUMBERS
327
Theorem 1. Let α > 0, σ > 0 and 0 ≤ γ < α. Then there exist positive
constants c1 and c2 depending on α, σ and γ such that for the singular numbers
of the operator Iα,σ : L2x1−σ (0, 1) → L2xσ−1−γσ (0, 1) we have sn (Iα,σ ) ≈ n−α .
Proof. By Lemma 2 we have that sj (Iα,σ ) = sj (Iα,σ ), where Iα,σ acts from
L2xσ−1 (0, 1) to L2xσ−1−γσ (0, 1), while Lemma 4 yields sj (Iα,σ ) = 1/σsj (Rα ), where
Rα is the Riemann–Liouville operator acting from L2 (0, 1) to L2x−γ (0, 1). Theorem C completes the proof.
Theorem 2. Let α > 0, σ > 0, λ > α − 1/2 and λ 6= 0. Assume that
w(x) = x1−σ/2−σλ (1 + xσ )2α , v(x) = x3σ/2−σλ−σα−1 . Then the operator Iα,σ :
L2w (0, ∞) → L2v (0, ∞) has a singular system {sn (Iα,σ ), un , v n }n∈Z+ , where
!
. µ Γ(n + λ − α + 1/2) 1/2
sn (Iα,σ ) = 1 σ
Γ(n + λ + α + 1/2)
,
un (x) = σ 1/2 2λ an xσ(λ+1/2)−1 (1 + xσ )−λ−α−1/2 Cnλ
v n (x) = σ
1/2 λ
2 bn x
σ(λ+α−1/2)
σ −λ−α−3/2
(1 + x )
µ
¶
1 − xσ
,
1 + xσ
Pn(λ−α−1/2,λ+α−1/2)
µ
¶
1 − xσ
,
1 + xσ
Cnλ (x) and Pn(α,β) are Gegenbauer and Jacobi polynomials, respevetively (see
Theorem B), and an , bn are the constants defined in Theorem B. Moreover,
lim sn (Iα,σ )/n−α = 1/σ.
n→∞
Proof. Lemma 2 implies that the singular system {sm (Iα,σ ), um , v m }m∈Z+ of the
map Iα,σ : L2w (0, ∞) → L2v (0, ∞) coincides with the singular system {sm (Iα,σ ), uem ,
vem }m∈Z+ of the map Iα,σ : L2W (0, ∞) → L2V (0, ∞), where W (x) = w(x)x2(σ−1) ,
V (x) = v(x), uem (x) = x1−σ um (x), vem (x) = v m (x). Further, by Lemma 4 we
have that the operator Rα : L2ϕ (0, ∞) → L2ψ (0, ∞) (ϕ(x) = x1/2−λ (1 + x)2α ,
ψ(x) = x1/2−λ−α ) has a singular system {sm (Rα ), um , vm }m∈Z+ , where
sm (Rα ) = σsm (Iασ ) ≈ m−α , um (x) = σ 1/2 xσ−1 um (xσ ), v m (x) = σ 1/2 vm (xσ ).
Analogously, we have
σ
Theorem 3. Let α > 0, σ > 0, β > −1, w(y) = y −σβ−σ+1 e−y and v(y) =
−σ(α+β)+σ−1 −y σ
y
e . Then the operator Iα,σ : L2w (0, ∞) → L2v (0, ∞) has a singular
system {sm (Iα,σ ), um , v m }m∈Z+ defined by
. µ
¶
1/2
Γ(n + β + 1)
sn (Iα,σ ) = 1 σ
,
Γ(n + α + β + 1)
¶1/2
µ
n!
σ
L(β)
un (x) = σ 1/2 xσ−1+σβ
n (x ),
Γ(n + β + 1)
¶1/2
µ
n!
1/2
xσ(α+β) Ln(α+β) (xσ ),
v n (x) = σ
Γ(n + α + β + 1)
328
A. MESKHI
where L(γ)
n (x) is a Laguerre polynomial (see Theorem A). Moreover,
lim sn (Iα,σ )/n−α/2 = 1/σ.
n→∞
Now we consider the operator of Hadamard’s type Hα .
The following lemma holds:
Lemma 5. Let α > 0 and (v, w) be a pair of weights defined on (1, ∞). Then
{sm (Lα ), um , v m }m∈Z+ is a singular system for the operator Lα : L2w (1, ∞) →
L2v (1, ∞), where
xµ
¶
x α−1
dy
1 Z
ln
f (y)
,
Lα f (x) =
Γ(α)
y
y
1
if and only if the Riemann–Liouville operator Rα : L2W (0, ∞) → L2V (0, ∞)
has a singular system {sm (Rα ), uem , vem }m∈Z+ , where W (x) = w(ex )ex , V (x) =
v(ex )ex , sm (Rα ) = sm (Lα ), uem (x) = um (ex ), vem (x) = v m (ex ).
Proof. Using the change of variable y = ez we have
xµ
1 Z
(Lα um )(x) =
Γ(α)
1
=
1
Γ(α)
ln
x
y
¶α−1
um (y)
dy
y
Zln x
0
(ln x − z)α−1 uem (z) dz = (Rα uem )(ln x) = ve(ln x)sj (Rα ).
On the other hand,
Z∞
0
uei (x)uej (x)W (x) dx =
Z∞
0
Z∞
ui (ex )uj (ex )w(ex )ex dx = δij ,
0
vei (x)vej (x)V (x) dx =
Z∞
v i (y)v j (y)v(y) dy = δij ,
1
where δij is Kronecker’s symbol.
Lemmas 2 and 5 yield the following statements:
Theorem 4. Let α > 0, β > −1, w(x) = ln−β x, v(x) = x−2 ln−(α+β) x. Then the
operator Hα : L2w (1, ∞) → L2v (1, ∞) has a singular system {sn (Hα ), uen , ven }n∈Z+ ,
where sn (Hα ) = sn (Rα ) (sm (Rα ) is defined by (1)),
¶
µ
1/2
n!
β
L(β)
uen (x) = x
n (ln x) ln x,
Γ(n + β + 1)
¶1/2
µ
n!
Ln(α+β) (ln x) lnα+β x,
ven (x) =
Γ(n + α + β + 1)
−1
and L(γ)
n is the Laguerre polynomial. Moreover,
lim sn (Hα )/n−α/2 = 1.
n→∞
ASYMPTOTIC BEHAVIOR OF SINGULAR AND ENTROPY NUMBERS
329
Theorem 5. Let λ > α− 21 , λ 6= 0. Then the operator Hα : L2w (1, ∞) → L2v (1, ∞)
has a singular system {sn (Hα ), uem , ven }m∈Z+ , where v(x) = x−1 ln1/2−λ−α x,
w(x) = (1 + ln x)2α x ln1/2−λ x, sn (Hα ) = sn (Rα ) (sn (Rα ) is defined by (2)),
µ
¶
1 − ln x −1 λ−1/2
uen (x) = 2 an (1 + ln x)
x ln
x,
1 + ln x
¶
µ
λ
−λ−α−3/2 (λ−α−1/2,λ+α−1/2) 1 − ln x
lnλ+α−1/2 x.
vn (x) = 2 bn (1 + ln x)
Pn
1 + ln x
λ
−λ−α−1/2
Cnλ
Moreover,
lim sn (Hα )/n−α = 1.
n→∞
Definition 1. Let X and Y be Banach spaces and let T be a bounded linear
map from X to Y . Then for all k ∈ N , the k th entropy number ek (T ) of T is
defined by
½
ek (T ) = inf ε > 0 : T (UX ) ⊂
k−1
2[
¾
(bi + εUY ) for some b1 , . . . , b2k−1 ∈ Y ,
j=1
where UX and UY are the closed unit balls in X and Y , respectively.
It is easy to verify that kT k = e1 (T ) ≥ e2 (T ) ≥ · · · ≥ 0.
For other properties of the entropy numbers see, e.g., [16].
It is known (see, e.g., [15]), that if T is a compact linear map of a Hilbert
space X into a Hilbert space Y , then sn (T ) ≈ n−λ if and only if en (T ) ≈ n−λ .
Hence we can get asymptotics of the entropy numbers for the operators Iα,σ
and Hα . In particular, Theorems 1, 2 and 3 yield
Proposition 1. Let α > 0 and σ > 0. Then the following statements are
valid:
(a) If 0 ≤ γ < α, then the asymptotic formula
en (Iα,σ ) ≈ n−α
(3)
holds for the operator Iα,σ : L2x1−σ (0, 1) → L2xσ−1−γσ (0, 1).
(b) Assume that λ > α − 1/2 and λ 6= 0. Then the asymptotic formula (3)
is valid for the map Iα,σ : L2w (0, ∞) → L2v (0, ∞), where w(x) = x−σ/2−σλ+1 (1 +
xσ )2α and v(x) = x3σ/2−σλ−σα−1 .
(c) For the entropy numbers en (Iα,σ ) of the operator Iα,σ : L2w (0, ∞) →
σ
σ
L2v (0, ∞) (w(y) = y −σβ−σ+1 e−y , v(y) = y −σ(α+β)+σ−1 e−y , β > −1) we have
en (Iα,σ ) ≈ n−α/2 .
Let T : L2w → L2v be a compact linear operator. We shall denote by n(t, T )
the distribution function of singular values for the operator T , i.e.,
n
o
n(t, T ) ≡ ♯ k : sk (T ) > t .
330
A. MESKHI
Theorem 6. Let α > 1/2 and σ > 0. Assume that v is a measurable a.e.
positive function of (0, ∞) satisfying the condition
Xµ
k∈Z
2(k+1)/σ
Z
v(y)y (2α−1)σ dy
2k/σ
¶1/(2α)
< ∞.
(4)
Then for the operator Iα,σ : L2w (R+ ) → L2v (R+ ), where w(x) = x1−σ , the asymptotic formula
1/α
lim t
t→0
∞
σ −1/α+1 Z 1/(2α)
v
(y)y (1−σ)(1/(2α)−1) dy
n(t, Iα,σ ) =
π
0
holds.
Proof. Condition (4) implies that
2k+1
Xµ Z
k∈Z
2
v (y)y
2α−1
dy
2k
¶1/(2α)
< ∞,
(5)
where v(x) ≡ [v(x1/σ )x1/σ−1 ]1/2 . By virtue of Theorem 1 from [9] we have that
for the operator Rα,v : L2 (R+ ) → L2 (R+ ), where Rα,v f (x) ≡ v(x)Rα f (x), the
asymptotic formula
lim t1/α n(t, Rα,v ) = π −1
t→0
Z
v 1/α (x) dx
R+
holds. Further, using Lemmas 1, 2 and 3 we obtain that sk (Rα,v ) = σ · sk (Iα,σ ).
Consequently,
lim t1/α n(t, Iα,σ ) = σ −1/α lim t1/α n(t, Rα,v )
t→0
= σ −1/α
1
π
Z∞
t→0
(v(x))1/α dx =
0
∞
σ −1/α+1 Z
(v(y))1/(2α) y (1−σ)(1/(2α)−1) dy.
π
0
Theorem 7. Let α > 1/2 and σ > 0. Suppose that v is a measurable a.e.
positive function on (0, 1) satisfying the condition
ak+1
Xµ Z
k∈Z
v(x)x
−σ+2ασ
σ −1
(1 − x )
ak
dx
¶1/(2α)
< ∞, ak = (2k /(2k + 1))1/σ . (6)
Then for the operator Iα,σ acting from L2w (0, 1) into L2v (0, 1), where w(x) =
(1 − xσ )2α x1−σ , we have
1/α
lim t
t→0
1
σ −1/α+1 Z 1/(2α)
v
(x)x(1−σ)(1/(2α)−1) (1 − xσ )−1 dx.
n(t, Iα,σ ) =
π
0
ASYMPTOTIC BEHAVIOR OF SINGULAR AND ENTROPY NUMBERS
331
Proof. Using Lemmas 1–4 we have that sn (Iα,σ ) = 1/σsn (Rα ), where Rα is the
Riemann–Liouville operator acting from L2w1 (0, 1) into L2v1 (0, 1), with
w1 (x) = w(x1/σ )x1−1/σ ,
v1 (x) = v(x1/σ )x1/σ−1 .
Further, by the change of variable x = y/(1 − y) we obtain that the operator
Rα : L2w2 (R+ ) → L2v2 (R+ ) has singular numbers sn (Rα ) = σsn (Iα,σ ), where
w2 (x) = w1 (x/(x + 1))(x + 1)−2 , v2 (x) = v1 (x/(x + 1))(x + 1)−2 and Rα f (x) =
ψ(x)Rα (f ϕ)(x) with ψ(x) = (x + 1)−α+1 , ϕ(x) = (x + 1)−1−α . Hence for the
singular numbers of the Riemann–Liouville operator Rα : L2w3 (R+ ) → L2v3 (R+ )
we derive sn (Rα ) = σsn (Iα,σ ), where w3 (x) = w2 (x)(x + 1)2α+2 = 1 and v3 (x) =
v2 (x)(x + 1)2−2α . Further, condition (6) implies (5) with v3 instead of v. Thus,
taking into account Theorem 1 from [9], we arrive at
lim t1/α n(t, Iα,σ ) = σ −1/α lim t1/α n(t, Rα )
t→0
= σ −1/α
1
π
Z∞
t→0
1/α
v4 (x) dx =
0
1
σ −1/α+1 Z
π
(v(y))1/(2α) y (1−σ)(1/(2α)−1) (1 − y σ )−1 dy.
0
In the last equality we used the change of variable twice.
Finally, we have
Theorem 8. Let α > 1/2 and let v be a measurable a.e. positive function
on (1, ∞) satisfying the condition
ak+1
Xµ Z
k∈Z
v(x) ln
2α−1
x dx
ak
¶1/(2α)
k
< ∞, ak = e2 .
(7)
Then for the operator Hα : L2w (1, ∞) → L2v (1, ∞), where w(x) = ex , the asymptotic formula
1/α
lim t
t→0
∞
1 Z 1/(2α)
n(t, Hα,σ ) =
v
(x)x1/(2α)−1 dy
π
(8)
1
holds.
Proof. Taking into account Lemmas 2 and 5 we obtain that sn (Rα ) = sn (Hα ),
where Rα is the Riemann–Liouville operator acting from L2 (R+ ) into L2v1 (R+ ),
v1 (x) = v(ex )ex . By condition (7), Theorem 1 from [9] and the change of
variable x = ey we conclude that (8) holds.
Acknowledgement
The work was partially supported by Grant No. 1.7 of the Georgian Academy
of Sciences.
332
A. MESKHI
References
1. V. Faber and G. M. Wing, Singular values of fractional integral operators: a unification
of theorems of Hille, Tamarkin, and Chang. J. Math. Anal. Appl. 120(1986), 745–760.
´, Asymptotic behavior of the singular value of fractional integral oper2. M. R. Dostenic
ators. J. Math. Anal. Appl. 175(1993), 380–391.
3. J. Baumeister, Stable solution of inverse problems. Vieweg and Sohn, Braunschweig/Wiesbaden, 1987.
4. R. Gorenflo and S. Samko, On the dependence of asymptotics of s-numbers of fractional integration operators on weight functions. Preprint No. A-3/96, Freie Universit¨
at
Berlin, Fachbereich Mathematik und Informatik, Serie A, Mathematik, 1996.
5. R. Gorenflo and Vu Kim Tuan, Singular value decomposition of fractional integration
operators in L2 – spaces with weights. J. Inv. Ill– Posed Problems 3(1995), No. 1, 1–9.
6. R. Gorenflo and Vu Kim Tuan, Asymptotics of singular values of fractional integration operators. Preprint No. A-3/94, Freie Universit¨
at Berlin, Fachbereich Mathematik
und Informatik, Serie A, Mathematik, 1994.
7. M. Sh. Birman and M. Solomyak, Estimates for the singular numbers of integral
operators. (Russian) Uspekhi Mat. Nauk 32(1997), No. 1, 17–82; English translation:
Russian Math. Surveys 32(1977).
8. M. Sh. Birman and M. Solomyak, Asymptotic behavior of the spectrum differential
operators with anisotropically homogeneous symbols. (Russian) Vestnik Leningrad. Univ.
13(1977), 13–21; English translation: Vestnik Leningrad Univ. Math. 10(1982).
9. J. Newmann and M. Solomyak, Two-sided estimates on singular values for a class of
integral operators on the semi-axis. Integral Equations Operator Theory 20(1994), 335–
349.
10. D. E. Edmunds, W. D. Evans, and D. J. Harris, Approximation numbers of certain
Volterra integral operators. J. London Math. Soc. 37(1988), No. 2, 471–489.
11. D. E. Edmunds, W. D. Evans, and D. J. Harris, Two-sided estimates of the approximation numbers of certain Volterra integral operators. Studia Math. 124(1997), No. 1,
59–80.
12. D. E. Edmunds, R. Kerman, and J. Lang, Remainder estimates for the approximation numbers of weighted Hardy operators acting on L2 . Research Report No: 2000-11,
University of Sussex at Brighton, 2000.
13. A. Meskhi, On the measure of non-compactness and singular numbers for the Volterra
integral operators. Proc. A. Razmadze Math. Inst. 123(2000), 162–165.
14. A. Meskhi, On the singular numbers for some integral operators. Revista Mat. Comp.
14(2001), No. 2.
15. S. G. Samko, A. A. Kilbas, and O. I. Marichev, Integrals and derivatives. Theory
and Applications. Gordon and Breach Science Publishers, London–New York, 1993.
16. D. E. Edmunds and H. Triebel, Function spaces, entropy numbers, differential operators. Cambridge University Press, Cambridge, 1996.
17. B. Carl, Inequalities of Bernstein–Jackson type and the degree of compactness of operators in Banach spaces. Ann. Inst. Fourier 35(1985), 79–118.
(Received 20.03.2001)
Author’s address:
A. Razmadze Mathematical Institute, Georgian Academy of Sciences
1, M. Aleksidze St., Tbilisi 380093, Georgia
E-mail: meskhi@rmi.acnet.ge