Refine
Year of publication
- 2015 (65) (remove)
Document Type
- Article (40)
- Preprint (12)
- Doctoral Thesis (7)
- Monograph/Edited Volume (2)
- Part of a Book (1)
- Conference Proceeding (1)
- Other (1)
- Postprint (1)
Is part of the Bibliography
- yes (65)
Keywords
- Cauchy problem (2)
- Ellipticity of corner-degenerate operators (2)
- Fredholm property (2)
- Toeplitz operators (2)
- index (2)
- random walks on graphs (2)
- reciprocal characteristics (2)
- reciprocal class (2)
- star product (2)
- 31A25 (1)
Institute
- Institut für Mathematik (65) (remove)
We study the possibility of obtaining a computational turbulence model by means of non-dissipative regularisation of the compressible atmospheric equations for climate-type applications. We use an -regularisation (Lagrangian averaging) of the atmospheric equations. For the hydrostatic and compressible atmospheric equations discretised using a finite volume method on unstructured grids, deterministic and non-deterministic numerical experiments are conducted to compare the individual solutions and the statistics of the regularised equations to those of the original model. The impact of the regularisation parameter is investigated. Our results confirm the principal compatibility of -regularisation with atmospheric dynamics and encourage further investigations within atmospheric model including complex physical parametrisations.
We define weak boundary values of solutions to those nonlinear differential equations which appear as Euler-Lagrange equations of variational problems. As a result we initiate the theory of Lagrangian boundary value problems in spaces of appropriate smoothness. We also analyse if the concept of mapping degree of current importance applies to the study of Lagrangian problems.
In this paper a technique to obtain a first approximation for singular inverse Sturm-Liouville problems with a symmetrical potential is introduced. The singularity, as a result of unbounded domain (-infinity, infinity), is treated by considering numerically the asymptotic limit of the associated problem on a finite interval (-L, L). In spite of this treatment, the problem has still an ill-conditioned structure unlike the classical regular ones and needs regularization techniques. Direct computation of eigenvalues in iterative solution procedure is made by means of pseudospectral methods. A fairly detailed description of the numerical algorithm and its applications to specific examples are presented to illustrate the accuracy and convergence behaviour of the proposed approach.
Asymptotic Solutions of the Dirichlet Problem for the Heat Equation at a Characteristic Point
(2015)
The Dirichlet problem for the heat equation in a bounded domain aS, a"e (n+1) is characteristic because there are boundary points at which the boundary touches a characteristic hyperplane t = c, where c is a constant. For the first time, necessary and sufficient conditions on the boundary guaranteeing that the solution is continuous up to the characteristic point were established by Petrovskii (1934) under the assumption that the Dirichlet data are continuous. The appearance of Petrovskii's paper was stimulated by the existing interest to the investigation of general boundary-value problems for parabolic equations in bounded domains. We contribute to the study of this problem by finding a formal solution of the Dirichlet problem for the heat equation in a neighborhood of a cuspidal characteristic boundary point and analyzing its asymptotic behavior.
We study systematically the estimation of Earth's core angular momentum (CAM) variation between 1962.0 and 2008.0 by using core surface flow models derived from the recent geomagnetic field model C(3)FM2. Various flow models are derived by changing four parameters that control the least squares flow inversion. The parameters include the spherical harmonic (SH) truncation degree of the flow models and two Lagrange multipliers that control the weights of two additional constraints. The first constraint forces the energy spectrum of the flow solution to follow a power law l-p, where l is the SH degree and p is the fourth parameter. The second allows to modulate the solution continuously between the dynamical states of tangential geostrophy (TG) and tangential magnetostrophy (TM). The calculated CAM variations are examined in reference to two features of the observed length-of-day (LOD) variation, namely, its secular trend and 6year oscillation. We find flow models in either TG or TM state for which the estimated CAM trends agree with the LOD trend. It is necessary for TM models to have their flows dominate at planetary scales, whereas TG models should not be of this scale; otherwise, their CAM trends are too steep. These two distinct types of flow model appear to correspond to the separate regimes of previous numerical dynamos that are thought to be applicable to the Earth's core. The phase of the subdecadal CAM variation is coherently determined from flow models obtained with extensively varying inversion settings. Multiple sources of model ambiguity need to be allowed for in discussing whether these phase estimates properly represent that of Earth's CAM as an origin of the observed 6year LOD oscillation.
We compute explicitly, and without any extra regularity assumptions, the large time limit of the fibrewise heat operator for Bismut-Lott type superconnections in the L-2-setting. This is motivated by index theory on certain non-compact spaces (families of manifolds with cocompact group action) where the convergence of the heat operator at large time implies refined L-2-index formulas.
As applications, we prove a local L-2-index theorem for families of signature operators and an L-2-Bismut-Lott theorem, expressing the Becker-Gottlieb transfer of flat bundles in terms of Kamber-Tondeur classes. With slightly stronger regularity we obtain the respective refined versions: we construct L-2-eta forms and L-2-torsion forms as transgression forms.
We find necessary conditions for a second order ordinary differential equation to be equivalent to the Painleve III equation under a general point transformation. Their sufficiency is established by reduction to known results for the equations of the form y ' = f (x, y). We consider separately the generic case and the case of reducibility to an autonomous equation. The results are illustrated by the primary resonance equation.
Microsaccades
(2015)
The first thing we do upon waking is open our eyes. Rotating them in our eye sockets, we scan our surroundings and collect the information into a picture in our head. Eye movements can be split into saccades and fixational eye movements, which occur when we attempt to fixate our gaze. The latter consists of microsaccades, drift and tremor. Before we even lift our eye lids, eye movements – such as saccades and microsaccades that let the eyes jump from one to another position – have partially been prepared in the brain stem. Saccades and microsaccades are often assumed to be generated by the same mechanisms. But how saccades and microsaccades can be classified according to shape has not yet been reported in a statistical manner. Research has put more effort into the investigations of microsaccades’ properties and generation only since the last decade. Consequently, we are only beginning to understand the dynamic processes governing microsaccadic eye movements. Within this thesis, the dynamics governing the generation of microsaccades is assessed and the development of a model for the underlying processes. Eye movement trajectories from different experiments are used, recorded with a video-based eye tracking technique, and a novel method is proposed for the scale-invariant detection of saccades (events of large amplitude) and microsaccades (events of small amplitude). Using a time-frequency approach, the method is examined with different experiments and validated against simulated data. A shape model is suggested that allows for a simple estimation of saccade- and microsaccade related properties. For sequences of microsaccades, in this thesis a time-dynamic Markov model is proposed, with a memory horizon that changes over time and which can best describe sequences of microsaccades.
Context. The theoretically studied impact of rapid rotation on stellar evolution needs to be compared with these results of high-resolution spectroscopy-velocimetry observations. Early-type stars present a perfect laboratory for these studies. The prototype A0 star Vega has been extensively monitored in recent years in spectropolarimetry. A weak surface magnetic field was detected, implying that there might be a (still undetected) structured surface. First indications of the presence of small amplitude stellar radial velocity variations have been reported recently, but the confirmation and in-depth study with the highly stabilized spectrograph SOPHIE/OHP was required.
Aims. The goal of this article is to present a thorough analysis of the line profile variations and associated estimators in the early-type standard star Vega (A0) in order to reveal potential activity tracers, exoplanet companions, and stellar oscillations.
Methods. Vega was monitored in quasi-continuous high-resolution echelle spectroscopy with the highly stabilized velocimeter SOPHIE/OHP. A total of 2588 high signal-to-noise spectra was obtained during 34.7 h on five nights (2 to 6 of August 2012) in high-resolution mode at R = 75 000 and covering the visible domain from 3895 6270 angstrom. For each reduced spectrum, least square deconvolved equivalent photospheric profiles were calculated with a T-eff = 9500 and log g = 4.0 spectral line mask. Several methods were applied to study the dynamic behaviour of the profile variations (evolution of radial velocity, bisectors, vspan, 2D profiles, amongst others).
Results. We present the discovery of a spotted stellar surface on an A-type standard star (Vega) with very faint spot amplitudes Delta F/Fc similar to 5 x 10(-4). A rotational modulation of spectral lines with a period of rotation P = 0.68 d has clearly been exhibited, unambiguously confirming the results of previous spectropolarimetric studies. Most of these brightness inhomogeneities seem to be located in lower equatorial latitudes. Either a very thin convective layer can be responsible for magnetic field generation at small amplitudes, or a new mechanism has to be invoked to explain the existence of activity tracing starspots. At this stage it is difficult to disentangle a rotational from a stellar pulsational origin for the existing higher frequency periodic variations.
Conclusions. This first strong evidence that standard A-type stars can show surface structures opens a new field of research and ask about a potential link with the recently discovered weak magnetic field discoveries in this category of stars.
A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is strictly positive, the manifold must be homeomorphic to S-4 or diffeomorphic to CP2.
This conclusion stills holds true if the sectional curvature is strictly positive and we relax the condition of geometric formality to the requirement that the length of harmonic 2-forms is not too nonconstant. In particular, the Hopf conjecture on S-2 x S-2 holds in this class of manifolds.
Green-hyperbolic operators are linear differential operators acting on sections of a vector bundle over a Lorentzian manifold which possess advanced and retarded Green's operators. The most prominent examples are wave operators and Dirac-type operators. This paper is devoted to a systematic study of this class of differential operators. For instance, we show that this class is closed under taking restrictions to suitable subregions of the manifold, under composition, under taking "square roots", and under the direct sum construction. Symmetric hyperbolic systems are studied in detail.
We study the global theory of linear wave equations for sections of vector bundles over globally hyperbolic Lorentz manifolds. We introduce spaces of finite energy sections and show well-posedness of the Cauchy problem in those spaces. These spaces depend in general on the choice of a time function but it turns out that certain spaces of finite energy solutions are independent of this choice and hence invariantly defined. We also show existence and uniqueness of solutions for the Goursat problem where one prescribes initial data on a characteristic partial Cauchy hypersurface. This extends classical results due to Hormander.
We consider the signal detection problem in the Gaussian design trace regression model with low rank alternative hypotheses. We derive the precise (Ingster-type) detection boundary for the Frobenius and the nuclear norm. We then apply these results to show that honest confidence sets for the unknown matrix parameter that adapt to all low rank sub-models in nuclear norm do not exist. This shows that recently obtained positive results in [5] for confidence sets in low rank recovery problems are essentially optimal.
Boundary value problems on a manifold with smooth boundary are closely related to the edge calculus where the boundary plays the role of an edge. The problem of expressing parametrices of Shapiro-Lopatinskij elliptic boundary value problems for differential operators gives rise to pseudo-differential operators with the transmission property at the boundary. However, there are interesting pseudo-differential operators without the transmission property, for instance, the Dirichlet-to-Neumann operator. In this case the symbols become edge-degenerate under a suitable quantisation, cf. Chang et al. (J Pseudo-Differ Oper Appl 5(2014):69-155, 2014). If the boundary itself has singularities, e.g., conical points or edges, then the symbols are corner-degenerate. In the present paper we study elements of the corresponding corner pseudo-differential calculus.
In this thesis we study reciprocal classes of Markov chains. Given a continuous time Markov chain on a countable state space, acting as reference dynamics, the associated reciprocal class is the set of all probability measures on path space that can be written as a mixture of its bridges. These processes possess a conditional independence property that generalizes the Markov property, and evolved from an idea of Schrödinger, who wanted to obtain a probabilistic interpretation of quantum mechanics.
Associated to a reciprocal class is a set of reciprocal characteristics, which are space-time functions that determine the reciprocal class. We compute explicitly these characteristics, and divide them into two main families: arc characteristics and cycle characteristics. As a byproduct, we obtain an explicit criterion to check when two different Markov chains share their bridges.
Starting from the characteristics we offer two different descriptions of the reciprocal class, including its non-Markov probabilities.
The first one is based on a pathwise approach and the second one on short time asymptotic. With the first approach one produces a family of functional equations whose only solutions are precisely the elements of the reciprocal class. These equations are integration by parts on path space associated with derivative operators which perturb the paths by mean of the addition of random loops. Several geometrical tools are employed to construct such formulas. The problem of obtaining sharp characterizations is also considered, showing some interesting connections with discrete geometry. Examples of such formulas are given in the framework of counting processes and random walks on Abelian groups, where the set of loops has a group structure.
In addition to this global description, we propose a second approach by looking at the short time behavior of a reciprocal process. In the same way as the Markov property and short time expansions of transition probabilities characterize Markov chains, we show that a reciprocal class is characterized by imposing the reciprocal property and two families of short time expansions for the bridges. Such local approach is suitable to study reciprocal processes on general countable graphs. As application of our characterization, we considered several interesting graphs, such as lattices, planar
graphs, the complete graph, and the hypercube.
Finally, we obtain some first results about concentration of measure implied by lower bounds on the reciprocal characteristics.
In this work we study reciprocal classes of Markov walks on graphs. Given a continuous time reference Markov chain on a graph, its reciprocal class is the set of all probability measures which can be represented as a mixture of the bridges of the reference walks. We characterize reciprocal classes with two different approaches. With the first approach we found it as the set of solutions to duality formulae on path space, where the differential operators have the interpretation of the addition of infinitesimal random loops to the paths of the canonical process. With the second approach we look at short time asymptotics of bridges. Both approaches allow an explicit computation of reciprocal characteristics, which are divided into two families, the loop characteristics and the arc characteristics. They are those specific functionals of the generator of the reference chain which determine its reciprocal class. We look at the specific examples such as Cayley graphs, the hypercube and planar graphs. Finally we establish the first concentration of measure results for the bridges of a continuous time Markov chain based on the reciprocal characteristics.
Processes having the same bridges as a given reference Markov process constitute its reciprocal class. In this paper we study the reciprocal class of compound Poisson processes whose jumps belong to a finite set . We propose a characterization of the reciprocal class as the unique set of probability measures on which a family of time and space transformations induces the same density, expressed in terms of the reciprocal invariants. The geometry of plays a crucial role in the design of the transformations, and we use tools from discrete geometry to obtain an optimal characterization. We deduce explicit conditions for two Markov jump processes to belong to the same class. Finally, we provide a natural interpretation of the invariants as short-time asymptotics for the probability that the reference process makes a cycle around its current state.