In recent years, stylized forms of the Boltzmann equation, now going by the name of "Lattice Boltzmann equation" (LBE), have emerged, which relinquish most mathematical complexities of the true Boltzmann equation without sacrificing physical fidelity in the description of many situations involving complex fluid motion. This book provides the first detailed survey of LBE theory and its major applications to date. Accessible to a broad audience of scientists dealing with complex system dynamics, the book also portrays future developments in allied areas of science (material science, biology etc.) where fluid motion plays a distinguished role.

The authors have backgrounds which are ideally suited for writing this book. The late C. Truesdell is well known for his monumental treatises on continuum thermomechanics. K.R. Rajagopal has made many important contributions to the mechanics of continua in general, and to nonlinear fluids in particular. They have produced a compact, moderately general book which encompasses many fluid models of current interest The book is written very clearly and contains a large number of exercises and their solutions. The level of mathematics is that commonly taught to undergraduates in mathematics departments. This is an excellent book which is highly recommended to students and researchers in fluid mechanics.

Mathematical Reviews

The writing style is quintessential Truesdellania: purely mathematical, breathtaking, irrepressible, irreverent, uncompromising, taking no prisoners...The book is filled with historical nuggets Its pure, exact mathematics will baptize, enlighten and exhilarate.

Applied Mechanics Review

The most positive aspect of this book is its brevity; a large number of topics are covered within the space of a little more than 250 pages.

Current Science

This advanced monograph presents one of the best new views on the subject for those who like relative simplicity and certain abstractness combined with mathematical rigor and elegance All the details are carefully worked out and to a large degree based on original work and lifelong experience. The topics range from Euler fluids to memory fluids, and the framework is general enough to treat other nonlinear fluids than those explicitly mentioned The book should be useful for graduates and researchers not only in applied mathematics and mechanical engineering but also in advanced materials science and technology Each public scientific library as well as hydrodynamics hand libraries should own this timeless book Doubtlessly everyone who decides to buy this book can be sure to have bought a classic of science and the heritage of an outstanding scientist.

Silik ty

All applied mathematicians, mechanical engineers, aerospace engineers, and engineering mechanics graduates and researchers will find the book an essential reading resource for fluids.

Simulation News Europe

The Fifth European Conference on Industrial Mathematics (ECMI 90) took place at Lahti, Finland on June 6-9, 1990. The conference was organised by the Rolf Nevanlinna Institute together with the Lahti Research and Training Centre of the University of Helsinki. Like its predecessors the Lahti meeting was devoted to the exchange of experience, ideas and methods from various fields of industrial mathematics. The series of ECMI conferences have clearly established an important forum of interaction between the advancing front of technology and one of its crucial development resources, modern applications-oriented mathematics. The precise title of the conferences has been the subject of some discussion and it has been argued that there is no such area which can be labelled as "industrial mathematics." This is certainly true if one thinks only in terms of the range of ideas, theorems, methods and algorithms constituting mathematics all of which may be applied. However with another viewpoint industrial mathematics is not a collection of topics but refers to the interactive process in which mathematics, the science, meets the real world of applications. Ideally this interaction involves both good mathematics and technological advance. The computer revolution has created a new era in technology with the increased computational capability to simulate complex industrial processes, devices, and other technolog- making it possible ical systems. This simulation depends on mathematical modelling and analysis and these techniques, sometimes ingenious but often quite routine, have provided a powerful tool for industrial scientists and creative research management.

In the present book, the starting line is defined by a morphogenetic perspective on human communication and culture. The focus is on visual communication, music, religion (myth), and language, i.e., on the "symbolic forms" at the heart of human cultures (Ernst Cassirer). The term "morphogenesis" has more precisely the meaning given by Rene Thom (1923-2002) in his book "Morphogenesis and Structural Stability" (1972) and the notions of "self-organization" and cooperation of subsystems in the "Synergetics" of Hermann Haken (1927- ). The naturalization of communication and cultural phenomena is the favored strategy, but the major results of the involved disciplines (art history, music theory, religious science, and linguistics) are respected. Visual art from the Paleolithic to modernity stands for visual communication. The present book focuses on studies of classical painting and sculpture (e.g., Leonardo da Vinci, William Turner, and Henry Moore) and modern art (e.g., Jackson Pollock and Joseph Beuys). Musical morphogenesis embraces classical music (from J. S. Bach to Arnold Schoenberg) and political songwriting (Bob Dylan, Leonhard Cohen). The myths of pre-literary societies show the effects of self-organization in the re-assembly (bricolage) of traditions. Classical polytheistic and monotheistic religions demonstrate the unfolding of basic germs (religious attractors) and their reduction in periods of crisis, the self-organization of complex religious networks, and rationalized macro-structures (in theologies). Significant tendencies are analyzed in the case of Buddhism and Christianism. Eventually, a holistic view of symbolic communication and human culture emerges based on state- of- the- art in evolutionary biology, cognitive science, linguistics, and semiotics (philosophy of symbolic forms).

The mathematical theory of Krylov subspace methods with a focus on solving systems of linear algebraic equations is given a detailed treatment in this principles-based book. Starting from the idea of projections, Krylov subspace methods are characterised by their orthogonality and minimisation properties. Projections onto highly nonlinear Krylov subspaces can be linked with the underlying problem of moments, and therefore Krylov subspace methods can be viewed as matching moments model reduction. This allows enlightening reformulations of questions from matrix computations into the language of orthogonal polynomials, Gauss-Christoffel quadrature, continued fractions, and, more generally, of Vorobyev's method of moments. Using the concept of cyclic invariant subspaces, conditions are studied that allow the generation of orthogonal Krylov subspace bases via short recurrences. The results motivate the important practical distinction between Hermitian and non-Hermitian problems. Finally, the book thoroughly addresses the computational cost while using Krylov subspace methods. The investigation includes effects of finite precision arithmetic and focuses on the method of conjugate gradients (CG) and generalised minimal residuals (GMRES) as major examples. There is an emphasis on the way algebraic computations must always be considered in the context of solving real-world problems, where the mathematical modelling, discretisation and computation cannot be separated from each other. The book also underlines the importance of the historical context and demonstrates that knowledge of early developments can play an important role in understanding and resolving very recent computational problems. Many extensive historical notes are included as an inherent part of the text as well as the formulation of some omitted issues and challenges which need to be addressed in future work. This book is applicable to a wide variety of graduate courses on Krylov subspace methods and related subjects, as well as benefiting those interested in the history of mathematics.

This book deals with two important branches of mathematics, namely, logic and set theory. Logic and set theory are closely related and play very crucial roles in the foundation of mathematics, and together produce several results in all of mathematics. The topics of logic and set theory are required in many areas of physical sciences, engineering, and technology. The book offers solved examples and exercises, and provides reasonable details to each topic discussed, for easy understanding. The book is designed for readers from various disciplines where mathematical logic and set theory play a crucial role. The book will be of interested to students and instructors in engineering, mathematics, computer science, and technology.

This book presents algorithms and computational applications integrated in software that are being applied in the industry. It shows how companies using these tools are more competitive and efficient in the use and resources management. The book is organized in three sections, depending on the supply chain stage: procurement, including contact with costumers and product design; Production process, including relationship with suppliers and among departments; and Distribution, including logistics and transportation.

This book is addressed to graduate students and researchers in the fields of mathematics and physics who are interested in mathematical and theoretical physics, differential geometry, mechanics, quantization theories and quantum physics, quantum groups etc., and who are familiar with differentiable and symplectic manifolds. The aim of the book is to provide the reader with a monograph that enables him to study systematically basic and advanced material on the recently developed theory of Poisson manifolds, and that also offers ready access to bibliographical references for the continuation of his study. Until now, most of this material was dispersed in research papers published in many journals and languages. The main subjects treated are the Schouten-Nijenhuis bracket; the generalized Frobenius theorem; the basics of Poisson manifolds; Poisson calculus and cohomology; quantization; Poisson morphisms and reduction; realizations of Poisson manifolds by symplectic manifolds and by symplectic groupoids and Poisson-Lie groups. The book unifies terminology and notation. It also reports on some original developments stemming from the author's work, including new results on Poisson cohomology and geometric quantization, cofoliations and biinvariant Poisson structures on Lie groups.

This book presents revised versions of the best papers selected from the symposium Mathematical Progress in Expressive Image Synthesis (MEIS2013) held in Fukuoka, Japan, in 2013. The topics cover various areas of computer graphics (CG), such as surface deformation/editing, character animation, visual simulation of fluids, texture and sound synthesis and photorealistic rendering. From a mathematical point of view, the book also presents papers addressing discrete differential geometry, Lie theory, computational fluid dynamics, function interpolation and learning theory. This book showcases the latest joint efforts between mathematicians, CG researchers and practitioners exploring important issues in graphics and visual perception.The book provides a valuable resource for all computer graphics researchers seeking open problem areas, especially those now entering the field who have not yet selected a research direction."

The reproduction and spread of a virus during an epidemic proceeds when the virus attaches to a host cell and viral genetic material (VGM) (protein, DNA, RNA) enters the cell, then replicates, and perhaps mutates, in the cell. The movement of the VGM across the host cell outer membrane and within the host cell is a spatiotemporal dynamic process that is modeled in this book as a system of ordinary and partial differential equations (ODE/PDEs). The movement of the virus proteins through the cell membrane is modeled as a diffusion process expressed by the diffusion PDE (Fick's second law). Within the cell, the time variation of the VGM is modeled as ODEs. The evolution of the dependent variables is computed by the numerical integration of the ODE/PDEs starting from zero initial conditions (ICs). The departure of the dependent variables from zero is in response to the virus protein concentration at the outer membrane surface (the point at which the virus binds to the host cell). The numerical integration of the ODE/PDEs is performed with routines coded (programmed) in R, a quality, open-source scientific computing system that is readily available from the Internet. Formal mathematics is minimized, e.g., no theorems and proofs. Rather, the presentation is through detailed examples that the reader/researcher/analyst can execute on modest computers. The ODE/PDE dependent variables are displayed graphically with basic R plotting utilities. The R routines are available from a download link so that the example models can be executed without having to first study numerical methods and computer coding. The routines can then be applied to variations and extensions of the ODE/PDE model, such as changes in the parameters and the form of the model equations.

This open access book presents selected papers from International Symposium on Mathematics, Quantum Theory, and Cryptography (MQC), which was held on September 25-27, 2019 in Fukuoka, Japan. The international symposium MQC addresses the mathematics and quantum theory underlying secure modeling of the post quantum cryptography including e.g. mathematical study of the light-matter interaction models as well as quantum computing. The security of the most widely used RSA cryptosystem is based on the difficulty of factoring large integers. However, in 1994 Shor proposed a quantum polynomial time algorithm for factoring integers, and the RSA cryptosystem is no longer secure in the quantum computing model. This vulnerability has prompted research into post-quantum cryptography using alternative mathematical problems that are secure in the era of quantum computers. In this regard, the National Institute of Standards and Technology (NIST) began to standardize post-quantum cryptography in 2016. This book is suitable for postgraduate students in mathematics and computer science, as well as for experts in industry working on post-quantum cryptography.

The main purpose of the book is to introduce the readers to the numerical integration of the Cauchy problem for delay differential equations (DDEs). Peculiarities and differences that DDEs exhibit with respect to ordinary differential equations are preliminarily outlined by numerous examples illustrating some unexpected, and often surprising, behaviours of the analytical and numerical solutions. The effect of various kinds of delays on the regularity of the solution is described and some essential existence and uniqueness results are reported. The book is centered on the use of Runge-Kutta methods continuously extended by polynomial interpolation, includes a brief review of the various approaches existing in the literature, and develops an exhaustive error and well-posedness analysis for the general classes of one-step and multistep methods. The book presents a comprehensive development of continuous extensions of Runge-Kutta methods which are of interest also in the numerical treatment of more general problems such as dense output, discontinuous equations, etc. Some deeper insight into convergence and superconvergence of continuous Runge-Kutta methods is carried out for DDEs with various kinds of delays. The stepsize control mechanism is also developed on a firm mathematical basis relying on the discrete and continuous local error estimates. Classical results and a unconventional analysis of "stability with respect to forcing term" is reviewed for ordinary differential equations in view of the subsequent numerical stability analysis. Moreover, an exhaustive description of stability domains for some test DDEs is carried out and the corresponding stability requirements for the numerical methods are assessed and investigated. Alternative approaches, based on suitable formulation of DDEs as partial differential equations and subsequent semidiscretization are briefly described and compared with the classical approach. A list of available codes is provided, and illustrative examples, pseudo-codes and numerical experiments are included throughout the book.

For some time, medicine has been an important driver for the development of data processing and visualization techniques. Improved technology offers the capacity to generate larger and more complex data sets related to imaging and simulation. This, in turn, creates the need for more effective visualization tools for medical practitioners to interpret and utilize data in meaningful ways.

The first edition of Visualization in Medicine and Life Sciences (VMLS) emerged from a workshop convened to explore the significant data visualization challenges created by emerging technologies in the life sciences. The workshop and the book addressed questions of whether medical data visualization approaches can be devised or improved to meet these challenges, with the promise of ultimately being adopted by medical experts.

Visualization in Medicine and Life Sciences II follows the second international VMLS workshop, held in Bremerhaven, Germany, in July 2009. Internationally renowned experts from the visualization and driving application areas came together for this second workshop.

The book presents peer-reviewed research and survey papers which document and discuss the progress made, explore new approaches to data visualization, and assess new challenges and research directions.

The assembled papers span the frontiers of VMLS, examining these topics:

* Feature Extraction

* Classification

* Volumes and Shapes

* Tensor Visualization

* Visualizing Genes, Proteins, and Molecules"

This book is intended to be a useful contribution for the modern teaching of applied mathematics, educating Industrial Mathematicians that will meet the growing demand for such experts. It covers many applications where mathematics play a fundamental role, from biology, telecommunications, medicine, physics, finance and industry. It is presented in such a way that can be useful in Modelation, Simulation and Optimization courses, targeting master and PhD students. Its content is based on many editions from the successful series of Modelling Weeks organized by the European Consortium of Mathematics in Industry (ECMI). Each chapter addresses a particular problem, and is written in a didactic way, providing the description of the problem, the particular way of approaching it and the proposed solution, along with the results obtained.

This book discusses recent developments in dynamic reliability in multi-state systems (MSS), addressing such important issues as reliability and availability analysis of aging MSS, the impact of initial conditions on MSS reliability and availability, changing importance of components over time in MSS with aging components, and the determination of age-replacement policies. It also describes modifications of traditional methods, such as Markov processes with rewards, as well as a modern mathematical method based on the extended universal generating function technique, the Lz-transform, presenting various successful applications and demonstrating their use in real-world problems. This book provides theoretical insights, information on practical applications, and real-world case studies that are of interest to engineers and industrial managers as well as researchers. It also serves as a textbook or supporting text for graduate and postgraduate courses in industrial, electrical, and mechanical engineering.

Mathematical analyses and computational predictions of the behavior of complex systems are needed to effectively deal with weather and climate predictions, for example, and the optimal design of technical processes. Given the random nature of such systems and the recognized relevance of randomness, the equations used to describe such systems usually need to involve stochastics. The basic goal of this book is to introduce the mathematics and application of stochastic equations used for the modeling of complex systems. A first focus is on the introduction to different topics in mathematical analysis. A second focus is on the application of mathematical tools to the analysis of stochastic equations. A third focus is on the development and application of stochastic methods to simulate turbulent flows as seen in reality. This book is primarily oriented towards mathematics and engineering PhD students, young and experienced researchers, and professionals working in the area of stochastic differential equations and their applications. It contributes to a growing understanding of concepts and terminology used by mathematicians, engineers, and physicists in this relatively young and quickly expanding field.

The COVID-19 pandemic that started in 2019-2020 has led to a gigantic increase in modeling and simulation of infectious diseases. There are numerous topics associated with this epoch-changing event, such as (a) disease propagation, (b) transmission, (c) decontamination, and (d) vaccines. This is an evolving field. The targeted objective of this book is to expose researchers to key topics in this area, in a very concise manner. The topics selected for discussion have evolved with the progression of the pandemic. Beyond the introductory chapter on basic mathematics, optimization, and machine learning, the book covers four themes in modeling and simulation infectious diseases, specifically: Part 1: Macroscale disease propagation, Part 2: Microscale disease transmission and ventilation system design, Part 3: Ultraviolet viral decontamination, and Part 4: Vaccine design and immune response. It is important to emphasize that the rapid speed at which the simulations operate makes the presented computational tools easily deployable as digital twins, i.e., digital replicas of complex systems that can be inexpensively and safely optimized in a virtual setting and then used in the physical world afterward, thus reducing the costs of experiments and also accelerating development of new technologies.

This book introduces advanced mathematical methods and techniques for analysis and simulation of models in mathematical epidemiology. Chronological age and class-age play an important role in the description of infectious diseases and this text provides the tools for the analysis of this type of partial differential equation models. This book presents general theoretical tools as well as large number of specific examples to guide the reader to develop their own tools that they may then apply to study structured models in mathematical epidemiology. The book will be a valuable addition to the arsenal of all researchers interested in developing theory or studying specific models with age structure.

In discussing the question of whether General Relativity Theory really needs to be quantized, a simply negative answer cannot be accepted, of course. Such an answer is not satisfying because, first, Einstein's gravitational equations connect gravity and non-gravitational matter and because, second, it can be taken for granted that non-gravitational matter has an atomic or quantum structure such that its energy-momentum tensor standing on the right-hand side of Einstein's equations is formed out of quantum operators. These two facts make it impossible to read the left-hand side of Einstein's equations as an ordinary classical function. This does not necessarily mean, however, that we must draw the conclusion that General Relativity Theory, similar to electrodynamics, could or should be quantized in a rigorous manner and that this quantization has similar consequences to quantum electrodynamics. In other words, when for reasons of consistency quantization is tried, then one has to ask whether and where the quantization procedure has a physical meaning, i.e., whether there exist measurable effects of quantum gravity. IQ accordance with these questions, we are mainly dealing with the discus sion of the principles of quantized General Relativity Theory and with the estimation of quantum effects including the question of their measurability. This analysis proves that it is impossible to distinguish between classical and quantum General Relativity Theory for the extreme case of Planck's orders of magnitude. In other words, there does not exist a physically meaningful rigorous quantization conception for Einstein's theory."

This book, which goes far beyond a traditional collection of technical articles, is dedicated to Enric Trillas, a fuzzy systems pioneer but also an internationally renowned researcher in other areas of science, such as mathematics and aerospace, and an outstanding manager of scientific affairs in Spain. Some of the contributions in this book develop technical, state-of-the-art themes obviously related to fuzzy logic, while others resemble popular-science articles that shed light on complex mathematical concepts. There are also chapters that highlight the authors' personal relationships and experiences working with Enric Trillas. While planning this book project, the editors decided to give contributors absolute freedom of thought and expression in preparing their chapters. The result is a colorful and inspiring mixture of styles and topics, which perfectly reflects Enric Trillas's multifaceted contributions to research and his outstanding role in promoting education and technological transfer in the field of soft computing. This Festschrift to Enric Trillas, published on the occasion of his 75th birthday, is not only intended as an exemplary source of information for young scientists dealing with uncertainty, imprecision and accuracy of models, but also as an inspiring guide to the role of scientists in education, politics and communication.

To put the world of linear algebra to advanced use, it is not enough to merely understand the theory; there is a significant gap between the theory of linear algebra and its myriad expressions in nearly every computational domain. To bridge this gap, it is essential to process the theory by solving many exercises, thus obtaining a firmer grasp of its diverse applications. Similarly, from a theoretical perspective, diving into the literature on advanced linear algebra often reveals more and more topics that are deferred to exercises instead of being treated in the main text. As exercises grow more complex and numerous, it becomes increasingly important to provide supporting material and guidelines on how to solve them, supporting students' learning process. This book provides precisely this type of supporting material for the textbook "Numerical Linear Algebra and Matrix Factorizations," published as Vol. 22 of Springer's Texts in Computational Science and Engineering series. Instead of omitting details or merely providing rough outlines, this book offers detailed proofs, and connects the solutions to the corresponding results in the textbook. For the algorithmic exercises the utmost level of detail is provided in the form of MATLAB implementations. Both the textbook and solutions are self-contained. This book and the textbook are of similar length, demonstrating that solutions should not be considered a minor aspect when learning at advanced levels.

This book contains select invited chapters on the latest research in numerical fluid dynamics and applications. The book aims at discussing the state-of-the-art developments and improvements in numerical fluid dynamics. All the chapters are presented for approximating and simulating how these methods and computations interact with different topics such as shock waves, non-equilibrium single and two-phase flows, elastic human-airway, and global climate. In addition to the fundamental research involving novel types of mathematical sciences, the book presents theoretical and numerical developments in fluid dynamics. The contributions by well-established global experts in fluid dynamics have brought different features of numerical fluid dynamics in a single book. The book serves as a useful resource for high-impact advances involving computational fluid dynamics, including recent developments in mathematical modelling, numerical methods such as finite volume, finite difference and finite element, symbolic computations, and open numerical programs such as OpenFOAM software. The book addresses interdisciplinary topics in industrial mathematics that lie at the forefront of research into new types of mathematical sciences, including theory and applications. This book will be beneficial to industrial and academic researchers, as well as graduate students, working in the fields of natural and engineering sciences. The book will provide the reader highly successful materials and necessary research in the field of fluid dynamics.

A dynamical system is called isochronous if it features in its phase space an open, fully-dimensional region where all its solutions are periodic in all its degrees of freedom with the same, fixed period. Recently a simple transformation has been introduced, applicable to quite a large class of dynamical systems, that yields autonomous systems which are isochronous. This justifies the notion that isochronous systems are not rare. In this book the procedure to manufacture isochronous systems is reviewed, and many examples of such systems are provided. Examples include many-body problems characterized by Newtonian equations of motion in spaces of one or more dimensions, Hamiltonian systems, and also nonlinear evolution equations (PDEs). The book shall be of interest to students and researchers working on dynamical systems, including integrable and nonintegrable models, with a finite or infinite number of degrees of freedom. It might be used as a basic textbook, or as backup material for an undergraduate or graduate course.

Inverse problems such as imaging or parameter identification deal with the recovery of unknown quantities from indirect observations, connected via a model describing the underlying context. While traditionally inverse problems are formulated and investigated in a static setting, we observe a significant increase of interest in time-dependence in a growing number of important applications over the last few years. Here, time-dependence affects a) the unknown function to be recovered and / or b) the observed data and / or c) the underlying process. Challenging applications in the field of imaging and parameter identification are techniques such as photoacoustic tomography, elastography, dynamic computerized or emission tomography, dynamic magnetic resonance imaging, super-resolution in image sequences and videos, health monitoring of elastic structures, optical flow problems or magnetic particle imaging to name only a few. Such problems demand for innovation concerning their mathematical description and analysis as well as computational approaches for their solution.

This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics. A focus on effective algorithms leads to the development of computer algebra software of use to researchers in these domains. After a survey of current results and open problems on decidability in enumerative combinatorics, the text shows how the cutting edge of this research is the new domain of Analytic Combinatorics in Several Variables (ACSV). The remaining chapters of the text alternate between a pedagogical development of the theory, applications (including the resolution by this author of conjectures in lattice path enumeration which resisted several other approaches), and the development of algorithms. The final chapters in the text show, through examples and general theory, how results from stratified Morse theory can help refine some of these computability questions. Complementing the written presentation are over 50 worksheets for the SageMath and Maple computer algebra systems working through examples in the text.