The degree of ill-posedness for some composition governed by the Cesaro operator

Yu Deng,Hans-Jürgen Fischer,Bernd Hofmann

2024-01-21

Abstract:In this article, we consider the singular value asymptotics of compositions of compact linear operators mapping in the real Hilbert space of quadratically integrable functions over the unit interval. Specifically, the composition is given by the compact simple integration operator followed by the non-compact Ces`aro operator possessing a non-closed range. We show that the degree of ill-posedness of that composition is two, which means that the Ces`aro operator increases the degree of illposedness by the amount of one compared to the simple integration operator.

Numerical Analysis,Functional Analysis

What problem does this paper attempt to address?

This paper aims to explore the degree of ill - posedness of the composite linear operator controlled by the Cesàro operator. Specifically, the research object is a composite operator \(A\) in the space of square - integrable functions on a real number interval, which is composed of a compact simple integral operator \(K\) and a non - compact Cesàro operator \(N\), that is, \(A = N\circ K\). The goal of the paper is to determine the degree of ill - posedness of this composite operator and analyze how the Cesàro operator affects the ill - posedness of the original compact operator \(K\).

### Main problems
The core problems that the paper attempts to solve are:
- **Degree of ill - posedness of the composite operator**: Determine its degree of ill - posedness by analyzing the asymptotic behavior of the singular values of the composite operator \(A = N\circ K\). In particular, the paper focuses on how the Cesàro operator \(N\) increases the degree of ill - posedness of the simple integral operator \(K\).

### Research background
- **Simple integral operator \(K\)**: Defined as \([Kx](s)=\int_{0}^{s}x(t)dt\), and its asymptotic behavior of singular values is \(\sigma_{n}(K)\asymp\frac{1}{n}\), indicating that its degree of ill - posedness is 1.
- **Cesàro operator \(N\)**: Defined as \([Nx](s)=\frac{1}{s}\int_{0}^{s}x(t)dt\), which is a non - compact and non - continuously invertible operator.
- **Composite operator \(A = N\circ K\)**: The paper determines its degree of ill - posedness by analyzing the asymptotic behavior of the singular values of \(A\).

### Main results
- **Asymptotic behavior of singular values**: The paper proves that the asymptotic behavior of the singular values of the composite operator \(A\) is \(\sigma_{n}(A)\asymp\frac{1}{n^{2}}\), which means that the degree of ill - posedness of \(A\) is 2.
- **Influence of the Cesàro operator**: The Cesàro operator \(N\) increases the degree of ill - posedness of the simple integral operator \(K\) from 1 to 2.

### Methods
- **Hilbert - Schmidt operator techniques**: Utilize the properties of Hilbert - Schmidt operators to estimate the asymptotic behavior of the singular values of the composite operator \(A\) by calculating the singular values in a specific basis.
- **Numerical methods**: Calculate the eigenvalues of the composite operator \(A\) through the finite - difference discretization technique to verify the theoretical results.

### Conclusions
Through strict mathematical analysis and numerical verification, the paper proves that the degree of ill - posedness of the composite operator \(A = N\circ K\) is 2, which indicates that the Cesàro operator \(N\) significantly increases the degree of ill - posedness of the simple integral operator \(K\). This result is of great significance for understanding the ill - posedness of linear inverse problems and its influence in practical applications.