### Refine

#### Year of publication

- 2012 (49) (remove)

#### Document Type

- Preprint (49) (remove)

#### Keywords

- Heat equation (2)
- Riemannian manifold (2)
- Boundary value methods (1)
- Boundary value problems for first order systems (1)
- Brownian bridge (1)
- Brownian motion (1)
- CCR-algebra (1)
- Carbon (1)
- Cycling (1)
- Dirac-type operator (1)

#### Institute

- Institut für Mathematik (26)
- Institut für Biochemie und Biologie (5)
- Institut für Sportmedizin und Prävention (3)
- Institut für Anglistik und Amerikanistik (2)
- Institut für Chemie (2)
- Institut für Erd- und Umweltwissenschaften (2)
- Sozialwissenschaften (2)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (1)
- Historisches Institut (1)
- Institut für Germanistik (1)

We introduce a theoretical framework for performing statistical hypothesis testing simultaneously over a fairly general, possibly uncountably infinite, set of null hypotheses. This extends the standard statistical setting for multiple hypotheses testing, which is restricted to a finite set. This work is motivated by numerous modern applications where the observed signal is modeled by a stochastic process over a continuum. As a measure of type I error, we extend the concept of false discovery rate (FDR) to this setting. The FDR is defined as the average ratio of the measure of two random sets, so that its study presents some challenge and is of some intrinsic mathematical interest. Our main result shows how to use the p-value process to control the FDR at a nominal level, either under arbitrary dependence of p-values, or under the assumption that the finite dimensional distributions of the p-value process have positive correlations of a specific type (weak PRDS). Both cases generalize existing results established in the finite setting, the latter one leading to a less conservative procedure. The interest of this approach is demonstrated in several non-parametric examples: testing the mean/signal in a Gaussian white noise model, testing the intensity of a Poisson process and testing the c.d.f. of i.i.d. random variables. Conceptually, an interesting feature of the setting advocated here is that it focuses directly on the intrinsic hypothesis space associated with a testing model on a random process, without referring to an arbitrary discretization.

For a sequence of Hilbert spaces and continuous linear operators the curvature is defined to be the composition of any two consecutive operators. This is modeled on the de Rham resolution of a connection on a module over an algebra. Of particular interest are those sequences for which the curvature is "small" at each step, e.g., belongs to a fixed operator ideal. In this context we elaborate the theory of Fredholm sequences and show how to introduce the Lefschetz number.

We say that (weak/strong) time duality holds for continuous time quasi-birth-and-death-processes if, starting from a fixed level, the first hitting time of the next upper level and the first hitting time of the next lower level have the same distribution. We present here a criterion for time duality in the case where transitions from one level to another have to pass through a given single state, the so-called bottleneck property. We also prove that a weaker form of reversibility called balanced under permutation is sufficient for the time duality to hold. We then discuss the general case.

We analyze a general class of difference operators containing a multi-well potential and a small parameter. We decouple the wells by introducing certain Dirichlet operators on regions containing only one potential well, and we treat the eigenvalue problem as a small perturbation of these comparison problems. We describe tunneling by a certain interaction matrix similar to the analysis for the Schrödinger operator, and estimate the remainder, which is exponentially small and roughly quadratic compared with the interaction matrix.

In the limit we analyze the generators of families of reversible jump processes in the n-dimensional space associated with a class of symmetric non-local Dirichlet forms and show exponential decay of the eigenfunctions. The exponential rate function is a Finsler distance, given as solution of certain eikonal equation. Fine results are sensitive to the rate functions being twice differentiable or just Lipschitz. Our estimates are similar to the semiclassical Agmon estimates for differential operators of second order. They generalize and strengthen previous results on the lattice.

The authors discuss the use of the discrepancy principle for statistical inverse problems, when the underlying operator is of trace class. Under this assumption the discrepancy principle is well defined, however a plain use of it may occasionally fail and it will yield sub-optimal rates. Therefore, a modification of the discrepancy is introduced, which takes into account both of the above deficiencies. For a variety of linear regularization schemes as well as for conjugate gradient iteration this modification is shown to yield order optimal a priori error bounds under general smoothness assumptions. A posteriori error control is also possible, however at a sub-optimal rate, in general. This study uses and complements previous results for bounded deterministic noise.

We study maximal subsemigroups of the monoid T(X) of all full transformations on the set X = N of natural numbers containing a given subsemigroup W of T(X), where each element of a given set U is a generator of T(X) modulo W. This note continues the study of maximal subsemigroups of the monoid of all full transformations on an infinite set.

We consider the Dirichlet, Neumann and Zaremba problems for harmonic functions in a bounded plane domain with nonsmooth boundary. The boundary curve belongs to one of the following three classes: sectorial curves, logarithmic spirals and spirals of power type. To study the problem we apply a familiar method of Vekua-Muskhelishvili which consists in using a conformal mapping of the unit disk onto the domain to pull back the problem to a boundary problem for harmonic functions in the disk. This latter is reduced in turn to a Toeplitz operator equation on the unit circle with symbol bearing discontinuities of second kind. We develop a constructive invertibility theory for Toeplitz operators and thus derive solvability conditions as well as explicit formulas for solutions.

On completeness of root functions of Sturm-Liouville problems with discontinuous boundary operators
(2012)

We consider a Sturm-Liouville boundary value problem in a bounded domain D of R^n. By this is meant that the differential equation is given by a second order elliptic operator of divergent form in D and the boundary conditions are of Robin type on bD. The first order term of the boundary operator is the oblique derivative whose coefficients bear discontinuities of the first kind. Applying the method of weak perturbation of compact self-adjoint operators and the method of rays of minimal growth, we prove the completeness of root functions related to the boundary value problem in Lebesgue and Sobolev spaces of various types.

The Riemann hypothesis is equivalent to the fact the the reciprocal function 1/zeta (s) extends from the interval (1/2,1) to an analytic function in the quarter-strip 1/2 < Re s < 1 and Im s > 0. Function theory allows one to rewrite the condition of analytic continuability in an elegant form amenable to numerical experiments.

The transition from cell proliferation to cell expansion is critical for determining leaf size. Andriankaja et al. (2012) demonstrate that in leaves of dicotyledonous plants, a basal proliferation zone is maintained for several days before abruptly disappearing, and that chloroplast differentiation is required to trigger the onset of cell expansion.

Heterocystous cyanobacteria of the genus Nodularia form extensive blooms in the Baltic Sea and contribute substantially to the total annual primary production. Moreover, they dispense a large fraction of new nitrogen to the ecosystem when inorganic nitrogen concentration in summer is low. Thus, it is of ecological importance to know how Nodularia will react to future environmental changes, in particular to increasing carbon dioxide (CO2) concentrations and what consequences there might arise for cycling of organic matter in the Baltic Sea. Here, we determined carbon (C) and dinitrogen (N-2) fixation rates, growth, elemental stoichiometry of particulate organic matter and nitrogen turnover in batch cultures of the heterocystous cyanobacterium Nodularia spumigena under low (median 315 mu atm), mid (median 353 mu atm), and high (median 548 mu atm) CO2 concentrations. Our results demonstrate an overall stimulating effect of rising pCO(2) on C and N-2 fixation, as well as on cell growth. An increase in pCO(2) during incubation days 0 to 9 resulted in an elevation in growth rate by 84 +/- 38% (low vs. high pCO(2)) and 40 +/- 25% (mid vs. high pCO(2)), as well as in N-2 fixation by 93 +/- 35% and 38 +/- 1%, respectively. C uptake rates showed high standard deviations within treatments and in between sampling days. Nevertheless, C fixation in the high pCO(2) treatment was elevated compared to the other two treatments by 97% (high vs. low) and 44% (high vs. mid) at day 0 and day 3, but this effect diminished afterwards. Additionally, elevation in carbon to nitrogen and nitrogen to phosphorus ratios of the particulate biomass formed (POC : POP and PON : POP) was observed at high pCO(2). Our findings suggest that rising pCO(2) stimulates the growth of heterocystous diazotrophic cyanobacteria, in a similar way as reported for the non-heterocystous diazotroph Trichodesmium. Implications for biogeochemical cycling and food web dynamics, as well as ecological and socio-economical aspects in the Baltic Sea are discussed.

The queerness of things not queer - entgrenzungen - Affekte und Materialitäten - Interventionen
(2012)

History of political thought
(2012)

Long-term policy issues are a particularly vexing class of environmental policy issues which merit increasing attention due to the long-time horizons involved, the incongruity with political cycles, and the challenges for collective action. Following the definition of long-term environmental policy challenges, I pose three questions as challenges for future research, namely 1. Are present democracies well suited to cope with long-term policy challenges? 2. Are top-down or bottom-up solutions to long-term environmental policy challenges advisable? 3. Will mitigation and adaptation of environmental challenges suffice? In concluding, the contribution raises the issue of credible commitment for long-term policy issues and potential design options.

Parafoveal preview benefit (PB) is an implicit measure of lexical activation in reading. PB has been demonstrated for orthographic and phonological but not for semantically related information in English. In contrast, semantic PB is obtained in German and Chinese. We propose that these language differences reveal differential resource demands and timing of phonological and semantic decoding in different orthographic systems.

Background: Several equipment interventions like optimizing seat position or optimizing shoe/insole/pedal interface are suggested to reduce overuse injury in cycling. Data analyzing clinical or biomechanical effects of those interventions is sparse. Foot orthoses out of carbon fiber are one possibility to alter the interface between foot and pedal. The aim of this study was therefore to analyze plantar pressure distribution in carbon fiber foot orthoses in comparison to standard insoles of commercially available cycling shoes. Materials and Methods: 11 pain-free triathletes (Age: 29 +/- 9, 1.77 +/- 0.04 m, 68 5 kg) were tested on a cycle ergometer at 60 and 90 rotations per minute (rpm) at workloads of 200 and 300 Watts. Subjects wore in randomized order a cycling shoe with its standard insole (control condition CO) or the shoe with carbon fiber foot orthoses (Condition CA). Mean peak pressure out of 30 movement cycles were extracted for the total foot and specific foot regions (rear, mid, fore foot (medial, central, lateral) and toe region). Three-factor ANOVAs (factor foot orthoses, rpm, workload) for repeated measures (alpha = 0.05) were used to analyze the main question of a foot orthoses effect on peak in-shoe plantar pressure. Results: Peak pressures in the total foot were in a range of 70-75 kPa for 200 Watts (W) (300 W: 85-110 kPa). The carbon fiber foot orthoses reduced peak pressures by -4,1% compared to the standard insole (p = 0,10). In the foot regions rear(-16,6%, p<0.001), mid (-20,0%, p<0.001) and fore foot (-5.9%, p < 0.03)CA reduced peak pressure compared to CO. In the toe region, peak pressure was higher in CA (+16,2%) compared to CO (p<0,001). The lateral fore foot showed higher peak pressures in CA (+34%) and CO (+59%) compared to medial and central fore foot. Conclusion: Carbon fiber can serve as a suitable material for foot orthoses manufacturing in cycling. Plantar pressures do not increase due to the stiffness of the carbon. Individual customization may have the potential to reduce peak pressure in certain foot areas.

Management and engineering of process-aware information systems:
Introduction to the special issue
(2012)

We consider compact Riemannian spin manifolds without boundary equipped with orthogonal connections. We investigate the induced Dirac operators and the associated commutative spectral triples. In case of dimension four and totally anti-symmetric torsion we compute the Chamseddine-Connes spectral action, deduce the equations of motions and discuss critical points.

This is an introduction to Wiener measure and the Feynman-Kac formula on general Riemannian manifolds for Riemannian geometers with little or no background in stochastics. We explain the construction of Wiener measure based on the heat kernel in full detail and we prove the Feynman-Kac formula for Schrödinger operators with bounded potentials. We also consider normal Riemannian coverings and show that projecting and lifting of paths are inverse operations which respect the Wiener measure.

This paper examines and develops matrix methods to approximate the eigenvalues of a fourth order Sturm-Liouville problem subjected to a kind of fixed boundary conditions, furthermore, it extends the matrix methods for a kind of general boundary conditions. The idea of the methods comes from finite difference and Numerov's method as well as boundary value methods for second order regular Sturm-Liouville problems. Moreover, the determination of the correction term formulas of the matrix methods are investigated in order to obtain better approximations of the problem with fixed boundary conditions since the exact eigenvalues for q = 0 are known in this case. Finally, some numerical examples are illustrated.

We study boundary value problems for linear elliptic differential operators of order one. The underlying manifold may be noncompact, but the boundary is assumed to be compact. We require a symmetry property of the principal symbol of the operator along the boundary. This is satisfied by Dirac type operators, for instance. We provide a selfcontained introduction to (nonlocal) elliptic boundary conditions, boundary regularity of solutions, and index theory. In particular, we simplify and generalize the traditional theory of elliptic boundary value problems for Dirac type operators. We also prove a related decomposition theorem, a general version of Gromov and Lawson's relative index theorem and a generalization of the cobordism theorem.

We consider orthogonal connections with arbitrary torsion on compact Riemannian manifolds. For the induced Dirac operators, twisted Dirac operators and Dirac operators of Chamseddine-Connes type we compute the spectral action. In addition to the Einstein-Hilbert action and the bosonic part of the Standard Model Lagrangian we find the Holst term from Loop Quantum Gravity, a coupling of the Holst term to the scalar curvature and a prediction for the value of the Barbero-Immirzi parameter.

We introduce renormalized integrals which generalize conventional measure theoretic integrals. One approximates the integration domain by measure spaces and defines the integral as the limit of integrals over the approximating spaces. This concept is implicitly present in many mathematical contexts such as Cauchy's principal value, the determinant of operators on a Hilbert space and the Fourier transform of an L^p function. We use renormalized integrals to define a path integral on manifolds by approximation via geodesic polygons. The main part of the paper is dedicated to the proof of a path integral formula for the heat kernel of any self-adjoint generalized Laplace operator acting on sections of a vector bundle over a compact Riemannian manifold.

A linear differential operator L is called weakly hypoelliptic if any local solution u of Lu = 0 is smooth. We allow for systems, i.e. the coefficients may be matrices, not necessarily of square size. This is a huge class of important operators which covers all elliptic, overdetermined elliptic, subelliptic and parabolic equations. We extend several classical theorems from complex analysis to solutions of any weakly hypoelliptic equation: the Montel theorem providing convergent subsequences, the Vitali theorem ensuring convergence of a given sequence, and Riemann's first removable singularity theorem. In the case of constant coefficients we show that Liouville's theorem holds, any bounded solution must be constant and any L^p solution must vanish.

We study the Dirichlet problem in a bounded plane domain for the heat equation with small parameter multiplying the derivative in t. The behaviour of solution at characteristic points of the boundary is of special interest. The behaviour is well understood if a characteristic line is tangent to the boundary with contact degree at least 2. We allow the boundary to not only have contact of degree less than 2 with a characteristic line but also a cuspidal singularity at a characteristic point. We construct an asymptotic solution of the problem near the characteristic point to describe how the boundary layer degenerates.

We develop the method of Fischer-Riesz equations for general boundary value problems elliptic in the sense of Douglis-Nirenberg. To this end we reduce them to a boundary problem for a (possibly overdetermined) first order system whose classical symbol has a left inverse. For such a problem there is a uniquely determined boundary value problem which is adjoint to the given one with respect to the Green formula. On using a well elaborated theory of approximation by solutions of the adjoint problem, we find the Cauchy data of solutions of our problem.

In this work we are concerned with the characterization of certain classes of stochastic processes via duality formulae. First, we introduce a new formulation of a characterization of processes with independent increments, which is based on an integration by parts formula satisfied by infinitely divisible random vectors. Then we focus on the study of the reciprocal classes of Markov processes. These classes contain all stochastic processes having the same bridges, and thus similar dynamics, as a reference Markov process. We start with a resume of some existing results concerning the reciprocal classes of Brownian diffusions as solutions of duality formulae. As a new contribution, we show that the duality formula satisfied by elements of the reciprocal class of a Brownian diffusion has a physical interpretation as a stochastic Newton equation of motion. In the context of pure jump processes we derive the following new results. We will analyze the reciprocal classes of Markov counting processes and characterize them as a group of stochastic processes satisfying a duality formula. This result is applied to time-reversal of counting processes. We are able to extend some of these results to pure jump processes with different jump-sizes, in particular we are able to compare the reciprocal classes of Markov pure jump processes through a functional equation between the jump-intensities.

Asymptotic solutions of the Dirichlet problem for the heat equation at a characteristic point
(2012)

The Dirichlet problem for the heat equation in a bounded domain is characteristic, for there are boundary points at which the boundary touches a characteristic hyperplane t = c, c being a constant. It was I.G. Petrovskii (1934) who first found necessary and sufficient conditions on the boundary which guarantee that the solution is continuous up to the characteristic point, provided that the Dirichlet data are continuous. This paper initiated standing interest in studying general boundary value problems for parabolic equations in bounded domains. We contribute to the study by constructing a formal solution of the Dirichlet problem for the heat equation in a neighbourhood of a characteristic boundary point and showing its asymptotic character.