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)
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.
Die Lehre von wissenschaftlichem Arbeiten stellt einen zentralen Aspekt in forschungsorientierten Studiengängen wie der Informatik dar. Trotz diverser Angebote werden mittel- und langfristig Mängel in der
Arbeitsqualität von Studierenden sichtbar. Dieses Paper analysiert daher das Profil der Studierenden, deren Anwendung des wissenschaftlichen Arbeitens, und das Angebot von Proseminaren zum Thema „Einführung in das wissenschaftliche Arbeiten“ einer deutschen Universität. Die Ergebnisse mehrerer Erhebungen zeigen dabei diverse Probleme bei Studierenden auf, u. a. bei dem Prozessverständnis, dem Zeitmanagement und der Kommunikation.
We prove a local in time existence and uniqueness theorem of classical solutions of the coupled Einstein{Euler system, and therefore establish the well posedness of this system. We use the condition that the energy density might vanish or tends to zero at infinity and that the pressure is a certain function of the energy density, conditions which are used to describe simplified stellar models. In order to achieve our goals we are enforced, by the complexity of the problem, to deal with these equations in a new type of weighted Sobolev spaces of fractional order. Beside their construction, we develop tools for PDEs and techniques for hyperbolic and elliptic equations in these spaces. The well posedness is obtained in these spaces.
Als ich anfing, ein Thema für meine Promotion zu erarbeiten, fand ich Massentests ziemlich beeindruckend. TIMSS: über 500000 Schüler getestet. PISA: 180000 Schüler getestet. Ich wollte diese Datenbasis nutzen, um Erkenntnisse für die Gestaltung von Unterricht zu gewinnen. Leider kam ich damit nicht weit. Je tiefer ich mich mit den Tests und den dahinterstehenden Theorien befasste, desto deutlicher schälte sich heraus, dass mit diesen Tests keine neue Erkenntnis generiert werden kann. Fast alle Schlussfolgerungen, die aus den Tests gezogen werden, konnten gar nicht aus den Tests selbst gewonnen werden. Ich konzentrierte mich zunehmend auf die Testaufgaben, weil die Geltung der Aussage eines Tests an der Aufgabe erzeugt wird: In der Aufgabe gerinnt das, was die Tester als „mathematische Leistungsfähigkeit“ konstruieren. Der Schüler wiederum hat nur die Aufgabe vor sich. Es gibt nur „gelöst“ (ein Punkt) und „ungelöst“ (kein Punkt). Damit der Schüler den Punkt bekommt, muss er an der richtigen Stelle ankreuzen, oder er muss etwas hinschrei-ben, wofür der Auswerter einen Punkt gibt. In der Dissertation wird untersucht, was die Aufgaben testen, was also alles in das Konstrukt von „mathematischer Leistungsfähigkeit“ einfließt, und ob es das ist, was der Test testen soll. Es stellte sich durchaus erstaunliches heraus: - Oftmals gibt es so viele Möglichkeiten, zur gewünschten Lösung (die nicht in jedem Fall die richtige Lösung ist) zu gelangen, dass man nicht benennen kann, welche Fähigkeit die Aufgabe eigentlich misst. Das Konstrukt „mathematische Leistungsfähigkeit“ wird damit zu einem zufälligen. - Es werden Komponenten von Testfähigkeit mitgemessen: Viele Aufgaben enthalten Irritationen, welche von testerfahrenen Schülern leichter überwunden werden können als von testunerfahrenen. Es gibt Aufgaben, die gelöst werden können, ohne dass man über die Fähigkeit verfügt, die getestet werden soll. Umgekehrt gibt es Aufgaben, die man eventuell nicht lösen kann, obwohl man über diese Fähigkeit verfügt. Als Kernkompetenz von Testfähigkeit stellt sich heraus, weder das gestellte mathematische Problem noch die angeblichen realen Proble-me ernst zu nehmen, sondern sich statt dessen auf das zu konzentrieren, was die Tester angekreuzt oder hinge-schrieben sehen wollen. Prinzipiell erweist es sich als günstig, mittelmäßig zu arbeiten, auf intellektuelle Tiefe in der Auseinandersetzung mit den Aufgaben also zu verzichten. - Man kann bei Multiple-Choice-Tests raten. Die PISA-Gruppe behauptet zwar, dieses Problem technisch über-winden zu können, dies erweist sich aber als Fehleinschätzung. - Sowohl bei TIMSS als auch bei PISA stellt sich heraus, dass die vorgeblich verwendeten didaktischen und psychologischen Theorien lediglich theoretische Mäntel für eine theoriearme Testerstellung sind. Am Beispiel der Theorie der mentalen Situationsmodelle (zur Bearbeitung von realitätsnahen Aufgaben) wird dies ausführlich exemplarisch ausgearbeitet. Das Problem reproduziert sich in anderen Theoriefeldern. Die Tests werden nicht durch Operationalisierungen von Messkonstrukten erstellt, sondern durch systematisches Zusammenstückeln von Aufgaben. - Bei PISA sollte „Mathematical Literacy“ getestet werden. Verkürzt sollte das die Fähigkeit sein, „die Rolle, die Mathematik in der Welt spielt, zu erkennen und zu verstehen, begründete mathematische Urteile abzugeben und sich auf eine Weise mit der Mathematik zu befassen, die den Anforderungen des gegenwärtigen und künftigen Lebens einer Person als eines konstruktiven, engagierten und reflektierten Bürgers entspricht“ (PISA-Eigendarstellung). Von all dem kann angesichts der Aufgaben keine Rede sein. - Bei der Untersuchung des PISA-Tests drängte sich ein mathematikdidaktischer Habitus auf, der eine separate Untersuchung erzwang. Ich habe ihn unter dem Stichwort der „Abkehr von der Sache“ zusammengefasst. Er ist geprägt von Zerstörungen des Mathematischen bei gleichzeitiger Überbetonung des Fachsprachlichen und durch Verwerfungen des Mathematischen und des Realen bei realitätsnahen Aufgaben. Letzteres gründet in der Nicht-beachtung der Authentizität sowohl des Realen als auch des Mathematischen. Die Arbeit versammelt neben den Untersuchungen zu TIMSS und PISA ein ausführliches Kapitel über das Prob-lem des Testens und eine Darstellung der Methodologie und Praxis der Objektiven Hermeneutik.
Um für ein Leben in der digitalen Gesellschaft vorbereitet zu sein, braucht jeder heute in verschiedenen Situationen umfangreiche informatische Grundlagen. Die Bedeutung von Informatik nimmt nicht nur in immer mehr
Bereichen unseres täglichen Lebens zu, sondern auch in immer mehr Ausbildungsrichtungen. Um junge Menschen auf ihr zukünftiges Leben und/oder ihre zukünftige berufliche Tätigkeit vorzubereiten, bieten verschiedene Hochschulen Informatikmodule für Studierende anderer Fachrichtungen an. Die Materialien jener Kurse bilden einen umfangreichen Datenpool, um die für Studierende anderer Fächer bedeutenden Aspekte der Informatik mithilfe eines empirischen Ansatzes zu identifizieren. Im Folgenden werden 70 Module zu informatischer Bildung für Studierende anderer Fachrichtungen analysiert. Die Materialien – Publikationen, Syllabi und Stundentafeln – werden zunächst mit einer qualitativen Inhaltsanalyse nach Mayring untersucht und anschließend quantitativ ausgewertet. Basierend auf der Analyse werden Ziele, zentrale Themen und Typen eingesetzter Werkzeuge identifiziert.
Was ist Data Science?
(2018)
In Zusammenhang mit den Entwicklungen der vergangenen Jahre, insbesondere in den Bereichen Big Data, Datenmanagement und Maschinenlernen, hat sich der Umgang mit Daten und deren Analyse wesentlich weiterentwickelt. Mittlerweile wird die Datenwissenschaft als eigene Disziplin angesehen, die auch immer stärker durch entsprechende Studiengänge an Hochschulen repräsentiert wird. Trotz dieser zunehmenden Bedeutung ist jedoch oft unklar, welche konkreten Inhalte mit ihr in Verbindung stehen, da sie in verschiedensten Ausprägungen auftritt. In diesem Beitrag werden daher die hinter der Data Science stehenden informatischen Inhalte durch eine qualitative Analyse der Modulhandbücher etablierter Studiengänge aus diesem Bereich ermittelt und so ein Beitrag zur Charakterisierung dieser Disziplin geleistet. Am Beispiel der Entwicklung eines Data-Literacy-Kompetenzmodells, die als Ausblick skizziert wird, wird die Bedeutung dieser Charakterisierung für die weitere Forschung expliziert.
Vorlesungs-Pflege
(2018)
Ähnlich zu Alterungsprozessen bei Software degenerieren auch Vorlesungen, wenn sie nicht hinreichend gepflegt werden. Die Gründe hierfür werden ebenso beleuchtet wie mögliche Indikatoren und Maßnahmen – der Blick ist dabei immer der eines Informatikers. An drei Vorlesungen wird erläutert, wie der Degeneration von Lehrveranstaltungen
gegengewirkt werden kann. Mangels hinreichend großer empirischer Daten liefert das Paper keine unumstößlichen Wahrheiten. Ein Ziel ist es vielmehr Kollegen, die ähnliche Phänomene beobachten, einen ersten Anker für einen
inneren Diskurs zu bieten. Ein langfristiges Ziel ist die Sammlung eines Katalogs an Maßnahmen zur Pflege von Informatikvorlesungen.
Parabolic equations on manifolds with singularities require a new calculus of anisotropic pseudo-differential operators with operator-valued symbols. The paper develops this theory along the lines of sn abstract wedge calculus with strongly continuous groups of isomorphisms on the involved Banach spaces. The corresponding pseodo-diferential operators are continuous in anisotropic wedge Sobolev spaces, and they form an alegbra. There is then introduced the concept of anisotropic parameter-dependent ellipticity, based on an order reduction variant of the pseudo-differential calculus. The theory is appled to a class of parabolic differential operators, and it is proved the invertibility in Sobolev spaces with exponential weights at infinity in time direction.
In this paper, we discuss the viscosity solutions of the weakly coupled systems of fully nonlinear second order degenerate parabolic equations and their Cauchy-Dirichlet problem. We prove the existence, uniqueness and continuity of viscosity solution by combining Perron's method with the technique of coupled solutions. The results here generalize those in [2] and [3].
In this paper we establish the regularity, exponential stability of global (weak) solutions and existence of uniform compact attractors of semiprocesses, which are generated by the global solutions, of a two-parameter family of operators for the nonlinear 1-d non-autonomous viscoelasticity. We employ the properties of the analytic semigroup to show the compactness for the semiprocess generated by the global solutions.
Toeplitz operators, and ellipticity of boundary value problems with global projection conditions
(2003)
Ellipticity of (pseudo-) differential operators A on a compact manifold X with boundary (or with edges) Y is connected with boundary (or edge) conditions of trace and potential type, formulated in terms of global projections on Y together with an additional symbolic structure. This gives rise to operator block matrices A with A in the upper left corner. We study an algebra of such operators, where ellipticity is equivalent to the Fredhom property in suitable scales of spaces: Sobolev spaces on X plus closed subspaces of Sobolev spaces on Y which are the range of corresponding pseudo-differential projections. Moreover, we express parametrices of elliptic elements within our algebra and discuss spectral boundary value problems for differential operators.
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.
Studying the influence of the updating scheme for MCMC algorithm on spatially extended models is a well known problem. For discrete-time interacting particle systems we study through simulations the effectiveness of a synchronous updating scheme versus the usual sequential one. We compare the speed of convergence of the associated Markov chains from the point of view of the time-to-coalescence arising in the coupling-from-the-past algorithm. Unlike the intuition, the synchronous updating scheme is not always the best one. The distribution of the time-to-coalescence for these spatially extended models is studied too.
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.
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.
We study an elliptic differential operator on a manifold with conical singularities, acting as an unbounded operator on a weighted Lp-space. Under suitable conditions we show that the resolvent (λ - A )-¹ exists in a sector of the complex plane and decays like 1/|λ| as |λ| -> ∞. Moreover, we determine the structure of the resolvent with enough precision to guarantee existence and boundedness of imaginary powers of A. As an application we treat the Laplace-Beltrami operator for a metric with striaght conical degeneracy and establish maximal regularity for the Cauchy problem u - Δu = f, u(0) = 0.
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.
We consider a mixed problem for a degenerate differentialoperator equation of higher order. We establish some embedding theorems in weighted Sobolev spaces and show existence and uniqueness of the generalized solution of this problem. We also give a description of the spectrum for the corresponding operator.
We give a brief survey on some new developments on elliptic operators on manifolds with polyhedral singularities. The material essentially corresponds to a talk given by the author during the Conference “Elliptic and Hyperbolic Equations on Singular Spaces”, October 27 - 31, 2008, at the MSRI, University of Berkeley.
The quantization of contact transformations of the cosphere bundle over a manifold with conical singularities is described. The index of Fredholm operators given by this quantization is calculated. The answer is given in terms of the Epstein-Melrose contact degree and the conormal symbol of the corresponding operator.
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.
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 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 paper we consider the hypo-ellipticity of differential forms on a closed manifold.The main results show that there are some topological obstruct for the existence of the differential forms with hypoellipticity.
The homotopy classification and the index of boundary value problems for general elliptic operators
(1999)
We give the homotopy classification and compute the index of boundary value problems for elliptic equations. The classical case of operators that satisfy the Atiyah-Bott condition is studied first. We also consider the general case of boundary value problems for operators that do not necessarily satisfy the Atiyah-Bott condition.
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.
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 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.
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.
Contents: Introduction 1 Operators with the transmission property 1.1 Operators on a manifold with boundary 1.2 Conditions with pseudodifferential projections 1.3 Projections and Fredholm families 2 Boundary value problems not requiring the transmission property 2.1 Interior operators 2.2 Edge amplitude functions 2.3 Boundary value problems 3 Operators with global projection conditions 3.1 Construction for boundary symbols 3.2 Ellipticity of boundary value problems with projection data 3.3 Operators of order zero
Pseudodifferential analysis on manifolds with boundary - a comparison of b-calculus and cone algebra
(1999)
We establish a relation between two different approaches to a complete pseudodifferential analysis of totally characteristic or Fuchs type operators on compact manifolds with boundary respectively conical singularities: Melrose's (overblown) b-calculus and Schulze's cone algebra. Though quite different in their definition, we show that these two pseudodifferential calculi basically contain the same operators.
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.
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.
Differential and pseudo-differential operators on a manifold with (regular) geometric singularities can be studied within a calculus, inspired by the concept of classical pseudo-differential operators on a C1 manifold. In the singular case the operators form an algebra with a principal symbolic hierarchy σ = (σj)0≤j≤k, with k being the order of the singularity and σk operator-valued for k ≥ 1. The symbols determine ellipticity and the nature of parametrices. It is typical in this theory that, similarly as in boundary value problems (which are special edge problems, where the edge is just the boundary), there are trace, potential and Green operators, associated with the various strata of the configuration. The operators, obtained from the symbols by various quantisations, act in weighted distribution spaces with multiple weights. We outline some essential elements of this calculus, give examples and also comment on new challenges and interesting problems of the recent development.
We consider infinite-dimensional diffusions where the interaction between the coordinates has a finite extent both in space and time. In particular, it is not supposed to be smooth or Markov. The initial state of the system is Gibbs, given by a strong summable interaction. If the strongness of this initial interaction is lower than a suitable level, and if the dynamical interaction is bounded from above in a right way, we prove that the law of the diffusion at any time t is a Gibbs measure with absolutely summable interaction. The main tool is a cluster expansion in space uniformly in time of the Girsanov factor coming from the dynamics and exponential ergodicity of the free dynamics to an equilibrium product measure.
In this paper, we study the existence of positive solutions of a one-parameter family of logistic equations on R+ or on R. These equations are stationary versions of the Fisher equations and the KPP equations. We also study the blow up region of a sequence of the solutions when the parameter approachs a critical value and the nonexistence of positive solutions beyond the critical value. We use the direct method and the sub and super solution method.
Pinned Gibbs processes
(2020)