Refine
Year of publication
Document Type
- Preprint (378) (remove)
Language
- English (363)
- German (13)
- French (1)
- Multiple languages (1)
Keywords
- index (11)
- boundary value problems (9)
- elliptic operators (9)
- Fredholm property (8)
- K-theory (7)
- manifolds with singularities (6)
- pseudodifferential operators (6)
- relative index (6)
- Atiyah-Patodi-Singer theory (5)
- index theory (5)
Institute
- Institut für Mathematik (378) (remove)
The determination of the atmospheric aerosol size distribution is an inverse illposed problem. The shape and the material composition of the air-carried particles are two substantial model parameters. Present evaluation algorithms only used an approximation with spherical homogeneous particles. In this paper we propose a new numerically efficient recursive algorithm for inhomogeneous multilayered coated and absorbing particles. Numerical results of real existing particles show that the influence of the two parameters on the model is very important and therefore cannot be ignored.
The ill-posed inversion of multiwavelength lidar data by a hybrid method of variable projection
(1999)
The ill-posed problem of aerosol distribution determination from a small number of backscatter and extinction lidar measurements was solved successfully via a hybrid method by a variable dimension of projection with B-Splines. Numerical simulation results with noisy data at different measurement situations show that it is possible to derive a reconstruction of the aerosol distribution only with 4 measurements.
In this article we study the geometry associated with the sub-elliptic operator ½ (X²1 +X²2), where X1 = ∂x and X2 = x²/2 ∂y are vector fields on R². We show that any point can be connected with the origin by at least one geodesic and we provide an approximate formula for the number of the geodesics between the origin and the points situated outside of the y-axis. We show there are in¯nitely many geodesics between the origin and the points on the y-axis.
We study (pseudo-)differential operators on a manifold with edge Z, locally modelled on a wedge with model cone that has itself a base manifold W with smooth edge Y . The typical operators A are corner degenerate in a specific way. They are described (modulo ‘lower order terms’) by a principal symbolic hierarchy σ(A) = (σ ψ(A), σ ^(A), σ ^(A)), where σ ψ is the interior symbol and σ ^(A)(y, η), (y, η) 2 T*Y \ 0, the (operator-valued) edge symbol of ‘first generation’, cf. [15]. The novelty here is the edge symbol σ^ of ‘second generation’, parametrised by (z, Ϛ) 2 T*Z \ 0, acting on weighted Sobolev spaces on the infinite cone with base W. Since such a cone has edges with exit to infinity, the calculus has the problem to understand the behaviour of operators on a manifold of that kind. We show the continuity of corner-degenerate operators in weighted edge Sobolev spaces, and we investigate the ellipticity of edge symbols of second generation. Starting from parameter-dependent elliptic families of edge operators of first generation, we obtain the Fredholm property of higher edge symbols on the corresponding singular infinite model cone.
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 consider a class of ergodic Hamilton-Jacobi-Bellman (HJB) equations, related to large time asymptotics of non-smooth multiplicative functional of difusion processes. Under suitable ergodicity assumptions on the underlying difusion, we show existence of these asymptotics, and that they solve the related HJB equation in the viscosity sense.
A multitype Dawson-Watanabe process is conditioned, in subcritical and critical cases, on non-extinction in the remote future. On every nite time interval, its distribution law is absolutely continuous with respect to the law of the unconditioned process. A martingale problem characterization is also given. The explicit form of the Laplace functional of the conditioned process is used to obtain several results on the long time behaviour of the mass of the conditioned and unconditioned processes. The general case is considered first, where the mutation matrix which modelizes the interaction between the types, is irreducible. Several two-type models with decomposable mutation matrices are also analysed.
The paper deals with a non-linear singular partial differential equation: (E) t∂/∂t = F(t, x, u, ∂u/∂x) in the holomorphic category. When (E) is of Fuchsian type, the existence of the unique holomorphic solution was established by Gérard-Tahara [2]. In this paper, under the assumption that (E) is of totally characteristic type, the authors give a sufficient condition for (E) to have a unique holomorphic solution. The result is extended to higher order case.
In this work we study reciprocal classes of Markov walks on graphs. Given a continuous time reference Markov chain on a graph, its reciprocal class is the set of all probability measures which can be represented as a mixture of the bridges of the reference walks. We characterize reciprocal classes with two different approaches. With the first approach we found it as the set of solutions to duality formulae on path space, where the differential operators have the interpretation of the addition of infinitesimal random loops to the paths of the canonical process. With the second approach we look at short time asymptotics of bridges. Both approaches allow an explicit computation of reciprocal characteristics, which are divided into two families, the loop characteristics and the arc characteristics. They are those specific functionals of the generator of the reference chain which determine its reciprocal class. We look at the specific examples such as Cayley graphs, the hypercube and planar graphs. Finally we establish the first concentration of measure results for the bridges of a continuous time Markov chain based on the reciprocal characteristics.
Processes having the same bridges as a given reference Markov process constitute its reciprocal class. In this paper we study the reciprocal class of compound Poisson processes whose jumps belong to a finite set A in R^d. We propose a characterization of the reciprocal class as the unique set of probability measures on which a family of time and space transformations induces the same density, expressed in terms of the reciprocal invariants. The geometry of A plays a crucial role in the design of the transformations, and we use tools from discrete geometry to obtain an optimal characterization. We deduce explicit conditions for two Markov jump processes to belong to the same class. Finally, we provide a natural interpretation of the invariants as short-time asymptotics for the probability that the reference process makes a cycle around its current state.
Processes having the same bridges as a given reference Markov process constitute its reciprocal class. In this paper we study the reciprocal class of a continuous time random walk with values in a countable Abelian group, we compute explicitly its reciprocal characteristics and we present an integral characterization of it. Our main tool is a new iterated version of the celebrated Mecke's formula from the point process theory, which allows us to study, as transformation on the path space, the addition of random loops. Thanks to the lattice structure of the set of loops, we even obtain a sharp characterization. At the end, we discuss several examples to illustrate the richness of reciprocal classes. We observe how their structure depends on the algebraic properties of the underlying group.
We continue the investigation of the calculus of Fourier Integral Operators (FIOs) in the class of symbols with exit behaviour (SG symbols). Here we analyse what happens when one restricts the choice of amplitude and phase functions to the subclass of the classical SG symbols. It turns out that the main composition theorem, obtained in the environment of general SG classes, has a "classical" counterpart. As an application, we study the Cauchy problem for classical hyperbolic operators of order (1, 1); for such operators we refine the known results about the analogous problem for general SG hyperbolic operators. The material contained here will be used in a forthcoming paper to obtain a Weyl formula for a class of operators defined on manifolds with cylindrical ends, improving the results obtained in [9].
We study the minimal and maximal closed extension of a differential operator A on a manifold B with conical singularities, when A acts as an unbounded operator on weighted Lp-spaces over B,1 < p < ∞. Under suitable ellipticity assumptions we can define a family of complex powers A up(z), z ∈ C. We also obtain sufficient information on the resolvent of A to show the boundedness of the pure imaginary powers. Examples concern unique solvability and maximal regularity of the solution of the Cauchy problem u' - Δu = f, u(0) = 0, for the Laplacian on conical manifolds.
Elliptic equations on configurations W = W1 ∪ ... ∪ Wn with edge Y and components Wj of different dimension can be treated in the frame of pseudo-differential analysis on manifolds with geometric singularities, here, edges. Starting from edge-degenerate operators on Wj, j = 1, ..., N, we construct an algebra with extra "transmission" conditions on Y that satisfy an analogue of the Shapiro-Lopatinskij condition. Ellipticity refers to a two-component symbolic hierarchy with an interior and an edge part; the latter one is operator-valued, operating on the union of different dimensional model cones. We construct parametrices within our calculus, where exchange of information between the various components is encoded in Green and Mellin operators that are smoothing on W\Y. Moreover, we obtain regularity of solutions in weighted edge spaces with asymptotics.
The genus-dependence of multi-loop superstring ams is estimated at large orders in perturbation theory using the super-Schottky group parameterization of supermoduli space. Restriction of the integration region to a subset of supermoduli space and a single fundamental domain of the super-modular group suggests an exponential dependence on the genus. Upper bounds for these estimates are obtained for arbitrary N-point superstring scattering amplitudes and are shown to be consistent with exact results obtained for special type II string amplitudes for orbifold or Calabi-Yau compactifications. The genus-dependence is then obtained by considering the effect of the remaining contribution to the superstring amplitudes after the coefficients of the formally divergent parts of the integrals vanish as a result of a sum over spin structures. The introduction of supersymmetry therefore leads to the elimination of large-order divergences in string pertubation theory, a result which is based only on the supersymmetric generalization of the polyakov measure and not the gauge group of the string model.
The derivation of the standard model from a higher-dimensional action suggests a further study of the fibre bundle formulation of gauge theories to determine the variations in the choice of structure group that are allowed in this geometrical setting. The action of transformations on the projection of fibres to their submanifolds are characteristic of theories with fewer gauge vector bosons, and specific examples are given, which may have phenomenological relevance. The spinor space for the three generations of fermions in the standard model is described algebraically.
On the existence of a non-zero lower bound for the number of Goldbach partitions of an even integer
(2002)
The Goldbach partitions of an even number greater than 2, given by the sums of two prime addends, form the non-empty set for all integers 2n with 2 ≤ n ≤ 2 × 1014. It will be shown how to determine by the method of induction the existence of a non-zero lower bound for the number of Goldbach partitions of all even integers greater than or equal to 4. The proof depends on contour arguments for complex functions in the unit disk.
The quantum cosmological wavefunction for a quadratic gravity theory derived from the heterotic string effective action is obtained near the inflationary epoch and during the initial Planck era. Neglecting derivatives with respect to the scalar field, the wavefunction would satisfy a third-order differential equation near the inflationary epoch which has a solution that is singular in the scale factor limit a(t) → 0. When scalar field derivatives are included, a sixth-order differential equation is obtained for the wavefunction and the solution by Mellin transform is regular in the a → 0 limit. It follows that inclusion of the scalar field in the quadratic gravity action is necessary for consistency of the quantum cosmology of the theory at very early times.
In this paper, by a new constructive method, the authors reprove the global exact boundary controllability of a class of quasilinear hyperbolic systems of conservation laws with linearly degenerate fields. It is shown that the system with nonlinear boundary conditions is globally exactly boundary controllable in the class of piecewise C¹ functions. In particular, the authors give the optimal control time of the system. Finally, a new application is also given.
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.
Using an algorithm based on a retrospective rejection sampling scheme, we propose an exact simulation of a Brownian diffusion whose drift admits several jumps. We treat explicitly and extensively the case of two jumps, providing numerical simulations. Our main contribution is to manage the technical difficulty due to the presence of two jumps thanks to a new explicit expression of the transition density of the skew Brownian motion with two semipermeable barriers and a constant drift.
We establish in this paper the existence of weak solutions of infinite-dimensional shift invariant stochastic differential equations driven by a Brownian term. The drift function is very general, in the sense that it is supposed to be neither small or continuous, nor Markov. On the initial law we only assume that it admits a finite specific entropy. Our result strongly improves the previous ones obtained for free dynamics with a small perturbative drift. The originality of our method leads in the use of the specific entropy as a tightness tool and on a description of such stochastic differential equation as solution of a variational problem on the path space.
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.
Mixed elliptic boundary value problems are characterised by conditions which have a jump along an interface of codimension 1 on the boundary. We study such problems in weighted edge Sobolev spaces and show the Fredholm property and the existence of parametrices under additional conditions of trace and potential type on the interface. Our methods from the calculus of boundary value problems on a manifold with edges will be illustrated by the Zaremba problem and other mixed problems for the Laplace operator.
The ellipticity of operators on a manifold with edge is defined as the bijectivity of the components of a principal symbolic hierarchy σ = (σψ, σ∧), where the second component takes value in operators on the infinite model cone of the local wedges. In general understanding of edge problems there are two basic aspects: Quantisation of edge-degenerate operators in weighted Sobolev spaces, and verifying the elliptcity of the principal edge symbol σ∧ which includes the (in general not explicitly known) number of additional conditions on the edge of trace and potential type. We focus here on these queations and give explicit answers for a wide class of elliptic operators that are connected with the ellipticity of edge boundary value problems and reductions to the boundary. In particular, we study the edge quantisation and ellipticity for Dirichlet-Neumann operators with respect to interfaces of some codimension on a boundary. We show analogues of the Agranovich-Dynin formula for edge boundary value problems, and we establish relations of elliptic operators for different weights, via the spectral flow of the underlying conormal symbols.
We construct a class of elliptic operators in the edge algebra on a manifold M with an embedded submanifold Y interpreted as an edge. The ellipticity refers to a principal symbolic structure consisting of the standard interior symbol and an operator-valued edge symbol. Given a differential operator A on M for every (sufficiently large) s we construct an associated operator As in the edge calculus. We show that ellipticity of A in the usual sense entails ellipticity of As as an edge operator (up to a discrete set of reals s). Parametrices P of A then correspond to parametrices Ps of As, interpreted as Mellin-edge representations of P.
The Green formula is proved for boundary value problems (BVPs), when "basic" operator is arbitrary partial differential operator with variable matrix coefficients and "boundary" operators are quasi-normal with vector-coeficients. If the system possesses the fundamental solution, representation formula for a solution is derived and boundedness properties of participating layer potentials from function spaces on the boundary (Besov, Zygmund spaces) into appropriate weighted function spaces on the inner and the outer domains are established. Some related problems are discussed in conclusion: traces of functions from weighted spaces, traces of potential-type functions, Plemelji formulae,Calderón projections, restricted smoothness of the underlying surface and coefficients. The results have essential applications in investigations of BVPs by the potential method, in apriori estimates and in asymptotics of solutions.
We study the Dirichlet problem in a bounded plane domain for the heat equation with small parameter multiplying the derivative in t. The behaviour of solution at characteristic points of the boundary is of special interest. The behaviour is well understood if a characteristic line is tangent to the boundary with contact degree at least 2. We allow the boundary to not only have contact of degree less than 2 with a characteristic line but also a cuspidal singularity at a characteristic point. We construct an asymptotic solution of the problem near the characteristic point to describe how the boundary layer degenerates.
We develop a new approach to the analysis of pseudodifferential operators with small parameter 'epsilon' in (0,1] on a compact smooth manifold X. The standard approach assumes action of operators in Sobolev spaces whose norms depend on 'epsilon'. Instead we consider the cylinder [0,1] x X over X and study pseudodifferential operators on the cylinder which act, by the very nature, on functions depending on 'epsilon' as well. The action in 'epsilon' reduces to multiplication by functions of this variable and does not include any differentiation. As but one result we mention asymptotic of solutions to singular perturbation problems for small values of 'epsilon'.
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.