Integrability, rational solitons and symmetries for nonlinear systems in Biology and Materials Physics

[ES] Los sistemas no lineales constituyen un tema de investigación de creciente interés en las últimas décadas dada su versatilidad en la descripción de fenómenos físicos en diversos campos de estudio. Generalmente, dichos fenómenos vienen modelizados por ecuaciones diferenciales no lineales, cuya estructura matemática ha demostrado ser sumamente rica, aunque de gran complejidad respecto a su análisis. Dentro del conjunto de los sistemas no lineales, cabe destacar un reducido grupo, pero a la vez selecto, que se distingue por las propiedades extraordinarias que presenta: los denominados sistemas integrables. La presente tesis doctoral se centra en el estudio de algunas de las propiedades más relevantes observadas para los sistemas integrables. En esta tesis se pretende proporcionar un marco teórico unificado que permita abordar ecuaciones diferenciales no lineales que potencialmente puedan ser consideradas como integrables. En particular, el análisis de integralidad de dichas ecuaciones se realiza a través de técnicas basadas en la Propiedad de Painlevé, en combinación con la subsiguiente búsqueda de los problemas espectrales asociados y la identificación de soluciones analíticas de naturaleza solitónica. El método de la variedad singular junto con las transformaciones de auto-Bäcklund y de Darboux jugarán un papel fundamental en este estudio. Además, también se lleva a cabo un análisis complementario basado en las simetrías de Lie y reducciones de similaridad, que nos permitirán estudiar desde esta nueva perspectiva los problemas espectrales asociados. Partiendo de la archiconocida ecuación de Schrödinger no lineal, se han investigado diferentes generalizaciones integrables de dicha ecuación con numerosas aplicaciones en diversos campos científicos, como la Física Matemática, Física de Materiales o Biología.[EN] Nonlinear systems emerge as an active research topic of growing interest during the last decades due to their versatility when it comes to describing physical phenomena. Such scenarios are typically modelled by nonlinear differential equations, whose mathematical structure has proved to be incredibly rich, but highly nontrivial to treat. In particular, a narrow but surprisingly special group of this kind stands out: the so-called integrable systems. The present doctoral thesis focuses on the study of some of the extraordinary properties observed for integrable systems. The ultimate purpose of this dissertation lies in providing a unified theoretical framework that allows us to approach nonlinear differential equations that may potentially be considered as integrable. In particular, their integrability characterization is addressed by means of Painlevé analysis, in conjunction with the subsequent quest of the associated spectral problems and the identification of analytical solutions of solitonic nature. The singular manifold method together with auto-Bäckund and Darboux transformations play a critical role in this setting. In addition, a complementary methodology based on Lie symmetries and similarity reductions is proposed so as to analyze integrable systems by studying the symmetry properties of their associated spectral problems. Taking the ubiquitous nonlinear Schrödinger equation as the starting point, we have investigated several integrable generalizations of this equation that possess copious applications in distinct scientific fields, such as Mathematical Physics, Material Sciences and Biology

Computational Methods in Science and Engineering : Proceedings of the Workshop SimLabs@KIT, November 29 - 30, 2010, Karlsruhe, Germany

In this proceedings volume we provide a compilation of article contributions equally covering applications from different research fields and ranging from capacity up to capability computing. Besides classical computing aspects such as parallelization, the focus of these proceedings is on multi-scale approaches and methods for tackling algorithm and data complexity. Also practical aspects regarding the usage of the HPC infrastructure and available tools and software at the SCC are presented

Introduction to Modern Canonical Quantum General Relativity

This is an introduction to the by now fifteen years old research field of canonical quantum general relativity, sometimes called "loop quantum gravity". The term "modern" in the title refers to the fact that the quantum theory is based on formulating classical general relativity as a theory of connections rather than metrics as compared to in original version due to Arnowitt, Deser and Misner. Canonical quantum general relativity is an attempt to define a mathematically rigorous, non-perturbative, background independent theory of Lorentzian quantum gravity in four spacetime dimensions in the continuum. The approach is minimal in that one simply analyzes the logical consequences of combining the principles of general relativity with the principles of quantum mechanics. The requirement to preserve background independence has lead to new, fascinating mathematical structures which one does not see in perturbative approaches, e.g. a fundamental discreteness of spacetime seems to be a prediction of the theory providing a first substantial evidence for a theory in which the gravitational field acts as a natural UV cut-off. An effort has been made to provide a self-contained exposition of a restricted amount of material at the appropriate level of rigour which at the same time is accessible to graduate students with only basic knowledge of general relativity and quantum field theory on Minkowski space.Comment: 301 pages, Latex; based in part on the author's Habilitation Thesis "Mathematische Formulierung der Quanten-Einstein-Gleichungen", University of Potsdam, Potsdam, Germany, January 2000; submitted to the on-line journal Living Reviews; subject to being updated on at least a bi-annual basi

Computer Aided Verification

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book

13th Annual Review of Progress in Applied Computational Electromagnetics at the Naval Postgraduate School, Monterey, CA, March 17-21, 1997, Conference Proceedings Volumes I & II

Includes Volumes 1 &