This work describes the propagation properties of the so-called symmetric interior penalty discontinuous Galerkin (SIPG) approximations of the 1-d wave equation. This is done by means of linear approximations on uniform meshes. First, a careful Fourier analysis is constructed, highlighting the coexistence of two Fourier spectral branches or spectral diagrams (physical and spurious) related to the two components of the numerical solution (averages and jumps). Efficient filtering mechanisms are also developed by means of techniques previously proved to be appropriate for classical schemes like finite differences or P1-classical finite elements. In particular, the work presents a proof that the uniform observability property is recovered uniformly by considering initial data with null jumps and averages given by a bi-grid filtering algorithm. Finally, the book explains how these results can be extended to other more sophisticated conforming and non-conforming finite element methods, in particular to quadratic finite elements, local discontinuous Galerkin methods and a version of the SIPG method adding penalization on the normal derivatives of the numerical solution at the grid points. This work is the first publication to contain a rigorous analysis of the discontinuous Galerkin methods for wave control problems. It will be of interest to a range of researchers specializing in wave approximations.

"Concrete Functional Calculus" focuses primarily on differentiability of some nonlinear operators on functions or pairs of functions. This includes composition of two functions, and the product integral, taking a matrix- or operator-valued coefficient function into a solution of a system of linear differential equations with the given coefficients. In this book existence and uniqueness of solutions are proved under suitable assumptions for nonlinear integral equations with respect to possibly discontinuous functions having unbounded variation. Key features and topics: Extensive usage of p-variation of functions, and applications to stochastic processes.

This work will serve as a thorough reference on its main topics for researchers and graduate students with a background in real analysis and, for Chapter 12, in probability."

Previous publications on the generalization of the Thomae formulae to "Zn" curves have emphasized the theory's implications in mathematical physics and depended heavily on applied mathematical techniques. This book redevelops these previous results demonstrating how they can be derived directly from the basic properties of theta functions as functions on compact Riemann surfaces.

"Generalizations of Thomae's Formulafor "Zn" Curves" includes several refocused proofs developed in a generalized context that is more accessible to researchers in related mathematical fields such as algebraic geometry, complex analysis, and number theory.

This book is intended for mathematicians with an interest in complex analysis, algebraic geometry or number theory as well as physicists studying conformal field theory."

In recent years, the study of the theory of Brownian motion has become a powerful tool in the solution of problems in mathematical physics. This self-contained and readable exposition by leading authors, provides a rigorous account of the subject, emphasizing the "explicit" rather than the "concise" where necessary, and addressed to readers interested in probability theory as applied to analysis and mathematical physics.
A distinctive feature of the methods used is the ubiquitous appearance of stopping time. The book contains much original research by the authors (some of which published here for the first time) as well as detailed and improved versions of relevant important results by other authors, not easily accessible in existing literature.

Over the last years, stochastic analysis has had an enormous progress with the impetus originating from different branches of mathematics: PDE's and the Malliavin calculus, quantum physics, path space analysis on curved manifolds via probabilistic methods, and more.

This volume contains selected contributions which were presented at the 8th Silivri Workshop on Stochastic Analysis and Related Topics, held in September 2000 in Gazimagusa, North Cyprus.

The topics include stochastic control theory, generalized functions in a nonlinear setting, tangent spaces of manifold-valued paths with quasi-invariant measures, and applications in game theory, theoretical biology and theoretical physics.

Contributors: A.E. Bashirov, A. Bensoussan and J. Frehse, U. Capar and H. Aktuglul, A.B. Cruzeiro and Kai-Nan Xiang, E. Hausenblas, Y. Ishikawa, N. Mahmudov, P. Malliavin and U. Taneri, N. Privault, A.S. Ustunel"

The evolution of systems in random media is a broad and fruitful field for the applica tions of different mathematical methods and theories. This evolution can be character ized by a semigroup property. In the abstract form, this property is given by a semigroup of operators in a normed vector (Banach) space. In the practically boundless variety of mathematical models of the evolutionary systems, we have chosen the semi-Markov ran dom evolutions as an object of our consideration. The definition of the evolutions of this type is based on rather simple initial assumptions. The random medium is described by the Markov renewal processes or by the semi Markov processes. The local characteristics of the system depend on the state of the ran dom medium. At the same time, the evolution of the system does not affect the medium. Hence, the semi-Markov random evolutions are described by two processes, namely, by the switching Markov renewal process, which describes the changes of the state of the external random medium, and by the switched process, i.e., by the semigroup of oper ators describing the evolution of the system in the semi-Markov random medium.

This book deals with the constructive Weierstrassian approach to the theory of function spaces and various applications. The first chapter is devoted to a detailed study of quarkonial (subatomic) decompositions of functions and distributions on euclidean spaces, domains, manifolds and fractals. This approach combines the advantages of atomic and wavelet representations. It paves the way to sharp inequalities and embeddings in function spaces, spectral theory of fractal elliptic operators, and a regularity theory of some semi-linear equations. The book is self-contained, although some parts may be considered as a continuation of the author's book Fractals and Spectra. It is directed to mathematicians and (theoretical) physicists interested in the topics indicated and, in particular, how they are interrelated. - - - The book under review can be regarded as a continuation of [his book on "Fractals and spectra", 1997] (...) There are many sections named: comments, preparations, motivations, discussions and so on. These parts of the book seem to be very interesting and valuable. They help the reader to deal with the main course. (Mathematical Reviews)

The study of disorder has generated enormous research activity in mathematics and physics. Over the past 15 years various aspects of the subject have changed a number of paradigms and have inspired the discovery of deep mathematical techniques to deal with complex problems arising from the effects of disorder. One important effect is a phenomenon called localization, which describes the very strange behavior of waves in random media---the fact that waves, instead of traveling through space as they do in ordered environments, stay in a confined region (caught by disorder). To date, there is no treatment of this subject in monograph or textbook form. This book fills that gap.Caught by Disorder presents: * an introduction to disorder that can be grasped by graduate students in a hands-on way * a concise, mathematically rigorous examination of some particular models of disordered systems * a detailed application of the localization phenomenon, worked out in two typical model classes that keep the technicalities at a reasonable level * a thorough examination of new mathematical machinery, in particular, the method of multiscale analysis * a number of key unsolved problems * an appendix containing the prerequisites of operator theory, as well as other proofs * examples, illustrations, comprehensive bibliography, author and keyword index Mathematical background for this book requires only a knowledge of partial differential equations, functional analysis---mainly operator theory and spectral theory---and elementary probability theory. The work is an excellent text for a graduate course or seminar in mathematical physics or serves as a standard reference for specialists.

The aim of this work is to initiate a systematic study of those properties of Banach space complexes that are stable under certain perturbations. A Banach space complex is essentially an object of the form 1 op-l oP +1 ... --+ XP- --+ XP --+ XP --+ ... , where p runs a finite or infiniteinterval ofintegers, XP are Banach spaces, and oP : Xp ..... Xp+1 are continuous linear operators such that OPOp-1 = 0 for all indices p. In particular, every continuous linear operator S : X ..... Y, where X, Yare Banach spaces, may be regarded as a complex: O ..... X ~ Y ..... O. The already existing Fredholm theory for linear operators suggested the possibility to extend its concepts and methods to the study of Banach space complexes. The basic stability properties valid for (semi-) Fredholm operators have their counterparts in the more general context of Banach space complexes. We have in mind especially the stability of the index (i.e., the extended Euler characteristic) under small or compact perturbations, but other related stability results can also be successfully extended. Banach (or Hilbert) space complexes have penetrated the functional analysis from at least two apparently disjoint directions. A first direction is related to the multivariable spectral theory in the sense of J. L.

Many problems in operator theory lead to the consideration ofoperator equa tions, either directly or via some reformulation. More often than not, how ever, the underlying space is too 'small' to contain solutions of these equa tions and thus it has to be 'enlarged' in some way. The Berberian-Quigley enlargement of a Banach space, which allows one to convert approximate into genuine eigenvectors, serves as a classical example. In the theory of operator algebras, a C*-algebra A that turns out to be small in this sense tradition ally is enlarged to its (universal) enveloping von Neumann algebra A". This works well since von Neumann algebras are in many respects richer and, from the Banach space point of view, A" is nothing other than the second dual space of A. Among the numerous fruitful applications of this principle is the well-known Kadison-Sakai theorem ensuring that every derivation 8 on a C*-algebra A becomes inner in A", though 8 may not be inner in A. The transition from A to A" however is not an algebraic one (and cannot be since it is well known that the property of being a von Neumann algebra cannot be described purely algebraically). Hence, ifthe C*-algebra A is small in an algebraic sense, say simple, it may be inappropriate to move on to A". In such a situation, A is typically enlarged by its multiplier algebra M(A).

In topological measure theory, Radon measures are the most important objects. In the context of locally compact spaces, there are two equivalent canonical definitions. As a set function, a Radon measure is an inner compact regular Borel measure, finite on compact sets. As a functional, it is simply a positive linear form, defined on the vector lattice of continuous real-valued functions with compact support. During the last few decades, in particular because of the developments of modem probability theory and mathematical physics, attention has been focussed on measures on general topological spaces which are no longer locally compact, e.g. spaces of continuous functions or Schwartz distributions. For a Radon measure on an arbitrary Hausdorff space, essentially three equivalent definitions have been proposed: As a set function, it was defined by L. Schwartz as an inner compact regular Borel measure which is locally bounded. G. Choquet considered it as a strongly additive right continuous content on the lattice of compact subsets. Following P.A. Meyer, N. Bourbaki defined a Radon measure as a locally uniformly bounded family of compatible positive linear forms, each defined on the vector lattice of continuous functions on some compact subset.

In recent years there has been an increasing interest in problems involving closed form evaluations of (and representations of the Riemann Zeta function at positive integer arguments as) various families of series associated with the Riemann Zeta function ((s), the Hurwitz Zeta function ((s, a), and their such extensions and generalizations as (for example) Lerch's transcendent (or the Hurwitz-Lerch Zeta function) iI>(z, s, a). Some of these developments have apparently stemmed from an over two-century-old theorem of Christian Goldbach (1690-1764), which was stated in a letter dated 1729 from Goldbach to Daniel Bernoulli (1700-1782), from recent rediscoveries of a fairly rapidly convergent series representation for ((3), which is actually contained in a 1772 paper by Leonhard Euler (1707-1783), and from another known series representation for ((3), which was used by Roger Apery (1916-1994) in 1978 in his celebrated proof of the irrationality of ((3). This book is motivated essentially by the fact that the theories and applications of the various methods and techniques used in dealing with many different families of series associated with the Riemann Zeta function and its aforementioned relatives are to be found so far only"in widely scattered journal articles. Thus our systematic (and unified) presentation of these results on the evaluation and representation of the Zeta and related functions is expected to fill a conspicuous gap in the existing books dealing exclusively with these Zeta functions."

Originally published in 1999, "Wavelets Made Easy"offers a lucid and concise explanation of mathematical wavelets.Written at the level of a first course in calculus and linear algebra, its accessible presentation is designed for undergraduates in a variety of disciplines computer science, engineering, mathematics, mathematical sciences as well as for practicing professionals in these areas.

The presentsoftcover reprintretainsthecorrections fromthesecond printing (2001) andmakesthis uniquetext available to a wider audience. The first chapter startswith a description of the key features and applications of wavelets, focusing on Haar's wavelets but using only high-school mathematics. The next two chapters introduce one-, two-, and three-dimensional wavelets, with only the occasional use of matrix algebra.

The second part of this book provides the foundations of least-squares approximation, the discrete Fourier transform, and Fourier series. The third part explains the Fourier transform and then demonstrates how to apply basic Fourier analysis to designing and analyzing mathematical wavelets. Particular attention is paid to Daubechies wavelets.

Numerous exercises, a bibliography, and a comprehensive index combine to make this book an excellent text for the classroom as well as a valuable resource for self-study.

"

problem (0. 2) was the same u that of problem (0. 1). Incidentally, later on Mandzhavidze and Khvedclidze (I) and Simonenko (I) achieved a direct reduction of problem (0. 2) to problem (0. 1) with the help of conformal mappings. Apparenlly, the first paper in which SIES were considered was the paper by Vekua (2) published in 1948. Vekua verified that the equation (0. 3) where (1; C(f), 5 is the operator of 'ingular integration with a Cauchy kernel (Srp)(!) " (". i)-I fr(T - t)-lrp(T)dT, W is the shift operator (WrpHt) = rp{a(t", in the case 01 = - (13,0, = 0. , could be reduced to problem (0. 2). We note thai, in problem (0. 2), the shift ott) need not be a Carlemao shift, . ei. , it is oot necessary that a . . (t) :::: t for some integer 11 ~ 2, where ai(l) " o(ok_dt)), 0(1(1) ::::!. For the first time, the condition 0,(1) == 1 appeared in BPAFS theory in connection with the study of the problem (0. 4) by Carle man (2) who, in particular, showed that problem (0. 4) Wall a natural generalization of the problem on the existence of an a. utomorphic function belonging to a certain group of Fucs. Thus, the paper by Vckua (2) is also the fint paper in which a singular integral equation with a non*Carieman 5hifl is on c sidered.

This volume contains the Proceedings of the International Workshop Variational Methods For Discontinuous Structures, which was jointly organized by the Dipar timento di Matematica Francesco Brioschi of Milano Politecnico and the Interna tional School for Advanced Studies (SISSA) of Trieste. The Conference took place at Villa Erba Antica (Cernobbio) on the Lago di Como on July 4- 6, 2001. In past years the calculus of variations faced mainly the study of continuous structures, say particularly problems with smooth solutions. One of the deepest and more delicate problems was the regularity of weak solutions. More recently, new sophisticated tools have been introduced in order to study discontinuities: in many variational problems solutions develop singularities, and sometimes the most interesting part of a solution is the singularity itself. The conference intended to focus on recent developments in this direction. Some of the talks were devoted to differential or variational modelling of image segmentation, occlusion and textures synthesizing in image analysis, varia tional description of micro-magnetic materials, dimension reduction and structured deformations in elasticity and plasticity, phase transitions, irrigation and drainage, evolution of crystalline shapes; in most cases theoretical and numerical analysis of these models were provided. viii Preface Other talks were dedicated to specific problems of the calculus of variations: variational theory of weak or lower-dimensional structures, optimal transport prob lems with free Dirichlet regions, higher order variational problems, symmetrization in the BV framework."

Provides a digest of the current developments, open questions and unsolved problems likely to determine a new frontier for future advanced study and research in the rapidly growing areas of wavelets, wavelet transforms, signal analysis, and signal and image processing. Ideal reference work for advanced students and practitioners in wavelets, and wavelet transforms, signal processing and time-frequency signal analysis. Professionals working in electrical and computer engineering, applied mathematics, computer science, biomedical engineering, physics, optics, and fluid mechanics will also find the book a valuable resource.

4Et moi, ..., si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non* The series is divergent; therefore we may be sense'. able to do something withit. Eric T. Bell O. Heaviside Mathematicsis a tool for thought. A highly necessary tool in a world whereboth feedback and non- linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts 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' tre ofthis series.

This volume contains the proceedings of the International Workshop on Operator Theory and Applications held at the University of Algarve in Faro, Portugal, September 12-15, in the year 2000. The main topics of the conference were !> Factorization Theory; !> Factorization and Integrable Systems; !> Operator Theoretical Methods in Diffraction Theory; !> Algebraic Techniques in Operator Theory; !> Applications to Mathematical Physics and Related Topics. A total of 94 colleagues from 21 countries participated in the conference. The major part of participants came from Portugal (32), Germany (17), Israel (6), Mexico (6), the Netherlands (5), USA (4) and Austria (4). The others were from Ukraine, Venezuela (3 each), Spain, Sweden (2 each), Algeria, Australia, Belorussia, France, Georgia, Italy, Japan, Kuwait, Russia and Turkey (one of each country). It was the 12th meeting in the framework of the IWOTA conferences which started in 1981 on an initiative of Professors 1. Gohberg (Tel Aviv) and J. W. Helton (San Diego). Up to now, it was the largest conference in the field of Operator Theory in Portugal.

A new foundation of Topology, summarized under the name Convenient Topology, is considered such that several deficiencies of topological and uniform spaces are remedied. This does not mean that these spaces are superfluous. It means exactly that a better framework for handling problems of a topological nature is used. In this setting semiuniform convergence spaces play an essential role. They include not only convergence structures such as topological structures and limit space structures, but also uniform convergence structures such as uniform structures and uniform limit space structures, and they are suitable for studying continuity, Cauchy continuity and uniform continuity as well as convergence structures in function spaces, e.g. simple convergence, continuous convergence and uniform convergence. Various interesting results are presented which cannot be obtained by using topological or uniform spaces in the usual context. The text is self-contained with the exception of the last chapter, where the intuitive concept of nearness is incorporated in Convenient Topology (there exist already excellent expositions on nearness spaces).

The present book offers an essential but accessible introduction to the discoveries first made in the 1990s that the doubling condition is superfluous for most results for function spaces and the boundedness of operators. It shows the methods behind these discoveries, their consequences and some of their applications. It also provides detailed and comprehensive arguments, many typical and easy-to-follow examples, and interesting unsolved problems.

The theory of the Hardy space is a fundamental tool for Fourier analysis, with applications for and connections to complex analysis, partial differential equations, functional analysis and geometrical analysis. It also extends to settings where the doubling condition of the underlying measures may fail.

These two volumes constitute texts for graduate courses in linear operator theory. The reader is assumed to have a knowledge of both complex analysis and the first elements of operator theory. The texts are intended to concisely present a variety of classes of linear operators, each with its own character, theory, techniques and tools. For each of the classes, various differential and integral operators motivate or illustrate the main results. Although each class is treated seperately and the first impression may be that of many different theories, interconnections appear frequently and unexpectedly. The result is a beautiful, unified and powerful theory. The classes we have chosen are representatives of the principal important classes of operators, and we believe that these illustrate the richness of operator theory, both in its theoretical developments and in its applicants. Because we wanted the books to be of reasonable size, we were selective in the classes we chose and restricted our attention to the main features of the corresponding theories. However, these theories have been updated and enhanced by new developments, many of which appear here for the first time in an operator-theory text. In the selection of the material the taste and interest of the authors played an important role.

Survey on Classical Inequalities provides a study of some of the well known inequalities in classical mathematical analysis. Subjects dealt with include: Hardy-Littlewood-type inequalities, Hardy's and Carleman's inequalities, Lyapunov inequalities, Shannon's and related inequalities, generalized Shannon functional inequality, operator inequalities associated with Jensen's inequality, weighted Lp -norm inequalities in convolutions, inequalities for polynomial zeros as well as applications in a number of problems of pure and applied mathematics. It is my pleasure to express my appreciation to the distinguished mathematicians who contributed to this volume. Finally, we wish to acknowledge the superb assistance provided by the staff of Kluwer Academic Publishers. June 2000 Themistocles M. Rassias Vll LYAPUNOV INEQUALITIES AND THEIR APPLICATIONS RICHARD C. BROWN Department of Mathematics, University of Alabama, Tuscaloosa, AL 35487-0350, USA. email address: [email protected] DON B. HINTON Department of Mathematics, University of Tennessee, Knoxville, TN 37996, USA. email address: [email protected] Abstract. For nearly 50 years Lyapunov inequalities have been an important tool in the study of differential equations. In this survey, building on an excellent 1991 historical survey by Cheng, we sketch some new developments in the theory of Lyapunov inequalities and present some recent disconjugacy results relating to second and higher order differential equations as well as Hamiltonian systems. 1. Introduction Lyapunov's inequality has proved useful in the study of spectral properties of ordinary differential equations. Typical applications include bounds for eigenvalues, stability criteria for periodic differential equations, and estimates for intervals of disconjugacy.

Boolean valued analysis is a technique for studying properties of an arbitrary mathematical object by comparing its representations in two different set-theoretic models whose construction utilises principally distinct Boolean algebras. The use of two models for studying a single object is a characteristic of the so-called non-standard methods of analysis. Application of Boolean valued models to problems of analysis rests ultimately on the procedures of ascending and descending, the two natural functors acting between a new Boolean valued universe and the von Neumann universe.

This book demonstrates the main advantages of Boolean valued analysis which provides the tools for transforming, for example, function spaces to subsets of the reals, operators to functionals, and vector-functions to numerical mappings. Boolean valued representations of algebraic systems, Banach spaces, and involutive algebras are examined thoroughly.

Audience: This volume is intended for classical analysts seeking powerful new tools, and for model theorists in search of challenging applications of nonstandard models.

This book contains a detailed mathematical analysis of the variational approach to image restoration based on the minimization of the total variation submitted to the constraints given by the image acquisition model. This model, initially introduced by Rudin, Osher, and Fatemi, had a strong influence in the development of variational methods for image denoising and restoration, and pioneered the use of the BV model in image processing. After a full analysis of the model, the minimizing total variation flow is studied under different boundary conditions, and its main qualitative properties are exhibited. In particular, several explicit solutions of the denoising problem are computed.

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.