Refine
Has Fulltext
- yes (329) (remove)
Year of publication
Document Type
- Preprint (283)
- Article (25)
- Postprint (16)
- Monograph/Edited Volume (3)
- Doctoral Thesis (2)
Language
- English (309)
- German (17)
- French (2)
- Multiple languages (1)
Is part of the Bibliography
- no (329) (remove)
Keywords
- random point processes (15)
- statistical mechanics (15)
- stochastic analysis (15)
- elliptic operators (9)
- boundary value problems (8)
- index (8)
- K-theory (7)
- manifolds with singularities (6)
- pseudodifferential operators (6)
- relative index (6)
Institute
- Institut für Mathematik (329) (remove)
Boundary value problems for pseudodifferential operators (with or without the transmission property) are characterised as a substructure of the edge pseudodifferential calculus with constant discrete asymptotics. The boundary in this case is the edge and the inner normal the model cone of local wedges. Elliptic boundary value problems for non-integer powers of the Laplace symbol belong to the examples as well as problems for the identity in the interior with a prescribed number of trace and potential conditions. Transmission operators are characterised as smoothing Mellin and Green operators with meromorphic symbols.
Ellipticity of operators on manifolds with conical singularities or parabolicity on space-time cylinders are known to be linked to parameter-dependent operators (conormal symbols) on a corresponding base manifold. We introduce the conormal symbolic structure for the case of corner manifolds, where the base itself is a manifold with edges and boundary. The specific nature of parameter-dependence requires a systematic approach in terms of meromorphic functions with values in edge-boundary value problems. We develop here a corresponding calculus, and we construct inverses of elliptic elements.
We study the Cauchy problem for the oscillation equation of the couple-stress theory of elasticity in a bounded domain in R3. Both the displacement and stress are given on a part S of the boundary of the domain. This problem is densely solvable while data of compact support in the interior of S fail to belong to the range of the problem. Hence the problem is ill-posed which makes the standard calculi of Fourier integral operators inapplicable. If S is real analytic the Cauchy-Kovalevskaya theorem applies to guarantee the existence of a local solution. We invoke the special structure of the oscillation equation to derive explicit conditions of global solvability and an approximation solution.
We introduce the calculus of Mellin pseudodifferential operators parameters based on "twisted" operator-valued Volterra symbols as well aas the abstract Mellin calclus with holomorphic symbols. We establish the properties of the symblic and operational calculi, and we give and make use of explicit oscillatory integral formulas on the symbolic side, e. g., for the Leibniz-product, kernel cut-off, and Mellin quantization. Moreover, we introduce the notion of parabolicity for the calculi of Volterra Mellin operators, and construct Volterra parametrices for parabolic operators within the calculi.
We consider a nonparametric survival model with random censoring. To test whether the hazard rate has a parametric form the unknown hazard rate is estimated by a kernel estimator. Based on a limit theorem stating the asymptotic normality of the quadratic distance of this estimator from the smoothed hypothesis an asymptotic ®-test is proposed. Since the test statistic depends on the maximum likelihood estimator for the unknown parameter in the hypothetical model properties of this parameter estimator are investigated. Power considerations complete the approach.
The accelerated life time model is considered. First, test procedures for testing the parameter of a parametric acceleration function is investigated; this is done under the assumption of parametric and nonparametric baseline distribution. Further, based on nonparametric estimators for regression functions tests are proposed for checking whether a parametric acceleration function is appropriate to model the influence of the covariates. Resampling procedures are discussed for the realization of these methods. Simulations complete the considerations.
In this article we analyse the structure of Markov processes and reciprocal processes to underline their time symmetrical properties, and to compare them. Our originality consists in adopting a unifying approach of reciprocal processes, independently of special frameworks in which the theory was developped till now (diffusions, or pure jump processes). This leads to some new results, too.
A Hamiltonian system in potential form (formula in the original abstract) subject to smooth constraints on q can be viewed as a Hamiltonian system on a manifold, but numerical computations must be performed in Rn. In this paper methods which reduce "Hamiltonian differential algebraic equations" to ODEs in Euclidean space are examined. The authors study the construction of canonical parameterizations or local charts as well as methods based on the construction of ODE systems in the space in which the constraint manifold is embedded which preserve the constraint manifold as an invariant manifold. In each case, a Hamiltonian system of ordinary differential equations is produced. The stability of the constraint invariants and the behavior of the original Hamiltonian along solutions are investigated both numerically and analytically.
Contents: Part I: Symplectic Geometry Chapter 1: Symplectic Spaces and Lagrangian Planes Chapter 2: The Symplectic Group Chapter 3: Multi-Oriented Symplectic Geometry Chapter 4: Intersection Indices in Lag(n) and Sp(n) Part II: Heisenberg Group, Weyl Calculus, and Metaplectic Representation Chapter 5: Lagrangian Manifolds and Quantization Chapter 6: Heisenberg Group and Weyl Operators Chapter 7: The Metaplectic Group Part III: Quantum Mechanics in Phase Space Chapter 8: The Uncertainty Principle Chapter 9: The Density Operator Chapter 10: A Phase Space Weyl Calculus
Boundary value problems for (pseudo-) differential operators on a manifold with edges can be characterised by a hierarchy of symbols. The symbol structure is responsible or ellipicity and for the nature of parametrices within an algebra of "edge-degenerate" pseudo-differential operators. The edge symbol component of that hierarchy takes values in boundary value problems on an infinite model cone, with edge variables and covariables as parameters. Edge symbols play a crucial role in this theory, in particular, the contribution with holomorphic operatot-valued Mellin symbols. We establish a calculus in s framework of "twisted homogenity" that refers to strongly continuous groups of isomorphisms on weighted cone Sobolev spaces. We then derive an equivalent representation with a particularly transparent composition behaviour.
We prove a theorem describing the behaviour of the relative index of families of Fredholm operators under surgery performed on spaces where the operators act. In connection with additional conditions (like symmetry conditions) this theorem results in index formulas for given operator families. By way of an example, we give an application to index theory of families of boundary value problems.
We prove a general theorem on the local property of the relative index for a wide class of Fredholm operators, including relative index theorems for elliptic operators due to Gromov-Lawson, Anghel, Teleman, Booß-Bavnbek-Wojciechowski, et al. as special cases. In conjunction with additional conditions (like symmetry conditions) this theorem permits one to compute the analytical index of a given operator. In particular, we obtain new index formulas for elliptic pseudodifferential operators and quantized canonical transformations on manifolds with conical singularities as well as for elliptic boundary value problems with a symmetry condition for the conormal symbol.
We consider a (generally, non-coercive) mixed boundary value problem in a bounded domain for a second order elliptic differential operator A. The differential operator is assumed to be of divergent form and the boundary operator B is of Robin type. The boundary is assumed to be a Lipschitz surface. Besides, we distinguish a closed subset of the boundary and control the growth of solutions near this set. We prove that the pair (A,B) induces a Fredholm operator L in suitable weighted spaces of Sobolev type, the weight function being a power of the distance to the singular set. Moreover, we prove the completeness of root functions related to L.
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.
Many methods have been proposed for the stabilization of higher index differential-algebraic equations (DAEs). Such methods often involve constraint differentiation and problem stabilization, thus obtaining a stabilized index reduction. A popular method is Baumgarte stabilization, but the choice of parameters to make it robust is unclear in practice. Here we explain why the Baumgarte method may run into trouble. We then show how to improve it. We further develop a unifying theory for stabilization methods which includes many of the various techniques proposed in the literature. Our approach is to (i) consider stabilization of ODEs with invariants, (ii) discretize the stabilizing term in a simple way, generally different from the ODE discretization, and (iii) use orthogonal projections whenever possible. The best methods thus obtained are related to methods of coordinate projection. We discuss them and make concrete algorithmic suggestions.
Many methods have been proposed for the simulation of constrained mechanical systems. The most obvious of these have mild instabilities and drift problems. Consequently, stabilization techniques have been proposed A popular stabilization method is Baumgarte's technique, but the choice of parameters to make it robust has been unclear in practice. Some of the simulation methods that have been proposed and used in computations are reviewed here, from a stability point of view. This involves concepts of differential-algebraic equation (DAE) and ordinary differential equation (ODE) invariants. An explanation of the difficulties that may be encountered using Baumgarte's method is given, and a discussion of why a further quest for better parameter values for this method will always remain frustrating is presented. It is then shown how Baumgarte's method can be improved. An efficient stabilization technique is proposed, which may employ explicit ODE solvers in case of nonstiff or highly oscillatory problems and which relates to coordinate projection methods. Examples of a two-link planar robotic arm and a squeezing mechanism illustrate the effectiveness of this new stabilization method.
For elliptic operators on manifolds with boundary, we define spectral boundary value problems, which generalize the Atiyah-Patodi-Singer problem to the case of nonhomogeneous boundary conditions, operators of arbitrary order, and nonself-adjoint conormal symbols. The Fredholm property is proved and equivalence with certain elliptic equations on manifolds with conical singularities is established.
We consider the numerical treatment of Hamiltonian systems that contain a potential which grows large when the system deviates from the equilibrium value of the potential. Such systems arise, e.g., in molecular dynamics simulations and the spatial discretization of Hamiltonian partial differential equations. Since the presence of highly oscillatory terms in the solutions forces any explicit integrator to use very small step size, the numerical integration of such systems provides a challenging task. It has been suggested before to replace the strong potential by a holonomic constraint that forces the solutions to stay at the equilibrium value of the potential. This approach has, e.g., been successfully applied to the bond stretching in molecular dynamics simulations. In other cases, such as the bond-angle bending, this methods fails due to the introduced rigidity. Here we give a careful analysis of the analytical problem by means of a smoothing operator. This will lead us to the notion of the smoothed dynamics of a highly oscillatory Hamiltonian system. Based on our analysis, we suggest a new constrained formulation that maintains the flexibility of the system while at the same time suppressing the high-frequency components in the solutions and thus allowing for larger time steps. The new constrained formulation is Hamiltonian and can be discretized by the well-known SHAKE method.
In single photon emission computed tomography (SPECT) one is interested in reconstructing the activity distribution f of some radiopharmaceutical. The data gathered suffer from attenuation due to the tissue density µ. Each imaged slice incorporates noisy sample values of the nonlinear attenuated Radon transform (formular at this place in the original abstract) Traditional theory for SPECT reconstruction treats µ as a known parameter. In practical applications, however, µ is not known, but either crudely estimated, determined in costly additional measurements or plainly neglected. We demonstrate that an approximation of both f and µ from SPECT data alone is feasible, leading to quantitatively more accurate SPECT images. The result is based on nonlinear Tikhonov regularization techniques for parameter estimation problems in differential equations combined with Gauss-Newton-CG minimization.
We consider a class of infinite-dimensional diffusions where the interaction between the components is both spatial and temporal. We start the system from a Gibbs measure with finiterange uniformly bounded interaction. Under suitable conditions on the drift, we prove that there exists t0 > 0 such that the distribution at time t = t0 is a Gibbs measure with absolutely summable interaction. The main tool is a cluster expansion of both the initial interaction and certain time-reversed Girsanov factors coming from the dynamics.
Semiclassical asymptotics for the scattering amplitude in the presence of focal points at infinity
(2006)
We consider scattering in $\R^n$, $n\ge 2$, described by the Schr\"odinger operator $P(h)=-h^2\Delta+V$, where $V$ is a short-range potential. With the aid of Maslov theory, we give a geometrical formula for the semiclassical asymptotics as $h\to 0$ of the scattering amplitude $f(\omega_-,\omega_+;\lambda,h)$ $\omega_+\neq\omega_-$) which remains valid in the presence of focal points at infinity (caustics). Crucial for this analysis are precise estimates on the asymptotics of the classical phase trajectories and the relationship between caustics in euclidean phase space and caustics at infinity.
The ill-posed problem of aerosol size distribution determination from a small number of backscatter and extinction measurements was solved successfully with a mollifier method which is advantageous since the ill-posed part is performed on exactly given quantities, the points r where n(r) is evaluated may be freely selected. A new twodimensional model for the troposphere is proposed.
We prove the existence of sectors of minimal growth for general closed extensions of elliptic cone operators under natural ellipticity conditions. This is achieved by the construction of a suitable parametrix and reduction to the boundary. Special attention is devoted to the clarification of the analytic structure of the resolvent.
The problem of analytic representation of integrable CR functions on hypersurfaces with singularities is treated. The nature o singularities does not matter while the set of singularities has surface measure zero. For simple singularities like cuspidal points, edges, corners, etc., also the behaviour of representing analytic functions near singular points is studied.
Relative elliptic theory
(2002)
This paper is a survey of relative elliptic theory (i.e. elliptic theory in the category of smooth embeddings), closely related to the Sobolev problem, first studied by Sternin in the 1960s. We consider both analytic aspects to the theory (the structure of the algebra of morphismus, ellipticity, Fredholm property) and topological aspects (index formulas and Riemann-Roch theorems). We also study the algebra of Green operators arising as a subalgebra of the algebra of morphisms.
Given an algebra of pseudo-differential operators on a manifold, an elliptic element is said to be a reduction of orders, if it induces isomorphisms of Sobolev spaces with a corresponding shift of smoothness. Reductions of orders on a manifold with boundary refer to boundary value problems. We consider smooth symbols and ellipticity without additional boundary conditions which is the relevant case on a manifold with boundary. Starting from a class of symbols that has been investigated before for integer orders in boundary value problems with the transmission property we study operators of arbitrary real orders that play a similar role for operators without the transmission property. Moreover, we show that order reducing symbols have the Volterra property and are parabolic of anisotropy 1; analogous relations are formulated for arbitrary anisotropies. We finally investigate parameter-dependent operators, apply a kernel cut-off construction with respect to the parameter and show that corresponding holomorphic operator-valued Mellin symbols reduce orders in weighted Sobolev spaces on a cone with boundary.
Reciprocal processes, whose concept can be traced back to E. Schrödinger, form a class of stochastic processes constructed as mixture of bridges, that satisfy a time Markov field property. We discuss here a new unifying approach to characterize several types of reciprocal processes via duality formulae on path spaces: The case of reciprocal processes with continuous paths associated to Brownian diffusions and the case of pure jump reciprocal processes associated to counting processes are treated. This presentation is based on joint works with M. Thieullen, R. Murr and C. Léonard.
It is shown that an elliptic scattering operator A on a compact manifold with boundary with operator valued coefficients in the morphisms of a bundle of Banach spaces of class (HT ) and Pisier’s property (α) has maximal regularity (up to a spectral shift), provided that the spectrum of the principal symbol of A on the scattering cotangent bundle avoids the right half-plane. This is accomplished by representing the resolvent in terms of pseudodifferential operators with R-bounded symbols, yielding by an iteration argument the R-boundedness of λ(A − λ)−1 in R(λ)≥ τ for some τ ∈ IR. To this end, elements of a symbolic and operator calculus of pseudodifferential operators with R-bounded symbols are introduced. The significance of this method for proving maximal regularity results for partial differential operators is underscored by considering also a more elementary situation of anisotropic elliptic operators on Rd with operator valued coefficients.
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.
Content: 0.1 Preliminary Remarks Chapter 1: Noncommutative Analysis: Main Ideas, Definitions, and Theorems 1.1 Functions of One Operator (Functional Calculi) 1.2 Functions of Several Operators 1.3 Main Formulas of Operator Calculus 1.4 Main Tools of Noncommutative Analysis 1.5 Composition Laws and Ordered Representations
Quantization methods in differential equations : Chapter 2: Quantization of Lagrangian modules
(1999)
In this chapter we use the wave packet transform described in Chapter 1 to quantize extended classical states represented by so-called Lagrangian sumbanifolds of the phase space. Functions on a Lagrangian manifold form a module over the ring of classical Hamiltonian functions on the phase space (with respect to pointwise multiplication). The quantization procedure intertwines this multiplication with the action of the corresponding quantum Hamiltonians; hence we speak of quantization of Lagrangian modules. The semiclassical states obtained by this quantization procedure provide asymptotic solutions to differential equations with a small parameter. Locally, such solutions can be represented by WKB elements. Global solutions are given by Maslov's canonical operator [2]; also see, e.g., [3] and the references therein. Here the canonical operator is obtained in the framework of the universal quantization procedure provided by the wave packet transform. This procedure was suggested in [4] (see also the references there) and further developed in [5]; our exposition is in the spirit of these papers. Some further bibliographical remarks can be found in the beginning of Chapter 1.
The aim of this paper is to explain the notion of subspace defined by means of pseudodifferential projection and give its applications in elliptic theory. Such subspaces are indispensable in the theory of well-posed boundary value problems for an arbitrary elliptic operator, including the Dirac operator, which has no classical boundary value problems. Pseudodifferential subspaces can be used to compute the fractional part of the spectral Atiyah–Patodi–Singer eta invariant, when it defines a homotopy invariant (Gilkey’s problem). Finally, we explain how pseudodifferential subspaces can be used to give an analytic realization of the topological K-group with finite coefficients in terms of elliptic operators. It turns out that all three applications are based on a theory of elliptic operators on closed manifolds acting in subspaces.