TY - INPR A1 - Abed, Jamil A1 - Schulze, Bert-Wolfgang T1 - Edge-degenerate families of ΨDO’s on an infinite cylinder N2 - We establish a parameter-dependent pseudo-differential calculus on an infinite cylinder, regarded as a manifold with conical exits to infinity. The parameters are involved in edge-degenerate form, and we formulate the operators in terms of operator-valued amplitude functions. T3 - Preprint - (2009) 01 KW - Edge-degenerate operators KW - parameter-dependent pseudodifferential operators KW - norm estimates with respect to a parameter Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-30365 ER - TY - INPR A1 - Abed, Jamil A1 - Schulze, Bert-Wolfgang T1 - Operators with corner-degenerate symbols N2 - We establish elements of a new approch to ellipticity and parametrices within operator algebras on a manifold with higher singularities, only based on some general axiomatic requirements on parameter-dependent operators in suitable scales of spaces. The idea is to model an iterative process with new generations of parameter-dependent operator theories, together with new scales of spaces that satisfy analogous requirements as the original ones, now on a corresponding higher level. The “full” calculus is voluminous; so we content ourselves here with some typical aspects such as symbols in terms of order reducing families, classes of relevant examples, and operators near the conical exit to infinity. T3 - Preprint - (2008) 01 Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-30299 ER - TY - INPR A1 - Airapetyan, Ruben A1 - Witt, Ingo T1 - Isometric properties of the Hankel Transformation in weighted sobolev spaces N2 - It is shown that the Hankel transformation Hsub(v) acts in a class of weighted Sobolev spaces. Especially, the isometric mapping property of Hsub(v) which holds on L²(IRsub(+),rdr) is extended to spaces of arbitrary Sobolev order. The novelty in the approach consists in using techniques developed by B.-W. Schulze and others to treat the half-line Rsub(+) as a manifold with a conical singularity at r = 0. This is achieved by pointing out a connection between the Hankel transformation and the Mellin transformation.The procedure proposed leads at the same time to a short proof of the Hankel inversion formula. An application to the existence and higher regularity of solutions, including their asymptotics, to the 1-1-dimensional edge-degenerated wave equation is given. T3 - Preprint - (1997) 14 Y1 - 1997 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-25001 ER - TY - INPR A1 - Aizenberg, Lev A. A1 - Tarkhanov, Nikolai Nikolaevich T1 - A Bohr phenomenon for elliptic equations N2 - In 1914 Bohr proved that there is an r ∈ (0, 1) such that if a power series converges in the unit disk and its sum has modulus less than 1 then, for |z| < r, the sum of absolute values of its terms is again less than 1. Recently analogous results were obtained for functions of several variables. The aim of this paper is to comprehend the theorem of Bohr in the context of solutions to second order elliptic equations meeting the maximum principle. T3 - Preprint - (1999) 18 Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-25547 ER - TY - INPR A1 - Aizenberg, Lev A. A1 - Tarkhanov, Nikolai Nikolaevich T1 - Stable expansions in homogeneous polynomials N2 - An expansion for a class of functions is called stable if the partial sums are bounded uniformly in the class. Stable expansions are of key importance in numerical analysis where functions are given up to certain error. We show that expansions in homogeneous functions are always stable on a small ball around the origin, and evaluate the radius of the largest ball with this property. T3 - Preprint - (2005) 16 Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-29925 ER - TY - INPR A1 - Alsaedy, Ammar A1 - Tarkhanov, Nikolai Nikolaevich T1 - Normally solvable nonlinear boundary value problems N2 - We study a boundary value problem for an overdetermined elliptic system of nonlinear first order differential equations with linear boundary operators. Such a problem is solvable for a small set of data, and so we pass to its variational formulation which consists in minimising the discrepancy. The Euler-Lagrange equations for the variational problem are far-reaching analogues of the classical Laplace equation. Within the framework of Euler-Lagrange equations we specify an operator on the boundary whose zero set consists precisely of those boundary data for which the initial problem is solvable. The construction of such operator has much in common with that of the familiar Dirichlet to Neumann operator. In the case of linear problems we establish complete results. T3 - Preprints des Instituts für Mathematik der Universität Potsdam - 2(2013)11 KW - Nonlinear Laplace operator KW - boundary value problem KW - Dirichlet to Neumann operator Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-65077 SN - 2193-6943 ER - TY - INPR A1 - Arnold, Holger T1 - A linearized DPLL calculus with clause learning (2nd, revised version) N2 - Many formal descriptions of DPLL-based SAT algorithms either do not include all essential proof techniques applied by modern SAT solvers or are bound to particular heuristics or data structures. This makes it difficult to analyze proof-theoretic properties or the search complexity of these algorithms. In this paper we try to improve this situation by developing a nondeterministic proof calculus that models the functioning of SAT algorithms based on the DPLL calculus with clause learning. This calculus is independent of implementation details yet precise enough to enable a formal analysis of realistic DPLL-based SAT algorithms. N2 - Viele formale Beschreibungen DPLL-basierter SAT-Algorithmen enthalten entweder nicht alle wesentlichen Beweistechniken, die in modernen SAT-Solvern implementiert sind, oder sind an bestimmte Heuristiken oder Datenstrukturen gebunden. Dies erschwert die Analyse beweistheoretischer Eigenschaften oder der Suchkomplexität derartiger Algorithmen. Mit diesem Artikel versuchen wir, diese Situation durch die Entwicklung eines nichtdeterministischen Beweiskalküls zu verbessern, der die Arbeitsweise von auf dem DPLL-Kalkül basierenden SAT-Algorithmen mit Klausellernen modelliert. Dieser Kalkül ist unabhängig von Implementierungsdetails, aber dennoch präzise genug, um eine formale Analyse realistischer DPLL-basierter SAT-Algorithmen zu ermöglichen. KW - Automatisches Beweisen KW - Logikkalkül KW - SAT KW - DPLL KW - Klausellernen KW - automated theorem proving KW - logical calculus KW - SAT KW - DPLL KW - clause learning Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-29080 ER - TY - INPR A1 - Berman, Gennady A1 - Tarkhanov, Nikolai Nikolaevich T1 - Quantum dynamics in the Fermi-Pasta-Ulam problem N2 - We study the dynamics of four wave interactions in a nonlinear quantum chain of oscillators under the "narrow packet" approximation. We determine the set of times for which the evolution of decay processes is essentially specified by quantum effects. Moreover, we highlight the quantum increment of instability. T3 - Preprint - (2004) 05 Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-26695 ER - TY - INPR A1 - Brauer, Uwe A1 - Karp, Lavi T1 - Local existence of classical solutions for the Einstein-Euler system using weighted Sobolev spaces of fractional order N2 - We prove the existence of a class of local in time solutions, including static solutions, of the Einstein-Euler system. This result is the relativistic generalisation of a similar result for the Euler-Poisson system obtained by Gamblin [8]. As in his case the initial data of the density do not have compact support but fall off at infinity in an appropriate manner. An essential tool in our approach is the construction and use of weighted Sobolev spaces of fractional order. Moreover, these new spaces allow us to improve the regularity conditions for the solutions of evolution equations. The details of this construction, the properties of these spaces and results on elliptic and hyperbolic equations will be presented in a forthcoming article. T3 - Preprint - (2006) 17 Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-30175 ER - TY - INPR A1 - Brauer, Uwe A1 - Karp, Lavi T1 - Well-posedness of Einstein-Euler systems in asymptotically flat spacetimes N2 - We prove a local in time existence and uniqueness theorem of classical solutions of the coupled Einstein{Euler system, and therefore establish the well posedness of this system. We use the condition that the energy density might vanish or tends to zero at infinity and that the pressure is a certain function of the energy density, conditions which are used to describe simplified stellar models. In order to achieve our goals we are enforced, by the complexity of the problem, to deal with these equations in a new type of weighted Sobolev spaces of fractional order. Beside their construction, we develop tools for PDEs and techniques for hyperbolic and elliptic equations in these spaces. The well posedness is obtained in these spaces. T3 - Preprint - (2008) 07 Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-30347 ER -