Page 2
Page 2
img

Compatible Spatial Discretizations

Compatible spatial discretizations are those that inherit or mimic fundamental properties of the PDE such as topology, conservation, symmetries, and positivity structures and maximum principles. It offer a snapshot of the current trends and developments in compatible spatial discretizations. The reader will find valuable insights on spatial compatibility from several different perspectives and important examples of applications compatible discretizations in computational electromagnetics, geosciences, linear elasticity, eigenvalue approximations and MHD. The contributions collected in this volume will help to elucidate relations between different methods and concepts and to generally advance our understanding of compatible spatial discretizations for PDEs.

img

Cálculo científico con MATLAB y Octave = Scientific computing with MATLAB and Octave

This textbook is an introduction to Scientific Calculus, illustrating various numerical methods for the computer solution of certain classes of mathematical problems. The authors show how to compute the zeros or integrals of continuous functions, solve linear systems, approximate functions by polynomials, and construct precise approximations for the solution of differential equations. To make the presentation concrete and attractive, the MATLAB programming environment has been adopted as a faithful companion.

img

Cálculo científico com MATLAB e Octave = Scientific calculus with MATLAB and Octave

Its objective is to present various numerical methods for solving certain mathematical problems on the computer that cannot be treated in a simpler way. Classical issues such as the computation of zeros or integrals of continuous functions, the solving of linear systems, the approximation of functions by polynomials and the construction of precise approximations for solutions of differential equations are addressed. All algorithms are presented in the programming languages ​​MATLAB and Octave, whose main commands and instructions are introduced gradually, aiming in particular at their compatibility in both languages.

img

Atomic spectroscopy : Introduction to the theory of hyperfine structure

Atomic Spectroscopy provides a comprehensive discussion on the general approach to the theory of atomic spectra, based on the use of the Lagrangian canonical formalism. This approach is developed and applied to explain the hydrogenic hyperfine structure associated with the nucleus motion, its finite mass, and spin. The non-relativistic or relativistic, spin or spin-free particle approximations can be used as a starting point of general approach. The special attention is paid to the theory of Lamb shift formation. The formulae for hydrogenic spectrum including the account of Lamb shift are written in simple analytical form. The book is of interest to specialists, graduate and postgraduate students, who are involved into the experimental and theoretical research in the field of modern atomic spectroscopy.

img

Asymptotic Analysis and Boundary Layers

Presents a new method of asymptotic analysis of boundary-layer problems, the Successive Complementary Expansion Method (SCEM). The first part is devoted to a general comprehensive presentation of the tools of asymptotic analysis. It gives the keys to understand a boundary-layer problem and explains the methods to construct an approximation. The second part is devoted to SCEM and its applications in fluid mechanics, including external and internal flows. The advantages of SCEM are discussed in comparison with the standard Method of Matched Asymptotic Expansions. In particular, for the first time, the theory of Interactive Boundary Layer is fully justified. With its chapter summaries, detailed derivations of results, discussed examples and fully worked out problems and solutions, the book is self-contained.

img

Artificial neural networks for the Modelling and Fault Diagnosis of Technical Processes

In this book, a wide spectrum of fault diagnosis techniques have been developed. A major category of fault diagnosis techniques is the model based one, where an analytical model of the plant to be monitored is assumed to be available.

img

Arithmetical investigations : Representation theory, orthogonal polynomials, and quantum interpolations

In this volume the author further develops his philosophy of quantum interpolation between the real numbers and the p-adic numbers. The p-adic numbers contain the p-adic integers Zp which are the inverse limit of the finite rings Z/pn. This gives rise to a tree, and probability measures w on Zp correspond to Markov chains on this tree. From the tree structure one obtains special basis for the Hilbert space L2(Zp,w). The real analogue of the p-adic integers is the interval [-1,1], and a probability measure w on it gives rise to a special basis for L2([-1,1],w) - the orthogonal polynomials, and to a Markov chain on "finite approximations" of [-1,1]. For special (gamma and beta) measures there is a "quantum" or "q-analogue" Markov chain, and a special basis, that within certain limits yield the real and the p-adic theories. This idea can be generalized variously. In representation theory, it is the quantum general linear group GLn(q)that interpolates between the p-adic group GLn(Zp), and between its real (and complex) analogue -the orthogonal On (and unitary Un )groups. There is a similar quantum interpolation between the real and p-adic Fourier transform and between the real and p-adic (local unramified part of) Tate thesis, and Weil explicit sums.

img

Approximation of Additive Convolution-Like Operators : Real C*-Algebra Approach

Various aspects of numerical analysis for equations arising in boundary integral equation methods have been the subject of several books published in the last 15 years [95, 102, 183, 196, 198]. Prominent examples include various classes of o- dimensional singular integral equations or equations related to single and double layer potentials. Usually, a mathematically rigorous foundation and error analysis for the approximate solution of such equations is by no means an easy task. One reason is the fact that boundary integral operators generally are neither integral operatorsof the formidentity plus compact operatornor identity plus an operator with a small norm. Consequently, existing standard theories for the numerical analysis of Fredholm integral equations of the second kind are not applicable. In the last 15 years it became clear that the Banach algebra technique is a powerful tool to analyze the stability problem for relevant approximation methods [102, 103, 183, 189]. The starting point for this approach is the observation that the ? stability problem is an invertibility problem in a certain BanachorC -algebra. As a rule, this algebra is very complicated – and one has to ?nd relevant subalgebras to use such tools as local principles and representation theory.

img

Approximate and noisy realization of discrete-time dynamical systems

This monograph deals with approximation and noise cancellation of dynamical systems which include linear and nonlinear input/output relations. It will be of special interest to researchers, engineers and graduate students who have specialized in ?ltering theory and system theory. This monograph provides new results and their extensions which can also be applied to nonlinear dynamical systems.

img

Applied Proof Theory : Proof Interpretations and Their Use in Mathematics

Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.

img

Applicazioni ed esercizi di modellistica numerica per problemi differenziali = Applications and exercises in numerical modeling for differential problems

Contains a collection of exercises related to typical topics in a course on analytical and numerical methods offered in a degree program in Engineering or Mathematics. Starting with exercises in functional analysis and approximation theory, the text develops problems related to the numerical resolution of elliptic, parabolic, and hyperbolic partial differential equations, scalar or vector, in one or more spatial dimensions. Pure diffusion and pure convection problems are therefore addressed, alongside diffusion-transport problems and problems in compressible and incompressible fluid dynamics. Particular emphasis is given to the finite element method for the spatial discretization of the problems considered, although exercises on the finite difference and finite volume methods are also included.

img

Analysis and Numerics for Conservation Laws

The physical and chemical mechanisms as well as the sizes of these processes are quite different. So are the motivations for studying them scientifically.The super- 8 nova is a thermo-nuclear explosion on a scale of 10 cm. Astrophysicists try to understand them in order to get insight into fundamental properties of the universe. In hows around airfoils of commercial airliners at the scale of 3 10 cm shock waves occur that influence the stability of the wings as well as fuel consumption in ight. This requires appropriate design of the shape and structure of airfoils by engineers. Knocking occurs in combustion, a chemical 1 process, and must be avoided since it damages motors. The scale is 10 cm and these processes must be optimized for efficiency and environmental conside- tions. The common thread is that the underlying ?uid ?ows may at a certain scale of observation be described by basically the same type of hyperbolic s- tems of partial differential equations in divergence form, called conservation laws. Astrophysicists, engineers and mathematicians share a common interest in scientific progress on theory for these equations and the development of computational methods for solutions of the equations. Due to their wide applicability in modeling of continua. A substantial portion of mathematical research is related to the analysis and numerical approximation of solutions to such equations. Hyperbolic conservation laws in two or more space dimensions still poseone of the main challenges to modern mathematics.

img

Analyse asymptotique et couche limite = Asymptotic analysis and boundary layer

The aim of the book is to give teachers and students (from Bac + 4) in applied mathematics and fluid mechanics a teaching and learning tool illustrated by fifty problems accompanied by their detailed correction. This book presents a new method of asymptotic analysis for "boundary layer" problems. This is called MASC "Method of Complementary Successive Approximations". The first half of the book is devoted, in addition to the presentation of the MASC, to organize the knowledge necessary for the asymptotic analysis and to give the keys allowing the understanding of what is a problem called "boundary layer" and the methods allowing. to build an approximation. The second part is devoted to the application of MASC in fluid mechanics and to the comparison with the more traditional methods resulting from the famous MDAR, "Method of Connected Asymptotic Developments".

img

An introduction to relativistic processes and the standard model of electroweak interactions

The first part of the volume is devoted to the description of scattering processes in the context of relativistic quantum field theory. The use of the semi-classical approximation allows us to illustrate the relevant computation techniques in a reasonably small amount of space. Our approach to relativistic processes is original in many respects. The second part contains a detailed description of the construction of the standard model of electroweak interactions, with special attention to the mechanism of particle mass generation. The extension of the standard model to include neutrino masses is also described. We have included a number of detailed computations of cross sections and decay rates of pedagogical and phenomenological relevance.

img

Algorithms for Approximation ; Proceedings of the 5th International Conference, Chester, July 2005

Approximation methods are vital in many challenging applications of computational science and engineering. This is a collection of papers from world experts in a broad variety of relevant applications.

img

Advanced Linear Algebra

For the third edition, the author has added a new chapter on associative algebras that includes the well known characterizations of the finite-dimensional division algebras over the real field (a theorem of Frobenius) and over a finite field (Wedderburn's theorem); polished and refined some arguments (such as the discussion of reflexivity, the rational canonical form, best approximations and the definitions of tensor products); upgraded some proofs that were originally done only for finite-dimensional/rank cases; added new theorems, including the spectral mapping theorem; considerably expanded the reference section with over a hundred references to books on linear algebra.

img

A Short Course on Operator Semigroups

Gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on Banach spaces. It treats the fundamental Hille-Yosida generation theorem as well as perturbation and approximation theorems for generators and semigroups.

img

A Posteriori Error Analysis Via Duality Theory : With Applications in Modeling and Numerical Approximations

This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially those arising in mechanical applications, and for numerical approximations of numerous nonlinear variational problems. The author avoids giving the results in the most general, abstract form so that it is easier for the reader to understand more clearly the essential ideas involved. Many examples are included to show the usefulness of the derived error estimates.

img

A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.

Results Per Page