Reliable computational methods for infinite dimensional problems.
Objective:Partial differential equations (PDEs) and functional differential equations (FDEs) are suc- cessful, widely used mathematical models that describe, explain and predict phenomena in areas as broad as physics, chemistry, biology and economics. However, since these equa- tions are naturally defined on infinite dimensional function spaces, the beautiful and highly complex patterns generated by their solutions are often difficult to capture using standard analytic techniques. As a result of these difficulties and with the availability of powerful computers and sophisticated software, numerical simulations are often the primary tool used by scientists and engineers confronted with these infinite dimensional problems. The compu- tational methods used in simulations require a finite dimensional, bounded, discrete setting, whereas solutions of PDEs and FDEs are infinite dimensional, unbounded and continuous. With any numerical method there is the question of reliability of the output. How can one indeed make sure that the truncation error term involved in computing on a finite di- mensional approximation will not lead to spurious solutions? How to control the appearing computational errors? The goal of this proposal is to address the above questions and per- form the efficient development and implementation of reliable computational methods that capture and imitate the most essential features, and also control errors for approximations of the solutions of the above mentioned infinite dimensional problems. The research program proposed will consist of the following four general themes: A. Enchancing the reliability of numerical simulations for PDEs, B. Implementation of algorithms and procedures proposed in A, C. Computer-assisted proofs for nonlinear PDEs, D. Computer-assisted proofs for FDEs In A and B we will theoretically develop new computational tools for enchancing reliability of computer simulations for PDE models and perform their efficient implementation on the modern supercomputers with parallel architecture. In C, we will develop computational methods to prove existence of solutions of nonlinear PDEs, with a special emphasis on the Navier-Stokes equations, and in D, we will develop rigorous computational methods for proving the existence of certain solutions of functional differential equations.
MATH4SPORTS - Modelización matemática para la industria deportiva: salud y rendimiento
MATH4SPORTS seeks to transfer applied mathematics as a driving technology to the field of the sports industry, with a high potential for technology transfer to start-ups, professional clubs, researchers and other agents in the innovative environment of Bizkaia.
M-KONTAK - Investigación de los Fenómenos Asociados al Contacto Metal-Metal en Tecnologías de H2 a Alta Presión
The main objective of the M-KONTAK project is to gain an in-depth understanding of the failure modes and their effect on metallic materials and the surfaces of threaded joints in candidate technologies for high-pressure H2 effect on the metallic materials and surfaces that make up the threaded jo
KAIROS - Digitalización predictiva del comportamiento a largo plazo de materiales poliméricos composites. Empleo de IA, modelización basada en la física y metodologías de aceleración de ensayos
KAIROS was created with the main objective of researching and obtaining a solution that allows multi-scale digitisation combined with ML and accelerated testing methodologies, for the study of the long-term behaviour (creep, fatigue, ageing) of polymeric materials applicable, for example, to the
CHARGER+ - Nueva Generación de Puntos de Recarga de Vehículo Eléctrico con Funcionalidades Autónomas y Colaborativas e Impacto Cero
The general objective of the CHARGER+ project is to generate the necessary knowledge to define a new generation of electric vehicle (EV) charging points, so that the related Basque companies (electricity companies, charging post installation companies and charger manufacturers) will be in an adva