arxiv: v1 [math.fa] 25 Feb 2010

Transcription

1 arxiv: v [math.fa] 25 Feb 200 SINGULAR INTEGRAL OPERATORS ON NAKANO SPACES WITH WEIGHTS HAVING FINITE SETS OF DISCONTINUITIES ALEXEI YU. KARLOVICH To the memory of Professor Israel Gohberg ( ) Abstract. In 968, Gohberg and Krupnik found a Fredholm criterion for singular integral operators of the form ap + bq, where a, b are piecewise continuous functions and P, Q are complementary projections associated to the Cauchy singular integral operator, acting on Lebesgue spaces over Lyapunov curves. We extend this result to the case of Nakano spaces (also known as variable Lebesgue spaces) with certain weights having finite sets of discontinuities on arbitrary Carleson curves.. Introduction We say that a rectifiable curve Γ in the complex plane is simple if it is homeomorphic to a segment or to a circle. We equip Γ with Lebesgue length measure dτ. The Cauchy singular integral of f L (Γ) is defined by (Sf)(t) := πi Γ Γ f(τ) dτ (t Γ). τ t This integral is understood in the principal value sense, that is, f(τ) f(τ) dτ := lim τ t R 0 τ t dτ, Γ\Γ(t,R) where Γ(t,R) := {τ Γ : τ t < R} for R > 0. David [3] (see also [, Theorem 4.7]) proved that the Cauchy singular integral generates the bounded operator S on the Lebesgue space L p (Γ), < p <, if and only if Γ is a Carleson (Ahlfors-David regular) curve, that is, Γ(t, R) sup sup <, t Γ R>0 R where for any measurable set Ω Γ the symbol Ω denotes its measure. A measurable function w : Γ [0, ] is referred to as a weight function or simply a weight if 0 < w(τ) < for almost all τ Γ. Suppose p : Γ [, ] is a measurable a.e. finite function. Denote by L p( ) (Γ,w) the set of all measurable complex-valued functions f on Γ such that f(τ)w(τ)/λ p(τ) dτ < Γ 2000 Mathematics Subject Classification. Primary 47B35; Secondary 42B20, 42B25, 46E30. Key words and phrases. Cauchy singular integral operator, indices of submultiplicative functions, Carleson curve, one-sided invertibility, piecewise continuous function, weighted Nakano space.

2 2 ALEXEI YU. KARLOVICH for some λ = λ(f) > 0. This set becomes a Banach space when equipped with the Luxemburg-Nakano norm { } f p( ),w := inf λ > 0 : f(τ)w(τ)/λ p(τ) dτ. Γ If p is constant, then L p( ) (Γ,w) is nothing else but the weighted Lebesgue space. Therefore, it is natural to refer to L p( ) (Γ,w) as a weighted generalized Lebesgue space with variable exponent or simply as a weighted variable Lebesgue space. This is a special case of Musielak-Orlicz spaces [33] (see also [28]). Nakano [34] considered these spaces (without weights) as examples of so-called modular spaces, and sometimes the spaces L p( ) (Γ,w) are referred to as weighted Nakano spaces. Theorem. (Kokilashvili, Paatashvili, S. Samko). Suppose Γ is a simple rectifiable curve and p : Γ (, ) is a continuous function satisfying the Dini-Lipschitz condition () p(τ) p(t) C Γ /log τ t whenever τ t /2, where C Γ is a positive constant depending only on Γ. Let t,...,t n Γ be pairwise distinct points and λ,...,λ n R. The Cauchy singular integral operator S is bounded on the Nakano space L p( ) (Γ,w) with weight given by (2) w(τ) = n τ λj (τ Γ) j= if and only if Γ is a Carleson curve and 0 < /p( )+λ j < for all j {,...,n}. For the case of constant p and sufficiently smooth curves, the sufficiency portion of the above result was obtained more than fifty years ago by Khvedelidze [7] (see also [8, Chap., Theorem 4.]). The necessity portion for constant p goes back to Gohberg and Krupnik [7]. For the complete solution of the boundedness problem for the operator S on weighted standard Lebesgue spaces L p (Γ,w) we refer to the survey paper by Dynkin [4], to the monographs by Böttcher and Yu. Karlovich [], by Khuskivadze, Kokilashvili, and Paatashvili [6], and by Genebashvili, Gogatishvili, Kokilashvili, and Krbec [5]. Theorem. was proved in [2, Theorem A]. Later on, Kokilashvili, N. Samko, and S. Samko [24, Theorem 4.3] generalized the sufficiency portion of Theorem. to the case of radial oscillating weights n (3) w(τ) = ω j ( τ ) (τ Γ), j= where ω j : (0, Γ ] (0, ) are some continuous functions oscillating at zero. Those sufficient boundedness conditions are expressed in terms of the Matuszewska-Orlicz indices [3, 32] (see also [29, 30]) of the functions ω j. The author observed that those conditions are also necessary for the boundedness of the operator S on the weighted Nakano space L p( ) (Γ,w) in the case of Jordan curves Γ (see [2, Corollary 4.3] and also [3]). Recall that a rectifiable curve in the complex plane is said to be Jordan if it is homeomorphic to a circle. Now fix t Γ and assume that w is a weight such that the operator S is bounded on L p( ) (Γ,w). In the spectral theory of one-dimensional singular integral operators it is

3 SINGULAR INTEGRAL OPERATORS 3 important to know whether the operator S is also bounded on the space L p( ) (Γ,ϕ t,γ w), where ϕ t,γ (τ) := (τ t) γ and γ is an arbitrary complex number. For standard Lebesgue spaces and arbitrary Muckenhoupt wights such γ are completely characterized by Böttcher and Yu. Karlovich [, Chap. 3]. Notice that if γ is the imaginary unit, then ϕ t,i coincides with η t (τ) := e arg(τ t) (here and in what follows we choose a continuous brunch of the argument on Γ\{t}), and this function lies beyond the class of radial oscillating weights considered by Kokilashvili, N. Samko, and S. Samko [23, 24]. The author [5, Theorem 2.] found necessary and sufficient conditions for the boundedness of the operator S on the space L p( ) (Γ,ϕ t,γ ). Our first aim in this paper is to generalize known boundedness results for the operator S on the space L p( ) (Γ,w) to the case of weights of the form w(τ) = n j= ψ j(τ) where eachψ j isacontinuouspositivefunction onγ\{ }andt,...,t n Γarepairwisedistinct points. Inparticular,weallowfunctionsψ j oftheformψ j (τ) = (η tj (τ)) x ω j ( τ )where x R and ω j is an oscillating function as in [2, 3, 23, 24]. To formulate our first main result explicitly, we need some definitions. Following [, Section.4], afunction : (0, ) (0, ]issaidtoberegular ifitisbounded fromabove in some open neighborhood of the point. A function : (0, ) (0, ] is said to be submultiplicative if (xy) (x) (y) for all x,y (0, ). Clearly, if : (0, ) (0, ] is regular and submultiplicative, then (x) is finite for all x (0, ). Given a regular submultiplicative function : (0, ) (0, ), one defines (4) α( ) := sup x (0,) log (x) log (x), β( ) := inf logx x (, ) logx. One can show (see Theorem 2.) that < α( ) β( ) < +. Thus it is natural to call α( ) and β( ) the lower and upper indices of, respectively. Fix t Γ andd t := max τ t. Following[, Section.5], foreverycontinuousfunction τ Γ ψ : Γ\{t} (0, ), we define ( ) sup max ψ(τ)/ min ψ(τ) for x (0,], 0<R d (W t ψ)(x) := t τ Γ: τ t =xr τ Γ: τ t =R ( ) sup max ψ(τ)/ min ψ(τ) for x [, ) 0<R d t τ Γ: τ t =R τ Γ: τ t =x R and ( ) (Wt 0 ψ)(x) = limsup max ψ(τ)/ min ψ(τ) R 0 τ Γ: τ t =xr τ Γ: τ t =R ( ) = lim sup max ψ(τ)/ min ψ(τ) R 0 τ Γ: τ t =R τ Γ: τ t =x R for x R. The function W t ψ is always submultiplicative. Moreover, if W t ψ is regular, then Wt 0 ψ is also regular and submultiplicative and α(w t ψ) = α(wt 0 ψ), β(w tψ) = β(wt 0 ψ) (see [, Lemmas.5 and.6]). Our first main result is the following.

4 4 ALEXEI YU. KARLOVICH Theorem.2. Suppose Γ is a simple rectifiable curve and p : Γ (, ) is a continuous function satisfying the Dini-Lipschitz condition (). Let t,...,t n Γ be pairwise distinct points and ψ j : Γ\{ } (0, ) be continuous functions such that the functions W tj ψ j are regular for all j {,...,n}. (a) If Γ is a simple Carleson curve and (5) 0 < /p( )+α(w 0 ψ j ), /p( )+β(w 0 ψ j ) < for all j {,...,n}, then the operator S is bounded on the Nakano space L p( ) (Γ,w) with weight w given by n (6) w(τ) := ψ j (τ) (τ Γ). j= (b) If the operator S is bounded on the Nakano space L p( ) (Γ,w) with weight w given by (6), then Γ is a Carleson curve and 0 /p( )+α(w 0 ψ j ), /p( )+β(w 0 ψ j ) for all j {,...,n}. (c) If Γ is a rectifiable Jordan curve and the operator S is bounded on the Nakano space L p( ) (Γ,w) with weight w given by (6), then Γ is a Carleson curve and conditions (5) are fulfilled. A bounded linear operator on a Banach space X is said to be Fredholm if its image ImA is closed in X and the numbers dimkera and dim(x/ima) are finite. We equip a rectifiable Jordan curve Γ with the counter-clockwise orientation. Without loss of generality we will assume that the origin lies inside the domain bounded by Γ. By PC(Γ) we denote the set of all a L (Γ) for which the one-sided limits a(t±0) := lim τ t±0 a(τ) exist and arefinite at each point t Γ; here τ t 0meansthat τ approachestfollowing the orientation of Γ, while τ t + 0 means that τ goes to t in the opposite direction. Functions in P C(Γ) are called piecewise continuous functions. In 968, Gohberg and Krupnik [6, Theorem 4] (see also [8, Chap. 9, Theorem 3.]) found criteria for one-sided invertibility of one-dimensional singular integral operators of the form A = ap +bq, where a,b PC(Γ), P := (I +S)/2, Q := (I S)/2 acting on standard Lebesgue spaces L p (Γ) over Lyapunov curves. Their Fredholm theory for one-dimensional singular integral operators on standard Lebesgue spaces L p (Γ,w) with Khvedelidze weights (2) over Lyapunov curves is presented in the monograph [8] first published in Russian in 973. Generalizations of this theory to the case of arbitrary Muckenhoupt weights and arbitrary Carleson curves are contained in the monograph by Böttcher and Yu. Karlovich []. Fredholmness of one-dimensional singular integral operators on Nakano spaces (variable Lebesgue spaces) over sufficiently smooth curves was studied for the first time by Kokilashvili and S. Samko [25]. The closely related Riemann-Hilbert boundary value problem in weighted classes of Cauchy type integrals with density in L p( ) (Γ) was considered by Kokilashvili, Paatashvili, and S. Samko [8, 9, 20, 22]. The author [2] found a Fredholm criterion for an arbitrary operator in the Banach algebra of one-dimensional

5 SINGULAR INTEGRAL OPERATORS 5 singular integral operators with piecewise continuous coefficients acting on Nakano spaces L p( ) (Γ,w) with radial oscillating weights (3) over so-called logarithmic Carleson curves. Roughly speaking, logarithmic Carleson curves are Carleson curves Γ for which the weight η t (τ) is equivalent to a power weight τ t λt with some λ t R for each t Γ. Further, this technical assumption on Carleson curves was removed in [5] but only in the non-weighted case. The aim of this paper is to prove an analogue of the Gohberg-Krupnik Fredholm criterion for the operator ap +bq acting on L p( ) (Γ,w) in the case of arbitrary Carleson curves and a wide class of weights, in particular, including radial oscillating weights (3). Having this result at hands, one can construct a Fredholm theory for the Banach algebra of singular integral operators with piecewise continuous coefficients by using the machinery developed in [] exactly in the same way as it was done in [2, 5]. We will not present these results in this paper. Now we prepare the formulation of our main result. Let L p( ) (Γ,w) be as in Theorem.2. One can show (see Section 6.) that the functions α t,β t : R R given by (7) α (x) := α(w 0 (η x tψ j )), β (x) := β(w 0 (η x tψ j )) for j {,...,n} and by (8) α t(x) := α ( W 0 t (η x t) ), β t(x) := β ( W 0 t (η x t) ) for t / Γ\{t,...,t n } are well-defined and the set Y(p(t),α t,β t ) := { γ = x+iy C : /p(t)+α t (x) y /p(t)+β t (x)} is connected and contains points with arbitrary real parts. Given z,z 2 C, let where L(z,z 2 ;p(t),α t,β t ) := { M z,z 2 (e 2πγ ) : γ Y(p(t),α t,β t )} {z,z 2 }, (9) M z,z 2 (ζ) := (z 2 ζ z )/(ζ ) is the Möbius transform. The set L(z,z 2 ;p(t),α t,βt) is referred to as the leaf about (or between) z and z 2 determined by p(t),α t,β t. This is a connected set containing z and z 2 for every t Γ. For a PC(Γ), denote by R(a) the essential range of a, i.e. let R(a) be the set {a(t 0),a(t+0)}. t Γ Let J a stand the set of all points at which a has a jump. Clearly, we may write R(a) = {a(t)} {a(t 0),a(t+0)}. t Γ\J a t J a We will say that a function a PC(Γ) is L p( ) (Γ,w)-nonsingular if 0 / R(a) t J a L(a(t 0),a(t+0);p(t),α t,β t). Our second main result reads as follows.

6 6 ALEXEI YU. KARLOVICH Theorem.3. Suppose Γ is a Carleson Jordan curve, a,b PC(Γ), and p : Γ (, ) is a continuous function satisfying the Dini-Lipschitz condition (). Let t,...,t n Γ be pairwise distinct points and ψ j : Γ\{ } (0, ) be continuous functions such that the functions W tj ψ j are regular and conditions (5) are fulfilled for all j {,...,n}. The operator ap + bq is Fredholm on the Nakano space L p( ) (Γ,w) with weight w given by (6) if and only if inf t Γ b(t) > 0 and the function a/b is Lp( ) (Γ,w)-nonsingular. For b =, the aboveresult generalizes[2, Theorem4.5], where the weightsof the form (3) were considered over so-called logarithmic Carleson curves, and [5, Theorem 2.2], where underlying curves were arbitrary Carleson curves but no weights were involved. Although the main results of this paper are new, the methods of their proofs are not new and known to experts in the field. We decided to provide selfcontained proofs with complete formulations of auxiliary results taken from other publications. So, this paper can be considered as a short survey on the topic. The paper is organized as follows. In Section 2, we collect some auxiliary results on indices of submultiplicative functions associated with curves and weights. In Section 3, following the approach of Kokilashvili, N. Samko, and S. Samko [23], we prove that conditions (5) are sufficient for the boundedness of the maximal operator on Nakano spaces L p( ) (Γ,w) with weights of the form (6). With the aid of this result, we prove Theorem.2 in Section 4. Section 5 contains basic results on singular integral operators with L coefficients on weighted Nakano spaces. Their proofs are analogous to the case of standard weighted Lebesgue spaces (see e.g. [8, Chap. 7-8]). In Section 6 we prove Theorem.3 following the approach of Böttcher and Yu. Karlovich [, Chap. 7] (see also [2, 5]). Note that Theorem.2 plays a crucial role in the proof of Theorem Indices of submultiplicative functions 2.. Indices as limits. The indices of a regular submultiplicative function defined by (4) cen be calculated as limits as x 0 and x, respectively. The proof of the following result can be found e.g. in [, Theorem.3]. Theorem 2. (well-known). If a function : (0, ) (0, ) is regular and submultiplicative, then log (x) log (x) α( ) = lim, β( ) = lim x 0 logx x logx and < α( ) β( ) < Spirality indices. The following result was proved in [, Theorem.8] and [, Proposition 3.]. Theorem 2.2 (Böttcher, Yu. Karlovich). Let Γ be a simple Carleson curve and t Γ. For every x R, the functions W t (η x t) and W 0 t (η x t) are regular and submultiplicative and where α ( W t (η x t) ) = α ( W 0 t (η x t) ) = min{δ t x,δ + t x}, β ( W t (η x t) ) = β ( W 0 t (η x t) ) = max{δ t x,δ + t x}, δ t := α(w 0 t η t ), δ + t := β(w 0 t η t ).

7 SINGULAR INTEGRAL OPERATORS 7 The numbers δ t and δ + t are called the lower and upper spirality indices of Γ at t. If Γ is locally smooth at t, then δ t = δ + t = 0. One says that Γ is a logarithmic Carleson curve if arg(τ t) = δ t log τ t +O() as τ t foreveryt Γ. It isnot difficult tosee, that forsuchcurvesδ t = δ + t = δ t foreveryt Γ. However, arbitrary Carleson curves have much more complicated behavior. Indeed, for given numbers α,β R such that α β, one can construct a Carleson curve such that α = δ t and β = δ + t at some point t Γ (see [, Proposition.2]) Indices of powerlikeness. Fix t Γ. Let w : Γ [0, ] be a weight on Γ such that logw L (Γ(t,R)) for every R (0,d t ]. Put ( ) exp logw(τ) dτ Γ(t,R ) Γ(t,R ) H w,t (R,R 2 ) := ( ), R,R 2 (0,d t ]. exp logw(τ) dτ Γ(t,R 2 ) Γ(t,R 2) Following [, Section 3.2], we define sup H w,t (xr,r) for x (0,], 0<R d (V t w)(x) := t sup H w,t (R,x R) for x [, ) 0<R d t and (V 0 t w)(x) := limsup R 0 H w,t (xr,r) = limsuph w,t (R,x R) R 0 for x R. A function f : Γ [, ] is said to have bounded mean oscillation at a point t Γ if f L (Γ) and sup R>0 f(τ) t (f,r) dτ <, Γ(t, R) Γ(t,R) where t (f,r) := f(τ) dτ (R > 0). Γ(t, R) Γ(t,R) The class of all functions of bounded mean oscillation at t Γ is denoted by BMO(Γ,t). The following result give sufficient conditions for the regularity of V t w and Vt 0 w. It was proved in [, Theorem 3.3(a)] and [, Lemma 3.5(a)]. Theorem 2.3 (Böttcher, Yu. Karlovich). Suppose Γ is a simple Carleson curve and t Γ. If w : Γ [0, ] is a weight such that logw BMO(Γ,t), then the functions V t w and Vt 0 w are regular and submultiplicative and α(v t w) = α(v 0 t w), β(v t w) = β(v 0 t w). The numbers α(v 0 t w) and β(v 0 t w) are called the lower and upper indices of powerlikeness of w at t Γ, respectively. This terminology can be explained by the simple fact that for the power weight w(τ) = τ t λ its indices of powerlikeness coincide and are equal to λ.

8 8 ALEXEI YU. KARLOVICH Lemma 2.4. Let Γ be a simple Carleson curve and t,...,t n Γ be pairwise distinct points. Suppose ψ j : Γ\{ } (0, ) are continuous functions for j {,...n} and w is the weight given by (6). If Vt 0 j w is regular for some j {,...,n}, then Vt 0 j ψ j is also regular and α(vt 0 j w) = α(vt 0 j ψ j ), β(vt 0 j w) = β(vt 0 j ψ j ). Proof. Without loss of generality, assume that V 0 t w is regular. Suppose Γ Γ is an arc that contains the point t but does not contain the points t 2,...,t n. Assume that Γ is homeomorphic to a segment. Then the functions ψ 2,...,ψ n are continuous on the compact set Γ. Therefore there exist constants C and C 2 such that 0 < C ψ 2 (τ)...ψ n (τ) C 2 < + for all τ Γ. Then C ψ (τ) w(τ) C 2 ψ (τ) for all τ Γ and C H ψ,t C (R,R 2 ) H w,t (R,R 2 ) C 2 H ψ,t 2 C (R,R 2 ) ( ) for all R,R 2 0,max τ t. Thus, τ Γ C C 2 (V 0 t ψ )(x) (V 0 t w)(x) C 2 C (V 0 t ψ )(x) for all x R. Theseinequalitiesimply thatifvt 0 w isregular,then Vt 0 ψ isalsoregularandtheirindices coincide: α(vt 0 ψ ) = α(vt 0 w) and β(vt 0 ψ ) = β(vt 0 w) 2.4. Relations between indices of submultiplicative functions. The following statement is proved by analogy with [, Proposition 3.]. Lemma 2.5. Let Γ be a simple rectifiable curve and t Γ. Suppose ψ : Γ\{t} (0, ) is a continuous function and W t ψ is regular. Then, for every s R, the functions W t (ψ s ) and Wt 0 (ψ s ) are regular and α ( W t (ψ s ) ) = α ( Wt 0 (ψ s ) ) { sα(w 0 = t ψ) if s 0, sβ(wt 0 ψ) if s < 0, β ( W t (ψ s ) ) = β ( Wt 0 (ψs ) ) { sβ(w 0 = t ψ) if s 0, sα(wt 0 ψ) if s < 0. The next statement is certainly known to experts, however we were unable to find the precise reference. Lemma 2.6. Let Γ be a simple rectifiable curve, t Γ, and ψ,ψ 2 : Γ \ {t} (0, ) be continuous functions such that the functions W t ψ and W t ψ 2 are regular. Then the functions W t (ψ ψ 2 ) and W 0 t (ψ ψ 2 ) are regular and submultiplicative and α(w t ψ )+α(w t ψ 2 ) α ( W t (ψ ψ 2 ) ) min { α(w t ψ )+β(w t ψ 2 ),β(w t ψ )+α(w t ψ 2 ) }, β(w t ψ )+β(w t ψ 2 ) β ( W t (ψ ψ 2 ) ) max { α(w t ψ )+β(w t ψ 2 ),β(w t ψ )+α(w t ψ 2 ) }. The same inequalities hold with W t replaced by W 0 t in each occurrence. Proof. Let R (0,d t ] and x (0,]. Then max (ψ (τ)ψ 2 (τ)) τ Γ: τ t =xr min (ψ (τ)ψ 2 (τ)) τ Γ: τ t =R max ψ (τ) τ Γ: τ t =xr min ψ (τ) τ Γ: τ t =R max ψ 2(τ) τ Γ: τ t =xr min ψ 2(τ). τ Γ: τ t =R

9 SINGULAR INTEGRAL OPERATORS 9 Taking the supremum over all R (0,d t ], we obtain ( (0) Wt (ψ ψ 2 ) ) (x) (W t ψ )(x)(w t ψ 2 )(x) for all x (0,]. Analogously it can be shown that this inequality holds for x (, ). In particular, this implies that the function W t (ψ ψ 2 ) is regular. Further, taking the logarithms of both sides of (0), dividing by logx, and then passing to the limits as x 0 and x, we obtain () α(w t ψ )+α(w t ψ 2 ) α ( W t (ψ ψ 2 ) ), β ( W t (ψ ψ 2 ) ) β(w t ψ )+β(w t ψ 2 ), respectively. Notice that the passage to the limits is justified by Theorem 2.. Similarly, max (ψ (τ)ψ 2 (τ)) min ψ (τ) τ Γ: τ t =xr min (ψ (τ)ψ 2 (τ)) τ Γ: τ t =xr max ψ (τ) τ Γ: τ t =R τ Γ: τ t =R min ψ (τ) max ψ 2(τ) τ Γ: τ t =xr τ Γ: τ t =xr = = inf R (0,d t] sup R (0,d t] (W t ψ )(x ) max ψ (τ) τ Γ: τ t =R max ψ (τ) τ Γ: τ t =R min ψ (τ) τ Γ: τ t =xr max ψ 2(τ) τ Γ: τ t =xr min ψ 2(τ). τ Γ: τ t =R Taking the supremum over all R (0,d t ], we obtain (2) for x (0,]. Then log ( W t (ψ ψ 2 ) ) (x) logx Passing to the limit as x 0, we obtain min ψ 2(τ) τ Γ: τ t =R max ψ 2(τ) τ Γ: τ t =xr min ψ 2(τ) τ Γ: τ t =R ( Wt (ψ ψ 2 ) ) (x) (W tψ 2 )(x) (W t ψ )(x ) log(w tψ 2 )(x) logx max ψ 2(τ) τ Γ: τ t =xr min ψ 2(τ) τ Γ: τ t =R + log(w tψ )(x ) log(x. ) (3) α ( W t (ψ ψ 2 ) ) α(w t ψ 2 )+β(w t ψ ). In the same way it can be shown that (2) is also fulfilled for x (, ). This implies that (4) β ( W t (ψ ψ 2 ) ) β(w t ψ 2 )+α(w t ψ ). Replacing ψ by ψ 2 and vice versa, we also get (5) α ( W t (ψ ψ 2 ) ) α(w t ψ )+β(w t ψ 2 ), β ( W t (ψ ψ 2 ) ) β(w t ψ )+α(w t ψ 2 ). Combining inequalities () and (3) (5) we arrive at the statement of the lemma for W t. The statement for W 0 t follows from the statement for W t and [, Lemma.6]. From [, Theorem 3.3(c)] and [, Lemma 3.6] we get the following.

10 0 ALEXEI YU. KARLOVICH Lemma 2.7. Let Γ be a simple Carleson curve and t Γ. If ψ : Γ \ {t} (0, ) is a continuous function such that W t ψ is regular, then the functions Wt 0 ψ and Vt 0 ψ are regular and submultiplicative and α(w 0 t ψ) = α(v 0 t ψ), β(w 0 t ψ) = β(v 0 t ψ). The next statement is taken from [, Lemma 3.7]. Lemma 2.8. Let Γ be a simple Carleson curve and t Γ. Suppose ψ : Γ\{t} (0, ) is a continuous function such that the function W t ψ is regular and w : Γ [0, ] is a weight such that logw BMO(Γ,t). Then the function Vt 0 (ψw) is regular and submultiplicative and α(v 0 t w)+α(w t ψ) α ( V 0 t (ψw) ) min { α(v 0 t w)+β(w t ψ),β(v 0 t w)+α(w t ψ) }, β(v 0 t w)+α(w t ψ) β ( V 0 t (ψw) ) max { α(v 0 t w)+β(w t ψ),β(v 0 t w)+α(w t ψ) } Estimates of weights with one singularity by power weights. Fix t 0 Γ. Let ω(t 0,δ) denote the open arc on Γ which contains t 0 and whose endpoints lie on the circle {τ C : τ t 0 = δ}. It is clear that ω(t 0,δ) Γ(t 0,δ), however, it may happen that ω(t 0,δ) Γ(t 0,δ). The following lemma was obtained in [4, Lemma 3.2]. Lemma 2.9. Let Γ be a simple Carleson curve and t 0 Γ. Suppose ψ : Γ\{t 0 } (0, ) is a continuous function and W t0 ψ is regular. Let ε > 0 and δ be such that 0 < δ < d t0. Then there exist positive constants C j = C j (ε,δ,w), where j =,2, such that ψ(t) (6) ψ(τ) C t t 0 β(w t0 ψ)+ε τ t 0 for all t Γ\ω(t 0,δ) and all τ ω(t 0,δ); and ψ(t) (7) ψ(τ) C t t 0 2 τ t 0 for all t ω(t 0,δ) and all τ Γ\ω(t 0,δ). α(w t0 ψ) ε 3. The boundedness of the maximal operator on weighted Nakano spaces 3.. Muckenhoupt weights on Carleson curves. For a function f L (Γ) the maximal function Mf of f on Γ is defined by (Mf)(t) := sup f(τ) dτ (t Γ). R>0 Γ(t, R) Γ(t,R) The map M : f Mf is referred to as the maximal operator. The boundedness of the operators M and S on standard weighted Lebesgue spaces is well understood (see e.g. [, 4, 5, 6, 38]). Theorem 3. (well-known). Suppose Γ is a simple Carleson curve. If T is one of the operators M or S and < p <, then T is bounded on L p (Γ,w) if and only if w is a Muckenhoupt weight, w A p (Γ), that is, sup sup t Γ R>0 ( R Γ(t,R) w p (τ) dτ ) /p ( R Γ(t,R) w q (τ) dτ ) /q <

11 SINGULAR INTEGRAL OPERATORS where /p+/q =. We now consider weights ψ which are continuous and nonzero on Γ minus a point t. If the function W t ψ is regular, then its indices are well defined. The following theorem is due to Böttcher and Yu. Karlovich [, Theorem 2.33]. It provides us with a very useful tool for checking the Muckenhoupt condition once the indices of W t ψ are available. Theorem 3.2 (Böttcher, Yu. Karlovich). Let < p < and Γ be a simple Carleson curve and t Γ. Suppose ψ : Γ \ {t} (0, ) is a continuous function and W t ψ is regular. Then ψ A p (Γ) if and only if 0 < /p+α(wt 0 ψ), /p+β(w0 t ψ) < The boundedness of M on Nakano spaces with Khvedelidze weights. The proof of Theorem. in [2] is based on the following result proved in [26, Theorem A]. It will also play an essential role in our proof of Theorem.2. Theorem 3.3 (Kokilashvili, S. Samko). Suppose Γ is a simple Carleson curve and p : Γ (, ) is a continuous function satisfying the Dini-Lipschitz condition (). Let t,...,t n Γ be pairwise distinct points and λ,...,λ n R. The maximal operator M is bounded on the Nakano space L p( ) (Γ,w) with the Khvedelidze weight w given by (2) if and only if 0 < /p( )+λ j < for all j {,...,n} Sufficient condition for the boundedness of M involving Muckenhoupt weights. Although a complete characterization of weights for which M is bounded on weighted variable Lebesgue spaces is still unknown in the setting of arbitrary Carleson curves (see [9] for the setting of R n ), one of the most significant recent results to achieve this aim is the following sufficient condition (see [23, Theorem A ]). Theorem 3.4 (Kokilashvili, N. Samko, S. Samko). Let Γ be a simple Carleson curve, p : Γ (, ) be a continuous function satisfying the Dini-Lipschitz condition (), and w : Γ [0, ] be a weight such that w p/p belongs to the Muckenhoupt class A p (Γ), where (8) p := p (Γ) := min τ Γ p(τ). Then M is bounded on L p( ) (Γ,w). This theorem does not contain the sufficiency portion of Theorem 3.3 whenever p is variable because for the weight (τ) = τ t λ the condition p/p A p (Γ) is equivalent to /p(t) < λ < (p )/p(t), while the correct interval for λ is wider: /p(t) < λ < (p(t) )/p(t). This means that the conditions of Theorem 3.4 cannot be necessary unless p is constant Sufficient conditions for the boundedness of M on weighted Nakano spaces. Recall that two weights w and w 2 on Γ are said to be equivalent if there is a bounded and bounded away from zero function f on Γ such that w = fw 2. Now we will apply Theorem 3.4 to the weight w given by (6). Lemma 3.5. Let Γ be a simple Carleson curve, p : Γ (, ) be a continuous function satisfying the Dini-Lipschitz condition (), and t Γ. Suppose ψ : Γ\{t} (0, ) is a continuous functions such that the function W t ψ is regular. If (9) 0 < /p(t)+α(w 0 t ψ), /p(t)+β(w 0 t ψ) < p /p(t),

12 2 ALEXEI YU. KARLOVICH where p is defined by (8), then the operator M is bounded on L p( ) (Γ,ψ). Proof. The proof is analogous to the proof of [4, Lemma 2.2]. Taking into account Lemma 2.5, we see that the function W t (ψ p(t)/p ) is regular and inequalities (9) are equivalent to 0 < p + p(t) p α(w 0 t ψ) = p +α ( W 0 t (ψ p(t)/p ) ), > p + p(t) p β(w 0 t ψ) = p +β ( W 0 t (ψp(t)/p ) ). By Theorem 3.2, the latter inequalities are equivalent to ψ p(t)/p A p (Γ). Let us show that the weights ψ p/p and ψ p(t)/p are equivalent. Fix ε > 0. Since ψ : Γ\{t} (0, ) is continuous, from Lemma 2.9 it follows that there exist C,C 2 > 0 such that for all τ Γ\{t}. Then C τ t β(w0 t ψ)+ε ψ(τ) C 2 τ t α(w0 t ψ) ε (20) (2) logc + ( β(w 0 t ψ)+ε ) log τ t logψ(τ), logc 2 + ( α(w 0 t ψ) ε ) log τ t logψ(τ) for all τ Γ\{t}. By the Dini-Lipschitz condition (), (22) C Γ log τ t p(τ) p(t) C Γ log τ t for all τ Γ\{t} such that τ t /2. Multiplying inequalities (20) (22), we see that the function F t (τ) := p(τ) p(t) logψ(τ) p is bounded on Γ(t,/2)\{t}. Obviously, it is also bounded on Γ\Γ(t,/2). Therefore ψ(τ) p(τ)/p ψ(τ) p(t)/p = exp(f t (τ)) is bounded and bounded away from zero on Γ\{t}. Thus the weights ψ p/p and ψ p(t)/p are equivalent. In particular, this implies that ψ p/p A p (Γ) if and only if ψ p(t)/p A p (Γ). Thus, inequalities (9) imply that ψ p/p A p (Γ). Applying Theorem 3.4, we finally conclude that the maximal operator M is bounded on L p( ) (Γ,ψ). Theorem 3.6. Suppose Γ is a simple Carleson curve and p : Γ (, ) is a continuous function satisfying the Dini-Lipschitz condition (). Let t,...,t n Γ be pairwise distinct points and ψ j : Γ\{ } (0, ) be continuous functions such that the functions W tj ψ j are regular for all j {,...,n}. If for all j {,...,n}, (23) 0 < /p( )+α(w 0 ψ j ), /p( )+β(w 0 ψ j ) <, then the maximal operator M is bounded on the Nakano space L p( ) (Γ,w) with weight w given by (6).

13 SINGULAR INTEGRAL OPERATORS 3 Proof. The idea of the proof is borrowed from [23, Theorem B] (see also [4, Theorem.4]). We start the proof with a kind of separation of singularities of the weight. Let arcs Γ,...,Γ n Γ form a partition of Γ, that is, each two arcs Γ i and Γ k may have only endpoints in common and Γ Γ n = Γ. We will assume that each arc Γ j is homeomorphic to a segment. Suppose that this partition has the following property: each point belongs to Γ j and all other points in {t,...,t n }\{ } do not belong to Γ j. Obviously, the function w/ψ j := ψ...ψ j ψj ψ j+...ψ n, where ã denotes that the term a is absent, is continuous on the closed set Γ j. Therefore, ( ) ( ) w w inf (τ) =: c j > 0, sup (τ) =: C j < +. τ Γ j ψ j τ Γ j ψ j Hence, for every f L p( ) (Γ,w), we have n f L p( ) (Γ,w) fχ Γj L p( ) (Γ,w) = and j= n ( ) w L f ψ j χ Γj ψ j p( ) (Γ) j= n C j f Γj L p( ) (Γ j,ψ j Γj ) j= ( ) w f Γj L p( ) (Γ j,ψ j Γj ) = (fψ j ) Γj L p( ) (Γ j) = (fw) Γ j ψ j Γ j L p( ) (Γ j) c j (fw) Γj L p( ) (Γ j) = c j fwχ Γj L p( ) (Γ) c j fw L p( ) (Γ) = c j f L p( ) (Γ,w) for every j {,...,n}. From these estimates it follows that it is sufficient to prove that M is bounded on L p( ) (Γ j,ψ j Γj ) for each j {,...,n}. Fix j {,...,n}. For simplicity of notation, assume that Γ j = Γ. This does not cause any problem because ( Wtj (ψ j Γj ) ) ( (x) (W tj ψ j )(x), W 0 tj (ψ j Γj ) ) (x) = (Wt 0 j ψ j )(x) for all x R. Therefore, W tj (ψ j Γj ) and W 0 (ψ j Γj ) are regular and α := α ( W 0 (ψ j Γj ) ) = α(w 0 ψ j ), β := β ( W 0 (ψ j Γj ) ) = β(w 0 ψ j ). It is easily seen that M is bounded on L p( ) (Γ,ψ j ) if and only if the operator ψ j (t) f(τ) (M j f)(t) := sup dτ (t Γ) R>0 Γ(t, R) ψ j (τ) Γ(t,R) is bounded on L p( ) (Γ). From (23) it follows that there is a small ε > 0 such that (24) 0 < /p( )+α ε /p( )+β +ε <.

14 4 ALEXEI YU. KARLOVICH Since p : Γ (, ) is continuous and /p( ) + β <, we can choose a number δ (0,d tj ) such that the arc ω(,δ), which contains and has the endpoints on the circle {τ C : τ = δ}, is so small that +βp( ) < p, where Hence p := p (ω(,δ)) = min p(τ). τ ω(,δ) (25) 0 < /p( )+α /p( )+β < p /p( ). (26) For f L p( ) (Γ), we have M j f χ ω(tj,δ)m j χ ω(tj,δ)f +χ Γ\ω(tj,δ)M j χ ω(tj,δ)f +χ ω(tj,δ)m j χ Γ\ω(tj,δ)f +χ Γ\ω(tj,δ)M j χ Γ\ω(tj,δ)f. From (25) and Lemma 3.5 it follows that M j is bounded on L p( ) (ω(,δ)). Consequently, the operator χ ω(tj,δ)m j χ ω(tj,δ)i is bounded on L p( ) (Γ). For λ R, by Mj λ denote the weighted maximal operator defined by (Mj λ t λ f(τ) f)(t) := sup R>0 Γ(t, R) τ λ dτ. From Lemma 2.9 it follows that Γ(t,R) (27) χ Γ\ω(tj,δ)M j χ ω(tj,δ)f C χ Γ\ω(tj,δ)M β+ε j and χ ω(tj,δ)f C M β+ε f (28) χ ω(tj,δ)m j χ Γ\ω(tj,δ)f C 2 χ ω(tj,δ)m α ε j χ Γ\ω(tj,δ)f C 2 M α ε j f, where C and C 2 are positive constants depending only on ε,δ, and ψ j. From (24) and Theorem3.3itfollowsthattheoperatorsMj α ε andm β+ε j areboundedonl p( ) (Γ). From here and (27) (28) we conclude that χ Γ\ω(tj,δ)M j χ ω(tj,δ)i and χ ω(tj,δ)m j χ Γ\ω(tj,δ)I are bounded on L p( ) (Γ). Finally, since Γ \ω(,δ) does not contain the singularity of the weight ψ j (which is continuous on Γ\{ }), there exists a constant C 3 > 0 such that χ Γ\ω(tj,δ)M j χ Γ\ω(tj,δ)f C 3 Mf. Theorem 3.3 and the above estimate yield the boundedness of χ Γ\ω(tj,δ)M j χ Γ\ω(tj,δ)I on L p( ) (Γ). Thus, all operators on the right-hand side of (26) are bounded on L p( ) (Γ). Therefore, the operator on the left-hand side of (26) is bounded, too. This completes the proof of the boundedness of M on L p( ) (Γ j,ψ j Γj ). 4. The Cauchy singular integral operator on weighted Nakano spaces 4.. Necessary conditions for the boundedness of the operator S. We will need the following necessary condition for the boundedness of S on weighted Nakano spaces. Theorem 4.. Let Γ be a simple rectifiable curve and let p : Γ (, ) be a continuous function satisfying the Dini-Lipschitz condition (). If w : Γ [0, ] is an arbitrary weight such that the operator S is bounded on L p( ) (Γ,w), then Γ is a Carleson curve, logw BMO(Γ,t), the functions V t w and Vt 0 w are regular and submultiplicative, and (29) 0 /p(t)+α(v 0 t w), /p(t)+β(v 0 t w) j

15 SINGULAR INTEGRAL OPERATORS 5 for every t Γ. If, in addition, Γ is a rectifiable Jordan curve, then (30) 0 < /p(t)+α(vt 0 0 w), /p(t)+β(vt w) < for every t Γ. Proof. For simple curves, the statement follows from [0, Lemma 4.9] and [0, Theorems5.9and6.]. ForJordancurves,inequality(30) wasprovedin[2, Corollary4.2] The boundedness of M implies the boundedness of S. One of the main ingredients of the proof of Theorem.2 is the following recent result by Kokilashvili and S. Samko [27, Theorem 4.2]. Theorem 4.2 (Kokilashvili, S. Samko). Let Γ be a simple Carleson curve. Suppose that p : Γ (, ) is a continuous function satisfying the Dini-Lipschitz condition () and w : Γ [, ] is a weight. If there exists a number p 0 such that < p 0 < min τ Γ p(τ) and M is bounded on L p( )/(p( ) p0) (Γ,w p0 ), then S is bounded on L p( ) (Γ,w) Proof of Theorem.2. Proof. (a) This part is proved by analogy with [5, Theorem 2.]. Since the function p : Γ (, ) is continuous and Γ is compact, we deduce that minp(τ) >. If the τ Γ inequalities /p( )+β(wt 0 j ψ j ) <, j {,...,n} are fulfilled, then there exists a number p 0 such that and < p 0 < min τ Γ p(τ) /p( )+β(w 0 ψ j ) < /p 0, j {,...,n}. Taking into account Lemma 2.5, we see that the functions W tj (ψ p0 j ) are regular and the latter inequalities are equivalent to (3) 0 < p 0 p( ) p 0β(Wt 0 j ψ j ) = p() p 0 p( ) Analogously, the inequalities are equivalent to 0 < /p( )+α(w 0 ψ j ), j {,...,n} (32) > p 0 p( ) p 0α(Wt 0 j ψ j ) = p() p 0 p( ) +α ( Wt 0 j (ψ p0 ) ), j {,...,n}. +β ( Wt 0 j (ψ p0 j ) ), j {,...,n}. From inequalities (3) (32) and Theorem 3.6 it follows that the maximal operator M is bounded on L p( )/(p( ) p0) (Γ,w p0 ). To finish the proof of part (a), it remains to apply Theorem 4.2. (b) If the operator S is bounded on L p( ) (Γ,w), then from (29) it follows that 0 /p( )+α(v 0 w), /p( )+β(v 0 w) for all j {,...,n}.

16 6 ALEXEI YU. KARLOVICH Then, by Lemma 2.4, 0 /p( )+α(v 0 ψ j ), /p( )+β(v 0 ψ j ) for all j {,...,n}. Applying Lemma 2.7 to the above inequalities, we see that 0 /p( )+α(w 0 ψ j ), /p( )+β(w 0 ψ j ) for all j {,...,n}. Part (b) is proved. The proof of part (c) follows the same lines with inequalities (30) in place of (29). 5. Singular integral operators with L coefficients 5.. Necessary conditions for Fredholmness. In this section we will suppose that Γ is a Carleson Jordan curve, p : Γ (, ) is a continuous function, and w : Γ [0, ] is anarbitraryweight(notnecessarilyoftheform(6))suchthats isboundedonl p( ) (Γ,w). Under these assumptions, P := (I +S)/2, Q := (I S)/2 are bounded projections on L p( ) (Γ,w) (see [0, Lemma 6.4]). The operators of the form ap +bq, where a,b L (Γ), are called singular integral operators (SIOs). Theorem 5.. Suppose a,b L (Γ). If ap + bq is Fredholm on L p( ) (Γ,w), then a,b L (Γ). This result can be proved in the same way as [, Theorem 5.4] where the case of Khvedelidze weights (2) was considered The local principle. Two functions a,b L (Γ) are said to be locally equivalent at a point t Γ if inf { (a b)c : c C(Γ), c(t) = } = 0. Theorem 5.2. Suppose a L (Γ) and for each t Γ there exists a function a t L (Γ) which is locally equivalent to a at t. If the operators a t P +Q are Fredholm on L p( ) (Γ,w) for all t Γ, then ap +Q is Fredholm on L p( ) (Γ,w). For weighted Lebesgue spaces this theorem is known as Simonenko s local principle [35]. It follows from [0, Theorem 6.3] Wiener-Hopf factorization. The curve Γ divides the complex plane C into the bounded simply connected domain D + and the unbounded domain D. Recall that without loss of generality we assumed that 0 D +. We say that a function a L (Γ) admits a Wiener-Hopf factorization on L p( ) (Γ,w) if a L (Γ) and a can be written in the form (33) a(t) = a (t)t κ a + (t) a.e. on Γ, where κ Z, and the factors a ± enjoy the following properties: (i) a QL p( ) (Γ,w) + C, a QLq( ) (Γ,/w) + C, a + PL q( ) (Γ,/w), a + PL p( ) (Γ,w), (ii) the operator a + Sa + I is bounded on L p( ) (Γ,w), where /p(t) + /q(t) = for all t Γ. One can prove that the number κ is uniquely determined.

17 SINGULAR INTEGRAL OPERATORS 7 Theorem 5.3. A function a L (Γ) admits a Wiener-Hopf factorization (33) on L p( ) (Γ,w) if and only if the operator ap +Q is Fredholm on L p( ) (Γ,w). This theorem goes back to Simonenko [36, 37]. For more about this topic we refer to [, Section 6.2], [2, Section 5.5], [8, Section 8.3] in the case of weighted Lebesgue spaces. Theorem 5.3 follows from [0, Theorem 6.4]. 6. Singular integral operators with P C coefficients 6.. Indicator functions. Combining Theorems 2.2 and 4. with Lemma 2.7, we arrive at the following. Lemma 6.. Let Γ be a Carleson Jordan curve, p : Γ (, ) be a continuous function satisfying the Dini-Lipschitz condition (), and w : Γ [0, ] be a weight such that the operator S is bounded on the weighted Nakano space L p( ) (Γ,w). Then, for every x R and every t Γ, the function Vt 0 (ηtw) x is regular and submultiplicative. The above lemma says that the functions α t (x) := α ( V 0 t (ηx t w)), β t (x) := β ( V 0 t (ηx t w)) (x R) are well-defined for every t Γ. The shape of these functions can be described with the aid of the following theorem. Theorem 6.2. Let Γ be a Carleson Jordan curve, p : Γ (, ) be a continuous function satisfying the Dini-Lipschitz condition (), w : Γ [0, ] be a weight such that the operator S is bounded on the weighted Nakano space L p( ) (Γ,w), and t Γ. Then the functions α t and β t enjoy the following properties: (a) < α t (x) β t (x) < + for all x R; (b) 0 < /p(t)+α t (0) /p(t)+β t (0) < ; (c) α t is concave and β t is convex; (d) α t (x) and β t (x) have asymptotes as x ± and the convex regions { x+iy C : y < αt (x) } and { x+iy C : y > β t (x) } may be separated by parallels to each of these asymptotes; to be more precise, there exist real numbers µ t,µ+ t,ν t,ν+ t such that 0 < /p(t)+µ t /p(t)+ν t <, 0 < /p(t)+µ + t /p(t)+ν + t < and β t (x) = ν t + +δ t + x+o() as x +, β t (x) = νt +δt x+o() as x, α t (x) = µ + t +δ + t x+o() as x +, α t (x) = µ t +δ t x+o() as x. Proof. Part (a) follows from Lemma 6.. Theorem 4. yields part (b). Part (c) is proved in [, Proposition 3.20] under the assumption that p is constant and w A p (Γ). In our case the proof is literally the same. Again, part (d) is proved in [, Theorem 3.3] for w A p (Γ) and constant p. This proof works equally in our case because in view of Theorem 4. we can apply Lemma 2.8 under the assumption that the operator S is bounded on L p( ) (Γ,w).

18 8 ALEXEI YU. KARLOVICH From Theorem 6.2(a),(c) we immediately deduce that the set Y(p(t),α t,β t ) := { γ = x+iy C : /p(t)+α t (x) y /p(t)+β t (x) } is a connected set containing points with arbitrary real parts. Hence the set { e 2πγ : γ Y(p(t),α t,β t ) } is connected and contains points arbitrarily close to the origin and to the infinity. Let z,z 2 C. The Möbius transform M z,z 2 given by (9) maps 0 and to z and z 2, respectively. Thus, the leaf L(z,z 2 ;p(t),α t,β t ) is a connected set containing z and z 2. More information about leaves (with many examples and computer plots) can be found in [, Chap. 7]. Lemma 6.3. Let Γ be a Carleson Jordan curve, p : Γ (, ) be a continuous function satisfying the Dini-Lipschitz condition (), and t,...,t n Γ be pairwise distinct points. Suppose ψ j : Γ\{ } (0, ) are continuous functions such that the functions W tj ψ j are regular, conditions (5) are fulfilled, and the weight w is given by (6). (a) If t Γ\{t,...,t n }, then for every x R, the functions W 0 t (ηx t ) and V 0 t (ηx t w) are regular and submultiplicative and α ( W 0 t (ηx t )) = α ( V 0 t (ηx t w)) = min{δ t x,δ+ t x}, α ( W 0 t (ηx t )) = α ( V 0 t (ηx t w)) = min{δ t x,δ+ t x}. (b) If j {,...,n}, then for every x R, the functions W 0 (η x ψ j ) and V 0 (η x w) are regular and submultiplicative and (34) α ( W 0 (η x ψ j ) ) = α ( V 0 t (η x w) ), β ( W 0 (η x ψ j ) ) = β ( V 0 t (η x w) ). Proof. Let us prove a slightly more difficult part (b). Fix {t,...,t n } and x R. By Theorem 2.2, the functions W tj (ηt x j ) and Wt 0 j (ηt x j ) are regular and submultiplicative. Then, in view of Lemma 2.6, the functions W tj (ηt x j ψ j ) and Wt 0 j (ηt x j ψ j ) are regular and submultiplicative. ByLemma2.7, thefunctionvt 0 j (ηt x j ψ j )isregularandsubmultiplicative and (35) α ( W 0 (η x ψ j ) ) = α ( V 0 (η x ψ j ) ), β ( W 0 (η x ψ j ) ) = β ( V 0 (η x ψ j ) ). From Theorem 4. we know that logw BMO(Γ,t). Therefore, in view of Lemma 2.8, the function V 0 (η x w) is regular and submultiplicative. By Lemma 2.4, (36) α ( V 0 (η x w) ) = α ( V 0 (η x ψ j ) ), β ( V 0 (η x w) ) = β ( V 0 (η x ψ j ) ). Combining (35) (36), we arrive at (34). Part (b) is proved. The proof of part (a) is analogous. This lemma says that, under the assumptions of Theorem.2, the functions α t and β t are well-defined by (7) (8) and (37) α t (x) = α t(x), β t (x) = β t(x) (x R) for all t Γ. We say that the functions α t and β t are the indicator functions of the triple (Γ,p,w) at the point t Γ.

19 SINGULAR INTEGRAL OPERATORS Necessary conditions for Fredholmness. The following necessary conditions for Fredholmness were obtained by the author [0, Theorem 8.]. Theorem 6.4. Let Γ be a Carleson Jordan curve and let p : Γ (, ) be a continuous function satisfying the Dini-Lipschitz condition (). Suppose w : Γ [0, ] is an arbitrary weight such that the operator S is bounded on L p( ) (Γ,w). If the operator ap +Q, where a PC(Γ), is Fredholm on the weighted Nakano space L p( ) (Γ,w), then a(t±0) 0 and a(t 0) arg 2π a(t+0) + p(t) +θα t for all θ [0,] and all t Γ. ( ) ( ) 2π log a(t 0) a(t+0) +( θ)β t 2π log a(t 0) a(t+0) / Z 6.3. Wiener-Hopf factorization of local representatives. Fix t Γ. For a P C(Γ) such that a L (Γ), we construct a canonical function g t,γ which is locally equivalent to a at the point t Γ. The interior and the exterior of the unit circle can be conformally mapped onto D + and D of Γ, respectively, so that the point is mapped to t, and the points 0 D + and D remain fixed. Let Λ 0 and Λ denote the images of [0,] and [, ) { } under this map. The curve Λ 0 Λ joins 0 to and meets Γ at exactly one point, namely t. Let argz be a continuous branch of argument in C\(Λ 0 Λ ). For γ C, define the function z γ := z γ e iγ argz, where z C\(Λ 0 Λ ). Clearly, z γ is an analytic function in C\(Λ 0 Λ ). The restriction of z γ to Γ\{t} will be denoted by g t,γ. Obviously, g t,γ is continuous and nonzero on Γ\{t}. Since a(t±0) 0, we can define γ t = γ C by the formulas (38) Reγ t := a(t 0) arg 2π a(t+0), Imγ t := 2π log a(t 0) a(t+0), where we can take any value of arg(a(t 0)/a(t+0)), which implies that any two choices of Reγ t differ by an integer only. Clearly, there is a constant c t C \ {0} such that a(t±0) = c t g t,γt (t±0), which means that a is locally equivalent to c t g t,γt at the point t Γ. For t Γ and γ C, consider the weight ϕ t,γ (τ) := (τ t) γ, τ Γ\{t}. From [0, Lemma 7.] we get the following. Lemma 6.5. Let Γ be a Carleson Jordan curve and let p : Γ (, ) be a continuous function. Suppose w : Γ [0, ] is an arbitrary weight such that the operator S is bounded on L p( ) (Γ,w). If, for some k Z and γ C, the operator ϕ t,k γ Sϕ t,γ k I is bounded on L p( ) (Γ,w), then the function g t,γ admits a Wiener-Hopf factorization on L p( ) (Γ,w) Sufficient conditions for Fredholmness. The following result is one of the main ingredients of the proof of Theorem.3. The idea of its proof is borrowed from the proof of [, Proposition 7.3]. Theorem 6.6. Let Γ be a Carleson Jordan curve and p : Γ (, ) be a continuous function satisfying the Dini-Lipschitz condition (). Suppose t,...,t n Γ are pairwise distinct points and ψ j : Γ\{ } (0, ) are continuous functions such that the functions

20 20 ALEXEI YU. KARLOVICH W tj ψ j are regular and conditions (5) are fulfilled for all j {,...,n}. If a PC(Γ) is such that a(t±0) 0 and a(t 0) arg 2π a(t+0) + ( ) ( ) p(t) +θα t 2π log a(t 0) a(t+0) +( θ)βt 2π log a(t 0) a(t+0) / Z for all θ [0,] and all t Γ, then the operator ap +Q is Fredholm on the Nakano space L p( ) (Γ,w) with weight w given by (6). Proof. We will follow the proof of [2, Theorem 4.5] and [5, Theorem 2.2]. If ap +Q is Fredholm on L p( ) (Γ,w), then, by Theorem 5., a(t±0) for all t Γ. Fix an arbitrary t Γ and choose γ = γ t as in (38). Then the function a is locally equivalent to c t g t,γt at the point t Γ, where c t C\{0} is some constant. In this case the main condition of the theorem has the form /p(t) Reγ t +θα t( Imγ t )+( θ)β t( Imγ t ) / Z for all θ [0,]. Therefore, there exists a number k t Z such that 0 < /p(t)+k t Reγ t +θα t ( Imγ t)+( θ)β t ( Imγ t) < for all θ [0,]. In particular, if θ =, then (39) 0 < /p(t)+re(k t γ t )+α t (Im(k t γ t )); if θ = 0, then (40) /p(t)+re(k t γ t )+β t(im(k t γ t )) <. Consider the weights ω t (τ) := τ t and w t := ϕ t,kt γ t w = ω Re(kt γt) t η t Im(k t γ t )ψ...ψ n. If t Γ\{t,...,t n }, then the weight w = ψ...ψ n has no singularity at t and ϕ t,kt γ t = ω Re(kt γt) t η Im(kt γt) t is a continuous function on Γ\{t}. If t = {t,...,t n }, then the weight w/ψ j has no singularity at and ϕ tj,k tj γ tj ψ j = ω Re(k γ ) η Im(k γ ) ψ j is a continuous function on Γ \{ }. Thus, in both cases, the weight w t is of the same form as the weight w. It is easy to see that the function W t (ω Re(kt γt) t ) is regular and submultiplicative and α ( Wt 0 (ωre(kt γt) t ) ) = β ( Wt 0 (ωre(kt γt) t ) ) = Re(k t γ t ) for every t Γ. Then, by Lemma 2.6, the functions W t (ϕ t,kt γ t ) and Wt 0 (ϕ t,kt γ t ) are regular and submultiplicative and (4) α ( Wt 0 (ϕ t,kt γ t ) ) = Re(k t γ t )+α ( W t (η Im(kt γt) t ) ) = Re(k t γ t )+α t (Im(k t γ t )), (42) β ( Wt 0 (ϕ t,k t γ t ) ) = Re(k t γ t )+β ( W t (η Im(kt γt) t ) ) = Re(k t γ t )+βt(im(k t γ t ))

21 SINGULAR INTEGRAL OPERATORS 2 for all t Γ \ {t,...,t n }. Analogously, if t = {t,...,t n }, then the function W tj (ϕ tj,k tj γ tj ψ j ) is regular and submultiplicative and (43) (44) α ( W 0 (ϕ tj,k tj γ tj ψ j ) ) = Re(k tj γ tj )+α (Im(k tj γ tj )), β ( W 0 (ϕ tj,k tj γ tj ψ j ) ) = Re(k tj γ tj )+β (Im(k tj γ tj )). Combining relations (39) (44) with conditions (5), we see that, by Theorem.2, the operator S is bounded on L p( ) (Γ,w t ) = L p( ) (ϕ t,kt γ t w), where t Γ. Therefore the operator ϕ t,kt γ t Sϕ t,γt k t I is bounded on L p( ) (Γ,w). Then, in view of Lemma 6.5, the function g t,γt admits a Wiener-Hopf factorization on L p( ) (Γ,w). From Theorem 5.3 we deduce that the operator g t,γt P +Q is Fredholm. It is not difficult to see that in this case the operator c t g t,γt P + Q is also Fredholm. Thus, for all local representatives c t g t,γt of the coefficient a, the operators c t g t,γt P +Q are Fredholm. To finish the proof, it remains to apply the local principle (Theorem 5.2), which says that the operator ap +Q is Fredholm Proof of Theorem.3. Proof. Necessity. If ap +bq is Fredholm, then a,b L (Γ) by Theorem 5.. Put c := a/b. Then c(t ± 0) 0 for all t Γ. Further, the operator bi is invertible on L p( ) (Γ,w). Therefore, the operator cp +Q = (bi) (ap +bq) is Fredholm. From Theorem 6.4 and equalities (37) it follows that (45) c(t 0) arg 2π c(t+0) + p(t) ( ) ( ) +θα t 2π log c(t 0) c(t+0) +( θ)βt 2π log c(t 0) c(t+0) / Z for all θ [0,] and all t Γ. The latter condition in conjunction with c(t±0) 0 for all t Γ is equivalent to 0 / t ΓL(c(t 0),c(t+0);p(t),α t,β t ). Thus, the function c = a/b is L p( ) (Γ,w)-nonsingular. Necessity is proved. Sufficiency. The L p( ) (Γ,w)-nonsingularity of c = a/b implies that c(t ± 0) 0 and (45) holds for all θ [0,] and all t Γ. Then the operator cp + Q is Fredholm by Theorem 6.6. Since inf b(t) > 0, we see that the operator bi is invertible. Thus, the operator is Fedholm. t Γ ap +bq = (bi)(cp +Q) References [] A. Böttcher and Yu. I. Karlovich, Carleson curves, Muckenhoupt weights, and Toeplitz operators. Birkhäuser, Basel, 987. [2] A. Böttcher and B. Silbermann, Analysis of Toeplitz Operators. 2nd edition. Springer-Verlag, Berlin, [3] G. David, Operáteurs intégraux singuliers sur certaines courbes du plan complexe. Ann. Sci. École Norm. Super. 7 (984),

22 22 ALEXEI YU. KARLOVICH [4] E. M. Dynkin, Methods of the theory of singular integrals (Hilbert transform and Calderón-Zygmund theory). Itogi nauki i tehniki VINITI, Ser. Sovrem. probl. mat., 5 (987), (in Russian). English translation: Commutative harmonic analysis I. General survey. Classical aspects, Encycl. Math. Sci., 5 (99), [5] I. Genebashvili, A. Gogatishvili, V. Kokilashvili, and M. Krbec, Weight Theory for Integral Transforms on Spaces of Homogeneous Type. Addison Wesley Longman, Harlow, 998. [6] I. Gohberg and N. Krupnik, The spectrum of singular integral operators in L p spaces. Studia Math. 3 (968), (in Russian). English translation: Operator Theory: Advances and Applications 206 (200), 26, in print. [7] I. Gohberg and N. Krupnik, On singular integral equations with unbounded coefficients. Matem. Issled. 5 (970), no.3(7), (in Russian). English translation: Operator Theory: Advances and Applications 206 (200), 35 44, in print. [8] I. Gohberg and N. Krupnik, One-Dimensional Linear Singular Integral Equations. Vols. and 2. Operator Theory: Advances and Applications Birkhäuser, Basel, 992. [9] P. Hästö and L. Diening, Muckenhoupt weights in variable exponent spaces. Preprint, December 2008, available at hasto/pp/p75 submit.pdf. [0] A. Yu. Karlovich, Fredholmness of singular integral operators with piecewise continuous coefficients on weighted Banach function spaces. J. Integr. Equat. Appl. 5 (2003), [] A. Yu. Karlovich, Semi-Fredholm singular integral operators with piecewise continuous coefficients on weighted variable Lebesgue spaces are Fredholm. Oper. Matrices (2007), [2] A. Yu. Karlovich, Singular integral operators on variable Lebesgue spaces with radial oscillating weights. In: Operator Algebras, Operator Theory and Applications. Operator Theory: Advances and Applications, 95 (2009), [3] A. Yu. Karlovich, Remark on the boundedness of the Cauchy singular integral operator on variable Lebesgue spaces with radial oscillating weights. J. Funct. Spaces Appl. 7 (2009), no. 3, [4] A. Yu. Karlovich, Maximal operators on variable Lebesgue spaces with weights related to oscillations of Carleson curves. Math. Nachr. 283 (200), [5] A. Yu. Karlovich, Singular integral operators on variable Lebesgue spaces over arbitrary Carleson curves. In: Topics in Operator Theory. Operators, Matrices and Analytic Functions. Operator Theory: Advances and Applications 202 (200), [6] G. Khuskivadze, V. Kokilashvili, and V. Paatashvili, Boundary value problems for analytic and harmonic functions in domains with nonsmooth boundaries. Applications to conformal mappings. Mem. Differential Equations Math. Phys. 4 (998), 95. [7] B. V. Khvedelidze, Linear discontinuous boundary problems in the theory of functions, singular integral equations and some of their applications. Trudy Tbiliss. Mat. Inst. Razmadze 23 (956), 3 58 (in Russian). [8] V. Kokilashvili and V. Paatashvili, The Riemann Hilbert problem in weighted classes of Cauchy type integrals with density from L P( ) (Γ). Complex Anal. Oper. Theory 2 (2008), [9] V. Kokilashvili and V. Paatashvili, The Riemann Hilbert problem with piecewise smooth boundaries in weight classes of Cauchy type integrals with density from variable exponent Lebesgue spaces. Georgian Math. J. 6 (2009), [20] V. Kokilashvili, V. Paatashvili, and S. Samko, Boundary value problems for analytic functions in the class of Cauchy type integrals with density in L p( ) (Γ). Boundary Value Problems (2005), [2] V. Kokilashvili, V. Paatashvili, and S. Samko, Boundedness in Lebesgue spaces with variable exponent of the Cauchy singular operator on Carleson curves. In: Modern Operator Theory and Applications. The Igor Borisovich Simonenko Anniversary Volume. Operator Theory: Advances and Applications 70 (2006), [22] V. Kokilashvili, V. Paatashvili, and S. Samko, Riemann problem in the class of Cauchy-type integrals with density in L p( ) (Γ). Doklady Mathematics 78 (2008), [23] V. Kokilashvili, N. Samko, and S. Samko, The maximal operator in weighted variable spaces L p( ). J. Funct. Spaces Appl. 5 (2007), [24] V. Kokilashvili, N. Samko, and S. Samko, Singular operators in variable spaces L p( ) (Ω,ρ) with oscillating weights. Math. Nachr. 280 (2007), [25] V. Kokilashvili and S. Samko, Singular integral equations in the Lebesgue spaces with variable exponent. Proc. A. Razmadze Math. Inst. 3 (2003), 6 78.