Conférences  >  Mathématiques  >  Analyse  >  États-Unis

ICERM

Geometric tomography is the area of Mathematics dealing with the retrieval of information about solid objects based on the size of their sections or projections, or other lower dimensional data. Results from this area often find real-world applications in science and engineering. In recent years geometric tomography has seen a rapid period of growth due to many exciting developments in harmonic analysis. The goal of the present workshop is to bring together specialists in geometric tomography, harmonic analysis, and related areas to discuss important advances and share new ideas.

Program Staff;     Tél.: [1-401-863-5030];     Email.: info@icerm.brown.edu

Physique des hautes énergies, des particules et des champs,    Géométrie et topologie

ICERM

Probabilistic methods have long played an important role in various areas of geometry and analysis. Notable applications of probabilistic methods appear, for example, in geometric functional analysis, in harmonic analysis, and in discrete mathematics. Conversely, mathematical phenomena of fundamentally geometric and analytic origin, such as the concentration of measure phenomenon, play a central role in modern probability theory. Novel interactions between probability, geometry and analysis continue to drive important innovations in these fields.

The aim of this workshop is to bring together a diverse range of experts from probability, geometry, and analysis, in order to promote further dialogue between these fields and to catalyze the creation of new interactions.

Program Staff;     Tél.: [1-401-863-5030];     Email.: info@icerm.brown.edu

Mathématiques appliquées (en général),    Géométrie et topologie

American Institute of Mathematics (AIM)

This workshop, sponsored by AIM and the NSF, will be devoted to solving open problems regarding the stability of nonlinear waves using computer assisted methods of proof. Some results using computer assisted methods of proof include Hilbert's 18th problem and Smale's 14th problem. Researchers have developed efficient methods for obtaining rigorous error bounds for numerical approximations of heteroclinic and homoclinic connections between fixed points in ODE systems. These rigorous computation methods establish the existence and uniqueness of the solution in addition to providing a tight, completely rigorous error bound. Thus, these rigorous computations can be used to prove Theorems. Similarly, researchers have developed efficient and robust numerical methods for computing quantities that relay information about the spectral stability of one-dimensional traveling wave solutions to PDEs, which in turn yields information regarding the nonlinear stability. This workshop will help researchers identify collaborative opportunities to use rigorous computation to prove theorems regarding open problems in nonlinear wave theory.

Computer assisted proofs for stability analysis of nonlinear waves. Stability of multi-dimensional non-planar traveling waves. Rigorous computation of center manifolds

Mathématiques appliquées (en général),    Démonstration automatique de théorèmes