arxiv: v3 [math.ap] 27 Mar 2016

Transcription

1 MELLIN CONVOLUTION OPERATORS IN BESSEL POTENTIAL SPACES WITH ADMISSIBLE MEROMORPHIC KERNELS 1 Dedicated to the memory of Academician Victor Kupradze on the occasion of his 11-th birthday anniversary arxiv:15.648v3 [math.ap] 7 Mar 16 R. Duduchava I. Javakhishvili Tbilisi State University, Andrea Razmadze Mathematical Institute, Tamarashvili str. 6, Tbilisi 177, Georgia; roland.duduchava@tsu.ge 1 Mathematics Subject Classification: 47G3, 45B35, 45E1. Key words and phrases: Fourier convolution, Mellin convolution, Bessel potentials, Meromorphic kernel, Banach algebra, Symbol, Fixed singularity, Fredholm property, Index. Abstract The paper is devoted to Mellin convolution operators with meromorphic kernels in Bessel potential spaces. We encounter such operators while investigating boundary value problems for elliptic equations in planar D domains with angular points on the boundary. Our study is based upon two results. The first concerns commutants of Mellin convolution and Bessel potential operators: Bessel potentials alter essentially after commutation with Mellin convolutions depending on the poles of the kernel (in contrast to commutants with Fourier convolution operatiors.) The second basic ingredient is the results on the Banach algebra A p generated by Mellin convolution and Fourier convolution operators in weighted L p -spaces obtained by the author in 197 s and 198 s. These results are modified by adding Hankel operators. Examples of Mellin convolution operators are considered. The first version of the paper was published in Memoirs on Differential Equations and Mathematical Physics 6, , 13. The formulations and proofs there contain fatal errors, which are improved in the present preprint. Part of the results, obtained with V. Didenko, are published in the preprint [7]. 1 This work was supported by the Shota Rustaveli Georgian National Science Foundation, Contract No. 13/14.

2 Contents Introduction 1 Mellin Convolution and Bessel Potential Operators 8 Mellin Convolutions with Admissible Meromorphic Kernels 13 3 A Local Principle 6 4 Algebra Generated by Mellin and Fourier Convolution Operators 8 5 Mellin Convolution Operators in Bessel Potential Spaces. The Boundednes and Lifting 4 6 Mellin Convolution Operators in Bessel Potential Spaces. Fredholm Properties 46 References 5 Introduction It is well-known that various boundary value problems for PDE in planar domains with angular points on the boundary, e.g. Lamé systems in elasticity (cracks in elastic media, reinforced plates), Maxwell s system and Helmholtz equation in electromagnetic scattering, Cauchy Riemann systems, Carleman Vekua systems in generalized analytic function theory etc. can be studied with the help of the Mellin convolution equations of the form Aϕ(t) := c ϕ(t) + c 1 πi ϕ(τ) dt τ t with the kernel K satisfying the condition + ( t ) K ϕ(τ) dτ τ τ = f(t), (.1) t β 1 K(t) dt <, < β < 1, (.) which makes it a bounded operator in the weighted Lebesgue space L p (R +, t γ ), provided 1 p, 1 < γ < p 1, β := (1 + γ)/p (cf. [16]). In particular, integral equations with fixed singularities in the kernel

3 c (t)ϕ(t) + c 1(t) πi ϕ(τ) dt τ t + n c k+ (t)t k r k= πi τ r ϕ(τ) dτ = f(t), t 1, (.3) (τ + t) k+1 where r k are of type (.1) after localization, i.e. after freezing the coefficients. The Fredholm theory and the unique solvability of equations (.1) in the weighted Lebesgue spaces were accomplished in [16]. This investigation was based on the following observation: if 1 < p <, 1 < γ < p 1, β := (1 + γ)/p, the following mutually invertible exponential transformations Z β : L p ([, 1], t γ ) L p (R + ), Z β ϕ(ξ) := e βξ ϕ(e ξ ), ξ R := (, ), Z 1 β : L p (R + ) L p ([, 1], t γ ), Z 1 β ψ(t) := t β ψ( ln t), t R + := (, ), (.4) transform the equation (.1) from the weighted Lebesgue space f, ϕ L p (R +, t γ ) into the Fourier convolution equation WA β ψ = g, ψ = Z β ϕ, g = Z β f L p (R) of the form W A β ψ(x) = c ψ(x) + c 1 K 1 (x y)ϕ(y) dy, [ ] K 1 (x) = e βx 1 e + x K(e x ). Note that the symbol of the operator W A β, viz. the Fourier transform of the kernel A β (ξ) := c + e iξx K 1 (x) dx := c ic 1 cot π(β iξ) + e (iξ β)x K(e x ) dx, ξ R (.5) is a piecewise continuous function. Let us recall that the theory of Fourier convolution operators with discontinuous symbols is well developed, cf. [1, 13, 14, 15, 4]. This allows one to investigate various properties of the operators (.1), (.3). In particular, Fredholm criteria, index formula and conditions of unique solvability of the equations (.1) and (.3) have been established in [16]. Similar integral operators with fixed singularities in kernel arise in the theory of singular integral equations with the complex conjugation a(t)ϕ(t) + b(t) πi Γ ϕ(τ) dt τ t + e(t) πi 3 Γ ϕ(τ) dt τ t = f(t), t Γ

4 and in more general R-linear equations a(t)ϕ(t) + b(t)ϕ(t) + c(t) πi Γ ϕ(τ) dt τ t + e(t) πi Γ + d(t) πi Γ ϕ(τ) dt τ t ϕ(τ) dt τ t + + g(t) πi Γ ϕ(τ) dt τ t = f(t), t Γ, if the contour Γ possesses corner points. Note that a complete theory of such equations is presented in [3, 4], whereas approximation methods have been studied in [9, 1]. Let t 1,..., t n Γ be the corner points of a piecewise-smooth contour Γ, and let L p (Γ, ρ) denote the weighted L p -space with a power weight ρ(t) := n t t j γ j. Assume that the parameters p and β j := (1 + γ j )/p satisfy the conditions 1 < p <, < β j < 1, j = 1,..., n. If the coefficients of the above equations are piecewise-continuous matrix functions, one can construct a function A β (t, ξ), t Γ, ξ R, β := (β 1,..., β n ), called the symbol of the equation (of the related operator). It is possible to express various properties of the equation in terms of A β : The equation is Fredholm in L p (Γ, ρ) if and only if its symbol is elliptic., i.e. iff inf (t,ξ) Γ R A β (t, ξ) > ; To an elliptic symbol A β (t, ξ) there corresponds an integer valued index ind A β (t, ξ), the winding number, which coincides with the Fredholm index of the corresponding operator modulo a constant multiplier. For more detailed survey of the theory and various applications to the problems of elasticity we refer the reader to [1, 13, 14, 16, 17, 18, 19,, 37]. Similar approach to boundary integral equations on curves with corner points based on Mellin transformation has been exploited by M. Costabel and E. Stephan [4, 5]. However, one of the main problems in boundary integral equations for elliptic partial differential equations is the absence of appropriate results for Mellin convolution operators in Bessel potential spaces, cf. [17, 19, ] and recent publications on nano-photonics [1,, 31]. Such results are needed to obtain an equivalent reformulation of boundary value problems into boundary integral equations in Bessel potential spaces. Nevertheless, numerous works on Mellin convolution equations seem to pay almost no attention to the mentioned problem. 4

5 The first arising problem is the boundedness results for Mellin convolution operators in Bessel potential spaces. The conditions on kernels known so far are very restrictive. The following boundedness result for the Mellin convolution operator can be proved Proposition.1 Let 1 < p < and let m = 1,,... be an integer. function K satisfies the condition If a 1 t 1 p m 1 K(t) dt + t 1 p 1 K(t) dt <, (.6) 1 then the Mellin convolution operator (see (.1)) with the symbol (see (.5)) A = M A 1/p : H s p(r + ) H s p(r + ) (.7) ( i ) A 1/p (ξ) := c + c 1 coth π p + ξ + is bounded for any s m. Note that the condition K β := and the constraints (1.17) ensure that the operator t 1 p iξ K(t) dt t, ξ R, (.8) t β 1 K(t) dt < (.9) M a : L p (R +, t γ ) L p (R +, t γ ) is bounded and the norm of the Mellin convolution M a β ϕ(t) := ( t ) K ϕ(τ) dτ τ τ (.1) admits the estimate M a β K β. 5

6 The above-formulated result has very restricted application. For example, the operators N α ϕ(t) := sin α π N αϕ(t) := sin α π M α ϕ(t) := 1 π R + t ϕ(τ) dτ t + τ tτ cos α, τ ψ j (τ) dτ t + τ tτ cos α, [τ cos α t]ϕ(τ) dτ t + τ t τ cos α, π < α < π, (.11) which we encounter in boundary integral equations for elliptic boundary value problems (see [3]), as well as the operators N m,k ϕ(t) := tk πi τ m k ϕ(τ) dτ (τ + t) m+1, k =,..., m, (.1) represented in (.3), do not satisfy the conditions (.6). In particular, N α satisfies condition (.6) only for m = 1 and N m,k only for m = k. Although, as we will see below in Theorem.4, all operators N α, N α and N m,k are bounded in Bessel potential spaces in the setting (1.18) for all s R. In the present paper we introduce admissible kernels, which are meromorphic functions on the complex plane C, vanishing at the infinity K(t) := l j= d j t c j + j=l+1 d j (t c j ) m j, c j, j =, 1,..., c,..., c l R, < α k := arg c k π, k = l + 1, l +,.... (.13) K(t) have poles at c, c 1,... C \ {} and complex coefficients d j C. The Mellin convolution operator with the kernel K m c ϕ(t) := 1 π K m c (t) := τ m 1 ϕ(τ) dτ (t c τ) m. (.14) 1 (t c) m, c j (see Definition.1) turns out to be bounded in the Bessel potential spaces (see Theorem.4). In order to study Mellin convolution operators in Bessel potential spaces, we use the lifting procedure, performed with the help of the Bessel potential operators Λ s + and Λ s r, which transform the initial operator M a into the lifted operator 6

7 Λ s r M aλ s + acting already on a Lebesgue L p spaces. However, the lifted operator is neither Mellin nor Fourier convolution and to describe its properties, one has to study the commutants of Bessel potential operators and Mellin convolutions with meromorphic kernels. It turns out that Bessel potentials alter after commutation with Mellin convolutions and the result depends essentially on poles of the meromorphic kernels. These results allows us to show that the lifted operator Λ s r M a Λ s + belongs to the Banach algebra of operators generated by Mellin and Fourier convolution operators with discontinuous symbols. Since such algebras have been studied before [1], one can derive various information (Fredholm properties, index, the unique solvability) about the initial Mellin convolution equation M aϕ = g in Bessel potential spaces in the settings ϕ H s p(r + ), g H s r p (R + ) and in the settings ϕ H s p(r + ), g H s r p (R + ). The results of the present work is already applied in [6] to the investigation of some boundary value problems studied before by Lax Milgram Lemma in [1, ]. Note that the present approach is more flexible and provides better tools for analyzing the solvability of the boundary value problems and the asymptotic behavior of their solutions. It is worth noting that the obtained results can also be used to study Schrödinger operator on combinatorial and quantum graphs. Such a problem has attracted a lot of attention recently, since the operator mentioned above possesses interesting properties and has various applications, in particular, in nano-structures (see [34, 35] and the references there). Another area for application of the present results are Mellin pseudodifferential operators on graphs. This problem has been studied in [36], but in the periodic case only. Moreover, some of the results can be applied in the study of stability of approximation methods for Mellin convolution equations in Bessel potential spaces. The present paper is organized as follows. In the first section we observe Mellin and Fourier convolution operators with discontinuous symbols acting on Lebesgue spaces. Most of these results are well known and we recall them for convenience. In the second section we define Mellin convolutions with admissible meromorphic kernels and prove their boundedness in Bessel potential spaces. In Section is proved the key result on commutants of the Mellin convolution operator (with admissible meromorphic kernel) and a Bessel potential. In Section 3 we enhance results on Banach algebra generated by Mellin and Fourier convolution operators by adding explicit definition of the symbol of a Hankel operator, which belong to this algebra. In Sections 4 the obtained results are applied to describe Fredholm properties and the index of Mellin convolution operators with admissible meromorphic kernels in Bessel potential spaces. 7

8 1 Mellin Convolution and Bessel Potential Operators Let N be a positive integer. If there arises no confusion, we write A for both scalar and matrix N N algebras with entries from A. Similarly, the same notation B is used for the set of N-dimensional vectors with entries from B. It will be usually clear from the context what kind of space or algebra is considered. The integral operator (.1) is called Mellin convolution. More generally, if a L (R) is an essentially bounded measurable N N matrix function, the Mellin convolution operator M a is defined by M aϕ(t) := M 1 β am βϕ(t) = 1 π a(ξ) ( t τ ) iξ βϕ(τ) dτ τ ϕ S(R + ), dξ, (1.15) where S(R + ) is the Schwartz space of fast decaying functions on R +, whereas M β and M 1 β are the Mellin transform and its inverse, i.e. M β ψ(ξ) := M 1 1 β ϕ(t) := π t β iξ ψ(t) dt t, ξ R, t iξ β ϕ(ξ) dξ, t R +. The function a(ξ) is usually referred to as a symbol of the Mellin operator M a. Further, if the corresponding Mellin convolution operator M a is bounded on the weighted Lebesgue space L p (R +, t γ ) of N-vector functions endowed with the norm ϕ Lp (R +, t γ ) [ 1/p := t γ ϕ(t) dt] p, then the symbol a(ξ) is called a Mellin L p,γ multiplier. The transformations Z β : L p (R +, t γ ) L p (R), Z β ϕ(ξ) := e βt ϕ(e ξ ), ξ R, Z 1 β : L p (R) L p (R +, t γ ), Z 1 β ψ(t) := t β ψ( ln t), t R +, arrange an isometrical isomorphism between the corresponding L p -spaces. Moreover, 8

9 the relations M a = M 1 β M β = FZ β, 1 < γ < p 1, am β = Z 1 β M 1 β = Z 1 β F 1, F 1 afz β = Z 1 β W a Z β, β := 1 + γ., β < 1, p where F and F 1 are the Fourier transform and its inverse, (1.16) Fϕ(ξ) := e iξx ϕ(x) dx, F 1 ψ(x) := 1 π show a close connection between Mellin M a and Fourier W a ϕ := F 1 afϕ, ϕ S(R), e iξx ψ(ξ) dξ, x R, convolution operators, as well as between the corresponding transforms. Here S(R) denotes the Schwartz class of infinitely smooth functions, decaying fast at the infinity. An N N matrix function a(ξ), ξ R is called a Fourier L p -multiplier if the operator W a : L p (R) L p (R) is bounded. The set of all L p -multipliers is denoted by M p (R). From (1.16) immediately follows the following Proposition 1.1 (See [16]) Let 1 < p <. The class of Mellin L p,γ -multipliers coincides with the Banach algebra M p (R) of Fourier L p -multipliers for arbitrary 1 < γ < p 1 and is independent of the parameter γ. Thus, a Mellin convolution operator M a in (1.15) is bounded in the weighted Lebesgue space L p (R +, t γ ) if and only if a M p (R). It is known, see, e.g. [16], that the Banach algebra M p (R) contains the algebra V 1 (R) of all functions with bounded variation provided that β := 1 + γ, 1 < p <, 1 < γ < p 1. (1.17) p As it was already mentioned, the primary aim of the present paper is to study Mellin convolution operators M a acting in Bessel potential spaces, M a : H s p(r + ) H s p(r + ). (1.18) The symbols of these operators are N N matrix functions a CM p(r), continuous on the real axis R with the only one possible jump at infinity. We commence with the definition of the Besseel potential spaces and Bessel potentials, arranging 9

10 isometrical isomorphisms between these spaces and enabling the lifting procedure, writing a Fredholm equivalent operator (equation) in the Lebesgue space L p (R + ) for the operator M a in (1.18). For s R and 1 < p <, the Bessel potential space, known also as a fractional Sobolev space, is the subspace of the Schwartz space S (R) of distributions having the finite norm ϕ H s p (R) [ := ( F ξ ) ] s/ 1/p (Fϕ)(t) p dt <. For an integer parameter s = m = 1,,..., the space H s p(r) coincides with the usual Sobolev space endowed with an equivalent norm ϕ W m p (R) [ m := k= dk ϕ(t) ] p 1/p dt. (1.19) If s <, one gets the space of distributions. Moreover, H s p (R) is the dual to the space H s p(r + ), provided p := p, 1 < p <. Note that p 1 Hs (R) is a Hilbert space with the inner product ϕ, ψ s = (Fϕ)(ξ)(Fψ)(ξ)(1 + ξ ) s dξ, ϕ, ψ H s (R). R By r Σ we denote the operator restricting functions or distributions defined on R to the subset Σ R. Thus H s p(r + ) = r + (H s p(r)), and the norm in H s p(r + ) is defined by f H s p(r + ) = inf lf H s p (R), l where lf stands for any extension of f to a distribution in H s p(r). Further, we denote by H s p(r + ) the (closed) subspace of H s p(r) which consists of all distributions supported in the closure of R +. Notice that H s p(r + ) is always continuously embedded in H s p(r + ), and if s (1/p 1, 1/p), these two spaces coincide. Moreover, H s p(r + ) may be viewed as the quotient-space H s p(r + ) := H s p(r)/ H s p(r ), R := (, ). Let a L,loc (R) be a locally bounded m m matrix function. The Fourier convolution operator (FCO) with the symbol a is defined by dt k W a := F 1 af. (1.) If the operator W a : H s p(r) H s r p (R) (1.1) 1

11 is bounded, we say that a is an L p -multiplier of order r and use L p -multiplier if the order is. The set of all L p -multipliers of order r (of order ) is denoted by M r p(r) (by M p (R), respectively). For an L p -multiplier of order r, a M r p(r), the Fourier convolution operator (FCO) on the semi-axis R + is defined by the equality and the Hankel operator by the equality W a = r + W a : H s p(r + ) H s r p (R + ) (1.) H a = r + V W a : H s p(r + ) H s r p (R + ), V ψ(t) := ψ( t), (1.3) where r + := r R + : H s p(r) H s p(r + ) is the restriction operator to the semi-axes R +. Note that the generalized Hörmander s kernel of a FCO W a depends on the difference of arguments K a (t τ), while the Hörmander s kernel of a Hankel operator r + V Wa depends of the sum of the arguments K a (t + τ). We did not use in the definition of the class of multipliers M r p(r) the parameter s R. This is due to the fact that M r p(r) is independent of s: if the operator W a in (1.3) is bounded for some s R, it is bounded for all other values of s. Another definition of the multiplier class M r p(r) is written as follows: a M r p(r) if and only if λ r a M p (R) = M p(r), where λ r (ξ) := (1 + ξ ) r/. This assertion is one of the consequences of the following theorem. Theorem 1. Let 1 < p <. Then: 1. For any r, s R, γ C, Im γ > the convolution operators (ΨDOs) Λ r γ = W λ r γ : H s p(r + s r ) H p (R + ), Λ r γ = r + Wλ l : r Hs γ p(r + ) H s r p (R + ), λ r ±γ(ξ) := (ξ ± γ) r, ξ R, Im γ >, (1.4) where l : H s p(r + ) H s p(r) is an extension operator and r + is the restriction from the axes R to the semi-axes R +, arrange isomorphisms of the corresponding spaces. The final result is independent of the choice of an extension l.. For any operator A : H s p(r + ) H s r p (R + ) of order r, the following diagram is commutative H s p(r + ) A H s r p (R + ) Λ s γ Λ s r γ L p (R + ) L Λ s r p (R + ) γ AΛ s γ. (1.5) The diagram (1.4) provides an equivalent lifting of the operator A of order r to the operator Λ s r γ AΛ s γ : L p (R + ) L p (R + ) of order. 11

12 3. For any bounded convolution operator W a : H s p(r + ) H s r p (R + ) of order r and for any pair of complex numbers γ 1, γ such that Im γ j >, j = 1,, the lifted operator Λ µ γ 1 W a Λ ν γ = W aµ,ν : Hs+ν p (R + ) H s r µ p (R + ), (1.6) a µ,ν (ξ) := (ξ γ 1 ) µ a(ξ)(ξ + γ ) ν is again a Fourier convolution. In particular, the lifted operator W a L p (R + ) has the symbol in L p -spaces, Λ s r γ W a Λ s γ : L p (R + ) a s r, s (ξ) = λ s r γ (ξ)a(ξ)λ s γ (ξ) = ( ξ γ ) s r a(ξ) ξ + γ (ξ + i). r 4. The Hilbert transform S R + = ik 1 1 = W sign is a Fourier convolution operator and where Λ s γ 1 K 1 1Λ s γ = W i g s γ1,γ sign, (1.7) ( ) s ξ g γ s γ1 1,γ (ξ) :=. (1.8) ξ + γ Proof: For the proof of items 1-3 we refer the reader to [16, Lemma 5.1] and [5, 7]. The item 4 is a consequence of the proved items and 3 (see [16, ]). Remark 1.3 The class of Fourier convolution operators is a subclass of pseudodifferential operators (ΨDOs). Moreover, for integer parameters m = 1,,... the Bessel potentials Λ m ± = W λ m ±γ, which are Fourier convolutions of order m, are ordinary differential operators of the same order m: Λ m ±γ = W λ m ±γ = (i d ) m dt ± γ m ( m = )i k m k dk (±γ) k dt. (1.9) k These potentials map both spaces (cf. (1.4)) k= Λ m ±γ : H s p(r + s r ) H p (R + ), : H s p(r + ) H s m p (R + ), (1.3) but the mappings are not isomorphisms because the inverses Λ m ±γ do not map both spaces, only those indicated in (1.4). 1

13 Remark 1.4 For any pair of multipliers a M r p(r), b M s p(r) the corresponding convolution operators on the half axes W a and W b have the property W a W b = W b W a = W ab. For the corresponding Wiener-Hopf operators on the half axes a similar equality W a W b = W ab (1.31) holds if and only if either the function a(ξ) has an analytic extension in the lower half plane, or the function b(ξ) has an analytic extension in the upper half plane (see [16]). Note that, actually (1.6) is a consequence of (1.31). Mellin Convolutions with Admissible Meromorphic Kernels Now we consider kernels K(t), exposed in (.13), which are meromorphic functions on the complex plane C, vanishing at infinity, having poles at c, c 1,... C \ {} and complex coefficients d j C. Definition.1 We call a kernel K(t) in (.13) admissible iff: (i) K(t) has only a finite number of poles c,..., c l which belong to the positive semi-axes, i.e., arg c = = arg c l = ; (ii) The corresponding multiplicities are one m = = m l = 1; (iii) The remainder points c l+1, c l+,... do not condense to the positive semi-axes and their real parts are bounded uniformly lim c j [, ), j sup Re c j K <. (.3) j=l+1,l+,... (iv) K(t) is a kernel of an operator, which is a composition of finite number of operators with admissible kernels. Example. The function ( 1 ) K(t) = exp, Re c < or Im c t c is an example of the admissible kernel which also satisfies the condition of the next Theorem.4. Other examples of operators with admissible kernels (which also satisfies the condition of the next Theorem.4) are operators which we encounter in (.3), in (.11) and in (1.) and, in general, any finite sum in (.13). 13

14 Example.3 The function K(t) = ln t c 1c t c 1 c, Im c 1, Im c is another example of the admissible kernel and represnts the composition of operators c K 1 c 1 K 1 c (see (1.8)) with admissible kernels which also satisfies the condition of the next Theorem.4. More trivial examples of operators with admissible kernels (which also satisfies the condition of the next Theorem.4) are operators which we encounter in (.3), in (.11) and in (1.) and, in general, any finite sum in (.13). Theorem.4 Let conditions (1.17) hold, K(t) in (.13) be an admissible kernel and K β := m j d j c j β m j <. (.33) j= Then the Mellin convolution M a β in (.1) with the admissible meromorphic kernel K(t) in (.13) is bounded in the Lebesgue space L p (R +, t γ ) and its norm is estimated by the constant M a β L(L p (R +, t γ )) MK β with some M >. We can drop the constant M and replace m j provided Re c j < for all j =, 1,.... by m j in the estimate (.33) Proof: The first l+1 summands in the definition of the admissible kernel (.13) correspond to the Cauchy operators A ϕ(t) = l j= d j π ϕ(τ) dτ t c j τ, c j >, j =, 1,..., l, and their boundedness property in the weighted Lebesgue space A : L p (R +, t γ ) L p (R +, t γ ) (.34) under constraints (1.17) is well known (see [3] and also /[9]). Therefore we can ignore the first l summands in the expansion of the kernel K(t) in (.13). To the boundedness of the operator M with the remainder kernel 3999 a l β K l (t) := j=l+1 d j (t c j ) m j, c j, j =, 1,..., < α k := arg c k π, k = l + 1, l +,... 14

15 (see (.13)), we apply the estimate (.9) Now note that M a l β L(L p (R +, t γ )) j=l+1 d j t β 1 K l (t) dt t c j m j = ( t + c j Re c j t ) m j t β 1 dt t c j m j. (.35) ( t + c j ) m j m j (t + c j ) m j for all t K = sup Re c j >. due to the constraints (.3). On the other hand, t c j m j M(t + c j ) m j for all t K and a certain constant M >. Therefore t c j m j M m j (t + c j ) m j for all < t <. (.36) Next we recall the formula from [3, Formula ] ( ) t β 1 dt β 1 πc β m (t+c) m =( 1)m 1, π <arg c<π, Re β <1, (.37) m 1 sin πβ ( ) ( ) β 1 (β 1) (β m + 1) β 1 :=, := 1 m 1 (m 1)! to calculate the integrals. By inserting the estimate (.36) into (.35) and applying (.37), we get M a l β L(L p (R +, t γ )) M j=l+1 πm sin πβ M j=l+1 j=l+1 t β 1 dt d j t c j m j m j t β 1 dt d j (t + c j ) m j ( ) m j d j β 1 c β m j j m j 1 j=l+1 m j d j c β m j j = MK β, M := πm sin πβ, (.38) 15

16 since (see (.37)) ( ) β 1 1, m j 1 where K β is from (.33). The boundedness (.34) and the estimate (.38) imply the claimed estimate M a β L(L p (R +, t γ )) MKβ. If Re c j < for all j =, 1,..., we have 1 t c j m j = ( t + c Re c j t ) m j ( t + c ) m j m j ( t + cj ) m j valid for all t > and a constant M does not emerge in the estimate. Let us find the symbol (the Mellin transform of the kernel) of the operator (1.8) for π < arg( c) < π, m = 1,,... (see (1.7), (1.8)). For this we apply formula (.37): M β K m c (ξ) = t β iξ 1 K m c (t) dt = 1 π t β iξ 1 (t + ( c)) m dt = ( ) β iξ 1 ( 1) m 1 ( c) β iξ m =, π < arg( c) < π, (.39) m 1 sin π(β iξ) where, for δ C, ( c) δ := c δ e iδ arg c. In particular, d β iξ 1 M β K d(ξ) 1 =, π < arg d < π, sin π(β iξ) (.4) M β K 1(ξ) 1 1 =, ξ R. sin π(β iξ) (.41) Now let us find the symbol of the Cauchy singular integral operator K 1 1 = is R + (see (.47), (.46)). For this we apply Plemeli formula and formula (.37): M β K 1 1(t) := t β iξ 1 K 1 1(t) dt = 1 π 1 = lim ε π t β iξ 1 dt t 1 [ t β iξ 1 ] t + e + tβ iξ 1 dt i(π ε) t + e i(π ε) = lim ε e i(π ε)(β iξ 1) + e i(π ε)(β iξ 1) sin π(β iξ) 16 = cot π(β iξ). (.4)

17 For an admissible kernel with simple (non-multiple) poles m = m 1 = = 1 and arg c = arg c l = and < ± arg c j < π, j = l + 1,... we get M β K(ξ) = cot π(β iξ) l j= d j c β iξ 1 j 1 sin π(β iξ) j=l+1 ( ) β iξ 1 d j e π(β iξ)i c β iξ m. (.43) m 1 Theorem.5 If K is an admissible kernel the corresponding Mellin convolution operator with the kernel K ( ) t Kϕ(t) := K ϕ(τ) dτ τ τ, (.44) K : Hs p (R + ) H s p(r + ), is bounded for all 1 < p < and s R. The condition on the parameter p can be relaxed to 1 p, provided the admissible kernel K in (.13) has no poles on positive semi-axes α j = arg c j for all j =, 1,.... Proof: Due to the representation (.13), we have to prove the theorem only for a model kernel K m c (t) := 1, c, arg c < π, m = 1,,.... (.45) π(t c) m The respective Mellin convolution operator K m c (see (1.8)) is bounded in L p (R + ) for all 1 p for arbitrary < arg c < π (cf. (.)). To accomplish the boundedness result of K m c in L p (R + ) we need to consider the case arg c = (i.e., c (, )) and, therefore, m = 1 (see Definition.1). Then the operator K 1 c coincides with the dilated Cauchy singular integral operator with a constant multiplier K 1 cϕ(t) := 1 π ϕ(τ)dτ t c τ = i ( t ) c (S R +ϕ), (.46) c where S R +ϕ(t) := 1 πi ϕ(τ) dτ τ t, (.47) 17

18 and is bounded in L p (R + ) for all 1 < p < (cf., e.g., [16, 9]). Now let arg c < π and m = 1. Then, if ϕ C (R + ) is a smooth function with compact support and k = 1,,..., integrating by parts we get d k dt k K1 cϕ(t) = 1 π = c k π d k dt k 1 t c τ 1 t c τ ϕ(τ) dτ = ( c) k π d k ϕ(τ) dτ k dτ = c k ( K 1 c For m =, 3,... and < arg c < π we get similarly and, recurrently, d dt Km c ϕ(t) = 1 π = m 1 j= m 1 = d k m 1 dt k Km c ϕ(t)=( 1) k d dt τ m 1 ϕ(τ) dτ (t c τ) m ( c) 1 j j= π d dτ ( c) 1 j π m 1 ( = ( c) 1 j j= j= γ 1 j = j + 1, γ k = 1, γ k j := ( c) k j γ k j j r= d k dτ k 1 t c τ ϕ(τ) dτ d k ) dt ϕ (t). (.48) k τ m 1 j ϕ(τ) dτ (t c τ) m j τ m 1 j d (t c τ) m j dτ K m j c ( K m j c d ) dt ϕ (t) ϕ(τ) dτ d k ) dt ϕ (t), k =1,,..., (.49) k γ k 1 r, j =, 1,..., m, k = 1,,.... Recall now that for an integer s = n the spaces H n p(r + ), H n p(r + ) coincide with the Sobolev spaces W n p(r + ), W n p(r + ), respectively (these spaces are isomorphic and the norms are equivalent) and C (R + ) is a dense subset in W n p(r + ) = H n p(r + ). Then, using the equalities (.48), (.49) and the boundedness of the operators K m j c (see (.45) (.47)), we proceed as follows: K m c ϕ H n p(r + ) = n dk dt k Km c ϕ L p (R + ) = k= 18

19 = n k= M m 1 j= c k j γj k K m j d k c dt ϕ L p(r + ) k n dk dt ϕ L p(r + ) = M ϕ H n p(r + ), (.5) k k= where M > is a constant, and the boundedness (.44) follows for s =, 1,,.... The case of arbitrary s > follows by the interpolation between the spaces H m p (R + ) and H p(r + ) = L p (R + ), also between the spaces H m p (R + ) and H p(r + ) = L p (R + ). For s < the boundedness (.44) follows by duality: the adjoint operator to K m c is K m, c ϕ(t) := 1 π t m 1 ϕ(τ) dτ (τ c t) = m ω m j K j c ϕ(t), (.51) 1 for some constant coefficients ω 1,..., ω m. The operator K m, c has the admissible kernel and, due to the proved part of the theorem is bounded in the space setting K m, s c : H p (R + ) H s p (R + ), p := p/(p 1), since s >. The initial operator : H s p(r + ) H s p(r + ) is dual to K m, c and, therefore, is bounded as well. K m c Corollary.6 Let 1 < p < and s R. A Mellin convolution operator M a with an admissible kernel described in Definition.1 (also see Example.3) and Theorem.4 is bounded in Bessel potential spaces The bounddness property M a : H s p(r + ) H s p(r + ). M a : H s p(r + ) H s p(r + ). does not hold in general for even a simplest Mellin convolution operator K c, except the case when the spaces H s p(r + and H s p(r + ) can be identified, i.e., except the case 1/p 1 < s < 1/p. Indeed, to check this consider a smooth function with a compact support ϕ C (R + which is constant on the unit interval: ϕ(t) = 1 for < t < 1. Obviously, ϕ H s p(r + ) and ϕ H s p(r + for all s > 1/p. Then, K c ϕ(t) = 1 π ϕ(τ) dτ t c τ = 1 1 π dτ t c τ + 1 π 1 ϕ(τ) dτ t c τ = c 1 ln τ + ϕ (t), where ϕ H s p(r + ) C (R + ), while the first summand ln τ does not belong to H s (R + ) since all functions in this space are continuous and uniformly bounded for s > 1/p. We can prove the following very partial result, which has important practical applications. 19

20 Theorem.7 Let 1 < p < and c C. Then if 1 p 1 < s < 1 + 1, the p operator A c := ck c c 1 K c 1 : H s p(r + ) H s p(r + ), (.5) is bounded while for 1 p < s < 1 p the operator A # c := K c K c 1 : H s p(r + ) H s p(r + ), (.53) is bounded. Proof: If 1 p 1 < s < 1 p the spaces H s p(r + and H s p(r + ) can be identified and the boundedness (.5), (.53) follow from Theorem.5. Due to (1.3) the following diagram H s p(r + ) Λ 1 1 H s 1 p (R + ) Λ 1 1 A αλ 1 1 A α H s p(r + ) H s 1 Λ 1 1 p (R + ). (.54) is commutative. The diagram (.54) provides an equivalent lifting of the operator A α from the space H s p(r + ) to the operator A α := Λ 1 1A α Λ 1 1 in the space H s 1 p (R + ). On the other hand, Λ 1 1 = i t + I (see (1.9)) and it can be checked easily, using the integration by parts, that t A α = A # α t. Then, A α = Λ 1 1A α Λ 1 1 = (i t + I)A α Λ 1 1 = (A α A # α )Λ A # α (i t + I)Λ 1 1 = (A α A # α )Λ A # α Since 1 p 1 < s 1 < 1 p and the embedding is continuous, the operator Λ 1 1 Hp s 1 (R + ) = H s p(r + ) H s 1 p (R + ) (A α A # α )Λ A # α : H s 1 p (R + ) H s 1 p (R + ) is bounded and the boundedness result in (.5) follows. Now let 1 p < s < 1 p. Then 1 p 1 = 1 p < s < 1 p + 1 = 1/p, p := p p 1. (.55)

21 The pair of the operator K c and c 1 K c 1 are adjoint to each other. Therefore, the operator A c := ck c c 1 K c 1 : H s p (R + ) H s p (R + ), (.56) is the adjoint to the operator A # c in (.53). Since the parameters { s, p } satisfy the condition of the first part of the present theorem (see (.55)), the operator A c in (.56) is bounded and jaustifies the boundedness of the adjoint operator A # c in (.53). The next result is crucial in the present investigation. Note that, the case arg c = is essentially different and will be considered in Theorem 4.4 below. Theorem.8 Let < arg c < π, arg c and < arg( c γ) < π. Then where c s = c s e is arg c. Λ s γk 1 cϕ = c s K 1 cλ s c γϕ, ϕ H r p(r + ), (.57) Proof: First of all note, that due to the mapping properties of Bessel potential operators (see (1.4)) and the mapping properties of a Mellin convolution operator with an admissible kernel both operators Λ s γk 1 c : Hr p (R + ) H r s p (R + ), K 1 cλ s c γ : Hr p (R + ) H r s p (R + ) (.58) are correctly defined and bounded for all s R, 1 < p <, since π < arg( γ) < and < arg( c γ) < π. Second, let us consider the positive integer values s = n = 1,,.... Then, with the help of formulae (1.9) and (.49) it follows that: Λ n γk 1 cϕ = = ( i d dt γ ) nk 1 c ϕ = n ( n k ( n k= = c n K 1 c n k= ( n k )i k ( γ) n k c k ( K 1 c k= )i k ( γ) d k ) dt ϕ (t) = k ( n )i k ( c γ) n k d k k dt ϕ k n k dk dt k K1 cϕ ) (t) = = c n K 1 cλ n c γϕ, ϕ H r p(r + ) (.59) and we have proven formula (.57) for positive integers s = n = 1,,.... For negative s = 1,,... formulae (.57) follows if we apply the inverse operator Λ n γ and Λ n cγ to the proved operator equality Λ n γk 1 c = c n K 1 cλ n c γ 1

22 for positive n = 1,,... from the left and from the right, respectively. We obtain K 1 cλ n cγ = c n Λ n γk 1 c or Λ n γk 1 c = c n K 1 cλ n cγ and (.57) is proved also for a negative s = 1,,.... In order to derive formula (.57) for non-integer values of s, we can confine ourselves to the case < s < 1. Indeed, any non-integer value s R can be represented in the form s = s + m, where < s < 1 and m is an integer. Therefore, if for s = s +m the operators in (.58) are correctly defined and bounded, and if the relations in question are valid for < s < 1, then we can write Λ s γk 1 c = Λ s +m γ K 1 c = c m Λ s γk 1 cλ m c γ = c s m K 1 cλ s c γλ m c γ = c s m K 1 cλ s +m c γ = c s K 1 cλ s c γ. Thus let us assume that < s < 1 and consider the expression Λ s γk 1 cϕ(t) = 1 π r + e iξt (ξ γ) s e iξy ϕ(τ) y cτ dτ dy dξ, (.6) where r + is the restriction to R +. It is clear that the integral in the right-hand-side of (.6) exists. Indeed, if ϕ L, then K 1 cϕ L C and Λ s γk 1 cϕ H s C L C. Now consider the function e izt (z γ) s e izy, z C. Since Imγ, s < 1, then for sufficiently small ε > this function is analytic in the strip between the lines R and R + iε and vanishes at the infinity for all finite t R and for all y >. Therefore, the integration over the real line R in the first integral of (.6) can be replaced by the integration over the line R + iε, i.e. Λ s γk 1 cϕ(t) = 1 π r + e iξt+εt (ξ + iε γ) s e iξy εy ϕ(τ) y cτ dτ dy dx. (.61) Let us use the density of the set C (R + ) in H s p(r + ). Thus for all finite t R and for all functions ϕ C (R) with compact supports the integrand in the corresponding triple integral for (.61) is absolutely integrable. Therefore, for such functions one can use Fubini-Tonelli theorem and change the order of integration in (.61). Thereafter, one returns to the integration over the real line R and obtains Λ s γk 1 cϕ(t) = 1 π r + ϕ(τ) 1 y cτ e iξ(y t) (ξ γ) s dξ dy dτ, (.6)

23 In order to study the expression in the right-hand side of (.6), one can use a well known formula for p >, (β + ix) ν e ipx dx = π( p)ν 1 e β p for p <, Γ(ν) Re ν >, Reβ >, [3, Formula ]. It can be rewritten in a more convenient form viz., if µ <, Im γ >, e iµ ξ (ξ γ) s dξ = π µ s 1 e π si+µ γi Γ( s) if µ >, Im γ >. Applying (.63) to the last integral in (.6), one obtains Λ s γk 1 cϕ(t) = e π si πγ( s) r + = e π si πγ( s) r + ϕ(τ) dτ ϕ(τ) dτ t e i(y t)γ dy (y t) 1+s (y cτ) (.63) y s 1 e iγ y dy y + t cτ, (.64) where the integrals exist since s 1 > 1 and < arg γ < π (i.e., Im γ > ). Let us recall the formula x ν 1 e µ x dx x + β = β ν 1 e β µ Γ(ν)Γ(1 ν, βµ), Re ν >, Reµ >, arg β < π (.65) (cf. [3, formula ]). Due to the conditions < arg c < π, t >, τ > we have arg(t cτ) < π and, therefore, we can apply (.65) to the equality (.64). Then (.64) acquires the following final form: Λ s γk 1 cϕ(t) = e π si π r + e iγ(t cτ) Γ(1 + s, iγ(t cτ))ϕ(τ) dτ (t cτ) 1+s. (.66) Consider now the reverse composition K 1 cλ s c γϕ(t). Changing the order of integration in the corresponding expression (see (.6) for a similar motivation), one obtains K 1 cλ s c γϕ(t) := 1 π r + 1 t c y e iξ y (ξ c γ) s 3 e iξ τ ϕ(τ)dτ dξ dy

24 = 1 π r + ϕ(τ) 1 t c y e iξ(τ y) (ξ c γ) s dξ dy dτ. (.67) In order to compute the expression in the right-hand side of (.67), let us recall formula from [3]: for p <, (β ix) ν e ipx dx = π p ν 1 e β p for p >, Γ(ν) Re ν >, Reβ > and rewrite it in a form more suitable for our consideration viz., µ >, Im ω >, e iµ ξ (ξ + ω) s dξ = π ( µ) s 1 e π si µ ωi Γ( s) µ <, Im ω >, (.68) Re s <, µ R, ω, s C. Using (.68), we represent (.67) in the form K 1 cλ s c γϕ(t) = e π si πγ( s) r + = e π si πcγ( s) r + ϕ(τ) dτ τ ϕ(τ) dτ e ic γ(y τ) dy (y τ) s+1 (t c y) y s 1 e icγ y dy y + τ c 1 t, (.69) where the integrals exist since s 1 > 1 and π < arg(c γ) < (i.e., Im c γ < ). Due to the conditions < arg c < π, t >, τ > we have arg(τ c 1 t) < π, Therefore, we can apply formula formula (.65) to (.69) and get the following representation: K 1 cλ s c γϕ(t) = c 1 e π si π = cs e π si r + π r + e icγ(c 1 t τ) Γ(1 + s, icγ(c 1 t τ))ϕ(τ) dτ (τ c 1 t) 1+s e iγ(t c τ) Γ(1 + s, iγ(t c τ))ϕ(τ) dτ (t c τ) 1+s. (.7) If we multiply (.7) by c s we get precisely the expression in (.66) and, therefore, Λ s γk 1 cϕ(t) = c s K 1 cλ s c γϕ(t), which proves the claimed equality (.57) for < s < 1 and accomplishes the proof. 4

25 Corollary.9 Let < arg c < π and < arg γ < π. Then for arbitrary γ C such that < arg γ < π and π < arg(c γ ) <, one has where Λ s γk 1 c = c s W g γ, γ K 1 cλ s c γ, (.71) ( ) s ξ γ g γ, γ s (ξ) :=. (.7) ξ γ If, in addition, 1 < p < and 1/p 1 < r < 1/p then equality (.71) can be supplemented as follows: ] Λ s γk 1 c = c [K s 1 cw g s γ, γ + T Λ s c γ, (.73) where T : Hr p (R + ) H r p(r + ) is a compact operator, and if c is a real negative number, then c s := c s e πsi. Proof. It follows from equalities e8 and (.57) that Λ s γk 1 c = Λ s γλ s γ Λ s γ K 1 c = c s W g γ, γ K 1 cλ s c γ and (.71) is proved. If 1 < p < and 1/p 1 < r < 1/p, then the commutator T := W g s γ, γ K 1 c K 1 cw g s γ, γ : Hr p (R + ) H r p(r + ) of Mellin and Fourier convolution operators is correctly defined and bounded. It is compact for r = and all 1 < p < (see [11, 1]). Due to Krasnoselsky s interpolation theorem (see [33] and also [41, Sections and ]), the operator T is compact in all L r -spaces for 1/p 1 < r < 1/p. Therefore, the equality (.71) can be rewritten as ] Λ s γk 1 c = c [K s 1 cw g s γ, γ + T Λ s c γ, and we are done. Remark.1 The assumption 1/p 1 < r < 1/p in (.73) cannot be relaxed. Indeed, the operator W g s γ, γ K 1 c = Λ s γλ s γ K 1 c : Hr p (R + ) H r p(r + ) is bounded for all r R (see (.58)). But the operator K 1 cw g s γ, γ : Hr p (R + ) H r p(r + ) is bounded only for 1/p 1 < r < 1/p because the function g s γ, γ (ξ) has an analytic extension into the lower half-plane but not into the upper one. 5

26 3 A Local Principle In the present section we expose well known, but slightly modified local principle from [39], which we apply intensively. Let B 1 (Ω)and B (Ω) be Banach spaces of functions on a domain Ω R n and multiplication by uniformly bounded C (Ω)-functions are bounded operators in both spaces. If Ω = R n, we consider one point compactification Ω := R n of Ω = R n. Let x Ω and consider the class of multiplication operators by functions { x := vi : v C (Ω), v(t) = 1 for t x < ε 1, v(x) } (3.74) and v(t) = for t x > ε x where ε > ε 1 > are not fixed and vary from function to function. x is, obviously, a localizing class in the algebra of bounded linear operators L(B 1 (Ω), B (Ω)) and { x } x Ω is a covering class. Indeed, for a system {v x I} x Ω we consider the related covering Ω = x Ω U x, U x := {y Ω : v x (y) = 1}. The set Ω is compact and there exists a finite covering system Ω = N U x j. The corresponding sum is strictly positive inf g(y) 1 for g(y) := N v xj (y) (3.75) y R n and the multiplication operator N v x j I = gi has the inverse g 1 I. Thus, the system of localizing classes { x } x Ω is covering. Most probably we would have to deal with the quotient space L (B 1 (Ω), B (Ω)) := L(B 1 (Ω), B (Ω))/C(B 1 (Ω), B (Ω)) of linear bounded operators with respect to the compact operators. Definition 3.1 A quotient class [A] L (B 1 (Ω), B (Ω)) is called x -invertible if there exists a quotient class [R x ] L (B (Ω), B 1 (Ω)) and v x x such that the operator equalities [R x Av x I 1 ] = [v x I 1 ] and [v x AR x ] = [v x I ] holds, where I 1 and I are the identity operators in the spaces B 1 (Ω) and B (Ω). Consider a pair of operators A j : B 1 (Ω j ) B (Ω j ), j = 1,, (3.76) in the same pairs of function spaces B 1 (Ω 1 ), B (Ω 1 ) and B 1 (Ω ), B (Ω ) defined on different domains Ω 1, Ω R n. For this we assume that for any pair of points x 1 Ω 1 and x Ω there exist there exists a local diffeomorphism of neighbourhoods β : ω(x 1 ) ω(x ), x j ω(x j ) Ω j, j = 1,. (3.77) 6

27 The operators β ϕ(x) := ϕ(β(x)), β 1 ψ(y) := ψ(β 1 ( y)) are inverses to each-other and map the spaces β : B j (ω ) B j (ω 1 ), β 1 : B j (ω 1 ) B j (ω ). Definition 3. [Quasi localization] Let multiplication by uniformly bounded C functions on corresponding closed domains Ω 1 and Ω 1 are bounded operators in all respective spaces B (Ω 1 ) and B 1 (Ω ), B (Ω ). Two classes from the quotient spaces [A 1 ], [A ] L (B 1, B ) (see (3.76)) are called locally quasi equivalent at x 1 Ω 1 and x Ω, if inf v 1 x 1,v x 1 x1 [v 1 x 1 ][A 1 β A β 1 ] = inf v 1 x 1,v x 1 x1 [A 1 β A β 1 ][v x 1 I] =, (3.78) where the norm in the quotient space L (B 1, B ) = L(B 1, B )/C(B 1, B ) coincides with the essential norm [A] := A := inf A + T. T C(B 1,B ) Such an equivalence we denote as follows [A 1 ] x 1 β x [A ] or also [A 1 ] x 1 β x [A ]. If Ω 1 = Ω = Ω and β(x) = x is the identity map, the equivalence at the point x Ω is denoted as follows [A 1 ] x [A ] or also [A 1 ] x [A ]. Definition 3.3 Let A, B 1 (Ω) and B (Ω) be the same as in Definition 3.. An operator A : B 1 (Ω) B (Ω) is called of local type if v 1 Av I : B 1 (Ω) B (Ω) is compact for all v 1, v C (Ω), provided supp v 1 supp v = (see [38]); Or, equivalently, if va AvI : B 1 (Ω) B (Ω) is compact for all v C (Ω) (see [38]). Proposition 3.4 (Localization principle) Let A, B j (Ω k ), j, k = 1,, be a group of four function spaces as in Definition 3. and A : B 1 (Ω 1 ) B (Ω 1 ), B x : B 1 (Ω ) B (Ω ), x Ω 1, be operators of local type. x If the quasi equivalence [A] β x y [Bx ] holds for some diffeomorphism β x : ω(x) ω(y(x)), y(x) Ω, then [A] is locally invertible at x Ω 1 if and only if [B x ] is locally invertible at y(x). If the quasi equivalence [A] x β x y(x) [B x ] holds for all x Ω 1 and [B x ] L (B 1 (Ω ), B (Ω )) are locally invertible at y(x) Ω for all y(x) Ω, than the quotient class [A] is globally invertible (i.e., A : B 1 (Ω 1 ) B (Ω 1 ) is a Fredholm operator). 7

28 Remark 3.5 If in the foregoing Proposition 3.4 we drop the condition that A and B x are of local type, then from the left (from the right) quasi equivalence and the left invertibility of [B x ] L (B 1 (Ω ), B (Ω )) at y(x) Ω for all y(x) Ω, follows is global invertibility of the quotient class [A] from the left (from the right), i.e., the existence of the left (of the right) regularizer for the operator A : B 1 (Ω 1 ) B (Ω 1 )). 4 Algebra Generated by Mellin and Fourier Convolution Operators Let R := R { } denote one point compactification of the real axes R and R := R {± }-the two point compactification of R. By C( R) (by C(R), respectively) we denote the space of continuous functions g(x) on R which have the equal limits at the infinity g( ) = g(+ ) (limits at the infinity can be different g( ) g(+ ). By P C( R)is denoted the space of piecewise-continuous functions on R, having the limits a(t ± ) at all points t R, including the infinity. Unlike the operators W a and M a (see Section 1), possessing the property W a W b = W ab, M am b = M ab for all a, b M p (R), (4.79) the composition of the convolution operators on the semi-axes W a and W b cannot be computed by the rules similar to (4.79). Nevertheless, the following propositions hold. Proposition 4.1 ([16, Section ]) Let 1 < p < and a, b M p (R + ) P C( R) be scalar L p -multipliers, piecewise-continuous on R including infinity. Then the commutant [W a, W b ] := W a W b W b W a of the operators W a and W b is a compact operator in the Lebesgue space [W a, W b ] : L p (R + ) L p (R + ). Moreover, if, in addition, the symbols a(ξ) and b(ξ) of the operators W a and W b have no common discontinuity points, i.e., if [ a(ξ + ) a(ξ + ) ][ b(ξ + ) b(ξ + ) ] = for all ξ R, then T = W a W b W ab is a compact operator in L p (R + ). Note that the algebra of N N matrix multipliers M (R) coincides with the algebra of N N matrix functions essentially bounded on R. For p, the algebra M p (R) is rather complicated. There are multipliers g M p (R) which are elliptic, i.e. ess inf g(x) >, but 1/g M p (R). In connection with this, let us consider 8

29 the subalgebra P CM p (R) which is the closure of the algebra of piecewise-constant functions on R in the norm of multipliers M p (R) a Mp (R) := W a L p (R). Note that any function g P CM p (R) P C(R) has limits g(x ± ) for all x R, including the infinity. Let CM p (R) := C(R) P CM p(r), CM p( R) := C( R) P CM p (R), where functions g CM p (R) (functions h C( R)) might have jump only at the infinity g( ) g(+ ) (are continuous at the infinity h( ) = h(+ )). P CM p (R) is a Banach algebra and contains all functions of bounded variation as a subset for all 1 < p < (Stechkin s theorem, see [16, Section ]). Therefore, coth π(iβ + ξ) CM p (R) for all p (1, ). Proposition 4. ([16, Section ]) If g P CM p (R) is an N N matrix multiplier, then its inverse g 1 P CM p (R) if and only if it is elliptic, i.e. det g(x±) for all x R. If this is the case, the corresponding Mellin convolution operator M g : L p (R + ) L p (R + ) is invertible and (M g) 1 = M g 1. Moreover, any N N matrix multiplier b CM p( R) can be approximated by polynomials m ( ξ i ) m, r n (ξ) := c m rm CM ξ + i p(r), j= m with constant N N matrix coefficients, whereas any N N matrix multiplier g CM p(r) having a jump discontinuity at infinity can be approximated by N N matrix functions d coth π(iβ + ξ) + r m (ξ), < β < 1. Due to the connection between the Fourier and Mellin convolution operators (see Introduction, (.4)), the following is a direct consequence of Proposition 4.. Corollary 4.3 The Mellin convolution operator A = M A β : L p (R, t γ ), in (.1) with the symbol A β (ξ) in (.5) is invertible if and only if the symbol is elliptic, inf det Aβ (ξ) > (4.8) ξ R and the inverse is then written as A 1 = M. A 1 1/p 9

30 The Hilbert transform on the semi-axis S R +ϕ(x) := 1 πi ϕ(y) dy y x (4.81) is the Fourier convolution S R + = W sign on the semi-axis R + with the discontinuous symbol sign ξ (see [16, Lemma 1.35]), and it is also the Mellin convolution S R + = M s β = Z β W s β Z 1 β, (4.8) s β (ξ) := coth π(iβ + ξ)= eπ(iβ+ξ) +e π(iβ+ξ) = i cot π(β iξ), ξ R e π(iβ+ξ) e π(iβ+ξ) (cf. (.5) and (.8)). Indeed, to verify (4.8) rewrite S R + S R +ϕ(x) := 1 πi ϕ(y) 1 x y dy y = in the following form ( x ) K ϕ(y) dy y y, where K(t) := (1/πi)(1 t) 1. Further, using the formula t z 1 1 t dt = π cot πz, Re z < 1, cf. [3, formula ], one shows that the Mellin transform M β K(ξ) coincides with the function s β (ξ) from (4.8). Next Theorem 4.4 is an enhancement of Theorem 1.. Theorem 4.4 Let 1 < p < and s R. For arbitrary γ j C, Im γ j >= (,) the Hilbert transform K 1 1 = is + R = iw sign = W i sign : Hs p (R + ) H s p(r + ) (4.83) (see (.46), (.47) and (4.81); the case c = 1, arg c =, Theorem.8). K 1 1 is a Fourier convolution operator and Λ s γ 1 K 1 1Λ s γ = W i sign g s γ1,γ : L p (R + ) L p (R + ), (4.84) where g s γ 1,γ (ξ) is defined in (1.8). Proof: Formula (4.84) follows from (1.6) and (4.83). We need certain results concerning the compactness of Mellin and Fourier convolutions in L p -spaces. These results are scattered in literature. For the convenience of the reader, we reformulate them here as Propositions For more details, the reader can consult [6, 16, 1]. 3

31 Proposition 4.5 ([1, Proposition 1.6]) Let 1 < p <, a C( R + ), b CM p( R) and a() = b( ) =. L p (R + ) are compact. Then the operators am b, M b ai : L p(r + ) Proposition 4.6 ([16, Lemma 7.1] and [1, Proposition 1.]) Let 1 < p <, a C( R + ), b CM p( R) and a( ) = b( ) =. Then the operators aw b, W b ai : L p (R + ) L p (R + ) are compact. Proposition 4.7 ([1, Lemma.5, Lemma.6] and [6]) Assume that 1 < p <. Then 1. If g CM p( R) and g( ) =, the Hankel operator H g : L p (R + ) L p (R + ) is compact;. If the functions a C( R), b CM p(r), c C(R + ) and satisfy at least one of the conditions (i) c() = b(+ ) = and a(ξ) = for all ξ >, (ii) c() = b( ) = and a(ξ) = for all ξ <, then the operators cw a M b, cm b W a, W a M b ci, M b W a ci : L p (R + ) L p (R + ) are compact. Proof: Let us comment only on item 1 in Proposition 4.7, which is not proved in [1], although is well known. The kernel k(x + y) of the operator H a is approximated by the Laguerre polynomials k m (x + y) = e x y p m (x + y), m = 1,,..., where p m (x + y) are polynomials of order m so that the corresponding Hankel operators converge in norm H a H am L(L p (R + )), where a m = Fk m are the Fourier transforms of the Laguerre polynomials (see, e.g. [8]). Since k m (x + y) = e x y p m (x + y) Cm e x e y x m y m, m = 1,,..., for some constant C m, the condition on the kernel [ ] p/p k m (x + y) p dy dx <, p := p p 1, holds and ensures the compactness of the operator H am : L p (R + ) L p (R + ). Then the limit operator H a = lim H a m is compact as well. m 31

32 Proposition 4.8 ([16, Lemma 7.1] and [1, Proposition 1.]) Let 1 < p <, a C( R + ), b CM p( R) and a( ) = b( ) =. Then the operators aw b, W b ai : L p (R + ) L p (R + ) are compact. Proposition 4.9 ([16, Lemma 7.4] and [1, Lemma 1.]) Let 1 < p < and let a and b satisfy at least one of the conditions (i) a C(R + ), b M p(r) P C(R), (ii) a P C(R + ), b CM p(r). Then the commutants [ai, W b ] and [ai, M b ] are compact operators in the space L p (R + ). Remark 4.1 Note that, if both, a symbol b and a function a, have jumps at finite points, the commutants [ai, W b ] and [ai, M b ] are not compact. Only jumps of a symbol at the infinity does not matters. Proposition 4.11 ([1]) The Banach algebra, generated by the Cauchy singular integral operator S R + and the identity operator I on the semi-axis R +, contains Fourier convolution operators with symbols having discontinuity of the jump type only at zero and at the infinity and Mellin convolution operators with continuous symbols on R (including the uinfinity). Moreover, the Banach algebra F p (R + ) generated by the Cauchy singular integral operators with shifts S c R +ϕ(x) := 1 πi e ic(x y) ϕ(y) dy y x = W sign(ξ c) ϕ(x) for all c R and by the identity operator I on the semi-axis R + over the field of N N complex valued matrices coincides with the Banach algebra generated by Fourier convolution operators with piecewise-constant N N matrix symbols contains all Fourier convolution W a and hankel H b operators with N N matrix symbols (multipliers) a, b P CM p (R). Let us consider the Banach algebra A p (R + ) generated by Mellin convolution and Fourier convolution operators, i.e. by the operators m A := M a j W bj, (4.85) and there compositions, in the Lebesgue space L p (R + ). Here M a j are Mellin convolution operators with continuous N N matrix symbols a j CM p ( R), W bj 3 are