Refine
Year of publication
- 2005 (102) (remove)
Document Type
- Article (36)
- Monograph/Edited Volume (32)
- Preprint (29)
- Doctoral Thesis (3)
- Postprint (2)
Keywords
- Carleman matrix (2)
- Laplace equation (2)
- Stochastic Differential Equation (2)
- elliptic system (2)
- hard core potential (2)
- regularization (2)
- reversible measure (2)
- the Cauchy problem (2)
- 4-Mannigfaltigkeiten (1)
- Boundary-contact problems (1)
Institute
- Institut für Mathematik (102) (remove)
Parallel File Systems like PVFS2 are a necessary compo nent for high-performance computing. The design of ef ;cient communication layers for these systems is still of great research interest. This paper presents a low- latency messaging method for PVFS2 dedicated for Gigabit Ether net networks and discusses relevant design issues. In con trast to other approaches, we argue that zero-copying can be achieved also for big messages without use of a rendez vous protocol. Further, ef;ciency within the communica tion layer like a small call stack plays an important role.
A new condensation principle
(2005)
We generalize del(A), which was introduced in [Schinfinity], to larger cardinals. For a regular cardinal kappa>N-0 we denote by del(kappa)(A) the statement that Asubset of or equal tokappa and for all regular theta>kappa(o), {X is an element of[L-theta[A]](<) : X &AND; &ISIN; &AND; otp (X &AND; Ord) &ISIN; Card (L[A&AND;X&AND;])} is stationary in [L-[A]](<). It was shown in [Sch&INFIN;] that &DEL;(N1) (A) can hold in a set-generic extension of L. We here prove that &DEL;(N2) (A) can hold in a set-generic extension of L as well. In both cases we in fact get equiconsistency theorems. This strengthens results of [Ra00] and [Ran01]. &DEL;(N3) () is equivalent with the existence of 0#
We study multi-dimensional gravitational models with scalar curvature nonlinearities of types R-1 and R-4. It is assumed that the corresponding higher dimensional spacetime manifolds undergo a spontaneous compactification to manifolds with a warped product structure. Special attention has been paid to the stability of the extra-dimensional factor spaces. It is shown that for certain parameter regions the systems allow for a freezing stabilization of these spaces. In particular, we find for the R-1 model that configurations with stabilized extra dimensions do not provide a late-time Acceleration (they are AdS), whereas the solution branch which allows. for accelerated expansion (the dS branch) is incompatible with stabilized factor spaces. In the case of the R-4 model, we obtain that the stability region in parameter space depends on the total dimension D = dim(M) of the higher dimensional spacetime M. Tor D > 8 the stability region consists of a single (absolutely stable) sector which is shielded from a conformal singularity (and an antigravity sector beyond it) by a potential barrier of infinite height and width. This sector is smoothly connected with the stability region of a curvature-linear model. For D < 8 an additional (metastable) sector exists Which is separated from the conformal singularity by a potential barrier of finite height and width so that systems in this sector are prone to collapse into the conformal singularity. This second sector is not smoothly connected with the first (absolutely stable) one. Several limiting cases and the possibility of inflation are discussed for the R-4 model
Recent work on mutation-selection models has revealed that, under specific assumptions on the fitness function and the mutation rates, asymptotic estimates for the leading eigenvalue of the mutation-reproduction matrix may be obtained through a low-dimensional maximum principle in the limit N --> infinity (where N, or N-d with d greater than or equal to 1, is proportional to the number of types). In order to extend this variational principle to a larger class of models, we consider here a family of reversible matrices of asymptotic dimension N-d and identify conditions under which the high-dimensional Rayleigh-Ritz variational problem may be reduced to a low-dimensional one that yields the leading eigenvalue up to an error term of order 1/N. For a large class of mutation-selection models, this implies estimates for the mean fitness, as well as a concentration result for the ancestral distribution of types
In this paper, a global existence result of smooth solutions to the multidimen- sional nonisentropic hydrodynamic model for semiconductors is proved, under the assumption that the initial data is a perturbation of the stationary solutions for the thermal equilibrium state. The resulting evolutionary solutions converge to the stationary solutions in time asymptotically exponentially fast.
We show relative index formulas for boundary value problems in cylindrical domains and Sobolev spaces with different weights at too. The amplitude functions are meromorphic in the axial covariable and take values in the space of boundary value problems on the cross section of the cylinder. Copyright (c) 2005 John Wiley & Sons, Ltd
We define a class of boundary value problems on manifolds with fibered boundary. This class is in a certain sense a deformation between the classical boundary value problems and the Atiyah-Patodi-Singer problems in subspaces (it contains both as special cases). The boundary conditions in this theory are taken as elements of the C*-algebra generated by pseudodifferential operators and families of pseudodifferential operators in the fibers. We prove the Fredholm. property for elliptic boundary value problems and compute a topological obstruction (similar to Atiyah-Bott obstruction) to the existence of elliptic boundary conditions for a given elliptic operator. Geometric operators with trivial and nontrivial obstruction are given. (c) 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
We describe a new algebra of boundary value problems which contains Lopatinskii elliptic as well as Toeplitz type conditions. These latter are necessary, if an analogue of the Atiyah-Bott obstruction does not vanish. Every elliptic operator is proved to admit up to a stabilisation elliptic conditions of such a kind. Corresponding boundary value problems are then Fredholm in adequate scales of spaces. The crucial novelty consists of the new type of weighted Sobolev spaces which serve as domains of pseudodifferential operators and which fit well to the nature of operators.
We study boundary-contact problems for elliptic equations (and systems) with interfaces that have conical singularities. Such problems represent continuous operators between weighted Sobolev spaces and subspaces with asymptotics. Ellipticity is formulated in terms of extra transmission conditions along the interfaces with a control of the conormal symbolic structure near conical singularities. We show regularity and asymptotics of solutions in weighted spaces, and we construct parametrices. The result will be illustrated by a number of explicit examples. (c) 2004 Elsevier Inc. All rights reserved
We study boundary-contact problems for elliptic equations (and systems) with interfaces that have edge singularities. Such problems represent continuous operators between weighted edge spaces and subspaces with asymptotics. Ellipticity is formulated in terms of a principal symbolic hierarchy, containing interior, transmission, and edge symbols. We construct parametrices, show regularity with asymptotics of solutions in weighted edge spaces and illustrate the results by boundary-contact problems for the Laplacian with jumping coefficients.
We consider an infinite system of hard balls in Rd undergoing Brownian motions and submitted to a pair potential with infinite range and quasi polynomial decay. It is modelized by an infinite-dimensional Stochastic Differential Equation with an infinite-dimensional local time term. Existence and uniqueness of a strong solution is proven for such an equation with deterministic initial condition. We also show that the set of all equilibrium measures, solution of a Detailed Balance Equation, coincides with the set of canonical Gibbs measures associated to the hard core potential.
In this paper, we propose a method of surface waves characterization based on the deformation of the wavelet transform of the analysed signal. An estimate of the phase velocity (the group velocity) and the attenuation coefficient is carried out using a model-based approach to determine the propagation operator in the wavelet domain, which depends nonlinearly on a set of unknown parameters. These parameters explicitly define the phase velocity, the group velocity and the attenuation. Under the assumption that the difference between waveforms observed at a couple of stations is solely due to the dispersion characteristics and the intrinsic attenuation of the medium, we then seek to find the set of unknown parameters of this model. Finding the model parameters turns out to be that of an optimization problem, which is solved through the minimization of an appropriately defined cost function. We show that, unlike time-frequency methods that exploit only the square modulus of the transform, we can achieve a complete characterization of surface waves in a dispersive and attenuating medium. Using both synthetic examples and experimental data, we also show that it is in principle possible to separate different modes in both the time domain and the frequency domain
There is a close connection between a variety and its clone. The clone of a variety is a multibased algebra, where the different universes are the sets of n-ary terms over this variety for every natural number n and where the operations describe the superposition of terms of different arities. All projections are added as nullary operations. Subvarieties correspond to homomorphic images of clones. Subclones can be described by reducts of varieties, isomorphic clones by equivalent varieties. Clone identities correspond to hyperidentities and varieties of clones to hypervarieties. Pseudovarieties are classes of finite algebras which are closed under taking of subalgebras, homomorphic images and finite direct products. Pseudovarieties are important in the theories of finite state automata, rational languages, finite semigroups and their connections. In a very natural way, there arises the question for the clone of a pseudovariety. In the present paper, we will describe this algebraic structure
The flux tube solution in the Euclidean spacetime with the color longitudinal electric field in the SU(2) Yang- Mills-Higgs theory with broken gauge symmetry is found. Some arguments are given that this flux tube is a pure quantum object in the SU(3) quantum theory reduced to the SU(2) Yang-Mills-Higgs theory
Mixed elliptic problems are characterised by conditions that have a discontinuity on an interface of the boundary of codimension 1. The case of a smooth interface is treated in [3]; the investigation there refers to additional interface conditions and parametrices in standard Sobolev spaces. The present paper studies a necessary structure for the case of interfaces with conical singularities, namely, corner conormal symbols of such operators. These may be interpreted as families of mixed elliptic problems on a manifold with smooth interface. We mainly focus on second order operators and additional interface conditions that are holomorphic in an extra parameter. In particular, for the case of the Zaremba problem we explicitly obtain the number of potential conditions in this context. The inverses of conormal symbols are meromorphic families of pseudo-differential mixed problems referring to a smooth interface. Pointwise they can be computed along the lines [3].
In this paper, we consider families of time Markov fields (or reciprocal classes) which have the same bridges as a Brownian diffusion. We characterize each class as the set of solutions of an integration by parts formula on the space of continuous paths C[0; 1]; R-d) Our techniques provide a characterization of gradient diffusions by a duality formula and, in case of reversibility, a generalization of a result of Kolmogorov.
Operators on a manifold with (geometric) singularities are degenerate in a natural way. They have a principal symbolic structure with contributions from the different strata of the configuration. We study the calculus of such operators on the level of edge symbols of second generation, based on specific quantizations of the corner-degenerate interior symbols, and show that this structure is preserved under compositions.
We investigate general Shapiro-Lopatinsky elliptic boundary value problems on manifolds with polycylindrical ends. This is accomplished by compactifying such a manifold to a manifold with corners of in general higher codimension, and we then deal with boundary value problems for cusp differential operators. We introduce an adapted Boutet de Monvel’s calculus of pseudodifferential boundary value problems, and construct parametrices for elliptic cusp operators within this calculus. Fredholm solvability and elliptic regularity up to the boundary and up to infinity for boundary value problems on manifolds with polycylindrical ends follows.
Elliptic operators on smooth compact manifolds are classified by K-homology. We prove that a similar classification is valid also for manifolds with simplest singularities: isolated conical points and edges. The main ingredients of the proof of these results are: Atiyah-Singer difference construction in the noncommutative case and Poincare isomorphism in K- theory for ( our) singular manifolds. As an application we give a formula in topological terms for the obstruction to Fredholm problems on manifolds with edges
The inhomogeneous partial derivative-equation is an inexhaustible source of locally unsolvable equations, subelliptic estimates and other phenomena in partial differential equations. Loosely speaking, for the analysis on complex manifolds with boundary nonelliptic problems are typical rather than elliptic ones. Using explicit integral representations we assign a Fredholm complex to the Dolbeault complex over an arbitrary bounded domain in C-n. (C) 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
For a class of first-order weakly hyperbolic pseudo-differential systems with finite time degeneracy, well- posedness of the Cauchy problem is proved in an adapted scale of Sobolev spaces. These Sobolev spaces are constructed in correspondence to the hyperbolic operator under consideration, making use of ideas from the theory of elliptic boundary value problems on manifolds with singularities. In addition, an upper bound for the loss of regularity that occurs when passing from the Cauchy data to the solutions is established. In many examples, this upper bound turns out to be sharp
A blind separation problem where the sources are not independent, but have variance dependencies is discussed. For this scenario Hyvarinen and Hurri (2004) proposed an algorithm which requires no assumption on distributions of sources and no parametric model of dependencies between components. In this paper, we extend the semiparametric approach of Amari and Cardoso (1997) to variance dependencies and study estimating functions for blind separation of such dependent sources. In particular, we show that many ICA algorithms are applicable to the variance-dependent model as well under mild conditions, although they should in principle not. Our results indicate that separation can be done based only on normalized sources which are adjusted to have stationary variances and is not affected by the dependent activity levels. We also study the asymptotic distribution of the quasi maximum likelihood method and the stability of the natural gradient learning in detail. Simulation results of artificial and realistic examples match well with our theoretical findings
We show that the Schrodinger equation in phase space proposed by Torres-Vega and Frederick is canonical in the sense that it is a natural consequence of the extended Weyl calculus obtained by letting the Heisenberg group act on functions (or half-densities) defined on phase space. This allows us, in passing, to solve rigorously the TF equation for all quadratic Hamiltonians
We show that the Schr¨odinger equation in phase space proposed by Torres-Vega and Frederick is canonical in the sense that it is a natural consequence of the extendedWeyl calculus obtained by letting the Heisenberg group act on functions (or half-densities) defined on phase space. This allows us, in passing, to solve rigorously the TF equation for all quadratic Hamiltonians.
Fokus Mathematik ; Analytische Geometrie Lineare Algebra ; Gymnasiale Oberstufe ; Baden-Württemberg
(2005)
For elliptic systems of differential equations on a manifold with boundary, we prove the Fredholm property of a class of boundary problems which do not satisfy the Shapiro-Lopatinskii property. We name these boundary problems generalised elliptic, for they preserve the main properties of elliptic boundary problems. Moreover, they reduce to systems of pseudodifferential operators on the boundary which are generalised elliptic in the sense of Saks (1997).
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.
A hypersubstitution is a map which takes n-ary operation symbols to n-ary terms. Any such map can be uniquely extended to a map defined on the set W-tau(X) of all terms of type tau, and any two such extensions can be composed in a natural way. Thus, the set Hyp(tau) of all hypersubstitutions of type tau forms a monoid. In this paper, we characterize Green's relation R on the monoid Hyp(tau) for the type tau = (n, n). In this case, the monoid of all hypersubstitutions is isomorphic with the monoid of all Clone endomorphisms. The results can be applied to mutually derived varieties
We give a necessary and sufficient condition for the existence of an increasing coupling of N (N greater as 2) synchronous dynamics on S^Zd (PCA). Increasing means the coupling preserves stochastic ordering. We first present our main construction theorem in the case where S is totally ordered; applications to attractive PCAs are given. When S is only partially ordered, we show on two examples that a coupling of more than two synchronous dynamics may not exist. We also prove an extension of our main result for a particular class of partially ordered spaces.
We give a necessary and sufficient condition for the existence of an increasing coupling of N (N >= 2) synchronous dynamics on S-Zd (PCA). Increasing means the coupling preserves stochastic ordering. We first present our main construction theorem in the case where S is totally ordered; applications to attractive PCAs are given. When S is only partially ordered, we show on two examples that a coupling of more than two synchronous dynamics may not exist. We also prove an extension of our main result for a particular class of partially ordered spaces.
We consider an infinite system of hard balls in Rd undergoing Brownian motions and submitted to a smooth pair potential. It is modelized by an infinite- dimensional Stochastic Differential Equation with an infinite-dimensional local time term. Existence and uniqueness of a strong solution is proven for such an equation with fixed deterministic initial condition. We also show that Gibbs measures are reversible measures.
We consider a system of infinitely many hard balls in Rd undergoing Brownian motions and submitted to a smooth pair potential. It is modelized by an infinite-dimensional Stochastic Differential Equation with a local time term. We prove that the set of all equilibrium measures, solution of a Detailed Balance Equation, coincides with the set of canonical Gibbs measures associated to the hard core potential added to the smooth interaction potential.
M-solid Pseudovarieties
(2005)
Mathematik : Stochastik ; Handreichungen für den Unterricht ; Gymnasiale Oberstufe [Schülerbuch]
(2005)
Metastability in reversible diffusion processes : II. Precise asymptotics for small eigenvalues
(2005)
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
In order to characterise the C*-algebra generated by the singular Bochner-Martinelli integral over a smooth closed hypersurfaces in Cn, we compute its principal symbol. We show then that the Szegö projection belongs to the strong closure of the algebra generated by the singular Bochner-Martinelli integral.