Related papers: Normal forms of parabolic logarithmic transseries
We study hyperbolic systems of one-dimensional partial differential equations under general, possibly non-local boundary conditions. A large class of evolution equations, either on individual 1-dimensional intervals or on general networks,…
In this paper, a polynomial-time algorithm is given to compute the generalized Hermite normal form for a matrix F over Z[x], or equivalently, the reduced Groebner basis of the Z[x]-module generated by the column vectors of F. The algorithm…
For a general class of divergence type quasi-linear degenerate parabolic equations with differentiable structure and lower order coefficients form bounded with respect to the Laplacian we obtain $L^q$-estimates for the gradients of…
In their paper on the gamma conjecture in mirror symmetry, Golyshev and Zagier introduce what we refer to as Frobenius constants associated to an ordinary linear differential operator L with a reflection type singularity. These numbers…
In this paper, we present an algorithm for computing a fundamental matrix of formal solutions of completely integrable Pfaffian systems with normal crossings in several variables. This algorithm is a generalization of a method developed for…
A systematic procedure is proposed for deriving all the gauge symmetries of the general, not necessarily variational, equations of motion. For the variational equations, this procedure reduces to the Dirac-Bergmann algorithm for the…
We establish Liouville type theorems in the whole space and in a half-space for parabolic problems without scale invariance. To this end, we employ two methods, respectively based on the corresponding elliptic Liouville type theorems and…
We derive explicit bounds for the computation of normalizing constants $Z$ for log-concave densities $\pi = \exp(-U)/Z$ with respect to the Lebesgue measure on $\mathbb{R}^d$. Our approach relies on a Gaussian annealing combined with recent…
We propose a new approach to the theory of normal forms for Hamiltonian systems near a non-resonant elliptic singular point. We consider the space of all Hamiltonian functions with such an equilibrium position at the origin and construct a…
We derive global analytic representations of fundamental solutions for a class of linear parabolic systems with full coupling of first order derivative terms where coefficient may depend on space and time. Pointwise convergence of the…
We generalize an algorithm of Leclerc describing explicitly the bijection of Lalonde-Ram from finite to affine Lie algebras. In type $A_n^{(1)}$, we compute all affine standard Lyndon words for any order of the simple roots, and establish…
The normal form for a system of ode's is constructed from its polynomial symmetries of the linear part of the system, which is assumed to be semi-simple. The symmetries are shown to have a simple structure such as invariant function times…
We study the regularity of solutions of parabolic fully nonlinear nonlocal equations. We proof Holder regularity in space and time and for translation invariant equations and under different assumptions on the kernels Holder regularity for…
We consider a general class of Fourier coefficients for an automorphic form on a finite cover of a reductive adelic group ${\bf G}(\mathbb{A}_{\mathbb{K}})$, associated to the data of a `Whittaker pair'. We describe a quasi-order on Fourier…
A new version of differential renormalization is presented. It is based on pulling out certain differential operators and introducing a logarithmic dependence into diagrams. It can be defined either in coordinate or momentum space, the…
We are concerned with $T$-periodic solutions of nonautonomous parabolic problem of the form $u_t = \Delta u + V(x) u + f(t,x,u)$, $t >0$, $x \in \mathbb{R}^N$, with $V \in L^\infty (\mathbb{R}^N)+L^p(\mathbb{R}^N)$, $p \geq N$ and…
For univalent and normalized functions $f$ the logarithmic coefficients $\gamma_n(f)$ are determined by the formula $\log(f(z)/z)=\sum_{n=1}^{\infty}2\gamma_n(f)z^n$. In the paper \cite{Pon} the authors posed the conjecture that a locally…
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a category enjoying many algebraic properties. We build on this…
This paper proposes SAT-based techniques to calculate a specific normal form of a given finite mathematical structure (model). The normal form is obtained by permuting the domain elements so that the representation of the structure is…
Finitely generated Z-modules have canonical decompositions. When such modules are given in a finitely presented form there is a classical algorithm for computing a canonical decomposition. This is the algorithm for computing the Smith…