Why is the Cauchy problem severely ill-posed?

An answer to the ill-posedness degree issue of the Cauchy problem may be found in the theory of kernel operators. The foundation of the proof is the Steklov–Poincare approach introduced in Ben Belgacem and El Fekih (2005 Inverse Problems 21 1915–36), which consists of reformulating the Cauchy problem as a variational equation, in an appropriate Sobolev scale, and is set on the part of the boundary where data are missing. The linear (Steklov–Poincare) operator involved in that reduced problem turns out to be compact with a non-closed range; hence the ill-posedness. Conducting an accurate spectral analysis of this operator requires characterization of it as a kernel operator, which is obtained through Green's functions of the (Laplace) differential equation. The severe ill-posedness is then settled for smooth domains after showing a fast decaying towards zero of the eigenvalues of that Steklov–Poincare operator. This is achieved by applying the Weyl–Courant min–max principle and some polynomial approximation results. Addressing more general smooth domains with corners, we discuss the regularity of Green's function and we explain why there is a room to extend our analysis to this case and why we are optimistic that it will definitely establish the severe ill-posedness of the Cauchy problem.

[1]  Michael Grüter,et al.  The Green function for uniformly elliptic equations , 1982 .

[2]  Faker Ben Belgacem,et al.  On Cauchy's problem: I. A variational Steklov–Poincaré theory , 2005 .

[3]  H. Weyl Das asymptotische Verteilungsgesetz der Eigenwerte linearer partieller Differentialgleichungen (mit einer Anwendung auf die Theorie der Hohlraumstrahlung) , 1912 .

[4]  D. Gottlieb,et al.  Numerical analysis of spectral methods : theory and applications , 1977 .

[5]  R. Dautray,et al.  Analyse mathématique et calcul numérique pour les sciences et les techniques , 1984 .

[6]  J. Reade,et al.  Eigenvalues of Analytic Kernels , 1984 .

[7]  Samuel Karlin,et al.  The existence of eigenvalues for integral operators , 1964 .

[8]  R. Kress Linear Integral Equations , 1989 .

[9]  P. Hansen Rank-Deficient and Discrete Ill-Posed Problems: Numerical Aspects of Linear Inversion , 1987 .

[10]  Jan Marthedal Rasmussen Compact linear operators and Krylov subspace methods , 2001 .

[11]  Faker Ben Belgacem,et al.  On Cauchy's problem: II. Completion, regularization and approximation , 2006 .

[12]  Per Christian Hansen,et al.  Rank-Deficient and Discrete Ill-Posed Problems , 1996 .

[13]  Y. Maday,et al.  Méthodes Spectrales et des Eléments Spectraux , 1993 .

[14]  S. Müller,et al.  Estimates for Green's matrices of elliptic systems byLp theory , 1995 .

[15]  E. Hille,et al.  On the characteristic values of linear integral equations , 1931, Proceedings of the National Academy of Sciences of the United States of America.

[16]  D. Gilbarg,et al.  Elliptic Partial Differential Equa-tions of Second Order , 1977 .

[17]  R. Kohn,et al.  Determining conductivity by boundary measurements II. Interior results , 1985 .

[18]  G. Wahba Ill Posed Problems: Numerical and Statistical Methods for Mildly, Moderately and Severely Ill Posed Problems with Noisy Data. , 1980 .