Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn parameter identification problems for elliptic boundary value problems in divergence form, Part I: An abstract framework
87
0
0.0
(
0
)
Added by
Anne Wald
Publication date
2020
fields
Informatics Engineering
and research's language is
English
Ask ChatGPT about the research
No Arabic abstract
Parameter identification problems for partial differential equations are an important subclass of inverse problems. The parameter-to-state map, which maps the parameter of interest to the respective solution of the PDE or state of the system, plays the central role in the (usually nonlinear) forward operator. Consequently, one is interested in well-definedness and further analytic properties such as continuity and differentiability of this operator w.r.t. the parameter in order to make sure that techniques from inverse problems theory may be successfully applied to solve the inverse problem. In this work, we present a general functional analytic framework suited for the study of a huge class of parameter identification problems including a variety of elliptic boundary value problems (in divergence form) with Dirichlet, Neumann, Robin or mixed boundary conditions. In particular, we show that the corresponding parameter-to-state operators fulfil, under suitable conditions, the tangential cone condition, which is often postulated for numerical solution techniques. This framework particularly covers the inverse medium problem and an inverse problem that arises in terahertz tomography.
rate research
Read More
In this paper, we present a unified analysis of the superconvergence property for a large class of mixed discontinuous Galerkin methods. This analysis applies to both the Poisson equation and linear elasticity problems with symmetric stress formulations. Based on this result, some locally postprocess schemes are employed to improve the accuracy of displacement by order min(k+1, 2) if polynomials of degree k are employed for displacement. Some numerical experiments are carried out to validate the theoretical results.
A general analysis framework is presented in this paper for many different types of finite element methods (including various discontinuous Galerkin methods). For second order elliptic equation, this framework employs $4$ different discretization variables, $u_h, bm{p}_h, check u_h$ and $check p_h$, where $u_h$ and $bm{p}_h$ are for approximation of $u$ and $bm{p}=-alpha abla u$ inside each element, and $ check u_h$ and $check p_h$ are for approximation of residual of $u$ and $bm{p} cdot bm{n}$ on the boundary of each element. The resulting 4-field discretization is proved to satisfy inf-sup conditions that are uniform with respect to all discretization and penalization parameters. As a result, most existing finite element and discontinuous Galerkin methods can be analyzed using this general framework by making appropriate choices of discretization spaces and penalization parameters.
In this paper we proposed two new quasi-boundary value methods for regularizing the ill-posed backward heat conduction problems. With a standard finite difference discretization in space and time, the obtained all-at-once nonsymmetric sparse linear systems have the desired block $omega$-circulant structure, which can be utilized to design an efficient parallel-in-time (PinT) direct solver that built upon an explicit FFT-based diagonalization of the time discretization matrix. Convergence analysis is presented to justify the optimal choice of the regularization parameter. Numerical examples are reported to validate our analysis and illustrate the superior computational efficiency of our proposed PinT methods.
Discrete approximations to the equation begin{equation*} L_{cont}u = u^{(4)} + D(x) u^{(3)} + A(x) u^{(2)} + (A(x)+H(x)) u^{(1)} + B(x) u = f, ; xin[0,1] end{equation*} are considered. This is an extension of the Sturm-Liouville case $D(x)equiv H(x)equiv 0$ [ M. Ben-Artzi, J.-P. Croisille, D. Fishelov and R. Katzir, Discrete fourth-order Sturm-Liouville problems, IMA J. Numer. Anal. {bf 38} (2018), 1485-1522. doi: 10.1093/imanum/drx038] to the non-self-adjoint setting. The natural boundary conditions in the Sturm-Liouville case are the values of the function and its derivative. The inclusion of a third-order discrete derivative entails a revision of the underlying discrete functional calculus. This revision forces evaluations of accurate discrete approximations to the boundary values of the second, third and fourth order derivatives. The resulting functional calculus provides the discrete analogs of the fundamental Sobolev properties--compactness and coercivity. It allows to obtain a general convergence theorem of the discrete approximations to the exact solution. Some representative numerical examples are presented.
Semi-Lagrangian methods have traditionally been developed in the framework of hyperbolic equations, but several extensions of the Semi-Lagrangian approach to diffusion and advection--diffusion problems have been proposed recently. These extensions are mostly based on probabilistic arguments and share the common feature of treating second-order operators in trace form, which makes them unsuitable for mass conservative models like the classical formulations of turbulent diffusion employed in computational fluid dynamics. We propose here some basic ideas for treating second-order operators in divergence form. A general framework for constructing consistent schemes in one space dimension is presented, and a specific case of nonconservative discretization is discussed in detail and analysed. Finally, an extension to (possibly nonlinear) problems in an arbitrary number of dimensions is proposed. Although the resulting discretization approach is only of first order in time, numerical results in a number of test cases highlight the advantages of these methods for applications to computational fluid dynamics and their superiority over to more standard low order time discretization approaches.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
