In this monograph the theory and methods of solving inverse Stefan problems for quasilinear parabolic equations in regions with free boundaries are developed. The study of this new class of ill-posed problems is motivated by the needs of the mod eling and control of nonlinear processes with phase transitions in thermophysics and mechanics of continuous media. Inverse Stefan problems are important for the perfection of technologies both in high temperature processes (e.g., metallurgy, the aircraft industry, astronautics and power engineering) and in hydrology, exploitation of oil-gas fields, etc. The proposed book will complete a gap in these subjects in the preceding re searches of ill-posed problems. It contains the new theoretical and applied studies of a wide class of inverse Stefan problems. The statements of such problems on the determination of boundary functions and coefficients of the equation are considered for different types of additional information about their solution. The variational method of obtaining stable approximate solutions is proposed and established. It is implemented by an efficient computational scheme of descriptive regularization. This algorithm utilizes a priori knowledge of the qualitative structure of the sought solution and ensures a substantial saving in computational costs. It is tested on model and applied problems in nonlinear thermophysics. In particular, the results of calculations for important applications in continuous casting of ingots and in the melting of a plate with the help of laser technology are presented.

This volume emphasises studies related to classical Stefan problems. The term "Stefan problem" is generally used for heat transfer problems with phase-changes such as from the liquid to the solid. Stefan problems have some characteristics that are typical of them, but certain problems arising in fields such as mathematical physics and engineering also exhibit characteristics similar to them. The term ``classical" distinguishes the formulation of these problems from their weak formulation, in which the solution need not possess classical derivatives. Under suitable assumptions, a weak solution could be as good as a classical solution. In hyperbolic Stefan problems, the characteristic features of Stefan problems are present but unlike in Stefan problems, discontinuous solutions are allowed because of the hyperbolic nature of the heat equation. The numerical solutions of inverse Stefan problems, and the analysis of direct Stefan problems are so integrated that it is difficult to discuss one without referring to the other. So no strict line of demarcation can be identified between a classical Stefan problem and other similar problems. On the other hand, including every related problem in the domain of classical Stefan problem would require several volumes for their description. A suitable compromise has to be made. The basic concepts, modelling, and analysis of the classical Stefan problems have been extensively investigated and there seems to be a need to report the results at one place. This book attempts to answer that need.

Translations of Mathematical Monographs

This book is thesecond volume of a three volume series recording the "Radon Special Semester 2011 on Multiscale Simulation & Analysis in Energy and the Environment" that took placein Linz, Austria, October 3-7, 2011. This volume addresses the common ground in the mathematical and computational procedures required for large-scale inverse problems and data assimilation in forefront applications. The solution of inverse problems is fundamental to a wide variety of applications such as weather forecasting, medical tomography, and oil exploration. Regularisation techniques are needed to ensure solutions of sufficient quality to be useful, and soundly theoretically based. This book addresses the common techniques required for all the applications, and is thus truly interdisciplinary. Thiscollection of surveyarticlesfocusses onthe large inverse problems commonly arising in simulation and forecasting in the earth sciences. For example, operational weather forecasting models have between 107 and 108 degrees of freedom. Even so, these degrees of freedom represent grossly space-time averaged properties of the atmosphere. Accurate forecasts require accurate initial conditions. With recent developments in satellite data, there are between 106 and 107 observations each day. However, while these also represent space-time averaged properties, the averaging implicit in the measurements is quite different from that used in the models. In atmosphere and ocean applications, there is a physically-based model available which can be used to regularise the problem. We assume that there is a set of observations with known error characteristics available over a period of time. The basic deterministic technique is to fit a model trajectory to the observations over a period of time to within the observation error. Since the model is not perfect the model trajectory has to be corrected, which defines the data assimilation problem. The stochastic view can be expressed by using an ensemble of model trajectories, and calculating corrections to both the mean value and the spread which allow the observations to be fitted by each ensemble member. In other areas of earth science, only the structure of the model formulation itself is known and the aim is to use the past observation history to determine the unknown model parameters. The book records the achievements of Workshop2 "Large-Scale Inverse Problems and Applications in the Earth Sciences". Itinvolves experts in the theory of inverse problems together with experts working on both theoretical and practical aspects of the techniques by which large inverse problems arise in the earth sciences.

The aim of the series is to present new and important developments in pure and applied mathematics. Well established in the community over two decades, it offers a large library of mathematics including several important classics. The volumes supply thorough and detailed expositions of the methods and ideas essential to the topics in question. In addition, they convey their relationships to other parts of mathematics. The series is addressed to advanced readers wishing to thoroughly study the topic. Editorial Board Lev Birbrair, Universidade Federal do Ceará, Fortaleza, Brasil Victor P. Maslov, Russian Academy of Sciences, Moscow, Russia Walter D. Neumann, Columbia University, New York, USA Markus J. Pflaum, University of Colorado, Boulder, USA Dierk Schleicher, Jacobs University, Bremen, Germany

This volume contains 13 chapters, which are extended versions of the presentations at International Conference on Inverse Problems at Fudan University, Shanghai, China, October 12-14, 2018, in honor of Masahiro Yamamoto on the occasion of his 60th anniversary. The chapters are authored by world-renowned researchers and rising young talents, and are updated accounts of various aspects of the researches on inverse problems. The volume covers theories of inverse problems for partial differential equations, regularization methods, and related topics from control theory. This book addresses a wide audience of researchers and young post-docs and graduate students who are interested in mathematical sciences as well as mathematics.

Developing an approach to the question of existence, uniqueness and stability of solutions, this work presents a systematic elaboration of the theory of inverse problems for all principal types of partial differential equations. It covers up-to-date methods of linear and nonlinear analysis, the theory of differential equations in Banach spaces, applications of functional analysis, and semigroup theory.

The Handbook of Mathematical Methods in Imaging provides a comprehensive treatment of the mathematical techniques used in imaging science. The material is grouped into two central themes, namely, Inverse Problems (Algorithmic Reconstruction) and Signal and Image Processing. Each section within the themes covers applications (modeling), mathematics, numerical methods (using a case example) and open questions. Written by experts in the area, the presentation is mathematically rigorous. The entries are cross-referenced for easy navigation through connected topics. Available in both print and electronic forms, the handbook is enhanced by more than 150 illustrations and an extended bibliography. It will benefit students, scientists and researchers in applied mathematics. Engineers and computer scientists working in imaging will also find this handbook useful.

This book introduces the reader to the area of inverse problems. The study of inverse problems is of vital interest to many areas of science and technology such as geophysical exploration, system identification, nondestructive testing and ultrasonic tomography. The aim of this book is twofold: in the first part, the reader is exposed to the basic notions and difficulties encountered with ill-posed problems. Basic properties of regularization methods for linear ill-posed problems are studied by means of several simple analytical and numerical examples. The second part of the book presents two special nonlinear inverse problems in detail - the inverse spectral problem and the inverse scattering problem. The corresponding direct problems are studied with respect to existence, uniqueness and continuous dependence on parameters. Then some theoretical results as well as numerical procedures for the inverse problems are discussed. The choice of material and its presentation in the book are new, thus making it particularly suitable for graduate students. Basic knowledge of real analysis is assumed. In this new edition, the Factorization Method is included as one of the prominent members in this monograph. Since the Factorization Method is particularly simple for the problem of EIT and this field has attracted a lot of attention during the past decade a chapter on EIT has been added in this monograph as Chapter 5 while the chapter on inverse scattering theory is now Chapter 6.The main changes of this second edition compared to the first edition concern only Chapters 5 and 6 and the Appendix A. Chapter 5 introduces the reader to the inverse problem of electrical impedance tomography.

Inverse Problems are found in many areas of engineering mechanics and there are many successful applications e.g. in non-destructive testing and characterization of material properties by ultrasonic or X-ray techniques, thermography, etc. Generally speaking, inverse problems are concerned with the determination of the input and the characteristics of a system, given certain aspects of its output. Mathematically, such problems are ill-posed and have to be overcome through development of new computational schemes, regularization techniques, objective functionals, and experimental procedures. Following the IUTAM Symposium on these topics, held in May 1992 in Tokyo, another in November 1994 in Paris, and also the more recent ISIP'98 in March 1998 in Nagano, it was concluded that it would be fruitful to gather regularly with researchers and engineers for an exchange of the newest research ideas. The most recent Symposium of this series "International Symposium on Inverse Problems in Engineering Mechanics (ISIP2000)" was held in March of 2000 in Nagano, Japan, where recent developments in inverse problems in engineering mechanics and related topics were discussed.The following general areas in inverse problems in engineering mechanics were the subjects of ISIP2000: mathematical and computational aspects of inverse problems, parameter or system identification, shape determination, sensitivity analysis, optimization, material property characterization, ultrasonic non-destructive testing, elastodynamic inverse problems, thermal inverse problems, and other engineering applications. The papers in these proceedings provide a state-of-the-art review of the research on inverse problems in engineering mechanics and it is hoped that some breakthrough in the research can be made and that technology transfer will be stimulated and accelerated due to their publication.