TY - JOUR A1 - Boldrighini, Carlo A1 - Frigio, Sandro A1 - Maponi, Pierluigi A1 - Pellegrinotti, Alessandro A1 - Sinai, Yakov G. T1 - 3-D incompressible Navier-Stokes equations: Complex blow-up and related real flows JF - Lectures in pure and applied mathematics KW - random point processes KW - statistical mechanics KW - stochastic analysis Y1 - 2020 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-472201 SN - 978-3-86956-485-2 SN - 2199-4951 SN - 2199-496X IS - 6 SP - 185 EP - 194 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Bomanson, Jori A1 - Janhunen, Tomi A1 - Schaub, Torsten H. A1 - Gebser, Martin A1 - Kaufmann, Benjamin T1 - Answer Set Programming Modulo Acyclicity JF - Fundamenta informaticae N2 - Acyclicity constraints are prevalent in knowledge representation and applications where acyclic data structures such as DAGs and trees play a role. Recently, such constraints have been considered in the satisfiability modulo theories (SMT) framework, and in this paper we carry out an analogous extension to the answer set programming (ASP) paradigm. The resulting formalism, ASP modulo acyclicity, offers a rich set of primitives to express constraints related to recursive structures. In the technical results of the paper, we relate the new generalization with standard ASP by showing (i) how acyclicity extensions translate into normal rules, (ii) how weight constraint programs can be instrumented by acyclicity extensions to capture stability in analogy to unfounded set checking, and (iii) how the gap between supported and stable models is effectively closed in the presence of such an extension. Moreover, we present an efficient implementation of acyclicity constraints by incorporating a respective propagator into the state-of-the-art ASP solver CLASP. The implementation provides a unique combination of traditional unfounded set checking with acyclicity propagation. In the experimental part, we evaluate the interplay of these orthogonal checks by equipping logic programs with supplementary acyclicity constraints. The performance results show that native support for acyclicity constraints is a worthwhile addition, furnishing a complementary modeling construct in ASP itself as well as effective means for translation-based ASP solving. Y1 - 2016 U6 - https://doi.org/10.3233/FI-2016-1398 SN - 0169-2968 SN - 1875-8681 VL - 147 SP - 63 EP - 91 PB - IOS Press CY - Amsterdam ER - TY - JOUR A1 - Bourne, D. P. A1 - Cushing, D. A1 - Liu, S. A1 - Münch, Florentin A1 - Peyerimhoff, Norbert T1 - Ollivier-Ricci idleness functions of graphs JF - SIAM Journal on Discrete Mathematics N2 - We study the Ollivier-Ricci curvature of graphs as a function of the chosen idleness. We show that this idleness function is concave and piecewise linear with at most three linear parts, and at most two linear parts in the case of a regular graph. We then apply our result to show that the idleness function of the Cartesian product of two regular graphs is completely determined by the idleness functions of the factors. KW - Ollivier-Ricci KW - idleness KW - optimal transport Y1 - 2018 U6 - https://doi.org/10.1137/17M1134469 SN - 0895-4801 SN - 1095-7146 VL - 32 IS - 2 SP - 1408 EP - 1424 PB - Society for Industrial and Applied Mathematics CY - Philadelphia ER - TY - JOUR A1 - Bovier, Anton A1 - Eckhoff, Michael A1 - Gayrard, Veronique A1 - Klein, Markus T1 - Metastability in reversible diffusion processes : I. Sharp asymptotics for capacities and exit times N2 - We develop a potential theoretic approach to the problem of metastability for reversible diffusion processes with generators of the form -epsilonDelta+ delF(.) del on R-d or subsets of R-d, where F is a smooth function with finitely many local minima. In analogy to previous work on discrete Markov chains, we show that metastable exit times from the attractive domains of the minima of F can be related, up to multiplicative errors that tend to one as epsilon down arrow 0, to the capacities of suitably constructed sets. We show that these capacities can be computed, again up to multiplicative errors that tend to one, in terms of local characteristics of F at the starting minimum and the relevant saddle points. As a result, we are able to give the first rigorous proof of the classical Eyring - Kramers formula in dimension larger than 1. The estimates on capacities make use of their variational representation and monotonicity properties of Dirichlet forms. The methods developed here are extensions of our earlier work on discrete Markov chains to continuous diffusion processes Y1 - 2004 SN - 1435-9855 ER - TY - JOUR A1 - Bovier, Anton A1 - Eckhoff, Michael A1 - Gayrard, Veronique A1 - Klein, Markus T1 - Metastability and low-Lying spectra in reversible Markov chains Y1 - 2002 ER - TY - JOUR A1 - Bovier, Anton A1 - Eckhoff, Michael A1 - Gayrard, Veronique A1 - Klein, Markus T1 - Metastability in stochastic dynamics of disordered mean-field models Y1 - 2001 SN - 0178-8051 ER - TY - JOUR A1 - Bovier, Anton A1 - Gayrard, Veronique A1 - Klein, Markus T1 - Metastability in reversible diffusion processes : II. Precise asymptotics for small eigenvalues N2 - We continue the analysis of the problem of metastability for reversible diffusion processes, initiated in [BEGK3], with a precise analysis of the low-lying spectrum of the generator. Recall that we are considering processes with generators of the form -epsilonDelta + delF(.) del on R-d or subsets of Rd, where F is a smooth function with finitely many local minima. Here we consider only the generic situation where the depths of all local minima are different. We show that in general the exponentially small part of the spectrum is given, up to multiplicative errors tending to one, by the eigenvalues of the classical capacity matrix of the array of capacitors made of balls of radius epsilon centered at the positions of the local minima of F. We also get very precise uniform control on the corresponding eigenfunctions. Moreover, these eigenvalues can be identified with the same precision with the inverse mean metastable exit times from each minimum. In [BEGK3] it was proven that these mean times are given, again up to multiplicative errors that tend to one, by the classical Eyring- Kramers formula Y1 - 2005 SN - 1435-9855 ER - TY - THES A1 - Branding, Volker T1 - The evolution equations for Dirac-harmonic Maps T1 - Die Evolutionsgleichungen für Dirac-harmonische Abbildungen N2 - This thesis investigates the gradient flow of Dirac-harmonic maps. Dirac-harmonic maps are critical points of an energy functional that is motivated from supersymmetric field theories. The critical points of this energy functional couple the equation for harmonic maps with spinor fields. At present, many analytical properties of Dirac-harmonic maps are known, but a general existence result is still missing. In this thesis the existence question is studied using the evolution equations for a regularized version of Dirac-harmonic maps. Since the energy functional for Dirac-harmonic maps is unbounded from below the method of the gradient flow cannot be applied directly. Thus, we first of all consider a regularization prescription for Dirac-harmonic maps and then study the gradient flow. Chapter 1 gives some background material on harmonic maps/harmonic spinors and summarizes the current known results about Dirac-harmonic maps. Chapter 2 introduces the notion of Dirac-harmonic maps in detail and presents a regularization prescription for Dirac-harmonic maps. In Chapter 3 the evolution equations for regularized Dirac-harmonic maps are introduced. In addition, the evolution of certain energies is discussed. Moreover, the existence of a short-time solution to the evolution equations is established. Chapter 4 analyzes the evolution equations in the case that the domain manifold is a closed curve. Here, the existence of a smooth long-time solution is proven. Moreover, for the regularization being large enough, it is shown that the evolution equations converge to a regularized Dirac-harmonic map. Finally, it is discussed in which sense the regularization can be removed. In Chapter 5 the evolution equations are studied when the domain manifold is a closed Riemmannian spin surface. For the regularization being large enough, the existence of a global weak solution, which is smooth away from finitely many singularities is proven. It is shown that the evolution equations converge weakly to a regularized Dirac-harmonic map. In addition, it is discussed if the regularization can be removed in this case. N2 - Die vorliegende Dissertation untersucht den Gradientenfluss von Dirac-harmonischen Abbildungen. Dirac-harmonische Abbildungen sind kritische Punkte eines Energiefunktionals, welches aus supersymmetrischen Feldtheorien motiviert ist. Die kritischen Punkte dieses Energiefunktionals koppeln die Gleichung für harmonische Abbildungen mit Spinorfeldern. Viele analytische Eigenschaften von Dirac-harmonischen Abbildungen sind bereits bekannt, ein allgemeines Existenzresultat wurde aber noch nicht erzielt. Diese Dissertation untersucht das Existenzproblem, indem der Gradientenfluss von einer regularisierten Version Dirac-harmonischer Abbildungen untersucht wird. Die Methode des Gradientenflusses kann nicht direkt angewendet werden, da das Energiefunktional für Dirac-harmonische Abbildungen nach unten unbeschränkt ist. Daher wird zunächst eine Regularisierungsvorschrift für Dirac-harmonische Abbildungen eingeführt und dann der Gradientenfluss betrachtet. Kapitel 1 stellt für die Arbeit wichtige Resultate über harmonische Abbildungen/harmonische Spinoren zusammen. Außerdem werden die zur Zeit bekannten Resultate über Dirac-harmonische Abbildungen zusammengefasst. In Kapitel 2 werden Dirac-harmonische Abbildungen im Detail eingeführt, außerdem wird eine Regularisierungsvorschrift präsentiert. Kapitel 3 führt die Evolutionsgleichungen für regularisierte Dirac-harmonische Abbildungen ein. Zusätzlich wird die Evolution von verschiedenen Energien diskutiert. Schließlich wird die Existenz einer Kurzzeitlösung bewiesen. In Kapitel 4 werden die Evolutionsgleichungen für den Fall analysiert, dass die Ursprungsmannigfaltigkeit eine geschlossene Kurve ist. Die Existenz einer Langzeitlösung der Evolutionsgleichungen wird bewiesen. Es wird außerdem gezeigt, dass die Evolutionsgleichungen konvergieren, falls die Regularisierung groß genug gewählt wurde. Schließlich wird diskutiert, ob die Regularisierung wieder entfernt werden kann. Kapitel 5 schlussendlich untersucht die Evolutionsgleichungen für den Fall, dass die Ursprungsmannigfaltigkeit eine geschlossene Riemannsche Spin Fläche ist. Es wird die Existenz einer global schwachen Lösung bewiesen, welche bis auf endlich viele Singularitäten glatt ist. Die Lösung konvergiert im schwachen Sinne gegen eine regularisierte Dirac-harmonische Abbildung. Auch hier wird schließlich untersucht, ob die Regularisierung wieder entfernt werden kann. KW - Dirac-harmonische Abbildungen KW - Gradientenfluss KW - Wärmefluss KW - Spin Geometrie KW - nichtlineare partielle Differentialgleichung KW - Dirac-harmonic maps KW - Gradient flow KW - Heat Flow KW - Spin Geometry KW - nonlinear partial differential equations Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64204 ER - TY - JOUR A1 - Branding, Volker A1 - Drukker, Nadav T1 - BPS Wilson loops in N=4 supersymmetric Yang-Mills theory : examples on hyperbolic submanifolds of space-time N2 - In this paper we present a family of supersymmetric Wilson loops of N=4 supersymmetric Yang-Mills theory in Minkowski space. Our examples focus on curves restricted to hyperbolic submanifolds, H-3 and H-2, of space-time. Generically they preserve two supercharges, but in special cases more, including a case which has not been discussed before, of the hyperbolic line, conformal to the straight line and circle, which is 1/2 BPS. We discuss some general properties of these Wilson loops and their string duals and study special examples in more detail. Generically the string duals propagate on a complexification of AdS(5)xS(5) and in some specific examples the compact sphere is effectively replaced by a de Sitter space. Y1 - 2009 UR - http://prd.aps.org/ U6 - https://doi.org/10.1103/Physrevd.79.106006 SN - 1550-7998 ER - TY - JOUR A1 - Brasche, Johannes F. A1 - Koshmanenko, V. D. A1 - Neidhardt, Hagen T1 - Some new aspects of Krein's extension theory Y1 - 1994 ER - TY - JOUR A1 - Brasche, Johannes F. A1 - Neidhardt, Hagen T1 - On the point spectrum of selfadjoint extensions Y1 - 1995 ER - TY - JOUR A1 - Brasche, Johannes F. A1 - Neidhardt, Hagen T1 - On the singular continuous spectrum of self-adjoint extensions Y1 - 1996 ER - TY - JOUR A1 - Brasche, Johannes F. A1 - Neidhardt, Hagen T1 - On the absolutely continuous spectrum of self-adjoint extensions Y1 - 1995 ER - TY - JOUR A1 - Brasche, Johannes F. A1 - Neidhardt, Hagen T1 - Some remarks to Krein's extension theory Y1 - 1994 ER - TY - BOOK A1 - Brauer, Uwe A1 - Karp, Lavi T1 - Local existence of classical solutions for the Einstin-Euler system using weighted Sobolev spaces of fractional order T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2006 SN - 1437-739X PB - Univ. CY - Potsdam 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 - TY - BOOK A1 - Braunß, Hans-Andreas T1 - A note about ranks of m-homogeneous polynomials on Banach spaces T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1998 VL - 1998, 18a PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Braunß, Hans-Andreas T1 - On holomorphic mappings of Schatten class type Y1 - 1992 ER - TY - JOUR A1 - Braunß, Hans-Andreas A1 - Junek, Heinz T1 - Factorization of injective ideals by interpolation N2 - We construct a factorization of certain multilinear mappings through linear operators belonging to closed, injective operator ideals using interpolation technique. An extension of the duality theorem for interpolation spaces is also obtained. Y1 - 2004 SN - 0022-247x ER - TY - BOOK A1 - Bronnikov, K. A. A1 - Kasper, Uwe A1 - Rainer, Martin T1 - Intersecting electric and magnetic p-branes: spherically symmetric solutions T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1997 VL - 1997, 21 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Bronnikov, K. A. A1 - Kasper, Uwe A1 - Rainer, Martin T1 - Intersecting electric and magnetic p-brains : spherically symmetric solutions Y1 - 1999 ER - TY - JOUR A1 - Brungs, Hans A1 - Gräter, Joachim T1 - Orders of Higher Rank in Semisimple Artinian Rings Y1 - 1996 ER - TY - JOUR A1 - Brungs, Hans A1 - Gräter, Joachim T1 - Trees and Valuation Rings Y1 - 2000 ER - TY - JOUR A1 - Brungs, Hans H. A1 - Gräter, Joachim T1 - On central extensions of SL(2, F) admitting left-orderings JF - Journal of Algebra N2 - For an arbitrary euclidean field F we introduce a central extension (G(F), Phi) of SL(2, F) admitting a left-ordering and study its algebraic properties. The elements of G(F) are order preserving bijections of the convex hull of Q in F. If F = R then G(F) is isomorphic to the classical universal covering group of the Lie group SL(2, R). Among other results we show that G(F) is a perfect group which possesses a rank 1 cone of exceptional type. We also prove that its centre is an infinite cyclic group and investigate its normal subgroups. KW - Universal covering group KW - Central extensions of groups KW - Perfect groups KW - Ordered fields KW - Left-ordered groups KW - Order-preserving bijections KW - Euclidean fields Y1 - 2017 U6 - https://doi.org/10.1016/j.jalgebra.2017.05.025 SN - 0021-8693 SN - 1090-266X VL - 486 SP - 288 EP - 327 PB - Elsevier CY - San Diego ER - TY - JOUR A1 - Bubenzer, Johannes T1 - Cycle-aware minimization of acyclic deterministic finite-state automata JF - Discrete applied mathematics N2 - In this paper a linear-time algorithm for the minimization of acyclic deterministic finite-state automata is presented. The algorithm runs significantly faster than previous algorithms for the same task. This is shown by a comparison of the running times of both algorithms. Additionally, a variation of the new algorithm is presented which handles cyclic automata as input. The new cycle-aware algorithm minimizes acyclic automata in the desired way. In case of cyclic input, the algorithm minimizes all acyclic suffixes of the input automaton. KW - Minimization KW - Deterministic finite state automata KW - Algorithmic Y1 - 2014 U6 - https://doi.org/10.1016/j.dam.2013.08.003 SN - 0166-218X SN - 1872-6771 VL - 163 SP - 238 EP - + PB - Elsevier CY - Amsterdam ER - TY - INPR A1 - Buchholz, Thilo A1 - Schulze, Bert-Wolfgang T1 - Volterra operators and parabolicity : anisotropic pseudo-differential operators N2 - Parabolic equations on manifolds with singularities require a new calculus of anisotropic pseudo-differential operators with operator-valued symbols. The paper develops this theory along the lines of sn abstract wedge calculus with strongly continuous groups of isomorphisms on the involved Banach spaces. The corresponding pseodo-diferential operators are continuous in anisotropic wedge Sobolev spaces, and they form an alegbra. There is then introduced the concept of anisotropic parameter-dependent ellipticity, based on an order reduction variant of the pseudo-differential calculus. The theory is appled to a class of parabolic differential operators, and it is proved the invertibility in Sobolev spaces with exponential weights at infinity in time direction. T3 - Preprint - (1998) 11 Y1 - 1998 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-25231 ER - TY - JOUR A1 - Buchholz, Thilo A1 - Schulze, Bert-Wolfgang T1 - Anisotropic edges pseudo-differential operators withdiscrete asymptotics Y1 - 1997 ER - TY - BOOK A1 - Buchholz, Thilo A1 - Schulze, Bert-Wolfgang T1 - Volterra operators and parabolicity : anisotropic pseudo-differential operators T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1998 VL - 1998, 11 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Burenkov, V. A1 - Schulze, Bert-Wolfgang A1 - Tarchanov, Nikolaj N. T1 - Extension operators for sobolev spaces commuting with a given transform Y1 - 1998 ER - TY - THES A1 - Busaman, Saofee T1 - Hyperequational theory for partial algebras T1 - Hyperequationale Theorie für partielle Algebren N2 - Our work goes in two directions. At first we want to transfer definitions, concepts and results of the theory of hyperidentities and solid varieties from the total to the partial case. (1) We prove that the operators chi^A_RNF and chi^E_RNF are only monotone and additive and we show that the sets of all fixed points of these operators are characterized only by three instead of four equivalent conditions for the case of closure operators. (2) We prove that V is n − SF-solid iff clone^SF V is free with respect to itself, freely generated by the independent set {[fi(x_1, . . . , x_n)]Id^SF_n V | i \in I}. (3) We prove that if V is n-fluid and ~V |P(V ) =~V −iso |P(V ) then V is kunsolid for k >= n (where P(V ) is the set of all V -proper hypersubstitutions of type \tau ). (4) We prove that a strong M-hyperquasi-equational theory is characterized by four equivalent conditions. The second direction of our work is to follow ideas which are typical for the partial case. (1) We characterize all minimal partial clones which are strongly solidifyable. (2)We define the operator Chi^A_Ph where Ph is a monoid of regular partial hypersubstitutions.Using this concept, we define the concept of a Phyp_R(\tau )-solid strong regular variety of partial algebras and we prove that a PHyp_R(\tau )-solid strong regular variety satisfies four equivalent conditions. KW - partial algebras KW - hyperequational theory Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-12048 ER - TY - JOUR A1 - Busse, David A1 - Simon, Philipp A1 - Petroff, David A1 - El-Najjar, Nahed A1 - Schmitt, Lisa A1 - Bindellini, Davide A1 - Dietrich, Arne A1 - Zeitlinger, Markus A1 - Huisinga, Wilhelm A1 - Michelet, Robin A1 - Wrigge, Hermann A1 - Kloft, Charlotte T1 - High-dosage fosfomycin results in adequate plasma and target-site exposure in morbidly obese and nonobese nonhyperfiltration patients JF - Antimicrobial agents and chemotherapy N2 - The objectives of this study were the identification in (morbidly) obese and nonobese patients of (i) the most appropriate body size descriptor for fosfomycin dose adjustments and (ii) adequacy of the currently employed dosing regimens. Plasma and target site (interstitial fluid of subcutaneous adipose tissue) concentrations after fosfomycin administration (8 g) to 30 surgery patients (15 obese/15 nonobese) were obtained from a prospective clinical trial. After characterization of plasma and microdialysis-derived target site pharmacokinetics via population analysis, short-term infusions of fosfomycin 3 to 4 times daily were simulated. The adequacy of therapy was assessed by probability of pharmacokinetic/pharmacodynamic target attainment (PTA) analysis based on the unbound drug-related targets of an %fT(>= MIC) (the fraction of time that unbound fosfomycin concentrations exceed the MIC during 24 h) of 70 and an fAUC(0-24h)/MIC (the area under the concentration-time curve from 0 to 24 h for the unbound fraction of fosfomycin relative to the MIC) of 40.8 to 83.3. Lean body weight, fat mass, and creatinine clearance calculated via adjusted body weight (ABW) (CLCRCG_ABW) of all patients (body mass index [BMI] = 20.1 to 52.0 kg/m(2)) explained a considerable proportion of between-patient pharmacokinetic variability (up to 31.0% relative reduction). The steady-state unbound target site/plasma concentration ratio was 26.3% lower in (morbidly) obese than nonobese patients. For infections with fosfomycin-susceptible pathogens (MIC <= 16 mg/L), intermittent "high-dosage" intravenous (i.v.) fosfomycin (8 g, three times daily) was sufficient to treat patients with a CLCRCG_ABW of,130 mL/min, irrespective of the pharmacokinetic/pharmacodynamic indices considered. For infections by Pseudomonas aeruginosa with a MIC of 32 mg/L, when the index fAUC0-24h/MIC is applied, fosfomycin might represent a promising treatment option in obese and nonobese patients, especially in combination therapy to complement beta-lactams, in which carbapenem-resistant P. aeruginosa is critical. In conclusion, fosfomycin showed excellent target site penetration in obese and nonobese patients. Dosing should be guided by renal function rather than obesity status. KW - population pharmacokinetics KW - pharmacodynamics KW - fosfomycin KW - obesity KW - adipose tissue KW - interstitial space fluid KW - microdialysis KW - anti-infective KW - probability of target attainment Y1 - 2022 U6 - https://doi.org/10.1128/aac.02302-21 SN - 0066-4804 SN - 1098-6596 VL - 66 IS - 6 PB - American Society for Microbiology CY - Washington ER - TY - THES A1 - Butkote, Runglawan T1 - Universal-algebraic and Semigroup-theoretical Properties of Boolean Operations Y1 - 2009 CY - Potsdam ER - TY - GEN A1 - Butuzov, Valentin F. A1 - Nefedov, N. N. A1 - Recke, Lutz A1 - Omel'chenko, Oleh T1 - Partly dissipative system with multizonal initial and boundary layers T2 - Journal of Physics: Conference Series N2 - For a singularly perturbed parabolic - ODE system we construct the asymptotic expansion in the small parameter in the case, when the degenerate equation has a double root. Such systems, which are called partly dissipative reaction-diffusion systems, are used to model various natural processes, including the signal transmission along axons, solid combustion and the kinetics of some chemical reactions. It turns out that the algorithm of the construction of the boundary layer functions and the behavior of the solution in the boundary layers essentially differ from that ones in case of a simple root. The multizonal initial and boundary layers behaviour was stated. Y1 - 2019 U6 - https://doi.org/10.1088/1742-6596/1205/1/012009 SN - 1742-6588 SN - 1742-6596 VL - 1205 PB - IOP Publ. CY - Bristol ER - TY - JOUR A1 - Bär, Christian T1 - The Faddeev-LeVerrier algorithm and the Pfaffian JF - Linear algebra and its applications N2 - We adapt the Faddeev-LeVerrier algorithm for the computation of characteristic polynomials to the computation of the Pfaffian of a skew-symmetric matrix. This yields a very simple, easy to implement and parallelize algorithm of computational cost O(n(beta+1)) where nis the size of the matrix and O(n(beta)) is the cost of multiplying n x n-matrices, beta is an element of [2, 2.37286). We compare its performance to that of other algorithms and show how it can be used to compute the Euler form of a Riemannian manifold using computer algebra. KW - Characteristic polynomial KW - Determinant KW - Pfaffian KW - Gauss-Bonnet-Chern KW - theorem Y1 - 2021 U6 - https://doi.org/10.1016/j.laa.2021.07.023 SN - 0024-3795 SN - 1873-1856 VL - 630 SP - 39 EP - 55 PB - Elsevier CY - New York ER - TY - JOUR A1 - Bär, Christian T1 - The curl operator on odd-dimensional manifolds JF - Journal of mathematical physics N2 - We study the spectral properties of curl, a linear differential operator of first order acting on differential forms of appropriate degree on an odd-dimensional closed oriented Riemannian manifold. In three dimensions, its eigenvalues are the electromagnetic oscillation frequencies in vacuum without external sources. In general, the spectrum consists of the eigenvalue 0 with infinite multiplicity and further real discrete eigenvalues of finite multiplicity. We compute the Weyl asymptotics and study the zeta-function. We give a sharp lower eigenvalue bound for positively curved manifolds and analyze the equality case. Finally, we compute the spectrum for flat tori, round spheres, and 3-dimensional spherical space forms. Published under license by AIP Publishing. Y1 - 2019 U6 - https://doi.org/10.1063/1.5082528 SN - 0022-2488 SN - 1089-7658 VL - 60 IS - 3 PB - American Institute of Physics CY - Melville ER - TY - JOUR A1 - Bär, Christian T1 - Spectral bounds for Dirac operators on open manifolds N2 - We extend several classical eigenvalue estimates for Dirac operators on compact manifolds to noncompact, even incomplete manifolds. This includes Friedrich's estimate for manifolds with positive scalar curvature as well as the author's estimate on surfaces. Y1 - 2009 UR - http://www.springerlink.com/content/100233 U6 - https://doi.org/10.1007/s10455-008-9149-1 SN - 0232-704X ER - TY - JOUR A1 - Bär, Christian T1 - Geometrically formal 4-manifolds with nonnegative sectional curvature JF - Communications in analysis and geometry N2 - A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is strictly positive, the manifold must be homeomorphic to S-4 or diffeomorphic to CP2. This conclusion stills holds true if the sectional curvature is strictly positive and we relax the condition of geometric formality to the requirement that the length of harmonic 2-forms is not too nonconstant. In particular, the Hopf conjecture on S-2 x S-2 holds in this class of manifolds. Y1 - 2015 SN - 1019-8385 SN - 1944-9992 VL - 23 IS - 3 SP - 479 EP - 497 PB - International Press of Boston CY - Somerville ER - TY - JOUR A1 - Bär, Christian T1 - Green-Hyperbolic Operators on Globally Hyperbolic Spacetimes JF - Communications in mathematical physics N2 - Green-hyperbolic operators are linear differential operators acting on sections of a vector bundle over a Lorentzian manifold which possess advanced and retarded Green's operators. The most prominent examples are wave operators and Dirac-type operators. This paper is devoted to a systematic study of this class of differential operators. For instance, we show that this class is closed under taking restrictions to suitable subregions of the manifold, under composition, under taking "square roots", and under the direct sum construction. Symmetric hyperbolic systems are studied in detail. Y1 - 2015 U6 - https://doi.org/10.1007/s00220-014-2097-7 SN - 0010-3616 SN - 1432-0916 VL - 333 IS - 3 SP - 1585 EP - 1615 PB - Springer CY - New York ER - TY - INPR A1 - Bär, Christian T1 - Renormalized integrals and a path integral formula for the heat kernel on a manifold N2 - We introduce renormalized integrals which generalize conventional measure theoretic integrals. One approximates the integration domain by measure spaces and defines the integral as the limit of integrals over the approximating spaces. This concept is implicitly present in many mathematical contexts such as Cauchy's principal value, the determinant of operators on a Hilbert space and the Fourier transform of an L^p function. We use renormalized integrals to define a path integral on manifolds by approximation via geodesic polygons. The main part of the paper is dedicated to the proof of a path integral formula for the heat kernel of any self-adjoint generalized Laplace operator acting on sections of a vector bundle over a compact Riemannian manifold. T3 - Preprints des Instituts für Mathematik der Universität Potsdam - 1(2012)21 KW - Renormalized integral KW - path integral KW - Feynman-Kac formula KW - generalized Laplace operator KW - Riemannian manifold Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-60052 ER - TY - INPR A1 - Bär, Christian T1 - Some properties of solutions to weakly hypoelliptic equations N2 - A linear differential operator L is called weakly hypoelliptic if any local solution u of Lu = 0 is smooth. We allow for systems, i.e. the coefficients may be matrices, not necessarily of square size. This is a huge class of important operators which covers all elliptic, overdetermined elliptic, subelliptic and parabolic equations. We extend several classical theorems from complex analysis to solutions of any weakly hypoelliptic equation: the Montel theorem providing convergent subsequences, the Vitali theorem ensuring convergence of a given sequence, and Riemann's first removable singularity theorem. In the case of constant coefficients we show that Liouville's theorem holds, any bounded solution must be constant and any L^p solution must vanish. T3 - Preprints des Instituts für Mathematik der Universität Potsdam - 1(2012)22 KW - Hypoelliptic operators KW - hypoelliptic estimate KW - Montel theorem KW - Vitali theorem KW - Liouville theorem Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-60064 ER - TY - INPR A1 - Bär, Christian A1 - Ballmann, Werner T1 - Boundary value problems for elliptic differential operators of first order N2 - We study boundary value problems for linear elliptic differential operators of order one. The underlying manifold may be noncompact, but the boundary is assumed to be compact. We require a symmetry property of the principal symbol of the operator along the boundary. This is satisfied by Dirac type operators, for instance. We provide a selfcontained introduction to (nonlocal) elliptic boundary conditions, boundary regularity of solutions, and index theory. In particular, we simplify and generalize the traditional theory of elliptic boundary value problems for Dirac type operators. We also prove a related decomposition theorem, a general version of Gromov and Lawson's relative index theorem and a generalization of the cobordism theorem. T3 - Preprints des Instituts für Mathematik der Universität Potsdam - 1(2012)18 KW - Elliptic operators KW - elliptic boundary conditions KW - completeness KW - coercivity KW - boundary regularity Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-60023 ER - TY - JOUR A1 - Bär, Christian A1 - Bandara, Lashi T1 - Boundary value problems for general first-order elliptic differential operators JF - Journal of functional analysis N2 - We study boundary value problems for first-order elliptic differential operators on manifolds with compact boundary. The adapted boundary operator need not be selfadjoint and the boundary condition need not be pseudo-local.We show the equivalence of various characterisations of elliptic boundary conditions and demonstrate how the boundary conditions traditionally considered in the literature fit in our framework. The regularity of the solutions up to the boundary is proven. We show that imposing elliptic boundary conditions yields a Fredholm operator if the manifold is compact. We provide examples which are conveniently treated by our methods. KW - elliptic differential operators of firstorder KW - elliptic boundary KW - conditions KW - boundary regularity KW - Fredholm property KW - H-infinity-functional calculus KW - maximal regularity KW - Rarita-Schwinger KW - operator Y1 - 2022 U6 - https://doi.org/10.1016/j.jfa.2022.109445 SN - 0022-1236 SN - 1096-0783 VL - 282 IS - 12 PB - Elsevier CY - Amsterdam [u.a.] ER - TY - JOUR A1 - Bär, Christian A1 - Becker, Christian T1 - Differential characters and geometric chains JF - Lecture notes in mathematics : a collection of informal reports and seminars JF - Lecture Notes in Mathematics N2 - We study Cheeger-Simons differential characters and provide geometric descriptions of the ring structure and of the fiber integration map. The uniqueness of differential cohomology (up to unique natural transformation) is proved by deriving an explicit formula for any natural transformation between a differential cohomology theory and the model given by differential characters. Fiber integration for fibers with boundary is treated in the context of relative differential characters. As applications we treat higher-dimensional holonomy, parallel transport, and transgression. Y1 - 2014 SN - 978-3-319-07034-6; 978-3-319-07033-9 U6 - https://doi.org/10.1007/978-3-319-07034-6_1 SN - 0075-8434 VL - 2112 SP - 1 EP - 90 PB - Springer CY - Berlin ER - TY - JOUR A1 - Bär, Christian A1 - Bessa, C. Pacelli T1 - Stochastic completeness and volume growth N2 - It was suggested in 1999 that a certain volume growth condition for geodesically complete Riemannian manifolds might imply that the manifold is stochastically complete. This is motivated by a large class of examples and by a known analogous criterion for recurrence of Brownian motion. We show that the suggested implication is not true in general. We also give counterexamples to a converse implication. Y1 - 2010 UR - http://www.ams.org/proc/ U6 - https://doi.org/10.1090/S0002-9939-10-10281-0 SN - 0002-9939 ER - TY - JOUR A1 - Bär, Christian A1 - Dahl, Matthias T1 - The first dirac eigenvalue on manifolds with positive scalar curvature N2 - We show that on every compact spin manifold admitting a Riemannian metric of positive scalar curvature Friedrich's eigenvalue estimate for the Dirac operator can be made sharp up to an arbitrarily small given error by choosing the metric suitably. Y1 - 2004 UR - http://xxx.uni-augsburg.de/abs/math.DG/0305277 ER - TY - JOUR A1 - Bär, Christian A1 - Dahl, Matthias T1 - Small eigenvalues of the conformal laplacian N2 - We introduce a differential topological invariant for compact differentiable manifolds by counting the small eigenvalues of the Conformal Laplace operator. This invariant vanishes if and only if the manifold has a metric of positive scalar curvature. We show that the invariant does not increase under surgery of codimension at least three and we give lower and upper bounds in terms of the alpha-genus. Y1 - 2003 UR - http://xxx.uni-augsburg.de/abs/math.DG/0204200 ER - TY - INPR A1 - Bär, Christian A1 - Ginoux, Nicolas T1 - Classical and quantum fields on Lorentzian manifolds N2 - We construct bosonic and fermionic locally covariant quantum fields theories on curved backgrounds for large classes of fields. We investigate the quantum field and n-point functions induced by suitable states. T3 - Preprints des Instituts für Mathematik der Universität Potsdam - 1(2012)15 KW - Wave operator KW - Dirac-type operator KW - globally hyperbolic spacetime KW - Green's operator KW - CCR-algebra Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-59973 ER - TY - BOOK A1 - Bär, Christian A1 - Ginoux, Nicolas A1 - Pfäffle, Frank T1 - Wave equations on lorentzian manifolds and quantization Y1 - 2007 SN - 978-3-03719-037-1 PB - European Math. Society CY - Zürich ER - TY - JOUR A1 - Bär, Christian A1 - Gouduchon, Paul A1 - Moroianu, Andrei T1 - Generalized Cylinders in Semi-Riemannian and Spin Geometry N2 - We use a construction which we call generalized cylinders to give a new proof of the fundamental theorem of hypersurface theory. It has the advantage of being very simple and the result directly extends to semi-Riemannian manifolds and to embeddings into spaces of constant curvature. We also give a new way to identify spinors for different metrics and to derive the variation formula for the Dirac operator. Moreover, we show that generalized Killing spinors for Codazzi tensors are restrictions of parallel spinors. Finally, we study the space of Lorentzian metrics and give a criterion when two Lorentzian metrics on a manifold can be joined in a natural manner by a 1-parameter family of such metrics. Y1 - 2005 UR - http://xxx.uni-augsburg.de/abs/math.DG/0303095 ER -