TY - GEN A1 - Nägel, Arne A1 - Deuflhard, Peter A1 - Wittum, Gabriel T1 - Efficient Stiff Integration of Density Driven Flow Problems N2 - The paper investigates the efficient use of a linearly implicit stiff integrator for the numerical solution of density driven flow problems. Upon choosing a one-step method of extrapolation type (code LIMEX), the use of full Jacobians and reduced approximations are discussed. Numerical experiments include nonlinear density flow problems such as diffusion from a salt dome (2D), a (modified) Elder problem (3D), the saltpool benchmark (3D) and a real life salt dome problem (2D). The arising linear equations are solved using either a multigrid preconditioner from the software package UG4 or the sparse matrix solver SuperLU. T3 - ZIB-Report - 18-54 KW - stiff integration for PDEs KW - linearly implicit Euler discretization Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-70891 SN - 1438-0064 ER - TY - GEN A1 - Deuflhard, Peter T1 - The Grand Four N2 - This paper gives a concise synopsis and some new insights concerning four affine invariant globalizations of the local Newton method. The invariance classes include: affine covariance, affine contravariance, affine conjugacy, and affine similarity. In view of algorithmic robustness, each of these classes of algorithms is particularly suitable for some corresponding problem class. T3 - ZIB-Report - 17-70 Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-66038 SN - 1438-0064 ER - TY - GEN A1 - Moualeu-Ngangue, Dany Pascal A1 - Weiser, Martin A1 - Ehrig, Rainald A1 - Deuflhard, Peter T1 - Optimal control for a tuberculosis model with undetected cases in Cameroon N2 - This paper considers the optimal control of tuberculosis through education, diagnosis campaign and chemoprophylaxis of latently infected. A mathematical model which includes important components such as undiagnosed infectious, diagnosed infectious, latently infected and lost-sight infectious is formulated. The model combines a frequency dependent and a density dependent force of infection for TB transmission. Through optimal control theory and numerical simulations, a cost-effective balance of two different intervention methods is obtained. Seeking to minimize the amount of money the government spends when tuberculosis remain endemic in the Cameroonian population, Pontryagin's maximum principle is used to characterize the optimal control. The optimality system is derived and solved numerically using the forward-backward sweep method (FBSM). Results provide a framework for designing cost-effective strategies for diseases with multiple intervention methods. It comes out that combining chemoprophylaxis and education, the burden of TB can be reduced by 80 % in 10 years T3 - ZIB-Report - 13-73 KW - Tuberculosis KW - Optimal control KW - Nonlinear dynamical systems Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-43142 SN - 1438-0064 ER - TY - GEN A1 - Moualeu-Ngangue, Dany Pascal A1 - Röblitz, Susanna A1 - Ehrig, Rainald A1 - Deuflhard, Peter T1 - Parameter Identification for a Tuberculosis Model in Cameroon N2 - A deterministic model of tuberculosis in sub-Saharan Africa in general and Cameroon in particular including lack of access to the treatment and weak diagnose capacity is designed and analyzed with respect to its transmission dynamics. The model includes both frequency- and density-dependent transmissions. It is shown that the model is mathematically well-posed and epidemiologically reasonable. Solutions are non-negative and bounded whenever the initial values are non-negative. A sensitivity analysis of model parameters is performed and most sensitive parameters of the model are identified using a state-of-the-art Gauss-Newton Method. In particular, parameters representing the proportion of individuals having access to medical facilities have a large impact on the dynamics of the disease. It has been shown that an increase of these parameter values over the time can significantly reduce the disease burden in the population within the next 15 years. T3 - ZIB-Report - 13-72 KW - Tuberculosis, parameter identification, sensitivity analysis, Gauss-Newton method, Nonlinear dynamical systems. Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-43087 SN - 1438-0064 ER - TY - GEN A1 - Sander, Oliver A1 - Klapproth, Corinna A1 - Youett, Jonathan A1 - Kornhuber, Ralf A1 - Deuflhard, Peter T1 - Towards an Efficient Numerical Simulation of Complex 3D Knee Joint Motion N2 - We present a time-dependent finite element model of the human knee joint of full 3D geometric complexity. Its efficient numerical simulation requires advanced numerical algorithms that have been developed just recently. Up to now, the model comprises bones, cartilage, and the major ligaments (patella and menisci are still missing). Bones (femur, tibia, and fibula) are modelled by linear elastic materials, cartilage by viscoelastic materials, ligaments by one-dimensional so-called Cosserat rods. In order to capture the dynamical contact problems correctly, we solve the full PDEs of elasticity in the presence of strict contact inequalities. For the total spatio-temporal discretization we apply a method of layers approach (first time, then space discretization). For the time discretization of the elastic and viscoelastic parts, we apply a new contact-stabilized Newmark method, while for the Cosserat rods we choose an energy-momentum method. For the space discretization, we use linear finite elements for the elastic and viscoelastic parts and novel geodesic finite elements for the Cosserat rods. The coupled system is solved by a Dirichlet-Neumann method, and the arising large algebraic systems are solved by a recent fast multigrid solver, the truncated non-smooth Newton multigrid method. T3 - ZIB-Report - 12-06 KW - contact problem KW - contact-stabilized Newmark method KW - domain decomposition KW - energy-momentum method KW - geodesic finite elements KW - knee model Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-14512 SN - 1438-0064 ER - TY - GEN A1 - Deuflhard, Peter A1 - Schiela, Anton A1 - Weiser, Martin T1 - Mathematical Cancer Therapy Planning in Deep Regional Hyperthermia N2 - This paper surveys the required mathematics for a typical challenging problem from computational medicine, the cancer therapy planning in deep regional hyperthermia. In the course of many years of close cooperation with clinics, the medical problem gave rise to quite a number of subtle mathematical problems, part of which had been unsolved when the common project started. Efficiency of numerical algorithms, i.e. computational speed and monitored reliability, play a decisive role for the medical treatment. Off-the-shelf software had turned out to be not sufficient to meet the requirements of medicine. Rather, new mathematical theory as well as new numerical algorithms had to be developed. In order to make our algorithms useful in the clinical environment, new visualization software, a virtual lab, including 3D geometry processing of individual virtual patients had to be designed and implemented. Moreover, before the problems could be attacked by numerical algorithms, careful mathematical modelling had to be done. Finally, parameter identification and constrained optimization for the PDEs had to be newly analyzed and realized over the individual patient's geometry. Our new techniques had an impact on the specificity of the individual patients' treatment and on the construction of an improved hyperthermia applicator. T3 - ZIB-Report - 11-39 KW - hyperthermia therapy planning KW - mathematical modelling KW - Maxwell equations KW - state constraints KW - parameter identification Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-14204 SN - 1438-0064 ER - TY - GEN A1 - Röblitz, Susanna A1 - Stötzel, Claudia A1 - Deuflhard, Peter A1 - Jones, Hannah M. A1 - Azulay, David-Olivier A1 - van der Graaf, Piet A1 - Martin, Steven T1 - A mathematical model of the human menstrual cycle for the administration of GnRH analogues N2 - This study presents a differential equation model for the feedback mechanisms between Gonadotropin-releasing Hormone (GnRH), Follicle-Stimulating Hormone (FSH), Luteinizing Hormone (LH), development of follicles and corpus luteum, and the production of estradiol (E2), progesterone (P4), inhibin A (IhA), and inhibin B (IhB) during the female menstrual cycle. In contrast to other models, this model does not involve delay differential equations and is based on deterministic modelling of the GnRH pulse pattern, which allows for faster simulation times and efficient parameter identification. These steps were essential to tackle the task of developing a mathematical model for the administration of GnRH analogues. The focus of this paper is on model development for GnRH receptor binding and the integration of a pharmacokinetic/pharmacodynamic model for the GnRH agonist Nafarelin and the GnRH antagonist Cetrorelix into the menstrual cycle model. The final mathematical model describes the hormone profiles (LH, FSH, P4, E2) throughout the menstrual cycle in 12 healthy women. Moreover, it correctly predicts the changes in the cycle following single and multiple dose administration of Nafarelin or Cetrorelix at different stages in the cycle. T3 - ZIB-Report - 11-16 KW - human menstrual cycle KW - systems biology KW - mathematical modelling KW - GnRH analogues KW - differential equations Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-12732 ER - TY - GEN A1 - Klapproth, Corinna A1 - Schiela, Anton A1 - Deuflhard, Peter T1 - Adaptive Timestep Control for the Contact-Stabilized Newmark Method N2 - The aim of this paper is to devise an adaptive timestep control in the contact--stabilized Newmark method (CONTACX) for dynamical contact problems between two viscoelastic bodies in the framework of Signorini's condition. In order to construct a comparative scheme of higher order accuracy, we extend extrapolation techniques. This approach demands a subtle theoretical investigation of an asymptotic error expansion of the contact--stabilized Newmark scheme. On the basis of theoretical insight and numerical observations, we suggest an error estimator and a timestep selection which also cover the presence of contact. Finally, we give a numerical example. T3 - ZIB-Report - 10-09 KW - dynamical contact problems KW - contact--stabilized Newmark method KW - extrapolation methods KW - adaptivity KW - timestep control Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11714 SN - 1438-0064 ER - TY - GEN A1 - Boer, H. Marike T. A1 - Stötzel, Claudia A1 - Röblitz, Susanna A1 - Deuflhard, Peter A1 - Veerkamp, Roel F. A1 - Woelders, Henri T1 - A simple mathematical model of the bovine estrous cycle: follicle development and endocrine interactions N2 - Bovine fertility is the subject of extensive research in animal sciences, especially because fertility of dairy cows has declined during the last decades. The regulation of estrus is controlled by the complex interplay of various organs and hormones. Mathematical modeling of the bovine estrous cycle could help in understanding the dynamics of this complex biological system. In this paper we present a mathematical model of the bovine estrous cycle that includes the processes of follicle and corpus luteum development and the key hormones that interact to control these processes. Focus in this paper is on development of the model, but also some simulation results are presented, showing that a set of equations and parameters is obtained that describes the system consistent with empirical knowledge. Even though the majority of the mechanisms that are included are only known qualitatively as stimulatory or inhibitory effects, the model surprisingly well features quantitative observations made in reality. This model of the bovine estrous cycle could be used as a basis for more elaborate models with the ability to study effects of external manipulations and genetic differences. T3 - ZIB-Report - 10-06 KW - cow KW - reproduction KW - hormone patterns KW - ordinary differential equations KW - systems biology Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11682 SN - 1438-0064 ER - TY - GEN A1 - Klapproth, Corinna A1 - Schiela, Anton A1 - Deuflhard, Peter T1 - Consistency Results for the Contact-Stabilized Newmark Method N2 - The paper considers the time integration of frictionless dynamical contact problems between viscoelastic bodies in the frame of the Signorini condition. Among the numerical integrators, interest focuses on the contact-stabilized Newmark method recently suggested by Deuflhard et al., which is compared to the classical Newmark method and an improved energy dissipative version due to Kane et al. In the absence of contact, any such variant is equivalent to the Störmer-Verlet scheme, which is well-known to have consistency order 2. In the presence of contact, however, the classical approach to discretization errors would not show consistency at all because of the discontinuity at the contact. Surprisingly, the question of consistency in the constrained situation has not been solved yet. The present paper fills this gap by means of a novel proof technique using specific norms based on earlier perturbation results due to the authors. The corresponding estimation of the local discretization error requires the bounded total variation of the solution. The results have consequences for the construction of an adaptive timestep control, which will be worked out subsequently in a forthcoming paper. T3 - ZIB-Report - 09-06 KW - Dynamical contact problems KW - viscoelasticity KW - Signorini condition KW - consistency KW - Newmark method Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11164 SN - 1438-0064 ER - TY - GEN A1 - Weiser, Martin A1 - Erdmann, Bodo A1 - Deuflhard, Peter T1 - On Efficiency and Accuracy in Cardioelectric Simulation N2 - Reasons for the failure of adaptive methods to deliver improved efficiency when integrating monodomain models for myocardiac excitation are discussed. Two closely related techniques for reducing the computational complexity of linearly implicit integrators, deliberate sparsing and splitting, are investigated with respect to their impact on computing time and accuracy. T3 - ZIB-Report - 08-41 KW - elektrische Herzanregung KW - Diskretisierungsfehler KW - splitting KW - mass lumping KW - cardioelectric excitation KW - discretization error KW - splitting KW - mass lumping Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10934 SN - 1438-0064 ER - TY - GEN A1 - Klapproth, Corinna A1 - Deuflhard, Peter A1 - Schiela, Anton T1 - A Perturbation Result for Dynamical Contact Problems N2 - This paper is intended to be a first step towards the continuous dependence of dynamical contact problems on the initial data as well as the uniqueness of a solution. Moreover, it provides the basis for a proof of the convergence of popular time integration schemes as the Newmark method. We study a frictionless dynamical contact problem between both linearly elastic and viscoelastic bodies which is formulated via the Signorini contact conditions. For viscoelastic materials fulfilling the Kelvin-Voigt constitutive law, we find a characterization of the class of problems which satisfy a perturbation result in a non-trivial mix of norms in function space. This characterization is given in the form of a stability condition on the contact stresses at the contact boundaries. Furthermore, we present perturbation results for two well-established approximations of the classical Signorini condition: The Signorini condition formulated in velocities and the model of normal compliance, both satisfying even a sharper version of our stability condition. T3 - ZIB-Report - 08-27 KW - Dynamical contact problems KW - stability KW - (visco-)elasticity KW - Signorini condition KW - Newmark method Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10793 SN - 1438-0064 ER - TY - GEN A1 - Deuflhard, Peter A1 - Dössel, Olaf A1 - Louis, Alfred A1 - Zachow, Stefan T1 - Mehr Mathematik wagen in der Medizin N2 - Der Artikel gibt einen Einblick in das reiche Feld der Zusammenarbeit zwischen Mathematik und Medizin. Beispielhaft werden drei Erfolgsmodelle dargestellt: Medizinische Bildgebung, mathematische Modellierung und Biosignalverarbeitung im Bereich der Dynamik des Herzens sowie mathematische Modellierung und Simulation in der Krebstherapie Hyperthermie und der Mund-Kiefer-Gesichts-Chirurgie. In allen Fällen existiert ein Gleichklang der Interessen von Medizin und Mathematik: Beide Disziplinen wollen die Resultate schnell und zuverlässig. Für die Klinik heißt das, dass notwendige Rechnungen in möglichst kurzer Zeit, und zwar auf dem PC, ablaufen müssen und dass die Resultate so genau und belastbar sein müssen, dass medizinische Entscheidungen darauf aufbauen können. Für die Mathematik folgt daraus, dass höchste Anforderungen an die Effizienz der verwendeten Algorithmen und die darauf aufbauende Software in Numerik und Visualisierung zu stellen sind. Jedes Kapitel endet mit einer Darstellung der Perspektive des jeweiligen Gebietes. Abschließend werden mögliche Handlungsoptionen für Politik und Wirtschaft diskutiert. T3 - ZIB-Report - 08-25 Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10776 SN - 1438-0064 ER - TY - GEN A1 - Deuflhard, Peter A1 - Nowak, Ulrich A1 - Lutz-Westphal, Brigitte T1 - Bessel'scher Irrgarten N2 - Dieser Artikel berichtet über eine erfolgreiche Schüleraktivität, die seit Jahren am Zuse-Institut Berlin (ZIB) bei Besuchen von Schülergruppen erprobt und verfeinert worden ist. Das hier zusammengestellte Material ist gedacht als Basis für eine Unterrichtseinheit in Leistungskursen Mathematik an Gymnasien. Inhaltlich wird von einem zwar für Schüler (wie auch Lehrer) neuen, aber leicht fasslichen Gegenstand ausgegangen: der Drei-Term-Rekursion für Besselfunktionen. Die Struktur wird erklärt und in ein kleines Programm umgesetzt. Dazu teilen sich die Schüler selbstorganisierend in Gruppen ein, die mit unterschiedlichen Taschenrechnern "um die Wette" rechnen. Die Schüler und Schülerinnen erfahren unmittelbar die katastrophale Wirkung von an sich kleinen'' Rundungsfehlern, sie landen -- ebenso wie der Supercomputer des ZIB -- im Bessel'schen Irrgarten''. Die auftretenden Phänomene werden mathematisch elementar erklärt, wobei lediglich auf das Konzept der linearen Unabhängigkeit zurückgegriffen wird. Das dabei gewonnene vertiefte Verständnis fließt ein in die Konstruktion eines klassischen Algorithmus sowie eines wesentlich verbesserten Horner-artigen Algorithmus. T3 - ZIB-Report - 07-09 KW - Rundungsfehler KW - Drei-Term-Rekursionen KW - Bessel-Rekursion Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-9525 ER - TY - GEN A1 - Deuflhard, Peter A1 - Huisinga, Wilhelm A1 - Jahnke, Tobias A1 - Wulkow, Michael T1 - Adaptive Discrete Galerkin Methods Applied to the Chemical Master Equation N2 - \begin{abstract} In systems biology, the stochastic description of biochemical reaction kinetics is increasingly being employed to model gene regulatory networks and signalling pathways. Mathematically speaking, such models require the numerical solution of the underlying evolution equat ion, also known as the chemical master equation (CME). Up to now, the CME has almost exclusively been treated by Monte-Carlo techniques, the most prominent of which is the simulation algorithm suggest ed by Gillespie in 1976. Since this algorithm requires an update for each single reaction event, realizations can be computationally very costly. As an alternative, we here propose a novel approach, which focuses on the discrete partial differential equation (PDE) structure of the CME and thus allows to adopt ideas from adaptive discrete Galerkin methods (as designed by two of the present authors in 1989), which have proven to be highly efficient in the mathematical modelling of polyreaction kinetics. Among the two different options of discretizing the CME as a discrete PDE, the method of lines approach (first space, then time) and the Rothe method (first time, then space), we select the latter one for clear theoretical and algorithmic reasons. First numeric al experiments at a challenging model problem illustrate the promising features of the proposed method and, at the same time, indicate lines of necessary further research. \end{abstract} T3 - ZIB-Report - 07-04 KW - adaptive discrete Galerkin methods KW - adaptive Rothe method KW - discrete Chebyshev polynomials KW - stochastic reactions kinetics KW - chemical master equation Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-9471 ER - TY - GEN A1 - Deuflhard, Peter A1 - Erdmann, Bodo A1 - Roitzsch, Rainer A1 - Lines, Glenn Terje T1 - Adaptive Finite Element Simulation of Ventricular Fibrillation Dynamics N2 - The dynamics of ventricular fibrillation caused by irregular excitation is simulated in the frame of the monodomain model with an action potential model due to Aliev-Panfilov for a human 3D geometry. The numerical solution of this multiscale reaction-diffusion problem is attacked by algorithms which are fully adaptive in both space and time (code library {\sc Kardos}). The obtained results clearly demonstrate an accurate resolution of the cardiac potential during the excitation and the plateau phases (in the regular cycle) as well as after a reentrant excitation (in the irregular cycle). T3 - ZIB-Report - 06-49 KW - reaction-diffusion equations KW - Aliev-Panfilov model KW - electrocardiology KW - adaptive finite elements KW - adaptive time integration KW - adaptive Rothe method Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-9431 ER - TY - GEN A1 - Deuflhard, Peter A1 - Krause, Rolf A1 - Ertel, Susanne T1 - A Contact-Stabilized Newmark Method for Dynamical Contact Problems N2 - The numerical integration of dynamical contact problems often leads to instabilities at contact boundaries caused by the non-penetration condition between bodies in contact. Even a recent energy dissipative modification due to Kane et al. (1999), which discretizes the non-penetration constraints implicitly, is not able to circumvent artificial oscillations. For this reason, the present paper suggests a contact stabilization which avoids artificial oscillations at contact interfaces and is also energy dissipative. The key idea of this contact stabilization is an additional $L^2$-projection at contact interfaces, which can easily be added to any existing time integration scheme. In case of a lumped mass matrix, this projection can be carried out completely locally, thus creating only negligible additional numerical cost. For the new scheme, an elementary analysis is given, which is confirmed by numerical findings in an illustrative test example (Hertzian two body contact). T3 - ZIB-Report - 06-42 KW - Numerical problems in dynamical systems KW - nonlinear stabilities Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-9361 ER - TY - GEN A1 - Weber, Marcus A1 - Walter, Lionel A1 - Kube, Susanna A1 - Deuflhard, Peter T1 - Stable computation of probability densities for metastable dynamical systems N2 - Whenever the invariant stationary density of metastable dynamical systems decomposes into almost invariant partial densities, its computation as eigenvector of some transition probability matrix is an ill-conditioned problem. In order to avoid this computational difficulty, we suggest to apply an aggregation/disaggregation method which only addresses wellconditioned sub-problems and thus results in a stable algorithm. In contrast to existing methods, the aggregation step is done via a sampling algorithm which covers only small patches of the sampling space. Finally, the theoretical analysis is illustrated by two biomolecular examples. T3 - ZIB-Report - 06-39 KW - dynamical systems KW - metastability KW - molecular conformations KW - cluster analysis KW - sampling KW - aggregation/disaggregation KW - domain decomposition Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-9331 ER - TY - GEN A1 - Reinecke, Isabel A1 - Deuflhard, Peter T1 - A Complex Mathematical Model of the Human Menstrual Cycle N2 - This paper aims at presenting the complex coupled network of the human menstrual cycle to the interested community. Beyond the presently popular smaller models, where important network components arise only as extremely simplified source terms, we add: the GnRH pulse generator in the hypothalamus, receptor binding, and the biosynthesis in the ovaries. Simulation and parameter identification are left to a forthcoming paper. T3 - ZIB-Report - 06-18 Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-9112 ER - TY - GEN A1 - Deuflhard, Peter A1 - Hege, Hans-Christian T1 - Die Vision einer individuellen quantitativen Medizin N2 - Die Autoren schreiben dieses Papier aus der eingeschränkten Sicht der Mathematik und der Informationstechnik. Um den speziellen Beitrag dieser Disziplinen überhaupt diskutieren zu können, sehen wir uns jedoch gezwungen, einen Rahmen abzustecken, den wir für das Jahr 2020 vorhersehen -- nach Wahrscheinlichkeit und aus unserem engeren fachlichen Blickwinkel. Vorab bitten wir schon einmal bei den medizinischen Fachleuten um Nachsicht, wenn wir uns in ihrem Revier allzu dillettantisch bewegen. Vielleicht fördert aber auch unser eingeschränkter Blickwinkel ansonsten unbedachte Aspekte zutage -- das hoffen wir zumindest. T3 - ZIB-Report - 05-47 Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8805 ER - TY - GEN A1 - Franzone, Piero Colli A1 - Deuflhard, Peter A1 - Erdmann, Bodo A1 - Lang, Jens A1 - Pavarino, Luca Franco T1 - Adaptivity in Space and Time for Reaction-Diffusion Systems in Electrocardiology N2 - Adaptive numerical methods in space and time are introduced and studied for multiscale cardiac reaction-diffusion models in three dimensions. The evolution of a complete heartbeat, from the excitation to the recovery phase, is simulated with both the anisotropic Bidomain and Monodomain models, coupled with either a variant of the simple FitzHugh-Nagumo model or the more complex phase-I Luo-Rudy ionic model. The simulations are performed with the {\sc kardos} library, that employs adaptive finite elements in space and adaptive linearly implicit methods in time. The numerical results show that this adaptive method successfully solves these complex cardiac reaction-diffusion models on three-dimensional domains of moderate sizes. By automatically adapting the spatial meshes and time steps to the proper scales in each phase of the heartbeat, the method accurately resolves the evolution of the intra- and extra-cellular potentials, gating variables and ion concentrations during the excitation, plateau and recovery phases. T3 - ZIB-Report - 05-30 KW - reaction-diffusion equations KW - cardiac Bidomain and Monodomain models KW - adaptive finite elements KW - adaptive time integration Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8649 ER - TY - GEN A1 - Deuflhard, Peter A1 - (Chairs), Hyung Yong Ra T1 - Korean-German Bilateral Symposium on Scientific Computing N2 - Collection of abstracts of the Korean-German Bilateral Symposium on Scientific Computing, Berlin January 15/16, 2004 T3 - ZIB-Report - 04-02 KW - Abstracts Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7778 ER - TY - GEN A1 - Weiser, Martin A1 - Deuflhard, Peter A1 - Erdmann, Bodo T1 - Affine conjugate adaptive Newton methods for nonlinear elastomechanics N2 - The paper extends affine conjugate Newton methods from convex to nonconvex minimization, with particular emphasis on PDE problems originating from compressible hyperelasticity. Based on well-known schemes from finite dimensional nonlinear optimization, three different algorithmic variants are worked out in a function space setting, which permits an adaptive multilevel finite element implementation. These algorithms are tested on two well-known 3D test problems and a real-life example from surgical operation planning. T3 - ZIB-Report - 04-01 KW - affine conjugate Newton methods KW - nonconvex minimization KW - nonlinear elastomechnics KW - cranio-maxillofacial surgery KW - soft tissue simulation KW - multilev Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7768 ER - TY - GEN A1 - Deuflhard, Peter A1 - Schütte, Christof T1 - Molecular Conformation Dynamics and Computational Drug Design N2 - The paper surveys recent progress in the mathematical modelling and simulation of essential molecular dynamics. Particular emphasis is put on computational drug design wherein time scales of $msec$ up to $min$ play the dominant role. Classical long-term molecular dynamics computations, however, would run into ill-conditioned initial value problems already after time spans of only $psec=10^{-12} sec$. Therefore, in order to obtain results for times of pharmaceutical interest, a combined deterministic-stochastic model is needed. The concept advocated in this paper is the direct identification of metastable conformations together with their life times and their transition patterns. It can be interpreted as a {\em transfer operator} approach corresponding to some underlying hybrid Monte Carlo process, wherein short-term trajectories enter. Once this operator has been discretized, which is a hard problem of its own, a stochastic matrix arises. This matrix is then treated by {\em Perron cluster analysis}, a recently developed cluster analysis method involving the numerical solution of an eigenproblem for a Perron cluster of eigenvalues. In order to avoid the 'curse of dimension', the construction of appropriate boxes for the spatial discretization of the Markov operator requires careful consideration. As a biomolecular example we present a rather recent SARS protease inhibitor. T3 - ZIB-Report - 03-20 KW - conformation dynamics KW - Monte Carlo methods KW - transfer operations KW - Hamiltonian dynamics KW - Smoluchowski dynamics KW - metastable sets KW - Perron cluster an Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7427 ER - TY - GEN A1 - Deuflhard, Peter A1 - Weber, Marcus T1 - Robust Perron Cluster Analysis in Conformation Dynamics N2 - The key to molecular conformation dynamics is the direct identification of metastable conformations, which are almost invariant sets of molecular dynamical systems. Once some reversible Markov operator has been discretized, a generalized symmetric stochastic matrix arises. This matrix can be treated by Perron cluster analysis, a rather recent method involving a Perron cluster eigenproblem. The paper presents an improved Perron cluster analysis algorithm, which is more robust than earlier suggestions. Numerical examples are included. T3 - ZIB-Report - 03-19 KW - Markov chains KW - cluster algorithms KW - Perron cluster analysis KW - conformation dynamics Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7415 ER - TY - GEN A1 - Weiser, Martin A1 - Schiela, Anton A1 - Deuflhard, Peter T1 - Asymptotic Mesh Independence of Newton's Method Revisited N2 - The paper presents a new affine invariant theory on asymptotic mesh independence of Newton's method in nonlinear PDEs. Compared to earlier attempts, the new approach is both much simpler and more natural from the algorithmic point of view. The theory is exemplified at collocation methods for ODE boundary value problems and at finite element methods for elliptic PDE problems. T3 - ZIB-Report - 03-13 KW - mesh independence KW - nonlinear partial differential equations KW - Newton method KW - finite element method KW - collocation method Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7352 ER - TY - GEN A1 - Hochmuth, Reinhard A1 - Deuflhard, Peter T1 - Multiscale Analysis for the Bio-Heat Transfer Equation N2 - The bio-heat transfer equation is a macroscopic model for describing the heat transfer in microvascular tissue. In [{\sl Deuflhard, Hochmuth 2002}] the authors applied homogenization techniques to derive the bio-heat transfer equation as asymptotic result of boundary value problems which provide a microscopic description for microvascular tissue. Here those results are generalized to a geometrical setting where the regions of blood are allowed to be connected. Moreover, asymptotic corrector results are derived. T3 - ZIB-Report - 03-08 KW - bio-heat equation KW - hyperthermia KW - homogenization KW - correctors KW - heat transfer KW - Robin boundary conditions Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7302 ER - TY - GEN A1 - Deuflhard, Peter T1 - A Comparison of Related Concepts in Computational Chemistry and Mathematics N2 - This article studies the relation of the two scientific languages Chemistry and Mathematics via three selected comparisons: (a) QSSA versus dynamic ILDM in reaction kinetics, (b) lumping versus discrete Galerkin methods in polymer chemistry, and (c) geometrical conformations versus metastable conformations in drug design. The common clear message from these comparisons is that chemical intuition may pave the way for mathematical concepts just as chemical concepts may gain from mathematical precisioning. Along this line, significant improvements in chemical research and engineering have already been possible -- and can be further expected in the future from the dialogue between the two scientific languages. T3 - ZIB-Report - 02-46 KW - dimension reduction KW - model reduction KW - QSSA KW - ILDM KW - reaction kinetics KW - polyreaction kinetics KW - Hamilton systems KW - conformations KW - metastability KW - d Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7138 ER - TY - GEN A1 - Deuflhard, Peter A1 - Nowak, Ulrich A1 - Weiser, Martin T1 - Affine Invariant Adaptive Newton Codes for Discretized PDEs N2 - The paper deals with three different Newton algorithms that have recently been worked out in the general frame of affine invariance. Of particular interest is their performance in the numerical solution of discretized boundary value problems (BVPs) for nonlinear partial differential equations (PDEs). Exact Newton methods, where the arising linear systems are solved by direct elimination, and inexact Newton methods, where an inner iteration is used instead, are synoptically presented, both in affine invariant convergence theory and in numerical experiments. The three types of algorithms are: (a) affine covariant (formerly just called affine invariant) Newton algorithms, oriented toward the iterative errors, (b) affine contravariant Newton algorithms, based on iterative residual norms, and (c) affine conjugate Newton algorithms for convex optimization problems and discrete nonlinear elliptic PDEs. T3 - ZIB-Report - 02-33 KW - Affine invariant Newton methods KW - global Newton methods KW - inexact Newton methods KW - adaptive trust region methods KW - nonlinear partial differential equa Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7005 ER - TY - GEN A1 - Deuflhard, Peter A1 - Hochmuth, Reinhard T1 - Multiscale Analysis of Thermoregulation in the Human Microvascular System N2 - The bio-heat transfer equation is a macroscopic model for describing the heat transfer in microvascular tissue. So far the deduction of the Helmholtz term in the bio-heat transfer equation is not co role. In view of a future numerical application of this new mathematical model to treatment planning in hyperthermia we derive asymptotic estimates for first and second order correctors. T3 - ZIB-Report - 02-31 KW - bio-heat equation KW - hyperthermia KW - homogenization Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6985 ER - TY - GEN A1 - Deuflhard, Peter T1 - From Molecular Dynamics to Conformational Dynamics in Drug Design N2 - Computational drug design studies molecular recognition in the {\em virtual lab}. The arising Hamiltonian dynamics is known to be chaotic and ill-conditioned already after picoseconds, whereas times are $msec$ up to $min$. Classical molecular dynamics with long term trajectory computation gives, at best, information about time and statistical ensemble averages. The present paper surveys a recent new modeling approach called {\em conformational dynamics}, which is due to the author and Ch. Schütte. This approach achieves information about the dy time scales by telescoping a short term deterministic model with a statistical model. Examples of small biomolecules are included. T3 - ZIB-Report - 02-20 KW - molecular dynamics KW - conformational dynamics KW - drug design KW - Hamiltonian dynamics KW - almost invariant sets KW - transition operator KW - Markov chain KW - Perro Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6878 ER - TY - GEN A1 - Deuflhard, Peter T1 - Adaptive Pseudo-transient Continuation for Nonlinear Steady State Problems N2 - Pseudo--transient continuation methods are quite popular for the numerical solution of steady state problems, typically in PDEs. They are based on an embedding into a time dependent initial value problem. In the presence of dynamical invariants the Jacobian matrix of the nonlinear equation system is bound to be singular. The paper presents a convergence analysis which takes this property into account -- in contrast to known approaches. On the basis of the new analysis adaptive algorithms are suggested in detail. These include a variant with Jacobian approximations as well as inexact pseudo--transient continuation, both of which play an important role in discretized PDEs. Numerical experiments are left to future work. T3 - ZIB-Report - 02-14 KW - pseudo--transient continuation KW - linearly implicit KW - Euler discretization KW - stiff integration KW - contractivity of ordinary differential equations KW - lar Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6814 ER - TY - GEN A1 - Kober, Cornelia A1 - Sader, Robert A1 - Zeilhofer, Hans-Florian A1 - Prohaska, Steffen A1 - Zachow, Stefan A1 - Deuflhard, Peter T1 - Anisotrope Materialmodellierung für den menschlichen Unterkiefer N2 - Im Rahmen der biomechanischen Simulation knöcherner Organe ist die Frage nach einer befriedigenden Materialbeschreibung nach wie vor ungelöst. Computertomographische Datensätze liefern eine räumliche Verteilung der (Röntgen-)Dichte und ermöglichen damit eine gute Darstellung der individuellen Geometrie. Weiter können die verschiedenen Materialbestandteile des Knochens, Spongiosa und Kortikalis, voneinander getrennt werden. Aber die richtungsabängige Information der Materialanisotropie ist verloren. In dieser Arbeit wird ein Ansatz für eine anisotrope Materialbeschreibung vorgestellt, die es ermöglicht, den Einfluss der individuellen knöchernen Struktur auf das makroskopische Materialverhalten abzuschätzen. T3 - ZIB-Report - 01-31 KW - menschlicher Unterkiefer KW - Simulation mit der Methode der finiten Elemente KW - innerer Aufbau des Knochens KW - anisotrope Elastizität Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6574 ER - TY - GEN A1 - Jeltsch, Rolf A1 - Strang, Gilbert A1 - Deuflhard, Peter T1 - First SIAM-EMS Conference "Applied Mathematics in our Changing World" Berlin 2001 - Collection of Abstracts N2 - Collection of abstracts of the first SIAM-EMS conference Applied Mathematics in our Changing World'' in Berlin, September 2-6, 2001. T3 - ZIB-Report - 01-19 KW - Abstracts Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6452 ER - TY - GEN A1 - Ehrig, Rainald A1 - Ofenloch, Oliver A1 - Schaber, Karlheinz A1 - Deuflhard, Peter T1 - Modelling and Simulation of Aerosol Formation by Heterogeneous Nucleation in Gas-Liquid Contact Devices N2 - This paper describes a new simulation tool for the prediction of aerosol formation and behavior in gas--liquid contact devices such as absorbers, scrubbers, quench coolers, and condensers as well as multistage gas cleaning processes, respectively. Aerosol formation can impact severely the separation efficiency of gas cleaning processes. Aerosol or fog formation can arise by spontaneous condensation or desublimation in supersaturated gas phases. The rigorous description of the mass and energy transfer between the gas phase, the liquid phase, and the growing aerosol droplets leads to a system of partial differential and algebraic equations. For the solution of these systems we have developed the plant simulation tool AerCoDe. This program bases upon the linearly--implicit Euler discretisation, which in combination with extrapolation permits an adaptive step size and order control. Typical simulation results of a multistage industrial flue gas scrubbing process are presented. It is shown, that experimental data can be confirmed if the number concentration of condensation nuclei as an input parameter is roughly known. T3 - ZIB-Report - 01-15 KW - aerosols KW - heterogeneous nucleation KW - two-phase flow KW - balance equations KW - extrapolation methods Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6416 ER - TY - GEN A1 - Erdmann, Bodo A1 - Kober, Cornelia A1 - Lang, Jens A1 - Sader, Robert A1 - Zeilhofer, Hans-Florian A1 - Deuflhard, Peter T1 - Efficient and Reliable Finite Element Methods for Simulation of the Human Mandible N2 - By computed tomography data (CT), the individual geometry of the mandible is quite well reproduced, also the separation between cortical and trabecular bone. Using anatomical knowledge about the architecture and the functional potential of the masticatory muscles, realistic situations were approximated. The solution of the underlying partial differential equations describing linear elastic material behaviour is provided by an adaptive finite element method. Estimations of the discretization error, local grid refinement, and multilevel techniques guarantee the reliability and efficiency of the method. T3 - ZIB-Report - 01-14 KW - mandible KW - sensitivity analysis KW - finite element method KW - adaptive grid refinement Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6403 ER - TY - GEN A1 - Weiser, Martin A1 - Deuflhard, Peter T1 - The Central Path towards the Numerical Solution of Optimal Control Problems N2 - A new approach to the numerical solution of optimal control problems including control and state constraints is presented. Like hybrid methods, the approach aims at combining the advantages of direct and indirect methods. Unlike hybrid methods, however, our method is directly based on interior-point concepts in function space --- realized via an adaptive multilevel scheme applied to the complementarity formulation and numerical continuation along the central path. Existence of the central path and its continuation towards the solution point is analyzed in some theoretical detail. An adaptive stepsize control with respect to the duality gap parameter is worked out in the framework of affine invariant inexact Newton methods. Finally, the performance of a first version of our new type of algorithm is documented by the successful treatment of the well-known intricate windshear problem. T3 - ZIB-Report - 01-12 KW - optimal control KW - interior point methods KW - affine invariance Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6380 ER - TY - GEN A1 - Fischer, Alexander A1 - Schütte, Christof A1 - Deuflhard, Peter A1 - Cordes, Frank T1 - Hierarchical Uncoupling-Coupling of Metastable Conformations N2 - Uncoupling-coupling Monte Carlo (UCMC) combines uncoupling techniques for finite Markov chains with Markov chain Monte Carlo methodology. UCMC aims at avoiding the typical metastable or trapping behavior of Monte Carlo techniques. From the viewpoint of Monte Carlo, a slowly converging long-time Markov chain is replaced by a limited number of rapidly mixing short-time ones. Therefore, the state space of the chain has to be hierarchically decomposed into its metastable conformations. This is done by means of combining the technique of conformation analysis as recently introduced by the authors, and appropriate annealing strategies. We present a detailed examination of the uncoupling-coupling procedure which uncovers its theoretical background, and illustrates the hierarchical algorithmic approach. Furthermore, application of the UCMC algorithm to the $n$-pentane molecule allows us to discuss the effect of its crucial steps in a typical molecular scenario. T3 - ZIB-Report - 01-03 KW - almost invariant sets KW - bridge sampling KW - metastability KW - hierarchical annealing KW - hybrid Monte Carlo KW - $n$-pentane molecule KW - ratio of normalizing co Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6296 ER - TY - GEN A1 - Schmidt, Frank A1 - Friese, Tilmann A1 - Zschiedrich, Lin A1 - Deuflhard, Peter T1 - Adaptive Multigrid Methods for the Vectorial Maxwell Eigenvalue Problem for Optical Waveguide Design N2 - This paper has been motivated by the need for a fast robust adaptive multigrid method to solve the vectorial Maxwell eigenvalue problem arising from the design of optical chips. Our nonlinear multigrid methods are based on a previous method for the scalar Helmholtz equation, which must be modified to cope with the null space of the Maxwell operator due to the divergence condition. We present two different approaches. First, we present a multigrid algorithm based on an edge element discretization of time-harmonic Maxwell's equations, including the divergence condition. Second, an explicit elimination of longitudinal magnetic components leads to a nodal discretization known to avoid discrete \emph{spurious modes} also and a vectorial eigenvalue problem, for which we present a multigrid solver. Numerical examples show that the edge element discretization clearly outperforms the nodal element approach. T3 - ZIB-Report - 00-54 KW - Maxwell's equations KW - eigenvalue problem KW - edge elements KW - multigrid methods KW - waveguide KW - optical chip design Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6228 ER - TY - GEN A1 - Galliat, Tobias A1 - Deuflhard, Peter A1 - Roitzsch, Rainer A1 - Cordes, Frank T1 - Automatic Identification of Metastable Conformations via Self-Organized Neural Networks N2 - As has been shown recently, the identification of metastable chemical conformations leads to a Perron cluster eigenvalue problem for a reversible Markov operator. Naive discretization of this operator would suffer from combinatorial explosion. As a first remedy, a pre-identification of essential degrees of freedom out of the set of torsion angles had been applied up to now. The present paper suggests a different approach based on neural networks: its idea is to discretize the Markov operator via self-organizing (box) maps. The thus obtained box discretization then serves as a prerequisite for the subsequent Perron cluster analysis. Moreover, this approach also permits exploitation of additional structure within embedded simulations. As it turns out, the new method is fully automatic and efficient also in the treatment of biomolecules. This is exemplified by numerical results. T3 - ZIB-Report - 00-51 KW - biochemical conformations KW - cluster analysis KW - Molecular Dynamics KW - Monte-Carlo methods KW - operator discretization KW - Perron cluster Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6197 ER - TY - GEN A1 - Galliat, Tobias A1 - Deuflhard, Peter T1 - Adaptive hierarchical cluster analysis by Self-Organizing Box Maps N2 - The present paper aims at an extension of {\sc Kohonen's} Self-Organizing Map (SOM) algorithm to be called Self-Organizing Box Map (SOBM) algorithm; it generates box codebooks in lieu of point codebooks. Box codebooks just like point codebooks indirectly define a Voronoi tessellation of the input space, so that each codebook vector represents a unique set of points. Each box codebook vector comprises a multi-dimensional interval that approximates the related partition of the Voronoi tessellation. Upon using the automated cluster identification method that has recently been developed by the authors, the codebook vectors can be grouped in such a way that each group represents a point cluster in the input space. Since the clustering usually depends on the size of the SOM, one cannot be sure, whether the clustering comes out to be optimal. Refinement of part of the identified clusters would often improve the results. This paper presents the concept of an adaptive multilevel cluster algorithm that performs such refinements automatically. Moreover the paper introduces a concept of essential dimensions and suggests a method for their identification based on our herein suggested box codebooks. Applications of the algorithm to molecular dynamics will be described in a forthcoming paper. T3 - ZIB-Report - 00-13 KW - Self-Organizing Maps KW - cluster analysis KW - Voronoi tessellation KW - feature extraction KW - essential dimensions KW - multilevel methods Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5815 ER - TY - GEN A1 - Deuflhard, Peter A1 - Hege, Hans-Christian A1 - Seebass, Martin T1 - Progress Towards a Combined MRI/Hyperthermia System N2 - Regional hyperthermia, a clinical cancer therapy, is the main topic of the Sonderforschungsbereich Hyperthermia: Scientific Methods and Clinical Applications'' at Berlin. In recent years, technological improvements towards a better concentration of heat to the desired target region have been achieved. These include a rather sophisticated integrated software environment for therapy planning and a new hyperthermia applicator. In a next step, a detailed closed loop monitoring of the actual treatment is to be developed. For this purpose the hyperthermia applicator is combined with an MRI system, which will allow to check the positioning of the patients and to measure individual blood perfusion as well as the 3D temperature distribution. The measurements will then be employed for an on-line control of the whole treatment. In this intended setting, new fast feedback control algorithms will come into play. T3 - ZIB-Report - 00-07 KW - hyperthermia KW - medical therapy planning KW - applicator design KW - interventional MRI Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5755 ER - TY - GEN A1 - Galliat, Tobias A1 - Huisinga, Wilhelm A1 - Deuflhard, Peter T1 - Self-Organizing Maps Combined with Eigenmode Analysis for Automated Cluster Identification N2 - One of the important tasks in Data Mining is automated cluster analysis. Self-Organizing Maps (SOMs) introduced by {\sc Kohonen} are, in principle, a powerful tool for this task. Up to now, however, its cluster identification part is still open to personal bias. The present paper suggests a new approach towards automated cluster identification based on a combination of SOMs with an eigenmode analysis that has recently been developed by {\sc Deuflhard et al.} in the context of molecular conformational dynamics. Details of the algorithm are worked out. Numerical examples from Data Mining and Molecular Dynamics are included. T3 - ZIB-Report - SC-99-38 KW - Self-Organizing Maps KW - cluster analysis Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4279 ER - TY - GEN A1 - Schütte, Christof A1 - Huisinga, Wilhelm A1 - Deuflhard, Peter T1 - Transfer Operator Approach to Conformational Dynamics in Biomolecular Systems N2 - The article surveys the development of novel mathematical concepts and algorithmic approaches based thereon in view of their possible applicability to biomolecular design. Both a first deterministic approach, based on the Frobenius-Perron operator corresponding to the flow of the Hamiltonian dynamics, and later stochastic approaches, based on a spatial Markov operator or on Langevin dynamics, can be subsumed under the unified mathematical roof of the transfer operator approach to effective dynamics of molecular systems. The key idea of constructing specific transfer operators especially taylored for the purpose of conformational dynamics appears as the red line throughout the paper. Different steps of the algorithm are exemplified by a trinucleotide molecular system as a small representative of possible RNA drug molecules. T3 - ZIB-Report - SC-99-36 KW - Transfer operator KW - Markov process KW - Markov chain KW - molecular dynamics KW - biomolecular conformations KW - canonical ensemble KW - transition prohability KW - Ha Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4247 ER - TY - GEN A1 - Deuflhard, Peter T1 - Differential Equations in Technology and Medicine. Computational Concepts, Adaptive Algorithms, and Virtual Labs N2 - This series of lectures has been given to a class of mathematics postdocs at a European summer school on Computational Mathematics Driven by Industrial Applications in Martina Franca, Italy (organized by CIME). It deals with a variety of challenging real life problems selected from clinical cancer therapy, communication technology, polymer production, and pharmaceutical drug design. All of these problems from rather diverse application areas share two common features: (a) they have been modelled by various differential equations -- elliptic, parabolic, or Schrödinger--type partial differential equations, countable ordinary diffential equations, or Hamiltonian systems, (b) their numerical solution has turned out to be real challenge to computational mathematics. T3 - ZIB-Report - SC-99-34 KW - differential equations: KW - ordinary KW - partial KW - countable KW - hamiltonian KW - finite element methods: KW - adaptive KW - multilevel KW - grid generation KW - medical t Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4223 ER - TY - GEN A1 - Deuflhard, Peter A1 - Klein, Rupert A1 - Reinefeld, Alexander A1 - Stüben, Hinnerk T1 - Power-User und Supercomputer N2 - Abstract-Sammlung zum gleichnamigen Workshop am ZIB vom 19.--20. Mai 1999 T3 - ZIB-Report - SC-99-19 KW - Benutzertreffen KW - Höchstleistungsrechner Nord KW - HLRN Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4070 ER - TY - GEN A1 - Braess, Dietrich A1 - Deuflhard, Peter A1 - Lipnikov, Konstantin T1 - A Subspace Cascadic Multigrid Method for Mortar Elements N2 - A cascadic multigrid (CMG) method for elliptic problems with strong material jumps is proposed and analyzed. Non--matching grids at interfaces between subdomains are allowed and treated by mortar elements. The arising saddle point problems are solved by a subspace confined conjugate gradient method as smoother for the CMG. Details of algorithmic realization including adaptivity are elaborated. Numerical results illustrate the efficiency of this CMG algorithm. T3 - ZIB-Report - SC-99-07 KW - Finite Elements KW - Rayleigh-Ritz and Galerkin Methods KW - Multigrid Methods KW - Domain Decomposition Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-3954 ER - TY - GEN A1 - Schütte, Christof A1 - Fischer, Alexander A1 - Huisinga, Wilhelm A1 - Deuflhard, Peter T1 - A Direct Approach to Conformational Dynamics based on Hybrid Monte Carlo N2 - Recently, a novel concept for the computation of essential features of the dynamics of Hamiltonian systems (such as molecular dynamics) has been proposed. The realization of this concept had been based on subdivision techniques applied to the Frobenius--Perron operator for the dynamical system. The present paper suggests an alternative but related concept that merges the conceptual advantages of the dynamical systems approach with the appropriate statistical physics framework. This approach allows to define the phrase ``conformation'' in terms of the dynamical behavior of the molecular system and to characterize the dynamical stability of conformations. In a first step, the frequency of conformational changes is characterized in statistical terms leading to the definition of some Markov operator $T$ that describes the corresponding transition probabilities within the canonical ensemble. In a second step, a discretization of $T$ via specific hybrid Monte Carlo techniques is shown to lead to a stochastic matrix $P$. With these theoretical preparations, an identification algorithm for conformations is applicable. It is demonstrated that the discretization of $T$ can be restricted to few essential degrees of freedom so that the combinatorial explosion of discretization boxes is prevented and biomolecular systems can be attacked. Numerical results for the n-pentane molecule and the triribonucleotide adenylyl\emph{(3'-5')}cytidylyl\emph{(3'-5')}cytidin are given and interpreted. T3 - ZIB-Report - SC-98-45 KW - conformation KW - conformational dynamics KW - hybrid Monte Carlo KW - reweighting KW - essential degrees of freedom KW - transition probabilities KW - Markov operator Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-3889 ER - TY - GEN A1 - Deuflhard, Peter A1 - Weiser, Martin A1 - Seebass, Martin T1 - A New Nonlinear Elliptic Multilevel FEM Applied to Regional Hyperthermia N2 - In the clinical cancer therapy of regional hyperthermia nonlinear perfusion effects inside and outside the tumor seem to play a not negligible role. A stationary model of such effects leads to a nonlinear Helmholtz term within an elliptic boundary value problem. The present paper reports about the application of a recently designed adaptive multilevel FEM to this problem. For several 3D virtual patients, nonlinear versus linear model is studied. Moreover, the numerical efficiency of the new algorithm is compared with a former application of an adaptive FEM to the corresponding instationary model PDE. T3 - ZIB-Report - SC-98-35 KW - hyperthermia KW - nonlinear elliptic KW - multilevel FEM Y1 - 1998 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-3785 ER - TY - GEN A1 - Deuflhard, Peter A1 - Seebass, Martin T1 - Adaptive Multilevel FEM as Decisive Tools in the Clinical Cancer Therapy Hyperthermia N2 - The paper surveys recent progress in a joint mathematical-medical project on cancer therapy planning. Within so-called regional hyperthermia the computational task is to tune a set of coupled radiofrequency antennas such that a carefully measured tumor is locally heated, but any outside hot spots are avoided. A mathematical model of the whole clinical system -- air, applicator with antennas, water bolus, individual patient body -- involves Maxwell's equations in inhomogeneous media and a parabolic bioheat transfer equation, which represents a simplified model of heat transfer in the human body (ignoring strong blood vessel heat transport). Both PDEs need to be computed fast and to medical reliability (!) on a workstation within a clinical environment. This requirement triggered a series of new algorithmic developments to be reported here, among which is an adaptive multilevel FEM for Maxwell's equations, which dominates the numerical simulation time. In total, however, the main bulk of computation time (see Table 3 in Section 4 below) still goes into segmentation -- a necessary preprocessing step in the construction a 3D virtual patient from the input of a stack of 2D computed tomograms (left out here). T3 - ZIB-Report - SC-98-30 KW - hyperthermia KW - Maxwell's equations KW - nonlinear heat transfer KW - finite elements Y1 - 1998 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-3739 ER - TY - GEN A1 - Schütte, Christof A1 - Fischer, Alexander A1 - Huisinga, Wilhelm A1 - Deuflhard, Peter T1 - A Hybrid Monte Carlo Method for Essential Molecular Dynamics N2 - Recently, a novel concept for the computation of essential features of Hamiltonian systems (such as those arising in molecular dynamics) has been proposed. The realization of that concept was based on subdivision techniques applied to the Frobenius--Perron operator for the dynamical system. The present paper suggests an alternative but related concept based on statistical mechanics, which allows to attack realistic molecular systems. In a first step, the frequency of conformational changes is characterized in statistical terms leading to the definition of some Markov operator $T$ that describes the corresponding transition probabilities within the canonical ensemble. In a second step, a discretization of $T$ via hybrid Monte Carlo techniques (based on short term subtrajectories only) is shown to lead to a stochastic matrix $P$. With these theoretical preparations, an identification algorithm for conformations is applicable (to be presented elsewhere). Numerical results for the n-pentane molecule are given and interpreted. T3 - ZIB-Report - SC-98-04 Y1 - 1998 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-3474 ER -