Oleksiy Karlovych

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.

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 prove asymptotic formulas for Toeplitz determinants generated by functions with sequences of Fourier coefficients belonging to weighted Orlicz sequence classes. We concentrate our attention on the case of nonvanishing generating functions with nonzero Cauchy index.

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

Let \(p:\mathbb{R}\to(1,\infty)\) be a globally log-Hölder continuous variable exponent and \(w:\mathbb{R}\to[0,\infty]\) be a weight. We prove that the Cauchy singular integral operator \(S\) is bounded on the weighted variable Lebesgue space \(L^{p(\cdot)}(\mathbb{R},w)=\{f:fw\in L^{p(\cdot)}(\mathbb{R})\}\) if and only if the weight \(w\) satisfies $$ \sup_{-\infty < a < b < \infty} \frac{1}{b-a} \|w\chi_{(a,b)}\|_{p(\cdot)} \|w^{-1}\chi_{(a,b)}\|_{p'(\cdot)}<\infty \quad (1/p(x)+1/p'(x)=1). $$

The paper is devoted to the compactness of the commutators \(aS_\Gamma - S_\Gamma aI\) and \(W_\alpha S_\Gamma - S_\Gamma W_\alpha\), where \(S_\Gamma\) is the Cauchy singular integral operator, \(a\) is a bounded measurable function, \(W_\alpha\) is the shift operator given by \(W_\alpha f = f\circ\alpha\), and \(\alpha\) is a bi-Lipschitz homeomorphism (shift). The cases of the unit circle and the unit interval are considered. We prove that these commutators are compact on rearrangement-invariant spaces with nontrivial Boyd indices if and only if the function a or, respectively, the derivative of the shift a has vanishing mean oscillation.

We prove a higher order asymptotic formula for traces of finite block Toeplitz matrices with symbols belonging to Hölder-Zygmund spaces. The remainder in this formula goes to zero very rapidly for very smooth symbols. This formula refines previous asymptotic trace formulas by Szegő and Widom and complement higher order asymptotic formulas for determinants of finite block Toeplitz matrices due to Böttcher and Silbermann.

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 the inverse closedness of the Banach algebra \(\mathfrak{A}_p\) of functional operators with non-Carleman shifts, which have only two fixed points, in the Banach algebra of all bounded linear operators on \(L^p\). We suppose that \(1 \le p \le \infty\) and the generators of the algebra \(\mathfrak{A}_p\) have essentially bounded data. An invertibility criterion for functional operators in \(\mathfrak{A}_p\) is obtained in terms of
the invertibility of a family of discrete operators on \(l^p\). An effective invertibility criterion is established for binomial difference operators with \(l^\infty\) coefficients on the spaces \(l^p\). Using the reduction to binomial difference operators, we give effective criteria of invertibility for binomial functional operators on the spaces \(L^p\).

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.

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.

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