Vsevolod Alekseevich Solonnikov is known as one of the outstanding mathema- ciansfromtheSt.PetersburgMathematicalSchool.Hisremarkableresultsonexact estimates of solutions to boundary and initial-boundary value problems for linear elliptic, parabolic, and Stokes systems, his methods and contributions to the - vestigation of free boundary problems, in particular in ?uid mechanics, are well known to specialists all over the world. The International Conference on "Trends in Partial Di?erential Equations of th ' Mathematical Physics" was held on the occasion of his 70 birthday in Obidos (Portugal), from June 7 to 10, 2003. It was an organization of the "Centro de Matem' atica e Aplica, c" oes Fundamentais da Universidade Lisboa", in collaboration with the "Centro de Matem' atica da Universidade de Coimbra", the "Centro de Matem' atica Aplicada do IST/Universidade T' ecnica de Lisboa", the "Centro de Matem' atica da Universidade da Beira Interior",from Portugal,and with the L- oratory of Mathematical Physics of the St.Petersburg Department of the Steklov Institute of Mathematics from Russia. The conference consisted of thirty eight invited and contributed lectures and ' gathered,inthecharminganduniquemedievaltownofObidos,aboutsixtypart- ipants from ?fteen countries, namely USA, Switzerland, Spain, Russia, Portugal, Poland, Lithuania, Korea, Japan, Italy, Germany, France, Canada, Australia and Argentina.Severalcolleaguesgaveusahelpinghandintheorganizationofthec- ference. We are thankful to all of them, and in particular to Stanislav Antontsev, Anvarbek Meirmanov and Ad' elia Sequeira, that integrated also the Organizing Committee. A special acknowledgement is due to Elena Frolova that helped us in compiling the short and necessarily incomplete bio-bibliographical notes below.

Structurally Constrained Controllers: Analysis and Synthesis studies the control of interconnected systems with a particular application in network, power systems, flight formations, etc. It introduces four important problems regarding the control of such systems and then proposes proper techniques for solving them.

Sparse grids are a popular tool for the numerical treatment of high-dimensional problems. Where classical numerical discretization schemes fail in more than three or four dimensions, sparse grids, in their different flavors, are frequently the method of choice. This volume of LNCSE presents selected papers from the proceedings of the fourth workshop on sparse grids and applications, and demonstrates once again the importance of this numerical discretization scheme. The articles present recent advances in the numerical analysis of sparse grids in connection with a range of applications including computational chemistry, computational fluid dynamics, and big data analytics, to name but a few.

This volume consists of eighteen peer-reviewed papers related to lectures on pseudo-differential operators presented at the meeting of the ISAAC Group in Pseudo-Differential Operators (IGPDO) held at Imperial College London on July 13-18, 2009. Featured in this volume are the analysis, applications and computations of pseudo-differential operators in mathematics, physics and signal analysis. This volume is a useful complement to the volumes "Advances in Pseudo-Differential Operators", "Pseudo-Differential Operators and Related Topics", "Modern Trends in Pseudo-Differential Operators", "New Developments in Pseudo-Differential Operators" and "Pseudo-Differential Operators: Complex Analysis and Partial Differential Equations" published in the same series in, respectively, 2004, 2006, 2007, 2009 and 2010.

An updated and revised edition of the 1986 title Convexity and Optimization in Banach Spaces, this book provides a self-contained presentation of basic results of the theory of convex sets and functions in infinite-dimensional spaces. The main emphasis is on applications to convex optimization and convex optimal control problems in Banach spaces. A distinctive feature is a strong emphasis on the connection between theory and application. This edition has been updated to include new results pertaining to advanced concepts of subdifferential for convex functions and new duality results in convex programming. The last chapter, concerned with convex control problems, has been rewritten and completed with new research concerning boundary control systems, the dynamic programming equations in optimal control theory and periodic optimal control problems. Finally, the structure of the book has been modified to highlight the most recent progression in the field including fundamental results on the theory of infinite-dimensional convex analysis and includes helpful bibliographical notes at the end of each chapter.

From the author of the highly-acclaimed "A First Course in Real Analysis" comes a volume designed specifically for a short one-semester course in real analysis. Many students of mathematics and the physical and computer sciences need a text that presents the most important material in a brief and elementary fashion. The author meets this need with such elementary topics as the real number system, the theory at the basis of elementary calculus, the topology of metric spaces and infinite series. There are proofs of the basic theorems on limits at a pace that is deliberate and detailed, backed by illustrative examples throughout and no less than 45 figures.

This handbook is the fourth volume in a series of volumes devoted to self-contained and up-to-date surveys in the theory of ordinary differential equations, with an additional effort to achieve readability for mathematicians and scientists from other related fields so that the chapters have been made accessible to a wider audience.
* Covers a variety of problems in ordinary differential equations
* Pure mathematical and real-world applications
* Written for mathematicians and scientists of many related fields

Onc service malhemalics has rendered Ihe "Et moil ... si ravait au oomment en revcnir. je n'y serais point aU' ' human race. It has put common sense back whcre it belongs, on the topmost shelf next Iules Verne to the dUlty canister IabeUed 'discarded n- sense'. The series is divergent; therefore we may be Eric T. BeU able to do something with it. O. H eaviside Mathematics is a tool for thought, A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other pans and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'are of this series."

the many different applications that this theory provides. We mention that the existing literature on this subject includes the books of J. P. Aubin, J. P. Aubin-A. Cellina, J. P. Aubin-H. Frankowska, C. Castaing-M. Valadier, K. Deimling, M. Kisielewicz and E. Klein-A. Thompson. However, these books either deal with one particular domain of the subject or present primarily the finite dimensional aspects of the theory. In this volume, we have tried very hard to give a much more complete picture of the subject, to include some important new developments that occurred in recent years and a detailed bibliography. Although the presentation of the subject requires some knowledge in various areas of mathematical analysis, we have deliberately made this book more or less self-contained, with the help of an extended appendix in which we have gathered several basic notions and results from topology, measure theory and nonlinear functional analysis. In this volume we present the theory of the subject, while in the second volume we will discuss mainly applications. This volume is divided into eight chapters. The flow of chapters follows more or less the historical development of the subject. We start with the topological theory, followed by the measurability study of multifunctions. Chapter 3 deals with the theory of monotone and accretive operators. The closely related topics of the degree theory and fixed points of multifunctions are presented in Chapters 4 and 5, respectively.

This book focuses on mathematical problems concerning different applications in physics, engineering, chemistry and biology. It covers topics ranging from interacting particle systems to partial differential equations (PDEs), statistical mechanics and dynamical systems. The purpose of the second meeting on Particle Systems and PDEs was to bring together renowned researchers working actively in the respective fields, to discuss their topics of expertise and to present recent scientific results in both areas. Further, the meeting was intended to present the subject of interacting particle systems, its roots in and impacts on the field of physics and its relation with PDEs to a vast and varied public, including young researchers. The book also includes the notes from two mini-courses presented at the conference, allowing readers who are less familiar with these areas of mathematics to more easily approach them. The contributions will be of interest to mathematicians, theoretical physicists and other researchers interested in interacting particle systems, partial differential equations, statistical mechanics, stochastic processes, kinetic theory, dynamical systems and mathematical modeling aspects.

The notions of positive functions and of reproducing kernel Hilbert spaces play an important role in various fields of mathematics, such as stochastic processes, linear systems theory, operator theory, and the theory of analytic functions. Also they are relevant for many applications, for example to statistical learning theory and pattern recognition.
The present volume contains a selection of papers which deal with different aspects of reproducing kernel Hilbert spaces. Topics considered include one complex variable theory, differential operators, the theory of self-similar systems, several complex variables, and the non-commutative case.
The book is of interest to a wide audience of pure and applied mathematicians, electrical engineers and theoretical physicists.

The problem of spectral asymptotics, in particular the problem of the asymptotic dis tribution of eigenvalues, is one of the central problems in the spectral theory of partial differential operators; moreover, it is very important for the general theory of partial differential operators. I started working in this domain in 1979 after R. Seeley found a remainder estimate of the same order as the then hypothetical second term for the Laplacian in domains with boundary, and M. Shubin and B. M. Levitan suggested that I should try to prove Weyl's conjecture. During the past fifteen years I have not left the topic, although I had such intentions in 1985 when the methods I invented seemed to fai to provide furt her progress and only a couple of not very exciting problems remained to be solved. However, at that time I made the step toward local semiclassical spectral asymptotics and rescaling, and new horizons opened."

The Second Edition of this acclaimed text helps you apply theory to real-world applications in mathematics, physics, and engineering. It easily guides you through complex analysis with its excellent coverage of topics such as series, residues, and the evaluation of integrals; multi-valued functions; conformal mapping; dispersion relations; and analytic continuation. Worked examples plus a large number of assigned problems help you understand how to apply complex concepts and build your own skills by putting them into practice. This edition features many new problems, revised sections, and an entirely new chapter on analytic continuation.

The purpose of this book is to provide core material in nonlinear analysis for mathematicians, physicists, engineers, and mathematical biologists. The main goal is to provide a working knowledge of manifolds, dynamical systems, tensors, and differential forms. Some applications to Hamiltonian mechanics, fluid mechanics, electromagnetism, plasma dynamics and control theory are given using both invariant and index notation. The prerequisites required are solid undergraduate courses in linear algebra and advanced calculus.

This monograph presents a concise yet elementary account of exterior differential system theory so that it can be quickly applied to problems. The first part of the monograph, Chapters 1-5, deals with the general theory: the Cartan-Kaehler theorem is proved, the notions of involution and prolongation are carefully laid out, quasi-linear differential systems are examined in detail, and explicit examples of the Spencer cohomology groups and the characteristic variety are given. The second part of the monograph, Chapters 6 and 7, deals with applications to problems in differential geometry: the isometric embedding theorem of Cartan-Janet and its various geometric ramifications are discussed, a proof of the Andreotti-Hill theorem on the O-R embedding problem is given, and embeddings of abstract projective structures are discussed. For researchers and graduate students who would like a good introduction to exterior differential systems. This volume will also be particularly useful to those whose work involves differential geometry and partial differential equations.

This volume contains a wealth of results and methodologies applicable to a wide range of problems arising in reaction-diffusion theory. It can be viewed both as a handbook, and as a detailed description of the methodology. The authors present new methods based on matched asymptotic expansions.

This research monograph deals with a modeling theory of the system of Navier-Stokes-Fourier equations for a Newtonian fluid governing a compressible viscous and heat conducting flows. The main objective is threefold. First , to 'deconstruct' this Navier-Stokes-Fourier system in order to unify the puzzle of the various partial simplified approximate models used in Newtonian Classical Fluid Dynamics and this, first facet, have obviously a challenging approach and a very important pedagogic impact on the university education. The second facet of the main objective is to outline a rational consistent asymptotic/mathematical theory of the of fluid flows modeling on the basis of a typical Navier-Stokes-Fourier initial and boundary value problem. The third facet is devoted to an illustration of our rational asymptotic/mathematical modeling theory for various technological and geophysical stiff problems from: aerodynamics, thermal and thermocapillary convections and also meteofluid dynamics.

First year, undergraduate, mathematics students in Japan have for many years had the opportunity of a unique experience---an introduction, at an elementary level, to some very advanced ideas in mathematics from one of the leading mathematicians of the world. Michio Kuga s lectures on Group Theory and Differential Equations are a realization of two dreams---one to see Galois groups used to attack the problems of differential equations---the other to do so in such a manner as to take students from a very basic level to an understanding of the heart of this fascinating mathematical problem. English reading students now have the opportunity to enjoy this lively presentation, from elementary ideas to cartoons to funny examples, and to follow the mind of an imaginative and creative mathematician into a world of enduring mathematical creations."

This is the second of three major volumes which present a comprehensive treatment of the theory of the main classes of special functions from the point of view of the theory of group representations. This volume deals with the properties of special functions and orthogonal polynomials (Legendre, Gegenbauer, Jacobi, Laguerre, Bessel and others) which are related to the class 1 representations of various groups. The tree method for the construction of bases for representation spaces is given. Continuous' bases in the spaces of functions on hyperboloids and cones and corresponding Poisson kernels are found. Also considered are the properties of the q-analogs of classical orthogonal polynomials, related to representations of the Chevalley groups and of special functions connected with fields of p-adic numbers. Much of the material included appears in book form for the first time and many of the topics are presented in a novel way. This volume will be of great interest to specialists in group representations, special functions, differential equations with partial derivatives and harmonic anlysis. Subscribers to the complete set of three volumes will be entitled to a discount of 15%.

Metric fixed point theory encompasses the branch of fixed point theory which metric conditions on the underlying space and/or on the mappings play a fundamental role. In some sense the theory is a far-reaching outgrowth of Banach's contraction mapping principle. A natural extension of the study of contractions is the limiting case when the Lipschitz constant is allowed to equal one. Such mappings are called nonexpansive. Nonexpansive mappings arise in a variety of natural ways, for example in the study of holomorphic mappings and hyperconvex metric spaces. Because most of the spaces studied in analysis share many algebraic and topological properties as well as metric properties, there is no clear line separating metric fixed point theory from the topological or set-theoretic branch of the theory. Also, because of its metric underpinnings, metric fixed point theory has provided the motivation for the study of many geometric properties of Banach spaces. The contents of this Handbook reflect all of these facts. The purpose of the Handbook is to provide a primary resource for anyone interested in fixed point theory with a metric flavor. The goal is to provide information for those wishing to find results that might apply to their own work and for those wishing to obtain a deeper understanding of the theory. The book should be of interest to a wide range of researchers in mathematical analysis as well as to those whose primary interest is the study of fixed point theory and the underlying spaces. The level of exposition is directed to a wide audience, including students and established researchers.

This book deals with asymptotic solutions of linear and nonlinear equa- tions which decay as h ---+ 0 outside a neighborhood of certain points, curves and surfaces. Such solutions are almost everywhere well approximated by the functions cp(x) exp{iS(x)/h}, x E 1R3, where S(x) is complex, and ImS(x) ~ o. When the phase S(x) is real (ImS(x) = 0), the method for obtaining asymp- totics of this type is known in quantum mechanics as the WKB-method. We preserve this terminology in the case ImS(x) ~ 0 and develop the method for a wide class of problems in mathematical physics. Asymptotics of this type were constructed recently for many linear prob- lems of mathematical physics; certain specific formulas were obtained by differ- ent methods (V. M. Babich [5 -7], V. P. Lazutkin [76], A. A. Sokolov, 1. M. Ter- nov [113], J. Schwinger [107, 108], E. J. Heller [53], G. A. Hagedorn [50, 51], V. N. Bayer, V. M. Katkov [21], N. A. Chernikov [35] and others). However, a general (Hamiltonian) formalism for obtaining asymptotics of this type is clearly required; this state of affairs is expressed both in recent mathematical and physical literature. For example, the editors of the collected volume [106] write in its preface: "One can hope that in the near future a computational pro- cedure for fields with complex phase, similar to the usual one for fields with real phase, will be developed.

This book treats Modelling of CFD problems, Numerical tools for PDE, and Scientific Computing and Systems of ODE for Epidemiology, topics that are closely related to the scientific activities and interests of Prof. William Fitzgibbon, Prof. Yuri Kuznetsov, and Prof. O. Pironneau, whose outstanding achievements are recognised in this volume. It contains 20 contributions from leading scientists in applied mathematics dealing with partial differential equations and their applications to engineering, ab-initio chemistry and life sciences. It includes the mathematical and numerical contributions to PDE for applications presented at the ECCOMAS thematic conference "Contributions to PDE for Applications" held at Laboratoire Jacques Louis Lions in Paris, France, August 31- September 1, 2015, and at the Department of Mathematics, University of Houston, Texas, USA, February 26-27, 2016. This event brought together specialists from universities and research institutions who are developing or applying numerical PDE or ODE methods with an emphasis on industrial and societal applications. This volume is of interest to researchers and practitioners as well as advanced students or engineers in applied and computational mathematics. All contributions are written at an advanced scientific level with no effort made by the editors to make this volume self-contained. It is assumed that the reader is a specialist already who knows the basis of this field of research and has the capability of understanding and appreciating the latest developments in this field.

In this book, ring-theoretical properties of skew Laurent series rings A((x; )) over a ring A, where A is an associative ring with non-zero identity element are described. In addition, we consider Laurent rings and Malcev-Neumann rings, which are proper extensions of skew Laurent series rings.

2 Triangle Groups: An Introduction 279 3 Elementary Shimura Curves 281 4 Examples of Shimura Curves 282 5 Congruence Zeta Functions 283 6 Diophantine Properties of Shimura Curves 284 7 Klein Quartic 285 8 Supersingular Points 289 Towers of Elkies 9 289 7. CRYPTOGRAPHY AND APPLICATIONS 291 1 Introduction 291 Discrete Logarithm Problem 2 291 Curves for Public-Key Cryptosystems 3 295 Hyperelliptic Curve Cryptosystems 4 297 CM-Method 5 299 6 Cryptographic Exponent 300 7 Constructive Descent 302 8 Gaudry and Harley Algorithm 306 9 Picard Jacobians 307 Drinfeld Module Based Public Key Cryptosystems 10 308 11 Drinfeld Modules and One Way Functions 308 12 Shimura's Map 309 13 Modular Jacobians of Genus 2 Curves 310 Modular Jacobian Surfaces 14 312 15 Modular Curves of Genus Two 313 16 Hecke Operators 314 8. REFERENCES 317 345 Index Xll Preface The history of counting points on curves over finite fields is very ex- tensive, starting with the work of Gauss in 1801 and continuing with the work of Artin, Schmidt, Hasse and Weil in their study of curves and the related zeta functions Zx(t), where m Zx(t) = exp (2: N t ) m m 2': 1 m with N = #X(F qm). If X is a curve of genus g, Weil's conjectures m state that L(t) Zx(t) = (1 - t)(l - qt) where L(t) = rr~!l (1 - O'.