Oleksiy Karlovych

We prove that if the Hardy-Littlewood maximal operator is bounded on a separable Banach function space \(X(\mathbb{R}^n)\) and on its associate space \(X'(\mathbb{R}^n)\) and a maximally modulated Calderón-Zygmund singular integral operator \(T^{\Phi}\) is of weak type \((r,r)\) for all \(r\in(1,\infty)\), then \(T^{\Phi}\) extends to a bounded operator on \(X(\mathbb{R}^n)\). This theorem implies the boundedness of the maximally modulated Hilbert transform on variable Lebesgue spaces \(L^{p(\cdot)}(\mathbb{R})\) under natural assumptions on the variable exponent \(p:\mathbb{R}\to(1,\infty)\). Applications of the above result to the boundedness and compactness of pseudodifferential operators with \(L^\infty(\mathbb{R},V(\mathbb{R}))\)-symbols on variable Lebesgue spaces \(L^{p(\cdot)}(\mathbb{R})\) are considered. Here the Banach algebra \(L^\infty(\mathbb{R},V(\mathbb{R}))\) consists of all bounded measurable \(V(\mathbb{R})\)-valued functions on \(\mathbb{R}\) where \(V(\mathbb{R})\) is the Banach algebra of all functions of bounded total variation.

We prove higher-order asymptotic formulas for determinants and traces of finite block Toeplitz matrices generated by matrix functions belonging to generalized Hölder spaces with characteristic functions from the Bari-Stechkin class. We follow the approach of Böttcher and Silbermann and generalize their results for symbols in standard Hölder spaces.

We prove necessary and sufficient conditions for the applicability of the finite section method to an arbitrary operator in the Banach algebra generated by the operators of multiplication by piecewise continuous functions and the convolution operators with symbols in the algebra generated by piecewise continuous and slowly oscillating Fourier multipliers on \(L^p(\mathbb{R})\), \(1 < p < \infty\).

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.
\]

Let \(\mathcal{M}_{X,w}(\mathbb{R})\) denote the algebra of the Fourier multipliers on a separable weighted Banach function space \(X(\mathbb{R},w)\). We prove that if the Cauchy singular integral operator \(S\) is bounded on \(X(\mathbb{R},w)\), then \(\mathcal{M}_{X,w}(\mathbb{R})\) is continuously embedded into \(L^\infty(\mathbb{R})\). An important consequence of the continuous embedding \(\mathcal{M}_{X,w}(\mathbb{R})\subset L^\infty(\mathbb{R})\) is that \(\mathcal{M}_{X,w}(\mathbb{R})\) is a Banach algebra.

Let \(\alpha,\beta\in(0,1)\) and
\[
K^{\alpha,\beta}:=\left\{a\in L^\infty(\mathbb{T}):\
\sum_{k=1}^\infty |\widehat{a}(-k)|^2 k^{2\alpha}<\infty,\
\sum_{k=1}^\infty |\widehat{a}(k)|^2 k^{2\beta}<\infty
\right\}.
\]
Mark Krein proved in 1966 that \(K^{1/2,1/2}\) forms a Banach algebra. He also observed that this algebra is important in the asymptotic theory of finite Toeplitz matrices. Ten years later, Harold Widom extended
earlier results of Gabor Szegö for scalar symbols and established the asymptotic trace formula
\[
\operatorname{trace}f(T_n(a))=(n+1)G_f(a)+E_f(a)+o(1)
\quad\text{as}\ n\to\infty
\]
for finite Toeplitz matrices \(T_n(a)\) with matrix symbols \(a\in K^{1/2,1/2}_{N\times N}\). We show that if \(\alpha+\beta\ge 1\) and \(a\in K^{\alpha,\beta}_{N\times N}\), then the Szegö-Widom asymptotic trace formula holds with \(o(1)\) replaced by \(o(n^{1-\alpha-\beta})\).

We correct Theorem 3.2 and Corollary 3.3 from [KMS]. This correction ammounts to the observation that the proof of the main result in [KMS] contains a gap in Lemma~10.6 for \(p\ne 2\). The results of [KMS] are true for \(p=2\).

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)\).

Let \(\alpha\) and \(\beta\) be orientation-preserving diffeomorphisms (shifts) of \(\mathbb{R}_+=(0,\infty)\) onto itself with the only fixed points \(0\) and \(\infty\), where the derivatives \(\alpha'\) and \(\beta'\) may have discontinuities of slowly oscillating type at \(0\) and \(\infty\). For \(p\in(1,\infty)\), we consider the weighted shift operators \(U_\alpha\) and \(U_\beta\) given on the Lebesgue space \(L^p(\mathbb{R}_+)\) by \(U_\alpha f=(\alpha')^{1/p}(f\circ\alpha)\) and \(U_\beta f= (\beta')^{1/p}(f\circ\beta)\). We apply the theory of Mellin pseudodifferential operators with symbols of limited smoothness to study the simplest singular integral operators with two shifts \(A_{ij}=U_\alpha^i P_++U_\beta^j P_-\) on the space \(L^p(\mathbb{R}_+)\), where \(P_\pm=(I\pm S)/2\) are operators associated to the Cauchy singular integral operator \(S\), and \(i,j\in\mathbb{Z}\). We prove that all \(A_{ij}\) are Fredholm operators on \(L^p(\mathbb{R}_+)\) and have zero indices.

We establish a Fredholm criterion for an arbitrary operator in the Banach algebra of singular integral operators
with piecewise continuous coefficients on Nakano spaces (generalized Lebesgue spaces with variable exponent) with Khvedelidze weights over Carleson curves with logarithmic whirl points.

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.

Let \(\mathcal{M}(\mathbb{R}^n)\) be the class of bounded away from one and infinity functions \(p:\mathbb{R}^n\to[1,\infty]\) such that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space \(L^{p(\cdot)}(\mathbb{R}^n)\). We show that if \(a\) belongs to the Hörmander class \(S_{\rho,\delta}^{n(\rho-1)}\) with \(0<\rho\le 1\), \(0\le\delta<1\), then the pseudodifferential operator \(\operatorname{Op}(a)\) is bounded on the variable Lebesgue space \(L^{p(\cdot)}(\mathbb{R}^n)\) provided that \(p\in\mathcal{M}(\mathbb{R}^n)\). Let \(\mathcal{M}^*(\mathbb{R}^n)\) be the class of variable exponents \(p\in\mathcal{M}(\mathbb{R}^n)\) represented as \(1/p(x)=\theta/p_0+(1-\theta)/p_1(x)\) where \(p_0\in(1,\infty)\), \(\theta\in(0,1)\), and \(p_1\in\mathcal{M}(\mathbb{R}^n)\). We prove that if \(a\in S_{1,0}^0\) slowly oscillates at infinity in the first variable, then the condition \[ \lim_{R\to\infty}\inf_{|x|+|\xi|\ge R}|a(x,\xi)|>0 \] is sufficient for the Fredholmness of \(\operatorname{Op}(a)\) on \(L^{p(\cdot)}(\mathbb{R}^n)\) whenever \(p\in\mathcal{M}^*(\mathbb{R}^n)\). Both theorems generalize pioneering results by Rabinovich and Samko [RS08] obtained for globally log-Hölder continuous exponents \(p\), constituting a proper subset of \(\mathcal{M}^*(\mathbb{R}^n)\).

We find Fredholm criteria and a formula for the index of an arbitrary operator in the Banach algebra of singular integral operators with piecewise continuous coefficients on Nakano spaces (generalized Lebesgue spaces with variable exponent) with Khvedelidze weights over either Lyapunov curves or Radon curves without cusps. These results ``localize'' the Gohberg-Krupnik Fredhohn theory with respect to the variable exponent.

We extend a result of Bottcher and Silbermann on higher order asymptotics of determinants of block Toeplitz matrices with symbols in Wiener algebras with power weights to the case of Wiener algebras with general weights satisfying natural submultiplicativity, monotonicity, and regularity conditions.

We prove necessary conditions for the Fredholmness of singular integral operators with piecewise continuous coefficients on weighted Banach function spaces. These conditions are formulated in terms of indices of submultiplicative functions associated with local properties of the space, of the curve, and of the weight. As an example, we consider weighted Nakano spaces \(L^{p(\cdot)}_w\) (weighted Lebesgue spaces with variable exponent). Moreover, our necessary conditions become also sufficient for weighted Nakano spaces over nice curves whenever \(w\) is a Khvedelidze weight, and the variable exponent \(p(t)\) satisfies the estimate \(|p(\tau)-p(t)|\le A/(-\log|\tau-t|)\).

We prove asymptotic formulas for block Toeplitz matrices with symbols admitting right and left Wiener-Hopf factorizations such that all partial indices are equal to some integer number. We consider symbols and Wiener-Hopf factorizations in Wiener algebras with weights satisfying natural submultiplicativity, monotonicity, and regularity conditions. Our results complement known formulas for Holder continuous symbols due to Bottcher and Silbermann.

We prove Szegö's strong limit theorem for Toeplitz determinants with a symbol having a nonstandard smoothness. We assume that the symbol belongs to the Wiener algebra and, moreover, the sequences of Fourier coefficients of the symbol with negative and nonnegative indices belong to weighted Orlicz classes generated by complementary \(N\)-functions both satisfying the \(\Delta_2^0\)-condition and by weight sequences satisfying some regularity, and compatibility conditions.

We show that if the Hardy-Littlewood maximal operator is bounded on a separable Banach function space \(X(\mathbb{R}^n)\) and on its associate space \(X'(\mathbb{R}^n)\), then a pseudodifferential operator \(\operatorname{Op}(a)\) is bounded on \(X(\mathbb{R}^n)\) whenever the symbol \(a\) belongs to the Hörmander class \(S_{\rho,\delta}^{n(\rho-1)}\) with \(0<\rho\le 1\), \(0\le\delta<1\) or to the the Miyachi class \(S_{\rho,\delta}^{n(\rho-1)}(\varkappa,n)\) with \(0\le\delta\le\rho\le 1\), \(0\le\delta<1\), and \(\varkappa>0\). This result is applied to the case of variable Lebesgue spaces \(L^{p(\cdot)}(\mathbb{R}^n)\).

We prove criteria for the invertibility of the binomial functional operator
\[
A=aI-bW_\alpha
\]
in the Lebesgue spaces \(L^p(0,1)\), \( 1 < p < \infty\), where \(a\) and \(b\) are continuous functions on \((0,1)\), \(I\) is the identity operator, \(W_\alpha\) is the shift operator, \(W_\alpha f=f\circ\alpha\), generated by a non-Carleman shift \(\alpha:[0,1]\to[0,1]\) which has only two fixed points \(0\) and \(1\). We suppose that \(\log\alpha'\) is bounded and continuous on \((0,1)\) and that \(a,b,\alpha'\) slowly oscillate at \(0\) and \(1\). The main difficulty connected with slow oscillation is overcome by using the method of limit operators.