Browsing Institut für Mathematik by Title
Now showing items 116-135 of 329
-
2005-11-07BuchIndex determination of DAEs The index definition of DAEs with properly stated leading term bases on a matrix sequence with suitably chosen projectors. A way of realization of this matrix sequence is presented, it includes the calculation of suitable ...
-
2002-01-16BuchIndex3 Algebro-Differentialgleichungen mit proper formuliertem Hauptterm Diese Arbeit widmet sich der Untersuchung von Algebro-Differentialgleichungen mit Index 3. Im ersten Kapitel werden grundlegende Begriffe und die Definition der DAE mit Index3 eingefürt. Dabei wird eine spezielle Kette von ...
-
1994-03-01BuchIntegrating Logical Functions with ILF This is a description of the system ILF developed at the Humboldt-University at Berlin. ILF is a system that integrates automated theorem provers, proof tactics for interactive deductive systems and models within a graphical ...
-
2005-10-21BuchInterior Integral Estimates on Weak Solutions of Nonlinear Parabolic Systems This paper concerns various types of CACCIOPPOLI and POINCARÈ inequalities on weak solutions u of nonlinear parabolic systems. The main result of the paper is the local integrability of the spatial gradient Du to an exponent ...
-
2006-08-02BuchInternal Layer Solutions in Quasilinear Integro-Differential Equations The Dirichlet boundary value problem for a class of singularly perturbed quasilinear integro-differential equations is considered. The asymptotic expansion for a new class of solutions, which have internal layers, is ...
-
2005-11-16BuchIteration methods with incomplete corrections and solution of nonlinear equations Basing on the theory of dynamic systems with inclomplete corrections [1-2], various methods of Gauss-Seidel-type for the numerical solution of nonlinear equations are formulated and analyzed. For special classes of equations ...
-
2005-11-16BuchIterationsverfahren mit unvollständigen Korrekturen und die Lösung nichtlinearer Gleichungen Auf der Grundlage der Theorie dynamischer Systeme mit unvollständigen Korrekturen [1-2] werden verschiedene Methoden vom Gauß-Seidel-Typ zur numerischen Lösung nichtlinearer Gleichungen formuliert und analysiert. Für ...
-
2011-09-27BuchIterative Operator Splitting Method for Coupled Problems In this article a new approach is considered for implementing operator splitting methods for transport problems, influenced by eletric fields. Our motivation came to model PE-CVD (plasma-enhanced chemical vapor deposition) ...
-
2011-09-20BuchIterative Operator Splitting Methods In this paper we describe a technique for closed formulation of an iterative operator-splitting method and embed the method in the classical exponential splitting methods. Since iterative operator splitting have been ...
-
2011-09-27BuchIterative Operator Splitting Methods For Differential Equations In this paper we describe an iterative operator-splitting method for bounded operators. Our contribution is a novel iterative method that can be applied as a splitting method to ordinary and partial differential equations. ...
-
2011-09-27BuchIterative operator-splitting method In this paper we describe an iterative operator-splitting method for bounded operators. The contribution is a novel iterative method, that can be applied as a splitting method for ordinary and partial differential equations. ...
-
2011-09-20BuchIterative Operator-Splitting Methods and Continuous and Discrete Case In this paper, we contribute waveform relaxation and iterative splitting methods for systems of parabolic differential equations. We could present an analysis comparing both methods and see advantages in the iterative ...
-
2011-08-11BuchIterative operator-splitting methods for nonlinear differential equations and applications of deposition processes In this article we consider iterative operator-splitting methods for nonlinear differential equations. The main feature of the proposed idea is the embedding of Newton's method for solving the split parts of the nonlinear ...
-
2011-09-20BuchIterative operator-splitting methods for Time-irreversible Systems In this paper, we deduce higher order error bounds for iterative operator splitting methods for time-irreversible systems of linear advection-diffusion equations. involving time-irreversible diffusion and a reversible ...
-
2011-08-11BuchIterative operator-splitting methods for wave equations with stability results and numerical examples We are motivated by simulating a three-dimensional wave equation for an anisotropic material with stress-free boundary conditions. The applications are suited in the earthquake simulation that is based on seismic model ...
-
2006-01-01BuchIterative Operator-Splitting Methods with higher order Time-Integration Methods and Applications for Parabolic Partial Differential Equations In this paper we design higher order time integrators for systems of stiff ordinary differential equations. We could combine implicit Runge-Kutta- and BDF-methods with iterative operator-splitting methods to obtain higher ...
-
2011-09-20BuchIterative operator-splitting with time overlapping algorithms In this article we consider wave equations with constant and linear time dependent diffusion-coefficients which are solved numerically by iterative operator splitting with interval overlapping algorithms. The benefits of ...
-
2001-10-12BuchJacobi theta embedding of a hyperbolic 4-space with cusps Starting from a fixed elliptic curve with complex multiplication we compose lifted quotients of elliptic Jacobi theta functions to abelian functions in higher dimension. In some cases, where complete Picard-Einstein metrics ...
-
2011-09-20BuchKinetic processes and Phase-transition of CVD processes for Ti₃SiC₂ In this paper we present a kinetic model based on numerical simulations of a chemical vapor deposition (CVD) process. We discuss a model that is based on kinetics of the deposition rates to the material. Such a simple ...
-
2006-09-20BuchLaGO - a (heuristic) Branch and Cut algorithm fornonconvex MINLPs We present a Branch and Cut algorithm of the software package LaGO to solve nonconvex mixed-integer nonlinear programs. A linear outer approximation is constructed from a convex relaxation of the problem. Since we do not ...
