Related papers: A scheme for solving hyperbolic problems with symb…
The morphometric approach is a powerful ansatz for decomposing the chemical potential for a complex solute into purely geometrical terms. This method has proven accuracy in hard spheres, presenting an alternative to comparatively expensive…
We study step-wise time approximations of non-linear hyperbolic initial value problems. The technique used here is a generalization of the minimizing movements method, using two time-scales: one for velocity, the other (potentially much…
In this note we consider two different singular limits to hyperbolic system of conservation laws, namely the standard backward schemes for non linear semigroups and the semidiscrete scheme. Under the assumption that the rarefaction curve of…
Based on earlier work on regular quantum graphs we show that a large class of scaling quantum graphs with arbitrary topology are explicitly analytically solvable. This is surprising since quantum graphs are excellent models of quantum chaos…
We construct countable Markov partitions for non-uniformly hyperbolic diffeomorphisms on compact manifolds of any dimension, extending earlier work of O. Sarig for surfaces. These partitions allow us to obtain symbolic coding on invariant…
We derive geometric formulas for the mass of asymptotically hyperbolic manifolds using coordinate horospheres. As an application, we obtain a new rigidity result of hyperbolic space: if a complete asymptotically hyperbolic manifold has…
We consider a general hyperbolic model of chemotaxis in the multidimensional case. For this system we show the global existence of smooth solutions to the Cauchy problem and we determine their asymptotic behavior. Since this model does not…
We give tight upper and lower bounds of the cardinality of the index sets of certain hyperbolic crosses which reflect mixed Sobolev-Korobov-type smoothness and mixed Sobolev-analytic-type smoothness in the infinite-dimensional case where…
The concept of equilibrium is a general tool to fill the gap between macroscopic and mesoscopic information, both within kinetic systems and kinetic schemes. This work explores the use of equilibria to devise numerical boundary conditions…
In this paper, we study diagonalizable hyperbolic systems in one space dimension. Based on a new gradient entropy estimate, we prove the global existence of a continuous solution, for large and nondecreasing initial data. Moreover, we show…
Trough the classical umbral calculus, we provide new, compact and easy to handle expressions of k-statistics, and more in general of U-statistics. In addition such a symbolic method can be naturally extended to multivariate case and to…
This work presents a brief discussion and a plan towards the analytical solving of Partial Differential Equations (PDEs) using symbolic computing, as well as an implementation of part of this plan as the PDEtools software-package of…
An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented. Important properties and semantic relationships are formally encoded and proven using the proof assistant…
In this note, we provide a (super-exponential time) algorithm to solve the generalized conjugacy problem in relatively hyperbolic groups, given solvability of the generalized conjugacy problem in each of the parabolic subgroups.
As a cornerstone of automated reasoning, equational reasoning finds equivalences between symbolic expressions and fuels advances across scientific disciplines. Yet, its potential remains limited by the exponential growth of equivalent…
This paper shows how to build a formal analytical solution for a differential equation of arbitrary order and with variable coefficients. It proofs that the most known approximated solutions for such a problem can be derived from the…
We give formulas for the numbers of type II and type IV hyperbolic components in the space of quadratic rational maps, for all fixed periods of attractive cycles.
The theory of weak solutions for nonlinear conservation laws is now well developed in the case of scalar equations [3] and for one-dimensional hyperbolic systems [1, 2]. For systems in several space dimensions, however, even the global…
We consider nonlinear perturbations of the hyperbolic equation in the Hilbert space. Necessary and sufficient conditions for the existence of solutions of boundary-value problem for the corresponding equation and iterative procedures for…
The differential equations of chemical kinetics are systems of nonlinear (polynomial) differential equations, therefore their solutions cannot usually be found in symbolic form. Here we offer a method to solve classes of kinetic…