Refine
Has Fulltext
- no (24)
Year of publication
- 2006 (24) (remove)
Document Type
- Article (24) (remove)
Is part of the Bibliography
- yes (24)
Keywords
Institute
- Institut für Mathematik (24) (remove)
Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees. The nodes of the trees, describing terms, are labelled by operation symbols and by colors, i.e. certain positive integers. We are interested in mappings which map differently-colored operation symbols to different terms. In this paper we extend the theory of hypersubstitutions and solid varieties to multi-hypersubstitutions and colored solid varieties. We develop the interconnections between such colored terms and multihypersubstitutions and the equational theory of Universal Algebra. The collection of all varieties of a given type forms a complete lattice which is very complex and difficult to study; multi-hypersubstitutions and colored solid varieties offer a new method to study complete sublattices of this lattice.
The efficient time integration of the dynamic core equations for numerical weather prediction (NWP) remains a key challenge. One of the most popular methods is currently provided by implementations of the semi-implicit semi-Lagrangian (SISL) method, originally proposed by Robert (J. Meteorol. Soc. Jpn., 1982). Practical implementations of the SISL method are, however, not without certain shortcomings with regard to accuracy, conservation properties and stability. Based on recent work by Gottwald, Frank and Reich (LNCSE, Springer, 2002), Frank, Reich, Staniforth, White and Wood (Atm. Sci. Lett., 2005) and Wood, Staniforth and Reich (Atm. Sci. Lett., 2006) we propose an alternative semi-Lagrangian implementation based on a set of regularized equations and the popular Stormer-Verlet time stepping method in the context of the shallow-water equations (SWEs). Ultimately, the goal is to develop practical implementations for the 3D Euler equations that overcome some or all shortcomings of current SISL implementations.
In this study we present iterative regularization methods using rational approximations, in particular, Pade approximants, which work well for ill-posed problems. We prove that the (k,j)-Pade method is a convergent and order optimal iterative regularization method in using the discrepancy principle of Morozov. Furthermore, we present a hybrid Pade method, compare it with other well-known methods and found that it is faster than the Landweber method. It is worth mentioning that this study is a completion of the paper [A. Kirsche, C. Bockmann, Rational approximations for ill-conditioned equation systems, Appl. Math. Comput. 171 (2005) 385-397] where this method was treated to solve ill-conditioned equation systems. (c) 2006 Elsevier Inc. All rights reserved.
A time-staggered semi-Lagrangian discretization of the rotating shallow-water equations is proposed and analysed. Application of regularization to the geopotential field used in the momentum equations leads to an unconditionally stable scheme. The analysis, together with a fully nonlinear example application, suggests that this approach is a promising, efficient, and accurate alternative to traditional schemes.
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 subset of 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 Bull. Sci. Math. ( to appear). 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.
This paper is concerned with localization properties of coherent states. Instead of classical uncertainty relations we consider "generalized" localization quantities. This is done by introducing measures on the reproducing kernel. In this context we may prove the existence of optimally localized states. Moreover, we provide a numerical scheme for deriving them.
The aim of this paper is to express the Conley-Zehnder index of a symplectic path in terms of an index due to Leray and which has been studied by one of us in a previous work. This will allow us to prove a formula for the Conley-Zehnder index of the product of two symplectic paths in terms of a symplectic Cayley transform. We apply our results to a rigorous study of the Weyl representation of metaplectic operators, which plays a crucial role in the understanding of semiclassical quantization of Hamiltonian systems exhibiting chaotic behavior.
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.
Generalized eigenvectors for resonances in the Friedrichs model and their associated Gamov vectors
(2006)
A Gelfand triplet for the Hamiltonian H of the Priedrichs model on R with multiplicity space K, dim K < infinity, is constructed such that exactly the resonances (poles of the inverse of the Livsic-matrix) are (generalized) eigenvalues of H. The corresponding eigen(anti)linear forms are calculated explicitly. Using the wave matrices for the wave (Moller) operators the corresponding eigen(anti)linear forms on the Schwartz space S for the unperturbed Hamiltonian Ho are also calculated. It turns out that they are of pure Dirac type and can be characterized by their corresponding Gamov vector lambda -> k/(zeta(0)-lambda)(-1), zeta(0) resonance, k epsilon K, which is uniquely determined by restriction of S to S boolean AND H-+(2), where H-+(2) denotes the Hardy space of the upper half-plane. Simultaneously this restriction yields a truncation of the generalized evolution to the well-known decay semigroup for t >= 0 of the Toeplitz type on H-+(2). That is: Exactly those pre-Gamov vectors a lambda -> k/(zeta-lambda)(-1), ( from the lower half-plane, k epsilon K., have an extension to a generalized eigenvector of H if zeta is a resonance and if k is from that subspace of K which is uniquely determined by its corresponding Dirac type antilinear form
In this paper, we give a complete classification of all finite simple groups with maximal subgroups of index n, where n = 2(a)center dot 3b for a, b >= 1. As a consequence, for such n, all primitive permutation groups of degree n are given. The motivation of this work comes also from a study of Cayley graphs of certain valency on a finite simple group
Hypersubstitutions were introduced in [3] as a way of making precise the concepts of hyperidentity and M- hyperidentity. The monoid of hypersubstitutions has been widely studied by many authors. Knowledge of the monoid of hypersubstitutions can be applied to the concept of M-hyperidentities. In this paper, we show that the order of hypersubstitutions of type tau = (3) is 1, 2, 3 or infinite
We study pseudo-differential operators on a cylinder R x B where B has conical singularities. Configurations of that kind are the local model of corner singularities with cross section B. Operators in our calculus are assumed to have symbols a which are meromorphic in the complex covariable with values in the algebra of all cone operators on B. We show an explicit formula for solutions of the homogeneous equation if a is independent of the axial variable t is an element of R. Each non-bijectivity point of the symbol in the complex plane corresponds to a finite-dimensional space of solutions. Moreover, we give a relative index formula
Ellipticity of operators on a manifold with edges can be treated in the framework of a calculus of 2 X 2-block matrix operators with trace and potential operators on the edges. The picture is similar to the pseudodifferential analysis of boundary-value problems. The extra conditions satisfy an analogue of the Shapiro-Lopatinskij condition, provided a topological obstruction for the elliptic edge-degenerate operator in the upper left corner vanishes; this is an analogue of a condition of Atiyah and Bott in boundary-value problems. In general, however, we need global projection data, similarly to global boundary conditions, known for Dirac operators or other geometric operators. The present paper develops a new calculus with global projection data for operators on manifolds with edges. In particular, we show the Fredholm property in a suitable scale of spaces and construct parametrices within the calculus
In this paper we present an inversion algorithm for ill-posed problems arising in atmospheric remote sensing. The proposed method is an iterative Runge-Kutta type regularization method. Those methods are better well known for solving differential equations. We adapted them for solving inverse ill-posed problems. The numerical performances of the algorithm are studied by means of simulations concerning the retrieval of aerosol particle size distributions from lidar observations.
Elliptic equations on configurations W = W-1 boolean OR (. . .) boolean OR W-N with edge Y and components W-j 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 WY. Moreover, we obtain regularity of solutions in weighted edge spaces with asymptotics
Multisymplectic methods have recently been proposed as a generalization of symplectic ODE methods to the case of Hamiltonian PDEs. Their excellent long time behavior for a variety of Hamiltonian wave equations has been demonstrated in a number of numerical studies. A theoretical investigation and justification of multisymplectic methods is still largely missing. In this paper, we study linear multisymplectic PDEs and their discretization by means of numerical dispersion relations. It is found that multisymplectic methods in the sense of Bridges and Reich [Phys. Lett. A, 284 ( 2001), pp. 184-193] and Reich [J. Comput. Phys., 157 (2000), pp. 473-499], such as Gauss-Legendre Runge-Kutta methods, possess a number of desirable properties such as nonexistence of spurious roots and conservation of the sign of the group velocity. A certain CFL-type restriction on Delta t/Delta x might be required for methods higher than second order in time. It is also demonstrated by means of the explicit midpoint method that multistep methods may exhibit spurious roots in the numerical dispersion relation for any value of Delta t/Delta x despite being multisymplectic in the sense of discrete variational mechanics [J. E. Marsden, G. P. Patrick, and S. Shkoller, Commun. Math. Phys., 199 (1999), pp. 351-395]
We analyze the notions of monotonicity and complete monotonicity for Markov Chains in continuous-time, taking values in a finite partially ordered set. Similarly to what happens in discrete-time, the two notions are not equivalent. However, we show that there are partially ordered sets for which monotonicity and complete monotonicity coincide in continuous time but not in discrete-time