Refine
Has Fulltext
- yes (299)
Year of publication
Document Type
- Preprint (299) (remove)
Language
- English (299) (remove)
Is part of the Bibliography
- no (299) (remove)
Keywords
- elliptic operators (9)
- boundary value problems (8)
- index (8)
- K-theory (7)
- manifolds with singularities (6)
- pseudodifferential operators (6)
- relative index (6)
- Atiyah-Patodi-Singer theory (5)
- Fredholm property (5)
- index theory (5)
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.
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.
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 investigate the cognitive control in polyrhythmic hand movements as a model paradigm for bimanual coordination. Using a symbolic coding of the recorded time series, we demonstrate the existence of qualitative transitions induced by experimental manipulation of the tempo. A nonlinear model with delayed feedback control is proposed, which accounts for these dynamical transitions in terms of bifurcations resulting from variation of the external control parameter. Furthermore, it is shown that transitions can also be observed due to fluctuations in the timing control level. We conclude that the complexity of coordinated bimanual movements results from interactions between nonlinear control mechanisms with delayed feedback and stochastic timing components.
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 give a construction of an eigenstate for a non-critical level of the Hamiltonian function, and investigate the contribution of Morse critical points to the spectral decomposition. We compare the rigorous result with the series obtained by a perturbation theory. As an example the relation to the spectral asymptotics is discussed.
Using the Riemannian connection on a compact manifold X, we show that the algebra of classical pseudo-differential operators on X generates a canonical deformation quantization on the cotangent manifold T*X. The corresponding Abelian connection is calculated explicitly in terms of the of the exponential mapping. We prove also that the index theorem for elliptic operators may be obtained as a consequence of the index theorem for deformation quantization.
We consider a G-invariant star-product algebra A on a symplectic manifold (M,ω) obtained by a canonical construction of deformation quantization. Under assumptions of the classical Marsden-Weinstein theorem we define a reduction of the algebra A with respect to the G-action. The reduced algebra turns out to be isomorphic to a canonical star-product algebra on the reduced phase space B. In other words, we show that the reduction commutes with the canonical G-invariant deformation quantization. A similar statement in the framework of geometric quantization is known as the Guillemin-Sternberg conjecture (by now completely proved).
We construct a deformation quantization on an infinite-dimensional symplectic space of regular connections on an SU(2)-bundle over a Riemannian surface of genus g ≥ 2. The construction is based on the normal form thoerem representing the space of connections as a fibration over a finite-dimensional moduli space of flat connections whose fibre is a cotangent bundle of the infinite-dimensional gauge group. We study the reduction with respect to the gauge groupe both for classical and quantum cases and show that our quantization commutes with reduction.
We introduce a natural symmetry condition for a pseudodifferential operator on a manifold with cylindrical ends ensuring that the operator admits a doubling across the boundary. For such operators we prove an explicit index formula containing, apart from the Atiyah-Singer integral, a finite number of residues of the logarithmic derivative of the conormal symbol.
For general elliptic pseudodifferential operators on manifolds with singular points, we prove an algebraic index formula. In this formula the symbolic contributions from the interior and from the singular points are explicitly singled out. For two-dimensional manifolds, the interior contribution is reduced to the Atiyah-Singer integral over the cosphere bundle while two additional terms arise. The first of the two is one half of the 'eta' invariant associated to the conormal symbol of the operator at singular points. The second term is also completely determined by the conormal symbol. The example of the Cauchy-Riemann operator on the complex plane shows that all the three terms may be non-zero.
The index formula for elliptic pseudodifferential operators on a two-dimensional manifold with conical points contains the Atiyah-Singer integral as well as two additional terms. One of the two is the 'eta' invariant defined by the conormal symbol, and the other term is explicitly expressed via the principal and subprincipal symbols of the operator at conical points. In the preceding paper we clarified the meaning of the additional terms for first-order differential operators. The aim of this paper is an explicit description of the contribution of a conical point for higher-order differential operators. We show that changing the origin in the complex plane reduces the entire contribution of the conical point to the shifted 'eta' invariant. In turn this latter is expressed in terms of the monodromy matrix for an ordinary differential equation defined by the conormal symbol.
In the preceding paper we proved an explicit index formula for elliptic pseudodifferential operators on a two-dimensional manifold with conical points. Apart from the Atiyah-Singer integral, it contains two additional terms, one of the two being the 'eta' invariant defined by the conormal symbol. In this paper we clarify the meaning of the additional terms for differential operators.
We have studied the bifurcations in a three-dimensional incompressible magnetofluid with periodic boundary conditions and an external forcing of the Arnold-Beltrami-Childress (ABC) type. Bifurcation-analysis techniques have been applied to explore the qualitative behavior of solution branches. Due to the symmetry of the forcing, the equations are equivariant with respect to a group of transformations isomorphic to the octahedral group, and we have paid special attention to symmetry-breaking effects. As the Reynolds number is increased, the primary nonmagnetic steady state, the ABC flow, loses its stability to a periodic magnetic state, showing the appearance of a generic dynamo effect; the critical value of the Reynolds number for the instability of the ABC flow is decreased compared to the purely hydrodynamic case. The bifurcating magnetic branch in turn is subject to secondary, symmetry-breaking bifurcations. We have traced periodic and quasi- periodic branches until they end up in chaotic states. In particular detail we have analyzed the subgroup symmetries of the bifurcating periodic branches, which are closely related to the spatial structure of the magnetic field.
We study the asymptotic regularity of solutions of Hartree-Fock equations for Coulomb systems. In order to deal with singular Coulomb potentials, Fock operators are discussed within the calculus of pseudo-differential operators on conical manifolds. First, the non-self-consistent-field case is considered which means that the functions that enter into the nonlinear terms are not the eigenfunctions of the Fock operator itself. We introduce asymptotic regularity conditions on the functions that build up the Fock operator which guarantee ellipticity for the local part of the Fock operator on the open stretched cone R+ × S². This proves existence of a parametrix with a corresponding smoothing remainder from which it follows, via a bootstrap argument, that the eigenfunctions of the Fock operator again satisfy asymptotic regularity conditions. Using a fixed-point approach based on Cances and Le Bris analysis of the level-shifting algorithm, we show via another bootstrap argument, that the corresponding self-consistent-field solutions of the Hartree-Fock equation have the same type of asymptotic regularity.
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.
We consider an infinite system of non overlaping globules undergoing Brownian motions in R3. The term globules means that the objects we are dealing with are spherical, but with a radius which is random and time-dependent. The dynamics is modelized by an infinitedimensional Stochastic Differential Equation with local time. Existence and uniqueness of a strong solution is proven for such an equation with fixed deterministic initial condition. We also find a class of reversible measures.
The paper is devoted to the construction of the exponential function of a matrix pseudo-differential operator which do not satisfy any of the known theorems (see, Sec.8 Ch.VIII and Sec.2 Ch.XI of [17]). The applications to the construction of the fundamental solution for the Cauchy problem for the hyperbolic operators with the characteristics of variable multiplicity are given, too.
For each compact subset K of the complex plane C which does not surround zero, the Riemann surface Sζ of the Riemann zeta function restricted to the critical half-strip 0 < Rs < 1/2 contains infinitely many schlicht copies of K lying ‘over’ K. If Sζ also contains at least one such copy, for some K which surrounds zero, then the Riemann hypothesis fails.
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.
We construct a special asymptotic solution for the forced KdV equation. In the frame of the shallow water model this kind of the external driving force is related to the atmospheric disturbance. The perturbation slowly passes through a resonance and it leads to the solution exchange. The detailed asymptotic description of the process is presented.
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.
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
We study the Weyl representation of metaplectic operators associated to a symplectic matrix having no non-trivial fixed point, and justify a formula suggested in earlier work of Mehlig and Wilkinson. We give precise calculations of the associated Maslov-type indices; these indices intervene in a crucial way in Gutzwiller’s formula of semiclassical mechanics, and are simply related to an index defined by Conley and Zehnder.
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].
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.
We study mixed boundary value problems for an elliptic operator A on a manifold X with boundary Y , i.e., Au = f in int X, T±u = g± on int Y±, where Y is subdivided into subsets Y± with an interface Z and boundary conditions T± on Y± that are Shapiro-Lopatinskij elliptic up to Z from the respective sides. We assume that Z ⊂ Y is a manifold with conical singularity v. As an example we consider the Zaremba problem, where A is the Laplacian and T− Dirichlet, T+ Neumann conditions. The problem is treated as a corner boundary value problem near v which is the new point and the main difficulty in this paper. Outside v the problem belongs to the edge calculus as is shown in [3]. With a mixed problem we associate Fredholm operators in weighted corner Sobolev spaces with double weights, under suitable edge conditions along Z \ {v} of trace and potential type. We construct parametrices within the calculus and establish the regularity of solutions.
We study pseudodifferential operators on a cylinder IR x B with cross section B that conical singularities. Configurations of that kind are the local model of cornere singularities with base spaces B. Operators A in our calculus are assumed to have symbols α which are meromorphic in the complex covariable with values in the space of all cone operators on B. In case α is dependent of the axial variable t ∈ IR, we show an explicit formula for solutions of the homogeneous equation. Each non-bjectivity point of the symbol in the complex plane corresponds to a finite-dimensional space of solutions. Moreover, we give a relative index formula.
This work is an introduction to anisotropic spaces, which have an ω-weight of analytic functions and are generalizations of Lipshitz classes in the polydisc. We prove that these classes form an algebra and are invariant with respect to monomial multiplication. These operators are bounded in these (Lipshitz and Djrbashian) spaces. As an application, we show a theorem about the division by good-inner functions in the mentioned classes is proved.
We study elliptic boundary value problems in a wedge with additional edge conditions of trace and potential type. We compute the (difference of the) number of such conditions in terms of the Fredholm index of the principal edge symbol. The task will be reduced to the case of special opening angles, together with a homotopy argument.
Let {Tsub(p) : q1 ≤ p ≤ q2} be a family of consistent Csub(0) semigroups on Lφ(Ω) with q1, q2 ∈ [1, ∞)and Ω ⊆ IRn open. We show that certain commutator conditions on Tφ and on the resolvent of its generator Aφ ensure the φ independence of the spectrum of Aφ for φ ∈ [q1, q2]. Applications include the case of Petrovskij correct systems with Hölder continuous coeffcients, Schrödinger operators, and certain elliptic operators in divergence form with real, but not necessarily symmetric, or complex coeffcients.
On a method for solution of the ordinary differential equations connected with Huygens' equations
(2010)
Generalizing an idea of I. Vekua [1] who, in order to construct theory of plates and shells, fields of displacements, strains and stresses of threedimensional theory of linear elasticity expands into the orthogonal Fourier-series by Legendre Polynomials with respect to the variable along thickness, and then leaves only first N + 1, N = 0, 1, ..., terms, in the bar model under consideration all above quantities have been expanded into orthogonal double Fourier-series by Legendre Polynomials with respect to the variables along thickness, and width of the bar, and then first (Nsub(3) + 1)(Nsub(2) + 1), Nsub(3), Nsub(2) = 0, 1,..., terms have been left. This case will be called (Nsub(3), Nsub(2)) approximation. Both in general (Nsub(3), Nsub(2)) and in particular (0,0) (1,0) cases of approximation, the question of wellposedness of initial and boundary value problems, existence and uniqueness of solutions have been investigated. The cases when variable cross-section turns into segments of straight line, and points have been also considered. Such bars will be called cusped bars (see also [2]).
The paper presents a method that determines, by standard numerical means, the type of mutual relations of fold and flip bifurcations (configured as a so-called communication area) of a map. Equation systems are developed for the computation of points where a transition between areas of different types occurs. Furthermore, it is shown that saddle area<->spring area transitions can exist which have not yet been considered in the literature. Analytical conditions of that transition are derived.
Contents: I. Algorithms 1. Theoretical Backround 2. Numerical Procedures 3. Graph Representation of the Solutions 4. Applications and Example II. Users' Manual 5. About the Program 6. The Course of a Qualitative Analysis 7. The Model Module 8. Input description 9. Output Description 10. Example 11. Graphics
Adiabatic vacuum states are a well-known class of physical states for linear quantum fields n Robertson-Walker spacetimes. We extend the definition of adiabatic vacua to general spacetime manifolds by using the notion of the Sobolev wavefront set. This definition is also applicable to interacting field theories. Hadamard states form a special subclass of the adiabatic vacua. We analyze physical properties of adiabatic vacuum representations of the Klein-Gordon field on globally hyperbolic spacetme manifolds (factoriality, quasiequivalence, local definteness, Haag duality) and construct them explicitly, if the manifold has a compact Cauchy surface.
We establish a new calculus of pseudodifferential operators on a manifold with smooth edges and study ellipticity with extra trace and potential conditions (as well as Green operators) at the edge. In contrast to the known scenario with conditions of that kind in integral form we admit in this paper ‘singular’ trace, potential and Green operators, which are related to the corresponding operators of positive type in Boutet de Monvel’s calculus for boundary value problems.
We construct a new calculus of boundary value problems with the transmission property on a non-compact smooth manifold with boundary and conical exits to infinity. The symbols are classical both in covariables and variables. The operators are determined by principal symbol tuples modulo operators of lower orders and weights (such remainders are compact in weighted Sobolev spaces). We develop the concept of ellipticity, construct parametrices within the algebra and obtain the Fredholm property. For the existence of Shapiro-Lopatinskij elliptic boundary conditions to a given elliptic operator we prove an analogue of the Atiyah-Bott condition.
Crack problems are regarded as elements in a pseudo-differential algbra, where the two sdes int S± of the crack S are treated as interior boundaries and the boundary Y of the crack as an edge singularity. We employ the pseudo-differential calculus of boundary value problems with the transmission property near int S± and the edge pseudo-differential calculus (in a variant with Douglis-Nirenberg orders) to construct parametrices od elliptic crack problems (with extra trace and potential conditions along Y) and to characterise asymptotics of solutions near Y (expressed in the framework of continuous asymptotics). Our operator algebra with boundary and edge symbols contains new weight and order conventions that are necessary also for the more general calculus on manifolds with boundary and edges.
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.
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.
Boundary value problems on manifolds with conical singularities or edges contain potential operators as well as trace and Green operators which play a similar role as the corresponding operators in (pseudo-differential) boundary value problems on a smooth manifold. There is then a specific asymptotic behaviour of these operators close to the singularities. We characterise potential operators in terms of actions of cone or edge pseudo-differential operators (in the neighbouring space) on densities supported by sbmanifolds which also have conical or edge singularities. As a byproduct we show the continuity of such potentials as continuous perators between cone or edge Sobolev spaces and subspaces with asymptotics.
The Cauchy problem of the vacuum Einstein's equations aims to find a semimetric g(αβ) of a spacetime with vanishing Ricci curvature Rα,β and prescribed initial data. Under the harmonic gauge condition, the equations Rα,β = 0 are transferred into a system of quasi-linear wave equations which are called the reduced Einstein equations. The initial data for Einstein's equations are a proper Riemannian metric h(αβ) and a second fundamental form K(αβ). A necessary condition for the reduced Einstein equation to satisfy the vacuum equations is that the initial data satisfy Einstein constraint equations. Hence the data (h(αβ),K(αβ)) cannot serve as initial data for the reduced Einstein equations. Previous results in the case of asymptotically flat spacetimes provide a solution to the constraint equations in one type of Sobolev spaces, while initial data for the evolution equations belong to a different type of Sobolev spaces. The goal of our work is to resolve this incompatibility and to show that under the harmonic gauge the vacuum Einstein equations are well-posed in one type of Sobolev spaces.
On null quadrature domains
(2006)
The characterization of null quadrature domains in Rn (n ≥ 3) has been an open problem throughout the past two and a half decades. A substantial contribution was done by Friedman and Sakai [10]; they showed that if the complement is bounded, then null quadrature domains are exactly the complement of ellip- soids. The first result with unbounded complements appeared in [15], there it is assumed the complement is contained in an infinitely cylinder. The aim of this paper is to show the relation between null quadrature domains and Newton's theorem on the gravitational force induced by homogeneous homoeoidal ellipsoids. We also succeed to make progress in the classification problem and we show that if the boundary of null quadrature domain is contained in a strip and the complement satisfies a certain capacity condition at infinity, then it must be a half-space or a complement of a strip. In addition, we present a Phragm¶en-Lindelöf type theorem which seems to be forgotten in the literature.
Amongst the many complex processes taking place in living cells, transport of cargoes across the cytosceleton is fundamental to cell viability and activity. To move cargoes between the different cell parts, cells employ Molecular Motors. The motors operate by transporting cargoes along the so-called cellular micro-tubules, namely rope-like structures that connect, for instance, the cell-nucleus and outer membrane. We introduce a new Markov Chain, the killed Quasi-Random-Walk, for such transport molecules and derive properties like the maximal run length and time. Furthermore we introduce permuted balance, which is a more flexible extension of the ordinary reversibility and introduce the notion of Time Duality, which compares certain passage times pathwise. We give a number of sufficient conditions for Time Duality based on the geometry of the transition graph. Both notions are closely related to properties of the killed Quasi-Random-Walk.
A function has vanishing mean oscillation (VMO) on R up(n) if its mean oscillation - the local average of its pointwise deviation from its mean value - both is uniformly bounded over all cubes within R up(n) and converges to zero with the volume of the cube. The more restrictive class of functions with vanishing lower oscillation (VLO) arises when the mean value is replaced by the minimum value in this definition. It is shown here that each VMO function is the difference of two functions in VLO.
Peter Jones' theorem on the factorization of Ap weights is sharpened for weights with bounds near 1, allowing the factorization to be performed continuously near the limiting, unweighted case. When 1 < p < infinite and omega is an Ap weight with bound Ap(omega) = 1 + epsilon, it is shown that there exist Asub1 weights u, v such that both the formula omega = uv(1-p) and the estimates A1 (u), A1 (v) = 1 + Omikron (√epsilon) hold. The square root in these estimates is also proven to be the correct asymptotic power as epsilon -> 0.
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 construct algebras of Volterra pseudodifferential operators that contain, in particular, the inverses of the most natural classical systems of parabolic boundary value problems of general form. Parabolicity is determined by the invertibility of the principal symbols, and as a result is equivalent to the invertibility of the operators within the calculus. Existence, uniqueness, regularity, and asymptotics of solutions as t → ∞ are consquences of the mapping properties of the operators in exponentially weighted Sobolev spaces and subspaces with asymptotics. An important aspect of this work is that the microlocal and global kernel structure of the inverse operator (solution operator) of a parabolic boundary value problem for large times is clarified. Moreover, our approach naturally yields qualitative pertubation results for the solvability theory of parabolic boundary value problems. To achieve these results, we assign t = ∞ the meaning of a conical point and treat the operators as totally characteristic pseudodifferential boundary value problems.
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.
We introduce the Volterra calculus of pseudodifferential operators with an anisotropic analytic parameter based on "twisted" operator-valued Volterra symbols. We establish the properties of the symbolic and operational calculi, and we give and make use of explicit oscillatory integral formulas on the symbolic side. In particular, we investigate the kernel cut-off operator via direct oscillatory integral techniques purely on symbolic level. We discuss the notion of parabolic for the calculus of Volterra operators, and construct Volterra parametrices for parabolic operators within the calculus.
Content: Introduction 1 Anisotropic operators in a cylinder with a conical base 1.1 Manifolds with conical singularities and opertors of Fuchs type 1.2 Typical operators and symbol structures 2 Weighted wedge Sobolev spaces and edge asymptotics 2.1 Discrete edge asymptotics 2.2 Continuos edge asymptotics with discrete limit at infinity 2.3 Calculus with operator valued symbols 3 Corner asymptotics at infinity 3.1 The structure of singular functions 3.2 Operators with trace and potential conditions 3.3 Asymptotics and (anisotropic) elliptic regularity
We consider general parabolic systems of equations on the infinite time interval in case of the underlying spatial configuration is a closed manifold. The solvability of equations is studied both with respect to time and spatial variables in exponentially weighted anisotropic Sobolev spaces, and existence and maximal regularity statements for parabolic equations are proved. Moreover, we analyze the long-time behaiour of solutions in terms of complete asymptotic expansions. These results are deduced from a pseudodifferential calculus that we construct explicitly. This algebra of operators is specifically designed to contain both the classical systems of parabolic equations of general form and their inverses, parabolicity being reflected purely on symbolic level. To this end, we assign t = ∞ the meaning of an anisotropic conical point, and prove that this interprtation is consistent with the natural setting in the analysis of parabolic PDE. Hence, major parts of this work consist of the construction of an appropriate anisotropiccone calculus of so-called Volterra operators. In particular, which is the most important aspect, we obtain the complete characterization of the microlocal and the global kernel structure of the inverse of parabolicsystems in an infinite space-time cylinder. Moreover, we obtain perturbation results for parabolic equations from the investigation of the ideal structure of the calculus.
We consider general parabolic systems of equations on the infinite time interval in case of the underlying spatial configuration is a closed manifold. The solvability of equations is studied both with respect to time and spatial variables in exponentially weighted anisotropic Sobolev spaces, and existence and maximal regularity statements for parabolic equations are proved. Moreover, we analyze the long-time behaiour of solutions in terms of complete asymptotic expansions. These results are deduced from a pseudodifferential calculus that we construct explicitly. This algebra of operators is specifically designed to contain both the classical systems of parabolic equations of general form and their inverses, parabolicity being reflected purely on symbolic level. To this end, we assign t = ∞ the meaning of an anisotropic conical point, and prove that this interprtation is consistent with the natural setting in the analysis of parabolic PDE. Hence, major parts of this work consist of the construction of an appropriate anisotropiccone calculus of so-called Volterra operators. In particular, which is the most important aspect, we obtain the complete characterization of the microlocal and the global kernel structure of the inverse of parabolicsystems in an infinite space-time cylinder. Moreover, we obtain perturbation results for parabolic equations from the investigation of the ideal structure of the calculus.
We consider general parabolic systems of equations on the infinite time interval in case of the underlying spatial configuration is a closed manifold. The solvability of equations is studied both with respect to time and spatial variables in exponentially weighted anisotropic Sobolev spaces, and existence and maximal regularity statements for parabolic equations are proved. Moreover, we analyze the long-time behaiour of solutions in terms of complete asymptotic expansions. These results are deduced from a pseudodifferential calculus that we construct explicitly. This algebra of operators is specifically designed to contain both the classical systems of parabolic equations of general form and their inverses, parabolicity being reflected purely on symbolic level. To this end, we assign t = ∞ the meaning of an anisotropic conical point, and prove that this interprtation is consistent with the natural setting in the analysis of parabolic PDE. Hence, major parts of this work consist of the construction of an appropriate anisotropiccone calculus of so-called Volterra operators. In particular, which is the most important aspect, we obtain the complete characterization of the microlocal and the global kernel structure of the inverse of parabolicsystems in an infinite space-time cylinder. Moreover, we obtain perturbation results for parabolic equations from the investigation of the ideal structure of the calculus.
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.
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 consider quasicomplexes of Boutet de Monvel operators in Sobolev spaces on a smooth compact manifold with boundary. To each quasicomplex we associate two complexes of symbols. One complex is defined on the cotangent bundle of the manifold and the other on that of the boundary. The quasicomplex is elliptic if these symbol complexes are exact away from the zero sections. We prove that elliptic quasicomplexes are Fredholm. As a consequence of this result we deduce that a compatibility complex for an overdetermined elliptic boundary problem operator is also Fredholm. Moreover, we introduce the Euler characteristic for elliptic quasicomplexes of Boutet de Monvel operators.
The inhomogeneous ∂-equations is an inexhaustible source of locally unsolvable equations, subelliptic estimates and other phenomena in partial differential equations. Loosely speaking, for the anaysis 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 up(n).
Given a system of entire functions in Cn with at most countable set of common zeros, we introduce the concept of zeta-function associated with the system. Under reasonable assumptions on the system, the zeta-function is well defined for all s ∈ Zn with sufficiently large components. Using residue theory we get an integral representation for the zeta-function which allows us to construct an analytic extension of the zeta-function to an infinite cone in Cn.
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.
We prove a theorem on analytic representation of integrable CR functions on hypersurfaces with singular points. Moreover, the behaviour of representing analytic functions near singular points is investigated. We are aimed at explaining the new effect caused by the presence of a singularity rather than at treating the problem in full generality.