Oleksiy Karlovych

Let \(a\) be a semi-almost periodic matrix function with the almost periodic representatives \(a_l\) and \(a_r\) at \(-\infty\) and \(+\infty\), respectively. Suppose \(p:\mathbb{R}\to(1,\infty)\) is a slowly oscillating exponent such that the Cauchy singular integral operator \(S\) is bounded on the variable Lebesgue space \(L^{p(\cdot)}(\mathbb{R})\). We prove that if the operator \(aP+Q\) with \(P=(I+S)/2\) and \(Q=(I-S)/2\) is Fredholm on the variable Lebesgue space \(L_N^{p(\cdot)}(\mathbb{R})\), then the operators \(a_lP+Q\) and \(a_rP+Q\) are invertible on standard Lebesgue spaces \(L_N^{q_l}(\mathbb{R})\) and \(L_N^{q_r}(\mathbb{R})\) with some exponents \(q_l\) and \(q_r\) lying in the segments between the lower and the upper limits of \(p\) at \(-\infty\) and \(+\infty\), respectively.

In this paper we extend necessary conditions for Fredholmness of singular integral operators with piecewise continuous coefficients in rearrangement-invariant spaces [K98] to the weighted case \(X(\Gamma,w)\). These conditions are formulated in terms of indices \(\alpha(Q_tw)\) and \(\beta(Q_tw)\) of a submultiplicative function \(Q_tw\), which is associated with local properties of the space, of the curve, and of the weight at the point \(t\Gamma\). Using these results we obtain a lower estimate for the essential norm \(S\) of the Cauchy singular integral operator \(S\) in reflexive weighted rearrangement-invariant spaces \(X(\Gamma, w)\) over arbitrary Carleson curves \(\Gamma\):
\[
|S|\ge\cot(\pi\lambda_{\Gamma,w}/2)
\]
where \(\lambda_{\Gamma,w} :=inf_{t\in\Gamma} min\{\alpha(Q_tw), 1 - \beta(Q_tw)\}\). In some cases we give formulas for computation of \(\alpha(Q_tw)\) and \(\beta(Q_tw)\).

In this paper we deal with the interpolation from Lebesgue spaces \(L^p\) and \(L^q\), into an Orlicz space \(L^\varphi\), where \( 1 \le p < q \le \infty \) and \(\varphi^{-1}(t)=t^{1/p}\rho(t^{1/q-1/p})\) for some concave function \(\rho\), with the special attention to the interpolation constant \(C\). For a bounded linear operator \(T\) in \(L^p\) and \(L^q\), we prove modular inequalities, which allow us to get the estimate, for both, the Orlicz norm and the Luxemburg norm,
\[
\|T\|_{L^\varphi\to L^\varphi}
\le C\max\Big\{
\|T\|_{L^p\to L^p},
\|T\|_{L^q\to L^q}
\Big\},
\]
where the interpolation constant \(C\) depends only on \(p\) and \(q\). We give estimates for \(C\), which imply \(C<4\). Moreover, if either \( 1 < p < q \le 2\) or \( 2 \le p < q < \infty\), then \(C< 2\). If \(q=\infty\), then \(C\le 2^{1-1/p}\), and, in particular, for the case \(p=1\) this gives the classical Orlicz interpolation theorem with the constant \(C=1\).

Let \(\Gamma\) be an oriented Jordan smooth curve and \(\alpha\) a diffeomorphism of $\Gamma$ onto itself which has an arbitrary nonempty set of periodic points. We prove criteria for one-sided invertibility of the binomial functional operator \(A=aI-bW\) where $a$ and $b$ are continuous functions, \(I\) is the identity operator, \(W\) is the shift operator, \(Wf=f\circ\alpha\), on a reflexive rearrangement-invariant space \(X(\Gamma)\) with Boyd indices \(\alpha_X,\beta_X\) and Zippin indices \(p_X,q_X\) satisfying inequalities
\[
0<\alpha_X=p_X\le q_X=\beta_X<1.
\]

Recently V. Kokilashvili, N. Samko, and S. Samko have proved a sufficient condition for the boundedness of the Cauchy singular integral operator on variable Lebesgue spaces with radial oscillating weights over Carleson curves. This condition is formulated in terms of Matuszewska-Orlicz indices of weights. We prove a partial converse of their result.

Suppose \(\Gamma\) is a Carleson Jordan curve with logarithmic whirl points, \(\varrho\) is a Khvedelidze weight, \(p:\Gamma\to(1,\infty)\) is a continuous function satisfying \(|p(\tau)-p(t)|\le -\mathrm{const}/\log|\tau-t|\) for \(|\tau-t|\le 1/2\), and \(L^{p(\cdot)}(\Gamma,\varrho)\) is a weighted generalized Lebesgue space with variable exponent. We prove that all semi-Fredholm operators in the algebra of singular integral operators with \(N\times N\) matrix piecewise continuous coefficients are Fredholm on \(L_N^{p(\cdot)}(\Gamma,\varrho)\).

The paper is devoted to some only recently uncovered phenomena emerging in the study of singular integral operators (SIO's) with piecewise continuous (PC) coefficients in reflexive rearrangement-invariant spaces over Carleson curves. We deal with several kinds of indices of submultiplicative functions which describe properties of spaces (Boyd and Zippin indices) and curves (spirality indices). We consider some ``disintegration condition{''} which combines properties of spaces and curves, the Boyd and spirality indices. We show that the essential spectrum of SIO associated with the Riemann boundary value problem with PC coefficient arises from the essential range of the coefficient by filling in certain massive connected sets (so-called logarithmic leaves) between the endpoints of jumps. These results combined with the Allan-Douglas local principle and with the two projections theorem enable us to study the Banach algebra \(\mathfrak{A}\) generated by SIO's with matrix-valued piecewise continuous coefficients. We construct a symbol calculus for this Banach algebra which provides a Fredholm criterion and gives a basis for an index formula for arbitrary SIO's from \(\mathfrak{A}\) in terms of their symbols.

We prove the Stechkin inequality for Fourier multipliers on variable Lebesgue spaces under some natural assumptions on variable exponents.

Suppose \(\alpha\) is an orientation preserving diffeomorphism (shift) of \(\mathbb{R}_+=(0,\infty)\) onto itself with the only fixed points \(0\) and \(\infty\). We establish sufficient conditions for the Fredholmness of the singular integral operator with shift \[ (aI-bW_\alpha)P_++(cI-dW_\alpha)P_- \] acting on \(L^p(\mathbb{R}_+)\) with \( 1 < p < \infty \), where \(P_\pm=(I\pm S)/2\), \(S\) is the Cauchy singular integral operator, and \(W_\alpha f=f\circ\alpha\) is the shift operator, under the assumptions that the coefficients \(a,b,c,d\) and the derivative \(\alpha'\) of the shift are bounded and continuous on \(\mathbb{R}_+\) and may admit discontinuities of slowly oscillating type at \(0\) and \(\infty\).