相关论文: About the domino problem in the hyperbolic plane, …

This paper deals with left invertibility problem of implicit hyperbolic systems with delays in infinite dimensional Hilbert spaces. From a decomposition procedure, invertibility for this class of systems is shown to be equivalent to the…

For a linear difference equation with the coefficients being computable sequences, we establish algorithmic undecidability of the problem of determining the dimension of the solution space including the case when some additional prior…

Using the method of C. V\"or\"os, we establish results in hyperbolic plane geometry, related to triangles and circles. We present a model independent construction for Malfatti's problem and several trigonometric formulas for triangles.

This chapter is an up-to-date account of results on globally hyperbolic spacetimes, and serves several purposes. We begin with the exposition of results from a foundational level, where the main tools are order theory and general topology,…

This paper introduces a method of navigation in a large family of tilings of the hyperbolic plane and looks at the question of possible applications in the light of the few ones which were already obtained.

There is a rich history of domino tilings in two dimensions. Through a variety of techniques we can answer questions such as: how many tilings are there of a given region or what does the space of all tilings look like? These questions and…

We investigate the equation $$(-\Delta_{\mathbb H^n})^{\gamma} w=f(w)\quad in \mathbb H^{n},$$ where $(-\Delta_{\mathbb H^n})^\gamma$ corresponds to the fractional Laplacian on hyperbolic space for $\gamma \in (0,1)$ and $f$ is a smooth…

For a certain class of genuinely nonlinear two-by-two planar hyperbolic systems we show that any classical solution on a smoothly bounded domain has nontangential boundary limits except on a set whose Hausdorff dimension is bounded by some…

In this paper we analyze the tangential symmetries of Darboux integrable decomposable exterior differential systems. The decomposable systems generalize the notion of a hyperbolic exterior differential system and include the classic notion…

We show that any measurable solution of the cohomological equation for a H\"older linear cocycle over a hyperbolic system coincides almost everywhere with a H\"older solution. More generally, we show that every measurable invariant…

We assign some kind of invariant manifolds to a given integrable PDE (its discrete or semi-discrete variant). First, we linearize the equation around its arbitrary solution $u$. Then we construct a differential (respectively, difference)…

Solutions of the Cauchy problem for the wave equation on a non-globally hyperbolic spacetime, which contains closed timelike curves (time machines) are considered. It is proved, that there exists a solution of the Cauchy problem, it is…

In this paper we give a more geometrical formulation of the main theorem in [E1] on the inverse problem for the second order hyperbolic equation of general form with coefficients independent of the time variable. We apply this theorem to…

We investigate inverse boundary problems associated with a time-dependent semilinear hyperbolic equation, where both nonlinearity and sources (including initial displacement and initial velocity) are unknown. We establish in several generic…

The 2-body problem on the sphere and hyperbolic space are both real forms of holomorphic Hamiltonian systems defined on the complex sphere. This admits a natural description in terms of biquaternions and allows us to address questions…

Hyperbolic systems of the first and higher-order partial differential equations appear in many multiphysics problems. We will be dealing with a wave propagation problem in a piece-wise homogeneous medium. Mathematically, the problem is…

We establish sufficient conditions for the hyperbolicity of the billiard dynamics on surfaces of constant curvature. This extends known results for planar billiards. Using these conditions, we construct large classes of billiard tables with…

This paper considers hyperbolic wave equations with non-local in time conditions involving integrals with respect to time. It is shown that regularity of the solution can be achieved for complexified problem with integral conditions…

This paper studies decision problems for semigroups that are word-hyperbolic in the sense of Duncan & Gilman. A fundamental investigation reveals that the natural definition of a `word-hyperbolic structure' has to be strengthened slightly…

We show that for any class of Boolean algebras with an associative operator, if it contains the complex algebra of (P(N), U), its equational theory is undecidable. Equivalently, any associative normal modal logic valid over the frame (P(N),…